0.00/0.04 c RoundingSat 2
0.00/0.04 c branch pb25
0.00/0.04 c commit 63f22ad
0.00/0.06 c #variables 774 #constraints 1024
0.00/0.06 c objective is ce32
0.00/0.06 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.06 c initial counting CF 32, 64, 128, Arb: 193 , 0 , 0 , 0
0.00/0.06 c GLOBAL bounds - >= 0 @ 0.01513
0.00/0.06 c GLOBAL bounds - >= 0 @ 0.015339
0.00/0.06 c GLOBAL bounds - >= 3 @ 0.015339
0.00/0.07 c rational objective 3
1.07/1.18 c #Conflicts: 1000 | #Constraints: 2039
1.07/1.18 c #Conflicts: 2000 | #Constraints: 3051
1.07/1.18 c INPROCESSING
1.07/1.18 c GARBAGE COLLECT
1.07/1.18 c rational objective 3
1.15/1.28 c GLOBAL bounds - >= 3 @ 1.1768
2.15/2.23 c #Conflicts: 3000 | #Constraints: 2279
2.15/2.23 c #Conflicts: 4000 | #Constraints: 3286
2.15/2.23 c INPROCESSING
2.15/2.23 c GARBAGE COLLECT
2.15/2.23 c rational objective 3
2.15/2.28 c GLOBAL bounds - >= 3 @ 2.14601
2.15/2.28 c GLOBAL bounds - >= 3 @ 2.14602
3.15/3.24 c #Conflicts: 5000 | #Constraints: 2693
3.15/3.24 c #Conflicts: 6000 | #Constraints: 3702
3.15/3.24 c INPROCESSING
3.15/3.24 c GARBAGE COLLECT
3.15/3.24 c rational objective 3
3.25/3.32 c GLOBAL bounds - >= 3 @ 3.1619
3.25/3.32 c GLOBAL bounds - >= 3 @ 3.16191
4.34/4.41 c #Conflicts: 7000 | #Constraints: 2701
4.34/4.41 c #Conflicts: 8000 | #Constraints: 3707
4.34/4.41 c #Conflicts: 9000 | #Constraints: 4718
4.34/4.41 c INPROCESSING
4.34/4.41 c GARBAGE COLLECT
4.34/4.41 c rational objective 3
4.34/4.45 c GLOBAL bounds - >= 3 @ 4.27771
4.34/4.45 c GLOBAL bounds - >= 3 @ 4.27773
6.02/6.11 c #Conflicts: 10000 | #Constraints: 3471
6.02/6.11 c #Conflicts: 11000 | #Constraints: 4763
6.02/6.11 c #Conflicts: 12000 | #Constraints: 6268
6.02/6.11 c INPROCESSING
6.02/6.11 c GARBAGE COLLECT
6.02/6.11 c rational objective 3
6.11/6.25 c GLOBAL bounds - >= 3 @ 5.98973
6.11/6.25 c GLOBAL bounds - >= 3 @ 5.98975
7.60/7.76 c #Conflicts: 13000 | #Constraints: 4411
7.60/7.76 c #Conflicts: 14000 | #Constraints: 5476
7.60/7.76 c #Conflicts: 15000 | #Constraints: 6815
7.60/7.76 c INPROCESSING
7.60/7.76 c GARBAGE COLLECT
7.60/7.76 c rational objective 3
7.80/7.93 c GLOBAL bounds - >= 3 @ 7.62974
7.80/7.93 c GLOBAL bounds - >= 3 @ 7.62976
9.10/9.25 c #Conflicts: 16000 | #Constraints: 4554
9.10/9.25 c #Conflicts: 17000 | #Constraints: 5556
9.10/9.25 c #Conflicts: 18000 | #Constraints: 6561
9.10/9.25 c INPROCESSING
9.10/9.25 c GARBAGE COLLECT
9.10/9.25 c rational objective 3
9.19/9.34 c GLOBAL bounds - >= 3 @ 8.996
9.19/9.34 c GLOBAL bounds - >= 3 @ 8.99604
10.90/11.06 c #Conflicts: 19000 | #Constraints: 4319
10.90/11.06 c #Conflicts: 20000 | #Constraints: 5332
10.90/11.06 c #Conflicts: 21000 | #Constraints: 6344
10.90/11.06 c INPROCESSING
10.90/11.06 c GARBAGE COLLECT
10.90/11.06 c rational objective 3
11.09/11.24 c GLOBAL bounds - >= 3 @ 10.8584
11.09/11.24 c GLOBAL bounds - >= 3 @ 10.8584
13.09/13.28 c #Conflicts: 22000 | #Constraints: 4047
13.09/13.28 c #Conflicts: 23000 | #Constraints: 5051
13.09/13.28 c #Conflicts: 24000 | #Constraints: 6054
13.09/13.28 c #Conflicts: 25000 | #Constraints: 7057
13.09/13.28 c INPROCESSING
13.09/13.28 c GARBAGE COLLECT
13.09/13.28 c rational objective 3
13.28/13.49 c GLOBAL bounds - >= 3 @ 13.0676
13.28/13.49 c GLOBAL bounds - >= 3 @ 13.0676
14.58/14.76 c #Conflicts: 26000 | #Constraints: 4570
14.58/14.76 c #Conflicts: 27000 | #Constraints: 5583
14.58/14.76 c #Conflicts: 28000 | #Constraints: 6592
14.58/14.76 c #Conflicts: 29000 | #Constraints: 7592
14.58/14.76 c INPROCESSING
14.58/14.76 c GARBAGE COLLECT
14.58/14.76 c rational objective 3
14.68/14.82 c GLOBAL bounds - >= 3 @ 14.3596
14.68/14.82 c GLOBAL bounds - >= 3 @ 14.3596
17.07/17.20 c #Conflicts: 30000 | #Constraints: 4965
17.07/17.20 c #Conflicts: 31000 | #Constraints: 6107
17.07/17.20 c #Conflicts: 32000 | #Constraints: 7142
17.07/17.20 c #Conflicts: 33000 | #Constraints: 8333
17.07/17.20 c INPROCESSING
17.07/17.20 c GARBAGE COLLECT
17.07/17.20 c rational objective 3
17.17/17.33 c GLOBAL bounds - >= 3 @ 16.8175
17.17/17.33 c GLOBAL bounds - >= 3 @ 16.8175
19.47/19.67 c #Conflicts: 34000 | #Constraints: 5307
19.47/19.67 c #Conflicts: 35000 | #Constraints: 6307
19.47/19.67 c #Conflicts: 36000 | #Constraints: 7308
19.47/19.67 c #Conflicts: 37000 | #Constraints: 8310
19.47/19.67 c INPROCESSING
19.47/19.67 c GARBAGE COLLECT
19.47/19.67 c rational objective 3
19.67/19.80 c GLOBAL bounds - >= 3 @ 19.2436
19.67/19.80 c GLOBAL bounds - >= 3 @ 19.2436
23.05/23.28 c #Conflicts: 38000 | #Constraints: 5204
23.05/23.28 c #Conflicts: 39000 | #Constraints: 6225
23.05/23.28 c #Conflicts: 40000 | #Constraints: 7244
23.05/23.28 c #Conflicts: 41000 | #Constraints: 8250
23.05/23.28 c INPROCESSING
23.05/23.28 c GARBAGE COLLECT
23.05/23.28 c rational objective 3
23.15/23.39 c GLOBAL bounds - >= 3 @ 22.7691
23.15/23.39 c GLOBAL bounds - >= 3 @ 22.7691
26.15/26.40 c #Conflicts: 42000 | #Constraints: 4977
26.15/26.40 c #Conflicts: 43000 | #Constraints: 5985
26.15/26.40 c #Conflicts: 44000 | #Constraints: 6989
26.15/26.40 c #Conflicts: 45000 | #Constraints: 7997
26.15/26.40 c #Conflicts: 46000 | #Constraints: 9005
26.15/26.40 c INPROCESSING
26.15/26.40 c GARBAGE COLLECT
26.15/26.40 c rational objective 3
26.24/26.43 c GLOBAL bounds - >= 3 @ 25.7523
26.24/26.43 c GLOBAL bounds - >= 3 @ 25.7523
28.44/28.65 c #Conflicts: 47000 | #Constraints: 5553
28.44/28.65 c #Conflicts: 48000 | #Constraints: 6562
28.44/28.65 c #Conflicts: 49000 | #Constraints: 7575
28.44/28.65 c #Conflicts: 50000 | #Constraints: 8589
28.44/28.65 c #Conflicts: 51000 | #Constraints: 9598
28.44/28.65 c INPROCESSING
28.44/28.65 c GARBAGE COLLECT
28.44/28.65 c rational objective 3
28.54/28.72 c GLOBAL bounds - >= 3 @ 28.0039
28.54/28.72 c GLOBAL bounds - >= 3 @ 28.004
31.84/32.03 c #Conflicts: 52000 | #Constraints: 5955
31.84/32.03 c #Conflicts: 53000 | #Constraints: 6959
31.84/32.03 c #Conflicts: 54000 | #Constraints: 7981
31.84/32.03 c #Conflicts: 55000 | #Constraints: 9035
31.84/32.03 c #Conflicts: 56000 | #Constraints: 10209
31.84/32.03 c INPROCESSING
31.84/32.03 c GARBAGE COLLECT
31.84/32.03 c rational objective 3
31.94/32.18 c GLOBAL bounds - >= 3 @ 31.3918
31.94/32.18 c GLOBAL bounds - >= 3 @ 31.3918
35.42/35.69 c #Conflicts: 57000 | #Constraints: 6253
35.42/35.69 c #Conflicts: 58000 | #Constraints: 7255
35.42/35.69 c #Conflicts: 59000 | #Constraints: 8264
35.42/35.69 c #Conflicts: 60000 | #Constraints: 9265
35.42/35.69 c #Conflicts: 61000 | #Constraints: 10269
35.42/35.69 c INPROCESSING
35.42/35.69 c GARBAGE COLLECT
35.42/35.69 c rational objective 3
35.62/35.85 c GLOBAL bounds - >= 3 @ 34.99
35.62/35.85 c GLOBAL bounds - >= 3 @ 34.99
39.21/39.40 c #Conflicts: 62000 | #Constraints: 6187
39.21/39.40 c #Conflicts: 63000 | #Constraints: 7194
39.21/39.40 c #Conflicts: 64000 | #Constraints: 8200
39.21/39.40 c #Conflicts: 65000 | #Constraints: 9206
39.21/39.40 c #Conflicts: 66000 | #Constraints: 10215
39.21/39.40 c INPROCESSING
39.21/39.40 c GARBAGE COLLECT
39.21/39.40 c rational objective 3
39.21/39.49 c GLOBAL bounds - >= 3 @ 38.5661
39.21/39.49 c GLOBAL bounds - >= 3 @ 38.5661
42.92/43.17 c #Conflicts: 67000 | #Constraints: 5962
42.92/43.17 c #Conflicts: 68000 | #Constraints: 6971
42.92/43.17 c #Conflicts: 69000 | #Constraints: 7984
42.92/43.17 c #Conflicts: 70000 | #Constraints: 8993
42.92/43.17 c #Conflicts: 71000 | #Constraints: 10001
42.92/43.17 c #Conflicts: 72000 | #Constraints: 11007
42.92/43.17 c INPROCESSING
42.92/43.17 c GARBAGE COLLECT
42.92/43.17 c rational objective 3
43.00/43.24 c GLOBAL bounds - >= 3 @ 42.2369
43.00/43.24 c GLOBAL bounds - >= 3 @ 42.237
46.28/46.59 c #Conflicts: 73000 | #Constraints: 6563
46.28/46.59 c #Conflicts: 74000 | #Constraints: 7573
46.28/46.59 c #Conflicts: 75000 | #Constraints: 8584
46.28/46.59 c #Conflicts: 76000 | #Constraints: 9589
46.28/46.59 c #Conflicts: 77000 | #Constraints: 10597
46.28/46.59 c #Conflicts: 78000 | #Constraints: 11606
46.28/46.59 c INPROCESSING
46.28/46.59 c GARBAGE COLLECT
46.28/46.59 c rational objective 3
46.38/46.65 c GLOBAL bounds - >= 3 @ 45.5798
46.38/46.65 c GLOBAL bounds - >= 3 @ 45.5799
50.79/51.09 c #Conflicts: 79000 | #Constraints: 6956
50.79/51.09 c #Conflicts: 80000 | #Constraints: 7965
50.79/51.09 c #Conflicts: 81000 | #Constraints: 8978
50.79/51.09 c #Conflicts: 82000 | #Constraints: 9990
50.79/51.09 c #Conflicts: 83000 | #Constraints: 10996
50.79/51.09 c #Conflicts: 84000 | #Constraints: 12003
50.79/51.09 c INPROCESSING
50.79/51.09 c GARBAGE COLLECT
50.79/51.09 c rational objective 3
50.89/51.14 c GLOBAL bounds - >= 3 @ 49.981
50.89/51.14 c GLOBAL bounds - >= 3 @ 49.981
54.87/55.12 c #Conflicts: 85000 | #Constraints: 7151
54.87/55.12 c #Conflicts: 86000 | #Constraints: 8154
54.87/55.12 c #Conflicts: 87000 | #Constraints: 9156
54.87/55.12 c #Conflicts: 88000 | #Constraints: 10161
54.87/55.12 c #Conflicts: 89000 | #Constraints: 11165
54.87/55.12 c #Conflicts: 90000 | #Constraints: 12169
54.87/55.12 c INPROCESSING
54.87/55.12 c GARBAGE COLLECT
54.87/55.12 c rational objective 3
54.87/55.15 c GLOBAL bounds - >= 3 @ 53.9293
54.87/55.15 c GLOBAL bounds - >= 3 @ 53.9293
57.77/58.08 c #Conflicts: 91000 | #Constraints: 7143
57.77/58.08 c #Conflicts: 92000 | #Constraints: 8144
57.77/58.08 c #Conflicts: 93000 | #Constraints: 9149
57.77/58.08 c #Conflicts: 94000 | #Constraints: 10155
57.77/58.08 c #Conflicts: 95000 | #Constraints: 11155
57.77/58.08 c #Conflicts: 96000 | #Constraints: 12161
57.77/58.08 c INPROCESSING
57.77/58.08 c GARBAGE COLLECT
57.77/58.08 c rational objective 3
57.96/58.23 c GLOBAL bounds - >= 3 @ 56.9616
57.96/58.23 c GLOBAL bounds - >= 3 @ 56.9616
64.24/64.52 c #Conflicts: 97000 | #Constraints: 6936
64.24/64.52 c #Conflicts: 98000 | #Constraints: 7948
64.24/64.52 c #Conflicts: 99000 | #Constraints: 8956
64.24/64.52 c #Conflicts: 100000 | #Constraints: 9964
64.24/64.52 c #Conflicts: 101000 | #Constraints: 10972
64.24/64.52 c #Conflicts: 102000 | #Constraints: 11980
64.24/64.52 c #Conflicts: 103000 | #Constraints: 12989
64.24/64.52 c INPROCESSING
64.24/64.52 c GARBAGE COLLECT
64.24/64.52 c rational objective 3
64.24/64.56 c GLOBAL bounds - >= 3 @ 63.2006
64.24/64.56 c GLOBAL bounds - >= 3 @ 63.2007
68.52/68.82 c #Conflicts: 104000 | #Constraints: 7548
68.52/68.82 c #Conflicts: 105000 | #Constraints: 8556
68.52/68.82 c #Conflicts: 106000 | #Constraints: 9565
68.52/68.82 c #Conflicts: 107000 | #Constraints: 10569
68.52/68.82 c #Conflicts: 108000 | #Constraints: 11579
68.52/68.82 c #Conflicts: 109000 | #Constraints: 12589
68.52/68.82 c #Conflicts: 110000 | #Constraints: 13599
68.52/68.82 c INPROCESSING
68.52/68.82 c GARBAGE COLLECT
68.52/68.82 c rational objective 3
68.63/68.94 c GLOBAL bounds - >= 3 @ 67.5031
68.63/68.94 c GLOBAL bounds - >= 3 @ 67.5031
73.72/74.10 c #Conflicts: 111000 | #Constraints: 7952
73.72/74.10 c #Conflicts: 112000 | #Constraints: 8958
73.72/74.10 c #Conflicts: 113000 | #Constraints: 9964
73.72/74.10 c #Conflicts: 114000 | #Constraints: 10969
73.72/74.10 c #Conflicts: 115000 | #Constraints: 11976
73.72/74.10 c #Conflicts: 116000 | #Constraints: 12988
73.72/74.10 c #Conflicts: 117000 | #Constraints: 13994
73.72/74.10 c INPROCESSING
73.72/74.10 c GARBAGE COLLECT
73.72/74.10 c rational objective 3
73.91/74.20 c GLOBAL bounds - >= 3 @ 72.669
73.91/74.20 c GLOBAL bounds - >= 3 @ 72.669
79.81/80.12 c #Conflicts: 118000 | #Constraints: 8148
79.81/80.12 c #Conflicts: 119000 | #Constraints: 9154
79.81/80.12 c #Conflicts: 120000 | #Constraints: 10163
79.81/80.12 c #Conflicts: 121000 | #Constraints: 11171
79.81/80.12 c #Conflicts: 122000 | #Constraints: 12178
79.81/80.12 c #Conflicts: 123000 | #Constraints: 13181
79.81/80.12 c #Conflicts: 124000 | #Constraints: 14187
79.81/80.12 c INPROCESSING
79.81/80.12 c GARBAGE COLLECT
79.81/80.12 c rational objective 3
79.89/80.25 c GLOBAL bounds - >= 3 @ 78.6208
79.89/80.25 c GLOBAL bounds - >= 3 @ 78.6208
84.58/84.98 c #Conflicts: 125000 | #Constraints: 8140
84.58/84.98 c #Conflicts: 126000 | #Constraints: 9152
84.58/84.98 c #Conflicts: 127000 | #Constraints: 10159
84.58/84.98 c #Conflicts: 128000 | #Constraints: 11167
84.58/84.98 c #Conflicts: 129000 | #Constraints: 12172
84.58/84.98 c #Conflicts: 130000 | #Constraints: 13177
84.58/84.98 c #Conflicts: 131000 | #Constraints: 14183
84.58/84.98 c INPROCESSING
84.58/84.98 c GARBAGE COLLECT
84.58/84.98 c rational objective 3
84.69/85.11 c GLOBAL bounds - >= 3 @ 83.3994
84.69/85.11 c GLOBAL bounds - >= 3 @ 83.3995
91.36/91.72 c #Conflicts: 132000 | #Constraints: 7942
91.36/91.72 c #Conflicts: 133000 | #Constraints: 8953
91.36/91.72 c #Conflicts: 134000 | #Constraints: 9963
91.36/91.72 c #Conflicts: 135000 | #Constraints: 10968
91.36/91.72 c #Conflicts: 136000 | #Constraints: 11975
91.36/91.72 c #Conflicts: 137000 | #Constraints: 12982
91.36/91.72 c #Conflicts: 138000 | #Constraints: 13986
91.36/91.72 c #Conflicts: 139000 | #Constraints: 14992
91.36/91.72 c INPROCESSING
91.36/91.72 c GARBAGE COLLECT
91.36/91.72 c rational objective 3
91.46/91.84 c GLOBAL bounds - >= 3 @ 90.0289
91.46/91.84 c GLOBAL bounds - >= 3 @ 90.0289
98.33/98.76 c #Conflicts: 140000 | #Constraints: 8556
98.33/98.76 c #Conflicts: 141000 | #Constraints: 9560
98.33/98.76 c #Conflicts: 142000 | #Constraints: 10563
98.33/98.76 c #Conflicts: 143000 | #Constraints: 11566
98.33/98.76 c #Conflicts: 144000 | #Constraints: 12569
98.33/98.76 c #Conflicts: 145000 | #Constraints: 13571
98.33/98.76 c #Conflicts: 146000 | #Constraints: 14574
98.33/98.76 c #Conflicts: 147000 | #Constraints: 15581
98.33/98.76 c INPROCESSING
98.33/98.76 c GARBAGE COLLECT
98.33/98.76 c rational objective 3
98.43/98.80 c GLOBAL bounds - >= 3 @ 96.8702
98.43/98.80 c GLOBAL bounds - >= 3 @ 96.8702
103.62/104.08 c #Conflicts: 148000 | #Constraints: 8948
103.62/104.08 c #Conflicts: 149000 | #Constraints: 9959
103.62/104.08 c #Conflicts: 150000 | #Constraints: 10966
103.62/104.08 c #Conflicts: 151000 | #Constraints: 11974
103.62/104.08 c #Conflicts: 152000 | #Constraints: 12979
103.62/104.08 c #Conflicts: 153000 | #Constraints: 13985
103.62/104.08 c #Conflicts: 154000 | #Constraints: 14994
103.62/104.08 c #Conflicts: 155000 | #Constraints: 15998
103.62/104.08 c INPROCESSING
103.62/104.08 c GARBAGE COLLECT
103.62/104.08 c rational objective 3
103.72/104.14 c GLOBAL bounds - >= 3 @ 102.123
103.72/104.14 c GLOBAL bounds - >= 3 @ 102.123
109.89/110.33 c #Conflicts: 156000 | #Constraints: 9160
109.89/110.33 c #Conflicts: 157000 | #Constraints: 10166
109.89/110.33 c #Conflicts: 158000 | #Constraints: 11172
109.89/110.33 c #Conflicts: 159000 | #Constraints: 12176
109.89/110.33 c #Conflicts: 160000 | #Constraints: 13183
109.89/110.33 c #Conflicts: 161000 | #Constraints: 14190
109.89/110.33 c #Conflicts: 162000 | #Constraints: 15200
109.89/110.33 c #Conflicts: 163000 | #Constraints: 16212
109.89/110.33 c INPROCESSING
109.89/110.33 c GARBAGE COLLECT
109.89/110.33 c rational objective 3
109.89/110.37 c GLOBAL bounds - >= 3 @ 108.258
109.89/110.37 c GLOBAL bounds - >= 3 @ 108.258
115.37/115.87 c #Conflicts: 164000 | #Constraints: 9156
115.37/115.87 c #Conflicts: 165000 | #Constraints: 10164
115.37/115.87 c #Conflicts: 166000 | #Constraints: 11172
115.37/115.87 c #Conflicts: 167000 | #Constraints: 12175
115.37/115.87 c #Conflicts: 168000 | #Constraints: 13186
115.37/115.87 c #Conflicts: 169000 | #Constraints: 14191
115.37/115.87 c #Conflicts: 170000 | #Constraints: 15201
115.37/115.87 c #Conflicts: 171000 | #Constraints: 16209
115.37/115.87 c INPROCESSING
115.37/115.87 c GARBAGE COLLECT
115.37/115.87 c rational objective 3
115.47/115.91 c GLOBAL bounds - >= 3 @ 113.713
115.47/115.91 c GLOBAL bounds - >= 3 @ 113.713
120.76/121.26 c #Conflicts: 172000 | #Constraints: 8957
120.76/121.26 c #Conflicts: 173000 | #Constraints: 9969
120.76/121.26 c #Conflicts: 174000 | #Constraints: 10972
120.76/121.26 c #Conflicts: 175000 | #Constraints: 11977
120.76/121.26 c #Conflicts: 176000 | #Constraints: 12983
120.76/121.26 c #Conflicts: 177000 | #Constraints: 13989
120.76/121.26 c #Conflicts: 178000 | #Constraints: 14994
120.76/121.26 c #Conflicts: 179000 | #Constraints: 16002
120.76/121.26 c #Conflicts: 180000 | #Constraints: 17009
120.76/121.26 c INPROCESSING
120.76/121.26 c GARBAGE COLLECT
120.76/121.26 c rational objective 3
120.85/121.34 c GLOBAL bounds - >= 3 @ 119.052
120.85/121.34 c GLOBAL bounds - >= 3 @ 119.052
128.54/129.10 c #Conflicts: 181000 | #Constraints: 9567
128.54/129.10 c #Conflicts: 182000 | #Constraints: 10576
128.54/129.10 c #Conflicts: 183000 | #Constraints: 11593
128.54/129.10 c #Conflicts: 184000 | #Constraints: 12606
128.54/129.10 c #Conflicts: 185000 | #Constraints: 13611
128.54/129.10 c #Conflicts: 186000 | #Constraints: 14614
128.54/129.10 c #Conflicts: 187000 | #Constraints: 15623
128.54/129.10 c #Conflicts: 188000 | #Constraints: 16629
128.54/129.10 c #Conflicts: 189000 | #Constraints: 17632
128.54/129.10 c INPROCESSING
128.54/129.10 c GARBAGE COLLECT
128.54/129.10 c rational objective 3
128.64/129.13 c GLOBAL bounds - >= 3 @ 126.734
128.64/129.13 c GLOBAL bounds - >= 3 @ 126.734
138.40/138.90 c #Conflicts: 190000 | #Constraints: 9973
138.40/138.90 c #Conflicts: 191000 | #Constraints: 10980
138.40/138.90 c #Conflicts: 192000 | #Constraints: 11985
138.40/138.90 c #Conflicts: 193000 | #Constraints: 12988
138.40/138.90 c #Conflicts: 194000 | #Constraints: 13992
138.40/138.90 c #Conflicts: 195000 | #Constraints: 14994
138.40/138.90 c #Conflicts: 196000 | #Constraints: 15998
138.40/138.90 c #Conflicts: 197000 | #Constraints: 17002
138.40/138.90 c #Conflicts: 198000 | #Constraints: 18004
138.40/138.90 c INPROCESSING
138.40/138.90 c GARBAGE COLLECT
138.40/138.90 c rational objective 3
138.40/138.99 c GLOBAL bounds - >= 3 @ 136.461
138.40/138.99 c GLOBAL bounds - >= 3 @ 136.461
142.98/143.54 c #Conflicts: 199000 | #Constraints: 10172
142.98/143.54 c #Conflicts: 200000 | #Constraints: 11174
142.98/143.54 c #Conflicts: 201000 | #Constraints: 12177
142.98/143.54 c #Conflicts: 202000 | #Constraints: 13181
142.98/143.54 c #Conflicts: 203000 | #Constraints: 14183
142.98/143.54 c #Conflicts: 204000 | #Constraints: 15190
142.98/143.54 c #Conflicts: 205000 | #Constraints: 16196
142.98/143.54 c #Conflicts: 206000 | #Constraints: 17202
142.98/143.54 c #Conflicts: 207000 | #Constraints: 18212
142.98/143.54 c INPROCESSING
142.98/143.54 c GARBAGE COLLECT
142.98/143.54 c rational objective 3
143.08/143.60 c GLOBAL bounds - >= 3 @ 140.971
143.08/143.60 c GLOBAL bounds - >= 3 @ 140.971
152.36/152.97 c #Conflicts: 208000 | #Constraints: 10168
152.36/152.97 c #Conflicts: 209000 | #Constraints: 11175
152.36/152.97 c #Conflicts: 210000 | #Constraints: 12184
152.36/152.97 c #Conflicts: 211000 | #Constraints: 13194
152.36/152.97 c #Conflicts: 212000 | #Constraints: 14200
152.36/152.97 c #Conflicts: 213000 | #Constraints: 15203
152.36/152.97 c #Conflicts: 214000 | #Constraints: 16209
152.36/152.97 c #Conflicts: 215000 | #Constraints: 17214
152.36/152.97 c #Conflicts: 216000 | #Constraints: 18221
152.36/152.97 c INPROCESSING
152.36/152.97 c GARBAGE COLLECT
152.36/152.97 c rational objective 3
152.47/153.03 c GLOBAL bounds - >= 3 @ 150.27
152.47/153.03 c GLOBAL bounds - >= 3 @ 150.27
158.84/159.41 c #Conflicts: 217000 | #Constraints: 9964
158.84/159.41 c #Conflicts: 218000 | #Constraints: 10969
158.84/159.41 c #Conflicts: 219000 | #Constraints: 11975
158.84/159.41 c #Conflicts: 220000 | #Constraints: 12977
158.84/159.41 c #Conflicts: 221000 | #Constraints: 13980
158.84/159.41 c #Conflicts: 222000 | #Constraints: 14984
158.84/159.41 c #Conflicts: 223000 | #Constraints: 15988
158.84/159.41 c #Conflicts: 224000 | #Constraints: 16993
158.84/159.41 c #Conflicts: 225000 | #Constraints: 17999
158.84/159.41 c #Conflicts: 226000 | #Constraints: 19008
158.84/159.41 c INPROCESSING
158.84/159.41 c GARBAGE COLLECT
158.84/159.41 c rational objective 3
158.94/159.53 c GLOBAL bounds - >= 3 @ 156.665
158.94/159.53 c GLOBAL bounds - >= 3 @ 156.665
165.62/166.29 c #Conflicts: 227000 | #Constraints: 10561
165.62/166.29 c #Conflicts: 228000 | #Constraints: 11566
165.62/166.29 c #Conflicts: 229000 | #Constraints: 12572
165.62/166.29 c #Conflicts: 230000 | #Constraints: 13575
165.62/166.29 c #Conflicts: 231000 | #Constraints: 14581
165.62/166.29 c #Conflicts: 232000 | #Constraints: 15591
165.62/166.29 c #Conflicts: 233000 | #Constraints: 16601
165.62/166.29 c #Conflicts: 234000 | #Constraints: 17609
165.62/166.29 c #Conflicts: 235000 | #Constraints: 18614
165.62/166.29 c #Conflicts: 236000 | #Constraints: 19622
165.62/166.29 c INPROCESSING
165.62/166.29 c GARBAGE COLLECT
165.62/166.29 c rational objective 3
165.72/166.34 c GLOBAL bounds - >= 3 @ 163.352
165.72/166.34 c GLOBAL bounds - >= 3 @ 163.352
172.51/173.12 c #Conflicts: 237000 | #Constraints: 10972
172.51/173.12 c #Conflicts: 238000 | #Constraints: 11977
172.51/173.12 c #Conflicts: 239000 | #Constraints: 12983
172.51/173.12 c #Conflicts: 240000 | #Constraints: 13987
172.51/173.12 c #Conflicts: 241000 | #Constraints: 14997
172.51/173.12 c #Conflicts: 242000 | #Constraints: 16007
172.51/173.12 c #Conflicts: 243000 | #Constraints: 17013
172.51/173.12 c #Conflicts: 244000 | #Constraints: 18016
172.51/173.12 c #Conflicts: 245000 | #Constraints: 19025
172.51/173.12 c #Conflicts: 246000 | #Constraints: 20032
172.51/173.12 c INPROCESSING
172.51/173.12 c GARBAGE COLLECT
172.51/173.12 c rational objective 3
172.59/173.22 c GLOBAL bounds - >= 3 @ 170.118
172.59/173.22 c GLOBAL bounds - >= 3 @ 170.118
179.98/180.68 c #Conflicts: 247000 | #Constraints: 11167
179.98/180.68 c #Conflicts: 248000 | #Constraints: 12175
179.98/180.68 c #Conflicts: 249000 | #Constraints: 13183
179.98/180.68 c #Conflicts: 250000 | #Constraints: 14198
179.98/180.68 c #Conflicts: 251000 | #Constraints: 15208
179.98/180.68 c #Conflicts: 252000 | #Constraints: 16215
179.98/180.68 c #Conflicts: 253000 | #Constraints: 17222
179.98/180.68 c #Conflicts: 254000 | #Constraints: 18226
179.98/180.68 c #Conflicts: 255000 | #Constraints: 19236
179.98/180.68 c #Conflicts: 256000 | #Constraints: 20243
179.98/180.68 c INPROCESSING
179.98/180.68 c GARBAGE COLLECT
179.98/180.68 c rational objective 3
180.08/180.72 c GLOBAL bounds - >= 3 @ 177.505
180.08/180.72 c GLOBAL bounds - >= 3 @ 177.505
189.15/189.87 c #Conflicts: 257000 | #Constraints: 11183
189.15/189.87 c #Conflicts: 258000 | #Constraints: 12190
189.15/189.87 c #Conflicts: 259000 | #Constraints: 13194
189.15/189.87 c #Conflicts: 260000 | #Constraints: 14200
189.15/189.87 c #Conflicts: 261000 | #Constraints: 15211
189.15/189.87 c #Conflicts: 262000 | #Constraints: 16218
189.15/189.87 c #Conflicts: 263000 | #Constraints: 17229
189.15/189.87 c #Conflicts: 264000 | #Constraints: 18236
189.15/189.87 c #Conflicts: 265000 | #Constraints: 19240
189.15/189.87 c #Conflicts: 266000 | #Constraints: 20245
189.15/189.87 c INPROCESSING
189.15/189.87 c GARBAGE COLLECT
189.15/189.87 c rational objective 3
189.25/189.92 c GLOBAL bounds - >= 3 @ 186.588
189.25/189.92 c GLOBAL bounds - >= 3 @ 186.588
197.63/198.38 c #Conflicts: 267000 | #Constraints: 10979
197.63/198.38 c #Conflicts: 268000 | #Constraints: 11986
197.63/198.38 c #Conflicts: 269000 | #Constraints: 12999
197.63/198.38 c #Conflicts: 270000 | #Constraints: 14002
197.63/198.38 c #Conflicts: 271000 | #Constraints: 15011
197.63/198.38 c #Conflicts: 272000 | #Constraints: 16015
197.63/198.38 c #Conflicts: 273000 | #Constraints: 17018
197.63/198.38 c #Conflicts: 274000 | #Constraints: 18020
197.63/198.38 c #Conflicts: 275000 | #Constraints: 19022
197.63/198.38 c #Conflicts: 276000 | #Constraints: 20029
197.63/198.38 c #Conflicts: 277000 | #Constraints: 21036
197.63/198.38 c INPROCESSING
197.63/198.38 c GARBAGE COLLECT
197.63/198.38 c rational objective 3
197.92/198.60 c GLOBAL bounds - >= 3 @ 195.134
197.92/198.60 c GLOBAL bounds - >= 3 @ 195.134
206.89/207.68 c #Conflicts: 278000 | #Constraints: 11574
206.89/207.68 c #Conflicts: 279000 | #Constraints: 12581
206.89/207.68 c #Conflicts: 280000 | #Constraints: 13587
206.89/207.68 c #Conflicts: 281000 | #Constraints: 14596
206.89/207.68 c #Conflicts: 282000 | #Constraints: 15600
206.89/207.68 c #Conflicts: 283000 | #Constraints: 16606
206.89/207.68 c #Conflicts: 284000 | #Constraints: 17612
206.89/207.68 c #Conflicts: 285000 | #Constraints: 18618
206.89/207.68 c #Conflicts: 286000 | #Constraints: 19623
206.89/207.68 c #Conflicts: 287000 | #Constraints: 20633
206.89/207.68 c #Conflicts: 288000 | #Constraints: 21642
206.89/207.68 c INPROCESSING
206.89/207.68 c GARBAGE COLLECT
206.89/207.68 c rational objective 3
206.99/207.74 c GLOBAL bounds - >= 3 @ 204.132
206.99/207.74 c GLOBAL bounds - >= 3 @ 204.132
215.18/215.93 c #Conflicts: 289000 | #Constraints: 11988
215.18/215.93 c #Conflicts: 290000 | #Constraints: 12998
215.18/215.93 c #Conflicts: 291000 | #Constraints: 14001
215.18/215.93 c #Conflicts: 292000 | #Constraints: 15008
215.18/215.93 c #Conflicts: 293000 | #Constraints: 16013
215.18/215.93 c #Conflicts: 294000 | #Constraints: 17018
215.18/215.93 c #Conflicts: 295000 | #Constraints: 18021
215.18/215.93 c #Conflicts: 296000 | #Constraints: 19025
215.18/215.93 c #Conflicts: 297000 | #Constraints: 20035
215.18/215.93 c #Conflicts: 298000 | #Constraints: 21043
215.18/215.93 c #Conflicts: 299000 | #Constraints: 22049
215.18/215.93 c INPROCESSING
215.18/215.93 c GARBAGE COLLECT
215.18/215.93 c rational objective 3
215.18/215.97 c GLOBAL bounds - >= 3 @ 212.224
215.18/215.97 c GLOBAL bounds - >= 3 @ 212.224
224.26/225.02 c #Conflicts: 300000 | #Constraints: 12189
224.26/225.02 c #Conflicts: 301000 | #Constraints: 13197
224.26/225.02 c #Conflicts: 302000 | #Constraints: 14210
224.26/225.02 c #Conflicts: 303000 | #Constraints: 15216
224.26/225.02 c #Conflicts: 304000 | #Constraints: 16224
224.26/225.02 c #Conflicts: 305000 | #Constraints: 17229
224.26/225.02 c #Conflicts: 306000 | #Constraints: 18232
224.26/225.02 c #Conflicts: 307000 | #Constraints: 19235
224.26/225.02 c #Conflicts: 308000 | #Constraints: 20242
224.26/225.02 c #Conflicts: 309000 | #Constraints: 21245
224.26/225.02 c #Conflicts: 310000 | #Constraints: 22252
224.26/225.02 c INPROCESSING
224.26/225.02 c GARBAGE COLLECT
224.26/225.02 c rational objective 3
224.26/225.10 c GLOBAL bounds - >= 3 @ 221.231
224.26/225.10 c GLOBAL bounds - >= 3 @ 221.231
232.24/233.09 c #Conflicts: 311000 | #Constraints: 12182
232.24/233.09 c #Conflicts: 312000 | #Constraints: 13186
232.24/233.09 c #Conflicts: 313000 | #Constraints: 14189
232.24/233.09 c #Conflicts: 314000 | #Constraints: 15192
232.24/233.09 c #Conflicts: 315000 | #Constraints: 16197
232.24/233.09 c #Conflicts: 316000 | #Constraints: 17203
232.24/233.09 c #Conflicts: 317000 | #Constraints: 18208
232.24/233.09 c #Conflicts: 318000 | #Constraints: 19212
232.24/233.09 c #Conflicts: 319000 | #Constraints: 20217
232.24/233.09 c #Conflicts: 320000 | #Constraints: 21219
232.24/233.09 c #Conflicts: 321000 | #Constraints: 22224
232.24/233.09 c INPROCESSING
232.24/233.09 c GARBAGE COLLECT
232.24/233.09 c rational objective 3
232.34/233.12 c GLOBAL bounds - >= 3 @ 229.126
232.34/233.12 c GLOBAL bounds - >= 3 @ 229.126
247.48/248.35 c #Conflicts: 322000 | #Constraints: 11976
247.48/248.35 c #Conflicts: 323000 | #Constraints: 12977
247.48/248.35 c #Conflicts: 324000 | #Constraints: 13982
247.48/248.35 c #Conflicts: 325000 | #Constraints: 14990
247.48/248.35 c #Conflicts: 326000 | #Constraints: 15997
247.48/248.35 c #Conflicts: 327000 | #Constraints: 17002
247.48/248.35 c #Conflicts: 328000 | #Constraints: 18009
247.48/248.35 c #Conflicts: 329000 | #Constraints: 19124
247.48/248.35 c #Conflicts: 330000 | #Constraints: 20245
247.48/248.35 c #Conflicts: 331000 | #Constraints: 21280
247.48/248.35 c #Conflicts: 332000 | #Constraints: 22320
247.48/248.35 c #Conflicts: 333000 | #Constraints: 23492
247.48/248.35 c INPROCESSING
247.48/248.35 c GARBAGE COLLECT
247.48/248.35 c rational objective 3
247.59/248.49 c GLOBAL bounds - >= 3 @ 244.289
247.59/248.49 c GLOBAL bounds - >= 3 @ 244.289
257.27/258.16 c #Conflicts: 334000 | #Constraints: 12836
257.27/258.16 c #Conflicts: 335000 | #Constraints: 13849
257.27/258.16 c #Conflicts: 336000 | #Constraints: 14885
257.27/258.16 c #Conflicts: 337000 | #Constraints: 15914
257.27/258.16 c #Conflicts: 338000 | #Constraints: 16939
257.27/258.16 c #Conflicts: 339000 | #Constraints: 18109
257.27/258.16 c #Conflicts: 340000 | #Constraints: 19114
257.27/258.16 c #Conflicts: 341000 | #Constraints: 20155
257.27/258.16 c #Conflicts: 342000 | #Constraints: 21302
257.27/258.16 c #Conflicts: 343000 | #Constraints: 22396
257.27/258.16 c #Conflicts: 344000 | #Constraints: 23759
257.27/258.16 c #Conflicts: 345000 | #Constraints: 25145
257.27/258.16 c INPROCESSING
257.27/258.16 c GARBAGE COLLECT
257.27/258.16 c rational objective 3
257.35/258.27 c GLOBAL bounds - >= 3 @ 253.918
257.35/258.27 c GLOBAL bounds - >= 3 @ 253.918
268.32/269.27 c #Conflicts: 346000 | #Constraints: 13764
268.32/269.27 c #Conflicts: 347000 | #Constraints: 14844
268.32/269.27 c #Conflicts: 348000 | #Constraints: 15896
268.32/269.27 c #Conflicts: 349000 | #Constraints: 16975
268.32/269.27 c #Conflicts: 350000 | #Constraints: 18021
268.32/269.27 c #Conflicts: 351000 | #Constraints: 19093
268.32/269.27 c #Conflicts: 352000 | #Constraints: 20180
268.32/269.27 c #Conflicts: 353000 | #Constraints: 21247
268.32/269.27 c #Conflicts: 354000 | #Constraints: 22289
268.32/269.27 c #Conflicts: 355000 | #Constraints: 23307
268.32/269.27 c #Conflicts: 356000 | #Constraints: 24384
268.32/269.27 c #Conflicts: 357000 | #Constraints: 25389
268.32/269.27 c INPROCESSING
268.32/269.27 c GARBAGE COLLECT
268.32/269.27 c rational objective 3
268.52/269.46 c GLOBAL bounds - >= 3 @ 264.928
268.52/269.46 c GLOBAL bounds - >= 3 @ 264.928
281.79/282.72 c #Conflicts: 358000 | #Constraints: 13868
281.79/282.72 c #Conflicts: 359000 | #Constraints: 14869
281.79/282.72 c #Conflicts: 360000 | #Constraints: 15870
281.79/282.72 c #Conflicts: 361000 | #Constraints: 16872
281.79/282.72 c #Conflicts: 362000 | #Constraints: 17872
281.79/282.72 c #Conflicts: 363000 | #Constraints: 18874
281.79/282.72 c #Conflicts: 364000 | #Constraints: 19875
281.79/282.72 c #Conflicts: 365000 | #Constraints: 20876
281.79/282.72 c #Conflicts: 366000 | #Constraints: 21879
281.79/282.72 c #Conflicts: 367000 | #Constraints: 22883
281.79/282.72 c #Conflicts: 368000 | #Constraints: 23887
281.79/282.72 c #Conflicts: 369000 | #Constraints: 24889
281.79/282.72 c INPROCESSING
281.79/282.72 c GARBAGE COLLECT
281.79/282.72 c rational objective 3
281.89/282.84 c GLOBAL bounds - >= 3 @ 278.129
281.89/282.84 c GLOBAL bounds - >= 3 @ 278.129
291.97/292.92 c #Conflicts: 370000 | #Constraints: 13500
291.97/292.92 c #Conflicts: 371000 | #Constraints: 14527
291.97/292.92 c #Conflicts: 372000 | #Constraints: 15534
291.97/292.92 c #Conflicts: 373000 | #Constraints: 16536
291.97/292.92 c #Conflicts: 374000 | #Constraints: 17553
291.97/292.92 c #Conflicts: 375000 | #Constraints: 18628
291.97/292.92 c #Conflicts: 376000 | #Constraints: 19644
291.97/292.92 c #Conflicts: 377000 | #Constraints: 20656
291.97/292.92 c #Conflicts: 378000 | #Constraints: 21667
291.97/292.92 c #Conflicts: 379000 | #Constraints: 22696
291.97/292.92 c #Conflicts: 380000 | #Constraints: 23698
291.97/292.92 c #Conflicts: 381000 | #Constraints: 24702
291.97/292.92 c INPROCESSING
291.97/292.92 c GARBAGE COLLECT
291.97/292.92 c rational objective 3
292.08/293.04 c GLOBAL bounds - >= 3 @ 288.168
292.08/293.04 c GLOBAL bounds - >= 3 @ 288.169
304.04/305.06 c #Conflicts: 382000 | #Constraints: 13214
304.04/305.06 c #Conflicts: 383000 | #Constraints: 14220
304.04/305.06 c #Conflicts: 384000 | #Constraints: 15224
304.04/305.06 c #Conflicts: 385000 | #Constraints: 16225
304.04/305.06 c #Conflicts: 386000 | #Constraints: 17231
304.04/305.06 c #Conflicts: 387000 | #Constraints: 18238
304.04/305.06 c #Conflicts: 388000 | #Constraints: 19246
304.04/305.06 c #Conflicts: 389000 | #Constraints: 20257
304.04/305.06 c #Conflicts: 390000 | #Constraints: 21271
304.04/305.06 c #Conflicts: 391000 | #Constraints: 22276
304.04/305.06 c #Conflicts: 392000 | #Constraints: 23284
304.04/305.06 c #Conflicts: 393000 | #Constraints: 24290
304.04/305.06 c #Conflicts: 394000 | #Constraints: 25295
304.04/305.06 c INPROCESSING
304.04/305.06 c GARBAGE COLLECT
304.04/305.06 c rational objective 3
304.04/305.10 c GLOBAL bounds - >= 3 @ 300.053
304.04/305.10 c GLOBAL bounds - >= 3 @ 300.053
319.57/320.64 c #Conflicts: 395000 | #Constraints: 13715
319.57/320.64 c #Conflicts: 396000 | #Constraints: 14715
319.57/320.64 c #Conflicts: 397000 | #Constraints: 15723
319.57/320.64 c #Conflicts: 398000 | #Constraints: 16728
319.57/320.64 c #Conflicts: 399000 | #Constraints: 17734
319.57/320.64 c #Conflicts: 400000 | #Constraints: 18739
319.57/320.64 c #Conflicts: 401000 | #Constraints: 19745
319.57/320.64 c #Conflicts: 402000 | #Constraints: 20752
319.57/320.64 c #Conflicts: 403000 | #Constraints: 21757
319.57/320.64 c #Conflicts: 404000 | #Constraints: 22765
319.57/320.64 c #Conflicts: 405000 | #Constraints: 23770
319.57/320.64 c #Conflicts: 406000 | #Constraints: 24778
319.57/320.64 c #Conflicts: 407000 | #Constraints: 25783
319.57/320.64 c INPROCESSING
319.57/320.64 c GARBAGE COLLECT
319.57/320.64 c rational objective 3
319.67/320.73 c GLOBAL bounds - >= 3 @ 315.473
319.67/320.73 c GLOBAL bounds - >= 3 @ 315.473
336.33/337.47 c #Conflicts: 408000 | #Constraints: 14094
336.33/337.47 c #Conflicts: 409000 | #Constraints: 15099
336.33/337.47 c #Conflicts: 410000 | #Constraints: 16106
336.33/337.47 c #Conflicts: 411000 | #Constraints: 17108
336.33/337.47 c #Conflicts: 412000 | #Constraints: 18115
336.33/337.47 c #Conflicts: 413000 | #Constraints: 19118
336.33/337.47 c #Conflicts: 414000 | #Constraints: 20127
336.33/337.47 c #Conflicts: 415000 | #Constraints: 21133
336.33/337.47 c #Conflicts: 416000 | #Constraints: 22141
336.33/337.47 c #Conflicts: 417000 | #Constraints: 23146
336.33/337.47 c #Conflicts: 418000 | #Constraints: 24150
336.33/337.47 c #Conflicts: 419000 | #Constraints: 25156
336.33/337.47 c #Conflicts: 420000 | #Constraints: 26163
336.33/337.47 c INPROCESSING
336.33/337.47 c GARBAGE COLLECT
336.33/337.47 c rational objective 3
336.43/337.55 c GLOBAL bounds - >= 3 @ 332.092
336.43/337.55 c GLOBAL bounds - >= 3 @ 332.092
357.84/359.07 c #Conflicts: 421000 | #Constraints: 14291
357.84/359.07 c #Conflicts: 422000 | #Constraints: 15297
357.84/359.07 c #Conflicts: 423000 | #Constraints: 16302
357.84/359.07 c #Conflicts: 424000 | #Constraints: 17308
357.84/359.07 c #Conflicts: 425000 | #Constraints: 18321
357.84/359.07 c #Conflicts: 426000 | #Constraints: 19326
357.84/359.07 c #Conflicts: 427000 | #Constraints: 20331
357.84/359.07 c #Conflicts: 428000 | #Constraints: 21333
357.84/359.07 c #Conflicts: 429000 | #Constraints: 22339
357.84/359.07 c #Conflicts: 430000 | #Constraints: 23342
357.84/359.07 c #Conflicts: 431000 | #Constraints: 24345
357.84/359.07 c #Conflicts: 432000 | #Constraints: 25348
357.84/359.07 c #Conflicts: 433000 | #Constraints: 26350
357.84/359.07 c INPROCESSING
357.84/359.07 c GARBAGE COLLECT
357.84/359.07 c rational objective 3
358.03/359.28 c GLOBAL bounds - >= 3 @ 353.488
358.03/359.28 c GLOBAL bounds - >= 3 @ 353.488
378.57/379.81 c #Conflicts: 434000 | #Constraints: 14286
378.57/379.81 c #Conflicts: 435000 | #Constraints: 15297
378.57/379.81 c #Conflicts: 436000 | #Constraints: 16306
378.57/379.81 c #Conflicts: 437000 | #Constraints: 17314
378.57/379.81 c #Conflicts: 438000 | #Constraints: 18325
378.57/379.81 c #Conflicts: 439000 | #Constraints: 19330
378.57/379.81 c #Conflicts: 440000 | #Constraints: 20337
378.57/379.81 c #Conflicts: 441000 | #Constraints: 21342
378.57/379.81 c #Conflicts: 442000 | #Constraints: 22346
378.57/379.81 c #Conflicts: 443000 | #Constraints: 23352
378.57/379.81 c #Conflicts: 444000 | #Constraints: 24357
378.57/379.81 c #Conflicts: 445000 | #Constraints: 25365
378.57/379.81 c #Conflicts: 446000 | #Constraints: 26372
378.57/379.81 c INPROCESSING
378.57/379.81 c GARBAGE COLLECT
378.57/379.81 c rational objective 3
378.67/379.92 c GLOBAL bounds - >= 3 @ 373.911
378.67/379.92 c GLOBAL bounds - >= 3 @ 373.911
397.52/398.85 c #Conflicts: 447000 | #Constraints: 14116
397.52/398.85 c #Conflicts: 448000 | #Constraints: 15124
397.52/398.85 c #Conflicts: 449000 | #Constraints: 16128
397.52/398.85 c #Conflicts: 450000 | #Constraints: 17129
397.52/398.85 c #Conflicts: 451000 | #Constraints: 18132
397.52/398.85 c #Conflicts: 452000 | #Constraints: 19136
397.52/398.85 c #Conflicts: 453000 | #Constraints: 20139
397.52/398.85 c #Conflicts: 454000 | #Constraints: 21142
397.52/398.85 c #Conflicts: 455000 | #Constraints: 22146
397.52/398.85 c #Conflicts: 456000 | #Constraints: 23149
397.52/398.85 c #Conflicts: 457000 | #Constraints: 24157
397.52/398.85 c #Conflicts: 458000 | #Constraints: 25162
397.52/398.85 c #Conflicts: 459000 | #Constraints: 26170
397.52/398.85 c #Conflicts: 460000 | #Constraints: 27174
397.52/398.85 c INPROCESSING
397.52/398.85 c GARBAGE COLLECT
397.52/398.85 c rational objective 3
397.62/398.96 c GLOBAL bounds - >= 3 @ 392.712
397.62/398.96 c GLOBAL bounds - >= 3 @ 392.712
416.68/418.08 c #Conflicts: 461000 | #Constraints: 14707
416.68/418.08 c #Conflicts: 462000 | #Constraints: 15712
416.68/418.08 c #Conflicts: 463000 | #Constraints: 16718
416.68/418.08 c #Conflicts: 464000 | #Constraints: 17720
416.68/418.08 c #Conflicts: 465000 | #Constraints: 18726
416.68/418.08 c #Conflicts: 466000 | #Constraints: 19737
416.68/418.08 c #Conflicts: 467000 | #Constraints: 20743
416.68/418.08 c #Conflicts: 468000 | #Constraints: 21751
416.68/418.08 c #Conflicts: 469000 | #Constraints: 22755
416.68/418.08 c #Conflicts: 470000 | #Constraints: 23758
416.68/418.08 c #Conflicts: 471000 | #Constraints: 24762
416.68/418.08 c #Conflicts: 472000 | #Constraints: 25767
416.68/418.08 c #Conflicts: 473000 | #Constraints: 26780
416.68/418.08 c #Conflicts: 474000 | #Constraints: 27784
416.68/418.08 c INPROCESSING
416.68/418.08 c GARBAGE COLLECT
416.68/418.08 c rational objective 3
416.78/418.15 c GLOBAL bounds - >= 3 @ 411.666
416.78/418.15 c GLOBAL bounds - >= 3 @ 411.666
433.62/435.10 c #Conflicts: 475000 | #Constraints: 15112
433.62/435.10 c #Conflicts: 476000 | #Constraints: 16126
433.62/435.10 c #Conflicts: 477000 | #Constraints: 17134
433.62/435.10 c #Conflicts: 478000 | #Constraints: 18147
433.62/435.10 c #Conflicts: 479000 | #Constraints: 19160
433.62/435.10 c #Conflicts: 480000 | #Constraints: 20175
433.62/435.10 c #Conflicts: 481000 | #Constraints: 21182
433.62/435.10 c #Conflicts: 482000 | #Constraints: 22192
433.62/435.10 c #Conflicts: 483000 | #Constraints: 23195
433.62/435.10 c #Conflicts: 484000 | #Constraints: 24199
433.62/435.10 c #Conflicts: 485000 | #Constraints: 25203
433.62/435.10 c #Conflicts: 486000 | #Constraints: 26208
433.62/435.10 c #Conflicts: 487000 | #Constraints: 27211
433.62/435.10 c #Conflicts: 488000 | #Constraints: 28216
433.62/435.10 c INPROCESSING
433.62/435.10 c GARBAGE COLLECT
433.62/435.10 c rational objective 3
433.81/435.23 c GLOBAL bounds - >= 3 @ 428.52
433.81/435.23 c GLOBAL bounds - >= 3 @ 428.52
450.74/452.23 c #Conflicts: 489000 | #Constraints: 15341
450.74/452.23 c #Conflicts: 490000 | #Constraints: 16344
450.74/452.23 c #Conflicts: 491000 | #Constraints: 17344
450.74/452.23 c #Conflicts: 492000 | #Constraints: 18345
450.74/452.23 c #Conflicts: 493000 | #Constraints: 19376
450.74/452.23 c #Conflicts: 494000 | #Constraints: 20379
450.74/452.23 c #Conflicts: 495000 | #Constraints: 21379
450.74/452.23 c #Conflicts: 496000 | #Constraints: 22380
450.74/452.23 c #Conflicts: 497000 | #Constraints: 23381
450.74/452.23 c #Conflicts: 498000 | #Constraints: 24384
450.74/452.23 c #Conflicts: 499000 | #Constraints: 25386
450.74/452.23 c #Conflicts: 500000 | #Constraints: 26388
450.74/452.23 c #Conflicts: 501000 | #Constraints: 27392
450.74/452.23 c #Conflicts: 502000 | #Constraints: 28426
450.74/452.23 c INPROCESSING
450.74/452.23 c GARBAGE COLLECT
450.74/452.23 c rational objective 3
450.84/452.39 c GLOBAL bounds - >= 3 @ 445.402
450.84/452.39 c GLOBAL bounds - >= 3 @ 445.402
473.99/475.53 c #Conflicts: 503000 | #Constraints: 15347
473.99/475.53 c #Conflicts: 504000 | #Constraints: 16350
473.99/475.53 c #Conflicts: 505000 | #Constraints: 17353
473.99/475.53 c #Conflicts: 506000 | #Constraints: 18355
473.99/475.53 c #Conflicts: 507000 | #Constraints: 19356
473.99/475.53 c #Conflicts: 508000 | #Constraints: 20358
473.99/475.53 c #Conflicts: 509000 | #Constraints: 21368
473.99/475.53 c #Conflicts: 510000 | #Constraints: 22377
473.99/475.53 c #Conflicts: 511000 | #Constraints: 23382
473.99/475.53 c #Conflicts: 512000 | #Constraints: 24384
473.99/475.53 c #Conflicts: 513000 | #Constraints: 25386
473.99/475.53 c #Conflicts: 514000 | #Constraints: 26390
473.99/475.53 c #Conflicts: 515000 | #Constraints: 27399
473.99/475.53 c #Conflicts: 516000 | #Constraints: 28403
473.99/475.53 c INPROCESSING
473.99/475.53 c GARBAGE COLLECT
473.99/475.53 c rational objective 3
473.99/475.59 c GLOBAL bounds - >= 3 @ 468.346
473.99/475.59 c GLOBAL bounds - >= 3 @ 468.346
497.20/498.87 c #Conflicts: 517000 | #Constraints: 15113
497.20/498.87 c #Conflicts: 518000 | #Constraints: 16132
497.20/498.87 c #Conflicts: 519000 | #Constraints: 17147
497.20/498.87 c #Conflicts: 520000 | #Constraints: 18167
497.20/498.87 c #Conflicts: 521000 | #Constraints: 19171
497.20/498.87 c #Conflicts: 522000 | #Constraints: 20253
497.20/498.87 c #Conflicts: 523000 | #Constraints: 21469
497.20/498.87 c #Conflicts: 524000 | #Constraints: 22490
497.20/498.87 c #Conflicts: 525000 | #Constraints: 23604
497.20/498.87 c #Conflicts: 526000 | #Constraints: 24729
497.20/498.87 c #Conflicts: 527000 | #Constraints: 25924
497.20/498.87 c #Conflicts: 528000 | #Constraints: 27004
497.20/498.87 c #Conflicts: 529000 | #Constraints: 28039
497.20/498.87 c #Conflicts: 530000 | #Constraints: 29068
497.20/498.87 c #Conflicts: 531000 | #Constraints: 30094
497.20/498.87 c INPROCESSING
497.20/498.87 c GARBAGE COLLECT
497.20/498.87 c rational objective 3
497.30/498.97 c GLOBAL bounds - >= 3 @ 491.423
497.30/498.97 c GLOBAL bounds - >= 3 @ 491.423
517.62/519.35 c #Conflicts: 532000 | #Constraints: 16198
517.62/519.35 c #Conflicts: 533000 | #Constraints: 17201
517.62/519.35 c #Conflicts: 534000 | #Constraints: 18203
517.62/519.35 c #Conflicts: 535000 | #Constraints: 19204
517.62/519.35 c #Conflicts: 536000 | #Constraints: 20204
517.62/519.35 c #Conflicts: 537000 | #Constraints: 21206
517.62/519.35 c #Conflicts: 538000 | #Constraints: 22209
517.62/519.35 c #Conflicts: 539000 | #Constraints: 23210
517.62/519.35 c #Conflicts: 540000 | #Constraints: 24212
517.62/519.35 c #Conflicts: 541000 | #Constraints: 25214
517.62/519.35 c #Conflicts: 542000 | #Constraints: 26217
517.62/519.35 c #Conflicts: 543000 | #Constraints: 27220
517.62/519.35 c #Conflicts: 544000 | #Constraints: 28220
517.62/519.35 c #Conflicts: 545000 | #Constraints: 29220
517.62/519.35 c #Conflicts: 546000 | #Constraints: 30228
517.62/519.35 c INPROCESSING
517.62/519.35 c GARBAGE COLLECT
517.62/519.35 c rational objective 3
517.72/519.49 c GLOBAL bounds - >= 3 @ 511.644
517.72/519.49 c GLOBAL bounds - >= 3 @ 511.644
540.94/542.76 c #Conflicts: 547000 | #Constraints: 16332
540.94/542.76 c #Conflicts: 548000 | #Constraints: 17333
540.94/542.76 c #Conflicts: 549000 | #Constraints: 18338
540.94/542.76 c #Conflicts: 550000 | #Constraints: 19345
540.94/542.76 c #Conflicts: 551000 | #Constraints: 20346
540.94/542.76 c #Conflicts: 552000 | #Constraints: 21355
540.94/542.76 c #Conflicts: 553000 | #Constraints: 22356
540.94/542.76 c #Conflicts: 554000 | #Constraints: 23360
540.94/542.76 c #Conflicts: 555000 | #Constraints: 24369
540.94/542.76 c #Conflicts: 556000 | #Constraints: 25374
540.94/542.76 c #Conflicts: 557000 | #Constraints: 26376
540.94/542.76 c #Conflicts: 558000 | #Constraints: 27380
540.94/542.76 c #Conflicts: 559000 | #Constraints: 28382
540.94/542.76 c #Conflicts: 560000 | #Constraints: 29384
540.94/542.76 c #Conflicts: 561000 | #Constraints: 30387
540.94/542.76 c INPROCESSING
540.94/542.76 c GARBAGE COLLECT
540.94/542.76 c rational objective 3
541.04/542.88 c GLOBAL bounds - >= 3 @ 534.759
541.04/542.88 c GLOBAL bounds - >= 3 @ 534.759
557.99/559.83 c #Conflicts: 562000 | #Constraints: 16401
557.99/559.83 c #Conflicts: 563000 | #Constraints: 17404
557.99/559.83 c #Conflicts: 564000 | #Constraints: 18410
557.99/559.83 c #Conflicts: 565000 | #Constraints: 19419
557.99/559.83 c #Conflicts: 566000 | #Constraints: 20435
557.99/559.83 c #Conflicts: 567000 | #Constraints: 21471
557.99/559.83 c #Conflicts: 568000 | #Constraints: 22476
557.99/559.83 c #Conflicts: 569000 | #Constraints: 23483
557.99/559.83 c #Conflicts: 570000 | #Constraints: 24622
557.99/559.83 c #Conflicts: 571000 | #Constraints: 25655
557.99/559.83 c #Conflicts: 572000 | #Constraints: 26679
557.99/559.83 c #Conflicts: 573000 | #Constraints: 27702
557.99/559.83 c #Conflicts: 574000 | #Constraints: 28851
557.99/559.83 c #Conflicts: 575000 | #Constraints: 29866
557.99/559.83 c #Conflicts: 576000 | #Constraints: 30922
557.99/559.83 c INPROCESSING
557.99/559.83 c GARBAGE COLLECT
557.99/559.83 c rational objective 3
558.09/560.00 c GLOBAL bounds - >= 3 @ 551.627
558.09/560.00 c GLOBAL bounds - >= 3 @ 551.627
578.52/580.48 c #Conflicts: 577000 | #Constraints: 16561
578.52/580.48 c #Conflicts: 578000 | #Constraints: 17561
578.52/580.48 c #Conflicts: 579000 | #Constraints: 18564
578.52/580.48 c #Conflicts: 580000 | #Constraints: 19564
578.52/580.48 c #Conflicts: 581000 | #Constraints: 20568
578.52/580.48 c #Conflicts: 582000 | #Constraints: 21568
578.52/580.48 c #Conflicts: 583000 | #Constraints: 22569
578.52/580.48 c #Conflicts: 584000 | #Constraints: 23569
578.52/580.48 c #Conflicts: 585000 | #Constraints: 24572
578.52/580.48 c #Conflicts: 586000 | #Constraints: 25572
578.52/580.48 c #Conflicts: 587000 | #Constraints: 26572
578.52/580.48 c #Conflicts: 588000 | #Constraints: 27573
578.52/580.48 c #Conflicts: 589000 | #Constraints: 28574
578.52/580.48 c #Conflicts: 590000 | #Constraints: 29574
578.52/580.48 c #Conflicts: 591000 | #Constraints: 30575
578.52/580.48 c INPROCESSING
578.52/580.48 c GARBAGE COLLECT
578.52/580.48 c rational objective 3
578.73/580.65 c GLOBAL bounds - >= 3 @ 572.018
578.73/580.65 c GLOBAL bounds - >= 3 @ 572.018
604.06/606.09 c #Conflicts: 592000 | #Constraints: 16205
604.06/606.09 c #Conflicts: 593000 | #Constraints: 17213
604.06/606.09 c #Conflicts: 594000 | #Constraints: 18218
604.06/606.09 c #Conflicts: 595000 | #Constraints: 19221
604.06/606.09 c #Conflicts: 596000 | #Constraints: 20228
604.06/606.09 c #Conflicts: 597000 | #Constraints: 21232
604.06/606.09 c #Conflicts: 598000 | #Constraints: 22243
604.06/606.09 c #Conflicts: 599000 | #Constraints: 23254
604.06/606.09 c #Conflicts: 600000 | #Constraints: 24256
604.06/606.09 c #Conflicts: 601000 | #Constraints: 25268
604.06/606.09 c #Conflicts: 602000 | #Constraints: 26269
604.06/606.09 c #Conflicts: 603000 | #Constraints: 27271
604.06/606.09 c #Conflicts: 604000 | #Constraints: 28273
604.06/606.09 c #Conflicts: 605000 | #Constraints: 29277
604.06/606.09 c #Conflicts: 606000 | #Constraints: 30318
604.06/606.09 c #Conflicts: 607000 | #Constraints: 31330
604.06/606.09 c INPROCESSING
604.06/606.09 c GARBAGE COLLECT
604.06/606.09 c rational objective 3
604.25/606.22 c GLOBAL bounds - >= 3 @ 597.291
604.25/606.22 c GLOBAL bounds - >= 3 @ 597.291
627.27/629.39 c #Conflicts: 608000 | #Constraints: 16782
627.27/629.39 c #Conflicts: 609000 | #Constraints: 17870
627.27/629.39 c #Conflicts: 610000 | #Constraints: 18876
627.27/629.39 c #Conflicts: 611000 | #Constraints: 19924
627.27/629.39 c #Conflicts: 612000 | #Constraints: 20933
627.27/629.39 c #Conflicts: 613000 | #Constraints: 21946
627.27/629.39 c #Conflicts: 614000 | #Constraints: 22956
627.27/629.39 c #Conflicts: 615000 | #Constraints: 23977
627.27/629.39 c #Conflicts: 616000 | #Constraints: 25007
627.27/629.39 c #Conflicts: 617000 | #Constraints: 26018
627.27/629.39 c #Conflicts: 618000 | #Constraints: 27031
627.27/629.39 c #Conflicts: 619000 | #Constraints: 28039
627.27/629.39 c #Conflicts: 620000 | #Constraints: 29068
627.27/629.39 c #Conflicts: 621000 | #Constraints: 30069
627.27/629.39 c #Conflicts: 622000 | #Constraints: 31077
627.27/629.39 c #Conflicts: 623000 | #Constraints: 32092
627.27/629.39 c INPROCESSING
627.27/629.39 c GARBAGE COLLECT
627.27/629.39 c rational objective 3
627.57/629.66 c GLOBAL bounds - >= 3 @ 620.459
627.57/629.66 c GLOBAL bounds - >= 3 @ 620.459
648.31/650.42 c #Conflicts: 624000 | #Constraints: 17256
648.31/650.42 c #Conflicts: 625000 | #Constraints: 18257
648.31/650.42 c #Conflicts: 626000 | #Constraints: 19258
648.31/650.42 c #Conflicts: 627000 | #Constraints: 20259
648.31/650.42 c #Conflicts: 628000 | #Constraints: 21264
648.31/650.42 c #Conflicts: 629000 | #Constraints: 22268
648.31/650.42 c #Conflicts: 630000 | #Constraints: 23271
648.31/650.42 c #Conflicts: 631000 | #Constraints: 24271
648.31/650.42 c #Conflicts: 632000 | #Constraints: 25274
648.31/650.42 c #Conflicts: 633000 | #Constraints: 26281
648.31/650.42 c #Conflicts: 634000 | #Constraints: 27283
648.31/650.42 c #Conflicts: 635000 | #Constraints: 28284
648.31/650.42 c #Conflicts: 636000 | #Constraints: 29286
648.31/650.42 c #Conflicts: 637000 | #Constraints: 30286
648.31/650.42 c #Conflicts: 638000 | #Constraints: 31286
648.31/650.42 c #Conflicts: 639000 | #Constraints: 32286
648.31/650.42 c INPROCESSING
648.31/650.42 c GARBAGE COLLECT
648.31/650.42 c rational objective 3
648.51/650.60 c GLOBAL bounds - >= 3 @ 641.152
648.51/650.60 c GLOBAL bounds - >= 3 @ 641.152
666.86/669.02 c #Conflicts: 640000 | #Constraints: 17317
666.86/669.02 c #Conflicts: 641000 | #Constraints: 18319
666.86/669.02 c #Conflicts: 642000 | #Constraints: 19320
666.86/669.02 c #Conflicts: 643000 | #Constraints: 20322
666.86/669.02 c #Conflicts: 644000 | #Constraints: 21325
666.86/669.02 c #Conflicts: 645000 | #Constraints: 22328
666.86/669.02 c #Conflicts: 646000 | #Constraints: 23331
666.86/669.02 c #Conflicts: 647000 | #Constraints: 24332
666.86/669.02 c #Conflicts: 648000 | #Constraints: 25337
666.86/669.02 c #Conflicts: 649000 | #Constraints: 26341
666.86/669.02 c #Conflicts: 650000 | #Constraints: 27347
666.86/669.02 c #Conflicts: 651000 | #Constraints: 28350
666.86/669.02 c #Conflicts: 652000 | #Constraints: 29350
666.86/669.02 c #Conflicts: 653000 | #Constraints: 30352
666.86/669.02 c #Conflicts: 654000 | #Constraints: 31355
666.86/669.02 c #Conflicts: 655000 | #Constraints: 32355
666.86/669.02 c INPROCESSING
666.86/669.02 c GARBAGE COLLECT
666.86/669.02 c rational objective 3
666.86/669.09 c GLOBAL bounds - >= 3 @ 659.413
666.86/669.09 c GLOBAL bounds - >= 3 @ 659.413
690.17/692.45 c #Conflicts: 656000 | #Constraints: 17289
690.17/692.45 c #Conflicts: 657000 | #Constraints: 18308
690.17/692.45 c #Conflicts: 658000 | #Constraints: 19353
690.17/692.45 c #Conflicts: 659000 | #Constraints: 20458
690.17/692.45 c #Conflicts: 660000 | #Constraints: 21652
690.17/692.45 c #Conflicts: 661000 | #Constraints: 22824
690.17/692.45 c #Conflicts: 662000 | #Constraints: 23854
690.17/692.45 c #Conflicts: 663000 | #Constraints: 24913
690.17/692.45 c #Conflicts: 664000 | #Constraints: 26035
690.17/692.45 c #Conflicts: 665000 | #Constraints: 27136
690.17/692.45 c #Conflicts: 666000 | #Constraints: 28486
690.17/692.45 c #Conflicts: 667000 | #Constraints: 29557
690.17/692.45 c #Conflicts: 668000 | #Constraints: 30562
690.17/692.45 c #Conflicts: 669000 | #Constraints: 31717
690.17/692.45 c #Conflicts: 670000 | #Constraints: 32926
690.17/692.45 c #Conflicts: 671000 | #Constraints: 34375
690.17/692.45 c INPROCESSING
690.17/692.45 c GARBAGE COLLECT
690.17/692.45 c rational objective 3
690.37/692.64 c GLOBAL bounds - >= 3 @ 682.65
690.37/692.64 c GLOBAL bounds - >= 3 @ 682.65
718.38/720.72 c #Conflicts: 672000 | #Constraints: 18080
718.38/720.72 c #Conflicts: 673000 | #Constraints: 19088
718.38/720.72 c #Conflicts: 674000 | #Constraints: 20090
718.38/720.72 c #Conflicts: 675000 | #Constraints: 21094
718.38/720.72 c #Conflicts: 676000 | #Constraints: 22099
718.38/720.72 c #Conflicts: 677000 | #Constraints: 23100
718.38/720.72 c #Conflicts: 678000 | #Constraints: 24104
718.38/720.72 c #Conflicts: 679000 | #Constraints: 25105
718.38/720.72 c #Conflicts: 680000 | #Constraints: 26106
718.38/720.72 c #Conflicts: 681000 | #Constraints: 27110
718.38/720.72 c #Conflicts: 682000 | #Constraints: 28113
718.38/720.72 c #Conflicts: 683000 | #Constraints: 29117
718.38/720.72 c #Conflicts: 684000 | #Constraints: 30123
718.38/720.72 c #Conflicts: 685000 | #Constraints: 31134
718.38/720.72 c #Conflicts: 686000 | #Constraints: 32139
718.38/720.72 c #Conflicts: 687000 | #Constraints: 33144
718.38/720.72 c #Conflicts: 688000 | #Constraints: 34144
718.38/720.72 c INPROCESSING
718.38/720.72 c GARBAGE COLLECT
718.38/720.72 c rational objective 3
718.38/720.79 c GLOBAL bounds - >= 3 @ 710.494
718.38/720.79 c GLOBAL bounds - >= 3 @ 710.494
741.80/744.23 c #Conflicts: 689000 | #Constraints: 18175
741.80/744.23 c #Conflicts: 690000 | #Constraints: 19177
741.80/744.23 c #Conflicts: 691000 | #Constraints: 20178
741.80/744.23 c #Conflicts: 692000 | #Constraints: 21181
741.80/744.23 c #Conflicts: 693000 | #Constraints: 22183
741.80/744.23 c #Conflicts: 694000 | #Constraints: 23183
741.80/744.23 c #Conflicts: 695000 | #Constraints: 24184
741.80/744.23 c #Conflicts: 696000 | #Constraints: 25186
741.80/744.23 c #Conflicts: 697000 | #Constraints: 26186
741.80/744.23 c #Conflicts: 698000 | #Constraints: 27186
741.80/744.23 c #Conflicts: 699000 | #Constraints: 28186
741.80/744.23 c #Conflicts: 700000 | #Constraints: 29187
741.80/744.23 c #Conflicts: 701000 | #Constraints: 30189
741.80/744.23 c #Conflicts: 702000 | #Constraints: 31192
741.80/744.23 c #Conflicts: 703000 | #Constraints: 32193
741.80/744.23 c #Conflicts: 704000 | #Constraints: 33193
741.80/744.23 c #Conflicts: 705000 | #Constraints: 34199
741.80/744.23 c INPROCESSING
741.80/744.23 c GARBAGE COLLECT
741.80/744.23 c rational objective 3
741.90/744.36 c GLOBAL bounds - >= 3 @ 733.799
741.90/744.36 c GLOBAL bounds - >= 3 @ 733.799
768.32/770.81 c #Conflicts: 706000 | #Constraints: 18314
768.32/770.81 c #Conflicts: 707000 | #Constraints: 19316
768.32/770.81 c #Conflicts: 708000 | #Constraints: 20319
768.32/770.81 c #Conflicts: 709000 | #Constraints: 21323
768.32/770.81 c #Conflicts: 710000 | #Constraints: 22326
768.32/770.81 c #Conflicts: 711000 | #Constraints: 23334
768.32/770.81 c #Conflicts: 712000 | #Constraints: 24342
768.32/770.81 c #Conflicts: 713000 | #Constraints: 25350
768.32/770.81 c #Conflicts: 714000 | #Constraints: 26358
768.32/770.81 c #Conflicts: 715000 | #Constraints: 27359
768.32/770.81 c #Conflicts: 716000 | #Constraints: 28362
768.32/770.81 c #Conflicts: 717000 | #Constraints: 29367
768.32/770.81 c #Conflicts: 718000 | #Constraints: 30376
768.32/770.81 c #Conflicts: 719000 | #Constraints: 31381
768.32/770.81 c #Conflicts: 720000 | #Constraints: 32385
768.32/770.81 c #Conflicts: 721000 | #Constraints: 33389
768.32/770.81 c #Conflicts: 722000 | #Constraints: 34395
768.32/770.81 c INPROCESSING
768.32/770.81 c GARBAGE COLLECT
768.32/770.81 c rational objective 3
768.32/770.88 c GLOBAL bounds - >= 3 @ 760.004
768.32/770.88 c GLOBAL bounds - >= 3 @ 760.004
794.56/797.14 c #Conflicts: 723000 | #Constraints: 18425
794.56/797.14 c #Conflicts: 724000 | #Constraints: 19433
794.56/797.14 c #Conflicts: 725000 | #Constraints: 20440
794.56/797.14 c #Conflicts: 726000 | #Constraints: 21451
794.56/797.14 c #Conflicts: 727000 | #Constraints: 22455
794.56/797.14 c #Conflicts: 728000 | #Constraints: 23463
794.56/797.14 c #Conflicts: 729000 | #Constraints: 24476
794.56/797.14 c #Conflicts: 730000 | #Constraints: 25482
794.56/797.14 c #Conflicts: 731000 | #Constraints: 26488
794.56/797.14 c #Conflicts: 732000 | #Constraints: 27497
794.56/797.14 c #Conflicts: 733000 | #Constraints: 28505
794.56/797.14 c #Conflicts: 734000 | #Constraints: 29509
794.56/797.14 c #Conflicts: 735000 | #Constraints: 30511
794.56/797.14 c #Conflicts: 736000 | #Constraints: 31516
794.56/797.14 c #Conflicts: 737000 | #Constraints: 32521
794.56/797.14 c #Conflicts: 738000 | #Constraints: 33525
794.56/797.14 c #Conflicts: 739000 | #Constraints: 34526
794.56/797.14 c INPROCESSING
794.56/797.14 c GARBAGE COLLECT
794.56/797.14 c rational objective 3
794.65/797.26 c GLOBAL bounds - >= 3 @ 786.108
794.65/797.26 c GLOBAL bounds - >= 3 @ 786.108
821.27/824.00 c #Conflicts: 740000 | #Constraints: 18387
821.27/824.00 c #Conflicts: 741000 | #Constraints: 19394
821.27/824.00 c #Conflicts: 742000 | #Constraints: 20404
821.27/824.00 c #Conflicts: 743000 | #Constraints: 21409
821.27/824.00 c #Conflicts: 744000 | #Constraints: 22414
821.27/824.00 c #Conflicts: 745000 | #Constraints: 23416
821.27/824.00 c #Conflicts: 746000 | #Constraints: 24423
821.27/824.00 c #Conflicts: 747000 | #Constraints: 25426
821.27/824.00 c #Conflicts: 748000 | #Constraints: 26432
821.27/824.00 c #Conflicts: 749000 | #Constraints: 27436
821.27/824.00 c #Conflicts: 750000 | #Constraints: 28440
821.27/824.00 c #Conflicts: 751000 | #Constraints: 29451
821.27/824.00 c #Conflicts: 752000 | #Constraints: 30454
821.27/824.00 c #Conflicts: 753000 | #Constraints: 31458
821.27/824.00 c #Conflicts: 754000 | #Constraints: 32463
821.27/824.00 c #Conflicts: 755000 | #Constraints: 33468
821.27/824.00 c #Conflicts: 756000 | #Constraints: 34474
821.27/824.00 c INPROCESSING
821.27/824.00 c GARBAGE COLLECT
821.27/824.00 c rational objective 3
821.57/824.27 c GLOBAL bounds - >= 3 @ 812.823
821.57/824.27 c GLOBAL bounds - >= 3 @ 812.823
848.89/851.60 c #Conflicts: 757000 | #Constraints: 18137
848.89/851.60 c #Conflicts: 758000 | #Constraints: 19142
848.89/851.60 c #Conflicts: 759000 | #Constraints: 20147
848.89/851.60 c #Conflicts: 760000 | #Constraints: 21157
848.89/851.60 c #Conflicts: 761000 | #Constraints: 22162
848.89/851.60 c #Conflicts: 762000 | #Constraints: 23169
848.89/851.60 c #Conflicts: 763000 | #Constraints: 24175
848.89/851.60 c #Conflicts: 764000 | #Constraints: 25181
848.89/851.60 c #Conflicts: 765000 | #Constraints: 26186
848.89/851.60 c #Conflicts: 766000 | #Constraints: 27191
848.89/851.60 c #Conflicts: 767000 | #Constraints: 28194
848.89/851.60 c #Conflicts: 768000 | #Constraints: 29195
848.89/851.60 c #Conflicts: 769000 | #Constraints: 30196
848.89/851.60 c #Conflicts: 770000 | #Constraints: 31202
848.89/851.60 c #Conflicts: 771000 | #Constraints: 32206
848.89/851.60 c #Conflicts: 772000 | #Constraints: 33214
848.89/851.60 c #Conflicts: 773000 | #Constraints: 34223
848.89/851.60 c #Conflicts: 774000 | #Constraints: 35233
848.89/851.60 c INPROCESSING
848.89/851.60 c GARBAGE COLLECT
848.89/851.60 c rational objective 3
848.99/851.78 c GLOBAL bounds - >= 3 @ 840.049
848.99/851.78 c GLOBAL bounds - >= 3 @ 840.049
877.70/880.55 c #Conflicts: 775000 | #Constraints: 18740
877.70/880.55 c #Conflicts: 776000 | #Constraints: 19744
877.70/880.55 c #Conflicts: 777000 | #Constraints: 20750
877.70/880.55 c #Conflicts: 778000 | #Constraints: 21754
877.70/880.55 c #Conflicts: 779000 | #Constraints: 22754
877.70/880.55 c #Conflicts: 780000 | #Constraints: 23761
877.70/880.55 c #Conflicts: 781000 | #Constraints: 24766
877.70/880.55 c #Conflicts: 782000 | #Constraints: 25771
877.70/880.55 c #Conflicts: 783000 | #Constraints: 26778
877.70/880.55 c #Conflicts: 784000 | #Constraints: 27782
877.70/880.55 c #Conflicts: 785000 | #Constraints: 28786
877.70/880.55 c #Conflicts: 786000 | #Constraints: 29789
877.70/880.55 c #Conflicts: 787000 | #Constraints: 30794
877.70/880.55 c #Conflicts: 788000 | #Constraints: 31799
877.70/880.55 c #Conflicts: 789000 | #Constraints: 32806
877.70/880.55 c #Conflicts: 790000 | #Constraints: 33811
877.70/880.55 c #Conflicts: 791000 | #Constraints: 34816
877.70/880.55 c #Conflicts: 792000 | #Constraints: 35824
877.70/880.55 c INPROCESSING
877.70/880.55 c GARBAGE COLLECT
877.70/880.55 c rational objective 3
877.81/880.66 c GLOBAL bounds - >= 3 @ 868.619
877.81/880.66 c GLOBAL bounds - >= 3 @ 868.619
908.51/911.43 c #Conflicts: 793000 | #Constraints: 19146
908.51/911.43 c #Conflicts: 794000 | #Constraints: 20151
908.51/911.43 c #Conflicts: 795000 | #Constraints: 21160
908.51/911.43 c #Conflicts: 796000 | #Constraints: 22169
908.51/911.43 c #Conflicts: 797000 | #Constraints: 23174
908.51/911.43 c #Conflicts: 798000 | #Constraints: 24181
908.51/911.43 c #Conflicts: 799000 | #Constraints: 25194
908.51/911.43 c #Conflicts: 800000 | #Constraints: 26199
908.51/911.43 c #Conflicts: 801000 | #Constraints: 27210
908.51/911.43 c #Conflicts: 802000 | #Constraints: 28220
908.51/911.43 c #Conflicts: 803000 | #Constraints: 29225
908.51/911.43 c #Conflicts: 804000 | #Constraints: 30230
908.51/911.43 c #Conflicts: 805000 | #Constraints: 31235
908.51/911.43 c #Conflicts: 806000 | #Constraints: 32241
908.51/911.43 c #Conflicts: 807000 | #Constraints: 33243
908.51/911.43 c #Conflicts: 808000 | #Constraints: 34246
908.51/911.43 c #Conflicts: 809000 | #Constraints: 35252
908.51/911.43 c #Conflicts: 810000 | #Constraints: 36256
908.51/911.43 c INPROCESSING
908.51/911.43 c GARBAGE COLLECT
908.51/911.43 c rational objective 3
908.51/911.48 c GLOBAL bounds - >= 3 @ 899.099
908.51/911.48 c GLOBAL bounds - >= 3 @ 899.099
941.12/944.18 c #Conflicts: 811000 | #Constraints: 19360
941.12/944.18 c #Conflicts: 812000 | #Constraints: 20364
941.12/944.18 c #Conflicts: 813000 | #Constraints: 21368
941.12/944.18 c #Conflicts: 814000 | #Constraints: 22381
941.12/944.18 c #Conflicts: 815000 | #Constraints: 23388
941.12/944.18 c #Conflicts: 816000 | #Constraints: 24395
941.12/944.18 c #Conflicts: 817000 | #Constraints: 25401
941.12/944.18 c #Conflicts: 818000 | #Constraints: 26405
941.12/944.18 c #Conflicts: 819000 | #Constraints: 27414
941.12/944.18 c #Conflicts: 820000 | #Constraints: 28418
941.12/944.18 c #Conflicts: 821000 | #Constraints: 29426
941.12/944.18 c #Conflicts: 822000 | #Constraints: 30435
941.12/944.18 c #Conflicts: 823000 | #Constraints: 31439
941.12/944.18 c #Conflicts: 824000 | #Constraints: 32440
941.12/944.18 c #Conflicts: 825000 | #Constraints: 33446
941.12/944.18 c #Conflicts: 826000 | #Constraints: 34449
941.12/944.18 c #Conflicts: 827000 | #Constraints: 35454
941.12/944.18 c #Conflicts: 828000 | #Constraints: 36456
941.12/944.18 c INPROCESSING
941.12/944.18 c GARBAGE COLLECT
941.12/944.18 c rational objective 3
941.20/944.25 c GLOBAL bounds - >= 3 @ 931.527
941.20/944.25 c GLOBAL bounds - >= 3 @ 931.527
971.03/974.19 c #Conflicts: 829000 | #Constraints: 19359
971.03/974.19 c #Conflicts: 830000 | #Constraints: 20364
971.03/974.19 c #Conflicts: 831000 | #Constraints: 21366
971.03/974.19 c #Conflicts: 832000 | #Constraints: 22370
971.03/974.19 c #Conflicts: 833000 | #Constraints: 23374
971.03/974.19 c #Conflicts: 834000 | #Constraints: 24379
971.03/974.19 c #Conflicts: 835000 | #Constraints: 25381
971.03/974.19 c #Conflicts: 836000 | #Constraints: 26386
971.03/974.19 c #Conflicts: 837000 | #Constraints: 27391
971.03/974.19 c #Conflicts: 838000 | #Constraints: 28392
971.03/974.19 c #Conflicts: 839000 | #Constraints: 29395
971.03/974.19 c #Conflicts: 840000 | #Constraints: 30399
971.03/974.19 c #Conflicts: 841000 | #Constraints: 31401
971.03/974.19 c #Conflicts: 842000 | #Constraints: 32402
971.03/974.19 c #Conflicts: 843000 | #Constraints: 33408
971.03/974.19 c #Conflicts: 844000 | #Constraints: 34411
971.03/974.19 c #Conflicts: 845000 | #Constraints: 35416
971.03/974.19 c #Conflicts: 846000 | #Constraints: 36422
971.03/974.19 c INPROCESSING
971.03/974.19 c GARBAGE COLLECT
971.03/974.19 c rational objective 3
971.21/974.33 c GLOBAL bounds - >= 3 @ 961.297
971.21/974.33 c GLOBAL bounds - >= 3 @ 961.297
1004.32/1007.54 c #Conflicts: 847000 | #Constraints: 19114
1004.32/1007.54 c #Conflicts: 848000 | #Constraints: 20117
1004.32/1007.54 c #Conflicts: 849000 | #Constraints: 21124
1004.32/1007.54 c #Conflicts: 850000 | #Constraints: 22130
1004.32/1007.54 c #Conflicts: 851000 | #Constraints: 23137
1004.32/1007.54 c #Conflicts: 852000 | #Constraints: 24145
1004.32/1007.54 c #Conflicts: 853000 | #Constraints: 25148
1004.32/1007.54 c #Conflicts: 854000 | #Constraints: 26155
1004.32/1007.54 c #Conflicts: 855000 | #Constraints: 27162
1004.32/1007.54 c #Conflicts: 856000 | #Constraints: 28164
1004.32/1007.54 c #Conflicts: 857000 | #Constraints: 29170
1004.32/1007.54 c #Conflicts: 858000 | #Constraints: 30178
1004.32/1007.54 c #Conflicts: 859000 | #Constraints: 31182
1004.32/1007.54 c #Conflicts: 860000 | #Constraints: 32190
1004.32/1007.54 c #Conflicts: 861000 | #Constraints: 33193
1004.32/1007.54 c #Conflicts: 862000 | #Constraints: 34195
1004.32/1007.54 c #Conflicts: 863000 | #Constraints: 35198
1004.32/1007.54 c #Conflicts: 864000 | #Constraints: 36203
1004.32/1007.54 c #Conflicts: 865000 | #Constraints: 37206
1004.32/1007.54 c INPROCESSING
1004.32/1007.54 c GARBAGE COLLECT
1004.32/1007.54 c rational objective 3
1004.42/1007.65 c GLOBAL bounds - >= 3 @ 994.257
1004.42/1007.65 c GLOBAL bounds - >= 3 @ 994.257
1033.93/1037.23 c #Conflicts: 866000 | #Constraints: 19716
1033.93/1037.23 c #Conflicts: 867000 | #Constraints: 20725
1033.93/1037.23 c #Conflicts: 868000 | #Constraints: 21729
1033.93/1037.23 c #Conflicts: 869000 | #Constraints: 22737
1033.93/1037.23 c #Conflicts: 870000 | #Constraints: 23742
1033.93/1037.23 c #Conflicts: 871000 | #Constraints: 24753
1033.93/1037.23 c #Conflicts: 872000 | #Constraints: 25760
1033.93/1037.23 c #Conflicts: 873000 | #Constraints: 26768
1033.93/1037.23 c #Conflicts: 874000 | #Constraints: 27774
1033.93/1037.23 c #Conflicts: 875000 | #Constraints: 28782
1033.93/1037.23 c #Conflicts: 876000 | #Constraints: 29788
1033.93/1037.23 c #Conflicts: 877000 | #Constraints: 30802
1033.93/1037.23 c #Conflicts: 878000 | #Constraints: 31806
1033.93/1037.23 c #Conflicts: 879000 | #Constraints: 32810
1033.93/1037.23 c #Conflicts: 880000 | #Constraints: 33816
1033.93/1037.23 c #Conflicts: 881000 | #Constraints: 34821
1033.93/1037.23 c #Conflicts: 882000 | #Constraints: 35834
1033.93/1037.23 c #Conflicts: 883000 | #Constraints: 36837
1033.93/1037.23 c #Conflicts: 884000 | #Constraints: 37846
1033.93/1037.23 c INPROCESSING
1033.93/1037.23 c GARBAGE COLLECT
1033.93/1037.23 c rational objective 3
1034.03/1037.37 c GLOBAL bounds - >= 3 @ 1023.65
1034.03/1037.37 c GLOBAL bounds - >= 3 @ 1023.65
1069.74/1073.16 c #Conflicts: 885000 | #Constraints: 20132
1069.74/1073.16 c #Conflicts: 886000 | #Constraints: 21140
1069.74/1073.16 c #Conflicts: 887000 | #Constraints: 22148
1069.74/1073.16 c #Conflicts: 888000 | #Constraints: 23150
1069.74/1073.16 c #Conflicts: 889000 | #Constraints: 24155
1069.74/1073.16 c #Conflicts: 890000 | #Constraints: 25160
1069.74/1073.16 c #Conflicts: 891000 | #Constraints: 26163
1069.74/1073.16 c #Conflicts: 892000 | #Constraints: 27168
1069.74/1073.16 c #Conflicts: 893000 | #Constraints: 28173
1069.74/1073.16 c #Conflicts: 894000 | #Constraints: 29177
1069.74/1073.16 c #Conflicts: 895000 | #Constraints: 30184
1069.74/1073.16 c #Conflicts: 896000 | #Constraints: 31191
1069.74/1073.16 c #Conflicts: 897000 | #Constraints: 32198
1069.74/1073.16 c #Conflicts: 898000 | #Constraints: 33202
1069.74/1073.16 c #Conflicts: 899000 | #Constraints: 34207
1069.74/1073.16 c #Conflicts: 900000 | #Constraints: 35215
1069.74/1073.16 c #Conflicts: 901000 | #Constraints: 36221
1069.74/1073.16 c #Conflicts: 902000 | #Constraints: 37223
1069.74/1073.16 c #Conflicts: 903000 | #Constraints: 38228
1069.74/1073.16 c INPROCESSING
1069.74/1073.16 c GARBAGE COLLECT
1069.74/1073.16 c rational objective 3
1069.83/1073.23 c GLOBAL bounds - >= 3 @ 1059.16
1069.83/1073.23 c GLOBAL bounds - >= 3 @ 1059.16
1102.12/1105.67 c #Conflicts: 904000 | #Constraints: 20349
1102.12/1105.67 c #Conflicts: 905000 | #Constraints: 21356
1102.12/1105.67 c #Conflicts: 906000 | #Constraints: 22363
1102.12/1105.67 c #Conflicts: 907000 | #Constraints: 23367
1102.12/1105.67 c #Conflicts: 908000 | #Constraints: 24370
1102.12/1105.67 c #Conflicts: 909000 | #Constraints: 25376
1102.12/1105.67 c #Conflicts: 910000 | #Constraints: 26382
1102.12/1105.67 c #Conflicts: 911000 | #Constraints: 27387
1102.12/1105.67 c #Conflicts: 912000 | #Constraints: 28392
1102.12/1105.67 c #Conflicts: 913000 | #Constraints: 29400
1102.12/1105.67 c #Conflicts: 914000 | #Constraints: 30408
1102.12/1105.67 c #Conflicts: 915000 | #Constraints: 31416
1102.12/1105.67 c #Conflicts: 916000 | #Constraints: 32417
1102.12/1105.67 c #Conflicts: 917000 | #Constraints: 33422
1102.12/1105.67 c #Conflicts: 918000 | #Constraints: 34428
1102.12/1105.67 c #Conflicts: 919000 | #Constraints: 35432
1102.12/1105.67 c #Conflicts: 920000 | #Constraints: 36434
1102.12/1105.67 c #Conflicts: 921000 | #Constraints: 37443
1102.12/1105.67 c #Conflicts: 922000 | #Constraints: 38447
1102.12/1105.67 c INPROCESSING
1102.12/1105.67 c GARBAGE COLLECT
1102.12/1105.67 c rational objective 3
1102.23/1105.75 c GLOBAL bounds - >= 3 @ 1091.34
1102.23/1105.75 c GLOBAL bounds - >= 3 @ 1091.34
1148.57/1152.27 c #Conflicts: 923000 | #Constraints: 20282
1148.57/1152.27 c #Conflicts: 924000 | #Constraints: 21286
1148.57/1152.27 c #Conflicts: 925000 | #Constraints: 22290
1148.57/1152.27 c #Conflicts: 926000 | #Constraints: 23298
1148.57/1152.27 c #Conflicts: 927000 | #Constraints: 24301
1148.57/1152.27 c #Conflicts: 928000 | #Constraints: 25305
1148.57/1152.27 c #Conflicts: 929000 | #Constraints: 26306
1148.57/1152.27 c #Conflicts: 930000 | #Constraints: 27311
1148.57/1152.27 c #Conflicts: 931000 | #Constraints: 28321
1148.57/1152.27 c #Conflicts: 932000 | #Constraints: 29325
1148.57/1152.27 c #Conflicts: 933000 | #Constraints: 30331
1148.57/1152.27 c #Conflicts: 934000 | #Constraints: 31333
1148.57/1152.27 c #Conflicts: 935000 | #Constraints: 32336
1148.57/1152.27 c #Conflicts: 936000 | #Constraints: 33340
1148.57/1152.27 c #Conflicts: 937000 | #Constraints: 34348
1148.57/1152.27 c #Conflicts: 938000 | #Constraints: 35351
1148.57/1152.27 c #Conflicts: 939000 | #Constraints: 36354
1148.57/1152.27 c #Conflicts: 940000 | #Constraints: 37356
1148.57/1152.27 c #Conflicts: 941000 | #Constraints: 38357
1148.57/1152.27 c INPROCESSING
1148.57/1152.27 c GARBAGE COLLECT
1148.57/1152.27 c rational objective 3
1148.67/1152.37 c GLOBAL bounds - >= 3 @ 1137.46
1148.67/1152.37 c GLOBAL bounds - >= 3 @ 1137.46
1203.39/1207.27 c #Conflicts: 942000 | #Constraints: 20096
1203.39/1207.27 c #Conflicts: 943000 | #Constraints: 21101
1203.39/1207.27 c #Conflicts: 944000 | #Constraints: 22107
1203.39/1207.27 c #Conflicts: 945000 | #Constraints: 23113
1203.39/1207.27 c #Conflicts: 946000 | #Constraints: 24116
1203.39/1207.27 c #Conflicts: 947000 | #Constraints: 25122
1203.39/1207.27 c #Conflicts: 948000 | #Constraints: 26122
1203.39/1207.27 c #Conflicts: 949000 | #Constraints: 27124
1203.39/1207.27 c #Conflicts: 950000 | #Constraints: 28132
1203.39/1207.27 c #Conflicts: 951000 | #Constraints: 29136
1203.39/1207.27 c #Conflicts: 952000 | #Constraints: 30136
1203.39/1207.27 c #Conflicts: 953000 | #Constraints: 31142
1203.39/1207.27 c #Conflicts: 954000 | #Constraints: 32144
1203.39/1207.27 c #Conflicts: 955000 | #Constraints: 33146
1203.39/1207.27 c #Conflicts: 956000 | #Constraints: 34148
1203.39/1207.27 c #Conflicts: 957000 | #Constraints: 35157
1203.39/1207.27 c #Conflicts: 958000 | #Constraints: 36162
1203.39/1207.27 c #Conflicts: 959000 | #Constraints: 37167
1203.39/1207.27 c #Conflicts: 960000 | #Constraints: 38173
1203.39/1207.27 c #Conflicts: 961000 | #Constraints: 39179
1203.39/1207.27 c INPROCESSING
1203.39/1207.27 c GARBAGE COLLECT
1203.39/1207.27 c rational objective 3
1203.49/1207.33 c GLOBAL bounds - >= 3 @ 1191.85
1203.49/1207.33 c GLOBAL bounds - >= 3 @ 1191.85
1256.91/1260.93 c #Conflicts: 962000 | #Constraints: 20708
1256.91/1260.93 c #Conflicts: 963000 | #Constraints: 21709
1256.91/1260.93 c #Conflicts: 964000 | #Constraints: 22712
1256.91/1260.93 c #Conflicts: 965000 | #Constraints: 23714
1256.91/1260.93 c #Conflicts: 966000 | #Constraints: 24717
1256.91/1260.93 c #Conflicts: 967000 | #Constraints: 25723
1256.91/1260.93 c #Conflicts: 968000 | #Constraints: 26723
1256.91/1260.93 c #Conflicts: 969000 | #Constraints: 27727
1256.91/1260.93 c #Conflicts: 970000 | #Constraints: 28732
1256.91/1260.93 c #Conflicts: 971000 | #Constraints: 29733
1256.91/1260.93 c #Conflicts: 972000 | #Constraints: 30737
1256.91/1260.93 c #Conflicts: 973000 | #Constraints: 31742
1256.91/1260.93 c #Conflicts: 974000 | #Constraints: 32747
1256.91/1260.93 c #Conflicts: 975000 | #Constraints: 33754
1256.91/1260.93 c #Conflicts: 976000 | #Constraints: 34757
1256.91/1260.93 c #Conflicts: 977000 | #Constraints: 35759
1256.91/1260.93 c #Conflicts: 978000 | #Constraints: 36761
1256.91/1260.93 c #Conflicts: 979000 | #Constraints: 37765
1256.91/1260.93 c #Conflicts: 980000 | #Constraints: 38768
1256.91/1260.93 c #Conflicts: 981000 | #Constraints: 39773
1256.91/1260.93 c INPROCESSING
1256.91/1260.93 c GARBAGE COLLECT
1256.91/1260.93 c rational objective 3
1256.91/1261.00 c GLOBAL bounds - >= 3 @ 1244.95
1256.91/1261.00 c GLOBAL bounds - >= 3 @ 1244.95
1321.69/1325.91 c #Conflicts: 982000 | #Constraints: 21121
1321.69/1325.91 c #Conflicts: 983000 | #Constraints: 22123
1321.69/1325.91 c #Conflicts: 984000 | #Constraints: 23125
1321.69/1325.91 c #Conflicts: 985000 | #Constraints: 24131
1321.69/1325.91 c #Conflicts: 986000 | #Constraints: 25132
1321.69/1325.91 c #Conflicts: 987000 | #Constraints: 26132
1321.69/1325.91 c #Conflicts: 988000 | #Constraints: 27134
1321.69/1325.91 c #Conflicts: 989000 | #Constraints: 28135
1321.69/1325.91 c #Conflicts: 990000 | #Constraints: 29135
1321.69/1325.91 c #Conflicts: 991000 | #Constraints: 30137
1321.69/1325.91 c #Conflicts: 992000 | #Constraints: 31138
1321.69/1325.91 c #Conflicts: 993000 | #Constraints: 32140
1321.69/1325.91 c #Conflicts: 994000 | #Constraints: 33142
1321.69/1325.91 c #Conflicts: 995000 | #Constraints: 34147
1321.69/1325.91 c #Conflicts: 996000 | #Constraints: 35150
1321.69/1325.91 c #Conflicts: 997000 | #Constraints: 36153
1321.69/1325.91 c #Conflicts: 998000 | #Constraints: 37155
1321.69/1325.91 c #Conflicts: 999000 | #Constraints: 38157
1321.69/1325.91 c #Conflicts: 1000000 | #Constraints: 39158
1321.69/1325.91 c #Conflicts: 1001000 | #Constraints: 40158
1321.69/1325.91 c INPROCESSING
1321.69/1325.91 c GARBAGE COLLECT
1321.69/1325.91 c rational objective 3
1321.69/1325.98 c GLOBAL bounds - >= 3 @ 1309.29
1321.69/1325.98 c GLOBAL bounds - >= 3 @ 1309.29
1368.14/1372.55 c #Conflicts: 1002000 | #Constraints: 21309
1368.14/1372.55 c #Conflicts: 1003000 | #Constraints: 22317
1368.14/1372.55 c #Conflicts: 1004000 | #Constraints: 23320
1368.14/1372.55 c #Conflicts: 1005000 | #Constraints: 24327
1368.14/1372.55 c #Conflicts: 1006000 | #Constraints: 25330
1368.14/1372.55 c #Conflicts: 1007000 | #Constraints: 26331
1368.14/1372.55 c #Conflicts: 1008000 | #Constraints: 27334
1368.14/1372.55 c #Conflicts: 1009000 | #Constraints: 28336
1368.14/1372.55 c #Conflicts: 1010000 | #Constraints: 29340
1368.14/1372.55 c #Conflicts: 1011000 | #Constraints: 30342
1368.14/1372.55 c #Conflicts: 1012000 | #Constraints: 31346
1368.14/1372.55 c #Conflicts: 1013000 | #Constraints: 32346
1368.14/1372.55 c #Conflicts: 1014000 | #Constraints: 33349
1368.14/1372.55 c #Conflicts: 1015000 | #Constraints: 34350
1368.14/1372.55 c #Conflicts: 1016000 | #Constraints: 35357
1368.14/1372.55 c #Conflicts: 1017000 | #Constraints: 36363
1368.14/1372.55 c #Conflicts: 1018000 | #Constraints: 37367
1368.14/1372.55 c #Conflicts: 1019000 | #Constraints: 38373
1368.14/1372.55 c #Conflicts: 1020000 | #Constraints: 39374
1368.14/1372.55 c #Conflicts: 1021000 | #Constraints: 40377
1368.14/1372.55 c INPROCESSING
1368.14/1372.55 c GARBAGE COLLECT
1368.14/1372.55 c rational objective 3
1368.24/1372.62 c GLOBAL bounds - >= 3 @ 1355.44
1368.24/1372.62 c GLOBAL bounds - >= 3 @ 1355.44
1433.44/1438.09 c #Conflicts: 1022000 | #Constraints: 21309
1433.44/1438.09 c #Conflicts: 1023000 | #Constraints: 22311
1433.44/1438.09 c #Conflicts: 1024000 | #Constraints: 23314
1433.44/1438.09 c #Conflicts: 1025000 | #Constraints: 24320
1433.44/1438.09 c #Conflicts: 1026000 | #Constraints: 25322
1433.44/1438.09 c #Conflicts: 1027000 | #Constraints: 26324
1433.44/1438.09 c #Conflicts: 1028000 | #Constraints: 27326
1433.44/1438.09 c #Conflicts: 1029000 | #Constraints: 28330
1433.44/1438.09 c #Conflicts: 1030000 | #Constraints: 29331
1433.44/1438.09 c #Conflicts: 1031000 | #Constraints: 30336
1433.44/1438.09 c #Conflicts: 1032000 | #Constraints: 31339
1433.44/1438.09 c #Conflicts: 1033000 | #Constraints: 32341
1433.44/1438.09 c #Conflicts: 1034000 | #Constraints: 33343
1433.44/1438.09 c #Conflicts: 1035000 | #Constraints: 34346
1433.44/1438.09 c #Conflicts: 1036000 | #Constraints: 35347
1433.44/1438.09 c #Conflicts: 1037000 | #Constraints: 36353
1433.44/1438.09 c #Conflicts: 1038000 | #Constraints: 37360
1433.44/1438.09 c #Conflicts: 1039000 | #Constraints: 38365
1433.44/1438.09 c #Conflicts: 1040000 | #Constraints: 39369
1433.44/1438.09 c #Conflicts: 1041000 | #Constraints: 40371
1433.44/1438.09 c INPROCESSING
1433.44/1438.09 c GARBAGE COLLECT
1433.44/1438.09 c rational objective 3
1433.54/1438.18 c GLOBAL bounds - >= 3 @ 1420.39
1433.54/1438.18 c GLOBAL bounds - >= 3 @ 1420.39
1499.23/1504.01 c #Conflicts: 1042000 | #Constraints: 21120
1499.23/1504.01 c #Conflicts: 1043000 | #Constraints: 22124
1499.23/1504.01 c #Conflicts: 1044000 | #Constraints: 23128
1499.23/1504.01 c #Conflicts: 1045000 | #Constraints: 24130
1499.23/1504.01 c #Conflicts: 1046000 | #Constraints: 25136
1499.23/1504.01 c #Conflicts: 1047000 | #Constraints: 26139
1499.23/1504.01 c #Conflicts: 1048000 | #Constraints: 27140
1499.23/1504.01 c #Conflicts: 1049000 | #Constraints: 28142
1499.23/1504.01 c #Conflicts: 1050000 | #Constraints: 29144
1499.23/1504.01 c #Conflicts: 1051000 | #Constraints: 30147
1499.23/1504.01 c #Conflicts: 1052000 | #Constraints: 31152
1499.23/1504.01 c #Conflicts: 1053000 | #Constraints: 32152
1499.23/1504.01 c #Conflicts: 1054000 | #Constraints: 33152
1499.23/1504.01 c #Conflicts: 1055000 | #Constraints: 34153
1499.23/1504.01 c #Conflicts: 1056000 | #Constraints: 35155
1499.23/1504.01 c #Conflicts: 1057000 | #Constraints: 36157
1499.23/1504.01 c #Conflicts: 1058000 | #Constraints: 37159
1499.23/1504.01 c #Conflicts: 1059000 | #Constraints: 38160
1499.23/1504.01 c #Conflicts: 1060000 | #Constraints: 39166
1499.23/1504.01 c #Conflicts: 1061000 | #Constraints: 40167
1499.23/1504.02 c #Conflicts: 1062000 | #Constraints: 41170
1499.23/1504.02 c INPROCESSING
1499.23/1504.02 c GARBAGE COLLECT
1499.23/1504.02 c rational objective 3
1499.23/1504.09 c GLOBAL bounds - >= 3 @ 1485.67
1499.23/1504.09 c GLOBAL bounds - >= 3 @ 1485.67
1574.56/1579.61 c #Conflicts: 1063000 | #Constraints: 21717
1574.56/1579.61 c #Conflicts: 1064000 | #Constraints: 22721
1574.56/1579.61 c #Conflicts: 1065000 | #Constraints: 23723
1574.56/1579.61 c #Conflicts: 1066000 | #Constraints: 24727
1574.56/1579.61 c #Conflicts: 1067000 | #Constraints: 25728
1574.56/1579.61 c #Conflicts: 1068000 | #Constraints: 26730
1574.56/1579.61 c #Conflicts: 1069000 | #Constraints: 27731
1574.56/1579.61 c #Conflicts: 1070000 | #Constraints: 28732
1574.56/1579.61 c #Conflicts: 1071000 | #Constraints: 29734
1574.56/1579.61 c #Conflicts: 1072000 | #Constraints: 30736
1574.56/1579.61 c #Conflicts: 1073000 | #Constraints: 31738
1574.56/1579.61 c #Conflicts: 1074000 | #Constraints: 32740
1574.56/1579.61 c #Conflicts: 1075000 | #Constraints: 33742
1574.56/1579.61 c #Conflicts: 1076000 | #Constraints: 34744
1574.56/1579.61 c #Conflicts: 1077000 | #Constraints: 35744
1574.56/1579.61 c #Conflicts: 1078000 | #Constraints: 36746
1574.56/1579.61 c #Conflicts: 1079000 | #Constraints: 37751
1574.56/1579.61 c #Conflicts: 1080000 | #Constraints: 38753
1574.56/1579.61 c #Conflicts: 1081000 | #Constraints: 39755
1574.56/1579.61 c #Conflicts: 1082000 | #Constraints: 40758
1574.56/1579.61 c #Conflicts: 1083000 | #Constraints: 41761
1574.56/1579.61 c INPROCESSING
1574.56/1579.61 c GARBAGE COLLECT
1574.56/1579.61 c rational objective 3
1574.76/1579.80 c GLOBAL bounds - >= 3 @ 1560.71
1574.76/1579.80 c GLOBAL bounds - >= 3 @ 1560.71
1650.71/1656.08 c #Conflicts: 1084000 | #Constraints: 22121
1650.71/1656.08 c #Conflicts: 1085000 | #Constraints: 23125
1650.71/1656.08 c #Conflicts: 1086000 | #Constraints: 24130
1650.71/1656.08 c #Conflicts: 1087000 | #Constraints: 25132
1650.71/1656.08 c #Conflicts: 1088000 | #Constraints: 26191
1650.71/1656.08 c #Conflicts: 1089000 | #Constraints: 27230
1650.71/1656.08 c #Conflicts: 1090000 | #Constraints: 28236
1650.71/1656.08 c #Conflicts: 1091000 | #Constraints: 29243
1650.71/1656.08 c #Conflicts: 1092000 | #Constraints: 30581
1650.71/1656.08 c #Conflicts: 1093000 | #Constraints: 32078
1650.71/1656.08 c #Conflicts: 1094000 | #Constraints: 33460
1650.71/1656.08 c #Conflicts: 1095000 | #Constraints: 34599
1650.71/1656.08 c #Conflicts: 1096000 | #Constraints: 35646
1650.71/1656.08 c #Conflicts: 1097000 | #Constraints: 36717
1650.71/1656.08 c #Conflicts: 1098000 | #Constraints: 37826
1650.71/1656.08 c #Conflicts: 1099000 | #Constraints: 38937
1650.71/1656.08 c #Conflicts: 1100000 | #Constraints: 40143
1650.71/1656.08 c #Conflicts: 1101000 | #Constraints: 41583
1650.71/1656.08 c #Conflicts: 1102000 | #Constraints: 42635
1650.71/1656.08 c #Conflicts: 1103000 | #Constraints: 43639
1650.71/1656.08 c #Conflicts: 1104000 | #Constraints: 44642
1650.71/1656.08 c INPROCESSING
1650.71/1656.08 c GARBAGE COLLECT
1650.71/1656.08 c rational objective 3
1650.90/1656.28 c GLOBAL bounds - >= 3 @ 1636.44
1650.90/1656.28 c GLOBAL bounds - >= 3 @ 1636.44
1682.00/1687.40 c #Conflicts: 1105000 | #Constraints: 23558
1682.00/1687.40 c #Conflicts: 1106000 | #Constraints: 24558
1682.00/1687.40 c #Conflicts: 1107000 | #Constraints: 25558
1682.00/1687.40 c #Conflicts: 1108000 | #Constraints: 26558
1682.00/1687.40 c #Conflicts: 1109000 | #Constraints: 27558
1682.00/1687.40 c #Conflicts: 1110000 | #Constraints: 28559
1682.00/1687.40 c #Conflicts: 1111000 | #Constraints: 29560
1682.00/1687.40 c #Conflicts: 1112000 | #Constraints: 30560
1682.00/1687.40 c #Conflicts: 1113000 | #Constraints: 31561
1682.00/1687.40 c #Conflicts: 1114000 | #Constraints: 32561
1682.00/1687.40 c #Conflicts: 1115000 | #Constraints: 33561
1682.00/1687.40 c #Conflicts: 1116000 | #Constraints: 34561
1682.00/1687.40 c #Conflicts: 1117000 | #Constraints: 35561
1682.00/1687.40 c #Conflicts: 1118000 | #Constraints: 36562
1682.00/1687.40 c #Conflicts: 1119000 | #Constraints: 37562
1682.00/1687.40 c #Conflicts: 1120000 | #Constraints: 38562
1682.00/1687.40 c #Conflicts: 1121000 | #Constraints: 39562
1682.00/1687.40 c #Conflicts: 1122000 | #Constraints: 40562
1682.00/1687.40 c #Conflicts: 1123000 | #Constraints: 41563
1682.00/1687.40 c #Conflicts: 1124000 | #Constraints: 42564
1682.00/1687.40 c #Conflicts: 1125000 | #Constraints: 43564
1682.00/1687.40 c INPROCESSING
1682.00/1687.40 c GARBAGE COLLECT
1682.00/1687.40 c rational objective 3
1682.00/1687.48 c GLOBAL bounds - >= 3 @ 1667.29
1682.00/1687.48 c GLOBAL bounds - >= 3 @ 1667.29
1718.07/1723.62 c #Conflicts: 1126000 | #Constraints: 22912
1718.07/1723.62 c #Conflicts: 1127000 | #Constraints: 23914
1718.07/1723.62 c #Conflicts: 1128000 | #Constraints: 24919
1718.07/1723.62 c #Conflicts: 1129000 | #Constraints: 25922
1718.07/1723.62 c #Conflicts: 1130000 | #Constraints: 26929
1718.07/1723.62 c #Conflicts: 1131000 | #Constraints: 27932
1718.07/1723.62 c #Conflicts: 1132000 | #Constraints: 28939
1718.07/1723.62 c #Conflicts: 1133000 | #Constraints: 29943
1718.07/1723.62 c #Conflicts: 1134000 | #Constraints: 30946
1718.07/1723.62 c #Conflicts: 1135000 | #Constraints: 31949
1718.07/1723.62 c #Conflicts: 1136000 | #Constraints: 32953
1718.07/1723.62 c #Conflicts: 1137000 | #Constraints: 33957
1718.07/1723.62 c #Conflicts: 1138000 | #Constraints: 34959
1718.07/1723.62 c #Conflicts: 1139000 | #Constraints: 35964
1718.07/1723.62 c #Conflicts: 1140000 | #Constraints: 36965
1718.07/1723.62 c #Conflicts: 1141000 | #Constraints: 37972
1718.07/1723.62 c #Conflicts: 1142000 | #Constraints: 38974
1718.07/1723.62 c #Conflicts: 1143000 | #Constraints: 39977
1718.07/1723.62 c #Conflicts: 1144000 | #Constraints: 40977
1718.07/1723.62 c #Conflicts: 1145000 | #Constraints: 41977
1718.07/1723.62 c #Conflicts: 1146000 | #Constraints: 42983
1718.07/1723.62 c INPROCESSING
1718.07/1723.62 c GARBAGE COLLECT
1718.07/1723.62 c rational objective 3
1718.17/1723.70 c GLOBAL bounds - >= 3 @ 1703.07
1718.17/1723.70 c GLOBAL bounds - >= 3 @ 1703.07
1759.73/1765.44 c #Conflicts: 1147000 | #Constraints: 22423
1759.73/1765.44 c #Conflicts: 1148000 | #Constraints: 23426
1759.73/1765.44 c #Conflicts: 1149000 | #Constraints: 24435
1759.73/1765.44 c #Conflicts: 1150000 | #Constraints: 25437
1759.73/1765.44 c #Conflicts: 1151000 | #Constraints: 26438
1759.73/1765.44 c #Conflicts: 1152000 | #Constraints: 27443
1759.73/1765.44 c #Conflicts: 1153000 | #Constraints: 28453
1759.73/1765.44 c #Conflicts: 1154000 | #Constraints: 29458
1759.73/1765.44 c #Conflicts: 1155000 | #Constraints: 30460
1759.73/1765.44 c #Conflicts: 1156000 | #Constraints: 31464
1759.73/1765.44 c #Conflicts: 1157000 | #Constraints: 32469
1759.73/1765.44 c #Conflicts: 1158000 | #Constraints: 33476
1759.73/1765.44 c #Conflicts: 1159000 | #Constraints: 34480
1759.73/1765.44 c #Conflicts: 1160000 | #Constraints: 35483
1759.73/1765.44 c #Conflicts: 1161000 | #Constraints: 36489
1759.73/1765.44 c #Conflicts: 1162000 | #Constraints: 37496
1759.73/1765.44 c #Conflicts: 1163000 | #Constraints: 38506
1759.73/1765.44 c #Conflicts: 1164000 | #Constraints: 39511
1759.73/1765.44 c #Conflicts: 1165000 | #Constraints: 40514
1759.73/1765.44 c #Conflicts: 1166000 | #Constraints: 41517
1759.73/1765.45 c #Conflicts: 1167000 | #Constraints: 42521
1759.73/1765.45 c #Conflicts: 1168000 | #Constraints: 43525
1759.73/1765.45 c INPROCESSING
1759.73/1765.45 c GARBAGE COLLECT
1759.73/1765.45 c rational objective 3
1759.83/1765.57 c GLOBAL bounds - >= 3 @ 1744.47
1759.83/1765.57 c GLOBAL bounds - >= 3 @ 1744.47
1816.85/1822.78 c #Conflicts: 1169000 | #Constraints: 22871
1816.85/1822.78 c #Conflicts: 1170000 | #Constraints: 23876
1816.85/1822.78 c #Conflicts: 1171000 | #Constraints: 24883
1816.85/1822.78 c #Conflicts: 1172000 | #Constraints: 25886
1816.85/1822.78 c #Conflicts: 1173000 | #Constraints: 26889
1816.85/1822.78 c #Conflicts: 1174000 | #Constraints: 27895
1816.85/1822.78 c #Conflicts: 1175000 | #Constraints: 28900
1816.85/1822.78 c #Conflicts: 1176000 | #Constraints: 29908
1816.85/1822.78 c #Conflicts: 1177000 | #Constraints: 30913
1816.85/1822.78 c #Conflicts: 1178000 | #Constraints: 31919
1816.85/1822.78 c #Conflicts: 1179000 | #Constraints: 32927
1816.85/1822.78 c #Conflicts: 1180000 | #Constraints: 33932
1816.85/1822.78 c #Conflicts: 1181000 | #Constraints: 34938
1816.85/1822.78 c #Conflicts: 1182000 | #Constraints: 35941
1816.85/1822.78 c #Conflicts: 1183000 | #Constraints: 36947
1816.85/1822.78 c #Conflicts: 1184000 | #Constraints: 37949
1816.85/1822.78 c #Conflicts: 1185000 | #Constraints: 38952
1816.85/1822.78 c #Conflicts: 1186000 | #Constraints: 39961
1816.85/1822.78 c #Conflicts: 1187000 | #Constraints: 40967
1816.85/1822.78 c #Conflicts: 1188000 | #Constraints: 41971
1816.85/1822.78 c #Conflicts: 1189000 | #Constraints: 42973
1816.85/1822.78 c #Conflicts: 1190000 | #Constraints: 43977
1816.85/1822.78 c INPROCESSING
1816.85/1822.78 c GARBAGE COLLECT
1816.85/1822.78 c rational objective 3
1816.95/1822.88 c GLOBAL bounds - >= 3 @ 1801.22
1816.95/1822.88 c GLOBAL bounds - >= 3 @ 1801.22
1863.61/1869.64 c #Conflicts: 1191000 | #Constraints: 23208
1863.61/1869.64 c #Conflicts: 1192000 | #Constraints: 24216
1863.61/1869.64 c #Conflicts: 1193000 | #Constraints: 25218
1863.61/1869.64 c #Conflicts: 1194000 | #Constraints: 26221
1863.61/1869.64 c #Conflicts: 1195000 | #Constraints: 27226
1863.61/1869.64 c #Conflicts: 1196000 | #Constraints: 28229
1863.61/1869.64 c #Conflicts: 1197000 | #Constraints: 29235
1863.61/1869.64 c #Conflicts: 1198000 | #Constraints: 30239
1863.61/1869.64 c #Conflicts: 1199000 | #Constraints: 31244
1863.61/1869.64 c #Conflicts: 1200000 | #Constraints: 32245
1863.61/1869.64 c #Conflicts: 1201000 | #Constraints: 33251
1863.61/1869.64 c #Conflicts: 1202000 | #Constraints: 34260
1863.61/1869.64 c #Conflicts: 1203000 | #Constraints: 35264
1863.61/1869.64 c #Conflicts: 1204000 | #Constraints: 36267
1863.61/1869.64 c #Conflicts: 1205000 | #Constraints: 37272
1863.61/1869.64 c #Conflicts: 1206000 | #Constraints: 38276
1863.61/1869.64 c #Conflicts: 1207000 | #Constraints: 39277
1863.61/1869.64 c #Conflicts: 1208000 | #Constraints: 40277
1863.61/1869.64 c #Conflicts: 1209000 | #Constraints: 41283
1863.61/1869.64 c #Conflicts: 1210000 | #Constraints: 42288
1863.61/1869.64 c #Conflicts: 1211000 | #Constraints: 43289
1863.61/1869.64 c #Conflicts: 1212000 | #Constraints: 44293
1863.61/1869.64 c INPROCESSING
1863.61/1869.64 c GARBAGE COLLECT
1863.61/1869.64 c rational objective 3
1863.81/1869.81 c GLOBAL bounds - >= 3 @ 1847.71
1863.81/1869.81 c GLOBAL bounds - >= 3 @ 1847.71
1943.97/1950.21 c #Conflicts: 1213000 | #Constraints: 23374
1943.97/1950.21 c #Conflicts: 1214000 | #Constraints: 24379
1943.97/1950.21 c #Conflicts: 1215000 | #Constraints: 25384
1943.97/1950.21 c #Conflicts: 1216000 | #Constraints: 26384
1943.97/1950.21 c #Conflicts: 1217000 | #Constraints: 27384
1943.97/1950.21 c #Conflicts: 1218000 | #Constraints: 28387
1943.97/1950.21 c #Conflicts: 1219000 | #Constraints: 29396
1943.97/1950.21 c #Conflicts: 1220000 | #Constraints: 30403
1943.97/1950.21 c #Conflicts: 1221000 | #Constraints: 31408
1943.97/1950.21 c #Conflicts: 1222000 | #Constraints: 32415
1943.97/1950.21 c #Conflicts: 1223000 | #Constraints: 33419
1943.97/1950.21 c #Conflicts: 1224000 | #Constraints: 34422
1943.97/1950.21 c #Conflicts: 1225000 | #Constraints: 35424
1943.97/1950.21 c #Conflicts: 1226000 | #Constraints: 36426
1943.97/1950.21 c #Conflicts: 1227000 | #Constraints: 37430
1943.97/1950.21 c #Conflicts: 1228000 | #Constraints: 38432
1943.97/1950.21 c #Conflicts: 1229000 | #Constraints: 39435
1943.97/1950.21 c #Conflicts: 1230000 | #Constraints: 40441
1943.97/1950.21 c #Conflicts: 1231000 | #Constraints: 41444
1943.97/1950.21 c #Conflicts: 1232000 | #Constraints: 42450
1943.97/1950.21 c #Conflicts: 1233000 | #Constraints: 43454
1943.97/1950.21 c #Conflicts: 1234000 | #Constraints: 44462
1943.97/1950.21 c INPROCESSING
1943.97/1950.21 c GARBAGE COLLECT
1943.97/1950.21 c rational objective 3
1944.07/1950.38 c GLOBAL bounds - >= 3 @ 1927.61
1944.07/1950.38 c GLOBAL bounds - >= 3 @ 1927.61
1988.15/1994.53 c #Conflicts: 1235000 | #Constraints: 23349
1988.15/1994.53 c #Conflicts: 1236000 | #Constraints: 24353
1988.15/1994.53 c #Conflicts: 1237000 | #Constraints: 25353
1988.15/1994.53 c #Conflicts: 1238000 | #Constraints: 26355
1988.15/1994.53 c #Conflicts: 1239000 | #Constraints: 27362
1988.15/1994.53 c #Conflicts: 1240000 | #Constraints: 28368
1988.15/1994.53 c #Conflicts: 1241000 | #Constraints: 29369
1988.15/1994.53 c #Conflicts: 1242000 | #Constraints: 30376
1988.15/1994.53 c #Conflicts: 1243000 | #Constraints: 31378
1988.15/1994.53 c #Conflicts: 1244000 | #Constraints: 32384
1988.15/1994.53 c #Conflicts: 1245000 | #Constraints: 33389
1988.15/1994.53 c #Conflicts: 1246000 | #Constraints: 34392
1988.15/1994.53 c #Conflicts: 1247000 | #Constraints: 35398
1988.15/1994.53 c #Conflicts: 1248000 | #Constraints: 36407
1988.15/1994.53 c #Conflicts: 1249000 | #Constraints: 37415
1988.15/1994.53 c #Conflicts: 1250000 | #Constraints: 38419
1988.15/1994.53 c #Conflicts: 1251000 | #Constraints: 39427
1988.15/1994.53 c #Conflicts: 1252000 | #Constraints: 40433
1988.15/1994.53 c #Conflicts: 1253000 | #Constraints: 41437
1988.15/1994.53 c #Conflicts: 1254000 | #Constraints: 42443
1988.15/1994.53 c #Conflicts: 1255000 | #Constraints: 43449
1988.15/1994.53 c #Conflicts: 1256000 | #Constraints: 44452
1988.15/1994.53 c INPROCESSING
1988.15/1994.53 c GARBAGE COLLECT
1988.15/1994.53 c rational objective 3
1988.25/1994.68 c GLOBAL bounds - >= 3 @ 1971.51
1988.25/1994.68 c GLOBAL bounds - >= 3 @ 1971.51
2029.02/2035.59 c #Conflicts: 1257000 | #Constraints: 23130
2029.02/2035.59 c #Conflicts: 1258000 | #Constraints: 24130
2029.02/2035.59 c #Conflicts: 1259000 | #Constraints: 25137
2029.02/2035.59 c #Conflicts: 1260000 | #Constraints: 26139
2029.02/2035.59 c #Conflicts: 1261000 | #Constraints: 27145
2029.02/2035.59 c #Conflicts: 1262000 | #Constraints: 28147
2029.02/2035.59 c #Conflicts: 1263000 | #Constraints: 29149
2029.02/2035.59 c #Conflicts: 1264000 | #Constraints: 30170
2029.02/2035.59 c #Conflicts: 1265000 | #Constraints: 31180
2029.02/2035.59 c #Conflicts: 1266000 | #Constraints: 32285
2029.02/2035.59 c #Conflicts: 1267000 | #Constraints: 33413
2029.02/2035.59 c #Conflicts: 1268000 | #Constraints: 34490
2029.02/2035.59 c #Conflicts: 1269000 | #Constraints: 35496
2029.02/2035.59 c #Conflicts: 1270000 | #Constraints: 36500
2029.02/2035.59 c #Conflicts: 1271000 | #Constraints: 37505
2029.02/2035.59 c #Conflicts: 1272000 | #Constraints: 38511
2029.02/2035.59 c #Conflicts: 1273000 | #Constraints: 39512
2029.02/2035.59 c #Conflicts: 1274000 | #Constraints: 40515
2029.02/2035.59 c #Conflicts: 1275000 | #Constraints: 41518
2029.02/2035.59 c #Conflicts: 1276000 | #Constraints: 42520
2029.02/2035.59 c #Conflicts: 1277000 | #Constraints: 43524
2029.02/2035.59 c #Conflicts: 1278000 | #Constraints: 44526
2029.02/2035.59 c #Conflicts: 1279000 | #Constraints: 45527
2029.02/2035.59 c INPROCESSING
2029.02/2035.59 c GARBAGE COLLECT
2029.02/2035.59 c rational objective 3
2029.23/2035.75 c GLOBAL bounds - >= 3 @ 2012.17
2029.23/2035.75 c GLOBAL bounds - >= 3 @ 2012.17
2069.55/2076.26 c #Conflicts: 1280000 | #Constraints: 23826
2069.55/2076.26 c #Conflicts: 1281000 | #Constraints: 24831
2069.55/2076.26 c #Conflicts: 1282000 | #Constraints: 25834
2069.55/2076.26 c #Conflicts: 1283000 | #Constraints: 26838
2069.55/2076.26 c #Conflicts: 1284000 | #Constraints: 27840
2069.55/2076.26 c #Conflicts: 1285000 | #Constraints: 28845
2069.55/2076.26 c #Conflicts: 1286000 | #Constraints: 29849
2069.55/2076.26 c #Conflicts: 1287000 | #Constraints: 30856
2069.55/2076.26 c #Conflicts: 1288000 | #Constraints: 31860
2069.55/2076.26 c #Conflicts: 1289000 | #Constraints: 32866
2069.55/2076.26 c #Conflicts: 1290000 | #Constraints: 33870
2069.55/2076.26 c #Conflicts: 1291000 | #Constraints: 34876
2069.55/2076.26 c #Conflicts: 1292000 | #Constraints: 35885
2069.55/2076.26 c #Conflicts: 1293000 | #Constraints: 36889
2069.55/2076.26 c #Conflicts: 1294000 | #Constraints: 37892
2069.55/2076.26 c #Conflicts: 1295000 | #Constraints: 38893
2069.55/2076.26 c #Conflicts: 1296000 | #Constraints: 39903
2069.55/2076.26 c #Conflicts: 1297000 | #Constraints: 40907
2069.55/2076.26 c #Conflicts: 1298000 | #Constraints: 41910
2069.55/2076.26 c #Conflicts: 1299000 | #Constraints: 42918
2069.55/2076.26 c #Conflicts: 1300000 | #Constraints: 43924
2069.55/2076.26 c #Conflicts: 1301000 | #Constraints: 44924
2069.55/2076.26 c #Conflicts: 1302000 | #Constraints: 45926
2069.55/2076.26 c INPROCESSING
2069.55/2076.26 c GARBAGE COLLECT
2069.55/2076.26 c rational objective 3
2069.65/2076.34 c GLOBAL bounds - >= 3 @ 2052.31
2069.65/2076.34 c GLOBAL bounds - >= 3 @ 2052.31
2123.47/2130.33 c #Conflicts: 1303000 | #Constraints: 24195
2123.47/2130.33 c #Conflicts: 1304000 | #Constraints: 25201
2123.47/2130.33 c #Conflicts: 1305000 | #Constraints: 26206
2123.47/2130.33 c #Conflicts: 1306000 | #Constraints: 27212
2123.47/2130.33 c #Conflicts: 1307000 | #Constraints: 28218
2123.47/2130.33 c #Conflicts: 1308000 | #Constraints: 29222
2123.47/2130.33 c #Conflicts: 1309000 | #Constraints: 30228
2123.47/2130.33 c #Conflicts: 1310000 | #Constraints: 31231
2123.47/2130.33 c #Conflicts: 1311000 | #Constraints: 32243
2123.47/2130.33 c #Conflicts: 1312000 | #Constraints: 33248
2123.47/2130.33 c #Conflicts: 1313000 | #Constraints: 34255
2123.47/2130.33 c #Conflicts: 1314000 | #Constraints: 35264
2123.47/2130.33 c #Conflicts: 1315000 | #Constraints: 36275
2123.47/2130.33 c #Conflicts: 1316000 | #Constraints: 37282
2123.47/2130.33 c #Conflicts: 1317000 | #Constraints: 38290
2123.47/2130.33 c #Conflicts: 1318000 | #Constraints: 39292
2123.47/2130.33 c #Conflicts: 1319000 | #Constraints: 40299
2123.47/2130.33 c #Conflicts: 1320000 | #Constraints: 41304
2123.47/2130.33 c #Conflicts: 1321000 | #Constraints: 42308
2123.47/2130.33 c #Conflicts: 1322000 | #Constraints: 43309
2123.47/2130.33 c #Conflicts: 1323000 | #Constraints: 44311
2123.47/2130.33 c #Conflicts: 1324000 | #Constraints: 45314
2123.47/2130.33 c #Conflicts: 1325000 | #Constraints: 46321
2123.47/2130.33 c INPROCESSING
2123.47/2130.33 c GARBAGE COLLECT
2123.47/2130.33 c rational objective 3
2123.68/2130.53 c GLOBAL bounds - >= 3 @ 2105.99
2123.68/2130.53 c GLOBAL bounds - >= 3 @ 2105.99
2180.90/2188.00 c #Conflicts: 1326000 | #Constraints: 24396
2180.90/2188.00 c #Conflicts: 1327000 | #Constraints: 25401
2180.90/2188.00 c #Conflicts: 1328000 | #Constraints: 26404
2180.90/2188.00 c #Conflicts: 1329000 | #Constraints: 27409
2180.90/2188.00 c #Conflicts: 1330000 | #Constraints: 28415
2180.90/2188.00 c #Conflicts: 1331000 | #Constraints: 29419
2180.90/2188.00 c #Conflicts: 1332000 | #Constraints: 30423
2180.90/2188.00 c #Conflicts: 1333000 | #Constraints: 31429
2180.90/2188.00 c #Conflicts: 1334000 | #Constraints: 32434
2180.90/2188.00 c #Conflicts: 1335000 | #Constraints: 33439
2180.90/2188.00 c #Conflicts: 1336000 | #Constraints: 34441
2180.90/2188.00 c #Conflicts: 1337000 | #Constraints: 35448
2180.90/2188.00 c #Conflicts: 1338000 | #Constraints: 36452
2180.90/2188.00 c #Conflicts: 1339000 | #Constraints: 37461
2180.90/2188.00 c #Conflicts: 1340000 | #Constraints: 38469
2180.90/2188.00 c #Conflicts: 1341000 | #Constraints: 39473
2180.90/2188.00 c #Conflicts: 1342000 | #Constraints: 40476
2180.90/2188.00 c #Conflicts: 1343000 | #Constraints: 41477
2180.90/2188.00 c #Conflicts: 1344000 | #Constraints: 42480
2180.90/2188.00 c #Conflicts: 1345000 | #Constraints: 43481
2180.90/2188.00 c #Conflicts: 1346000 | #Constraints: 44484
2180.90/2188.00 c #Conflicts: 1347000 | #Constraints: 45491
2180.90/2188.00 c #Conflicts: 1348000 | #Constraints: 46497
2180.90/2188.00 c INPROCESSING
2180.90/2188.00 c GARBAGE COLLECT
2180.90/2188.00 c rational objective 3
2181.11/2188.14 c GLOBAL bounds - >= 3 @ 2163.08
2181.11/2188.14 c GLOBAL bounds - >= 3 @ 2163.08
2232.06/2239.29 c #Conflicts: 1349000 | #Constraints: 24383
2232.06/2239.29 c #Conflicts: 1350000 | #Constraints: 25389
2232.06/2239.29 c #Conflicts: 1351000 | #Constraints: 26393
2232.06/2239.29 c #Conflicts: 1352000 | #Constraints: 27398
2232.06/2239.29 c #Conflicts: 1353000 | #Constraints: 28401
2232.06/2239.29 c #Conflicts: 1354000 | #Constraints: 29406
2232.06/2239.29 c #Conflicts: 1355000 | #Constraints: 30408
2232.06/2239.29 c #Conflicts: 1356000 | #Constraints: 31413
2232.06/2239.29 c #Conflicts: 1357000 | #Constraints: 32416
2232.06/2239.29 c #Conflicts: 1358000 | #Constraints: 33419
2232.06/2239.29 c #Conflicts: 1359000 | #Constraints: 34424
2232.06/2239.29 c #Conflicts: 1360000 | #Constraints: 35426
2232.06/2239.29 c #Conflicts: 1361000 | #Constraints: 36431
2232.06/2239.29 c #Conflicts: 1362000 | #Constraints: 37434
2232.06/2239.29 c #Conflicts: 1363000 | #Constraints: 38437
2232.06/2239.29 c #Conflicts: 1364000 | #Constraints: 39443
2232.06/2239.29 c #Conflicts: 1365000 | #Constraints: 40449
2232.06/2239.29 c #Conflicts: 1366000 | #Constraints: 41454
2232.06/2239.29 c #Conflicts: 1367000 | #Constraints: 42459
2232.06/2239.29 c #Conflicts: 1368000 | #Constraints: 43468
2232.06/2239.29 c #Conflicts: 1369000 | #Constraints: 44472
2232.06/2239.29 c #Conflicts: 1370000 | #Constraints: 45476
2232.06/2239.29 c #Conflicts: 1371000 | #Constraints: 46480
2232.06/2239.29 c INPROCESSING
2232.06/2239.29 c GARBAGE COLLECT
2232.06/2239.29 c rational objective 3
2232.16/2239.39 c GLOBAL bounds - >= 3 @ 2213.89
2232.16/2239.39 c GLOBAL bounds - >= 3 @ 2213.89
2285.09/2292.49 c #Conflicts: 1372000 | #Constraints: 24178
2285.09/2292.49 c #Conflicts: 1373000 | #Constraints: 25180
2285.09/2292.49 c #Conflicts: 1374000 | #Constraints: 26184
2285.09/2292.49 c #Conflicts: 1375000 | #Constraints: 27190
2285.09/2292.49 c #Conflicts: 1376000 | #Constraints: 28194
2285.09/2292.49 c #Conflicts: 1377000 | #Constraints: 29200
2285.09/2292.49 c #Conflicts: 1378000 | #Constraints: 30202
2285.09/2292.49 c #Conflicts: 1379000 | #Constraints: 31209
2285.09/2292.49 c #Conflicts: 1380000 | #Constraints: 32216
2285.09/2292.49 c #Conflicts: 1381000 | #Constraints: 33219
2285.09/2292.49 c #Conflicts: 1382000 | #Constraints: 34226
2285.09/2292.49 c #Conflicts: 1383000 | #Constraints: 35232
2285.09/2292.49 c #Conflicts: 1384000 | #Constraints: 36239
2285.09/2292.49 c #Conflicts: 1385000 | #Constraints: 37251
2285.09/2292.49 c #Conflicts: 1386000 | #Constraints: 38256
2285.09/2292.49 c #Conflicts: 1387000 | #Constraints: 39259
2285.09/2292.49 c #Conflicts: 1388000 | #Constraints: 40266
2285.09/2292.49 c #Conflicts: 1389000 | #Constraints: 41269
2285.09/2292.49 c #Conflicts: 1390000 | #Constraints: 42276
2285.09/2292.49 c #Conflicts: 1391000 | #Constraints: 43281
2285.09/2292.49 c #Conflicts: 1392000 | #Constraints: 44285
2285.09/2292.49 c #Conflicts: 1393000 | #Constraints: 45290
2285.09/2292.49 c #Conflicts: 1394000 | #Constraints: 46290
2285.09/2292.49 c #Conflicts: 1395000 | #Constraints: 47292
2285.09/2292.49 c INPROCESSING
2285.09/2292.49 c GARBAGE COLLECT
2285.09/2292.49 c rational objective 3
2285.29/2292.69 c GLOBAL bounds - >= 3 @ 2266.69
2285.29/2292.69 c GLOBAL bounds - >= 3 @ 2266.69
2325.59/2333.09 c #Conflicts: 1396000 | #Constraints: 24747
2325.59/2333.09 c #Conflicts: 1397000 | #Constraints: 25752
2325.59/2333.09 c #Conflicts: 1398000 | #Constraints: 26756
2325.59/2333.09 c #Conflicts: 1399000 | #Constraints: 27762
2325.59/2333.09 c #Conflicts: 1400000 | #Constraints: 28764
2325.59/2333.09 c #Conflicts: 1401000 | #Constraints: 29766
2325.59/2333.09 c #Conflicts: 1402000 | #Constraints: 30770
2325.59/2333.09 c #Conflicts: 1403000 | #Constraints: 31775
2325.59/2333.09 c #Conflicts: 1404000 | #Constraints: 32777
2325.59/2333.09 c #Conflicts: 1405000 | #Constraints: 33779
2325.59/2333.09 c #Conflicts: 1406000 | #Constraints: 34782
2325.59/2333.09 c #Conflicts: 1407000 | #Constraints: 35788
2325.59/2333.09 c #Conflicts: 1408000 | #Constraints: 36790
2325.59/2333.09 c #Conflicts: 1409000 | #Constraints: 37794
2325.59/2333.09 c #Conflicts: 1410000 | #Constraints: 38797
2325.59/2333.09 c #Conflicts: 1411000 | #Constraints: 39800
2325.59/2333.09 c #Conflicts: 1412000 | #Constraints: 40803
2325.59/2333.09 c #Conflicts: 1413000 | #Constraints: 41804
2325.59/2333.09 c #Conflicts: 1414000 | #Constraints: 42808
2325.59/2333.09 c #Conflicts: 1415000 | #Constraints: 43812
2325.59/2333.09 c #Conflicts: 1416000 | #Constraints: 44816
2325.59/2333.09 c #Conflicts: 1417000 | #Constraints: 45817
2325.59/2333.09 c #Conflicts: 1418000 | #Constraints: 46820
2325.59/2333.09 c #Conflicts: 1419000 | #Constraints: 47825
2325.59/2333.09 c INPROCESSING
2325.59/2333.09 c GARBAGE COLLECT
2325.59/2333.09 c rational objective 3
2325.78/2333.21 c GLOBAL bounds - >= 3 @ 2306.79
2325.78/2333.21 c GLOBAL bounds - >= 3 @ 2306.79
2375.44/2383.04 c #Conflicts: 1420000 | #Constraints: 25153
2375.44/2383.04 c #Conflicts: 1421000 | #Constraints: 26155
2375.44/2383.04 c #Conflicts: 1422000 | #Constraints: 27158
2375.44/2383.04 c #Conflicts: 1423000 | #Constraints: 28160
2375.44/2383.04 c #Conflicts: 1424000 | #Constraints: 29163
2375.44/2383.04 c #Conflicts: 1425000 | #Constraints: 30172
2375.44/2383.04 c #Conflicts: 1426000 | #Constraints: 31177
2375.44/2383.04 c #Conflicts: 1427000 | #Constraints: 32179
2375.44/2383.04 c #Conflicts: 1428000 | #Constraints: 33183
2375.44/2383.04 c #Conflicts: 1429000 | #Constraints: 34183
2375.44/2383.04 c #Conflicts: 1430000 | #Constraints: 35183
2375.44/2383.04 c #Conflicts: 1431000 | #Constraints: 36187
2375.44/2383.04 c #Conflicts: 1432000 | #Constraints: 37192
2375.44/2383.04 c #Conflicts: 1433000 | #Constraints: 38200
2375.44/2383.04 c #Conflicts: 1434000 | #Constraints: 39204
2375.44/2383.04 c #Conflicts: 1435000 | #Constraints: 40210
2375.44/2383.04 c #Conflicts: 1436000 | #Constraints: 41214
2375.44/2383.04 c #Conflicts: 1437000 | #Constraints: 42219
2375.44/2383.04 c #Conflicts: 1438000 | #Constraints: 43224
2375.44/2383.04 c #Conflicts: 1439000 | #Constraints: 44227
2375.44/2383.04 c #Conflicts: 1440000 | #Constraints: 45233
2375.44/2383.04 c #Conflicts: 1441000 | #Constraints: 46242
2375.44/2383.04 c #Conflicts: 1442000 | #Constraints: 47245
2375.44/2383.04 c #Conflicts: 1443000 | #Constraints: 48250
2375.44/2383.04 c INPROCESSING
2375.44/2383.04 c GARBAGE COLLECT
2375.44/2383.04 c rational objective 3
2375.54/2383.15 c GLOBAL bounds - >= 3 @ 2356.31
2375.54/2383.15 c GLOBAL bounds - >= 3 @ 2356.31
2438.84/2446.67 c #Conflicts: 1444000 | #Constraints: 25354
2438.84/2446.67 c #Conflicts: 1445000 | #Constraints: 26358
2438.84/2446.67 c #Conflicts: 1446000 | #Constraints: 27366
2438.84/2446.67 c #Conflicts: 1447000 | #Constraints: 28371
2438.84/2446.67 c #Conflicts: 1448000 | #Constraints: 29377
2438.84/2446.67 c #Conflicts: 1449000 | #Constraints: 30379
2438.84/2446.67 c #Conflicts: 1450000 | #Constraints: 31382
2438.84/2446.67 c #Conflicts: 1451000 | #Constraints: 32387
2438.84/2446.67 c #Conflicts: 1452000 | #Constraints: 33395
2438.84/2446.67 c #Conflicts: 1453000 | #Constraints: 34400
2438.84/2446.67 c #Conflicts: 1454000 | #Constraints: 35407
2438.84/2446.67 c #Conflicts: 1455000 | #Constraints: 36414
2438.84/2446.67 c #Conflicts: 1456000 | #Constraints: 37420
2438.84/2446.67 c #Conflicts: 1457000 | #Constraints: 38424
2438.84/2446.67 c #Conflicts: 1458000 | #Constraints: 39429
2438.84/2446.67 c #Conflicts: 1459000 | #Constraints: 40439
2438.84/2446.67 c #Conflicts: 1460000 | #Constraints: 41446
2438.84/2446.67 c #Conflicts: 1461000 | #Constraints: 42450
2438.84/2446.67 c #Conflicts: 1462000 | #Constraints: 43452
2438.84/2446.67 c #Conflicts: 1463000 | #Constraints: 44460
2438.84/2446.67 c #Conflicts: 1464000 | #Constraints: 45466
2438.84/2446.67 c #Conflicts: 1465000 | #Constraints: 46472
2438.84/2446.67 c #Conflicts: 1466000 | #Constraints: 47476
2438.84/2446.67 c #Conflicts: 1467000 | #Constraints: 48479
2438.84/2446.67 c INPROCESSING
2438.84/2446.67 c GARBAGE COLLECT
2438.84/2446.67 c rational objective 3
2438.94/2446.79 c GLOBAL bounds - >= 3 @ 2419.35
2438.94/2446.79 c GLOBAL bounds - >= 3 @ 2419.35
2492.07/2500.09 c #Conflicts: 1468000 | #Constraints: 25354
2492.07/2500.09 c #Conflicts: 1469000 | #Constraints: 26359
2492.07/2500.09 c #Conflicts: 1470000 | #Constraints: 27366
2492.07/2500.09 c #Conflicts: 1471000 | #Constraints: 28367
2492.07/2500.09 c #Conflicts: 1472000 | #Constraints: 29372
2492.07/2500.09 c #Conflicts: 1473000 | #Constraints: 30377
2492.07/2500.09 c #Conflicts: 1474000 | #Constraints: 31381
2492.07/2500.09 c #Conflicts: 1475000 | #Constraints: 32388
2492.07/2500.09 c #Conflicts: 1476000 | #Constraints: 33391
2492.07/2500.09 c #Conflicts: 1477000 | #Constraints: 34396
2492.07/2500.09 c #Conflicts: 1478000 | #Constraints: 35397
2492.07/2500.09 c #Conflicts: 1479000 | #Constraints: 36402
2492.07/2500.09 c #Conflicts: 1480000 | #Constraints: 37406
2492.07/2500.09 c #Conflicts: 1481000 | #Constraints: 38408
2492.07/2500.09 c #Conflicts: 1482000 | #Constraints: 39418
2492.07/2500.09 c #Conflicts: 1483000 | #Constraints: 40424
2492.07/2500.09 c #Conflicts: 1484000 | #Constraints: 41443
2492.07/2500.09 c #Conflicts: 1485000 | #Constraints: 42449
2492.07/2500.09 c #Conflicts: 1486000 | #Constraints: 43454
2492.07/2500.09 c #Conflicts: 1487000 | #Constraints: 44458
2492.07/2500.09 c #Conflicts: 1488000 | #Constraints: 45467
2492.07/2500.09 c #Conflicts: 1489000 | #Constraints: 46473
2492.07/2500.09 c #Conflicts: 1490000 | #Constraints: 47477
2492.07/2500.09 c #Conflicts: 1491000 | #Constraints: 48489
2492.07/2500.09 c INPROCESSING
2492.07/2500.09 c GARBAGE COLLECT
2492.07/2500.09 c rational objective 3
2492.26/2500.21 c GLOBAL bounds - >= 3 @ 2472.23
2492.26/2500.21 c GLOBAL bounds - >= 3 @ 2472.23
2548.48/2556.67 c #Conflicts: 1492000 | #Constraints: 25153
2548.48/2556.67 c #Conflicts: 1493000 | #Constraints: 26158
2548.48/2556.67 c #Conflicts: 1494000 | #Constraints: 27162
2548.48/2556.67 c #Conflicts: 1495000 | #Constraints: 28167
2548.48/2556.67 c #Conflicts: 1496000 | #Constraints: 29172
2548.48/2556.67 c #Conflicts: 1497000 | #Constraints: 30178
2548.48/2556.67 c #Conflicts: 1498000 | #Constraints: 31182
2548.48/2556.67 c #Conflicts: 1499000 | #Constraints: 32187
2548.48/2556.67 c #Conflicts: 1500000 | #Constraints: 33192
2548.48/2556.67 c #Conflicts: 1501000 | #Constraints: 34195
2548.48/2556.67 c #Conflicts: 1502000 | #Constraints: 35198
2548.48/2556.67 c #Conflicts: 1503000 | #Constraints: 36198
2548.48/2556.67 c #Conflicts: 1504000 | #Constraints: 37202
2548.48/2556.67 c #Conflicts: 1505000 | #Constraints: 38205
2548.48/2556.67 c #Conflicts: 1506000 | #Constraints: 39209
2548.48/2556.67 c #Conflicts: 1507000 | #Constraints: 40213
2548.48/2556.67 c #Conflicts: 1508000 | #Constraints: 41224
2548.48/2556.67 c #Conflicts: 1509000 | #Constraints: 42230
2548.48/2556.67 c #Conflicts: 1510000 | #Constraints: 43236
2548.48/2556.67 c #Conflicts: 1511000 | #Constraints: 44237
2548.48/2556.67 c #Conflicts: 1512000 | #Constraints: 45239
2548.48/2556.67 c #Conflicts: 1513000 | #Constraints: 46246
2548.48/2556.67 c #Conflicts: 1514000 | #Constraints: 47255
2548.48/2556.67 c #Conflicts: 1515000 | #Constraints: 48258
2548.48/2556.67 c #Conflicts: 1516000 | #Constraints: 49258
2548.48/2556.67 c INPROCESSING
2548.48/2556.67 c GARBAGE COLLECT
2548.48/2556.67 c rational objective 3
2548.79/2556.91 c GLOBAL bounds - >= 3 @ 2528.4
2548.79/2556.91 c GLOBAL bounds - >= 3 @ 2528.4
2594.13/2602.44 c #Conflicts: 1517000 | #Constraints: 25725
2594.13/2602.44 c #Conflicts: 1518000 | #Constraints: 26729
2594.13/2602.44 c #Conflicts: 1519000 | #Constraints: 27732
2594.13/2602.44 c #Conflicts: 1520000 | #Constraints: 28733
2594.13/2602.44 c #Conflicts: 1521000 | #Constraints: 29739
2594.13/2602.44 c #Conflicts: 1522000 | #Constraints: 30742
2594.13/2602.44 c #Conflicts: 1523000 | #Constraints: 31743
2594.13/2602.44 c #Conflicts: 1524000 | #Constraints: 32747
2594.13/2602.44 c #Conflicts: 1525000 | #Constraints: 33748
2594.13/2602.44 c #Conflicts: 1526000 | #Constraints: 34749
2594.13/2602.44 c #Conflicts: 1527000 | #Constraints: 35749
2594.13/2602.44 c #Conflicts: 1528000 | #Constraints: 36749
2594.13/2602.44 c #Conflicts: 1529000 | #Constraints: 37751
2594.13/2602.44 c #Conflicts: 1530000 | #Constraints: 38754
2594.13/2602.44 c #Conflicts: 1531000 | #Constraints: 39757
2594.13/2602.44 c #Conflicts: 1532000 | #Constraints: 40758
2594.13/2602.44 c #Conflicts: 1533000 | #Constraints: 41767
2594.13/2602.44 c #Conflicts: 1534000 | #Constraints: 42771
2594.13/2602.44 c #Conflicts: 1535000 | #Constraints: 43776
2594.13/2602.44 c #Conflicts: 1536000 | #Constraints: 44779
2594.13/2602.44 c #Conflicts: 1537000 | #Constraints: 45780
2594.13/2602.44 c #Conflicts: 1538000 | #Constraints: 46781
2594.13/2602.44 c #Conflicts: 1539000 | #Constraints: 47784
2594.13/2602.44 c #Conflicts: 1540000 | #Constraints: 48788
2594.13/2602.44 c #Conflicts: 1541000 | #Constraints: 49789
2594.13/2602.44 c INPROCESSING
2594.13/2602.44 c GARBAGE COLLECT
2594.13/2602.44 c rational objective 3
2594.23/2602.55 c GLOBAL bounds - >= 3 @ 2573.57
2594.23/2602.55 c GLOBAL bounds - >= 3 @ 2573.57
2644.47/2653.00 c #Conflicts: 1542000 | #Constraints: 26123
2644.47/2653.00 c #Conflicts: 1543000 | #Constraints: 27184
2644.47/2653.00 c #Conflicts: 1544000 | #Constraints: 28187
2644.47/2653.00 c #Conflicts: 1545000 | #Constraints: 29188
2644.47/2653.00 c #Conflicts: 1546000 | #Constraints: 30198
2644.47/2653.00 c #Conflicts: 1547000 | #Constraints: 31200
2644.47/2653.00 c #Conflicts: 1548000 | #Constraints: 32213
2644.47/2653.00 c #Conflicts: 1549000 | #Constraints: 33220
2644.47/2653.00 c #Conflicts: 1550000 | #Constraints: 34231
2644.47/2653.00 c #Conflicts: 1551000 | #Constraints: 35238
2644.47/2653.00 c #Conflicts: 1552000 | #Constraints: 36242
2644.47/2653.00 c #Conflicts: 1553000 | #Constraints: 37242
2644.47/2653.00 c #Conflicts: 1554000 | #Constraints: 38245
2644.47/2653.00 c #Conflicts: 1555000 | #Constraints: 39249
2644.47/2653.00 c #Conflicts: 1556000 | #Constraints: 40250
2644.47/2653.00 c #Conflicts: 1557000 | #Constraints: 41252
2644.47/2653.00 c #Conflicts: 1558000 | #Constraints: 42254
2644.47/2653.00 c #Conflicts: 1559000 | #Constraints: 43259
2644.47/2653.00 c #Conflicts: 1560000 | #Constraints: 44260
2644.47/2653.00 c #Conflicts: 1561000 | #Constraints: 45264
2644.47/2653.00 c #Conflicts: 1562000 | #Constraints: 46266
2644.47/2653.00 c #Conflicts: 1563000 | #Constraints: 47271
2644.47/2653.00 c #Conflicts: 1564000 | #Constraints: 48274
2644.47/2653.00 c #Conflicts: 1565000 | #Constraints: 49282
2644.47/2653.00 c #Conflicts: 1566000 | #Constraints: 50289
2644.47/2653.00 c INPROCESSING
2644.47/2653.00 c GARBAGE COLLECT
2644.47/2653.00 c rational objective 3
2644.78/2653.27 c GLOBAL bounds - >= 3 @ 2623.83
2644.78/2653.27 c GLOBAL bounds - >= 3 @ 2623.83
2695.62/2704.25 c #Conflicts: 1567000 | #Constraints: 26305
2695.62/2704.25 c #Conflicts: 1568000 | #Constraints: 27311
2695.62/2704.25 c #Conflicts: 1569000 | #Constraints: 28315
2695.62/2704.25 c #Conflicts: 1570000 | #Constraints: 29316
2695.62/2704.25 c #Conflicts: 1571000 | #Constraints: 30318
2695.62/2704.25 c #Conflicts: 1572000 | #Constraints: 31322
2695.62/2704.25 c #Conflicts: 1573000 | #Constraints: 32324
2695.62/2704.25 c #Conflicts: 1574000 | #Constraints: 33325
2695.62/2704.25 c #Conflicts: 1575000 | #Constraints: 34330
2695.62/2704.25 c #Conflicts: 1576000 | #Constraints: 35331
2695.62/2704.25 c #Conflicts: 1577000 | #Constraints: 36335
2695.62/2704.25 c #Conflicts: 1578000 | #Constraints: 37339
2695.62/2704.25 c #Conflicts: 1579000 | #Constraints: 38345
2695.62/2704.25 c #Conflicts: 1580000 | #Constraints: 39351
2695.62/2704.25 c #Conflicts: 1581000 | #Constraints: 40359
2695.62/2704.25 c #Conflicts: 1582000 | #Constraints: 41362
2695.62/2704.25 c #Conflicts: 1583000 | #Constraints: 42365
2695.62/2704.25 c #Conflicts: 1584000 | #Constraints: 43371
2695.62/2704.25 c #Conflicts: 1585000 | #Constraints: 44377
2695.62/2704.25 c #Conflicts: 1586000 | #Constraints: 45383
2695.62/2704.25 c #Conflicts: 1587000 | #Constraints: 46387
2695.62/2704.25 c #Conflicts: 1588000 | #Constraints: 47392
2695.62/2704.25 c #Conflicts: 1589000 | #Constraints: 48395
2695.62/2704.25 c #Conflicts: 1590000 | #Constraints: 49399
2695.62/2704.25 c #Conflicts: 1591000 | #Constraints: 50408
2695.62/2704.25 c INPROCESSING
2695.62/2704.25 c GARBAGE COLLECT
2695.62/2704.25 c rational objective 3
2695.72/2704.33 c GLOBAL bounds - >= 3 @ 2674.41
2695.72/2704.33 c GLOBAL bounds - >= 3 @ 2674.41
2799.98/2808.90 c #Conflicts: 1592000 | #Constraints: 26340
2799.98/2808.90 c #Conflicts: 1593000 | #Constraints: 27343
2799.98/2808.90 c #Conflicts: 1594000 | #Constraints: 28344
2799.98/2808.90 c #Conflicts: 1595000 | #Constraints: 29346
2799.98/2808.90 c #Conflicts: 1596000 | #Constraints: 30347
2799.98/2808.90 c #Conflicts: 1597000 | #Constraints: 31351
2799.98/2808.90 c #Conflicts: 1598000 | #Constraints: 32356
2799.98/2808.90 c #Conflicts: 1599000 | #Constraints: 33358
2799.98/2808.90 c #Conflicts: 1600000 | #Constraints: 34358
2799.98/2808.90 c #Conflicts: 1601000 | #Constraints: 35360
2799.98/2808.90 c #Conflicts: 1602000 | #Constraints: 36362
2799.98/2808.90 c #Conflicts: 1603000 | #Constraints: 37366
2799.98/2808.90 c #Conflicts: 1604000 | #Constraints: 38368
2799.98/2808.90 c #Conflicts: 1605000 | #Constraints: 39370
2799.98/2808.90 c #Conflicts: 1606000 | #Constraints: 40374
2799.98/2808.90 c #Conflicts: 1607000 | #Constraints: 41375
2799.98/2808.90 c #Conflicts: 1608000 | #Constraints: 42377
2799.98/2808.90 c #Conflicts: 1609000 | #Constraints: 43380
2799.98/2808.90 c #Conflicts: 1610000 | #Constraints: 44382
2799.98/2808.90 c #Conflicts: 1611000 | #Constraints: 45383
2799.98/2808.90 c #Conflicts: 1612000 | #Constraints: 46383
2799.98/2808.90 c #Conflicts: 1613000 | #Constraints: 47385
2799.98/2808.90 c #Conflicts: 1614000 | #Constraints: 48386
2799.98/2808.90 c #Conflicts: 1615000 | #Constraints: 49391
2799.98/2808.90 c #Conflicts: 1616000 | #Constraints: 50392
2799.98/2808.90 c INPROCESSING
2799.98/2808.90 c GARBAGE COLLECT
2799.98/2808.90 c rational objective 3
2799.98/2808.99 c GLOBAL bounds - >= 3 @ 2778.18
2799.98/2808.99 c GLOBAL bounds - >= 3 @ 2778.18
2920.20/2929.52 c #Conflicts: 1617000 | #Constraints: 26130
2920.20/2929.52 c #Conflicts: 1618000 | #Constraints: 27133
2920.20/2929.52 c #Conflicts: 1619000 | #Constraints: 28135
2920.20/2929.52 c #Conflicts: 1620000 | #Constraints: 29135
2920.20/2929.52 c #Conflicts: 1621000 | #Constraints: 30136
2920.20/2929.52 c #Conflicts: 1622000 | #Constraints: 31137
2920.20/2929.52 c #Conflicts: 1623000 | #Constraints: 32140
2920.20/2929.52 c #Conflicts: 1624000 | #Constraints: 33140
2920.20/2929.52 c #Conflicts: 1625000 | #Constraints: 34141
2920.20/2929.52 c #Conflicts: 1626000 | #Constraints: 35145
2920.20/2929.52 c #Conflicts: 1627000 | #Constraints: 36146
2920.20/2929.52 c #Conflicts: 1628000 | #Constraints: 37148
2920.20/2929.52 c #Conflicts: 1629000 | #Constraints: 38149
2920.20/2929.52 c #Conflicts: 1630000 | #Constraints: 39151
2920.20/2929.52 c #Conflicts: 1631000 | #Constraints: 40152
2920.20/2929.52 c #Conflicts: 1632000 | #Constraints: 41152
2920.20/2929.52 c #Conflicts: 1633000 | #Constraints: 42153
2920.20/2929.52 c #Conflicts: 1634000 | #Constraints: 43158
2920.20/2929.52 c #Conflicts: 1635000 | #Constraints: 44159
2920.20/2929.52 c #Conflicts: 1636000 | #Constraints: 45164
2920.20/2929.52 c #Conflicts: 1637000 | #Constraints: 46165
2920.20/2929.52 c #Conflicts: 1638000 | #Constraints: 47168
2920.20/2929.52 c #Conflicts: 1639000 | #Constraints: 48175
2920.20/2929.52 c #Conflicts: 1640000 | #Constraints: 49176
2920.20/2929.52 c #Conflicts: 1641000 | #Constraints: 50176
2920.20/2929.52 c #Conflicts: 1642000 | #Constraints: 51181
2920.20/2929.52 c INPROCESSING
2920.20/2929.52 c GARBAGE COLLECT
2920.20/2929.52 c rational objective 3
2920.30/2929.60 c GLOBAL bounds - >= 3 @ 2897.83
2920.30/2929.60 c GLOBAL bounds - >= 3 @ 2897.83
2980.52/2990.10 c #Conflicts: 1643000 | #Constraints: 26708
2980.52/2990.10 c #Conflicts: 1644000 | #Constraints: 27716
2980.52/2990.10 c #Conflicts: 1645000 | #Constraints: 28718
2980.52/2990.10 c #Conflicts: 1646000 | #Constraints: 29720
2980.52/2990.10 c #Conflicts: 1647000 | #Constraints: 30725
2980.52/2990.10 c #Conflicts: 1648000 | #Constraints: 31729
2980.52/2990.10 c #Conflicts: 1649000 | #Constraints: 32732
2980.52/2990.10 c #Conflicts: 1650000 | #Constraints: 33740
2980.52/2990.10 c #Conflicts: 1651000 | #Constraints: 34747
2980.52/2990.10 c #Conflicts: 1652000 | #Constraints: 35751
2980.52/2990.10 c #Conflicts: 1653000 | #Constraints: 36758
2980.52/2990.10 c #Conflicts: 1654000 | #Constraints: 37769
2980.52/2990.10 c #Conflicts: 1655000 | #Constraints: 38772
2980.52/2990.10 c #Conflicts: 1656000 | #Constraints: 39780
2980.52/2990.10 c #Conflicts: 1657000 | #Constraints: 40786
2980.52/2990.10 c #Conflicts: 1658000 | #Constraints: 41793
2980.52/2990.10 c #Conflicts: 1659000 | #Constraints: 42795
2980.52/2990.10 c #Conflicts: 1660000 | #Constraints: 43799
2980.52/2990.10 c #Conflicts: 1661000 | #Constraints: 44804
2980.52/2990.10 c #Conflicts: 1662000 | #Constraints: 45811
2980.52/2990.10 c #Conflicts: 1663000 | #Constraints: 46819
2980.52/2990.10 c #Conflicts: 1664000 | #Constraints: 47823
2980.52/2990.10 c #Conflicts: 1665000 | #Constraints: 48826
2980.52/2990.10 c #Conflicts: 1666000 | #Constraints: 49828
2980.52/2990.10 c #Conflicts: 1667000 | #Constraints: 50831
2980.52/2990.10 c #Conflicts: 1668000 | #Constraints: 51834
2980.52/2990.10 c INPROCESSING
2980.52/2990.10 c GARBAGE COLLECT
2980.52/2990.10 c rational objective 3
2980.62/2990.19 c GLOBAL bounds - >= 3 @ 2957.92
2980.62/2990.19 c GLOBAL bounds - >= 3 @ 2957.92
3049.41/3059.14 c #Conflicts: 1669000 | #Constraints: 27163
3049.41/3059.14 c #Conflicts: 1670000 | #Constraints: 28167
3049.41/3059.14 c #Conflicts: 1671000 | #Constraints: 29170
3049.41/3059.14 c #Conflicts: 1672000 | #Constraints: 30178
3049.41/3059.14 c #Conflicts: 1673000 | #Constraints: 31187
3049.41/3059.14 c #Conflicts: 1674000 | #Constraints: 32197
3049.41/3059.14 c #Conflicts: 1675000 | #Constraints: 33210
3049.41/3059.14 c #Conflicts: 1676000 | #Constraints: 34213
3049.41/3059.14 c #Conflicts: 1677000 | #Constraints: 35218
3049.41/3059.14 c #Conflicts: 1678000 | #Constraints: 36227
3049.41/3059.14 c #Conflicts: 1679000 | #Constraints: 37228
3049.41/3059.14 c #Conflicts: 1680000 | #Constraints: 38238
3049.41/3059.14 c #Conflicts: 1681000 | #Constraints: 39243
3049.41/3059.14 c #Conflicts: 1682000 | #Constraints: 40253
3049.41/3059.14 c #Conflicts: 1683000 | #Constraints: 41258
3049.41/3059.14 c #Conflicts: 1684000 | #Constraints: 42265
3049.41/3059.14 c #Conflicts: 1685000 | #Constraints: 43267
3049.41/3059.14 c #Conflicts: 1686000 | #Constraints: 44272
3049.41/3059.14 c #Conflicts: 1687000 | #Constraints: 45274
3049.41/3059.14 c #Conflicts: 1688000 | #Constraints: 46278
3049.41/3059.14 c #Conflicts: 1689000 | #Constraints: 47282
3049.41/3059.14 c #Conflicts: 1690000 | #Constraints: 48286
3049.41/3059.14 c #Conflicts: 1691000 | #Constraints: 49291
3049.41/3059.14 c #Conflicts: 1692000 | #Constraints: 50295
3049.41/3059.14 c #Conflicts: 1693000 | #Constraints: 51303
3049.41/3059.14 c #Conflicts: 1694000 | #Constraints: 52309
3049.41/3059.14 c INPROCESSING
3049.41/3059.14 c GARBAGE COLLECT
3049.41/3059.14 c rational objective 3
3049.50/3059.25 c GLOBAL bounds - >= 3 @ 3026.36
3049.50/3059.25 c GLOBAL bounds - >= 3 @ 3026.36
3114.79/3124.70 c #Conflicts: 1695000 | #Constraints: 27406
3114.79/3124.70 c #Conflicts: 1696000 | #Constraints: 28412
3114.79/3124.70 c #Conflicts: 1697000 | #Constraints: 29413
3114.79/3124.70 c #Conflicts: 1698000 | #Constraints: 30418
3114.79/3124.70 c #Conflicts: 1699000 | #Constraints: 31419
3114.79/3124.70 c #Conflicts: 1700000 | #Constraints: 32422
3114.79/3124.70 c #Conflicts: 1701000 | #Constraints: 33425
3114.79/3124.70 c #Conflicts: 1702000 | #Constraints: 34428
3114.79/3124.70 c #Conflicts: 1703000 | #Constraints: 35432
3114.79/3124.70 c #Conflicts: 1704000 | #Constraints: 36437
3114.79/3124.70 c #Conflicts: 1705000 | #Constraints: 37444
3114.79/3124.70 c #Conflicts: 1706000 | #Constraints: 38447
3114.79/3124.70 c #Conflicts: 1707000 | #Constraints: 39451
3114.79/3124.70 c #Conflicts: 1708000 | #Constraints: 40459
3114.79/3124.70 c #Conflicts: 1709000 | #Constraints: 41466
3114.79/3124.70 c #Conflicts: 1710000 | #Constraints: 42471
3114.79/3124.70 c #Conflicts: 1711000 | #Constraints: 43479
3114.79/3124.70 c #Conflicts: 1712000 | #Constraints: 44483
3114.79/3124.70 c #Conflicts: 1713000 | #Constraints: 45488
3114.79/3124.70 c #Conflicts: 1714000 | #Constraints: 46491
3114.79/3124.70 c #Conflicts: 1715000 | #Constraints: 47499
3114.79/3124.70 c #Conflicts: 1716000 | #Constraints: 48503
3114.79/3124.70 c #Conflicts: 1717000 | #Constraints: 49505
3114.79/3124.70 c #Conflicts: 1718000 | #Constraints: 50508
3114.79/3124.70 c #Conflicts: 1719000 | #Constraints: 51512
3114.79/3124.70 c #Conflicts: 1720000 | #Constraints: 52515
3114.79/3124.70 c INPROCESSING
3114.79/3124.70 c GARBAGE COLLECT
3114.79/3124.70 c rational objective 3
3114.89/3124.89 c GLOBAL bounds - >= 3 @ 3091.39
3114.89/3124.89 c GLOBAL bounds - >= 3 @ 3091.39
3197.72/3207.93 c #Conflicts: 1721000 | #Constraints: 27401
3197.72/3207.93 c #Conflicts: 1722000 | #Constraints: 28402
3197.72/3207.93 c #Conflicts: 1723000 | #Constraints: 29404
3197.72/3207.93 c #Conflicts: 1724000 | #Constraints: 30407
3197.72/3207.93 c #Conflicts: 1725000 | #Constraints: 31410
3197.72/3207.93 c #Conflicts: 1726000 | #Constraints: 32411
3197.72/3207.93 c #Conflicts: 1727000 | #Constraints: 33419
3197.72/3207.93 c #Conflicts: 1728000 | #Constraints: 34428
3197.72/3207.93 c #Conflicts: 1729000 | #Constraints: 35432
3197.72/3207.93 c #Conflicts: 1730000 | #Constraints: 36433
3197.72/3207.93 c #Conflicts: 1731000 | #Constraints: 37436
3197.72/3207.93 c #Conflicts: 1732000 | #Constraints: 38440
3197.72/3207.93 c #Conflicts: 1733000 | #Constraints: 39447
3197.72/3207.93 c #Conflicts: 1734000 | #Constraints: 40455
3197.72/3207.93 c #Conflicts: 1735000 | #Constraints: 41459
3197.72/3207.93 c #Conflicts: 1736000 | #Constraints: 42464
3197.72/3207.93 c #Conflicts: 1737000 | #Constraints: 43471
3197.72/3207.93 c #Conflicts: 1738000 | #Constraints: 44475
3197.72/3207.93 c #Conflicts: 1739000 | #Constraints: 45478
3197.72/3207.93 c #Conflicts: 1740000 | #Constraints: 46482
3197.72/3207.93 c #Conflicts: 1741000 | #Constraints: 47489
3197.72/3207.93 c #Conflicts: 1742000 | #Constraints: 48490
3197.72/3207.93 c #Conflicts: 1743000 | #Constraints: 49496
3197.72/3207.93 c #Conflicts: 1744000 | #Constraints: 50498
3197.72/3207.93 c #Conflicts: 1745000 | #Constraints: 51503
3197.72/3207.93 c #Conflicts: 1746000 | #Constraints: 52512
3197.72/3207.93 c INPROCESSING
3197.72/3207.93 c GARBAGE COLLECT
3197.72/3207.93 c rational objective 3
3197.83/3208.04 c GLOBAL bounds - >= 3 @ 3173.83
3197.83/3208.04 c GLOBAL bounds - >= 3 @ 3173.83
3265.21/3275.60 c #Conflicts: 1747000 | #Constraints: 27186
3265.21/3275.60 c #Conflicts: 1748000 | #Constraints: 28189
3265.21/3275.60 c #Conflicts: 1749000 | #Constraints: 29201
3265.21/3275.60 c #Conflicts: 1750000 | #Constraints: 30203
3265.21/3275.60 c #Conflicts: 1751000 | #Constraints: 31205
3265.21/3275.60 c #Conflicts: 1752000 | #Constraints: 32210
3265.21/3275.60 c #Conflicts: 1753000 | #Constraints: 33214
3265.21/3275.60 c #Conflicts: 1754000 | #Constraints: 34219
3265.21/3275.60 c #Conflicts: 1755000 | #Constraints: 35225
3265.21/3275.60 c #Conflicts: 1756000 | #Constraints: 36228
3265.21/3275.60 c #Conflicts: 1757000 | #Constraints: 37235
3265.21/3275.60 c #Conflicts: 1758000 | #Constraints: 38240
3265.21/3275.60 c #Conflicts: 1759000 | #Constraints: 39242
3265.21/3275.60 c #Conflicts: 1760000 | #Constraints: 40249
3265.21/3275.60 c #Conflicts: 1761000 | #Constraints: 41253
3265.21/3275.60 c #Conflicts: 1762000 | #Constraints: 42257
3265.21/3275.60 c #Conflicts: 1763000 | #Constraints: 43261
3265.21/3275.60 c #Conflicts: 1764000 | #Constraints: 44273
3265.21/3275.60 c #Conflicts: 1765000 | #Constraints: 45279
3265.21/3275.60 c #Conflicts: 1766000 | #Constraints: 46288
3265.21/3275.60 c #Conflicts: 1767000 | #Constraints: 47294
3265.21/3275.60 c #Conflicts: 1768000 | #Constraints: 48298
3265.21/3275.60 c #Conflicts: 1769000 | #Constraints: 49304
3265.21/3275.60 c #Conflicts: 1770000 | #Constraints: 50310
3265.21/3275.60 c #Conflicts: 1771000 | #Constraints: 51312
3265.21/3275.60 c #Conflicts: 1772000 | #Constraints: 52315
3265.21/3275.60 c #Conflicts: 1773000 | #Constraints: 53317
3265.21/3275.60 c INPROCESSING
3265.21/3275.60 c GARBAGE COLLECT
3265.21/3275.60 c rational objective 3
3265.31/3275.75 c GLOBAL bounds - >= 3 @ 3240.91
3265.31/3275.75 c GLOBAL bounds - >= 3 @ 3240.91
3317.04/3327.69 c #Conflicts: 1774000 | #Constraints: 27743
3317.04/3327.69 c #Conflicts: 1775000 | #Constraints: 28754
3317.04/3327.69 c #Conflicts: 1776000 | #Constraints: 29757
3317.04/3327.69 c #Conflicts: 1777000 | #Constraints: 30759
3317.04/3327.69 c #Conflicts: 1778000 | #Constraints: 31762
3317.04/3327.69 c #Conflicts: 1779000 | #Constraints: 32763
3317.04/3327.69 c #Conflicts: 1780000 | #Constraints: 33765
3317.04/3327.69 c #Conflicts: 1781000 | #Constraints: 34765
3317.04/3327.69 c #Conflicts: 1782000 | #Constraints: 35766
3317.04/3327.69 c #Conflicts: 1783000 | #Constraints: 36768
3317.04/3327.69 c #Conflicts: 1784000 | #Constraints: 37862
3317.04/3327.69 c #Conflicts: 1785000 | #Constraints: 39063
3317.04/3327.69 c #Conflicts: 1786000 | #Constraints: 40106
3317.04/3327.69 c #Conflicts: 1787000 | #Constraints: 41338
3317.04/3327.69 c #Conflicts: 1788000 | #Constraints: 42512
3317.04/3327.69 c #Conflicts: 1789000 | #Constraints: 43634
3317.04/3327.69 c #Conflicts: 1790000 | #Constraints: 44699
3317.04/3327.69 c #Conflicts: 1791000 | #Constraints: 45718
3317.04/3327.69 c #Conflicts: 1792000 | #Constraints: 46735
3317.04/3327.69 c #Conflicts: 1793000 | #Constraints: 47869
3317.04/3327.69 c #Conflicts: 1794000 | #Constraints: 48942
3317.04/3327.69 c #Conflicts: 1795000 | #Constraints: 50130
3317.04/3327.69 c #Conflicts: 1796000 | #Constraints: 51412
3317.04/3327.69 c #Conflicts: 1797000 | #Constraints: 52555
3317.04/3327.69 c #Conflicts: 1798000 | #Constraints: 53732
3317.04/3327.69 c #Conflicts: 1799000 | #Constraints: 54964
3317.04/3327.69 c #Conflicts: 1800000 | #Constraints: 56125
3317.04/3327.69 c INPROCESSING
3317.04/3327.69 c GARBAGE COLLECT
3317.04/3327.69 c rational objective 3
3317.24/3327.87 c GLOBAL bounds - >= 3 @ 3292.48
3317.24/3327.87 c GLOBAL bounds - >= 3 @ 3292.48
3396.80/3407.68 c #Conflicts: 1801000 | #Constraints: 29279
3396.80/3407.68 c #Conflicts: 1802000 | #Constraints: 30281
3396.80/3407.68 c #Conflicts: 1803000 | #Constraints: 31281
3396.80/3407.68 c #Conflicts: 1804000 | #Constraints: 32281
3396.80/3407.68 c #Conflicts: 1805000 | #Constraints: 33281
3396.80/3407.68 c #Conflicts: 1806000 | #Constraints: 34283
3396.80/3407.68 c #Conflicts: 1807000 | #Constraints: 35293
3396.80/3407.68 c #Conflicts: 1808000 | #Constraints: 36296
3396.80/3407.68 c #Conflicts: 1809000 | #Constraints: 37302
3396.80/3407.68 c #Conflicts: 1810000 | #Constraints: 38303
3396.80/3407.68 c #Conflicts: 1811000 | #Constraints: 39303
3396.80/3407.68 c #Conflicts: 1812000 | #Constraints: 40305
3396.80/3407.68 c #Conflicts: 1813000 | #Constraints: 41305
3396.80/3407.68 c #Conflicts: 1814000 | #Constraints: 42306
3396.80/3407.68 c #Conflicts: 1815000 | #Constraints: 43306
3396.80/3407.68 c #Conflicts: 1816000 | #Constraints: 44309
3396.80/3407.68 c #Conflicts: 1817000 | #Constraints: 45309
3396.80/3407.68 c #Conflicts: 1818000 | #Constraints: 46312
3396.80/3407.68 c #Conflicts: 1819000 | #Constraints: 47313
3396.80/3407.68 c #Conflicts: 1820000 | #Constraints: 48317
3396.80/3407.68 c #Conflicts: 1821000 | #Constraints: 49318
3396.80/3407.68 c #Conflicts: 1822000 | #Constraints: 50318
3396.80/3407.68 c #Conflicts: 1823000 | #Constraints: 51318
3396.80/3407.68 c #Conflicts: 1824000 | #Constraints: 52319
3396.80/3407.68 c #Conflicts: 1825000 | #Constraints: 53319
3396.80/3407.68 c #Conflicts: 1826000 | #Constraints: 54321
3396.80/3407.68 c #Conflicts: 1827000 | #Constraints: 55321
3396.80/3407.68 c INPROCESSING
3396.80/3407.68 c GARBAGE COLLECT
3396.80/3407.68 c rational objective 3
3397.00/3407.84 c GLOBAL bounds - >= 3 @ 3371.76
3397.00/3407.84 c GLOBAL bounds - >= 3 @ 3371.76
3481.75/3492.84 c #Conflicts: 1828000 | #Constraints: 28901
3481.75/3492.84 c #Conflicts: 1829000 | #Constraints: 29907
3481.75/3492.84 c #Conflicts: 1830000 | #Constraints: 30952
3481.75/3492.84 c #Conflicts: 1831000 | #Constraints: 31953
3481.75/3492.84 c #Conflicts: 1832000 | #Constraints: 32961
3481.75/3492.84 c #Conflicts: 1833000 | #Constraints: 33966
3481.75/3492.84 c #Conflicts: 1834000 | #Constraints: 34971
3481.75/3492.84 c #Conflicts: 1835000 | #Constraints: 35974
3481.75/3492.84 c #Conflicts: 1836000 | #Constraints: 36976
3481.75/3492.84 c #Conflicts: 1837000 | #Constraints: 37978
3481.75/3492.84 c #Conflicts: 1838000 | #Constraints: 38984
3481.75/3492.84 c #Conflicts: 1839000 | #Constraints: 39989
3481.75/3492.84 c #Conflicts: 1840000 | #Constraints: 40994
3481.75/3492.84 c #Conflicts: 1841000 | #Constraints: 42000
3481.75/3492.84 c #Conflicts: 1842000 | #Constraints: 43007
3481.75/3492.84 c #Conflicts: 1843000 | #Constraints: 44015
3481.75/3492.84 c #Conflicts: 1844000 | #Constraints: 45021
3481.75/3492.84 c #Conflicts: 1845000 | #Constraints: 46029
3481.75/3492.84 c #Conflicts: 1846000 | #Constraints: 47032
3481.75/3492.84 c #Conflicts: 1847000 | #Constraints: 48038
3481.75/3492.84 c #Conflicts: 1848000 | #Constraints: 49041
3481.75/3492.84 c #Conflicts: 1849000 | #Constraints: 50043
3481.75/3492.84 c #Conflicts: 1850000 | #Constraints: 51047
3481.75/3492.84 c #Conflicts: 1851000 | #Constraints: 52050
3481.75/3492.84 c #Conflicts: 1852000 | #Constraints: 53050
3481.75/3492.84 c #Conflicts: 1853000 | #Constraints: 54053
3481.75/3492.84 c #Conflicts: 1854000 | #Constraints: 55053
3481.75/3492.84 c INPROCESSING
3481.75/3492.84 c GARBAGE COLLECT
3481.75/3492.84 c rational objective 3
3481.85/3492.98 c GLOBAL bounds - >= 3 @ 3456.17
3481.85/3492.98 c GLOBAL bounds - >= 3 @ 3456.17
3562.61/3573.97 c #Conflicts: 1855000 | #Constraints: 28663
3562.61/3573.97 c #Conflicts: 1856000 | #Constraints: 29670
3562.61/3573.97 c #Conflicts: 1857000 | #Constraints: 30675
3562.61/3573.97 c #Conflicts: 1858000 | #Constraints: 31681
3562.61/3573.97 c #Conflicts: 1859000 | #Constraints: 32684
3562.61/3573.97 c #Conflicts: 1860000 | #Constraints: 33692
3562.61/3573.97 c #Conflicts: 1861000 | #Constraints: 34698
3562.61/3573.97 c #Conflicts: 1862000 | #Constraints: 35704
3562.61/3573.97 c #Conflicts: 1863000 | #Constraints: 36707
3562.61/3573.97 c #Conflicts: 1864000 | #Constraints: 37711
3562.61/3573.97 c #Conflicts: 1865000 | #Constraints: 38712
3562.61/3573.97 c #Conflicts: 1866000 | #Constraints: 39719
3562.61/3573.97 c #Conflicts: 1867000 | #Constraints: 40721
3562.61/3573.97 c #Conflicts: 1868000 | #Constraints: 41725
3562.61/3573.97 c #Conflicts: 1869000 | #Constraints: 42729
3562.61/3573.97 c #Conflicts: 1870000 | #Constraints: 43737
3562.61/3573.97 c #Conflicts: 1871000 | #Constraints: 44746
3562.61/3573.97 c #Conflicts: 1872000 | #Constraints: 45754
3562.61/3573.97 c #Conflicts: 1873000 | #Constraints: 46759
3562.61/3573.97 c #Conflicts: 1874000 | #Constraints: 47762
3562.61/3573.97 c #Conflicts: 1875000 | #Constraints: 48771
3562.61/3573.97 c #Conflicts: 1876000 | #Constraints: 49777
3562.61/3573.97 c #Conflicts: 1877000 | #Constraints: 50779
3562.61/3573.97 c #Conflicts: 1878000 | #Constraints: 51784
3562.61/3573.97 c #Conflicts: 1879000 | #Constraints: 52786
3562.61/3573.97 c #Conflicts: 1880000 | #Constraints: 53787
3562.61/3573.97 c #Conflicts: 1881000 | #Constraints: 54791
3562.61/3573.97 c INPROCESSING
3562.61/3573.97 c GARBAGE COLLECT
3562.61/3573.97 c rational objective 3
3562.72/3574.10 c GLOBAL bounds - >= 3 @ 3536.66
3562.72/3574.10 c GLOBAL bounds - >= 3 @ 3536.66
3600.00/3611.40 c #Conflicts: 1882000 | #Constraints: 28323
3600.00/3611.40 c #Conflicts: 1883000 | #Constraints: 29327
3600.00/3611.40 c #Conflicts: 1884000 | #Constraints: 30333
3600.00/3611.40 c #Conflicts: 1885000 | #Constraints: 31338
3600.00/3611.40 c #Conflicts: 1886000 | #Constraints: 32341
3600.00/3611.40 c #Conflicts: 1887000 | #Constraints: 33345
3600.00/3611.40 c #Conflicts: 1888000 | #Constraints: 34349
3600.00/3611.40 c #Conflicts: 1889000 | #Constraints: 35351
3600.00/3611.40 c #Conflicts: 1890000 | #Constraints: 36355
3600.00/3611.40 c #Conflicts: 1891000 | #Constraints: 37362
3600.00/3611.40 c #Conflicts: 1892000 | #Constraints: 38365
3600.00/3611.40 c #Conflicts: 1893000 | #Constraints: 39370
3600.00/3611.40 c #Conflicts: 1894000 | #Constraints: 40375
3600.00/3611.40 c #Conflicts: 1895000 | #Constraints: 41380
3600.00/3611.40 c #Conflicts: 1896000 | #Constraints: 42384
3600.00/3611.40 c #Conflicts: 1897000 | #Constraints: 43388
3600.00/3611.40 c #Conflicts: 1898000 | #Constraints: 44395
3600.00/3611.40 c #Conflicts: 1899000 | #Constraints: 45397
3600.00/3611.40 c #Conflicts: 1900000 | #Constraints: 46399
3600.00/3611.40 c #Conflicts: 1901000 | #Constraints: 47401
3600.00/3611.40 c #Conflicts: 1902000 | #Constraints: 48403
3600.00/3611.40 c cpu time 3573.59 s
3600.00/3611.40 c deterministic time 321301663611 3.21e+11
3600.00/3611.40 c optimization time 36.9332 s
3600.00/3611.40 c total solve time 3536.64 s
3600.00/3611.40 c core-guided solve time 0 s
3600.00/3611.40 c propagation time 2281.92 s
3600.00/3611.40 c conflict analysis time 1215.59 s
3600.00/3611.40 c propagations 223646190
3600.00/3611.40 c resolve steps 27195777
3600.00/3611.40 c decisions 3313716
3600.00/3611.40 c conflicts 1902808
3600.00/3611.40 c restarts 3695
3600.00/3611.40 c inprocessing phases 128
3600.00/3611.40 c garbage collections 128 ,( 100.00 )
3600.00/3611.40 c input clauses 801 ,( 78.22 )
3600.00/3611.40 c input cardinalities 31 ,( 3.03 )
3600.00/3611.40 c input general constraints 192 ,( 18.75 )
3600.00/3611.40 c input average constraint length 8.64
3600.00/3611.40 c input average constraint degree 57.01
3600.00/3611.40 c learned clauses 538683 ,( 27.98 )
3600.00/3611.40 c learned cardinalities 5054 ,( 0.26 )
3600.00/3611.40 c learned general constraints 1381607 ,( 71.76 )
3600.00/3611.40 c learned average constraint length 147.65
3600.00/3611.40 c learned average constraint degree 1883693995.27
3600.00/3611.40 c watched CF 32, 64, 128, Arb: 407652 , 0 , 0 , 0
3600.00/3611.40 c counting CF 32, 64, 128, Arb: 974148 , 0 , 0 , 0
3600.00/3611.40 c watched constraints 407652 ,( 29.50 )
3600.00/3611.40 c counting constraints 974147 ,( 70.50 )
3600.00/3611.40 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 115722142 , 45940662 , 6195451107 ,( 349592723 , 5845858384 )
3600.00/3611.40 c gcd simplifications 275568
3600.00/3611.40 c detected cardinalities 438
3600.00/3611.40 c weakened non-implied lits 147822376
3600.00/3611.40 c weakened non-implying lits 1096277
3600.00/3611.40 c original variables 774
3600.00/3611.40 c clausal propagations 2468353
3600.00/3611.40 c cardinality propagations 7024822
3600.00/3611.40 c watched propagations 1586890
3600.00/3611.40 c counting propagations 209390697
3600.00/3611.40 c watch lookups 269190713300
3600.00/3611.40 c watch backjump lookups 0
3600.00/3611.40 c watch checks 10502902191
3600.00/3611.40 c propagation checks 39072108146
3600.00/3611.40 c constraint additions 2078219923
3600.00/3611.40 c trail pops 228854738
3600.00/3611.40 c formula constraints 1024
3600.00/3611.40 c learned constraints 1895170
3600.00/3611.40 c bound constraints 0
3600.00/3611.40 c core-guided constraints 0
3600.00/3611.40 c encountered formula constraints 9679771
3600.00/3611.40 c encountered learned constraints 11566475
3600.00/3611.40 c encountered bound constraints 0
3600.00/3611.40 c encountered core-guided constraints 0
3600.00/3611.40 c LP total time 107.759 s
3600.00/3611.40 c LP solve time 86.72 s
3600.00/3611.40 c LP constraints added 1599
3600.00/3611.40 c LP constraints removed 569
3600.00/3611.40 c LP pivots internal 1902822
3600.00/3611.40 c LP pivots root 2584
3600.00/3611.40 c LP calls 69392
3600.00/3611.40 c LP optimalities 46935
3600.00/3611.40 c LP no pivot count 5307
3600.00/3611.40 c LP infeasibilities 22423
3600.00/3611.40 c LP valid Farkas constraints 22412
3600.00/3611.40 c LP learned Farkas constraints 7637
3600.00/3611.40 c LP basis resets 43
3600.00/3611.40 c LP cycling count 0
3600.00/3611.40 c LP singular count 33
3600.00/3611.40 c LP no primal count 0
3600.00/3611.40 c LP no farkas count 10
3600.00/3611.40 c LP other issue count 0
3600.00/3611.40 c LP Gomory cuts 125
3600.00/3611.40 c LP learned cuts 450
3600.00/3611.40 c LP deleted cuts 569
3600.00/3611.40 c LP encountered Gomory constraints 27713
3600.00/3611.40 c LP encountered Farkas constraints 6455314
3600.00/3611.40 c LP encountered learned Farkas constraints 1361675
3600.00/3611.40 c CG auxiliary variables introduced 1
3600.00/3611.40 c CG solutions found 0
3600.00/3611.40 c CG cores constructed 0
3600.00/3611.40 c CG core cardinality constraints returned 0
3600.00/3611.40 c CG unit cores 0
3600.00/3611.40 c CG single cores 0
3600.00/3611.40 c CG blocks removed during cardinality reduction 0
3600.00/3611.40 c CG first core best 0
3600.00/3611.40 c CG decision core best 0
3600.00/3611.40 c CG core reduction tie 0
3600.00/3611.40 c CG core degree average 0.00
3600.00/3611.40 c CG core slack average 0.00
3600.00/3611.40 c CG core upper bound improvements 0
3600.00/3611.40 c STR number of successful calls 0
3600.00/3611.40 c STR number of unsuccessful calls 0
3600.00/3611.40 c STR number of inconclusive calls 0
3600.00/3611.40 c STR number of successful attempts 0
3600.00/3611.40 c STR number of unsuccessful attempts 0
3600.00/3611.40 c STR number of inconclusive attempts 0
3600.00/3611.40 c STR average degree increase per successful call inf
3600.00/3611.40 c STR average degree increase per successful attempt inf
3600.00/3611.40 c STR total number of conflicts for successful attempts 0
3600.00/3611.40 c STR total number of conflicts for unsuccessful attempts 0
3600.00/3611.40 c STR total number of conflicts for inconclusive attempts 0
3600.00/3611.40 c STR average number of conflicts per successful attempt inf
3600.00/3611.40 c STR average number of conflicts per unsuccessful attempt inf
3600.00/3611.40 c STR average number of conflicts per inconclusive attempt inf
3600.00/3611.40 c AVG.sumWPerc 57.07
3600.00/3611.40 c bigint constraints 0
3600.00/3611.40 s UNKNOWN
3600.00/3611.40 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (62879 MiB free)
memory of node 1: 64465 MiB (63619 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4499351-1751416183/watcher-4499351-1751416183 -o /tmp/evaluation-result-4499351-1751416183/solver-4499351-1751416183 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751416183-69578 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4499351-1751416183.opb PROOFDIR/proof-4499351-1751416183
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Starting watchdog thread
Starting watchdog thread
Linux 5.14.0-503.14.1.el9_5.x86_64
Current StackSize limit: 8192 KiB
solver pid=69625, runsolver pid=69616
[startup+0.100104 s]*
/proc/loadavg: 0.61 1.05 1.18 6/255 69638
/proc/meminfo: memFree=129536856/131382112 swapFree=33005784/33010684
[pid=69625] ppid=69616 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69625/stat : 69625 (run-opt-log.sh) S 69616 69625 68503 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 57297417 4292608 736 18446744073709551615 94318275756032 94318276650565 140721674616032 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94318276889616 94318276937360 94318298193920 140721674619169 140721674619364 140721674619364 140721674624966 0
/proc/69625/statm: 1048 736 672 219 0 110 0
[pid=69630] ppid=69625 vsize=62772 memory=13004 CPUtime=0.07 cores=5,7
/proc/69630/stat : 69630 (roundingsat) R 69625 69625 68503 0 -1 4194304 1255 0 0 0 6 1 0 0 20 0 1 0 57297419 64278528 3251 18446744073709551615 4227072 8923433 140728290544544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28479488 140728290552146 140728290552360 140728290552360 140728290557930 0
/proc/69630/statm: 15693 3251 2368 1147 0 3120 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 66964 KiB
Current children cumulated memory: 15948 KiB
[startup+0.214007 s]*
/proc/loadavg: 0.61 1.05 1.18 6/255 69638
/proc/meminfo: memFree=129509512/131382112 swapFree=33005784/33010684
[pid=69625] ppid=69616 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69625/stat : 69625 (run-opt-log.sh) S 69616 69625 68503 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 57297417 4292608 736 18446744073709551615 94318275756032 94318276650565 140721674616032 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94318276889616 94318276937360 94318298193920 140721674619169 140721674619364 140721674619364 140721674624966 0
/proc/69625/statm: 1048 736 672 219 0 110 0
[pid=69630] ppid=69625 vsize=63796 memory=14284 CPUtime=0.18 cores=5,7
/proc/69630/stat : 69630 (roundingsat) R 69625 69625 68503 0 -1 4194304 1523 0 0 0 17 1 0 0 20 0 1 0 57297419 65327104 3571 18446744073709551615 4227072 8923433 140728290544544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28479488 140728290552146 140728290552360 140728290552360 140728290557930 0
/proc/69630/statm: 15949 3571 2400 1147 0 3376 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 67988 KiB
Current children cumulated memory: 17228 KiB
[startup+0.314009 s]*
/proc/loadavg: 0.61 1.05 1.18 6/255 69638
/proc/meminfo: memFree=129504472/131382112 swapFree=33005784/33010684
[pid=69625] ppid=69616 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69625/stat : 69625 (run-opt-log.sh) S 69616 69625 68503 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 57297417 4292608 736 18446744073709551615 94318275756032 94318276650565 140721674616032 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94318276889616 94318276937360 94318298193920 140721674619169 140721674619364 140721674619364 140721674624966 0
/proc/69625/statm: 1048 736 672 219 0 110 0
[pid=69630] ppid=69625 vsize=64076 memory=16576 CPUtime=0.28 cores=5,7
/proc/69630/stat : 69630 (roundingsat) R 69625 69625 68503 0 -1 4194304 1585 0 0 0 26 2 0 0 20 0 1 0 57297419 65613824 4144 18446744073709551615 4227072 8923433 140728290544544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28479488 140728290552146 140728290552360 140728290552360 140728290557930 0
/proc/69630/statm: 16019 4144 2400 1147 0 3446 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 68268 KiB
Current children cumulated memory: 19520 KiB
[startup+0.700341 s]
/proc/loadavg: 0.88 1.10 1.19 6/255 69638
/proc/meminfo: memFree=129490108/131382112 swapFree=33005784/33010684
[pid=69625] ppid=69616 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69625/stat : 69625 (run-opt-log.sh) S 69616 69625 68503 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 57297417 4292608 736 18446744073709551615 94318275756032 94318276650565 140721674616032 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94318276889616 94318276937360 94318298193920 140721674619169 140721674619364 140721674619364 140721674624966 0
/proc/69625/statm: 1048 736 672 219 0 110 0
[pid=69630] ppid=69625 vsize=64920 memory=17472 CPUtime=0.66 cores=5,7
/proc/69630/stat : 69630 (roundingsat) R 69625 69625 68503 0 -1 4194304 1806 0 0 0 62 4 0 0 20 0 1 0 57297419 66478080 4368 18446744073709551615 4227072 8923433 140728290544544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28479488 140728290552146 140728290552360 140728290552360 140728290557930 0
/proc/69630/statm: 16230 4368 2400 1147 0 3657 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 69112 KiB
Current children cumulated memory: 20416 KiB
[startup+1.50036 s]
/proc/loadavg: 0.88 1.10 1.19 6/255 69638
/proc/meminfo: memFree=129465600/131382112 swapFree=33005784/33010684
[pid=69625] ppid=69616 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69625/stat : 69625 (run-opt-log.sh) S 69616 69625 68503 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 57297417 4292608 736 18446744073709551615 94318275756032 94318276650565 140721674616032 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94318276889616 94318276937360 94318298193920 140721674619169 140721674619364 140721674619364 140721674624966 0
/proc/69625/statm: 1048 736 672 219 0 110 0
[pid=69630] ppid=69625 vsize=66872 memory=19392 CPUtime=1.45 cores=5,7
/proc/69630/stat : 69630 (roundingsat) R 69625 69625 68503 0 -1 4194304 2304 0 0 0 138 7 0 0 20 0 1 0 57297419 68476928 4848 18446744073709551615 4227072 8923433 140728290544544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28479488 140728290552146 140728290552360 140728290552360 140728290557930 0
/proc/69630/statm: 16718 4848 2400 1147 0 4145 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 71064 KiB
Current children cumulated memory: 22336 KiB
[startup+3.11313 s]
/proc/loadavg: 0.88 1.10 1.19 6/255 69638
/proc/meminfo: memFree=129301716/131382112 swapFree=33005784/33010684
[pid=69625] ppid=69616 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69625/stat : 69625 (run-opt-log.sh) S 69616 69625 68503 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 57297417 4292608 736 18446744073709551615 94318275756032 94318276650565 140721674616032 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94318276889616 94318276937360 94318298193920 140721674619169 140721674619364 140721674619364 140721674624966 0
/proc/69625/statm: 1048 736 672 219 0 110 0
[pid=69630] ppid=69625 vsize=71744 memory=25676 CPUtime=3.05 cores=5,7
/proc/69630/stat : 69630 (roundingsat) R 69625 69625 68503 0 -1 4194304 3373 0 0 0 295 10 0 0 20 0 1 0 57297419 73465856 6419 18446744073709551615 4227072 8923433 140728290544544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28479488 140728290552146 140728290552360 140728290552360 140728290557930 0
/proc/69630/statm: 17936 6419 2400 1147 0 5363 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 75936 KiB
Current children cumulated memory: 28620 KiB
[startup+6.30035 s]
/proc/loadavg: 1.13 1.15 1.21 6/254 69653
/proc/meminfo: memFree=129257184/131382112 swapFree=33005784/33010684
[pid=69625] ppid=69616 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69625/stat : 69625 (run-opt-log.sh) S 69616 69625 68503 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 57297417 4292608 736 18446744073709551615 94318275756032 94318276650565 140721674616032 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94318276889616 94318276937360 94318298193920 140721674619169 140721674619364 140721674619364 140721674624966 0
/proc/69625/statm: 1048 736 672 219 0 110 0
[pid=69630] ppid=69625 vsize=83136 memory=35532 CPUtime=6.21 cores=5,7
/proc/69630/stat : 69630 (roundingsat) R 69625 69625 68503 0 -1 4194304 5826 0 0 0 603 18 0 0 20 0 1 0 57297419 85131264 8883 18446744073709551615 4227072 8923433 140728290544544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28479488 140728290552146 140728290552360 140728290552360 140728290557930 0
/proc/69630/statm: 20784 8883 2400 1147 0 8211 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 87328 KiB
Current children cumulated memory: 38476 KiB
[startup+12.7003 s]
/proc/loadavg: 1.28 1.18 1.22 4/250 69676
/proc/meminfo: memFree=129105880/131382112 swapFree=33005784/33010684
[pid=69625] ppid=69616 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69625/stat : 69625 (run-opt-log.sh) S 69616 69625 68503 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 57297417 4292608 736 18446744073709551615 94318275756032 94318276650565 140721674616032 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94318276889616 94318276937360 94318298193920 140721674619169 140721674619364 140721674619364 140721674624966 0
/proc/69625/statm: 1048 736 672 219 0 110 0
[pid=69630] ppid=69625 vsize=84416 memory=37192 CPUtime=12.58 cores=5,7
/proc/69630/stat : 69630 (roundingsat) R 69625 69625 68503 0 -1 4194304 6473 0 0 0 1228 30 0 0 20 0 1 0 57297419 86441984 9298 18446744073709551615 4227072 8923433 140728290544544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28479488 140728290552146 140728290552360 140728290552360 140728290557930 0
/proc/69630/statm: 21104 9298 2464 1147 0 8531 0
Current children cumulated CPU time: 12.58 s
Current children cumulated vsize: 88608 KiB
Current children cumulated memory: 40136 KiB
[startup+25.5004 s]
/proc/loadavg: 1.54 1.24 1.24 4/250 69676
/proc/meminfo: memFree=128774376/131382112 swapFree=33005784/33010684
[pid=69625] ppid=69616 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69625/stat : 69625 (run-opt-log.sh) S 69616 69625 68503 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 57297417 4292608 736 18446744073709551615 94318275756032 94318276650565 140721674616032 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94318276889616 94318276937360 94318298193920 140721674619169 140721674619364 140721674619364 140721674624966 0
/proc/69625/statm: 1048 736 672 219 0 110 0
[pid=69630] ppid=69625 vsize=98616 memory=47792 CPUtime=25.35 cores=5,7
/proc/69630/stat : 69630 (roundingsat) R 69625 69625 68503 0 -1 4194304 9548 0 0 0 2483 52 0 0 20 0 1 0 57297419 100982784 11948 18446744073709551615 4227072 8923433 140728290544544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28479488 140728290552146 140728290552360 140728290552360 140728290557930 0
/proc/69630/statm: 24654 11948 2464 1147 0 12081 0
Current children cumulated CPU time: 25.35 s
Current children cumulated vsize: 102808 KiB
Current children cumulated memory: 50736 KiB
[startup+51.1131 s]
/proc/loadavg: 2.18 1.42 1.30 4/254 69681
/proc/meminfo: memFree=128216420/131382112 swapFree=33005784/33010684
[pid=69625] ppid=69616 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69625/stat : 69625 (run-opt-log.sh) S 69616 69625 68503 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 57297417 4292608 736 18446744073709551615 94318275756032 94318276650565 140721674616032 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94318276889616 94318276937360 94318298193920 140721674619169 140721674619364 140721674619364 140721674624966 0
/proc/69625/statm: 1048 736 672 219 0 110 0
[pid=69630] ppid=69625 vsize=102288 memory=52532 CPUtime=50.89 cores=5,7
/proc/69630/stat : 69630 (roundingsat) R 69625 69625 68503 0 -1 4194304 11007 0 0 0 4995 94 0 0 20 0 1 0 57297419 104742912 13133 18446744073709551615 4227072 8923433 140728290544544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28479488 140728290552146 140728290552360 140728290552360 140728290557930 0
/proc/69630/statm: 25572 13133 2464 1147 0 12999 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 106480 KiB
Current children cumulated memory: 55476 KiB
[startup+102.3 s]
/proc/loadavg: 2.70 1.68 1.40 4/253 69682
/proc/meminfo: memFree=127270256/131382112 swapFree=33005784/33010684
[pid=69625] ppid=69616 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69625/stat : 69625 (run-opt-log.sh) S 69616 69625 68503 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 57297417 4292608 736 18446744073709551615 94318275756032 94318276650565 140721674616032 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94318276889616 94318276937360 94318298193920 140721674619169 140721674619364 140721674619364 140721674624966 0
/proc/69625/statm: 1048 736 672 219 0 110 0
[pid=69630] ppid=69625 vsize=124932 memory=70036 CPUtime=101.92 cores=5,7
/proc/69630/stat : 69630 (roundingsat) R 69625 69625 68503 0 -1 4194304 14844 0 0 0 10031 161 0 0 20 0 1 0 57297419 127930368 17509 18446744073709551615 4227072 8923433 140728290544544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28479488 140728290552146 140728290552360 140728290552360 140728290557930 0
/proc/69630/statm: 31233 17509 2464 1147 0 18660 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 129124 KiB
Current children cumulated memory: 72980 KiB
[startup+162.3 s]
/proc/loadavg: 2.97 1.94 1.51 4/254 69685
/proc/meminfo: memFree=126173700/131382112 swapFree=33005784/33010684
[pid=69625] ppid=69616 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69625/stat : 69625 (run-opt-log.sh) S 69616 69625 68503 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 57297417 4292608 736 18446744073709551615 94318275756032 94318276650565 140721674616032 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94318276889616 94318276937360 94318298193920 140721674619169 140721674619364 140721674619364 140721674624966 0
/proc/69625/statm: 1048 736 672 219 0 110 0
[pid=69630] ppid=69625 vsize=137272 memory=84924 CPUtime=161.73 cores=5,7
/proc/69630/stat : 69630 (roundingsat) R 69625 69625 68503 0 -1 4194304 17069 0 0 0 15938 235 0 0 20 0 1 0 57297419 140566528 21231 18446744073709551615 4227072 8923433 140728290544544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28479488 140728290552146 140728290552360 140728290552360 140728290557930 0
/proc/69630/statm: 34318 21231 2464 1147 0 21745 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 141464 KiB
Current children cumulated memory: 87868 KiB
[startup+222.3 s]
/proc/loadavg: 3.15 2.18 1.62 5/255 69692
/proc/meminfo: memFree=125316260/131382112 swapFree=33005784/33010684
[pid=69625] ppid=69616 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69625/stat : 69625 (run-opt-log.sh) S 69616 69625 68503 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 57297417 4292608 736 18446744073709551615 94318275756032 94318276650565 140721674616032 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94318276889616 94318276937360 94318298193920 140721674619169 140721674619364 140721674619364 140721674624966 0
/proc/69625/statm: 1048 736 672 219 0 110 0
[pid=69630] ppid=69625 vsize=138152 memory=85692 CPUtime=221.56 cores=5,7
/proc/69630/stat : 69630 (roundingsat) R 69625 69625 68503 0 -1 4194304 17303 0 0 0 21846 310 0 0 20 0 1 0 57297419 141467648 21423 18446744073709551615 4227072 8923433 140728290544544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28479488 140728290552146 140728290552360 140728290552360 140728290557930 0
################
# More data... #
################
/proc/69630/statm: 85381 65612 2496 1147 0 72808 0
Current children cumulated CPU time: 3032.65 s
Current children cumulated vsize: 345716 KiB
Current children cumulated memory: 265392 KiB
[startup+3102.3 s]
/proc/loadavg: 2.13 2.24 2.19 3/247 69889
/proc/meminfo: memFree=97649064/131382112 swapFree=33005784/33010684
[pid=69625] ppid=69616 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69625/stat : 69625 (run-opt-log.sh) S 69616 69625 68503 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 57297417 4292608 736 18446744073709551615 94318275756032 94318276650565 140721674616032 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94318276889616 94318276937360 94318298193920 140721674619169 140721674619364 140721674619364 140721674624966 0
/proc/69625/statm: 1048 736 672 219 0 110 0
[pid=69630] ppid=69625 vsize=342300 memory=263088 CPUtime=3092.46 cores=5,7
/proc/69630/stat : 69630 (roundingsat) R 69625 69625 68503 0 -1 4194304 48105 0 0 0 306898 2348 0 0 20 0 1 0 57297419 350515200 65772 18446744073709551615 4227072 8923433 140728290544544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28479488 140728290552146 140728290552360 140728290552360 140728290557930 0
/proc/69630/statm: 85575 65772 2496 1147 0 73002 0
Current children cumulated CPU time: 3092.46 s
Current children cumulated vsize: 346492 KiB
Current children cumulated memory: 266032 KiB
[startup+3162.3 s]
/proc/loadavg: 2.16 2.23 2.18 3/247 69891
/proc/meminfo: memFree=97326396/131382112 swapFree=33005784/33010684
[pid=69625] ppid=69616 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69625/stat : 69625 (run-opt-log.sh) S 69616 69625 68503 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 57297417 4292608 736 18446744073709551615 94318275756032 94318276650565 140721674616032 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94318276889616 94318276937360 94318298193920 140721674619169 140721674619364 140721674619364 140721674624966 0
/proc/69625/statm: 1048 736 672 219 0 110 0
[pid=69630] ppid=69625 vsize=342560 memory=263472 CPUtime=3152.26 cores=5,7
/proc/69630/stat : 69630 (roundingsat) R 69625 69625 68503 0 -1 4194304 48175 0 0 0 312844 2382 0 0 20 0 1 0 57297419 350781440 65868 18446744073709551615 4227072 8923433 140728290544544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28479488 140728290552146 140728290552360 140728290552360 140728290557930 0
/proc/69630/statm: 85640 65868 2496 1147 0 73067 0
Current children cumulated CPU time: 3152.26 s
Current children cumulated vsize: 346752 KiB
Current children cumulated memory: 266416 KiB
[startup+3222.3 s]
/proc/loadavg: 2.13 2.20 2.18 3/248 69894
/proc/meminfo: memFree=97023112/131382112 swapFree=33005784/33010684
[pid=69625] ppid=69616 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69625/stat : 69625 (run-opt-log.sh) S 69616 69625 68503 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 57297417 4292608 736 18446744073709551615 94318275756032 94318276650565 140721674616032 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94318276889616 94318276937360 94318298193920 140721674619169 140721674619364 140721674619364 140721674624966 0
/proc/69625/statm: 1048 736 672 219 0 110 0
[pid=69630] ppid=69625 vsize=342076 memory=263128 CPUtime=3212.08 cores=5,7
/proc/69630/stat : 69630 (roundingsat) R 69625 69625 68503 0 -1 4194304 48242 0 0 0 318792 2416 0 0 20 0 1 0 57297419 350285824 65782 18446744073709551615 4227072 8923433 140728290544544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28479488 140728290552146 140728290552360 140728290552360 140728290557930 0
/proc/69630/statm: 85519 65782 2496 1147 0 72946 0
Current children cumulated CPU time: 3212.08 s
Current children cumulated vsize: 346268 KiB
Current children cumulated memory: 266072 KiB
[startup+3282.3 s]
/proc/loadavg: 2.10 2.18 2.17 3/248 69901
/proc/meminfo: memFree=96601424/131382112 swapFree=33005784/33010684
[pid=69625] ppid=69616 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69625/stat : 69625 (run-opt-log.sh) S 69616 69625 68503 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 57297417 4292608 736 18446744073709551615 94318275756032 94318276650565 140721674616032 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94318276889616 94318276937360 94318298193920 140721674619169 140721674619364 140721674619364 140721674624966 0
/proc/69625/statm: 1048 736 672 219 0 110 0
[pid=69630] ppid=69625 vsize=342076 memory=263132 CPUtime=3271.9 cores=5,7
/proc/69630/stat : 69630 (roundingsat) R 69625 69625 68503 0 -1 4194304 48392 0 0 0 324737 2453 0 0 20 0 1 0 57297419 350285824 65783 18446744073709551615 4227072 8923433 140728290544544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28479488 140728290552146 140728290552360 140728290552360 140728290557930 0
/proc/69630/statm: 85519 65783 2496 1147 0 72946 0
Current children cumulated CPU time: 3271.9 s
Current children cumulated vsize: 346268 KiB
Current children cumulated memory: 266076 KiB
[startup+3342.3 s]
/proc/loadavg: 2.12 2.17 2.17 3/246 69903
/proc/meminfo: memFree=96213892/131382112 swapFree=33005784/33010684
[pid=69625] ppid=69616 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69625/stat : 69625 (run-opt-log.sh) S 69616 69625 68503 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 57297417 4292608 736 18446744073709551615 94318275756032 94318276650565 140721674616032 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94318276889616 94318276937360 94318298193920 140721674619169 140721674619364 140721674619364 140721674624966 0
/proc/69625/statm: 1048 736 672 219 0 110 0
[pid=69630] ppid=69625 vsize=342952 memory=264504 CPUtime=3331.7 cores=5,7
/proc/69630/stat : 69630 (roundingsat) R 69625 69625 68503 0 -1 4194304 48689 0 0 0 330675 2495 0 0 20 0 1 0 57297419 351182848 66126 18446744073709551615 4227072 8923433 140728290544544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28479488 140728290552146 140728290552360 140728290552360 140728290557930 0
/proc/69630/statm: 85738 66126 2496 1147 0 73165 0
Current children cumulated CPU time: 3331.7 s
Current children cumulated vsize: 347144 KiB
Current children cumulated memory: 267448 KiB
[startup+3402.3 s]
/proc/loadavg: 2.11 2.17 2.17 3/246 69905
/proc/meminfo: memFree=95913244/131382112 swapFree=33005784/33010684
[pid=69625] ppid=69616 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69625/stat : 69625 (run-opt-log.sh) S 69616 69625 68503 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 57297417 4292608 736 18446744073709551615 94318275756032 94318276650565 140721674616032 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94318276889616 94318276937360 94318298193920 140721674619169 140721674619364 140721674619364 140721674624966 0
/proc/69625/statm: 1048 736 672 219 0 110 0
[pid=69630] ppid=69625 vsize=342952 memory=272568 CPUtime=3391.52 cores=5,7
/proc/69630/stat : 69630 (roundingsat) R 69625 69625 68503 0 -1 4194304 48697 0 0 0 336626 2526 0 0 20 0 1 0 57297419 351182848 68142 18446744073709551615 4227072 8923433 140728290544544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28479488 140728290552146 140728290552360 140728290552360 140728290557930 0
/proc/69630/statm: 85738 68142 2496 1147 0 73165 0
Current children cumulated CPU time: 3391.52 s
Current children cumulated vsize: 347144 KiB
Current children cumulated memory: 275512 KiB
[startup+3462.3 s]
/proc/loadavg: 2.09 2.15 2.17 3/246 69907
/proc/meminfo: memFree=95500504/131382112 swapFree=33005784/33010684
[pid=69625] ppid=69616 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69625/stat : 69625 (run-opt-log.sh) S 69616 69625 68503 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 57297417 4292608 736 18446744073709551615 94318275756032 94318276650565 140721674616032 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94318276889616 94318276937360 94318298193920 140721674619169 140721674619364 140721674619364 140721674624966 0
/proc/69625/statm: 1048 736 672 219 0 110 0
[pid=69630] ppid=69625 vsize=342076 memory=274800 CPUtime=3451.33 cores=5,7
/proc/69630/stat : 69630 (roundingsat) R 69625 69625 68503 0 -1 4194304 48699 0 0 0 342572 2561 0 0 20 0 1 0 57297419 350285824 68700 18446744073709551615 4227072 8923433 140728290544544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28479488 140728290552146 140728290552360 140728290552360 140728290557930 0
/proc/69630/statm: 85519 68700 2496 1147 0 72946 0
Current children cumulated CPU time: 3451.33 s
Current children cumulated vsize: 346268 KiB
Current children cumulated memory: 277744 KiB
[startup+3522.3 s]
/proc/loadavg: 2.15 2.15 2.17 3/246 69909
/proc/meminfo: memFree=95116424/131382112 swapFree=33005784/33010684
[pid=69625] ppid=69616 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69625/stat : 69625 (run-opt-log.sh) S 69616 69625 68503 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 57297417 4292608 736 18446744073709551615 94318275756032 94318276650565 140721674616032 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94318276889616 94318276937360 94318298193920 140721674619169 140721674619364 140721674619364 140721674624966 0
/proc/69625/statm: 1048 736 672 219 0 110 0
[pid=69630] ppid=69625 vsize=342588 memory=275076 CPUtime=3511.16 cores=5,7
/proc/69630/stat : 69630 (roundingsat) R 69625 69625 68503 0 -1 4194304 48920 0 0 0 348525 2591 0 0 20 0 1 0 57297419 350810112 68769 18446744073709551615 4227072 8923433 140728290544544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28479488 140728290552146 140728290552360 140728290552360 140728290557930 0
/proc/69630/statm: 85647 68769 2496 1147 0 73074 0
Current children cumulated CPU time: 3511.16 s
Current children cumulated vsize: 346780 KiB
Current children cumulated memory: 278020 KiB
[startup+3582.3 s]
/proc/loadavg: 2.12 2.14 2.16 3/245 69911
/proc/meminfo: memFree=94734552/131382112 swapFree=33005784/33010684
[pid=69625] ppid=69616 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69625/stat : 69625 (run-opt-log.sh) S 69616 69625 68503 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 57297417 4292608 736 18446744073709551615 94318275756032 94318276650565 140721674616032 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94318276889616 94318276937360 94318298193920 140721674619169 140721674619364 140721674619364 140721674624966 0
/proc/69625/statm: 1048 736 672 219 0 110 0
[pid=69630] ppid=69625 vsize=343100 memory=275496 CPUtime=3570.99 cores=5,7
/proc/69630/stat : 69630 (roundingsat) R 69625 69625 68503 0 -1 4194304 49152 0 0 0 354476 2623 0 0 20 0 1 0 57297419 351334400 68874 18446744073709551615 4227072 8923433 140728290544544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28479488 140728290552146 140728290552360 140728290552360 140728290557930 0
/proc/69630/statm: 85775 68874 2496 1147 0 73202 0
Current children cumulated CPU time: 3570.99 s
Current children cumulated vsize: 347292 KiB
Current children cumulated memory: 278440 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.4 s]
/proc/loadavg: 2.08 2.13 2.16 3/247 69917
/proc/meminfo: memFree=94499980/131382112 swapFree=33005784/33010684
[pid=69625] ppid=69616 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69625/stat : 69625 (run-opt-log.sh) S 69616 69625 68503 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 57297417 4292608 736 18446744073709551615 94318275756032 94318276650565 140721674616032 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94318276889616 94318276937360 94318298193920 140721674619169 140721674619364 140721674619364 140721674624966 0
/proc/69625/statm: 1048 736 672 219 0 110 0
[pid=69630] ppid=69625 vsize=343100 memory=275496 CPUtime=3600 cores=5,7
/proc/69630/stat : 69630 (roundingsat) R 69625 69625 68503 0 -1 4194304 49166 0 0 0 357359 2641 0 0 20 0 1 0 57297419 351334400 68874 18446744073709551615 4227072 8923433 140728290544544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28479488 140728290552146 140728290552360 140728290552360 140728290557930 0
/proc/69630/statm: 85775 68874 2496 1147 0 73202 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 347292 KiB
Current children cumulated memory: 278440 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.41 s]
# the end of solver process 69625 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.005578 s
[startup+3611.42 s]
# the end of solver process 69630 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3573.59 s, system=26.4265 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3611.42
CPU time (s): 3600.02
CPU user time (s): 3573.59
CPU system time (s): 26.4265
CPU usage (%): 99.6844
Max. virtual memory (cumulated for all children) (KiB): 347292
Max. memory (cumulated for all children) (KiB): 278456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3573.59
system time used= 26.4265
maximum resident set size= 275972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49392
page faults= 0
swaps= 0
block input operations= 0
block output operations= 26548232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 988
involuntary context switches= 5051
# summary of solver processes directly reported to runsolver:
# pid: 69625,69630
# total CPU time (s): 3600.02
# total CPU user time (s): 3573.59
# total CPU system time (s): 26.4265
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.7046 second user time and 37.2344 second system time
The end
Begin job on nodeC007 at 2025-07-02 02:29:43
IDJOB=4499351
IDBENCH=148776
IDSOLVER=3351
FILE ID=nodeC007/4499351-1751416183
RUNJOBID= nodeC007-1751416183-69578
SLURM_JOB_ID= 9598307
Free space on /tmp= 432396 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx30.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4499351-1751416183/watcher-4499351-1751416183 -o /tmp/evaluation-result-4499351-1751416183/solver-4499351-1751416183 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751416183-69578 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4499351-1751416183.opb PROOFDIR/proof-4499351-1751416183
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 91ecd4a7d2e975c8e8a35b07ef7013ef
RANDOM SEED=1007478846
nodeC007 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.132
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.367
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.111
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.199
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.581
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.155
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.163
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.246
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 129529040 kB
MemAvailable: 129775260 kB
Buffers: 16 kB
Cached: 938316 kB
SwapCached: 216 kB
Active: 206328 kB
Inactive: 799428 kB
Active(anon): 31684 kB
Inactive(anon): 49232 kB
Active(file): 174644 kB
Inactive(file): 750196 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33005784 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 30796 kB
Writeback: 0 kB
AnonPages: 70264 kB
Mapped: 97900 kB
Shmem: 13492 kB
KReclaimable: 322016 kB
Slab: 409568 kB
SReclaimable: 322016 kB
SUnreclaim: 87552 kB
KernelStack: 3936 kB
PageTables: 2708 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 331784 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149256 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 12288 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 201544 kB
DirectMap2M: 10186752 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 432364 MiB
End job on nodeC007 at 2025-07-02 03:29:54