0.00/0.01 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01 c │ pbsuma -- a PB interface for satsuma │
0.00/0.01 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.01 c │ (c) 2025 Markus Anders │
0.00/0.01 c └────────────────────────────────────────────────────────────────┘
0.00/0.01 c parse 'HOME/instance-4491074-1751375912.opb'
0.00/0.01 c read 0.01MB (0.31ms)
0.00/0.01 c [cnf: #variables 299 #clauses 101 #duplicates 0 #arr 1751]
0.00/0.01 c
0.00/0.01 c make graph and approximate orbits
0.00/0.01 c [group: #orbits ~= 4] (0.26ms)
0.00/0.01 c
0.00/0.01 c detect special group actions
0.00/0.01 c probe for Johnson action (limit=64)
0.00/0.01 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.01 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.01 c found row 3x2, generating row predicate
0.00/0.01 c (0.08ms)
0.00/0.01 c
0.00/0.01 c detect symmetries on remainder
0.00/0.01 c [graph: #vertices 998 #edges 4698]
0.00/0.01 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.01 c [group: #symmetries 2.00*10^0 #generators 1] (0.27ms)
0.00/0.01 c
0.00/0.01 c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.01 c (0.00ms)
0.00/0.01 c
0.00/0.01 c finalize break order and special generators
0.00/0.01 c
0.00/0.01 c add generic predicates (break_depth=20)
0.00/0.01 c added predicates for 1 generators (0.00ms)
0.00/0.01 c
0.00/0.01 c generation finished
0.00/0.01 c [sbp: #constraints 3 #add_vars 0]
0.00/0.01 c
0.00/0.01 c write result to 'HOME/instance-4491074-1751375912.opb.pre'
0.00/0.01 c wrote 0.01MB (0.09ms)
0.00/0.01 c ------------------------------------------------------------------
0.00/0.01 c 0.31ms 28.38% parse
0.00/0.01 c 0.27ms 24.62% detect_generic
0.00/0.01 c 0.26ms 23.84% approx_orbits
0.00/0.01 c 0.09ms 8.23% output
0.00/0.01 c 0.08ms 7.17% detect_special
0.00/0.01 c 0.07ms 6.14% other
0.00/0.01 c 0.01ms 0.95% finalize_order
0.00/0.01 c 0.00ms 0.33% optimize_gens
0.00/0.01 c 0.00ms 0.33% break_generic
0.00/0.01 c ───────────────────────────────────────────────
0.00/0.01 c 1.09ms 100% total
0.00/0.01 c ------------------------------------------------------------------
0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.00/0.02 c #variables 299 #constraints 103
0.00/0.02 c objective is ce32
0.00/0.02 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.02 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.00/0.02 c bounds - >= 0 @ 0.001425
0.00/0.03 c rational objective 14.1297
0.00/0.08 c bounds 35 >= 0 @ 0.059749
0.00/0.08 c bounds 35 >= 1 @ 0.05986
0.00/0.08 c bounds 35 >= 2 @ 0.059923
0.00/0.08 c bounds 35 >= 3 @ 0.060022
0.00/0.08 c bounds 35 >= 4 @ 0.060159
0.00/0.08 c bounds 35 >= 5 @ 0.060353
0.00/0.08 c bounds 35 >= 6 @ 0.060505
0.00/0.08 c bounds 35 >= 7 @ 0.060767
0.00/0.08 c bounds 34 >= 7 @ 0.06174
0.00/0.09 c bounds 34 >= 8 @ 0.061934
0.00/0.09 c bounds 34 >= 9 @ 0.068982
0.00/0.09 c bounds 33 >= 9 @ 0.069335
0.00/0.09 c bounds 32 >= 9 @ 0.069703
0.00/0.10 c bounds 31 >= 9 @ 0.069923
0.00/0.10 c bounds 30 >= 9 @ 0.069923
0.00/0.10 c bounds 29 >= 9 @ 0.070073
0.00/0.10 c bounds 28 >= 9 @ 0.070529
0.00/0.10 c bounds 28 >= 10 @ 0.072949
0.07/0.10 c bounds 27 >= 10 @ 0.07381
0.07/0.11 c bounds 26 >= 10 @ 0.084247
0.18/0.22 c #Conflicts: 1000 | #Constraints: 1196
0.18/0.22 c bounds 26 >= 11 @ 0.180331
0.18/0.22 c bounds 25 >= 11 @ 0.182985
0.18/0.22 c bounds 24 >= 11 @ 0.183799
0.18/0.22 c bounds 23 >= 11 @ 0.184664
0.18/0.23 c bounds 22 >= 11 @ 0.186082
0.18/0.23 c bounds 21 >= 11 @ 0.187391
0.18/0.25 c bounds 20 >= 11 @ 0.20643
0.28/0.37 c #Conflicts: 2000 | #Constraints: 2256
0.28/0.37 c INPROCESSING
0.28/0.37 c GARBAGE COLLECT
0.28/0.37 c rational objective 14.1643
0.86/0.98 c #Conflicts: 3000 | #Constraints: 2208
0.86/0.98 c #Conflicts: 4000 | #Constraints: 3208
0.86/0.98 c INPROCESSING
0.86/0.98 c GARBAGE COLLECT
0.86/0.98 c rational objective 14.1645
2.07/2.18 c #Conflicts: 5000 | #Constraints: 2701
2.07/2.18 c #Conflicts: 6000 | #Constraints: 4041
2.07/2.18 c INPROCESSING
2.07/2.18 c GARBAGE COLLECT
2.07/2.18 c #Conflicts: 7000 | #Constraints: 2946
2.07/2.18 c #Conflicts: 8000 | #Constraints: 3953
2.07/2.18 c bounds 20 >= 12 @ 2.07621
2.26/2.38 c #Conflicts: 9000 | #Constraints: 5076
2.26/2.38 c INPROCESSING
2.26/2.38 c GARBAGE COLLECT
2.26/2.38 c rational objective 14.1645
2.36/2.47 c bounds 19 >= 12 @ 2.34931
2.56/2.62 c #Conflicts: 10000 | #Constraints: 3634
2.56/2.62 c bounds 18 >= 12 @ 2.49459
2.97/3.02 c #Conflicts: 11000 | #Constraints: 4665
2.97/3.02 c #Conflicts: 12000 | #Constraints: 5688
2.97/3.02 c INPROCESSING
2.97/3.02 c GARBAGE COLLECT
2.97/3.02 c rational objective 14.1645
3.96/4.03 c #Conflicts: 13000 | #Constraints: 3967
3.96/4.03 c #Conflicts: 14000 | #Constraints: 4980
3.96/4.03 c #Conflicts: 15000 | #Constraints: 5991
3.96/4.03 c INPROCESSING
3.96/4.03 c GARBAGE COLLECT
3.96/4.03 c rational objective 14.1646
4.75/4.88 c #Conflicts: 16000 | #Constraints: 4130
4.75/4.88 c #Conflicts: 17000 | #Constraints: 5161
4.75/4.88 c #Conflicts: 18000 | #Constraints: 6182
4.75/4.88 c INPROCESSING
4.75/4.88 c GARBAGE COLLECT
4.75/4.88 c rational objective 14.1645
5.65/5.79 c #Conflicts: 19000 | #Constraints: 4137
5.65/5.79 c #Conflicts: 20000 | #Constraints: 5162
5.65/5.79 c #Conflicts: 21000 | #Constraints: 6178
5.65/5.79 c INPROCESSING
5.65/5.79 c GARBAGE COLLECT
5.65/5.79 c rational objective 14.1645
7.14/7.22 c #Conflicts: 22000 | #Constraints: 3918
7.14/7.22 c #Conflicts: 23000 | #Constraints: 4923
7.14/7.22 c #Conflicts: 24000 | #Constraints: 5926
7.14/7.22 c #Conflicts: 25000 | #Constraints: 6927
7.14/7.22 c INPROCESSING
7.14/7.22 c GARBAGE COLLECT
7.14/7.22 c rational objective 14.1645
8.15/8.23 c #Conflicts: 26000 | #Constraints: 4490
8.15/8.23 c #Conflicts: 27000 | #Constraints: 5523
8.15/8.23 c #Conflicts: 28000 | #Constraints: 6534
8.15/8.23 c #Conflicts: 29000 | #Constraints: 7554
8.15/8.23 c INPROCESSING
8.15/8.23 c GARBAGE COLLECT
8.15/8.23 c rational objective 14.1645
10.94/11.04 c #Conflicts: 30000 | #Constraints: 4916
10.94/11.04 c #Conflicts: 31000 | #Constraints: 5917
10.94/11.04 c #Conflicts: 32000 | #Constraints: 6922
10.94/11.04 c #Conflicts: 33000 | #Constraints: 7925
10.94/11.04 c INPROCESSING
10.94/11.04 c GARBAGE COLLECT
10.94/11.04 c #Conflicts: 34000 | #Constraints: 5130
10.94/11.04 c #Conflicts: 35000 | #Constraints: 6159
10.94/11.04 c #Conflicts: 36000 | #Constraints: 7179
10.94/11.04 c #Conflicts: 37000 | #Constraints: 8214
10.94/11.04 c INPROCESSING
10.94/11.04 c GARBAGE COLLECT
10.94/11.04 c rational objective 14.1646
12.33/12.42 c #Conflicts: 38000 | #Constraints: 5209
12.33/12.42 c #Conflicts: 39000 | #Constraints: 6228
12.33/12.42 c #Conflicts: 40000 | #Constraints: 7251
12.33/12.42 c #Conflicts: 41000 | #Constraints: 8267
12.33/12.42 c INPROCESSING
12.33/12.42 c GARBAGE COLLECT
12.33/12.42 c rational objective 14.1646
14.22/14.31 c #Conflicts: 42000 | #Constraints: 4952
14.22/14.31 c #Conflicts: 43000 | #Constraints: 5956
14.22/14.31 c #Conflicts: 44000 | #Constraints: 6957
14.22/14.31 c #Conflicts: 45000 | #Constraints: 7960
14.22/14.31 c #Conflicts: 46000 | #Constraints: 8960
14.22/14.31 c INPROCESSING
14.22/14.31 c GARBAGE COLLECT
14.22/14.31 c rational objective 14.1646
15.62/15.78 c #Conflicts: 47000 | #Constraints: 5560
15.62/15.78 c #Conflicts: 48000 | #Constraints: 6576
15.62/15.78 c #Conflicts: 49000 | #Constraints: 7593
15.62/15.78 c #Conflicts: 50000 | #Constraints: 8612
15.62/15.78 c #Conflicts: 51000 | #Constraints: 9627
15.62/15.78 c INPROCESSING
15.62/15.78 c GARBAGE COLLECT
15.62/15.78 c rational objective 14.1646
18.21/18.34 c #Conflicts: 52000 | #Constraints: 5935
18.21/18.34 c #Conflicts: 53000 | #Constraints: 6939
18.21/18.34 c #Conflicts: 54000 | #Constraints: 7941
18.21/18.34 c #Conflicts: 55000 | #Constraints: 8942
18.21/18.34 c #Conflicts: 56000 | #Constraints: 9943
18.21/18.34 c INPROCESSING
18.21/18.34 c GARBAGE COLLECT
18.21/18.34 c rational objective 14.1646
19.81/19.98 c #Conflicts: 57000 | #Constraints: 6101
19.81/19.98 c #Conflicts: 58000 | #Constraints: 7120
19.81/19.98 c #Conflicts: 59000 | #Constraints: 8142
19.81/19.98 c #Conflicts: 60000 | #Constraints: 9164
19.81/19.98 c #Conflicts: 61000 | #Constraints: 10181
19.81/19.98 c INPROCESSING
19.81/19.98 c GARBAGE COLLECT
19.81/19.98 c rational objective 14.1646
21.70/21.85 c #Conflicts: 62000 | #Constraints: 6112
21.70/21.85 c #Conflicts: 63000 | #Constraints: 7132
21.70/21.85 c #Conflicts: 64000 | #Constraints: 8153
21.70/21.85 c #Conflicts: 65000 | #Constraints: 9165
21.70/21.85 c #Conflicts: 66000 | #Constraints: 10177
21.70/21.85 c INPROCESSING
21.70/21.85 c GARBAGE COLLECT
21.70/21.85 c rational objective 14.1646
25.18/25.34 c #Conflicts: 67000 | #Constraints: 5931
25.18/25.34 c #Conflicts: 68000 | #Constraints: 6932
25.18/25.34 c #Conflicts: 69000 | #Constraints: 7947
25.18/25.34 c #Conflicts: 70000 | #Constraints: 8960
25.18/25.34 c #Conflicts: 71000 | #Constraints: 10072
25.18/25.34 c #Conflicts: 72000 | #Constraints: 11074
25.18/25.34 c INPROCESSING
25.18/25.34 c GARBAGE COLLECT
25.18/25.34 c rational objective 14.1646
27.18/27.36 c #Conflicts: 73000 | #Constraints: 6560
27.18/27.36 c #Conflicts: 74000 | #Constraints: 7577
27.18/27.36 c #Conflicts: 75000 | #Constraints: 8587
27.18/27.36 c #Conflicts: 76000 | #Constraints: 9603
27.18/27.36 c #Conflicts: 77000 | #Constraints: 10616
27.18/27.36 c #Conflicts: 78000 | #Constraints: 11634
27.18/27.36 c INPROCESSING
27.18/27.36 c GARBAGE COLLECT
27.18/27.36 c rational objective 14.1646
30.66/30.84 c #Conflicts: 79000 | #Constraints: 6950
30.66/30.84 c #Conflicts: 80000 | #Constraints: 7961
30.66/30.84 c #Conflicts: 81000 | #Constraints: 8964
30.66/30.84 c #Conflicts: 82000 | #Constraints: 9972
30.66/30.84 c #Conflicts: 83000 | #Constraints: 10972
30.66/30.84 c bounds 18 >= 13 @ 30.137
30.77/30.98 c #Conflicts: 84000 | #Constraints: 12006
30.77/30.98 c INPROCESSING
30.77/30.98 c GARBAGE COLLECT
30.77/30.98 c rational objective 14.1647
32.97/33.16 c #Conflicts: 85000 | #Constraints: 7127
32.97/33.16 c #Conflicts: 86000 | #Constraints: 8145
32.97/33.16 c #Conflicts: 87000 | #Constraints: 9167
32.97/33.16 c #Conflicts: 88000 | #Constraints: 10190
32.97/33.16 c #Conflicts: 89000 | #Constraints: 11206
32.97/33.16 c #Conflicts: 90000 | #Constraints: 12226
32.97/33.16 c INPROCESSING
32.97/33.16 c GARBAGE COLLECT
32.97/33.16 c rational objective 14.1646
35.35/35.51 c #Conflicts: 91000 | #Constraints: 7141
35.35/35.51 c #Conflicts: 92000 | #Constraints: 8157
35.35/35.51 c #Conflicts: 93000 | #Constraints: 9174
35.35/35.51 c #Conflicts: 94000 | #Constraints: 10189
35.35/35.51 c #Conflicts: 95000 | #Constraints: 11211
35.35/35.51 c #Conflicts: 96000 | #Constraints: 12232
35.35/35.51 c INPROCESSING
35.35/35.51 c GARBAGE COLLECT
35.35/35.51 c rational objective 14.1646
38.05/38.29 c #Conflicts: 97000 | #Constraints: 6956
38.05/38.29 c #Conflicts: 98000 | #Constraints: 7983
38.05/38.29 c #Conflicts: 99000 | #Constraints: 8995
38.05/38.29 c #Conflicts: 100000 | #Constraints: 10013
38.05/38.29 c #Conflicts: 101000 | #Constraints: 11027
38.05/38.29 c #Conflicts: 102000 | #Constraints: 12036
38.05/38.29 c #Conflicts: 103000 | #Constraints: 13046
38.05/38.29 c INPROCESSING
38.05/38.29 c GARBAGE COLLECT
38.05/38.29 c rational objective 14.1646
40.63/40.88 c #Conflicts: 104000 | #Constraints: 7542
40.63/40.88 c #Conflicts: 105000 | #Constraints: 8558
40.63/40.88 c #Conflicts: 106000 | #Constraints: 9568
40.63/40.88 c #Conflicts: 107000 | #Constraints: 10575
40.63/40.88 c #Conflicts: 108000 | #Constraints: 11582
40.63/40.88 c #Conflicts: 109000 | #Constraints: 12602
40.63/40.88 c #Conflicts: 110000 | #Constraints: 13614
40.63/40.88 c INPROCESSING
40.63/40.88 c GARBAGE COLLECT
40.63/40.88 c rational objective 14.1646
45.02/45.27 c #Conflicts: 111000 | #Constraints: 7978
45.02/45.27 c #Conflicts: 112000 | #Constraints: 8979
45.02/45.27 c #Conflicts: 113000 | #Constraints: 9983
45.02/45.27 c #Conflicts: 114000 | #Constraints: 10984
45.02/45.27 c #Conflicts: 115000 | #Constraints: 11986
45.02/45.27 c #Conflicts: 116000 | #Constraints: 12990
45.02/45.27 c #Conflicts: 117000 | #Constraints: 13997
45.02/45.27 c INPROCESSING
45.02/45.27 c GARBAGE COLLECT
45.02/45.27 c rational objective 14.1646
47.92/48.17 c #Conflicts: 118000 | #Constraints: 8147
47.92/48.17 c #Conflicts: 119000 | #Constraints: 9173
47.92/48.17 c #Conflicts: 120000 | #Constraints: 10194
47.92/48.17 c #Conflicts: 121000 | #Constraints: 11212
47.92/48.17 c #Conflicts: 122000 | #Constraints: 12233
47.92/48.17 c #Conflicts: 123000 | #Constraints: 13249
47.92/48.17 c #Conflicts: 124000 | #Constraints: 14259
47.92/48.17 c INPROCESSING
47.92/48.17 c GARBAGE COLLECT
47.92/48.17 c rational objective 14.1647
53.39/53.63 c #Conflicts: 125000 | #Constraints: 8239
53.39/53.63 c #Conflicts: 126000 | #Constraints: 9242
53.39/53.63 c #Conflicts: 127000 | #Constraints: 10246
53.39/53.63 c #Conflicts: 128000 | #Constraints: 11247
53.39/53.63 c #Conflicts: 129000 | #Constraints: 12249
53.39/53.63 c #Conflicts: 130000 | #Constraints: 13252
53.39/53.63 c #Conflicts: 131000 | #Constraints: 14255
53.39/53.63 c INPROCESSING
53.39/53.63 c GARBAGE COLLECT
53.39/53.63 c rational objective 14.1647
56.38/56.67 c #Conflicts: 132000 | #Constraints: 7947
56.38/56.67 c #Conflicts: 133000 | #Constraints: 8969
56.38/56.67 c #Conflicts: 134000 | #Constraints: 9985
56.38/56.67 c #Conflicts: 135000 | #Constraints: 11000
56.38/56.67 c #Conflicts: 136000 | #Constraints: 12013
56.38/56.67 c #Conflicts: 137000 | #Constraints: 13027
56.38/56.67 c #Conflicts: 138000 | #Constraints: 14043
56.38/56.67 c #Conflicts: 139000 | #Constraints: 15062
56.38/56.67 c INPROCESSING
56.38/56.67 c GARBAGE COLLECT
56.38/56.67 c rational objective 14.1647
59.88/60.14 c #Conflicts: 140000 | #Constraints: 8801
59.88/60.14 c #Conflicts: 141000 | #Constraints: 9882
59.88/60.14 c #Conflicts: 142000 | #Constraints: 10901
59.88/60.14 c #Conflicts: 143000 | #Constraints: 11919
59.88/60.14 c #Conflicts: 144000 | #Constraints: 12939
59.88/60.14 c #Conflicts: 145000 | #Constraints: 13961
59.88/60.14 c #Conflicts: 146000 | #Constraints: 14980
59.88/60.14 c #Conflicts: 147000 | #Constraints: 16002
59.88/60.14 c INPROCESSING
59.88/60.14 c GARBAGE COLLECT
59.88/60.14 c rational objective 14.1647
66.04/66.30 c #Conflicts: 148000 | #Constraints: 9145
66.04/66.30 c #Conflicts: 149000 | #Constraints: 10150
66.04/66.30 c #Conflicts: 150000 | #Constraints: 11175
66.04/66.30 c #Conflicts: 151000 | #Constraints: 12178
66.04/66.30 c #Conflicts: 152000 | #Constraints: 13188
66.04/66.30 c #Conflicts: 153000 | #Constraints: 14192
66.04/66.30 c #Conflicts: 154000 | #Constraints: 15198
66.04/66.30 c #Conflicts: 155000 | #Constraints: 16202
66.04/66.30 c INPROCESSING
66.04/66.30 c GARBAGE COLLECT
66.04/66.30 c rational objective 14.165
69.75/70.08 c #Conflicts: 156000 | #Constraints: 9362
69.75/70.08 c #Conflicts: 157000 | #Constraints: 10393
69.75/70.08 c #Conflicts: 158000 | #Constraints: 11402
69.75/70.08 c #Conflicts: 159000 | #Constraints: 12416
69.75/70.08 c #Conflicts: 160000 | #Constraints: 13424
69.75/70.08 c #Conflicts: 161000 | #Constraints: 14431
69.75/70.08 c #Conflicts: 162000 | #Constraints: 15442
69.75/70.08 c #Conflicts: 163000 | #Constraints: 16457
69.75/70.08 c INPROCESSING
69.75/70.08 c GARBAGE COLLECT
69.75/70.08 c rational objective 14.1651
76.52/76.83 c #Conflicts: 164000 | #Constraints: 9288
76.52/76.83 c #Conflicts: 165000 | #Constraints: 10430
76.52/76.83 c #Conflicts: 166000 | #Constraints: 11432
76.52/76.83 c #Conflicts: 167000 | #Constraints: 12435
76.52/76.83 c #Conflicts: 168000 | #Constraints: 13437
76.52/76.83 c #Conflicts: 169000 | #Constraints: 14440
76.52/76.83 c #Conflicts: 170000 | #Constraints: 15449
76.52/76.83 c #Conflicts: 171000 | #Constraints: 16450
76.52/76.83 c INPROCESSING
76.52/76.83 c GARBAGE COLLECT
76.52/76.83 c rational objective 14.1651
80.40/80.78 c #Conflicts: 172000 | #Constraints: 9040
80.40/80.78 c #Conflicts: 173000 | #Constraints: 10056
80.40/80.78 c #Conflicts: 174000 | #Constraints: 11075
80.40/80.78 c #Conflicts: 175000 | #Constraints: 12090
80.40/80.78 c #Conflicts: 176000 | #Constraints: 13105
80.40/80.78 c #Conflicts: 177000 | #Constraints: 14113
80.40/80.78 c #Conflicts: 178000 | #Constraints: 15131
80.40/80.78 c #Conflicts: 179000 | #Constraints: 16143
80.40/80.78 c #Conflicts: 180000 | #Constraints: 17150
80.40/80.78 c INPROCESSING
80.40/80.78 c GARBAGE COLLECT
80.40/80.78 c rational objective 14.1651
84.69/85.05 c #Conflicts: 181000 | #Constraints: 9599
84.69/85.05 c #Conflicts: 182000 | #Constraints: 10617
84.69/85.05 c #Conflicts: 183000 | #Constraints: 11635
84.69/85.05 c #Conflicts: 184000 | #Constraints: 12651
84.69/85.05 c #Conflicts: 185000 | #Constraints: 13662
84.69/85.05 c #Conflicts: 186000 | #Constraints: 14680
84.69/85.05 c #Conflicts: 187000 | #Constraints: 15695
84.69/85.05 c #Conflicts: 188000 | #Constraints: 16706
84.69/85.05 c #Conflicts: 189000 | #Constraints: 17720
84.69/85.05 c INPROCESSING
84.69/85.05 c GARBAGE COLLECT
84.69/85.05 c rational objective 14.1652
90.87/91.22 c #Conflicts: 190000 | #Constraints: 9997
90.87/91.22 c #Conflicts: 191000 | #Constraints: 11008
90.87/91.22 c #Conflicts: 192000 | #Constraints: 12016
90.87/91.22 c #Conflicts: 193000 | #Constraints: 13022
90.87/91.22 c #Conflicts: 194000 | #Constraints: 14026
90.87/91.22 c #Conflicts: 195000 | #Constraints: 15029
90.87/91.22 c #Conflicts: 196000 | #Constraints: 16035
90.87/91.22 c #Conflicts: 197000 | #Constraints: 17046
90.87/91.22 c #Conflicts: 198000 | #Constraints: 18054
90.87/91.22 c INPROCESSING
90.87/91.22 c GARBAGE COLLECT
90.87/91.22 c rational objective 14.1652
95.25/95.63 c #Conflicts: 199000 | #Constraints: 10236
95.25/95.63 c #Conflicts: 200000 | #Constraints: 11258
95.25/95.63 c #Conflicts: 201000 | #Constraints: 12279
95.25/95.63 c #Conflicts: 202000 | #Constraints: 13301
95.25/95.63 c #Conflicts: 203000 | #Constraints: 14320
95.25/95.63 c #Conflicts: 204000 | #Constraints: 15345
95.25/95.63 c #Conflicts: 205000 | #Constraints: 16367
95.25/95.63 c #Conflicts: 206000 | #Constraints: 17388
95.25/95.63 c #Conflicts: 207000 | #Constraints: 18409
95.25/95.63 c INPROCESSING
95.25/95.63 c GARBAGE COLLECT
95.25/95.63 c rational objective 14.1652
101.03/101.41 c #Conflicts: 208000 | #Constraints: 10239
101.03/101.41 c #Conflicts: 209000 | #Constraints: 11245
101.03/101.41 c #Conflicts: 210000 | #Constraints: 12252
101.03/101.41 c #Conflicts: 211000 | #Constraints: 13266
101.03/101.41 c #Conflicts: 212000 | #Constraints: 14280
101.03/101.41 c #Conflicts: 213000 | #Constraints: 15290
101.03/101.41 c #Conflicts: 214000 | #Constraints: 16299
101.03/101.41 c #Conflicts: 215000 | #Constraints: 17303
101.03/101.41 c #Conflicts: 216000 | #Constraints: 18320
101.03/101.41 c INPROCESSING
101.03/101.41 c GARBAGE COLLECT
101.03/101.41 c rational objective 14.1652
105.61/106.02 c #Conflicts: 217000 | #Constraints: 9998
105.61/106.02 c #Conflicts: 218000 | #Constraints: 11022
105.61/106.02 c #Conflicts: 219000 | #Constraints: 12046
105.61/106.02 c #Conflicts: 220000 | #Constraints: 13060
105.61/106.02 c #Conflicts: 221000 | #Constraints: 14076
105.61/106.02 c #Conflicts: 222000 | #Constraints: 15094
105.61/106.02 c #Conflicts: 223000 | #Constraints: 16109
105.61/106.02 c #Conflicts: 224000 | #Constraints: 17130
105.61/106.02 c #Conflicts: 225000 | #Constraints: 18149
105.61/106.02 c #Conflicts: 226000 | #Constraints: 19161
105.61/106.02 c INPROCESSING
105.61/106.02 c GARBAGE COLLECT
105.61/106.02 c rational objective 14.1652
112.69/113.14 c #Conflicts: 227000 | #Constraints: 10606
112.69/113.14 c #Conflicts: 228000 | #Constraints: 11617
112.69/113.14 c #Conflicts: 229000 | #Constraints: 12628
112.69/113.14 c #Conflicts: 230000 | #Constraints: 13638
112.69/113.14 c #Conflicts: 231000 | #Constraints: 14645
112.69/113.14 c #Conflicts: 232000 | #Constraints: 15646
112.69/113.14 c #Conflicts: 233000 | #Constraints: 16648
112.69/113.14 c #Conflicts: 234000 | #Constraints: 17651
112.69/113.14 c #Conflicts: 235000 | #Constraints: 18658
112.69/113.14 c #Conflicts: 236000 | #Constraints: 19659
112.69/113.14 c INPROCESSING
112.69/113.14 c GARBAGE COLLECT
112.69/113.14 c rational objective 14.1652
117.67/118.13 c #Conflicts: 237000 | #Constraints: 10959
117.67/118.13 c #Conflicts: 238000 | #Constraints: 11974
117.67/118.13 c #Conflicts: 239000 | #Constraints: 12990
117.67/118.13 c #Conflicts: 240000 | #Constraints: 13998
117.67/118.13 c #Conflicts: 241000 | #Constraints: 15007
117.67/118.13 c #Conflicts: 242000 | #Constraints: 16015
117.67/118.13 c #Conflicts: 243000 | #Constraints: 17024
117.67/118.13 c #Conflicts: 244000 | #Constraints: 18035
117.67/118.13 c #Conflicts: 245000 | #Constraints: 19053
117.67/118.13 c #Conflicts: 246000 | #Constraints: 20066
117.67/118.13 c INPROCESSING
117.67/118.13 c GARBAGE COLLECT
117.67/118.13 c rational objective 14.1652
122.75/123.21 c #Conflicts: 247000 | #Constraints: 11190
122.75/123.21 c #Conflicts: 248000 | #Constraints: 12208
122.75/123.21 c #Conflicts: 249000 | #Constraints: 13226
122.75/123.21 c #Conflicts: 250000 | #Constraints: 14236
122.75/123.21 c #Conflicts: 251000 | #Constraints: 15242
122.75/123.21 c #Conflicts: 252000 | #Constraints: 16253
122.75/123.21 c #Conflicts: 253000 | #Constraints: 17271
122.75/123.21 c #Conflicts: 254000 | #Constraints: 18282
122.75/123.21 c #Conflicts: 255000 | #Constraints: 19290
122.75/123.21 c #Conflicts: 256000 | #Constraints: 20300
122.75/123.21 c INPROCESSING
122.75/123.21 c GARBAGE COLLECT
122.75/123.21 c rational objective 14.1652
132.02/132.55 c #Conflicts: 257000 | #Constraints: 11222
132.02/132.55 c #Conflicts: 258000 | #Constraints: 12227
132.02/132.55 c #Conflicts: 259000 | #Constraints: 13235
132.02/132.55 c #Conflicts: 260000 | #Constraints: 14243
132.02/132.55 c #Conflicts: 261000 | #Constraints: 15262
132.02/132.55 c #Conflicts: 262000 | #Constraints: 16264
132.02/132.55 c #Conflicts: 263000 | #Constraints: 17267
132.02/132.55 c #Conflicts: 264000 | #Constraints: 18268
132.02/132.55 c #Conflicts: 265000 | #Constraints: 19270
132.02/132.55 c #Conflicts: 266000 | #Constraints: 20273
132.02/132.55 c INPROCESSING
132.02/132.55 c GARBAGE COLLECT
132.02/132.55 c rational objective 14.1652
137.91/138.40 c #Conflicts: 267000 | #Constraints: 10992
137.91/138.40 c #Conflicts: 268000 | #Constraints: 12021
137.91/138.40 c #Conflicts: 269000 | #Constraints: 13035
137.91/138.40 c #Conflicts: 270000 | #Constraints: 14059
137.91/138.40 c #Conflicts: 271000 | #Constraints: 15079
137.91/138.40 c #Conflicts: 272000 | #Constraints: 16092
137.91/138.40 c #Conflicts: 273000 | #Constraints: 17111
137.91/138.40 c #Conflicts: 274000 | #Constraints: 18129
137.91/138.40 c #Conflicts: 275000 | #Constraints: 19144
137.91/138.40 c #Conflicts: 276000 | #Constraints: 20162
137.91/138.40 c #Conflicts: 277000 | #Constraints: 21181
137.91/138.40 c INPROCESSING
137.91/138.40 c GARBAGE COLLECT
137.91/138.40 c rational objective 14.1652
147.88/148.44 c #Conflicts: 278000 | #Constraints: 11633
147.88/148.44 c #Conflicts: 279000 | #Constraints: 12635
147.88/148.44 c #Conflicts: 280000 | #Constraints: 13637
147.88/148.44 c #Conflicts: 281000 | #Constraints: 14642
147.88/148.44 c #Conflicts: 282000 | #Constraints: 15644
147.88/148.44 c #Conflicts: 283000 | #Constraints: 16653
147.88/148.44 c #Conflicts: 284000 | #Constraints: 17658
147.88/148.44 c #Conflicts: 285000 | #Constraints: 18663
147.88/148.44 c #Conflicts: 286000 | #Constraints: 19669
147.88/148.44 c #Conflicts: 287000 | #Constraints: 20673
147.88/148.44 c #Conflicts: 288000 | #Constraints: 21673
147.88/148.44 c INPROCESSING
147.88/148.44 c GARBAGE COLLECT
147.88/148.44 c rational objective 14.1652
153.65/154.26 c #Conflicts: 289000 | #Constraints: 11981
153.65/154.26 c #Conflicts: 290000 | #Constraints: 12993
153.65/154.26 c #Conflicts: 291000 | #Constraints: 14009
153.65/154.26 c #Conflicts: 292000 | #Constraints: 15027
153.65/154.26 c #Conflicts: 293000 | #Constraints: 16043
153.65/154.26 c #Conflicts: 294000 | #Constraints: 17058
153.65/154.26 c #Conflicts: 295000 | #Constraints: 18075
153.65/154.26 c #Conflicts: 296000 | #Constraints: 19085
153.65/154.26 c #Conflicts: 297000 | #Constraints: 20095
153.65/154.26 c #Conflicts: 298000 | #Constraints: 21106
153.65/154.26 c #Conflicts: 299000 | #Constraints: 22112
153.65/154.26 c INPROCESSING
153.65/154.26 c GARBAGE COLLECT
153.65/154.26 c rational objective 14.1652
164.23/164.89 c #Conflicts: 300000 | #Constraints: 12187
164.23/164.89 c #Conflicts: 301000 | #Constraints: 13190
164.23/164.89 c #Conflicts: 302000 | #Constraints: 14195
164.23/164.89 c #Conflicts: 303000 | #Constraints: 15202
164.23/164.89 c #Conflicts: 304000 | #Constraints: 16210
164.23/164.89 c #Conflicts: 305000 | #Constraints: 17211
164.23/164.89 c #Conflicts: 306000 | #Constraints: 18215
164.23/164.89 c #Conflicts: 307000 | #Constraints: 19218
164.23/164.89 c #Conflicts: 308000 | #Constraints: 20221
164.23/164.89 c #Conflicts: 309000 | #Constraints: 21222
164.23/164.89 c #Conflicts: 310000 | #Constraints: 22225
164.23/164.89 c INPROCESSING
164.23/164.89 c GARBAGE COLLECT
164.23/164.89 c rational objective 14.1652
170.31/170.96 c #Conflicts: 311000 | #Constraints: 12156
170.31/170.96 c #Conflicts: 312000 | #Constraints: 13174
170.31/170.96 c #Conflicts: 313000 | #Constraints: 14190
170.31/170.96 c #Conflicts: 314000 | #Constraints: 15203
170.31/170.96 c #Conflicts: 315000 | #Constraints: 16215
170.31/170.96 c #Conflicts: 316000 | #Constraints: 17232
170.31/170.96 c #Conflicts: 317000 | #Constraints: 18251
170.31/170.96 c #Conflicts: 318000 | #Constraints: 19263
170.31/170.96 c #Conflicts: 319000 | #Constraints: 20283
170.31/170.96 c #Conflicts: 320000 | #Constraints: 21299
170.31/170.96 c #Conflicts: 321000 | #Constraints: 22317
170.31/170.96 c INPROCESSING
170.31/170.96 c GARBAGE COLLECT
170.31/170.96 c rational objective 14.1652
176.59/177.22 c #Conflicts: 322000 | #Constraints: 11989
176.59/177.22 c #Conflicts: 323000 | #Constraints: 13007
176.59/177.22 c #Conflicts: 324000 | #Constraints: 14017
176.59/177.22 c #Conflicts: 325000 | #Constraints: 15028
176.59/177.22 c #Conflicts: 326000 | #Constraints: 16039
176.59/177.22 c #Conflicts: 327000 | #Constraints: 17060
176.59/177.22 c #Conflicts: 328000 | #Constraints: 18076
176.59/177.22 c #Conflicts: 329000 | #Constraints: 19098
176.59/177.22 c #Conflicts: 330000 | #Constraints: 20116
176.59/177.22 c #Conflicts: 331000 | #Constraints: 21130
176.59/177.22 c #Conflicts: 332000 | #Constraints: 22151
176.59/177.22 c #Conflicts: 333000 | #Constraints: 23170
176.59/177.22 c INPROCESSING
176.59/177.22 c GARBAGE COLLECT
176.59/177.22 c rational objective 14.1652
187.66/188.36 c #Conflicts: 334000 | #Constraints: 12611
187.66/188.36 c #Conflicts: 335000 | #Constraints: 13615
187.66/188.36 c #Conflicts: 336000 | #Constraints: 14619
187.66/188.36 c #Conflicts: 337000 | #Constraints: 15621
187.66/188.36 c #Conflicts: 338000 | #Constraints: 16622
187.66/188.36 c #Conflicts: 339000 | #Constraints: 17623
187.66/188.36 c #Conflicts: 340000 | #Constraints: 18626
187.66/188.36 c #Conflicts: 341000 | #Constraints: 19632
187.66/188.36 c #Conflicts: 342000 | #Constraints: 20633
187.66/188.36 c #Conflicts: 343000 | #Constraints: 21635
187.66/188.36 c #Conflicts: 344000 | #Constraints: 22641
187.66/188.36 c #Conflicts: 345000 | #Constraints: 23642
187.66/188.36 c INPROCESSING
187.66/188.36 c GARBAGE COLLECT
187.66/188.36 c rational objective 14.1652
194.35/195.07 c #Conflicts: 346000 | #Constraints: 12968
194.35/195.07 c #Conflicts: 347000 | #Constraints: 13981
194.35/195.07 c #Conflicts: 348000 | #Constraints: 14994
194.35/195.07 c #Conflicts: 349000 | #Constraints: 16017
194.35/195.07 c #Conflicts: 350000 | #Constraints: 17027
194.35/195.07 c #Conflicts: 351000 | #Constraints: 18047
194.35/195.07 c #Conflicts: 352000 | #Constraints: 19058
194.35/195.07 c #Conflicts: 353000 | #Constraints: 20076
194.35/195.07 c #Conflicts: 354000 | #Constraints: 21087
194.35/195.07 c #Conflicts: 355000 | #Constraints: 22093
194.35/195.07 c #Conflicts: 356000 | #Constraints: 23104
194.35/195.07 c #Conflicts: 357000 | #Constraints: 24112
194.35/195.07 c INPROCESSING
194.35/195.07 c GARBAGE COLLECT
194.35/195.07 c rational objective 14.1652
205.32/206.01 c #Conflicts: 358000 | #Constraints: 13181
205.32/206.01 c #Conflicts: 359000 | #Constraints: 14197
205.32/206.01 c #Conflicts: 360000 | #Constraints: 15199
205.32/206.01 c #Conflicts: 361000 | #Constraints: 16201
205.32/206.01 c #Conflicts: 362000 | #Constraints: 17202
205.32/206.01 c #Conflicts: 363000 | #Constraints: 18204
205.32/206.01 c #Conflicts: 364000 | #Constraints: 19206
205.32/206.01 c #Conflicts: 365000 | #Constraints: 20209
205.32/206.01 c #Conflicts: 366000 | #Constraints: 21211
205.32/206.01 c #Conflicts: 367000 | #Constraints: 22215
205.32/206.01 c #Conflicts: 368000 | #Constraints: 23220
205.32/206.01 c #Conflicts: 369000 | #Constraints: 24222
205.32/206.01 c INPROCESSING
205.32/206.01 c GARBAGE COLLECT
205.32/206.01 c rational objective 14.1652
212.30/213.10 c #Conflicts: 370000 | #Constraints: 13150
212.30/213.10 c #Conflicts: 371000 | #Constraints: 14167
212.30/213.10 c #Conflicts: 372000 | #Constraints: 15178
212.30/213.10 c #Conflicts: 373000 | #Constraints: 16197
212.30/213.10 c #Conflicts: 374000 | #Constraints: 17217
212.30/213.10 c #Conflicts: 375000 | #Constraints: 18238
212.30/213.10 c #Conflicts: 376000 | #Constraints: 19253
212.30/213.10 c #Conflicts: 377000 | #Constraints: 20267
212.30/213.10 c #Conflicts: 378000 | #Constraints: 21280
212.30/213.10 c #Conflicts: 379000 | #Constraints: 22290
212.30/213.10 c #Conflicts: 380000 | #Constraints: 23298
212.30/213.10 c #Conflicts: 381000 | #Constraints: 24309
212.30/213.10 c INPROCESSING
212.30/213.10 c GARBAGE COLLECT
212.30/213.10 c rational objective 14.1652
219.28/220.05 c #Conflicts: 382000 | #Constraints: 12978
219.28/220.05 c #Conflicts: 383000 | #Constraints: 13994
219.28/220.05 c #Conflicts: 384000 | #Constraints: 15008
219.28/220.05 c #Conflicts: 385000 | #Constraints: 16019
219.28/220.05 c #Conflicts: 386000 | #Constraints: 17037
219.28/220.05 c #Conflicts: 387000 | #Constraints: 18051
219.28/220.05 c #Conflicts: 388000 | #Constraints: 19059
219.28/220.05 c #Conflicts: 389000 | #Constraints: 20071
219.28/220.05 c #Conflicts: 390000 | #Constraints: 21083
219.28/220.05 c #Conflicts: 391000 | #Constraints: 22089
219.28/220.05 c #Conflicts: 392000 | #Constraints: 23096
219.28/220.05 c #Conflicts: 393000 | #Constraints: 24108
219.28/220.05 c #Conflicts: 394000 | #Constraints: 25122
219.28/220.05 c INPROCESSING
219.28/220.05 c GARBAGE COLLECT
219.28/220.05 c rational objective 14.1652
231.84/232.68 c #Conflicts: 395000 | #Constraints: 13587
231.84/232.68 c #Conflicts: 396000 | #Constraints: 14590
231.84/232.68 c #Conflicts: 397000 | #Constraints: 15598
231.84/232.68 c #Conflicts: 398000 | #Constraints: 16603
231.84/232.68 c #Conflicts: 399000 | #Constraints: 17603
231.84/232.68 c #Conflicts: 400000 | #Constraints: 18605
231.84/232.68 c #Conflicts: 401000 | #Constraints: 19609
231.84/232.68 c #Conflicts: 402000 | #Constraints: 20612
231.84/232.68 c #Conflicts: 403000 | #Constraints: 21616
231.84/232.68 c #Conflicts: 404000 | #Constraints: 22620
231.84/232.68 c #Conflicts: 405000 | #Constraints: 23622
231.84/232.68 c #Conflicts: 406000 | #Constraints: 24624
231.84/232.68 c #Conflicts: 407000 | #Constraints: 25627
231.84/232.68 c INPROCESSING
231.84/232.68 c GARBAGE COLLECT
231.84/232.68 c rational objective 14.1652
239.42/240.23 c #Conflicts: 408000 | #Constraints: 13938
239.42/240.23 c #Conflicts: 409000 | #Constraints: 14957
239.42/240.23 c #Conflicts: 410000 | #Constraints: 15968
239.42/240.23 c #Conflicts: 411000 | #Constraints: 16980
239.42/240.23 c #Conflicts: 412000 | #Constraints: 17989
239.42/240.23 c #Conflicts: 413000 | #Constraints: 19007
239.42/240.23 c #Conflicts: 414000 | #Constraints: 20019
239.42/240.23 c #Conflicts: 415000 | #Constraints: 21032
239.42/240.23 c #Conflicts: 416000 | #Constraints: 22049
239.42/240.23 c #Conflicts: 417000 | #Constraints: 23063
239.42/240.23 c #Conflicts: 418000 | #Constraints: 24085
239.42/240.23 c #Conflicts: 419000 | #Constraints: 25100
239.42/240.23 c #Conflicts: 420000 | #Constraints: 26115
239.42/240.23 c INPROCESSING
239.42/240.23 c GARBAGE COLLECT
239.42/240.23 c rational objective 14.1652
251.38/252.20 c #Conflicts: 421000 | #Constraints: 14198
251.38/252.20 c #Conflicts: 422000 | #Constraints: 15214
251.38/252.20 c #Conflicts: 423000 | #Constraints: 16225
251.38/252.20 c #Conflicts: 424000 | #Constraints: 17230
251.38/252.20 c #Conflicts: 425000 | #Constraints: 18238
251.38/252.20 c #Conflicts: 426000 | #Constraints: 19244
251.38/252.20 c #Conflicts: 427000 | #Constraints: 20247
251.38/252.20 c #Conflicts: 428000 | #Constraints: 21253
251.38/252.20 c #Conflicts: 429000 | #Constraints: 22258
251.38/252.20 c #Conflicts: 430000 | #Constraints: 23269
251.38/252.20 c #Conflicts: 431000 | #Constraints: 24277
251.38/252.20 c #Conflicts: 432000 | #Constraints: 25284
251.38/252.20 c #Conflicts: 433000 | #Constraints: 26292
251.38/252.20 c INPROCESSING
251.38/252.20 c GARBAGE COLLECT
251.38/252.20 c rational objective 14.1652
258.96/259.84 c #Conflicts: 434000 | #Constraints: 14176
258.96/259.84 c #Conflicts: 435000 | #Constraints: 15188
258.96/259.84 c #Conflicts: 436000 | #Constraints: 16199
258.96/259.84 c #Conflicts: 437000 | #Constraints: 17216
258.96/259.84 c #Conflicts: 438000 | #Constraints: 18236
258.96/259.84 c #Conflicts: 439000 | #Constraints: 19255
258.96/259.84 c #Conflicts: 440000 | #Constraints: 20276
258.96/259.84 c #Conflicts: 441000 | #Constraints: 21304
258.96/259.84 c #Conflicts: 442000 | #Constraints: 22320
258.96/259.84 c #Conflicts: 443000 | #Constraints: 23329
258.96/259.84 c #Conflicts: 444000 | #Constraints: 24353
258.96/259.84 c #Conflicts: 445000 | #Constraints: 25369
258.96/259.84 c #Conflicts: 446000 | #Constraints: 26383
258.96/259.84 c INPROCESSING
258.96/259.84 c GARBAGE COLLECT
258.96/259.84 c rational objective 14.1652
267.23/268.17 c #Conflicts: 447000 | #Constraints: 14034
267.23/268.17 c #Conflicts: 448000 | #Constraints: 15049
267.23/268.17 c #Conflicts: 449000 | #Constraints: 16065
267.23/268.17 c #Conflicts: 450000 | #Constraints: 17075
267.23/268.17 c #Conflicts: 451000 | #Constraints: 18094
267.23/268.17 c #Conflicts: 452000 | #Constraints: 19112
267.23/268.17 c #Conflicts: 453000 | #Constraints: 20127
267.23/268.17 c #Conflicts: 454000 | #Constraints: 21151
267.23/268.17 c #Conflicts: 455000 | #Constraints: 22161
267.23/268.17 c #Conflicts: 456000 | #Constraints: 23177
267.23/268.17 c #Conflicts: 457000 | #Constraints: 24191
267.23/268.17 c #Conflicts: 458000 | #Constraints: 25198
267.23/268.17 c #Conflicts: 459000 | #Constraints: 26217
267.23/268.17 c #Conflicts: 460000 | #Constraints: 27228
267.23/268.17 c INPROCESSING
267.23/268.17 c GARBAGE COLLECT
267.23/268.17 c rational objective 14.1652
286.87/287.89 c #Conflicts: 461000 | #Constraints: 14645
286.87/287.89 c #Conflicts: 462000 | #Constraints: 15650
286.87/287.89 c #Conflicts: 463000 | #Constraints: 16652
286.87/287.89 c #Conflicts: 464000 | #Constraints: 17653
286.87/287.89 c #Conflicts: 465000 | #Constraints: 18653
286.87/287.89 c #Conflicts: 466000 | #Constraints: 19654
286.87/287.89 c #Conflicts: 467000 | #Constraints: 20656
286.87/287.89 c #Conflicts: 468000 | #Constraints: 21658
286.87/287.89 c #Conflicts: 469000 | #Constraints: 22659
286.87/287.89 c #Conflicts: 470000 | #Constraints: 23659
286.87/287.89 c #Conflicts: 471000 | #Constraints: 24661
286.87/287.89 c #Conflicts: 472000 | #Constraints: 25662
286.87/287.89 c #Conflicts: 473000 | #Constraints: 26664
286.87/287.89 c #Conflicts: 474000 | #Constraints: 27664
286.87/287.89 c INPROCESSING
286.87/287.89 c GARBAGE COLLECT
286.87/287.89 c rational objective 14.1652
299.02/300.04 c #Conflicts: 475000 | #Constraints: 14994
299.02/300.04 c #Conflicts: 476000 | #Constraints: 16009
299.02/300.04 c #Conflicts: 477000 | #Constraints: 17026
299.02/300.04 c #Conflicts: 478000 | #Constraints: 18038
299.02/300.04 c #Conflicts: 479000 | #Constraints: 19053
299.02/300.04 c #Conflicts: 480000 | #Constraints: 20061
299.02/300.04 c #Conflicts: 481000 | #Constraints: 21079
299.02/300.04 c #Conflicts: 482000 | #Constraints: 22095
299.02/300.04 c #Conflicts: 483000 | #Constraints: 23112
299.02/300.04 c #Conflicts: 484000 | #Constraints: 24130
299.02/300.04 c #Conflicts: 485000 | #Constraints: 25149
299.02/300.04 c #Conflicts: 486000 | #Constraints: 26162
299.02/300.04 c #Conflicts: 487000 | #Constraints: 27178
299.02/300.04 c #Conflicts: 488000 | #Constraints: 28188
299.02/300.04 c INPROCESSING
299.02/300.04 c GARBAGE COLLECT
299.02/300.04 c rational objective 14.1652
314.56/315.62 c #Conflicts: 489000 | #Constraints: 15216
314.56/315.62 c #Conflicts: 490000 | #Constraints: 16227
314.56/315.62 c #Conflicts: 491000 | #Constraints: 17229
314.56/315.62 c #Conflicts: 492000 | #Constraints: 18235
314.56/315.62 c #Conflicts: 493000 | #Constraints: 19239
314.56/315.62 c #Conflicts: 494000 | #Constraints: 20244
314.56/315.62 c #Conflicts: 495000 | #Constraints: 21250
314.56/315.62 c #Conflicts: 496000 | #Constraints: 22254
314.56/315.62 c #Conflicts: 497000 | #Constraints: 23258
314.56/315.62 c #Conflicts: 498000 | #Constraints: 24261
314.56/315.62 c #Conflicts: 499000 | #Constraints: 25263
314.56/315.62 c #Conflicts: 500000 | #Constraints: 26268
314.56/315.62 c #Conflicts: 501000 | #Constraints: 27269
314.56/315.62 c #Conflicts: 502000 | #Constraints: 28272
314.56/315.62 c INPROCESSING
314.56/315.62 c GARBAGE COLLECT
314.56/315.62 c rational objective 14.1652
325.82/326.91 c #Conflicts: 503000 | #Constraints: 15159
325.82/326.91 c #Conflicts: 504000 | #Constraints: 16172
325.82/326.91 c #Conflicts: 505000 | #Constraints: 17189
325.82/326.91 c #Conflicts: 506000 | #Constraints: 18199
325.82/326.91 c #Conflicts: 507000 | #Constraints: 19213
325.82/326.91 c #Conflicts: 508000 | #Constraints: 20220
325.82/326.91 c #Conflicts: 509000 | #Constraints: 21235
325.82/326.91 c #Conflicts: 510000 | #Constraints: 22250
325.82/326.91 c #Conflicts: 511000 | #Constraints: 23265
325.82/326.91 c #Conflicts: 512000 | #Constraints: 24283
325.82/326.91 c #Conflicts: 513000 | #Constraints: 25295
325.82/326.91 c #Conflicts: 514000 | #Constraints: 26308
325.82/326.91 c #Conflicts: 515000 | #Constraints: 27323
325.82/326.91 c #Conflicts: 516000 | #Constraints: 28341
325.82/326.91 c INPROCESSING
325.82/326.91 c GARBAGE COLLECT
325.82/326.91 c rational objective 14.1652
334.60/335.75 c #Conflicts: 517000 | #Constraints: 14992
334.60/335.75 c #Conflicts: 518000 | #Constraints: 15999
334.60/335.75 c #Conflicts: 519000 | #Constraints: 17012
334.60/335.75 c #Conflicts: 520000 | #Constraints: 18026
334.60/335.75 c #Conflicts: 521000 | #Constraints: 19043
334.60/335.75 c #Conflicts: 522000 | #Constraints: 20048
334.60/335.75 c #Conflicts: 523000 | #Constraints: 21055
334.60/335.75 c #Conflicts: 524000 | #Constraints: 22068
334.60/335.75 c #Conflicts: 525000 | #Constraints: 23074
334.60/335.75 c #Conflicts: 526000 | #Constraints: 24083
334.60/335.75 c #Conflicts: 527000 | #Constraints: 25101
334.60/335.75 c #Conflicts: 528000 | #Constraints: 26113
334.60/335.75 c #Conflicts: 529000 | #Constraints: 27128
334.60/335.75 c #Conflicts: 530000 | #Constraints: 28151
334.60/335.75 c #Conflicts: 531000 | #Constraints: 29173
334.60/335.75 c INPROCESSING
334.60/335.75 c GARBAGE COLLECT
334.60/335.75 c rational objective 14.1652
351.14/352.35 c #Conflicts: 532000 | #Constraints: 15613
351.14/352.35 c #Conflicts: 533000 | #Constraints: 16616
351.14/352.35 c #Conflicts: 534000 | #Constraints: 17619
351.14/352.35 c #Conflicts: 535000 | #Constraints: 18620
351.14/352.35 c #Conflicts: 536000 | #Constraints: 19624
351.14/352.35 c #Conflicts: 537000 | #Constraints: 20626
351.14/352.35 c #Conflicts: 538000 | #Constraints: 21627
351.14/352.35 c #Conflicts: 539000 | #Constraints: 22637
351.14/352.35 c #Conflicts: 540000 | #Constraints: 23637
351.14/352.35 c #Conflicts: 541000 | #Constraints: 24641
351.14/352.35 c #Conflicts: 542000 | #Constraints: 25643
351.14/352.35 c #Conflicts: 543000 | #Constraints: 26645
351.14/352.35 c #Conflicts: 544000 | #Constraints: 27646
351.14/352.35 c #Conflicts: 545000 | #Constraints: 28648
351.14/352.35 c #Conflicts: 546000 | #Constraints: 29653
351.14/352.35 c INPROCESSING
351.14/352.35 c GARBAGE COLLECT
351.14/352.35 c rational objective 14.1652
360.41/361.65 c #Conflicts: 547000 | #Constraints: 15956
360.41/361.65 c #Conflicts: 548000 | #Constraints: 16970
360.41/361.65 c #Conflicts: 549000 | #Constraints: 17982
360.41/361.65 c #Conflicts: 550000 | #Constraints: 18992
360.41/361.65 c #Conflicts: 551000 | #Constraints: 20005
360.41/361.65 c #Conflicts: 552000 | #Constraints: 21018
360.41/361.65 c #Conflicts: 553000 | #Constraints: 22036
360.41/361.65 c #Conflicts: 554000 | #Constraints: 23050
360.41/361.65 c #Conflicts: 555000 | #Constraints: 24066
360.41/361.65 c #Conflicts: 556000 | #Constraints: 25089
360.41/361.65 c #Conflicts: 557000 | #Constraints: 26109
360.41/361.65 c #Conflicts: 558000 | #Constraints: 27125
360.41/361.65 c #Conflicts: 559000 | #Constraints: 28130
360.41/361.65 c #Conflicts: 560000 | #Constraints: 29141
360.41/361.65 c #Conflicts: 561000 | #Constraints: 30156
360.41/361.65 c INPROCESSING
360.41/361.65 c GARBAGE COLLECT
360.41/361.65 c rational objective 14.1652
379.44/380.75 c #Conflicts: 562000 | #Constraints: 16208
379.44/380.75 c #Conflicts: 563000 | #Constraints: 17211
379.44/380.75 c #Conflicts: 564000 | #Constraints: 18213
379.44/380.75 c #Conflicts: 565000 | #Constraints: 19214
379.44/380.75 c #Conflicts: 566000 | #Constraints: 20216
379.44/380.75 c #Conflicts: 567000 | #Constraints: 21217
379.44/380.75 c #Conflicts: 568000 | #Constraints: 22220
379.44/380.75 c #Conflicts: 569000 | #Constraints: 23220
379.44/380.75 c #Conflicts: 570000 | #Constraints: 24221
379.44/380.75 c #Conflicts: 571000 | #Constraints: 25224
379.44/380.75 c #Conflicts: 572000 | #Constraints: 26225
379.44/380.75 c #Conflicts: 573000 | #Constraints: 27231
379.44/380.75 c #Conflicts: 574000 | #Constraints: 28238
379.44/380.75 c #Conflicts: 575000 | #Constraints: 29246
379.44/380.75 c #Conflicts: 576000 | #Constraints: 30250
379.44/380.75 c INPROCESSING
379.44/380.75 c GARBAGE COLLECT
379.44/380.75 c rational objective 14.1652
389.31/390.63 c #Conflicts: 577000 | #Constraints: 16163
389.31/390.63 c #Conflicts: 578000 | #Constraints: 17176
389.31/390.63 c #Conflicts: 579000 | #Constraints: 18184
389.31/390.63 c #Conflicts: 580000 | #Constraints: 19193
389.31/390.63 c #Conflicts: 581000 | #Constraints: 20199
389.31/390.63 c #Conflicts: 582000 | #Constraints: 21214
389.31/390.63 c #Conflicts: 583000 | #Constraints: 22224
389.31/390.63 c #Conflicts: 584000 | #Constraints: 23239
389.31/390.63 c #Conflicts: 585000 | #Constraints: 24251
389.31/390.63 c #Conflicts: 586000 | #Constraints: 25258
389.31/390.63 c #Conflicts: 587000 | #Constraints: 26267
389.31/390.63 c #Conflicts: 588000 | #Constraints: 27283
389.31/390.63 c #Conflicts: 589000 | #Constraints: 28289
389.31/390.63 c #Conflicts: 590000 | #Constraints: 29298
389.31/390.63 c #Conflicts: 591000 | #Constraints: 30303
389.31/390.63 c INPROCESSING
389.31/390.63 c GARBAGE COLLECT
389.31/390.63 c rational objective 14.1652
399.48/400.85 c #Conflicts: 592000 | #Constraints: 15996
399.48/400.85 c #Conflicts: 593000 | #Constraints: 17012
399.48/400.85 c #Conflicts: 594000 | #Constraints: 18021
399.48/400.85 c #Conflicts: 595000 | #Constraints: 19038
399.48/400.85 c #Conflicts: 596000 | #Constraints: 20061
399.48/400.85 c #Conflicts: 597000 | #Constraints: 21074
399.48/400.85 c #Conflicts: 598000 | #Constraints: 22095
399.48/400.85 c #Conflicts: 599000 | #Constraints: 23108
399.48/400.85 c #Conflicts: 600000 | #Constraints: 24124
399.48/400.85 c #Conflicts: 601000 | #Constraints: 25141
399.48/400.85 c #Conflicts: 602000 | #Constraints: 26161
399.48/400.85 c #Conflicts: 603000 | #Constraints: 27172
399.48/400.85 c #Conflicts: 604000 | #Constraints: 28182
399.48/400.85 c #Conflicts: 605000 | #Constraints: 29199
399.48/400.85 c #Conflicts: 606000 | #Constraints: 30216
399.48/400.85 c #Conflicts: 607000 | #Constraints: 31231
399.48/400.85 c INPROCESSING
399.48/400.85 c GARBAGE COLLECT
399.48/400.85 c rational objective 14.1652
417.51/418.96 c #Conflicts: 608000 | #Constraints: 16686
417.51/418.96 c #Conflicts: 609000 | #Constraints: 17688
417.51/418.96 c #Conflicts: 610000 | #Constraints: 18690
417.51/418.96 c #Conflicts: 611000 | #Constraints: 19695
417.51/418.96 c #Conflicts: 612000 | #Constraints: 20699
417.51/418.96 c #Conflicts: 613000 | #Constraints: 21703
417.51/418.96 c #Conflicts: 614000 | #Constraints: 22706
417.51/418.96 c #Conflicts: 615000 | #Constraints: 23713
417.51/418.96 c #Conflicts: 616000 | #Constraints: 24714
417.51/418.96 c #Conflicts: 617000 | #Constraints: 25715
417.51/418.96 c #Conflicts: 618000 | #Constraints: 26717
417.51/418.96 c #Conflicts: 619000 | #Constraints: 27718
417.51/418.96 c #Conflicts: 620000 | #Constraints: 28721
417.51/418.96 c #Conflicts: 621000 | #Constraints: 29724
417.51/418.96 c #Conflicts: 622000 | #Constraints: 30727
417.51/418.96 c #Conflicts: 623000 | #Constraints: 31730
417.51/418.96 c INPROCESSING
417.51/418.96 c GARBAGE COLLECT
417.51/418.96 c rational objective 14.1652
427.77/429.20 c #Conflicts: 624000 | #Constraints: 17009
427.77/429.20 c #Conflicts: 625000 | #Constraints: 18035
427.77/429.20 c #Conflicts: 626000 | #Constraints: 19045
427.77/429.20 c #Conflicts: 627000 | #Constraints: 20058
427.77/429.20 c #Conflicts: 628000 | #Constraints: 21066
427.77/429.20 c #Conflicts: 629000 | #Constraints: 22071
427.77/429.20 c #Conflicts: 630000 | #Constraints: 23077
427.77/429.20 c #Conflicts: 631000 | #Constraints: 24095
427.77/429.20 c #Conflicts: 632000 | #Constraints: 25107
427.77/429.20 c #Conflicts: 633000 | #Constraints: 26118
427.77/429.20 c #Conflicts: 634000 | #Constraints: 27127
427.77/429.20 c #Conflicts: 635000 | #Constraints: 28137
427.77/429.20 c #Conflicts: 636000 | #Constraints: 29145
427.77/429.20 c #Conflicts: 637000 | #Constraints: 30150
427.77/429.20 c #Conflicts: 638000 | #Constraints: 31170
427.77/429.20 c #Conflicts: 639000 | #Constraints: 32182
427.77/429.20 c INPROCESSING
427.77/429.20 c GARBAGE COLLECT
427.77/429.20 c rational objective 14.1652
450.00/451.58 c #Conflicts: 640000 | #Constraints: 17217
450.00/451.58 c #Conflicts: 641000 | #Constraints: 18221
450.00/451.58 c #Conflicts: 642000 | #Constraints: 19223
450.00/451.58 c #Conflicts: 643000 | #Constraints: 20227
450.00/451.58 c #Conflicts: 644000 | #Constraints: 21230
450.00/451.58 c #Conflicts: 645000 | #Constraints: 22234
450.00/451.58 c #Conflicts: 646000 | #Constraints: 23236
450.00/451.58 c #Conflicts: 647000 | #Constraints: 24237
450.00/451.58 c #Conflicts: 648000 | #Constraints: 25240
450.00/451.58 c #Conflicts: 649000 | #Constraints: 26240
450.00/451.58 c #Conflicts: 650000 | #Constraints: 27242
450.00/451.58 c #Conflicts: 651000 | #Constraints: 28244
450.00/451.58 c #Conflicts: 652000 | #Constraints: 29247
450.00/451.58 c #Conflicts: 653000 | #Constraints: 30248
450.00/451.58 c #Conflicts: 654000 | #Constraints: 31249
450.00/451.58 c #Conflicts: 655000 | #Constraints: 32249
450.00/451.58 c INPROCESSING
450.00/451.58 c GARBAGE COLLECT
450.00/451.58 c rational objective 14.1652
462.17/463.78 c #Conflicts: 656000 | #Constraints: 17214
462.17/463.78 c #Conflicts: 657000 | #Constraints: 18233
462.17/463.78 c #Conflicts: 658000 | #Constraints: 19249
462.17/463.78 c #Conflicts: 659000 | #Constraints: 20261
462.17/463.78 c #Conflicts: 660000 | #Constraints: 21277
462.17/463.78 c #Conflicts: 661000 | #Constraints: 22290
462.17/463.78 c #Conflicts: 662000 | #Constraints: 23297
462.17/463.78 c #Conflicts: 663000 | #Constraints: 24305
462.17/463.78 c #Conflicts: 664000 | #Constraints: 25313
462.17/463.78 c #Conflicts: 665000 | #Constraints: 26319
462.17/463.78 c #Conflicts: 666000 | #Constraints: 27329
462.17/463.78 c #Conflicts: 667000 | #Constraints: 28341
462.17/463.78 c #Conflicts: 668000 | #Constraints: 29361
462.17/463.78 c #Conflicts: 669000 | #Constraints: 30368
462.17/463.78 c #Conflicts: 670000 | #Constraints: 31375
462.17/463.78 c #Conflicts: 671000 | #Constraints: 32385
462.17/463.78 c INPROCESSING
462.17/463.78 c GARBAGE COLLECT
462.17/463.78 c rational objective 14.1652
484.52/486.16 c #Conflicts: 672000 | #Constraints: 17040
484.52/486.16 c #Conflicts: 673000 | #Constraints: 18041
484.52/486.16 c #Conflicts: 674000 | #Constraints: 19042
484.52/486.16 c #Conflicts: 675000 | #Constraints: 20045
484.52/486.16 c #Conflicts: 676000 | #Constraints: 21049
484.52/486.16 c #Conflicts: 677000 | #Constraints: 22051
484.52/486.16 c #Conflicts: 678000 | #Constraints: 23052
484.52/486.16 c #Conflicts: 679000 | #Constraints: 24054
484.52/486.16 c #Conflicts: 680000 | #Constraints: 25055
484.52/486.16 c #Conflicts: 681000 | #Constraints: 26058
484.52/486.16 c #Conflicts: 682000 | #Constraints: 27059
484.52/486.16 c #Conflicts: 683000 | #Constraints: 28063
484.52/486.16 c #Conflicts: 684000 | #Constraints: 29069
484.52/486.16 c #Conflicts: 685000 | #Constraints: 30072
484.52/486.16 c #Conflicts: 686000 | #Constraints: 31074
484.52/486.16 c #Conflicts: 687000 | #Constraints: 32076
484.52/486.16 c #Conflicts: 688000 | #Constraints: 33077
484.52/486.16 c INPROCESSING
484.52/486.16 c GARBAGE COLLECT
484.52/486.16 c rational objective 14.1653
496.48/498.16 c #Conflicts: 689000 | #Constraints: 17570
496.48/498.16 c #Conflicts: 690000 | #Constraints: 18585
496.48/498.16 c #Conflicts: 691000 | #Constraints: 19591
496.48/498.16 c #Conflicts: 692000 | #Constraints: 20596
496.48/498.16 c #Conflicts: 693000 | #Constraints: 21599
496.48/498.16 c #Conflicts: 694000 | #Constraints: 22609
496.48/498.16 c #Conflicts: 695000 | #Constraints: 23628
496.48/498.16 c #Conflicts: 696000 | #Constraints: 24647
496.48/498.16 c #Conflicts: 697000 | #Constraints: 25662
496.48/498.16 c #Conflicts: 698000 | #Constraints: 26677
496.48/498.16 c #Conflicts: 699000 | #Constraints: 27690
496.48/498.16 c #Conflicts: 700000 | #Constraints: 28707
496.48/498.16 c #Conflicts: 701000 | #Constraints: 29730
496.48/498.16 c #Conflicts: 702000 | #Constraints: 30742
496.48/498.16 c #Conflicts: 703000 | #Constraints: 31767
496.48/498.16 c #Conflicts: 704000 | #Constraints: 32792
496.48/498.16 c #Conflicts: 705000 | #Constraints: 33808
496.48/498.16 c INPROCESSING
496.48/498.16 c GARBAGE COLLECT
496.48/498.16 c rational objective 14.1653
508.14/509.81 c #Conflicts: 706000 | #Constraints: 18034
508.14/509.81 c #Conflicts: 707000 | #Constraints: 19047
508.14/509.81 c #Conflicts: 708000 | #Constraints: 20067
508.14/509.81 c #Conflicts: 709000 | #Constraints: 21073
508.14/509.81 c #Conflicts: 710000 | #Constraints: 22085
508.14/509.81 c #Conflicts: 711000 | #Constraints: 23098
508.14/509.81 c #Conflicts: 712000 | #Constraints: 24108
508.14/509.81 c #Conflicts: 713000 | #Constraints: 25121
508.14/509.81 c #Conflicts: 714000 | #Constraints: 26137
508.14/509.81 c #Conflicts: 715000 | #Constraints: 27161
508.14/509.81 c #Conflicts: 716000 | #Constraints: 28172
508.14/509.81 c #Conflicts: 717000 | #Constraints: 29188
508.14/509.81 c #Conflicts: 718000 | #Constraints: 30203
508.14/509.81 c #Conflicts: 719000 | #Constraints: 31229
508.14/509.81 c #Conflicts: 720000 | #Constraints: 32243
508.14/509.81 c #Conflicts: 721000 | #Constraints: 33264
508.14/509.81 c bounds 17 >= 13 @ 502.759
508.94/510.62 c #Conflicts: 722000 | #Constraints: 34279
508.94/510.62 c INPROCESSING
508.94/510.62 c GARBAGE COLLECT
508.94/510.62 c rational objective 14.1653
539.56/541.32 c #Conflicts: 723000 | #Constraints: 18274
539.56/541.32 c #Conflicts: 724000 | #Constraints: 19287
539.56/541.32 c #Conflicts: 725000 | #Constraints: 20290
539.56/541.32 c #Conflicts: 726000 | #Constraints: 21291
539.56/541.32 c #Conflicts: 727000 | #Constraints: 22293
539.56/541.32 c #Conflicts: 728000 | #Constraints: 23298
539.56/541.32 c #Conflicts: 729000 | #Constraints: 24302
539.56/541.32 c #Conflicts: 730000 | #Constraints: 25303
539.56/541.32 c #Conflicts: 731000 | #Constraints: 26305
539.56/541.32 c #Conflicts: 732000 | #Constraints: 27307
539.56/541.32 c #Conflicts: 733000 | #Constraints: 28307
539.56/541.32 c #Conflicts: 734000 | #Constraints: 29312
539.56/541.32 c #Conflicts: 735000 | #Constraints: 30315
539.56/541.32 c #Conflicts: 736000 | #Constraints: 31318
539.56/541.32 c #Conflicts: 737000 | #Constraints: 32322
539.56/541.32 c #Conflicts: 738000 | #Constraints: 33326
539.56/541.32 c #Conflicts: 739000 | #Constraints: 34330
539.56/541.32 c INPROCESSING
539.56/541.32 c GARBAGE COLLECT
539.56/541.32 c rational objective 14.1653
553.61/555.41 c #Conflicts: 740000 | #Constraints: 18203
553.61/555.41 c #Conflicts: 741000 | #Constraints: 19221
553.61/555.41 c #Conflicts: 742000 | #Constraints: 20236
553.61/555.41 c #Conflicts: 743000 | #Constraints: 21248
553.61/555.41 c #Conflicts: 744000 | #Constraints: 22265
553.61/555.41 c #Conflicts: 745000 | #Constraints: 23283
553.61/555.41 c #Conflicts: 746000 | #Constraints: 24296
553.61/555.41 c #Conflicts: 747000 | #Constraints: 25310
553.61/555.41 c #Conflicts: 748000 | #Constraints: 26323
553.61/555.41 c #Conflicts: 749000 | #Constraints: 27334
553.61/555.41 c #Conflicts: 750000 | #Constraints: 28351
553.61/555.41 c #Conflicts: 751000 | #Constraints: 29370
553.61/555.41 c #Conflicts: 752000 | #Constraints: 30380
553.61/555.41 c #Conflicts: 753000 | #Constraints: 31396
553.61/555.41 c #Conflicts: 754000 | #Constraints: 32405
553.61/555.41 c #Conflicts: 755000 | #Constraints: 33415
553.61/555.41 c #Conflicts: 756000 | #Constraints: 34426
553.61/555.41 c INPROCESSING
553.61/555.41 c GARBAGE COLLECT
553.61/555.41 c rational objective 14.1653
567.57/569.45 c #Conflicts: 757000 | #Constraints: 18037
567.57/569.45 c #Conflicts: 758000 | #Constraints: 19053
567.57/569.45 c #Conflicts: 759000 | #Constraints: 20072
567.57/569.45 c #Conflicts: 760000 | #Constraints: 21086
567.57/569.45 c #Conflicts: 761000 | #Constraints: 22103
567.57/569.45 c #Conflicts: 762000 | #Constraints: 23115
567.57/569.45 c #Conflicts: 763000 | #Constraints: 24134
567.57/569.45 c #Conflicts: 764000 | #Constraints: 25142
567.57/569.45 c #Conflicts: 765000 | #Constraints: 26149
567.57/569.45 c #Conflicts: 766000 | #Constraints: 27154
567.57/569.45 c #Conflicts: 767000 | #Constraints: 28160
567.57/569.45 c #Conflicts: 768000 | #Constraints: 29167
567.57/569.45 c #Conflicts: 769000 | #Constraints: 30179
567.57/569.45 c #Conflicts: 770000 | #Constraints: 31193
567.57/569.45 c #Conflicts: 771000 | #Constraints: 32206
567.57/569.45 c #Conflicts: 772000 | #Constraints: 33214
567.57/569.45 c #Conflicts: 773000 | #Constraints: 34224
567.57/569.45 c #Conflicts: 774000 | #Constraints: 35234
567.57/569.45 c INPROCESSING
567.57/569.45 c GARBAGE COLLECT
567.57/569.45 c rational objective 14.1653
589.81/591.70 c #Conflicts: 775000 | #Constraints: 18654
589.81/591.70 c #Conflicts: 776000 | #Constraints: 19660
589.81/591.70 c #Conflicts: 777000 | #Constraints: 20663
589.81/591.70 c #Conflicts: 778000 | #Constraints: 21666
589.81/591.70 c #Conflicts: 779000 | #Constraints: 22670
589.81/591.70 c #Conflicts: 780000 | #Constraints: 23677
589.81/591.70 c #Conflicts: 781000 | #Constraints: 24685
589.81/591.70 c #Conflicts: 782000 | #Constraints: 25693
589.81/591.70 c #Conflicts: 783000 | #Constraints: 26701
589.81/591.70 c #Conflicts: 784000 | #Constraints: 27708
589.81/591.70 c #Conflicts: 785000 | #Constraints: 28720
589.81/591.70 c #Conflicts: 786000 | #Constraints: 29727
589.81/591.70 c #Conflicts: 787000 | #Constraints: 30731
589.81/591.70 c #Conflicts: 788000 | #Constraints: 31738
589.81/591.70 c #Conflicts: 789000 | #Constraints: 32746
589.81/591.70 c #Conflicts: 790000 | #Constraints: 33753
589.81/591.70 c #Conflicts: 791000 | #Constraints: 34758
589.81/591.70 c #Conflicts: 792000 | #Constraints: 35775
589.81/591.70 c INPROCESSING
589.81/591.70 c GARBAGE COLLECT
589.81/591.70 c rational objective 14.1653
603.76/605.71 c #Conflicts: 793000 | #Constraints: 19036
603.76/605.71 c #Conflicts: 794000 | #Constraints: 20046
603.76/605.71 c #Conflicts: 795000 | #Constraints: 21062
603.76/605.71 c #Conflicts: 796000 | #Constraints: 22083
603.76/605.71 c #Conflicts: 797000 | #Constraints: 23097
603.76/605.71 c #Conflicts: 798000 | #Constraints: 24105
603.76/605.71 c #Conflicts: 799000 | #Constraints: 25113
603.76/605.71 c #Conflicts: 800000 | #Constraints: 26132
603.76/605.71 c #Conflicts: 801000 | #Constraints: 27145
603.76/605.71 c #Conflicts: 802000 | #Constraints: 28153
603.76/605.71 c #Conflicts: 803000 | #Constraints: 29164
603.76/605.71 c #Conflicts: 804000 | #Constraints: 30174
603.76/605.71 c #Conflicts: 805000 | #Constraints: 31190
603.76/605.71 c #Conflicts: 806000 | #Constraints: 32201
603.76/605.71 c #Conflicts: 807000 | #Constraints: 33219
603.76/605.71 c #Conflicts: 808000 | #Constraints: 34232
603.76/605.71 c #Conflicts: 809000 | #Constraints: 35241
603.76/605.71 c #Conflicts: 810000 | #Constraints: 36248
603.76/605.71 c INPROCESSING
603.76/605.71 c GARBAGE COLLECT
603.76/605.71 c rational objective 14.1653
626.30/628.33 c #Conflicts: 811000 | #Constraints: 19276
626.30/628.33 c #Conflicts: 812000 | #Constraints: 20277
626.30/628.33 c #Conflicts: 813000 | #Constraints: 21282
626.30/628.33 c #Conflicts: 814000 | #Constraints: 22293
626.30/628.33 c #Conflicts: 815000 | #Constraints: 23298
626.30/628.33 c #Conflicts: 816000 | #Constraints: 24304
626.30/628.33 c #Conflicts: 817000 | #Constraints: 25311
626.30/628.33 c #Conflicts: 818000 | #Constraints: 26316
626.30/628.33 c #Conflicts: 819000 | #Constraints: 27335
626.30/628.33 c #Conflicts: 820000 | #Constraints: 28345
626.30/628.33 c #Conflicts: 821000 | #Constraints: 29352
626.30/628.33 c #Conflicts: 822000 | #Constraints: 30362
626.30/628.33 c #Conflicts: 823000 | #Constraints: 31370
626.30/628.33 c #Conflicts: 824000 | #Constraints: 32373
626.30/628.33 c #Conflicts: 825000 | #Constraints: 33379
626.30/628.33 c #Conflicts: 826000 | #Constraints: 34382
626.30/628.33 c #Conflicts: 827000 | #Constraints: 35391
626.30/628.33 c #Conflicts: 828000 | #Constraints: 36394
626.30/628.33 c INPROCESSING
626.30/628.33 c GARBAGE COLLECT
626.30/628.33 c rational objective 14.1653
640.56/642.63 c #Conflicts: 829000 | #Constraints: 19260
640.56/642.63 c #Conflicts: 830000 | #Constraints: 20283
640.56/642.63 c #Conflicts: 831000 | #Constraints: 21303
640.56/642.63 c #Conflicts: 832000 | #Constraints: 22317
640.56/642.63 c #Conflicts: 833000 | #Constraints: 23341
640.56/642.63 c #Conflicts: 834000 | #Constraints: 24359
640.56/642.63 c #Conflicts: 835000 | #Constraints: 25379
640.56/642.63 c #Conflicts: 836000 | #Constraints: 26397
640.56/642.63 c #Conflicts: 837000 | #Constraints: 27412
640.56/642.63 c #Conflicts: 838000 | #Constraints: 28428
640.56/642.63 c #Conflicts: 839000 | #Constraints: 29447
640.56/642.63 c #Conflicts: 840000 | #Constraints: 30460
640.56/642.63 c #Conflicts: 841000 | #Constraints: 31470
640.56/642.63 c #Conflicts: 842000 | #Constraints: 32489
640.56/642.63 c #Conflicts: 843000 | #Constraints: 33501
640.56/642.63 c #Conflicts: 844000 | #Constraints: 34517
640.56/642.63 c #Conflicts: 845000 | #Constraints: 35531
640.56/642.63 c #Conflicts: 846000 | #Constraints: 36551
640.56/642.63 c INPROCESSING
640.56/642.63 c GARBAGE COLLECT
640.56/642.63 c rational objective 14.1653
662.70/664.80 c #Conflicts: 847000 | #Constraints: 19103
662.70/664.80 c #Conflicts: 848000 | #Constraints: 20103
662.70/664.80 c #Conflicts: 849000 | #Constraints: 21106
662.70/664.80 c #Conflicts: 850000 | #Constraints: 22112
662.70/664.80 c #Conflicts: 851000 | #Constraints: 23120
662.70/664.80 c #Conflicts: 852000 | #Constraints: 24131
662.70/664.80 c #Conflicts: 853000 | #Constraints: 25134
662.70/664.80 c #Conflicts: 854000 | #Constraints: 26137
662.70/664.80 c #Conflicts: 855000 | #Constraints: 27141
662.70/664.80 c #Conflicts: 856000 | #Constraints: 28148
662.70/664.80 c #Conflicts: 857000 | #Constraints: 29153
662.70/664.80 c #Conflicts: 858000 | #Constraints: 30160
662.70/664.80 c #Conflicts: 859000 | #Constraints: 31167
662.70/664.80 c #Conflicts: 860000 | #Constraints: 32178
662.70/664.80 c #Conflicts: 861000 | #Constraints: 33181
662.70/664.80 c #Conflicts: 862000 | #Constraints: 34188
662.70/664.80 c #Conflicts: 863000 | #Constraints: 35193
662.70/664.80 c #Conflicts: 864000 | #Constraints: 36201
662.70/664.80 c #Conflicts: 865000 | #Constraints: 37209
662.70/664.80 c INPROCESSING
662.70/664.80 c GARBAGE COLLECT
662.70/664.80 c rational objective 14.1653
677.06/679.23 c #Conflicts: 866000 | #Constraints: 19651
677.06/679.23 c #Conflicts: 867000 | #Constraints: 20658
677.06/679.23 c #Conflicts: 868000 | #Constraints: 21667
677.06/679.23 c #Conflicts: 869000 | #Constraints: 22678
677.06/679.23 c #Conflicts: 870000 | #Constraints: 23683
677.06/679.23 c #Conflicts: 871000 | #Constraints: 24688
677.06/679.23 c #Conflicts: 872000 | #Constraints: 25695
677.06/679.23 c #Conflicts: 873000 | #Constraints: 26705
677.06/679.23 c #Conflicts: 874000 | #Constraints: 27711
677.06/679.23 c #Conflicts: 875000 | #Constraints: 28717
677.06/679.23 c #Conflicts: 876000 | #Constraints: 29725
677.06/679.23 c #Conflicts: 877000 | #Constraints: 30736
677.06/679.23 c #Conflicts: 878000 | #Constraints: 31743
677.06/679.23 c #Conflicts: 879000 | #Constraints: 32753
677.06/679.23 c #Conflicts: 880000 | #Constraints: 33762
677.06/679.23 c #Conflicts: 881000 | #Constraints: 34774
677.06/679.23 c #Conflicts: 882000 | #Constraints: 35791
677.06/679.23 c #Conflicts: 883000 | #Constraints: 36815
677.06/679.23 c #Conflicts: 884000 | #Constraints: 37828
677.06/679.23 c INPROCESSING
677.06/679.23 c GARBAGE COLLECT
677.06/679.23 c rational objective 14.1653
691.82/694.02 c #Conflicts: 885000 | #Constraints: 20041
691.82/694.02 c #Conflicts: 886000 | #Constraints: 21051
691.82/694.02 c #Conflicts: 887000 | #Constraints: 22062
691.82/694.02 c #Conflicts: 888000 | #Constraints: 23072
691.82/694.02 c #Conflicts: 889000 | #Constraints: 24084
691.82/694.02 c #Conflicts: 890000 | #Constraints: 25095
691.82/694.02 c #Conflicts: 891000 | #Constraints: 26114
691.82/694.02 c #Conflicts: 892000 | #Constraints: 27122
691.82/694.02 c #Conflicts: 893000 | #Constraints: 28127
691.82/694.02 c #Conflicts: 894000 | #Constraints: 29136
691.82/694.02 c #Conflicts: 895000 | #Constraints: 30143
691.82/694.02 c #Conflicts: 896000 | #Constraints: 31149
691.82/694.02 c #Conflicts: 897000 | #Constraints: 32153
691.82/694.02 c #Conflicts: 898000 | #Constraints: 33158
691.82/694.02 c #Conflicts: 899000 | #Constraints: 34176
691.82/694.02 c #Conflicts: 900000 | #Constraints: 35181
691.82/694.02 c #Conflicts: 901000 | #Constraints: 36186
691.82/694.02 c #Conflicts: 902000 | #Constraints: 37196
691.82/694.02 c #Conflicts: 903000 | #Constraints: 38203
691.82/694.02 c INPROCESSING
691.82/694.02 c GARBAGE COLLECT
691.82/694.02 c rational objective 14.1653
712.95/715.24 c #Conflicts: 904000 | #Constraints: 20235
712.95/715.24 c #Conflicts: 905000 | #Constraints: 21248
712.95/715.24 c #Conflicts: 906000 | #Constraints: 22253
712.95/715.24 c #Conflicts: 907000 | #Constraints: 23258
712.95/715.24 c #Conflicts: 908000 | #Constraints: 24266
712.95/715.24 c #Conflicts: 909000 | #Constraints: 25271
712.95/715.24 c #Conflicts: 910000 | #Constraints: 26276
712.95/715.24 c #Conflicts: 911000 | #Constraints: 27281
712.95/715.24 c #Conflicts: 912000 | #Constraints: 28292
712.95/715.24 c #Conflicts: 913000 | #Constraints: 29302
712.95/715.24 c #Conflicts: 914000 | #Constraints: 30311
712.95/715.24 c #Conflicts: 915000 | #Constraints: 31317
712.95/715.24 c #Conflicts: 916000 | #Constraints: 32321
712.95/715.24 c #Conflicts: 917000 | #Constraints: 33329
712.95/715.24 c #Conflicts: 918000 | #Constraints: 34332
712.95/715.24 c #Conflicts: 919000 | #Constraints: 35335
712.95/715.24 c #Conflicts: 920000 | #Constraints: 36349
712.95/715.24 c #Conflicts: 921000 | #Constraints: 37358
712.95/715.24 c #Conflicts: 922000 | #Constraints: 38366
712.95/715.24 c INPROCESSING
712.95/715.24 c GARBAGE COLLECT
712.95/715.24 c rational objective 14.1653
728.21/730.52 c #Conflicts: 923000 | #Constraints: 20209
728.21/730.52 c #Conflicts: 924000 | #Constraints: 21218
728.21/730.52 c #Conflicts: 925000 | #Constraints: 22230
728.21/730.52 c #Conflicts: 926000 | #Constraints: 23245
728.21/730.52 c #Conflicts: 927000 | #Constraints: 24263
728.21/730.52 c #Conflicts: 928000 | #Constraints: 25272
728.21/730.52 c #Conflicts: 929000 | #Constraints: 26287
728.21/730.52 c #Conflicts: 930000 | #Constraints: 27297
728.21/730.52 c #Conflicts: 931000 | #Constraints: 28315
728.21/730.52 c #Conflicts: 932000 | #Constraints: 29328
728.21/730.52 c #Conflicts: 933000 | #Constraints: 30336
728.21/730.52 c #Conflicts: 934000 | #Constraints: 31351
728.21/730.52 c #Conflicts: 935000 | #Constraints: 32364
728.21/730.52 c #Conflicts: 936000 | #Constraints: 33382
728.21/730.52 c #Conflicts: 937000 | #Constraints: 34388
728.21/730.52 c #Conflicts: 938000 | #Constraints: 35403
728.21/730.52 c #Conflicts: 939000 | #Constraints: 36416
728.21/730.52 c #Conflicts: 940000 | #Constraints: 37431
728.21/730.52 c #Conflicts: 941000 | #Constraints: 38448
728.21/730.52 c INPROCESSING
728.21/730.52 c GARBAGE COLLECT
728.21/730.52 c rational objective 14.1653
744.47/746.86 c #Conflicts: 942000 | #Constraints: 20086
744.47/746.86 c #Conflicts: 943000 | #Constraints: 21109
744.47/746.86 c #Conflicts: 944000 | #Constraints: 22128
744.47/746.86 c #Conflicts: 945000 | #Constraints: 23145
744.47/746.86 c #Conflicts: 946000 | #Constraints: 24163
744.47/746.86 c #Conflicts: 947000 | #Constraints: 25179
744.47/746.86 c #Conflicts: 948000 | #Constraints: 26195
744.47/746.86 c #Conflicts: 949000 | #Constraints: 27207
744.47/746.86 c #Conflicts: 950000 | #Constraints: 28220
744.47/746.86 c #Conflicts: 951000 | #Constraints: 29230
744.47/746.86 c #Conflicts: 952000 | #Constraints: 30243
744.47/746.86 c #Conflicts: 953000 | #Constraints: 31261
744.47/746.86 c #Conflicts: 954000 | #Constraints: 32275
744.47/746.86 c #Conflicts: 955000 | #Constraints: 33291
744.47/746.86 c #Conflicts: 956000 | #Constraints: 34299
744.47/746.86 c #Conflicts: 957000 | #Constraints: 35316
744.47/746.86 c #Conflicts: 958000 | #Constraints: 36326
744.47/746.86 c #Conflicts: 959000 | #Constraints: 37334
744.47/746.86 c #Conflicts: 960000 | #Constraints: 38342
744.47/746.86 c #Conflicts: 961000 | #Constraints: 39353
744.47/746.86 c INPROCESSING
744.47/746.86 c GARBAGE COLLECT
744.47/746.86 c rational objective 14.1653
760.52/762.95 c #Conflicts: 962000 | #Constraints: 20719
760.52/762.95 c #Conflicts: 963000 | #Constraints: 21727
760.52/762.95 c #Conflicts: 964000 | #Constraints: 22736
760.52/762.95 c #Conflicts: 965000 | #Constraints: 23749
760.52/762.95 c #Conflicts: 966000 | #Constraints: 24770
760.52/762.95 c #Conflicts: 967000 | #Constraints: 25786
760.52/762.95 c #Conflicts: 968000 | #Constraints: 26803
760.52/762.95 c #Conflicts: 969000 | #Constraints: 27819
760.52/762.95 c #Conflicts: 970000 | #Constraints: 28832
760.52/762.95 c #Conflicts: 971000 | #Constraints: 29842
760.52/762.95 c #Conflicts: 972000 | #Constraints: 30857
760.52/762.95 c #Conflicts: 973000 | #Constraints: 31868
760.52/762.95 c #Conflicts: 974000 | #Constraints: 32884
760.52/762.95 c #Conflicts: 975000 | #Constraints: 33893
760.52/762.95 c #Conflicts: 976000 | #Constraints: 34908
760.52/762.95 c #Conflicts: 977000 | #Constraints: 35919
760.52/762.95 c #Conflicts: 978000 | #Constraints: 36943
760.52/762.95 c #Conflicts: 979000 | #Constraints: 37955
760.52/762.95 c #Conflicts: 980000 | #Constraints: 38966
760.52/762.95 c #Conflicts: 981000 | #Constraints: 39981
760.52/762.95 c INPROCESSING
760.52/762.95 c GARBAGE COLLECT
760.52/762.95 c rational objective 14.1653
776.68/779.17 c #Conflicts: 982000 | #Constraints: 21190
776.68/779.17 c #Conflicts: 983000 | #Constraints: 22208
776.68/779.17 c #Conflicts: 984000 | #Constraints: 23228
776.68/779.17 c #Conflicts: 985000 | #Constraints: 24242
776.68/779.17 c #Conflicts: 986000 | #Constraints: 25252
776.68/779.17 c #Conflicts: 987000 | #Constraints: 26262
776.68/779.17 c #Conflicts: 988000 | #Constraints: 27270
776.68/779.17 c #Conflicts: 989000 | #Constraints: 28279
776.68/779.17 c #Conflicts: 990000 | #Constraints: 29287
776.68/779.17 c #Conflicts: 991000 | #Constraints: 30296
776.68/779.17 c #Conflicts: 992000 | #Constraints: 31305
776.68/779.17 c #Conflicts: 993000 | #Constraints: 32314
776.68/779.17 c #Conflicts: 994000 | #Constraints: 33322
776.68/779.17 c #Conflicts: 995000 | #Constraints: 34331
776.68/779.17 c #Conflicts: 996000 | #Constraints: 35338
776.68/779.17 c #Conflicts: 997000 | #Constraints: 36347
776.68/779.17 c #Conflicts: 998000 | #Constraints: 37355
776.68/779.17 c #Conflicts: 999000 | #Constraints: 38366
776.68/779.17 c #Conflicts: 1000000 | #Constraints: 39374
776.68/779.17 c #Conflicts: 1001000 | #Constraints: 40387
776.68/779.17 c INPROCESSING
776.68/779.17 c GARBAGE COLLECT
776.68/779.17 c rational objective 14.1654
793.92/796.45 c #Conflicts: 1002000 | #Constraints: 21453
793.92/796.45 c #Conflicts: 1003000 | #Constraints: 22460
793.92/796.45 c #Conflicts: 1004000 | #Constraints: 23474
793.92/796.45 c #Conflicts: 1005000 | #Constraints: 24488
793.92/796.45 c #Conflicts: 1006000 | #Constraints: 25512
793.92/796.45 c #Conflicts: 1007000 | #Constraints: 26523
793.92/796.45 c #Conflicts: 1008000 | #Constraints: 27530
793.92/796.45 c #Conflicts: 1009000 | #Constraints: 28539
793.92/796.45 c #Conflicts: 1010000 | #Constraints: 29553
793.92/796.45 c #Conflicts: 1011000 | #Constraints: 30563
793.92/796.45 c #Conflicts: 1012000 | #Constraints: 31570
793.92/796.45 c #Conflicts: 1013000 | #Constraints: 32578
793.92/796.45 c #Conflicts: 1014000 | #Constraints: 33585
793.92/796.45 c #Conflicts: 1015000 | #Constraints: 34591
793.92/796.45 c #Conflicts: 1016000 | #Constraints: 35597
793.92/796.45 c #Conflicts: 1017000 | #Constraints: 36604
793.92/796.45 c #Conflicts: 1018000 | #Constraints: 37612
793.92/796.45 c #Conflicts: 1019000 | #Constraints: 38623
793.92/796.45 c #Conflicts: 1020000 | #Constraints: 39631
793.92/796.45 c #Conflicts: 1021000 | #Constraints: 40649
793.92/796.45 c INPROCESSING
793.92/796.45 c GARBAGE COLLECT
793.92/796.45 c rational objective 14.1654
810.78/813.33 c #Conflicts: 1022000 | #Constraints: 21402
810.78/813.33 c #Conflicts: 1023000 | #Constraints: 22416
810.78/813.33 c #Conflicts: 1024000 | #Constraints: 23430
810.78/813.33 c #Conflicts: 1025000 | #Constraints: 24446
810.78/813.33 c #Conflicts: 1026000 | #Constraints: 25460
810.78/813.33 c #Conflicts: 1027000 | #Constraints: 26479
810.78/813.33 c #Conflicts: 1028000 | #Constraints: 27490
810.78/813.33 c #Conflicts: 1029000 | #Constraints: 28499
810.78/813.33 c #Conflicts: 1030000 | #Constraints: 29517
810.78/813.33 c #Conflicts: 1031000 | #Constraints: 30534
810.78/813.33 c #Conflicts: 1032000 | #Constraints: 31545
810.78/813.33 c #Conflicts: 1033000 | #Constraints: 32559
810.78/813.33 c #Conflicts: 1034000 | #Constraints: 33572
810.78/813.33 c #Conflicts: 1035000 | #Constraints: 34586
810.78/813.33 c #Conflicts: 1036000 | #Constraints: 35598
810.78/813.33 c #Conflicts: 1037000 | #Constraints: 36605
810.78/813.33 c #Conflicts: 1038000 | #Constraints: 37625
810.78/813.33 c #Conflicts: 1039000 | #Constraints: 38637
810.78/813.33 c #Conflicts: 1040000 | #Constraints: 39651
810.78/813.33 c #Conflicts: 1041000 | #Constraints: 40667
810.78/813.33 c INPROCESSING
810.78/813.33 c GARBAGE COLLECT
810.78/813.33 c rational objective 14.1654
826.73/829.35 c #Conflicts: 1042000 | #Constraints: 21169
826.73/829.35 c #Conflicts: 1043000 | #Constraints: 22183
826.73/829.35 c #Conflicts: 1044000 | #Constraints: 23194
826.73/829.35 c #Conflicts: 1045000 | #Constraints: 24210
826.73/829.35 c #Conflicts: 1046000 | #Constraints: 25223
826.73/829.35 c #Conflicts: 1047000 | #Constraints: 26247
826.73/829.35 c #Conflicts: 1048000 | #Constraints: 27267
826.73/829.35 c #Conflicts: 1049000 | #Constraints: 28273
826.73/829.35 c #Conflicts: 1050000 | #Constraints: 29293
826.73/829.35 c #Conflicts: 1051000 | #Constraints: 30305
826.73/829.35 c #Conflicts: 1052000 | #Constraints: 31321
826.73/829.35 c #Conflicts: 1053000 | #Constraints: 32347
826.73/829.35 c #Conflicts: 1054000 | #Constraints: 33368
826.73/829.35 c #Conflicts: 1055000 | #Constraints: 34390
826.73/829.35 c #Conflicts: 1056000 | #Constraints: 35405
826.73/829.35 c #Conflicts: 1057000 | #Constraints: 36417
826.73/829.35 c #Conflicts: 1058000 | #Constraints: 37429
826.73/829.35 c #Conflicts: 1059000 | #Constraints: 38439
826.73/829.35 c #Conflicts: 1060000 | #Constraints: 39455
826.73/829.35 c #Conflicts: 1061000 | #Constraints: 40478
826.73/829.35 c #Conflicts: 1062000 | #Constraints: 41502
826.73/829.35 c INPROCESSING
826.73/829.35 c GARBAGE COLLECT
826.73/829.35 c rational objective 14.1654
842.49/845.11 c #Conflicts: 1063000 | #Constraints: 21819
842.49/845.11 c #Conflicts: 1064000 | #Constraints: 22832
842.49/845.11 c #Conflicts: 1065000 | #Constraints: 23843
842.49/845.11 c #Conflicts: 1066000 | #Constraints: 24855
842.49/845.11 c #Conflicts: 1067000 | #Constraints: 25869
842.49/845.11 c #Conflicts: 1068000 | #Constraints: 26885
842.49/845.11 c #Conflicts: 1069000 | #Constraints: 27897
842.49/845.11 c #Conflicts: 1070000 | #Constraints: 28905
842.49/845.11 c #Conflicts: 1071000 | #Constraints: 29914
842.49/845.11 c #Conflicts: 1072000 | #Constraints: 30926
842.49/845.11 c #Conflicts: 1073000 | #Constraints: 31939
842.49/845.11 c #Conflicts: 1074000 | #Constraints: 32951
842.49/845.11 c #Conflicts: 1075000 | #Constraints: 33961
842.49/845.11 c #Conflicts: 1076000 | #Constraints: 34970
842.49/845.11 c #Conflicts: 1077000 | #Constraints: 35977
842.49/845.11 c #Conflicts: 1078000 | #Constraints: 36984
842.49/845.11 c #Conflicts: 1079000 | #Constraints: 37991
842.49/845.11 c #Conflicts: 1080000 | #Constraints: 39000
842.49/845.11 c #Conflicts: 1081000 | #Constraints: 40011
842.49/845.11 c #Conflicts: 1082000 | #Constraints: 41021
842.49/845.11 c #Conflicts: 1083000 | #Constraints: 42028
842.49/845.11 c INPROCESSING
842.49/845.11 c GARBAGE COLLECT
842.49/845.11 c rational objective 14.1654
859.54/862.20 c #Conflicts: 1084000 | #Constraints: 22140
859.54/862.20 c #Conflicts: 1085000 | #Constraints: 23167
859.54/862.20 c #Conflicts: 1086000 | #Constraints: 24181
859.54/862.20 c #Conflicts: 1087000 | #Constraints: 25187
859.54/862.20 c #Conflicts: 1088000 | #Constraints: 26199
859.54/862.20 c #Conflicts: 1089000 | #Constraints: 27212
859.54/862.20 c #Conflicts: 1090000 | #Constraints: 28226
859.54/862.20 c #Conflicts: 1091000 | #Constraints: 29238
859.54/862.20 c #Conflicts: 1092000 | #Constraints: 30262
859.54/862.20 c #Conflicts: 1093000 | #Constraints: 31284
859.54/862.20 c #Conflicts: 1094000 | #Constraints: 32298
859.54/862.20 c #Conflicts: 1095000 | #Constraints: 33312
859.54/862.20 c #Conflicts: 1096000 | #Constraints: 34325
859.54/862.20 c #Conflicts: 1097000 | #Constraints: 35340
859.54/862.20 c #Conflicts: 1098000 | #Constraints: 36358
859.54/862.20 c #Conflicts: 1099000 | #Constraints: 37369
859.54/862.20 c #Conflicts: 1100000 | #Constraints: 38376
859.54/862.20 c #Conflicts: 1101000 | #Constraints: 39382
859.54/862.20 c #Conflicts: 1102000 | #Constraints: 40400
859.54/862.20 c #Conflicts: 1103000 | #Constraints: 41411
859.54/862.20 c #Conflicts: 1104000 | #Constraints: 42432
859.54/862.20 c INPROCESSING
859.54/862.20 c GARBAGE COLLECT
859.54/862.20 c rational objective 14.1654
875.18/877.92 c #Conflicts: 1105000 | #Constraints: 22352
875.18/877.92 c #Conflicts: 1106000 | #Constraints: 23362
875.18/877.92 c #Conflicts: 1107000 | #Constraints: 24373
875.18/877.92 c #Conflicts: 1108000 | #Constraints: 25384
875.18/877.92 c #Conflicts: 1109000 | #Constraints: 26395
875.18/877.92 c #Conflicts: 1110000 | #Constraints: 27404
875.18/877.92 c #Conflicts: 1111000 | #Constraints: 28413
875.18/877.92 c #Conflicts: 1112000 | #Constraints: 29421
875.18/877.92 c #Conflicts: 1113000 | #Constraints: 30433
875.18/877.92 c #Conflicts: 1114000 | #Constraints: 31446
875.18/877.92 c #Conflicts: 1115000 | #Constraints: 32456
875.18/877.92 c #Conflicts: 1116000 | #Constraints: 33465
875.18/877.92 c #Conflicts: 1117000 | #Constraints: 34477
875.18/877.92 c #Conflicts: 1118000 | #Constraints: 35491
875.18/877.92 c #Conflicts: 1119000 | #Constraints: 36501
875.18/877.92 c #Conflicts: 1120000 | #Constraints: 37510
875.18/877.92 c #Conflicts: 1121000 | #Constraints: 38519
875.18/877.92 c #Conflicts: 1122000 | #Constraints: 39524
875.18/877.92 c #Conflicts: 1123000 | #Constraints: 40533
875.18/877.92 c #Conflicts: 1124000 | #Constraints: 41541
875.18/877.92 c #Conflicts: 1125000 | #Constraints: 42555
875.18/877.92 c INPROCESSING
875.18/877.92 c GARBAGE COLLECT
875.18/877.92 c rational objective 14.1654
894.94/897.77 c #Conflicts: 1126000 | #Constraints: 22311
894.94/897.77 c #Conflicts: 1127000 | #Constraints: 23330
894.94/897.77 c #Conflicts: 1128000 | #Constraints: 24343
894.94/897.77 c #Conflicts: 1129000 | #Constraints: 25352
894.94/897.77 c #Conflicts: 1130000 | #Constraints: 26361
894.94/897.77 c #Conflicts: 1131000 | #Constraints: 27372
894.94/897.77 c #Conflicts: 1132000 | #Constraints: 28387
894.94/897.77 c #Conflicts: 1133000 | #Constraints: 29404
894.94/897.77 c #Conflicts: 1134000 | #Constraints: 30410
894.94/897.77 c #Conflicts: 1135000 | #Constraints: 31422
894.94/897.77 c #Conflicts: 1136000 | #Constraints: 32433
894.94/897.77 c #Conflicts: 1137000 | #Constraints: 33438
894.94/897.77 c #Conflicts: 1138000 | #Constraints: 34445
894.94/897.77 c #Conflicts: 1139000 | #Constraints: 35459
894.94/897.77 c #Conflicts: 1140000 | #Constraints: 36468
894.94/897.77 c #Conflicts: 1141000 | #Constraints: 37471
894.94/897.77 c #Conflicts: 1142000 | #Constraints: 38476
894.94/897.77 c #Conflicts: 1143000 | #Constraints: 39480
894.94/897.77 c #Conflicts: 1144000 | #Constraints: 40488
894.94/897.77 c #Conflicts: 1145000 | #Constraints: 41493
894.94/897.77 c #Conflicts: 1146000 | #Constraints: 42500
894.94/897.77 c INPROCESSING
894.94/897.77 c GARBAGE COLLECT
894.94/897.77 c rational objective 14.1654
911.19/914.03 c #Conflicts: 1147000 | #Constraints: 22106
911.19/914.03 c #Conflicts: 1148000 | #Constraints: 23110
911.19/914.03 c #Conflicts: 1149000 | #Constraints: 24113
911.19/914.03 c #Conflicts: 1150000 | #Constraints: 25116
911.19/914.03 c #Conflicts: 1151000 | #Constraints: 26123
911.19/914.03 c #Conflicts: 1152000 | #Constraints: 27126
911.19/914.03 c #Conflicts: 1153000 | #Constraints: 28133
911.19/914.03 c #Conflicts: 1154000 | #Constraints: 29139
911.19/914.03 c #Conflicts: 1155000 | #Constraints: 30152
911.19/914.03 c #Conflicts: 1156000 | #Constraints: 31161
911.19/914.03 c #Conflicts: 1157000 | #Constraints: 32168
911.19/914.03 c #Conflicts: 1158000 | #Constraints: 33180
911.19/914.03 c #Conflicts: 1159000 | #Constraints: 34184
911.19/914.03 c #Conflicts: 1160000 | #Constraints: 35192
911.19/914.03 c #Conflicts: 1161000 | #Constraints: 36197
911.19/914.03 c #Conflicts: 1162000 | #Constraints: 37205
911.19/914.03 c #Conflicts: 1163000 | #Constraints: 38217
911.19/914.03 c #Conflicts: 1164000 | #Constraints: 39227
911.19/914.03 c #Conflicts: 1165000 | #Constraints: 40253
911.19/914.03 c #Conflicts: 1166000 | #Constraints: 41270
911.19/914.03 c #Conflicts: 1167000 | #Constraints: 42282
911.19/914.03 c #Conflicts: 1168000 | #Constraints: 43300
911.19/914.03 c INPROCESSING
911.19/914.03 c GARBAGE COLLECT
911.19/914.03 c rational objective 14.1655
927.44/930.33 c #Conflicts: 1169000 | #Constraints: 22707
927.44/930.33 c #Conflicts: 1170000 | #Constraints: 23721
927.44/930.33 c #Conflicts: 1171000 | #Constraints: 24738
927.44/930.33 c #Conflicts: 1172000 | #Constraints: 25756
927.44/930.33 c #Conflicts: 1173000 | #Constraints: 26772
927.44/930.33 c #Conflicts: 1174000 | #Constraints: 27773
927.44/930.33 c #Conflicts: 1175000 | #Constraints: 28777
927.44/930.33 c #Conflicts: 1176000 | #Constraints: 29793
927.44/930.33 c #Conflicts: 1177000 | #Constraints: 30801
927.44/930.33 c #Conflicts: 1178000 | #Constraints: 31807
927.44/930.33 c #Conflicts: 1179000 | #Constraints: 32811
927.44/930.33 c #Conflicts: 1180000 | #Constraints: 33826
927.44/930.33 c #Conflicts: 1181000 | #Constraints: 34836
927.44/930.33 c #Conflicts: 1182000 | #Constraints: 35845
927.44/930.33 c #Conflicts: 1183000 | #Constraints: 36852
927.44/930.33 c #Conflicts: 1184000 | #Constraints: 37862
927.44/930.33 c #Conflicts: 1185000 | #Constraints: 38868
927.44/930.33 c #Conflicts: 1186000 | #Constraints: 39870
927.44/930.33 c #Conflicts: 1187000 | #Constraints: 40877
927.44/930.33 c #Conflicts: 1188000 | #Constraints: 41882
927.44/930.33 c #Conflicts: 1189000 | #Constraints: 42890
927.44/930.33 c #Conflicts: 1190000 | #Constraints: 43906
927.44/930.33 c INPROCESSING
927.44/930.33 c GARBAGE COLLECT
927.44/930.33 c rational objective 14.1655
947.48/950.47 c #Conflicts: 1191000 | #Constraints: 23092
947.48/950.47 c #Conflicts: 1192000 | #Constraints: 24108
947.48/950.47 c #Conflicts: 1193000 | #Constraints: 25118
947.48/950.47 c #Conflicts: 1194000 | #Constraints: 26129
947.48/950.47 c #Conflicts: 1195000 | #Constraints: 27131
947.48/950.47 c #Conflicts: 1196000 | #Constraints: 28137
947.48/950.47 c #Conflicts: 1197000 | #Constraints: 29143
947.48/950.47 c #Conflicts: 1198000 | #Constraints: 30147
947.48/950.47 c #Conflicts: 1199000 | #Constraints: 31154
947.48/950.47 c #Conflicts: 1200000 | #Constraints: 32166
947.48/950.47 c #Conflicts: 1201000 | #Constraints: 33173
947.48/950.47 c #Conflicts: 1202000 | #Constraints: 34180
947.48/950.47 c #Conflicts: 1203000 | #Constraints: 35196
947.48/950.47 c #Conflicts: 1204000 | #Constraints: 36209
947.48/950.47 c #Conflicts: 1205000 | #Constraints: 37220
947.48/950.47 c #Conflicts: 1206000 | #Constraints: 38223
947.48/950.47 c #Conflicts: 1207000 | #Constraints: 39228
947.48/950.47 c #Conflicts: 1208000 | #Constraints: 40231
947.48/950.47 c #Conflicts: 1209000 | #Constraints: 41243
947.48/950.47 c #Conflicts: 1210000 | #Constraints: 42257
947.48/950.47 c #Conflicts: 1211000 | #Constraints: 43268
947.48/950.47 c #Conflicts: 1212000 | #Constraints: 44280
947.48/950.47 c INPROCESSING
947.48/950.47 c GARBAGE COLLECT
947.48/950.47 c rational objective 14.1655
964.93/967.90 c #Conflicts: 1213000 | #Constraints: 23284
964.93/967.90 c #Conflicts: 1214000 | #Constraints: 24303
964.93/967.90 c #Conflicts: 1215000 | #Constraints: 25313
964.93/967.90 c #Conflicts: 1216000 | #Constraints: 26326
964.93/967.90 c #Conflicts: 1217000 | #Constraints: 27345
964.93/967.90 c #Conflicts: 1218000 | #Constraints: 28357
964.93/967.90 c #Conflicts: 1219000 | #Constraints: 29367
964.93/967.90 c #Conflicts: 1220000 | #Constraints: 30376
964.93/967.90 c #Conflicts: 1221000 | #Constraints: 31391
964.93/967.90 c #Conflicts: 1222000 | #Constraints: 32398
964.93/967.90 c #Conflicts: 1223000 | #Constraints: 33405
964.93/967.90 c #Conflicts: 1224000 | #Constraints: 34418
964.93/967.90 c #Conflicts: 1225000 | #Constraints: 35431
964.93/967.90 c #Conflicts: 1226000 | #Constraints: 36449
964.93/967.90 c #Conflicts: 1227000 | #Constraints: 37473
964.93/967.90 c #Conflicts: 1228000 | #Constraints: 38488
964.93/967.90 c #Conflicts: 1229000 | #Constraints: 39503
964.93/967.90 c #Conflicts: 1230000 | #Constraints: 40516
964.93/967.90 c #Conflicts: 1231000 | #Constraints: 41525
964.93/967.90 c #Conflicts: 1232000 | #Constraints: 42537
964.93/967.90 c #Conflicts: 1233000 | #Constraints: 43544
964.93/967.90 c #Conflicts: 1234000 | #Constraints: 44551
964.93/967.90 c INPROCESSING
964.93/967.90 c GARBAGE COLLECT
964.93/967.90 c rational objective 14.1655
982.68/985.74 c #Conflicts: 1235000 | #Constraints: 21666
982.68/985.74 c #Conflicts: 1236000 | #Constraints: 22681
982.68/985.74 c #Conflicts: 1237000 | #Constraints: 23693
982.68/985.74 c #Conflicts: 1238000 | #Constraints: 24706
982.68/985.74 c #Conflicts: 1239000 | #Constraints: 25717
982.68/985.74 c #Conflicts: 1240000 | #Constraints: 26725
982.68/985.74 c #Conflicts: 1241000 | #Constraints: 27736
982.68/985.74 c #Conflicts: 1242000 | #Constraints: 28751
982.68/985.74 c #Conflicts: 1243000 | #Constraints: 29764
982.68/985.74 c #Conflicts: 1244000 | #Constraints: 30769
982.68/985.74 c #Conflicts: 1245000 | #Constraints: 31783
982.68/985.74 c #Conflicts: 1246000 | #Constraints: 32795
982.68/985.74 c #Conflicts: 1247000 | #Constraints: 33804
982.68/985.74 c #Conflicts: 1248000 | #Constraints: 34815
982.68/985.74 c #Conflicts: 1249000 | #Constraints: 35829
982.68/985.74 c #Conflicts: 1250000 | #Constraints: 36843
982.68/985.74 c #Conflicts: 1251000 | #Constraints: 37851
982.68/985.74 c #Conflicts: 1252000 | #Constraints: 38856
982.68/985.74 c #Conflicts: 1253000 | #Constraints: 39869
982.68/985.74 c #Conflicts: 1254000 | #Constraints: 40878
982.68/985.74 c #Conflicts: 1255000 | #Constraints: 41885
982.68/985.74 c #Conflicts: 1256000 | #Constraints: 42887
982.68/985.74 c INPROCESSING
982.68/985.74 c GARBAGE COLLECT
982.68/985.74 c rational objective 14.1655
999.33/1002.46 c #Conflicts: 1257000 | #Constraints: 22277
999.33/1002.46 c #Conflicts: 1258000 | #Constraints: 23289
999.33/1002.46 c #Conflicts: 1259000 | #Constraints: 24295
999.33/1002.46 c #Conflicts: 1260000 | #Constraints: 25308
999.33/1002.46 c #Conflicts: 1261000 | #Constraints: 26319
999.33/1002.46 c #Conflicts: 1262000 | #Constraints: 27329
999.33/1002.46 c #Conflicts: 1263000 | #Constraints: 28332
999.33/1002.46 c #Conflicts: 1264000 | #Constraints: 29341
999.33/1002.46 c #Conflicts: 1265000 | #Constraints: 30354
999.33/1002.46 c #Conflicts: 1266000 | #Constraints: 31375
999.33/1002.46 c #Conflicts: 1267000 | #Constraints: 32389
999.33/1002.46 c #Conflicts: 1268000 | #Constraints: 33400
999.33/1002.46 c #Conflicts: 1269000 | #Constraints: 34420
999.33/1002.46 c #Conflicts: 1270000 | #Constraints: 35437
999.33/1002.46 c #Conflicts: 1271000 | #Constraints: 36446
999.33/1002.46 c #Conflicts: 1272000 | #Constraints: 37474
999.33/1002.46 c #Conflicts: 1273000 | #Constraints: 38486
999.33/1002.46 c #Conflicts: 1274000 | #Constraints: 39502
999.33/1002.46 c #Conflicts: 1275000 | #Constraints: 40523
999.33/1002.46 c #Conflicts: 1276000 | #Constraints: 41537
999.33/1002.46 c #Conflicts: 1277000 | #Constraints: 42548
999.33/1002.46 c #Conflicts: 1278000 | #Constraints: 43553
999.33/1002.46 c #Conflicts: 1279000 | #Constraints: 44557
999.33/1002.46 c INPROCESSING
999.33/1002.46 c GARBAGE COLLECT
999.33/1002.46 c rational objective 14.1655
1018.18/1021.31 c #Conflicts: 1280000 | #Constraints: 23327
1018.18/1021.31 c #Conflicts: 1281000 | #Constraints: 24333
1018.18/1021.31 c #Conflicts: 1282000 | #Constraints: 25342
1018.18/1021.31 c #Conflicts: 1283000 | #Constraints: 26354
1018.18/1021.31 c #Conflicts: 1284000 | #Constraints: 27360
1018.18/1021.31 c #Conflicts: 1285000 | #Constraints: 28367
1018.18/1021.31 c #Conflicts: 1286000 | #Constraints: 29379
1018.18/1021.31 c #Conflicts: 1287000 | #Constraints: 30392
1018.18/1021.31 c #Conflicts: 1288000 | #Constraints: 31398
1018.18/1021.31 c #Conflicts: 1289000 | #Constraints: 32406
1018.18/1021.31 c #Conflicts: 1290000 | #Constraints: 33415
1018.18/1021.31 c #Conflicts: 1291000 | #Constraints: 34430
1018.18/1021.31 c #Conflicts: 1292000 | #Constraints: 35445
1018.18/1021.31 c #Conflicts: 1293000 | #Constraints: 36454
1018.18/1021.31 c #Conflicts: 1294000 | #Constraints: 37465
1018.18/1021.31 c #Conflicts: 1295000 | #Constraints: 38472
1018.18/1021.31 c #Conflicts: 1296000 | #Constraints: 39479
1018.18/1021.31 c #Conflicts: 1297000 | #Constraints: 40490
1018.18/1021.31 c #Conflicts: 1298000 | #Constraints: 41501
1018.18/1021.31 c #Conflicts: 1299000 | #Constraints: 42507
1018.18/1021.31 c #Conflicts: 1300000 | #Constraints: 43523
1018.18/1021.31 c #Conflicts: 1301000 | #Constraints: 44532
1018.18/1021.31 c #Conflicts: 1302000 | #Constraints: 45548
1018.18/1021.31 c INPROCESSING
1018.18/1021.31 c GARBAGE COLLECT
1018.18/1021.31 c rational objective 14.1655
1036.03/1039.26 c #Conflicts: 1303000 | #Constraints: 23905
1036.03/1039.26 c #Conflicts: 1304000 | #Constraints: 24913
1036.03/1039.26 c #Conflicts: 1305000 | #Constraints: 25920
1036.03/1039.26 c #Conflicts: 1306000 | #Constraints: 26928
1036.03/1039.26 c #Conflicts: 1307000 | #Constraints: 27936
1036.03/1039.26 c #Conflicts: 1308000 | #Constraints: 28938
1036.03/1039.26 c #Conflicts: 1309000 | #Constraints: 29941
1036.03/1039.26 c #Conflicts: 1310000 | #Constraints: 30951
1036.03/1039.26 c #Conflicts: 1311000 | #Constraints: 31965
1036.03/1039.26 c #Conflicts: 1312000 | #Constraints: 32987
1036.03/1039.26 c #Conflicts: 1313000 | #Constraints: 33994
1036.03/1039.26 c #Conflicts: 1314000 | #Constraints: 35010
1036.03/1039.26 c #Conflicts: 1315000 | #Constraints: 36030
1036.03/1039.26 c #Conflicts: 1316000 | #Constraints: 37042
1036.03/1039.26 c #Conflicts: 1317000 | #Constraints: 38051
1036.03/1039.26 c #Conflicts: 1318000 | #Constraints: 39063
1036.03/1039.26 c #Conflicts: 1319000 | #Constraints: 40079
1036.03/1039.26 c #Conflicts: 1320000 | #Constraints: 41101
1036.03/1039.26 c #Conflicts: 1321000 | #Constraints: 42116
1036.03/1039.26 c #Conflicts: 1322000 | #Constraints: 43119
1036.03/1039.26 c #Conflicts: 1323000 | #Constraints: 44130
1036.03/1039.26 c #Conflicts: 1324000 | #Constraints: 45142
1036.03/1039.26 c #Conflicts: 1325000 | #Constraints: 46153
1036.03/1039.26 c INPROCESSING
1036.03/1039.26 c GARBAGE COLLECT
1036.03/1039.26 c rational objective 14.1655
1055.67/1058.95 c #Conflicts: 1326000 | #Constraints: 24209
1055.67/1058.95 c #Conflicts: 1327000 | #Constraints: 25220
1055.67/1058.95 c #Conflicts: 1328000 | #Constraints: 26233
1055.67/1058.95 c #Conflicts: 1329000 | #Constraints: 27242
1055.67/1058.95 c #Conflicts: 1330000 | #Constraints: 28251
1055.67/1058.95 c #Conflicts: 1331000 | #Constraints: 29261
1055.67/1058.95 c #Conflicts: 1332000 | #Constraints: 30273
1055.67/1058.95 c #Conflicts: 1333000 | #Constraints: 31284
1055.67/1058.95 c #Conflicts: 1334000 | #Constraints: 32299
1055.67/1058.95 c #Conflicts: 1335000 | #Constraints: 33313
1055.67/1058.95 c #Conflicts: 1336000 | #Constraints: 34324
1055.67/1058.95 c #Conflicts: 1337000 | #Constraints: 35330
1055.67/1058.95 c #Conflicts: 1338000 | #Constraints: 36342
1055.67/1058.95 c #Conflicts: 1339000 | #Constraints: 37348
1055.67/1058.95 c #Conflicts: 1340000 | #Constraints: 38356
1055.67/1058.95 c #Conflicts: 1341000 | #Constraints: 39364
1055.67/1058.95 c #Conflicts: 1342000 | #Constraints: 40369
1055.67/1058.95 c #Conflicts: 1343000 | #Constraints: 41380
1055.67/1058.95 c #Conflicts: 1344000 | #Constraints: 42389
1055.67/1058.95 c #Conflicts: 1345000 | #Constraints: 43399
1055.67/1058.95 c #Conflicts: 1346000 | #Constraints: 44405
1055.67/1058.95 c #Conflicts: 1347000 | #Constraints: 45410
1055.67/1058.95 c #Conflicts: 1348000 | #Constraints: 46415
1055.67/1058.95 c INPROCESSING
1055.67/1058.95 c GARBAGE COLLECT
1055.67/1058.95 c rational objective 14.1655
1074.62/1077.97 c #Conflicts: 1349000 | #Constraints: 24246
1074.62/1077.97 c #Conflicts: 1350000 | #Constraints: 25263
1074.62/1077.97 c #Conflicts: 1351000 | #Constraints: 26277
1074.62/1077.97 c #Conflicts: 1352000 | #Constraints: 27292
1074.62/1077.97 c #Conflicts: 1353000 | #Constraints: 28306
1074.62/1077.97 c #Conflicts: 1354000 | #Constraints: 29317
1074.62/1077.97 c #Conflicts: 1355000 | #Constraints: 30332
1074.62/1077.97 c #Conflicts: 1356000 | #Constraints: 31357
1074.62/1077.97 c #Conflicts: 1357000 | #Constraints: 32375
1074.62/1077.97 c #Conflicts: 1358000 | #Constraints: 33386
1074.62/1077.97 c #Conflicts: 1359000 | #Constraints: 34394
1074.62/1077.97 c #Conflicts: 1360000 | #Constraints: 35395
1074.62/1077.97 c #Conflicts: 1361000 | #Constraints: 36399
1074.62/1077.97 c #Conflicts: 1362000 | #Constraints: 37414
1074.62/1077.97 c #Conflicts: 1363000 | #Constraints: 38420
1074.62/1077.97 c #Conflicts: 1364000 | #Constraints: 39426
1074.62/1077.97 c #Conflicts: 1365000 | #Constraints: 40437
1074.62/1077.97 c #Conflicts: 1366000 | #Constraints: 41452
1074.62/1077.97 c #Conflicts: 1367000 | #Constraints: 42465
1074.62/1077.97 c #Conflicts: 1368000 | #Constraints: 43469
1074.62/1077.97 c #Conflicts: 1369000 | #Constraints: 44475
1074.62/1077.97 c #Conflicts: 1370000 | #Constraints: 45485
1074.62/1077.97 c #Conflicts: 1371000 | #Constraints: 46489
1074.62/1077.97 c INPROCESSING
1074.62/1077.97 c GARBAGE COLLECT
1074.62/1077.97 c rational objective 14.1655
1095.06/1098.49 c #Conflicts: 1372000 | #Constraints: 24072
1095.06/1098.49 c #Conflicts: 1373000 | #Constraints: 25085
1095.06/1098.49 c #Conflicts: 1374000 | #Constraints: 26099
1095.06/1098.49 c #Conflicts: 1375000 | #Constraints: 27108
1095.06/1098.49 c #Conflicts: 1376000 | #Constraints: 28119
1095.06/1098.49 c #Conflicts: 1377000 | #Constraints: 29139
1095.06/1098.49 c #Conflicts: 1378000 | #Constraints: 30153
1095.06/1098.49 c #Conflicts: 1379000 | #Constraints: 31159
1095.06/1098.49 c #Conflicts: 1380000 | #Constraints: 32165
1095.06/1098.49 c #Conflicts: 1381000 | #Constraints: 33179
1095.06/1098.49 c #Conflicts: 1382000 | #Constraints: 34185
1095.06/1098.49 c #Conflicts: 1383000 | #Constraints: 35193
1095.06/1098.49 c #Conflicts: 1384000 | #Constraints: 36200
1095.06/1098.49 c #Conflicts: 1385000 | #Constraints: 37209
1095.06/1098.49 c #Conflicts: 1386000 | #Constraints: 38211
1095.06/1098.49 c #Conflicts: 1387000 | #Constraints: 39214
1095.06/1098.49 c #Conflicts: 1388000 | #Constraints: 40225
1095.06/1098.49 c #Conflicts: 1389000 | #Constraints: 41237
1095.06/1098.49 c #Conflicts: 1390000 | #Constraints: 42245
1095.06/1098.49 c #Conflicts: 1391000 | #Constraints: 43250
1095.06/1098.49 c #Conflicts: 1392000 | #Constraints: 44256
1095.06/1098.49 c #Conflicts: 1393000 | #Constraints: 45261
1095.06/1098.49 c #Conflicts: 1394000 | #Constraints: 46272
1095.06/1098.49 c #Conflicts: 1395000 | #Constraints: 47283
1095.06/1098.49 c INPROCESSING
1095.06/1098.49 c GARBAGE COLLECT
1095.06/1098.49 c rational objective 14.1655
1113.90/1117.34 c #Conflicts: 1396000 | #Constraints: 24669
1113.90/1117.34 c #Conflicts: 1397000 | #Constraints: 25686
1113.90/1117.34 c #Conflicts: 1398000 | #Constraints: 26696
1113.90/1117.34 c #Conflicts: 1399000 | #Constraints: 27704
1113.90/1117.34 c #Conflicts: 1400000 | #Constraints: 28715
1113.90/1117.34 c #Conflicts: 1401000 | #Constraints: 29726
1113.90/1117.34 c #Conflicts: 1402000 | #Constraints: 30734
1113.90/1117.34 c #Conflicts: 1403000 | #Constraints: 31744
1113.90/1117.34 c #Conflicts: 1404000 | #Constraints: 32748
1113.90/1117.34 c #Conflicts: 1405000 | #Constraints: 33753
1113.90/1117.34 c #Conflicts: 1406000 | #Constraints: 34758
1113.90/1117.34 c #Conflicts: 1407000 | #Constraints: 35770
1113.90/1117.34 c #Conflicts: 1408000 | #Constraints: 36774
1113.90/1117.34 c #Conflicts: 1409000 | #Constraints: 37779
1113.90/1117.34 c #Conflicts: 1410000 | #Constraints: 38782
1113.90/1117.34 c #Conflicts: 1411000 | #Constraints: 39786
1113.90/1117.34 c #Conflicts: 1412000 | #Constraints: 40798
1113.90/1117.34 c #Conflicts: 1413000 | #Constraints: 41801
1113.90/1117.34 c #Conflicts: 1414000 | #Constraints: 42803
1113.90/1117.34 c #Conflicts: 1415000 | #Constraints: 43813
1113.90/1117.34 c #Conflicts: 1416000 | #Constraints: 44823
1113.90/1117.34 c #Conflicts: 1417000 | #Constraints: 45830
1113.90/1117.34 c #Conflicts: 1418000 | #Constraints: 46833
1113.90/1117.34 c #Conflicts: 1419000 | #Constraints: 47841
1113.90/1117.34 c INPROCESSING
1113.90/1117.34 c GARBAGE COLLECT
1113.90/1117.34 c rational objective 14.1655
1133.85/1137.39 c #Conflicts: 1420000 | #Constraints: 25060
1133.85/1137.39 c #Conflicts: 1421000 | #Constraints: 26071
1133.85/1137.39 c #Conflicts: 1422000 | #Constraints: 27087
1133.85/1137.39 c #Conflicts: 1423000 | #Constraints: 28106
1133.85/1137.39 c #Conflicts: 1424000 | #Constraints: 29120
1133.85/1137.39 c #Conflicts: 1425000 | #Constraints: 30126
1133.85/1137.39 c #Conflicts: 1426000 | #Constraints: 31132
1133.85/1137.39 c #Conflicts: 1427000 | #Constraints: 32140
1133.85/1137.39 c #Conflicts: 1428000 | #Constraints: 33155
1133.85/1137.39 c #Conflicts: 1429000 | #Constraints: 34166
1133.85/1137.39 c #Conflicts: 1430000 | #Constraints: 35178
1133.85/1137.39 c #Conflicts: 1431000 | #Constraints: 36191
1133.85/1137.39 c #Conflicts: 1432000 | #Constraints: 37197
1133.85/1137.39 c #Conflicts: 1433000 | #Constraints: 38202
1133.85/1137.39 c #Conflicts: 1434000 | #Constraints: 39215
1133.85/1137.39 c #Conflicts: 1435000 | #Constraints: 40225
1133.85/1137.39 c #Conflicts: 1436000 | #Constraints: 41231
1133.85/1137.39 c #Conflicts: 1437000 | #Constraints: 42243
1133.85/1137.39 c #Conflicts: 1438000 | #Constraints: 43250
1133.85/1137.39 c #Conflicts: 1439000 | #Constraints: 44261
1133.85/1137.39 c #Conflicts: 1440000 | #Constraints: 45272
1133.85/1137.39 c #Conflicts: 1441000 | #Constraints: 46284
1133.85/1137.39 c #Conflicts: 1442000 | #Constraints: 47295
1133.85/1137.39 c #Conflicts: 1443000 | #Constraints: 48309
1133.85/1137.39 c INPROCESSING
1133.85/1137.39 c GARBAGE COLLECT
1133.85/1137.39 c rational objective 14.1655
1154.79/1158.34 c #Conflicts: 1444000 | #Constraints: 25283
1154.79/1158.34 c #Conflicts: 1445000 | #Constraints: 26293
1154.79/1158.34 c #Conflicts: 1446000 | #Constraints: 27312
1154.79/1158.34 c #Conflicts: 1447000 | #Constraints: 28330
1154.79/1158.34 c #Conflicts: 1448000 | #Constraints: 29363
1154.79/1158.34 c #Conflicts: 1449000 | #Constraints: 30382
1154.79/1158.34 c #Conflicts: 1450000 | #Constraints: 31396
1154.79/1158.34 c #Conflicts: 1451000 | #Constraints: 32416
1154.79/1158.34 c #Conflicts: 1452000 | #Constraints: 33429
1154.79/1158.34 c #Conflicts: 1453000 | #Constraints: 34441
1154.79/1158.34 c #Conflicts: 1454000 | #Constraints: 35452
1154.79/1158.34 c #Conflicts: 1455000 | #Constraints: 36463
1154.79/1158.34 c #Conflicts: 1456000 | #Constraints: 37473
1154.79/1158.34 c #Conflicts: 1457000 | #Constraints: 38486
1154.79/1158.34 c #Conflicts: 1458000 | #Constraints: 39506
1154.79/1158.34 c #Conflicts: 1459000 | #Constraints: 40521
1154.79/1158.34 c #Conflicts: 1460000 | #Constraints: 41538
1154.79/1158.34 c #Conflicts: 1461000 | #Constraints: 42555
1154.79/1158.34 c #Conflicts: 1462000 | #Constraints: 43565
1154.79/1158.34 c #Conflicts: 1463000 | #Constraints: 44570
1154.79/1158.34 c #Conflicts: 1464000 | #Constraints: 45574
1154.79/1158.34 c #Conflicts: 1465000 | #Constraints: 46585
1154.79/1158.34 c #Conflicts: 1466000 | #Constraints: 47594
1154.79/1158.34 c #Conflicts: 1467000 | #Constraints: 48601
1154.79/1158.34 c INPROCESSING
1154.79/1158.34 c GARBAGE COLLECT
1154.79/1158.34 c rational objective 14.1655
1175.33/1178.92 c #Conflicts: 1468000 | #Constraints: 25357
1175.33/1178.92 c #Conflicts: 1469000 | #Constraints: 26368
1175.33/1178.92 c #Conflicts: 1470000 | #Constraints: 27382
1175.33/1178.92 c #Conflicts: 1471000 | #Constraints: 28394
1175.33/1178.92 c #Conflicts: 1472000 | #Constraints: 29413
1175.33/1178.92 c #Conflicts: 1473000 | #Constraints: 30425
1175.33/1178.92 c #Conflicts: 1474000 | #Constraints: 31430
1175.33/1178.92 c #Conflicts: 1475000 | #Constraints: 32435
1175.33/1178.92 c #Conflicts: 1476000 | #Constraints: 33449
1175.33/1178.92 c #Conflicts: 1477000 | #Constraints: 34456
1175.33/1178.92 c #Conflicts: 1478000 | #Constraints: 35464
1175.33/1178.92 c #Conflicts: 1479000 | #Constraints: 36478
1175.33/1178.92 c #Conflicts: 1480000 | #Constraints: 37488
1175.33/1178.92 c #Conflicts: 1481000 | #Constraints: 38499
1175.33/1178.92 c #Conflicts: 1482000 | #Constraints: 39505
1175.33/1178.92 c #Conflicts: 1483000 | #Constraints: 40514
1175.33/1178.92 c #Conflicts: 1484000 | #Constraints: 41524
1175.33/1178.92 c #Conflicts: 1485000 | #Constraints: 42529
1175.33/1178.92 c #Conflicts: 1486000 | #Constraints: 43535
1175.33/1178.92 c #Conflicts: 1487000 | #Constraints: 44552
1175.33/1178.92 c #Conflicts: 1488000 | #Constraints: 45561
1175.33/1178.92 c #Conflicts: 1489000 | #Constraints: 46570
1175.33/1178.92 c #Conflicts: 1490000 | #Constraints: 47573
1175.33/1178.92 c #Conflicts: 1491000 | #Constraints: 48583
1175.33/1178.92 c INPROCESSING
1175.33/1178.92 c GARBAGE COLLECT
1175.33/1178.92 c rational objective 14.1655
1195.97/1199.68 c #Conflicts: 1492000 | #Constraints: 25116
1195.97/1199.68 c #Conflicts: 1493000 | #Constraints: 26124
1195.97/1199.68 c #Conflicts: 1494000 | #Constraints: 27133
1195.97/1199.68 c #Conflicts: 1495000 | #Constraints: 28144
1195.97/1199.68 c #Conflicts: 1496000 | #Constraints: 29159
1195.97/1199.68 c #Conflicts: 1497000 | #Constraints: 30169
1195.97/1199.68 c #Conflicts: 1498000 | #Constraints: 31183
1195.97/1199.68 c #Conflicts: 1499000 | #Constraints: 32193
1195.97/1199.68 c #Conflicts: 1500000 | #Constraints: 33207
1195.97/1199.68 c #Conflicts: 1501000 | #Constraints: 34217
1195.97/1199.68 c #Conflicts: 1502000 | #Constraints: 35225
1195.97/1199.68 c #Conflicts: 1503000 | #Constraints: 36231
1195.97/1199.68 c #Conflicts: 1504000 | #Constraints: 37238
1195.97/1199.68 c #Conflicts: 1505000 | #Constraints: 38243
1195.97/1199.68 c #Conflicts: 1506000 | #Constraints: 39254
1195.97/1199.68 c #Conflicts: 1507000 | #Constraints: 40263
1195.97/1199.68 c #Conflicts: 1508000 | #Constraints: 41270
1195.97/1199.68 c #Conflicts: 1509000 | #Constraints: 42282
1195.97/1199.68 c #Conflicts: 1510000 | #Constraints: 43291
1195.97/1199.68 c #Conflicts: 1511000 | #Constraints: 44297
1195.97/1199.68 c #Conflicts: 1512000 | #Constraints: 45301
1195.97/1199.68 c #Conflicts: 1513000 | #Constraints: 46312
1195.97/1199.68 c #Conflicts: 1514000 | #Constraints: 47327
1195.97/1199.68 c #Conflicts: 1515000 | #Constraints: 48340
1195.97/1199.68 c #Conflicts: 1516000 | #Constraints: 49353
1195.97/1199.68 c INPROCESSING
1195.97/1199.68 c GARBAGE COLLECT
1195.97/1199.68 c rational objective 14.1655
1215.21/1218.98 c #Conflicts: 1517000 | #Constraints: 25704
1215.21/1218.98 c #Conflicts: 1518000 | #Constraints: 26712
1215.21/1218.98 c #Conflicts: 1519000 | #Constraints: 27719
1215.21/1218.98 c #Conflicts: 1520000 | #Constraints: 28728
1215.21/1218.98 c #Conflicts: 1521000 | #Constraints: 29742
1215.21/1218.98 c #Conflicts: 1522000 | #Constraints: 30748
1215.21/1218.98 c #Conflicts: 1523000 | #Constraints: 31758
1215.21/1218.98 c #Conflicts: 1524000 | #Constraints: 32768
1215.21/1218.98 c #Conflicts: 1525000 | #Constraints: 33778
1215.21/1218.98 c #Conflicts: 1526000 | #Constraints: 34793
1215.21/1218.98 c #Conflicts: 1527000 | #Constraints: 35794
1215.21/1218.98 c #Conflicts: 1528000 | #Constraints: 36801
1215.21/1218.98 c #Conflicts: 1529000 | #Constraints: 37803
1215.21/1218.98 c #Conflicts: 1530000 | #Constraints: 38808
1215.21/1218.98 c #Conflicts: 1531000 | #Constraints: 39814
1215.21/1218.98 c #Conflicts: 1532000 | #Constraints: 40828
1215.21/1218.98 c #Conflicts: 1533000 | #Constraints: 41839
1215.21/1218.98 c #Conflicts: 1534000 | #Constraints: 42848
1215.21/1218.98 c #Conflicts: 1535000 | #Constraints: 43853
1215.21/1218.98 c #Conflicts: 1536000 | #Constraints: 44859
1215.21/1218.98 c #Conflicts: 1537000 | #Constraints: 45866
1215.21/1218.98 c #Conflicts: 1538000 | #Constraints: 46872
1215.21/1218.98 c #Conflicts: 1539000 | #Constraints: 47876
1215.21/1218.98 c #Conflicts: 1540000 | #Constraints: 48885
1215.21/1218.98 c #Conflicts: 1541000 | #Constraints: 49895
1215.21/1218.98 c INPROCESSING
1215.21/1218.98 c GARBAGE COLLECT
1215.21/1218.98 c rational objective 14.1655
1244.92/1248.74 c #Conflicts: 1542000 | #Constraints: 26077
1244.92/1248.74 c #Conflicts: 1543000 | #Constraints: 27096
1244.92/1248.74 c #Conflicts: 1544000 | #Constraints: 28110
1244.92/1248.74 c #Conflicts: 1545000 | #Constraints: 29120
1244.92/1248.74 c #Conflicts: 1546000 | #Constraints: 30131
1244.92/1248.74 c #Conflicts: 1547000 | #Constraints: 31141
1244.92/1248.74 c #Conflicts: 1548000 | #Constraints: 32144
1244.92/1248.74 c #Conflicts: 1549000 | #Constraints: 33154
1244.92/1248.74 c #Conflicts: 1550000 | #Constraints: 34158
1244.92/1248.74 c #Conflicts: 1551000 | #Constraints: 35164
1244.92/1248.74 c #Conflicts: 1552000 | #Constraints: 36171
1244.92/1248.74 c #Conflicts: 1553000 | #Constraints: 37179
1244.92/1248.74 c #Conflicts: 1554000 | #Constraints: 38188
1244.92/1248.74 c #Conflicts: 1555000 | #Constraints: 39193
1244.92/1248.74 c #Conflicts: 1556000 | #Constraints: 40195
1244.92/1248.74 c #Conflicts: 1557000 | #Constraints: 41198
1244.92/1248.74 c #Conflicts: 1558000 | #Constraints: 42201
1244.92/1248.74 c #Conflicts: 1559000 | #Constraints: 43208
1244.92/1248.74 c #Conflicts: 1560000 | #Constraints: 44212
1244.92/1248.74 c #Conflicts: 1561000 | #Constraints: 45218
1244.92/1248.74 c #Conflicts: 1562000 | #Constraints: 46221
1244.92/1248.74 c #Conflicts: 1563000 | #Constraints: 47232
1244.92/1248.74 c #Conflicts: 1564000 | #Constraints: 48237
1244.92/1248.74 c #Conflicts: 1565000 | #Constraints: 49245
1244.92/1248.74 c #Conflicts: 1566000 | #Constraints: 50255
1244.92/1248.74 c INPROCESSING
1244.92/1248.74 c GARBAGE COLLECT
1244.92/1248.74 c rational objective 14.1655
1266.87/1270.77 c #Conflicts: 1567000 | #Constraints: 26254
1266.87/1270.77 c #Conflicts: 1568000 | #Constraints: 27264
1266.87/1270.77 c #Conflicts: 1569000 | #Constraints: 28279
1266.87/1270.77 c #Conflicts: 1570000 | #Constraints: 29291
1266.87/1270.77 c #Conflicts: 1571000 | #Constraints: 30301
1266.87/1270.77 c #Conflicts: 1572000 | #Constraints: 31310
1266.87/1270.77 c #Conflicts: 1573000 | #Constraints: 32320
1266.87/1270.77 c #Conflicts: 1574000 | #Constraints: 33346
1266.87/1270.77 c #Conflicts: 1575000 | #Constraints: 34373
1266.87/1270.77 c #Conflicts: 1576000 | #Constraints: 35388
1266.87/1270.77 c #Conflicts: 1577000 | #Constraints: 36403
1266.87/1270.77 c #Conflicts: 1578000 | #Constraints: 37421
1266.87/1270.77 c #Conflicts: 1579000 | #Constraints: 38450
1266.87/1270.77 c #Conflicts: 1580000 | #Constraints: 39472
1266.87/1270.77 c #Conflicts: 1581000 | #Constraints: 40491
1266.87/1270.77 c #Conflicts: 1582000 | #Constraints: 41502
1266.87/1270.77 c #Conflicts: 1583000 | #Constraints: 42515
1266.87/1270.77 c #Conflicts: 1584000 | #Constraints: 43526
1266.87/1270.77 c #Conflicts: 1585000 | #Constraints: 44540
1266.87/1270.77 c #Conflicts: 1586000 | #Constraints: 45546
1266.87/1270.77 c #Conflicts: 1587000 | #Constraints: 46556
1266.87/1270.77 c #Conflicts: 1588000 | #Constraints: 47562
1266.87/1270.77 c #Conflicts: 1589000 | #Constraints: 48572
1266.87/1270.77 c #Conflicts: 1590000 | #Constraints: 49579
1266.87/1270.77 c #Conflicts: 1591000 | #Constraints: 50583
1266.87/1270.77 c INPROCESSING
1266.87/1270.77 c GARBAGE COLLECT
1266.87/1270.77 c rational objective 14.1655
1290.59/1294.51 c #Conflicts: 1592000 | #Constraints: 26322
1290.59/1294.51 c #Conflicts: 1593000 | #Constraints: 27330
1290.59/1294.51 c #Conflicts: 1594000 | #Constraints: 28347
1290.59/1294.51 c #Conflicts: 1595000 | #Constraints: 29355
1290.59/1294.51 c #Conflicts: 1596000 | #Constraints: 30368
1290.59/1294.51 c #Conflicts: 1597000 | #Constraints: 31380
1290.59/1294.51 c #Conflicts: 1598000 | #Constraints: 32391
1290.59/1294.51 c #Conflicts: 1599000 | #Constraints: 33411
1290.59/1294.51 c #Conflicts: 1600000 | #Constraints: 34423
1290.59/1294.51 c #Conflicts: 1601000 | #Constraints: 35432
1290.59/1294.51 c #Conflicts: 1602000 | #Constraints: 36446
1290.59/1294.51 c #Conflicts: 1603000 | #Constraints: 37457
1290.59/1294.51 c #Conflicts: 1604000 | #Constraints: 38468
1290.59/1294.51 c #Conflicts: 1605000 | #Constraints: 39480
1290.59/1294.51 c #Conflicts: 1606000 | #Constraints: 40489
1290.59/1294.51 c #Conflicts: 1607000 | #Constraints: 41501
1290.59/1294.51 c #Conflicts: 1608000 | #Constraints: 42509
1290.59/1294.51 c #Conflicts: 1609000 | #Constraints: 43513
1290.59/1294.51 c #Conflicts: 1610000 | #Constraints: 44520
1290.59/1294.51 c #Conflicts: 1611000 | #Constraints: 45534
1290.59/1294.51 c #Conflicts: 1612000 | #Constraints: 46540
1290.59/1294.51 c #Conflicts: 1613000 | #Constraints: 47549
1290.59/1294.51 c #Conflicts: 1614000 | #Constraints: 48559
1290.59/1294.51 c #Conflicts: 1615000 | #Constraints: 49569
1290.59/1294.51 c #Conflicts: 1616000 | #Constraints: 50581
1290.59/1294.51 c INPROCESSING
1290.59/1294.51 c GARBAGE COLLECT
1290.59/1294.51 c rational objective 14.1655
1310.33/1314.38 c #Conflicts: 1617000 | #Constraints: 26122
1310.33/1314.38 c #Conflicts: 1618000 | #Constraints: 27142
1310.33/1314.38 c #Conflicts: 1619000 | #Constraints: 28153
1310.33/1314.38 c #Conflicts: 1620000 | #Constraints: 29162
1310.33/1314.38 c #Conflicts: 1621000 | #Constraints: 30175
1310.33/1314.38 c #Conflicts: 1622000 | #Constraints: 31181
1310.33/1314.38 c #Conflicts: 1623000 | #Constraints: 32192
1310.33/1314.38 c #Conflicts: 1624000 | #Constraints: 33200
1310.33/1314.38 c #Conflicts: 1625000 | #Constraints: 34208
1310.33/1314.38 c #Conflicts: 1626000 | #Constraints: 35222
1310.33/1314.38 c #Conflicts: 1627000 | #Constraints: 36232
1310.33/1314.38 c #Conflicts: 1628000 | #Constraints: 37237
1310.33/1314.38 c #Conflicts: 1629000 | #Constraints: 38246
1310.33/1314.38 c #Conflicts: 1630000 | #Constraints: 39253
1310.33/1314.38 c #Conflicts: 1631000 | #Constraints: 40261
1310.33/1314.38 c #Conflicts: 1632000 | #Constraints: 41269
1310.33/1314.38 c #Conflicts: 1633000 | #Constraints: 42276
1310.33/1314.38 c #Conflicts: 1634000 | #Constraints: 43290
1310.33/1314.38 c #Conflicts: 1635000 | #Constraints: 44301
1310.33/1314.38 c #Conflicts: 1636000 | #Constraints: 45305
1310.33/1314.38 c #Conflicts: 1637000 | #Constraints: 46318
1310.33/1314.38 c #Conflicts: 1638000 | #Constraints: 47325
1310.33/1314.38 c #Conflicts: 1639000 | #Constraints: 48335
1310.33/1314.38 c #Conflicts: 1640000 | #Constraints: 49349
1310.33/1314.38 c #Conflicts: 1641000 | #Constraints: 50352
1310.33/1314.38 c #Conflicts: 1642000 | #Constraints: 51356
1310.33/1314.38 c INPROCESSING
1310.33/1314.38 c GARBAGE COLLECT
1310.33/1314.38 c rational objective 14.1655
1331.18/1335.25 c #Conflicts: 1643000 | #Constraints: 26704
1331.18/1335.25 c #Conflicts: 1644000 | #Constraints: 27713
1331.18/1335.25 c #Conflicts: 1645000 | #Constraints: 28724
1331.18/1335.25 c #Conflicts: 1646000 | #Constraints: 29733
1331.18/1335.25 c #Conflicts: 1647000 | #Constraints: 30742
1331.18/1335.25 c #Conflicts: 1648000 | #Constraints: 31753
1331.18/1335.25 c #Conflicts: 1649000 | #Constraints: 32764
1331.18/1335.25 c #Conflicts: 1650000 | #Constraints: 33770
1331.18/1335.25 c #Conflicts: 1651000 | #Constraints: 34781
1331.18/1335.25 c #Conflicts: 1652000 | #Constraints: 35798
1331.18/1335.25 c #Conflicts: 1653000 | #Constraints: 36808
1331.18/1335.25 c #Conflicts: 1654000 | #Constraints: 37816
1331.18/1335.25 c #Conflicts: 1655000 | #Constraints: 38821
1331.18/1335.25 c #Conflicts: 1656000 | #Constraints: 39835
1331.18/1335.25 c #Conflicts: 1657000 | #Constraints: 40840
1331.18/1335.25 c #Conflicts: 1658000 | #Constraints: 41847
1331.18/1335.25 c #Conflicts: 1659000 | #Constraints: 42863
1331.18/1335.25 c #Conflicts: 1660000 | #Constraints: 43874
1331.18/1335.25 c #Conflicts: 1661000 | #Constraints: 44881
1331.18/1335.25 c #Conflicts: 1662000 | #Constraints: 45886
1331.18/1335.25 c #Conflicts: 1663000 | #Constraints: 46898
1331.18/1335.25 c #Conflicts: 1664000 | #Constraints: 47904
1331.18/1335.25 c #Conflicts: 1665000 | #Constraints: 48914
1331.18/1335.25 c #Conflicts: 1666000 | #Constraints: 49919
1331.18/1335.25 c #Conflicts: 1667000 | #Constraints: 50929
1331.18/1335.25 c #Conflicts: 1668000 | #Constraints: 51935
1331.18/1335.25 c INPROCESSING
1331.18/1335.25 c GARBAGE COLLECT
1331.18/1335.25 c rational objective 14.1656
1353.71/1357.80 c #Conflicts: 1669000 | #Constraints: 27121
1353.71/1357.80 c #Conflicts: 1670000 | #Constraints: 28143
1353.71/1357.80 c #Conflicts: 1671000 | #Constraints: 29147
1353.71/1357.80 c #Conflicts: 1672000 | #Constraints: 30158
1353.71/1357.80 c #Conflicts: 1673000 | #Constraints: 31167
1353.71/1357.80 c #Conflicts: 1674000 | #Constraints: 32171
1353.71/1357.80 c #Conflicts: 1675000 | #Constraints: 33174
1353.71/1357.80 c #Conflicts: 1676000 | #Constraints: 34185
1353.71/1357.80 c #Conflicts: 1677000 | #Constraints: 35197
1353.71/1357.80 c #Conflicts: 1678000 | #Constraints: 36204
1353.71/1357.80 c #Conflicts: 1679000 | #Constraints: 37209
1353.71/1357.80 c #Conflicts: 1680000 | #Constraints: 38216
1353.71/1357.80 c #Conflicts: 1681000 | #Constraints: 39240
1353.71/1357.80 c #Conflicts: 1682000 | #Constraints: 40247
1353.71/1357.80 c #Conflicts: 1683000 | #Constraints: 41258
1353.71/1357.80 c #Conflicts: 1684000 | #Constraints: 42265
1353.71/1357.80 c #Conflicts: 1685000 | #Constraints: 43274
1353.71/1357.80 c #Conflicts: 1686000 | #Constraints: 44285
1353.71/1357.80 c #Conflicts: 1687000 | #Constraints: 45291
1353.71/1357.80 c #Conflicts: 1688000 | #Constraints: 46294
1353.71/1357.80 c #Conflicts: 1689000 | #Constraints: 47297
1353.71/1357.80 c #Conflicts: 1690000 | #Constraints: 48303
1353.71/1357.80 c #Conflicts: 1691000 | #Constraints: 49306
1353.71/1357.80 c #Conflicts: 1692000 | #Constraints: 50311
1353.71/1357.80 c #Conflicts: 1693000 | #Constraints: 51316
1353.71/1357.80 c #Conflicts: 1694000 | #Constraints: 52326
1353.71/1357.80 c INPROCESSING
1353.71/1357.80 c GARBAGE COLLECT
1353.71/1357.80 c rational objective 14.1656
1374.86/1379.05 c #Conflicts: 1695000 | #Constraints: 27325
1374.86/1379.05 c #Conflicts: 1696000 | #Constraints: 28328
1374.86/1379.05 c #Conflicts: 1697000 | #Constraints: 29339
1374.86/1379.05 c #Conflicts: 1698000 | #Constraints: 30348
1374.86/1379.05 c #Conflicts: 1699000 | #Constraints: 31357
1374.86/1379.05 c #Conflicts: 1700000 | #Constraints: 32369
1374.86/1379.05 c #Conflicts: 1701000 | #Constraints: 33382
1374.86/1379.05 c #Conflicts: 1702000 | #Constraints: 34390
1374.86/1379.05 c #Conflicts: 1703000 | #Constraints: 35396
1374.86/1379.05 c #Conflicts: 1704000 | #Constraints: 36402
1374.86/1379.05 c #Conflicts: 1705000 | #Constraints: 37411
1374.86/1379.05 c #Conflicts: 1706000 | #Constraints: 38416
1374.86/1379.05 c #Conflicts: 1707000 | #Constraints: 39421
1374.86/1379.05 c #Conflicts: 1708000 | #Constraints: 40427
1374.86/1379.05 c #Conflicts: 1709000 | #Constraints: 41438
1374.86/1379.05 c #Conflicts: 1710000 | #Constraints: 42449
1374.86/1379.05 c #Conflicts: 1711000 | #Constraints: 43458
1374.86/1379.05 c #Conflicts: 1712000 | #Constraints: 44469
1374.86/1379.05 c #Conflicts: 1713000 | #Constraints: 45478
1374.86/1379.05 c #Conflicts: 1714000 | #Constraints: 46487
1374.86/1379.05 c #Conflicts: 1715000 | #Constraints: 47494
1374.86/1379.05 c #Conflicts: 1716000 | #Constraints: 48502
1374.86/1379.05 c #Conflicts: 1717000 | #Constraints: 49520
1374.86/1379.05 c #Conflicts: 1718000 | #Constraints: 50530
1374.86/1379.05 c #Conflicts: 1719000 | #Constraints: 51535
1374.86/1379.05 c #Conflicts: 1720000 | #Constraints: 52542
1374.86/1379.05 c INPROCESSING
1374.86/1379.05 c GARBAGE COLLECT
1374.86/1379.05 c rational objective 14.1656
1396.58/1400.82 c #Conflicts: 1721000 | #Constraints: 27312
1396.58/1400.82 c #Conflicts: 1722000 | #Constraints: 28318
1396.58/1400.82 c #Conflicts: 1723000 | #Constraints: 29328
1396.58/1400.82 c #Conflicts: 1724000 | #Constraints: 30338
1396.58/1400.82 c #Conflicts: 1725000 | #Constraints: 31342
1396.58/1400.82 c #Conflicts: 1726000 | #Constraints: 32366
1396.58/1400.82 c #Conflicts: 1727000 | #Constraints: 33385
1396.58/1400.82 c #Conflicts: 1728000 | #Constraints: 34401
1396.58/1400.82 c #Conflicts: 1729000 | #Constraints: 35411
1396.58/1400.82 c #Conflicts: 1730000 | #Constraints: 36426
1396.58/1400.82 c #Conflicts: 1731000 | #Constraints: 37441
1396.58/1400.82 c #Conflicts: 1732000 | #Constraints: 38445
1396.58/1400.82 c #Conflicts: 1733000 | #Constraints: 39463
1396.58/1400.82 c #Conflicts: 1734000 | #Constraints: 40473
1396.58/1400.82 c #Conflicts: 1735000 | #Constraints: 41488
1396.58/1400.82 c #Conflicts: 1736000 | #Constraints: 42513
1396.58/1400.82 c #Conflicts: 1737000 | #Constraints: 43530
1396.58/1400.82 c #Conflicts: 1738000 | #Constraints: 44545
1396.58/1400.82 c #Conflicts: 1739000 | #Constraints: 45559
1396.58/1400.82 c #Conflicts: 1740000 | #Constraints: 46575
1396.58/1400.82 c #Conflicts: 1741000 | #Constraints: 47599
1396.58/1400.82 c #Conflicts: 1742000 | #Constraints: 48620
1396.58/1400.82 c #Conflicts: 1743000 | #Constraints: 49632
1396.58/1400.82 c #Conflicts: 1744000 | #Constraints: 50644
1396.58/1400.82 c #Conflicts: 1745000 | #Constraints: 51648
1396.58/1400.82 c #Conflicts: 1746000 | #Constraints: 52654
1396.58/1400.82 c INPROCESSING
1396.58/1400.82 c GARBAGE COLLECT
1396.58/1400.82 c rational objective 14.1796
1421.61/1425.92 c #Conflicts: 1747000 | #Constraints: 25101
1421.61/1425.92 c #Conflicts: 1748000 | #Constraints: 26128
1421.61/1425.92 c #Conflicts: 1749000 | #Constraints: 27246
1421.61/1425.92 c #Conflicts: 1750000 | #Constraints: 28564
1421.61/1425.92 c #Conflicts: 1751000 | #Constraints: 29792
1421.61/1425.92 c #Conflicts: 1752000 | #Constraints: 31066
1421.61/1425.92 c #Conflicts: 1753000 | #Constraints: 32319
1421.61/1425.92 c #Conflicts: 1754000 | #Constraints: 33403
1421.61/1425.92 c #Conflicts: 1755000 | #Constraints: 34552
1421.61/1425.92 c #Conflicts: 1756000 | #Constraints: 35561
1421.61/1425.92 c #Conflicts: 1757000 | #Constraints: 36565
1421.61/1425.92 c #Conflicts: 1758000 | #Constraints: 37579
1421.61/1425.92 c #Conflicts: 1759000 | #Constraints: 38596
1421.61/1425.92 c #Conflicts: 1760000 | #Constraints: 39605
1421.61/1425.92 c #Conflicts: 1761000 | #Constraints: 40615
1421.61/1425.92 c #Conflicts: 1762000 | #Constraints: 41630
1421.61/1425.92 c #Conflicts: 1763000 | #Constraints: 42638
1421.61/1425.92 c #Conflicts: 1764000 | #Constraints: 43649
1421.61/1425.92 c #Conflicts: 1765000 | #Constraints: 44659
1421.61/1425.92 c #Conflicts: 1766000 | #Constraints: 45667
1421.61/1425.92 c #Conflicts: 1767000 | #Constraints: 46676
1421.61/1425.92 c #Conflicts: 1768000 | #Constraints: 47683
1421.61/1425.92 c #Conflicts: 1769000 | #Constraints: 48686
1421.61/1425.92 c #Conflicts: 1770000 | #Constraints: 49696
1421.61/1425.92 c #Conflicts: 1771000 | #Constraints: 50708
1421.61/1425.92 c #Conflicts: 1772000 | #Constraints: 51713
1421.61/1425.92 c #Conflicts: 1773000 | #Constraints: 52721
1421.61/1425.92 c INPROCESSING
1421.61/1425.92 c GARBAGE COLLECT
1421.61/1425.92 c rational objective 14.1799
1443.45/1447.86 c #Conflicts: 1774000 | #Constraints: 27395
1443.45/1447.86 c #Conflicts: 1775000 | #Constraints: 28400
1443.45/1447.86 c #Conflicts: 1776000 | #Constraints: 29405
1443.45/1447.86 c #Conflicts: 1777000 | #Constraints: 30410
1443.45/1447.86 c #Conflicts: 1778000 | #Constraints: 31419
1443.45/1447.86 c #Conflicts: 1779000 | #Constraints: 32431
1443.45/1447.86 c #Conflicts: 1780000 | #Constraints: 33444
1443.45/1447.86 c #Conflicts: 1781000 | #Constraints: 34461
1443.45/1447.86 c #Conflicts: 1782000 | #Constraints: 35472
1443.45/1447.86 c #Conflicts: 1783000 | #Constraints: 36474
1443.45/1447.86 c #Conflicts: 1784000 | #Constraints: 37485
1443.45/1447.86 c #Conflicts: 1785000 | #Constraints: 38494
1443.45/1447.86 c #Conflicts: 1786000 | #Constraints: 39506
1443.45/1447.86 c #Conflicts: 1787000 | #Constraints: 40524
1443.45/1447.86 c #Conflicts: 1788000 | #Constraints: 41533
1443.45/1447.86 c #Conflicts: 1789000 | #Constraints: 42542
1443.45/1447.86 c #Conflicts: 1790000 | #Constraints: 43545
1443.45/1447.86 c #Conflicts: 1791000 | #Constraints: 44551
1443.45/1447.86 c #Conflicts: 1792000 | #Constraints: 45557
1443.45/1447.86 c #Conflicts: 1793000 | #Constraints: 46561
1443.45/1447.86 c #Conflicts: 1794000 | #Constraints: 47565
1443.45/1447.86 c #Conflicts: 1795000 | #Constraints: 48581
1443.45/1447.86 c #Conflicts: 1796000 | #Constraints: 49595
1443.45/1447.86 c #Conflicts: 1797000 | #Constraints: 50617
1443.45/1447.86 c #Conflicts: 1798000 | #Constraints: 51622
1443.45/1447.86 c #Conflicts: 1799000 | #Constraints: 52626
1443.45/1447.86 c #Conflicts: 1800000 | #Constraints: 53636
1443.45/1447.86 c INPROCESSING
1443.45/1447.86 c GARBAGE COLLECT
1443.45/1447.86 c rational objective 14.18
1466.59/1471.04 c #Conflicts: 1801000 | #Constraints: 27948
1466.59/1471.04 c #Conflicts: 1802000 | #Constraints: 28958
1466.59/1471.04 c #Conflicts: 1803000 | #Constraints: 29973
1466.59/1471.04 c #Conflicts: 1804000 | #Constraints: 30990
1466.59/1471.04 c #Conflicts: 1805000 | #Constraints: 31999
1466.59/1471.04 c #Conflicts: 1806000 | #Constraints: 33011
1466.59/1471.04 c #Conflicts: 1807000 | #Constraints: 34022
1466.59/1471.04 c #Conflicts: 1808000 | #Constraints: 35033
1466.59/1471.04 c #Conflicts: 1809000 | #Constraints: 36038
1466.59/1471.04 c #Conflicts: 1810000 | #Constraints: 37043
1466.59/1471.04 c #Conflicts: 1811000 | #Constraints: 38048
1466.59/1471.04 c #Conflicts: 1812000 | #Constraints: 39055
1466.59/1471.04 c #Conflicts: 1813000 | #Constraints: 40066
1466.59/1471.04 c #Conflicts: 1814000 | #Constraints: 41073
1466.59/1471.04 c #Conflicts: 1815000 | #Constraints: 42090
1466.59/1471.04 c #Conflicts: 1816000 | #Constraints: 43106
1466.59/1471.04 c #Conflicts: 1817000 | #Constraints: 44109
1466.59/1471.04 c #Conflicts: 1818000 | #Constraints: 45115
1466.59/1471.04 c #Conflicts: 1819000 | #Constraints: 46121
1466.59/1471.04 c #Conflicts: 1820000 | #Constraints: 47129
1466.59/1471.04 c #Conflicts: 1821000 | #Constraints: 48134
1466.59/1471.04 c #Conflicts: 1822000 | #Constraints: 49140
1466.59/1471.04 c #Conflicts: 1823000 | #Constraints: 50145
1466.59/1471.04 c #Conflicts: 1824000 | #Constraints: 51153
1466.59/1471.04 c #Conflicts: 1825000 | #Constraints: 52160
1466.59/1471.04 c #Conflicts: 1826000 | #Constraints: 53172
1466.59/1471.04 c #Conflicts: 1827000 | #Constraints: 54179
1466.59/1471.04 c INPROCESSING
1466.59/1471.04 c GARBAGE COLLECT
1466.59/1471.04 c rational objective 14.1801
1488.32/1492.81 c #Conflicts: 1828000 | #Constraints: 28262
1488.32/1492.81 c #Conflicts: 1829000 | #Constraints: 29322
1488.32/1492.81 c #Conflicts: 1830000 | #Constraints: 30342
1488.32/1492.81 c #Conflicts: 1831000 | #Constraints: 31357
1488.32/1492.81 c #Conflicts: 1832000 | #Constraints: 32372
1488.32/1492.81 c #Conflicts: 1833000 | #Constraints: 33380
1488.32/1492.81 c #Conflicts: 1834000 | #Constraints: 34391
1488.32/1492.81 c #Conflicts: 1835000 | #Constraints: 35413
1488.32/1492.81 c #Conflicts: 1836000 | #Constraints: 36425
1488.32/1492.81 c #Conflicts: 1837000 | #Constraints: 37439
1488.32/1492.81 c #Conflicts: 1838000 | #Constraints: 38449
1488.32/1492.81 c #Conflicts: 1839000 | #Constraints: 39463
1488.32/1492.81 c #Conflicts: 1840000 | #Constraints: 40481
1488.32/1492.81 c #Conflicts: 1841000 | #Constraints: 41489
1488.32/1492.81 c #Conflicts: 1842000 | #Constraints: 42498
1488.32/1492.81 c #Conflicts: 1843000 | #Constraints: 43505
1488.32/1492.81 c #Conflicts: 1844000 | #Constraints: 44519
1488.32/1492.81 c #Conflicts: 1845000 | #Constraints: 45534
1488.32/1492.81 c #Conflicts: 1846000 | #Constraints: 46547
1488.32/1492.81 c #Conflicts: 1847000 | #Constraints: 47568
1488.32/1492.81 c #Conflicts: 1848000 | #Constraints: 48583
1488.32/1492.81 c #Conflicts: 1849000 | #Constraints: 49600
1488.32/1492.81 c #Conflicts: 1850000 | #Constraints: 50616
1488.32/1492.81 c #Conflicts: 1851000 | #Constraints: 51649
1488.32/1492.81 c #Conflicts: 1852000 | #Constraints: 52678
1488.32/1492.81 c #Conflicts: 1853000 | #Constraints: 53688
1488.32/1492.81 c #Conflicts: 1854000 | #Constraints: 54709
1488.32/1492.81 c INPROCESSING
1488.32/1492.81 c GARBAGE COLLECT
1488.32/1492.81 c rational objective 14.1806
1511.25/1515.87 c #Conflicts: 1855000 | #Constraints: 25901
1511.25/1515.87 c #Conflicts: 1856000 | #Constraints: 26912
1511.25/1515.87 c #Conflicts: 1857000 | #Constraints: 27920
1511.25/1515.87 c #Conflicts: 1858000 | #Constraints: 28928
1511.25/1515.87 c #Conflicts: 1859000 | #Constraints: 29934
1511.25/1515.87 c #Conflicts: 1860000 | #Constraints: 30942
1511.25/1515.87 c #Conflicts: 1861000 | #Constraints: 31951
1511.25/1515.87 c #Conflicts: 1862000 | #Constraints: 32958
1511.25/1515.87 c #Conflicts: 1863000 | #Constraints: 33966
1511.25/1515.87 c #Conflicts: 1864000 | #Constraints: 34975
1511.25/1515.87 c #Conflicts: 1865000 | #Constraints: 35982
1511.25/1515.87 c #Conflicts: 1866000 | #Constraints: 36999
1511.25/1515.87 c #Conflicts: 1867000 | #Constraints: 38008
1511.25/1515.87 c #Conflicts: 1868000 | #Constraints: 39015
1511.25/1515.87 c #Conflicts: 1869000 | #Constraints: 40022
1511.25/1515.87 c #Conflicts: 1870000 | #Constraints: 41029
1511.25/1515.87 c #Conflicts: 1871000 | #Constraints: 42036
1511.25/1515.87 c #Conflicts: 1872000 | #Constraints: 43043
1511.25/1515.87 c #Conflicts: 1873000 | #Constraints: 44050
1511.25/1515.87 c #Conflicts: 1874000 | #Constraints: 45054
1511.25/1515.87 c #Conflicts: 1875000 | #Constraints: 46059
1511.25/1515.87 c #Conflicts: 1876000 | #Constraints: 47068
1511.25/1515.87 c #Conflicts: 1877000 | #Constraints: 48074
1511.25/1515.87 c #Conflicts: 1878000 | #Constraints: 49077
1511.25/1515.87 c #Conflicts: 1879000 | #Constraints: 50084
1511.25/1515.87 c #Conflicts: 1880000 | #Constraints: 51093
1511.25/1515.87 c #Conflicts: 1881000 | #Constraints: 52099
1511.25/1515.87 c INPROCESSING
1511.25/1515.87 c GARBAGE COLLECT
1511.25/1515.87 c rational objective 14.1806
1536.38/1541.03 c #Conflicts: 1882000 | #Constraints: 26885
1536.38/1541.03 c #Conflicts: 1883000 | #Constraints: 27931
1536.38/1541.03 c #Conflicts: 1884000 | #Constraints: 28934
1536.38/1541.03 c #Conflicts: 1885000 | #Constraints: 29937
1536.38/1541.03 c #Conflicts: 1886000 | #Constraints: 30944
1536.38/1541.03 c #Conflicts: 1887000 | #Constraints: 31956
1536.38/1541.03 c #Conflicts: 1888000 | #Constraints: 32966
1536.38/1541.03 c #Conflicts: 1889000 | #Constraints: 33976
1536.38/1541.03 c #Conflicts: 1890000 | #Constraints: 34988
1536.38/1541.03 c #Conflicts: 1891000 | #Constraints: 36005
1536.38/1541.03 c #Conflicts: 1892000 | #Constraints: 37014
1536.38/1541.03 c #Conflicts: 1893000 | #Constraints: 38017
1536.38/1541.03 c #Conflicts: 1894000 | #Constraints: 39020
1536.38/1541.03 c #Conflicts: 1895000 | #Constraints: 40033
1536.38/1541.03 c #Conflicts: 1896000 | #Constraints: 41038
1536.38/1541.03 c #Conflicts: 1897000 | #Constraints: 42041
1536.38/1541.03 c #Conflicts: 1898000 | #Constraints: 43048
1536.38/1541.03 c #Conflicts: 1899000 | #Constraints: 44054
1536.38/1541.03 c #Conflicts: 1900000 | #Constraints: 45061
1536.38/1541.03 c #Conflicts: 1901000 | #Constraints: 46069
1536.38/1541.03 c #Conflicts: 1902000 | #Constraints: 47074
1536.38/1541.03 c #Conflicts: 1903000 | #Constraints: 48078
1536.38/1541.03 c #Conflicts: 1904000 | #Constraints: 49081
1536.38/1541.03 c #Conflicts: 1905000 | #Constraints: 50086
1536.38/1541.03 c #Conflicts: 1906000 | #Constraints: 51094
1536.38/1541.03 c #Conflicts: 1907000 | #Constraints: 52102
1536.38/1541.03 c #Conflicts: 1908000 | #Constraints: 53108
1536.38/1541.03 c #Conflicts: 1909000 | #Constraints: 54113
1536.38/1541.03 c INPROCESSING
1536.38/1541.03 c GARBAGE COLLECT
1536.38/1541.03 c rational objective 14.1806
1560.61/1565.38 c #Conflicts: 1910000 | #Constraints: 28144
1560.61/1565.38 c #Conflicts: 1911000 | #Constraints: 29158
1560.61/1565.38 c #Conflicts: 1912000 | #Constraints: 30166
1560.61/1565.38 c #Conflicts: 1913000 | #Constraints: 31177
1560.61/1565.38 c #Conflicts: 1914000 | #Constraints: 32190
1560.61/1565.38 c #Conflicts: 1915000 | #Constraints: 33203
1560.61/1565.38 c #Conflicts: 1916000 | #Constraints: 34216
1560.61/1565.38 c #Conflicts: 1917000 | #Constraints: 35224
1560.61/1565.38 c #Conflicts: 1918000 | #Constraints: 36234
1560.61/1565.38 c #Conflicts: 1919000 | #Constraints: 37238
1560.61/1565.38 c #Conflicts: 1920000 | #Constraints: 38244
1560.61/1565.38 c #Conflicts: 1921000 | #Constraints: 39249
1560.61/1565.38 c #Conflicts: 1922000 | #Constraints: 40253
1560.61/1565.38 c #Conflicts: 1923000 | #Constraints: 41261
1560.61/1565.38 c #Conflicts: 1924000 | #Constraints: 42272
1560.61/1565.38 c #Conflicts: 1925000 | #Constraints: 43279
1560.61/1565.38 c #Conflicts: 1926000 | #Constraints: 44290
1560.61/1565.38 c #Conflicts: 1927000 | #Constraints: 45299
1560.61/1565.38 c #Conflicts: 1928000 | #Constraints: 46309
1560.61/1565.38 c #Conflicts: 1929000 | #Constraints: 47317
1560.61/1565.38 c #Conflicts: 1930000 | #Constraints: 48320
1560.61/1565.38 c #Conflicts: 1931000 | #Constraints: 49323
1560.61/1565.38 c #Conflicts: 1932000 | #Constraints: 50330
1560.61/1565.38 c #Conflicts: 1933000 | #Constraints: 51336
1560.61/1565.38 c #Conflicts: 1934000 | #Constraints: 52344
1560.61/1565.38 c #Conflicts: 1935000 | #Constraints: 53358
1560.61/1565.38 c #Conflicts: 1936000 | #Constraints: 54367
1560.61/1565.38 c #Conflicts: 1937000 | #Constraints: 55375
1560.61/1565.38 c INPROCESSING
1560.61/1565.38 c GARBAGE COLLECT
1560.61/1565.38 c rational objective 14.1807
1584.04/1588.87 c #Conflicts: 1938000 | #Constraints: 28816
1584.04/1588.87 c #Conflicts: 1939000 | #Constraints: 29819
1584.04/1588.87 c #Conflicts: 1940000 | #Constraints: 30831
1584.04/1588.87 c #Conflicts: 1941000 | #Constraints: 31836
1584.04/1588.87 c #Conflicts: 1942000 | #Constraints: 32839
1584.04/1588.87 c #Conflicts: 1943000 | #Constraints: 33848
1584.04/1588.87 c #Conflicts: 1944000 | #Constraints: 34855
1584.04/1588.87 c #Conflicts: 1945000 | #Constraints: 35861
1584.04/1588.87 c #Conflicts: 1946000 | #Constraints: 36870
1584.04/1588.87 c #Conflicts: 1947000 | #Constraints: 37876
1584.04/1588.87 c #Conflicts: 1948000 | #Constraints: 38888
1584.04/1588.87 c #Conflicts: 1949000 | #Constraints: 39895
1584.04/1588.87 c #Conflicts: 1950000 | #Constraints: 40899
1584.04/1588.87 c #Conflicts: 1951000 | #Constraints: 41915
1584.04/1588.87 c #Conflicts: 1952000 | #Constraints: 42920
1584.04/1588.87 c #Conflicts: 1953000 | #Constraints: 43927
1584.04/1588.87 c #Conflicts: 1954000 | #Constraints: 44941
1584.04/1588.87 c #Conflicts: 1955000 | #Constraints: 45951
1584.04/1588.87 c #Conflicts: 1956000 | #Constraints: 46960
1584.04/1588.87 c #Conflicts: 1957000 | #Constraints: 47991
1584.04/1588.87 c #Conflicts: 1958000 | #Constraints: 49010
1584.04/1588.87 c #Conflicts: 1959000 | #Constraints: 50016
1584.04/1588.87 c #Conflicts: 1960000 | #Constraints: 51030
1584.04/1588.87 c #Conflicts: 1961000 | #Constraints: 52042
1584.04/1588.87 c #Conflicts: 1962000 | #Constraints: 53051
1584.04/1588.87 c #Conflicts: 1963000 | #Constraints: 54061
1584.04/1588.87 c #Conflicts: 1964000 | #Constraints: 55075
1584.04/1588.87 c #Conflicts: 1965000 | #Constraints: 56084
1584.04/1588.87 c INPROCESSING
1584.04/1588.87 c GARBAGE COLLECT
1584.04/1588.87 c rational objective 14.1816
1609.27/1614.14 c #Conflicts: 1966000 | #Constraints: 29397
1609.27/1614.14 c #Conflicts: 1967000 | #Constraints: 30438
1609.27/1614.14 c #Conflicts: 1968000 | #Constraints: 31450
1609.27/1614.14 c #Conflicts: 1969000 | #Constraints: 32458
1609.27/1614.14 c #Conflicts: 1970000 | #Constraints: 33466
1609.27/1614.14 c #Conflicts: 1971000 | #Constraints: 34477
1609.27/1614.14 c #Conflicts: 1972000 | #Constraints: 35483
1609.27/1614.14 c #Conflicts: 1973000 | #Constraints: 36492
1609.27/1614.14 c #Conflicts: 1974000 | #Constraints: 37501
1609.27/1614.14 c #Conflicts: 1975000 | #Constraints: 38507
1609.27/1614.14 c #Conflicts: 1976000 | #Constraints: 39525
1609.27/1614.14 c #Conflicts: 1977000 | #Constraints: 40529
1609.27/1614.14 c #Conflicts: 1978000 | #Constraints: 41537
1609.27/1614.14 c #Conflicts: 1979000 | #Constraints: 42547
1609.27/1614.14 c #Conflicts: 1980000 | #Constraints: 43553
1609.27/1614.14 c #Conflicts: 1981000 | #Constraints: 44560
1609.27/1614.14 c #Conflicts: 1982000 | #Constraints: 45565
1609.27/1614.14 c #Conflicts: 1983000 | #Constraints: 46572
1609.27/1614.14 c #Conflicts: 1984000 | #Constraints: 47577
1609.27/1614.14 c #Conflicts: 1985000 | #Constraints: 48580
1609.27/1614.14 c #Conflicts: 1986000 | #Constraints: 49583
1609.27/1614.14 c #Conflicts: 1987000 | #Constraints: 50589
1609.27/1614.14 c #Conflicts: 1988000 | #Constraints: 51595
1609.27/1614.14 c #Conflicts: 1989000 | #Constraints: 52606
1609.27/1614.14 c #Conflicts: 1990000 | #Constraints: 53615
1609.27/1614.14 c #Conflicts: 1991000 | #Constraints: 54623
1609.27/1614.14 c #Conflicts: 1992000 | #Constraints: 55628
1609.27/1614.14 c #Conflicts: 1993000 | #Constraints: 56642
1609.27/1614.14 c INPROCESSING
1609.27/1614.14 c GARBAGE COLLECT
1609.27/1614.14 c rational objective 14.1816
1634.58/1639.54 c #Conflicts: 1994000 | #Constraints: 29355
1634.58/1639.54 c #Conflicts: 1995000 | #Constraints: 30361
1634.58/1639.54 c #Conflicts: 1996000 | #Constraints: 31366
1634.58/1639.54 c #Conflicts: 1997000 | #Constraints: 32372
1634.58/1639.54 c #Conflicts: 1998000 | #Constraints: 33381
1634.58/1639.54 c #Conflicts: 1999000 | #Constraints: 34383
1634.58/1639.54 c #Conflicts: 2000000 | #Constraints: 35391
1634.58/1639.54 c #Conflicts: 2001000 | #Constraints: 36405
1634.58/1639.54 c #Conflicts: 2002000 | #Constraints: 37413
1634.58/1639.54 c #Conflicts: 2003000 | #Constraints: 38419
1634.58/1639.54 c #Conflicts: 2004000 | #Constraints: 39426
1634.58/1639.54 c #Conflicts: 2005000 | #Constraints: 40430
1634.58/1639.54 c #Conflicts: 2006000 | #Constraints: 41441
1634.58/1639.54 c #Conflicts: 2007000 | #Constraints: 42450
1634.58/1639.54 c #Conflicts: 2008000 | #Constraints: 43457
1634.58/1639.54 c #Conflicts: 2009000 | #Constraints: 44463
1634.58/1639.54 c #Conflicts: 2010000 | #Constraints: 45474
1634.58/1639.54 c #Conflicts: 2011000 | #Constraints: 46479
1634.58/1639.54 c #Conflicts: 2012000 | #Constraints: 47484
1634.58/1639.54 c #Conflicts: 2013000 | #Constraints: 48491
1634.58/1639.54 c #Conflicts: 2014000 | #Constraints: 49496
1634.58/1639.54 c #Conflicts: 2015000 | #Constraints: 50502
1634.58/1639.54 c #Conflicts: 2016000 | #Constraints: 51512
1634.58/1639.54 c #Conflicts: 2017000 | #Constraints: 52527
1634.58/1639.54 c #Conflicts: 2018000 | #Constraints: 53544
1634.58/1639.54 c #Conflicts: 2019000 | #Constraints: 54557
1634.58/1639.54 c #Conflicts: 2020000 | #Constraints: 55570
1634.58/1639.54 c #Conflicts: 2021000 | #Constraints: 56575
1634.58/1639.54 c INPROCESSING
1634.58/1639.54 c GARBAGE COLLECT
1634.58/1639.54 c rational objective 14.3711
1658.41/1663.47 c #Conflicts: 2022000 | #Constraints: 24231
1658.41/1663.47 c #Conflicts: 2023000 | #Constraints: 25249
1658.41/1663.47 c #Conflicts: 2024000 | #Constraints: 26255
1658.41/1663.47 c #Conflicts: 2025000 | #Constraints: 27264
1658.41/1663.47 c #Conflicts: 2026000 | #Constraints: 28272
1658.41/1663.47 c #Conflicts: 2027000 | #Constraints: 29277
1658.41/1663.47 c #Conflicts: 2028000 | #Constraints: 30288
1658.41/1663.47 c #Conflicts: 2029000 | #Constraints: 31297
1658.41/1663.47 c #Conflicts: 2030000 | #Constraints: 32305
1658.41/1663.47 c #Conflicts: 2031000 | #Constraints: 33314
1658.41/1663.47 c #Conflicts: 2032000 | #Constraints: 34318
1658.41/1663.47 c #Conflicts: 2033000 | #Constraints: 35329
1658.41/1663.47 c #Conflicts: 2034000 | #Constraints: 36334
1658.41/1663.47 c #Conflicts: 2035000 | #Constraints: 37347
1658.41/1663.47 c #Conflicts: 2036000 | #Constraints: 38358
1658.41/1663.47 c #Conflicts: 2037000 | #Constraints: 39370
1658.41/1663.47 c #Conflicts: 2038000 | #Constraints: 40381
1658.41/1663.47 c #Conflicts: 2039000 | #Constraints: 41390
1658.41/1663.47 c #Conflicts: 2040000 | #Constraints: 42392
1658.41/1663.47 c #Conflicts: 2041000 | #Constraints: 43399
1658.41/1663.47 c #Conflicts: 2042000 | #Constraints: 44408
1658.41/1663.47 c #Conflicts: 2043000 | #Constraints: 45414
1658.41/1663.47 c #Conflicts: 2044000 | #Constraints: 46420
1658.41/1663.47 c #Conflicts: 2045000 | #Constraints: 47428
1658.41/1663.47 c #Conflicts: 2046000 | #Constraints: 48437
1658.41/1663.47 c #Conflicts: 2047000 | #Constraints: 49447
1658.41/1663.47 c #Conflicts: 2048000 | #Constraints: 50452
1658.41/1663.47 c #Conflicts: 2049000 | #Constraints: 51459
1658.41/1663.47 c #Conflicts: 2050000 | #Constraints: 52463
1658.41/1663.47 c INPROCESSING
1658.41/1663.47 c GARBAGE COLLECT
1658.41/1663.47 c rational objective 14.4211
1684.84/1689.90 c #Conflicts: 2051000 | #Constraints: 27261
1684.84/1689.90 c #Conflicts: 2052000 | #Constraints: 28267
1684.84/1689.90 c #Conflicts: 2053000 | #Constraints: 29269
1684.84/1689.90 c #Conflicts: 2054000 | #Constraints: 30278
1684.84/1689.90 c #Conflicts: 2055000 | #Constraints: 31301
1684.84/1689.90 c #Conflicts: 2056000 | #Constraints: 32316
1684.84/1689.90 c #Conflicts: 2057000 | #Constraints: 33325
1684.84/1689.90 c #Conflicts: 2058000 | #Constraints: 34334
1684.84/1689.90 c #Conflicts: 2059000 | #Constraints: 35338
1684.84/1689.90 c #Conflicts: 2060000 | #Constraints: 36351
1684.84/1689.90 c #Conflicts: 2061000 | #Constraints: 37364
1684.84/1689.90 c #Conflicts: 2062000 | #Constraints: 38369
1684.84/1689.90 c #Conflicts: 2063000 | #Constraints: 39383
1684.84/1689.90 c #Conflicts: 2064000 | #Constraints: 40394
1684.84/1689.90 c #Conflicts: 2065000 | #Constraints: 41399
1684.84/1689.90 c #Conflicts: 2066000 | #Constraints: 42421
1684.84/1689.90 c #Conflicts: 2067000 | #Constraints: 43446
1684.84/1689.90 c #Conflicts: 2068000 | #Constraints: 44457
1684.84/1689.90 c #Conflicts: 2069000 | #Constraints: 45465
1684.84/1689.90 c #Conflicts: 2070000 | #Constraints: 46482
1684.84/1689.90 c #Conflicts: 2071000 | #Constraints: 47494
1684.84/1689.90 c #Conflicts: 2072000 | #Constraints: 48511
1684.84/1689.90 c #Conflicts: 2073000 | #Constraints: 49519
1684.84/1689.90 c #Conflicts: 2074000 | #Constraints: 50526
1684.84/1689.90 c #Conflicts: 2075000 | #Constraints: 51530
1684.84/1689.90 c #Conflicts: 2076000 | #Constraints: 52541
1684.84/1689.90 c #Conflicts: 2077000 | #Constraints: 53559
1684.84/1689.90 c #Conflicts: 2078000 | #Constraints: 54564
1684.84/1689.90 c #Conflicts: 2079000 | #Constraints: 55578
1684.84/1689.90 c INPROCESSING
1684.84/1689.90 c GARBAGE COLLECT
1684.84/1689.90 c rational objective 14.4211
1713.46/1718.61 c #Conflicts: 2080000 | #Constraints: 28925
1713.46/1718.61 c #Conflicts: 2081000 | #Constraints: 29934
1713.46/1718.61 c #Conflicts: 2082000 | #Constraints: 30950
1713.46/1718.61 c #Conflicts: 2083000 | #Constraints: 31956
1713.46/1718.61 c #Conflicts: 2084000 | #Constraints: 32961
1713.46/1718.61 c #Conflicts: 2085000 | #Constraints: 33970
1713.46/1718.61 c #Conflicts: 2086000 | #Constraints: 34978
1713.46/1718.61 c #Conflicts: 2087000 | #Constraints: 35986
1713.46/1718.61 c #Conflicts: 2088000 | #Constraints: 36995
1713.46/1718.61 c #Conflicts: 2089000 | #Constraints: 38008
1713.46/1718.61 c #Conflicts: 2090000 | #Constraints: 39016
1713.46/1718.61 c #Conflicts: 2091000 | #Constraints: 40027
1713.46/1718.61 c #Conflicts: 2092000 | #Constraints: 41040
1713.46/1718.61 c #Conflicts: 2093000 | #Constraints: 42049
1713.46/1718.61 c #Conflicts: 2094000 | #Constraints: 43058
1713.46/1718.61 c #Conflicts: 2095000 | #Constraints: 44067
1713.46/1718.61 c #Conflicts: 2096000 | #Constraints: 45076
1713.46/1718.61 c #Conflicts: 2097000 | #Constraints: 46082
1713.46/1718.61 c #Conflicts: 2098000 | #Constraints: 47088
1713.46/1718.61 c #Conflicts: 2099000 | #Constraints: 48098
1713.46/1718.61 c #Conflicts: 2100000 | #Constraints: 49106
1713.46/1718.61 c #Conflicts: 2101000 | #Constraints: 50117
1713.46/1718.61 c #Conflicts: 2102000 | #Constraints: 51123
1713.46/1718.61 c #Conflicts: 2103000 | #Constraints: 52129
1713.46/1718.61 c #Conflicts: 2104000 | #Constraints: 53136
1713.46/1718.61 c #Conflicts: 2105000 | #Constraints: 54143
1713.46/1718.61 c #Conflicts: 2106000 | #Constraints: 55148
1713.46/1718.61 c #Conflicts: 2107000 | #Constraints: 56157
1713.46/1718.61 c #Conflicts: 2108000 | #Constraints: 57164
1713.46/1718.61 c INPROCESSING
1713.46/1718.61 c GARBAGE COLLECT
1713.46/1718.61 c rational objective 14.4211
1745.27/1750.54 c #Conflicts: 2109000 | #Constraints: 29789
1745.27/1750.54 c #Conflicts: 2110000 | #Constraints: 30798
1745.27/1750.54 c #Conflicts: 2111000 | #Constraints: 31805
1745.27/1750.54 c #Conflicts: 2112000 | #Constraints: 32814
1745.27/1750.54 c #Conflicts: 2113000 | #Constraints: 33822
1745.27/1750.54 c #Conflicts: 2114000 | #Constraints: 34828
1745.27/1750.54 c #Conflicts: 2115000 | #Constraints: 35845
1745.27/1750.54 c #Conflicts: 2116000 | #Constraints: 36863
1745.27/1750.54 c #Conflicts: 2117000 | #Constraints: 37880
1745.27/1750.54 c #Conflicts: 2118000 | #Constraints: 38895
1745.27/1750.54 c #Conflicts: 2119000 | #Constraints: 39907
1745.27/1750.54 c #Conflicts: 2120000 | #Constraints: 40924
1745.27/1750.54 c #Conflicts: 2121000 | #Constraints: 41939
1745.27/1750.54 c #Conflicts: 2122000 | #Constraints: 42946
1745.27/1750.54 c #Conflicts: 2123000 | #Constraints: 43953
1745.27/1750.54 c #Conflicts: 2124000 | #Constraints: 44961
1745.27/1750.54 c #Conflicts: 2125000 | #Constraints: 45969
1745.27/1750.54 c #Conflicts: 2126000 | #Constraints: 46982
1745.27/1750.54 c #Conflicts: 2127000 | #Constraints: 47995
1745.27/1750.54 c #Conflicts: 2128000 | #Constraints: 49004
1745.27/1750.54 c #Conflicts: 2129000 | #Constraints: 50010
1745.27/1750.54 c #Conflicts: 2130000 | #Constraints: 51026
1745.27/1750.54 c #Conflicts: 2131000 | #Constraints: 52042
1745.27/1750.54 c #Conflicts: 2132000 | #Constraints: 53050
1745.27/1750.54 c #Conflicts: 2133000 | #Constraints: 54056
1745.27/1750.54 c #Conflicts: 2134000 | #Constraints: 55066
1745.27/1750.54 c #Conflicts: 2135000 | #Constraints: 56077
1745.27/1750.54 c #Conflicts: 2136000 | #Constraints: 57081
1745.27/1750.54 c #Conflicts: 2137000 | #Constraints: 58086
1745.27/1750.54 c INPROCESSING
1745.27/1750.54 c GARBAGE COLLECT
1745.27/1750.54 c rational objective 14.4211
1766.21/1771.58 c #Conflicts: 2138000 | #Constraints: 30080
1766.21/1771.58 c #Conflicts: 2139000 | #Constraints: 31093
1766.21/1771.58 c #Conflicts: 2140000 | #Constraints: 32100
1766.21/1771.58 c #Conflicts: 2141000 | #Constraints: 33105
1766.21/1771.58 c #Conflicts: 2142000 | #Constraints: 34111
1766.21/1771.58 c #Conflicts: 2143000 | #Constraints: 35120
1766.21/1771.58 c #Conflicts: 2144000 | #Constraints: 36133
1766.21/1771.58 c #Conflicts: 2145000 | #Constraints: 37142
1766.21/1771.58 c #Conflicts: 2146000 | #Constraints: 38151
1766.21/1771.58 c #Conflicts: 2147000 | #Constraints: 39155
1766.21/1771.58 c #Conflicts: 2148000 | #Constraints: 40161
1766.21/1771.58 c #Conflicts: 2149000 | #Constraints: 41164
1766.21/1771.58 c #Conflicts: 2150000 | #Constraints: 42171
1766.21/1771.58 c #Conflicts: 2151000 | #Constraints: 43181
1766.21/1771.58 c #Conflicts: 2152000 | #Constraints: 44188
1766.21/1771.58 c #Conflicts: 2153000 | #Constraints: 45191
1766.21/1771.58 c #Conflicts: 2154000 | #Constraints: 46193
1766.21/1771.58 c #Conflicts: 2155000 | #Constraints: 47199
1766.21/1771.58 c #Conflicts: 2156000 | #Constraints: 48203
1766.21/1771.58 c #Conflicts: 2157000 | #Constraints: 49209
1766.21/1771.58 c #Conflicts: 2158000 | #Constraints: 50210
1766.21/1771.58 c bounds 17 >= 14 @ 1751.09
1776.58/1781.97 c #Conflicts: 2159000 | #Constraints: 51244
1776.58/1781.97 c #Conflicts: 2160000 | #Constraints: 52246
1776.58/1781.97 c #Conflicts: 2161000 | #Constraints: 53252
1776.58/1781.97 c #Conflicts: 2162000 | #Constraints: 54259
1776.58/1781.97 c #Conflicts: 2163000 | #Constraints: 55269
1776.58/1781.97 c #Conflicts: 2164000 | #Constraints: 56277
1776.58/1781.97 c #Conflicts: 2165000 | #Constraints: 57281
1776.58/1781.97 c #Conflicts: 2166000 | #Constraints: 58284
1776.58/1781.97 c INPROCESSING
1776.58/1781.97 c GARBAGE COLLECT
1776.58/1781.97 c rational objective 14.4211
1781.67/1787.03 c #Conflicts: 2167000 | #Constraints: 29977
1781.67/1787.03 c #Conflicts: 2168000 | #Constraints: 30990
1781.67/1787.03 c #Conflicts: 2169000 | #Constraints: 31998
1781.67/1787.03 c #Conflicts: 2170000 | #Constraints: 33007
1781.67/1787.03 c #Conflicts: 2171000 | #Constraints: 34014
1781.67/1787.03 c #Conflicts: 2172000 | #Constraints: 35024
1781.67/1787.03 c #Conflicts: 2173000 | #Constraints: 36026
1781.67/1787.03 c #Conflicts: 2174000 | #Constraints: 37038
1781.67/1787.03 c bounds 17 >= 17 @ 1766.39
1781.67/1787.03 c cpu time 1766.39 s
1781.67/1787.03 c deterministic time 139614930098 1.40e+11
1781.67/1787.03 c optimization time 0.002571 s
1781.67/1787.03 c total solve time 1766.38 s
1781.67/1787.03 c core-guided solve time 937.386 s
1781.67/1787.03 c propagation time 1205.86 s
1781.67/1787.03 c conflict analysis time 512.078 s
1781.67/1787.03 c propagations 213812274
1781.67/1787.03 c resolve steps 13804396
1781.67/1787.03 c decisions 6123481
1781.67/1787.03 c conflicts 2174359
1781.67/1787.03 c restarts 4093
1781.67/1787.03 c inprocessing phases 138
1781.67/1787.03 c garbage collections 138 ,( 100.00 )
1781.67/1787.03 c input clauses 157 ,( 48.61 )
1781.67/1787.03 c input cardinalities 99 ,( 30.65 )
1781.67/1787.03 c input general constraints 67 ,( 20.74 )
1781.67/1787.03 c input average constraint length 49.09
1781.67/1787.03 c input average constraint degree 23.78
1781.67/1787.03 c learned clauses 936535 ,( 42.53 )
1781.67/1787.03 c learned cardinalities 1442 ,( 0.07 )
1781.67/1787.03 c learned general constraints 1264200 ,( 57.41 )
1781.67/1787.03 c learned average constraint length 82.89
1781.67/1787.03 c learned average constraint degree 3623712636.44
1781.67/1787.03 c watched CF 32, 64, 128, Arb: 82986 , 0 , 0 , 0
1781.67/1787.03 c counting CF 32, 64, 128, Arb: 1181282 , 0 , 0 , 0
1781.67/1787.03 c watched constraints 82986 ,( 6.56 )
1781.67/1787.03 c counting constraints 1181281 ,( 93.44 )
1781.67/1787.03 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 201150623 , 573653182 , 7203195206 ,( 189280372 , 7013914834 )
1781.67/1787.03 c gcd simplifications 260608
1781.67/1787.03 c detected cardinalities 28
1781.67/1787.03 c weakened non-implied lits 316292758
1781.67/1787.03 c weakened non-implying lits 860110
1781.67/1787.03 c original variables 299
1781.67/1787.03 c clausal propagations 9713743
1781.67/1787.03 c cardinality propagations 2714993
1781.67/1787.03 c watched propagations 429101
1781.67/1787.03 c counting propagations 192788311
1781.67/1787.03 c watch lookups 117242256301
1781.67/1787.03 c watch backjump lookups 0
1781.67/1787.03 c watch checks 4234503696
1781.67/1787.03 c propagation checks 15328196569
1781.67/1787.03 c constraint additions 2365728785
1781.67/1787.03 c trail pops 222088168
1781.67/1787.03 c formula constraints 103
1781.67/1787.03 c learned constraints 2152671
1781.67/1787.03 c bound constraints 33
1781.67/1787.03 c core-guided constraints 187
1781.67/1787.03 c encountered formula constraints 1822925
1781.67/1787.03 c encountered learned constraints 5930365
1781.67/1787.03 c encountered bound constraints 227
1781.67/1787.03 c encountered core-guided constraints 996344
1781.67/1787.03 c LP total time 59.96 s
1781.67/1787.03 c LP solve time 47.02 s
1781.67/1787.03 c LP constraints added 241
1781.67/1787.03 c LP constraints removed 134
1781.67/1787.03 c LP pivots internal 2174396
1781.67/1787.03 c LP pivots root 46427
1781.67/1787.03 c LP calls 29046
1781.67/1787.03 c LP optimalities 1167
1781.67/1787.03 c LP no pivot count 6
1781.67/1787.03 c LP infeasibilities 27775
1781.67/1787.03 c LP valid Farkas constraints 27680
1781.67/1787.03 c LP learned Farkas constraints 21689
1781.67/1787.03 c LP basis resets 198
1781.67/1787.03 c LP cycling count 102
1781.67/1787.03 c LP singular count 1
1781.67/1787.03 c LP no primal count 0
1781.67/1787.03 c LP no farkas count 95
1781.67/1787.03 c LP other issue count 0
1781.67/1787.03 c LP Gomory cuts 137
1781.67/1787.03 c LP learned cuts 1
1781.67/1787.03 c LP deleted cuts 134
1781.67/1787.03 c LP encountered Gomory constraints 0
1781.67/1787.03 c LP encountered Farkas constraints 6838569
1781.67/1787.03 c LP encountered learned Farkas constraints 368636
1781.67/1787.03 c CG auxiliary variables introduced 67
1781.67/1787.03 c CG solutions found 19
1781.67/1787.03 c CG cores constructed 14
1781.67/1787.03 c CG core cardinality constraints returned 0
1781.67/1787.03 c CG unit cores 0
1781.67/1787.03 c CG single cores 14
1781.67/1787.03 c CG blocks removed during cardinality reduction 0
1781.67/1787.03 c CG first core best 0
1781.67/1787.03 c CG decision core best 0
1781.67/1787.03 c CG core reduction tie 0
1781.67/1787.03 c CG core degree average 1.00
1781.67/1787.03 c CG core slack average 24.07
1781.67/1787.03 c CG core upper bound improvements 29
1781.67/1787.03 c STR number of successful calls 0
1781.67/1787.03 c STR number of unsuccessful calls 0
1781.67/1787.03 c STR number of inconclusive calls 0
1781.67/1787.03 c STR number of successful attempts 0
1781.67/1787.03 c STR number of unsuccessful attempts 0
1781.67/1787.03 c STR number of inconclusive attempts 0
1781.67/1787.03 c STR average degree increase per successful call inf
1781.67/1787.03 c STR average degree increase per successful attempt inf
1781.67/1787.03 c STR total number of conflicts for successful attempts 0
1781.67/1787.03 c STR total number of conflicts for unsuccessful attempts 0
1781.67/1787.03 c STR total number of conflicts for inconclusive attempts 0
1781.67/1787.03 c STR average number of conflicts per successful attempt inf
1781.67/1787.03 c STR average number of conflicts per unsuccessful attempt inf
1781.67/1787.03 c STR average number of conflicts per inconclusive attempt inf
1781.67/1787.03 c AVG.sumWPerc 75.70
1781.67/1787.03 c bigint constraints 0
1781.67/1787.03 o 17
1781.67/1787.03 s OPTIMUM FOUND
1781.67/1787.03 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 x14 -x15 x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 x52 -x53 -x54 x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 x67 -x68 x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 x92 -x93 -x94 -x95 -x96 -x97 x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 -x119 -x120 -x121 x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (61730 MiB free)
memory of node 1: 64465 MiB (63894 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4491074-1751375912/watcher-4491074-1751375912 -o /tmp/evaluation-result-4491074-1751375912/solver-4491074-1751375912 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751368684-60712 --watchdog 3760 run-opt-break.sh HOME/instance-4491074-1751375912.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
Linux 5.14.0-503.14.1.el
Current StackSize limit: 8192 KiB
solver pid=61588, runsolver pid=61585
[startup+0.100056 s]*
/proc/loadavg: 4.14 4.12 4.11 5/269 61591
/proc/meminfo: memFree=128640472/131250000 swapFree=33010684/33010684
[pid=61588] ppid=61585 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/61588/stat : 61588 (run-opt-break.s) S 61585 61588 60700 0 -1 4194304 238 321 0 0 0 0 0 0 20 0 1 0 53268760 4292608 768 18446744073709551615 93993011892224 93993012786757 140727385493616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93993013025808 93993013073552 93993031520256 140727385500001 140727385500130 140727385500130 140727385505732 0
/proc/61588/statm: 1048 768 704 219 0 110 0
[pid=61591] ppid=61588 vsize=57612 memory=12672 CPUtime=0.07 cores=1,3
/proc/61591/stat : 61591 (roundingsat) R 61588 61588 60700 0 -1 4194304 970 0 0 0 7 0 0 0 20 0 1 0 53268762 58994688 3168 18446744073709551615 4227072 8923433 140737061269760 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42004480 140737061276004 140737061276200 140737061276200 140737061281770 0
/proc/61591/statm: 14403 3168 2432 1147 0 1830 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 61804 KiB
Current children cumulated memory: 15744 KiB
[startup+0.205551 s]*
/proc/loadavg: 4.14 4.12 4.11 5/269 61591
/proc/meminfo: memFree=128640936/131250000 swapFree=33010684/33010684
[pid=61588] ppid=61585 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/61588/stat : 61588 (run-opt-break.s) S 61585 61588 60700 0 -1 4194304 238 321 0 0 0 0 0 0 20 0 1 0 53268760 4292608 768 18446744073709551615 93993011892224 93993012786757 140727385493616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93993013025808 93993013073552 93993031520256 140727385500001 140727385500130 140727385500130 140727385505732 0
/proc/61588/statm: 1048 768 704 219 0 110 0
[pid=61591] ppid=61588 vsize=59196 memory=16392 CPUtime=0.18 cores=1,3
/proc/61591/stat : 61591 (roundingsat) R 61588 61588 60700 0 -1 4194304 1393 0 0 0 17 1 0 0 20 0 1 0 53268762 60616704 4098 18446744073709551615 4227072 8923433 140737061269760 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42004480 140737061276004 140737061276200 140737061276200 140737061281770 0
/proc/61591/statm: 14799 4098 2432 1147 0 2226 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 63388 KiB
Current children cumulated memory: 19464 KiB
[startup+0.305476 s]*
/proc/loadavg: 4.14 4.12 4.11 5/269 61591
/proc/meminfo: memFree=128640936/131250000 swapFree=33010684/33010684
[pid=61588] ppid=61585 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/61588/stat : 61588 (run-opt-break.s) S 61585 61588 60700 0 -1 4194304 238 321 0 0 0 0 0 0 20 0 1 0 53268760 4292608 768 18446744073709551615 93993011892224 93993012786757 140727385493616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93993013025808 93993013073552 93993031520256 140727385500001 140727385500130 140727385500130 140727385505732 0
/proc/61588/statm: 1048 768 704 219 0 110 0
[pid=61591] ppid=61588 vsize=61856 memory=18568 CPUtime=0.28 cores=1,3
/proc/61591/stat : 61591 (roundingsat) R 61588 61588 60700 0 -1 4194304 1947 0 0 0 26 2 0 0 20 0 1 0 53268762 63340544 4642 18446744073709551615 4227072 8923433 140737061269760 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42004480 140737061276004 140737061276200 140737061276200 140737061281770 0
/proc/61591/statm: 15464 4642 2432 1147 0 2891 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 66048 KiB
Current children cumulated memory: 21640 KiB
[startup+0.700148 s]
/proc/loadavg: 4.14 4.12 4.11 5/266 61591
/proc/meminfo: memFree=128635884/131250000 swapFree=33010684/33010684
[pid=61588] ppid=61585 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/61588/stat : 61588 (run-opt-break.s) S 61585 61588 60700 0 -1 4194304 238 321 0 0 0 0 0 0 20 0 1 0 53268760 4292608 768 18446744073709551615 93993011892224 93993012786757 140727385493616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93993013025808 93993013073552 93993031520256 140727385500001 140727385500130 140727385500130 140727385505732 0
/proc/61588/statm: 1048 768 704 219 0 110 0
[pid=61591] ppid=61588 vsize=62544 memory=19464 CPUtime=0.67 cores=1,3
/proc/61591/stat : 61591 (roundingsat) R 61588 61588 60700 0 -1 4194304 2160 0 0 0 64 3 0 0 20 0 1 0 53268762 64045056 4866 18446744073709551615 4227072 8923433 140737061269760 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42004480 140737061276004 140737061276200 140737061276200 140737061281770 0
/proc/61591/statm: 15636 4866 2432 1147 0 3063 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 66736 KiB
Current children cumulated memory: 22536 KiB
[startup+1.50015 s]
/proc/loadavg: 4.14 4.12 4.11 4/264 61599
/proc/meminfo: memFree=128622356/131250000 swapFree=33010684/33010684
[pid=61588] ppid=61585 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/61588/stat : 61588 (run-opt-break.s) S 61585 61588 60700 0 -1 4194304 238 321 0 0 0 0 0 0 20 0 1 0 53268760 4292608 768 18446744073709551615 93993011892224 93993012786757 140727385493616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93993013025808 93993013073552 93993031520256 140727385500001 140727385500130 140727385500130 140727385505732 0
/proc/61588/statm: 1048 768 704 219 0 110 0
[pid=61591] ppid=61588 vsize=67236 memory=25652 CPUtime=1.46 cores=1,3
/proc/61591/stat : 61591 (roundingsat) R 61588 61588 60700 0 -1 4194304 3200 0 0 0 141 5 0 0 20 0 1 0 53268762 68849664 6413 18446744073709551615 4227072 8923433 140737061269760 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42004480 140737061276004 140737061276200 140737061276200 140737061281770 0
/proc/61591/statm: 16809 6413 2432 1147 0 4236 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 71428 KiB
Current children cumulated memory: 28724 KiB
[startup+3.10537 s]
/proc/loadavg: 4.14 4.12 4.11 4/266 61675
/proc/meminfo: memFree=128613996/131250000 swapFree=33010684/33010684
[pid=61588] ppid=61585 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/61588/stat : 61588 (run-opt-break.s) S 61585 61588 60700 0 -1 4194304 238 321 0 0 0 0 0 0 20 0 1 0 53268760 4292608 768 18446744073709551615 93993011892224 93993012786757 140727385493616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93993013025808 93993013073552 93993031520256 140727385500001 140727385500130 140727385500130 140727385505732 0
/proc/61588/statm: 1048 768 704 219 0 110 0
[pid=61591] ppid=61588 vsize=76024 memory=31156 CPUtime=3.07 cores=1,3
/proc/61591/stat : 61591 (roundingsat) R 61588 61588 60700 0 -1 4194304 4581 0 0 0 296 11 0 0 20 0 1 0 53268762 77848576 7789 18446744073709551615 4227072 8923433 140737061269760 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42004480 140737061276004 140737061276200 140737061276200 140737061281770 0
/proc/61591/statm: 19006 7789 2432 1147 0 6433 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 80216 KiB
Current children cumulated memory: 34228 KiB
[startup+6.30018 s]
/proc/loadavg: 4.13 4.12 4.11 5/270 61734
/proc/meminfo: memFree=128565520/131250000 swapFree=33010684/33010684
[pid=61588] ppid=61585 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/61588/stat : 61588 (run-opt-break.s) S 61585 61588 60700 0 -1 4194304 238 321 0 0 0 0 0 0 20 0 1 0 53268760 4292608 768 18446744073709551615 93993011892224 93993012786757 140727385493616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93993013025808 93993013073552 93993031520256 140727385500001 140727385500130 140727385500130 140727385505732 0
/proc/61588/statm: 1048 768 704 219 0 110 0
[pid=61591] ppid=61588 vsize=79236 memory=34228 CPUtime=6.25 cores=1,3
/proc/61591/stat : 61591 (roundingsat) R 61588 61588 60700 0 -1 4194304 5330 0 0 0 607 18 0 0 20 0 1 0 53268762 81137664 8557 18446744073709551615 4227072 8923433 140737061269760 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42004480 140737061276004 140737061276200 140737061276200 140737061281770 0
/proc/61591/statm: 19809 8557 2432 1147 0 7236 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 83428 KiB
Current children cumulated memory: 37300 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 4.11 4.11 4/265 61770
/proc/meminfo: memFree=128655896/131250000 swapFree=33010684/33010684
[pid=61588] ppid=61585 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/61588/stat : 61588 (run-opt-break.s) S 61585 61588 60700 0 -1 4194304 238 321 0 0 0 0 0 0 20 0 1 0 53268760 4292608 768 18446744073709551615 93993011892224 93993012786757 140727385493616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93993013025808 93993013073552 93993031520256 140727385500001 140727385500130 140727385500130 140727385505732 0
/proc/61588/statm: 1048 768 704 219 0 110 0
[pid=61591] ppid=61588 vsize=83124 memory=39476 CPUtime=12.63 cores=1,3
/proc/61591/stat : 61591 (roundingsat) R 61588 61588 60700 0 -1 4194304 6598 0 0 0 1233 30 0 0 20 0 1 0 53268762 85118976 9869 18446744073709551615 4227072 8923433 140737061269760 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42004480 140737061276004 140737061276200 140737061276200 140737061281770 0
/proc/61591/statm: 20781 9869 2528 1147 0 8208 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 87316 KiB
Current children cumulated memory: 42548 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.11 4.10 5/270 61875
/proc/meminfo: memFree=128609688/131250000 swapFree=33010684/33010684
[pid=61588] ppid=61585 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/61588/stat : 61588 (run-opt-break.s) S 61585 61588 60700 0 -1 4194304 238 321 0 0 0 0 0 0 20 0 1 0 53268760 4292608 768 18446744073709551615 93993011892224 93993012786757 140727385493616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93993013025808 93993013073552 93993031520256 140727385500001 140727385500130 140727385500130 140727385505732 0
/proc/61588/statm: 1048 768 704 219 0 110 0
[pid=61591] ppid=61588 vsize=93092 memory=45492 CPUtime=25.38 cores=1,3
/proc/61591/stat : 61591 (roundingsat) R 61588 61588 60700 0 -1 4194304 8176 0 0 0 2489 49 0 0 20 0 1 0 53268762 95326208 11373 18446744073709551615 4227072 8923433 140737061269760 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42004480 140737061276004 140737061276200 140737061276200 140737061281770 0
/proc/61591/statm: 23273 11373 2528 1147 0 10700 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 97284 KiB
Current children cumulated memory: 48564 KiB
[startup+51.1055 s]
/proc/loadavg: 4.13 4.11 4.11 5/269 61875
/proc/meminfo: memFree=128549220/131250000 swapFree=33010684/33010684
[pid=61588] ppid=61585 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/61588/stat : 61588 (run-opt-break.s) S 61585 61588 60700 0 -1 4194304 238 321 0 0 0 0 0 0 20 0 1 0 53268760 4292608 768 18446744073709551615 93993011892224 93993012786757 140727385493616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93993013025808 93993013073552 93993031520256 140727385500001 140727385500130 140727385500130 140727385505732 0
/proc/61588/statm: 1048 768 704 219 0 110 0
[pid=61591] ppid=61588 vsize=101652 memory=55868 CPUtime=50.9 cores=1,3
/proc/61591/stat : 61591 (roundingsat) R 61588 61588 60700 0 -1 4194304 10537 0 0 0 5000 90 0 0 20 0 1 0 53268762 104091648 13967 18446744073709551615 4227072 8923433 140737061269760 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42004480 140737061276004 140737061276200 140737061276200 140737061281770 0
/proc/61591/statm: 25413 13967 2528 1147 0 12840 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 105844 KiB
Current children cumulated memory: 58940 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.11 4.10 5/269 61877
/proc/meminfo: memFree=128413688/131250000 swapFree=33010684/33010684
[pid=61588] ppid=61585 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/61588/stat : 61588 (run-opt-break.s) S 61585 61588 60700 0 -1 4194304 238 321 0 0 0 0 0 0 20 0 1 0 53268760 4292608 768 18446744073709551615 93993011892224 93993012786757 140727385493616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93993013025808 93993013073552 93993031520256 140727385500001 140727385500130 140727385500130 140727385505732 0
/proc/61588/statm: 1048 768 704 219 0 110 0
[pid=61591] ppid=61588 vsize=121144 memory=70496 CPUtime=101.92 cores=1,3
/proc/61591/stat : 61591 (roundingsat) R 61588 61588 60700 0 -1 4194304 14450 0 0 0 10035 157 0 0 20 0 1 0 53268762 124051456 17624 18446744073709551615 4227072 8923433 140737061269760 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42004480 140737061276004 140737061276200 140737061276200 140737061281770 0
/proc/61591/statm: 30286 17624 2528 1147 0 17713 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 125336 KiB
Current children cumulated memory: 73568 KiB
[startup+162.3 s]
/proc/loadavg: 4.30 4.18 4.13 5/268 62301
/proc/meminfo: memFree=128009528/131250000 swapFree=33010684/33010684
[pid=61588] ppid=61585 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/61588/stat : 61588 (run-opt-break.s) S 61585 61588 60700 0 -1 4194304 238 321 0 0 0 0 0 0 20 0 1 0 53268760 4292608 768 18446744073709551615 93993011892224 93993012786757 140727385493616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93993013025808 93993013073552 93993031520256 140727385500001 140727385500130 140727385500130 140727385505732 0
/proc/61588/statm: 1048 768 704 219 0 110 0
[pid=61591] ppid=61588 vsize=131492 memory=86840 CPUtime=161.73 cores=1,3
/proc/61591/stat : 61591 (roundingsat) R 61588 61588 60700 0 -1 4194304 17587 0 0 0 15947 226 0 0 20 0 1 0 53268762 134647808 21710 18446744073709551615 4227072 8923433 140737061269760 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42004480 140737061276004 140737061276200 140737061276200 140737061281770 0
/proc/61591/statm: 32873 21710 2528 1147 0 20300 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 135684 KiB
Current children cumulated memory: 89912 KiB
[startup+222.3 s]
/proc/loadavg: 4.22 4.17 4.13 5/268 62444
/proc/meminfo: memFree=128243056/131250000 swapFree=33010684/33010684
[pid=61588] ppid=61585 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/61588/stat : 61588 (run-opt-break.s) S 61585 61588 60700 0 -1 4194304 238 321 0 0 0 0 0 0 20 0 1 0 53268760 4292608 768 18446744073709551615 93993011892224 93993012786757 140727385493616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93993013025808 93993013073552 93993031520256 140727385500001 140727385500130 140727385500130 140727385505732 0
/proc/61588/statm: 1048 768 704 219 0 110 0
[pid=61591] ppid=61588 vsize=138100 memory=92116 CPUtime=221.56 cores=1,3
/proc/61591/stat : 61591 (roundingsat) R 61588 61588 60700 0 -1 4194304 19504 0 0 0 21863 293 0 0 20 0 1 0 53268762 141414400 23029 18446744073709551615 4227072 8923433 140737061269760 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42004480 140737061276004 140737061276200 140737061276200 140737061281770 0
/proc/61591/statm: 34525 23029 2528 1147 0 21952 0
Current children cumulated CPU time: 221.56 s
################
# More data... #
################
/proc/61591/stat : 61591 (roundingsat) R 61588 61588 60700 0 -1 4194304 43896 0 0 0 140538 1265 0 0 20 0 1 0 53268762 243466240 41133 18446744073709551615 4227072 8923433 140737061269760 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42004480 140737061276004 140737061276200 140737061276200 140737061281770 0
/proc/61591/statm: 59440 41133 2528 1147 0 46867 0
Current children cumulated CPU time: 1418.03 s
Current children cumulated vsize: 241952 KiB
Current children cumulated memory: 167604 KiB
[startup+1482.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/269 62556
/proc/meminfo: memFree=125925516/131250000 swapFree=33010684/33010684
[pid=61588] ppid=61585 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/61588/stat : 61588 (run-opt-break.s) S 61585 61588 60700 0 -1 4194304 238 321 0 0 0 0 0 0 20 0 1 0 53268760 4292608 768 18446744073709551615 93993011892224 93993012786757 140727385493616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93993013025808 93993013073552 93993031520256 140727385500001 140727385500130 140727385500130 140727385505732 0
/proc/61588/statm: 1048 768 704 219 0 110 0
[pid=61591] ppid=61588 vsize=238692 memory=165472 CPUtime=1477.85 cores=1,3
/proc/61591/stat : 61591 (roundingsat) R 61588 61588 60700 0 -1 4194304 44307 0 0 0 146472 1313 0 0 20 0 1 0 53268762 244420608 41368 18446744073709551615 4227072 8923433 140737061269760 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42004480 140737061276004 140737061276200 140737061276200 140737061281770 0
/proc/61591/statm: 59673 41368 2528 1147 0 47100 0
Current children cumulated CPU time: 1477.85 s
Current children cumulated vsize: 242884 KiB
Current children cumulated memory: 168544 KiB
[startup+1542.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/269 62565
/proc/meminfo: memFree=125901656/131250000 swapFree=33010684/33010684
[pid=61588] ppid=61585 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/61588/stat : 61588 (run-opt-break.s) S 61585 61588 60700 0 -1 4194304 238 321 0 0 0 0 0 0 20 0 1 0 53268760 4292608 768 18446744073709551615 93993011892224 93993012786757 140727385493616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93993013025808 93993013073552 93993031520256 140727385500001 140727385500130 140727385500130 140727385505732 0
/proc/61588/statm: 1048 768 704 219 0 110 0
[pid=61591] ppid=61588 vsize=239940 memory=168984 CPUtime=1537.68 cores=1,3
/proc/61591/stat : 61591 (roundingsat) R 61588 61588 60700 0 -1 4194304 45059 0 0 0 152410 1358 0 0 20 0 1 0 53268762 245698560 42246 18446744073709551615 4227072 8923433 140737061269760 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42004480 140737061276004 140737061276200 140737061276200 140737061281770 0
/proc/61591/statm: 59985 42246 2528 1147 0 47412 0
Current children cumulated CPU time: 1537.68 s
Current children cumulated vsize: 244132 KiB
Current children cumulated memory: 172056 KiB
[startup+1602.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/268 62568
/proc/meminfo: memFree=125566268/131250000 swapFree=33010684/33010684
[pid=61588] ppid=61585 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/61588/stat : 61588 (run-opt-break.s) S 61585 61588 60700 0 -1 4194304 238 321 0 0 0 0 0 0 20 0 1 0 53268760 4292608 768 18446744073709551615 93993011892224 93993012786757 140727385493616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93993013025808 93993013073552 93993031520256 140727385500001 140727385500130 140727385500130 140727385505732 0
/proc/61588/statm: 1048 768 704 219 0 110 0
[pid=61591] ppid=61588 vsize=239952 memory=183848 CPUtime=1597.5 cores=1,3
/proc/61591/stat : 61591 (roundingsat) R 61588 61588 60700 0 -1 4194304 45268 0 0 0 158342 1408 0 0 20 0 1 0 53268762 245710848 45962 18446744073709551615 4227072 8923433 140737061269760 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42004480 140737061276004 140737061276200 140737061276200 140737061281770 0
/proc/61591/statm: 59988 45962 2528 1147 0 47415 0
Current children cumulated CPU time: 1597.5 s
Current children cumulated vsize: 244144 KiB
Current children cumulated memory: 186920 KiB
[startup+1662.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/269 62571
/proc/meminfo: memFree=125400160/131250000 swapFree=33010684/33010684
[pid=61588] ppid=61585 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/61588/stat : 61588 (run-opt-break.s) S 61585 61588 60700 0 -1 4194304 238 321 0 0 0 0 0 0 20 0 1 0 53268760 4292608 768 18446744073709551615 93993011892224 93993012786757 140727385493616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93993013025808 93993013073552 93993031520256 140727385500001 140727385500130 140727385500130 140727385505732 0
/proc/61588/statm: 1048 768 704 219 0 110 0
[pid=61591] ppid=61588 vsize=239952 memory=184488 CPUtime=1657.32 cores=1,3
/proc/61591/stat : 61591 (roundingsat) R 61588 61588 60700 0 -1 4194304 45284 0 0 0 164279 1453 0 0 20 0 1 0 53268762 245710848 46122 18446744073709551615 4227072 8923433 140737061269760 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42004480 140737061276004 140737061276200 140737061276200 140737061281770 0
/proc/61591/statm: 59988 46122 2528 1147 0 47415 0
Current children cumulated CPU time: 1657.32 s
Current children cumulated vsize: 244144 KiB
Current children cumulated memory: 187560 KiB
[startup+1722.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/269 62572
/proc/meminfo: memFree=125371016/131250000 swapFree=33010684/33010684
[pid=61588] ppid=61585 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/61588/stat : 61588 (run-opt-break.s) S 61585 61588 60700 0 -1 4194304 238 321 0 0 0 0 0 0 20 0 1 0 53268760 4292608 768 18446744073709551615 93993011892224 93993012786757 140727385493616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93993013025808 93993013073552 93993031520256 140727385500001 140727385500130 140727385500130 140727385505732 0
/proc/61588/statm: 1048 768 704 219 0 110 0
[pid=61591] ppid=61588 vsize=243568 memory=188796 CPUtime=1717.15 cores=1,3
/proc/61591/stat : 61591 (roundingsat) R 61588 61588 60700 0 -1 4194304 46351 0 0 0 170224 1491 0 0 20 0 1 0 53268762 249413632 47199 18446744073709551615 4227072 8923433 140737061269760 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42004480 140737061276004 140737061276200 140737061276200 140737061281770 0
/proc/61591/statm: 60892 47199 2528 1147 0 48319 0
Current children cumulated CPU time: 1717.15 s
Current children cumulated vsize: 247760 KiB
Current children cumulated memory: 191868 KiB
[startup+1782.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/269 62574
/proc/meminfo: memFree=125349036/131250000 swapFree=33010684/33010684
[pid=61588] ppid=61585 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/61588/stat : 61588 (run-opt-break.s) S 61585 61588 60700 0 -1 4194304 238 321 0 0 0 0 0 0 20 0 1 0 53268760 4292608 768 18446744073709551615 93993011892224 93993012786757 140727385493616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93993013025808 93993013073552 93993031520256 140727385500001 140727385500130 140727385500130 140727385505732 0
/proc/61588/statm: 1048 768 704 219 0 110 0
[pid=61591] ppid=61588 vsize=246976 memory=193164 CPUtime=1776.98 cores=1,3
/proc/61591/stat : 61591 (roundingsat) R 61588 61588 60700 0 -1 4194304 46961 0 0 0 176171 1527 0 0 20 0 1 0 53268762 252903424 48291 18446744073709551615 4227072 8923433 140737061269760 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42004480 140737061276004 140737061276200 140737061276200 140737061281770 0
/proc/61591/statm: 61744 48291 2528 1147 0 49171 0
Current children cumulated CPU time: 1776.98 s
Current children cumulated vsize: 251168 KiB
Current children cumulated memory: 196236 KiB
[startup+1787.04 s]
# the end of solver process 61588 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1766.39 s, system=15.3312 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1782.4 s]
/proc/loadavg: 4.12 4.11 4.09 5/269 62574
/proc/meminfo: memFree=125349036/131250000 swapFree=33010684/33010684
[pid=61588] ppid=61585 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/61588/stat : 61588 (run-opt-break.s) S 61585 61588 60700 0 -1 4194304 238 321 0 0 0 0 0 0 20 0 1 0 53268760 4292608 768 18446744073709551615 93993011892224 93993012786757 140727385493616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93993013025808 93993013073552 93993031520256 140727385500001 140727385500130 140727385500130 140727385505732 0
/proc/61588/statm: 1048 768 704 219 0 110 0
[pid=61591] ppid=61588 vsize=246976 memory=193164 CPUtime=1777.08 cores=1,3
/proc/61591/stat : 61591 (roundingsat) R 61588 61588 60700 0 -1 4194304 46961 0 0 0 176181 1527 0 0 20 0 1 0 53268762 252903424 48291 18446744073709551615 4227072 8923433 140737061269760 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42004480 140737061276004 140737061276200 140737061276200 140737061281770 0
/proc/61591/statm: 61744 48291 2528 1147 0 49171 0
Current children cumulated CPU time: 1777.08 s
Current children cumulated vsize: 251168 KiB
Current children cumulated memory: 196236 KiB
[startup+1785.6 s]
/proc/loadavg: 4.11 4.11 4.09 5/269 62575
/proc/meminfo: memFree=125349036/131250000 swapFree=33010684/33010684
[pid=61588] ppid=61585 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/61588/stat : 61588 (run-opt-break.s) S 61585 61588 60700 0 -1 4194304 238 321 0 0 0 0 0 0 20 0 1 0 53268760 4292608 768 18446744073709551615 93993011892224 93993012786757 140727385493616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93993013025808 93993013073552 93993031520256 140727385500001 140727385500130 140727385500130 140727385505732 0
/proc/61588/statm: 1048 768 704 219 0 110 0
[pid=61591] ppid=61588 vsize=246976 memory=193164 CPUtime=1780.27 cores=1,3
/proc/61591/stat : 61591 (roundingsat) R 61588 61588 60700 0 -1 4194304 46961 0 0 0 176496 1531 0 0 20 0 1 0 53268762 252903424 48291 18446744073709551615 4227072 8923433 140737061269760 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42004480 140737061276004 140737061276200 140737061276200 140737061281770 0
/proc/61591/statm: 61744 48291 2528 1147 0 49171 0
Current children cumulated CPU time: 1780.27 s
Current children cumulated vsize: 251168 KiB
Current children cumulated memory: 196236 KiB
[startup+1786.4 s]
/proc/loadavg: 4.11 4.11 4.09 5/269 62575
/proc/meminfo: memFree=125349044/131250000 swapFree=33010684/33010684
[pid=61588] ppid=61585 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/61588/stat : 61588 (run-opt-break.s) S 61585 61588 60700 0 -1 4194304 238 321 0 0 0 0 0 0 20 0 1 0 53268760 4292608 768 18446744073709551615 93993011892224 93993012786757 140727385493616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93993013025808 93993013073552 93993031520256 140727385500001 140727385500130 140727385500130 140727385505732 0
/proc/61588/statm: 1048 768 704 219 0 110 0
[pid=61591] ppid=61588 vsize=246976 memory=193164 CPUtime=1781.07 cores=1,3
/proc/61591/stat : 61591 (roundingsat) R 61588 61588 60700 0 -1 4194304 46961 0 0 0 176575 1532 0 0 20 0 1 0 53268762 252903424 48291 18446744073709551615 4227072 8923433 140737061269760 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42004480 140737061276004 140737061276200 140737061276200 140737061281770 0
/proc/61591/statm: 61744 48291 2528 1147 0 49171 0
Current children cumulated CPU time: 1781.07 s
Current children cumulated vsize: 251168 KiB
Current children cumulated memory: 196236 KiB
[startup+1786.8 s]
/proc/loadavg: 4.11 4.11 4.09 5/269 62575
/proc/meminfo: memFree=125349044/131250000 swapFree=33010684/33010684
[pid=61588] ppid=61585 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/61588/stat : 61588 (run-opt-break.s) S 61585 61588 60700 0 -1 4194304 238 321 0 0 0 0 0 0 20 0 1 0 53268760 4292608 768 18446744073709551615 93993011892224 93993012786757 140727385493616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93993013025808 93993013073552 93993031520256 140727385500001 140727385500130 140727385500130 140727385505732 0
/proc/61588/statm: 1048 768 704 219 0 110 0
[pid=61591] ppid=61588 vsize=246976 memory=193164 CPUtime=1781.47 cores=1,3
/proc/61591/stat : 61591 (roundingsat) R 61588 61588 60700 0 -1 4194304 46961 0 0 0 176615 1532 0 0 20 0 1 0 53268762 252903424 48291 18446744073709551615 4227072 8923433 140737061269760 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42004480 140737061276004 140737061276200 140737061276200 140737061281770 0
/proc/61591/statm: 61744 48291 2528 1147 0 49171 0
Current children cumulated CPU time: 1781.47 s
Current children cumulated vsize: 251168 KiB
Current children cumulated memory: 196236 KiB
[startup+1787 s]*
/proc/loadavg: 4.11 4.11 4.09 5/269 62575
/proc/meminfo: memFree=125349044/131250000 swapFree=33010684/33010684
[pid=61588] ppid=61585 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/61588/stat : 61588 (run-opt-break.s) S 61585 61588 60700 0 -1 4194304 238 321 0 0 0 0 0 0 20 0 1 0 53268760 4292608 768 18446744073709551615 93993011892224 93993012786757 140727385493616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93993013025808 93993013073552 93993031520256 140727385500001 140727385500130 140727385500130 140727385505732 0
/proc/61588/statm: 1048 768 704 219 0 110 0
[pid=61591] ppid=61588 vsize=246976 memory=193164 CPUtime=1781.67 cores=1,3
/proc/61591/stat : 61591 (roundingsat) R 61588 61588 60700 0 -1 4194304 46961 0 0 0 176635 1532 0 0 20 0 1 0 53268762 252903424 48291 18446744073709551615 4227072 8923433 140737061269760 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42004480 140737061276004 140737061276200 140737061276200 140737061281770 0
/proc/61591/statm: 61744 48291 2528 1147 0 49171 0
Current children cumulated CPU time: 1781.67 s
Current children cumulated vsize: 251168 KiB
Current children cumulated memory: 196236 KiB
Child status: 0
Real time (s): 1787.04
CPU time (s): 1781.72
CPU user time (s): 1766.39
CPU system time (s): 15.3312
CPU usage (%): 99.7026
Max. virtual memory (cumulated for all children) (KiB): 251168
Max. memory (cumulated for all children) (KiB): 196236
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1766.39
system time used= 15.3312
maximum resident set size= 193164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47544
page faults= 0
swaps= 0
block input operations= 0
block output operations= 32
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 277
involuntary context switches= 10549
# summary of solver processes directly reported to runsolver:
# pid: 61588
# total CPU time (s): 1781.72
# total CPU user time (s): 1766.39
# total CPU system time (s): 15.3312
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.42834 second user time and 8.25478 second system time
The end
Begin job on nodeC016 at 2025-07-01 15:18:32
IDJOB=4491074
IDBENCH=147676
IDSOLVER=3359
FILE ID=nodeC016/4491074-1751375912
RUNJOBID= nodeC016-1751368684-60712
SLURM_JOB_ID= 9598185
Free space on /tmp= 433040 MiB
SOLVER NAME= roundingsat+pbsuma-opt 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/logic_synthesis/normalized-m100_300_10_20.r.opb
COMMAND LINE= run-opt-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4491074-1751375912/watcher-4491074-1751375912 -o /tmp/evaluation-result-4491074-1751375912/solver-4491074-1751375912 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751368684-60712 --watchdog 3760 run-opt-break.sh HOME/instance-4491074-1751375912.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 534ed9c29a1c7647bd6acd36efe0613e
RANDOM SEED=872267575
nodeC016 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.761
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.732
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3597.784
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3602.652
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.734
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.754
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.825
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.908
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 128640280 kB
MemAvailable: 129633088 kB
Buffers: 3280 kB
Cached: 1795328 kB
SwapCached: 0 kB
Active: 526664 kB
Inactive: 1525144 kB
Active(anon): 271272 kB
Inactive(anon): 0 kB
Active(file): 255392 kB
Inactive(file): 1525144 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 22332 kB
Writeback: 20 kB
AnonPages: 244456 kB
Mapped: 117080 kB
Shmem: 18072 kB
KReclaimable: 103024 kB
Slab: 191152 kB
SReclaimable: 103024 kB
SUnreclaim: 88128 kB
KernelStack: 4348 kB
PageTables: 3648 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 599040 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150584 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 83968 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: 201428 kB
DirectMap2M: 7958528 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433024 MiB
End job on nodeC016 at 2025-07-01 15:48:19