0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 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.018757
0.00/0.05 c GLOBAL bounds - >= 0 @ 0.019903
0.00/0.05 c GLOBAL bounds - >= 6 @ 0.019903
0.00/0.07 c rational objective 6
0.77/0.88 c #Conflicts: 1000 | #Constraints: 4725
0.77/0.88 c #Conflicts: 2000 | #Constraints: 5732
0.77/0.88 c INPROCESSING
0.77/0.88 c GARBAGE COLLECT
0.77/0.88 c rational objective 6
1.08/1.12 c GLOBAL bounds - >= 6 @ 1.06912
1.86/1.91 c #Conflicts: 3000 | #Constraints: 2537
1.86/1.91 c #Conflicts: 4000 | #Constraints: 3538
1.86/1.91 c INPROCESSING
1.86/1.91 c GARBAGE COLLECT
1.86/1.91 c rational objective 6
1.97/2.05 c GLOBAL bounds - >= 6 @ 1.97194
1.97/2.05 c GLOBAL bounds - >= 6 @ 1.97198
2.86/2.94 c #Conflicts: 5000 | #Constraints: 2936
2.86/2.94 c #Conflicts: 6000 | #Constraints: 3937
2.86/2.94 c INPROCESSING
2.86/2.94 c GARBAGE COLLECT
2.86/2.94 c rational objective 6
2.97/3.04 c GLOBAL bounds - >= 6 @ 2.94018
2.97/3.04 c GLOBAL bounds - >= 6 @ 2.94022
4.56/4.61 c #Conflicts: 7000 | #Constraints: 2951
4.56/4.61 c #Conflicts: 8000 | #Constraints: 3953
4.56/4.61 c #Conflicts: 9000 | #Constraints: 4957
4.56/4.61 c INPROCESSING
4.56/4.61 c GARBAGE COLLECT
4.56/4.61 c rational objective 6
4.66/4.76 c GLOBAL bounds - >= 6 @ 4.62072
4.66/4.76 c GLOBAL bounds - >= 6 @ 4.62076
6.16/6.28 c #Conflicts: 10000 | #Constraints: 3653
6.16/6.28 c #Conflicts: 11000 | #Constraints: 4657
6.16/6.28 c #Conflicts: 12000 | #Constraints: 5660
6.16/6.28 c INPROCESSING
6.16/6.28 c GARBAGE COLLECT
6.16/6.28 c rational objective 6
6.35/6.45 c GLOBAL bounds - >= 6 @ 6.26377
6.35/6.45 c GLOBAL bounds - >= 6 @ 6.26381
7.55/7.66 c #Conflicts: 13000 | #Constraints: 4110
7.55/7.66 c #Conflicts: 14000 | #Constraints: 5117
7.55/7.66 c #Conflicts: 15000 | #Constraints: 6127
7.55/7.66 c INPROCESSING
7.55/7.66 c GARBAGE COLLECT
7.55/7.66 c rational objective 6
7.75/7.88 c GLOBAL bounds - >= 6 @ 7.6504
7.75/7.88 c GLOBAL bounds - >= 6 @ 7.65044
9.75/9.84 c #Conflicts: 16000 | #Constraints: 4345
9.75/9.84 c #Conflicts: 17000 | #Constraints: 5350
9.75/9.84 c #Conflicts: 18000 | #Constraints: 6354
9.75/9.84 c INPROCESSING
9.75/9.84 c GARBAGE COLLECT
9.75/9.84 c rational objective 6
9.85/9.97 c GLOBAL bounds - >= 6 @ 9.70899
9.85/9.97 c GLOBAL bounds - >= 6 @ 9.70903
11.24/11.32 c #Conflicts: 19000 | #Constraints: 4374
11.24/11.32 c #Conflicts: 20000 | #Constraints: 5379
11.24/11.32 c #Conflicts: 21000 | #Constraints: 6381
11.24/11.32 c INPROCESSING
11.24/11.32 c GARBAGE COLLECT
11.24/11.32 c rational objective 6
11.44/11.55 c GLOBAL bounds - >= 6 @ 11.2404
11.44/11.55 c GLOBAL bounds - >= 6 @ 11.2404
12.84/12.91 c #Conflicts: 22000 | #Constraints: 4163
12.84/12.91 c #Conflicts: 23000 | #Constraints: 5164
12.84/12.91 c #Conflicts: 24000 | #Constraints: 6164
12.84/12.91 c #Conflicts: 25000 | #Constraints: 7165
12.84/12.91 c INPROCESSING
12.84/12.91 c GARBAGE COLLECT
12.84/12.91 c rational objective 6
13.24/13.32 c GLOBAL bounds - >= 6 @ 12.9852
13.24/13.32 c GLOBAL bounds - >= 6 @ 12.9852
15.13/15.28 c #Conflicts: 26000 | #Constraints: 4750
15.13/15.28 c #Conflicts: 27000 | #Constraints: 5752
15.13/15.28 c #Conflicts: 28000 | #Constraints: 6759
15.13/15.28 c #Conflicts: 29000 | #Constraints: 7764
15.13/15.28 c INPROCESSING
15.13/15.28 c GARBAGE COLLECT
15.13/15.28 c rational objective 6
15.33/15.45 c GLOBAL bounds - >= 6 @ 15.0779
15.33/15.45 c GLOBAL bounds - >= 6 @ 15.0779
17.72/17.83 c #Conflicts: 30000 | #Constraints: 5156
17.72/17.83 c #Conflicts: 31000 | #Constraints: 6162
17.72/17.83 c #Conflicts: 32000 | #Constraints: 7165
17.72/17.83 c #Conflicts: 33000 | #Constraints: 8173
17.72/17.83 c INPROCESSING
17.72/17.83 c GARBAGE COLLECT
17.72/17.83 c rational objective 6
17.93/18.01 c GLOBAL bounds - >= 6 @ 17.5813
17.93/18.01 c GLOBAL bounds - >= 6 @ 17.5813
21.31/21.46 c #Conflicts: 34000 | #Constraints: 5369
21.31/21.46 c #Conflicts: 35000 | #Constraints: 6376
21.31/21.46 c #Conflicts: 36000 | #Constraints: 7379
21.31/21.46 c #Conflicts: 37000 | #Constraints: 8387
21.31/21.46 c INPROCESSING
21.31/21.46 c GARBAGE COLLECT
21.31/21.46 c rational objective 6
21.51/21.65 c GLOBAL bounds - >= 6 @ 21.1595
21.51/21.65 c GLOBAL bounds - >= 6 @ 21.1596
24.60/24.71 c #Conflicts: 38000 | #Constraints: 5378
24.60/24.71 c #Conflicts: 39000 | #Constraints: 6380
24.60/24.71 c #Conflicts: 40000 | #Constraints: 7383
24.60/24.71 c #Conflicts: 41000 | #Constraints: 8387
24.60/24.71 c INPROCESSING
24.60/24.71 c GARBAGE COLLECT
24.60/24.71 c rational objective 6
24.80/24.98 c GLOBAL bounds - >= 6 @ 24.4409
24.80/24.98 c GLOBAL bounds - >= 6 @ 24.441
28.79/28.93 c #Conflicts: 42000 | #Constraints: 5188
28.79/28.93 c #Conflicts: 43000 | #Constraints: 6196
28.79/28.93 c #Conflicts: 44000 | #Constraints: 7199
28.79/28.93 c #Conflicts: 45000 | #Constraints: 8206
28.79/28.93 c #Conflicts: 46000 | #Constraints: 9210
28.79/28.93 c INPROCESSING
28.79/28.93 c GARBAGE COLLECT
28.79/28.93 c rational objective 6
28.90/29.06 c GLOBAL bounds - >= 6 @ 28.455
28.90/29.06 c GLOBAL bounds - >= 6 @ 28.455
32.08/32.30 c #Conflicts: 47000 | #Constraints: 5782
32.08/32.30 c #Conflicts: 48000 | #Constraints: 6790
32.08/32.30 c #Conflicts: 49000 | #Constraints: 7795
32.08/32.30 c #Conflicts: 50000 | #Constraints: 8803
32.08/32.30 c #Conflicts: 51000 | #Constraints: 9805
32.08/32.30 c INPROCESSING
32.08/32.30 c GARBAGE COLLECT
32.08/32.30 c rational objective 6
32.28/32.41 c GLOBAL bounds - >= 6 @ 31.7524
32.28/32.41 c GLOBAL bounds - >= 6 @ 31.7524
37.57/37.79 c #Conflicts: 52000 | #Constraints: 6182
37.57/37.79 c #Conflicts: 53000 | #Constraints: 7187
37.57/37.79 c #Conflicts: 54000 | #Constraints: 8190
37.57/37.79 c #Conflicts: 55000 | #Constraints: 9192
37.57/37.79 c #Conflicts: 56000 | #Constraints: 10199
37.57/37.79 c INPROCESSING
37.57/37.79 c GARBAGE COLLECT
37.57/37.79 c rational objective 6
37.77/37.97 c GLOBAL bounds - >= 6 @ 37.2567
37.77/37.97 c GLOBAL bounds - >= 6 @ 37.2567
42.75/42.92 c #Conflicts: 57000 | #Constraints: 6385
42.75/42.92 c #Conflicts: 58000 | #Constraints: 7389
42.75/42.92 c #Conflicts: 59000 | #Constraints: 8395
42.75/42.92 c #Conflicts: 60000 | #Constraints: 9398
42.75/42.92 c #Conflicts: 61000 | #Constraints: 10404
42.75/42.92 c INPROCESSING
42.75/42.92 c GARBAGE COLLECT
42.75/42.92 c rational objective 6
42.86/43.07 c GLOBAL bounds - >= 6 @ 42.2914
42.86/43.07 c GLOBAL bounds - >= 6 @ 42.2914
46.23/46.42 c #Conflicts: 62000 | #Constraints: 6391
46.23/46.42 c #Conflicts: 63000 | #Constraints: 7393
46.23/46.42 c #Conflicts: 64000 | #Constraints: 8395
46.23/46.42 c #Conflicts: 65000 | #Constraints: 9399
46.23/46.42 c #Conflicts: 66000 | #Constraints: 10403
46.23/46.42 c INPROCESSING
46.23/46.42 c GARBAGE COLLECT
46.23/46.42 c rational objective 6
46.53/46.72 c GLOBAL bounds - >= 6 @ 45.8939
46.53/46.72 c GLOBAL bounds - >= 6 @ 45.894
50.43/50.64 c #Conflicts: 67000 | #Constraints: 6179
50.43/50.64 c #Conflicts: 68000 | #Constraints: 7183
50.43/50.64 c #Conflicts: 69000 | #Constraints: 8186
50.43/50.64 c #Conflicts: 70000 | #Constraints: 9191
50.43/50.64 c #Conflicts: 71000 | #Constraints: 10196
50.43/50.64 c #Conflicts: 72000 | #Constraints: 11202
50.43/50.64 c INPROCESSING
50.43/50.64 c GARBAGE COLLECT
50.43/50.64 c rational objective 6
50.63/50.89 c GLOBAL bounds - >= 6 @ 49.9937
50.63/50.89 c GLOBAL bounds - >= 6 @ 49.9938
53.72/53.90 c #Conflicts: 73000 | #Constraints: 6781
53.72/53.90 c #Conflicts: 74000 | #Constraints: 7782
53.72/53.90 c #Conflicts: 75000 | #Constraints: 8785
53.72/53.90 c #Conflicts: 76000 | #Constraints: 9787
53.72/53.90 c #Conflicts: 77000 | #Constraints: 10789
53.72/53.90 c #Conflicts: 78000 | #Constraints: 11790
53.72/53.90 c INPROCESSING
53.72/53.90 c GARBAGE COLLECT
53.72/53.90 c rational objective 6
53.83/54.03 c GLOBAL bounds - >= 6 @ 53.0769
53.83/54.03 c GLOBAL bounds - >= 6 @ 53.0769
57.00/57.21 c #Conflicts: 79000 | #Constraints: 7170
57.00/57.21 c #Conflicts: 80000 | #Constraints: 8175
57.00/57.21 c #Conflicts: 81000 | #Constraints: 9177
57.00/57.21 c #Conflicts: 82000 | #Constraints: 10183
57.00/57.21 c #Conflicts: 83000 | #Constraints: 11188
57.00/57.21 c #Conflicts: 84000 | #Constraints: 12195
57.00/57.21 c INPROCESSING
57.00/57.21 c GARBAGE COLLECT
57.00/57.21 c rational objective 6
57.10/57.38 c GLOBAL bounds - >= 6 @ 56.3565
57.10/57.38 c GLOBAL bounds - >= 6 @ 56.3566
60.30/60.53 c #Conflicts: 85000 | #Constraints: 7378
60.30/60.53 c #Conflicts: 86000 | #Constraints: 8381
60.30/60.53 c #Conflicts: 87000 | #Constraints: 9384
60.30/60.53 c #Conflicts: 88000 | #Constraints: 10386
60.30/60.53 c #Conflicts: 89000 | #Constraints: 11392
60.30/60.53 c #Conflicts: 90000 | #Constraints: 12400
60.30/60.53 c INPROCESSING
60.30/60.53 c GARBAGE COLLECT
60.30/60.53 c rational objective 6
60.60/60.89 c GLOBAL bounds - >= 6 @ 59.7848
60.60/60.89 c GLOBAL bounds - >= 6 @ 59.7848
63.98/64.26 c #Conflicts: 91000 | #Constraints: 7383
63.98/64.26 c #Conflicts: 92000 | #Constraints: 8392
63.98/64.26 c #Conflicts: 93000 | #Constraints: 9393
63.98/64.26 c #Conflicts: 94000 | #Constraints: 10397
63.98/64.26 c #Conflicts: 95000 | #Constraints: 11400
63.98/64.26 c #Conflicts: 96000 | #Constraints: 12402
63.98/64.26 c INPROCESSING
63.98/64.26 c GARBAGE COLLECT
63.98/64.26 c rational objective 6
64.19/64.43 c GLOBAL bounds - >= 6 @ 63.2539
64.19/64.43 c GLOBAL bounds - >= 6 @ 63.2539
68.79/69.05 c #Conflicts: 97000 | #Constraints: 7178
68.79/69.05 c #Conflicts: 98000 | #Constraints: 8180
68.79/69.05 c #Conflicts: 99000 | #Constraints: 9185
68.79/69.05 c #Conflicts: 100000 | #Constraints: 10189
68.79/69.05 c #Conflicts: 101000 | #Constraints: 11193
68.79/69.05 c #Conflicts: 102000 | #Constraints: 12199
68.79/69.05 c #Conflicts: 103000 | #Constraints: 13200
68.79/69.05 c INPROCESSING
68.79/69.05 c GARBAGE COLLECT
68.79/69.05 c rational objective 6
68.89/69.17 c GLOBAL bounds - >= 6 @ 67.9112
68.89/69.17 c GLOBAL bounds - >= 6 @ 67.9112
73.66/73.90 c #Conflicts: 104000 | #Constraints: 7774
73.66/73.90 c #Conflicts: 105000 | #Constraints: 8777
73.66/73.90 c #Conflicts: 106000 | #Constraints: 9784
73.66/73.90 c #Conflicts: 107000 | #Constraints: 10786
73.66/73.90 c #Conflicts: 108000 | #Constraints: 11789
73.66/73.90 c #Conflicts: 109000 | #Constraints: 12790
73.66/73.90 c #Conflicts: 110000 | #Constraints: 13792
73.66/73.90 c INPROCESSING
73.66/73.90 c GARBAGE COLLECT
73.66/73.90 c rational objective 6
73.77/74.03 c GLOBAL bounds - >= 6 @ 72.6918
73.77/74.03 c GLOBAL bounds - >= 6 @ 72.6919
79.05/79.35 c #Conflicts: 111000 | #Constraints: 8175
79.05/79.35 c #Conflicts: 112000 | #Constraints: 9177
79.05/79.35 c #Conflicts: 113000 | #Constraints: 10179
79.05/79.35 c #Conflicts: 114000 | #Constraints: 11182
79.05/79.35 c #Conflicts: 115000 | #Constraints: 12186
79.05/79.35 c #Conflicts: 116000 | #Constraints: 13194
79.05/79.35 c #Conflicts: 117000 | #Constraints: 14197
79.05/79.35 c INPROCESSING
79.05/79.35 c GARBAGE COLLECT
79.05/79.35 c rational objective 6
79.35/79.68 c GLOBAL bounds - >= 6 @ 78.2572
79.35/79.68 c GLOBAL bounds - >= 6 @ 78.2572
84.33/84.64 c #Conflicts: 118000 | #Constraints: 8380
84.33/84.64 c #Conflicts: 119000 | #Constraints: 9381
84.33/84.64 c #Conflicts: 120000 | #Constraints: 10387
84.33/84.64 c #Conflicts: 121000 | #Constraints: 11394
84.33/84.64 c #Conflicts: 122000 | #Constraints: 12400
84.33/84.64 c #Conflicts: 123000 | #Constraints: 13402
84.33/84.64 c #Conflicts: 124000 | #Constraints: 14405
84.33/84.64 c INPROCESSING
84.33/84.64 c GARBAGE COLLECT
84.33/84.64 c rational objective 6
84.53/84.83 c GLOBAL bounds - >= 6 @ 83.3134
84.53/84.83 c GLOBAL bounds - >= 6 @ 83.3134
90.31/90.67 c #Conflicts: 125000 | #Constraints: 8390
90.31/90.67 c #Conflicts: 126000 | #Constraints: 9392
90.31/90.67 c #Conflicts: 127000 | #Constraints: 10398
90.31/90.67 c #Conflicts: 128000 | #Constraints: 11407
90.31/90.67 c #Conflicts: 129000 | #Constraints: 12411
90.31/90.67 c #Conflicts: 130000 | #Constraints: 13414
90.31/90.67 c #Conflicts: 131000 | #Constraints: 14418
90.31/90.67 c INPROCESSING
90.31/90.67 c GARBAGE COLLECT
90.31/90.67 c rational objective 6
90.51/90.85 c GLOBAL bounds - >= 6 @ 89.245
90.51/90.85 c GLOBAL bounds - >= 6 @ 89.245
97.49/97.86 c #Conflicts: 132000 | #Constraints: 8186
97.49/97.86 c #Conflicts: 133000 | #Constraints: 9190
97.49/97.86 c #Conflicts: 134000 | #Constraints: 10196
97.49/97.86 c #Conflicts: 135000 | #Constraints: 11202
97.49/97.86 c #Conflicts: 136000 | #Constraints: 12205
97.49/97.86 c #Conflicts: 137000 | #Constraints: 13209
97.49/97.86 c #Conflicts: 138000 | #Constraints: 14211
97.49/97.86 c #Conflicts: 139000 | #Constraints: 15215
97.49/97.86 c INPROCESSING
97.49/97.86 c GARBAGE COLLECT
97.49/97.86 c rational objective 6
97.70/98.10 c GLOBAL bounds - >= 6 @ 96.3565
97.70/98.10 c GLOBAL bounds - >= 6 @ 96.3566
104.37/104.71 c #Conflicts: 140000 | #Constraints: 8794
104.37/104.71 c #Conflicts: 141000 | #Constraints: 9799
104.37/104.71 c #Conflicts: 142000 | #Constraints: 10801
104.37/104.71 c #Conflicts: 143000 | #Constraints: 11802
104.37/104.71 c #Conflicts: 144000 | #Constraints: 12808
104.37/104.71 c #Conflicts: 145000 | #Constraints: 13813
104.37/104.71 c #Conflicts: 146000 | #Constraints: 14815
104.37/104.71 c #Conflicts: 147000 | #Constraints: 15817
104.37/104.71 c INPROCESSING
104.37/104.71 c GARBAGE COLLECT
104.37/104.71 c rational objective 6
104.58/104.94 c GLOBAL bounds - >= 6 @ 103.085
104.58/104.94 c GLOBAL bounds - >= 6 @ 103.085
110.77/111.18 c #Conflicts: 148000 | #Constraints: 9185
110.77/111.18 c #Conflicts: 149000 | #Constraints: 10190
110.77/111.18 c #Conflicts: 150000 | #Constraints: 11194
110.77/111.18 c #Conflicts: 151000 | #Constraints: 12201
110.77/111.18 c #Conflicts: 152000 | #Constraints: 13205
110.77/111.18 c #Conflicts: 153000 | #Constraints: 14209
110.77/111.18 c #Conflicts: 154000 | #Constraints: 15213
110.77/111.18 c #Conflicts: 155000 | #Constraints: 16219
110.77/111.18 c INPROCESSING
110.77/111.18 c GARBAGE COLLECT
110.77/111.18 c rational objective 6
110.95/111.37 c GLOBAL bounds - >= 6 @ 109.352
110.95/111.37 c GLOBAL bounds - >= 6 @ 109.353
117.44/117.80 c #Conflicts: 156000 | #Constraints: 9408
117.44/117.80 c #Conflicts: 157000 | #Constraints: 10413
117.44/117.80 c #Conflicts: 158000 | #Constraints: 11416
117.44/117.80 c #Conflicts: 159000 | #Constraints: 12418
117.44/117.80 c #Conflicts: 160000 | #Constraints: 13420
117.44/117.80 c #Conflicts: 161000 | #Constraints: 14424
117.44/117.80 c #Conflicts: 162000 | #Constraints: 15428
117.44/117.80 c #Conflicts: 163000 | #Constraints: 16434
117.44/117.80 c INPROCESSING
117.44/117.80 c GARBAGE COLLECT
117.44/117.80 c rational objective 6
117.65/118.06 c GLOBAL bounds - >= 6 @ 115.905
117.65/118.06 c GLOBAL bounds - >= 6 @ 115.905
124.42/124.88 c #Conflicts: 164000 | #Constraints: 9399
124.42/124.88 c #Conflicts: 165000 | #Constraints: 10402
124.42/124.88 c #Conflicts: 166000 | #Constraints: 11406
124.42/124.88 c #Conflicts: 167000 | #Constraints: 12409
124.42/124.88 c #Conflicts: 168000 | #Constraints: 13411
124.42/124.88 c #Conflicts: 169000 | #Constraints: 14414
124.42/124.88 c #Conflicts: 170000 | #Constraints: 15417
124.42/124.88 c #Conflicts: 171000 | #Constraints: 16422
124.42/124.88 c INPROCESSING
124.42/124.88 c GARBAGE COLLECT
124.42/124.88 c rational objective 6
124.73/125.14 c GLOBAL bounds - >= 6 @ 122.851
124.73/125.14 c GLOBAL bounds - >= 6 @ 122.851
131.00/131.48 c #Conflicts: 172000 | #Constraints: 9194
131.00/131.48 c #Conflicts: 173000 | #Constraints: 10201
131.00/131.48 c #Conflicts: 174000 | #Constraints: 11211
131.00/131.48 c #Conflicts: 175000 | #Constraints: 12216
131.00/131.48 c #Conflicts: 176000 | #Constraints: 13221
131.00/131.48 c #Conflicts: 177000 | #Constraints: 14225
131.00/131.48 c #Conflicts: 178000 | #Constraints: 15227
131.00/131.48 c #Conflicts: 179000 | #Constraints: 16231
131.00/131.48 c #Conflicts: 180000 | #Constraints: 17236
131.00/131.48 c INPROCESSING
131.00/131.48 c GARBAGE COLLECT
131.00/131.48 c rational objective 6
131.20/131.64 c GLOBAL bounds - >= 6 @ 129.235
131.20/131.64 c GLOBAL bounds - >= 6 @ 129.235
137.78/138.24 c #Conflicts: 181000 | #Constraints: 9801
137.78/138.24 c #Conflicts: 182000 | #Constraints: 10805
137.78/138.24 c #Conflicts: 183000 | #Constraints: 11811
137.78/138.24 c #Conflicts: 184000 | #Constraints: 12816
137.78/138.24 c #Conflicts: 185000 | #Constraints: 13822
137.78/138.24 c #Conflicts: 186000 | #Constraints: 14828
137.78/138.24 c #Conflicts: 187000 | #Constraints: 15834
137.78/138.24 c #Conflicts: 188000 | #Constraints: 16839
137.78/138.24 c #Conflicts: 189000 | #Constraints: 17846
137.78/138.24 c INPROCESSING
137.78/138.24 c GARBAGE COLLECT
137.78/138.24 c rational objective 6
137.98/138.42 c GLOBAL bounds - >= 6 @ 135.873
137.98/138.42 c GLOBAL bounds - >= 6 @ 135.873
158.32/158.84 c #Conflicts: 190000 | #Constraints: 10238
158.32/158.84 c #Conflicts: 191000 | #Constraints: 11246
158.32/158.84 c #Conflicts: 192000 | #Constraints: 12248
158.32/158.84 c #Conflicts: 193000 | #Constraints: 13250
158.32/158.84 c #Conflicts: 194000 | #Constraints: 14254
158.32/158.84 c #Conflicts: 195000 | #Constraints: 15254
158.32/158.84 c #Conflicts: 196000 | #Constraints: 16256
158.32/158.84 c #Conflicts: 197000 | #Constraints: 17258
158.32/158.84 c #Conflicts: 198000 | #Constraints: 18259
158.32/158.84 c INPROCESSING
158.32/158.84 c GARBAGE COLLECT
158.32/158.84 c rational objective 6
158.64/159.14 c GLOBAL bounds - >= 6 @ 156.39
158.64/159.14 c GLOBAL bounds - >= 6 @ 156.39
173.18/173.78 c #Conflicts: 199000 | #Constraints: 10436
173.18/173.78 c #Conflicts: 200000 | #Constraints: 11438
173.18/173.78 c #Conflicts: 201000 | #Constraints: 12443
173.18/173.78 c #Conflicts: 202000 | #Constraints: 13449
173.18/173.78 c #Conflicts: 203000 | #Constraints: 14452
173.18/173.78 c #Conflicts: 204000 | #Constraints: 15460
173.18/173.78 c #Conflicts: 205000 | #Constraints: 16465
173.18/173.78 c #Conflicts: 206000 | #Constraints: 17473
173.18/173.78 c #Conflicts: 207000 | #Constraints: 18478
173.18/173.78 c INPROCESSING
173.18/173.78 c GARBAGE COLLECT
173.18/173.78 c rational objective 6
173.49/174.06 c GLOBAL bounds - >= 6 @ 171.108
173.49/174.06 c GLOBAL bounds - >= 6 @ 171.108
194.21/194.83 c #Conflicts: 208000 | #Constraints: 10448
194.21/194.83 c #Conflicts: 209000 | #Constraints: 11450
194.21/194.83 c #Conflicts: 210000 | #Constraints: 12453
194.21/194.83 c #Conflicts: 211000 | #Constraints: 13456
194.21/194.83 c #Conflicts: 212000 | #Constraints: 14462
194.21/194.83 c #Conflicts: 213000 | #Constraints: 15464
194.21/194.83 c #Conflicts: 214000 | #Constraints: 16465
194.21/194.83 c #Conflicts: 215000 | #Constraints: 17466
194.21/194.83 c #Conflicts: 216000 | #Constraints: 18472
194.21/194.83 c INPROCESSING
194.21/194.83 c GARBAGE COLLECT
194.21/194.83 c rational objective 6
194.53/195.13 c GLOBAL bounds - >= 6 @ 191.963
194.53/195.13 c GLOBAL bounds - >= 6 @ 191.963
213.96/214.69 c #Conflicts: 217000 | #Constraints: 10257
213.96/214.69 c #Conflicts: 218000 | #Constraints: 11259
213.96/214.69 c #Conflicts: 219000 | #Constraints: 12264
213.96/214.69 c #Conflicts: 220000 | #Constraints: 13268
213.96/214.69 c #Conflicts: 221000 | #Constraints: 14271
213.96/214.69 c #Conflicts: 222000 | #Constraints: 15275
213.96/214.69 c #Conflicts: 223000 | #Constraints: 16276
213.96/214.69 c #Conflicts: 224000 | #Constraints: 17278
213.96/214.69 c #Conflicts: 225000 | #Constraints: 18280
213.96/214.69 c #Conflicts: 226000 | #Constraints: 19282
213.96/214.69 c INPROCESSING
213.96/214.69 c GARBAGE COLLECT
213.96/214.69 c rational objective 6
214.47/215.13 c GLOBAL bounds - >= 6 @ 211.785
214.47/215.13 c GLOBAL bounds - >= 6 @ 211.785
231.43/232.12 c #Conflicts: 227000 | #Constraints: 10846
231.43/232.12 c #Conflicts: 228000 | #Constraints: 11848
231.43/232.12 c #Conflicts: 229000 | #Constraints: 12854
231.43/232.12 c #Conflicts: 230000 | #Constraints: 13856
231.43/232.12 c #Conflicts: 231000 | #Constraints: 14858
231.43/232.12 c #Conflicts: 232000 | #Constraints: 15859
231.43/232.12 c #Conflicts: 233000 | #Constraints: 16862
231.43/232.12 c #Conflicts: 234000 | #Constraints: 17866
231.43/232.12 c #Conflicts: 235000 | #Constraints: 18871
231.43/232.12 c #Conflicts: 236000 | #Constraints: 19874
231.43/232.12 c INPROCESSING
231.43/232.12 c GARBAGE COLLECT
231.43/232.12 c rational objective 6
231.61/232.38 c GLOBAL bounds - >= 6 @ 228.839
231.61/232.38 c GLOBAL bounds - >= 6 @ 228.839
239.59/240.34 c #Conflicts: 237000 | #Constraints: 11233
239.59/240.34 c #Conflicts: 238000 | #Constraints: 12243
239.59/240.34 c #Conflicts: 239000 | #Constraints: 13250
239.59/240.34 c #Conflicts: 240000 | #Constraints: 14257
239.59/240.34 c #Conflicts: 241000 | #Constraints: 15261
239.59/240.34 c #Conflicts: 242000 | #Constraints: 16268
239.59/240.34 c #Conflicts: 243000 | #Constraints: 17270
239.59/240.34 c #Conflicts: 244000 | #Constraints: 18272
239.59/240.34 c #Conflicts: 245000 | #Constraints: 19275
239.59/240.34 c #Conflicts: 246000 | #Constraints: 20282
239.59/240.34 c INPROCESSING
239.59/240.34 c GARBAGE COLLECT
239.59/240.34 c rational objective 6
239.99/240.70 c GLOBAL bounds - >= 6 @ 236.991
239.99/240.70 c GLOBAL bounds - >= 6 @ 236.991
250.28/251.08 c #Conflicts: 247000 | #Constraints: 11438
250.28/251.08 c #Conflicts: 248000 | #Constraints: 12443
250.28/251.08 c #Conflicts: 249000 | #Constraints: 13452
250.28/251.08 c #Conflicts: 250000 | #Constraints: 14459
250.28/251.08 c #Conflicts: 251000 | #Constraints: 15466
250.28/251.08 c #Conflicts: 252000 | #Constraints: 16473
250.28/251.08 c #Conflicts: 253000 | #Constraints: 17477
250.28/251.08 c #Conflicts: 254000 | #Constraints: 18480
250.28/251.08 c #Conflicts: 255000 | #Constraints: 19483
250.28/251.08 c #Conflicts: 256000 | #Constraints: 20486
250.28/251.08 c INPROCESSING
250.28/251.08 c GARBAGE COLLECT
250.28/251.08 c rational objective 6
250.46/251.27 c GLOBAL bounds - >= 6 @ 247.415
250.46/251.27 c GLOBAL bounds - >= 6 @ 247.415
264.72/265.52 c #Conflicts: 257000 | #Constraints: 11448
264.72/265.52 c #Conflicts: 258000 | #Constraints: 12453
264.72/265.52 c #Conflicts: 259000 | #Constraints: 13461
264.72/265.52 c #Conflicts: 260000 | #Constraints: 14469
264.72/265.52 c #Conflicts: 261000 | #Constraints: 15474
264.72/265.52 c #Conflicts: 262000 | #Constraints: 16478
264.72/265.52 c #Conflicts: 263000 | #Constraints: 17486
264.72/265.52 c #Conflicts: 264000 | #Constraints: 18493
264.72/265.52 c #Conflicts: 265000 | #Constraints: 19498
264.72/265.52 c #Conflicts: 266000 | #Constraints: 20504
264.72/265.52 c INPROCESSING
264.72/265.52 c GARBAGE COLLECT
264.72/265.52 c rational objective 6
264.82/265.66 c GLOBAL bounds - >= 6 @ 261.652
264.82/265.66 c GLOBAL bounds - >= 6 @ 261.652
299.23/300.17 c #Conflicts: 267000 | #Constraints: 11270
299.23/300.17 c #Conflicts: 268000 | #Constraints: 12273
299.23/300.17 c #Conflicts: 269000 | #Constraints: 13279
299.23/300.17 c #Conflicts: 270000 | #Constraints: 14281
299.23/300.17 c #Conflicts: 271000 | #Constraints: 15283
299.23/300.17 c #Conflicts: 272000 | #Constraints: 16284
299.23/300.17 c #Conflicts: 273000 | #Constraints: 17289
299.23/300.17 c #Conflicts: 274000 | #Constraints: 18293
299.23/300.17 c #Conflicts: 275000 | #Constraints: 19294
299.23/300.17 c #Conflicts: 276000 | #Constraints: 20296
299.23/300.17 c #Conflicts: 277000 | #Constraints: 21301
299.23/300.17 c INPROCESSING
299.23/300.17 c GARBAGE COLLECT
299.23/300.17 c rational objective 6
299.62/300.58 c GLOBAL bounds - >= 6 @ 296.357
299.62/300.58 c GLOBAL bounds - >= 6 @ 296.358
316.98/317.92 c #Conflicts: 278000 | #Constraints: 11860
316.98/317.92 c #Conflicts: 279000 | #Constraints: 12865
316.98/317.92 c #Conflicts: 280000 | #Constraints: 13871
316.98/317.92 c #Conflicts: 281000 | #Constraints: 14877
316.98/317.92 c #Conflicts: 282000 | #Constraints: 15882
316.98/317.92 c #Conflicts: 283000 | #Constraints: 16888
316.98/317.92 c #Conflicts: 284000 | #Constraints: 17892
316.98/317.92 c #Conflicts: 285000 | #Constraints: 18894
316.98/317.92 c #Conflicts: 286000 | #Constraints: 19898
316.98/317.92 c #Conflicts: 287000 | #Constraints: 20900
316.98/317.92 c #Conflicts: 288000 | #Constraints: 21906
316.98/317.92 c INPROCESSING
316.98/317.92 c GARBAGE COLLECT
316.98/317.92 c rational objective 6
317.09/318.06 c GLOBAL bounds - >= 6 @ 313.647
317.09/318.06 c GLOBAL bounds - >= 6 @ 313.647
336.42/337.42 c #Conflicts: 289000 | #Constraints: 12275
336.42/337.42 c #Conflicts: 290000 | #Constraints: 13280
336.42/337.42 c #Conflicts: 291000 | #Constraints: 14283
336.42/337.42 c #Conflicts: 292000 | #Constraints: 15287
336.42/337.42 c #Conflicts: 293000 | #Constraints: 16291
336.42/337.42 c #Conflicts: 294000 | #Constraints: 17292
336.42/337.42 c #Conflicts: 295000 | #Constraints: 18294
336.42/337.42 c #Conflicts: 296000 | #Constraints: 19296
336.42/337.42 c #Conflicts: 297000 | #Constraints: 20300
336.42/337.42 c #Conflicts: 298000 | #Constraints: 21311
336.42/337.42 c #Conflicts: 299000 | #Constraints: 22317
336.42/337.42 c INPROCESSING
336.42/337.42 c GARBAGE COLLECT
336.42/337.42 c rational objective 6
336.62/337.67 c GLOBAL bounds - >= 6 @ 333.069
336.62/337.67 c GLOBAL bounds - >= 6 @ 333.069
349.58/350.64 c #Conflicts: 300000 | #Constraints: 12479
349.58/350.64 c #Conflicts: 301000 | #Constraints: 13488
349.58/350.64 c #Conflicts: 302000 | #Constraints: 14496
349.58/350.64 c #Conflicts: 303000 | #Constraints: 15501
349.58/350.64 c #Conflicts: 304000 | #Constraints: 16506
349.58/350.64 c #Conflicts: 305000 | #Constraints: 17512
349.58/350.64 c #Conflicts: 306000 | #Constraints: 18514
349.58/350.64 c #Conflicts: 307000 | #Constraints: 19521
349.58/350.64 c #Conflicts: 308000 | #Constraints: 20528
349.58/350.64 c #Conflicts: 309000 | #Constraints: 21538
349.58/350.64 c #Conflicts: 310000 | #Constraints: 22545
349.58/350.64 c INPROCESSING
349.58/350.64 c GARBAGE COLLECT
349.58/350.64 c rational objective 6
349.88/350.94 c GLOBAL bounds - >= 6 @ 346.185
349.88/350.94 c GLOBAL bounds - >= 6 @ 346.185
370.22/371.37 c #Conflicts: 311000 | #Constraints: 12491
370.22/371.37 c #Conflicts: 312000 | #Constraints: 13496
370.22/371.37 c #Conflicts: 313000 | #Constraints: 14503
370.22/371.37 c #Conflicts: 314000 | #Constraints: 15505
370.22/371.37 c #Conflicts: 315000 | #Constraints: 16510
370.22/371.37 c #Conflicts: 316000 | #Constraints: 17519
370.22/371.37 c #Conflicts: 317000 | #Constraints: 18525
370.22/371.37 c #Conflicts: 318000 | #Constraints: 19534
370.22/371.37 c #Conflicts: 319000 | #Constraints: 20539
370.22/371.37 c #Conflicts: 320000 | #Constraints: 21543
370.22/371.37 c #Conflicts: 321000 | #Constraints: 22548
370.22/371.37 c INPROCESSING
370.22/371.37 c GARBAGE COLLECT
370.22/371.37 c rational objective 6
370.52/371.60 c GLOBAL bounds - >= 6 @ 366.658
370.52/371.60 c GLOBAL bounds - >= 6 @ 366.658
390.57/391.70 c #Conflicts: 322000 | #Constraints: 12301
390.57/391.70 c #Conflicts: 323000 | #Constraints: 13312
390.57/391.70 c #Conflicts: 324000 | #Constraints: 14319
390.57/391.70 c #Conflicts: 325000 | #Constraints: 15324
390.57/391.70 c #Conflicts: 326000 | #Constraints: 16330
390.57/391.70 c #Conflicts: 327000 | #Constraints: 17333
390.57/391.70 c #Conflicts: 328000 | #Constraints: 18343
390.57/391.70 c #Conflicts: 329000 | #Constraints: 19349
390.57/391.70 c #Conflicts: 330000 | #Constraints: 20355
390.57/391.70 c #Conflicts: 331000 | #Constraints: 21359
390.57/391.70 c #Conflicts: 332000 | #Constraints: 22361
390.57/391.70 c #Conflicts: 333000 | #Constraints: 23367
390.57/391.70 c INPROCESSING
390.57/391.70 c GARBAGE COLLECT
390.57/391.70 c rational objective 6
390.77/392.00 c GLOBAL bounds - >= 6 @ 386.878
390.77/392.00 c GLOBAL bounds - >= 6 @ 386.878
407.03/408.29 c #Conflicts: 334000 | #Constraints: 12922
407.03/408.29 c #Conflicts: 335000 | #Constraints: 13930
407.03/408.29 c #Conflicts: 336000 | #Constraints: 14938
407.03/408.29 c #Conflicts: 337000 | #Constraints: 15946
407.03/408.29 c #Conflicts: 338000 | #Constraints: 16950
407.03/408.29 c #Conflicts: 339000 | #Constraints: 17956
407.03/408.29 c #Conflicts: 340000 | #Constraints: 18960
407.03/408.29 c #Conflicts: 341000 | #Constraints: 19968
407.03/408.29 c #Conflicts: 342000 | #Constraints: 20971
407.03/408.29 c #Conflicts: 343000 | #Constraints: 21981
407.03/408.29 c #Conflicts: 344000 | #Constraints: 22984
407.03/408.29 c #Conflicts: 345000 | #Constraints: 23989
407.03/408.29 c INPROCESSING
407.03/408.29 c GARBAGE COLLECT
407.03/408.29 c rational objective 6
407.33/408.60 c GLOBAL bounds - >= 6 @ 403.299
407.33/408.60 c GLOBAL bounds - >= 6 @ 403.299
425.08/426.38 c #Conflicts: 346000 | #Constraints: 13311
425.08/426.38 c #Conflicts: 347000 | #Constraints: 14312
425.08/426.38 c #Conflicts: 348000 | #Constraints: 15316
425.08/426.38 c #Conflicts: 349000 | #Constraints: 16320
425.08/426.38 c #Conflicts: 350000 | #Constraints: 17326
425.08/426.38 c #Conflicts: 351000 | #Constraints: 18330
425.08/426.38 c #Conflicts: 352000 | #Constraints: 19332
425.08/426.38 c #Conflicts: 353000 | #Constraints: 20335
425.08/426.38 c #Conflicts: 354000 | #Constraints: 21342
425.08/426.38 c #Conflicts: 355000 | #Constraints: 22348
425.08/426.38 c #Conflicts: 356000 | #Constraints: 23355
425.08/426.38 c #Conflicts: 357000 | #Constraints: 24360
425.08/426.38 c INPROCESSING
425.08/426.38 c GARBAGE COLLECT
425.08/426.38 c rational objective 6
425.27/426.57 c GLOBAL bounds - >= 6 @ 421.075
425.27/426.57 c GLOBAL bounds - >= 6 @ 421.075
440.43/441.76 c #Conflicts: 358000 | #Constraints: 13493
440.43/441.76 c #Conflicts: 359000 | #Constraints: 14498
440.43/441.76 c #Conflicts: 360000 | #Constraints: 15505
440.43/441.76 c #Conflicts: 361000 | #Constraints: 16511
440.43/441.76 c #Conflicts: 362000 | #Constraints: 17517
440.43/441.76 c #Conflicts: 363000 | #Constraints: 18519
440.43/441.76 c #Conflicts: 364000 | #Constraints: 19524
440.43/441.76 c #Conflicts: 365000 | #Constraints: 20533
440.43/441.76 c #Conflicts: 366000 | #Constraints: 21536
440.43/441.76 c #Conflicts: 367000 | #Constraints: 22543
440.43/441.76 c #Conflicts: 368000 | #Constraints: 23547
440.43/441.76 c #Conflicts: 369000 | #Constraints: 24551
440.43/441.76 c INPROCESSING
440.43/441.76 c GARBAGE COLLECT
440.43/441.76 c rational objective 6
440.63/441.96 c GLOBAL bounds - >= 6 @ 436.277
440.63/441.96 c GLOBAL bounds - >= 6 @ 436.277
464.16/465.59 c #Conflicts: 370000 | #Constraints: 13491
464.16/465.59 c #Conflicts: 371000 | #Constraints: 14498
464.16/465.59 c #Conflicts: 372000 | #Constraints: 15503
464.16/465.59 c #Conflicts: 373000 | #Constraints: 16506
464.16/465.59 c #Conflicts: 374000 | #Constraints: 17511
464.16/465.59 c #Conflicts: 375000 | #Constraints: 18517
464.16/465.59 c #Conflicts: 376000 | #Constraints: 19521
464.16/465.59 c #Conflicts: 377000 | #Constraints: 20525
464.16/465.59 c #Conflicts: 378000 | #Constraints: 21531
464.16/465.59 c #Conflicts: 379000 | #Constraints: 22533
464.16/465.59 c #Conflicts: 380000 | #Constraints: 23535
464.16/465.59 c #Conflicts: 381000 | #Constraints: 24539
464.16/465.59 c INPROCESSING
464.16/465.59 c GARBAGE COLLECT
464.16/465.59 c rational objective 6
464.46/465.89 c GLOBAL bounds - >= 6 @ 459.993
464.46/465.89 c GLOBAL bounds - >= 6 @ 459.993
484.20/485.63 c #Conflicts: 382000 | #Constraints: 13290
484.20/485.63 c #Conflicts: 383000 | #Constraints: 14296
484.20/485.63 c #Conflicts: 384000 | #Constraints: 15298
484.20/485.63 c #Conflicts: 385000 | #Constraints: 16303
484.20/485.63 c #Conflicts: 386000 | #Constraints: 17306
484.20/485.63 c #Conflicts: 387000 | #Constraints: 18309
484.20/485.63 c #Conflicts: 388000 | #Constraints: 19315
484.20/485.63 c #Conflicts: 389000 | #Constraints: 20316
484.20/485.63 c #Conflicts: 390000 | #Constraints: 21318
484.20/485.63 c #Conflicts: 391000 | #Constraints: 22321
484.20/485.63 c #Conflicts: 392000 | #Constraints: 23323
484.20/485.63 c #Conflicts: 393000 | #Constraints: 24324
484.20/485.63 c #Conflicts: 394000 | #Constraints: 25330
484.20/485.63 c INPROCESSING
484.20/485.63 c GARBAGE COLLECT
484.20/485.63 c rational objective 6
484.41/485.86 c GLOBAL bounds - >= 6 @ 479.761
484.41/485.86 c GLOBAL bounds - >= 6 @ 479.761
502.56/504.05 c #Conflicts: 395000 | #Constraints: 13860
502.56/504.05 c #Conflicts: 396000 | #Constraints: 14865
502.56/504.05 c #Conflicts: 397000 | #Constraints: 15870
502.56/504.05 c #Conflicts: 398000 | #Constraints: 16879
502.56/504.05 c #Conflicts: 399000 | #Constraints: 17891
502.56/504.05 c #Conflicts: 400000 | #Constraints: 18900
502.56/504.05 c #Conflicts: 401000 | #Constraints: 19902
502.56/504.05 c #Conflicts: 402000 | #Constraints: 20905
502.56/504.05 c #Conflicts: 403000 | #Constraints: 21912
502.56/504.05 c #Conflicts: 404000 | #Constraints: 22915
502.56/504.05 c #Conflicts: 405000 | #Constraints: 23918
502.56/504.05 c #Conflicts: 406000 | #Constraints: 24921
502.56/504.05 c #Conflicts: 407000 | #Constraints: 25925
502.56/504.05 c INPROCESSING
502.56/504.05 c GARBAGE COLLECT
502.56/504.05 c rational objective 6
502.75/504.26 c GLOBAL bounds - >= 6 @ 497.954
502.75/504.26 c GLOBAL bounds - >= 6 @ 497.955
524.50/526.08 c #Conflicts: 408000 | #Constraints: 14269
524.50/526.08 c #Conflicts: 409000 | #Constraints: 15270
524.50/526.08 c #Conflicts: 410000 | #Constraints: 16274
524.50/526.08 c #Conflicts: 411000 | #Constraints: 17276
524.50/526.08 c #Conflicts: 412000 | #Constraints: 18279
524.50/526.08 c #Conflicts: 413000 | #Constraints: 19281
524.50/526.08 c #Conflicts: 414000 | #Constraints: 20289
524.50/526.08 c #Conflicts: 415000 | #Constraints: 21291
524.50/526.08 c #Conflicts: 416000 | #Constraints: 22295
524.50/526.08 c #Conflicts: 417000 | #Constraints: 23299
524.50/526.08 c #Conflicts: 418000 | #Constraints: 24300
524.50/526.08 c #Conflicts: 419000 | #Constraints: 25306
524.50/526.08 c #Conflicts: 420000 | #Constraints: 26309
524.50/526.08 c INPROCESSING
524.50/526.08 c GARBAGE COLLECT
524.50/526.08 c rational objective 6
524.89/526.46 c GLOBAL bounds - >= 6 @ 519.958
524.89/526.46 c GLOBAL bounds - >= 6 @ 519.958
557.30/558.97 c #Conflicts: 421000 | #Constraints: 14482
557.30/558.97 c #Conflicts: 422000 | #Constraints: 15483
557.30/558.97 c #Conflicts: 423000 | #Constraints: 16485
557.30/558.97 c #Conflicts: 424000 | #Constraints: 17489
557.30/558.97 c #Conflicts: 425000 | #Constraints: 18495
557.30/558.97 c #Conflicts: 426000 | #Constraints: 19498
557.30/558.97 c #Conflicts: 427000 | #Constraints: 20501
557.30/558.97 c #Conflicts: 428000 | #Constraints: 21509
557.30/558.97 c #Conflicts: 429000 | #Constraints: 22516
557.30/558.97 c #Conflicts: 430000 | #Constraints: 23523
557.30/558.97 c #Conflicts: 431000 | #Constraints: 24526
557.30/558.97 c #Conflicts: 432000 | #Constraints: 25528
557.30/558.97 c #Conflicts: 433000 | #Constraints: 26531
557.30/558.97 c INPROCESSING
557.30/558.97 c GARBAGE COLLECT
557.30/558.97 c rational objective 6
557.60/559.24 c GLOBAL bounds - >= 6 @ 552.486
557.60/559.24 c GLOBAL bounds - >= 6 @ 552.486
582.53/584.25 c #Conflicts: 434000 | #Constraints: 14501
582.53/584.25 c #Conflicts: 435000 | #Constraints: 15505
582.53/584.25 c #Conflicts: 436000 | #Constraints: 16509
582.53/584.25 c #Conflicts: 437000 | #Constraints: 17513
582.53/584.25 c #Conflicts: 438000 | #Constraints: 18516
582.53/584.25 c #Conflicts: 439000 | #Constraints: 19519
582.53/584.25 c #Conflicts: 440000 | #Constraints: 20522
582.53/584.25 c #Conflicts: 441000 | #Constraints: 21522
582.53/584.25 c #Conflicts: 442000 | #Constraints: 22525
582.53/584.25 c #Conflicts: 443000 | #Constraints: 23525
582.53/584.25 c #Conflicts: 444000 | #Constraints: 24526
582.53/584.25 c #Conflicts: 445000 | #Constraints: 25529
582.53/584.25 c #Conflicts: 446000 | #Constraints: 26529
582.53/584.25 c INPROCESSING
582.53/584.25 c GARBAGE COLLECT
582.53/584.25 c rational objective 6
582.73/584.42 c GLOBAL bounds - >= 6 @ 577.468
582.73/584.42 c GLOBAL bounds - >= 6 @ 577.468
615.82/617.61 c #Conflicts: 447000 | #Constraints: 14289
615.82/617.61 c #Conflicts: 448000 | #Constraints: 15298
615.82/617.61 c #Conflicts: 449000 | #Constraints: 16301
615.82/617.61 c #Conflicts: 450000 | #Constraints: 17301
615.82/617.61 c #Conflicts: 451000 | #Constraints: 18304
615.82/617.61 c #Conflicts: 452000 | #Constraints: 19305
615.82/617.61 c #Conflicts: 453000 | #Constraints: 20309
615.82/617.61 c #Conflicts: 454000 | #Constraints: 21310
615.82/617.61 c #Conflicts: 455000 | #Constraints: 22313
615.82/617.61 c #Conflicts: 456000 | #Constraints: 23319
615.82/617.61 c #Conflicts: 457000 | #Constraints: 24320
615.82/617.61 c #Conflicts: 458000 | #Constraints: 25323
615.82/617.61 c #Conflicts: 459000 | #Constraints: 26325
615.82/617.61 c #Conflicts: 460000 | #Constraints: 27328
615.82/617.61 c INPROCESSING
615.82/617.61 c GARBAGE COLLECT
615.82/617.61 c rational objective 6
616.02/617.86 c GLOBAL bounds - >= 6 @ 610.663
616.02/617.86 c GLOBAL bounds - >= 6 @ 610.663
632.08/633.99 c #Conflicts: 461000 | #Constraints: 14896
632.08/633.99 c #Conflicts: 462000 | #Constraints: 15898
632.08/633.99 c #Conflicts: 463000 | #Constraints: 16902
632.08/633.99 c #Conflicts: 464000 | #Constraints: 17904
632.08/633.99 c #Conflicts: 465000 | #Constraints: 18908
632.08/633.99 c #Conflicts: 466000 | #Constraints: 19920
632.08/633.99 c #Conflicts: 467000 | #Constraints: 20934
632.08/633.99 c #Conflicts: 468000 | #Constraints: 21944
632.08/633.99 c #Conflicts: 469000 | #Constraints: 22948
632.08/633.99 c #Conflicts: 470000 | #Constraints: 23956
632.08/633.99 c #Conflicts: 471000 | #Constraints: 24965
632.08/633.99 c #Conflicts: 472000 | #Constraints: 25966
632.08/633.99 c #Conflicts: 473000 | #Constraints: 26973
632.08/633.99 c #Conflicts: 474000 | #Constraints: 27981
632.08/633.99 c INPROCESSING
632.08/633.99 c GARBAGE COLLECT
632.08/633.99 c rational objective 6
632.29/634.15 c GLOBAL bounds - >= 6 @ 626.754
632.29/634.15 c GLOBAL bounds - >= 6 @ 626.754
669.58/671.54 c #Conflicts: 475000 | #Constraints: 15344
669.58/671.54 c #Conflicts: 476000 | #Constraints: 16345
669.58/671.54 c #Conflicts: 477000 | #Constraints: 17348
669.58/671.54 c #Conflicts: 478000 | #Constraints: 18353
669.58/671.54 c #Conflicts: 479000 | #Constraints: 19356
669.58/671.54 c #Conflicts: 480000 | #Constraints: 20361
669.58/671.54 c #Conflicts: 481000 | #Constraints: 21367
669.58/671.54 c #Conflicts: 482000 | #Constraints: 22371
669.58/671.54 c #Conflicts: 483000 | #Constraints: 23374
669.58/671.54 c #Conflicts: 484000 | #Constraints: 24376
669.58/671.54 c #Conflicts: 485000 | #Constraints: 25380
669.58/671.54 c #Conflicts: 486000 | #Constraints: 26385
669.58/671.54 c #Conflicts: 487000 | #Constraints: 27388
669.58/671.54 c #Conflicts: 488000 | #Constraints: 28389
669.58/671.54 c INPROCESSING
669.58/671.54 c GARBAGE COLLECT
669.58/671.54 c rational objective 6
669.78/671.79 c GLOBAL bounds - >= 6 @ 664.159
669.78/671.79 c GLOBAL bounds - >= 6 @ 664.159
683.64/685.69 c #Conflicts: 489000 | #Constraints: 15542
683.64/685.69 c #Conflicts: 490000 | #Constraints: 16547
683.64/685.69 c #Conflicts: 491000 | #Constraints: 17552
683.64/685.69 c #Conflicts: 492000 | #Constraints: 18555
683.64/685.69 c #Conflicts: 493000 | #Constraints: 19558
683.64/685.69 c #Conflicts: 494000 | #Constraints: 20561
683.64/685.69 c #Conflicts: 495000 | #Constraints: 21571
683.64/685.69 c #Conflicts: 496000 | #Constraints: 22589
683.64/685.69 c #Conflicts: 497000 | #Constraints: 23596
683.64/685.69 c #Conflicts: 498000 | #Constraints: 24605
683.64/685.69 c #Conflicts: 499000 | #Constraints: 25610
683.64/685.69 c #Conflicts: 500000 | #Constraints: 26612
683.64/685.69 c #Conflicts: 501000 | #Constraints: 27616
683.64/685.69 c #Conflicts: 502000 | #Constraints: 28616
683.64/685.69 c INPROCESSING
683.64/685.69 c GARBAGE COLLECT
683.64/685.69 c rational objective 6
683.84/685.83 c GLOBAL bounds - >= 6 @ 678.022
683.84/685.83 c GLOBAL bounds - >= 6 @ 678.022
710.76/712.88 c #Conflicts: 503000 | #Constraints: 15556
710.76/712.88 c #Conflicts: 504000 | #Constraints: 16559
710.76/712.88 c #Conflicts: 505000 | #Constraints: 17565
710.76/712.88 c #Conflicts: 506000 | #Constraints: 18567
710.76/712.88 c #Conflicts: 507000 | #Constraints: 19573
710.76/712.88 c #Conflicts: 508000 | #Constraints: 20576
710.76/712.88 c #Conflicts: 509000 | #Constraints: 21578
710.76/712.88 c #Conflicts: 510000 | #Constraints: 22580
710.76/712.88 c #Conflicts: 511000 | #Constraints: 23582
710.76/712.88 c #Conflicts: 512000 | #Constraints: 24585
710.76/712.88 c #Conflicts: 513000 | #Constraints: 25586
710.76/712.88 c #Conflicts: 514000 | #Constraints: 26591
710.76/712.88 c #Conflicts: 515000 | #Constraints: 27594
710.76/712.88 c #Conflicts: 516000 | #Constraints: 28598
710.76/712.88 c INPROCESSING
710.76/712.88 c GARBAGE COLLECT
710.76/712.88 c rational objective 6
710.97/713.10 c GLOBAL bounds - >= 6 @ 705.036
710.97/713.10 c GLOBAL bounds - >= 6 @ 705.036
734.80/736.92 c #Conflicts: 517000 | #Constraints: 15330
734.80/736.92 c #Conflicts: 518000 | #Constraints: 16339
734.80/736.92 c #Conflicts: 519000 | #Constraints: 17352
734.80/736.92 c #Conflicts: 520000 | #Constraints: 18361
734.80/736.92 c #Conflicts: 521000 | #Constraints: 19369
734.80/736.92 c #Conflicts: 522000 | #Constraints: 20371
734.80/736.92 c #Conflicts: 523000 | #Constraints: 21377
734.80/736.92 c #Conflicts: 524000 | #Constraints: 22381
734.80/736.92 c #Conflicts: 525000 | #Constraints: 23383
734.80/736.92 c #Conflicts: 526000 | #Constraints: 24386
734.80/736.92 c #Conflicts: 527000 | #Constraints: 25391
734.80/736.92 c #Conflicts: 528000 | #Constraints: 26394
734.80/736.92 c #Conflicts: 529000 | #Constraints: 27398
734.80/736.92 c #Conflicts: 530000 | #Constraints: 28404
734.80/736.92 c #Conflicts: 531000 | #Constraints: 29407
734.80/736.92 c INPROCESSING
734.80/736.92 c GARBAGE COLLECT
734.80/736.92 c rational objective 6
735.01/737.11 c GLOBAL bounds - >= 6 @ 728.795
735.01/737.11 c GLOBAL bounds - >= 6 @ 728.795
763.71/765.98 c #Conflicts: 532000 | #Constraints: 15940
763.71/765.98 c #Conflicts: 533000 | #Constraints: 16943
763.71/765.98 c #Conflicts: 534000 | #Constraints: 17943
763.71/765.98 c #Conflicts: 535000 | #Constraints: 18944
763.71/765.98 c #Conflicts: 536000 | #Constraints: 19945
763.71/765.98 c #Conflicts: 537000 | #Constraints: 20946
763.71/765.98 c #Conflicts: 538000 | #Constraints: 21952
763.71/765.98 c #Conflicts: 539000 | #Constraints: 22955
763.71/765.98 c #Conflicts: 540000 | #Constraints: 23955
763.71/765.98 c #Conflicts: 541000 | #Constraints: 24958
763.71/765.98 c #Conflicts: 542000 | #Constraints: 25961
763.71/765.98 c #Conflicts: 543000 | #Constraints: 26961
763.71/765.98 c #Conflicts: 544000 | #Constraints: 27962
763.71/765.98 c #Conflicts: 545000 | #Constraints: 28962
763.71/765.98 c #Conflicts: 546000 | #Constraints: 29962
763.71/765.98 c INPROCESSING
763.71/765.98 c GARBAGE COLLECT
763.71/765.98 c rational objective 6
763.92/766.19 c GLOBAL bounds - >= 6 @ 757.621
763.92/766.19 c GLOBAL bounds - >= 6 @ 757.621
790.33/792.67 c #Conflicts: 547000 | #Constraints: 16257
790.33/792.67 c #Conflicts: 548000 | #Constraints: 17294
790.33/792.67 c #Conflicts: 549000 | #Constraints: 18400
790.33/792.67 c #Conflicts: 550000 | #Constraints: 19464
790.33/792.67 c #Conflicts: 551000 | #Constraints: 20544
790.33/792.67 c #Conflicts: 552000 | #Constraints: 21588
790.33/792.67 c #Conflicts: 553000 | #Constraints: 22633
790.33/792.67 c #Conflicts: 554000 | #Constraints: 23670
790.33/792.67 c #Conflicts: 555000 | #Constraints: 24682
790.33/792.67 c #Conflicts: 556000 | #Constraints: 25683
790.33/792.67 c #Conflicts: 557000 | #Constraints: 26811
790.33/792.67 c #Conflicts: 558000 | #Constraints: 27814
790.33/792.67 c #Conflicts: 559000 | #Constraints: 28817
790.33/792.67 c #Conflicts: 560000 | #Constraints: 29817
790.33/792.67 c #Conflicts: 561000 | #Constraints: 30819
790.33/792.67 c INPROCESSING
790.33/792.67 c GARBAGE COLLECT
790.33/792.67 c rational objective 6
790.63/792.95 c GLOBAL bounds - >= 6 @ 784.119
790.63/792.95 c GLOBAL bounds - >= 6 @ 784.119
823.24/825.60 c #Conflicts: 562000 | #Constraints: 16727
823.24/825.60 c #Conflicts: 563000 | #Constraints: 17728
823.24/825.60 c #Conflicts: 564000 | #Constraints: 18729
823.24/825.60 c #Conflicts: 565000 | #Constraints: 19730
823.24/825.60 c #Conflicts: 566000 | #Constraints: 20732
823.24/825.60 c #Conflicts: 567000 | #Constraints: 21736
823.24/825.60 c #Conflicts: 568000 | #Constraints: 22736
823.24/825.60 c #Conflicts: 569000 | #Constraints: 23738
823.24/825.60 c #Conflicts: 570000 | #Constraints: 24739
823.24/825.60 c #Conflicts: 571000 | #Constraints: 25743
823.24/825.60 c #Conflicts: 572000 | #Constraints: 26746
823.24/825.60 c #Conflicts: 573000 | #Constraints: 27748
823.24/825.60 c #Conflicts: 574000 | #Constraints: 28752
823.24/825.60 c #Conflicts: 575000 | #Constraints: 29754
823.24/825.60 c #Conflicts: 576000 | #Constraints: 30757
823.24/825.60 c INPROCESSING
823.24/825.60 c GARBAGE COLLECT
823.24/825.60 c rational objective 6
823.65/826.03 c GLOBAL bounds - >= 6 @ 816.923
823.65/826.03 c GLOBAL bounds - >= 6 @ 816.923
855.04/857.51 c #Conflicts: 577000 | #Constraints: 16588
855.04/857.51 c #Conflicts: 578000 | #Constraints: 17590
855.04/857.51 c #Conflicts: 579000 | #Constraints: 18590
855.04/857.51 c #Conflicts: 580000 | #Constraints: 19594
855.04/857.51 c #Conflicts: 581000 | #Constraints: 20598
855.04/857.51 c #Conflicts: 582000 | #Constraints: 21605
855.04/857.51 c #Conflicts: 583000 | #Constraints: 22607
855.04/857.51 c #Conflicts: 584000 | #Constraints: 23612
855.04/857.51 c #Conflicts: 585000 | #Constraints: 24614
855.04/857.51 c #Conflicts: 586000 | #Constraints: 25619
855.04/857.51 c #Conflicts: 587000 | #Constraints: 26621
855.04/857.51 c #Conflicts: 588000 | #Constraints: 27625
855.04/857.51 c #Conflicts: 589000 | #Constraints: 28629
855.04/857.51 c #Conflicts: 590000 | #Constraints: 29633
855.04/857.51 c #Conflicts: 591000 | #Constraints: 30638
855.04/857.51 c INPROCESSING
855.04/857.51 c GARBAGE COLLECT
855.04/857.51 c rational objective 6
855.24/857.79 c GLOBAL bounds - >= 6 @ 848.388
855.24/857.79 c GLOBAL bounds - >= 6 @ 848.388
905.51/908.11 c #Conflicts: 592000 | #Constraints: 16384
905.51/908.11 c #Conflicts: 593000 | #Constraints: 17389
905.51/908.11 c #Conflicts: 594000 | #Constraints: 18392
905.51/908.11 c #Conflicts: 595000 | #Constraints: 19398
905.51/908.11 c #Conflicts: 596000 | #Constraints: 20403
905.51/908.11 c #Conflicts: 597000 | #Constraints: 21407
905.51/908.11 c #Conflicts: 598000 | #Constraints: 22413
905.51/908.11 c #Conflicts: 599000 | #Constraints: 23417
905.51/908.11 c #Conflicts: 600000 | #Constraints: 24420
905.51/908.11 c #Conflicts: 601000 | #Constraints: 25422
905.51/908.11 c #Conflicts: 602000 | #Constraints: 26425
905.51/908.11 c #Conflicts: 603000 | #Constraints: 27425
905.51/908.11 c #Conflicts: 604000 | #Constraints: 28428
905.51/908.11 c #Conflicts: 605000 | #Constraints: 29428
905.51/908.11 c #Conflicts: 606000 | #Constraints: 30433
905.51/908.11 c #Conflicts: 607000 | #Constraints: 31436
905.51/908.11 c INPROCESSING
905.51/908.11 c GARBAGE COLLECT
905.51/908.11 c rational objective 6
905.70/908.37 c GLOBAL bounds - >= 6 @ 898.621
905.70/908.37 c GLOBAL bounds - >= 6 @ 898.621
928.92/931.66 c #Conflicts: 608000 | #Constraints: 16935
928.92/931.66 c #Conflicts: 609000 | #Constraints: 17937
928.92/931.66 c #Conflicts: 610000 | #Constraints: 18943
928.92/931.66 c #Conflicts: 611000 | #Constraints: 19948
928.92/931.66 c #Conflicts: 612000 | #Constraints: 20949
928.92/931.66 c #Conflicts: 613000 | #Constraints: 21954
928.92/931.66 c #Conflicts: 614000 | #Constraints: 22959
928.92/931.66 c #Conflicts: 615000 | #Constraints: 23966
928.92/931.66 c #Conflicts: 616000 | #Constraints: 24977
928.92/931.66 c #Conflicts: 617000 | #Constraints: 25984
928.92/931.66 c #Conflicts: 618000 | #Constraints: 26992
928.92/931.66 c #Conflicts: 619000 | #Constraints: 28000
928.92/931.66 c #Conflicts: 620000 | #Constraints: 29003
928.92/931.66 c #Conflicts: 621000 | #Constraints: 30007
928.92/931.66 c #Conflicts: 622000 | #Constraints: 31011
928.92/931.66 c #Conflicts: 623000 | #Constraints: 32016
928.92/931.66 c INPROCESSING
928.92/931.66 c GARBAGE COLLECT
928.92/931.66 c rational objective 6
929.22/931.94 c GLOBAL bounds - >= 6 @ 921.983
929.22/931.94 c GLOBAL bounds - >= 6 @ 921.984
961.63/964.46 c #Conflicts: 624000 | #Constraints: 17355
961.63/964.46 c #Conflicts: 625000 | #Constraints: 18361
961.63/964.46 c #Conflicts: 626000 | #Constraints: 19366
961.63/964.46 c #Conflicts: 627000 | #Constraints: 20372
961.63/964.46 c #Conflicts: 628000 | #Constraints: 21379
961.63/964.46 c #Conflicts: 629000 | #Constraints: 22388
961.63/964.46 c #Conflicts: 630000 | #Constraints: 23393
961.63/964.46 c #Conflicts: 631000 | #Constraints: 24398
961.63/964.46 c #Conflicts: 632000 | #Constraints: 25406
961.63/964.46 c #Conflicts: 633000 | #Constraints: 26410
961.63/964.46 c #Conflicts: 634000 | #Constraints: 27411
961.63/964.46 c #Conflicts: 635000 | #Constraints: 28417
961.63/964.46 c #Conflicts: 636000 | #Constraints: 29421
961.63/964.46 c #Conflicts: 637000 | #Constraints: 30430
961.63/964.46 c #Conflicts: 638000 | #Constraints: 31434
961.63/964.46 c #Conflicts: 639000 | #Constraints: 32439
961.63/964.46 c INPROCESSING
961.63/964.46 c GARBAGE COLLECT
961.63/964.46 c rational objective 6
962.03/964.88 c GLOBAL bounds - >= 6 @ 954.611
962.03/964.88 c GLOBAL bounds - >= 6 @ 954.611
990.35/993.24 c #Conflicts: 640000 | #Constraints: 17558
990.35/993.24 c #Conflicts: 641000 | #Constraints: 18565
990.35/993.24 c #Conflicts: 642000 | #Constraints: 19576
990.35/993.24 c #Conflicts: 643000 | #Constraints: 20579
990.35/993.24 c #Conflicts: 644000 | #Constraints: 21585
990.35/993.24 c #Conflicts: 645000 | #Constraints: 22589
990.35/993.24 c #Conflicts: 646000 | #Constraints: 23595
990.35/993.24 c #Conflicts: 647000 | #Constraints: 24597
990.35/993.24 c #Conflicts: 648000 | #Constraints: 25602
990.35/993.24 c #Conflicts: 649000 | #Constraints: 26606
990.35/993.24 c #Conflicts: 650000 | #Constraints: 27614
990.35/993.24 c #Conflicts: 651000 | #Constraints: 28623
990.35/993.24 c #Conflicts: 652000 | #Constraints: 29628
990.35/993.24 c #Conflicts: 653000 | #Constraints: 30636
990.35/993.24 c #Conflicts: 654000 | #Constraints: 31644
990.35/993.24 c #Conflicts: 655000 | #Constraints: 32647
990.35/993.24 c INPROCESSING
990.35/993.24 c GARBAGE COLLECT
990.35/993.24 c rational objective 6
990.75/993.68 c GLOBAL bounds - >= 6 @ 983.135
990.75/993.68 c GLOBAL bounds - >= 6 @ 983.135
1028.64/1031.68 c #Conflicts: 656000 | #Constraints: 17555
1028.64/1031.68 c #Conflicts: 657000 | #Constraints: 18558
1028.64/1031.68 c #Conflicts: 658000 | #Constraints: 19560
1028.64/1031.68 c #Conflicts: 659000 | #Constraints: 20564
1028.64/1031.68 c #Conflicts: 660000 | #Constraints: 21566
1028.64/1031.68 c #Conflicts: 661000 | #Constraints: 22570
1028.64/1031.68 c #Conflicts: 662000 | #Constraints: 23576
1028.64/1031.68 c #Conflicts: 663000 | #Constraints: 24584
1028.64/1031.68 c #Conflicts: 664000 | #Constraints: 25589
1028.64/1031.68 c #Conflicts: 665000 | #Constraints: 26593
1028.64/1031.68 c #Conflicts: 666000 | #Constraints: 27597
1028.64/1031.68 c #Conflicts: 667000 | #Constraints: 28600
1028.64/1031.68 c #Conflicts: 668000 | #Constraints: 29608
1028.64/1031.68 c #Conflicts: 669000 | #Constraints: 30611
1028.64/1031.68 c #Conflicts: 670000 | #Constraints: 31615
1028.64/1031.68 c #Conflicts: 671000 | #Constraints: 32620
1028.64/1031.68 c INPROCESSING
1028.64/1031.68 c GARBAGE COLLECT
1028.64/1031.68 c rational objective 6
1028.94/1031.95 c GLOBAL bounds - >= 6 @ 1021.06
1028.94/1031.95 c GLOBAL bounds - >= 6 @ 1021.06
1061.36/1064.47 c #Conflicts: 672000 | #Constraints: 17360
1061.36/1064.47 c #Conflicts: 673000 | #Constraints: 18365
1061.36/1064.47 c #Conflicts: 674000 | #Constraints: 19373
1061.36/1064.47 c #Conflicts: 675000 | #Constraints: 20376
1061.36/1064.47 c #Conflicts: 676000 | #Constraints: 21381
1061.36/1064.47 c #Conflicts: 677000 | #Constraints: 22382
1061.36/1064.47 c #Conflicts: 678000 | #Constraints: 23384
1061.36/1064.47 c #Conflicts: 679000 | #Constraints: 24396
1061.36/1064.47 c #Conflicts: 680000 | #Constraints: 25404
1061.36/1064.47 c #Conflicts: 681000 | #Constraints: 26406
1061.36/1064.47 c #Conflicts: 682000 | #Constraints: 27410
1061.36/1064.47 c #Conflicts: 683000 | #Constraints: 28414
1061.36/1064.47 c #Conflicts: 684000 | #Constraints: 29415
1061.36/1064.47 c #Conflicts: 685000 | #Constraints: 30418
1061.36/1064.47 c #Conflicts: 686000 | #Constraints: 31420
1061.36/1064.47 c #Conflicts: 687000 | #Constraints: 32423
1061.36/1064.47 c #Conflicts: 688000 | #Constraints: 33425
1061.36/1064.47 c INPROCESSING
1061.36/1064.47 c GARBAGE COLLECT
1061.36/1064.47 c rational objective 6
1061.55/1064.69 c GLOBAL bounds - >= 6 @ 1053.47
1061.55/1064.69 c GLOBAL bounds - >= 6 @ 1053.47
1093.88/1097.05 c #Conflicts: 689000 | #Constraints: 17903
1093.88/1097.05 c #Conflicts: 690000 | #Constraints: 18911
1093.88/1097.05 c #Conflicts: 691000 | #Constraints: 19913
1093.88/1097.05 c #Conflicts: 692000 | #Constraints: 20914
1093.88/1097.05 c #Conflicts: 693000 | #Constraints: 21920
1093.88/1097.05 c #Conflicts: 694000 | #Constraints: 22927
1093.88/1097.05 c #Conflicts: 695000 | #Constraints: 23933
1093.88/1097.05 c #Conflicts: 696000 | #Constraints: 24941
1093.88/1097.05 c #Conflicts: 697000 | #Constraints: 25942
1093.88/1097.05 c #Conflicts: 698000 | #Constraints: 26948
1093.88/1097.05 c #Conflicts: 699000 | #Constraints: 27952
1093.88/1097.05 c #Conflicts: 700000 | #Constraints: 28957
1093.88/1097.05 c #Conflicts: 701000 | #Constraints: 29960
1093.88/1097.05 c #Conflicts: 702000 | #Constraints: 30967
1093.88/1097.05 c #Conflicts: 703000 | #Constraints: 31972
1093.88/1097.05 c #Conflicts: 704000 | #Constraints: 32975
1093.88/1097.05 c #Conflicts: 705000 | #Constraints: 33982
1093.88/1097.05 c INPROCESSING
1093.88/1097.05 c GARBAGE COLLECT
1093.88/1097.05 c rational objective 6
1094.06/1097.29 c GLOBAL bounds - >= 6 @ 1085.78
1094.06/1097.29 c GLOBAL bounds - >= 6 @ 1085.78
1134.54/1137.83 c #Conflicts: 706000 | #Constraints: 18329
1134.54/1137.83 c #Conflicts: 707000 | #Constraints: 19335
1134.54/1137.83 c #Conflicts: 708000 | #Constraints: 20341
1134.54/1137.83 c #Conflicts: 709000 | #Constraints: 21345
1134.54/1137.83 c #Conflicts: 710000 | #Constraints: 22348
1134.54/1137.83 c #Conflicts: 711000 | #Constraints: 23353
1134.54/1137.83 c #Conflicts: 712000 | #Constraints: 24356
1134.54/1137.83 c #Conflicts: 713000 | #Constraints: 25361
1134.54/1137.83 c #Conflicts: 714000 | #Constraints: 26367
1134.54/1137.83 c #Conflicts: 715000 | #Constraints: 27369
1134.54/1137.83 c #Conflicts: 716000 | #Constraints: 28372
1134.54/1137.83 c #Conflicts: 717000 | #Constraints: 29376
1134.54/1137.83 c #Conflicts: 718000 | #Constraints: 30380
1134.54/1137.83 c #Conflicts: 719000 | #Constraints: 31384
1134.54/1137.83 c #Conflicts: 720000 | #Constraints: 32387
1134.54/1137.83 c #Conflicts: 721000 | #Constraints: 33389
1134.54/1137.83 c #Conflicts: 722000 | #Constraints: 34391
1134.54/1137.83 c INPROCESSING
1134.54/1137.83 c GARBAGE COLLECT
1134.54/1137.83 c rational objective 6
1135.04/1138.35 c GLOBAL bounds - >= 6 @ 1126.56
1135.04/1138.35 c GLOBAL bounds - >= 6 @ 1126.56
1188.98/1192.41 c #Conflicts: 723000 | #Constraints: 18537
1188.98/1192.41 c #Conflicts: 724000 | #Constraints: 19540
1188.98/1192.41 c #Conflicts: 725000 | #Constraints: 20543
1188.98/1192.41 c #Conflicts: 726000 | #Constraints: 21545
1188.98/1192.41 c #Conflicts: 727000 | #Constraints: 22552
1188.98/1192.41 c #Conflicts: 728000 | #Constraints: 23558
1188.98/1192.41 c #Conflicts: 729000 | #Constraints: 24563
1188.98/1192.41 c #Conflicts: 730000 | #Constraints: 25569
1188.98/1192.41 c #Conflicts: 731000 | #Constraints: 26576
1188.98/1192.41 c #Conflicts: 732000 | #Constraints: 27583
1188.98/1192.41 c #Conflicts: 733000 | #Constraints: 28587
1188.98/1192.41 c #Conflicts: 734000 | #Constraints: 29595
1188.98/1192.41 c #Conflicts: 735000 | #Constraints: 30599
1188.98/1192.41 c #Conflicts: 736000 | #Constraints: 31603
1188.98/1192.41 c #Conflicts: 737000 | #Constraints: 32611
1188.98/1192.41 c #Conflicts: 738000 | #Constraints: 33614
1188.98/1192.41 c #Conflicts: 739000 | #Constraints: 34616
1188.98/1192.41 c INPROCESSING
1188.98/1192.41 c GARBAGE COLLECT
1188.98/1192.41 c rational objective 6
1189.28/1192.73 c GLOBAL bounds - >= 6 @ 1180.54
1189.28/1192.73 c GLOBAL bounds - >= 6 @ 1180.54
1225.98/1229.52 c #Conflicts: 740000 | #Constraints: 18561
1225.98/1229.52 c #Conflicts: 741000 | #Constraints: 19562
1225.98/1229.52 c #Conflicts: 742000 | #Constraints: 20565
1225.98/1229.52 c #Conflicts: 743000 | #Constraints: 21569
1225.98/1229.52 c #Conflicts: 744000 | #Constraints: 22578
1225.98/1229.52 c #Conflicts: 745000 | #Constraints: 23586
1225.98/1229.52 c #Conflicts: 746000 | #Constraints: 24591
1225.98/1229.52 c #Conflicts: 747000 | #Constraints: 25595
1225.98/1229.52 c #Conflicts: 748000 | #Constraints: 26599
1225.98/1229.52 c #Conflicts: 749000 | #Constraints: 27602
1225.98/1229.52 c #Conflicts: 750000 | #Constraints: 28605
1225.98/1229.52 c #Conflicts: 751000 | #Constraints: 29609
1225.98/1229.52 c #Conflicts: 752000 | #Constraints: 30615
1225.98/1229.52 c #Conflicts: 753000 | #Constraints: 31615
1225.98/1229.52 c #Conflicts: 754000 | #Constraints: 32616
1225.98/1229.52 c #Conflicts: 755000 | #Constraints: 33620
1225.98/1229.52 c #Conflicts: 756000 | #Constraints: 34625
1225.98/1229.52 c INPROCESSING
1225.98/1229.52 c GARBAGE COLLECT
1225.98/1229.52 c rational objective 6
1226.28/1229.86 c GLOBAL bounds - >= 6 @ 1217.35
1226.28/1229.86 c GLOBAL bounds - >= 6 @ 1217.35
1260.17/1263.88 c #Conflicts: 757000 | #Constraints: 18348
1260.17/1263.88 c #Conflicts: 758000 | #Constraints: 19351
1260.17/1263.88 c #Conflicts: 759000 | #Constraints: 20354
1260.17/1263.88 c #Conflicts: 760000 | #Constraints: 21361
1260.17/1263.88 c #Conflicts: 761000 | #Constraints: 22364
1260.17/1263.88 c #Conflicts: 762000 | #Constraints: 23371
1260.17/1263.88 c #Conflicts: 763000 | #Constraints: 24377
1260.17/1263.88 c #Conflicts: 764000 | #Constraints: 25380
1260.17/1263.88 c #Conflicts: 765000 | #Constraints: 26381
1260.17/1263.88 c #Conflicts: 766000 | #Constraints: 27382
1260.17/1263.88 c #Conflicts: 767000 | #Constraints: 28384
1260.17/1263.88 c #Conflicts: 768000 | #Constraints: 29384
1260.17/1263.88 c #Conflicts: 769000 | #Constraints: 30387
1260.17/1263.88 c #Conflicts: 770000 | #Constraints: 31392
1260.17/1263.88 c #Conflicts: 771000 | #Constraints: 32394
1260.17/1263.88 c #Conflicts: 772000 | #Constraints: 33555
1260.17/1263.88 c #Conflicts: 773000 | #Constraints: 35036
1260.17/1263.88 c #Conflicts: 774000 | #Constraints: 36605
1260.17/1263.88 c INPROCESSING
1260.17/1263.88 c GARBAGE COLLECT
1260.17/1263.88 c rational objective 6
1260.77/1264.43 c GLOBAL bounds - >= 6 @ 1251.58
1260.77/1264.43 c GLOBAL bounds - >= 6 @ 1251.58
1293.40/1297.18 c #Conflicts: 775000 | #Constraints: 19592
1293.40/1297.18 c #Conflicts: 776000 | #Constraints: 20592
1293.40/1297.18 c #Conflicts: 777000 | #Constraints: 21593
1293.40/1297.18 c #Conflicts: 778000 | #Constraints: 22597
1293.40/1297.18 c #Conflicts: 779000 | #Constraints: 23600
1293.40/1297.18 c #Conflicts: 780000 | #Constraints: 24601
1293.40/1297.18 c #Conflicts: 781000 | #Constraints: 25602
1293.40/1297.18 c #Conflicts: 782000 | #Constraints: 26607
1293.40/1297.18 c #Conflicts: 783000 | #Constraints: 27613
1293.40/1297.18 c #Conflicts: 784000 | #Constraints: 28615
1293.40/1297.18 c #Conflicts: 785000 | #Constraints: 29615
1293.40/1297.18 c #Conflicts: 786000 | #Constraints: 30619
1293.40/1297.18 c #Conflicts: 787000 | #Constraints: 31626
1293.40/1297.18 c #Conflicts: 788000 | #Constraints: 32629
1293.40/1297.18 c #Conflicts: 789000 | #Constraints: 33633
1293.40/1297.18 c #Conflicts: 790000 | #Constraints: 34636
1293.40/1297.18 c #Conflicts: 791000 | #Constraints: 35638
1293.40/1297.18 c #Conflicts: 792000 | #Constraints: 36638
1293.40/1297.18 c INPROCESSING
1293.40/1297.18 c GARBAGE COLLECT
1293.40/1297.18 c rational objective 6
1293.79/1297.50 c GLOBAL bounds - >= 6 @ 1284.32
1293.79/1297.50 c GLOBAL bounds - >= 6 @ 1284.32
1332.37/1336.24 c #Conflicts: 793000 | #Constraints: 19642
1332.37/1336.24 c #Conflicts: 794000 | #Constraints: 20642
1332.37/1336.24 c #Conflicts: 795000 | #Constraints: 21642
1332.37/1336.24 c #Conflicts: 796000 | #Constraints: 22644
1332.37/1336.24 c #Conflicts: 797000 | #Constraints: 23645
1332.37/1336.24 c #Conflicts: 798000 | #Constraints: 24916
1332.37/1336.24 c #Conflicts: 799000 | #Constraints: 25931
1332.37/1336.24 c #Conflicts: 800000 | #Constraints: 26936
1332.37/1336.24 c #Conflicts: 801000 | #Constraints: 28275
1332.37/1336.24 c #Conflicts: 802000 | #Constraints: 29839
1332.37/1336.24 c #Conflicts: 803000 | #Constraints: 31324
1332.37/1336.24 c #Conflicts: 804000 | #Constraints: 32635
1332.37/1336.24 c #Conflicts: 805000 | #Constraints: 33928
1332.37/1336.24 c #Conflicts: 806000 | #Constraints: 35431
1332.37/1336.24 c #Conflicts: 807000 | #Constraints: 36936
1332.37/1336.24 c #Conflicts: 808000 | #Constraints: 38479
1332.37/1336.24 c #Conflicts: 809000 | #Constraints: 39969
1332.37/1336.24 c #Conflicts: 810000 | #Constraints: 41440
1332.37/1336.24 c INPROCESSING
1332.37/1336.24 c GARBAGE COLLECT
1332.37/1336.24 c rational objective 6
1332.87/1336.73 c GLOBAL bounds - >= 6 @ 1323.19
1332.87/1336.73 c GLOBAL bounds - >= 6 @ 1323.19
1366.48/1370.45 c #Conflicts: 811000 | #Constraints: 22086
1366.48/1370.45 c #Conflicts: 812000 | #Constraints: 23125
1366.48/1370.45 c #Conflicts: 813000 | #Constraints: 24125
1366.48/1370.45 c #Conflicts: 814000 | #Constraints: 25225
1366.48/1370.45 c #Conflicts: 815000 | #Constraints: 26285
1366.48/1370.45 c #Conflicts: 816000 | #Constraints: 27395
1366.48/1370.45 c #Conflicts: 817000 | #Constraints: 28420
1366.48/1370.45 c #Conflicts: 818000 | #Constraints: 29423
1366.48/1370.45 c #Conflicts: 819000 | #Constraints: 30455
1366.48/1370.45 c #Conflicts: 820000 | #Constraints: 31456
1366.48/1370.45 c #Conflicts: 821000 | #Constraints: 32459
1366.48/1370.45 c #Conflicts: 822000 | #Constraints: 33462
1366.48/1370.45 c #Conflicts: 823000 | #Constraints: 34640
1366.48/1370.45 c #Conflicts: 824000 | #Constraints: 35722
1366.48/1370.45 c #Conflicts: 825000 | #Constraints: 36724
1366.48/1370.45 c #Conflicts: 826000 | #Constraints: 37736
1366.48/1370.45 c #Conflicts: 827000 | #Constraints: 38740
1366.48/1370.45 c #Conflicts: 828000 | #Constraints: 39744
1366.48/1370.45 c INPROCESSING
1366.48/1370.45 c GARBAGE COLLECT
1366.48/1370.45 c rational objective 6
1366.67/1370.69 c GLOBAL bounds - >= 6 @ 1356.79
1366.67/1370.69 c GLOBAL bounds - >= 6 @ 1356.79
1413.84/1417.92 c #Conflicts: 829000 | #Constraints: 21051
1413.84/1417.92 c #Conflicts: 830000 | #Constraints: 22054
1413.84/1417.92 c #Conflicts: 831000 | #Constraints: 23056
1413.84/1417.92 c #Conflicts: 832000 | #Constraints: 24056
1413.84/1417.92 c #Conflicts: 833000 | #Constraints: 25057
1413.84/1417.92 c #Conflicts: 834000 | #Constraints: 26058
1413.84/1417.92 c #Conflicts: 835000 | #Constraints: 27062
1413.84/1417.92 c #Conflicts: 836000 | #Constraints: 28062
1413.84/1417.92 c #Conflicts: 837000 | #Constraints: 29065
1413.84/1417.92 c #Conflicts: 838000 | #Constraints: 30068
1413.84/1417.92 c #Conflicts: 839000 | #Constraints: 31071
1413.84/1417.92 c #Conflicts: 840000 | #Constraints: 32071
1413.84/1417.92 c #Conflicts: 841000 | #Constraints: 33077
1413.84/1417.92 c #Conflicts: 842000 | #Constraints: 34083
1413.84/1417.92 c #Conflicts: 843000 | #Constraints: 35083
1413.84/1417.92 c #Conflicts: 844000 | #Constraints: 36083
1413.84/1417.92 c #Conflicts: 845000 | #Constraints: 37083
1413.84/1417.92 c #Conflicts: 846000 | #Constraints: 38102
1413.84/1417.92 c INPROCESSING
1413.84/1417.92 c GARBAGE COLLECT
1413.84/1417.92 c rational objective 6
1414.13/1418.27 c GLOBAL bounds - >= 6 @ 1403.99
1414.13/1418.27 c GLOBAL bounds - >= 6 @ 1403.99
1456.32/1460.54 c #Conflicts: 847000 | #Constraints: 20056
1456.32/1460.54 c #Conflicts: 848000 | #Constraints: 21057
1456.32/1460.54 c #Conflicts: 849000 | #Constraints: 22058
1456.32/1460.54 c #Conflicts: 850000 | #Constraints: 23062
1456.32/1460.54 c #Conflicts: 851000 | #Constraints: 24066
1456.32/1460.54 c #Conflicts: 852000 | #Constraints: 25070
1456.32/1460.54 c #Conflicts: 853000 | #Constraints: 26070
1456.32/1460.54 c #Conflicts: 854000 | #Constraints: 27073
1456.32/1460.54 c #Conflicts: 855000 | #Constraints: 28075
1456.32/1460.54 c #Conflicts: 856000 | #Constraints: 29081
1456.32/1460.54 c #Conflicts: 857000 | #Constraints: 30088
1456.32/1460.54 c #Conflicts: 858000 | #Constraints: 31094
1456.32/1460.54 c #Conflicts: 859000 | #Constraints: 32101
1456.32/1460.54 c #Conflicts: 860000 | #Constraints: 33103
1456.32/1460.54 c #Conflicts: 861000 | #Constraints: 34105
1456.32/1460.54 c #Conflicts: 862000 | #Constraints: 35108
1456.32/1460.54 c #Conflicts: 863000 | #Constraints: 36112
1456.32/1460.54 c #Conflicts: 864000 | #Constraints: 37113
1456.32/1460.54 c #Conflicts: 865000 | #Constraints: 38115
1456.32/1460.54 c INPROCESSING
1456.32/1460.54 c GARBAGE COLLECT
1456.32/1460.54 c rational objective 6
1456.62/1460.89 c GLOBAL bounds - >= 6 @ 1446.26
1456.62/1460.89 c GLOBAL bounds - >= 6 @ 1446.26
1496.91/1501.28 c #Conflicts: 866000 | #Constraints: 20287
1496.91/1501.28 c #Conflicts: 867000 | #Constraints: 21292
1496.91/1501.28 c #Conflicts: 868000 | #Constraints: 22295
1496.91/1501.28 c #Conflicts: 869000 | #Constraints: 23297
1496.91/1501.28 c #Conflicts: 870000 | #Constraints: 24301
1496.91/1501.28 c #Conflicts: 871000 | #Constraints: 25307
1496.91/1501.28 c #Conflicts: 872000 | #Constraints: 26313
1496.91/1501.28 c #Conflicts: 873000 | #Constraints: 27316
1496.91/1501.28 c #Conflicts: 874000 | #Constraints: 28319
1496.91/1501.28 c #Conflicts: 875000 | #Constraints: 29320
1496.91/1501.28 c #Conflicts: 876000 | #Constraints: 30326
1496.91/1501.28 c #Conflicts: 877000 | #Constraints: 31329
1496.91/1501.28 c #Conflicts: 878000 | #Constraints: 32332
1496.91/1501.28 c #Conflicts: 879000 | #Constraints: 33333
1496.91/1501.28 c #Conflicts: 880000 | #Constraints: 34336
1496.91/1501.28 c #Conflicts: 881000 | #Constraints: 35343
1496.91/1501.28 c #Conflicts: 882000 | #Constraints: 36344
1496.91/1501.28 c #Conflicts: 883000 | #Constraints: 37345
1496.91/1501.28 c #Conflicts: 884000 | #Constraints: 38345
1496.91/1501.28 c INPROCESSING
1496.91/1501.28 c GARBAGE COLLECT
1496.91/1501.28 c rational objective 6
1497.51/1501.89 c GLOBAL bounds - >= 6 @ 1486.94
1497.51/1501.89 c GLOBAL bounds - >= 6 @ 1486.94
1541.48/1545.93 c #Conflicts: 885000 | #Constraints: 20531
1541.48/1545.93 c #Conflicts: 886000 | #Constraints: 21537
1541.48/1545.93 c #Conflicts: 887000 | #Constraints: 22540
1541.48/1545.93 c #Conflicts: 888000 | #Constraints: 23545
1541.48/1545.93 c #Conflicts: 889000 | #Constraints: 24547
1541.48/1545.93 c #Conflicts: 890000 | #Constraints: 25547
1541.48/1545.93 c #Conflicts: 891000 | #Constraints: 26548
1541.48/1545.93 c #Conflicts: 892000 | #Constraints: 27552
1541.48/1545.93 c #Conflicts: 893000 | #Constraints: 28552
1541.48/1545.93 c #Conflicts: 894000 | #Constraints: 29555
1541.48/1545.93 c #Conflicts: 895000 | #Constraints: 30615
1541.48/1545.93 c #Conflicts: 896000 | #Constraints: 31635
1541.48/1545.93 c #Conflicts: 897000 | #Constraints: 32676
1541.48/1545.93 c #Conflicts: 898000 | #Constraints: 33907
1541.48/1545.93 c #Conflicts: 899000 | #Constraints: 34908
1541.48/1545.93 c #Conflicts: 900000 | #Constraints: 35908
1541.48/1545.93 c #Conflicts: 901000 | #Constraints: 36936
1541.48/1545.93 c #Conflicts: 902000 | #Constraints: 37936
1541.48/1545.93 c #Conflicts: 903000 | #Constraints: 38962
1541.48/1545.93 c INPROCESSING
1541.48/1545.93 c GARBAGE COLLECT
1541.48/1545.93 c rational objective 6
1542.08/1546.50 c GLOBAL bounds - >= 6 @ 1531.18
1542.08/1546.50 c GLOBAL bounds - >= 6 @ 1531.18
1585.16/1589.76 c #Conflicts: 904000 | #Constraints: 20802
1585.16/1589.76 c #Conflicts: 905000 | #Constraints: 21806
1585.16/1589.76 c #Conflicts: 906000 | #Constraints: 22806
1585.16/1589.76 c #Conflicts: 907000 | #Constraints: 23808
1585.16/1589.76 c #Conflicts: 908000 | #Constraints: 24808
1585.16/1589.76 c #Conflicts: 909000 | #Constraints: 25811
1585.16/1589.76 c #Conflicts: 910000 | #Constraints: 26811
1585.16/1589.76 c #Conflicts: 911000 | #Constraints: 27812
1585.16/1589.76 c #Conflicts: 912000 | #Constraints: 28834
1585.16/1589.76 c #Conflicts: 913000 | #Constraints: 29860
1585.16/1589.76 c #Conflicts: 914000 | #Constraints: 30865
1585.16/1589.76 c #Conflicts: 915000 | #Constraints: 31914
1585.16/1589.76 c #Conflicts: 916000 | #Constraints: 33024
1585.16/1589.76 c #Conflicts: 917000 | #Constraints: 34030
1585.16/1589.76 c #Conflicts: 918000 | #Constraints: 35035
1585.16/1589.76 c #Conflicts: 919000 | #Constraints: 36037
1585.16/1589.76 c #Conflicts: 920000 | #Constraints: 37040
1585.16/1589.76 c #Conflicts: 921000 | #Constraints: 38044
1585.16/1589.76 c #Conflicts: 922000 | #Constraints: 39046
1585.16/1589.76 c INPROCESSING
1585.16/1589.76 c GARBAGE COLLECT
1585.16/1589.76 c rational objective 6
1585.47/1590.04 c GLOBAL bounds - >= 6 @ 1574.36
1585.47/1590.04 c GLOBAL bounds - >= 6 @ 1574.36
1637.52/1642.26 c #Conflicts: 923000 | #Constraints: 20730
1637.52/1642.26 c #Conflicts: 924000 | #Constraints: 21733
1637.52/1642.26 c #Conflicts: 925000 | #Constraints: 22736
1637.52/1642.26 c #Conflicts: 926000 | #Constraints: 23739
1637.52/1642.26 c #Conflicts: 927000 | #Constraints: 24743
1637.52/1642.26 c #Conflicts: 928000 | #Constraints: 25746
1637.52/1642.26 c #Conflicts: 929000 | #Constraints: 26749
1637.52/1642.26 c #Conflicts: 930000 | #Constraints: 27751
1637.52/1642.26 c #Conflicts: 931000 | #Constraints: 28752
1637.52/1642.26 c #Conflicts: 932000 | #Constraints: 29755
1637.52/1642.26 c #Conflicts: 933000 | #Constraints: 30758
1637.52/1642.26 c #Conflicts: 934000 | #Constraints: 31759
1637.52/1642.26 c #Conflicts: 935000 | #Constraints: 32759
1637.52/1642.26 c #Conflicts: 936000 | #Constraints: 33764
1637.52/1642.26 c #Conflicts: 937000 | #Constraints: 34766
1637.52/1642.26 c #Conflicts: 938000 | #Constraints: 35767
1637.52/1642.26 c #Conflicts: 939000 | #Constraints: 36768
1637.52/1642.26 c #Conflicts: 940000 | #Constraints: 37768
1637.52/1642.26 c #Conflicts: 941000 | #Constraints: 38771
1637.52/1642.26 c INPROCESSING
1637.52/1642.26 c GARBAGE COLLECT
1637.52/1642.26 c rational objective 6
1637.81/1642.56 c GLOBAL bounds - >= 6 @ 1626.53
1637.81/1642.56 c GLOBAL bounds - >= 6 @ 1626.53
1697.05/1701.96 c #Conflicts: 942000 | #Constraints: 20393
1697.05/1701.96 c #Conflicts: 943000 | #Constraints: 21397
1697.05/1701.96 c #Conflicts: 944000 | #Constraints: 22402
1697.05/1701.96 c #Conflicts: 945000 | #Constraints: 23403
1697.05/1701.96 c #Conflicts: 946000 | #Constraints: 24406
1697.05/1701.96 c #Conflicts: 947000 | #Constraints: 25407
1697.05/1701.96 c #Conflicts: 948000 | #Constraints: 26408
1697.05/1701.96 c #Conflicts: 949000 | #Constraints: 27408
1697.05/1701.96 c #Conflicts: 950000 | #Constraints: 28410
1697.05/1701.96 c #Conflicts: 951000 | #Constraints: 29411
1697.05/1701.96 c #Conflicts: 952000 | #Constraints: 30413
1697.05/1701.96 c #Conflicts: 953000 | #Constraints: 31413
1697.05/1701.96 c #Conflicts: 954000 | #Constraints: 32415
1697.05/1701.96 c #Conflicts: 955000 | #Constraints: 33418
1697.05/1701.96 c #Conflicts: 956000 | #Constraints: 34420
1697.05/1701.96 c #Conflicts: 957000 | #Constraints: 35422
1697.05/1701.96 c #Conflicts: 958000 | #Constraints: 36426
1697.05/1701.96 c #Conflicts: 959000 | #Constraints: 37430
1697.05/1701.96 c #Conflicts: 960000 | #Constraints: 38435
1697.05/1701.96 c #Conflicts: 961000 | #Constraints: 39436
1697.05/1701.96 c INPROCESSING
1697.05/1701.96 c GARBAGE COLLECT
1697.05/1701.96 c rational objective 6
1697.45/1702.39 c GLOBAL bounds - >= 6 @ 1685.99
1697.45/1702.39 c GLOBAL bounds - >= 6 @ 1685.99
1767.15/1772.23 c #Conflicts: 962000 | #Constraints: 20937
1767.15/1772.23 c #Conflicts: 963000 | #Constraints: 21940
1767.15/1772.23 c #Conflicts: 964000 | #Constraints: 22944
1767.15/1772.23 c #Conflicts: 965000 | #Constraints: 23949
1767.15/1772.23 c #Conflicts: 966000 | #Constraints: 24952
1767.15/1772.23 c #Conflicts: 967000 | #Constraints: 25957
1767.15/1772.23 c #Conflicts: 968000 | #Constraints: 26961
1767.15/1772.23 c #Conflicts: 969000 | #Constraints: 27962
1767.15/1772.23 c #Conflicts: 970000 | #Constraints: 28964
1767.15/1772.23 c #Conflicts: 971000 | #Constraints: 29969
1767.15/1772.23 c #Conflicts: 972000 | #Constraints: 30971
1767.15/1772.23 c #Conflicts: 973000 | #Constraints: 31974
1767.15/1772.23 c #Conflicts: 974000 | #Constraints: 32976
1767.15/1772.23 c #Conflicts: 975000 | #Constraints: 33979
1767.15/1772.23 c #Conflicts: 976000 | #Constraints: 34981
1767.15/1772.23 c #Conflicts: 977000 | #Constraints: 35983
1767.15/1772.23 c #Conflicts: 978000 | #Constraints: 36985
1767.15/1772.23 c #Conflicts: 979000 | #Constraints: 37990
1767.15/1772.23 c #Conflicts: 980000 | #Constraints: 38991
1767.15/1772.23 c #Conflicts: 981000 | #Constraints: 39993
1767.15/1772.23 c INPROCESSING
1767.15/1772.23 c GARBAGE COLLECT
1767.15/1772.23 c rational objective 6
1767.45/1772.57 c GLOBAL bounds - >= 6 @ 1755.77
1767.45/1772.57 c GLOBAL bounds - >= 6 @ 1755.77
1876.84/1882.20 c #Conflicts: 982000 | #Constraints: 21349
1876.84/1882.20 c #Conflicts: 983000 | #Constraints: 22352
1876.84/1882.20 c #Conflicts: 984000 | #Constraints: 23356
1876.84/1882.20 c #Conflicts: 985000 | #Constraints: 24358
1876.84/1882.20 c #Conflicts: 986000 | #Constraints: 25360
1876.84/1882.20 c #Conflicts: 987000 | #Constraints: 26361
1876.84/1882.20 c #Conflicts: 988000 | #Constraints: 27362
1876.84/1882.20 c #Conflicts: 989000 | #Constraints: 28367
1876.84/1882.20 c #Conflicts: 990000 | #Constraints: 29370
1876.84/1882.20 c #Conflicts: 991000 | #Constraints: 30371
1876.84/1882.20 c #Conflicts: 992000 | #Constraints: 31373
1876.84/1882.20 c #Conflicts: 993000 | #Constraints: 32374
1876.84/1882.20 c #Conflicts: 994000 | #Constraints: 33376
1876.84/1882.20 c #Conflicts: 995000 | #Constraints: 34379
1876.84/1882.20 c #Conflicts: 996000 | #Constraints: 35379
1876.84/1882.20 c #Conflicts: 997000 | #Constraints: 36382
1876.84/1882.20 c #Conflicts: 998000 | #Constraints: 37382
1876.84/1882.20 c #Conflicts: 999000 | #Constraints: 38385
1876.84/1882.20 c #Conflicts: 1000000 | #Constraints: 39388
1876.84/1882.20 c #Conflicts: 1001000 | #Constraints: 40390
1876.84/1882.20 c INPROCESSING
1876.84/1882.20 c GARBAGE COLLECT
1876.84/1882.20 c rational objective 6
1877.24/1882.64 c GLOBAL bounds - >= 6 @ 1865.27
1877.24/1882.64 c GLOBAL bounds - >= 6 @ 1865.27
2026.22/2032.10 c #Conflicts: 1002000 | #Constraints: 21587
2026.22/2032.10 c #Conflicts: 1003000 | #Constraints: 22588
2026.22/2032.10 c #Conflicts: 1004000 | #Constraints: 23588
2026.22/2032.10 c #Conflicts: 1005000 | #Constraints: 24588
2026.22/2032.10 c #Conflicts: 1006000 | #Constraints: 25588
2026.22/2032.10 c #Conflicts: 1007000 | #Constraints: 26588
2026.22/2032.10 c #Conflicts: 1008000 | #Constraints: 27588
2026.22/2032.10 c #Conflicts: 1009000 | #Constraints: 28589
2026.22/2032.10 c #Conflicts: 1010000 | #Constraints: 29590
2026.22/2032.10 c #Conflicts: 1011000 | #Constraints: 30590
2026.22/2032.10 c #Conflicts: 1012000 | #Constraints: 31590
2026.22/2032.10 c #Conflicts: 1013000 | #Constraints: 32590
2026.22/2032.10 c #Conflicts: 1014000 | #Constraints: 33591
2026.22/2032.10 c #Conflicts: 1015000 | #Constraints: 34593
2026.22/2032.10 c #Conflicts: 1016000 | #Constraints: 35593
2026.22/2032.10 c #Conflicts: 1017000 | #Constraints: 36593
2026.22/2032.10 c #Conflicts: 1018000 | #Constraints: 37595
2026.22/2032.10 c #Conflicts: 1019000 | #Constraints: 38595
2026.22/2032.10 c #Conflicts: 1020000 | #Constraints: 39596
2026.22/2032.10 c #Conflicts: 1021000 | #Constraints: 40596
2026.22/2032.10 c INPROCESSING
2026.22/2032.10 c GARBAGE COLLECT
2026.22/2032.10 c rational objective 6
2026.60/2032.44 c GLOBAL bounds - >= 6 @ 2014.38
2026.60/2032.44 c GLOBAL bounds - >= 6 @ 2014.38
2114.86/2120.98 c #Conflicts: 1022000 | #Constraints: 21541
2114.86/2120.98 c #Conflicts: 1023000 | #Constraints: 22543
2114.86/2120.98 c #Conflicts: 1024000 | #Constraints: 23543
2114.86/2120.98 c #Conflicts: 1025000 | #Constraints: 24545
2114.86/2120.98 c #Conflicts: 1026000 | #Constraints: 25547
2114.86/2120.98 c #Conflicts: 1027000 | #Constraints: 26552
2114.86/2120.98 c #Conflicts: 1028000 | #Constraints: 27556
2114.86/2120.98 c #Conflicts: 1029000 | #Constraints: 28559
2114.86/2120.98 c #Conflicts: 1030000 | #Constraints: 29561
2114.86/2120.98 c #Conflicts: 1031000 | #Constraints: 30563
2114.86/2120.98 c #Conflicts: 1032000 | #Constraints: 31565
2114.86/2120.98 c #Conflicts: 1033000 | #Constraints: 32565
2114.86/2120.98 c #Conflicts: 1034000 | #Constraints: 33567
2114.86/2120.98 c #Conflicts: 1035000 | #Constraints: 34568
2114.86/2120.98 c #Conflicts: 1036000 | #Constraints: 35569
2114.86/2120.98 c #Conflicts: 1037000 | #Constraints: 36569
2114.86/2120.98 c #Conflicts: 1038000 | #Constraints: 37571
2114.86/2120.98 c #Conflicts: 1039000 | #Constraints: 38586
2114.86/2120.98 c #Conflicts: 1040000 | #Constraints: 39589
2114.86/2120.98 c #Conflicts: 1041000 | #Constraints: 40592
2114.86/2120.98 c INPROCESSING
2114.86/2120.98 c GARBAGE COLLECT
2114.86/2120.98 c rational objective 6
2115.26/2121.33 c GLOBAL bounds - >= 6 @ 2102.79
2115.26/2121.33 c GLOBAL bounds - >= 6 @ 2102.79
2154.34/2160.60 c #Conflicts: 1042000 | #Constraints: 21339
2154.34/2160.60 c #Conflicts: 1043000 | #Constraints: 22341
2154.34/2160.60 c #Conflicts: 1044000 | #Constraints: 23343
2154.34/2160.60 c #Conflicts: 1045000 | #Constraints: 24343
2154.34/2160.60 c #Conflicts: 1046000 | #Constraints: 25343
2154.34/2160.60 c #Conflicts: 1047000 | #Constraints: 26346
2154.34/2160.60 c #Conflicts: 1048000 | #Constraints: 27347
2154.34/2160.60 c #Conflicts: 1049000 | #Constraints: 28350
2154.34/2160.60 c #Conflicts: 1050000 | #Constraints: 29354
2154.34/2160.60 c #Conflicts: 1051000 | #Constraints: 30356
2154.34/2160.60 c #Conflicts: 1052000 | #Constraints: 31361
2154.34/2160.60 c #Conflicts: 1053000 | #Constraints: 32362
2154.34/2160.60 c #Conflicts: 1054000 | #Constraints: 33365
2154.34/2160.60 c #Conflicts: 1055000 | #Constraints: 34367
2154.34/2160.60 c #Conflicts: 1056000 | #Constraints: 35377
2154.34/2160.60 c #Conflicts: 1057000 | #Constraints: 36380
2154.34/2160.60 c #Conflicts: 1058000 | #Constraints: 37387
2154.34/2160.60 c #Conflicts: 1059000 | #Constraints: 38388
2154.34/2160.60 c #Conflicts: 1060000 | #Constraints: 39389
2154.34/2160.60 c #Conflicts: 1061000 | #Constraints: 40393
2154.34/2160.60 c #Conflicts: 1062000 | #Constraints: 41403
2154.34/2160.60 c INPROCESSING
2154.34/2160.60 c GARBAGE COLLECT
2154.34/2160.60 c rational objective 6
2154.74/2160.94 c GLOBAL bounds - >= 6 @ 2142.08
2154.74/2160.94 c GLOBAL bounds - >= 6 @ 2142.08
2243.20/2249.64 c #Conflicts: 1063000 | #Constraints: 21933
2243.20/2249.64 c #Conflicts: 1064000 | #Constraints: 22934
2243.20/2249.64 c #Conflicts: 1065000 | #Constraints: 23936
2243.20/2249.64 c #Conflicts: 1066000 | #Constraints: 24936
2243.20/2249.64 c #Conflicts: 1067000 | #Constraints: 25939
2243.20/2249.64 c #Conflicts: 1068000 | #Constraints: 26940
2243.20/2249.64 c #Conflicts: 1069000 | #Constraints: 27940
2243.20/2249.64 c #Conflicts: 1070000 | #Constraints: 28940
2243.20/2249.64 c #Conflicts: 1071000 | #Constraints: 29943
2243.20/2249.64 c #Conflicts: 1072000 | #Constraints: 30947
2243.20/2249.64 c #Conflicts: 1073000 | #Constraints: 31948
2243.20/2249.64 c #Conflicts: 1074000 | #Constraints: 32949
2243.20/2249.64 c #Conflicts: 1075000 | #Constraints: 33951
2243.20/2249.64 c #Conflicts: 1076000 | #Constraints: 34951
2243.20/2249.64 c #Conflicts: 1077000 | #Constraints: 35952
2243.20/2249.64 c #Conflicts: 1078000 | #Constraints: 36952
2243.20/2249.64 c #Conflicts: 1079000 | #Constraints: 37953
2243.20/2249.64 c #Conflicts: 1080000 | #Constraints: 38953
2243.20/2249.64 c #Conflicts: 1081000 | #Constraints: 39953
2243.20/2249.64 c #Conflicts: 1082000 | #Constraints: 40954
2243.20/2249.64 c #Conflicts: 1083000 | #Constraints: 41955
2243.20/2249.64 c INPROCESSING
2243.20/2249.64 c GARBAGE COLLECT
2243.20/2249.64 c rational objective 6
2243.50/2249.99 c GLOBAL bounds - >= 6 @ 2230.67
2243.50/2249.99 c GLOBAL bounds - >= 6 @ 2230.67
2380.00/2386.85 c #Conflicts: 1084000 | #Constraints: 22309
2380.00/2386.85 c #Conflicts: 1085000 | #Constraints: 23310
2380.00/2386.85 c #Conflicts: 1086000 | #Constraints: 24312
2380.00/2386.85 c #Conflicts: 1087000 | #Constraints: 25318
2380.00/2386.85 c #Conflicts: 1088000 | #Constraints: 26320
2380.00/2386.85 c #Conflicts: 1089000 | #Constraints: 27322
2380.00/2386.85 c #Conflicts: 1090000 | #Constraints: 28322
2380.00/2386.85 c #Conflicts: 1091000 | #Constraints: 29323
2380.00/2386.85 c #Conflicts: 1092000 | #Constraints: 30324
2380.00/2386.85 c #Conflicts: 1093000 | #Constraints: 31325
2380.00/2386.85 c #Conflicts: 1094000 | #Constraints: 32328
2380.00/2386.85 c #Conflicts: 1095000 | #Constraints: 33329
2380.00/2386.85 c #Conflicts: 1096000 | #Constraints: 34330
2380.00/2386.85 c #Conflicts: 1097000 | #Constraints: 35330
2380.00/2386.85 c #Conflicts: 1098000 | #Constraints: 36333
2380.00/2386.85 c #Conflicts: 1099000 | #Constraints: 37334
2380.00/2386.85 c #Conflicts: 1100000 | #Constraints: 38337
2380.00/2386.85 c #Conflicts: 1101000 | #Constraints: 39338
2380.00/2386.85 c #Conflicts: 1102000 | #Constraints: 40338
2380.00/2386.85 c #Conflicts: 1103000 | #Constraints: 41338
2380.00/2386.85 c #Conflicts: 1104000 | #Constraints: 42339
2380.00/2386.85 c INPROCESSING
2380.00/2386.85 c GARBAGE COLLECT
2380.00/2386.85 c rational objective 6
2380.31/2387.17 c GLOBAL bounds - >= 6 @ 2367.18
2380.31/2387.17 c GLOBAL bounds - >= 6 @ 2367.18
2445.03/2452.06 c #Conflicts: 1105000 | #Constraints: 22505
2445.03/2452.06 c #Conflicts: 1106000 | #Constraints: 23509
2445.03/2452.06 c #Conflicts: 1107000 | #Constraints: 24511
2445.03/2452.06 c #Conflicts: 1108000 | #Constraints: 25516
2445.03/2452.06 c #Conflicts: 1109000 | #Constraints: 26523
2445.03/2452.06 c #Conflicts: 1110000 | #Constraints: 27529
2445.03/2452.06 c #Conflicts: 1111000 | #Constraints: 28536
2445.03/2452.06 c #Conflicts: 1112000 | #Constraints: 29631
2445.03/2452.06 c #Conflicts: 1113000 | #Constraints: 30637
2445.03/2452.06 c #Conflicts: 1114000 | #Constraints: 31686
2445.03/2452.06 c #Conflicts: 1115000 | #Constraints: 32735
2445.03/2452.06 c #Conflicts: 1116000 | #Constraints: 33773
2445.03/2452.06 c #Conflicts: 1117000 | #Constraints: 34777
2445.03/2452.06 c #Conflicts: 1118000 | #Constraints: 35778
2445.03/2452.06 c #Conflicts: 1119000 | #Constraints: 36795
2445.03/2452.06 c #Conflicts: 1120000 | #Constraints: 37813
2445.03/2452.06 c #Conflicts: 1121000 | #Constraints: 38815
2445.03/2452.06 c #Conflicts: 1122000 | #Constraints: 39853
2445.03/2452.06 c #Conflicts: 1123000 | #Constraints: 40912
2445.03/2452.06 c #Conflicts: 1124000 | #Constraints: 41914
2445.03/2452.06 c #Conflicts: 1125000 | #Constraints: 42914
2445.03/2452.06 c INPROCESSING
2445.03/2452.06 c GARBAGE COLLECT
2445.03/2452.06 c rational objective 6
2445.62/2452.61 c GLOBAL bounds - >= 6 @ 2432.24
2445.62/2452.61 c GLOBAL bounds - >= 6 @ 2432.24
2506.65/2513.82 c #Conflicts: 1126000 | #Constraints: 22692
2506.65/2513.82 c #Conflicts: 1127000 | #Constraints: 23695
2506.65/2513.82 c #Conflicts: 1128000 | #Constraints: 24698
2506.65/2513.82 c #Conflicts: 1129000 | #Constraints: 25698
2506.65/2513.82 c #Conflicts: 1130000 | #Constraints: 26699
2506.65/2513.82 c #Conflicts: 1131000 | #Constraints: 27700
2506.65/2513.82 c #Conflicts: 1132000 | #Constraints: 28712
2506.65/2513.82 c #Conflicts: 1133000 | #Constraints: 30117
2506.65/2513.82 c #Conflicts: 1134000 | #Constraints: 31230
2506.65/2513.82 c #Conflicts: 1135000 | #Constraints: 32231
2506.65/2513.82 c #Conflicts: 1136000 | #Constraints: 33259
2506.65/2513.82 c #Conflicts: 1137000 | #Constraints: 34640
2506.65/2513.82 c #Conflicts: 1138000 | #Constraints: 36194
2506.65/2513.82 c #Conflicts: 1139000 | #Constraints: 37718
2506.65/2513.82 c #Conflicts: 1140000 | #Constraints: 39309
2506.65/2513.82 c #Conflicts: 1141000 | #Constraints: 40907
2506.65/2513.82 c #Conflicts: 1142000 | #Constraints: 42005
2506.65/2513.82 c #Conflicts: 1143000 | #Constraints: 43460
2506.65/2513.82 c #Conflicts: 1144000 | #Constraints: 44966
2506.65/2513.82 c #Conflicts: 1145000 | #Constraints: 46442
2506.65/2513.82 c #Conflicts: 1146000 | #Constraints: 47983
2506.65/2513.82 c INPROCESSING
2506.65/2513.82 c GARBAGE COLLECT
2506.65/2513.82 c rational objective 6
2507.14/2514.38 c GLOBAL bounds - >= 6 @ 2493.55
2507.14/2514.38 c GLOBAL bounds - >= 6 @ 2493.55
2563.70/2571.03 c #Conflicts: 1147000 | #Constraints: 25197
2563.70/2571.03 c #Conflicts: 1148000 | #Constraints: 26202
2563.70/2571.03 c #Conflicts: 1149000 | #Constraints: 27202
2563.70/2571.03 c #Conflicts: 1150000 | #Constraints: 28205
2563.70/2571.03 c #Conflicts: 1151000 | #Constraints: 29209
2563.70/2571.03 c #Conflicts: 1152000 | #Constraints: 30216
2563.70/2571.03 c #Conflicts: 1153000 | #Constraints: 31218
2563.70/2571.03 c #Conflicts: 1154000 | #Constraints: 32221
2563.70/2571.03 c #Conflicts: 1155000 | #Constraints: 33225
2563.70/2571.03 c #Conflicts: 1156000 | #Constraints: 34228
2563.70/2571.03 c #Conflicts: 1157000 | #Constraints: 35230
2563.70/2571.03 c #Conflicts: 1158000 | #Constraints: 36234
2563.70/2571.03 c #Conflicts: 1159000 | #Constraints: 37236
2563.70/2571.03 c #Conflicts: 1160000 | #Constraints: 38237
2563.70/2571.03 c #Conflicts: 1161000 | #Constraints: 39243
2563.70/2571.03 c #Conflicts: 1162000 | #Constraints: 40251
2563.70/2571.03 c #Conflicts: 1163000 | #Constraints: 41255
2563.70/2571.03 c #Conflicts: 1164000 | #Constraints: 42262
2563.70/2571.03 c #Conflicts: 1165000 | #Constraints: 43267
2563.70/2571.03 c #Conflicts: 1166000 | #Constraints: 44273
2563.70/2571.03 c #Conflicts: 1167000 | #Constraints: 45280
2563.70/2571.03 c #Conflicts: 1168000 | #Constraints: 46287
2563.70/2571.03 c INPROCESSING
2563.70/2571.03 c GARBAGE COLLECT
2563.70/2571.03 c rational objective 6
2564.08/2571.42 c GLOBAL bounds - >= 6 @ 2550.14
2564.08/2571.42 c GLOBAL bounds - >= 6 @ 2550.14
2615.15/2622.67 c #Conflicts: 1169000 | #Constraints: 24396
2615.15/2622.67 c #Conflicts: 1170000 | #Constraints: 25406
2615.15/2622.67 c #Conflicts: 1171000 | #Constraints: 26413
2615.15/2622.67 c #Conflicts: 1172000 | #Constraints: 27420
2615.15/2622.67 c #Conflicts: 1173000 | #Constraints: 28427
2615.15/2622.67 c #Conflicts: 1174000 | #Constraints: 29431
2615.15/2622.67 c #Conflicts: 1175000 | #Constraints: 30432
2615.15/2622.67 c #Conflicts: 1176000 | #Constraints: 31436
2615.15/2622.67 c #Conflicts: 1177000 | #Constraints: 32438
2615.15/2622.67 c #Conflicts: 1178000 | #Constraints: 33442
2615.15/2622.67 c #Conflicts: 1179000 | #Constraints: 34444
2615.15/2622.67 c #Conflicts: 1180000 | #Constraints: 35447
2615.15/2622.67 c #Conflicts: 1181000 | #Constraints: 36453
2615.15/2622.67 c #Conflicts: 1182000 | #Constraints: 37457
2615.15/2622.67 c #Conflicts: 1183000 | #Constraints: 38459
2615.15/2622.67 c #Conflicts: 1184000 | #Constraints: 39464
2615.15/2622.67 c #Conflicts: 1185000 | #Constraints: 40466
2615.15/2622.67 c #Conflicts: 1186000 | #Constraints: 41468
2615.15/2622.67 c #Conflicts: 1187000 | #Constraints: 42473
2615.15/2622.67 c #Conflicts: 1188000 | #Constraints: 43479
2615.15/2622.67 c #Conflicts: 1189000 | #Constraints: 44483
2615.15/2622.67 c #Conflicts: 1190000 | #Constraints: 45486
2615.15/2622.67 c INPROCESSING
2615.15/2622.67 c GARBAGE COLLECT
2615.15/2622.67 c rational objective 6
2615.56/2623.06 c GLOBAL bounds - >= 6 @ 2601.36
2615.56/2623.06 c GLOBAL bounds - >= 6 @ 2601.36
2665.90/2673.54 c #Conflicts: 1191000 | #Constraints: 24056
2665.90/2673.54 c #Conflicts: 1192000 | #Constraints: 25061
2665.90/2673.54 c #Conflicts: 1193000 | #Constraints: 26065
2665.90/2673.54 c #Conflicts: 1194000 | #Constraints: 27070
2665.90/2673.54 c #Conflicts: 1195000 | #Constraints: 28075
2665.90/2673.54 c #Conflicts: 1196000 | #Constraints: 29077
2665.90/2673.54 c #Conflicts: 1197000 | #Constraints: 30083
2665.90/2673.54 c #Conflicts: 1198000 | #Constraints: 31087
2665.90/2673.54 c #Conflicts: 1199000 | #Constraints: 32092
2665.90/2673.54 c #Conflicts: 1200000 | #Constraints: 33095
2665.90/2673.54 c #Conflicts: 1201000 | #Constraints: 34098
2665.90/2673.54 c #Conflicts: 1202000 | #Constraints: 35105
2665.90/2673.54 c #Conflicts: 1203000 | #Constraints: 36112
2665.90/2673.54 c #Conflicts: 1204000 | #Constraints: 37115
2665.90/2673.54 c #Conflicts: 1205000 | #Constraints: 38119
2665.90/2673.54 c #Conflicts: 1206000 | #Constraints: 39122
2665.90/2673.54 c #Conflicts: 1207000 | #Constraints: 40126
2665.90/2673.54 c #Conflicts: 1208000 | #Constraints: 41129
2665.90/2673.54 c #Conflicts: 1209000 | #Constraints: 42131
2665.90/2673.54 c #Conflicts: 1210000 | #Constraints: 43135
2665.90/2673.54 c #Conflicts: 1211000 | #Constraints: 44138
2665.90/2673.54 c #Conflicts: 1212000 | #Constraints: 45141
2665.90/2673.54 c INPROCESSING
2665.90/2673.54 c GARBAGE COLLECT
2665.90/2673.54 c rational objective 6
2666.30/2673.90 c GLOBAL bounds - >= 6 @ 2651.75
2666.30/2673.90 c GLOBAL bounds - >= 6 @ 2651.75
2705.41/2713.16 c #Conflicts: 1213000 | #Constraints: 23863
2705.41/2713.16 c #Conflicts: 1214000 | #Constraints: 24867
2705.41/2713.16 c #Conflicts: 1215000 | #Constraints: 25877
2705.41/2713.16 c #Conflicts: 1216000 | #Constraints: 26890
2705.41/2713.16 c #Conflicts: 1217000 | #Constraints: 27892
2705.41/2713.16 c #Conflicts: 1218000 | #Constraints: 28896
2705.41/2713.16 c #Conflicts: 1219000 | #Constraints: 29898
2705.41/2713.16 c #Conflicts: 1220000 | #Constraints: 30906
2705.41/2713.16 c #Conflicts: 1221000 | #Constraints: 31912
2705.41/2713.16 c #Conflicts: 1222000 | #Constraints: 32917
2705.41/2713.16 c #Conflicts: 1223000 | #Constraints: 33933
2705.41/2713.16 c #Conflicts: 1224000 | #Constraints: 34950
2705.41/2713.16 c #Conflicts: 1225000 | #Constraints: 35961
2705.41/2713.16 c #Conflicts: 1226000 | #Constraints: 36963
2705.41/2713.16 c #Conflicts: 1227000 | #Constraints: 37972
2705.41/2713.16 c #Conflicts: 1228000 | #Constraints: 38989
2705.41/2713.16 c #Conflicts: 1229000 | #Constraints: 39998
2705.41/2713.16 c #Conflicts: 1230000 | #Constraints: 41001
2705.41/2713.16 c #Conflicts: 1231000 | #Constraints: 42003
2705.41/2713.16 c #Conflicts: 1232000 | #Constraints: 43006
2705.41/2713.16 c #Conflicts: 1233000 | #Constraints: 44009
2705.41/2713.16 c #Conflicts: 1234000 | #Constraints: 45014
2705.41/2713.16 c INPROCESSING
2705.41/2713.16 c GARBAGE COLLECT
2705.41/2713.16 c rational objective 6
2705.90/2713.69 c GLOBAL bounds - >= 6 @ 2691.16
2705.90/2713.69 c GLOBAL bounds - >= 6 @ 2691.16
2753.66/2761.55 c #Conflicts: 1235000 | #Constraints: 23713
2753.66/2761.55 c #Conflicts: 1236000 | #Constraints: 24716
2753.66/2761.55 c #Conflicts: 1237000 | #Constraints: 25719
2753.66/2761.55 c #Conflicts: 1238000 | #Constraints: 26723
2753.66/2761.55 c #Conflicts: 1239000 | #Constraints: 27725
2753.66/2761.55 c #Conflicts: 1240000 | #Constraints: 28730
2753.66/2761.55 c #Conflicts: 1241000 | #Constraints: 29732
2753.66/2761.55 c #Conflicts: 1242000 | #Constraints: 30734
2753.66/2761.55 c #Conflicts: 1243000 | #Constraints: 31739
2753.66/2761.55 c #Conflicts: 1244000 | #Constraints: 32741
2753.66/2761.55 c #Conflicts: 1245000 | #Constraints: 33746
2753.66/2761.55 c #Conflicts: 1246000 | #Constraints: 34760
2753.66/2761.55 c #Conflicts: 1247000 | #Constraints: 35772
2753.66/2761.55 c #Conflicts: 1248000 | #Constraints: 36775
2753.66/2761.55 c #Conflicts: 1249000 | #Constraints: 37778
2753.66/2761.55 c #Conflicts: 1250000 | #Constraints: 38783
2753.66/2761.55 c #Conflicts: 1251000 | #Constraints: 39787
2753.66/2761.55 c #Conflicts: 1252000 | #Constraints: 40788
2753.66/2761.55 c #Conflicts: 1253000 | #Constraints: 41791
2753.66/2761.55 c #Conflicts: 1254000 | #Constraints: 42794
2753.66/2761.55 c #Conflicts: 1255000 | #Constraints: 43796
2753.66/2761.55 c #Conflicts: 1256000 | #Constraints: 44799
2753.66/2761.55 c INPROCESSING
2753.66/2761.55 c GARBAGE COLLECT
2753.66/2761.55 c rational objective 6
2754.05/2762.01 c GLOBAL bounds - >= 6 @ 2739.04
2754.05/2762.01 c GLOBAL bounds - >= 6 @ 2739.04
2799.32/2807.38 c #Conflicts: 1257000 | #Constraints: 23403
2799.32/2807.38 c #Conflicts: 1258000 | #Constraints: 24406
2799.32/2807.38 c #Conflicts: 1259000 | #Constraints: 25409
2799.32/2807.38 c #Conflicts: 1260000 | #Constraints: 26411
2799.32/2807.38 c #Conflicts: 1261000 | #Constraints: 27415
2799.32/2807.38 c #Conflicts: 1262000 | #Constraints: 28417
2799.32/2807.38 c #Conflicts: 1263000 | #Constraints: 29419
2799.32/2807.38 c #Conflicts: 1264000 | #Constraints: 30422
2799.32/2807.38 c #Conflicts: 1265000 | #Constraints: 31425
2799.32/2807.38 c #Conflicts: 1266000 | #Constraints: 32430
2799.32/2807.38 c #Conflicts: 1267000 | #Constraints: 33432
2799.32/2807.38 c #Conflicts: 1268000 | #Constraints: 34440
2799.32/2807.38 c #Conflicts: 1269000 | #Constraints: 35446
2799.32/2807.38 c #Conflicts: 1270000 | #Constraints: 36448
2799.32/2807.38 c #Conflicts: 1271000 | #Constraints: 37454
2799.32/2807.38 c #Conflicts: 1272000 | #Constraints: 38462
2799.32/2807.38 c #Conflicts: 1273000 | #Constraints: 39474
2799.32/2807.38 c #Conflicts: 1274000 | #Constraints: 40481
2799.32/2807.38 c #Conflicts: 1275000 | #Constraints: 41483
2799.32/2807.38 c #Conflicts: 1276000 | #Constraints: 42491
2799.32/2807.38 c #Conflicts: 1277000 | #Constraints: 43496
2799.32/2807.38 c #Conflicts: 1278000 | #Constraints: 44499
2799.32/2807.38 c #Conflicts: 1279000 | #Constraints: 45501
2799.32/2807.38 c INPROCESSING
2799.32/2807.38 c GARBAGE COLLECT
2799.32/2807.38 c rational objective 6
2799.72/2807.71 c GLOBAL bounds - >= 6 @ 2784.32
2799.72/2807.71 c GLOBAL bounds - >= 6 @ 2784.32
2857.27/2865.48 c #Conflicts: 1280000 | #Constraints: 23949
2857.27/2865.48 c #Conflicts: 1281000 | #Constraints: 24953
2857.27/2865.48 c #Conflicts: 1282000 | #Constraints: 25958
2857.27/2865.48 c #Conflicts: 1283000 | #Constraints: 26965
2857.27/2865.48 c #Conflicts: 1284000 | #Constraints: 27968
2857.27/2865.48 c #Conflicts: 1285000 | #Constraints: 28973
2857.27/2865.48 c #Conflicts: 1286000 | #Constraints: 29975
2857.27/2865.48 c #Conflicts: 1287000 | #Constraints: 30979
2857.27/2865.48 c #Conflicts: 1288000 | #Constraints: 31980
2857.27/2865.48 c #Conflicts: 1289000 | #Constraints: 32982
2857.27/2865.48 c #Conflicts: 1290000 | #Constraints: 33988
2857.27/2865.48 c #Conflicts: 1291000 | #Constraints: 34993
2857.27/2865.48 c #Conflicts: 1292000 | #Constraints: 35997
2857.27/2865.48 c #Conflicts: 1293000 | #Constraints: 37001
2857.27/2865.48 c #Conflicts: 1294000 | #Constraints: 38005
2857.27/2865.48 c #Conflicts: 1295000 | #Constraints: 39007
2857.27/2865.48 c #Conflicts: 1296000 | #Constraints: 40010
2857.27/2865.48 c #Conflicts: 1297000 | #Constraints: 41012
2857.27/2865.48 c #Conflicts: 1298000 | #Constraints: 42013
2857.27/2865.48 c #Conflicts: 1299000 | #Constraints: 43014
2857.27/2865.48 c #Conflicts: 1300000 | #Constraints: 44017
2857.27/2865.48 c #Conflicts: 1301000 | #Constraints: 45023
2857.27/2865.48 c #Conflicts: 1302000 | #Constraints: 46025
2857.27/2865.48 c INPROCESSING
2857.27/2865.48 c GARBAGE COLLECT
2857.27/2865.48 c rational objective 6
2857.67/2865.86 c GLOBAL bounds - >= 6 @ 2842.02
2857.67/2865.86 c GLOBAL bounds - >= 6 @ 2842.02
2899.65/2907.98 c #Conflicts: 1303000 | #Constraints: 24315
2899.65/2907.98 c #Conflicts: 1304000 | #Constraints: 25318
2899.65/2907.98 c #Conflicts: 1305000 | #Constraints: 26324
2899.65/2907.98 c #Conflicts: 1306000 | #Constraints: 27330
2899.65/2907.98 c #Conflicts: 1307000 | #Constraints: 28331
2899.65/2907.98 c #Conflicts: 1308000 | #Constraints: 29332
2899.65/2907.98 c #Conflicts: 1309000 | #Constraints: 30334
2899.65/2907.98 c #Conflicts: 1310000 | #Constraints: 31336
2899.65/2907.98 c #Conflicts: 1311000 | #Constraints: 32339
2899.65/2907.98 c #Conflicts: 1312000 | #Constraints: 33339
2899.65/2907.98 c #Conflicts: 1313000 | #Constraints: 34343
2899.65/2907.98 c #Conflicts: 1314000 | #Constraints: 35344
2899.65/2907.98 c #Conflicts: 1315000 | #Constraints: 36345
2899.65/2907.98 c #Conflicts: 1316000 | #Constraints: 37346
2899.65/2907.98 c #Conflicts: 1317000 | #Constraints: 38350
2899.65/2907.98 c #Conflicts: 1318000 | #Constraints: 39355
2899.65/2907.98 c #Conflicts: 1319000 | #Constraints: 40360
2899.65/2907.98 c #Conflicts: 1320000 | #Constraints: 41363
2899.65/2907.98 c #Conflicts: 1321000 | #Constraints: 42367
2899.65/2907.98 c #Conflicts: 1322000 | #Constraints: 43370
2899.65/2907.98 c #Conflicts: 1323000 | #Constraints: 44375
2899.65/2907.98 c #Conflicts: 1324000 | #Constraints: 45379
2899.65/2907.98 c #Conflicts: 1325000 | #Constraints: 46381
2899.65/2907.98 c INPROCESSING
2899.65/2907.98 c GARBAGE COLLECT
2899.65/2907.98 c rational objective 6
2899.96/2908.27 c GLOBAL bounds - >= 6 @ 2884
2899.96/2908.27 c GLOBAL bounds - >= 6 @ 2884
2990.53/2999.08 c #Conflicts: 1326000 | #Constraints: 24526
2990.53/2999.08 c #Conflicts: 1327000 | #Constraints: 25527
2990.53/2999.08 c #Conflicts: 1328000 | #Constraints: 26533
2990.53/2999.08 c #Conflicts: 1329000 | #Constraints: 27536
2990.53/2999.08 c #Conflicts: 1330000 | #Constraints: 28536
2990.53/2999.08 c #Conflicts: 1331000 | #Constraints: 29538
2990.53/2999.08 c #Conflicts: 1332000 | #Constraints: 30539
2990.53/2999.08 c #Conflicts: 1333000 | #Constraints: 31542
2990.53/2999.08 c #Conflicts: 1334000 | #Constraints: 32545
2990.53/2999.08 c #Conflicts: 1335000 | #Constraints: 33551
2990.53/2999.08 c #Conflicts: 1336000 | #Constraints: 34555
2990.53/2999.08 c #Conflicts: 1337000 | #Constraints: 35556
2990.53/2999.08 c #Conflicts: 1338000 | #Constraints: 36561
2990.53/2999.08 c #Conflicts: 1339000 | #Constraints: 37563
2990.53/2999.08 c #Conflicts: 1340000 | #Constraints: 38563
2990.53/2999.08 c #Conflicts: 1341000 | #Constraints: 39565
2990.53/2999.08 c #Conflicts: 1342000 | #Constraints: 40565
2990.53/2999.08 c #Conflicts: 1343000 | #Constraints: 41569
2990.53/2999.08 c #Conflicts: 1344000 | #Constraints: 42570
2990.53/2999.08 c #Conflicts: 1345000 | #Constraints: 43571
2990.53/2999.08 c #Conflicts: 1346000 | #Constraints: 44573
2990.53/2999.08 c #Conflicts: 1347000 | #Constraints: 45574
2990.53/2999.08 c #Conflicts: 1348000 | #Constraints: 46576
2990.53/2999.08 c INPROCESSING
2990.53/2999.08 c GARBAGE COLLECT
2990.53/2999.08 c rational objective 6
2990.81/2999.40 c GLOBAL bounds - >= 6 @ 2974.6
2990.81/2999.40 c GLOBAL bounds - >= 6 @ 2974.6
3065.72/3074.42 c #Conflicts: 1349000 | #Constraints: 24529
3065.72/3074.42 c #Conflicts: 1350000 | #Constraints: 25534
3065.72/3074.42 c #Conflicts: 1351000 | #Constraints: 26537
3065.72/3074.42 c #Conflicts: 1352000 | #Constraints: 27537
3065.72/3074.42 c #Conflicts: 1353000 | #Constraints: 28540
3065.72/3074.42 c #Conflicts: 1354000 | #Constraints: 29544
3065.72/3074.42 c #Conflicts: 1355000 | #Constraints: 30548
3065.72/3074.42 c #Conflicts: 1356000 | #Constraints: 31550
3065.72/3074.42 c #Conflicts: 1357000 | #Constraints: 32552
3065.72/3074.42 c #Conflicts: 1358000 | #Constraints: 33554
3065.72/3074.42 c #Conflicts: 1359000 | #Constraints: 34559
3065.72/3074.42 c #Conflicts: 1360000 | #Constraints: 35562
3065.72/3074.42 c #Conflicts: 1361000 | #Constraints: 36567
3065.72/3074.42 c #Conflicts: 1362000 | #Constraints: 37572
3065.72/3074.42 c #Conflicts: 1363000 | #Constraints: 38573
3065.72/3074.42 c #Conflicts: 1364000 | #Constraints: 39574
3065.72/3074.42 c #Conflicts: 1365000 | #Constraints: 40577
3065.72/3074.42 c #Conflicts: 1366000 | #Constraints: 41585
3065.72/3074.42 c #Conflicts: 1367000 | #Constraints: 42588
3065.72/3074.42 c #Conflicts: 1368000 | #Constraints: 43595
3065.72/3074.42 c #Conflicts: 1369000 | #Constraints: 44597
3065.72/3074.42 c #Conflicts: 1370000 | #Constraints: 45601
3065.72/3074.42 c #Conflicts: 1371000 | #Constraints: 46602
3065.72/3074.42 c INPROCESSING
3065.72/3074.42 c GARBAGE COLLECT
3065.72/3074.42 c rational objective 6
3066.02/3074.76 c GLOBAL bounds - >= 6 @ 3049.44
3066.02/3074.76 c GLOBAL bounds - >= 6 @ 3049.44
3117.68/3126.58 c #Conflicts: 1372000 | #Constraints: 24288
3117.68/3126.58 c #Conflicts: 1373000 | #Constraints: 25291
3117.68/3126.58 c #Conflicts: 1374000 | #Constraints: 26294
3117.68/3126.58 c #Conflicts: 1375000 | #Constraints: 27297
3117.68/3126.58 c #Conflicts: 1376000 | #Constraints: 28298
3117.68/3126.58 c #Conflicts: 1377000 | #Constraints: 29301
3117.68/3126.58 c #Conflicts: 1378000 | #Constraints: 30304
3117.68/3126.58 c #Conflicts: 1379000 | #Constraints: 31306
3117.68/3126.58 c #Conflicts: 1380000 | #Constraints: 32308
3117.68/3126.58 c #Conflicts: 1381000 | #Constraints: 33316
3117.68/3126.58 c #Conflicts: 1382000 | #Constraints: 34320
3117.68/3126.58 c #Conflicts: 1383000 | #Constraints: 35322
3117.68/3126.58 c #Conflicts: 1384000 | #Constraints: 36324
3117.68/3126.58 c #Conflicts: 1385000 | #Constraints: 37328
3117.68/3126.58 c #Conflicts: 1386000 | #Constraints: 38331
3117.68/3126.58 c #Conflicts: 1387000 | #Constraints: 39336
3117.68/3126.58 c #Conflicts: 1388000 | #Constraints: 40338
3117.68/3126.58 c #Conflicts: 1389000 | #Constraints: 41344
3117.68/3126.58 c #Conflicts: 1390000 | #Constraints: 42344
3117.68/3126.58 c #Conflicts: 1391000 | #Constraints: 43348
3117.68/3126.58 c #Conflicts: 1392000 | #Constraints: 44348
3117.68/3126.58 c #Conflicts: 1393000 | #Constraints: 45350
3117.68/3126.58 c #Conflicts: 1394000 | #Constraints: 46351
3117.68/3126.58 c #Conflicts: 1395000 | #Constraints: 47353
3117.68/3126.58 c INPROCESSING
3117.68/3126.58 c GARBAGE COLLECT
3117.68/3126.58 c rational objective 6
3118.19/3127.03 c GLOBAL bounds - >= 6 @ 3101.27
3118.19/3127.03 c GLOBAL bounds - >= 6 @ 3101.27
3185.00/3194.05 c #Conflicts: 1396000 | #Constraints: 24881
3185.00/3194.05 c #Conflicts: 1397000 | #Constraints: 25886
3185.00/3194.05 c #Conflicts: 1398000 | #Constraints: 26892
3185.00/3194.05 c #Conflicts: 1399000 | #Constraints: 27893
3185.00/3194.05 c #Conflicts: 1400000 | #Constraints: 28894
3185.00/3194.05 c #Conflicts: 1401000 | #Constraints: 29898
3185.00/3194.05 c #Conflicts: 1402000 | #Constraints: 30902
3185.00/3194.05 c #Conflicts: 1403000 | #Constraints: 31906
3185.00/3194.05 c #Conflicts: 1404000 | #Constraints: 32908
3185.00/3194.05 c #Conflicts: 1405000 | #Constraints: 33910
3185.00/3194.05 c #Conflicts: 1406000 | #Constraints: 34913
3185.00/3194.05 c #Conflicts: 1407000 | #Constraints: 35921
3185.00/3194.05 c #Conflicts: 1408000 | #Constraints: 36922
3185.00/3194.05 c #Conflicts: 1409000 | #Constraints: 37928
3185.00/3194.05 c #Conflicts: 1410000 | #Constraints: 38932
3185.00/3194.05 c #Conflicts: 1411000 | #Constraints: 39934
3185.00/3194.05 c #Conflicts: 1412000 | #Constraints: 40940
3185.00/3194.05 c #Conflicts: 1413000 | #Constraints: 41941
3185.00/3194.05 c #Conflicts: 1414000 | #Constraints: 42944
3185.00/3194.05 c #Conflicts: 1415000 | #Constraints: 43949
3185.00/3194.05 c #Conflicts: 1416000 | #Constraints: 44954
3185.00/3194.05 c #Conflicts: 1417000 | #Constraints: 45958
3185.00/3194.05 c #Conflicts: 1418000 | #Constraints: 46963
3185.00/3194.05 c #Conflicts: 1419000 | #Constraints: 47964
3185.00/3194.05 c INPROCESSING
3185.00/3194.05 c GARBAGE COLLECT
3185.00/3194.05 c rational objective 6
3185.39/3194.43 c GLOBAL bounds - >= 6 @ 3168.13
3185.39/3194.43 c GLOBAL bounds - >= 6 @ 3168.13
3255.39/3264.66 c #Conflicts: 1420000 | #Constraints: 25283
3255.39/3264.66 c #Conflicts: 1421000 | #Constraints: 26287
3255.39/3264.66 c #Conflicts: 1422000 | #Constraints: 27290
3255.39/3264.66 c #Conflicts: 1423000 | #Constraints: 28296
3255.39/3264.66 c #Conflicts: 1424000 | #Constraints: 29298
3255.39/3264.66 c #Conflicts: 1425000 | #Constraints: 30302
3255.39/3264.66 c #Conflicts: 1426000 | #Constraints: 31302
3255.39/3264.66 c #Conflicts: 1427000 | #Constraints: 32306
3255.39/3264.66 c #Conflicts: 1428000 | #Constraints: 33312
3255.39/3264.66 c #Conflicts: 1429000 | #Constraints: 34326
3255.39/3264.66 c #Conflicts: 1430000 | #Constraints: 35332
3255.39/3264.66 c #Conflicts: 1431000 | #Constraints: 36336
3255.39/3264.66 c #Conflicts: 1432000 | #Constraints: 37339
3255.39/3264.66 c #Conflicts: 1433000 | #Constraints: 38341
3255.39/3264.66 c #Conflicts: 1434000 | #Constraints: 39343
3255.39/3264.66 c #Conflicts: 1435000 | #Constraints: 40346
3255.39/3264.66 c #Conflicts: 1436000 | #Constraints: 41348
3255.39/3264.66 c #Conflicts: 1437000 | #Constraints: 42350
3255.39/3264.66 c #Conflicts: 1438000 | #Constraints: 43351
3255.39/3264.66 c #Conflicts: 1439000 | #Constraints: 44356
3255.39/3264.66 c #Conflicts: 1440000 | #Constraints: 45360
3255.39/3264.66 c #Conflicts: 1441000 | #Constraints: 46362
3255.39/3264.66 c #Conflicts: 1442000 | #Constraints: 47366
3255.39/3264.66 c #Conflicts: 1443000 | #Constraints: 48367
3255.39/3264.66 c INPROCESSING
3255.39/3264.66 c GARBAGE COLLECT
3255.39/3264.66 c rational objective 6
3255.69/3264.99 c GLOBAL bounds - >= 6 @ 3238.19
3255.69/3264.99 c GLOBAL bounds - >= 6 @ 3238.19
3392.81/3402.42 c #Conflicts: 1444000 | #Constraints: 25502
3392.81/3402.42 c #Conflicts: 1445000 | #Constraints: 26504
3392.81/3402.42 c #Conflicts: 1446000 | #Constraints: 27506
3392.81/3402.42 c #Conflicts: 1447000 | #Constraints: 28508
3392.81/3402.42 c #Conflicts: 1448000 | #Constraints: 29512
3392.81/3402.42 c #Conflicts: 1449000 | #Constraints: 30514
3392.81/3402.42 c #Conflicts: 1450000 | #Constraints: 31518
3392.81/3402.42 c #Conflicts: 1451000 | #Constraints: 32519
3392.81/3402.42 c #Conflicts: 1452000 | #Constraints: 33522
3392.81/3402.42 c #Conflicts: 1453000 | #Constraints: 34523
3392.81/3402.42 c #Conflicts: 1454000 | #Constraints: 35526
3392.81/3402.42 c #Conflicts: 1455000 | #Constraints: 36527
3392.81/3402.42 c #Conflicts: 1456000 | #Constraints: 37529
3392.81/3402.42 c #Conflicts: 1457000 | #Constraints: 38529
3392.81/3402.42 c #Conflicts: 1458000 | #Constraints: 39530
3392.81/3402.42 c #Conflicts: 1459000 | #Constraints: 40532
3392.81/3402.42 c #Conflicts: 1460000 | #Constraints: 41535
3392.81/3402.42 c #Conflicts: 1461000 | #Constraints: 42536
3392.81/3402.42 c #Conflicts: 1462000 | #Constraints: 43539
3392.81/3402.42 c #Conflicts: 1463000 | #Constraints: 44544
3392.81/3402.42 c #Conflicts: 1464000 | #Constraints: 45547
3392.81/3402.42 c #Conflicts: 1465000 | #Constraints: 46550
3392.81/3402.42 c #Conflicts: 1466000 | #Constraints: 47553
3392.81/3402.42 c #Conflicts: 1467000 | #Constraints: 48554
3392.81/3402.42 c INPROCESSING
3392.81/3402.42 c GARBAGE COLLECT
3392.81/3402.42 c rational objective 6
3393.21/3402.84 c GLOBAL bounds - >= 6 @ 3375.37
3393.21/3402.84 c GLOBAL bounds - >= 6 @ 3375.37
3455.15/3464.96 c #Conflicts: 1468000 | #Constraints: 25478
3455.15/3464.96 c #Conflicts: 1469000 | #Constraints: 26484
3455.15/3464.96 c #Conflicts: 1470000 | #Constraints: 27487
3455.15/3464.96 c #Conflicts: 1471000 | #Constraints: 28491
3455.15/3464.96 c #Conflicts: 1472000 | #Constraints: 29494
3455.15/3464.96 c #Conflicts: 1473000 | #Constraints: 30498
3455.15/3464.96 c #Conflicts: 1474000 | #Constraints: 31501
3455.15/3464.96 c #Conflicts: 1475000 | #Constraints: 32505
3455.15/3464.96 c #Conflicts: 1476000 | #Constraints: 33507
3455.15/3464.96 c #Conflicts: 1477000 | #Constraints: 34514
3455.15/3464.96 c #Conflicts: 1478000 | #Constraints: 35518
3455.15/3464.96 c #Conflicts: 1479000 | #Constraints: 36523
3455.15/3464.96 c #Conflicts: 1480000 | #Constraints: 37531
3455.15/3464.96 c #Conflicts: 1481000 | #Constraints: 38532
3455.15/3464.96 c #Conflicts: 1482000 | #Constraints: 39535
3455.15/3464.96 c #Conflicts: 1483000 | #Constraints: 40539
3455.15/3464.96 c #Conflicts: 1484000 | #Constraints: 41544
3455.15/3464.96 c #Conflicts: 1485000 | #Constraints: 42547
3455.15/3464.96 c #Conflicts: 1486000 | #Constraints: 43551
3455.15/3464.96 c #Conflicts: 1487000 | #Constraints: 44553
3455.15/3464.96 c #Conflicts: 1488000 | #Constraints: 45555
3455.15/3464.96 c #Conflicts: 1489000 | #Constraints: 46558
3455.15/3464.96 c #Conflicts: 1490000 | #Constraints: 47568
3455.15/3464.96 c #Conflicts: 1491000 | #Constraints: 48568
3455.15/3464.96 c INPROCESSING
3455.15/3464.96 c GARBAGE COLLECT
3455.15/3464.96 c rational objective 6
3455.55/3465.32 c GLOBAL bounds - >= 6 @ 3437.39
3455.55/3465.32 c GLOBAL bounds - >= 6 @ 3437.39
3520.76/3530.75 c #Conflicts: 1492000 | #Constraints: 25291
3520.76/3530.75 c #Conflicts: 1493000 | #Constraints: 26293
3520.76/3530.75 c #Conflicts: 1494000 | #Constraints: 27295
3520.76/3530.75 c #Conflicts: 1495000 | #Constraints: 28297
3520.76/3530.75 c #Conflicts: 1496000 | #Constraints: 29299
3520.76/3530.75 c #Conflicts: 1497000 | #Constraints: 30306
3520.76/3530.75 c #Conflicts: 1498000 | #Constraints: 31313
3520.76/3530.75 c #Conflicts: 1499000 | #Constraints: 32314
3520.76/3530.75 c #Conflicts: 1500000 | #Constraints: 33315
3520.76/3530.75 c #Conflicts: 1501000 | #Constraints: 34316
3520.76/3530.75 c #Conflicts: 1502000 | #Constraints: 35317
3520.76/3530.75 c #Conflicts: 1503000 | #Constraints: 36318
3520.76/3530.75 c #Conflicts: 1504000 | #Constraints: 37322
3520.76/3530.75 c #Conflicts: 1505000 | #Constraints: 38323
3520.76/3530.75 c #Conflicts: 1506000 | #Constraints: 39324
3520.76/3530.75 c #Conflicts: 1507000 | #Constraints: 40325
3520.76/3530.75 c #Conflicts: 1508000 | #Constraints: 41327
3520.76/3530.75 c #Conflicts: 1509000 | #Constraints: 42330
3520.76/3530.75 c #Conflicts: 1510000 | #Constraints: 43333
3520.76/3530.75 c #Conflicts: 1511000 | #Constraints: 44338
3520.76/3530.75 c #Conflicts: 1512000 | #Constraints: 45341
3520.76/3530.75 c #Conflicts: 1513000 | #Constraints: 46346
3520.76/3530.75 c #Conflicts: 1514000 | #Constraints: 47361
3520.76/3530.75 c #Conflicts: 1515000 | #Constraints: 48367
3520.76/3530.75 c #Conflicts: 1516000 | #Constraints: 49370
3520.76/3530.75 c INPROCESSING
3520.76/3530.75 c GARBAGE COLLECT
3520.76/3530.75 c rational objective 6
3521.17/3531.18 c GLOBAL bounds - >= 6 @ 3502.78
3521.17/3531.18 c GLOBAL bounds - >= 6 @ 3502.78
3573.23/3583.36 c #Conflicts: 1517000 | #Constraints: 25871
3573.23/3583.36 c #Conflicts: 1518000 | #Constraints: 26884
3573.23/3583.36 c #Conflicts: 1519000 | #Constraints: 27892
3573.23/3583.36 c #Conflicts: 1520000 | #Constraints: 28898
3573.23/3583.36 c #Conflicts: 1521000 | #Constraints: 29905
3573.23/3583.36 c #Conflicts: 1522000 | #Constraints: 30910
3573.23/3583.36 c #Conflicts: 1523000 | #Constraints: 31917
3573.23/3583.36 c #Conflicts: 1524000 | #Constraints: 32920
3573.23/3583.36 c #Conflicts: 1525000 | #Constraints: 33923
3573.23/3583.36 c #Conflicts: 1526000 | #Constraints: 34925
3573.23/3583.36 c #Conflicts: 1527000 | #Constraints: 35926
3573.23/3583.36 c #Conflicts: 1528000 | #Constraints: 36933
3573.23/3583.36 c #Conflicts: 1529000 | #Constraints: 37936
3573.23/3583.36 c #Conflicts: 1530000 | #Constraints: 38942
3573.23/3583.36 c #Conflicts: 1531000 | #Constraints: 39946
3573.23/3583.36 c #Conflicts: 1532000 | #Constraints: 40954
3573.23/3583.36 c #Conflicts: 1533000 | #Constraints: 41968
3573.23/3583.36 c #Conflicts: 1534000 | #Constraints: 42971
3573.23/3583.36 c #Conflicts: 1535000 | #Constraints: 43974
3573.23/3583.36 c #Conflicts: 1536000 | #Constraints: 44976
3573.23/3583.36 c #Conflicts: 1537000 | #Constraints: 45981
3573.23/3583.36 c #Conflicts: 1538000 | #Constraints: 46985
3573.23/3583.36 c #Conflicts: 1539000 | #Constraints: 47986
3573.23/3583.36 c #Conflicts: 1540000 | #Constraints: 48990
3573.23/3583.36 c #Conflicts: 1541000 | #Constraints: 49997
3573.23/3583.36 c INPROCESSING
3573.23/3583.36 c GARBAGE COLLECT
3573.23/3583.36 c rational objective 6
3573.63/3583.70 c GLOBAL bounds - >= 6 @ 3554.89
3573.63/3583.70 c GLOBAL bounds - >= 6 @ 3554.89
3600.06/3610.20 c #Conflicts: 1542000 | #Constraints: 26307
3600.06/3610.20 c #Conflicts: 1543000 | #Constraints: 27311
3600.06/3610.20 c #Conflicts: 1544000 | #Constraints: 28312
3600.06/3610.20 c #Conflicts: 1545000 | #Constraints: 29315
3600.06/3610.20 c #Conflicts: 1546000 | #Constraints: 30319
3600.06/3610.20 c #Conflicts: 1547000 | #Constraints: 31326
3600.06/3610.20 c #Conflicts: 1548000 | #Constraints: 32332
3600.06/3610.20 c #Conflicts: 1549000 | #Constraints: 33336
3600.06/3610.20 c #Conflicts: 1550000 | #Constraints: 34348
3600.06/3610.20 c #Conflicts: 1551000 | #Constraints: 35352
3600.06/3610.20 c #Conflicts: 1552000 | #Constraints: 36357
3600.06/3610.20 c #Conflicts: 1553000 | #Constraints: 37357
3600.06/3610.20 c #Conflicts: 1554000 | #Constraints: 38359
3600.06/3610.20 c #Conflicts: 1555000 | #Constraints: 39361
3600.06/3610.20 c cpu time 3581.17 s
3600.06/3610.20 c deterministic time 409390227314 4.09e+11
3600.06/3610.20 c optimization time 26.2904 s
3600.06/3610.20 c total solve time 3554.86 s
3600.06/3610.20 c core-guided solve time 0 s
3600.06/3610.20 c propagation time 2510.07 s
3600.06/3610.20 c conflict analysis time 931.342 s
3600.06/3610.20 c propagations 479551390
3600.06/3610.20 c resolve steps 9188247
3600.06/3610.20 c decisions 10914405
3600.06/3610.20 c conflicts 1555580
3600.06/3610.20 c restarts 3067
3600.06/3610.20 c inprocessing phases 115
3600.06/3610.20 c garbage collections 115 ,( 100.00 )
3600.06/3610.20 c input clauses 3273 ,( 87.96 )
3600.06/3610.20 c input cardinalities 64 ,( 1.72 )
3600.06/3610.20 c input general constraints 384 ,( 10.32 )
3600.06/3610.20 c input average constraint length 9.95
3600.06/3610.20 c input average constraint degree 74.17
3600.06/3610.20 c learned clauses 140576 ,( 8.92 )
3600.06/3610.20 c learned cardinalities 9261 ,( 0.59 )
3600.06/3610.20 c learned general constraints 1425639 ,( 90.49 )
3600.06/3610.20 c learned average constraint length 556.49
3600.06/3610.20 c learned average constraint degree 5264411236.25
3600.06/3610.20 c watched CF 32, 64, 128, Arb: 469861 , 0 , 0 , 0
3600.06/3610.20 c counting CF 32, 64, 128, Arb: 956163 , 0 , 0 , 0
3600.06/3610.20 c watched constraints 469861 ,( 32.95 )
3600.06/3610.20 c counting constraints 956162 ,( 67.05 )
3600.06/3610.20 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 18641630 , 8555565 , 8897076014 ,( 1152447395 , 7744628619 )
3600.06/3610.20 c gcd simplifications 40823
3600.06/3610.20 c detected cardinalities 106
3600.06/3610.20 c weakened non-implied lits 587919631
3600.06/3610.20 c weakened non-implying lits 2595170
3600.06/3610.20 c original variables 3216
3600.06/3610.20 c clausal propagations 1091851
3600.06/3610.20 c cardinality propagations 31025012
3600.06/3610.20 c watched propagations 1750360
3600.06/3610.20 c counting propagations 436630485
3600.06/3610.20 c watch lookups 192700927847
3600.06/3610.20 c watch backjump lookups 0
3600.06/3610.20 c watch checks 122754804783
3600.06/3610.20 c propagation checks 88038547345
3600.06/3610.20 c constraint additions 4911888067
3600.06/3610.20 c trail pops 492013904
3600.06/3610.20 c formula constraints 3721
3600.06/3610.20 c learned constraints 1550172
3600.06/3610.20 c bound constraints 0
3600.06/3610.20 c core-guided constraints 0
3600.06/3610.20 c encountered formula constraints 3099003
3600.06/3610.20 c encountered learned constraints 4775322
3600.06/3610.20 c encountered bound constraints 0
3600.06/3610.20 c encountered core-guided constraints 0
3600.06/3610.20 c LP total time 208.81 s
3600.06/3610.20 c LP solve time 164.92 s
3600.06/3610.20 c LP constraints added 4556
3600.06/3610.20 c LP constraints removed 827
3600.06/3610.20 c LP pivots internal 1555706
3600.06/3610.20 c LP pivots root 23866
3600.06/3610.20 c LP calls 27780
3600.06/3610.20 c LP optimalities 8230
3600.06/3610.20 c LP no pivot count 1797
3600.06/3610.20 c LP infeasibilities 19540
3600.06/3610.20 c LP valid Farkas constraints 19532
3600.06/3610.20 c LP learned Farkas constraints 5407
3600.06/3610.20 c LP basis resets 15
3600.06/3610.20 c LP cycling count 1
3600.06/3610.20 c LP singular count 7
3600.06/3610.20 c LP no primal count 0
3600.06/3610.20 c LP no farkas count 7
3600.06/3610.20 c LP other issue count 0
3600.06/3610.20 c LP Gomory cuts 365
3600.06/3610.20 c LP learned cuts 470
3600.06/3610.20 c LP deleted cuts 827
3600.06/3610.20 c LP encountered Gomory constraints 3055
3600.06/3610.20 c LP encountered Farkas constraints 2327728
3600.06/3610.20 c LP encountered learned Farkas constraints 533312
3600.06/3610.20 c CG auxiliary variables introduced 1
3600.06/3610.20 c CG solutions found 0
3600.06/3610.20 c CG cores constructed 0
3600.06/3610.20 c CG core cardinality constraints returned 0
3600.06/3610.20 c CG unit cores 0
3600.06/3610.20 c CG single cores 0
3600.06/3610.20 c CG blocks removed during cardinality reduction 0
3600.06/3610.20 c CG first core best 0
3600.06/3610.20 c CG decision core best 0
3600.06/3610.20 c CG core reduction tie 0
3600.06/3610.20 c CG core degree average 0.00
3600.06/3610.20 c CG core slack average 0.00
3600.06/3610.20 c CG core upper bound improvements 0
3600.06/3610.20 c STR number of successful calls 0
3600.06/3610.20 c STR number of unsuccessful calls 0
3600.06/3610.20 c STR number of inconclusive calls 0
3600.06/3610.20 c STR number of successful attempts 0
3600.06/3610.20 c STR number of unsuccessful attempts 0
3600.06/3610.20 c STR number of inconclusive attempts 0
3600.06/3610.20 c STR average degree increase per successful call inf
3600.06/3610.20 c STR average degree increase per successful attempt inf
3600.06/3610.20 c STR total number of conflicts for successful attempts 0
3600.06/3610.20 c STR total number of conflicts for unsuccessful attempts 0
3600.06/3610.20 c STR total number of conflicts for inconclusive attempts 0
3600.06/3610.20 c STR average number of conflicts per successful attempt inf
3600.06/3610.20 c STR average number of conflicts per unsuccessful attempt inf
3600.06/3610.20 c STR average number of conflicts per inconclusive attempt inf
3600.06/3610.20 c AVG.sumWPerc 51.97
3600.06/3610.20 c bigint constraints 0
3600.06/3610.20 s UNKNOWN
3600.06/3610.20 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (39529 MiB free)
memory of node 1: 64465 MiB (62444 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4499166-1751404924/watcher-4499166-1751404924 -o /tmp/evaluation-result-4499166-1751404924/solver-4499166-1751404924 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751396781-56605 --watchdog 3760 run-opt.sh HOME/instance-4499166-1751404924.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=57955, runsolver pid=57952
Current StackSize limit: 8192 KiB
[startup+0.100071 s]*
/proc/loadavg: 4.09 4.11 4.09 6/254 57957
/proc/meminfo: memFree=104416676/131382116 swapFree=33010160/33010684
[pid=57955] ppid=57952 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/57955/stat : 57955 (run-opt.sh) S 57952 57955 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 56171604 4292608 768 18446744073709551615 93995108282368 93995109176901 140731941158016 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93995109415952 93995109463696 93995118211072 140731941161325 140731941161448 140731941161448 140731941167050 0
/proc/57955/statm: 1048 768 704 219 0 110 0
[pid=57957] ppid=57955 vsize=70888 memory=22744 CPUtime=0.09 cores=1,3
/proc/57957/stat : 57957 (roundingsat) R 57955 57955 56593 0 -1 4194304 3557 0 0 0 8 1 0 0 20 0 1 0 56171605 72589312 5686 18446744073709551615 4227072 8923433 140726467385136 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35958784 140726467393954 140726467394088 140726467394088 140726467399658 0
/proc/57957/statm: 17722 5686 2368 1147 0 5149 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 75080 KiB
Current children cumulated memory: 25816 KiB
[startup+0.213456 s]*
/proc/loadavg: 4.09 4.11 4.09 5/254 57957
/proc/meminfo: memFree=104416676/131382116 swapFree=33010160/33010684
[pid=57955] ppid=57952 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/57955/stat : 57955 (run-opt.sh) S 57952 57955 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 56171604 4292608 768 18446744073709551615 93995108282368 93995109176901 140731941158016 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93995109415952 93995109463696 93995118211072 140731941161325 140731941161448 140731941161448 140731941167050 0
/proc/57955/statm: 1048 768 704 219 0 110 0
[pid=57957] ppid=57955 vsize=74344 memory=26200 CPUtime=0.2 cores=1,3
/proc/57957/stat : 57957 (roundingsat) R 57955 57955 56593 0 -1 4194304 4409 0 0 0 19 1 0 0 20 0 1 0 56171605 76128256 6550 18446744073709551615 4227072 8923433 140726467385136 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35958784 140726467393954 140726467394088 140726467394088 140726467399658 0
/proc/57957/statm: 18586 6550 2368 1147 0 6013 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 78536 KiB
Current children cumulated memory: 29272 KiB
[startup+0.313212 s]*
/proc/loadavg: 4.09 4.11 4.09 5/254 57957
/proc/meminfo: memFree=104416676/131382116 swapFree=33010160/33010684
[pid=57955] ppid=57952 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/57955/stat : 57955 (run-opt.sh) S 57952 57955 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 56171604 4292608 768 18446744073709551615 93995108282368 93995109176901 140731941158016 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93995109415952 93995109463696 93995118211072 140731941161325 140731941161448 140731941161448 140731941167050 0
/proc/57955/statm: 1048 768 704 219 0 110 0
[pid=57957] ppid=57955 vsize=78024 memory=30040 CPUtime=0.29 cores=1,3
/proc/57957/stat : 57957 (roundingsat) R 57955 57955 56593 0 -1 4194304 5333 0 0 0 28 1 0 0 20 0 1 0 56171605 79896576 7510 18446744073709551615 4227072 8923433 140726467385136 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35958784 140726467393954 140726467394088 140726467394088 140726467399658 0
/proc/57957/statm: 19506 7510 2400 1147 0 6933 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 82216 KiB
Current children cumulated memory: 33112 KiB
[startup+0.700375 s]
/proc/loadavg: 4.09 4.11 4.09 5/254 57957
/proc/meminfo: memFree=104416676/131382116 swapFree=33010160/33010684
[pid=57955] ppid=57952 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/57955/stat : 57955 (run-opt.sh) S 57952 57955 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 56171604 4292608 768 18446744073709551615 93995108282368 93995109176901 140731941158016 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93995109415952 93995109463696 93995118211072 140731941161325 140731941161448 140731941161448 140731941167050 0
/proc/57955/statm: 1048 768 704 219 0 110 0
[pid=57957] ppid=57955 vsize=80476 memory=34260 CPUtime=0.67 cores=1,3
/proc/57957/stat : 57957 (roundingsat) R 57955 57955 56593 0 -1 4194304 5884 0 0 0 64 3 0 0 20 0 1 0 56171605 82407424 8565 18446744073709551615 4227072 8923433 140726467385136 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35958784 140726467393954 140726467394088 140726467394088 140726467399658 0
/proc/57957/statm: 20119 8565 2400 1147 0 7546 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 84668 KiB
Current children cumulated memory: 37332 KiB
[startup+1.50039 s]
/proc/loadavg: 4.09 4.11 4.09 5/254 57957
/proc/meminfo: memFree=104407304/131382116 swapFree=33010160/33010684
[pid=57955] ppid=57952 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/57955/stat : 57955 (run-opt.sh) S 57952 57955 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 56171604 4292608 768 18446744073709551615 93995108282368 93995109176901 140731941158016 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93995109415952 93995109463696 93995118211072 140731941161325 140731941161448 140731941161448 140731941167050 0
/proc/57955/statm: 1048 768 704 219 0 110 0
[pid=57957] ppid=57955 vsize=88248 memory=41636 CPUtime=1.47 cores=1,3
/proc/57957/stat : 57957 (roundingsat) R 57955 57955 56593 0 -1 4194304 7216 0 0 0 143 4 0 0 20 0 1 0 56171605 90365952 10409 18446744073709551615 4227072 8923433 140726467385136 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35958784 140726467393954 140726467394088 140726467394088 140726467399658 0
/proc/57957/statm: 22062 10409 2400 1147 0 9489 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 92440 KiB
Current children cumulated memory: 44708 KiB
[startup+3.11293 s]
/proc/loadavg: 4.08 4.10 4.09 5/254 57957
/proc/meminfo: memFree=104399244/131382116 swapFree=33010160/33010684
[pid=57955] ppid=57952 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/57955/stat : 57955 (run-opt.sh) S 57952 57955 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 56171604 4292608 768 18446744073709551615 93995108282368 93995109176901 140731941158016 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93995109415952 93995109463696 93995118211072 140731941161325 140731941161448 140731941161448 140731941167050 0
/proc/57955/statm: 1048 768 704 219 0 110 0
[pid=57957] ppid=57955 vsize=99296 memory=48804 CPUtime=3.07 cores=1,3
/proc/57957/stat : 57957 (roundingsat) R 57955 57955 56593 0 -1 4194304 9019 0 0 0 300 7 0 0 20 0 1 0 56171605 101679104 12201 18446744073709551615 4227072 8923433 140726467385136 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35958784 140726467393954 140726467394088 140726467394088 140726467399658 0
/proc/57957/statm: 24824 12201 2400 1147 0 12251 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 103488 KiB
Current children cumulated memory: 51876 KiB
[startup+6.30037 s]
/proc/loadavg: 4.08 4.10 4.09 5/254 57957
/proc/meminfo: memFree=104357096/131382116 swapFree=33010160/33010684
[pid=57955] ppid=57952 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/57955/stat : 57955 (run-opt.sh) S 57952 57955 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 56171604 4292608 768 18446744073709551615 93995108282368 93995109176901 140731941158016 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93995109415952 93995109463696 93995118211072 140731941161325 140731941161448 140731941161448 140731941167050 0
/proc/57955/statm: 1048 768 704 219 0 110 0
[pid=57957] ppid=57955 vsize=142400 memory=90088 CPUtime=6.25 cores=1,3
/proc/57957/stat : 57957 (roundingsat) R 57955 57955 56593 0 -1 4194304 17800 0 0 0 610 15 0 0 20 0 1 0 56171605 145817600 22522 18446744073709551615 4227072 8923433 140726467385136 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35958784 140726467393954 140726467394088 140726467394088 140726467399658 0
/proc/57957/statm: 35600 22522 2400 1147 0 23027 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 146592 KiB
Current children cumulated memory: 93160 KiB
[startup+12.7004 s]
/proc/loadavg: 4.15 4.12 4.09 5/254 57957
/proc/meminfo: memFree=104312172/131382116 swapFree=33010160/33010684
[pid=57955] ppid=57952 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/57955/stat : 57955 (run-opt.sh) S 57952 57955 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 56171604 4292608 768 18446744073709551615 93995108282368 93995109176901 140731941158016 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93995109415952 93995109463696 93995118211072 140731941161325 140731941161448 140731941161448 140731941167050 0
/proc/57955/statm: 1048 768 704 219 0 110 0
[pid=57957] ppid=57955 vsize=174200 memory=111588 CPUtime=12.64 cores=1,3
/proc/57957/stat : 57957 (roundingsat) R 57955 57955 56593 0 -1 4194304 22658 0 0 0 1236 28 0 0 20 0 1 0 56171605 178380800 27897 18446744073709551615 4227072 8923433 140726467385136 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35958784 140726467393954 140726467394088 140726467394088 140726467399658 0
/proc/57957/statm: 43550 27897 2400 1147 0 30977 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 178392 KiB
Current children cumulated memory: 114660 KiB
[startup+25.5004 s]
/proc/loadavg: 4.12 4.11 4.09 5/254 57957
/proc/meminfo: memFree=104284516/131382116 swapFree=33010160/33010684
[pid=57955] ppid=57952 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/57955/stat : 57955 (run-opt.sh) S 57952 57955 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 56171604 4292608 768 18446744073709551615 93995108282368 93995109176901 140731941158016 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93995109415952 93995109463696 93995118211072 140731941161325 140731941161448 140731941161448 140731941167050 0
/proc/57955/statm: 1048 768 704 219 0 110 0
[pid=57957] ppid=57955 vsize=199064 memory=140164 CPUtime=25.4 cores=1,3
/proc/57957/stat : 57957 (roundingsat) R 57955 57955 56593 0 -1 4194304 28265 0 0 0 2495 45 0 0 20 0 1 0 56171605 203841536 35041 18446744073709551615 4227072 8923433 140726467385136 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35958784 140726467393954 140726467394088 140726467394088 140726467399658 0
/proc/57957/statm: 49766 35041 2400 1147 0 37193 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 203256 KiB
Current children cumulated memory: 143236 KiB
[startup+51.1132 s]
/proc/loadavg: 4.08 4.10 4.09 5/254 57958
/proc/meminfo: memFree=104237992/131382116 swapFree=33010160/33010684
[pid=57955] ppid=57952 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/57955/stat : 57955 (run-opt.sh) S 57952 57955 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 56171604 4292608 768 18446744073709551615 93995108282368 93995109176901 140731941158016 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93995109415952 93995109463696 93995118211072 140731941161325 140731941161448 140731941161448 140731941167050 0
/proc/57955/statm: 1048 768 704 219 0 110 0
[pid=57957] ppid=57955 vsize=253288 memory=173792 CPUtime=50.94 cores=1,3
/proc/57957/stat : 57957 (roundingsat) R 57955 57955 56593 0 -1 4194304 35677 0 0 0 5021 73 0 0 20 0 1 0 56171605 259366912 43448 18446744073709551615 4227072 8923433 140726467385136 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35958784 140726467393954 140726467394088 140726467394088 140726467399658 0
/proc/57957/statm: 63322 43448 2400 1147 0 50749 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 257480 KiB
Current children cumulated memory: 176864 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/254 57959
/proc/meminfo: memFree=104220164/131382116 swapFree=33010160/33010684
[pid=57955] ppid=57952 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/57955/stat : 57955 (run-opt.sh) S 57952 57955 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 56171604 4292608 768 18446744073709551615 93995108282368 93995109176901 140731941158016 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93995109415952 93995109463696 93995118211072 140731941161325 140731941161448 140731941161448 140731941167050 0
/proc/57955/statm: 1048 768 704 219 0 110 0
[pid=57957] ppid=57955 vsize=292208 memory=213892 CPUtime=101.98 cores=1,3
/proc/57957/stat : 57957 (roundingsat) R 57955 57955 56593 0 -1 4194304 44676 0 0 0 10048 150 0 0 20 0 1 0 56171605 299220992 53473 18446744073709551615 4227072 8923433 140726467385136 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35958784 140726467393954 140726467394088 140726467394088 140726467399658 0
/proc/57957/statm: 73052 53473 2400 1147 0 60479 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 296400 KiB
Current children cumulated memory: 216964 KiB
[startup+162.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/257 57964
/proc/meminfo: memFree=104046216/131382116 swapFree=33010160/33010684
[pid=57955] ppid=57952 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/57955/stat : 57955 (run-opt.sh) S 57952 57955 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 56171604 4292608 768 18446744073709551615 93995108282368 93995109176901 140731941158016 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93995109415952 93995109463696 93995118211072 140731941161325 140731941161448 140731941161448 140731941167050 0
/proc/57955/statm: 1048 768 704 219 0 110 0
[pid=57957] ppid=57955 vsize=412832 memory=311984 CPUtime=161.81 cores=1,3
/proc/57957/stat : 57957 (roundingsat) R 57955 57955 56593 0 -1 4194304 64473 0 0 0 15947 234 0 0 20 0 1 0 56171605 422739968 77996 18446744073709551615 4227072 8923433 140726467385136 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35958784 140726467393954 140726467394088 140726467394088 140726467399658 0
/proc/57957/statm: 103208 77996 2528 1147 0 90635 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 417024 KiB
Current children cumulated memory: 315056 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/257 57966
/proc/meminfo: memFree=103947264/131382116 swapFree=33010160/33010684
[pid=57955] ppid=57952 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/57955/stat : 57955 (run-opt.sh) S 57952 57955 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 56171604 4292608 768 18446744073709551615 93995108282368 93995109176901 140731941158016 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93995109415952 93995109463696 93995118211072 140731941161325 140731941161448 140731941161448 140731941167050 0
/proc/57955/statm: 1048 768 704 219 0 110 0
[pid=57957] ppid=57955 vsize=483600 memory=388536 CPUtime=221.64 cores=1,3
/proc/57957/stat : 57957 (roundingsat) R 57955 57955 56593 0 -1 4194304 79031 0 0 0 21888 276 0 0 20 0 1 0 56171605 495206400 97134 18446744073709551615 4227072 8923433 140726467385136 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35958784 140726467393954 140726467394088 140726467394088 140726467399658 0
/proc/57957/statm: 120900 97134 2528 1147 0 108327 0
Current children cumulated CPU time: 221.64 s
################
# More data... #
################
/proc/57957/statm: 249252 195368 2528 1147 0 236679 0
Current children cumulated CPU time: 3033.71 s
Current children cumulated vsize: 1001200 KiB
Current children cumulated memory: 784544 KiB
[startup+3102.3 s]
/proc/loadavg: 3.13 3.43 3.79 4/247 58301
/proc/meminfo: memFree=123132464/131382116 swapFree=33010160/33010684
[pid=57955] ppid=57952 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/57955/stat : 57955 (run-opt.sh) S 57952 57955 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 56171604 4292608 768 18446744073709551615 93995108282368 93995109176901 140731941158016 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93995109415952 93995109463696 93995118211072 140731941161325 140731941161448 140731941161448 140731941167050 0
/proc/57955/statm: 1048 768 704 219 0 110 0
[pid=57957] ppid=57955 vsize=998800 memory=784160 CPUtime=3093.55 cores=1,3
/proc/57957/stat : 57957 (roundingsat) R 57955 57955 56593 0 -1 4194304 169659 0 0 0 307672 1683 0 0 20 0 1 0 56171605 1022771200 196040 18446744073709551615 4227072 8923433 140726467385136 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35958784 140726467393954 140726467394088 140726467394088 140726467399658 0
/proc/57957/statm: 249700 196040 2528 1147 0 237127 0
Current children cumulated CPU time: 3093.55 s
Current children cumulated vsize: 1002992 KiB
Current children cumulated memory: 787232 KiB
[startup+3162.3 s]
/proc/loadavg: 2.71 3.27 3.72 3/240 58334
/proc/meminfo: memFree=124022712/131382116 swapFree=33010160/33010684
[pid=57955] ppid=57952 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/57955/stat : 57955 (run-opt.sh) S 57952 57955 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 56171604 4292608 768 18446744073709551615 93995108282368 93995109176901 140731941158016 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93995109415952 93995109463696 93995118211072 140731941161325 140731941161448 140731941161448 140731941167050 0
/proc/57955/statm: 1048 768 704 219 0 110 0
[pid=57957] ppid=57955 vsize=998800 memory=784672 CPUtime=3153.37 cores=1,3
/proc/57957/stat : 57957 (roundingsat) R 57955 57955 56593 0 -1 4194304 169694 0 0 0 313622 1715 0 0 20 0 1 0 56171605 1022771200 196168 18446744073709551615 4227072 8923433 140726467385136 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35958784 140726467393954 140726467394088 140726467394088 140726467399658 0
/proc/57957/statm: 249700 196168 2528 1147 0 237127 0
Current children cumulated CPU time: 3153.37 s
Current children cumulated vsize: 1002992 KiB
Current children cumulated memory: 787744 KiB
[startup+3222.3 s]
/proc/loadavg: 2.28 3.05 3.61 3/241 58337
/proc/meminfo: memFree=124018984/131382116 swapFree=33010160/33010684
[pid=57955] ppid=57952 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/57955/stat : 57955 (run-opt.sh) S 57952 57955 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 56171604 4292608 768 18446744073709551615 93995108282368 93995109176901 140731941158016 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93995109415952 93995109463696 93995118211072 140731941161325 140731941161448 140731941161448 140731941167050 0
/proc/57955/statm: 1048 768 704 219 0 110 0
[pid=57957] ppid=57955 vsize=999832 memory=788256 CPUtime=3213.21 cores=1,3
/proc/57957/stat : 57957 (roundingsat) R 57955 57955 56593 0 -1 4194304 170195 0 0 0 319573 1748 0 0 20 0 1 0 56171605 1023827968 197064 18446744073709551615 4227072 8923433 140726467385136 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35958784 140726467393954 140726467394088 140726467394088 140726467399658 0
/proc/57957/statm: 249958 197064 2528 1147 0 237385 0
Current children cumulated CPU time: 3213.21 s
Current children cumulated vsize: 1004024 KiB
Current children cumulated memory: 791328 KiB
[startup+3282.3 s]
/proc/loadavg: 2.75 3.04 3.57 3/241 58339
/proc/meminfo: memFree=124008756/131382116 swapFree=33010160/33010684
[pid=57955] ppid=57952 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/57955/stat : 57955 (run-opt.sh) S 57952 57955 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 56171604 4292608 768 18446744073709551615 93995108282368 93995109176901 140731941158016 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93995109415952 93995109463696 93995118211072 140731941161325 140731941161448 140731941161448 140731941167050 0
/proc/57955/statm: 1048 768 704 219 0 110 0
[pid=57957] ppid=57955 vsize=999832 memory=791712 CPUtime=3273.05 cores=1,3
/proc/57957/stat : 57957 (roundingsat) R 57955 57955 56593 0 -1 4194304 170216 0 0 0 325536 1769 0 0 20 0 1 0 56171605 1023827968 197928 18446744073709551615 4227072 8923433 140726467385136 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35958784 140726467393954 140726467394088 140726467394088 140726467399658 0
/proc/57957/statm: 249958 197928 2528 1147 0 237385 0
Current children cumulated CPU time: 3273.05 s
Current children cumulated vsize: 1004024 KiB
Current children cumulated memory: 794784 KiB
[startup+3342.3 s]
/proc/loadavg: 2.40 2.89 3.49 3/241 58344
/proc/meminfo: memFree=123983044/131382116 swapFree=33010160/33010684
[pid=57955] ppid=57952 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/57955/stat : 57955 (run-opt.sh) S 57952 57955 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 56171604 4292608 768 18446744073709551615 93995108282368 93995109176901 140731941158016 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93995109415952 93995109463696 93995118211072 140731941161325 140731941161448 140731941161448 140731941167050 0
/proc/57955/statm: 1048 768 704 219 0 110 0
[pid=57957] ppid=57955 vsize=999832 memory=802848 CPUtime=3332.88 cores=1,3
/proc/57957/stat : 57957 (roundingsat) R 57955 57955 56593 0 -1 4194304 170224 0 0 0 331510 1778 0 0 20 0 1 0 56171605 1023827968 200712 18446744073709551615 4227072 8923433 140726467385136 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35958784 140726467393954 140726467394088 140726467394088 140726467399658 0
/proc/57957/statm: 249958 200712 2528 1147 0 237385 0
Current children cumulated CPU time: 3332.88 s
Current children cumulated vsize: 1004024 KiB
Current children cumulated memory: 805920 KiB
[startup+3402.3 s]
/proc/loadavg: 2.24 2.76 3.40 3/241 58346
/proc/meminfo: memFree=123979648/131382116 swapFree=33010160/33010684
[pid=57955] ppid=57952 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/57955/stat : 57955 (run-opt.sh) S 57952 57955 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 56171604 4292608 768 18446744073709551615 93995108282368 93995109176901 140731941158016 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93995109415952 93995109463696 93995118211072 140731941161325 140731941161448 140731941161448 140731941167050 0
/proc/57955/statm: 1048 768 704 219 0 110 0
[pid=57957] ppid=57955 vsize=1001628 memory=810272 CPUtime=3392.71 cores=1,3
/proc/57957/stat : 57957 (roundingsat) R 57955 57955 56593 0 -1 4194304 170737 0 0 0 337482 1789 0 0 20 0 1 0 56171605 1025667072 202568 18446744073709551615 4227072 8923433 140726467385136 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35958784 140726467393954 140726467394088 140726467394088 140726467399658 0
/proc/57957/statm: 250407 202568 2528 1147 0 237834 0
Current children cumulated CPU time: 3392.71 s
Current children cumulated vsize: 1005820 KiB
Current children cumulated memory: 813344 KiB
[startup+3462.3 s]
/proc/loadavg: 2.16 2.64 3.32 3/241 58348
/proc/meminfo: memFree=123949244/131382116 swapFree=33010160/33010684
[pid=57955] ppid=57952 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/57955/stat : 57955 (run-opt.sh) S 57952 57955 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 56171604 4292608 768 18446744073709551615 93995108282368 93995109176901 140731941158016 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93995109415952 93995109463696 93995118211072 140731941161325 140731941161448 140731941161448 140731941167050 0
/proc/57955/statm: 1048 768 704 219 0 110 0
[pid=57957] ppid=57955 vsize=1001628 memory=824480 CPUtime=3452.55 cores=1,3
/proc/57957/stat : 57957 (roundingsat) R 57955 57955 56593 0 -1 4194304 170745 0 0 0 343437 1818 0 0 20 0 1 0 56171605 1025667072 206120 18446744073709551615 4227072 8923433 140726467385136 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35958784 140726467393954 140726467394088 140726467394088 140726467399658 0
/proc/57957/statm: 250407 206120 2528 1147 0 237834 0
Current children cumulated CPU time: 3452.55 s
Current children cumulated vsize: 1005820 KiB
Current children cumulated memory: 827552 KiB
[startup+3522.3 s]
/proc/loadavg: 2.12 2.53 3.24 3/240 58350
/proc/meminfo: memFree=123499880/131382116 swapFree=33010160/33010684
[pid=57955] ppid=57952 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/57955/stat : 57955 (run-opt.sh) S 57952 57955 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 56171604 4292608 768 18446744073709551615 93995108282368 93995109176901 140731941158016 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93995109415952 93995109463696 93995118211072 140731941161325 140731941161448 140731941161448 140731941167050 0
/proc/57955/statm: 1048 768 704 219 0 110 0
[pid=57957] ppid=57955 vsize=1001628 memory=855072 CPUtime=3512.39 cores=1,3
/proc/57957/stat : 57957 (roundingsat) R 57955 57955 56593 0 -1 4194304 170772 0 0 0 349395 1844 0 0 20 0 1 0 56171605 1025667072 213768 18446744073709551615 4227072 8923433 140726467385136 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35958784 140726467393954 140726467394088 140726467394088 140726467399658 0
/proc/57957/statm: 250407 213768 2528 1147 0 237834 0
Current children cumulated CPU time: 3512.39 s
Current children cumulated vsize: 1005820 KiB
Current children cumulated memory: 858144 KiB
[startup+3582.3 s]
/proc/loadavg: 2.09 2.45 3.16 3/240 58352
/proc/meminfo: memFree=123452296/131382116 swapFree=33010160/33010684
[pid=57955] ppid=57952 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/57955/stat : 57955 (run-opt.sh) S 57952 57955 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 56171604 4292608 768 18446744073709551615 93995108282368 93995109176901 140731941158016 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93995109415952 93995109463696 93995118211072 140731941161325 140731941161448 140731941161448 140731941167050 0
/proc/57955/statm: 1048 768 704 219 0 110 0
[pid=57957] ppid=57955 vsize=1001628 memory=888608 CPUtime=3572.23 cores=1,3
/proc/57957/stat : 57957 (roundingsat) R 57955 57955 56593 0 -1 4194304 170800 0 0 0 355348 1875 0 0 20 0 1 0 56171605 1025667072 222152 18446744073709551615 4227072 8923433 140726467385136 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35958784 140726467393954 140726467394088 140726467394088 140726467399658 0
/proc/57957/statm: 250407 222152 2528 1147 0 237834 0
Current children cumulated CPU time: 3572.23 s
Current children cumulated vsize: 1005820 KiB
Current children cumulated memory: 891680 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.2 s]
/proc/loadavg: 2.16 2.44 3.13 3/240 58353
/proc/meminfo: memFree=123437028/131382116 swapFree=33010160/33010684
[pid=57955] ppid=57952 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/57955/stat : 57955 (run-opt.sh) S 57952 57955 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 56171604 4292608 768 18446744073709551615 93995108282368 93995109176901 140731941158016 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93995109415952 93995109463696 93995118211072 140731941161325 140731941161448 140731941161448 140731941167050 0
/proc/57955/statm: 1048 768 704 219 0 110 0
[pid=57957] ppid=57955 vsize=1001628 memory=893472 CPUtime=3600.06 cores=1,3
/proc/57957/stat : 57957 (roundingsat) R 57955 57955 56593 0 -1 4194304 170810 0 0 0 358116 1890 0 0 20 0 1 0 56171605 1025667072 223368 18446744073709551615 4227072 8923433 140726467385136 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35958784 140726467393954 140726467394088 140726467394088 140726467399658 0
/proc/57957/statm: 250407 223368 2528 1147 0 237834 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 1005820 KiB
Current children cumulated memory: 896544 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.21 s]
# the end of solver process 57955 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.004683 s
Sleeping 2 seconds
[startup+3610.21 s]
# the end of solver process 57957 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3581.17 s, system=18.912 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3610.21
CPU time (s): 3600.08
CPU user time (s): 3581.17
CPU system time (s): 18.912
CPU usage (%): 99.7195
Max. virtual memory (cumulated for all children) (KiB): 1005820
Max. memory (cumulated for all children) (KiB): 896544
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.17
system time used= 18.912
maximum resident set size= 893728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 171033
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 262
involuntary context switches= 3148
# summary of solver processes directly reported to runsolver:
# pid: 57955,57957
# total CPU time (s): 3600.08
# total CPU user time (s): 3581.17
# total CPU system time (s): 18.912
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.605 second user time and 35.2644 second system time
The end
Begin job on nodeC004 at 2025-07-01 23:22:04
IDJOB=4499166
IDBENCH=148772
IDSOLVER=3350
FILE ID=nodeC004/4499166-1751404924
RUNJOBID= nodeC004-1751396781-56605
SLURM_JOB_ID= 9598272
Free space on /tmp= 433036 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx63.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4499166-1751404924/watcher-4499166-1751404924 -o /tmp/evaluation-result-4499166-1751404924/solver-4499166-1751404924 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751396781-56605 --watchdog 3760 run-opt.sh HOME/instance-4499166-1751404924.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7c2ff02722ff3a09887b085a032d3a00
RANDOM SEED=875262120
nodeC004 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.022
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.868
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.375
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.665
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3661.991
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3661.645
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.705
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.415
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 104420772 kB
MemAvailable: 108210324 kB
Buffers: 2720 kB
Cached: 4540112 kB
SwapCached: 20 kB
Active: 22000992 kB
Inactive: 4214336 kB
Active(anon): 21684268 kB
Inactive(anon): 6188 kB
Active(file): 316724 kB
Inactive(file): 4208148 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7460 kB
Writeback: 0 kB
AnonPages: 21674720 kB
Mapped: 117220 kB
Shmem: 17956 kB
KReclaimable: 208612 kB
Slab: 294008 kB
SReclaimable: 208612 kB
SUnreclaim: 85396 kB
KernelStack: 4096 kB
PageTables: 51980 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 26350088 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149480 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2822144 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 197448 kB
DirectMap2M: 10190848 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 433044 MiB
End job on nodeC004 at 2025-07-02 00:22:15