0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.00/0.04 c #variables 3216 #constraints 3721
0.00/0.04 c objective is ce32
0.00/0.04 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.04 c initial counting CF 32, 64, 128, Arb: 385 , 0 , 0 , 0
0.00/0.04 c GLOBAL bounds - >= 0 @ 0.022545
0.00/0.04 c GLOBAL bounds - >= 0 @ 0.024553
0.00/0.04 c GLOBAL bounds - >= 6 @ 0.024608
0.00/0.07 c rational objective 6
1.17/1.24 c #Conflicts: 1000 | #Constraints: 4725
1.17/1.24 c #Conflicts: 2000 | #Constraints: 5732
1.17/1.24 c INPROCESSING
1.17/1.24 c GARBAGE COLLECT
1.17/1.24 c rational objective 6
1.68/1.73 c GLOBAL bounds - >= 6 @ 1.65485
2.57/2.69 c #Conflicts: 3000 | #Constraints: 2537
2.57/2.69 c #Conflicts: 4000 | #Constraints: 3538
2.57/2.69 c INPROCESSING
2.57/2.69 c GARBAGE COLLECT
2.57/2.69 c rational objective 6
2.87/2.98 c GLOBAL bounds - >= 6 @ 2.86101
2.87/2.98 c GLOBAL bounds - >= 6 @ 2.86104
3.98/4.04 c #Conflicts: 5000 | #Constraints: 2936
3.98/4.04 c #Conflicts: 6000 | #Constraints: 3937
3.98/4.04 c INPROCESSING
3.98/4.04 c GARBAGE COLLECT
3.98/4.04 c rational objective 6
4.17/4.24 c GLOBAL bounds - >= 6 @ 4.09656
4.17/4.24 c GLOBAL bounds - >= 6 @ 4.09658
6.16/6.24 c #Conflicts: 7000 | #Constraints: 2951
6.16/6.24 c #Conflicts: 8000 | #Constraints: 3953
6.16/6.24 c #Conflicts: 9000 | #Constraints: 4957
6.16/6.24 c INPROCESSING
6.16/6.24 c GARBAGE COLLECT
6.16/6.24 c rational objective 6
6.46/6.54 c GLOBAL bounds - >= 6 @ 6.33132
6.46/6.54 c GLOBAL bounds - >= 6 @ 6.33134
8.26/8.33 c #Conflicts: 10000 | #Constraints: 3653
8.26/8.33 c #Conflicts: 11000 | #Constraints: 4657
8.26/8.33 c #Conflicts: 12000 | #Constraints: 5660
8.26/8.33 c INPROCESSING
8.26/8.33 c GARBAGE COLLECT
8.26/8.33 c rational objective 6
8.56/8.67 c GLOBAL bounds - >= 6 @ 8.39605
8.56/8.67 c GLOBAL bounds - >= 6 @ 8.39607
10.06/10.19 c #Conflicts: 13000 | #Constraints: 4110
10.06/10.19 c #Conflicts: 14000 | #Constraints: 5117
10.06/10.19 c #Conflicts: 15000 | #Constraints: 6127
10.06/10.19 c INPROCESSING
10.06/10.19 c GARBAGE COLLECT
10.06/10.19 c rational objective 6
10.55/10.65 c GLOBAL bounds - >= 6 @ 10.3377
10.55/10.65 c GLOBAL bounds - >= 6 @ 10.3377
12.95/13.02 c #Conflicts: 16000 | #Constraints: 4345
12.95/13.02 c #Conflicts: 17000 | #Constraints: 5350
12.95/13.02 c #Conflicts: 18000 | #Constraints: 6354
12.95/13.02 c INPROCESSING
12.95/13.02 c GARBAGE COLLECT
12.95/13.02 c rational objective 6
13.14/13.27 c GLOBAL bounds - >= 6 @ 12.9029
13.14/13.27 c GLOBAL bounds - >= 6 @ 12.9029
14.73/14.87 c #Conflicts: 19000 | #Constraints: 4374
14.73/14.87 c #Conflicts: 20000 | #Constraints: 5379
14.73/14.87 c #Conflicts: 21000 | #Constraints: 6381
14.73/14.87 c INPROCESSING
14.73/14.87 c GARBAGE COLLECT
14.73/14.87 c rational objective 6
15.23/15.32 c GLOBAL bounds - >= 6 @ 14.9007
15.23/15.32 c GLOBAL bounds - >= 6 @ 14.9008
16.83/16.92 c #Conflicts: 22000 | #Constraints: 4163
16.83/16.92 c #Conflicts: 23000 | #Constraints: 5164
16.83/16.92 c #Conflicts: 24000 | #Constraints: 6164
16.83/16.92 c #Conflicts: 25000 | #Constraints: 7165
16.83/16.92 c INPROCESSING
16.83/16.92 c GARBAGE COLLECT
16.83/16.92 c rational objective 6
17.62/17.70 c GLOBAL bounds - >= 6 @ 17.2295
17.62/17.70 c GLOBAL bounds - >= 6 @ 17.2295
19.93/20.04 c #Conflicts: 26000 | #Constraints: 4750
19.93/20.04 c #Conflicts: 27000 | #Constraints: 5752
19.93/20.04 c #Conflicts: 28000 | #Constraints: 6759
19.93/20.04 c #Conflicts: 29000 | #Constraints: 7764
19.93/20.04 c INPROCESSING
19.93/20.04 c GARBAGE COLLECT
19.93/20.04 c rational objective 6
20.32/20.40 c GLOBAL bounds - >= 6 @ 19.8836
20.32/20.40 c GLOBAL bounds - >= 6 @ 19.8837
23.12/23.27 c #Conflicts: 30000 | #Constraints: 5156
23.12/23.27 c #Conflicts: 31000 | #Constraints: 6162
23.12/23.27 c #Conflicts: 32000 | #Constraints: 7165
23.12/23.27 c #Conflicts: 33000 | #Constraints: 8173
23.12/23.27 c INPROCESSING
23.12/23.27 c GARBAGE COLLECT
23.12/23.27 c rational objective 6
23.51/23.64 c GLOBAL bounds - >= 6 @ 23.0444
23.51/23.64 c GLOBAL bounds - >= 6 @ 23.0445
27.50/27.62 c #Conflicts: 34000 | #Constraints: 5369
27.50/27.62 c #Conflicts: 35000 | #Constraints: 6376
27.50/27.62 c #Conflicts: 36000 | #Constraints: 7379
27.50/27.62 c #Conflicts: 37000 | #Constraints: 8387
27.50/27.62 c INPROCESSING
27.50/27.62 c GARBAGE COLLECT
27.50/27.62 c rational objective 6
27.90/28.01 c GLOBAL bounds - >= 6 @ 27.3285
27.90/28.01 c GLOBAL bounds - >= 6 @ 27.3285
31.49/31.68 c #Conflicts: 38000 | #Constraints: 5378
31.49/31.68 c #Conflicts: 39000 | #Constraints: 6380
31.49/31.68 c #Conflicts: 40000 | #Constraints: 7383
31.49/31.68 c #Conflicts: 41000 | #Constraints: 8387
31.49/31.68 c INPROCESSING
31.49/31.68 c GARBAGE COLLECT
31.49/31.68 c rational objective 6
32.09/32.22 c GLOBAL bounds - >= 6 @ 31.4647
32.09/32.22 c GLOBAL bounds - >= 6 @ 31.4647
36.57/36.77 c #Conflicts: 42000 | #Constraints: 5188
36.57/36.77 c #Conflicts: 43000 | #Constraints: 6196
36.57/36.77 c #Conflicts: 44000 | #Constraints: 7199
36.57/36.77 c #Conflicts: 45000 | #Constraints: 8206
36.57/36.77 c #Conflicts: 46000 | #Constraints: 9210
36.57/36.77 c INPROCESSING
36.57/36.77 c GARBAGE COLLECT
36.57/36.77 c rational objective 6
36.87/37.00 c GLOBAL bounds - >= 6 @ 36.1583
36.87/37.00 c GLOBAL bounds - >= 6 @ 36.1583
40.66/40.88 c #Conflicts: 47000 | #Constraints: 5782
40.66/40.88 c #Conflicts: 48000 | #Constraints: 6790
40.66/40.88 c #Conflicts: 49000 | #Constraints: 7795
40.66/40.88 c #Conflicts: 50000 | #Constraints: 8803
40.66/40.88 c #Conflicts: 51000 | #Constraints: 9805
40.66/40.88 c INPROCESSING
40.66/40.88 c GARBAGE COLLECT
40.66/40.88 c rational objective 6
40.86/41.07 c GLOBAL bounds - >= 6 @ 40.1472
40.86/41.07 c GLOBAL bounds - >= 6 @ 40.1472
46.94/47.16 c #Conflicts: 52000 | #Constraints: 6182
46.94/47.16 c #Conflicts: 53000 | #Constraints: 7187
46.94/47.16 c #Conflicts: 54000 | #Constraints: 8190
46.94/47.16 c #Conflicts: 55000 | #Constraints: 9192
46.94/47.16 c #Conflicts: 56000 | #Constraints: 10199
46.94/47.16 c INPROCESSING
46.94/47.16 c GARBAGE COLLECT
46.94/47.16 c rational objective 6
47.33/47.54 c GLOBAL bounds - >= 6 @ 46.4953
47.33/47.54 c GLOBAL bounds - >= 6 @ 46.4953
53.02/53.22 c #Conflicts: 57000 | #Constraints: 6385
53.02/53.22 c #Conflicts: 58000 | #Constraints: 7389
53.02/53.22 c #Conflicts: 59000 | #Constraints: 8395
53.02/53.22 c #Conflicts: 60000 | #Constraints: 9398
53.02/53.22 c #Conflicts: 61000 | #Constraints: 10404
53.02/53.22 c INPROCESSING
53.02/53.22 c GARBAGE COLLECT
53.02/53.22 c rational objective 6
53.32/53.51 c GLOBAL bounds - >= 6 @ 52.3485
53.32/53.51 c GLOBAL bounds - >= 6 @ 52.3485
57.21/57.42 c #Conflicts: 62000 | #Constraints: 6391
57.21/57.42 c #Conflicts: 63000 | #Constraints: 7393
57.21/57.42 c #Conflicts: 64000 | #Constraints: 8395
57.21/57.42 c #Conflicts: 65000 | #Constraints: 9399
57.21/57.42 c #Conflicts: 66000 | #Constraints: 10403
57.21/57.42 c INPROCESSING
57.21/57.42 c GARBAGE COLLECT
57.21/57.42 c rational objective 6
57.80/58.03 c GLOBAL bounds - >= 6 @ 56.7666
57.80/58.03 c GLOBAL bounds - >= 6 @ 56.7667
62.39/62.63 c #Conflicts: 67000 | #Constraints: 6179
62.39/62.63 c #Conflicts: 68000 | #Constraints: 7183
62.39/62.63 c #Conflicts: 69000 | #Constraints: 8186
62.39/62.63 c #Conflicts: 70000 | #Constraints: 9191
62.39/62.63 c #Conflicts: 71000 | #Constraints: 10196
62.39/62.63 c #Conflicts: 72000 | #Constraints: 11202
62.39/62.63 c INPROCESSING
62.39/62.63 c GARBAGE COLLECT
62.39/62.63 c rational objective 6
62.89/63.14 c GLOBAL bounds - >= 6 @ 61.7729
62.89/63.14 c GLOBAL bounds - >= 6 @ 61.7729
66.48/66.70 c #Conflicts: 73000 | #Constraints: 6781
66.48/66.70 c #Conflicts: 74000 | #Constraints: 7782
66.48/66.70 c #Conflicts: 75000 | #Constraints: 8785
66.48/66.70 c #Conflicts: 76000 | #Constraints: 9787
66.48/66.70 c #Conflicts: 77000 | #Constraints: 10789
66.48/66.70 c #Conflicts: 78000 | #Constraints: 11790
66.48/66.70 c INPROCESSING
66.48/66.70 c GARBAGE COLLECT
66.48/66.70 c rational objective 6
66.67/66.94 c GLOBAL bounds - >= 6 @ 65.4926
66.67/66.94 c GLOBAL bounds - >= 6 @ 65.4927
70.56/70.85 c #Conflicts: 79000 | #Constraints: 7170
70.56/70.85 c #Conflicts: 80000 | #Constraints: 8175
70.56/70.85 c #Conflicts: 81000 | #Constraints: 9177
70.56/70.85 c #Conflicts: 82000 | #Constraints: 10183
70.56/70.85 c #Conflicts: 83000 | #Constraints: 11188
70.56/70.85 c #Conflicts: 84000 | #Constraints: 12195
70.56/70.85 c INPROCESSING
70.56/70.85 c GARBAGE COLLECT
70.56/70.85 c rational objective 6
70.96/71.20 c GLOBAL bounds - >= 6 @ 69.6484
70.96/71.20 c GLOBAL bounds - >= 6 @ 69.6484
74.95/75.25 c #Conflicts: 85000 | #Constraints: 7378
74.95/75.25 c #Conflicts: 86000 | #Constraints: 8381
74.95/75.25 c #Conflicts: 87000 | #Constraints: 9384
74.95/75.25 c #Conflicts: 88000 | #Constraints: 10386
74.95/75.25 c #Conflicts: 89000 | #Constraints: 11392
74.95/75.25 c #Conflicts: 90000 | #Constraints: 12400
74.95/75.25 c INPROCESSING
74.95/75.25 c GARBAGE COLLECT
74.95/75.25 c rational objective 6
75.64/75.91 c GLOBAL bounds - >= 6 @ 74.2268
75.64/75.91 c GLOBAL bounds - >= 6 @ 74.2268
79.73/80.07 c #Conflicts: 91000 | #Constraints: 7383
79.73/80.07 c #Conflicts: 92000 | #Constraints: 8392
79.73/80.07 c #Conflicts: 93000 | #Constraints: 9393
79.73/80.07 c #Conflicts: 94000 | #Constraints: 10397
79.73/80.07 c #Conflicts: 95000 | #Constraints: 11400
79.73/80.07 c #Conflicts: 96000 | #Constraints: 12402
79.73/80.07 c INPROCESSING
79.73/80.07 c GARBAGE COLLECT
79.73/80.07 c rational objective 6
80.03/80.39 c GLOBAL bounds - >= 6 @ 78.582
80.03/80.39 c GLOBAL bounds - >= 6 @ 78.582
85.61/85.99 c #Conflicts: 97000 | #Constraints: 7178
85.61/85.99 c #Conflicts: 98000 | #Constraints: 8180
85.61/85.99 c #Conflicts: 99000 | #Constraints: 9185
85.61/85.99 c #Conflicts: 100000 | #Constraints: 10189
85.61/85.99 c #Conflicts: 101000 | #Constraints: 11193
85.61/85.99 c #Conflicts: 102000 | #Constraints: 12199
85.61/85.99 c #Conflicts: 103000 | #Constraints: 13200
85.61/85.99 c INPROCESSING
85.61/85.99 c GARBAGE COLLECT
85.61/85.99 c rational objective 6
85.82/86.19 c GLOBAL bounds - >= 6 @ 84.2643
85.82/86.19 c GLOBAL bounds - >= 6 @ 84.2643
91.29/91.69 c #Conflicts: 104000 | #Constraints: 7774
91.29/91.69 c #Conflicts: 105000 | #Constraints: 8777
91.29/91.69 c #Conflicts: 106000 | #Constraints: 9784
91.29/91.69 c #Conflicts: 107000 | #Constraints: 10786
91.29/91.69 c #Conflicts: 108000 | #Constraints: 11789
91.29/91.69 c #Conflicts: 109000 | #Constraints: 12790
91.29/91.69 c #Conflicts: 110000 | #Constraints: 13792
91.29/91.69 c INPROCESSING
91.29/91.69 c GARBAGE COLLECT
91.29/91.69 c rational objective 6
91.60/91.93 c GLOBAL bounds - >= 6 @ 89.8768
91.60/91.93 c GLOBAL bounds - >= 6 @ 89.8768
97.58/97.93 c #Conflicts: 111000 | #Constraints: 8175
97.58/97.93 c #Conflicts: 112000 | #Constraints: 9177
97.58/97.93 c #Conflicts: 113000 | #Constraints: 10179
97.58/97.93 c #Conflicts: 114000 | #Constraints: 11182
97.58/97.93 c #Conflicts: 115000 | #Constraints: 12186
97.58/97.93 c #Conflicts: 116000 | #Constraints: 13194
97.58/97.93 c #Conflicts: 117000 | #Constraints: 14197
97.58/97.93 c INPROCESSING
97.58/97.93 c GARBAGE COLLECT
97.58/97.93 c rational objective 6
98.17/98.58 c GLOBAL bounds - >= 6 @ 96.3892
98.17/98.58 c GLOBAL bounds - >= 6 @ 96.3892
103.95/104.31 c #Conflicts: 118000 | #Constraints: 8380
103.95/104.31 c #Conflicts: 119000 | #Constraints: 9381
103.95/104.31 c #Conflicts: 120000 | #Constraints: 10387
103.95/104.31 c #Conflicts: 121000 | #Constraints: 11394
103.95/104.31 c #Conflicts: 122000 | #Constraints: 12400
103.95/104.31 c #Conflicts: 123000 | #Constraints: 13402
103.95/104.31 c #Conflicts: 124000 | #Constraints: 14405
103.95/104.31 c INPROCESSING
103.95/104.31 c GARBAGE COLLECT
103.95/104.31 c rational objective 6
104.25/104.66 c GLOBAL bounds - >= 6 @ 102.335
104.25/104.66 c GLOBAL bounds - >= 6 @ 102.336
111.03/111.45 c #Conflicts: 125000 | #Constraints: 8390
111.03/111.45 c #Conflicts: 126000 | #Constraints: 9392
111.03/111.45 c #Conflicts: 127000 | #Constraints: 10398
111.03/111.45 c #Conflicts: 128000 | #Constraints: 11407
111.03/111.45 c #Conflicts: 129000 | #Constraints: 12411
111.03/111.45 c #Conflicts: 130000 | #Constraints: 13414
111.03/111.45 c #Conflicts: 131000 | #Constraints: 14418
111.03/111.45 c INPROCESSING
111.03/111.45 c GARBAGE COLLECT
111.03/111.45 c rational objective 6
111.43/111.80 c GLOBAL bounds - >= 6 @ 109.331
111.43/111.80 c GLOBAL bounds - >= 6 @ 109.331
119.61/120.10 c #Conflicts: 132000 | #Constraints: 8186
119.61/120.10 c #Conflicts: 133000 | #Constraints: 9190
119.61/120.10 c #Conflicts: 134000 | #Constraints: 10196
119.61/120.10 c #Conflicts: 135000 | #Constraints: 11202
119.61/120.10 c #Conflicts: 136000 | #Constraints: 12205
119.61/120.10 c #Conflicts: 137000 | #Constraints: 13209
119.61/120.10 c #Conflicts: 138000 | #Constraints: 14211
119.61/120.10 c #Conflicts: 139000 | #Constraints: 15215
119.61/120.10 c INPROCESSING
119.61/120.10 c GARBAGE COLLECT
119.61/120.10 c rational objective 6
120.10/120.55 c GLOBAL bounds - >= 6 @ 117.877
120.10/120.55 c GLOBAL bounds - >= 6 @ 117.877
127.98/128.43 c #Conflicts: 140000 | #Constraints: 8794
127.98/128.43 c #Conflicts: 141000 | #Constraints: 9799
127.98/128.43 c #Conflicts: 142000 | #Constraints: 10801
127.98/128.43 c #Conflicts: 143000 | #Constraints: 11802
127.98/128.43 c #Conflicts: 144000 | #Constraints: 12808
127.98/128.43 c #Conflicts: 145000 | #Constraints: 13813
127.98/128.43 c #Conflicts: 146000 | #Constraints: 14815
127.98/128.43 c #Conflicts: 147000 | #Constraints: 15817
127.98/128.43 c INPROCESSING
127.98/128.43 c GARBAGE COLLECT
127.98/128.43 c rational objective 6
128.38/128.86 c GLOBAL bounds - >= 6 @ 126.018
128.38/128.86 c GLOBAL bounds - >= 6 @ 126.018
136.06/136.58 c #Conflicts: 148000 | #Constraints: 9185
136.06/136.58 c #Conflicts: 149000 | #Constraints: 10190
136.06/136.58 c #Conflicts: 150000 | #Constraints: 11194
136.06/136.58 c #Conflicts: 151000 | #Constraints: 12201
136.06/136.58 c #Conflicts: 152000 | #Constraints: 13205
136.06/136.58 c #Conflicts: 153000 | #Constraints: 14209
136.06/136.58 c #Conflicts: 154000 | #Constraints: 15213
136.06/136.58 c #Conflicts: 155000 | #Constraints: 16219
136.06/136.58 c INPROCESSING
136.06/136.58 c GARBAGE COLLECT
136.06/136.58 c rational objective 6
136.45/136.94 c GLOBAL bounds - >= 6 @ 133.844
136.45/136.94 c GLOBAL bounds - >= 6 @ 133.844
144.03/144.56 c #Conflicts: 156000 | #Constraints: 9408
144.03/144.56 c #Conflicts: 157000 | #Constraints: 10413
144.03/144.56 c #Conflicts: 158000 | #Constraints: 11416
144.03/144.56 c #Conflicts: 159000 | #Constraints: 12418
144.03/144.56 c #Conflicts: 160000 | #Constraints: 13420
144.03/144.56 c #Conflicts: 161000 | #Constraints: 14424
144.03/144.56 c #Conflicts: 162000 | #Constraints: 15428
144.03/144.56 c #Conflicts: 163000 | #Constraints: 16434
144.03/144.56 c INPROCESSING
144.03/144.56 c GARBAGE COLLECT
144.03/144.56 c rational objective 6
144.53/145.08 c GLOBAL bounds - >= 6 @ 141.784
144.53/145.08 c GLOBAL bounds - >= 6 @ 141.784
152.80/153.35 c #Conflicts: 164000 | #Constraints: 9399
152.80/153.35 c #Conflicts: 165000 | #Constraints: 10402
152.80/153.35 c #Conflicts: 166000 | #Constraints: 11406
152.80/153.35 c #Conflicts: 167000 | #Constraints: 12409
152.80/153.35 c #Conflicts: 168000 | #Constraints: 13411
152.80/153.35 c #Conflicts: 169000 | #Constraints: 14414
152.80/153.35 c #Conflicts: 170000 | #Constraints: 15417
152.80/153.35 c #Conflicts: 171000 | #Constraints: 16422
152.80/153.35 c INPROCESSING
152.80/153.35 c GARBAGE COLLECT
152.80/153.35 c rational objective 6
153.30/153.85 c GLOBAL bounds - >= 6 @ 150.324
153.30/153.85 c GLOBAL bounds - >= 6 @ 150.324
160.98/161.52 c #Conflicts: 172000 | #Constraints: 9194
160.98/161.52 c #Conflicts: 173000 | #Constraints: 10201
160.98/161.52 c #Conflicts: 174000 | #Constraints: 11211
160.98/161.52 c #Conflicts: 175000 | #Constraints: 12216
160.98/161.52 c #Conflicts: 176000 | #Constraints: 13221
160.98/161.52 c #Conflicts: 177000 | #Constraints: 14225
160.98/161.52 c #Conflicts: 178000 | #Constraints: 15227
160.98/161.52 c #Conflicts: 179000 | #Constraints: 16231
160.98/161.52 c #Conflicts: 180000 | #Constraints: 17236
160.98/161.52 c INPROCESSING
160.98/161.52 c GARBAGE COLLECT
160.98/161.52 c rational objective 6
161.17/161.78 c GLOBAL bounds - >= 6 @ 158.053
161.17/161.78 c GLOBAL bounds - >= 6 @ 158.053
169.24/169.89 c #Conflicts: 181000 | #Constraints: 9801
169.24/169.89 c #Conflicts: 182000 | #Constraints: 10805
169.24/169.89 c #Conflicts: 183000 | #Constraints: 11811
169.24/169.89 c #Conflicts: 184000 | #Constraints: 12816
169.24/169.89 c #Conflicts: 185000 | #Constraints: 13822
169.24/169.89 c #Conflicts: 186000 | #Constraints: 14828
169.24/169.89 c #Conflicts: 187000 | #Constraints: 15834
169.24/169.89 c #Conflicts: 188000 | #Constraints: 16839
169.24/169.89 c #Conflicts: 189000 | #Constraints: 17846
169.24/169.89 c INPROCESSING
169.24/169.89 c GARBAGE COLLECT
169.24/169.89 c rational objective 6
169.65/170.21 c GLOBAL bounds - >= 6 @ 166.259
169.65/170.21 c GLOBAL bounds - >= 6 @ 166.259
192.67/193.32 c #Conflicts: 190000 | #Constraints: 10238
192.67/193.32 c #Conflicts: 191000 | #Constraints: 11246
192.67/193.32 c #Conflicts: 192000 | #Constraints: 12248
192.67/193.32 c #Conflicts: 193000 | #Constraints: 13250
192.67/193.32 c #Conflicts: 194000 | #Constraints: 14254
192.67/193.32 c #Conflicts: 195000 | #Constraints: 15254
192.67/193.32 c #Conflicts: 196000 | #Constraints: 16256
192.67/193.32 c #Conflicts: 197000 | #Constraints: 17258
192.67/193.32 c #Conflicts: 198000 | #Constraints: 18259
192.67/193.32 c INPROCESSING
192.67/193.32 c GARBAGE COLLECT
192.67/193.32 c rational objective 6
193.18/193.87 c GLOBAL bounds - >= 6 @ 189.563
193.18/193.87 c GLOBAL bounds - >= 6 @ 189.563
211.21/211.90 c #Conflicts: 199000 | #Constraints: 10436
211.21/211.90 c #Conflicts: 200000 | #Constraints: 11438
211.21/211.90 c #Conflicts: 201000 | #Constraints: 12443
211.21/211.90 c #Conflicts: 202000 | #Constraints: 13449
211.21/211.90 c #Conflicts: 203000 | #Constraints: 14452
211.21/211.90 c #Conflicts: 204000 | #Constraints: 15460
211.21/211.90 c #Conflicts: 205000 | #Constraints: 16465
211.21/211.90 c #Conflicts: 206000 | #Constraints: 17473
211.21/211.90 c #Conflicts: 207000 | #Constraints: 18478
211.21/211.90 c INPROCESSING
211.21/211.90 c GARBAGE COLLECT
211.21/211.90 c rational objective 6
211.72/212.43 c GLOBAL bounds - >= 6 @ 207.691
211.72/212.43 c GLOBAL bounds - >= 6 @ 207.691
235.34/236.13 c #Conflicts: 208000 | #Constraints: 10448
235.34/236.13 c #Conflicts: 209000 | #Constraints: 11450
235.34/236.13 c #Conflicts: 210000 | #Constraints: 12453
235.34/236.13 c #Conflicts: 211000 | #Constraints: 13456
235.34/236.13 c #Conflicts: 212000 | #Constraints: 14462
235.34/236.13 c #Conflicts: 213000 | #Constraints: 15464
235.34/236.13 c #Conflicts: 214000 | #Constraints: 16465
235.34/236.13 c #Conflicts: 215000 | #Constraints: 17466
235.34/236.13 c #Conflicts: 216000 | #Constraints: 18472
235.34/236.13 c INPROCESSING
235.34/236.13 c GARBAGE COLLECT
235.34/236.13 c rational objective 6
235.94/236.71 c GLOBAL bounds - >= 6 @ 231.622
235.94/236.71 c GLOBAL bounds - >= 6 @ 231.622
258.56/259.43 c #Conflicts: 217000 | #Constraints: 10257
258.56/259.43 c #Conflicts: 218000 | #Constraints: 11259
258.56/259.43 c #Conflicts: 219000 | #Constraints: 12264
258.56/259.43 c #Conflicts: 220000 | #Constraints: 13268
258.56/259.43 c #Conflicts: 221000 | #Constraints: 14271
258.56/259.43 c #Conflicts: 222000 | #Constraints: 15275
258.56/259.43 c #Conflicts: 223000 | #Constraints: 16276
258.56/259.43 c #Conflicts: 224000 | #Constraints: 17278
258.56/259.43 c #Conflicts: 225000 | #Constraints: 18280
258.56/259.43 c #Conflicts: 226000 | #Constraints: 19282
258.56/259.43 c INPROCESSING
258.56/259.43 c GARBAGE COLLECT
258.56/259.43 c rational objective 6
259.36/260.27 c GLOBAL bounds - >= 6 @ 254.828
259.36/260.27 c GLOBAL bounds - >= 6 @ 254.828
279.00/279.99 c #Conflicts: 227000 | #Constraints: 10846
279.00/279.99 c #Conflicts: 228000 | #Constraints: 11848
279.00/279.99 c #Conflicts: 229000 | #Constraints: 12854
279.00/279.99 c #Conflicts: 230000 | #Constraints: 13856
279.00/279.99 c #Conflicts: 231000 | #Constraints: 14858
279.00/279.99 c #Conflicts: 232000 | #Constraints: 15859
279.00/279.99 c #Conflicts: 233000 | #Constraints: 16862
279.00/279.99 c #Conflicts: 234000 | #Constraints: 17866
279.00/279.99 c #Conflicts: 235000 | #Constraints: 18871
279.00/279.99 c #Conflicts: 236000 | #Constraints: 19874
279.00/279.99 c INPROCESSING
279.00/279.99 c GARBAGE COLLECT
279.00/279.99 c rational objective 6
279.50/280.44 c GLOBAL bounds - >= 6 @ 274.655
279.50/280.44 c GLOBAL bounds - >= 6 @ 274.655
288.96/290.00 c #Conflicts: 237000 | #Constraints: 11233
288.96/290.00 c #Conflicts: 238000 | #Constraints: 12243
288.96/290.00 c #Conflicts: 239000 | #Constraints: 13250
288.96/290.00 c #Conflicts: 240000 | #Constraints: 14257
288.96/290.00 c #Conflicts: 241000 | #Constraints: 15261
288.96/290.00 c #Conflicts: 242000 | #Constraints: 16268
288.96/290.00 c #Conflicts: 243000 | #Constraints: 17270
288.96/290.00 c #Conflicts: 244000 | #Constraints: 18272
288.96/290.00 c #Conflicts: 245000 | #Constraints: 19275
288.96/290.00 c #Conflicts: 246000 | #Constraints: 20282
288.96/290.00 c INPROCESSING
288.96/290.00 c GARBAGE COLLECT
288.96/290.00 c rational objective 6
289.67/290.64 c GLOBAL bounds - >= 6 @ 284.585
289.67/290.64 c GLOBAL bounds - >= 6 @ 284.585
302.22/303.28 c #Conflicts: 247000 | #Constraints: 11438
302.22/303.28 c #Conflicts: 248000 | #Constraints: 12443
302.22/303.28 c #Conflicts: 249000 | #Constraints: 13452
302.22/303.28 c #Conflicts: 250000 | #Constraints: 14459
302.22/303.28 c #Conflicts: 251000 | #Constraints: 15466
302.22/303.28 c #Conflicts: 252000 | #Constraints: 16473
302.22/303.28 c #Conflicts: 253000 | #Constraints: 17477
302.22/303.28 c #Conflicts: 254000 | #Constraints: 18480
302.22/303.28 c #Conflicts: 255000 | #Constraints: 19483
302.22/303.28 c #Conflicts: 256000 | #Constraints: 20486
302.22/303.28 c INPROCESSING
302.22/303.28 c GARBAGE COLLECT
302.22/303.28 c rational objective 6
302.62/303.60 c GLOBAL bounds - >= 6 @ 297.271
302.62/303.60 c GLOBAL bounds - >= 6 @ 297.271
319.67/320.78 c #Conflicts: 257000 | #Constraints: 11448
319.67/320.78 c #Conflicts: 258000 | #Constraints: 12453
319.67/320.78 c #Conflicts: 259000 | #Constraints: 13461
319.67/320.78 c #Conflicts: 260000 | #Constraints: 14469
319.67/320.78 c #Conflicts: 261000 | #Constraints: 15474
319.67/320.78 c #Conflicts: 262000 | #Constraints: 16478
319.67/320.78 c #Conflicts: 263000 | #Constraints: 17486
319.67/320.78 c #Conflicts: 264000 | #Constraints: 18493
319.67/320.78 c #Conflicts: 265000 | #Constraints: 19498
319.67/320.78 c #Conflicts: 266000 | #Constraints: 20504
319.67/320.78 c INPROCESSING
319.67/320.78 c GARBAGE COLLECT
319.67/320.78 c rational objective 6
319.87/321.00 c GLOBAL bounds - >= 6 @ 314.346
319.87/321.00 c GLOBAL bounds - >= 6 @ 314.346
359.04/360.24 c #Conflicts: 267000 | #Constraints: 11270
359.04/360.24 c #Conflicts: 268000 | #Constraints: 12273
359.04/360.24 c #Conflicts: 269000 | #Constraints: 13279
359.04/360.24 c #Conflicts: 270000 | #Constraints: 14281
359.04/360.24 c #Conflicts: 271000 | #Constraints: 15283
359.04/360.24 c #Conflicts: 272000 | #Constraints: 16284
359.04/360.24 c #Conflicts: 273000 | #Constraints: 17289
359.04/360.24 c #Conflicts: 274000 | #Constraints: 18293
359.04/360.24 c #Conflicts: 275000 | #Constraints: 19294
359.04/360.24 c #Conflicts: 276000 | #Constraints: 20296
359.04/360.24 c #Conflicts: 277000 | #Constraints: 21301
359.04/360.24 c INPROCESSING
359.04/360.24 c GARBAGE COLLECT
359.04/360.24 c rational objective 6
359.74/360.95 c GLOBAL bounds - >= 6 @ 353.738
359.74/360.95 c GLOBAL bounds - >= 6 @ 353.738
380.78/382.09 c #Conflicts: 278000 | #Constraints: 11860
380.78/382.09 c #Conflicts: 279000 | #Constraints: 12865
380.78/382.09 c #Conflicts: 280000 | #Constraints: 13871
380.78/382.09 c #Conflicts: 281000 | #Constraints: 14877
380.78/382.09 c #Conflicts: 282000 | #Constraints: 15882
380.78/382.09 c #Conflicts: 283000 | #Constraints: 16888
380.78/382.09 c #Conflicts: 284000 | #Constraints: 17892
380.78/382.09 c #Conflicts: 285000 | #Constraints: 18894
380.78/382.09 c #Conflicts: 286000 | #Constraints: 19898
380.78/382.09 c #Conflicts: 287000 | #Constraints: 20900
380.78/382.09 c #Conflicts: 288000 | #Constraints: 21906
380.78/382.09 c INPROCESSING
380.78/382.09 c GARBAGE COLLECT
380.78/382.09 c rational objective 6
381.07/382.30 c GLOBAL bounds - >= 6 @ 374.68
381.07/382.30 c GLOBAL bounds - >= 6 @ 374.68
403.71/405.08 c #Conflicts: 289000 | #Constraints: 12275
403.71/405.08 c #Conflicts: 290000 | #Constraints: 13280
403.71/405.08 c #Conflicts: 291000 | #Constraints: 14283
403.71/405.08 c #Conflicts: 292000 | #Constraints: 15287
403.71/405.08 c #Conflicts: 293000 | #Constraints: 16291
403.71/405.08 c #Conflicts: 294000 | #Constraints: 17292
403.71/405.08 c #Conflicts: 295000 | #Constraints: 18294
403.71/405.08 c #Conflicts: 296000 | #Constraints: 19296
403.71/405.08 c #Conflicts: 297000 | #Constraints: 20300
403.71/405.08 c #Conflicts: 298000 | #Constraints: 21311
403.71/405.08 c #Conflicts: 299000 | #Constraints: 22317
403.71/405.08 c INPROCESSING
403.71/405.08 c GARBAGE COLLECT
403.71/405.08 c rational objective 6
404.20/405.52 c GLOBAL bounds - >= 6 @ 397.535
404.20/405.52 c GLOBAL bounds - >= 6 @ 397.535
419.95/421.36 c #Conflicts: 300000 | #Constraints: 12479
419.95/421.36 c #Conflicts: 301000 | #Constraints: 13488
419.95/421.36 c #Conflicts: 302000 | #Constraints: 14496
419.95/421.36 c #Conflicts: 303000 | #Constraints: 15501
419.95/421.36 c #Conflicts: 304000 | #Constraints: 16506
419.95/421.36 c #Conflicts: 305000 | #Constraints: 17512
419.95/421.36 c #Conflicts: 306000 | #Constraints: 18514
419.95/421.36 c #Conflicts: 307000 | #Constraints: 19521
419.95/421.36 c #Conflicts: 308000 | #Constraints: 20528
419.95/421.36 c #Conflicts: 309000 | #Constraints: 21538
419.95/421.36 c #Conflicts: 310000 | #Constraints: 22545
419.95/421.36 c INPROCESSING
419.95/421.36 c GARBAGE COLLECT
419.95/421.36 c rational objective 6
420.46/421.89 c GLOBAL bounds - >= 6 @ 413.565
420.46/421.89 c GLOBAL bounds - >= 6 @ 413.565
445.07/446.52 c #Conflicts: 311000 | #Constraints: 12491
445.07/446.52 c #Conflicts: 312000 | #Constraints: 13496
445.07/446.52 c #Conflicts: 313000 | #Constraints: 14503
445.07/446.52 c #Conflicts: 314000 | #Constraints: 15505
445.07/446.52 c #Conflicts: 315000 | #Constraints: 16510
445.07/446.52 c #Conflicts: 316000 | #Constraints: 17519
445.07/446.52 c #Conflicts: 317000 | #Constraints: 18525
445.07/446.52 c #Conflicts: 318000 | #Constraints: 19534
445.07/446.52 c #Conflicts: 319000 | #Constraints: 20539
445.07/446.52 c #Conflicts: 320000 | #Constraints: 21543
445.07/446.52 c #Conflicts: 321000 | #Constraints: 22548
445.07/446.52 c INPROCESSING
445.07/446.52 c GARBAGE COLLECT
445.07/446.52 c rational objective 6
445.47/446.92 c GLOBAL bounds - >= 6 @ 438.154
445.47/446.92 c GLOBAL bounds - >= 6 @ 438.154
469.79/471.37 c #Conflicts: 322000 | #Constraints: 12301
469.79/471.37 c #Conflicts: 323000 | #Constraints: 13312
469.79/471.37 c #Conflicts: 324000 | #Constraints: 14319
469.79/471.37 c #Conflicts: 325000 | #Constraints: 15324
469.79/471.37 c #Conflicts: 326000 | #Constraints: 16330
469.79/471.37 c #Conflicts: 327000 | #Constraints: 17333
469.79/471.37 c #Conflicts: 328000 | #Constraints: 18343
469.79/471.37 c #Conflicts: 329000 | #Constraints: 19349
469.79/471.37 c #Conflicts: 330000 | #Constraints: 20355
469.79/471.37 c #Conflicts: 331000 | #Constraints: 21359
469.79/471.37 c #Conflicts: 332000 | #Constraints: 22361
469.79/471.37 c #Conflicts: 333000 | #Constraints: 23367
469.79/471.37 c INPROCESSING
469.79/471.37 c GARBAGE COLLECT
469.79/471.37 c rational objective 6
470.39/471.90 c GLOBAL bounds - >= 6 @ 462.686
470.39/471.90 c GLOBAL bounds - >= 6 @ 462.686
489.74/491.31 c #Conflicts: 334000 | #Constraints: 12922
489.74/491.31 c #Conflicts: 335000 | #Constraints: 13930
489.74/491.31 c #Conflicts: 336000 | #Constraints: 14938
489.74/491.31 c #Conflicts: 337000 | #Constraints: 15946
489.74/491.31 c #Conflicts: 338000 | #Constraints: 16950
489.74/491.31 c #Conflicts: 339000 | #Constraints: 17956
489.74/491.31 c #Conflicts: 340000 | #Constraints: 18960
489.74/491.31 c #Conflicts: 341000 | #Constraints: 19968
489.74/491.31 c #Conflicts: 342000 | #Constraints: 20971
489.74/491.31 c #Conflicts: 343000 | #Constraints: 21981
489.74/491.31 c #Conflicts: 344000 | #Constraints: 22984
489.74/491.31 c #Conflicts: 345000 | #Constraints: 23989
489.74/491.31 c INPROCESSING
489.74/491.31 c GARBAGE COLLECT
489.74/491.31 c rational objective 6
490.23/491.84 c GLOBAL bounds - >= 6 @ 482.246
490.23/491.84 c GLOBAL bounds - >= 6 @ 482.246
511.17/512.88 c #Conflicts: 346000 | #Constraints: 13311
511.17/512.88 c #Conflicts: 347000 | #Constraints: 14312
511.17/512.88 c #Conflicts: 348000 | #Constraints: 15316
511.17/512.88 c #Conflicts: 349000 | #Constraints: 16320
511.17/512.88 c #Conflicts: 350000 | #Constraints: 17326
511.17/512.88 c #Conflicts: 351000 | #Constraints: 18330
511.17/512.88 c #Conflicts: 352000 | #Constraints: 19332
511.17/512.88 c #Conflicts: 353000 | #Constraints: 20335
511.17/512.88 c #Conflicts: 354000 | #Constraints: 21342
511.17/512.88 c #Conflicts: 355000 | #Constraints: 22348
511.17/512.88 c #Conflicts: 356000 | #Constraints: 23355
511.17/512.88 c #Conflicts: 357000 | #Constraints: 24360
511.17/512.88 c INPROCESSING
511.17/512.88 c GARBAGE COLLECT
511.17/512.88 c rational objective 6
511.47/513.18 c GLOBAL bounds - >= 6 @ 503.164
511.47/513.18 c GLOBAL bounds - >= 6 @ 503.164
529.80/531.57 c #Conflicts: 358000 | #Constraints: 13493
529.80/531.57 c #Conflicts: 359000 | #Constraints: 14498
529.80/531.57 c #Conflicts: 360000 | #Constraints: 15505
529.80/531.57 c #Conflicts: 361000 | #Constraints: 16511
529.80/531.57 c #Conflicts: 362000 | #Constraints: 17517
529.80/531.57 c #Conflicts: 363000 | #Constraints: 18519
529.80/531.57 c #Conflicts: 364000 | #Constraints: 19524
529.80/531.57 c #Conflicts: 365000 | #Constraints: 20533
529.80/531.57 c #Conflicts: 366000 | #Constraints: 21536
529.80/531.57 c #Conflicts: 367000 | #Constraints: 22543
529.80/531.57 c #Conflicts: 368000 | #Constraints: 23547
529.80/531.57 c #Conflicts: 369000 | #Constraints: 24551
529.80/531.57 c INPROCESSING
529.80/531.57 c GARBAGE COLLECT
529.80/531.57 c rational objective 6
530.09/531.89 c GLOBAL bounds - >= 6 @ 521.481
530.09/531.89 c GLOBAL bounds - >= 6 @ 521.481
557.31/559.15 c #Conflicts: 370000 | #Constraints: 13491
557.31/559.15 c #Conflicts: 371000 | #Constraints: 14498
557.31/559.15 c #Conflicts: 372000 | #Constraints: 15503
557.31/559.15 c #Conflicts: 373000 | #Constraints: 16506
557.31/559.15 c #Conflicts: 374000 | #Constraints: 17511
557.31/559.15 c #Conflicts: 375000 | #Constraints: 18517
557.31/559.15 c #Conflicts: 376000 | #Constraints: 19521
557.31/559.15 c #Conflicts: 377000 | #Constraints: 20525
557.31/559.15 c #Conflicts: 378000 | #Constraints: 21531
557.31/559.15 c #Conflicts: 379000 | #Constraints: 22533
557.31/559.15 c #Conflicts: 380000 | #Constraints: 23535
557.31/559.15 c #Conflicts: 381000 | #Constraints: 24539
557.31/559.15 c INPROCESSING
557.31/559.15 c GARBAGE COLLECT
557.31/559.15 c rational objective 6
557.81/559.69 c GLOBAL bounds - >= 6 @ 548.853
557.81/559.69 c GLOBAL bounds - >= 6 @ 548.853
581.53/583.43 c #Conflicts: 382000 | #Constraints: 13290
581.53/583.43 c #Conflicts: 383000 | #Constraints: 14296
581.53/583.43 c #Conflicts: 384000 | #Constraints: 15298
581.53/583.43 c #Conflicts: 385000 | #Constraints: 16303
581.53/583.43 c #Conflicts: 386000 | #Constraints: 17306
581.53/583.43 c #Conflicts: 387000 | #Constraints: 18309
581.53/583.43 c #Conflicts: 388000 | #Constraints: 19315
581.53/583.43 c #Conflicts: 389000 | #Constraints: 20316
581.53/583.43 c #Conflicts: 390000 | #Constraints: 21318
581.53/583.43 c #Conflicts: 391000 | #Constraints: 22321
581.53/583.43 c #Conflicts: 392000 | #Constraints: 23323
581.53/583.43 c #Conflicts: 393000 | #Constraints: 24324
581.53/583.43 c #Conflicts: 394000 | #Constraints: 25330
581.53/583.43 c INPROCESSING
581.53/583.43 c GARBAGE COLLECT
581.53/583.43 c rational objective 6
581.93/583.82 c GLOBAL bounds - >= 6 @ 572.521
581.93/583.82 c GLOBAL bounds - >= 6 @ 572.521
603.46/605.40 c #Conflicts: 395000 | #Constraints: 13860
603.46/605.40 c #Conflicts: 396000 | #Constraints: 14865
603.46/605.40 c #Conflicts: 397000 | #Constraints: 15870
603.46/605.40 c #Conflicts: 398000 | #Constraints: 16879
603.46/605.40 c #Conflicts: 399000 | #Constraints: 17891
603.46/605.40 c #Conflicts: 400000 | #Constraints: 18900
603.46/605.40 c #Conflicts: 401000 | #Constraints: 19902
603.46/605.40 c #Conflicts: 402000 | #Constraints: 20905
603.46/605.40 c #Conflicts: 403000 | #Constraints: 21912
603.46/605.40 c #Conflicts: 404000 | #Constraints: 22915
603.46/605.40 c #Conflicts: 405000 | #Constraints: 23918
603.46/605.40 c #Conflicts: 406000 | #Constraints: 24921
603.46/605.40 c #Conflicts: 407000 | #Constraints: 25925
603.46/605.40 c INPROCESSING
603.46/605.40 c GARBAGE COLLECT
603.46/605.40 c rational objective 6
603.75/605.75 c GLOBAL bounds - >= 6 @ 594.025
603.75/605.75 c GLOBAL bounds - >= 6 @ 594.025
630.47/632.52 c #Conflicts: 408000 | #Constraints: 14269
630.47/632.52 c #Conflicts: 409000 | #Constraints: 15270
630.47/632.52 c #Conflicts: 410000 | #Constraints: 16274
630.47/632.52 c #Conflicts: 411000 | #Constraints: 17276
630.47/632.52 c #Conflicts: 412000 | #Constraints: 18279
630.47/632.52 c #Conflicts: 413000 | #Constraints: 19281
630.47/632.52 c #Conflicts: 414000 | #Constraints: 20289
630.47/632.52 c #Conflicts: 415000 | #Constraints: 21291
630.47/632.52 c #Conflicts: 416000 | #Constraints: 22295
630.47/632.52 c #Conflicts: 417000 | #Constraints: 23299
630.47/632.52 c #Conflicts: 418000 | #Constraints: 24300
630.47/632.52 c #Conflicts: 419000 | #Constraints: 25306
630.47/632.52 c #Conflicts: 420000 | #Constraints: 26309
630.47/632.52 c INPROCESSING
630.47/632.52 c GARBAGE COLLECT
630.47/632.52 c rational objective 6
631.17/633.22 c GLOBAL bounds - >= 6 @ 621.032
631.17/633.22 c GLOBAL bounds - >= 6 @ 621.032
668.44/670.65 c #Conflicts: 421000 | #Constraints: 14482
668.44/670.65 c #Conflicts: 422000 | #Constraints: 15483
668.44/670.65 c #Conflicts: 423000 | #Constraints: 16485
668.44/670.65 c #Conflicts: 424000 | #Constraints: 17489
668.44/670.65 c #Conflicts: 425000 | #Constraints: 18495
668.44/670.65 c #Conflicts: 426000 | #Constraints: 19498
668.44/670.65 c #Conflicts: 427000 | #Constraints: 20501
668.44/670.65 c #Conflicts: 428000 | #Constraints: 21509
668.44/670.65 c #Conflicts: 429000 | #Constraints: 22516
668.44/670.65 c #Conflicts: 430000 | #Constraints: 23523
668.44/670.65 c #Conflicts: 431000 | #Constraints: 24526
668.44/670.65 c #Conflicts: 432000 | #Constraints: 25528
668.44/670.65 c #Conflicts: 433000 | #Constraints: 26531
668.44/670.65 c INPROCESSING
668.44/670.65 c GARBAGE COLLECT
668.44/670.65 c rational objective 6
668.95/671.10 c GLOBAL bounds - >= 6 @ 658.363
668.95/671.10 c GLOBAL bounds - >= 6 @ 658.363
698.95/701.20 c #Conflicts: 434000 | #Constraints: 14501
698.95/701.20 c #Conflicts: 435000 | #Constraints: 15505
698.95/701.20 c #Conflicts: 436000 | #Constraints: 16509
698.95/701.20 c #Conflicts: 437000 | #Constraints: 17513
698.95/701.20 c #Conflicts: 438000 | #Constraints: 18516
698.95/701.20 c #Conflicts: 439000 | #Constraints: 19519
698.95/701.20 c #Conflicts: 440000 | #Constraints: 20522
698.95/701.20 c #Conflicts: 441000 | #Constraints: 21522
698.95/701.20 c #Conflicts: 442000 | #Constraints: 22525
698.95/701.20 c #Conflicts: 443000 | #Constraints: 23525
698.95/701.20 c #Conflicts: 444000 | #Constraints: 24526
698.95/701.20 c #Conflicts: 445000 | #Constraints: 25529
698.95/701.20 c #Conflicts: 446000 | #Constraints: 26529
698.95/701.20 c INPROCESSING
698.95/701.20 c GARBAGE COLLECT
698.95/701.20 c rational objective 6
699.15/701.48 c GLOBAL bounds - >= 6 @ 688.23
699.15/701.48 c GLOBAL bounds - >= 6 @ 688.23
737.52/739.95 c #Conflicts: 447000 | #Constraints: 14289
737.52/739.95 c #Conflicts: 448000 | #Constraints: 15298
737.52/739.95 c #Conflicts: 449000 | #Constraints: 16301
737.52/739.95 c #Conflicts: 450000 | #Constraints: 17301
737.52/739.95 c #Conflicts: 451000 | #Constraints: 18304
737.52/739.95 c #Conflicts: 452000 | #Constraints: 19305
737.52/739.95 c #Conflicts: 453000 | #Constraints: 20309
737.52/739.95 c #Conflicts: 454000 | #Constraints: 21310
737.52/739.95 c #Conflicts: 455000 | #Constraints: 22313
737.52/739.95 c #Conflicts: 456000 | #Constraints: 23319
737.52/739.95 c #Conflicts: 457000 | #Constraints: 24320
737.52/739.95 c #Conflicts: 458000 | #Constraints: 25323
737.52/739.95 c #Conflicts: 459000 | #Constraints: 26325
737.52/739.95 c #Conflicts: 460000 | #Constraints: 27328
737.52/739.95 c INPROCESSING
737.52/739.95 c GARBAGE COLLECT
737.52/739.95 c rational objective 6
737.92/740.38 c GLOBAL bounds - >= 6 @ 726.579
737.92/740.38 c GLOBAL bounds - >= 6 @ 726.579
757.75/760.29 c #Conflicts: 461000 | #Constraints: 14896
757.75/760.29 c #Conflicts: 462000 | #Constraints: 15898
757.75/760.29 c #Conflicts: 463000 | #Constraints: 16902
757.75/760.29 c #Conflicts: 464000 | #Constraints: 17904
757.75/760.29 c #Conflicts: 465000 | #Constraints: 18908
757.75/760.29 c #Conflicts: 466000 | #Constraints: 19920
757.75/760.29 c #Conflicts: 467000 | #Constraints: 20934
757.75/760.29 c #Conflicts: 468000 | #Constraints: 21944
757.75/760.29 c #Conflicts: 469000 | #Constraints: 22948
757.75/760.29 c #Conflicts: 470000 | #Constraints: 23956
757.75/760.29 c #Conflicts: 471000 | #Constraints: 24965
757.75/760.29 c #Conflicts: 472000 | #Constraints: 25966
757.75/760.29 c #Conflicts: 473000 | #Constraints: 26973
757.75/760.29 c #Conflicts: 474000 | #Constraints: 27981
757.75/760.29 c INPROCESSING
757.75/760.29 c GARBAGE COLLECT
757.75/760.29 c rational objective 6
758.05/760.50 c GLOBAL bounds - >= 6 @ 746.277
758.05/760.50 c GLOBAL bounds - >= 6 @ 746.277
800.02/802.67 c #Conflicts: 475000 | #Constraints: 15344
800.02/802.67 c #Conflicts: 476000 | #Constraints: 16345
800.02/802.67 c #Conflicts: 477000 | #Constraints: 17348
800.02/802.67 c #Conflicts: 478000 | #Constraints: 18353
800.02/802.67 c #Conflicts: 479000 | #Constraints: 19356
800.02/802.67 c #Conflicts: 480000 | #Constraints: 20361
800.02/802.67 c #Conflicts: 481000 | #Constraints: 21367
800.02/802.67 c #Conflicts: 482000 | #Constraints: 22371
800.02/802.67 c #Conflicts: 483000 | #Constraints: 23374
800.02/802.67 c #Conflicts: 484000 | #Constraints: 24376
800.02/802.67 c #Conflicts: 485000 | #Constraints: 25380
800.02/802.67 c #Conflicts: 486000 | #Constraints: 26385
800.02/802.67 c #Conflicts: 487000 | #Constraints: 27388
800.02/802.67 c #Conflicts: 488000 | #Constraints: 28389
800.02/802.67 c INPROCESSING
800.02/802.67 c GARBAGE COLLECT
800.02/802.67 c rational objective 6
800.53/803.11 c GLOBAL bounds - >= 6 @ 788.316
800.53/803.11 c GLOBAL bounds - >= 6 @ 788.316
817.86/820.57 c #Conflicts: 489000 | #Constraints: 15542
817.86/820.57 c #Conflicts: 490000 | #Constraints: 16547
817.86/820.57 c #Conflicts: 491000 | #Constraints: 17552
817.86/820.57 c #Conflicts: 492000 | #Constraints: 18555
817.86/820.57 c #Conflicts: 493000 | #Constraints: 19558
817.86/820.57 c #Conflicts: 494000 | #Constraints: 20561
817.86/820.57 c #Conflicts: 495000 | #Constraints: 21571
817.86/820.57 c #Conflicts: 496000 | #Constraints: 22589
817.86/820.57 c #Conflicts: 497000 | #Constraints: 23596
817.86/820.57 c #Conflicts: 498000 | #Constraints: 24605
817.86/820.57 c #Conflicts: 499000 | #Constraints: 25610
817.86/820.57 c #Conflicts: 500000 | #Constraints: 26612
817.86/820.57 c #Conflicts: 501000 | #Constraints: 27616
817.86/820.57 c #Conflicts: 502000 | #Constraints: 28616
817.86/820.57 c INPROCESSING
817.86/820.57 c GARBAGE COLLECT
817.86/820.57 c rational objective 6
818.06/820.76 c GLOBAL bounds - >= 6 @ 805.585
818.06/820.76 c GLOBAL bounds - >= 6 @ 805.585
848.57/851.37 c #Conflicts: 503000 | #Constraints: 15556
848.57/851.37 c #Conflicts: 504000 | #Constraints: 16559
848.57/851.37 c #Conflicts: 505000 | #Constraints: 17565
848.57/851.37 c #Conflicts: 506000 | #Constraints: 18567
848.57/851.37 c #Conflicts: 507000 | #Constraints: 19573
848.57/851.37 c #Conflicts: 508000 | #Constraints: 20576
848.57/851.37 c #Conflicts: 509000 | #Constraints: 21578
848.57/851.37 c #Conflicts: 510000 | #Constraints: 22580
848.57/851.37 c #Conflicts: 511000 | #Constraints: 23582
848.57/851.37 c #Conflicts: 512000 | #Constraints: 24585
848.57/851.37 c #Conflicts: 513000 | #Constraints: 25586
848.57/851.37 c #Conflicts: 514000 | #Constraints: 26591
848.57/851.37 c #Conflicts: 515000 | #Constraints: 27594
848.57/851.37 c #Conflicts: 516000 | #Constraints: 28598
848.57/851.37 c INPROCESSING
848.57/851.37 c GARBAGE COLLECT
848.57/851.37 c rational objective 6
848.96/851.73 c GLOBAL bounds - >= 6 @ 836.102
848.96/851.73 c GLOBAL bounds - >= 6 @ 836.102
877.68/880.54 c #Conflicts: 517000 | #Constraints: 15330
877.68/880.54 c #Conflicts: 518000 | #Constraints: 16339
877.68/880.54 c #Conflicts: 519000 | #Constraints: 17352
877.68/880.54 c #Conflicts: 520000 | #Constraints: 18361
877.68/880.54 c #Conflicts: 521000 | #Constraints: 19369
877.68/880.54 c #Conflicts: 522000 | #Constraints: 20371
877.68/880.54 c #Conflicts: 523000 | #Constraints: 21377
877.68/880.54 c #Conflicts: 524000 | #Constraints: 22381
877.68/880.54 c #Conflicts: 525000 | #Constraints: 23383
877.68/880.54 c #Conflicts: 526000 | #Constraints: 24386
877.68/880.54 c #Conflicts: 527000 | #Constraints: 25391
877.68/880.54 c #Conflicts: 528000 | #Constraints: 26394
877.68/880.54 c #Conflicts: 529000 | #Constraints: 27398
877.68/880.54 c #Conflicts: 530000 | #Constraints: 28404
877.68/880.54 c #Conflicts: 531000 | #Constraints: 29407
877.68/880.54 c INPROCESSING
877.68/880.54 c GARBAGE COLLECT
877.68/880.54 c rational objective 6
877.98/880.83 c GLOBAL bounds - >= 6 @ 864.654
877.98/880.83 c GLOBAL bounds - >= 6 @ 864.654
911.49/914.48 c #Conflicts: 532000 | #Constraints: 15940
911.49/914.48 c #Conflicts: 533000 | #Constraints: 16943
911.49/914.48 c #Conflicts: 534000 | #Constraints: 17943
911.49/914.48 c #Conflicts: 535000 | #Constraints: 18944
911.49/914.48 c #Conflicts: 536000 | #Constraints: 19945
911.49/914.48 c #Conflicts: 537000 | #Constraints: 20946
911.49/914.48 c #Conflicts: 538000 | #Constraints: 21952
911.49/914.48 c #Conflicts: 539000 | #Constraints: 22955
911.49/914.48 c #Conflicts: 540000 | #Constraints: 23955
911.49/914.48 c #Conflicts: 541000 | #Constraints: 24958
911.49/914.48 c #Conflicts: 542000 | #Constraints: 25961
911.49/914.48 c #Conflicts: 543000 | #Constraints: 26961
911.49/914.48 c #Conflicts: 544000 | #Constraints: 27962
911.49/914.48 c #Conflicts: 545000 | #Constraints: 28962
911.49/914.48 c #Conflicts: 546000 | #Constraints: 29962
911.49/914.48 c INPROCESSING
911.49/914.48 c GARBAGE COLLECT
911.49/914.48 c rational objective 6
911.88/914.80 c GLOBAL bounds - >= 6 @ 898.073
911.88/914.80 c GLOBAL bounds - >= 6 @ 898.073
942.40/945.44 c #Conflicts: 547000 | #Constraints: 16257
942.40/945.44 c #Conflicts: 548000 | #Constraints: 17294
942.40/945.44 c #Conflicts: 549000 | #Constraints: 18400
942.40/945.44 c #Conflicts: 550000 | #Constraints: 19464
942.40/945.44 c #Conflicts: 551000 | #Constraints: 20544
942.40/945.44 c #Conflicts: 552000 | #Constraints: 21588
942.40/945.44 c #Conflicts: 553000 | #Constraints: 22633
942.40/945.44 c #Conflicts: 554000 | #Constraints: 23670
942.40/945.44 c #Conflicts: 555000 | #Constraints: 24682
942.40/945.44 c #Conflicts: 556000 | #Constraints: 25683
942.40/945.44 c #Conflicts: 557000 | #Constraints: 26811
942.40/945.44 c #Conflicts: 558000 | #Constraints: 27814
942.40/945.44 c #Conflicts: 559000 | #Constraints: 28817
942.40/945.44 c #Conflicts: 560000 | #Constraints: 29817
942.40/945.44 c #Conflicts: 561000 | #Constraints: 30819
942.40/945.44 c INPROCESSING
942.40/945.44 c GARBAGE COLLECT
942.40/945.44 c rational objective 6
942.90/945.91 c GLOBAL bounds - >= 6 @ 928.647
942.90/945.91 c GLOBAL bounds - >= 6 @ 928.647
980.69/983.85 c #Conflicts: 562000 | #Constraints: 16727
980.69/983.85 c #Conflicts: 563000 | #Constraints: 17728
980.69/983.85 c #Conflicts: 564000 | #Constraints: 18729
980.69/983.85 c #Conflicts: 565000 | #Constraints: 19730
980.69/983.85 c #Conflicts: 566000 | #Constraints: 20732
980.69/983.85 c #Conflicts: 567000 | #Constraints: 21736
980.69/983.85 c #Conflicts: 568000 | #Constraints: 22736
980.69/983.85 c #Conflicts: 569000 | #Constraints: 23738
980.69/983.85 c #Conflicts: 570000 | #Constraints: 24739
980.69/983.85 c #Conflicts: 571000 | #Constraints: 25743
980.69/983.85 c #Conflicts: 572000 | #Constraints: 26746
980.69/983.85 c #Conflicts: 573000 | #Constraints: 27748
980.69/983.85 c #Conflicts: 574000 | #Constraints: 28752
980.69/983.85 c #Conflicts: 575000 | #Constraints: 29754
980.69/983.85 c #Conflicts: 576000 | #Constraints: 30757
980.69/983.85 c INPROCESSING
980.69/983.85 c GARBAGE COLLECT
980.69/983.85 c rational objective 6
981.48/984.65 c GLOBAL bounds - >= 6 @ 966.747
981.48/984.65 c GLOBAL bounds - >= 6 @ 966.747
1017.49/1020.79 c #Conflicts: 577000 | #Constraints: 16588
1017.49/1020.79 c #Conflicts: 578000 | #Constraints: 17590
1017.49/1020.79 c #Conflicts: 579000 | #Constraints: 18590
1017.49/1020.79 c #Conflicts: 580000 | #Constraints: 19594
1017.49/1020.79 c #Conflicts: 581000 | #Constraints: 20598
1017.49/1020.79 c #Conflicts: 582000 | #Constraints: 21605
1017.49/1020.79 c #Conflicts: 583000 | #Constraints: 22607
1017.49/1020.79 c #Conflicts: 584000 | #Constraints: 23612
1017.49/1020.79 c #Conflicts: 585000 | #Constraints: 24614
1017.49/1020.79 c #Conflicts: 586000 | #Constraints: 25619
1017.49/1020.79 c #Conflicts: 587000 | #Constraints: 26621
1017.49/1020.79 c #Conflicts: 588000 | #Constraints: 27625
1017.49/1020.79 c #Conflicts: 589000 | #Constraints: 28629
1017.49/1020.79 c #Conflicts: 590000 | #Constraints: 29633
1017.49/1020.79 c #Conflicts: 591000 | #Constraints: 30638
1017.49/1020.79 c INPROCESSING
1017.49/1020.79 c GARBAGE COLLECT
1017.49/1020.79 c rational objective 6
1017.99/1021.24 c GLOBAL bounds - >= 6 @ 1002.77
1017.99/1021.24 c GLOBAL bounds - >= 6 @ 1002.77
1073.53/1076.93 c #Conflicts: 592000 | #Constraints: 16384
1073.53/1076.93 c #Conflicts: 593000 | #Constraints: 17389
1073.53/1076.93 c #Conflicts: 594000 | #Constraints: 18392
1073.53/1076.93 c #Conflicts: 595000 | #Constraints: 19398
1073.53/1076.93 c #Conflicts: 596000 | #Constraints: 20403
1073.53/1076.93 c #Conflicts: 597000 | #Constraints: 21407
1073.53/1076.93 c #Conflicts: 598000 | #Constraints: 22413
1073.53/1076.93 c #Conflicts: 599000 | #Constraints: 23417
1073.53/1076.93 c #Conflicts: 600000 | #Constraints: 24420
1073.53/1076.93 c #Conflicts: 601000 | #Constraints: 25422
1073.53/1076.93 c #Conflicts: 602000 | #Constraints: 26425
1073.53/1076.93 c #Conflicts: 603000 | #Constraints: 27425
1073.53/1076.93 c #Conflicts: 604000 | #Constraints: 28428
1073.53/1076.93 c #Conflicts: 605000 | #Constraints: 29428
1073.53/1076.93 c #Conflicts: 606000 | #Constraints: 30433
1073.53/1076.93 c #Conflicts: 607000 | #Constraints: 31436
1073.53/1076.93 c INPROCESSING
1073.53/1076.93 c GARBAGE COLLECT
1073.53/1076.93 c rational objective 6
1073.93/1077.36 c GLOBAL bounds - >= 6 @ 1058.22
1073.93/1077.36 c GLOBAL bounds - >= 6 @ 1058.22
1102.16/1105.66 c #Conflicts: 608000 | #Constraints: 16935
1102.16/1105.66 c #Conflicts: 609000 | #Constraints: 17937
1102.16/1105.66 c #Conflicts: 610000 | #Constraints: 18943
1102.16/1105.66 c #Conflicts: 611000 | #Constraints: 19948
1102.16/1105.66 c #Conflicts: 612000 | #Constraints: 20949
1102.16/1105.66 c #Conflicts: 613000 | #Constraints: 21954
1102.16/1105.66 c #Conflicts: 614000 | #Constraints: 22959
1102.16/1105.66 c #Conflicts: 615000 | #Constraints: 23966
1102.16/1105.66 c #Conflicts: 616000 | #Constraints: 24977
1102.16/1105.66 c #Conflicts: 617000 | #Constraints: 25984
1102.16/1105.66 c #Conflicts: 618000 | #Constraints: 26992
1102.16/1105.66 c #Conflicts: 619000 | #Constraints: 28000
1102.16/1105.66 c #Conflicts: 620000 | #Constraints: 29003
1102.16/1105.66 c #Conflicts: 621000 | #Constraints: 30007
1102.16/1105.66 c #Conflicts: 622000 | #Constraints: 31011
1102.16/1105.66 c #Conflicts: 623000 | #Constraints: 32016
1102.16/1105.66 c INPROCESSING
1102.16/1105.66 c GARBAGE COLLECT
1102.16/1105.66 c rational objective 6
1102.66/1106.16 c GLOBAL bounds - >= 6 @ 1086.48
1102.66/1106.16 c GLOBAL bounds - >= 6 @ 1086.48
1139.96/1143.52 c #Conflicts: 624000 | #Constraints: 17355
1139.96/1143.52 c #Conflicts: 625000 | #Constraints: 18361
1139.96/1143.52 c #Conflicts: 626000 | #Constraints: 19366
1139.96/1143.52 c #Conflicts: 627000 | #Constraints: 20372
1139.96/1143.52 c #Conflicts: 628000 | #Constraints: 21379
1139.96/1143.52 c #Conflicts: 629000 | #Constraints: 22388
1139.96/1143.52 c #Conflicts: 630000 | #Constraints: 23393
1139.96/1143.52 c #Conflicts: 631000 | #Constraints: 24398
1139.96/1143.52 c #Conflicts: 632000 | #Constraints: 25406
1139.96/1143.52 c #Conflicts: 633000 | #Constraints: 26410
1139.96/1143.52 c #Conflicts: 634000 | #Constraints: 27411
1139.96/1143.52 c #Conflicts: 635000 | #Constraints: 28417
1139.96/1143.52 c #Conflicts: 636000 | #Constraints: 29421
1139.96/1143.52 c #Conflicts: 637000 | #Constraints: 30430
1139.96/1143.52 c #Conflicts: 638000 | #Constraints: 31434
1139.96/1143.52 c #Conflicts: 639000 | #Constraints: 32439
1139.96/1143.52 c INPROCESSING
1139.96/1143.52 c GARBAGE COLLECT
1139.96/1143.52 c rational objective 6
1140.65/1144.24 c GLOBAL bounds - >= 6 @ 1123.96
1140.65/1144.24 c GLOBAL bounds - >= 6 @ 1123.96
1173.26/1176.95 c #Conflicts: 640000 | #Constraints: 17558
1173.26/1176.95 c #Conflicts: 641000 | #Constraints: 18565
1173.26/1176.95 c #Conflicts: 642000 | #Constraints: 19576
1173.26/1176.95 c #Conflicts: 643000 | #Constraints: 20579
1173.26/1176.95 c #Conflicts: 644000 | #Constraints: 21585
1173.26/1176.95 c #Conflicts: 645000 | #Constraints: 22589
1173.26/1176.95 c #Conflicts: 646000 | #Constraints: 23595
1173.26/1176.95 c #Conflicts: 647000 | #Constraints: 24597
1173.26/1176.95 c #Conflicts: 648000 | #Constraints: 25602
1173.26/1176.95 c #Conflicts: 649000 | #Constraints: 26606
1173.26/1176.95 c #Conflicts: 650000 | #Constraints: 27614
1173.26/1176.95 c #Conflicts: 651000 | #Constraints: 28623
1173.26/1176.95 c #Conflicts: 652000 | #Constraints: 29628
1173.26/1176.95 c #Conflicts: 653000 | #Constraints: 30636
1173.26/1176.95 c #Conflicts: 654000 | #Constraints: 31644
1173.26/1176.95 c #Conflicts: 655000 | #Constraints: 32647
1173.26/1176.95 c INPROCESSING
1173.26/1176.95 c GARBAGE COLLECT
1173.26/1176.95 c rational objective 6
1173.96/1177.69 c GLOBAL bounds - >= 6 @ 1156.88
1173.96/1177.69 c GLOBAL bounds - >= 6 @ 1156.88
1215.55/1219.35 c #Conflicts: 656000 | #Constraints: 17555
1215.55/1219.35 c #Conflicts: 657000 | #Constraints: 18558
1215.55/1219.35 c #Conflicts: 658000 | #Constraints: 19560
1215.55/1219.35 c #Conflicts: 659000 | #Constraints: 20564
1215.55/1219.35 c #Conflicts: 660000 | #Constraints: 21566
1215.55/1219.35 c #Conflicts: 661000 | #Constraints: 22570
1215.55/1219.35 c #Conflicts: 662000 | #Constraints: 23576
1215.55/1219.35 c #Conflicts: 663000 | #Constraints: 24584
1215.55/1219.35 c #Conflicts: 664000 | #Constraints: 25589
1215.55/1219.35 c #Conflicts: 665000 | #Constraints: 26593
1215.55/1219.35 c #Conflicts: 666000 | #Constraints: 27597
1215.55/1219.35 c #Conflicts: 667000 | #Constraints: 28600
1215.55/1219.35 c #Conflicts: 668000 | #Constraints: 29608
1215.55/1219.35 c #Conflicts: 669000 | #Constraints: 30611
1215.55/1219.35 c #Conflicts: 670000 | #Constraints: 31615
1215.55/1219.35 c #Conflicts: 671000 | #Constraints: 32620
1215.55/1219.35 c INPROCESSING
1215.55/1219.35 c GARBAGE COLLECT
1215.55/1219.35 c rational objective 6
1215.95/1219.77 c GLOBAL bounds - >= 6 @ 1198.38
1215.95/1219.77 c GLOBAL bounds - >= 6 @ 1198.38
1252.06/1255.97 c #Conflicts: 672000 | #Constraints: 17360
1252.06/1255.97 c #Conflicts: 673000 | #Constraints: 18365
1252.06/1255.97 c #Conflicts: 674000 | #Constraints: 19373
1252.06/1255.97 c #Conflicts: 675000 | #Constraints: 20376
1252.06/1255.97 c #Conflicts: 676000 | #Constraints: 21381
1252.06/1255.97 c #Conflicts: 677000 | #Constraints: 22382
1252.06/1255.97 c #Conflicts: 678000 | #Constraints: 23384
1252.06/1255.97 c #Conflicts: 679000 | #Constraints: 24396
1252.06/1255.97 c #Conflicts: 680000 | #Constraints: 25404
1252.06/1255.97 c #Conflicts: 681000 | #Constraints: 26406
1252.06/1255.97 c #Conflicts: 682000 | #Constraints: 27410
1252.06/1255.97 c #Conflicts: 683000 | #Constraints: 28414
1252.06/1255.97 c #Conflicts: 684000 | #Constraints: 29415
1252.06/1255.97 c #Conflicts: 685000 | #Constraints: 30418
1252.06/1255.97 c #Conflicts: 686000 | #Constraints: 31420
1252.06/1255.97 c #Conflicts: 687000 | #Constraints: 32423
1252.06/1255.97 c #Conflicts: 688000 | #Constraints: 33425
1252.06/1255.97 c INPROCESSING
1252.06/1255.97 c GARBAGE COLLECT
1252.06/1255.97 c rational objective 6
1252.45/1256.30 c GLOBAL bounds - >= 6 @ 1234.36
1252.45/1256.30 c GLOBAL bounds - >= 6 @ 1234.36
1289.46/1293.44 c #Conflicts: 689000 | #Constraints: 17903
1289.46/1293.44 c #Conflicts: 690000 | #Constraints: 18911
1289.46/1293.44 c #Conflicts: 691000 | #Constraints: 19913
1289.46/1293.44 c #Conflicts: 692000 | #Constraints: 20914
1289.46/1293.44 c #Conflicts: 693000 | #Constraints: 21920
1289.46/1293.44 c #Conflicts: 694000 | #Constraints: 22927
1289.46/1293.44 c #Conflicts: 695000 | #Constraints: 23933
1289.46/1293.44 c #Conflicts: 696000 | #Constraints: 24941
1289.46/1293.44 c #Conflicts: 697000 | #Constraints: 25942
1289.46/1293.44 c #Conflicts: 698000 | #Constraints: 26948
1289.46/1293.44 c #Conflicts: 699000 | #Constraints: 27952
1289.46/1293.44 c #Conflicts: 700000 | #Constraints: 28957
1289.46/1293.44 c #Conflicts: 701000 | #Constraints: 29960
1289.46/1293.44 c #Conflicts: 702000 | #Constraints: 30967
1289.46/1293.44 c #Conflicts: 703000 | #Constraints: 31972
1289.46/1293.44 c #Conflicts: 704000 | #Constraints: 32975
1289.46/1293.44 c #Conflicts: 705000 | #Constraints: 33982
1289.46/1293.44 c INPROCESSING
1289.46/1293.44 c GARBAGE COLLECT
1289.46/1293.44 c rational objective 6
1289.76/1293.79 c GLOBAL bounds - >= 6 @ 1271.29
1289.76/1293.79 c GLOBAL bounds - >= 6 @ 1271.29
1335.33/1339.47 c #Conflicts: 706000 | #Constraints: 18329
1335.33/1339.47 c #Conflicts: 707000 | #Constraints: 19335
1335.33/1339.47 c #Conflicts: 708000 | #Constraints: 20341
1335.33/1339.47 c #Conflicts: 709000 | #Constraints: 21345
1335.33/1339.47 c #Conflicts: 710000 | #Constraints: 22348
1335.33/1339.47 c #Conflicts: 711000 | #Constraints: 23353
1335.33/1339.47 c #Conflicts: 712000 | #Constraints: 24356
1335.33/1339.47 c #Conflicts: 713000 | #Constraints: 25361
1335.33/1339.47 c #Conflicts: 714000 | #Constraints: 26367
1335.33/1339.47 c #Conflicts: 715000 | #Constraints: 27369
1335.33/1339.47 c #Conflicts: 716000 | #Constraints: 28372
1335.33/1339.47 c #Conflicts: 717000 | #Constraints: 29376
1335.33/1339.47 c #Conflicts: 718000 | #Constraints: 30380
1335.33/1339.47 c #Conflicts: 719000 | #Constraints: 31384
1335.33/1339.47 c #Conflicts: 720000 | #Constraints: 32387
1335.33/1339.47 c #Conflicts: 721000 | #Constraints: 33389
1335.33/1339.47 c #Conflicts: 722000 | #Constraints: 34391
1335.33/1339.47 c INPROCESSING
1335.33/1339.47 c GARBAGE COLLECT
1335.33/1339.47 c rational objective 6
1336.23/1340.36 c GLOBAL bounds - >= 6 @ 1317.2
1336.23/1340.36 c GLOBAL bounds - >= 6 @ 1317.2
1395.68/1399.99 c #Conflicts: 723000 | #Constraints: 18537
1395.68/1399.99 c #Conflicts: 724000 | #Constraints: 19540
1395.68/1399.99 c #Conflicts: 725000 | #Constraints: 20543
1395.68/1399.99 c #Conflicts: 726000 | #Constraints: 21545
1395.68/1399.99 c #Conflicts: 727000 | #Constraints: 22552
1395.68/1399.99 c #Conflicts: 728000 | #Constraints: 23558
1395.68/1399.99 c #Conflicts: 729000 | #Constraints: 24563
1395.68/1399.99 c #Conflicts: 730000 | #Constraints: 25569
1395.68/1399.99 c #Conflicts: 731000 | #Constraints: 26576
1395.68/1399.99 c #Conflicts: 732000 | #Constraints: 27583
1395.68/1399.99 c #Conflicts: 733000 | #Constraints: 28587
1395.68/1399.99 c #Conflicts: 734000 | #Constraints: 29595
1395.68/1399.99 c #Conflicts: 735000 | #Constraints: 30599
1395.68/1399.99 c #Conflicts: 736000 | #Constraints: 31603
1395.68/1399.99 c #Conflicts: 737000 | #Constraints: 32611
1395.68/1399.99 c #Conflicts: 738000 | #Constraints: 33614
1395.68/1399.99 c #Conflicts: 739000 | #Constraints: 34616
1395.68/1399.99 c INPROCESSING
1395.68/1399.99 c GARBAGE COLLECT
1395.68/1399.99 c rational objective 6
1396.27/1400.53 c GLOBAL bounds - >= 6 @ 1376.62
1396.27/1400.53 c GLOBAL bounds - >= 6 @ 1376.62
1438.56/1442.98 c #Conflicts: 740000 | #Constraints: 18561
1438.56/1442.98 c #Conflicts: 741000 | #Constraints: 19562
1438.56/1442.98 c #Conflicts: 742000 | #Constraints: 20565
1438.56/1442.98 c #Conflicts: 743000 | #Constraints: 21569
1438.56/1442.98 c #Conflicts: 744000 | #Constraints: 22578
1438.56/1442.98 c #Conflicts: 745000 | #Constraints: 23586
1438.56/1442.98 c #Conflicts: 746000 | #Constraints: 24591
1438.56/1442.98 c #Conflicts: 747000 | #Constraints: 25595
1438.56/1442.98 c #Conflicts: 748000 | #Constraints: 26599
1438.56/1442.98 c #Conflicts: 749000 | #Constraints: 27602
1438.56/1442.98 c #Conflicts: 750000 | #Constraints: 28605
1438.56/1442.98 c #Conflicts: 751000 | #Constraints: 29609
1438.56/1442.98 c #Conflicts: 752000 | #Constraints: 30615
1438.56/1442.98 c #Conflicts: 753000 | #Constraints: 31615
1438.56/1442.98 c #Conflicts: 754000 | #Constraints: 32616
1438.56/1442.98 c #Conflicts: 755000 | #Constraints: 33620
1438.56/1442.98 c #Conflicts: 756000 | #Constraints: 34625
1438.56/1442.98 c INPROCESSING
1438.56/1442.98 c GARBAGE COLLECT
1438.56/1442.98 c rational objective 6
1439.16/1443.52 c GLOBAL bounds - >= 6 @ 1418.96
1439.16/1443.52 c GLOBAL bounds - >= 6 @ 1418.96
1476.26/1480.74 c #Conflicts: 757000 | #Constraints: 18348
1476.26/1480.74 c #Conflicts: 758000 | #Constraints: 19351
1476.26/1480.74 c #Conflicts: 759000 | #Constraints: 20354
1476.26/1480.74 c #Conflicts: 760000 | #Constraints: 21361
1476.26/1480.74 c #Conflicts: 761000 | #Constraints: 22364
1476.26/1480.74 c #Conflicts: 762000 | #Constraints: 23371
1476.26/1480.74 c #Conflicts: 763000 | #Constraints: 24377
1476.26/1480.74 c #Conflicts: 764000 | #Constraints: 25380
1476.26/1480.74 c #Conflicts: 765000 | #Constraints: 26381
1476.26/1480.74 c #Conflicts: 766000 | #Constraints: 27382
1476.26/1480.74 c #Conflicts: 767000 | #Constraints: 28384
1476.26/1480.74 c #Conflicts: 768000 | #Constraints: 29384
1476.26/1480.74 c #Conflicts: 769000 | #Constraints: 30387
1476.26/1480.74 c #Conflicts: 770000 | #Constraints: 31392
1476.26/1480.74 c #Conflicts: 771000 | #Constraints: 32394
1476.26/1480.74 c #Conflicts: 772000 | #Constraints: 33555
1476.26/1480.74 c #Conflicts: 773000 | #Constraints: 35036
1476.26/1480.74 c #Conflicts: 774000 | #Constraints: 36605
1476.26/1480.74 c INPROCESSING
1476.26/1480.74 c GARBAGE COLLECT
1476.26/1480.74 c rational objective 6
1477.16/1481.66 c GLOBAL bounds - >= 6 @ 1456.55
1477.16/1481.66 c GLOBAL bounds - >= 6 @ 1456.55
1514.97/1519.59 c #Conflicts: 775000 | #Constraints: 19592
1514.97/1519.59 c #Conflicts: 776000 | #Constraints: 20592
1514.97/1519.59 c #Conflicts: 777000 | #Constraints: 21593
1514.97/1519.59 c #Conflicts: 778000 | #Constraints: 22597
1514.97/1519.59 c #Conflicts: 779000 | #Constraints: 23600
1514.97/1519.59 c #Conflicts: 780000 | #Constraints: 24601
1514.97/1519.59 c #Conflicts: 781000 | #Constraints: 25602
1514.97/1519.59 c #Conflicts: 782000 | #Constraints: 26607
1514.97/1519.59 c #Conflicts: 783000 | #Constraints: 27613
1514.97/1519.59 c #Conflicts: 784000 | #Constraints: 28615
1514.97/1519.59 c #Conflicts: 785000 | #Constraints: 29615
1514.97/1519.59 c #Conflicts: 786000 | #Constraints: 30619
1514.97/1519.59 c #Conflicts: 787000 | #Constraints: 31626
1514.97/1519.59 c #Conflicts: 788000 | #Constraints: 32629
1514.97/1519.59 c #Conflicts: 789000 | #Constraints: 33633
1514.97/1519.59 c #Conflicts: 790000 | #Constraints: 34636
1514.97/1519.59 c #Conflicts: 791000 | #Constraints: 35638
1514.97/1519.59 c #Conflicts: 792000 | #Constraints: 36638
1514.97/1519.59 c INPROCESSING
1514.97/1519.59 c GARBAGE COLLECT
1514.97/1519.59 c rational objective 6
1515.47/1520.10 c GLOBAL bounds - >= 6 @ 1494.36
1515.47/1520.10 c GLOBAL bounds - >= 6 @ 1494.36
1559.45/1564.19 c #Conflicts: 793000 | #Constraints: 19642
1559.45/1564.19 c #Conflicts: 794000 | #Constraints: 20642
1559.45/1564.19 c #Conflicts: 795000 | #Constraints: 21642
1559.45/1564.19 c #Conflicts: 796000 | #Constraints: 22644
1559.45/1564.19 c #Conflicts: 797000 | #Constraints: 23645
1559.45/1564.19 c #Conflicts: 798000 | #Constraints: 24916
1559.45/1564.19 c #Conflicts: 799000 | #Constraints: 25931
1559.45/1564.19 c #Conflicts: 800000 | #Constraints: 26936
1559.45/1564.19 c #Conflicts: 801000 | #Constraints: 28275
1559.45/1564.19 c #Conflicts: 802000 | #Constraints: 29839
1559.45/1564.19 c #Conflicts: 803000 | #Constraints: 31324
1559.45/1564.19 c #Conflicts: 804000 | #Constraints: 32635
1559.45/1564.19 c #Conflicts: 805000 | #Constraints: 33928
1559.45/1564.19 c #Conflicts: 806000 | #Constraints: 35431
1559.45/1564.19 c #Conflicts: 807000 | #Constraints: 36936
1559.45/1564.19 c #Conflicts: 808000 | #Constraints: 38479
1559.45/1564.19 c #Conflicts: 809000 | #Constraints: 39969
1559.45/1564.19 c #Conflicts: 810000 | #Constraints: 41440
1559.45/1564.19 c INPROCESSING
1559.45/1564.19 c GARBAGE COLLECT
1559.45/1564.19 c rational objective 6
1560.25/1564.98 c GLOBAL bounds - >= 6 @ 1538.52
1560.25/1564.98 c GLOBAL bounds - >= 6 @ 1538.52
1597.94/1602.73 c #Conflicts: 811000 | #Constraints: 22086
1597.94/1602.73 c #Conflicts: 812000 | #Constraints: 23125
1597.94/1602.73 c #Conflicts: 813000 | #Constraints: 24125
1597.94/1602.73 c #Conflicts: 814000 | #Constraints: 25225
1597.94/1602.73 c #Conflicts: 815000 | #Constraints: 26285
1597.94/1602.73 c #Conflicts: 816000 | #Constraints: 27395
1597.94/1602.73 c #Conflicts: 817000 | #Constraints: 28420
1597.94/1602.73 c #Conflicts: 818000 | #Constraints: 29423
1597.94/1602.73 c #Conflicts: 819000 | #Constraints: 30455
1597.94/1602.73 c #Conflicts: 820000 | #Constraints: 31456
1597.94/1602.73 c #Conflicts: 821000 | #Constraints: 32459
1597.94/1602.73 c #Conflicts: 822000 | #Constraints: 33462
1597.94/1602.73 c #Conflicts: 823000 | #Constraints: 34640
1597.94/1602.73 c #Conflicts: 824000 | #Constraints: 35722
1597.94/1602.73 c #Conflicts: 825000 | #Constraints: 36724
1597.94/1602.73 c #Conflicts: 826000 | #Constraints: 37736
1597.94/1602.73 c #Conflicts: 827000 | #Constraints: 38740
1597.94/1602.73 c #Conflicts: 828000 | #Constraints: 39744
1597.94/1602.73 c INPROCESSING
1597.94/1602.73 c GARBAGE COLLECT
1597.94/1602.73 c rational objective 6
1598.25/1603.06 c GLOBAL bounds - >= 6 @ 1576
1598.25/1603.06 c GLOBAL bounds - >= 6 @ 1576
1649.11/1654.01 c #Conflicts: 829000 | #Constraints: 21051
1649.11/1654.01 c #Conflicts: 830000 | #Constraints: 22054
1649.11/1654.01 c #Conflicts: 831000 | #Constraints: 23056
1649.11/1654.01 c #Conflicts: 832000 | #Constraints: 24056
1649.11/1654.01 c #Conflicts: 833000 | #Constraints: 25057
1649.11/1654.01 c #Conflicts: 834000 | #Constraints: 26058
1649.11/1654.01 c #Conflicts: 835000 | #Constraints: 27062
1649.11/1654.01 c #Conflicts: 836000 | #Constraints: 28062
1649.11/1654.01 c #Conflicts: 837000 | #Constraints: 29065
1649.11/1654.01 c #Conflicts: 838000 | #Constraints: 30068
1649.11/1654.01 c #Conflicts: 839000 | #Constraints: 31071
1649.11/1654.01 c #Conflicts: 840000 | #Constraints: 32071
1649.11/1654.01 c #Conflicts: 841000 | #Constraints: 33077
1649.11/1654.01 c #Conflicts: 842000 | #Constraints: 34083
1649.11/1654.01 c #Conflicts: 843000 | #Constraints: 35083
1649.11/1654.01 c #Conflicts: 844000 | #Constraints: 36083
1649.11/1654.01 c #Conflicts: 845000 | #Constraints: 37083
1649.11/1654.01 c #Conflicts: 846000 | #Constraints: 38102
1649.11/1654.01 c INPROCESSING
1649.11/1654.01 c GARBAGE COLLECT
1649.11/1654.01 c rational objective 6
1649.60/1654.57 c GLOBAL bounds - >= 6 @ 1626.9
1649.60/1654.57 c GLOBAL bounds - >= 6 @ 1626.9
1696.89/1701.92 c #Conflicts: 847000 | #Constraints: 20056
1696.89/1701.92 c #Conflicts: 848000 | #Constraints: 21057
1696.89/1701.92 c #Conflicts: 849000 | #Constraints: 22058
1696.89/1701.92 c #Conflicts: 850000 | #Constraints: 23062
1696.89/1701.92 c #Conflicts: 851000 | #Constraints: 24066
1696.89/1701.92 c #Conflicts: 852000 | #Constraints: 25070
1696.89/1701.92 c #Conflicts: 853000 | #Constraints: 26070
1696.89/1701.92 c #Conflicts: 854000 | #Constraints: 27073
1696.89/1701.92 c #Conflicts: 855000 | #Constraints: 28075
1696.89/1701.92 c #Conflicts: 856000 | #Constraints: 29081
1696.89/1701.92 c #Conflicts: 857000 | #Constraints: 30088
1696.89/1701.92 c #Conflicts: 858000 | #Constraints: 31094
1696.89/1701.92 c #Conflicts: 859000 | #Constraints: 32101
1696.89/1701.92 c #Conflicts: 860000 | #Constraints: 33103
1696.89/1701.92 c #Conflicts: 861000 | #Constraints: 34105
1696.89/1701.92 c #Conflicts: 862000 | #Constraints: 35108
1696.89/1701.92 c #Conflicts: 863000 | #Constraints: 36112
1696.89/1701.92 c #Conflicts: 864000 | #Constraints: 37113
1696.89/1701.92 c #Conflicts: 865000 | #Constraints: 38115
1696.89/1701.92 c INPROCESSING
1696.89/1701.92 c GARBAGE COLLECT
1696.89/1701.92 c rational objective 6
1697.48/1702.51 c GLOBAL bounds - >= 6 @ 1674.13
1697.48/1702.51 c GLOBAL bounds - >= 6 @ 1674.13
1743.76/1748.97 c #Conflicts: 866000 | #Constraints: 20287
1743.76/1748.97 c #Conflicts: 867000 | #Constraints: 21292
1743.76/1748.97 c #Conflicts: 868000 | #Constraints: 22295
1743.76/1748.97 c #Conflicts: 869000 | #Constraints: 23297
1743.76/1748.97 c #Conflicts: 870000 | #Constraints: 24301
1743.76/1748.97 c #Conflicts: 871000 | #Constraints: 25307
1743.76/1748.97 c #Conflicts: 872000 | #Constraints: 26313
1743.76/1748.97 c #Conflicts: 873000 | #Constraints: 27316
1743.76/1748.97 c #Conflicts: 874000 | #Constraints: 28319
1743.76/1748.97 c #Conflicts: 875000 | #Constraints: 29320
1743.76/1748.97 c #Conflicts: 876000 | #Constraints: 30326
1743.76/1748.97 c #Conflicts: 877000 | #Constraints: 31329
1743.76/1748.97 c #Conflicts: 878000 | #Constraints: 32332
1743.76/1748.97 c #Conflicts: 879000 | #Constraints: 33333
1743.76/1748.97 c #Conflicts: 880000 | #Constraints: 34336
1743.76/1748.97 c #Conflicts: 881000 | #Constraints: 35343
1743.76/1748.97 c #Conflicts: 882000 | #Constraints: 36344
1743.76/1748.97 c #Conflicts: 883000 | #Constraints: 37345
1743.76/1748.97 c #Conflicts: 884000 | #Constraints: 38345
1743.76/1748.97 c INPROCESSING
1743.76/1748.97 c GARBAGE COLLECT
1743.76/1748.97 c rational objective 6
1744.86/1750.03 c GLOBAL bounds - >= 6 @ 1720.92
1744.86/1750.03 c GLOBAL bounds - >= 6 @ 1720.92
1794.23/1799.52 c #Conflicts: 885000 | #Constraints: 20531
1794.23/1799.52 c #Conflicts: 886000 | #Constraints: 21537
1794.23/1799.52 c #Conflicts: 887000 | #Constraints: 22540
1794.23/1799.52 c #Conflicts: 888000 | #Constraints: 23545
1794.23/1799.52 c #Conflicts: 889000 | #Constraints: 24547
1794.23/1799.52 c #Conflicts: 890000 | #Constraints: 25547
1794.23/1799.52 c #Conflicts: 891000 | #Constraints: 26548
1794.23/1799.52 c #Conflicts: 892000 | #Constraints: 27552
1794.23/1799.52 c #Conflicts: 893000 | #Constraints: 28552
1794.23/1799.52 c #Conflicts: 894000 | #Constraints: 29555
1794.23/1799.52 c #Conflicts: 895000 | #Constraints: 30615
1794.23/1799.52 c #Conflicts: 896000 | #Constraints: 31635
1794.23/1799.52 c #Conflicts: 897000 | #Constraints: 32676
1794.23/1799.52 c #Conflicts: 898000 | #Constraints: 33907
1794.23/1799.52 c #Conflicts: 899000 | #Constraints: 34908
1794.23/1799.52 c #Conflicts: 900000 | #Constraints: 35908
1794.23/1799.52 c #Conflicts: 901000 | #Constraints: 36936
1794.23/1799.52 c #Conflicts: 902000 | #Constraints: 37936
1794.23/1799.52 c #Conflicts: 903000 | #Constraints: 38962
1794.23/1799.52 c INPROCESSING
1794.23/1799.52 c GARBAGE COLLECT
1794.23/1799.52 c rational objective 6
1795.12/1800.49 c GLOBAL bounds - >= 6 @ 1770.62
1795.12/1800.49 c GLOBAL bounds - >= 6 @ 1770.62
1842.79/1848.29 c #Conflicts: 904000 | #Constraints: 20802
1842.79/1848.29 c #Conflicts: 905000 | #Constraints: 21806
1842.79/1848.29 c #Conflicts: 906000 | #Constraints: 22806
1842.79/1848.29 c #Conflicts: 907000 | #Constraints: 23808
1842.79/1848.29 c #Conflicts: 908000 | #Constraints: 24808
1842.79/1848.29 c #Conflicts: 909000 | #Constraints: 25811
1842.79/1848.29 c #Conflicts: 910000 | #Constraints: 26811
1842.79/1848.29 c #Conflicts: 911000 | #Constraints: 27812
1842.79/1848.29 c #Conflicts: 912000 | #Constraints: 28834
1842.79/1848.29 c #Conflicts: 913000 | #Constraints: 29860
1842.79/1848.29 c #Conflicts: 914000 | #Constraints: 30865
1842.79/1848.29 c #Conflicts: 915000 | #Constraints: 31914
1842.79/1848.29 c #Conflicts: 916000 | #Constraints: 33024
1842.79/1848.29 c #Conflicts: 917000 | #Constraints: 34030
1842.79/1848.29 c #Conflicts: 918000 | #Constraints: 35035
1842.79/1848.29 c #Conflicts: 919000 | #Constraints: 36037
1842.79/1848.29 c #Conflicts: 920000 | #Constraints: 37040
1842.79/1848.29 c #Conflicts: 921000 | #Constraints: 38044
1842.79/1848.29 c #Conflicts: 922000 | #Constraints: 39046
1842.79/1848.29 c INPROCESSING
1842.79/1848.29 c GARBAGE COLLECT
1842.79/1848.29 c rational objective 6
1843.30/1848.70 c GLOBAL bounds - >= 6 @ 1818.24
1843.30/1848.70 c GLOBAL bounds - >= 6 @ 1818.24
1899.65/1905.27 c #Conflicts: 923000 | #Constraints: 20730
1899.65/1905.27 c #Conflicts: 924000 | #Constraints: 21733
1899.65/1905.27 c #Conflicts: 925000 | #Constraints: 22736
1899.65/1905.27 c #Conflicts: 926000 | #Constraints: 23739
1899.65/1905.27 c #Conflicts: 927000 | #Constraints: 24743
1899.65/1905.27 c #Conflicts: 928000 | #Constraints: 25746
1899.65/1905.27 c #Conflicts: 929000 | #Constraints: 26749
1899.65/1905.27 c #Conflicts: 930000 | #Constraints: 27751
1899.65/1905.27 c #Conflicts: 931000 | #Constraints: 28752
1899.65/1905.27 c #Conflicts: 932000 | #Constraints: 29755
1899.65/1905.27 c #Conflicts: 933000 | #Constraints: 30758
1899.65/1905.27 c #Conflicts: 934000 | #Constraints: 31759
1899.65/1905.27 c #Conflicts: 935000 | #Constraints: 32759
1899.65/1905.27 c #Conflicts: 936000 | #Constraints: 33764
1899.65/1905.27 c #Conflicts: 937000 | #Constraints: 34766
1899.65/1905.27 c #Conflicts: 938000 | #Constraints: 35767
1899.65/1905.27 c #Conflicts: 939000 | #Constraints: 36768
1899.65/1905.27 c #Conflicts: 940000 | #Constraints: 37768
1899.65/1905.27 c #Conflicts: 941000 | #Constraints: 38771
1899.65/1905.27 c INPROCESSING
1899.65/1905.27 c GARBAGE COLLECT
1899.65/1905.27 c rational objective 6
1900.15/1905.73 c GLOBAL bounds - >= 6 @ 1874.57
1900.15/1905.73 c GLOBAL bounds - >= 6 @ 1874.57
1963.98/1969.79 c #Conflicts: 942000 | #Constraints: 20393
1963.98/1969.79 c #Conflicts: 943000 | #Constraints: 21397
1963.98/1969.79 c #Conflicts: 944000 | #Constraints: 22402
1963.98/1969.79 c #Conflicts: 945000 | #Constraints: 23403
1963.98/1969.79 c #Conflicts: 946000 | #Constraints: 24406
1963.98/1969.79 c #Conflicts: 947000 | #Constraints: 25407
1963.98/1969.79 c #Conflicts: 948000 | #Constraints: 26408
1963.98/1969.79 c #Conflicts: 949000 | #Constraints: 27408
1963.98/1969.79 c #Conflicts: 950000 | #Constraints: 28410
1963.98/1969.79 c #Conflicts: 951000 | #Constraints: 29411
1963.98/1969.79 c #Conflicts: 952000 | #Constraints: 30413
1963.98/1969.79 c #Conflicts: 953000 | #Constraints: 31413
1963.98/1969.79 c #Conflicts: 954000 | #Constraints: 32415
1963.98/1969.79 c #Conflicts: 955000 | #Constraints: 33418
1963.98/1969.79 c #Conflicts: 956000 | #Constraints: 34420
1963.98/1969.79 c #Conflicts: 957000 | #Constraints: 35422
1963.98/1969.79 c #Conflicts: 958000 | #Constraints: 36426
1963.98/1969.79 c #Conflicts: 959000 | #Constraints: 37430
1963.98/1969.79 c #Conflicts: 960000 | #Constraints: 38435
1963.98/1969.79 c #Conflicts: 961000 | #Constraints: 39436
1963.98/1969.79 c INPROCESSING
1963.98/1969.79 c GARBAGE COLLECT
1963.98/1969.79 c rational objective 6
1964.77/1970.51 c GLOBAL bounds - >= 6 @ 1938.58
1964.77/1970.51 c GLOBAL bounds - >= 6 @ 1938.58
2038.89/2044.85 c #Conflicts: 962000 | #Constraints: 20937
2038.89/2044.85 c #Conflicts: 963000 | #Constraints: 21940
2038.89/2044.85 c #Conflicts: 964000 | #Constraints: 22944
2038.89/2044.85 c #Conflicts: 965000 | #Constraints: 23949
2038.89/2044.85 c #Conflicts: 966000 | #Constraints: 24952
2038.89/2044.85 c #Conflicts: 967000 | #Constraints: 25957
2038.89/2044.85 c #Conflicts: 968000 | #Constraints: 26961
2038.89/2044.85 c #Conflicts: 969000 | #Constraints: 27962
2038.89/2044.85 c #Conflicts: 970000 | #Constraints: 28964
2038.89/2044.85 c #Conflicts: 971000 | #Constraints: 29969
2038.89/2044.85 c #Conflicts: 972000 | #Constraints: 30971
2038.89/2044.85 c #Conflicts: 973000 | #Constraints: 31974
2038.89/2044.85 c #Conflicts: 974000 | #Constraints: 32976
2038.89/2044.85 c #Conflicts: 975000 | #Constraints: 33979
2038.89/2044.85 c #Conflicts: 976000 | #Constraints: 34981
2038.89/2044.85 c #Conflicts: 977000 | #Constraints: 35983
2038.89/2044.85 c #Conflicts: 978000 | #Constraints: 36985
2038.89/2044.85 c #Conflicts: 979000 | #Constraints: 37990
2038.89/2044.85 c #Conflicts: 980000 | #Constraints: 38991
2038.89/2044.85 c #Conflicts: 981000 | #Constraints: 39993
2038.89/2044.85 c INPROCESSING
2038.89/2044.85 c GARBAGE COLLECT
2038.89/2044.85 c rational objective 6
2039.38/2045.39 c GLOBAL bounds - >= 6 @ 2012.63
2039.38/2045.39 c GLOBAL bounds - >= 6 @ 2012.63
2150.99/2157.26 c #Conflicts: 982000 | #Constraints: 21349
2150.99/2157.26 c #Conflicts: 983000 | #Constraints: 22352
2150.99/2157.26 c #Conflicts: 984000 | #Constraints: 23356
2150.99/2157.26 c #Conflicts: 985000 | #Constraints: 24358
2150.99/2157.26 c #Conflicts: 986000 | #Constraints: 25360
2150.99/2157.26 c #Conflicts: 987000 | #Constraints: 26361
2150.99/2157.26 c #Conflicts: 988000 | #Constraints: 27362
2150.99/2157.26 c #Conflicts: 989000 | #Constraints: 28367
2150.99/2157.26 c #Conflicts: 990000 | #Constraints: 29370
2150.99/2157.26 c #Conflicts: 991000 | #Constraints: 30371
2150.99/2157.26 c #Conflicts: 992000 | #Constraints: 31373
2150.99/2157.26 c #Conflicts: 993000 | #Constraints: 32374
2150.99/2157.26 c #Conflicts: 994000 | #Constraints: 33376
2150.99/2157.26 c #Conflicts: 995000 | #Constraints: 34379
2150.99/2157.26 c #Conflicts: 996000 | #Constraints: 35379
2150.99/2157.26 c #Conflicts: 997000 | #Constraints: 36382
2150.99/2157.26 c #Conflicts: 998000 | #Constraints: 37382
2150.99/2157.26 c #Conflicts: 999000 | #Constraints: 38385
2150.99/2157.26 c #Conflicts: 1000000 | #Constraints: 39388
2150.99/2157.26 c #Conflicts: 1001000 | #Constraints: 40390
2150.99/2157.26 c INPROCESSING
2150.99/2157.26 c GARBAGE COLLECT
2150.99/2157.26 c rational objective 6
2151.69/2157.99 c GLOBAL bounds - >= 6 @ 2124.2
2151.69/2157.99 c GLOBAL bounds - >= 6 @ 2124.2
2302.59/2309.27 c #Conflicts: 1002000 | #Constraints: 21587
2302.59/2309.27 c #Conflicts: 1003000 | #Constraints: 22588
2302.59/2309.27 c #Conflicts: 1004000 | #Constraints: 23588
2302.59/2309.27 c #Conflicts: 1005000 | #Constraints: 24588
2302.59/2309.27 c #Conflicts: 1006000 | #Constraints: 25588
2302.59/2309.27 c #Conflicts: 1007000 | #Constraints: 26588
2302.59/2309.27 c #Conflicts: 1008000 | #Constraints: 27588
2302.59/2309.27 c #Conflicts: 1009000 | #Constraints: 28589
2302.59/2309.27 c #Conflicts: 1010000 | #Constraints: 29590
2302.59/2309.27 c #Conflicts: 1011000 | #Constraints: 30590
2302.59/2309.27 c #Conflicts: 1012000 | #Constraints: 31590
2302.59/2309.27 c #Conflicts: 1013000 | #Constraints: 32590
2302.59/2309.27 c #Conflicts: 1014000 | #Constraints: 33591
2302.59/2309.27 c #Conflicts: 1015000 | #Constraints: 34593
2302.59/2309.27 c #Conflicts: 1016000 | #Constraints: 35593
2302.59/2309.27 c #Conflicts: 1017000 | #Constraints: 36593
2302.59/2309.27 c #Conflicts: 1018000 | #Constraints: 37595
2302.59/2309.27 c #Conflicts: 1019000 | #Constraints: 38595
2302.59/2309.27 c #Conflicts: 1020000 | #Constraints: 39596
2302.59/2309.27 c #Conflicts: 1021000 | #Constraints: 40596
2302.59/2309.27 c INPROCESSING
2302.59/2309.27 c GARBAGE COLLECT
2302.59/2309.27 c rational objective 6
2303.09/2309.79 c GLOBAL bounds - >= 6 @ 2274.78
2303.09/2309.79 c GLOBAL bounds - >= 6 @ 2274.78
2396.04/2402.98 c #Conflicts: 1022000 | #Constraints: 21541
2396.04/2402.98 c #Conflicts: 1023000 | #Constraints: 22543
2396.04/2402.98 c #Conflicts: 1024000 | #Constraints: 23543
2396.04/2402.98 c #Conflicts: 1025000 | #Constraints: 24545
2396.04/2402.98 c #Conflicts: 1026000 | #Constraints: 25547
2396.04/2402.98 c #Conflicts: 1027000 | #Constraints: 26552
2396.04/2402.98 c #Conflicts: 1028000 | #Constraints: 27556
2396.04/2402.98 c #Conflicts: 1029000 | #Constraints: 28559
2396.04/2402.98 c #Conflicts: 1030000 | #Constraints: 29561
2396.04/2402.98 c #Conflicts: 1031000 | #Constraints: 30563
2396.04/2402.98 c #Conflicts: 1032000 | #Constraints: 31565
2396.04/2402.98 c #Conflicts: 1033000 | #Constraints: 32565
2396.04/2402.98 c #Conflicts: 1034000 | #Constraints: 33567
2396.04/2402.98 c #Conflicts: 1035000 | #Constraints: 34568
2396.04/2402.98 c #Conflicts: 1036000 | #Constraints: 35569
2396.04/2402.98 c #Conflicts: 1037000 | #Constraints: 36569
2396.04/2402.98 c #Conflicts: 1038000 | #Constraints: 37571
2396.04/2402.98 c #Conflicts: 1039000 | #Constraints: 38586
2396.04/2402.98 c #Conflicts: 1040000 | #Constraints: 39589
2396.04/2402.98 c #Conflicts: 1041000 | #Constraints: 40592
2396.04/2402.98 c INPROCESSING
2396.04/2402.98 c GARBAGE COLLECT
2396.04/2402.98 c rational objective 6
2396.65/2403.52 c GLOBAL bounds - >= 6 @ 2367.56
2396.65/2403.52 c GLOBAL bounds - >= 6 @ 2367.56
2442.03/2449.04 c #Conflicts: 1042000 | #Constraints: 21339
2442.03/2449.04 c #Conflicts: 1043000 | #Constraints: 22341
2442.03/2449.04 c #Conflicts: 1044000 | #Constraints: 23343
2442.03/2449.04 c #Conflicts: 1045000 | #Constraints: 24343
2442.03/2449.04 c #Conflicts: 1046000 | #Constraints: 25343
2442.03/2449.04 c #Conflicts: 1047000 | #Constraints: 26346
2442.03/2449.04 c #Conflicts: 1048000 | #Constraints: 27347
2442.03/2449.04 c #Conflicts: 1049000 | #Constraints: 28350
2442.03/2449.04 c #Conflicts: 1050000 | #Constraints: 29354
2442.03/2449.04 c #Conflicts: 1051000 | #Constraints: 30356
2442.03/2449.04 c #Conflicts: 1052000 | #Constraints: 31361
2442.03/2449.04 c #Conflicts: 1053000 | #Constraints: 32362
2442.03/2449.04 c #Conflicts: 1054000 | #Constraints: 33365
2442.03/2449.04 c #Conflicts: 1055000 | #Constraints: 34367
2442.03/2449.04 c #Conflicts: 1056000 | #Constraints: 35377
2442.03/2449.04 c #Conflicts: 1057000 | #Constraints: 36380
2442.03/2449.04 c #Conflicts: 1058000 | #Constraints: 37387
2442.03/2449.04 c #Conflicts: 1059000 | #Constraints: 38388
2442.03/2449.04 c #Conflicts: 1060000 | #Constraints: 39389
2442.03/2449.04 c #Conflicts: 1061000 | #Constraints: 40393
2442.03/2449.04 c #Conflicts: 1062000 | #Constraints: 41403
2442.03/2449.04 c INPROCESSING
2442.03/2449.04 c GARBAGE COLLECT
2442.03/2449.04 c rational objective 6
2442.52/2449.55 c GLOBAL bounds - >= 6 @ 2412.9
2442.52/2449.55 c GLOBAL bounds - >= 6 @ 2412.9
2534.68/2541.92 c #Conflicts: 1063000 | #Constraints: 21933
2534.68/2541.92 c #Conflicts: 1064000 | #Constraints: 22934
2534.68/2541.92 c #Conflicts: 1065000 | #Constraints: 23936
2534.68/2541.92 c #Conflicts: 1066000 | #Constraints: 24936
2534.68/2541.92 c #Conflicts: 1067000 | #Constraints: 25939
2534.68/2541.92 c #Conflicts: 1068000 | #Constraints: 26940
2534.68/2541.92 c #Conflicts: 1069000 | #Constraints: 27940
2534.68/2541.92 c #Conflicts: 1070000 | #Constraints: 28940
2534.68/2541.92 c #Conflicts: 1071000 | #Constraints: 29943
2534.68/2541.92 c #Conflicts: 1072000 | #Constraints: 30947
2534.68/2541.92 c #Conflicts: 1073000 | #Constraints: 31948
2534.68/2541.92 c #Conflicts: 1074000 | #Constraints: 32949
2534.68/2541.92 c #Conflicts: 1075000 | #Constraints: 33951
2534.68/2541.92 c #Conflicts: 1076000 | #Constraints: 34951
2534.68/2541.92 c #Conflicts: 1077000 | #Constraints: 35952
2534.68/2541.92 c #Conflicts: 1078000 | #Constraints: 36952
2534.68/2541.92 c #Conflicts: 1079000 | #Constraints: 37953
2534.68/2541.92 c #Conflicts: 1080000 | #Constraints: 38953
2534.68/2541.92 c #Conflicts: 1081000 | #Constraints: 39953
2534.68/2541.92 c #Conflicts: 1082000 | #Constraints: 40954
2534.68/2541.92 c #Conflicts: 1083000 | #Constraints: 41955
2534.68/2541.92 c INPROCESSING
2534.68/2541.92 c GARBAGE COLLECT
2534.68/2541.92 c rational objective 6
2535.18/2542.44 c GLOBAL bounds - >= 6 @ 2504.84
2535.18/2542.44 c GLOBAL bounds - >= 6 @ 2504.84
2677.51/2685.17 c #Conflicts: 1084000 | #Constraints: 22309
2677.51/2685.17 c #Conflicts: 1085000 | #Constraints: 23310
2677.51/2685.17 c #Conflicts: 1086000 | #Constraints: 24312
2677.51/2685.17 c #Conflicts: 1087000 | #Constraints: 25318
2677.51/2685.17 c #Conflicts: 1088000 | #Constraints: 26320
2677.51/2685.17 c #Conflicts: 1089000 | #Constraints: 27322
2677.51/2685.17 c #Conflicts: 1090000 | #Constraints: 28322
2677.51/2685.17 c #Conflicts: 1091000 | #Constraints: 29323
2677.51/2685.17 c #Conflicts: 1092000 | #Constraints: 30324
2677.51/2685.17 c #Conflicts: 1093000 | #Constraints: 31325
2677.51/2685.17 c #Conflicts: 1094000 | #Constraints: 32328
2677.51/2685.17 c #Conflicts: 1095000 | #Constraints: 33329
2677.51/2685.17 c #Conflicts: 1096000 | #Constraints: 34330
2677.51/2685.17 c #Conflicts: 1097000 | #Constraints: 35330
2677.51/2685.17 c #Conflicts: 1098000 | #Constraints: 36333
2677.51/2685.17 c #Conflicts: 1099000 | #Constraints: 37334
2677.51/2685.17 c #Conflicts: 1100000 | #Constraints: 38337
2677.51/2685.17 c #Conflicts: 1101000 | #Constraints: 39338
2677.51/2685.17 c #Conflicts: 1102000 | #Constraints: 40338
2677.51/2685.17 c #Conflicts: 1103000 | #Constraints: 41338
2677.51/2685.17 c #Conflicts: 1104000 | #Constraints: 42339
2677.51/2685.17 c INPROCESSING
2677.51/2685.17 c GARBAGE COLLECT
2677.51/2685.17 c rational objective 6
2678.00/2685.62 c GLOBAL bounds - >= 6 @ 2646.77
2678.00/2685.62 c GLOBAL bounds - >= 6 @ 2646.77
2747.42/2755.23 c #Conflicts: 1105000 | #Constraints: 22505
2747.42/2755.23 c #Conflicts: 1106000 | #Constraints: 23509
2747.42/2755.23 c #Conflicts: 1107000 | #Constraints: 24511
2747.42/2755.23 c #Conflicts: 1108000 | #Constraints: 25516
2747.42/2755.23 c #Conflicts: 1109000 | #Constraints: 26523
2747.42/2755.23 c #Conflicts: 1110000 | #Constraints: 27529
2747.42/2755.23 c #Conflicts: 1111000 | #Constraints: 28536
2747.42/2755.23 c #Conflicts: 1112000 | #Constraints: 29631
2747.42/2755.23 c #Conflicts: 1113000 | #Constraints: 30637
2747.42/2755.23 c #Conflicts: 1114000 | #Constraints: 31686
2747.42/2755.23 c #Conflicts: 1115000 | #Constraints: 32735
2747.42/2755.23 c #Conflicts: 1116000 | #Constraints: 33773
2747.42/2755.23 c #Conflicts: 1117000 | #Constraints: 34777
2747.42/2755.23 c #Conflicts: 1118000 | #Constraints: 35778
2747.42/2755.23 c #Conflicts: 1119000 | #Constraints: 36795
2747.42/2755.23 c #Conflicts: 1120000 | #Constraints: 37813
2747.42/2755.23 c #Conflicts: 1121000 | #Constraints: 38815
2747.42/2755.23 c #Conflicts: 1122000 | #Constraints: 39853
2747.42/2755.23 c #Conflicts: 1123000 | #Constraints: 40912
2747.42/2755.23 c #Conflicts: 1124000 | #Constraints: 41914
2747.42/2755.23 c #Conflicts: 1125000 | #Constraints: 42914
2747.42/2755.23 c INPROCESSING
2747.42/2755.23 c GARBAGE COLLECT
2747.42/2755.23 c rational objective 6
2748.33/2756.13 c GLOBAL bounds - >= 6 @ 2716.46
2748.33/2756.13 c GLOBAL bounds - >= 6 @ 2716.46
2815.74/2823.71 c #Conflicts: 1126000 | #Constraints: 22692
2815.74/2823.71 c #Conflicts: 1127000 | #Constraints: 23695
2815.74/2823.71 c #Conflicts: 1128000 | #Constraints: 24698
2815.74/2823.71 c #Conflicts: 1129000 | #Constraints: 25698
2815.74/2823.71 c #Conflicts: 1130000 | #Constraints: 26699
2815.74/2823.71 c #Conflicts: 1131000 | #Constraints: 27700
2815.74/2823.71 c #Conflicts: 1132000 | #Constraints: 28712
2815.74/2823.71 c #Conflicts: 1133000 | #Constraints: 30117
2815.74/2823.71 c #Conflicts: 1134000 | #Constraints: 31230
2815.74/2823.71 c #Conflicts: 1135000 | #Constraints: 32231
2815.74/2823.71 c #Conflicts: 1136000 | #Constraints: 33259
2815.74/2823.71 c #Conflicts: 1137000 | #Constraints: 34640
2815.74/2823.71 c #Conflicts: 1138000 | #Constraints: 36194
2815.74/2823.71 c #Conflicts: 1139000 | #Constraints: 37718
2815.74/2823.71 c #Conflicts: 1140000 | #Constraints: 39309
2815.74/2823.71 c #Conflicts: 1141000 | #Constraints: 40907
2815.74/2823.71 c #Conflicts: 1142000 | #Constraints: 42005
2815.74/2823.71 c #Conflicts: 1143000 | #Constraints: 43460
2815.74/2823.71 c #Conflicts: 1144000 | #Constraints: 44966
2815.74/2823.71 c #Conflicts: 1145000 | #Constraints: 46442
2815.74/2823.71 c #Conflicts: 1146000 | #Constraints: 47983
2815.74/2823.71 c INPROCESSING
2815.74/2823.71 c GARBAGE COLLECT
2815.74/2823.71 c rational objective 6
2816.53/2824.59 c GLOBAL bounds - >= 6 @ 2784.01
2816.53/2824.59 c GLOBAL bounds - >= 6 @ 2784.01
2879.88/2888.09 c #Conflicts: 1147000 | #Constraints: 25197
2879.88/2888.09 c #Conflicts: 1148000 | #Constraints: 26202
2879.88/2888.09 c #Conflicts: 1149000 | #Constraints: 27202
2879.88/2888.09 c #Conflicts: 1150000 | #Constraints: 28205
2879.88/2888.09 c #Conflicts: 1151000 | #Constraints: 29209
2879.88/2888.09 c #Conflicts: 1152000 | #Constraints: 30216
2879.88/2888.09 c #Conflicts: 1153000 | #Constraints: 31218
2879.88/2888.09 c #Conflicts: 1154000 | #Constraints: 32221
2879.88/2888.09 c #Conflicts: 1155000 | #Constraints: 33225
2879.88/2888.09 c #Conflicts: 1156000 | #Constraints: 34228
2879.88/2888.09 c #Conflicts: 1157000 | #Constraints: 35230
2879.88/2888.09 c #Conflicts: 1158000 | #Constraints: 36234
2879.88/2888.09 c #Conflicts: 1159000 | #Constraints: 37236
2879.88/2888.09 c #Conflicts: 1160000 | #Constraints: 38237
2879.88/2888.09 c #Conflicts: 1161000 | #Constraints: 39243
2879.88/2888.09 c #Conflicts: 1162000 | #Constraints: 40251
2879.88/2888.09 c #Conflicts: 1163000 | #Constraints: 41255
2879.88/2888.09 c #Conflicts: 1164000 | #Constraints: 42262
2879.88/2888.09 c #Conflicts: 1165000 | #Constraints: 43267
2879.88/2888.09 c #Conflicts: 1166000 | #Constraints: 44273
2879.88/2888.09 c #Conflicts: 1167000 | #Constraints: 45280
2879.88/2888.09 c #Conflicts: 1168000 | #Constraints: 46287
2879.88/2888.09 c INPROCESSING
2879.88/2888.09 c GARBAGE COLLECT
2879.88/2888.09 c rational objective 6
2880.47/2888.69 c GLOBAL bounds - >= 6 @ 2847.22
2880.47/2888.69 c GLOBAL bounds - >= 6 @ 2847.22
2935.83/2944.17 c #Conflicts: 1169000 | #Constraints: 24396
2935.83/2944.17 c #Conflicts: 1170000 | #Constraints: 25406
2935.83/2944.17 c #Conflicts: 1171000 | #Constraints: 26413
2935.83/2944.17 c #Conflicts: 1172000 | #Constraints: 27420
2935.83/2944.17 c #Conflicts: 1173000 | #Constraints: 28427
2935.83/2944.17 c #Conflicts: 1174000 | #Constraints: 29431
2935.83/2944.17 c #Conflicts: 1175000 | #Constraints: 30432
2935.83/2944.17 c #Conflicts: 1176000 | #Constraints: 31436
2935.83/2944.17 c #Conflicts: 1177000 | #Constraints: 32438
2935.83/2944.17 c #Conflicts: 1178000 | #Constraints: 33442
2935.83/2944.17 c #Conflicts: 1179000 | #Constraints: 34444
2935.83/2944.17 c #Conflicts: 1180000 | #Constraints: 35447
2935.83/2944.17 c #Conflicts: 1181000 | #Constraints: 36453
2935.83/2944.17 c #Conflicts: 1182000 | #Constraints: 37457
2935.83/2944.17 c #Conflicts: 1183000 | #Constraints: 38459
2935.83/2944.17 c #Conflicts: 1184000 | #Constraints: 39464
2935.83/2944.17 c #Conflicts: 1185000 | #Constraints: 40466
2935.83/2944.17 c #Conflicts: 1186000 | #Constraints: 41468
2935.83/2944.17 c #Conflicts: 1187000 | #Constraints: 42473
2935.83/2944.17 c #Conflicts: 1188000 | #Constraints: 43479
2935.83/2944.17 c #Conflicts: 1189000 | #Constraints: 44483
2935.83/2944.17 c #Conflicts: 1190000 | #Constraints: 45486
2935.83/2944.17 c INPROCESSING
2935.83/2944.17 c GARBAGE COLLECT
2935.83/2944.17 c rational objective 6
2936.41/2944.77 c GLOBAL bounds - >= 6 @ 2902.57
2936.41/2944.77 c GLOBAL bounds - >= 6 @ 2902.57
2991.48/2999.98 c #Conflicts: 1191000 | #Constraints: 24056
2991.48/2999.98 c #Conflicts: 1192000 | #Constraints: 25061
2991.48/2999.98 c #Conflicts: 1193000 | #Constraints: 26065
2991.48/2999.98 c #Conflicts: 1194000 | #Constraints: 27070
2991.48/2999.98 c #Conflicts: 1195000 | #Constraints: 28075
2991.48/2999.98 c #Conflicts: 1196000 | #Constraints: 29077
2991.48/2999.98 c #Conflicts: 1197000 | #Constraints: 30083
2991.48/2999.98 c #Conflicts: 1198000 | #Constraints: 31087
2991.48/2999.98 c #Conflicts: 1199000 | #Constraints: 32092
2991.48/2999.98 c #Conflicts: 1200000 | #Constraints: 33095
2991.48/2999.98 c #Conflicts: 1201000 | #Constraints: 34098
2991.48/2999.98 c #Conflicts: 1202000 | #Constraints: 35105
2991.48/2999.98 c #Conflicts: 1203000 | #Constraints: 36112
2991.48/2999.98 c #Conflicts: 1204000 | #Constraints: 37115
2991.48/2999.98 c #Conflicts: 1205000 | #Constraints: 38119
2991.48/2999.98 c #Conflicts: 1206000 | #Constraints: 39122
2991.48/2999.98 c #Conflicts: 1207000 | #Constraints: 40126
2991.48/2999.98 c #Conflicts: 1208000 | #Constraints: 41129
2991.48/2999.98 c #Conflicts: 1209000 | #Constraints: 42131
2991.48/2999.98 c #Conflicts: 1210000 | #Constraints: 43135
2991.48/2999.98 c #Conflicts: 1211000 | #Constraints: 44138
2991.48/2999.98 c #Conflicts: 1212000 | #Constraints: 45141
2991.48/2999.98 c INPROCESSING
2991.48/2999.98 c GARBAGE COLLECT
2991.48/2999.98 c rational objective 6
2992.07/3000.52 c GLOBAL bounds - >= 6 @ 2957.52
2992.07/3000.52 c GLOBAL bounds - >= 6 @ 2957.52
3035.36/3043.93 c #Conflicts: 1213000 | #Constraints: 23863
3035.36/3043.93 c #Conflicts: 1214000 | #Constraints: 24867
3035.36/3043.93 c #Conflicts: 1215000 | #Constraints: 25877
3035.36/3043.93 c #Conflicts: 1216000 | #Constraints: 26890
3035.36/3043.93 c #Conflicts: 1217000 | #Constraints: 27892
3035.36/3043.93 c #Conflicts: 1218000 | #Constraints: 28896
3035.36/3043.93 c #Conflicts: 1219000 | #Constraints: 29898
3035.36/3043.93 c #Conflicts: 1220000 | #Constraints: 30906
3035.36/3043.93 c #Conflicts: 1221000 | #Constraints: 31912
3035.36/3043.93 c #Conflicts: 1222000 | #Constraints: 32917
3035.36/3043.93 c #Conflicts: 1223000 | #Constraints: 33933
3035.36/3043.93 c #Conflicts: 1224000 | #Constraints: 34950
3035.36/3043.93 c #Conflicts: 1225000 | #Constraints: 35961
3035.36/3043.93 c #Conflicts: 1226000 | #Constraints: 36963
3035.36/3043.93 c #Conflicts: 1227000 | #Constraints: 37972
3035.36/3043.93 c #Conflicts: 1228000 | #Constraints: 38989
3035.36/3043.93 c #Conflicts: 1229000 | #Constraints: 39998
3035.36/3043.93 c #Conflicts: 1230000 | #Constraints: 41001
3035.36/3043.93 c #Conflicts: 1231000 | #Constraints: 42003
3035.36/3043.93 c #Conflicts: 1232000 | #Constraints: 43006
3035.36/3043.93 c #Conflicts: 1233000 | #Constraints: 44009
3035.36/3043.93 c #Conflicts: 1234000 | #Constraints: 45014
3035.36/3043.93 c INPROCESSING
3035.36/3043.93 c GARBAGE COLLECT
3035.36/3043.93 c rational objective 6
3036.16/3044.76 c GLOBAL bounds - >= 6 @ 3001.12
3036.16/3044.76 c GLOBAL bounds - >= 6 @ 3001.12
3088.22/3096.94 c #Conflicts: 1235000 | #Constraints: 23713
3088.22/3096.94 c #Conflicts: 1236000 | #Constraints: 24716
3088.22/3096.94 c #Conflicts: 1237000 | #Constraints: 25719
3088.22/3096.94 c #Conflicts: 1238000 | #Constraints: 26723
3088.22/3096.94 c #Conflicts: 1239000 | #Constraints: 27725
3088.22/3096.94 c #Conflicts: 1240000 | #Constraints: 28730
3088.22/3096.94 c #Conflicts: 1241000 | #Constraints: 29732
3088.22/3096.94 c #Conflicts: 1242000 | #Constraints: 30734
3088.22/3096.94 c #Conflicts: 1243000 | #Constraints: 31739
3088.22/3096.94 c #Conflicts: 1244000 | #Constraints: 32741
3088.22/3096.94 c #Conflicts: 1245000 | #Constraints: 33746
3088.22/3096.94 c #Conflicts: 1246000 | #Constraints: 34760
3088.22/3096.94 c #Conflicts: 1247000 | #Constraints: 35772
3088.22/3096.94 c #Conflicts: 1248000 | #Constraints: 36775
3088.22/3096.94 c #Conflicts: 1249000 | #Constraints: 37778
3088.22/3096.94 c #Conflicts: 1250000 | #Constraints: 38783
3088.22/3096.94 c #Conflicts: 1251000 | #Constraints: 39787
3088.22/3096.94 c #Conflicts: 1252000 | #Constraints: 40788
3088.22/3096.94 c #Conflicts: 1253000 | #Constraints: 41791
3088.22/3096.94 c #Conflicts: 1254000 | #Constraints: 42794
3088.22/3096.94 c #Conflicts: 1255000 | #Constraints: 43796
3088.22/3096.94 c #Conflicts: 1256000 | #Constraints: 44799
3088.22/3096.94 c INPROCESSING
3088.22/3096.94 c GARBAGE COLLECT
3088.22/3096.94 c rational objective 6
3088.92/3097.61 c GLOBAL bounds - >= 6 @ 3053.22
3088.92/3097.61 c GLOBAL bounds - >= 6 @ 3053.22
3139.98/3148.83 c #Conflicts: 1257000 | #Constraints: 23403
3139.98/3148.83 c #Conflicts: 1258000 | #Constraints: 24406
3139.98/3148.83 c #Conflicts: 1259000 | #Constraints: 25409
3139.98/3148.83 c #Conflicts: 1260000 | #Constraints: 26411
3139.98/3148.83 c #Conflicts: 1261000 | #Constraints: 27415
3139.98/3148.83 c #Conflicts: 1262000 | #Constraints: 28417
3139.98/3148.83 c #Conflicts: 1263000 | #Constraints: 29419
3139.98/3148.83 c #Conflicts: 1264000 | #Constraints: 30422
3139.98/3148.83 c #Conflicts: 1265000 | #Constraints: 31425
3139.98/3148.83 c #Conflicts: 1266000 | #Constraints: 32430
3139.98/3148.83 c #Conflicts: 1267000 | #Constraints: 33432
3139.98/3148.83 c #Conflicts: 1268000 | #Constraints: 34440
3139.98/3148.83 c #Conflicts: 1269000 | #Constraints: 35446
3139.98/3148.83 c #Conflicts: 1270000 | #Constraints: 36448
3139.98/3148.83 c #Conflicts: 1271000 | #Constraints: 37454
3139.98/3148.83 c #Conflicts: 1272000 | #Constraints: 38462
3139.98/3148.83 c #Conflicts: 1273000 | #Constraints: 39474
3139.98/3148.83 c #Conflicts: 1274000 | #Constraints: 40481
3139.98/3148.83 c #Conflicts: 1275000 | #Constraints: 41483
3139.98/3148.83 c #Conflicts: 1276000 | #Constraints: 42491
3139.98/3148.83 c #Conflicts: 1277000 | #Constraints: 43496
3139.98/3148.83 c #Conflicts: 1278000 | #Constraints: 44499
3139.98/3148.83 c #Conflicts: 1279000 | #Constraints: 45501
3139.98/3148.83 c INPROCESSING
3139.98/3148.83 c GARBAGE COLLECT
3139.98/3148.83 c rational objective 6
3140.48/3149.31 c GLOBAL bounds - >= 6 @ 3104.27
3140.48/3149.31 c GLOBAL bounds - >= 6 @ 3104.27
3205.51/3214.56 c #Conflicts: 1280000 | #Constraints: 23949
3205.51/3214.56 c #Conflicts: 1281000 | #Constraints: 24953
3205.51/3214.56 c #Conflicts: 1282000 | #Constraints: 25958
3205.51/3214.56 c #Conflicts: 1283000 | #Constraints: 26965
3205.51/3214.56 c #Conflicts: 1284000 | #Constraints: 27968
3205.51/3214.56 c #Conflicts: 1285000 | #Constraints: 28973
3205.51/3214.56 c #Conflicts: 1286000 | #Constraints: 29975
3205.51/3214.56 c #Conflicts: 1287000 | #Constraints: 30979
3205.51/3214.56 c #Conflicts: 1288000 | #Constraints: 31980
3205.51/3214.56 c #Conflicts: 1289000 | #Constraints: 32982
3205.51/3214.56 c #Conflicts: 1290000 | #Constraints: 33988
3205.51/3214.56 c #Conflicts: 1291000 | #Constraints: 34993
3205.51/3214.56 c #Conflicts: 1292000 | #Constraints: 35997
3205.51/3214.56 c #Conflicts: 1293000 | #Constraints: 37001
3205.51/3214.56 c #Conflicts: 1294000 | #Constraints: 38005
3205.51/3214.56 c #Conflicts: 1295000 | #Constraints: 39007
3205.51/3214.56 c #Conflicts: 1296000 | #Constraints: 40010
3205.51/3214.56 c #Conflicts: 1297000 | #Constraints: 41012
3205.51/3214.56 c #Conflicts: 1298000 | #Constraints: 42013
3205.51/3214.56 c #Conflicts: 1299000 | #Constraints: 43014
3205.51/3214.56 c #Conflicts: 1300000 | #Constraints: 44017
3205.51/3214.56 c #Conflicts: 1301000 | #Constraints: 45023
3205.51/3214.56 c #Conflicts: 1302000 | #Constraints: 46025
3205.51/3214.56 c INPROCESSING
3205.51/3214.56 c GARBAGE COLLECT
3205.51/3214.56 c rational objective 6
3206.11/3215.16 c GLOBAL bounds - >= 6 @ 3169.36
3206.11/3215.16 c GLOBAL bounds - >= 6 @ 3169.36
3256.08/3265.21 c #Conflicts: 1303000 | #Constraints: 24315
3256.08/3265.21 c #Conflicts: 1304000 | #Constraints: 25318
3256.08/3265.21 c #Conflicts: 1305000 | #Constraints: 26324
3256.08/3265.21 c #Conflicts: 1306000 | #Constraints: 27330
3256.08/3265.21 c #Conflicts: 1307000 | #Constraints: 28331
3256.08/3265.21 c #Conflicts: 1308000 | #Constraints: 29332
3256.08/3265.21 c #Conflicts: 1309000 | #Constraints: 30334
3256.08/3265.21 c #Conflicts: 1310000 | #Constraints: 31336
3256.08/3265.21 c #Conflicts: 1311000 | #Constraints: 32339
3256.08/3265.21 c #Conflicts: 1312000 | #Constraints: 33339
3256.08/3265.21 c #Conflicts: 1313000 | #Constraints: 34343
3256.08/3265.21 c #Conflicts: 1314000 | #Constraints: 35344
3256.08/3265.21 c #Conflicts: 1315000 | #Constraints: 36345
3256.08/3265.21 c #Conflicts: 1316000 | #Constraints: 37346
3256.08/3265.21 c #Conflicts: 1317000 | #Constraints: 38350
3256.08/3265.21 c #Conflicts: 1318000 | #Constraints: 39355
3256.08/3265.21 c #Conflicts: 1319000 | #Constraints: 40360
3256.08/3265.21 c #Conflicts: 1320000 | #Constraints: 41363
3256.08/3265.21 c #Conflicts: 1321000 | #Constraints: 42367
3256.08/3265.21 c #Conflicts: 1322000 | #Constraints: 43370
3256.08/3265.21 c #Conflicts: 1323000 | #Constraints: 44375
3256.08/3265.21 c #Conflicts: 1324000 | #Constraints: 45379
3256.08/3265.21 c #Conflicts: 1325000 | #Constraints: 46381
3256.08/3265.21 c INPROCESSING
3256.08/3265.21 c GARBAGE COLLECT
3256.08/3265.21 c rational objective 6
3256.38/3265.59 c GLOBAL bounds - >= 6 @ 3219.02
3256.38/3265.59 c GLOBAL bounds - >= 6 @ 3219.02
3359.22/3368.62 c #Conflicts: 1326000 | #Constraints: 24526
3359.22/3368.62 c #Conflicts: 1327000 | #Constraints: 25527
3359.22/3368.62 c #Conflicts: 1328000 | #Constraints: 26533
3359.22/3368.62 c #Conflicts: 1329000 | #Constraints: 27536
3359.22/3368.62 c #Conflicts: 1330000 | #Constraints: 28536
3359.22/3368.62 c #Conflicts: 1331000 | #Constraints: 29538
3359.22/3368.62 c #Conflicts: 1332000 | #Constraints: 30539
3359.22/3368.62 c #Conflicts: 1333000 | #Constraints: 31542
3359.22/3368.62 c #Conflicts: 1334000 | #Constraints: 32545
3359.22/3368.62 c #Conflicts: 1335000 | #Constraints: 33551
3359.22/3368.62 c #Conflicts: 1336000 | #Constraints: 34555
3359.22/3368.62 c #Conflicts: 1337000 | #Constraints: 35556
3359.22/3368.62 c #Conflicts: 1338000 | #Constraints: 36561
3359.22/3368.62 c #Conflicts: 1339000 | #Constraints: 37563
3359.22/3368.62 c #Conflicts: 1340000 | #Constraints: 38563
3359.22/3368.62 c #Conflicts: 1341000 | #Constraints: 39565
3359.22/3368.62 c #Conflicts: 1342000 | #Constraints: 40565
3359.22/3368.62 c #Conflicts: 1343000 | #Constraints: 41569
3359.22/3368.62 c #Conflicts: 1344000 | #Constraints: 42570
3359.22/3368.62 c #Conflicts: 1345000 | #Constraints: 43571
3359.22/3368.62 c #Conflicts: 1346000 | #Constraints: 44573
3359.22/3368.62 c #Conflicts: 1347000 | #Constraints: 45574
3359.22/3368.62 c #Conflicts: 1348000 | #Constraints: 46576
3359.22/3368.62 c INPROCESSING
3359.22/3368.62 c GARBAGE COLLECT
3359.22/3368.62 c rational objective 6
3359.62/3369.09 c GLOBAL bounds - >= 6 @ 3321.48
3359.62/3369.09 c GLOBAL bounds - >= 6 @ 3321.48
3444.70/3454.30 c #Conflicts: 1349000 | #Constraints: 24529
3444.70/3454.30 c #Conflicts: 1350000 | #Constraints: 25534
3444.70/3454.30 c #Conflicts: 1351000 | #Constraints: 26537
3444.70/3454.30 c #Conflicts: 1352000 | #Constraints: 27537
3444.70/3454.30 c #Conflicts: 1353000 | #Constraints: 28540
3444.70/3454.30 c #Conflicts: 1354000 | #Constraints: 29544
3444.70/3454.30 c #Conflicts: 1355000 | #Constraints: 30548
3444.70/3454.30 c #Conflicts: 1356000 | #Constraints: 31550
3444.70/3454.30 c #Conflicts: 1357000 | #Constraints: 32552
3444.70/3454.30 c #Conflicts: 1358000 | #Constraints: 33554
3444.70/3454.30 c #Conflicts: 1359000 | #Constraints: 34559
3444.70/3454.30 c #Conflicts: 1360000 | #Constraints: 35562
3444.70/3454.30 c #Conflicts: 1361000 | #Constraints: 36567
3444.70/3454.30 c #Conflicts: 1362000 | #Constraints: 37572
3444.70/3454.30 c #Conflicts: 1363000 | #Constraints: 38573
3444.70/3454.30 c #Conflicts: 1364000 | #Constraints: 39574
3444.70/3454.30 c #Conflicts: 1365000 | #Constraints: 40577
3444.70/3454.30 c #Conflicts: 1366000 | #Constraints: 41585
3444.70/3454.30 c #Conflicts: 1367000 | #Constraints: 42588
3444.70/3454.30 c #Conflicts: 1368000 | #Constraints: 43595
3444.70/3454.30 c #Conflicts: 1369000 | #Constraints: 44597
3444.70/3454.30 c #Conflicts: 1370000 | #Constraints: 45601
3444.70/3454.30 c #Conflicts: 1371000 | #Constraints: 46602
3444.70/3454.30 c INPROCESSING
3444.70/3454.30 c GARBAGE COLLECT
3444.70/3454.30 c rational objective 6
3445.20/3454.81 c GLOBAL bounds - >= 6 @ 3406.23
3445.20/3454.81 c GLOBAL bounds - >= 6 @ 3406.23
3504.34/3514.16 c #Conflicts: 1372000 | #Constraints: 24288
3504.34/3514.16 c #Conflicts: 1373000 | #Constraints: 25291
3504.34/3514.16 c #Conflicts: 1374000 | #Constraints: 26294
3504.34/3514.16 c #Conflicts: 1375000 | #Constraints: 27297
3504.34/3514.16 c #Conflicts: 1376000 | #Constraints: 28298
3504.34/3514.16 c #Conflicts: 1377000 | #Constraints: 29301
3504.34/3514.16 c #Conflicts: 1378000 | #Constraints: 30304
3504.34/3514.16 c #Conflicts: 1379000 | #Constraints: 31306
3504.34/3514.16 c #Conflicts: 1380000 | #Constraints: 32308
3504.34/3514.16 c #Conflicts: 1381000 | #Constraints: 33316
3504.34/3514.16 c #Conflicts: 1382000 | #Constraints: 34320
3504.34/3514.16 c #Conflicts: 1383000 | #Constraints: 35322
3504.34/3514.16 c #Conflicts: 1384000 | #Constraints: 36324
3504.34/3514.16 c #Conflicts: 1385000 | #Constraints: 37328
3504.34/3514.16 c #Conflicts: 1386000 | #Constraints: 38331
3504.34/3514.16 c #Conflicts: 1387000 | #Constraints: 39336
3504.34/3514.16 c #Conflicts: 1388000 | #Constraints: 40338
3504.34/3514.16 c #Conflicts: 1389000 | #Constraints: 41344
3504.34/3514.16 c #Conflicts: 1390000 | #Constraints: 42344
3504.34/3514.16 c #Conflicts: 1391000 | #Constraints: 43348
3504.34/3514.16 c #Conflicts: 1392000 | #Constraints: 44348
3504.34/3514.16 c #Conflicts: 1393000 | #Constraints: 45350
3504.34/3514.16 c #Conflicts: 1394000 | #Constraints: 46351
3504.34/3514.16 c #Conflicts: 1395000 | #Constraints: 47353
3504.34/3514.16 c INPROCESSING
3504.34/3514.16 c GARBAGE COLLECT
3504.34/3514.16 c rational objective 6
3505.04/3514.89 c GLOBAL bounds - >= 6 @ 3465.57
3505.04/3514.89 c GLOBAL bounds - >= 6 @ 3465.57
3580.14/3590.14 c #Conflicts: 1396000 | #Constraints: 24881
3580.14/3590.14 c #Conflicts: 1397000 | #Constraints: 25886
3580.14/3590.14 c #Conflicts: 1398000 | #Constraints: 26892
3580.14/3590.14 c #Conflicts: 1399000 | #Constraints: 27893
3580.14/3590.14 c #Conflicts: 1400000 | #Constraints: 28894
3580.14/3590.14 c #Conflicts: 1401000 | #Constraints: 29898
3580.14/3590.14 c #Conflicts: 1402000 | #Constraints: 30902
3580.14/3590.14 c #Conflicts: 1403000 | #Constraints: 31906
3580.14/3590.14 c #Conflicts: 1404000 | #Constraints: 32908
3580.14/3590.14 c #Conflicts: 1405000 | #Constraints: 33910
3580.14/3590.14 c #Conflicts: 1406000 | #Constraints: 34913
3580.14/3590.14 c #Conflicts: 1407000 | #Constraints: 35921
3580.14/3590.14 c #Conflicts: 1408000 | #Constraints: 36922
3580.14/3590.14 c #Conflicts: 1409000 | #Constraints: 37928
3580.14/3590.14 c #Conflicts: 1410000 | #Constraints: 38932
3580.14/3590.14 c #Conflicts: 1411000 | #Constraints: 39934
3580.14/3590.14 c #Conflicts: 1412000 | #Constraints: 40940
3580.14/3590.14 c #Conflicts: 1413000 | #Constraints: 41941
3580.14/3590.14 c #Conflicts: 1414000 | #Constraints: 42944
3580.14/3590.14 c #Conflicts: 1415000 | #Constraints: 43949
3580.14/3590.14 c #Conflicts: 1416000 | #Constraints: 44954
3580.14/3590.14 c #Conflicts: 1417000 | #Constraints: 45958
3580.14/3590.14 c #Conflicts: 1418000 | #Constraints: 46963
3580.14/3590.14 c #Conflicts: 1419000 | #Constraints: 47964
3580.14/3590.14 c INPROCESSING
3580.14/3590.14 c GARBAGE COLLECT
3580.14/3590.14 c rational objective 6
3580.74/3590.76 c GLOBAL bounds - >= 6 @ 3540.64
3580.74/3590.76 c GLOBAL bounds - >= 6 @ 3540.64
3600.09/3610.10 c #Conflicts: 1420000 | #Constraints: 25283
3600.09/3610.10 c #Conflicts: 1421000 | #Constraints: 26287
3600.09/3610.10 c #Conflicts: 1422000 | #Constraints: 27290
3600.09/3610.10 c #Conflicts: 1423000 | #Constraints: 28296
3600.09/3610.10 c #Conflicts: 1424000 | #Constraints: 29298
3600.09/3610.10 c #Conflicts: 1425000 | #Constraints: 30302
3600.09/3610.10 c #Conflicts: 1426000 | #Constraints: 31302
3600.09/3610.10 c #Conflicts: 1427000 | #Constraints: 32306
3600.09/3610.10 c #Conflicts: 1428000 | #Constraints: 33312
3600.09/3610.10 c cpu time 3559.66 s
3600.09/3610.10 c deterministic time 360646590012 3.61e+11
3600.09/3610.10 c optimization time 19.028 s
3600.09/3610.10 c total solve time 3540.61 s
3600.09/3610.10 c core-guided solve time 0 s
3600.09/3610.10 c propagation time 2278.66 s
3600.09/3610.10 c conflict analysis time 1098.19 s
3600.09/3610.10 c propagations 433462137
3600.09/3610.10 c resolve steps 8426641
3600.09/3610.10 c decisions 10010483
3600.09/3610.10 c conflicts 1428005
3600.09/3610.10 c restarts 2776
3600.09/3610.10 c inprocessing phases 110
3600.09/3610.10 c garbage collections 110 ,( 100.00 )
3600.09/3610.10 c input clauses 3273 ,( 87.96 )
3600.09/3610.10 c input cardinalities 64 ,( 1.72 )
3600.09/3610.10 c input general constraints 384 ,( 10.32 )
3600.09/3610.10 c input average constraint length 9.95
3600.09/3610.10 c input average constraint degree 74.17
3600.09/3610.10 c learned clauses 120459 ,( 8.32 )
3600.09/3610.10 c learned cardinalities 8698 ,( 0.60 )
3600.09/3610.10 c learned general constraints 1318252 ,( 91.08 )
3600.09/3610.10 c learned average constraint length 564.80
3600.09/3610.10 c learned average constraint degree 5462533589.86
3600.09/3610.10 c watched CF 32, 64, 128, Arb: 425534 , 0 , 0 , 0
3600.09/3610.10 c counting CF 32, 64, 128, Arb: 893103 , 0 , 0 , 0
3600.09/3610.10 c watched constraints 425534 ,( 32.27 )
3600.09/3610.10 c counting constraints 893102 ,( 67.73 )
3600.09/3610.10 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 16346337 , 7606495 , 7828907790 ,( 952284479 , 6876623311 )
3600.09/3610.10 c gcd simplifications 36011
3600.09/3610.10 c detected cardinalities 105
3600.09/3610.10 c weakened non-implied lits 540040771
3600.09/3610.10 c weakened non-implying lits 2412116
3600.09/3610.10 c original variables 3216
3600.09/3610.10 c clausal propagations 1018963
3600.09/3610.10 c cardinality propagations 27006451
3600.09/3610.10 c watched propagations 1543293
3600.09/3610.10 c counting propagations 395612812
3600.09/3610.10 c watch lookups 166648420410
3600.09/3610.10 c watch backjump lookups 0
3600.09/3610.10 c watch checks 107797954378
3600.09/3610.10 c propagation checks 80773976054
3600.09/3610.10 c constraint additions 4536422071
3600.09/3610.10 c trail pops 444893186
3600.09/3610.10 c formula constraints 3721
3600.09/3610.10 c learned constraints 1423068
3600.09/3610.10 c bound constraints 0
3600.09/3610.10 c core-guided constraints 0
3600.09/3610.10 c encountered formula constraints 2854542
3600.09/3610.10 c encountered learned constraints 4361156
3600.09/3610.10 c encountered bound constraints 0
3600.09/3610.10 c encountered core-guided constraints 0
3600.09/3610.10 c LP total time 218.509 s
3600.09/3610.10 c LP solve time 152.16 s
3600.09/3610.10 c LP constraints added 4513
3600.09/3610.10 c LP constraints removed 786
3600.09/3610.10 c LP pivots internal 1428034
3600.09/3610.10 c LP pivots root 23258
3600.09/3610.10 c LP calls 26490
3600.09/3610.10 c LP optimalities 7411
3600.09/3610.10 c LP no pivot count 1542
3600.09/3610.10 c LP infeasibilities 19069
3600.09/3610.10 c LP valid Farkas constraints 19061
3600.09/3610.10 c LP learned Farkas constraints 4937
3600.09/3610.10 c LP basis resets 15
3600.09/3610.10 c LP cycling count 1
3600.09/3610.10 c LP singular count 7
3600.09/3610.10 c LP no primal count 0
3600.09/3610.10 c LP no farkas count 7
3600.09/3610.10 c LP other issue count 0
3600.09/3610.10 c LP Gomory cuts 343
3600.09/3610.10 c LP learned cuts 449
3600.09/3610.10 c LP deleted cuts 786
3600.09/3610.10 c LP encountered Gomory constraints 3016
3600.09/3610.10 c LP encountered Farkas constraints 2147007
3600.09/3610.10 c LP encountered learned Farkas constraints 483988
3600.09/3610.10 c CG auxiliary variables introduced 1
3600.09/3610.10 c CG solutions found 0
3600.09/3610.10 c CG cores constructed 0
3600.09/3610.10 c CG core cardinality constraints returned 0
3600.09/3610.10 c CG unit cores 0
3600.09/3610.10 c CG single cores 0
3600.09/3610.10 c CG blocks removed during cardinality reduction 0
3600.09/3610.10 c CG first core best 0
3600.09/3610.10 c CG decision core best 0
3600.09/3610.10 c CG core reduction tie 0
3600.09/3610.10 c CG core degree average 0.00
3600.09/3610.10 c CG core slack average 0.00
3600.09/3610.10 c CG core upper bound improvements 0
3600.09/3610.10 c STR number of successful calls 0
3600.09/3610.10 c STR number of unsuccessful calls 0
3600.09/3610.10 c STR number of inconclusive calls 0
3600.09/3610.10 c STR number of successful attempts 0
3600.09/3610.10 c STR number of unsuccessful attempts 0
3600.09/3610.10 c STR number of inconclusive attempts 0
3600.09/3610.10 c STR average degree increase per successful call inf
3600.09/3610.10 c STR average degree increase per successful attempt inf
3600.09/3610.10 c STR total number of conflicts for successful attempts 0
3600.09/3610.10 c STR total number of conflicts for unsuccessful attempts 0
3600.09/3610.10 c STR total number of conflicts for inconclusive attempts 0
3600.09/3610.10 c STR average number of conflicts per successful attempt inf
3600.09/3610.10 c STR average number of conflicts per unsuccessful attempt inf
3600.09/3610.10 c STR average number of conflicts per inconclusive attempt inf
3600.09/3610.10 c AVG.sumWPerc 52.46
3600.09/3610.10 c bigint constraints 0
3600.09/3610.10 s UNKNOWN
3600.09/3610.10 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (60814 MiB free)
memory of node 1: 64465 MiB (63774 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4499167-1751468995/watcher-4499167-1751468995 -o /tmp/evaluation-result-4499167-1751468995/solver-4499167-1751468995 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751461732-74235 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4499167-1751468995.opb PROOFDIR/proof-4499167-1751468995
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=75254, runsolver pid=75251
Current StackSize limit: 8192 KiB
[startup+0.100064 s]*
/proc/loadavg: 4.19 4.20 4.18 5/273 75256
/proc/meminfo: memFree=127561956/131249992 swapFree=33010160/33010684
[pid=75254] ppid=75251 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/75254/stat : 75254 (run-opt-log.sh) S 75251 75254 74222 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62578224 4292608 736 18446744073709551615 94462570590208 94462571484741 140729057961264 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94462571723792 94462571771536 94462592319488 140729057966369 140729057966564 140729057966564 140729057972166 0
/proc/75254/statm: 1048 736 672 219 0 110 0
[pid=75256] ppid=75254 vsize=71152 memory=22920 CPUtime=0.08 cores=5,7
/proc/75256/stat : 75256 (roundingsat) R 75254 75254 74222 0 -1 4194304 3607 0 0 0 7 1 0 0 20 0 1 0 62578224 72859648 5730 18446744073709551615 4227072 8923433 140731906307552 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35414016 140731906312530 140731906312744 140731906312744 140731906318314 0
/proc/75256/statm: 17788 5730 2368 1147 0 5215 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 75344 KiB
Current children cumulated memory: 25864 KiB
[startup+0.205706 s]*
/proc/loadavg: 4.19 4.20 4.18 5/273 75256
/proc/meminfo: memFree=127561956/131249992 swapFree=33010160/33010684
[pid=75254] ppid=75251 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/75254/stat : 75254 (run-opt-log.sh) S 75251 75254 74222 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62578224 4292608 736 18446744073709551615 94462570590208 94462571484741 140729057961264 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94462571723792 94462571771536 94462592319488 140729057966369 140729057966564 140729057966564 140729057972166 0
/proc/75254/statm: 1048 736 672 219 0 110 0
[pid=75256] ppid=75254 vsize=74412 memory=25992 CPUtime=0.19 cores=5,7
/proc/75256/stat : 75256 (roundingsat) R 75254 75254 74222 0 -1 4194304 4393 0 0 0 18 1 0 0 20 0 1 0 62578224 76197888 6498 18446744073709551615 4227072 8923433 140731906307552 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35414016 140731906312530 140731906312744 140731906312744 140731906318314 0
/proc/75256/statm: 18603 6498 2368 1147 0 6030 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 78604 KiB
Current children cumulated memory: 28936 KiB
[startup+0.305639 s]*
/proc/loadavg: 4.19 4.20 4.18 5/273 75256
/proc/meminfo: memFree=127561956/131249992 swapFree=33010160/33010684
[pid=75254] ppid=75251 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/75254/stat : 75254 (run-opt-log.sh) S 75251 75254 74222 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62578224 4292608 736 18446744073709551615 94462570590208 94462571484741 140729057961264 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94462571723792 94462571771536 94462592319488 140729057966369 140729057966564 140729057966564 140729057972166 0
/proc/75254/statm: 1048 736 672 219 0 110 0
[pid=75256] ppid=75254 vsize=78240 memory=29576 CPUtime=0.28 cores=5,7
/proc/75256/stat : 75256 (roundingsat) R 75254 75254 74222 0 -1 4194304 5285 0 0 0 27 1 0 0 20 0 1 0 62578224 80117760 7394 18446744073709551615 4227072 8923433 140731906307552 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35414016 140731906312530 140731906312744 140731906312744 140731906318314 0
/proc/75256/statm: 19560 7394 2368 1147 0 6987 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 82432 KiB
Current children cumulated memory: 32520 KiB
[startup+0.700181 s]
/proc/loadavg: 4.19 4.20 4.18 5/273 75256
/proc/meminfo: memFree=127538016/131249992 swapFree=33010160/33010684
[pid=75254] ppid=75251 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/75254/stat : 75254 (run-opt-log.sh) S 75251 75254 74222 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62578224 4292608 736 18446744073709551615 94462570590208 94462571484741 140729057961264 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94462571723792 94462571771536 94462592319488 140729057966369 140729057966564 140729057966564 140729057972166 0
/proc/75254/statm: 1048 736 672 219 0 110 0
[pid=75256] ppid=75254 vsize=84160 memory=35720 CPUtime=0.68 cores=5,7
/proc/75256/stat : 75256 (roundingsat) R 75254 75254 74222 0 -1 4194304 6804 0 0 0 65 3 0 0 20 0 1 0 62578224 86179840 8930 18446744073709551615 4227072 8923433 140731906307552 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35414016 140731906312530 140731906312744 140731906312744 140731906318314 0
/proc/75256/statm: 21040 8930 2368 1147 0 8467 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 88352 KiB
Current children cumulated memory: 38664 KiB
[startup+1.50018 s]
/proc/loadavg: 4.19 4.20 4.18 5/273 75256
/proc/meminfo: memFree=127506136/131249992 swapFree=33010160/33010684
[pid=75254] ppid=75251 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/75254/stat : 75254 (run-opt-log.sh) S 75251 75254 74222 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62578224 4292608 736 18446744073709551615 94462570590208 94462571484741 140729057961264 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94462571723792 94462571771536 94462592319488 140729057966369 140729057966564 140729057966564 140729057972166 0
/proc/75254/statm: 1048 736 672 219 0 110 0
[pid=75256] ppid=75254 vsize=94188 memory=47192 CPUtime=1.47 cores=5,7
/proc/75256/stat : 75256 (roundingsat) R 75254 75254 74222 0 -1 4194304 8656 0 0 0 142 5 0 0 20 0 1 0 62578224 96448512 11798 18446744073709551615 4227072 8923433 140731906307552 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35414016 140731906312530 140731906312744 140731906312744 140731906318314 0
/proc/75256/statm: 23547 11798 2368 1147 0 10974 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 98380 KiB
Current children cumulated memory: 50136 KiB
[startup+3.1055 s]
/proc/loadavg: 4.17 4.20 4.18 5/273 75256
/proc/meminfo: memFree=127374416/131249992 swapFree=33010160/33010684
[pid=75254] ppid=75251 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/75254/stat : 75254 (run-opt-log.sh) S 75251 75254 74222 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62578224 4292608 736 18446744073709551615 94462570590208 94462571484741 140729057961264 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94462571723792 94462571771536 94462592319488 140729057966369 140729057966564 140729057966564 140729057972166 0
/proc/75254/statm: 1048 736 672 219 0 110 0
[pid=75256] ppid=75254 vsize=95172 memory=48344 CPUtime=3.08 cores=5,7
/proc/75256/stat : 75256 (roundingsat) R 75254 75254 74222 0 -1 4194304 8944 0 0 0 298 10 0 0 20 0 1 0 62578224 97456128 12086 18446744073709551615 4227072 8923433 140731906307552 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35414016 140731906312530 140731906312744 140731906312744 140731906318314 0
/proc/75256/statm: 23793 12086 2368 1147 0 11220 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 99364 KiB
Current children cumulated memory: 51288 KiB
[startup+6.30019 s]
/proc/loadavg: 4.17 4.20 4.18 5/273 75256
/proc/meminfo: memFree=127192044/131249992 swapFree=33010160/33010684
[pid=75254] ppid=75251 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/75254/stat : 75254 (run-opt-log.sh) S 75251 75254 74222 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62578224 4292608 736 18446744073709551615 94462570590208 94462571484741 140729057961264 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94462571723792 94462571771536 94462592319488 140729057966369 140729057966564 140729057966564 140729057972166 0
/proc/75254/statm: 1048 736 672 219 0 110 0
[pid=75256] ppid=75254 vsize=131132 memory=78504 CPUtime=6.26 cores=5,7
/proc/75256/stat : 75256 (roundingsat) R 75254 75254 74222 0 -1 4194304 15487 0 0 0 609 17 0 0 20 0 1 0 62578224 134279168 19626 18446744073709551615 4227072 8923433 140731906307552 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35414016 140731906312530 140731906312744 140731906312744 140731906318314 0
/proc/75256/statm: 32783 19626 2368 1147 0 20210 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 135324 KiB
Current children cumulated memory: 81448 KiB
[startup+12.7002 s]
/proc/loadavg: 4.16 4.19 4.18 5/273 75256
/proc/meminfo: memFree=126826852/131249992 swapFree=33010160/33010684
[pid=75254] ppid=75251 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/75254/stat : 75254 (run-opt-log.sh) S 75251 75254 74222 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62578224 4292608 736 18446744073709551615 94462570590208 94462571484741 140729057961264 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94462571723792 94462571771536 94462592319488 140729057966369 140729057966564 140729057966564 140729057972166 0
/proc/75254/statm: 1048 736 672 219 0 110 0
[pid=75256] ppid=75254 vsize=178588 memory=114776 CPUtime=12.64 cores=5,7
/proc/75256/stat : 75256 (roundingsat) R 75254 75254 74222 0 -1 4194304 23532 0 0 0 1233 31 0 0 20 0 1 0 62578224 182874112 28694 18446744073709551615 4227072 8923433 140731906307552 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35414016 140731906312530 140731906312744 140731906312744 140731906318314 0
/proc/75256/statm: 44647 28694 2368 1147 0 32074 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 182780 KiB
Current children cumulated memory: 117720 KiB
[startup+25.5002 s]
/proc/loadavg: 4.28 4.22 4.19 5/273 75256
/proc/meminfo: memFree=126264700/131249992 swapFree=33010160/33010684
[pid=75254] ppid=75251 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/75254/stat : 75254 (run-opt-log.sh) S 75251 75254 74222 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62578224 4292608 736 18446744073709551615 94462570590208 94462571484741 140729057961264 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94462571723792 94462571771536 94462592319488 140729057966369 140729057966564 140729057966564 140729057972166 0
/proc/75254/statm: 1048 736 672 219 0 110 0
[pid=75256] ppid=75254 vsize=187132 memory=124376 CPUtime=25.4 cores=5,7
/proc/75256/stat : 75256 (roundingsat) R 75254 75254 74222 0 -1 4194304 25911 0 0 0 2485 55 0 0 20 0 1 0 62578224 191623168 31094 18446744073709551615 4227072 8923433 140731906307552 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35414016 140731906312530 140731906312744 140731906312744 140731906318314 0
/proc/75256/statm: 46783 31094 2368 1147 0 34210 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 191324 KiB
Current children cumulated memory: 127320 KiB
[startup+51.1056 s]
/proc/loadavg: 4.18 4.20 4.18 5/273 75256
/proc/meminfo: memFree=125143316/131249992 swapFree=33010160/33010684
[pid=75254] ppid=75251 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/75254/stat : 75254 (run-opt-log.sh) S 75251 75254 74222 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62578224 4292608 736 18446744073709551615 94462570590208 94462571484741 140729057961264 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94462571723792 94462571771536 94462592319488 140729057966369 140729057966564 140729057966564 140729057972166 0
/proc/75254/statm: 1048 736 672 219 0 110 0
[pid=75256] ppid=75254 vsize=250876 memory=172864 CPUtime=50.93 cores=5,7
/proc/75256/stat : 75256 (roundingsat) R 75254 75254 74222 0 -1 4194304 35481 0 0 0 4998 95 0 0 20 0 1 0 62578224 256897024 43216 18446744073709551615 4227072 8923433 140731906307552 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35414016 140731906312530 140731906312744 140731906312744 140731906318314 0
/proc/75256/statm: 62719 43216 2368 1147 0 50146 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 255068 KiB
Current children cumulated memory: 175808 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.18 4.18 5/273 75258
/proc/meminfo: memFree=123184932/131249992 swapFree=33010160/33010684
[pid=75254] ppid=75251 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/75254/stat : 75254 (run-opt-log.sh) S 75251 75254 74222 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62578224 4292608 736 18446744073709551615 94462570590208 94462571484741 140729057961264 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94462571723792 94462571771536 94462592319488 140729057966369 140729057966564 140729057966564 140729057972166 0
/proc/75254/statm: 1048 736 672 219 0 110 0
[pid=75256] ppid=75254 vsize=292140 memory=212684 CPUtime=101.96 cores=5,7
/proc/75256/stat : 75256 (roundingsat) R 75254 75254 74222 0 -1 4194304 44931 0 0 0 10002 194 0 0 20 0 1 0 62578224 299151360 53171 18446744073709551615 4227072 8923433 140731906307552 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35414016 140731906312530 140731906312744 140731906312744 140731906318314 0
/proc/75256/statm: 73035 53171 2368 1147 0 60462 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 296332 KiB
Current children cumulated memory: 215628 KiB
[startup+162.3 s]
/proc/loadavg: 4.20 4.18 4.18 5/276 75265
/proc/meminfo: memFree=120750872/131249992 swapFree=33010160/33010684
[pid=75254] ppid=75251 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/75254/stat : 75254 (run-opt-log.sh) S 75251 75254 74222 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62578224 4292608 736 18446744073709551615 94462570590208 94462571484741 140729057961264 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94462571723792 94462571771536 94462592319488 140729057966369 140729057966564 140729057966564 140729057972166 0
/proc/75254/statm: 1048 736 672 219 0 110 0
[pid=75256] ppid=75254 vsize=333028 memory=251572 CPUtime=161.77 cores=5,7
/proc/75256/stat : 75256 (roundingsat) R 75254 75254 74222 0 -1 4194304 54038 0 0 0 15855 322 0 0 20 0 1 0 62578224 341020672 62893 18446744073709551615 4227072 8923433 140731906307552 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35414016 140731906312530 140731906312744 140731906312744 140731906318314 0
/proc/75256/statm: 83257 62893 2496 1147 0 70684 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 337220 KiB
Current children cumulated memory: 254516 KiB
[startup+222.3 s]
/proc/loadavg: 4.41 4.24 4.20 5/276 75271
/proc/meminfo: memFree=118421892/131249992 swapFree=33010160/33010684
[pid=75254] ppid=75251 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/75254/stat : 75254 (run-opt-log.sh) S 75251 75254 74222 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62578224 4292608 736 18446744073709551615 94462570590208 94462571484741 140729057961264 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94462571723792 94462571771536 94462592319488 140729057966369 140729057966564 140729057966564 140729057972166 0
/proc/75254/statm: 1048 736 672 219 0 110 0
[pid=75256] ppid=75254 vsize=439216 memory=334836 CPUtime=221.58 cores=5,7
/proc/75256/stat : 75256 (roundingsat) R 75254 75254 74222 0 -1 4194304 70253 0 0 0 21739 419 0 0 20 0 1 0 62578224 449757184 83709 18446744073709551615 4227072 8923433 140731906307552 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35414016 140731906312530 140731906312744 140731906312744 140731906318314 0
################
# More data... #
################
[pid=75256] ppid=75254 vsize=990360 memory=813920 CPUtime=3093.6 cores=5,7
/proc/75256/stat : 75256 (roundingsat) R 75254 75254 74222 0 -1 4194304 157954 0 0 0 305779 3581 0 0 20 0 1 0 62578224 1014128640 203480 18446744073709551615 4227072 8923433 140731906307552 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35414016 140731906312530 140731906312744 140731906312744 140731906318314 0
/proc/75256/statm: 247590 203480 2496 1147 0 235017 0
Current children cumulated CPU time: 3093.6 s
Current children cumulated vsize: 994552 KiB
Current children cumulated memory: 816864 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.13 4.15 5/275 75575
/proc/meminfo: memFree=48120380/131249992 swapFree=33010160/33010684
[pid=75254] ppid=75251 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/75254/stat : 75254 (run-opt-log.sh) S 75251 75254 74222 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62578224 4292608 736 18446744073709551615 94462570590208 94462571484741 140729057961264 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94462571723792 94462571771536 94462592319488 140729057966369 140729057966564 140729057966564 140729057972166 0
/proc/75254/statm: 1048 736 672 219 0 110 0
[pid=75256] ppid=75254 vsize=990360 memory=813920 CPUtime=3153.45 cores=5,7
/proc/75256/stat : 75256 (roundingsat) R 75254 75254 74222 0 -1 4194304 157956 0 0 0 311705 3640 0 0 20 0 1 0 62578224 1014128640 203480 18446744073709551615 4227072 8923433 140731906307552 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35414016 140731906312530 140731906312744 140731906312744 140731906318314 0
/proc/75256/statm: 247590 203480 2496 1147 0 235017 0
Current children cumulated CPU time: 3153.45 s
Current children cumulated vsize: 994552 KiB
Current children cumulated memory: 816864 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.12 4.14 5/275 75582
/proc/meminfo: memFree=47037000/131249992 swapFree=33010160/33010684
[pid=75254] ppid=75251 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/75254/stat : 75254 (run-opt-log.sh) S 75251 75254 74222 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62578224 4292608 736 18446744073709551615 94462570590208 94462571484741 140729057961264 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94462571723792 94462571771536 94462592319488 140729057966369 140729057966564 140729057966564 140729057972166 0
/proc/75254/statm: 1048 736 672 219 0 110 0
[pid=75256] ppid=75254 vsize=990688 memory=814432 CPUtime=3213.29 cores=5,7
/proc/75256/stat : 75256 (roundingsat) R 75254 75254 74222 0 -1 4194304 158060 0 0 0 317636 3693 0 0 20 0 1 0 62578224 1014464512 203608 18446744073709551615 4227072 8923433 140731906307552 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35414016 140731906312530 140731906312744 140731906312744 140731906318314 0
/proc/75256/statm: 247672 203608 2496 1147 0 235099 0
Current children cumulated CPU time: 3213.29 s
Current children cumulated vsize: 994880 KiB
Current children cumulated memory: 817376 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.13 4.14 5/273 75584
/proc/meminfo: memFree=45623784/131249992 swapFree=33010160/33010684
[pid=75254] ppid=75251 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/75254/stat : 75254 (run-opt-log.sh) S 75251 75254 74222 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62578224 4292608 736 18446744073709551615 94462570590208 94462571484741 140729057961264 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94462571723792 94462571771536 94462592319488 140729057966369 140729057966564 140729057966564 140729057972166 0
/proc/75254/statm: 1048 736 672 219 0 110 0
[pid=75256] ppid=75254 vsize=990688 memory=814432 CPUtime=3273.13 cores=5,7
/proc/75256/stat : 75256 (roundingsat) R 75254 75254 74222 0 -1 4194304 158062 0 0 0 323544 3769 0 0 20 0 1 0 62578224 1014464512 203608 18446744073709551615 4227072 8923433 140731906307552 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35414016 140731906312530 140731906312744 140731906312744 140731906318314 0
/proc/75256/statm: 247672 203608 2496 1147 0 235099 0
Current children cumulated CPU time: 3273.13 s
Current children cumulated vsize: 994880 KiB
Current children cumulated memory: 817376 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.11 4.14 5/273 75586
/proc/meminfo: memFree=44502336/131249992 swapFree=33010160/33010684
[pid=75254] ppid=75251 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/75254/stat : 75254 (run-opt-log.sh) S 75251 75254 74222 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62578224 4292608 736 18446744073709551615 94462570590208 94462571484741 140729057961264 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94462571723792 94462571771536 94462592319488 140729057966369 140729057966564 140729057966564 140729057972166 0
/proc/75254/statm: 1048 736 672 219 0 110 0
[pid=75256] ppid=75254 vsize=993688 memory=816224 CPUtime=3332.99 cores=5,7
/proc/75256/stat : 75256 (roundingsat) R 75254 75254 74222 0 -1 4194304 158541 0 0 0 329486 3813 0 0 20 0 1 0 62578224 1017536512 204056 18446744073709551615 4227072 8923433 140731906307552 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35414016 140731906312530 140731906312744 140731906312744 140731906318314 0
/proc/75256/statm: 248422 204056 2496 1147 0 235849 0
Current children cumulated CPU time: 3332.99 s
Current children cumulated vsize: 997880 KiB
Current children cumulated memory: 819168 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.12 4.14 5/273 75588
/proc/meminfo: memFree=43088436/131249992 swapFree=33010160/33010684
[pid=75254] ppid=75251 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/75254/stat : 75254 (run-opt-log.sh) S 75251 75254 74222 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62578224 4292608 736 18446744073709551615 94462570590208 94462571484741 140729057961264 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94462571723792 94462571771536 94462592319488 140729057966369 140729057966564 140729057966564 140729057972166 0
/proc/75254/statm: 1048 736 672 219 0 110 0
[pid=75256] ppid=75254 vsize=1003084 memory=822368 CPUtime=3392.83 cores=5,7
/proc/75256/stat : 75256 (roundingsat) R 75254 75254 74222 0 -1 4194304 160069 0 0 0 335420 3863 0 0 20 0 1 0 62578224 1027158016 205592 18446744073709551615 4227072 8923433 140731906307552 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35414016 140731906312530 140731906312744 140731906312744 140731906318314 0
/proc/75256/statm: 250771 205592 2496 1147 0 238198 0
Current children cumulated CPU time: 3392.83 s
Current children cumulated vsize: 1007276 KiB
Current children cumulated memory: 825312 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.13 4.14 5/274 75592
/proc/meminfo: memFree=42064048/131249992 swapFree=33010160/33010684
[pid=75254] ppid=75251 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/75254/stat : 75254 (run-opt-log.sh) S 75251 75254 74222 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62578224 4292608 736 18446744073709551615 94462570590208 94462571484741 140729057961264 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94462571723792 94462571771536 94462592319488 140729057966369 140729057966564 140729057966564 140729057972166 0
/proc/75254/statm: 1048 736 672 219 0 110 0
[pid=75256] ppid=75254 vsize=1004880 memory=824672 CPUtime=3452.67 cores=5,7
/proc/75256/stat : 75256 (roundingsat) R 75254 75254 74222 0 -1 4194304 160699 0 0 0 341358 3909 0 0 20 0 1 0 62578224 1028997120 206168 18446744073709551615 4227072 8923433 140731906307552 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35414016 140731906312530 140731906312744 140731906312744 140731906318314 0
/proc/75256/statm: 251220 206168 2496 1147 0 238647 0
Current children cumulated CPU time: 3452.67 s
Current children cumulated vsize: 1009072 KiB
Current children cumulated memory: 827616 KiB
[startup+3522.3 s]
/proc/loadavg: 3.92 4.08 4.12 4/267 75624
/proc/meminfo: memFree=78234000/131249992 swapFree=33010160/33010684
[pid=75254] ppid=75251 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/75254/stat : 75254 (run-opt-log.sh) S 75251 75254 74222 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62578224 4292608 736 18446744073709551615 94462570590208 94462571484741 140729057961264 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94462571723792 94462571771536 94462592319488 140729057966369 140729057966564 140729057966564 140729057972166 0
/proc/75254/statm: 1048 736 672 219 0 110 0
[pid=75256] ppid=75254 vsize=1004880 memory=824672 CPUtime=3512.52 cores=5,7
/proc/75256/stat : 75256 (roundingsat) R 75254 75254 74222 0 -1 4194304 160711 0 0 0 347285 3967 0 0 20 0 1 0 62578224 1028997120 206168 18446744073709551615 4227072 8923433 140731906307552 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35414016 140731906312530 140731906312744 140731906312744 140731906318314 0
/proc/75256/statm: 251220 206168 2496 1147 0 238647 0
Current children cumulated CPU time: 3512.52 s
Current children cumulated vsize: 1009072 KiB
Current children cumulated memory: 827616 KiB
[startup+3582.3 s]
/proc/loadavg: 3.34 3.88 4.05 4/266 75626
/proc/meminfo: memFree=77719576/131249992 swapFree=33010160/33010684
[pid=75254] ppid=75251 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/75254/stat : 75254 (run-opt-log.sh) S 75251 75254 74222 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62578224 4292608 736 18446744073709551615 94462570590208 94462571484741 140729057961264 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94462571723792 94462571771536 94462592319488 140729057966369 140729057966564 140729057966564 140729057972166 0
/proc/75254/statm: 1048 736 672 219 0 110 0
[pid=75256] ppid=75254 vsize=1004880 memory=825056 CPUtime=3572.36 cores=5,7
/proc/75256/stat : 75256 (roundingsat) R 75254 75254 74222 0 -1 4194304 160800 0 0 0 353223 4013 0 0 20 0 1 0 62578224 1028997120 206264 18446744073709551615 4227072 8923433 140731906307552 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35414016 140731906312530 140731906312744 140731906312744 140731906318314 0
/proc/75256/statm: 251220 206264 2496 1147 0 238647 0
Current children cumulated CPU time: 3572.36 s
Current children cumulated vsize: 1009072 KiB
Current children cumulated memory: 828000 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.11 s]
/proc/loadavg: 3.18 3.80 4.01 3/259 75657
/proc/meminfo: memFree=93384144/131249992 swapFree=33010160/33010684
[pid=75254] ppid=75251 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/75254/stat : 75254 (run-opt-log.sh) S 75251 75254 74222 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62578224 4292608 736 18446744073709551615 94462570590208 94462571484741 140729057961264 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94462571723792 94462571771536 94462592319488 140729057966369 140729057966564 140729057966564 140729057972166 0
/proc/75254/statm: 1048 736 672 219 0 110 0
[pid=75256] ppid=75254 vsize=1005912 memory=834528 CPUtime=3600.09 cores=5,7
/proc/75256/stat : 75256 (roundingsat) R 75254 75254 74222 0 -1 4194304 161071 0 0 0 355965 4044 0 0 20 0 1 0 62578224 1030053888 208632 18446744073709551615 4227072 8923433 140731906307552 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35414016 140731906312530 140731906312744 140731906312744 140731906318314 0
/proc/75256/statm: 251478 208632 2496 1147 0 238905 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1010104 KiB
Current children cumulated memory: 837472 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.11 s]
# the end of solver process 75254 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.002102 s
[startup+3610.24 s]
# the end of solver process 75256 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3559.66 s, system=40.4834 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.2 s]*
/proc/loadavg: 3.18 3.80 4.01 2/258 75657
/proc/meminfo: memFree=93374500/131249992 swapFree=33010160/33010684
[pid=75256] ppid=75251 vsize=1005912 memory=834784 CPUtime=3600.11 cores=5,7
/proc/75256/stat : 75256 (roundingsat) D 75251 75254 74222 0 -1 4194304 161074 0 0 0 355965 4046 0 0 20 0 1 0 62578224 1030053888 208696 18446744073709551615 4227072 8923433 140731906307552 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 35414016 140731906312530 140731906312744 140731906312744 140731906318314 0
/proc/75256/statm: 251478 208696 2560 1147 0 238905 0
Current cumulated CPU time of completed processes: 0.002102 s
Current children cumulated CPU time: 3600.11 s
Current children cumulated vsize: 1005912 KiB
Current children cumulated memory: 834784 KiB
Child status: 2
Real time (s): 3610.24
CPU time (s): 3600.15
CPU user time (s): 3559.66
CPU system time (s): 40.4834
CPU usage (%): 99.7203
Max. virtual memory (cumulated for all children) (KiB): 1010104
Max. memory (cumulated for all children) (KiB): 837472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3559.66
system time used= 40.4834
maximum resident set size= 834784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 161297
page faults= 0
swaps= 0
block input operations= 0
block output operations= 65156984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1670
involuntary context switches= 4868
# summary of solver processes directly reported to runsolver:
# pid: 75254,75256
# total CPU time (s): 3600.15
# total CPU user time (s): 3559.66
# total CPU system time (s): 40.4834
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.10386 second user time and 16.6977 second system time
The end
Begin job on nodeC025 at 2025-07-02 17:09:55
IDJOB=4499167
IDBENCH=148772
IDSOLVER=3351
FILE ID=nodeC025/4499167-1751468995
RUNJOBID= nodeC025-1751461732-74235
SLURM_JOB_ID= 9598466
Free space on /tmp= 432956 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx63.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4499167-1751468995/watcher-4499167-1751468995 -o /tmp/evaluation-result-4499167-1751468995/solver-4499167-1751468995 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751461732-74235 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4499167-1751468995.opb PROOFDIR/proof-4499167-1751468995
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7c2ff02722ff3a09887b085a032d3a00
RANDOM SEED=712852313
nodeC025 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.763
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.870
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3596.389
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3569.763
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.807
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.833
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.555
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3598.711
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249992 kB
MemFree: 127586828 kB
MemAvailable: 129082952 kB
Buffers: 2128 kB
Cached: 2291784 kB
SwapCached: 200 kB
Active: 894968 kB
Inactive: 2063560 kB
Active(anon): 649328 kB
Inactive(anon): 33200 kB
Active(file): 245640 kB
Inactive(file): 2030360 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 918928 kB
Writeback: 292 kB
AnonPages: 667532 kB
Mapped: 116840 kB
Shmem: 17856 kB
KReclaimable: 118724 kB
Slab: 235980 kB
SReclaimable: 118724 kB
SUnreclaim: 117256 kB
KernelStack: 4384 kB
PageTables: 4620 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 1095076 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150648 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 98304 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 207572 kB
DirectMap2M: 9000960 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432964 MiB
End job on nodeC025 at 2025-07-02 18:10:05