0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.07/0.14 c #variables 4977 #constraints 5569
0.07/0.14 c objective is ce32
0.07/0.14 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.07/0.14 c initial counting CF 32, 64, 128, Arb: 449 , 0 , 0 , 0
0.07/0.14 c GLOBAL bounds - >= 0 @ 0.086147
0.07/0.16 c GLOBAL bounds - >= 0 @ 0.090372
0.07/0.16 c GLOBAL bounds - >= 7 @ 0.09063
0.19/0.26 c rational objective 7
2.25/2.37 c #Conflicts: 1000 | #Constraints: 6577
2.25/2.37 c #Conflicts: 2000 | #Constraints: 7582
2.25/2.37 c INPROCESSING
2.25/2.37 c GARBAGE COLLECT
2.25/2.37 c rational objective 7
2.44/2.58 c GLOBAL bounds - >= 7 @ 2.4365
3.55/3.66 c #Conflicts: 3000 | #Constraints: 2619
3.55/3.66 c #Conflicts: 4000 | #Constraints: 3620
3.55/3.66 c INPROCESSING
3.55/3.66 c GARBAGE COLLECT
3.55/3.66 c rational objective 7
3.75/3.86 c GLOBAL bounds - >= 7 @ 3.68673
3.75/3.86 c GLOBAL bounds - >= 7 @ 3.68677
5.24/5.36 c #Conflicts: 5000 | #Constraints: 3030
5.24/5.36 c #Conflicts: 6000 | #Constraints: 4030
5.24/5.36 c INPROCESSING
5.24/5.36 c GARBAGE COLLECT
5.24/5.36 c rational objective 7
5.54/5.62 c GLOBAL bounds - >= 7 @ 5.42407
5.54/5.62 c GLOBAL bounds - >= 7 @ 5.42409
7.94/8.07 c #Conflicts: 7000 | #Constraints: 3035
7.94/8.07 c #Conflicts: 8000 | #Constraints: 4039
7.94/8.07 c #Conflicts: 9000 | #Constraints: 5040
7.94/8.07 c INPROCESSING
7.94/8.07 c GARBAGE COLLECT
7.94/8.07 c rational objective 7
8.23/8.30 c GLOBAL bounds - >= 7 @ 8.0601
8.23/8.30 c GLOBAL bounds - >= 7 @ 8.06014
9.82/10.00 c #Conflicts: 10000 | #Constraints: 3739
9.82/10.00 c #Conflicts: 11000 | #Constraints: 4743
9.82/10.00 c #Conflicts: 12000 | #Constraints: 5745
9.82/10.00 c INPROCESSING
9.82/10.00 c GARBAGE COLLECT
9.82/10.00 c rational objective 7
10.04/10.18 c GLOBAL bounds - >= 7 @ 9.90155
10.04/10.18 c GLOBAL bounds - >= 7 @ 9.9016
11.93/12.10 c #Conflicts: 13000 | #Constraints: 4194
11.93/12.10 c #Conflicts: 14000 | #Constraints: 5197
11.93/12.10 c #Conflicts: 15000 | #Constraints: 6200
11.93/12.10 c INPROCESSING
11.93/12.10 c GARBAGE COLLECT
11.93/12.10 c rational objective 7
12.22/12.39 c GLOBAL bounds - >= 7 @ 12.0677
12.22/12.39 c GLOBAL bounds - >= 7 @ 12.0677
15.11/15.26 c #Conflicts: 16000 | #Constraints: 4424
15.11/15.26 c #Conflicts: 17000 | #Constraints: 5430
15.11/15.26 c #Conflicts: 18000 | #Constraints: 6434
15.11/15.26 c INPROCESSING
15.11/15.26 c GARBAGE COLLECT
15.11/15.26 c rational objective 7
15.41/15.55 c GLOBAL bounds - >= 7 @ 15.186
15.41/15.55 c GLOBAL bounds - >= 7 @ 15.186
18.40/18.52 c #Conflicts: 19000 | #Constraints: 4446
18.40/18.52 c #Conflicts: 20000 | #Constraints: 5449
18.40/18.52 c #Conflicts: 21000 | #Constraints: 6450
18.40/18.52 c INPROCESSING
18.40/18.52 c GARBAGE COLLECT
18.40/18.52 c rational objective 7
18.60/18.77 c GLOBAL bounds - >= 7 @ 18.3448
18.60/18.77 c GLOBAL bounds - >= 7 @ 18.3449
21.49/21.60 c #Conflicts: 22000 | #Constraints: 4244
21.49/21.60 c #Conflicts: 23000 | #Constraints: 5247
21.49/21.60 c #Conflicts: 24000 | #Constraints: 6250
21.49/21.60 c #Conflicts: 25000 | #Constraints: 7252
21.49/21.60 c INPROCESSING
21.49/21.60 c GARBAGE COLLECT
21.49/21.60 c rational objective 7
21.69/21.82 c GLOBAL bounds - >= 7 @ 21.3274
21.69/21.82 c GLOBAL bounds - >= 7 @ 21.3274
25.39/25.58 c #Conflicts: 26000 | #Constraints: 4850
25.39/25.58 c #Conflicts: 27000 | #Constraints: 5852
25.39/25.58 c #Conflicts: 28000 | #Constraints: 6854
25.39/25.58 c #Conflicts: 29000 | #Constraints: 7856
25.39/25.58 c INPROCESSING
25.39/25.58 c GARBAGE COLLECT
25.39/25.58 c rational objective 7
25.58/25.75 c GLOBAL bounds - >= 7 @ 25.2044
25.58/25.75 c GLOBAL bounds - >= 7 @ 25.2044
28.89/29.06 c #Conflicts: 30000 | #Constraints: 5242
28.89/29.06 c #Conflicts: 31000 | #Constraints: 6244
28.89/29.06 c #Conflicts: 32000 | #Constraints: 7247
28.89/29.06 c #Conflicts: 33000 | #Constraints: 8252
28.89/29.06 c INPROCESSING
28.89/29.06 c GARBAGE COLLECT
28.89/29.06 c rational objective 7
29.27/29.40 c GLOBAL bounds - >= 7 @ 28.7973
29.27/29.40 c GLOBAL bounds - >= 7 @ 28.7973
32.26/32.49 c #Conflicts: 34000 | #Constraints: 5452
32.26/32.49 c #Conflicts: 35000 | #Constraints: 6457
32.26/32.49 c #Conflicts: 36000 | #Constraints: 7462
32.26/32.49 c #Conflicts: 37000 | #Constraints: 8468
32.26/32.49 c INPROCESSING
32.26/32.49 c GARBAGE COLLECT
32.26/32.49 c rational objective 7
32.57/32.70 c GLOBAL bounds - >= 7 @ 32.0361
32.57/32.70 c GLOBAL bounds - >= 7 @ 32.0361
37.15/37.36 c #Conflicts: 38000 | #Constraints: 5467
37.15/37.36 c #Conflicts: 39000 | #Constraints: 6475
37.15/37.36 c #Conflicts: 40000 | #Constraints: 7482
37.15/37.36 c #Conflicts: 41000 | #Constraints: 8487
37.15/37.36 c INPROCESSING
37.15/37.36 c GARBAGE COLLECT
37.15/37.36 c rational objective 7
37.35/37.51 c GLOBAL bounds - >= 7 @ 36.7693
37.35/37.51 c GLOBAL bounds - >= 7 @ 36.7693
42.23/42.48 c #Conflicts: 42000 | #Constraints: 5288
42.23/42.48 c #Conflicts: 43000 | #Constraints: 6292
42.23/42.48 c #Conflicts: 44000 | #Constraints: 7296
42.23/42.48 c #Conflicts: 45000 | #Constraints: 8303
42.23/42.48 c #Conflicts: 46000 | #Constraints: 9304
42.23/42.48 c INPROCESSING
42.23/42.48 c GARBAGE COLLECT
42.23/42.48 c rational objective 7
42.53/42.71 c GLOBAL bounds - >= 7 @ 41.8833
42.53/42.71 c GLOBAL bounds - >= 7 @ 41.8834
46.94/47.12 c #Conflicts: 47000 | #Constraints: 5878
46.94/47.12 c #Conflicts: 48000 | #Constraints: 6879
46.94/47.12 c #Conflicts: 49000 | #Constraints: 7882
46.94/47.12 c #Conflicts: 50000 | #Constraints: 8887
46.94/47.12 c #Conflicts: 51000 | #Constraints: 9895
46.94/47.12 c INPROCESSING
46.94/47.12 c GARBAGE COLLECT
46.94/47.12 c rational objective 7
47.02/47.27 c GLOBAL bounds - >= 7 @ 46.3902
47.02/47.27 c GLOBAL bounds - >= 7 @ 46.3902
51.31/51.54 c #Conflicts: 52000 | #Constraints: 6273
51.31/51.54 c #Conflicts: 53000 | #Constraints: 7278
51.31/51.54 c #Conflicts: 54000 | #Constraints: 8281
51.31/51.54 c #Conflicts: 55000 | #Constraints: 9283
51.31/51.54 c #Conflicts: 56000 | #Constraints: 10285
51.31/51.54 c INPROCESSING
51.31/51.54 c GARBAGE COLLECT
51.31/51.54 c rational objective 7
51.51/51.77 c GLOBAL bounds - >= 7 @ 50.8323
51.51/51.77 c GLOBAL bounds - >= 7 @ 50.8324
56.20/56.45 c #Conflicts: 57000 | #Constraints: 6472
56.20/56.45 c #Conflicts: 58000 | #Constraints: 7475
56.20/56.45 c #Conflicts: 59000 | #Constraints: 8482
56.20/56.45 c #Conflicts: 60000 | #Constraints: 9488
56.20/56.45 c #Conflicts: 61000 | #Constraints: 10489
56.20/56.45 c INPROCESSING
56.20/56.45 c GARBAGE COLLECT
56.20/56.45 c rational objective 7
56.50/56.75 c GLOBAL bounds - >= 7 @ 55.742
56.50/56.75 c GLOBAL bounds - >= 7 @ 55.742
62.37/62.66 c #Conflicts: 62000 | #Constraints: 6470
62.37/62.66 c #Conflicts: 63000 | #Constraints: 7475
62.37/62.66 c #Conflicts: 64000 | #Constraints: 8482
62.37/62.66 c #Conflicts: 65000 | #Constraints: 9485
62.37/62.66 c #Conflicts: 66000 | #Constraints: 10491
62.37/62.66 c INPROCESSING
62.37/62.66 c GARBAGE COLLECT
62.37/62.66 c rational objective 7
62.79/63.05 c GLOBAL bounds - >= 7 @ 61.9477
62.79/63.05 c GLOBAL bounds - >= 7 @ 61.9478
67.37/67.63 c #Conflicts: 67000 | #Constraints: 6266
67.37/67.63 c #Conflicts: 68000 | #Constraints: 7270
67.37/67.63 c #Conflicts: 69000 | #Constraints: 8273
67.37/67.63 c #Conflicts: 70000 | #Constraints: 9274
67.37/67.63 c #Conflicts: 71000 | #Constraints: 10278
67.37/67.63 c #Conflicts: 72000 | #Constraints: 11287
67.37/67.63 c INPROCESSING
67.37/67.63 c GARBAGE COLLECT
67.37/67.63 c rational objective 7
67.78/68.01 c GLOBAL bounds - >= 7 @ 66.8434
67.78/68.01 c GLOBAL bounds - >= 7 @ 66.8435
73.45/73.71 c #Conflicts: 73000 | #Constraints: 6861
73.45/73.71 c #Conflicts: 74000 | #Constraints: 7863
73.45/73.71 c #Conflicts: 75000 | #Constraints: 8864
73.45/73.71 c #Conflicts: 76000 | #Constraints: 9868
73.45/73.71 c #Conflicts: 77000 | #Constraints: 10871
73.45/73.71 c #Conflicts: 78000 | #Constraints: 11874
73.45/73.71 c INPROCESSING
73.45/73.71 c GARBAGE COLLECT
73.45/73.71 c rational objective 7
73.65/73.95 c GLOBAL bounds - >= 7 @ 72.7057
73.65/73.95 c GLOBAL bounds - >= 7 @ 72.7058
77.63/77.90 c #Conflicts: 79000 | #Constraints: 7259
77.63/77.90 c #Conflicts: 80000 | #Constraints: 8266
77.63/77.90 c #Conflicts: 81000 | #Constraints: 9273
77.63/77.90 c #Conflicts: 82000 | #Constraints: 10275
77.63/77.90 c #Conflicts: 83000 | #Constraints: 11277
77.63/77.90 c #Conflicts: 84000 | #Constraints: 12278
77.63/77.90 c INPROCESSING
77.63/77.90 c GARBAGE COLLECT
77.63/77.90 c rational objective 7
77.75/78.09 c GLOBAL bounds - >= 7 @ 76.7849
77.75/78.09 c GLOBAL bounds - >= 7 @ 76.785
82.73/83.09 c #Conflicts: 85000 | #Constraints: 7473
82.73/83.09 c #Conflicts: 86000 | #Constraints: 8478
82.73/83.09 c #Conflicts: 87000 | #Constraints: 9481
82.73/83.09 c #Conflicts: 88000 | #Constraints: 10485
82.73/83.09 c #Conflicts: 89000 | #Constraints: 11486
82.73/83.09 c #Conflicts: 90000 | #Constraints: 12490
82.73/83.09 c INPROCESSING
82.73/83.09 c GARBAGE COLLECT
82.73/83.09 c rational objective 7
83.12/83.45 c GLOBAL bounds - >= 7 @ 82.0738
83.12/83.45 c GLOBAL bounds - >= 7 @ 82.0739
94.00/94.37 c #Conflicts: 91000 | #Constraints: 7478
94.00/94.37 c #Conflicts: 92000 | #Constraints: 8482
94.00/94.37 c #Conflicts: 93000 | #Constraints: 9484
94.00/94.37 c #Conflicts: 94000 | #Constraints: 10486
94.00/94.37 c #Conflicts: 95000 | #Constraints: 11488
94.00/94.37 c #Conflicts: 96000 | #Constraints: 12488
94.00/94.37 c INPROCESSING
94.00/94.37 c GARBAGE COLLECT
94.00/94.37 c rational objective 7
94.59/94.98 c GLOBAL bounds - >= 7 @ 93.493
94.59/94.98 c GLOBAL bounds - >= 7 @ 93.493
107.46/107.88 c #Conflicts: 97000 | #Constraints: 7302
107.46/107.88 c #Conflicts: 98000 | #Constraints: 8307
107.46/107.88 c #Conflicts: 99000 | #Constraints: 9310
107.46/107.88 c #Conflicts: 100000 | #Constraints: 10313
107.46/107.88 c #Conflicts: 101000 | #Constraints: 11316
107.46/107.88 c #Conflicts: 102000 | #Constraints: 12320
107.46/107.88 c #Conflicts: 103000 | #Constraints: 13326
107.46/107.88 c INPROCESSING
107.46/107.88 c GARBAGE COLLECT
107.46/107.88 c rational objective 7
107.67/108.10 c GLOBAL bounds - >= 7 @ 106.394
107.67/108.10 c GLOBAL bounds - >= 7 @ 106.394
114.33/114.72 c #Conflicts: 104000 | #Constraints: 7884
114.33/114.72 c #Conflicts: 105000 | #Constraints: 8886
114.33/114.72 c #Conflicts: 106000 | #Constraints: 9890
114.33/114.72 c #Conflicts: 107000 | #Constraints: 10891
114.33/114.72 c #Conflicts: 108000 | #Constraints: 11893
114.33/114.72 c #Conflicts: 109000 | #Constraints: 12896
114.33/114.72 c #Conflicts: 110000 | #Constraints: 13901
114.33/114.72 c INPROCESSING
114.33/114.72 c GARBAGE COLLECT
114.33/114.72 c rational objective 7
114.65/115.01 c GLOBAL bounds - >= 7 @ 113.207
114.65/115.01 c GLOBAL bounds - >= 7 @ 113.207
120.42/120.80 c #Conflicts: 111000 | #Constraints: 8288
120.42/120.80 c #Conflicts: 112000 | #Constraints: 9295
120.42/120.80 c #Conflicts: 113000 | #Constraints: 10296
120.42/120.80 c #Conflicts: 114000 | #Constraints: 11298
120.42/120.80 c #Conflicts: 115000 | #Constraints: 12300
120.42/120.80 c #Conflicts: 116000 | #Constraints: 13303
120.42/120.80 c #Conflicts: 117000 | #Constraints: 14308
120.42/120.80 c INPROCESSING
120.42/120.80 c GARBAGE COLLECT
120.42/120.80 c rational objective 7
120.73/121.13 c GLOBAL bounds - >= 7 @ 119.229
120.73/121.13 c GLOBAL bounds - >= 7 @ 119.229
133.69/134.14 c #Conflicts: 118000 | #Constraints: 8479
133.69/134.14 c #Conflicts: 119000 | #Constraints: 9483
133.69/134.14 c #Conflicts: 120000 | #Constraints: 10484
133.69/134.14 c #Conflicts: 121000 | #Constraints: 11488
133.69/134.14 c #Conflicts: 122000 | #Constraints: 12493
133.69/134.14 c #Conflicts: 123000 | #Constraints: 13494
133.69/134.14 c #Conflicts: 124000 | #Constraints: 14496
133.69/134.14 c INPROCESSING
133.69/134.14 c GARBAGE COLLECT
133.69/134.14 c rational objective 7
134.08/134.51 c GLOBAL bounds - >= 7 @ 132.47
134.08/134.51 c GLOBAL bounds - >= 7 @ 132.47
141.56/142.06 c #Conflicts: 125000 | #Constraints: 8472
141.56/142.06 c #Conflicts: 126000 | #Constraints: 9478
141.56/142.06 c #Conflicts: 127000 | #Constraints: 10483
141.56/142.06 c #Conflicts: 128000 | #Constraints: 11485
141.56/142.06 c #Conflicts: 129000 | #Constraints: 12487
141.56/142.06 c #Conflicts: 130000 | #Constraints: 13492
141.56/142.06 c #Conflicts: 131000 | #Constraints: 14494
141.56/142.06 c INPROCESSING
141.56/142.06 c GARBAGE COLLECT
141.56/142.06 c rational objective 7
141.96/142.41 c GLOBAL bounds - >= 7 @ 140.276
141.96/142.41 c GLOBAL bounds - >= 7 @ 140.276
149.04/149.54 c #Conflicts: 132000 | #Constraints: 8273
149.04/149.54 c #Conflicts: 133000 | #Constraints: 9284
149.04/149.54 c #Conflicts: 134000 | #Constraints: 10286
149.04/149.54 c #Conflicts: 135000 | #Constraints: 11286
149.04/149.54 c #Conflicts: 136000 | #Constraints: 12293
149.04/149.54 c #Conflicts: 137000 | #Constraints: 13296
149.04/149.54 c #Conflicts: 138000 | #Constraints: 14301
149.04/149.54 c #Conflicts: 139000 | #Constraints: 15304
149.04/149.54 c INPROCESSING
149.04/149.54 c GARBAGE COLLECT
149.04/149.54 c rational objective 7
149.34/149.83 c GLOBAL bounds - >= 7 @ 147.584
149.34/149.83 c GLOBAL bounds - >= 7 @ 147.584
162.40/162.95 c #Conflicts: 140000 | #Constraints: 8875
162.40/162.95 c #Conflicts: 141000 | #Constraints: 9879
162.40/162.95 c #Conflicts: 142000 | #Constraints: 10883
162.40/162.95 c #Conflicts: 143000 | #Constraints: 11886
162.40/162.95 c #Conflicts: 144000 | #Constraints: 12888
162.40/162.95 c #Conflicts: 145000 | #Constraints: 13892
162.40/162.95 c #Conflicts: 146000 | #Constraints: 14897
162.40/162.95 c #Conflicts: 147000 | #Constraints: 15899
162.40/162.95 c INPROCESSING
162.40/162.95 c GARBAGE COLLECT
162.40/162.95 c rational objective 7
162.70/163.22 c GLOBAL bounds - >= 7 @ 160.822
162.70/163.22 c GLOBAL bounds - >= 7 @ 160.822
172.77/173.37 c #Conflicts: 148000 | #Constraints: 9280
172.77/173.37 c #Conflicts: 149000 | #Constraints: 10393
172.77/173.37 c #Conflicts: 150000 | #Constraints: 11393
172.77/173.37 c #Conflicts: 151000 | #Constraints: 12394
172.77/173.37 c #Conflicts: 152000 | #Constraints: 13395
172.77/173.37 c #Conflicts: 153000 | #Constraints: 14397
172.77/173.37 c #Conflicts: 154000 | #Constraints: 15399
172.77/173.37 c #Conflicts: 155000 | #Constraints: 16414
172.77/173.37 c INPROCESSING
172.77/173.37 c GARBAGE COLLECT
172.77/173.37 c rational objective 7
173.07/173.67 c GLOBAL bounds - >= 7 @ 171.097
173.07/173.67 c GLOBAL bounds - >= 7 @ 171.097
180.05/180.61 c #Conflicts: 156000 | #Constraints: 9529
180.05/180.61 c #Conflicts: 157000 | #Constraints: 10529
180.05/180.61 c #Conflicts: 158000 | #Constraints: 11531
180.05/180.61 c #Conflicts: 159000 | #Constraints: 12534
180.05/180.61 c #Conflicts: 160000 | #Constraints: 13535
180.05/180.61 c #Conflicts: 161000 | #Constraints: 14541
180.05/180.61 c #Conflicts: 162000 | #Constraints: 15544
180.05/180.61 c #Conflicts: 163000 | #Constraints: 16544
180.05/180.61 c INPROCESSING
180.05/180.61 c GARBAGE COLLECT
180.05/180.61 c rational objective 7
180.25/180.84 c GLOBAL bounds - >= 7 @ 178.155
180.25/180.84 c GLOBAL bounds - >= 7 @ 178.156
190.22/190.87 c #Conflicts: 164000 | #Constraints: 9495
190.22/190.87 c #Conflicts: 165000 | #Constraints: 10499
190.22/190.87 c #Conflicts: 166000 | #Constraints: 11508
190.22/190.87 c #Conflicts: 167000 | #Constraints: 12512
190.22/190.87 c #Conflicts: 168000 | #Constraints: 13515
190.22/190.87 c #Conflicts: 169000 | #Constraints: 14519
190.22/190.87 c #Conflicts: 170000 | #Constraints: 15522
190.22/190.87 c #Conflicts: 171000 | #Constraints: 16524
190.22/190.87 c INPROCESSING
190.22/190.87 c GARBAGE COLLECT
190.22/190.87 c rational objective 7
190.43/191.06 c GLOBAL bounds - >= 7 @ 188.237
190.43/191.06 c GLOBAL bounds - >= 7 @ 188.238
204.18/204.80 c #Conflicts: 172000 | #Constraints: 9275
204.18/204.80 c #Conflicts: 173000 | #Constraints: 10278
204.18/204.80 c #Conflicts: 174000 | #Constraints: 11281
204.18/204.80 c #Conflicts: 175000 | #Constraints: 12283
204.18/204.80 c #Conflicts: 176000 | #Constraints: 13285
204.18/204.80 c #Conflicts: 177000 | #Constraints: 14289
204.18/204.80 c #Conflicts: 178000 | #Constraints: 15293
204.18/204.80 c #Conflicts: 179000 | #Constraints: 16301
204.18/204.80 c #Conflicts: 180000 | #Constraints: 17307
204.18/204.80 c INPROCESSING
204.18/204.80 c GARBAGE COLLECT
204.18/204.80 c rational objective 7
204.39/205.02 c GLOBAL bounds - >= 7 @ 202.039
204.39/205.02 c GLOBAL bounds - >= 7 @ 202.039
216.46/217.18 c #Conflicts: 181000 | #Constraints: 9886
216.46/217.18 c #Conflicts: 182000 | #Constraints: 10886
216.46/217.18 c #Conflicts: 183000 | #Constraints: 11888
216.46/217.18 c #Conflicts: 184000 | #Constraints: 12895
216.46/217.18 c #Conflicts: 185000 | #Constraints: 13899
216.46/217.18 c #Conflicts: 186000 | #Constraints: 14902
216.46/217.18 c #Conflicts: 187000 | #Constraints: 15902
216.46/217.18 c #Conflicts: 188000 | #Constraints: 16905
216.46/217.18 c #Conflicts: 189000 | #Constraints: 17906
216.46/217.18 c INPROCESSING
216.46/217.18 c GARBAGE COLLECT
216.46/217.18 c rational objective 7
216.74/217.43 c GLOBAL bounds - >= 7 @ 214.302
216.74/217.43 c GLOBAL bounds - >= 7 @ 214.302
235.09/235.88 c #Conflicts: 190000 | #Constraints: 10304
235.09/235.88 c #Conflicts: 191000 | #Constraints: 11307
235.09/235.88 c #Conflicts: 192000 | #Constraints: 12311
235.09/235.88 c #Conflicts: 193000 | #Constraints: 13315
235.09/235.88 c #Conflicts: 194000 | #Constraints: 14322
235.09/235.88 c #Conflicts: 195000 | #Constraints: 15323
235.09/235.88 c #Conflicts: 196000 | #Constraints: 16329
235.09/235.88 c #Conflicts: 197000 | #Constraints: 17337
235.09/235.88 c #Conflicts: 198000 | #Constraints: 18343
235.09/235.88 c INPROCESSING
235.09/235.88 c GARBAGE COLLECT
235.09/235.88 c rational objective 7
235.30/236.07 c GLOBAL bounds - >= 7 @ 232.791
235.30/236.07 c GLOBAL bounds - >= 7 @ 232.791
254.25/255.09 c #Conflicts: 199000 | #Constraints: 10534
254.25/255.09 c #Conflicts: 200000 | #Constraints: 11539
254.25/255.09 c #Conflicts: 201000 | #Constraints: 12544
254.25/255.09 c #Conflicts: 202000 | #Constraints: 13548
254.25/255.09 c #Conflicts: 203000 | #Constraints: 14552
254.25/255.09 c #Conflicts: 204000 | #Constraints: 15556
254.25/255.09 c #Conflicts: 205000 | #Constraints: 16561
254.25/255.09 c #Conflicts: 206000 | #Constraints: 17566
254.25/255.09 c #Conflicts: 207000 | #Constraints: 18571
254.25/255.09 c INPROCESSING
254.25/255.09 c GARBAGE COLLECT
254.25/255.09 c rational objective 7
254.73/255.50 c GLOBAL bounds - >= 7 @ 252.037
254.73/255.50 c GLOBAL bounds - >= 7 @ 252.037
262.23/263.02 c #Conflicts: 208000 | #Constraints: 10520
262.23/263.02 c #Conflicts: 209000 | #Constraints: 11796
262.23/263.02 c #Conflicts: 210000 | #Constraints: 12918
262.23/263.02 c #Conflicts: 211000 | #Constraints: 13918
262.23/263.02 c #Conflicts: 212000 | #Constraints: 14918
262.23/263.02 c #Conflicts: 213000 | #Constraints: 15919
262.23/263.02 c #Conflicts: 214000 | #Constraints: 16920
262.23/263.02 c #Conflicts: 215000 | #Constraints: 17921
262.23/263.02 c #Conflicts: 216000 | #Constraints: 18921
262.23/263.02 c INPROCESSING
262.23/263.02 c GARBAGE COLLECT
262.23/263.02 c rational objective 7
262.51/263.39 c GLOBAL bounds - >= 7 @ 259.83
262.51/263.39 c GLOBAL bounds - >= 7 @ 259.83
286.64/287.55 c #Conflicts: 217000 | #Constraints: 10496
286.64/287.55 c #Conflicts: 218000 | #Constraints: 11501
286.64/287.55 c #Conflicts: 219000 | #Constraints: 12509
286.64/287.55 c #Conflicts: 220000 | #Constraints: 13513
286.64/287.55 c #Conflicts: 221000 | #Constraints: 14517
286.64/287.55 c #Conflicts: 222000 | #Constraints: 15525
286.64/287.55 c #Conflicts: 223000 | #Constraints: 16529
286.64/287.55 c #Conflicts: 224000 | #Constraints: 17531
286.64/287.55 c #Conflicts: 225000 | #Constraints: 18533
286.64/287.55 c #Conflicts: 226000 | #Constraints: 19539
286.64/287.55 c INPROCESSING
286.64/287.55 c GARBAGE COLLECT
286.64/287.55 c rational objective 7
286.84/287.76 c GLOBAL bounds - >= 7 @ 284.028
286.84/287.76 c GLOBAL bounds - >= 7 @ 284.028
302.00/302.98 c #Conflicts: 227000 | #Constraints: 11026
302.00/302.98 c #Conflicts: 228000 | #Constraints: 12029
302.00/302.98 c #Conflicts: 229000 | #Constraints: 13075
302.00/302.98 c #Conflicts: 230000 | #Constraints: 14079
302.00/302.98 c #Conflicts: 231000 | #Constraints: 15082
302.00/302.98 c #Conflicts: 232000 | #Constraints: 16085
302.00/302.98 c #Conflicts: 233000 | #Constraints: 17090
302.00/302.98 c #Conflicts: 234000 | #Constraints: 18098
302.00/302.98 c #Conflicts: 235000 | #Constraints: 19103
302.00/302.98 c #Conflicts: 236000 | #Constraints: 20105
302.00/302.98 c INPROCESSING
302.00/302.98 c GARBAGE COLLECT
302.00/302.98 c rational objective 7
302.21/303.13 c GLOBAL bounds - >= 7 @ 299.203
302.21/303.13 c GLOBAL bounds - >= 7 @ 299.203
316.95/317.95 c #Conflicts: 237000 | #Constraints: 11381
316.95/317.95 c #Conflicts: 238000 | #Constraints: 12382
316.95/317.95 c #Conflicts: 239000 | #Constraints: 13390
316.95/317.95 c #Conflicts: 240000 | #Constraints: 14393
316.95/317.95 c #Conflicts: 241000 | #Constraints: 15394
316.95/317.95 c #Conflicts: 242000 | #Constraints: 16398
316.95/317.95 c #Conflicts: 243000 | #Constraints: 17403
316.95/317.95 c #Conflicts: 244000 | #Constraints: 18405
316.95/317.95 c #Conflicts: 245000 | #Constraints: 19411
316.95/317.95 c #Conflicts: 246000 | #Constraints: 20412
316.95/317.95 c INPROCESSING
316.95/317.95 c GARBAGE COLLECT
316.95/317.95 c rational objective 7
317.16/318.17 c GLOBAL bounds - >= 7 @ 314.102
317.16/318.17 c GLOBAL bounds - >= 7 @ 314.102
333.21/334.23 c #Conflicts: 247000 | #Constraints: 11543
333.21/334.23 c #Conflicts: 248000 | #Constraints: 12551
333.21/334.23 c #Conflicts: 249000 | #Constraints: 13556
333.21/334.23 c #Conflicts: 250000 | #Constraints: 14564
333.21/334.23 c #Conflicts: 251000 | #Constraints: 15576
333.21/334.23 c #Conflicts: 252000 | #Constraints: 16580
333.21/334.23 c #Conflicts: 253000 | #Constraints: 17585
333.21/334.23 c #Conflicts: 254000 | #Constraints: 18591
333.21/334.23 c #Conflicts: 255000 | #Constraints: 19594
333.21/334.23 c #Conflicts: 256000 | #Constraints: 20595
333.21/334.23 c INPROCESSING
333.21/334.23 c GARBAGE COLLECT
333.21/334.23 c rational objective 7
333.41/334.46 c GLOBAL bounds - >= 7 @ 330.238
333.41/334.46 c GLOBAL bounds - >= 7 @ 330.238
347.16/348.21 c #Conflicts: 257000 | #Constraints: 11530
347.16/348.21 c #Conflicts: 258000 | #Constraints: 12534
347.16/348.21 c #Conflicts: 259000 | #Constraints: 13538
347.16/348.21 c #Conflicts: 260000 | #Constraints: 14540
347.16/348.21 c #Conflicts: 261000 | #Constraints: 15542
347.16/348.21 c #Conflicts: 262000 | #Constraints: 16544
347.16/348.21 c #Conflicts: 263000 | #Constraints: 17547
347.16/348.21 c #Conflicts: 264000 | #Constraints: 18550
347.16/348.21 c #Conflicts: 265000 | #Constraints: 19553
347.16/348.21 c #Conflicts: 266000 | #Constraints: 20556
347.16/348.21 c INPROCESSING
347.16/348.21 c GARBAGE COLLECT
347.16/348.21 c rational objective 7
347.47/348.51 c GLOBAL bounds - >= 7 @ 344.139
347.47/348.51 c GLOBAL bounds - >= 7 @ 344.139
362.52/363.64 c #Conflicts: 267000 | #Constraints: 11301
362.52/363.64 c #Conflicts: 268000 | #Constraints: 12302
362.52/363.64 c #Conflicts: 269000 | #Constraints: 13303
362.52/363.64 c #Conflicts: 270000 | #Constraints: 14307
362.52/363.64 c #Conflicts: 271000 | #Constraints: 15314
362.52/363.64 c #Conflicts: 272000 | #Constraints: 16319
362.52/363.64 c #Conflicts: 273000 | #Constraints: 17326
362.52/363.64 c #Conflicts: 274000 | #Constraints: 18334
362.52/363.64 c #Conflicts: 275000 | #Constraints: 19343
362.52/363.64 c #Conflicts: 276000 | #Constraints: 20352
362.52/363.64 c #Conflicts: 277000 | #Constraints: 21356
362.52/363.64 c INPROCESSING
362.52/363.64 c GARBAGE COLLECT
362.52/363.64 c rational objective 7
362.82/363.90 c GLOBAL bounds - >= 7 @ 359.379
362.82/363.90 c GLOBAL bounds - >= 7 @ 359.379
377.89/379.08 c #Conflicts: 278000 | #Constraints: 11905
377.89/379.08 c #Conflicts: 279000 | #Constraints: 12917
377.89/379.08 c #Conflicts: 280000 | #Constraints: 14000
377.89/379.08 c #Conflicts: 281000 | #Constraints: 15008
377.89/379.08 c #Conflicts: 282000 | #Constraints: 16062
377.89/379.08 c #Conflicts: 283000 | #Constraints: 17152
377.89/379.08 c #Conflicts: 284000 | #Constraints: 18182
377.89/379.08 c #Conflicts: 285000 | #Constraints: 19228
377.89/379.08 c #Conflicts: 286000 | #Constraints: 20466
377.89/379.08 c #Conflicts: 287000 | #Constraints: 21717
377.89/379.08 c #Conflicts: 288000 | #Constraints: 22750
377.89/379.08 c INPROCESSING
377.89/379.08 c GARBAGE COLLECT
377.89/379.08 c rational objective 7
378.48/379.64 c GLOBAL bounds - >= 7 @ 374.941
378.48/379.64 c GLOBAL bounds - >= 7 @ 374.941
395.13/396.37 c #Conflicts: 289000 | #Constraints: 12692
395.13/396.37 c #Conflicts: 290000 | #Constraints: 13695
395.13/396.37 c #Conflicts: 291000 | #Constraints: 14700
395.13/396.37 c #Conflicts: 292000 | #Constraints: 15703
395.13/396.37 c #Conflicts: 293000 | #Constraints: 16709
395.13/396.37 c #Conflicts: 294000 | #Constraints: 17717
395.13/396.37 c #Conflicts: 295000 | #Constraints: 18718
395.13/396.37 c #Conflicts: 296000 | #Constraints: 19722
395.13/396.37 c #Conflicts: 297000 | #Constraints: 20731
395.13/396.37 c #Conflicts: 298000 | #Constraints: 21737
395.13/396.37 c #Conflicts: 299000 | #Constraints: 22741
395.13/396.37 c INPROCESSING
395.13/396.37 c GARBAGE COLLECT
395.13/396.37 c rational objective 7
395.42/396.67 c GLOBAL bounds - >= 7 @ 391.81
395.42/396.67 c GLOBAL bounds - >= 7 @ 391.811
411.28/412.53 c #Conflicts: 300000 | #Constraints: 12701
411.28/412.53 c #Conflicts: 301000 | #Constraints: 13701
411.28/412.53 c #Conflicts: 302000 | #Constraints: 14702
411.28/412.53 c #Conflicts: 303000 | #Constraints: 15709
411.28/412.53 c #Conflicts: 304000 | #Constraints: 16712
411.28/412.53 c #Conflicts: 305000 | #Constraints: 17714
411.28/412.53 c #Conflicts: 306000 | #Constraints: 18717
411.28/412.53 c #Conflicts: 307000 | #Constraints: 19719
411.28/412.53 c #Conflicts: 308000 | #Constraints: 20723
411.28/412.53 c #Conflicts: 309000 | #Constraints: 21725
411.28/412.53 c #Conflicts: 310000 | #Constraints: 22731
411.28/412.53 c INPROCESSING
411.28/412.53 c GARBAGE COLLECT
411.28/412.53 c rational objective 7
411.48/412.79 c GLOBAL bounds - >= 7 @ 407.738
411.48/412.79 c GLOBAL bounds - >= 7 @ 407.738
437.90/439.23 c #Conflicts: 311000 | #Constraints: 12592
437.90/439.23 c #Conflicts: 312000 | #Constraints: 13595
437.90/439.23 c #Conflicts: 313000 | #Constraints: 14599
437.90/439.23 c #Conflicts: 314000 | #Constraints: 15605
437.90/439.23 c #Conflicts: 315000 | #Constraints: 16607
437.90/439.23 c #Conflicts: 316000 | #Constraints: 17608
437.90/439.23 c #Conflicts: 317000 | #Constraints: 18609
437.90/439.23 c #Conflicts: 318000 | #Constraints: 19611
437.90/439.23 c #Conflicts: 319000 | #Constraints: 20611
437.90/439.23 c #Conflicts: 320000 | #Constraints: 21612
437.90/439.23 c #Conflicts: 321000 | #Constraints: 22616
437.90/439.23 c INPROCESSING
437.90/439.23 c GARBAGE COLLECT
437.90/439.23 c rational objective 7
438.10/439.42 c GLOBAL bounds - >= 7 @ 434.171
438.10/439.42 c GLOBAL bounds - >= 7 @ 434.171
453.06/454.47 c #Conflicts: 322000 | #Constraints: 12348
453.06/454.47 c #Conflicts: 323000 | #Constraints: 13349
453.06/454.47 c #Conflicts: 324000 | #Constraints: 14350
453.06/454.47 c #Conflicts: 325000 | #Constraints: 15353
453.06/454.47 c #Conflicts: 326000 | #Constraints: 16356
453.06/454.47 c #Conflicts: 327000 | #Constraints: 17359
453.06/454.47 c #Conflicts: 328000 | #Constraints: 18362
453.06/454.47 c #Conflicts: 329000 | #Constraints: 19364
453.06/454.47 c #Conflicts: 330000 | #Constraints: 20366
453.06/454.47 c #Conflicts: 331000 | #Constraints: 21368
453.06/454.47 c #Conflicts: 332000 | #Constraints: 22369
453.06/454.47 c #Conflicts: 333000 | #Constraints: 23373
453.06/454.47 c INPROCESSING
453.06/454.47 c GARBAGE COLLECT
453.06/454.47 c rational objective 7
453.47/454.88 c GLOBAL bounds - >= 7 @ 449.475
453.47/454.88 c GLOBAL bounds - >= 7 @ 449.475
470.63/472.06 c #Conflicts: 334000 | #Constraints: 12949
470.63/472.06 c #Conflicts: 335000 | #Constraints: 13953
470.63/472.06 c #Conflicts: 336000 | #Constraints: 14955
470.63/472.06 c #Conflicts: 337000 | #Constraints: 15957
470.63/472.06 c #Conflicts: 338000 | #Constraints: 16960
470.63/472.06 c #Conflicts: 339000 | #Constraints: 17962
470.63/472.06 c #Conflicts: 340000 | #Constraints: 18965
470.63/472.06 c #Conflicts: 341000 | #Constraints: 19969
470.63/472.06 c #Conflicts: 342000 | #Constraints: 20973
470.63/472.06 c #Conflicts: 343000 | #Constraints: 21977
470.63/472.06 c #Conflicts: 344000 | #Constraints: 22981
470.63/472.06 c #Conflicts: 345000 | #Constraints: 23984
470.63/472.06 c INPROCESSING
470.63/472.06 c GARBAGE COLLECT
470.63/472.06 c rational objective 7
470.81/472.29 c GLOBAL bounds - >= 7 @ 466.679
470.81/472.29 c GLOBAL bounds - >= 7 @ 466.679
490.06/491.57 c #Conflicts: 346000 | #Constraints: 13309
490.06/491.57 c #Conflicts: 347000 | #Constraints: 14312
490.06/491.57 c #Conflicts: 348000 | #Constraints: 15317
490.06/491.57 c #Conflicts: 349000 | #Constraints: 16324
490.06/491.57 c #Conflicts: 350000 | #Constraints: 17328
490.06/491.57 c #Conflicts: 351000 | #Constraints: 18330
490.06/491.57 c #Conflicts: 352000 | #Constraints: 19332
490.06/491.57 c #Conflicts: 353000 | #Constraints: 20337
490.06/491.57 c #Conflicts: 354000 | #Constraints: 21342
490.06/491.57 c #Conflicts: 355000 | #Constraints: 22344
490.06/491.57 c #Conflicts: 356000 | #Constraints: 23347
490.06/491.57 c #Conflicts: 357000 | #Constraints: 24348
490.06/491.57 c INPROCESSING
490.06/491.57 c GARBAGE COLLECT
490.06/491.57 c rational objective 7
490.35/491.88 c GLOBAL bounds - >= 7 @ 486.076
490.35/491.88 c GLOBAL bounds - >= 7 @ 486.076
511.80/513.34 c #Conflicts: 358000 | #Constraints: 13496
511.80/513.34 c #Conflicts: 359000 | #Constraints: 14499
511.80/513.34 c #Conflicts: 360000 | #Constraints: 15503
511.80/513.34 c #Conflicts: 361000 | #Constraints: 16508
511.80/513.34 c #Conflicts: 362000 | #Constraints: 17516
511.80/513.34 c #Conflicts: 363000 | #Constraints: 18519
511.80/513.34 c #Conflicts: 364000 | #Constraints: 19522
511.80/513.34 c #Conflicts: 365000 | #Constraints: 20525
511.80/513.34 c #Conflicts: 366000 | #Constraints: 21528
511.80/513.34 c #Conflicts: 367000 | #Constraints: 22534
511.80/513.34 c #Conflicts: 368000 | #Constraints: 23540
511.80/513.34 c #Conflicts: 369000 | #Constraints: 24543
511.80/513.34 c INPROCESSING
511.80/513.34 c GARBAGE COLLECT
511.80/513.34 c rational objective 7
512.10/513.67 c GLOBAL bounds - >= 7 @ 507.652
512.10/513.67 c GLOBAL bounds - >= 7 @ 507.652
551.19/552.89 c #Conflicts: 370000 | #Constraints: 13495
551.19/552.89 c #Conflicts: 371000 | #Constraints: 14502
551.19/552.89 c #Conflicts: 372000 | #Constraints: 15515
551.19/552.89 c #Conflicts: 373000 | #Constraints: 16519
551.19/552.89 c #Conflicts: 374000 | #Constraints: 17527
551.19/552.89 c #Conflicts: 375000 | #Constraints: 18532
551.19/552.89 c #Conflicts: 376000 | #Constraints: 19536
551.19/552.89 c #Conflicts: 377000 | #Constraints: 20541
551.19/552.89 c #Conflicts: 378000 | #Constraints: 21547
551.19/552.89 c #Conflicts: 379000 | #Constraints: 22553
551.19/552.89 c #Conflicts: 380000 | #Constraints: 23556
551.19/552.89 c #Conflicts: 381000 | #Constraints: 24557
551.19/552.89 c INPROCESSING
551.19/552.89 c GARBAGE COLLECT
551.19/552.89 c rational objective 7
551.59/553.22 c GLOBAL bounds - >= 7 @ 546.866
551.59/553.22 c GLOBAL bounds - >= 7 @ 546.866
569.14/570.87 c #Conflicts: 382000 | #Constraints: 13305
569.14/570.87 c #Conflicts: 383000 | #Constraints: 14309
569.14/570.87 c #Conflicts: 384000 | #Constraints: 15312
569.14/570.87 c #Conflicts: 385000 | #Constraints: 16314
569.14/570.87 c #Conflicts: 386000 | #Constraints: 17315
569.14/570.87 c #Conflicts: 387000 | #Constraints: 18321
569.14/570.87 c #Conflicts: 388000 | #Constraints: 19322
569.14/570.87 c #Conflicts: 389000 | #Constraints: 20322
569.14/570.87 c #Conflicts: 390000 | #Constraints: 21326
569.14/570.87 c #Conflicts: 391000 | #Constraints: 22331
569.14/570.87 c #Conflicts: 392000 | #Constraints: 23334
569.14/570.87 c #Conflicts: 393000 | #Constraints: 24338
569.14/570.87 c #Conflicts: 394000 | #Constraints: 25341
569.14/570.87 c INPROCESSING
569.14/570.87 c GARBAGE COLLECT
569.14/570.87 c rational objective 7
569.45/571.12 c GLOBAL bounds - >= 7 @ 564.544
569.45/571.12 c GLOBAL bounds - >= 7 @ 564.544
593.66/595.40 c #Conflicts: 395000 | #Constraints: 13901
593.66/595.40 c #Conflicts: 396000 | #Constraints: 14906
593.66/595.40 c #Conflicts: 397000 | #Constraints: 15912
593.66/595.40 c #Conflicts: 398000 | #Constraints: 16916
593.66/595.40 c #Conflicts: 399000 | #Constraints: 17919
593.66/595.40 c #Conflicts: 400000 | #Constraints: 18924
593.66/595.40 c #Conflicts: 401000 | #Constraints: 19931
593.66/595.40 c #Conflicts: 402000 | #Constraints: 20934
593.66/595.40 c #Conflicts: 403000 | #Constraints: 21939
593.66/595.40 c #Conflicts: 404000 | #Constraints: 22943
593.66/595.40 c #Conflicts: 405000 | #Constraints: 23950
593.66/595.40 c #Conflicts: 406000 | #Constraints: 24952
593.66/595.40 c #Conflicts: 407000 | #Constraints: 25954
593.66/595.40 c INPROCESSING
593.66/595.40 c GARBAGE COLLECT
593.66/595.40 c rational objective 7
593.96/595.70 c GLOBAL bounds - >= 7 @ 588.88
593.96/595.70 c GLOBAL bounds - >= 7 @ 588.88
612.72/614.51 c #Conflicts: 408000 | #Constraints: 14302
612.72/614.51 c #Conflicts: 409000 | #Constraints: 15305
612.72/614.51 c #Conflicts: 410000 | #Constraints: 16310
612.72/614.51 c #Conflicts: 411000 | #Constraints: 17316
612.72/614.51 c #Conflicts: 412000 | #Constraints: 18318
612.72/614.51 c #Conflicts: 413000 | #Constraints: 19320
612.72/614.51 c #Conflicts: 414000 | #Constraints: 20322
612.72/614.51 c #Conflicts: 415000 | #Constraints: 21324
612.72/614.51 c #Conflicts: 416000 | #Constraints: 22326
612.72/614.51 c #Conflicts: 417000 | #Constraints: 23329
612.72/614.51 c #Conflicts: 418000 | #Constraints: 24336
612.72/614.51 c #Conflicts: 419000 | #Constraints: 25346
612.72/614.51 c #Conflicts: 420000 | #Constraints: 26351
612.72/614.51 c INPROCESSING
612.72/614.51 c GARBAGE COLLECT
612.72/614.51 c rational objective 7
612.92/614.77 c GLOBAL bounds - >= 7 @ 607.762
612.92/614.77 c GLOBAL bounds - >= 7 @ 607.762
639.16/641.09 c #Conflicts: 421000 | #Constraints: 14519
639.16/641.09 c #Conflicts: 422000 | #Constraints: 15523
639.16/641.09 c #Conflicts: 423000 | #Constraints: 16524
639.16/641.09 c #Conflicts: 424000 | #Constraints: 17531
639.16/641.09 c #Conflicts: 425000 | #Constraints: 18534
639.16/641.09 c #Conflicts: 426000 | #Constraints: 19538
639.16/641.09 c #Conflicts: 427000 | #Constraints: 20538
639.16/641.09 c #Conflicts: 428000 | #Constraints: 21540
639.16/641.09 c #Conflicts: 429000 | #Constraints: 22542
639.16/641.09 c #Conflicts: 430000 | #Constraints: 23544
639.16/641.09 c #Conflicts: 431000 | #Constraints: 24545
639.16/641.09 c #Conflicts: 432000 | #Constraints: 25546
639.16/641.09 c #Conflicts: 433000 | #Constraints: 26547
639.16/641.09 c INPROCESSING
639.16/641.09 c GARBAGE COLLECT
639.16/641.09 c rational objective 7
639.54/641.40 c GLOBAL bounds - >= 7 @ 634.155
639.54/641.40 c GLOBAL bounds - >= 7 @ 634.155
666.56/668.59 c #Conflicts: 434000 | #Constraints: 14550
666.56/668.59 c #Conflicts: 435000 | #Constraints: 15555
666.56/668.59 c #Conflicts: 436000 | #Constraints: 16560
666.56/668.59 c #Conflicts: 437000 | #Constraints: 17561
666.56/668.59 c #Conflicts: 438000 | #Constraints: 18565
666.56/668.59 c #Conflicts: 439000 | #Constraints: 19570
666.56/668.59 c #Conflicts: 440000 | #Constraints: 20573
666.56/668.59 c #Conflicts: 441000 | #Constraints: 21578
666.56/668.59 c #Conflicts: 442000 | #Constraints: 22581
666.56/668.59 c #Conflicts: 443000 | #Constraints: 23582
666.56/668.59 c #Conflicts: 444000 | #Constraints: 24587
666.56/668.59 c #Conflicts: 445000 | #Constraints: 25593
666.56/668.59 c #Conflicts: 446000 | #Constraints: 26595
666.56/668.59 c INPROCESSING
666.56/668.59 c GARBAGE COLLECT
666.56/668.59 c rational objective 7
666.76/668.78 c GLOBAL bounds - >= 7 @ 661.244
666.76/668.78 c GLOBAL bounds - >= 7 @ 661.244
705.15/707.21 c #Conflicts: 447000 | #Constraints: 14366
705.15/707.21 c #Conflicts: 448000 | #Constraints: 15370
705.15/707.21 c #Conflicts: 449000 | #Constraints: 16374
705.15/707.21 c #Conflicts: 450000 | #Constraints: 17378
705.15/707.21 c #Conflicts: 451000 | #Constraints: 18383
705.15/707.21 c #Conflicts: 452000 | #Constraints: 19389
705.15/707.21 c #Conflicts: 453000 | #Constraints: 20395
705.15/707.21 c #Conflicts: 454000 | #Constraints: 21397
705.15/707.21 c #Conflicts: 455000 | #Constraints: 22400
705.15/707.21 c #Conflicts: 456000 | #Constraints: 23402
705.15/707.21 c #Conflicts: 457000 | #Constraints: 24405
705.15/707.21 c #Conflicts: 458000 | #Constraints: 25409
705.15/707.21 c #Conflicts: 459000 | #Constraints: 26412
705.15/707.21 c #Conflicts: 460000 | #Constraints: 27416
705.15/707.21 c INPROCESSING
705.15/707.21 c GARBAGE COLLECT
705.15/707.21 c rational objective 7
705.75/707.81 c GLOBAL bounds - >= 7 @ 699.846
705.75/707.81 c GLOBAL bounds - >= 7 @ 699.846
757.41/759.64 c #Conflicts: 461000 | #Constraints: 14945
757.41/759.64 c #Conflicts: 462000 | #Constraints: 15947
757.41/759.64 c #Conflicts: 463000 | #Constraints: 16947
757.41/759.64 c #Conflicts: 464000 | #Constraints: 17949
757.41/759.64 c #Conflicts: 465000 | #Constraints: 18951
757.41/759.64 c #Conflicts: 466000 | #Constraints: 19960
757.41/759.64 c #Conflicts: 467000 | #Constraints: 20967
757.41/759.64 c #Conflicts: 468000 | #Constraints: 21975
757.41/759.64 c #Conflicts: 469000 | #Constraints: 22981
757.41/759.64 c #Conflicts: 470000 | #Constraints: 23986
757.41/759.64 c #Conflicts: 471000 | #Constraints: 24995
757.41/759.64 c #Conflicts: 472000 | #Constraints: 26005
757.41/759.64 c #Conflicts: 473000 | #Constraints: 27005
757.41/759.64 c #Conflicts: 474000 | #Constraints: 28010
757.41/759.64 c INPROCESSING
757.41/759.64 c GARBAGE COLLECT
757.41/759.64 c rational objective 7
757.71/760.00 c GLOBAL bounds - >= 7 @ 751.682
757.71/760.00 c GLOBAL bounds - >= 7 @ 751.682
780.53/782.85 c #Conflicts: 475000 | #Constraints: 15356
780.53/782.85 c #Conflicts: 476000 | #Constraints: 16365
780.53/782.85 c #Conflicts: 477000 | #Constraints: 17386
780.53/782.85 c #Conflicts: 478000 | #Constraints: 18403
780.53/782.85 c #Conflicts: 479000 | #Constraints: 19428
780.53/782.85 c #Conflicts: 480000 | #Constraints: 20441
780.53/782.85 c #Conflicts: 481000 | #Constraints: 21453
780.53/782.85 c #Conflicts: 482000 | #Constraints: 22458
780.53/782.85 c #Conflicts: 483000 | #Constraints: 23491
780.53/782.85 c #Conflicts: 484000 | #Constraints: 24491
780.53/782.85 c #Conflicts: 485000 | #Constraints: 25656
780.53/782.85 c #Conflicts: 486000 | #Constraints: 26660
780.53/782.85 c #Conflicts: 487000 | #Constraints: 27707
780.53/782.85 c #Conflicts: 488000 | #Constraints: 28707
780.53/782.85 c INPROCESSING
780.53/782.85 c GARBAGE COLLECT
780.53/782.85 c rational objective 7
781.03/783.31 c GLOBAL bounds - >= 7 @ 774.752
781.03/783.31 c GLOBAL bounds - >= 7 @ 774.752
807.16/809.52 c #Conflicts: 489000 | #Constraints: 15709
807.16/809.52 c #Conflicts: 490000 | #Constraints: 16710
807.16/809.52 c #Conflicts: 491000 | #Constraints: 17710
807.16/809.52 c #Conflicts: 492000 | #Constraints: 18711
807.16/809.52 c #Conflicts: 493000 | #Constraints: 19712
807.16/809.52 c #Conflicts: 494000 | #Constraints: 20713
807.16/809.52 c #Conflicts: 495000 | #Constraints: 21715
807.16/809.52 c #Conflicts: 496000 | #Constraints: 22715
807.16/809.52 c #Conflicts: 497000 | #Constraints: 23715
807.16/809.52 c #Conflicts: 498000 | #Constraints: 24715
807.16/809.52 c #Conflicts: 499000 | #Constraints: 25717
807.16/809.52 c #Conflicts: 500000 | #Constraints: 26717
807.16/809.52 c #Conflicts: 501000 | #Constraints: 27717
807.16/809.52 c #Conflicts: 502000 | #Constraints: 28718
807.16/809.52 c INPROCESSING
807.16/809.52 c GARBAGE COLLECT
807.16/809.52 c rational objective 7
807.56/809.92 c GLOBAL bounds - >= 7 @ 801.172
807.56/809.92 c GLOBAL bounds - >= 7 @ 801.172
846.95/849.40 c #Conflicts: 503000 | #Constraints: 15591
846.95/849.40 c #Conflicts: 504000 | #Constraints: 16594
846.95/849.40 c #Conflicts: 505000 | #Constraints: 17596
846.95/849.40 c #Conflicts: 506000 | #Constraints: 18599
846.95/849.40 c #Conflicts: 507000 | #Constraints: 19602
846.95/849.40 c #Conflicts: 508000 | #Constraints: 20604
846.95/849.40 c #Conflicts: 509000 | #Constraints: 21607
846.95/849.40 c #Conflicts: 510000 | #Constraints: 22612
846.95/849.40 c #Conflicts: 511000 | #Constraints: 23616
846.95/849.40 c #Conflicts: 512000 | #Constraints: 24619
846.95/849.40 c #Conflicts: 513000 | #Constraints: 25622
846.95/849.40 c #Conflicts: 514000 | #Constraints: 26627
846.95/849.40 c #Conflicts: 515000 | #Constraints: 27629
846.95/849.40 c #Conflicts: 516000 | #Constraints: 28634
846.95/849.40 c INPROCESSING
846.95/849.40 c GARBAGE COLLECT
846.95/849.40 c rational objective 7
847.25/849.73 c GLOBAL bounds - >= 7 @ 840.617
847.25/849.73 c GLOBAL bounds - >= 7 @ 840.617
866.40/868.99 c #Conflicts: 517000 | #Constraints: 15340
866.40/868.99 c #Conflicts: 518000 | #Constraints: 16342
866.40/868.99 c #Conflicts: 519000 | #Constraints: 17345
866.40/868.99 c #Conflicts: 520000 | #Constraints: 18346
866.40/868.99 c #Conflicts: 521000 | #Constraints: 19349
866.40/868.99 c #Conflicts: 522000 | #Constraints: 20350
866.40/868.99 c #Conflicts: 523000 | #Constraints: 21353
866.40/868.99 c #Conflicts: 524000 | #Constraints: 22361
866.40/868.99 c #Conflicts: 525000 | #Constraints: 23363
866.40/868.99 c #Conflicts: 526000 | #Constraints: 24364
866.40/868.99 c #Conflicts: 527000 | #Constraints: 25365
866.40/868.99 c #Conflicts: 528000 | #Constraints: 26369
866.40/868.99 c #Conflicts: 529000 | #Constraints: 27371
866.40/868.99 c #Conflicts: 530000 | #Constraints: 28372
866.40/868.99 c #Conflicts: 531000 | #Constraints: 29375
866.40/868.99 c INPROCESSING
866.40/868.99 c GARBAGE COLLECT
866.40/868.99 c rational objective 7
866.70/869.26 c GLOBAL bounds - >= 7 @ 859.966
866.70/869.26 c GLOBAL bounds - >= 7 @ 859.966
897.21/899.82 c #Conflicts: 532000 | #Constraints: 15914
897.21/899.82 c #Conflicts: 533000 | #Constraints: 16919
897.21/899.82 c #Conflicts: 534000 | #Constraints: 17922
897.21/899.82 c #Conflicts: 535000 | #Constraints: 18926
897.21/899.82 c #Conflicts: 536000 | #Constraints: 19929
897.21/899.82 c #Conflicts: 537000 | #Constraints: 20933
897.21/899.82 c #Conflicts: 538000 | #Constraints: 21936
897.21/899.82 c #Conflicts: 539000 | #Constraints: 22945
897.21/899.82 c #Conflicts: 540000 | #Constraints: 23952
897.21/899.82 c #Conflicts: 541000 | #Constraints: 24952
897.21/899.82 c #Conflicts: 542000 | #Constraints: 25957
897.21/899.82 c #Conflicts: 543000 | #Constraints: 26961
897.21/899.82 c #Conflicts: 544000 | #Constraints: 27964
897.21/899.82 c #Conflicts: 545000 | #Constraints: 28967
897.21/899.82 c #Conflicts: 546000 | #Constraints: 29969
897.21/899.82 c INPROCESSING
897.21/899.82 c GARBAGE COLLECT
897.21/899.82 c rational objective 7
897.43/900.05 c GLOBAL bounds - >= 7 @ 890.483
897.43/900.05 c GLOBAL bounds - >= 7 @ 890.483
963.82/966.62 c #Conflicts: 547000 | #Constraints: 16311
963.82/966.62 c #Conflicts: 548000 | #Constraints: 17314
963.82/966.62 c #Conflicts: 549000 | #Constraints: 18315
963.82/966.62 c #Conflicts: 550000 | #Constraints: 19316
963.82/966.62 c #Conflicts: 551000 | #Constraints: 20320
963.82/966.62 c #Conflicts: 552000 | #Constraints: 21322
963.82/966.62 c #Conflicts: 553000 | #Constraints: 22323
963.82/966.62 c #Conflicts: 554000 | #Constraints: 23326
963.82/966.62 c #Conflicts: 555000 | #Constraints: 24329
963.82/966.62 c #Conflicts: 556000 | #Constraints: 25332
963.82/966.62 c #Conflicts: 557000 | #Constraints: 26334
963.82/966.62 c #Conflicts: 558000 | #Constraints: 27338
963.82/966.62 c #Conflicts: 559000 | #Constraints: 28343
963.82/966.62 c #Conflicts: 560000 | #Constraints: 29345
963.82/966.62 c #Conflicts: 561000 | #Constraints: 30352
963.82/966.62 c INPROCESSING
963.82/966.62 c GARBAGE COLLECT
963.82/966.62 c rational objective 7
964.12/966.92 c GLOBAL bounds - >= 7 @ 956.863
964.12/966.92 c GLOBAL bounds - >= 7 @ 956.863
986.36/989.22 c #Conflicts: 562000 | #Constraints: 16502
986.36/989.22 c #Conflicts: 563000 | #Constraints: 17504
986.36/989.22 c #Conflicts: 564000 | #Constraints: 18511
986.36/989.22 c #Conflicts: 565000 | #Constraints: 19523
986.36/989.22 c #Conflicts: 566000 | #Constraints: 20528
986.36/989.22 c #Conflicts: 567000 | #Constraints: 21531
986.36/989.22 c #Conflicts: 568000 | #Constraints: 22538
986.36/989.22 c #Conflicts: 569000 | #Constraints: 23550
986.36/989.22 c #Conflicts: 570000 | #Constraints: 24551
986.36/989.22 c #Conflicts: 571000 | #Constraints: 25552
986.36/989.22 c #Conflicts: 572000 | #Constraints: 26554
986.36/989.22 c #Conflicts: 573000 | #Constraints: 27555
986.36/989.22 c #Conflicts: 574000 | #Constraints: 28557
986.36/989.22 c #Conflicts: 575000 | #Constraints: 29561
986.36/989.22 c #Conflicts: 576000 | #Constraints: 30563
986.36/989.22 c INPROCESSING
986.36/989.22 c GARBAGE COLLECT
986.36/989.22 c rational objective 7
986.76/989.61 c GLOBAL bounds - >= 7 @ 979.353
986.76/989.61 c GLOBAL bounds - >= 7 @ 979.353
1019.96/1023.00 c #Conflicts: 577000 | #Constraints: 16519
1019.96/1023.00 c #Conflicts: 578000 | #Constraints: 17523
1019.96/1023.00 c #Conflicts: 579000 | #Constraints: 18525
1019.96/1023.00 c #Conflicts: 580000 | #Constraints: 19528
1019.96/1023.00 c #Conflicts: 581000 | #Constraints: 20531
1019.96/1023.00 c #Conflicts: 582000 | #Constraints: 21532
1019.96/1023.00 c #Conflicts: 583000 | #Constraints: 22535
1019.96/1023.00 c #Conflicts: 584000 | #Constraints: 23538
1019.96/1023.00 c #Conflicts: 585000 | #Constraints: 24544
1019.96/1023.00 c #Conflicts: 586000 | #Constraints: 25550
1019.96/1023.00 c #Conflicts: 587000 | #Constraints: 26551
1019.96/1023.00 c #Conflicts: 588000 | #Constraints: 27552
1019.96/1023.00 c #Conflicts: 589000 | #Constraints: 28553
1019.96/1023.00 c #Conflicts: 590000 | #Constraints: 29556
1019.96/1023.00 c #Conflicts: 591000 | #Constraints: 30557
1019.96/1023.00 c INPROCESSING
1019.96/1023.00 c GARBAGE COLLECT
1019.96/1023.00 c rational objective 7
1020.25/1023.28 c GLOBAL bounds - >= 7 @ 1012.75
1020.25/1023.28 c GLOBAL bounds - >= 7 @ 1012.75
1071.71/1074.83 c #Conflicts: 592000 | #Constraints: 16312
1071.71/1074.83 c #Conflicts: 593000 | #Constraints: 17314
1071.71/1074.83 c #Conflicts: 594000 | #Constraints: 18322
1071.71/1074.83 c #Conflicts: 595000 | #Constraints: 19329
1071.71/1074.83 c #Conflicts: 596000 | #Constraints: 20336
1071.71/1074.83 c #Conflicts: 597000 | #Constraints: 21340
1071.71/1074.83 c #Conflicts: 598000 | #Constraints: 22343
1071.71/1074.83 c #Conflicts: 599000 | #Constraints: 23345
1071.71/1074.83 c #Conflicts: 600000 | #Constraints: 24348
1071.71/1074.83 c #Conflicts: 601000 | #Constraints: 25350
1071.71/1074.83 c #Conflicts: 602000 | #Constraints: 26352
1071.71/1074.83 c #Conflicts: 603000 | #Constraints: 27356
1071.71/1074.83 c #Conflicts: 604000 | #Constraints: 28357
1071.71/1074.83 c #Conflicts: 605000 | #Constraints: 29359
1071.71/1074.83 c #Conflicts: 606000 | #Constraints: 30361
1071.71/1074.83 c #Conflicts: 607000 | #Constraints: 31361
1071.71/1074.83 c INPROCESSING
1071.71/1074.83 c GARBAGE COLLECT
1071.71/1074.83 c rational objective 7
1071.92/1075.10 c GLOBAL bounds - >= 7 @ 1064.27
1071.92/1075.10 c GLOBAL bounds - >= 7 @ 1064.27
1110.50/1113.80 c #Conflicts: 608000 | #Constraints: 16912
1110.50/1113.80 c #Conflicts: 609000 | #Constraints: 17914
1110.50/1113.80 c #Conflicts: 610000 | #Constraints: 18922
1110.50/1113.80 c #Conflicts: 611000 | #Constraints: 19930
1110.50/1113.80 c #Conflicts: 612000 | #Constraints: 20932
1110.50/1113.80 c #Conflicts: 613000 | #Constraints: 21935
1110.50/1113.80 c #Conflicts: 614000 | #Constraints: 22937
1110.50/1113.80 c #Conflicts: 615000 | #Constraints: 23940
1110.50/1113.80 c #Conflicts: 616000 | #Constraints: 24944
1110.50/1113.80 c #Conflicts: 617000 | #Constraints: 25947
1110.50/1113.80 c #Conflicts: 618000 | #Constraints: 26948
1110.50/1113.80 c #Conflicts: 619000 | #Constraints: 27952
1110.50/1113.80 c #Conflicts: 620000 | #Constraints: 28955
1110.50/1113.80 c #Conflicts: 621000 | #Constraints: 29960
1110.50/1113.80 c #Conflicts: 622000 | #Constraints: 30962
1110.50/1113.80 c #Conflicts: 623000 | #Constraints: 31966
1110.50/1113.80 c INPROCESSING
1110.50/1113.80 c GARBAGE COLLECT
1110.50/1113.80 c rational objective 7
1110.81/1114.10 c GLOBAL bounds - >= 7 @ 1103
1110.81/1114.10 c GLOBAL bounds - >= 7 @ 1103
1141.62/1144.98 c #Conflicts: 624000 | #Constraints: 17322
1141.62/1144.98 c #Conflicts: 625000 | #Constraints: 18324
1141.62/1144.98 c #Conflicts: 626000 | #Constraints: 19325
1141.62/1144.98 c #Conflicts: 627000 | #Constraints: 20328
1141.62/1144.98 c #Conflicts: 628000 | #Constraints: 21330
1141.62/1144.98 c #Conflicts: 629000 | #Constraints: 22333
1141.62/1144.98 c #Conflicts: 630000 | #Constraints: 23337
1141.62/1144.98 c #Conflicts: 631000 | #Constraints: 24342
1141.62/1144.98 c #Conflicts: 632000 | #Constraints: 25349
1141.62/1144.98 c #Conflicts: 633000 | #Constraints: 26355
1141.62/1144.98 c #Conflicts: 634000 | #Constraints: 27359
1141.62/1144.98 c #Conflicts: 635000 | #Constraints: 28364
1141.62/1144.98 c #Conflicts: 636000 | #Constraints: 29364
1141.62/1144.98 c #Conflicts: 637000 | #Constraints: 30365
1141.62/1144.98 c #Conflicts: 638000 | #Constraints: 31373
1141.62/1144.98 c #Conflicts: 639000 | #Constraints: 32376
1141.62/1144.98 c INPROCESSING
1141.62/1144.98 c GARBAGE COLLECT
1141.62/1144.98 c rational objective 7
1142.02/1145.30 c GLOBAL bounds - >= 7 @ 1133.93
1142.02/1145.30 c GLOBAL bounds - >= 7 @ 1133.93
1173.02/1176.43 c #Conflicts: 640000 | #Constraints: 17508
1173.02/1176.43 c #Conflicts: 641000 | #Constraints: 18515
1173.02/1176.43 c #Conflicts: 642000 | #Constraints: 19517
1173.02/1176.43 c #Conflicts: 643000 | #Constraints: 20521
1173.02/1176.43 c #Conflicts: 644000 | #Constraints: 21523
1173.02/1176.43 c #Conflicts: 645000 | #Constraints: 22528
1173.02/1176.43 c #Conflicts: 646000 | #Constraints: 23530
1173.02/1176.43 c #Conflicts: 647000 | #Constraints: 24534
1173.02/1176.43 c #Conflicts: 648000 | #Constraints: 25536
1173.02/1176.43 c #Conflicts: 649000 | #Constraints: 26540
1173.02/1176.43 c #Conflicts: 650000 | #Constraints: 27551
1173.02/1176.43 c #Conflicts: 651000 | #Constraints: 28570
1173.02/1176.43 c #Conflicts: 652000 | #Constraints: 29576
1173.02/1176.43 c #Conflicts: 653000 | #Constraints: 30590
1173.02/1176.43 c #Conflicts: 654000 | #Constraints: 31601
1173.02/1176.43 c #Conflicts: 655000 | #Constraints: 32607
1173.02/1176.43 c INPROCESSING
1173.02/1176.43 c GARBAGE COLLECT
1173.02/1176.43 c rational objective 7
1173.22/1176.65 c GLOBAL bounds - >= 7 @ 1165.01
1173.22/1176.65 c GLOBAL bounds - >= 7 @ 1165.01
1227.27/1230.86 c #Conflicts: 656000 | #Constraints: 17555
1227.27/1230.86 c #Conflicts: 657000 | #Constraints: 18561
1227.27/1230.86 c #Conflicts: 658000 | #Constraints: 19568
1227.27/1230.86 c #Conflicts: 659000 | #Constraints: 20574
1227.27/1230.86 c #Conflicts: 660000 | #Constraints: 21579
1227.27/1230.86 c #Conflicts: 661000 | #Constraints: 22584
1227.27/1230.86 c #Conflicts: 662000 | #Constraints: 23588
1227.27/1230.86 c #Conflicts: 663000 | #Constraints: 24594
1227.27/1230.86 c #Conflicts: 664000 | #Constraints: 25598
1227.27/1230.86 c #Conflicts: 665000 | #Constraints: 26603
1227.27/1230.86 c #Conflicts: 666000 | #Constraints: 27607
1227.27/1230.86 c #Conflicts: 667000 | #Constraints: 28610
1227.27/1230.86 c #Conflicts: 668000 | #Constraints: 29616
1227.27/1230.86 c #Conflicts: 669000 | #Constraints: 30621
1227.27/1230.86 c #Conflicts: 670000 | #Constraints: 31625
1227.27/1230.86 c #Conflicts: 671000 | #Constraints: 32628
1227.27/1230.86 c INPROCESSING
1227.27/1230.86 c GARBAGE COLLECT
1227.27/1230.86 c rational objective 7
1227.58/1231.17 c GLOBAL bounds - >= 7 @ 1219.2
1227.58/1231.17 c GLOBAL bounds - >= 7 @ 1219.2
1261.87/1265.50 c #Conflicts: 672000 | #Constraints: 17336
1261.87/1265.50 c #Conflicts: 673000 | #Constraints: 18337
1261.87/1265.50 c #Conflicts: 674000 | #Constraints: 19339
1261.87/1265.50 c #Conflicts: 675000 | #Constraints: 20339
1261.87/1265.50 c #Conflicts: 676000 | #Constraints: 21341
1261.87/1265.50 c #Conflicts: 677000 | #Constraints: 22342
1261.87/1265.50 c #Conflicts: 678000 | #Constraints: 23343
1261.87/1265.50 c #Conflicts: 679000 | #Constraints: 24345
1261.87/1265.50 c #Conflicts: 680000 | #Constraints: 25348
1261.87/1265.50 c #Conflicts: 681000 | #Constraints: 26352
1261.87/1265.50 c #Conflicts: 682000 | #Constraints: 27354
1261.87/1265.50 c #Conflicts: 683000 | #Constraints: 28356
1261.87/1265.50 c #Conflicts: 684000 | #Constraints: 29362
1261.87/1265.50 c #Conflicts: 685000 | #Constraints: 30363
1261.87/1265.50 c #Conflicts: 686000 | #Constraints: 31368
1261.87/1265.50 c #Conflicts: 687000 | #Constraints: 32376
1261.87/1265.50 c #Conflicts: 688000 | #Constraints: 33379
1261.87/1265.50 c INPROCESSING
1261.87/1265.50 c GARBAGE COLLECT
1261.87/1265.50 c rational objective 7
1262.17/1265.89 c GLOBAL bounds - >= 7 @ 1253.64
1262.17/1265.89 c GLOBAL bounds - >= 7 @ 1253.64
1287.31/1291.10 c #Conflicts: 689000 | #Constraints: 17918
1287.31/1291.10 c #Conflicts: 690000 | #Constraints: 18923
1287.31/1291.10 c #Conflicts: 691000 | #Constraints: 19924
1287.31/1291.10 c #Conflicts: 692000 | #Constraints: 20931
1287.31/1291.10 c #Conflicts: 693000 | #Constraints: 21936
1287.31/1291.10 c #Conflicts: 694000 | #Constraints: 22942
1287.31/1291.10 c #Conflicts: 695000 | #Constraints: 23944
1287.31/1291.10 c #Conflicts: 696000 | #Constraints: 24948
1287.31/1291.10 c #Conflicts: 697000 | #Constraints: 25953
1287.31/1291.10 c #Conflicts: 698000 | #Constraints: 26961
1287.31/1291.10 c #Conflicts: 699000 | #Constraints: 27963
1287.31/1291.10 c #Conflicts: 700000 | #Constraints: 28967
1287.31/1291.10 c #Conflicts: 701000 | #Constraints: 29971
1287.31/1291.10 c #Conflicts: 702000 | #Constraints: 30976
1287.31/1291.10 c #Conflicts: 703000 | #Constraints: 31978
1287.31/1291.10 c #Conflicts: 704000 | #Constraints: 32981
1287.31/1291.10 c #Conflicts: 705000 | #Constraints: 33984
1287.31/1291.10 c INPROCESSING
1287.31/1291.10 c GARBAGE COLLECT
1287.31/1291.10 c rational objective 7
1287.79/1291.51 c GLOBAL bounds - >= 7 @ 1278.97
1287.79/1291.51 c GLOBAL bounds - >= 7 @ 1278.97
1346.02/1350.00 c #Conflicts: 706000 | #Constraints: 18330
1346.02/1350.00 c #Conflicts: 707000 | #Constraints: 19335
1346.02/1350.00 c #Conflicts: 708000 | #Constraints: 20336
1346.02/1350.00 c #Conflicts: 709000 | #Constraints: 21338
1346.02/1350.00 c #Conflicts: 710000 | #Constraints: 22340
1346.02/1350.00 c #Conflicts: 711000 | #Constraints: 23343
1346.02/1350.00 c #Conflicts: 712000 | #Constraints: 24345
1346.02/1350.00 c #Conflicts: 713000 | #Constraints: 25347
1346.02/1350.00 c #Conflicts: 714000 | #Constraints: 26350
1346.02/1350.00 c #Conflicts: 715000 | #Constraints: 27354
1346.02/1350.00 c #Conflicts: 716000 | #Constraints: 28357
1346.02/1350.00 c #Conflicts: 717000 | #Constraints: 29360
1346.02/1350.00 c #Conflicts: 718000 | #Constraints: 30362
1346.02/1350.00 c #Conflicts: 719000 | #Constraints: 31368
1346.02/1350.00 c #Conflicts: 720000 | #Constraints: 32370
1346.02/1350.00 c #Conflicts: 721000 | #Constraints: 33371
1346.02/1350.00 c #Conflicts: 722000 | #Constraints: 34372
1346.02/1350.00 c INPROCESSING
1346.02/1350.00 c GARBAGE COLLECT
1346.02/1350.00 c rational objective 7
1346.53/1350.42 c GLOBAL bounds - >= 7 @ 1337.53
1346.53/1350.42 c GLOBAL bounds - >= 7 @ 1337.53
1389.19/1393.29 c #Conflicts: 723000 | #Constraints: 18529
1389.19/1393.29 c #Conflicts: 724000 | #Constraints: 19531
1389.19/1393.29 c #Conflicts: 725000 | #Constraints: 20532
1389.19/1393.29 c #Conflicts: 726000 | #Constraints: 21532
1389.19/1393.29 c #Conflicts: 727000 | #Constraints: 22532
1389.19/1393.29 c #Conflicts: 728000 | #Constraints: 23533
1389.19/1393.29 c #Conflicts: 729000 | #Constraints: 24534
1389.19/1393.29 c #Conflicts: 730000 | #Constraints: 25539
1389.19/1393.29 c #Conflicts: 731000 | #Constraints: 26543
1389.19/1393.29 c #Conflicts: 732000 | #Constraints: 27544
1389.19/1393.29 c #Conflicts: 733000 | #Constraints: 28546
1389.19/1393.29 c #Conflicts: 734000 | #Constraints: 29547
1389.19/1393.29 c #Conflicts: 735000 | #Constraints: 30549
1389.19/1393.29 c #Conflicts: 736000 | #Constraints: 31549
1389.19/1393.29 c #Conflicts: 737000 | #Constraints: 32551
1389.19/1393.29 c #Conflicts: 738000 | #Constraints: 33553
1389.19/1393.29 c #Conflicts: 739000 | #Constraints: 34555
1389.19/1393.29 c INPROCESSING
1389.19/1393.29 c GARBAGE COLLECT
1389.19/1393.29 c rational objective 7
1389.70/1393.72 c GLOBAL bounds - >= 7 @ 1380.54
1389.70/1393.72 c GLOBAL bounds - >= 7 @ 1380.54
1432.76/1437.00 c #Conflicts: 740000 | #Constraints: 18529
1432.76/1437.00 c #Conflicts: 741000 | #Constraints: 19532
1432.76/1437.00 c #Conflicts: 742000 | #Constraints: 20536
1432.76/1437.00 c #Conflicts: 743000 | #Constraints: 21539
1432.76/1437.00 c #Conflicts: 744000 | #Constraints: 22543
1432.76/1437.00 c #Conflicts: 745000 | #Constraints: 23547
1432.76/1437.00 c #Conflicts: 746000 | #Constraints: 24557
1432.76/1437.00 c #Conflicts: 747000 | #Constraints: 25560
1432.76/1437.00 c #Conflicts: 748000 | #Constraints: 26564
1432.76/1437.00 c #Conflicts: 749000 | #Constraints: 27569
1432.76/1437.00 c #Conflicts: 750000 | #Constraints: 28576
1432.76/1437.00 c #Conflicts: 751000 | #Constraints: 29582
1432.76/1437.00 c #Conflicts: 752000 | #Constraints: 30586
1432.76/1437.00 c #Conflicts: 753000 | #Constraints: 31592
1432.76/1437.00 c #Conflicts: 754000 | #Constraints: 32597
1432.76/1437.00 c #Conflicts: 755000 | #Constraints: 33602
1432.76/1437.00 c #Conflicts: 756000 | #Constraints: 34606
1432.76/1437.00 c INPROCESSING
1432.76/1437.00 c GARBAGE COLLECT
1432.76/1437.00 c rational objective 7
1433.05/1437.26 c GLOBAL bounds - >= 7 @ 1423.68
1433.05/1437.26 c GLOBAL bounds - >= 7 @ 1423.68
1472.64/1476.99 c #Conflicts: 757000 | #Constraints: 18327
1472.64/1476.99 c #Conflicts: 758000 | #Constraints: 19331
1472.64/1476.99 c #Conflicts: 759000 | #Constraints: 20333
1472.64/1476.99 c #Conflicts: 760000 | #Constraints: 21335
1472.64/1476.99 c #Conflicts: 761000 | #Constraints: 22336
1472.64/1476.99 c #Conflicts: 762000 | #Constraints: 23341
1472.64/1476.99 c #Conflicts: 763000 | #Constraints: 24344
1472.64/1476.99 c #Conflicts: 764000 | #Constraints: 25345
1472.64/1476.99 c #Conflicts: 765000 | #Constraints: 26347
1472.64/1476.99 c #Conflicts: 766000 | #Constraints: 27349
1472.64/1476.99 c #Conflicts: 767000 | #Constraints: 28350
1472.64/1476.99 c #Conflicts: 768000 | #Constraints: 29354
1472.64/1476.99 c #Conflicts: 769000 | #Constraints: 30357
1472.64/1476.99 c #Conflicts: 770000 | #Constraints: 31365
1472.64/1476.99 c #Conflicts: 771000 | #Constraints: 32369
1472.64/1476.99 c #Conflicts: 772000 | #Constraints: 33373
1472.64/1476.99 c #Conflicts: 773000 | #Constraints: 34375
1472.64/1476.99 c #Conflicts: 774000 | #Constraints: 35381
1472.64/1476.99 c INPROCESSING
1472.64/1476.99 c GARBAGE COLLECT
1472.64/1476.99 c rational objective 7
1472.93/1477.24 c GLOBAL bounds - >= 7 @ 1463.31
1472.93/1477.24 c GLOBAL bounds - >= 7 @ 1463.31
1522.59/1527.04 c #Conflicts: 775000 | #Constraints: 18929
1522.59/1527.04 c #Conflicts: 776000 | #Constraints: 19934
1522.59/1527.04 c #Conflicts: 777000 | #Constraints: 20940
1522.59/1527.04 c #Conflicts: 778000 | #Constraints: 21945
1522.59/1527.04 c #Conflicts: 779000 | #Constraints: 22949
1522.59/1527.04 c #Conflicts: 780000 | #Constraints: 23949
1522.59/1527.04 c #Conflicts: 781000 | #Constraints: 24953
1522.59/1527.04 c #Conflicts: 782000 | #Constraints: 25958
1522.59/1527.04 c #Conflicts: 783000 | #Constraints: 26966
1522.59/1527.04 c #Conflicts: 784000 | #Constraints: 27975
1522.59/1527.04 c #Conflicts: 785000 | #Constraints: 28988
1522.59/1527.04 c #Conflicts: 786000 | #Constraints: 29998
1522.59/1527.04 c #Conflicts: 787000 | #Constraints: 31005
1522.59/1527.04 c #Conflicts: 788000 | #Constraints: 32017
1522.59/1527.04 c #Conflicts: 789000 | #Constraints: 33139
1522.59/1527.04 c #Conflicts: 790000 | #Constraints: 34198
1522.59/1527.04 c #Conflicts: 791000 | #Constraints: 35241
1522.59/1527.04 c #Conflicts: 792000 | #Constraints: 36242
1522.59/1527.04 c INPROCESSING
1522.59/1527.04 c GARBAGE COLLECT
1522.59/1527.04 c rational objective 7
1523.08/1527.59 c GLOBAL bounds - >= 7 @ 1513.32
1523.08/1527.59 c GLOBAL bounds - >= 7 @ 1513.32
1566.03/1570.65 c #Conflicts: 793000 | #Constraints: 19437
1566.03/1570.65 c #Conflicts: 794000 | #Constraints: 20438
1566.03/1570.65 c #Conflicts: 795000 | #Constraints: 21440
1566.03/1570.65 c #Conflicts: 796000 | #Constraints: 22444
1566.03/1570.65 c #Conflicts: 797000 | #Constraints: 23448
1566.03/1570.65 c #Conflicts: 798000 | #Constraints: 24449
1566.03/1570.65 c #Conflicts: 799000 | #Constraints: 25455
1566.03/1570.65 c #Conflicts: 800000 | #Constraints: 26458
1566.03/1570.65 c #Conflicts: 801000 | #Constraints: 27463
1566.03/1570.65 c #Conflicts: 802000 | #Constraints: 28466
1566.03/1570.65 c #Conflicts: 803000 | #Constraints: 29467
1566.03/1570.65 c #Conflicts: 804000 | #Constraints: 30470
1566.03/1570.65 c #Conflicts: 805000 | #Constraints: 31477
1566.03/1570.65 c #Conflicts: 806000 | #Constraints: 32484
1566.03/1570.65 c #Conflicts: 807000 | #Constraints: 33490
1566.03/1570.65 c #Conflicts: 808000 | #Constraints: 34497
1566.03/1570.65 c #Conflicts: 809000 | #Constraints: 35499
1566.03/1570.65 c #Conflicts: 810000 | #Constraints: 36501
1566.03/1570.65 c INPROCESSING
1566.03/1570.65 c GARBAGE COLLECT
1566.03/1570.65 c rational objective 7
1566.44/1571.03 c GLOBAL bounds - >= 7 @ 1556.39
1566.44/1571.03 c GLOBAL bounds - >= 7 @ 1556.39
1607.50/1612.23 c #Conflicts: 811000 | #Constraints: 19580
1607.50/1612.23 c #Conflicts: 812000 | #Constraints: 20585
1607.50/1612.23 c #Conflicts: 813000 | #Constraints: 21588
1607.50/1612.23 c #Conflicts: 814000 | #Constraints: 22594
1607.50/1612.23 c #Conflicts: 815000 | #Constraints: 23602
1607.50/1612.23 c #Conflicts: 816000 | #Constraints: 24605
1607.50/1612.23 c #Conflicts: 817000 | #Constraints: 25607
1607.50/1612.23 c #Conflicts: 818000 | #Constraints: 26611
1607.50/1612.23 c #Conflicts: 819000 | #Constraints: 27617
1607.50/1612.23 c #Conflicts: 820000 | #Constraints: 28621
1607.50/1612.23 c #Conflicts: 821000 | #Constraints: 29624
1607.50/1612.23 c #Conflicts: 822000 | #Constraints: 30627
1607.50/1612.23 c #Conflicts: 823000 | #Constraints: 31630
1607.50/1612.23 c #Conflicts: 824000 | #Constraints: 32634
1607.50/1612.23 c #Conflicts: 825000 | #Constraints: 33638
1607.50/1612.23 c #Conflicts: 826000 | #Constraints: 34640
1607.50/1612.23 c #Conflicts: 827000 | #Constraints: 35642
1607.50/1612.23 c #Conflicts: 828000 | #Constraints: 36647
1607.50/1612.23 c INPROCESSING
1607.50/1612.23 c GARBAGE COLLECT
1607.50/1612.23 c rational objective 7
1607.90/1612.63 c GLOBAL bounds - >= 7 @ 1597.66
1607.90/1612.63 c GLOBAL bounds - >= 7 @ 1597.66
1666.31/1671.25 c #Conflicts: 829000 | #Constraints: 19561
1666.31/1671.25 c #Conflicts: 830000 | #Constraints: 20565
1666.31/1671.25 c #Conflicts: 831000 | #Constraints: 21566
1666.31/1671.25 c #Conflicts: 832000 | #Constraints: 22570
1666.31/1671.25 c #Conflicts: 833000 | #Constraints: 23575
1666.31/1671.25 c #Conflicts: 834000 | #Constraints: 24577
1666.31/1671.25 c #Conflicts: 835000 | #Constraints: 25580
1666.31/1671.25 c #Conflicts: 836000 | #Constraints: 26584
1666.31/1671.25 c #Conflicts: 837000 | #Constraints: 27588
1666.31/1671.25 c #Conflicts: 838000 | #Constraints: 28593
1666.31/1671.25 c #Conflicts: 839000 | #Constraints: 29597
1666.31/1671.25 c #Conflicts: 840000 | #Constraints: 30599
1666.31/1671.25 c #Conflicts: 841000 | #Constraints: 31601
1666.31/1671.25 c #Conflicts: 842000 | #Constraints: 32603
1666.31/1671.25 c #Conflicts: 843000 | #Constraints: 33605
1666.31/1671.25 c #Conflicts: 844000 | #Constraints: 34605
1666.31/1671.25 c #Conflicts: 845000 | #Constraints: 35605
1666.31/1671.25 c #Conflicts: 846000 | #Constraints: 36608
1666.31/1671.25 c INPROCESSING
1666.31/1671.25 c GARBAGE COLLECT
1666.31/1671.25 c rational objective 7
1666.61/1671.50 c GLOBAL bounds - >= 7 @ 1656.03
1666.61/1671.50 c GLOBAL bounds - >= 7 @ 1656.03
1701.80/1706.81 c #Conflicts: 847000 | #Constraints: 19330
1701.80/1706.81 c #Conflicts: 848000 | #Constraints: 20333
1701.80/1706.81 c #Conflicts: 849000 | #Constraints: 21335
1701.80/1706.81 c #Conflicts: 850000 | #Constraints: 22336
1701.80/1706.81 c #Conflicts: 851000 | #Constraints: 23340
1701.80/1706.81 c #Conflicts: 852000 | #Constraints: 24340
1701.80/1706.81 c #Conflicts: 853000 | #Constraints: 25343
1701.80/1706.81 c #Conflicts: 854000 | #Constraints: 26346
1701.80/1706.81 c #Conflicts: 855000 | #Constraints: 27348
1701.80/1706.81 c #Conflicts: 856000 | #Constraints: 28354
1701.80/1706.81 c #Conflicts: 857000 | #Constraints: 29360
1701.80/1706.81 c #Conflicts: 858000 | #Constraints: 30364
1701.80/1706.81 c #Conflicts: 859000 | #Constraints: 31368
1701.80/1706.81 c #Conflicts: 860000 | #Constraints: 32370
1701.80/1706.81 c #Conflicts: 861000 | #Constraints: 33370
1701.80/1706.81 c #Conflicts: 862000 | #Constraints: 34371
1701.80/1706.81 c #Conflicts: 863000 | #Constraints: 35376
1701.80/1706.81 c #Conflicts: 864000 | #Constraints: 36383
1701.80/1706.81 c #Conflicts: 865000 | #Constraints: 37390
1701.80/1706.81 c INPROCESSING
1701.80/1706.81 c GARBAGE COLLECT
1701.80/1706.81 c rational objective 7
1702.11/1707.19 c GLOBAL bounds - >= 7 @ 1691.39
1702.11/1707.19 c GLOBAL bounds - >= 7 @ 1691.39
1741.47/1746.61 c #Conflicts: 866000 | #Constraints: 19937
1741.47/1746.61 c #Conflicts: 867000 | #Constraints: 20941
1741.47/1746.61 c #Conflicts: 868000 | #Constraints: 21943
1741.47/1746.61 c #Conflicts: 869000 | #Constraints: 22949
1741.47/1746.61 c #Conflicts: 870000 | #Constraints: 23952
1741.47/1746.61 c #Conflicts: 871000 | #Constraints: 24955
1741.47/1746.61 c #Conflicts: 872000 | #Constraints: 25957
1741.47/1746.61 c #Conflicts: 873000 | #Constraints: 26959
1741.47/1746.61 c #Conflicts: 874000 | #Constraints: 27968
1741.47/1746.61 c #Conflicts: 875000 | #Constraints: 28973
1741.47/1746.61 c #Conflicts: 876000 | #Constraints: 29975
1741.47/1746.61 c #Conflicts: 877000 | #Constraints: 30977
1741.47/1746.61 c #Conflicts: 878000 | #Constraints: 31981
1741.47/1746.61 c #Conflicts: 879000 | #Constraints: 32982
1741.47/1746.61 c #Conflicts: 880000 | #Constraints: 33982
1741.47/1746.61 c #Conflicts: 881000 | #Constraints: 34983
1741.47/1746.61 c #Conflicts: 882000 | #Constraints: 35983
1741.47/1746.61 c #Conflicts: 883000 | #Constraints: 36990
1741.47/1746.61 c #Conflicts: 884000 | #Constraints: 37994
1741.47/1746.61 c INPROCESSING
1741.47/1746.61 c GARBAGE COLLECT
1741.47/1746.61 c rational objective 7
1741.77/1746.91 c GLOBAL bounds - >= 7 @ 1730.78
1741.77/1746.91 c GLOBAL bounds - >= 7 @ 1730.78
1775.67/1781.01 c #Conflicts: 885000 | #Constraints: 20330
1775.67/1781.01 c #Conflicts: 886000 | #Constraints: 21339
1775.67/1781.01 c #Conflicts: 887000 | #Constraints: 22352
1775.67/1781.01 c #Conflicts: 888000 | #Constraints: 23368
1775.67/1781.01 c #Conflicts: 889000 | #Constraints: 24379
1775.67/1781.01 c #Conflicts: 890000 | #Constraints: 25390
1775.67/1781.01 c #Conflicts: 891000 | #Constraints: 26395
1775.67/1781.01 c #Conflicts: 892000 | #Constraints: 27400
1775.67/1781.01 c #Conflicts: 893000 | #Constraints: 28404
1775.67/1781.01 c #Conflicts: 894000 | #Constraints: 29405
1775.67/1781.01 c #Conflicts: 895000 | #Constraints: 30414
1775.67/1781.01 c #Conflicts: 896000 | #Constraints: 31419
1775.67/1781.01 c #Conflicts: 897000 | #Constraints: 32427
1775.67/1781.01 c #Conflicts: 898000 | #Constraints: 33434
1775.67/1781.01 c #Conflicts: 899000 | #Constraints: 34439
1775.67/1781.01 c #Conflicts: 900000 | #Constraints: 35447
1775.67/1781.01 c #Conflicts: 901000 | #Constraints: 36449
1775.67/1781.01 c #Conflicts: 902000 | #Constraints: 37459
1775.67/1781.01 c #Conflicts: 903000 | #Constraints: 38466
1775.67/1781.01 c INPROCESSING
1775.67/1781.01 c GARBAGE COLLECT
1775.67/1781.01 c rational objective 7
1775.97/1781.23 c GLOBAL bounds - >= 7 @ 1764.79
1775.97/1781.23 c GLOBAL bounds - >= 7 @ 1764.79
1826.62/1832.02 c #Conflicts: 904000 | #Constraints: 20563
1826.62/1832.02 c #Conflicts: 905000 | #Constraints: 21571
1826.62/1832.02 c #Conflicts: 906000 | #Constraints: 22575
1826.62/1832.02 c #Conflicts: 907000 | #Constraints: 23576
1826.62/1832.02 c #Conflicts: 908000 | #Constraints: 24581
1826.62/1832.02 c #Conflicts: 909000 | #Constraints: 25588
1826.62/1832.02 c #Conflicts: 910000 | #Constraints: 26594
1826.62/1832.02 c #Conflicts: 911000 | #Constraints: 27596
1826.62/1832.02 c #Conflicts: 912000 | #Constraints: 28601
1826.62/1832.02 c #Conflicts: 913000 | #Constraints: 29606
1826.62/1832.02 c #Conflicts: 914000 | #Constraints: 30607
1826.62/1832.02 c #Conflicts: 915000 | #Constraints: 31612
1826.62/1832.02 c #Conflicts: 916000 | #Constraints: 32617
1826.62/1832.02 c #Conflicts: 917000 | #Constraints: 33634
1826.62/1832.02 c #Conflicts: 918000 | #Constraints: 34653
1826.62/1832.02 c #Conflicts: 919000 | #Constraints: 35662
1826.62/1832.02 c #Conflicts: 920000 | #Constraints: 36670
1826.62/1832.02 c #Conflicts: 921000 | #Constraints: 37674
1826.62/1832.02 c #Conflicts: 922000 | #Constraints: 38675
1826.62/1832.02 c INPROCESSING
1826.62/1832.02 c GARBAGE COLLECT
1826.62/1832.02 c rational objective 7
1826.91/1832.34 c GLOBAL bounds - >= 7 @ 1815.49
1826.91/1832.34 c GLOBAL bounds - >= 7 @ 1815.49
1871.48/1877.06 c #Conflicts: 923000 | #Constraints: 20560
1871.48/1877.06 c #Conflicts: 924000 | #Constraints: 21563
1871.48/1877.06 c #Conflicts: 925000 | #Constraints: 22565
1871.48/1877.06 c #Conflicts: 926000 | #Constraints: 23574
1871.48/1877.06 c #Conflicts: 927000 | #Constraints: 24579
1871.48/1877.06 c #Conflicts: 928000 | #Constraints: 25582
1871.48/1877.06 c #Conflicts: 929000 | #Constraints: 26586
1871.48/1877.06 c #Conflicts: 930000 | #Constraints: 27589
1871.48/1877.06 c #Conflicts: 931000 | #Constraints: 28594
1871.48/1877.06 c #Conflicts: 932000 | #Constraints: 29597
1871.48/1877.06 c #Conflicts: 933000 | #Constraints: 30603
1871.48/1877.06 c #Conflicts: 934000 | #Constraints: 31605
1871.48/1877.06 c #Conflicts: 935000 | #Constraints: 32610
1871.48/1877.06 c #Conflicts: 936000 | #Constraints: 33612
1871.48/1877.06 c #Conflicts: 937000 | #Constraints: 34616
1871.48/1877.06 c #Conflicts: 938000 | #Constraints: 35621
1871.48/1877.06 c #Conflicts: 939000 | #Constraints: 36627
1871.48/1877.06 c #Conflicts: 940000 | #Constraints: 37630
1871.48/1877.06 c #Conflicts: 941000 | #Constraints: 38634
1871.48/1877.06 c INPROCESSING
1871.48/1877.06 c GARBAGE COLLECT
1871.48/1877.06 c rational objective 7
1871.77/1877.38 c GLOBAL bounds - >= 7 @ 1860.16
1871.77/1877.38 c GLOBAL bounds - >= 7 @ 1860.16
1904.86/1910.54 c #Conflicts: 942000 | #Constraints: 20361
1904.86/1910.54 c #Conflicts: 943000 | #Constraints: 21366
1904.86/1910.54 c #Conflicts: 944000 | #Constraints: 22369
1904.86/1910.54 c #Conflicts: 945000 | #Constraints: 23373
1904.86/1910.54 c #Conflicts: 946000 | #Constraints: 24376
1904.86/1910.54 c #Conflicts: 947000 | #Constraints: 25380
1904.86/1910.54 c #Conflicts: 948000 | #Constraints: 26383
1904.86/1910.54 c #Conflicts: 949000 | #Constraints: 27389
1904.86/1910.54 c #Conflicts: 950000 | #Constraints: 28394
1904.86/1910.54 c #Conflicts: 951000 | #Constraints: 29402
1904.86/1910.54 c #Conflicts: 952000 | #Constraints: 30408
1904.86/1910.54 c #Conflicts: 953000 | #Constraints: 31411
1904.86/1910.54 c #Conflicts: 954000 | #Constraints: 32415
1904.86/1910.54 c #Conflicts: 955000 | #Constraints: 33422
1904.86/1910.54 c #Conflicts: 956000 | #Constraints: 34437
1904.86/1910.54 c #Conflicts: 957000 | #Constraints: 35443
1904.86/1910.54 c #Conflicts: 958000 | #Constraints: 36447
1904.86/1910.54 c #Conflicts: 959000 | #Constraints: 37449
1904.86/1910.54 c #Conflicts: 960000 | #Constraints: 38452
1904.86/1910.54 c #Conflicts: 961000 | #Constraints: 39452
1904.86/1910.54 c INPROCESSING
1904.86/1910.54 c GARBAGE COLLECT
1904.86/1910.54 c rational objective 7
1905.16/1910.86 c GLOBAL bounds - >= 7 @ 1893.34
1905.16/1910.86 c GLOBAL bounds - >= 7 @ 1893.34
1931.08/1936.80 c #Conflicts: 962000 | #Constraints: 20989
1931.08/1936.80 c #Conflicts: 963000 | #Constraints: 21993
1931.08/1936.80 c #Conflicts: 964000 | #Constraints: 22998
1931.08/1936.80 c #Conflicts: 965000 | #Constraints: 24002
1931.08/1936.80 c #Conflicts: 966000 | #Constraints: 25006
1931.08/1936.80 c #Conflicts: 967000 | #Constraints: 26010
1931.08/1936.80 c #Conflicts: 968000 | #Constraints: 27016
1931.08/1936.80 c #Conflicts: 969000 | #Constraints: 28021
1931.08/1936.80 c #Conflicts: 970000 | #Constraints: 29022
1931.08/1936.80 c #Conflicts: 971000 | #Constraints: 30025
1931.08/1936.80 c #Conflicts: 972000 | #Constraints: 31028
1931.08/1936.80 c #Conflicts: 973000 | #Constraints: 32029
1931.08/1936.80 c #Conflicts: 974000 | #Constraints: 33033
1931.08/1936.80 c #Conflicts: 975000 | #Constraints: 34036
1931.08/1936.80 c #Conflicts: 976000 | #Constraints: 35040
1931.08/1936.80 c #Conflicts: 977000 | #Constraints: 36042
1931.08/1936.80 c #Conflicts: 978000 | #Constraints: 37044
1931.08/1936.80 c #Conflicts: 979000 | #Constraints: 38050
1931.08/1936.80 c #Conflicts: 980000 | #Constraints: 39064
1931.08/1936.80 c #Conflicts: 981000 | #Constraints: 40079
1931.08/1936.80 c INPROCESSING
1931.08/1936.80 c GARBAGE COLLECT
1931.08/1936.80 c rational objective 7
1931.58/1937.37 c GLOBAL bounds - >= 7 @ 1919.58
1931.58/1937.37 c GLOBAL bounds - >= 7 @ 1919.58
1964.19/1970.05 c #Conflicts: 982000 | #Constraints: 21403
1964.19/1970.05 c #Conflicts: 983000 | #Constraints: 22406
1964.19/1970.05 c #Conflicts: 984000 | #Constraints: 23406
1964.19/1970.05 c #Conflicts: 985000 | #Constraints: 24408
1964.19/1970.05 c #Conflicts: 986000 | #Constraints: 25408
1964.19/1970.05 c #Conflicts: 987000 | #Constraints: 26408
1964.19/1970.05 c #Conflicts: 988000 | #Constraints: 27409
1964.19/1970.05 c #Conflicts: 989000 | #Constraints: 28409
1964.19/1970.05 c #Conflicts: 990000 | #Constraints: 29416
1964.19/1970.05 c #Conflicts: 991000 | #Constraints: 30421
1964.19/1970.05 c #Conflicts: 992000 | #Constraints: 31423
1964.19/1970.05 c #Conflicts: 993000 | #Constraints: 32427
1964.19/1970.05 c #Conflicts: 994000 | #Constraints: 33435
1964.19/1970.05 c #Conflicts: 995000 | #Constraints: 34435
1964.19/1970.05 c #Conflicts: 996000 | #Constraints: 35443
1964.19/1970.05 c #Conflicts: 997000 | #Constraints: 36451
1964.19/1970.05 c #Conflicts: 998000 | #Constraints: 37462
1964.19/1970.05 c #Conflicts: 999000 | #Constraints: 38467
1964.19/1970.05 c #Conflicts: 1000000 | #Constraints: 39473
1964.19/1970.05 c #Conflicts: 1001000 | #Constraints: 40479
1964.19/1970.05 c INPROCESSING
1964.19/1970.05 c GARBAGE COLLECT
1964.19/1970.05 c rational objective 7
1964.47/1970.34 c GLOBAL bounds - >= 7 @ 1952.24
1964.47/1970.34 c GLOBAL bounds - >= 7 @ 1952.24
2018.51/2024.50 c #Conflicts: 1002000 | #Constraints: 21649
2018.51/2024.50 c #Conflicts: 1003000 | #Constraints: 22651
2018.51/2024.50 c #Conflicts: 1004000 | #Constraints: 23658
2018.51/2024.50 c #Conflicts: 1005000 | #Constraints: 24664
2018.51/2024.50 c #Conflicts: 1006000 | #Constraints: 25670
2018.51/2024.50 c #Conflicts: 1007000 | #Constraints: 26673
2018.51/2024.50 c #Conflicts: 1008000 | #Constraints: 27676
2018.51/2024.50 c #Conflicts: 1009000 | #Constraints: 28681
2018.51/2024.50 c #Conflicts: 1010000 | #Constraints: 29686
2018.51/2024.50 c #Conflicts: 1011000 | #Constraints: 30688
2018.51/2024.50 c #Conflicts: 1012000 | #Constraints: 31693
2018.51/2024.50 c #Conflicts: 1013000 | #Constraints: 32696
2018.51/2024.50 c #Conflicts: 1014000 | #Constraints: 33699
2018.51/2024.50 c #Conflicts: 1015000 | #Constraints: 34703
2018.51/2024.50 c #Conflicts: 1016000 | #Constraints: 35705
2018.51/2024.50 c #Conflicts: 1017000 | #Constraints: 36707
2018.51/2024.50 c #Conflicts: 1018000 | #Constraints: 37708
2018.51/2024.50 c #Conflicts: 1019000 | #Constraints: 38718
2018.51/2024.50 c #Conflicts: 1020000 | #Constraints: 39724
2018.51/2024.50 c #Conflicts: 1021000 | #Constraints: 40740
2018.51/2024.50 c INPROCESSING
2018.51/2024.50 c GARBAGE COLLECT
2018.51/2024.50 c rational objective 7
2019.02/2025.05 c GLOBAL bounds - >= 7 @ 2006.55
2019.02/2025.05 c GLOBAL bounds - >= 7 @ 2006.55
2091.48/2097.78 c #Conflicts: 1022000 | #Constraints: 21611
2091.48/2097.78 c #Conflicts: 1023000 | #Constraints: 22616
2091.48/2097.78 c #Conflicts: 1024000 | #Constraints: 23619
2091.48/2097.78 c #Conflicts: 1025000 | #Constraints: 24622
2091.48/2097.78 c #Conflicts: 1026000 | #Constraints: 25629
2091.48/2097.78 c #Conflicts: 1027000 | #Constraints: 26632
2091.48/2097.78 c #Conflicts: 1028000 | #Constraints: 27638
2091.48/2097.78 c #Conflicts: 1029000 | #Constraints: 28640
2091.48/2097.78 c #Conflicts: 1030000 | #Constraints: 29642
2091.48/2097.78 c #Conflicts: 1031000 | #Constraints: 30644
2091.48/2097.78 c #Conflicts: 1032000 | #Constraints: 31645
2091.48/2097.78 c #Conflicts: 1033000 | #Constraints: 32647
2091.48/2097.78 c #Conflicts: 1034000 | #Constraints: 33651
2091.48/2097.78 c #Conflicts: 1035000 | #Constraints: 34654
2091.48/2097.78 c #Conflicts: 1036000 | #Constraints: 35658
2091.48/2097.78 c #Conflicts: 1037000 | #Constraints: 36664
2091.48/2097.78 c #Conflicts: 1038000 | #Constraints: 37683
2091.48/2097.78 c #Conflicts: 1039000 | #Constraints: 38700
2091.48/2097.78 c #Conflicts: 1040000 | #Constraints: 39711
2091.48/2097.78 c #Conflicts: 1041000 | #Constraints: 40725
2091.48/2097.78 c INPROCESSING
2091.48/2097.78 c GARBAGE COLLECT
2091.48/2097.78 c rational objective 7
2091.79/2098.01 c GLOBAL bounds - >= 7 @ 2078.78
2091.79/2098.01 c GLOBAL bounds - >= 7 @ 2078.78
2114.91/2121.28 c #Conflicts: 1042000 | #Constraints: 21427
2114.91/2121.28 c #Conflicts: 1043000 | #Constraints: 22429
2114.91/2121.28 c #Conflicts: 1044000 | #Constraints: 23429
2114.91/2121.28 c #Conflicts: 1045000 | #Constraints: 24429
2114.91/2121.28 c #Conflicts: 1046000 | #Constraints: 25429
2114.91/2121.28 c #Conflicts: 1047000 | #Constraints: 26430
2114.91/2121.28 c #Conflicts: 1048000 | #Constraints: 27432
2114.91/2121.28 c #Conflicts: 1049000 | #Constraints: 28434
2114.91/2121.28 c #Conflicts: 1050000 | #Constraints: 29436
2114.91/2121.28 c #Conflicts: 1051000 | #Constraints: 30437
2114.91/2121.28 c #Conflicts: 1052000 | #Constraints: 31437
2114.91/2121.28 c #Conflicts: 1053000 | #Constraints: 32439
2114.91/2121.28 c #Conflicts: 1054000 | #Constraints: 33441
2114.91/2121.28 c #Conflicts: 1055000 | #Constraints: 34442
2114.91/2121.28 c #Conflicts: 1056000 | #Constraints: 35443
2114.91/2121.28 c #Conflicts: 1057000 | #Constraints: 36443
2114.91/2121.28 c #Conflicts: 1058000 | #Constraints: 37451
2114.91/2121.28 c #Conflicts: 1059000 | #Constraints: 38460
2114.91/2121.28 c #Conflicts: 1060000 | #Constraints: 39464
2114.91/2121.28 c #Conflicts: 1061000 | #Constraints: 40467
2114.91/2121.28 c #Conflicts: 1062000 | #Constraints: 41472
2114.91/2121.28 c INPROCESSING
2114.91/2121.28 c GARBAGE COLLECT
2114.91/2121.28 c rational objective 7
2115.30/2121.61 c GLOBAL bounds - >= 7 @ 2102.14
2115.30/2121.61 c GLOBAL bounds - >= 7 @ 2102.14
2166.75/2173.26 c #Conflicts: 1063000 | #Constraints: 22007
2166.75/2173.26 c #Conflicts: 1064000 | #Constraints: 23008
2166.75/2173.26 c #Conflicts: 1065000 | #Constraints: 24008
2166.75/2173.26 c #Conflicts: 1066000 | #Constraints: 25013
2166.75/2173.26 c #Conflicts: 1067000 | #Constraints: 26017
2166.75/2173.26 c #Conflicts: 1068000 | #Constraints: 27020
2166.75/2173.26 c #Conflicts: 1069000 | #Constraints: 28024
2166.75/2173.26 c #Conflicts: 1070000 | #Constraints: 29026
2166.75/2173.26 c #Conflicts: 1071000 | #Constraints: 30028
2166.75/2173.26 c #Conflicts: 1072000 | #Constraints: 31032
2166.75/2173.26 c #Conflicts: 1073000 | #Constraints: 32035
2166.75/2173.26 c #Conflicts: 1074000 | #Constraints: 33039
2166.75/2173.26 c #Conflicts: 1075000 | #Constraints: 34042
2166.75/2173.26 c #Conflicts: 1076000 | #Constraints: 35045
2166.75/2173.26 c #Conflicts: 1077000 | #Constraints: 36048
2166.75/2173.26 c #Conflicts: 1078000 | #Constraints: 37050
2166.75/2173.26 c #Conflicts: 1079000 | #Constraints: 38053
2166.75/2173.26 c #Conflicts: 1080000 | #Constraints: 39058
2166.75/2173.26 c #Conflicts: 1081000 | #Constraints: 40061
2166.75/2173.26 c #Conflicts: 1082000 | #Constraints: 41065
2166.75/2173.26 c #Conflicts: 1083000 | #Constraints: 42067
2166.75/2173.26 c INPROCESSING
2166.75/2173.26 c GARBAGE COLLECT
2166.75/2173.26 c rational objective 7
2167.05/2173.55 c GLOBAL bounds - >= 7 @ 2153.68
2167.05/2173.55 c GLOBAL bounds - >= 7 @ 2153.68
2195.95/2202.57 c #Conflicts: 1084000 | #Constraints: 22389
2195.95/2202.57 c #Conflicts: 1085000 | #Constraints: 23392
2195.95/2202.57 c #Conflicts: 1086000 | #Constraints: 24400
2195.95/2202.57 c #Conflicts: 1087000 | #Constraints: 25405
2195.95/2202.57 c #Conflicts: 1088000 | #Constraints: 26420
2195.95/2202.57 c #Conflicts: 1089000 | #Constraints: 27423
2195.95/2202.57 c #Conflicts: 1090000 | #Constraints: 28427
2195.95/2202.57 c #Conflicts: 1091000 | #Constraints: 29431
2195.95/2202.57 c #Conflicts: 1092000 | #Constraints: 30435
2195.95/2202.57 c #Conflicts: 1093000 | #Constraints: 31440
2195.95/2202.57 c #Conflicts: 1094000 | #Constraints: 32450
2195.95/2202.57 c #Conflicts: 1095000 | #Constraints: 33453
2195.95/2202.57 c #Conflicts: 1096000 | #Constraints: 34457
2195.95/2202.57 c #Conflicts: 1097000 | #Constraints: 35459
2195.95/2202.57 c #Conflicts: 1098000 | #Constraints: 36461
2195.95/2202.57 c #Conflicts: 1099000 | #Constraints: 37466
2195.95/2202.57 c #Conflicts: 1100000 | #Constraints: 38484
2195.95/2202.57 c #Conflicts: 1101000 | #Constraints: 39505
2195.95/2202.57 c #Conflicts: 1102000 | #Constraints: 40520
2195.95/2202.57 c #Conflicts: 1103000 | #Constraints: 41533
2195.95/2202.57 c #Conflicts: 1104000 | #Constraints: 42542
2195.95/2202.57 c INPROCESSING
2195.95/2202.57 c GARBAGE COLLECT
2195.95/2202.57 c rational objective 7
2196.35/2202.92 c GLOBAL bounds - >= 7 @ 2182.76
2196.35/2202.92 c GLOBAL bounds - >= 7 @ 2182.76
2252.45/2259.21 c #Conflicts: 1105000 | #Constraints: 22656
2252.45/2259.21 c #Conflicts: 1106000 | #Constraints: 23656
2252.45/2259.21 c #Conflicts: 1107000 | #Constraints: 24658
2252.45/2259.21 c #Conflicts: 1108000 | #Constraints: 25658
2252.45/2259.21 c #Conflicts: 1109000 | #Constraints: 26661
2252.45/2259.21 c #Conflicts: 1110000 | #Constraints: 27666
2252.45/2259.21 c #Conflicts: 1111000 | #Constraints: 28669
2252.45/2259.21 c #Conflicts: 1112000 | #Constraints: 29672
2252.45/2259.21 c #Conflicts: 1113000 | #Constraints: 30672
2252.45/2259.21 c #Conflicts: 1114000 | #Constraints: 31672
2252.45/2259.21 c #Conflicts: 1115000 | #Constraints: 32673
2252.45/2259.21 c #Conflicts: 1116000 | #Constraints: 33674
2252.45/2259.21 c #Conflicts: 1117000 | #Constraints: 34675
2252.45/2259.21 c #Conflicts: 1118000 | #Constraints: 35675
2252.45/2259.21 c #Conflicts: 1119000 | #Constraints: 36675
2252.45/2259.21 c #Conflicts: 1120000 | #Constraints: 37676
2252.45/2259.21 c #Conflicts: 1121000 | #Constraints: 38677
2252.45/2259.21 c #Conflicts: 1122000 | #Constraints: 39677
2252.45/2259.21 c #Conflicts: 1123000 | #Constraints: 40678
2252.45/2259.21 c #Conflicts: 1124000 | #Constraints: 41679
2252.45/2259.21 c #Conflicts: 1125000 | #Constraints: 42679
2252.45/2259.21 c INPROCESSING
2252.45/2259.21 c GARBAGE COLLECT
2252.45/2259.21 c rational objective 7
2252.65/2259.44 c GLOBAL bounds - >= 7 @ 2238.87
2252.65/2259.44 c GLOBAL bounds - >= 7 @ 2238.87
2304.97/2311.97 c #Conflicts: 1126000 | #Constraints: 22660
2304.97/2311.97 c #Conflicts: 1127000 | #Constraints: 23662
2304.97/2311.97 c #Conflicts: 1128000 | #Constraints: 24671
2304.97/2311.97 c #Conflicts: 1129000 | #Constraints: 25676
2304.97/2311.97 c #Conflicts: 1130000 | #Constraints: 26679
2304.97/2311.97 c #Conflicts: 1131000 | #Constraints: 27683
2304.97/2311.97 c #Conflicts: 1132000 | #Constraints: 28686
2304.97/2311.97 c #Conflicts: 1133000 | #Constraints: 29687
2304.97/2311.97 c #Conflicts: 1134000 | #Constraints: 30690
2304.97/2311.97 c #Conflicts: 1135000 | #Constraints: 31693
2304.97/2311.97 c #Conflicts: 1136000 | #Constraints: 32701
2304.97/2311.97 c #Conflicts: 1137000 | #Constraints: 33704
2304.97/2311.97 c #Conflicts: 1138000 | #Constraints: 34709
2304.97/2311.97 c #Conflicts: 1139000 | #Constraints: 35715
2304.97/2311.97 c #Conflicts: 1140000 | #Constraints: 36719
2304.97/2311.97 c #Conflicts: 1141000 | #Constraints: 37723
2304.97/2311.97 c #Conflicts: 1142000 | #Constraints: 38728
2304.97/2311.97 c #Conflicts: 1143000 | #Constraints: 39732
2304.97/2311.97 c #Conflicts: 1144000 | #Constraints: 40738
2304.97/2311.97 c #Conflicts: 1145000 | #Constraints: 41742
2304.97/2311.97 c #Conflicts: 1146000 | #Constraints: 42745
2304.97/2311.97 c INPROCESSING
2304.97/2311.97 c GARBAGE COLLECT
2304.97/2311.97 c rational objective 7
2305.37/2312.36 c GLOBAL bounds - >= 7 @ 2291.35
2305.37/2312.36 c GLOBAL bounds - >= 7 @ 2291.35
2347.32/2354.42 c #Conflicts: 1147000 | #Constraints: 22465
2347.32/2354.42 c #Conflicts: 1148000 | #Constraints: 23470
2347.32/2354.42 c #Conflicts: 1149000 | #Constraints: 24472
2347.32/2354.42 c #Conflicts: 1150000 | #Constraints: 25480
2347.32/2354.42 c #Conflicts: 1151000 | #Constraints: 26486
2347.32/2354.42 c #Conflicts: 1152000 | #Constraints: 27490
2347.32/2354.42 c #Conflicts: 1153000 | #Constraints: 28496
2347.32/2354.42 c #Conflicts: 1154000 | #Constraints: 29501
2347.32/2354.42 c #Conflicts: 1155000 | #Constraints: 30504
2347.32/2354.42 c #Conflicts: 1156000 | #Constraints: 31506
2347.32/2354.42 c #Conflicts: 1157000 | #Constraints: 32509
2347.32/2354.42 c #Conflicts: 1158000 | #Constraints: 33510
2347.32/2354.42 c #Conflicts: 1159000 | #Constraints: 34515
2347.32/2354.42 c #Conflicts: 1160000 | #Constraints: 35515
2347.32/2354.42 c #Conflicts: 1161000 | #Constraints: 36517
2347.32/2354.42 c #Conflicts: 1162000 | #Constraints: 37522
2347.32/2354.42 c #Conflicts: 1163000 | #Constraints: 38531
2347.32/2354.42 c #Conflicts: 1164000 | #Constraints: 39537
2347.32/2354.42 c #Conflicts: 1165000 | #Constraints: 40541
2347.32/2354.42 c #Conflicts: 1166000 | #Constraints: 41546
2347.32/2354.42 c #Conflicts: 1167000 | #Constraints: 42551
2347.32/2354.42 c #Conflicts: 1168000 | #Constraints: 43553
2347.32/2354.42 c INPROCESSING
2347.32/2354.42 c GARBAGE COLLECT
2347.32/2354.42 c rational objective 7
2347.52/2354.69 c GLOBAL bounds - >= 7 @ 2333.26
2347.52/2354.69 c GLOBAL bounds - >= 7 @ 2333.26
2388.47/2395.77 c #Conflicts: 1169000 | #Constraints: 23024
2388.47/2395.77 c #Conflicts: 1170000 | #Constraints: 24030
2388.47/2395.77 c #Conflicts: 1171000 | #Constraints: 25032
2388.47/2395.77 c #Conflicts: 1172000 | #Constraints: 26036
2388.47/2395.77 c #Conflicts: 1173000 | #Constraints: 27044
2388.47/2395.77 c #Conflicts: 1174000 | #Constraints: 28046
2388.47/2395.77 c #Conflicts: 1175000 | #Constraints: 29049
2388.47/2395.77 c #Conflicts: 1176000 | #Constraints: 30053
2388.47/2395.77 c #Conflicts: 1177000 | #Constraints: 31055
2388.47/2395.77 c #Conflicts: 1178000 | #Constraints: 32061
2388.47/2395.77 c #Conflicts: 1179000 | #Constraints: 33064
2388.47/2395.77 c #Conflicts: 1180000 | #Constraints: 34069
2388.47/2395.77 c #Conflicts: 1181000 | #Constraints: 35072
2388.47/2395.77 c #Conflicts: 1182000 | #Constraints: 36076
2388.47/2395.77 c #Conflicts: 1183000 | #Constraints: 37081
2388.47/2395.77 c #Conflicts: 1184000 | #Constraints: 38084
2388.47/2395.77 c #Conflicts: 1185000 | #Constraints: 39086
2388.47/2395.77 c #Conflicts: 1186000 | #Constraints: 40088
2388.47/2395.77 c #Conflicts: 1187000 | #Constraints: 41090
2388.47/2395.77 c #Conflicts: 1188000 | #Constraints: 42094
2388.47/2395.77 c #Conflicts: 1189000 | #Constraints: 43098
2388.47/2395.77 c #Conflicts: 1190000 | #Constraints: 44106
2388.47/2395.77 c INPROCESSING
2388.47/2395.77 c GARBAGE COLLECT
2388.47/2395.77 c rational objective 7
2388.78/2396.04 c GLOBAL bounds - >= 7 @ 2374.26
2388.78/2396.04 c GLOBAL bounds - >= 7 @ 2374.26
2439.89/2447.34 c #Conflicts: 1191000 | #Constraints: 23393
2439.89/2447.34 c #Conflicts: 1192000 | #Constraints: 24396
2439.89/2447.34 c #Conflicts: 1193000 | #Constraints: 25401
2439.89/2447.34 c #Conflicts: 1194000 | #Constraints: 26403
2439.89/2447.34 c #Conflicts: 1195000 | #Constraints: 27407
2439.89/2447.34 c #Conflicts: 1196000 | #Constraints: 28409
2439.89/2447.34 c #Conflicts: 1197000 | #Constraints: 29411
2439.89/2447.34 c #Conflicts: 1198000 | #Constraints: 30414
2439.89/2447.34 c #Conflicts: 1199000 | #Constraints: 31418
2439.89/2447.34 c #Conflicts: 1200000 | #Constraints: 32427
2439.89/2447.34 c #Conflicts: 1201000 | #Constraints: 33430
2439.89/2447.34 c #Conflicts: 1202000 | #Constraints: 34431
2439.89/2447.34 c #Conflicts: 1203000 | #Constraints: 35435
2439.89/2447.34 c #Conflicts: 1204000 | #Constraints: 36438
2439.89/2447.34 c #Conflicts: 1205000 | #Constraints: 37440
2439.89/2447.34 c #Conflicts: 1206000 | #Constraints: 38444
2439.89/2447.34 c #Conflicts: 1207000 | #Constraints: 39449
2439.89/2447.34 c #Conflicts: 1208000 | #Constraints: 40453
2439.89/2447.34 c #Conflicts: 1209000 | #Constraints: 41455
2439.89/2447.34 c #Conflicts: 1210000 | #Constraints: 42458
2439.89/2447.34 c #Conflicts: 1211000 | #Constraints: 43465
2439.89/2447.34 c #Conflicts: 1212000 | #Constraints: 44480
2439.89/2447.34 c INPROCESSING
2439.89/2447.34 c GARBAGE COLLECT
2439.89/2447.34 c rational objective 7
2440.09/2447.57 c GLOBAL bounds - >= 7 @ 2425.37
2440.09/2447.57 c GLOBAL bounds - >= 7 @ 2425.37
2469.07/2476.63 c #Conflicts: 1213000 | #Constraints: 23585
2469.07/2476.63 c #Conflicts: 1214000 | #Constraints: 24592
2469.07/2476.63 c #Conflicts: 1215000 | #Constraints: 25599
2469.07/2476.63 c #Conflicts: 1216000 | #Constraints: 26601
2469.07/2476.63 c #Conflicts: 1217000 | #Constraints: 27603
2469.07/2476.63 c #Conflicts: 1218000 | #Constraints: 28606
2469.07/2476.63 c #Conflicts: 1219000 | #Constraints: 29614
2469.07/2476.63 c #Conflicts: 1220000 | #Constraints: 30625
2469.07/2476.63 c #Conflicts: 1221000 | #Constraints: 31629
2469.07/2476.63 c #Conflicts: 1222000 | #Constraints: 32634
2469.07/2476.63 c #Conflicts: 1223000 | #Constraints: 33638
2469.07/2476.63 c #Conflicts: 1224000 | #Constraints: 34648
2469.07/2476.63 c #Conflicts: 1225000 | #Constraints: 35649
2469.07/2476.63 c #Conflicts: 1226000 | #Constraints: 36651
2469.07/2476.63 c #Conflicts: 1227000 | #Constraints: 37652
2469.07/2476.63 c #Conflicts: 1228000 | #Constraints: 38656
2469.07/2476.63 c #Conflicts: 1229000 | #Constraints: 39658
2469.07/2476.63 c #Conflicts: 1230000 | #Constraints: 40659
2469.07/2476.63 c #Conflicts: 1231000 | #Constraints: 41660
2469.07/2476.63 c #Conflicts: 1232000 | #Constraints: 42663
2469.07/2476.63 c #Conflicts: 1233000 | #Constraints: 43670
2469.07/2476.63 c #Conflicts: 1234000 | #Constraints: 44674
2469.07/2476.63 c INPROCESSING
2469.07/2476.63 c GARBAGE COLLECT
2469.07/2476.63 c rational objective 7
2469.37/2476.93 c GLOBAL bounds - >= 7 @ 2454.41
2469.37/2476.93 c GLOBAL bounds - >= 7 @ 2454.41
2511.72/2519.45 c #Conflicts: 1235000 | #Constraints: 23565
2511.72/2519.45 c #Conflicts: 1236000 | #Constraints: 24569
2511.72/2519.45 c #Conflicts: 1237000 | #Constraints: 25573
2511.72/2519.45 c #Conflicts: 1238000 | #Constraints: 26579
2511.72/2519.45 c #Conflicts: 1239000 | #Constraints: 27586
2511.72/2519.45 c #Conflicts: 1240000 | #Constraints: 28589
2511.72/2519.45 c #Conflicts: 1241000 | #Constraints: 29592
2511.72/2519.45 c #Conflicts: 1242000 | #Constraints: 30594
2511.72/2519.45 c #Conflicts: 1243000 | #Constraints: 31594
2511.72/2519.45 c #Conflicts: 1244000 | #Constraints: 32600
2511.72/2519.45 c #Conflicts: 1245000 | #Constraints: 33608
2511.72/2519.45 c #Conflicts: 1246000 | #Constraints: 34610
2511.72/2519.45 c #Conflicts: 1247000 | #Constraints: 35613
2511.72/2519.45 c #Conflicts: 1248000 | #Constraints: 36618
2511.72/2519.45 c #Conflicts: 1249000 | #Constraints: 37623
2511.72/2519.45 c #Conflicts: 1250000 | #Constraints: 38629
2511.72/2519.45 c #Conflicts: 1251000 | #Constraints: 39631
2511.72/2519.45 c #Conflicts: 1252000 | #Constraints: 40633
2511.72/2519.45 c #Conflicts: 1253000 | #Constraints: 41636
2511.72/2519.45 c #Conflicts: 1254000 | #Constraints: 42639
2511.72/2519.45 c #Conflicts: 1255000 | #Constraints: 43640
2511.72/2519.45 c #Conflicts: 1256000 | #Constraints: 44643
2511.72/2519.45 c INPROCESSING
2511.72/2519.45 c GARBAGE COLLECT
2511.72/2519.45 c rational objective 7
2512.12/2519.86 c GLOBAL bounds - >= 7 @ 2496.96
2512.12/2519.86 c GLOBAL bounds - >= 7 @ 2496.96
2568.03/2575.92 c #Conflicts: 1257000 | #Constraints: 23347
2568.03/2575.92 c #Conflicts: 1258000 | #Constraints: 24353
2568.03/2575.92 c #Conflicts: 1259000 | #Constraints: 25354
2568.03/2575.92 c #Conflicts: 1260000 | #Constraints: 26357
2568.03/2575.92 c #Conflicts: 1261000 | #Constraints: 27362
2568.03/2575.92 c #Conflicts: 1262000 | #Constraints: 28363
2568.03/2575.92 c #Conflicts: 1263000 | #Constraints: 29367
2568.03/2575.92 c #Conflicts: 1264000 | #Constraints: 30369
2568.03/2575.92 c #Conflicts: 1265000 | #Constraints: 31377
2568.03/2575.92 c #Conflicts: 1266000 | #Constraints: 32381
2568.03/2575.92 c #Conflicts: 1267000 | #Constraints: 33387
2568.03/2575.92 c #Conflicts: 1268000 | #Constraints: 34387
2568.03/2575.92 c #Conflicts: 1269000 | #Constraints: 35388
2568.03/2575.92 c #Conflicts: 1270000 | #Constraints: 36393
2568.03/2575.92 c #Conflicts: 1271000 | #Constraints: 37401
2568.03/2575.92 c #Conflicts: 1272000 | #Constraints: 38408
2568.03/2575.92 c #Conflicts: 1273000 | #Constraints: 39412
2568.03/2575.92 c #Conflicts: 1274000 | #Constraints: 40416
2568.03/2575.92 c #Conflicts: 1275000 | #Constraints: 41422
2568.03/2575.92 c #Conflicts: 1276000 | #Constraints: 42431
2568.03/2575.92 c #Conflicts: 1277000 | #Constraints: 43436
2568.03/2575.92 c #Conflicts: 1278000 | #Constraints: 44439
2568.03/2575.92 c #Conflicts: 1279000 | #Constraints: 45441
2568.03/2575.92 c INPROCESSING
2568.03/2575.92 c GARBAGE COLLECT
2568.03/2575.92 c rational objective 7
2568.33/2576.21 c GLOBAL bounds - >= 7 @ 2552.84
2568.33/2576.21 c GLOBAL bounds - >= 7 @ 2552.84
2626.04/2634.18 c #Conflicts: 1280000 | #Constraints: 23946
2626.04/2634.18 c #Conflicts: 1281000 | #Constraints: 24950
2626.04/2634.18 c #Conflicts: 1282000 | #Constraints: 25952
2626.04/2634.18 c #Conflicts: 1283000 | #Constraints: 26954
2626.04/2634.18 c #Conflicts: 1284000 | #Constraints: 27957
2626.04/2634.18 c #Conflicts: 1285000 | #Constraints: 28962
2626.04/2634.18 c #Conflicts: 1286000 | #Constraints: 29966
2626.04/2634.18 c #Conflicts: 1287000 | #Constraints: 30970
2626.04/2634.18 c #Conflicts: 1288000 | #Constraints: 31977
2626.04/2634.18 c #Conflicts: 1289000 | #Constraints: 32982
2626.04/2634.18 c #Conflicts: 1290000 | #Constraints: 33991
2626.04/2634.18 c #Conflicts: 1291000 | #Constraints: 34994
2626.04/2634.18 c #Conflicts: 1292000 | #Constraints: 35996
2626.04/2634.18 c #Conflicts: 1293000 | #Constraints: 36998
2626.04/2634.18 c #Conflicts: 1294000 | #Constraints: 38000
2626.04/2634.18 c #Conflicts: 1295000 | #Constraints: 39004
2626.04/2634.18 c #Conflicts: 1296000 | #Constraints: 40007
2626.04/2634.18 c #Conflicts: 1297000 | #Constraints: 41011
2626.04/2634.18 c #Conflicts: 1298000 | #Constraints: 42019
2626.04/2634.18 c #Conflicts: 1299000 | #Constraints: 43021
2626.04/2634.18 c #Conflicts: 1300000 | #Constraints: 44024
2626.04/2634.18 c #Conflicts: 1301000 | #Constraints: 45026
2626.04/2634.18 c #Conflicts: 1302000 | #Constraints: 46031
2626.04/2634.18 c INPROCESSING
2626.04/2634.18 c GARBAGE COLLECT
2626.04/2634.18 c rational objective 7
2626.42/2634.54 c GLOBAL bounds - >= 7 @ 2610.69
2626.42/2634.54 c GLOBAL bounds - >= 7 @ 2610.69
2674.16/2682.43 c #Conflicts: 1303000 | #Constraints: 24348
2674.16/2682.43 c #Conflicts: 1304000 | #Constraints: 25352
2674.16/2682.43 c #Conflicts: 1305000 | #Constraints: 26357
2674.16/2682.43 c #Conflicts: 1306000 | #Constraints: 27359
2674.16/2682.43 c #Conflicts: 1307000 | #Constraints: 28362
2674.16/2682.43 c #Conflicts: 1308000 | #Constraints: 29362
2674.16/2682.43 c #Conflicts: 1309000 | #Constraints: 30362
2674.16/2682.43 c #Conflicts: 1310000 | #Constraints: 31365
2674.16/2682.43 c #Conflicts: 1311000 | #Constraints: 32367
2674.16/2682.43 c #Conflicts: 1312000 | #Constraints: 33369
2674.16/2682.43 c #Conflicts: 1313000 | #Constraints: 34370
2674.16/2682.43 c #Conflicts: 1314000 | #Constraints: 35370
2674.16/2682.43 c #Conflicts: 1315000 | #Constraints: 36372
2674.16/2682.43 c #Conflicts: 1316000 | #Constraints: 37377
2674.16/2682.43 c #Conflicts: 1317000 | #Constraints: 38381
2674.16/2682.43 c #Conflicts: 1318000 | #Constraints: 39389
2674.16/2682.43 c #Conflicts: 1319000 | #Constraints: 40390
2674.16/2682.43 c #Conflicts: 1320000 | #Constraints: 41392
2674.16/2682.43 c #Conflicts: 1321000 | #Constraints: 42395
2674.16/2682.43 c #Conflicts: 1322000 | #Constraints: 43400
2674.16/2682.44 c #Conflicts: 1323000 | #Constraints: 44402
2674.16/2682.44 c #Conflicts: 1324000 | #Constraints: 45408
2674.16/2682.44 c #Conflicts: 1325000 | #Constraints: 46408
2674.16/2682.44 c INPROCESSING
2674.16/2682.44 c GARBAGE COLLECT
2674.16/2682.44 c rational objective 7
2674.55/2682.86 c GLOBAL bounds - >= 7 @ 2658.58
2674.55/2682.86 c GLOBAL bounds - >= 7 @ 2658.58
2721.79/2730.29 c #Conflicts: 1326000 | #Constraints: 24546
2721.79/2730.29 c #Conflicts: 1327000 | #Constraints: 25553
2721.79/2730.29 c #Conflicts: 1328000 | #Constraints: 26559
2721.79/2730.29 c #Conflicts: 1329000 | #Constraints: 27565
2721.79/2730.29 c #Conflicts: 1330000 | #Constraints: 28571
2721.79/2730.29 c #Conflicts: 1331000 | #Constraints: 29578
2721.79/2730.29 c #Conflicts: 1332000 | #Constraints: 30583
2721.79/2730.29 c #Conflicts: 1333000 | #Constraints: 31589
2721.79/2730.29 c #Conflicts: 1334000 | #Constraints: 32595
2721.79/2730.29 c #Conflicts: 1335000 | #Constraints: 33604
2721.79/2730.29 c #Conflicts: 1336000 | #Constraints: 34612
2721.79/2730.29 c #Conflicts: 1337000 | #Constraints: 35616
2721.79/2730.29 c #Conflicts: 1338000 | #Constraints: 36619
2721.79/2730.29 c #Conflicts: 1339000 | #Constraints: 37633
2721.79/2730.29 c #Conflicts: 1340000 | #Constraints: 38646
2721.79/2730.29 c #Conflicts: 1341000 | #Constraints: 39655
2721.79/2730.29 c #Conflicts: 1342000 | #Constraints: 40664
2721.79/2730.29 c #Conflicts: 1343000 | #Constraints: 41670
2721.79/2730.29 c #Conflicts: 1344000 | #Constraints: 42674
2721.79/2730.29 c #Conflicts: 1345000 | #Constraints: 43677
2721.79/2730.29 c #Conflicts: 1346000 | #Constraints: 44687
2721.79/2730.29 c #Conflicts: 1347000 | #Constraints: 45689
2721.79/2730.29 c #Conflicts: 1348000 | #Constraints: 46696
2721.79/2730.29 c INPROCESSING
2721.79/2730.29 c GARBAGE COLLECT
2721.79/2730.29 c rational objective 7
2722.09/2730.58 c GLOBAL bounds - >= 7 @ 2705.93
2722.09/2730.58 c GLOBAL bounds - >= 7 @ 2705.93
2757.97/2766.55 c #Conflicts: 1349000 | #Constraints: 24607
2757.97/2766.55 c #Conflicts: 1350000 | #Constraints: 25611
2757.97/2766.55 c #Conflicts: 1351000 | #Constraints: 26613
2757.97/2766.55 c #Conflicts: 1352000 | #Constraints: 27615
2757.97/2766.55 c #Conflicts: 1353000 | #Constraints: 28626
2757.97/2766.55 c #Conflicts: 1354000 | #Constraints: 29628
2757.97/2766.55 c #Conflicts: 1355000 | #Constraints: 30633
2757.97/2766.55 c #Conflicts: 1356000 | #Constraints: 31636
2757.97/2766.55 c #Conflicts: 1357000 | #Constraints: 32637
2757.97/2766.55 c #Conflicts: 1358000 | #Constraints: 33642
2757.97/2766.55 c #Conflicts: 1359000 | #Constraints: 34644
2757.97/2766.55 c #Conflicts: 1360000 | #Constraints: 35646
2757.97/2766.55 c #Conflicts: 1361000 | #Constraints: 36650
2757.97/2766.55 c #Conflicts: 1362000 | #Constraints: 37655
2757.97/2766.55 c #Conflicts: 1363000 | #Constraints: 38658
2757.97/2766.55 c #Conflicts: 1364000 | #Constraints: 39661
2757.97/2766.55 c #Conflicts: 1365000 | #Constraints: 40666
2757.97/2766.55 c #Conflicts: 1366000 | #Constraints: 41670
2757.97/2766.55 c #Conflicts: 1367000 | #Constraints: 42676
2757.97/2766.55 c #Conflicts: 1368000 | #Constraints: 43679
2757.97/2766.55 c #Conflicts: 1369000 | #Constraints: 44680
2757.97/2766.55 c #Conflicts: 1370000 | #Constraints: 45681
2757.97/2766.55 c #Conflicts: 1371000 | #Constraints: 46683
2757.97/2766.55 c INPROCESSING
2757.97/2766.55 c GARBAGE COLLECT
2757.97/2766.55 c rational objective 7
2758.36/2766.93 c GLOBAL bounds - >= 7 @ 2741.92
2758.36/2766.93 c GLOBAL bounds - >= 7 @ 2741.92
2809.49/2818.23 c #Conflicts: 1372000 | #Constraints: 24363
2809.49/2818.23 c #Conflicts: 1373000 | #Constraints: 25367
2809.49/2818.23 c #Conflicts: 1374000 | #Constraints: 26373
2809.49/2818.23 c #Conflicts: 1375000 | #Constraints: 27378
2809.49/2818.23 c #Conflicts: 1376000 | #Constraints: 28391
2809.49/2818.23 c #Conflicts: 1377000 | #Constraints: 29403
2809.49/2818.23 c #Conflicts: 1378000 | #Constraints: 30408
2809.49/2818.23 c #Conflicts: 1379000 | #Constraints: 31412
2809.49/2818.23 c #Conflicts: 1380000 | #Constraints: 32417
2809.49/2818.23 c #Conflicts: 1381000 | #Constraints: 33422
2809.49/2818.23 c #Conflicts: 1382000 | #Constraints: 34426
2809.49/2818.23 c #Conflicts: 1383000 | #Constraints: 35429
2809.49/2818.23 c #Conflicts: 1384000 | #Constraints: 36435
2809.49/2818.23 c #Conflicts: 1385000 | #Constraints: 37446
2809.49/2818.23 c #Conflicts: 1386000 | #Constraints: 38449
2809.49/2818.23 c #Conflicts: 1387000 | #Constraints: 39451
2809.49/2818.23 c #Conflicts: 1388000 | #Constraints: 40456
2809.49/2818.23 c #Conflicts: 1389000 | #Constraints: 41458
2809.49/2818.23 c #Conflicts: 1390000 | #Constraints: 42462
2809.49/2818.23 c #Conflicts: 1391000 | #Constraints: 43464
2809.49/2818.23 c #Conflicts: 1392000 | #Constraints: 44467
2809.49/2818.23 c #Conflicts: 1393000 | #Constraints: 45469
2809.49/2818.23 c #Conflicts: 1394000 | #Constraints: 46474
2809.49/2818.23 c #Conflicts: 1395000 | #Constraints: 47478
2809.49/2818.23 c INPROCESSING
2809.49/2818.23 c GARBAGE COLLECT
2809.49/2818.23 c rational objective 7
2809.89/2818.60 c GLOBAL bounds - >= 7 @ 2793.14
2809.89/2818.60 c GLOBAL bounds - >= 7 @ 2793.14
2876.18/2885.16 c #Conflicts: 1396000 | #Constraints: 24970
2876.18/2885.16 c #Conflicts: 1397000 | #Constraints: 25980
2876.18/2885.16 c #Conflicts: 1398000 | #Constraints: 26990
2876.18/2885.16 c #Conflicts: 1399000 | #Constraints: 28002
2876.18/2885.16 c #Conflicts: 1400000 | #Constraints: 29012
2876.18/2885.16 c #Conflicts: 1401000 | #Constraints: 30018
2876.18/2885.16 c #Conflicts: 1402000 | #Constraints: 31034
2876.18/2885.16 c #Conflicts: 1403000 | #Constraints: 32043
2876.18/2885.16 c #Conflicts: 1404000 | #Constraints: 33052
2876.18/2885.16 c #Conflicts: 1405000 | #Constraints: 34053
2876.18/2885.16 c #Conflicts: 1406000 | #Constraints: 35054
2876.18/2885.16 c #Conflicts: 1407000 | #Constraints: 36059
2876.18/2885.16 c #Conflicts: 1408000 | #Constraints: 37061
2876.18/2885.16 c #Conflicts: 1409000 | #Constraints: 38062
2876.18/2885.16 c #Conflicts: 1410000 | #Constraints: 39067
2876.18/2885.16 c #Conflicts: 1411000 | #Constraints: 40072
2876.18/2885.16 c #Conflicts: 1412000 | #Constraints: 41073
2876.18/2885.16 c #Conflicts: 1413000 | #Constraints: 42076
2876.18/2885.16 c #Conflicts: 1414000 | #Constraints: 43080
2876.18/2885.16 c #Conflicts: 1415000 | #Constraints: 44082
2876.18/2885.16 c #Conflicts: 1416000 | #Constraints: 45084
2876.18/2885.16 c #Conflicts: 1417000 | #Constraints: 46085
2876.18/2885.16 c #Conflicts: 1418000 | #Constraints: 47087
2876.18/2885.16 c #Conflicts: 1419000 | #Constraints: 48088
2876.18/2885.16 c INPROCESSING
2876.18/2885.16 c GARBAGE COLLECT
2876.18/2885.16 c rational objective 7
2876.46/2885.44 c GLOBAL bounds - >= 7 @ 2859.48
2876.46/2885.44 c GLOBAL bounds - >= 7 @ 2859.48
2960.38/2969.63 c #Conflicts: 1420000 | #Constraints: 25379
2960.38/2969.63 c #Conflicts: 1421000 | #Constraints: 26395
2960.38/2969.63 c #Conflicts: 1422000 | #Constraints: 27402
2960.38/2969.63 c #Conflicts: 1423000 | #Constraints: 28412
2960.38/2969.63 c #Conflicts: 1424000 | #Constraints: 29416
2960.38/2969.63 c #Conflicts: 1425000 | #Constraints: 30417
2960.38/2969.63 c #Conflicts: 1426000 | #Constraints: 31423
2960.38/2969.63 c #Conflicts: 1427000 | #Constraints: 32425
2960.38/2969.63 c #Conflicts: 1428000 | #Constraints: 33430
2960.38/2969.63 c #Conflicts: 1429000 | #Constraints: 34435
2960.38/2969.63 c #Conflicts: 1430000 | #Constraints: 35437
2960.38/2969.63 c #Conflicts: 1431000 | #Constraints: 36438
2960.38/2969.63 c #Conflicts: 1432000 | #Constraints: 37440
2960.38/2969.63 c #Conflicts: 1433000 | #Constraints: 38443
2960.38/2969.63 c #Conflicts: 1434000 | #Constraints: 39445
2960.38/2969.63 c #Conflicts: 1435000 | #Constraints: 40449
2960.38/2969.63 c #Conflicts: 1436000 | #Constraints: 41454
2960.38/2969.63 c #Conflicts: 1437000 | #Constraints: 42455
2960.38/2969.63 c #Conflicts: 1438000 | #Constraints: 43457
2960.38/2969.63 c #Conflicts: 1439000 | #Constraints: 44461
2960.38/2969.63 c #Conflicts: 1440000 | #Constraints: 45462
2960.38/2969.63 c #Conflicts: 1441000 | #Constraints: 46463
2960.38/2969.63 c #Conflicts: 1442000 | #Constraints: 47466
2960.38/2969.63 c #Conflicts: 1443000 | #Constraints: 48472
2960.38/2969.63 c INPROCESSING
2960.38/2969.63 c GARBAGE COLLECT
2960.38/2969.63 c rational objective 7
2960.69/2969.93 c GLOBAL bounds - >= 7 @ 2943.42
2960.69/2969.93 c GLOBAL bounds - >= 7 @ 2943.42
3027.86/3037.31 c #Conflicts: 1444000 | #Constraints: 25574
3027.86/3037.31 c #Conflicts: 1445000 | #Constraints: 26576
3027.86/3037.31 c #Conflicts: 1446000 | #Constraints: 27576
3027.86/3037.31 c #Conflicts: 1447000 | #Constraints: 28578
3027.86/3037.31 c #Conflicts: 1448000 | #Constraints: 29582
3027.86/3037.31 c #Conflicts: 1449000 | #Constraints: 30586
3027.86/3037.31 c #Conflicts: 1450000 | #Constraints: 31588
3027.86/3037.31 c #Conflicts: 1451000 | #Constraints: 32595
3027.86/3037.31 c #Conflicts: 1452000 | #Constraints: 33601
3027.86/3037.31 c #Conflicts: 1453000 | #Constraints: 34605
3027.86/3037.31 c #Conflicts: 1454000 | #Constraints: 35611
3027.86/3037.31 c #Conflicts: 1455000 | #Constraints: 36613
3027.86/3037.31 c #Conflicts: 1456000 | #Constraints: 37614
3027.86/3037.31 c #Conflicts: 1457000 | #Constraints: 38615
3027.86/3037.31 c #Conflicts: 1458000 | #Constraints: 39618
3027.86/3037.31 c #Conflicts: 1459000 | #Constraints: 40618
3027.86/3037.31 c #Conflicts: 1460000 | #Constraints: 41618
3027.86/3037.31 c #Conflicts: 1461000 | #Constraints: 42619
3027.86/3037.31 c #Conflicts: 1462000 | #Constraints: 43624
3027.86/3037.31 c #Conflicts: 1463000 | #Constraints: 44625
3027.86/3037.31 c #Conflicts: 1464000 | #Constraints: 45628
3027.86/3037.31 c #Conflicts: 1465000 | #Constraints: 46632
3027.86/3037.31 c #Conflicts: 1466000 | #Constraints: 47632
3027.86/3037.31 c #Conflicts: 1467000 | #Constraints: 48636
3027.86/3037.31 c INPROCESSING
3027.86/3037.31 c GARBAGE COLLECT
3027.86/3037.31 c rational objective 7
3028.06/3037.55 c GLOBAL bounds - >= 7 @ 3010.54
3028.06/3037.55 c GLOBAL bounds - >= 7 @ 3010.54
3104.60/3114.30 c #Conflicts: 1468000 | #Constraints: 25547
3104.60/3114.30 c #Conflicts: 1469000 | #Constraints: 26549
3104.60/3114.30 c #Conflicts: 1470000 | #Constraints: 27553
3104.60/3114.30 c #Conflicts: 1471000 | #Constraints: 28557
3104.60/3114.30 c #Conflicts: 1472000 | #Constraints: 29561
3104.60/3114.30 c #Conflicts: 1473000 | #Constraints: 30564
3104.60/3114.30 c #Conflicts: 1474000 | #Constraints: 31570
3104.60/3114.30 c #Conflicts: 1475000 | #Constraints: 32573
3104.60/3114.30 c #Conflicts: 1476000 | #Constraints: 33577
3104.60/3114.30 c #Conflicts: 1477000 | #Constraints: 34579
3104.60/3114.30 c #Conflicts: 1478000 | #Constraints: 35584
3104.60/3114.30 c #Conflicts: 1479000 | #Constraints: 36592
3104.60/3114.30 c #Conflicts: 1480000 | #Constraints: 37600
3104.60/3114.30 c #Conflicts: 1481000 | #Constraints: 38607
3104.60/3114.30 c #Conflicts: 1482000 | #Constraints: 39613
3104.60/3114.30 c #Conflicts: 1483000 | #Constraints: 40615
3104.60/3114.30 c #Conflicts: 1484000 | #Constraints: 41620
3104.60/3114.30 c #Conflicts: 1485000 | #Constraints: 42622
3104.60/3114.30 c #Conflicts: 1486000 | #Constraints: 43624
3104.60/3114.30 c #Conflicts: 1487000 | #Constraints: 44627
3104.60/3114.30 c #Conflicts: 1488000 | #Constraints: 45631
3104.60/3114.30 c #Conflicts: 1489000 | #Constraints: 46634
3104.60/3114.30 c #Conflicts: 1490000 | #Constraints: 47639
3104.60/3114.30 c #Conflicts: 1491000 | #Constraints: 48641
3104.60/3114.30 c INPROCESSING
3104.60/3114.30 c GARBAGE COLLECT
3104.60/3114.30 c rational objective 7
3104.89/3114.62 c GLOBAL bounds - >= 7 @ 3087.07
3104.89/3114.62 c GLOBAL bounds - >= 7 @ 3087.07
3177.57/3187.54 c #Conflicts: 1492000 | #Constraints: 25341
3177.57/3187.54 c #Conflicts: 1493000 | #Constraints: 26343
3177.57/3187.54 c #Conflicts: 1494000 | #Constraints: 27351
3177.57/3187.54 c #Conflicts: 1495000 | #Constraints: 28358
3177.57/3187.54 c #Conflicts: 1496000 | #Constraints: 29362
3177.57/3187.54 c #Conflicts: 1497000 | #Constraints: 30370
3177.57/3187.54 c #Conflicts: 1498000 | #Constraints: 31375
3177.57/3187.54 c #Conflicts: 1499000 | #Constraints: 32379
3177.57/3187.54 c #Conflicts: 1500000 | #Constraints: 33383
3177.57/3187.54 c #Conflicts: 1501000 | #Constraints: 34388
3177.57/3187.54 c #Conflicts: 1502000 | #Constraints: 35406
3177.57/3187.54 c #Conflicts: 1503000 | #Constraints: 36415
3177.57/3187.54 c #Conflicts: 1504000 | #Constraints: 37429
3177.57/3187.54 c #Conflicts: 1505000 | #Constraints: 38438
3177.57/3187.54 c #Conflicts: 1506000 | #Constraints: 39451
3177.57/3187.54 c #Conflicts: 1507000 | #Constraints: 40454
3177.57/3187.54 c #Conflicts: 1508000 | #Constraints: 41458
3177.57/3187.54 c #Conflicts: 1509000 | #Constraints: 42462
3177.57/3187.54 c #Conflicts: 1510000 | #Constraints: 43467
3177.57/3187.54 c #Conflicts: 1511000 | #Constraints: 44473
3177.57/3187.54 c #Conflicts: 1512000 | #Constraints: 45473
3177.57/3187.54 c #Conflicts: 1513000 | #Constraints: 46479
3177.57/3187.54 c #Conflicts: 1514000 | #Constraints: 47486
3177.57/3187.54 c #Conflicts: 1515000 | #Constraints: 48491
3177.57/3187.54 c #Conflicts: 1516000 | #Constraints: 49498
3177.57/3187.54 c INPROCESSING
3177.57/3187.54 c GARBAGE COLLECT
3177.57/3187.54 c rational objective 7
3177.77/3187.79 c GLOBAL bounds - >= 7 @ 3159.7
3177.77/3187.79 c GLOBAL bounds - >= 7 @ 3159.7
3238.55/3248.75 c #Conflicts: 1517000 | #Constraints: 25983
3238.55/3248.75 c #Conflicts: 1518000 | #Constraints: 26987
3238.55/3248.75 c #Conflicts: 1519000 | #Constraints: 27991
3238.55/3248.75 c #Conflicts: 1520000 | #Constraints: 28993
3238.55/3248.75 c #Conflicts: 1521000 | #Constraints: 29998
3238.55/3248.75 c #Conflicts: 1522000 | #Constraints: 31004
3238.55/3248.75 c #Conflicts: 1523000 | #Constraints: 32007
3238.55/3248.75 c #Conflicts: 1524000 | #Constraints: 33009
3238.55/3248.75 c #Conflicts: 1525000 | #Constraints: 34013
3238.55/3248.75 c #Conflicts: 1526000 | #Constraints: 35018
3238.55/3248.75 c #Conflicts: 1527000 | #Constraints: 36020
3238.55/3248.75 c #Conflicts: 1528000 | #Constraints: 37025
3238.55/3248.75 c #Conflicts: 1529000 | #Constraints: 38028
3238.55/3248.75 c #Conflicts: 1530000 | #Constraints: 39032
3238.55/3248.75 c #Conflicts: 1531000 | #Constraints: 40036
3238.55/3248.75 c #Conflicts: 1532000 | #Constraints: 41043
3238.55/3248.75 c #Conflicts: 1533000 | #Constraints: 42049
3238.55/3248.75 c #Conflicts: 1534000 | #Constraints: 43053
3238.55/3248.75 c #Conflicts: 1535000 | #Constraints: 44056
3238.55/3248.75 c #Conflicts: 1536000 | #Constraints: 45057
3238.55/3248.75 c #Conflicts: 1537000 | #Constraints: 46061
3238.55/3248.75 c #Conflicts: 1538000 | #Constraints: 47067
3238.55/3248.75 c #Conflicts: 1539000 | #Constraints: 48075
3238.55/3248.75 c #Conflicts: 1540000 | #Constraints: 49082
3238.55/3248.75 c #Conflicts: 1541000 | #Constraints: 50087
3238.55/3248.75 c INPROCESSING
3238.55/3248.75 c GARBAGE COLLECT
3238.55/3248.75 c rational objective 7
3238.96/3249.19 c GLOBAL bounds - >= 7 @ 3220.59
3238.96/3249.19 c GLOBAL bounds - >= 7 @ 3220.59
3292.68/3303.10 c #Conflicts: 1542000 | #Constraints: 26394
3292.68/3303.10 c #Conflicts: 1543000 | #Constraints: 27396
3292.68/3303.10 c #Conflicts: 1544000 | #Constraints: 28397
3292.68/3303.10 c #Conflicts: 1545000 | #Constraints: 29399
3292.68/3303.10 c #Conflicts: 1546000 | #Constraints: 30400
3292.68/3303.10 c #Conflicts: 1547000 | #Constraints: 31403
3292.68/3303.10 c #Conflicts: 1548000 | #Constraints: 32406
3292.68/3303.10 c #Conflicts: 1549000 | #Constraints: 33410
3292.68/3303.10 c #Conflicts: 1550000 | #Constraints: 34412
3292.68/3303.10 c #Conflicts: 1551000 | #Constraints: 35414
3292.68/3303.10 c #Conflicts: 1552000 | #Constraints: 36419
3292.68/3303.10 c #Conflicts: 1553000 | #Constraints: 37423
3292.68/3303.10 c #Conflicts: 1554000 | #Constraints: 38424
3292.68/3303.10 c #Conflicts: 1555000 | #Constraints: 39426
3292.68/3303.10 c #Conflicts: 1556000 | #Constraints: 40429
3292.68/3303.10 c #Conflicts: 1557000 | #Constraints: 41433
3292.68/3303.10 c #Conflicts: 1558000 | #Constraints: 42435
3292.68/3303.10 c #Conflicts: 1559000 | #Constraints: 43439
3292.68/3303.10 c #Conflicts: 1560000 | #Constraints: 44442
3292.68/3303.10 c #Conflicts: 1561000 | #Constraints: 45447
3292.68/3303.10 c #Conflicts: 1562000 | #Constraints: 46449
3292.68/3303.10 c #Conflicts: 1563000 | #Constraints: 47450
3292.68/3303.10 c #Conflicts: 1564000 | #Constraints: 48453
3292.68/3303.10 c #Conflicts: 1565000 | #Constraints: 49458
3292.68/3303.10 c #Conflicts: 1566000 | #Constraints: 50460
3292.68/3303.10 c INPROCESSING
3292.68/3303.10 c GARBAGE COLLECT
3292.68/3303.10 c rational objective 7
3293.07/3303.42 c GLOBAL bounds - >= 7 @ 3274.4
3293.07/3303.42 c GLOBAL bounds - >= 7 @ 3274.4
3409.05/3419.87 c #Conflicts: 1567000 | #Constraints: 26567
3409.05/3419.87 c #Conflicts: 1568000 | #Constraints: 27570
3409.05/3419.87 c #Conflicts: 1569000 | #Constraints: 28575
3409.05/3419.87 c #Conflicts: 1570000 | #Constraints: 29578
3409.05/3419.87 c #Conflicts: 1571000 | #Constraints: 30583
3409.05/3419.87 c #Conflicts: 1572000 | #Constraints: 31588
3409.05/3419.87 c #Conflicts: 1573000 | #Constraints: 32594
3409.05/3419.87 c #Conflicts: 1574000 | #Constraints: 33600
3409.05/3419.87 c #Conflicts: 1575000 | #Constraints: 34611
3409.05/3419.87 c #Conflicts: 1576000 | #Constraints: 35631
3409.05/3419.87 c #Conflicts: 1577000 | #Constraints: 36639
3409.05/3419.87 c #Conflicts: 1578000 | #Constraints: 37644
3409.05/3419.87 c #Conflicts: 1579000 | #Constraints: 38656
3409.05/3419.87 c #Conflicts: 1580000 | #Constraints: 39666
3409.05/3419.87 c #Conflicts: 1581000 | #Constraints: 40677
3409.05/3419.87 c #Conflicts: 1582000 | #Constraints: 41683
3409.05/3419.87 c #Conflicts: 1583000 | #Constraints: 42687
3409.05/3419.87 c #Conflicts: 1584000 | #Constraints: 43704
3409.05/3419.87 c #Conflicts: 1585000 | #Constraints: 44719
3409.05/3419.87 c #Conflicts: 1586000 | #Constraints: 45731
3409.05/3419.87 c #Conflicts: 1587000 | #Constraints: 46739
3409.05/3419.87 c #Conflicts: 1588000 | #Constraints: 47747
3409.05/3419.87 c #Conflicts: 1589000 | #Constraints: 48756
3409.05/3419.87 c #Conflicts: 1590000 | #Constraints: 49760
3409.05/3419.87 c #Conflicts: 1591000 | #Constraints: 50760
3409.05/3419.87 c INPROCESSING
3409.05/3419.87 c GARBAGE COLLECT
3409.05/3419.87 c rational objective 7
3409.26/3420.10 c GLOBAL bounds - >= 7 @ 3390.16
3409.26/3420.10 c GLOBAL bounds - >= 7 @ 3390.16
3497.46/3508.54 c #Conflicts: 1592000 | #Constraints: 26647
3497.46/3508.54 c #Conflicts: 1593000 | #Constraints: 27653
3497.46/3508.54 c #Conflicts: 1594000 | #Constraints: 28665
3497.46/3508.54 c #Conflicts: 1595000 | #Constraints: 29671
3497.46/3508.54 c #Conflicts: 1596000 | #Constraints: 30680
3497.46/3508.54 c #Conflicts: 1597000 | #Constraints: 31689
3497.46/3508.54 c #Conflicts: 1598000 | #Constraints: 32712
3497.46/3508.54 c #Conflicts: 1599000 | #Constraints: 33727
3497.46/3508.54 c #Conflicts: 1600000 | #Constraints: 34730
3497.46/3508.54 c #Conflicts: 1601000 | #Constraints: 35745
3497.46/3508.54 c #Conflicts: 1602000 | #Constraints: 36761
3497.46/3508.54 c #Conflicts: 1603000 | #Constraints: 37766
3497.46/3508.54 c #Conflicts: 1604000 | #Constraints: 38772
3497.46/3508.54 c #Conflicts: 1605000 | #Constraints: 39782
3497.46/3508.54 c #Conflicts: 1606000 | #Constraints: 40787
3497.46/3508.54 c #Conflicts: 1607000 | #Constraints: 41797
3497.46/3508.54 c #Conflicts: 1608000 | #Constraints: 42806
3497.46/3508.54 c #Conflicts: 1609000 | #Constraints: 43815
3497.46/3508.54 c #Conflicts: 1610000 | #Constraints: 44822
3497.46/3508.54 c #Conflicts: 1611000 | #Constraints: 45827
3497.46/3508.54 c #Conflicts: 1612000 | #Constraints: 46838
3497.46/3508.54 c #Conflicts: 1613000 | #Constraints: 47849
3497.46/3508.54 c #Conflicts: 1614000 | #Constraints: 48853
3497.46/3508.54 c #Conflicts: 1615000 | #Constraints: 49855
3497.46/3508.54 c #Conflicts: 1616000 | #Constraints: 50861
3497.46/3508.54 c INPROCESSING
3497.46/3508.54 c GARBAGE COLLECT
3497.46/3508.54 c rational objective 7
3497.66/3508.79 c GLOBAL bounds - >= 7 @ 3478.24
3497.66/3508.79 c GLOBAL bounds - >= 7 @ 3478.24
3600.03/3611.40 c #Conflicts: 1617000 | #Constraints: 26521
3600.03/3611.40 c #Conflicts: 1618000 | #Constraints: 27525
3600.03/3611.40 c #Conflicts: 1619000 | #Constraints: 28528
3600.03/3611.40 c #Conflicts: 1620000 | #Constraints: 29532
3600.03/3611.40 c #Conflicts: 1621000 | #Constraints: 30536
3600.03/3611.40 c #Conflicts: 1622000 | #Constraints: 31539
3600.03/3611.40 c #Conflicts: 1623000 | #Constraints: 32544
3600.03/3611.40 c #Conflicts: 1624000 | #Constraints: 33546
3600.03/3611.40 c #Conflicts: 1625000 | #Constraints: 34550
3600.03/3611.40 c #Conflicts: 1626000 | #Constraints: 35553
3600.03/3611.40 c #Conflicts: 1627000 | #Constraints: 36555
3600.03/3611.40 c #Conflicts: 1628000 | #Constraints: 37557
3600.03/3611.40 c #Conflicts: 1629000 | #Constraints: 38560
3600.03/3611.40 c #Conflicts: 1630000 | #Constraints: 39563
3600.03/3611.40 c #Conflicts: 1631000 | #Constraints: 40566
3600.03/3611.40 c #Conflicts: 1632000 | #Constraints: 41572
3600.03/3611.40 c #Conflicts: 1633000 | #Constraints: 42577
3600.03/3611.40 c cpu time 3580.24 s
3600.03/3611.40 c deterministic time 403656715792 4.04e+11
3600.03/3611.40 c optimization time 102.013 s
3600.03/3611.40 c total solve time 3478.14 s
3600.03/3611.40 c core-guided solve time 0 s
3600.03/3611.40 c propagation time 2395.37 s
3600.03/3611.40 c conflict analysis time 1016.63 s
3600.03/3611.40 c propagations 466746023
3600.03/3611.40 c resolve steps 12388563
3600.03/3611.40 c decisions 10721868
3600.03/3611.40 c conflicts 1633670
3600.03/3611.40 c restarts 3069
3600.03/3611.40 c inprocessing phases 118
3600.03/3611.40 c garbage collections 118 ,( 100.00 )
3600.03/3611.40 c input clauses 5045 ,( 90.59 )
3600.03/3611.40 c input cardinalities 76 ,( 1.36 )
3600.03/3611.40 c input general constraints 448 ,( 8.04 )
3600.03/3611.40 c input average constraint length 9.60
3600.03/3611.40 c input average constraint degree 71.21
3600.03/3611.40 c learned clauses 182982 ,( 11.14 )
3600.03/3611.40 c learned cardinalities 12214 ,( 0.74 )
3600.03/3611.40 c learned general constraints 1447429 ,( 88.12 )
3600.03/3611.40 c learned average constraint length 968.12
3600.03/3611.40 c learned average constraint degree 8076524540.16
3600.03/3611.40 c watched CF 32, 64, 128, Arb: 547715 , 0 , 0 , 0
3600.03/3611.40 c counting CF 32, 64, 128, Arb: 900163 , 0 , 0 , 0
3600.03/3611.40 c watched constraints 547715 ,( 37.83 )
3600.03/3611.40 c counting constraints 900162 ,( 62.17 )
3600.03/3611.40 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 26328773 , 42462948 , 4435872829 ,( 378167220 , 4057705609 )
3600.03/3611.40 c gcd simplifications 119417
3600.03/3611.40 c detected cardinalities 615
3600.03/3611.40 c weakened non-implied lits 375706703
3600.03/3611.40 c weakened non-implying lits 1629954
3600.03/3611.40 c original variables 4977
3600.03/3611.40 c clausal propagations 1531542
3600.03/3611.40 c cardinality propagations 33668590
3600.03/3611.40 c watched propagations 3476466
3600.03/3611.40 c counting propagations 414787977
3600.03/3611.40 c watch lookups 217115807472
3600.03/3611.40 c watch backjump lookups 0
3600.03/3611.40 c watch checks 55871266505
3600.03/3611.40 c propagation checks 124753748482
3600.03/3611.40 c constraint additions 4957660805
3600.03/3611.40 c trail pops 479090819
3600.03/3611.40 c formula constraints 5569
3600.03/3611.40 c learned constraints 1627096
3600.03/3611.40 c bound constraints 0
3600.03/3611.40 c core-guided constraints 0
3600.03/3611.40 c encountered formula constraints 8405920
3600.03/3611.40 c encountered learned constraints 4720216
3600.03/3611.40 c encountered bound constraints 0
3600.03/3611.40 c encountered core-guided constraints 0
3600.03/3611.40 c LP total time 232.276 s
3600.03/3611.40 c LP solve time 185.78 s
3600.03/3611.40 c LP constraints added 6546
3600.03/3611.40 c LP constraints removed 966
3600.03/3611.40 c LP pivots internal 1633874
3600.03/3611.40 c LP pivots root 39943
3600.03/3611.40 c LP calls 16484
3600.03/3611.40 c LP optimalities 7908
3600.03/3611.40 c LP no pivot count 2015
3600.03/3611.40 c LP infeasibilities 8571
3600.03/3611.40 c LP valid Farkas constraints 8557
3600.03/3611.40 c LP learned Farkas constraints 6573
3600.03/3611.40 c LP basis resets 10
3600.03/3611.40 c LP cycling count 0
3600.03/3611.40 c LP singular count 2
3600.03/3611.40 c LP no primal count 0
3600.03/3611.40 c LP no farkas count 8
3600.03/3611.40 c LP other issue count 0
3600.03/3611.40 c LP Gomory cuts 399
3600.03/3611.40 c LP learned cuts 578
3600.03/3611.40 c LP deleted cuts 966
3600.03/3611.40 c LP encountered Gomory constraints 10584
3600.03/3611.40 c LP encountered Farkas constraints 793605
3600.03/3611.40 c LP encountered learned Farkas constraints 85335
3600.03/3611.40 c CG auxiliary variables introduced 1
3600.03/3611.40 c CG solutions found 0
3600.03/3611.40 c CG cores constructed 0
3600.03/3611.40 c CG core cardinality constraints returned 0
3600.03/3611.40 c CG unit cores 0
3600.03/3611.40 c CG single cores 0
3600.03/3611.40 c CG blocks removed during cardinality reduction 0
3600.03/3611.40 c CG first core best 0
3600.03/3611.40 c CG decision core best 0
3600.03/3611.40 c CG core reduction tie 0
3600.03/3611.40 c CG core degree average 0.00
3600.03/3611.40 c CG core slack average 0.00
3600.03/3611.40 c CG core upper bound improvements 0
3600.03/3611.40 c STR number of successful calls 0
3600.03/3611.40 c STR number of unsuccessful calls 0
3600.03/3611.40 c STR number of inconclusive calls 0
3600.03/3611.40 c STR number of successful attempts 0
3600.03/3611.40 c STR number of unsuccessful attempts 0
3600.03/3611.40 c STR number of inconclusive attempts 0
3600.03/3611.40 c STR average degree increase per successful call inf
3600.03/3611.40 c STR average degree increase per successful attempt inf
3600.03/3611.40 c STR total number of conflicts for successful attempts 0
3600.03/3611.40 c STR total number of conflicts for unsuccessful attempts 0
3600.03/3611.40 c STR total number of conflicts for inconclusive attempts 0
3600.03/3611.40 c STR average number of conflicts per successful attempt inf
3600.03/3611.40 c STR average number of conflicts per unsuccessful attempt inf
3600.03/3611.40 c STR average number of conflicts per inconclusive attempt inf
3600.03/3611.40 c AVG.sumWPerc 49.93
3600.03/3611.40 c bigint constraints 0
3600.03/3611.40 s UNKNOWN
3600.03/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 (58627 MiB free)
memory of node 1: 64465 MiB (61536 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4499304-1751406331/watcher-4499304-1751406331 -o /tmp/evaluation-result-4499304-1751406331/solver-4499304-1751406331 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751396781-56603 --watchdog 3760 run-opt.sh HOME/instance-4499304-1751406331.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=58159, runsolver pid=58156
Current StackSize limit: 8192 KiB
[startup+0.100074 s]*
/proc/loadavg: 4.15 4.20 4.16 5/255 58161
/proc/meminfo: memFree=123045740/131382116 swapFree=33010160/33010684
[pid=58159] ppid=58156 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/58159/stat : 58159 (run-opt.sh) S 58156 58159 56593 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 56312251 4292608 768 18446744073709551615 94185769062400 94185769956933 140725560351632 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94185770195984 94185770243728 94185773809664 140725560359277 140725560359400 140725560359400 140725560365002 0
/proc/58159/statm: 1048 768 704 219 0 110 0
[pid=58161] ppid=58159 vsize=58664 memory=14980 CPUtime=0.07 cores=0,2
/proc/58161/stat : 58161 (roundingsat) R 58159 58159 56593 0 -1 4194304 1241 0 0 0 6 1 0 0 20 0 1 0 56312252 60071936 3745 18446744073709551615 4227072 8923433 140729346209664 0 0 0 0 0 8405026 0 0 0 17 2 0 0 0 0 0 9823104 9832592 21471232 140729346218402 140729346218536 140729346218536 140729346224106 0
/proc/58161/statm: 14666 3745 2208 1147 0 2093 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 62856 KiB
Current children cumulated memory: 18052 KiB
[startup+0.213842 s]*
/proc/loadavg: 4.14 4.20 4.16 5/255 58161
/proc/meminfo: memFree=123030052/131382116 swapFree=33010160/33010684
[pid=58159] ppid=58156 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/58159/stat : 58159 (run-opt.sh) S 58156 58159 56593 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 56312251 4292608 768 18446744073709551615 94185769062400 94185769956933 140725560351632 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94185770195984 94185770243728 94185773809664 140725560359277 140725560359400 140725560359400 140725560365002 0
/proc/58159/statm: 1048 768 704 219 0 110 0
[pid=58161] ppid=58159 vsize=77032 memory=26572 CPUtime=0.19 cores=0,2
/proc/58161/stat : 58161 (roundingsat) R 58159 58159 56593 0 -1 4194304 4128 0 0 0 15 4 0 0 20 0 1 0 56312252 78880768 6643 18446744073709551615 4227072 8923433 140729346209664 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21471232 140729346218402 140729346218536 140729346218536 140729346224106 0
/proc/58161/statm: 19258 6643 2336 1147 0 6685 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 81224 KiB
Current children cumulated memory: 29644 KiB
[startup+0.313669 s]*
/proc/loadavg: 4.14 4.20 4.16 5/255 58161
/proc/meminfo: memFree=123030072/131382116 swapFree=33010160/33010684
[pid=58159] ppid=58156 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/58159/stat : 58159 (run-opt.sh) S 58156 58159 56593 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 56312251 4292608 768 18446744073709551615 94185769062400 94185769956933 140725560351632 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94185770195984 94185770243728 94185773809664 140725560359277 140725560359400 140725560359400 140725560365002 0
/proc/58159/statm: 1048 768 704 219 0 110 0
[pid=58161] ppid=58159 vsize=77032 memory=26956 CPUtime=0.28 cores=0,2
/proc/58161/stat : 58161 (roundingsat) R 58159 58159 56593 0 -1 4194304 4208 0 0 0 24 4 0 0 20 0 1 0 56312252 78880768 6739 18446744073709551615 4227072 8923433 140729346209664 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21471232 140729346218402 140729346218536 140729346218536 140729346224106 0
/proc/58161/statm: 19258 6739 2368 1147 0 6685 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 81224 KiB
Current children cumulated memory: 30028 KiB
[startup+0.70043 s]
/proc/loadavg: 4.14 4.20 4.16 5/255 58161
/proc/meminfo: memFree=123030072/131382116 swapFree=33010160/33010684
[pid=58159] ppid=58156 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/58159/stat : 58159 (run-opt.sh) S 58156 58159 56593 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 56312251 4292608 768 18446744073709551615 94185769062400 94185769956933 140725560351632 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94185770195984 94185770243728 94185773809664 140725560359277 140725560359400 140725560359400 140725560365002 0
/proc/58159/statm: 1048 768 704 219 0 110 0
[pid=58161] ppid=58159 vsize=82056 memory=32076 CPUtime=0.65 cores=0,2
/proc/58161/stat : 58161 (roundingsat) R 58159 58159 56593 0 -1 4194304 5494 0 0 0 61 4 0 0 20 0 1 0 56312252 84025344 8019 18446744073709551615 4227072 8923433 140729346209664 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21471232 140729346218402 140729346218536 140729346218536 140729346224106 0
/proc/58161/statm: 20514 8019 2368 1147 0 7941 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 86248 KiB
Current children cumulated memory: 35148 KiB
[startup+1.50043 s]
/proc/loadavg: 4.14 4.20 4.16 5/255 58161
/proc/meminfo: memFree=123030072/131382116 swapFree=33010160/33010684
[pid=58159] ppid=58156 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/58159/stat : 58159 (run-opt.sh) S 58156 58159 56593 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 56312251 4292608 768 18446744073709551615 94185769062400 94185769956933 140725560351632 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94185770195984 94185770243728 94185773809664 140725560359277 140725560359400 140725560359400 140725560365002 0
/proc/58159/statm: 1048 768 704 219 0 110 0
[pid=58161] ppid=58159 vsize=89364 memory=41716 CPUtime=1.45 cores=0,2
/proc/58161/stat : 58161 (roundingsat) R 58159 58159 56593 0 -1 4194304 7393 0 0 0 139 6 0 0 20 0 1 0 56312252 91508736 10429 18446744073709551615 4227072 8923433 140729346209664 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21471232 140729346218402 140729346218536 140729346218536 140729346224106 0
/proc/58161/statm: 22341 10429 2368 1147 0 9768 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 93556 KiB
Current children cumulated memory: 44788 KiB
[startup+3.11345 s]
/proc/loadavg: 4.14 4.20 4.16 5/255 58161
/proc/meminfo: memFree=123004528/131382116 swapFree=33010160/33010684
[pid=58159] ppid=58156 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/58159/stat : 58159 (run-opt.sh) S 58156 58159 56593 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 56312251 4292608 768 18446744073709551615 94185769062400 94185769956933 140725560351632 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94185770195984 94185770243728 94185773809664 140725560359277 140725560359400 140725560359400 140725560365002 0
/proc/58159/statm: 1048 768 704 219 0 110 0
[pid=58161] ppid=58159 vsize=109508 memory=60632 CPUtime=3.06 cores=0,2
/proc/58161/stat : 58161 (roundingsat) R 58159 58159 56593 0 -1 4194304 11621 0 0 0 296 10 0 0 20 0 1 0 56312252 112136192 15158 18446744073709551615 4227072 8923433 140729346209664 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21471232 140729346218402 140729346218536 140729346218536 140729346224106 0
/proc/58161/statm: 27377 15158 2368 1147 0 14804 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 113700 KiB
Current children cumulated memory: 63704 KiB
[startup+6.30044 s]
/proc/loadavg: 4.13 4.20 4.16 5/255 58161
/proc/meminfo: memFree=122980944/131382116 swapFree=33010160/33010684
[pid=58159] ppid=58156 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/58159/stat : 58159 (run-opt.sh) S 58156 58159 56593 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 56312251 4292608 768 18446744073709551615 94185769062400 94185769956933 140725560351632 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94185770195984 94185770243728 94185773809664 140725560359277 140725560359400 140725560359400 140725560365002 0
/proc/58159/statm: 1048 768 704 219 0 110 0
[pid=58161] ppid=58159 vsize=126868 memory=71256 CPUtime=6.23 cores=0,2
/proc/58161/stat : 58161 (roundingsat) R 58159 58159 56593 0 -1 4194304 14278 0 0 0 609 14 0 0 20 0 1 0 56312252 129912832 17814 18446744073709551615 4227072 8923433 140729346209664 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21471232 140729346218402 140729346218536 140729346218536 140729346224106 0
/proc/58161/statm: 31717 17814 2368 1147 0 19144 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 131060 KiB
Current children cumulated memory: 74328 KiB
[startup+12.7004 s]
/proc/loadavg: 4.12 4.19 4.16 5/255 58161
/proc/meminfo: memFree=122961744/131382116 swapFree=33010160/33010684
[pid=58159] ppid=58156 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/58159/stat : 58159 (run-opt.sh) S 58156 58159 56593 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 56312251 4292608 768 18446744073709551615 94185769062400 94185769956933 140725560351632 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94185770195984 94185770243728 94185773809664 140725560359277 140725560359400 140725560359400 140725560365002 0
/proc/58159/statm: 1048 768 704 219 0 110 0
[pid=58161] ppid=58159 vsize=155992 memory=97520 CPUtime=12.62 cores=0,2
/proc/58161/stat : 58161 (roundingsat) R 58159 58159 56593 0 -1 4194304 19294 0 0 0 1237 25 0 0 20 0 1 0 56312252 159735808 24380 18446744073709551615 4227072 8923433 140729346209664 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21471232 140729346218402 140729346218536 140729346218536 140729346224106 0
/proc/58161/statm: 38998 24380 2368 1147 0 26425 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 160184 KiB
Current children cumulated memory: 100592 KiB
[startup+25.5005 s]
/proc/loadavg: 4.10 4.18 4.15 5/255 58161
/proc/meminfo: memFree=122897896/131382116 swapFree=33010160/33010684
[pid=58159] ppid=58156 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/58159/stat : 58159 (run-opt.sh) S 58156 58159 56593 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 56312251 4292608 768 18446744073709551615 94185769062400 94185769956933 140725560351632 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94185770195984 94185770243728 94185773809664 140725560359277 140725560359400 140725560359400 140725560365002 0
/proc/58159/statm: 1048 768 704 219 0 110 0
[pid=58161] ppid=58159 vsize=212672 memory=156244 CPUtime=25.39 cores=0,2
/proc/58161/stat : 58161 (roundingsat) R 58159 58159 56593 0 -1 4194304 31945 0 0 0 2495 44 0 0 20 0 1 0 56312252 217776128 39061 18446744073709551615 4227072 8923433 140729346209664 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21471232 140729346218402 140729346218536 140729346218536 140729346224106 0
/proc/58161/statm: 53168 39061 2368 1147 0 40595 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 216864 KiB
Current children cumulated memory: 159316 KiB
[startup+51.1134 s]
/proc/loadavg: 4.06 4.17 4.15 5/255 58162
/proc/meminfo: memFree=122826200/131382116 swapFree=33010160/33010684
[pid=58159] ppid=58156 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/58159/stat : 58159 (run-opt.sh) S 58156 58159 56593 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 56312251 4292608 768 18446744073709551615 94185769062400 94185769956933 140725560351632 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94185770195984 94185770243728 94185773809664 140725560359277 140725560359400 140725560359400 140725560365002 0
/proc/58159/statm: 1048 768 704 219 0 110 0
[pid=58161] ppid=58159 vsize=293828 memory=218864 CPUtime=50.93 cores=0,2
/proc/58161/stat : 58161 (roundingsat) R 58159 58159 56593 0 -1 4194304 45536 0 0 0 5017 76 0 0 20 0 1 0 56312252 300879872 54716 18446744073709551615 4227072 8923433 140729346209664 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21471232 140729346218402 140729346218536 140729346218536 140729346224106 0
/proc/58161/statm: 73457 54716 2368 1147 0 60884 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 298020 KiB
Current children cumulated memory: 221936 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.15 4.14 5/254 58165
/proc/meminfo: memFree=122621496/131382116 swapFree=33010160/33010684
[pid=58159] ppid=58156 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/58159/stat : 58159 (run-opt.sh) S 58156 58159 56593 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 56312251 4292608 768 18446744073709551615 94185769062400 94185769956933 140725560351632 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94185770195984 94185770243728 94185773809664 140725560359277 140725560359400 140725560359400 140725560365002 0
/proc/58159/statm: 1048 768 704 219 0 110 0
[pid=58161] ppid=58159 vsize=447540 memory=370768 CPUtime=101.97 cores=0,2
/proc/58161/stat : 58161 (roundingsat) R 58159 58159 56593 0 -1 4194304 74211 0 0 0 10069 128 0 0 20 0 1 0 56312252 458280960 92692 18446744073709551615 4227072 8923433 140729346209664 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21471232 140729346218402 140729346218536 140729346218536 140729346224106 0
/proc/58161/statm: 111885 92692 2496 1147 0 99312 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 451732 KiB
Current children cumulated memory: 373840 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.17 4.15 5/254 58167
/proc/meminfo: memFree=122481040/131382116 swapFree=33010160/33010684
[pid=58159] ppid=58156 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/58159/stat : 58159 (run-opt.sh) S 58156 58159 56593 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 56312251 4292608 768 18446744073709551615 94185769062400 94185769956933 140725560351632 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94185770195984 94185770243728 94185773809664 140725560359277 140725560359400 140725560359400 140725560365002 0
/proc/58159/statm: 1048 768 704 219 0 110 0
[pid=58161] ppid=58159 vsize=628788 memory=501480 CPUtime=161.8 cores=0,2
/proc/58161/stat : 58161 (roundingsat) R 58159 58159 56593 0 -1 4194304 101277 0 0 0 15991 189 0 0 20 0 1 0 56312252 643878912 125370 18446744073709551615 4227072 8923433 140729346209664 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21471232 140729346218402 140729346218536 140729346218536 140729346224106 0
/proc/58161/statm: 157197 125370 2496 1147 0 144624 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 632980 KiB
Current children cumulated memory: 504552 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.17 4.15 5/255 58170
/proc/meminfo: memFree=122448420/131382116 swapFree=33010160/33010684
[pid=58159] ppid=58156 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/58159/stat : 58159 (run-opt.sh) S 58156 58159 56593 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 56312251 4292608 768 18446744073709551615 94185769062400 94185769956933 140725560351632 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94185770195984 94185770243728 94185773809664 140725560359277 140725560359400 140725560359400 140725560365002 0
/proc/58159/statm: 1048 768 704 219 0 110 0
[pid=58161] ppid=58159 vsize=637364 memory=510696 CPUtime=221.63 cores=0,2
/proc/58161/stat : 58161 (roundingsat) R 58159 58159 56593 0 -1 4194304 103579 0 0 0 21913 250 0 0 20 0 1 0 56312252 652660736 127674 18446744073709551615 4227072 8923433 140729346209664 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21471232 140729346218402 140729346218536 140729346218536 140729346224106 0
/proc/58161/statm: 159341 127674 2496 1147 0 146768 0
Current children cumulated CPU time: 221.63 s
################
# More data... #
################
/proc/58161/statm: 527820 470342 2496 1147 0 515247 0
Current children cumulated CPU time: 3032.84 s
Current children cumulated vsize: 2115472 KiB
Current children cumulated memory: 1884440 KiB
[startup+3102.3 s]
/proc/loadavg: 1.05 1.15 1.85 2/233 58425
/proc/meminfo: memFree=124095540/131382116 swapFree=33010160/33010684
[pid=58159] ppid=58156 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/58159/stat : 58159 (run-opt.sh) S 58156 58159 56593 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 56312251 4292608 768 18446744073709551615 94185769062400 94185769956933 140725560351632 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94185770195984 94185770243728 94185773809664 140725560359277 140725560359400 140725560359400 140725560365002 0
/proc/58159/statm: 1048 768 704 219 0 110 0
[pid=58161] ppid=58159 vsize=2111280 memory=1917464 CPUtime=3092.63 cores=0,2
/proc/58161/stat : 58161 (roundingsat) R 58159 58159 56593 0 -1 4194304 365416 0 0 0 307481 1782 0 0 20 0 1 0 56312252 2161950720 479366 18446744073709551615 4227072 8923433 140729346209664 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21471232 140729346218402 140729346218536 140729346218536 140729346224106 0
/proc/58161/statm: 527820 479366 2496 1147 0 515247 0
Current children cumulated CPU time: 3092.63 s
Current children cumulated vsize: 2115472 KiB
Current children cumulated memory: 1920536 KiB
[startup+3162.3 s]
/proc/loadavg: 1.06 1.14 1.80 2/233 58430
/proc/meminfo: memFree=124052600/131382116 swapFree=33010160/33010684
[pid=58159] ppid=58156 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/58159/stat : 58159 (run-opt.sh) S 58156 58159 56593 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 56312251 4292608 768 18446744073709551615 94185769062400 94185769956933 140725560351632 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94185770195984 94185770243728 94185773809664 140725560359277 140725560359400 140725560359400 140725560365002 0
/proc/58159/statm: 1048 768 704 219 0 110 0
[pid=58161] ppid=58159 vsize=2111280 memory=1962904 CPUtime=3152.45 cores=0,2
/proc/58161/stat : 58161 (roundingsat) R 58159 58159 56593 0 -1 4194304 365677 0 0 0 313438 1807 0 0 20 0 1 0 56312252 2161950720 490726 18446744073709551615 4227072 8923433 140729346209664 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21471232 140729346218402 140729346218536 140729346218536 140729346224106 0
/proc/58161/statm: 527820 490726 2496 1147 0 515247 0
Current children cumulated CPU time: 3152.45 s
Current children cumulated vsize: 2115472 KiB
Current children cumulated memory: 1965976 KiB
[startup+3222.3 s]
/proc/loadavg: 1.16 1.15 1.76 2/233 58432
/proc/meminfo: memFree=124006172/131382116 swapFree=33010160/33010684
[pid=58159] ppid=58156 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/58159/stat : 58159 (run-opt.sh) S 58156 58159 56593 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 56312251 4292608 768 18446744073709551615 94185769062400 94185769956933 140725560351632 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94185770195984 94185770243728 94185773809664 140725560359277 140725560359400 140725560359400 140725560365002 0
/proc/58159/statm: 1048 768 704 219 0 110 0
[pid=58161] ppid=58159 vsize=2111280 memory=2009496 CPUtime=3212.24 cores=0,2
/proc/58161/stat : 58161 (roundingsat) R 58159 58159 56593 0 -1 4194304 366219 0 0 0 319389 1835 0 0 20 0 1 0 56312252 2161950720 502374 18446744073709551615 4227072 8923433 140729346209664 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21471232 140729346218402 140729346218536 140729346218536 140729346224106 0
/proc/58161/statm: 527820 502374 2496 1147 0 515247 0
Current children cumulated CPU time: 3212.24 s
Current children cumulated vsize: 2115472 KiB
Current children cumulated memory: 2012568 KiB
[startup+3282.3 s]
/proc/loadavg: 1.11 1.14 1.72 2/234 58435
/proc/meminfo: memFree=123964912/131382116 swapFree=33010160/33010684
[pid=58159] ppid=58156 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/58159/stat : 58159 (run-opt.sh) S 58156 58159 56593 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 56312251 4292608 768 18446744073709551615 94185769062400 94185769956933 140725560351632 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94185770195984 94185770243728 94185773809664 140725560359277 140725560359400 140725560359400 140725560365002 0
/proc/58159/statm: 1048 768 704 219 0 110 0
[pid=58161] ppid=58159 vsize=2111280 memory=2049816 CPUtime=3272.03 cores=0,2
/proc/58161/stat : 58161 (roundingsat) R 58159 58159 56593 0 -1 4194304 366240 0 0 0 325339 1864 0 0 20 0 1 0 56312252 2161950720 512454 18446744073709551615 4227072 8923433 140729346209664 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21471232 140729346218402 140729346218536 140729346218536 140729346224106 0
/proc/58161/statm: 527820 512454 2496 1147 0 515247 0
Current children cumulated CPU time: 3272.03 s
Current children cumulated vsize: 2115472 KiB
Current children cumulated memory: 2052888 KiB
[startup+3342.3 s]
/proc/loadavg: 1.11 1.13 1.67 2/234 58437
/proc/meminfo: memFree=123956768/131382116 swapFree=33010160/33010684
[pid=58159] ppid=58156 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/58159/stat : 58159 (run-opt.sh) S 58156 58159 56593 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 56312251 4292608 768 18446744073709551615 94185769062400 94185769956933 140725560351632 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94185770195984 94185770243728 94185773809664 140725560359277 140725560359400 140725560359400 140725560365002 0
/proc/58159/statm: 1048 768 704 219 0 110 0
[pid=58161] ppid=58159 vsize=2128688 memory=2059160 CPUtime=3331.82 cores=0,2
/proc/58161/stat : 58161 (roundingsat) R 58159 58159 56593 0 -1 4194304 368598 0 0 0 331290 1892 0 0 20 0 1 0 56312252 2179776512 514790 18446744073709551615 4227072 8923433 140729346209664 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21471232 140729346218402 140729346218536 140729346218536 140729346224106 0
/proc/58161/statm: 532172 514790 2496 1147 0 519599 0
Current children cumulated CPU time: 3331.82 s
Current children cumulated vsize: 2132880 KiB
Current children cumulated memory: 2062232 KiB
[startup+3402.3 s]
/proc/loadavg: 1.10 1.12 1.63 2/234 58439
/proc/meminfo: memFree=123830608/131382116 swapFree=33010160/33010684
[pid=58159] ppid=58156 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/58159/stat : 58159 (run-opt.sh) S 58156 58159 56593 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 56312251 4292608 768 18446744073709551615 94185769062400 94185769956933 140725560351632 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94185770195984 94185770243728 94185773809664 140725560359277 140725560359400 140725560359400 140725560365002 0
/proc/58159/statm: 1048 768 704 219 0 110 0
[pid=58161] ppid=58159 vsize=2319160 memory=2187416 CPUtime=3391.6 cores=0,2
/proc/58161/stat : 58161 (roundingsat) R 58159 58159 56593 0 -1 4194304 400794 0 0 0 337243 1917 0 0 20 0 1 0 56312252 2374819840 546854 18446744073709551615 4227072 8923433 140729346209664 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21471232 140729346218402 140729346218536 140729346218536 140729346224106 0
/proc/58161/statm: 579790 546854 2496 1147 0 567217 0
Current children cumulated CPU time: 3391.6 s
Current children cumulated vsize: 2323352 KiB
Current children cumulated memory: 2190488 KiB
[startup+3462.3 s]
/proc/loadavg: 1.08 1.11 1.60 2/234 58445
/proc/meminfo: memFree=123833800/131382116 swapFree=33010160/33010684
[pid=58159] ppid=58156 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/58159/stat : 58159 (run-opt.sh) S 58156 58159 56593 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 56312251 4292608 768 18446744073709551615 94185769062400 94185769956933 140725560351632 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94185770195984 94185770243728 94185773809664 140725560359277 140725560359400 140725560359400 140725560365002 0
/proc/58159/statm: 1048 768 704 219 0 110 0
[pid=58161] ppid=58159 vsize=2321208 memory=2188824 CPUtime=3451.42 cores=0,2
/proc/58161/stat : 58161 (roundingsat) R 58159 58159 56593 0 -1 4194304 401214 0 0 0 343203 1939 0 0 20 0 1 0 56312252 2376916992 547206 18446744073709551615 4227072 8923433 140729346209664 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21471232 140729346218402 140729346218536 140729346218536 140729346224106 0
/proc/58161/statm: 580302 547206 2496 1147 0 567729 0
Current children cumulated CPU time: 3451.42 s
Current children cumulated vsize: 2325400 KiB
Current children cumulated memory: 2191896 KiB
[startup+3522.3 s]
/proc/loadavg: 1.14 1.12 1.57 2/234 58447
/proc/meminfo: memFree=123802516/131382116 swapFree=33010160/33010684
[pid=58159] ppid=58156 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/58159/stat : 58159 (run-opt.sh) S 58156 58159 56593 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 56312251 4292608 768 18446744073709551615 94185769062400 94185769956933 140725560351632 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94185770195984 94185770243728 94185773809664 140725560359277 140725560359400 140725560359400 140725560365002 0
/proc/58159/statm: 1048 768 704 219 0 110 0
[pid=58161] ppid=58159 vsize=2361144 memory=2223000 CPUtime=3511.21 cores=0,2
/proc/58161/stat : 58161 (roundingsat) R 58159 58159 56593 0 -1 4194304 409256 0 0 0 349161 1960 0 0 20 0 1 0 56312252 2417811456 555750 18446744073709551615 4227072 8923433 140729346209664 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21471232 140729346218402 140729346218536 140729346218536 140729346224106 0
/proc/58161/statm: 590286 555750 2496 1147 0 577713 0
Current children cumulated CPU time: 3511.21 s
Current children cumulated vsize: 2365336 KiB
Current children cumulated memory: 2226072 KiB
[startup+3582.3 s]
/proc/loadavg: 1.10 1.11 1.54 2/233 58449
/proc/meminfo: memFree=123803020/131382116 swapFree=33010160/33010684
[pid=58159] ppid=58156 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/58159/stat : 58159 (run-opt.sh) S 58156 58159 56593 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 56312251 4292608 768 18446744073709551615 94185769062400 94185769956933 140725560351632 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94185770195984 94185770243728 94185773809664 140725560359277 140725560359400 140725560359400 140725560365002 0
/proc/58159/statm: 1048 768 704 219 0 110 0
[pid=58161] ppid=58159 vsize=2361144 memory=2223000 CPUtime=3571.03 cores=0,2
/proc/58161/stat : 58161 (roundingsat) R 58159 58159 56593 0 -1 4194304 409256 0 0 0 355130 1973 0 0 20 0 1 0 56312252 2417811456 555750 18446744073709551615 4227072 8923433 140729346209664 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21471232 140729346218402 140729346218536 140729346218536 140729346224106 0
/proc/58161/statm: 590286 555750 2496 1147 0 577713 0
Current children cumulated CPU time: 3571.03 s
Current children cumulated vsize: 2365336 KiB
Current children cumulated memory: 2226072 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.4 s]
/proc/loadavg: 1.12 1.11 1.52 2/233 58450
/proc/meminfo: memFree=123803020/131382116 swapFree=33010160/33010684
[pid=58159] ppid=58156 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/58159/stat : 58159 (run-opt.sh) S 58156 58159 56593 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 56312251 4292608 768 18446744073709551615 94185769062400 94185769956933 140725560351632 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94185770195984 94185770243728 94185773809664 140725560359277 140725560359400 140725560359400 140725560365002 0
/proc/58159/statm: 1048 768 704 219 0 110 0
[pid=58161] ppid=58159 vsize=2361144 memory=2223000 CPUtime=3600.03 cores=0,2
/proc/58161/stat : 58161 (roundingsat) R 58159 58159 56593 0 -1 4194304 409388 0 0 0 358023 1980 0 0 20 0 1 0 56312252 2417811456 555750 18446744073709551615 4227072 8923433 140729346209664 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21471232 140729346218402 140729346218536 140729346218536 140729346224106 0
/proc/58161/statm: 590286 555750 2496 1147 0 577713 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 2365336 KiB
Current children cumulated memory: 2226072 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.41 s]
# the end of solver process 58159 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.0018 s, system=0.003543 s
[startup+3611.42 s]
# the end of solver process 58161 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3580.24 s, system=19.8238 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.07
CPU user time (s): 3580.24
CPU system time (s): 19.8238
CPU usage (%): 99.6855
Max. virtual memory (cumulated for all children) (KiB): 2365336
Max. memory (cumulated for all children) (KiB): 2226072
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.24
system time used= 19.8238
maximum resident set size= 2223256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 409613
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 476
involuntary context switches= 8372
# summary of solver processes directly reported to runsolver:
# pid: 58159,58161
# total CPU time (s): 3600.07
# total CPU user time (s): 3580.24
# total CPU system time (s): 19.8238
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.8681 second user time and 35.2429 second system time
The end
Begin job on nodeC004 at 2025-07-01 23:45:31
IDJOB=4499304
IDBENCH=148775
IDSOLVER=3350
FILE ID=nodeC004/4499304-1751406331
RUNJOBID= nodeC004-1751396781-56603
SLURM_JOB_ID= 9598272
Free space on /tmp= 433036 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx75.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4499304-1751406331/watcher-4499304-1751406331 -o /tmp/evaluation-result-4499304-1751406331/solver-4499304-1751406331 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751396781-56603 --watchdog 3760 run-opt.sh HOME/instance-4499304-1751406331.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a11c5c9a015f48f3bddc22713bc48593
RANDOM SEED=1583755841
nodeC004 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.218
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3691.478
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1198.003
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.234
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3691.454
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 123047420 kB
MemAvailable: 126837536 kB
Buffers: 2720 kB
Cached: 4540652 kB
SwapCached: 20 kB
Active: 3416556 kB
Inactive: 4214880 kB
Active(anon): 3099832 kB
Inactive(anon): 6188 kB
Active(file): 316724 kB
Inactive(file): 4208692 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7836 kB
Writeback: 0 kB
AnonPages: 3090304 kB
Mapped: 117516 kB
Shmem: 17956 kB
KReclaimable: 208652 kB
Slab: 294116 kB
SReclaimable: 208652 kB
SUnreclaim: 85464 kB
KernelStack: 4096 kB
PageTables: 10104 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 3979692 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149416 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 153600 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 197448 kB
DirectMap2M: 10190848 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 433052 MiB
End job on nodeC004 at 2025-07-02 00:45:42