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-4499308-1751406025.opb'
0.00/0.02 c read 0.47MB (6.05ms)
0.00/0.02 c [cnf: #variables 4977 #clauses 5495 #duplicates 0 #arr 48524]
0.00/0.02 c
0.00/0.02 c make graph and approximate orbits
0.00/0.02 c [group: #orbits ~= 42] (6.06ms)
0.00/0.02 c
0.00/0.02 c detect special group actions
0.00/0.02 c probe for Johnson action (limit=64)
0.00/0.03 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.06 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.07 c recursing 280 blocks of candidate 7x1422r
0.00/0.07 c found row 3x14, generating row predicate
0.00/0.08 c found row 11x14, generating row predicate
0.00/0.09 c found row 7x1422, generating row predicate
0.00/0.09 c (65.55ms)
0.00/0.09 c
0.00/0.09 c detect symmetries on remainder
0.00/0.09 c [graph: #vertices 29897 #edges 135898]
0.00/0.09 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.08/0.13 c [group: #symmetries 2.94*10^155 #generators 224] (46.68ms)
0.08/0.13 c
0.08/0.13 c optimize generators (opt_passes=64, conjugate_limit=256)
0.08/0.17 c opt it=15, l=6786, m=433, opt=33, avg=916, b=20, gens=224
0.08/0.20 c opt it=31, l=10692, m=839, opt=67, avg=907, b=20, gens=224
0.18/0.23 c opt it=47, l=14597, m=1263, opt=104, avg=895, b=20, gens=224
0.18/0.26 c opt it=63, l=18492, m=1667, opt=128, avg=888, b=20, gens=224
0.18/0.27 c ran it=0, +gens=86
0.28/0.40 c con best_support=20, best_gens=103, +gens=250
0.28/0.40 c (266.72ms)
0.28/0.40 c
0.28/0.40 c finalize break order and special generators
0.28/0.40 c
0.28/0.40 c add generic predicates (break_depth=20)
0.38/0.43 c added predicates for 560 generators (21.72ms)
0.38/0.43 c
0.38/0.43 c generation finished
0.38/0.43 c [sbp: #constraints 47906 #add_vars 15776]
0.38/0.43 c
0.38/0.43 c write result to 'HOME/instance-4499308-1751406025.opb.pre'
0.38/0.43 c wrote 2.25MB (5.09ms)
0.38/0.43 c ------------------------------------------------------------------
0.38/0.43 c 266.72ms 63.16% optimize_gens
0.38/0.43 c 65.55ms 15.52% detect_special
0.38/0.43 c 46.68ms 11.05% detect_generic
0.38/0.43 c 21.72ms 5.14% break_generic
0.38/0.43 c 6.06ms 1.44% approx_orbits
0.38/0.43 c 6.05ms 1.43% parse
0.38/0.43 c 5.09ms 1.21% output
0.38/0.43 c 3.39ms 0.80% finalize_order
0.38/0.43 c 1.03ms 0.24% other
0.38/0.43 c ───────────────────────────────────────────────
0.38/0.43 c 422.28ms 100% total
0.38/0.43 c ------------------------------------------------------------------
0.38/0.44 c RoundingSat 2
0.38/0.44 c branch pb25
0.38/0.44 c commit 63f22ad
0.57/0.68 c #variables 20753 #constraints 53451
0.57/0.68 c objective is ce32
0.57/0.68 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.57/0.68 c initial counting CF 32, 64, 128, Arb: 449 , 0 , 0 , 0
0.57/0.68 c bounds - >= 0 @ 0.183031
1.56/1.68 c #Conflicts: 1000 | #Constraints: 54450
1.56/1.68 c #Conflicts: 2000 | #Constraints: 55450
1.56/1.68 c INPROCESSING
1.56/1.68 c GARBAGE COLLECT
1.56/1.68 c rational objective 7
2.46/2.57 c #Conflicts: 3000 | #Constraints: 50496
2.46/2.57 c #Conflicts: 4000 | #Constraints: 51496
2.46/2.57 c INPROCESSING
2.46/2.57 c GARBAGE COLLECT
2.46/2.57 c rational objective 7
4.25/4.32 c #Conflicts: 5000 | #Constraints: 50670
4.25/4.32 c #Conflicts: 6000 | #Constraints: 51670
4.25/4.32 c INPROCESSING
4.25/4.32 c GARBAGE COLLECT
4.25/4.32 c rational objective 7
6.35/6.44 c #Conflicts: 7000 | #Constraints: 50664
6.35/6.44 c #Conflicts: 8000 | #Constraints: 51664
6.35/6.44 c #Conflicts: 9000 | #Constraints: 52664
6.35/6.44 c INPROCESSING
6.35/6.44 c GARBAGE COLLECT
6.35/6.44 c rational objective 7
8.84/8.96 c #Conflicts: 10000 | #Constraints: 51354
8.84/8.96 c #Conflicts: 11000 | #Constraints: 52355
8.84/8.96 c #Conflicts: 12000 | #Constraints: 53355
8.84/8.96 c INPROCESSING
8.84/8.96 c GARBAGE COLLECT
8.84/8.96 c rational objective 7
11.34/11.40 c #Conflicts: 13000 | #Constraints: 51479
11.34/11.40 c #Conflicts: 14000 | #Constraints: 52480
11.34/11.40 c #Conflicts: 15000 | #Constraints: 53480
11.34/11.40 c INPROCESSING
11.34/11.40 c GARBAGE COLLECT
11.34/11.40 c rational objective 7
14.72/14.81 c #Conflicts: 16000 | #Constraints: 51681
14.72/14.81 c #Conflicts: 17000 | #Constraints: 52681
14.72/14.81 c #Conflicts: 18000 | #Constraints: 53681
14.72/14.81 c INPROCESSING
14.72/14.81 c GARBAGE COLLECT
14.72/14.81 c rational objective 7
17.12/17.22 c #Conflicts: 19000 | #Constraints: 51654
17.12/17.22 c #Conflicts: 20000 | #Constraints: 52655
17.12/17.22 c #Conflicts: 21000 | #Constraints: 53655
17.12/17.22 c INPROCESSING
17.12/17.22 c GARBAGE COLLECT
17.12/17.22 c rational objective 7
20.51/20.62 c #Conflicts: 22000 | #Constraints: 51395
20.51/20.62 c #Conflicts: 23000 | #Constraints: 52395
20.51/20.62 c #Conflicts: 24000 | #Constraints: 53396
20.51/20.62 c #Conflicts: 25000 | #Constraints: 54396
20.51/20.62 c INPROCESSING
20.51/20.62 c GARBAGE COLLECT
20.51/20.62 c rational objective 7
24.50/24.60 c #Conflicts: 26000 | #Constraints: 51910
24.50/24.60 c #Conflicts: 27000 | #Constraints: 52911
24.50/24.60 c #Conflicts: 28000 | #Constraints: 53911
24.50/24.60 c #Conflicts: 29000 | #Constraints: 54911
24.50/24.60 c INPROCESSING
24.50/24.60 c GARBAGE COLLECT
24.50/24.60 c rational objective 7
27.00/27.12 c #Conflicts: 30000 | #Constraints: 52068
27.00/27.12 c #Conflicts: 31000 | #Constraints: 53068
27.00/27.12 c #Conflicts: 32000 | #Constraints: 54069
27.00/27.12 c #Conflicts: 33000 | #Constraints: 55069
27.00/27.12 c INPROCESSING
27.00/27.12 c GARBAGE COLLECT
27.00/27.12 c rational objective 7
30.39/30.54 c #Conflicts: 34000 | #Constraints: 52146
30.39/30.54 c #Conflicts: 35000 | #Constraints: 53147
30.39/30.54 c #Conflicts: 36000 | #Constraints: 54147
30.39/30.54 c #Conflicts: 37000 | #Constraints: 55147
30.39/30.54 c INPROCESSING
30.39/30.54 c GARBAGE COLLECT
30.39/30.54 c rational objective 7
33.18/33.35 c #Conflicts: 38000 | #Constraints: 52169
33.18/33.35 c #Conflicts: 39000 | #Constraints: 53169
33.18/33.35 c #Conflicts: 40000 | #Constraints: 54170
33.18/33.35 c #Conflicts: 41000 | #Constraints: 55170
33.18/33.35 c INPROCESSING
33.18/33.35 c GARBAGE COLLECT
33.18/33.35 c rational objective 7
36.17/36.33 c #Conflicts: 42000 | #Constraints: 51907
36.17/36.33 c #Conflicts: 43000 | #Constraints: 52907
36.17/36.33 c #Conflicts: 44000 | #Constraints: 53907
36.17/36.33 c #Conflicts: 45000 | #Constraints: 54908
36.17/36.33 c #Conflicts: 46000 | #Constraints: 55909
36.17/36.33 c INPROCESSING
36.17/36.33 c GARBAGE COLLECT
36.17/36.33 c rational objective 7
38.97/39.10 c #Conflicts: 47000 | #Constraints: 52493
38.97/39.10 c #Conflicts: 48000 | #Constraints: 53493
38.97/39.10 c #Conflicts: 49000 | #Constraints: 54493
38.97/39.10 c #Conflicts: 50000 | #Constraints: 55494
38.97/39.10 c #Conflicts: 51000 | #Constraints: 56494
38.97/39.10 c INPROCESSING
38.97/39.10 c GARBAGE COLLECT
38.97/39.10 c rational objective 7
41.96/42.20 c #Conflicts: 52000 | #Constraints: 52893
41.96/42.20 c #Conflicts: 53000 | #Constraints: 53893
41.96/42.20 c #Conflicts: 54000 | #Constraints: 54893
41.96/42.20 c #Conflicts: 55000 | #Constraints: 55893
41.96/42.20 c #Conflicts: 56000 | #Constraints: 56893
41.96/42.20 c INPROCESSING
41.96/42.20 c GARBAGE COLLECT
41.96/42.20 c rational objective 7
45.15/45.36 c #Conflicts: 57000 | #Constraints: 53060
45.15/45.36 c #Conflicts: 58000 | #Constraints: 54060
45.15/45.36 c #Conflicts: 59000 | #Constraints: 55061
45.15/45.36 c #Conflicts: 60000 | #Constraints: 56061
45.15/45.36 c #Conflicts: 61000 | #Constraints: 57062
45.15/45.36 c INPROCESSING
45.15/45.36 c GARBAGE COLLECT
45.15/45.36 c rational objective 7
48.84/49.01 c #Conflicts: 62000 | #Constraints: 53060
48.84/49.01 c #Conflicts: 63000 | #Constraints: 54060
48.84/49.01 c #Conflicts: 64000 | #Constraints: 55060
48.84/49.01 c #Conflicts: 65000 | #Constraints: 56060
48.84/49.01 c #Conflicts: 66000 | #Constraints: 57060
48.84/49.01 c INPROCESSING
48.84/49.01 c GARBAGE COLLECT
48.84/49.01 c rational objective 7
52.62/52.89 c #Conflicts: 67000 | #Constraints: 52857
52.62/52.89 c #Conflicts: 68000 | #Constraints: 53857
52.62/52.89 c #Conflicts: 69000 | #Constraints: 54857
52.62/52.89 c #Conflicts: 70000 | #Constraints: 55857
52.62/52.89 c #Conflicts: 71000 | #Constraints: 56857
52.62/52.89 c #Conflicts: 72000 | #Constraints: 57858
52.62/52.89 c INPROCESSING
52.62/52.89 c GARBAGE COLLECT
52.62/52.89 c rational objective 7
56.41/56.66 c #Conflicts: 73000 | #Constraints: 53443
56.41/56.66 c #Conflicts: 74000 | #Constraints: 54443
56.41/56.66 c #Conflicts: 75000 | #Constraints: 55443
56.41/56.66 c #Conflicts: 76000 | #Constraints: 56443
56.41/56.66 c #Conflicts: 77000 | #Constraints: 57443
56.41/56.66 c #Conflicts: 78000 | #Constraints: 58443
56.41/56.66 c INPROCESSING
56.41/56.66 c GARBAGE COLLECT
56.41/56.66 c rational objective 7
60.70/60.90 c #Conflicts: 79000 | #Constraints: 53827
60.70/60.90 c #Conflicts: 80000 | #Constraints: 54827
60.70/60.90 c #Conflicts: 81000 | #Constraints: 55827
60.70/60.90 c #Conflicts: 82000 | #Constraints: 56827
60.70/60.90 c #Conflicts: 83000 | #Constraints: 57827
60.70/60.90 c #Conflicts: 84000 | #Constraints: 58827
60.70/60.90 c INPROCESSING
60.70/60.90 c GARBAGE COLLECT
60.70/60.90 c rational objective 7
66.69/66.90 c #Conflicts: 85000 | #Constraints: 54039
66.69/66.90 c #Conflicts: 86000 | #Constraints: 55039
66.69/66.90 c #Conflicts: 87000 | #Constraints: 56039
66.69/66.90 c #Conflicts: 88000 | #Constraints: 57041
66.69/66.90 c #Conflicts: 89000 | #Constraints: 58043
66.69/66.90 c #Conflicts: 90000 | #Constraints: 59044
66.69/66.90 c INPROCESSING
66.69/66.90 c GARBAGE COLLECT
66.69/66.90 c rational objective 7
72.88/73.17 c #Conflicts: 91000 | #Constraints: 54044
72.88/73.17 c #Conflicts: 92000 | #Constraints: 55045
72.88/73.17 c #Conflicts: 93000 | #Constraints: 56048
72.88/73.17 c #Conflicts: 94000 | #Constraints: 57048
72.88/73.17 c #Conflicts: 95000 | #Constraints: 58048
72.88/73.17 c #Conflicts: 96000 | #Constraints: 59048
72.88/73.17 c INPROCESSING
72.88/73.17 c GARBAGE COLLECT
72.88/73.17 c rational objective 7
79.36/79.63 c #Conflicts: 97000 | #Constraints: 53849
79.36/79.63 c #Conflicts: 98000 | #Constraints: 54849
79.36/79.63 c #Conflicts: 99000 | #Constraints: 55849
79.36/79.63 c #Conflicts: 100000 | #Constraints: 56849
79.36/79.63 c #Conflicts: 101000 | #Constraints: 57849
79.36/79.63 c #Conflicts: 102000 | #Constraints: 58850
79.36/79.63 c #Conflicts: 103000 | #Constraints: 59852
79.36/79.63 c INPROCESSING
79.36/79.63 c GARBAGE COLLECT
79.36/79.63 c rational objective 7
84.75/85.08 c #Conflicts: 104000 | #Constraints: 54439
84.75/85.08 c #Conflicts: 105000 | #Constraints: 55440
84.75/85.08 c #Conflicts: 106000 | #Constraints: 56440
84.75/85.08 c #Conflicts: 107000 | #Constraints: 57440
84.75/85.08 c #Conflicts: 108000 | #Constraints: 58440
84.75/85.08 c #Conflicts: 109000 | #Constraints: 59440
84.75/85.08 c #Conflicts: 110000 | #Constraints: 60440
84.75/85.08 c INPROCESSING
84.75/85.08 c GARBAGE COLLECT
84.75/85.08 c rational objective 7
90.03/90.31 c #Conflicts: 111000 | #Constraints: 54826
90.03/90.31 c #Conflicts: 112000 | #Constraints: 55826
90.03/90.31 c #Conflicts: 113000 | #Constraints: 56826
90.03/90.31 c #Conflicts: 114000 | #Constraints: 57826
90.03/90.31 c #Conflicts: 115000 | #Constraints: 58826
90.03/90.31 c #Conflicts: 116000 | #Constraints: 59826
90.03/90.31 c #Conflicts: 117000 | #Constraints: 60830
90.03/90.31 c INPROCESSING
90.03/90.31 c GARBAGE COLLECT
90.03/90.31 c rational objective 7
99.40/99.76 c #Conflicts: 118000 | #Constraints: 54959
99.40/99.76 c #Conflicts: 119000 | #Constraints: 55959
99.40/99.76 c #Conflicts: 120000 | #Constraints: 56959
99.40/99.76 c #Conflicts: 121000 | #Constraints: 57960
99.40/99.76 c #Conflicts: 122000 | #Constraints: 58962
99.40/99.76 c #Conflicts: 123000 | #Constraints: 59963
99.40/99.76 c #Conflicts: 124000 | #Constraints: 60964
99.40/99.76 c INPROCESSING
99.40/99.76 c GARBAGE COLLECT
99.40/99.76 c rational objective 7
104.99/105.38 c #Conflicts: 125000 | #Constraints: 54858
104.99/105.38 c #Conflicts: 126000 | #Constraints: 55858
104.99/105.38 c #Conflicts: 127000 | #Constraints: 56859
104.99/105.38 c #Conflicts: 128000 | #Constraints: 57859
104.99/105.38 c #Conflicts: 129000 | #Constraints: 58859
104.99/105.38 c #Conflicts: 130000 | #Constraints: 59859
104.99/105.38 c #Conflicts: 131000 | #Constraints: 60859
104.99/105.38 c INPROCESSING
104.99/105.38 c GARBAGE COLLECT
104.99/105.38 c rational objective 7
113.77/114.14 c #Conflicts: 132000 | #Constraints: 54560
113.77/114.14 c #Conflicts: 133000 | #Constraints: 55561
113.77/114.14 c #Conflicts: 134000 | #Constraints: 56561
113.77/114.14 c #Conflicts: 135000 | #Constraints: 57561
113.77/114.14 c #Conflicts: 136000 | #Constraints: 58562
113.77/114.14 c #Conflicts: 137000 | #Constraints: 59562
113.77/114.14 c #Conflicts: 138000 | #Constraints: 60563
113.77/114.14 c #Conflicts: 139000 | #Constraints: 61563
113.77/114.14 c INPROCESSING
113.77/114.14 c GARBAGE COLLECT
113.77/114.14 c rational objective 7
124.24/124.68 c #Conflicts: 140000 | #Constraints: 55122
124.24/124.68 c #Conflicts: 141000 | #Constraints: 56122
124.24/124.68 c #Conflicts: 142000 | #Constraints: 57122
124.24/124.68 c #Conflicts: 143000 | #Constraints: 58122
124.24/124.68 c #Conflicts: 144000 | #Constraints: 59123
124.24/124.68 c #Conflicts: 145000 | #Constraints: 60124
124.24/124.68 c #Conflicts: 146000 | #Constraints: 61124
124.24/124.68 c #Conflicts: 147000 | #Constraints: 62125
124.24/124.68 c INPROCESSING
124.24/124.68 c GARBAGE COLLECT
124.24/124.68 c rational objective 7
132.12/132.58 c #Conflicts: 148000 | #Constraints: 55493
132.12/132.58 c #Conflicts: 149000 | #Constraints: 56493
132.12/132.58 c #Conflicts: 150000 | #Constraints: 57493
132.12/132.58 c #Conflicts: 151000 | #Constraints: 58494
132.12/132.58 c #Conflicts: 152000 | #Constraints: 59494
132.12/132.58 c #Conflicts: 153000 | #Constraints: 60495
132.12/132.58 c #Conflicts: 154000 | #Constraints: 61497
132.12/132.58 c #Conflicts: 155000 | #Constraints: 62500
132.12/132.58 c INPROCESSING
132.12/132.58 c GARBAGE COLLECT
132.12/132.58 c rational objective 7
139.01/139.47 c #Conflicts: 156000 | #Constraints: 55656
139.01/139.47 c #Conflicts: 157000 | #Constraints: 56656
139.01/139.47 c #Conflicts: 158000 | #Constraints: 57656
139.01/139.47 c #Conflicts: 159000 | #Constraints: 58656
139.01/139.47 c #Conflicts: 160000 | #Constraints: 59657
139.01/139.47 c #Conflicts: 161000 | #Constraints: 60659
139.01/139.47 c #Conflicts: 162000 | #Constraints: 61661
139.01/139.47 c #Conflicts: 163000 | #Constraints: 62663
139.01/139.47 c INPROCESSING
139.01/139.47 c GARBAGE COLLECT
139.01/139.47 c rational objective 7
146.79/147.21 c #Conflicts: 164000 | #Constraints: 55445
146.79/147.21 c #Conflicts: 165000 | #Constraints: 56445
146.79/147.21 c #Conflicts: 166000 | #Constraints: 57445
146.79/147.21 c #Conflicts: 167000 | #Constraints: 58445
146.79/147.21 c #Conflicts: 168000 | #Constraints: 59445
146.79/147.21 c #Conflicts: 169000 | #Constraints: 60447
146.79/147.21 c #Conflicts: 170000 | #Constraints: 61448
146.79/147.21 c #Conflicts: 171000 | #Constraints: 62449
146.79/147.21 c INPROCESSING
146.79/147.21 c GARBAGE COLLECT
146.79/147.21 c rational objective 7
154.76/155.27 c #Conflicts: 172000 | #Constraints: 55178
154.76/155.27 c #Conflicts: 173000 | #Constraints: 56178
154.76/155.27 c #Conflicts: 174000 | #Constraints: 57178
154.76/155.27 c #Conflicts: 175000 | #Constraints: 58178
154.76/155.27 c #Conflicts: 176000 | #Constraints: 59179
154.76/155.27 c #Conflicts: 177000 | #Constraints: 60181
154.76/155.27 c #Conflicts: 178000 | #Constraints: 61184
154.76/155.27 c #Conflicts: 179000 | #Constraints: 62185
154.76/155.27 c #Conflicts: 180000 | #Constraints: 63186
154.76/155.27 c INPROCESSING
154.76/155.27 c GARBAGE COLLECT
154.76/155.27 c rational objective 7
164.84/165.39 c #Conflicts: 181000 | #Constraints: 55728
164.84/165.39 c #Conflicts: 182000 | #Constraints: 56728
164.84/165.39 c #Conflicts: 183000 | #Constraints: 57728
164.84/165.39 c #Conflicts: 184000 | #Constraints: 58728
164.84/165.39 c #Conflicts: 185000 | #Constraints: 59728
164.84/165.39 c #Conflicts: 186000 | #Constraints: 60728
164.84/165.39 c #Conflicts: 187000 | #Constraints: 61729
164.84/165.39 c #Conflicts: 188000 | #Constraints: 62730
164.84/165.39 c #Conflicts: 189000 | #Constraints: 63731
164.84/165.39 c INPROCESSING
164.84/165.39 c GARBAGE COLLECT
164.84/165.39 c rational objective 7
174.81/175.36 c #Conflicts: 190000 | #Constraints: 56126
174.81/175.36 c #Conflicts: 191000 | #Constraints: 57126
174.81/175.36 c #Conflicts: 192000 | #Constraints: 58126
174.81/175.36 c #Conflicts: 193000 | #Constraints: 59126
174.81/175.36 c #Conflicts: 194000 | #Constraints: 60126
174.81/175.36 c #Conflicts: 195000 | #Constraints: 61126
174.81/175.36 c #Conflicts: 196000 | #Constraints: 62127
174.81/175.36 c #Conflicts: 197000 | #Constraints: 63127
174.81/175.36 c #Conflicts: 198000 | #Constraints: 64130
174.81/175.36 c INPROCESSING
174.81/175.36 c GARBAGE COLLECT
174.81/175.36 c rational objective 7
182.79/183.30 c #Conflicts: 199000 | #Constraints: 56334
182.79/183.30 c #Conflicts: 200000 | #Constraints: 57334
182.79/183.30 c #Conflicts: 201000 | #Constraints: 58335
182.79/183.30 c #Conflicts: 202000 | #Constraints: 59335
182.79/183.30 c #Conflicts: 203000 | #Constraints: 60336
182.79/183.30 c #Conflicts: 204000 | #Constraints: 61340
182.79/183.30 c #Conflicts: 205000 | #Constraints: 62342
182.79/183.30 c #Conflicts: 206000 | #Constraints: 63346
182.79/183.30 c #Conflicts: 207000 | #Constraints: 64348
182.79/183.30 c INPROCESSING
182.79/183.30 c GARBAGE COLLECT
182.79/183.30 c rational objective 7
195.16/195.75 c #Conflicts: 208000 | #Constraints: 56232
195.16/195.75 c #Conflicts: 209000 | #Constraints: 57232
195.16/195.75 c #Conflicts: 210000 | #Constraints: 58232
195.16/195.75 c #Conflicts: 211000 | #Constraints: 59234
195.16/195.75 c #Conflicts: 212000 | #Constraints: 60249
195.16/195.75 c #Conflicts: 213000 | #Constraints: 61261
195.16/195.75 c #Conflicts: 214000 | #Constraints: 62268
195.16/195.75 c #Conflicts: 215000 | #Constraints: 63272
195.16/195.75 c #Conflicts: 216000 | #Constraints: 64275
195.16/195.75 c INPROCESSING
195.16/195.75 c GARBAGE COLLECT
195.16/195.75 c rational objective 7
212.82/213.40 c #Conflicts: 217000 | #Constraints: 56030
212.82/213.40 c #Conflicts: 218000 | #Constraints: 57030
212.82/213.40 c #Conflicts: 219000 | #Constraints: 58030
212.82/213.40 c #Conflicts: 220000 | #Constraints: 59030
212.82/213.40 c #Conflicts: 221000 | #Constraints: 60030
212.82/213.40 c #Conflicts: 222000 | #Constraints: 61031
212.82/213.40 c #Conflicts: 223000 | #Constraints: 62031
212.82/213.40 c #Conflicts: 224000 | #Constraints: 63031
212.82/213.40 c #Conflicts: 225000 | #Constraints: 64034
212.82/213.40 c #Conflicts: 226000 | #Constraints: 65034
212.82/213.40 c INPROCESSING
212.82/213.40 c GARBAGE COLLECT
212.82/213.40 c rational objective 7
231.27/231.98 c #Conflicts: 227000 | #Constraints: 56554
231.27/231.98 c #Conflicts: 228000 | #Constraints: 57554
231.27/231.98 c #Conflicts: 229000 | #Constraints: 58555
231.27/231.98 c #Conflicts: 230000 | #Constraints: 59555
231.27/231.98 c #Conflicts: 231000 | #Constraints: 60555
231.27/231.98 c #Conflicts: 232000 | #Constraints: 61556
231.27/231.98 c #Conflicts: 233000 | #Constraints: 62559
231.27/231.98 c #Conflicts: 234000 | #Constraints: 63562
231.27/231.98 c #Conflicts: 235000 | #Constraints: 64563
231.27/231.98 c #Conflicts: 236000 | #Constraints: 65564
231.27/231.98 c INPROCESSING
231.27/231.98 c GARBAGE COLLECT
231.27/231.98 c rational objective 7
242.14/242.81 c #Conflicts: 237000 | #Constraints: 56753
242.14/242.81 c #Conflicts: 238000 | #Constraints: 57753
242.14/242.81 c #Conflicts: 239000 | #Constraints: 58753
242.14/242.81 c #Conflicts: 240000 | #Constraints: 59753
242.14/242.81 c #Conflicts: 241000 | #Constraints: 60753
242.14/242.81 c #Conflicts: 242000 | #Constraints: 61753
242.14/242.81 c #Conflicts: 243000 | #Constraints: 62753
242.14/242.81 c #Conflicts: 244000 | #Constraints: 63754
242.14/242.81 c #Conflicts: 245000 | #Constraints: 64756
242.14/242.81 c #Conflicts: 246000 | #Constraints: 65759
242.14/242.81 c INPROCESSING
242.14/242.81 c GARBAGE COLLECT
242.14/242.81 c rational objective 7
259.19/259.97 c #Conflicts: 247000 | #Constraints: 56949
259.19/259.97 c #Conflicts: 248000 | #Constraints: 57951
259.19/259.97 c #Conflicts: 249000 | #Constraints: 58951
259.19/259.97 c #Conflicts: 250000 | #Constraints: 59952
259.19/259.97 c #Conflicts: 251000 | #Constraints: 60953
259.19/259.97 c #Conflicts: 252000 | #Constraints: 61954
259.19/259.97 c #Conflicts: 253000 | #Constraints: 62954
259.19/259.97 c #Conflicts: 254000 | #Constraints: 63955
259.19/259.97 c #Conflicts: 255000 | #Constraints: 64955
259.19/259.97 c #Conflicts: 256000 | #Constraints: 65958
259.19/259.97 c INPROCESSING
259.19/259.97 c GARBAGE COLLECT
259.19/259.97 c rational objective 7
272.37/273.11 c #Conflicts: 257000 | #Constraints: 56887
272.37/273.11 c #Conflicts: 258000 | #Constraints: 57887
272.37/273.11 c #Conflicts: 259000 | #Constraints: 58887
272.37/273.11 c #Conflicts: 260000 | #Constraints: 59887
272.37/273.11 c #Conflicts: 261000 | #Constraints: 60887
272.37/273.11 c #Conflicts: 262000 | #Constraints: 61891
272.37/273.11 c #Conflicts: 263000 | #Constraints: 62893
272.37/273.11 c #Conflicts: 264000 | #Constraints: 63895
272.37/273.11 c #Conflicts: 265000 | #Constraints: 64896
272.37/273.11 c #Conflicts: 266000 | #Constraints: 65898
272.37/273.11 c INPROCESSING
272.37/273.11 c GARBAGE COLLECT
272.37/273.11 c rational objective 7
287.82/288.66 c #Conflicts: 267000 | #Constraints: 56698
287.82/288.66 c #Conflicts: 268000 | #Constraints: 57698
287.82/288.66 c #Conflicts: 269000 | #Constraints: 58698
287.82/288.66 c #Conflicts: 270000 | #Constraints: 59698
287.82/288.66 c #Conflicts: 271000 | #Constraints: 60698
287.82/288.66 c #Conflicts: 272000 | #Constraints: 61700
287.82/288.66 c #Conflicts: 273000 | #Constraints: 62701
287.82/288.66 c #Conflicts: 274000 | #Constraints: 63702
287.82/288.66 c #Conflicts: 275000 | #Constraints: 64702
287.82/288.66 c #Conflicts: 276000 | #Constraints: 65703
287.82/288.66 c #Conflicts: 277000 | #Constraints: 66704
287.82/288.66 c INPROCESSING
287.82/288.66 c GARBAGE COLLECT
287.82/288.66 c rational objective 7
299.69/300.55 c #Conflicts: 278000 | #Constraints: 57208
299.69/300.55 c #Conflicts: 279000 | #Constraints: 58208
299.69/300.55 c #Conflicts: 280000 | #Constraints: 59208
299.69/300.55 c #Conflicts: 281000 | #Constraints: 60209
299.69/300.55 c #Conflicts: 282000 | #Constraints: 61211
299.69/300.55 c #Conflicts: 283000 | #Constraints: 62211
299.69/300.55 c #Conflicts: 284000 | #Constraints: 63212
299.69/300.55 c #Conflicts: 285000 | #Constraints: 64214
299.69/300.55 c #Conflicts: 286000 | #Constraints: 65214
299.69/300.55 c #Conflicts: 287000 | #Constraints: 66215
299.69/300.55 c #Conflicts: 288000 | #Constraints: 67215
299.69/300.55 c INPROCESSING
299.69/300.55 c GARBAGE COLLECT
299.69/300.55 c rational objective 7
313.05/314.00 c #Conflicts: 289000 | #Constraints: 57580
313.05/314.00 c #Conflicts: 290000 | #Constraints: 58581
313.05/314.00 c #Conflicts: 291000 | #Constraints: 59581
313.05/314.00 c #Conflicts: 292000 | #Constraints: 60581
313.05/314.00 c #Conflicts: 293000 | #Constraints: 61581
313.05/314.00 c #Conflicts: 294000 | #Constraints: 62584
313.05/314.00 c #Conflicts: 295000 | #Constraints: 63588
313.05/314.00 c #Conflicts: 296000 | #Constraints: 64589
313.05/314.00 c #Conflicts: 297000 | #Constraints: 65591
313.05/314.00 c #Conflicts: 298000 | #Constraints: 66592
313.05/314.00 c #Conflicts: 299000 | #Constraints: 67592
313.05/314.00 c INPROCESSING
313.05/314.00 c GARBAGE COLLECT
313.05/314.00 c rational objective 7
324.73/325.65 c #Conflicts: 300000 | #Constraints: 57765
324.73/325.65 c #Conflicts: 301000 | #Constraints: 58765
324.73/325.65 c #Conflicts: 302000 | #Constraints: 59765
324.73/325.65 c #Conflicts: 303000 | #Constraints: 60765
324.73/325.65 c #Conflicts: 304000 | #Constraints: 61765
324.73/325.65 c #Conflicts: 305000 | #Constraints: 62770
324.73/325.65 c #Conflicts: 306000 | #Constraints: 63773
324.73/325.65 c #Conflicts: 307000 | #Constraints: 64779
324.73/325.65 c #Conflicts: 308000 | #Constraints: 65780
324.73/325.65 c #Conflicts: 309000 | #Constraints: 66784
324.73/325.65 c #Conflicts: 310000 | #Constraints: 67785
324.73/325.65 c INPROCESSING
324.73/325.65 c GARBAGE COLLECT
324.73/325.65 c rational objective 7
343.87/344.86 c #Conflicts: 311000 | #Constraints: 57756
343.87/344.86 c #Conflicts: 312000 | #Constraints: 58756
343.87/344.86 c #Conflicts: 313000 | #Constraints: 59756
343.87/344.86 c #Conflicts: 314000 | #Constraints: 60756
343.87/344.86 c #Conflicts: 315000 | #Constraints: 61758
343.87/344.86 c #Conflicts: 316000 | #Constraints: 62763
343.87/344.86 c #Conflicts: 317000 | #Constraints: 63765
343.87/344.86 c #Conflicts: 318000 | #Constraints: 64766
343.87/344.86 c #Conflicts: 319000 | #Constraints: 65766
343.87/344.86 c #Conflicts: 320000 | #Constraints: 66768
343.87/344.86 c #Conflicts: 321000 | #Constraints: 67768
343.87/344.86 c INPROCESSING
343.87/344.86 c GARBAGE COLLECT
343.87/344.86 c rational objective 7
378.00/379.08 c #Conflicts: 322000 | #Constraints: 57528
378.00/379.08 c #Conflicts: 323000 | #Constraints: 58528
378.00/379.08 c #Conflicts: 324000 | #Constraints: 59528
378.00/379.08 c #Conflicts: 325000 | #Constraints: 60528
378.00/379.08 c #Conflicts: 326000 | #Constraints: 61528
378.00/379.08 c #Conflicts: 327000 | #Constraints: 62529
378.00/379.08 c #Conflicts: 328000 | #Constraints: 63531
378.00/379.08 c #Conflicts: 329000 | #Constraints: 64531
378.00/379.08 c #Conflicts: 330000 | #Constraints: 65532
378.00/379.08 c #Conflicts: 331000 | #Constraints: 66532
378.00/379.08 c #Conflicts: 332000 | #Constraints: 67533
378.00/379.08 c #Conflicts: 333000 | #Constraints: 68533
378.00/379.08 c INPROCESSING
378.00/379.08 c GARBAGE COLLECT
378.00/379.08 c rational objective 7
390.16/391.27 c #Conflicts: 334000 | #Constraints: 58105
390.16/391.27 c #Conflicts: 335000 | #Constraints: 59105
390.16/391.27 c #Conflicts: 336000 | #Constraints: 60105
390.16/391.27 c #Conflicts: 337000 | #Constraints: 61105
390.16/391.27 c #Conflicts: 338000 | #Constraints: 62105
390.16/391.27 c #Conflicts: 339000 | #Constraints: 63105
390.16/391.27 c #Conflicts: 340000 | #Constraints: 64106
390.16/391.27 c #Conflicts: 341000 | #Constraints: 65107
390.16/391.27 c #Conflicts: 342000 | #Constraints: 66110
390.16/391.27 c #Conflicts: 343000 | #Constraints: 67110
390.16/391.27 c #Conflicts: 344000 | #Constraints: 68111
390.16/391.27 c #Conflicts: 345000 | #Constraints: 69113
390.16/391.27 c INPROCESSING
390.16/391.27 c GARBAGE COLLECT
390.16/391.27 c rational objective 7
406.62/407.75 c #Conflicts: 346000 | #Constraints: 58465
406.62/407.75 c #Conflicts: 347000 | #Constraints: 59465
406.62/407.75 c #Conflicts: 348000 | #Constraints: 60465
406.62/407.75 c #Conflicts: 349000 | #Constraints: 61467
406.62/407.75 c #Conflicts: 350000 | #Constraints: 62469
406.62/407.75 c #Conflicts: 351000 | #Constraints: 63470
406.62/407.75 c #Conflicts: 352000 | #Constraints: 64471
406.62/407.75 c #Conflicts: 353000 | #Constraints: 65471
406.62/407.75 c #Conflicts: 354000 | #Constraints: 66472
406.62/407.75 c #Conflicts: 355000 | #Constraints: 67472
406.62/407.75 c #Conflicts: 356000 | #Constraints: 68473
406.62/407.75 c #Conflicts: 357000 | #Constraints: 69474
406.62/407.75 c INPROCESSING
406.62/407.75 c GARBAGE COLLECT
406.62/407.75 c rational objective 7
421.37/422.55 c #Conflicts: 358000 | #Constraints: 58592
421.37/422.55 c #Conflicts: 359000 | #Constraints: 59592
421.37/422.55 c #Conflicts: 360000 | #Constraints: 60592
421.37/422.55 c #Conflicts: 361000 | #Constraints: 61592
421.37/422.55 c #Conflicts: 362000 | #Constraints: 62592
421.37/422.55 c #Conflicts: 363000 | #Constraints: 63592
421.37/422.55 c #Conflicts: 364000 | #Constraints: 64593
421.37/422.55 c #Conflicts: 365000 | #Constraints: 65596
421.37/422.55 c #Conflicts: 366000 | #Constraints: 66598
421.37/422.55 c #Conflicts: 367000 | #Constraints: 67598
421.37/422.55 c #Conflicts: 368000 | #Constraints: 68599
421.37/422.55 c #Conflicts: 369000 | #Constraints: 69600
421.37/422.55 c INPROCESSING
421.37/422.55 c GARBAGE COLLECT
421.37/422.55 c rational objective 7
444.42/445.60 c #Conflicts: 370000 | #Constraints: 58604
444.42/445.60 c #Conflicts: 371000 | #Constraints: 59604
444.42/445.60 c #Conflicts: 372000 | #Constraints: 60604
444.42/445.60 c #Conflicts: 373000 | #Constraints: 61604
444.42/445.60 c #Conflicts: 374000 | #Constraints: 62608
444.42/445.60 c #Conflicts: 375000 | #Constraints: 63612
444.42/445.60 c #Conflicts: 376000 | #Constraints: 64614
444.42/445.60 c #Conflicts: 377000 | #Constraints: 65618
444.42/445.60 c #Conflicts: 378000 | #Constraints: 66619
444.42/445.60 c #Conflicts: 379000 | #Constraints: 67620
444.42/445.60 c #Conflicts: 380000 | #Constraints: 68621
444.42/445.60 c #Conflicts: 381000 | #Constraints: 69622
444.42/445.60 c INPROCESSING
444.42/445.60 c GARBAGE COLLECT
444.42/445.60 c rational objective 7
465.06/466.33 c #Conflicts: 382000 | #Constraints: 58381
465.06/466.33 c #Conflicts: 383000 | #Constraints: 59382
465.06/466.33 c #Conflicts: 384000 | #Constraints: 60382
465.06/466.33 c #Conflicts: 385000 | #Constraints: 61382
465.06/466.33 c #Conflicts: 386000 | #Constraints: 62382
465.06/466.33 c #Conflicts: 387000 | #Constraints: 63382
465.06/466.33 c #Conflicts: 388000 | #Constraints: 64383
465.06/466.33 c #Conflicts: 389000 | #Constraints: 65384
465.06/466.33 c #Conflicts: 390000 | #Constraints: 66386
465.06/466.33 c #Conflicts: 391000 | #Constraints: 67387
465.06/466.33 c #Conflicts: 392000 | #Constraints: 68389
465.06/466.33 c #Conflicts: 393000 | #Constraints: 69389
465.06/466.33 c #Conflicts: 394000 | #Constraints: 70389
465.06/466.33 c INPROCESSING
465.06/466.33 c GARBAGE COLLECT
465.06/466.33 c rational objective 7
495.39/496.73 c #Conflicts: 395000 | #Constraints: 58992
495.39/496.73 c #Conflicts: 396000 | #Constraints: 59992
495.39/496.73 c #Conflicts: 397000 | #Constraints: 60992
495.39/496.73 c #Conflicts: 398000 | #Constraints: 61992
495.39/496.73 c #Conflicts: 399000 | #Constraints: 62992
495.39/496.73 c #Conflicts: 400000 | #Constraints: 63994
495.39/496.73 c #Conflicts: 401000 | #Constraints: 64996
495.39/496.73 c #Conflicts: 402000 | #Constraints: 65996
495.39/496.73 c #Conflicts: 403000 | #Constraints: 66998
495.39/496.73 c #Conflicts: 404000 | #Constraints: 68001
495.39/496.73 c #Conflicts: 405000 | #Constraints: 69003
495.39/496.73 c #Conflicts: 406000 | #Constraints: 70005
495.39/496.73 c #Conflicts: 407000 | #Constraints: 71006
495.39/496.73 c INPROCESSING
495.39/496.73 c GARBAGE COLLECT
495.39/496.73 c rational objective 7
516.94/518.37 c #Conflicts: 408000 | #Constraints: 59324
516.94/518.37 c #Conflicts: 409000 | #Constraints: 60324
516.94/518.37 c #Conflicts: 410000 | #Constraints: 61324
516.94/518.37 c #Conflicts: 411000 | #Constraints: 62324
516.94/518.37 c #Conflicts: 412000 | #Constraints: 63324
516.94/518.37 c #Conflicts: 413000 | #Constraints: 64324
516.94/518.37 c #Conflicts: 414000 | #Constraints: 65326
516.94/518.37 c #Conflicts: 415000 | #Constraints: 66326
516.94/518.37 c #Conflicts: 416000 | #Constraints: 67327
516.94/518.37 c #Conflicts: 417000 | #Constraints: 68329
516.94/518.37 c #Conflicts: 418000 | #Constraints: 69329
516.94/518.37 c #Conflicts: 419000 | #Constraints: 70330
516.94/518.37 c #Conflicts: 420000 | #Constraints: 71330
516.94/518.37 c INPROCESSING
516.94/518.37 c GARBAGE COLLECT
516.94/518.37 c rational objective 7
531.20/532.61 c #Conflicts: 421000 | #Constraints: 59503
531.20/532.61 c #Conflicts: 422000 | #Constraints: 60503
531.20/532.61 c #Conflicts: 423000 | #Constraints: 61503
531.20/532.61 c #Conflicts: 424000 | #Constraints: 62503
531.20/532.61 c #Conflicts: 425000 | #Constraints: 63503
531.20/532.61 c #Conflicts: 426000 | #Constraints: 64503
531.20/532.61 c #Conflicts: 427000 | #Constraints: 65503
531.20/532.61 c #Conflicts: 428000 | #Constraints: 66503
531.20/532.61 c #Conflicts: 429000 | #Constraints: 67503
531.20/532.61 c #Conflicts: 430000 | #Constraints: 68504
531.20/532.61 c #Conflicts: 431000 | #Constraints: 69505
531.20/532.61 c #Conflicts: 432000 | #Constraints: 70506
531.20/532.61 c #Conflicts: 433000 | #Constraints: 71507
531.20/532.61 c INPROCESSING
531.20/532.61 c GARBAGE COLLECT
531.20/532.61 c rational objective 7
546.96/548.45 c #Conflicts: 434000 | #Constraints: 59525
546.96/548.45 c #Conflicts: 435000 | #Constraints: 60525
546.96/548.45 c #Conflicts: 436000 | #Constraints: 61525
546.96/548.45 c #Conflicts: 437000 | #Constraints: 62525
546.96/548.45 c #Conflicts: 438000 | #Constraints: 63525
546.96/548.45 c #Conflicts: 439000 | #Constraints: 64527
546.96/548.45 c #Conflicts: 440000 | #Constraints: 65531
546.96/548.45 c #Conflicts: 441000 | #Constraints: 66534
546.96/548.45 c #Conflicts: 442000 | #Constraints: 67536
546.96/548.45 c #Conflicts: 443000 | #Constraints: 68538
546.96/548.45 c #Conflicts: 444000 | #Constraints: 69538
546.96/548.45 c #Conflicts: 445000 | #Constraints: 70539
546.96/548.45 c #Conflicts: 446000 | #Constraints: 71540
546.96/548.45 c INPROCESSING
546.96/548.45 c GARBAGE COLLECT
546.96/548.45 c rational objective 7
569.19/570.75 c #Conflicts: 447000 | #Constraints: 59299
569.19/570.75 c #Conflicts: 448000 | #Constraints: 60300
569.19/570.75 c #Conflicts: 449000 | #Constraints: 61300
569.19/570.75 c #Conflicts: 450000 | #Constraints: 62300
569.19/570.75 c #Conflicts: 451000 | #Constraints: 63300
569.19/570.75 c #Conflicts: 452000 | #Constraints: 64302
569.19/570.75 c #Conflicts: 453000 | #Constraints: 65303
569.19/570.75 c #Conflicts: 454000 | #Constraints: 66303
569.19/570.75 c #Conflicts: 455000 | #Constraints: 67303
569.19/570.75 c #Conflicts: 456000 | #Constraints: 68303
569.19/570.75 c #Conflicts: 457000 | #Constraints: 69303
569.19/570.75 c #Conflicts: 458000 | #Constraints: 70303
569.19/570.75 c #Conflicts: 459000 | #Constraints: 71303
569.19/570.75 c #Conflicts: 460000 | #Constraints: 72303
569.19/570.75 c INPROCESSING
569.19/570.75 c GARBAGE COLLECT
569.19/570.75 c rational objective 7
590.53/592.14 c #Conflicts: 461000 | #Constraints: 59831
590.53/592.14 c #Conflicts: 462000 | #Constraints: 60831
590.53/592.14 c #Conflicts: 463000 | #Constraints: 61831
590.53/592.14 c #Conflicts: 464000 | #Constraints: 62831
590.53/592.14 c #Conflicts: 465000 | #Constraints: 63831
590.53/592.14 c #Conflicts: 466000 | #Constraints: 64831
590.53/592.14 c #Conflicts: 467000 | #Constraints: 65832
590.53/592.14 c #Conflicts: 468000 | #Constraints: 66835
590.53/592.14 c #Conflicts: 469000 | #Constraints: 67837
590.53/592.14 c #Conflicts: 470000 | #Constraints: 68838
590.53/592.14 c #Conflicts: 471000 | #Constraints: 69839
590.53/592.14 c #Conflicts: 472000 | #Constraints: 70841
590.53/592.14 c #Conflicts: 473000 | #Constraints: 71849
590.53/592.14 c #Conflicts: 474000 | #Constraints: 72861
590.53/592.14 c INPROCESSING
590.53/592.14 c GARBAGE COLLECT
590.53/592.14 c rational objective 7
617.34/619.06 c #Conflicts: 475000 | #Constraints: 60190
617.34/619.06 c #Conflicts: 476000 | #Constraints: 61193
617.34/619.06 c #Conflicts: 477000 | #Constraints: 62201
617.34/619.06 c #Conflicts: 478000 | #Constraints: 63206
617.34/619.06 c #Conflicts: 479000 | #Constraints: 64207
617.34/619.06 c #Conflicts: 480000 | #Constraints: 65210
617.34/619.06 c #Conflicts: 481000 | #Constraints: 66215
617.34/619.06 c #Conflicts: 482000 | #Constraints: 67216
617.34/619.06 c #Conflicts: 483000 | #Constraints: 68217
617.34/619.06 c #Conflicts: 484000 | #Constraints: 69219
617.34/619.06 c #Conflicts: 485000 | #Constraints: 70221
617.34/619.06 c #Conflicts: 486000 | #Constraints: 71223
617.34/619.06 c #Conflicts: 487000 | #Constraints: 72225
617.34/619.06 c #Conflicts: 488000 | #Constraints: 73226
617.34/619.06 c INPROCESSING
617.34/619.06 c GARBAGE COLLECT
617.34/619.06 c rational objective 7
640.17/641.93 c #Conflicts: 489000 | #Constraints: 60342
640.17/641.93 c #Conflicts: 490000 | #Constraints: 61343
640.17/641.93 c #Conflicts: 491000 | #Constraints: 62343
640.17/641.93 c #Conflicts: 492000 | #Constraints: 63343
640.17/641.93 c #Conflicts: 493000 | #Constraints: 64344
640.17/641.93 c #Conflicts: 494000 | #Constraints: 65347
640.17/641.93 c #Conflicts: 495000 | #Constraints: 66347
640.17/641.93 c #Conflicts: 496000 | #Constraints: 67348
640.17/641.93 c #Conflicts: 497000 | #Constraints: 68350
640.17/641.93 c #Conflicts: 498000 | #Constraints: 69351
640.17/641.93 c #Conflicts: 499000 | #Constraints: 70356
640.17/641.93 c #Conflicts: 500000 | #Constraints: 71356
640.17/641.93 c #Conflicts: 501000 | #Constraints: 72357
640.17/641.93 c #Conflicts: 502000 | #Constraints: 73359
640.17/641.93 c INPROCESSING
640.17/641.93 c GARBAGE COLLECT
640.17/641.93 c rational objective 7
665.09/666.94 c #Conflicts: 503000 | #Constraints: 60321
665.09/666.94 c #Conflicts: 504000 | #Constraints: 61321
665.09/666.94 c #Conflicts: 505000 | #Constraints: 62321
665.09/666.94 c #Conflicts: 506000 | #Constraints: 63321
665.09/666.94 c #Conflicts: 507000 | #Constraints: 64321
665.09/666.94 c #Conflicts: 508000 | #Constraints: 65322
665.09/666.94 c #Conflicts: 509000 | #Constraints: 66323
665.09/666.94 c #Conflicts: 510000 | #Constraints: 67324
665.09/666.94 c #Conflicts: 511000 | #Constraints: 68327
665.09/666.94 c #Conflicts: 512000 | #Constraints: 69330
665.09/666.94 c #Conflicts: 513000 | #Constraints: 70332
665.09/666.94 c #Conflicts: 514000 | #Constraints: 71332
665.09/666.94 c #Conflicts: 515000 | #Constraints: 72332
665.09/666.94 c #Conflicts: 516000 | #Constraints: 73333
665.09/666.94 c INPROCESSING
665.09/666.94 c GARBAGE COLLECT
665.09/666.94 c rational objective 7
691.51/693.49 c #Conflicts: 517000 | #Constraints: 60050
691.51/693.49 c #Conflicts: 518000 | #Constraints: 61051
691.51/693.49 c #Conflicts: 519000 | #Constraints: 62051
691.51/693.49 c #Conflicts: 520000 | #Constraints: 63054
691.51/693.49 c #Conflicts: 521000 | #Constraints: 64059
691.51/693.49 c #Conflicts: 522000 | #Constraints: 65060
691.51/693.49 c #Conflicts: 523000 | #Constraints: 66063
691.51/693.49 c #Conflicts: 524000 | #Constraints: 67064
691.51/693.49 c #Conflicts: 525000 | #Constraints: 68065
691.51/693.49 c #Conflicts: 526000 | #Constraints: 69066
691.51/693.49 c #Conflicts: 527000 | #Constraints: 70066
691.51/693.49 c #Conflicts: 528000 | #Constraints: 71070
691.51/693.49 c #Conflicts: 529000 | #Constraints: 72074
691.51/693.49 c #Conflicts: 530000 | #Constraints: 73075
691.51/693.49 c #Conflicts: 531000 | #Constraints: 74076
691.51/693.49 c INPROCESSING
691.51/693.49 c GARBAGE COLLECT
691.51/693.49 c rational objective 7
711.84/713.82 c #Conflicts: 532000 | #Constraints: 60639
711.84/713.82 c #Conflicts: 533000 | #Constraints: 61639
711.84/713.82 c #Conflicts: 534000 | #Constraints: 62639
711.84/713.82 c #Conflicts: 535000 | #Constraints: 63639
711.84/713.82 c #Conflicts: 536000 | #Constraints: 64639
711.84/713.82 c #Conflicts: 537000 | #Constraints: 65641
711.84/713.82 c #Conflicts: 538000 | #Constraints: 66642
711.84/713.82 c #Conflicts: 539000 | #Constraints: 67643
711.84/713.82 c #Conflicts: 540000 | #Constraints: 68645
711.84/713.82 c #Conflicts: 541000 | #Constraints: 69645
711.84/713.82 c #Conflicts: 542000 | #Constraints: 70646
711.84/713.82 c #Conflicts: 543000 | #Constraints: 71647
711.84/713.82 c #Conflicts: 544000 | #Constraints: 72648
711.84/713.82 c #Conflicts: 545000 | #Constraints: 73649
711.84/713.82 c #Conflicts: 546000 | #Constraints: 74650
711.84/713.82 c INPROCESSING
711.84/713.82 c GARBAGE COLLECT
711.84/713.82 c rational objective 7
732.18/734.26 c #Conflicts: 547000 | #Constraints: 60989
732.18/734.26 c #Conflicts: 548000 | #Constraints: 61989
732.18/734.26 c #Conflicts: 549000 | #Constraints: 62989
732.18/734.26 c #Conflicts: 550000 | #Constraints: 63989
732.18/734.26 c #Conflicts: 551000 | #Constraints: 64989
732.18/734.26 c #Conflicts: 552000 | #Constraints: 65990
732.18/734.26 c #Conflicts: 553000 | #Constraints: 66991
732.18/734.26 c #Conflicts: 554000 | #Constraints: 67992
732.18/734.26 c #Conflicts: 555000 | #Constraints: 68994
732.18/734.26 c #Conflicts: 556000 | #Constraints: 69996
732.18/734.26 c #Conflicts: 557000 | #Constraints: 70999
732.18/734.26 c #Conflicts: 558000 | #Constraints: 72003
732.18/734.26 c #Conflicts: 559000 | #Constraints: 73004
732.18/734.26 c #Conflicts: 560000 | #Constraints: 74006
732.18/734.26 c #Conflicts: 561000 | #Constraints: 75008
732.18/734.26 c INPROCESSING
732.18/734.26 c GARBAGE COLLECT
732.18/734.26 c rational objective 7
750.12/752.22 c #Conflicts: 562000 | #Constraints: 61110
750.12/752.22 c #Conflicts: 563000 | #Constraints: 62110
750.12/752.22 c #Conflicts: 564000 | #Constraints: 63110
750.12/752.22 c #Conflicts: 565000 | #Constraints: 64110
750.12/752.22 c #Conflicts: 566000 | #Constraints: 65110
750.12/752.22 c #Conflicts: 567000 | #Constraints: 66111
750.12/752.22 c #Conflicts: 568000 | #Constraints: 67113
750.12/752.22 c #Conflicts: 569000 | #Constraints: 68116
750.12/752.22 c #Conflicts: 570000 | #Constraints: 69118
750.12/752.22 c #Conflicts: 571000 | #Constraints: 70119
750.12/752.22 c #Conflicts: 572000 | #Constraints: 71120
750.12/752.22 c #Conflicts: 573000 | #Constraints: 72122
750.12/752.22 c #Conflicts: 574000 | #Constraints: 73122
750.12/752.22 c #Conflicts: 575000 | #Constraints: 74122
750.12/752.22 c #Conflicts: 576000 | #Constraints: 75122
750.12/752.22 c INPROCESSING
750.12/752.22 c GARBAGE COLLECT
750.12/752.22 c rational objective 7
774.05/776.20 c #Conflicts: 577000 | #Constraints: 61084
774.05/776.20 c #Conflicts: 578000 | #Constraints: 62085
774.05/776.20 c #Conflicts: 579000 | #Constraints: 63085
774.05/776.20 c #Conflicts: 580000 | #Constraints: 64085
774.05/776.20 c #Conflicts: 581000 | #Constraints: 65086
774.05/776.20 c #Conflicts: 582000 | #Constraints: 66087
774.05/776.20 c #Conflicts: 583000 | #Constraints: 67088
774.05/776.20 c #Conflicts: 584000 | #Constraints: 68090
774.05/776.20 c #Conflicts: 585000 | #Constraints: 69092
774.05/776.20 c #Conflicts: 586000 | #Constraints: 70093
774.05/776.20 c #Conflicts: 587000 | #Constraints: 71093
774.05/776.20 c #Conflicts: 588000 | #Constraints: 72093
774.05/776.20 c #Conflicts: 589000 | #Constraints: 73094
774.05/776.20 c #Conflicts: 590000 | #Constraints: 74095
774.05/776.20 c #Conflicts: 591000 | #Constraints: 75096
774.05/776.20 c INPROCESSING
774.05/776.20 c GARBAGE COLLECT
774.05/776.20 c rational objective 7
803.95/806.25 c #Conflicts: 592000 | #Constraints: 60871
803.95/806.25 c #Conflicts: 593000 | #Constraints: 61872
803.95/806.25 c #Conflicts: 594000 | #Constraints: 62872
803.95/806.25 c #Conflicts: 595000 | #Constraints: 63872
803.95/806.25 c #Conflicts: 596000 | #Constraints: 64872
803.95/806.25 c #Conflicts: 597000 | #Constraints: 65872
803.95/806.25 c #Conflicts: 598000 | #Constraints: 66873
803.95/806.25 c #Conflicts: 599000 | #Constraints: 67876
803.95/806.25 c #Conflicts: 600000 | #Constraints: 68878
803.95/806.25 c #Conflicts: 601000 | #Constraints: 69879
803.95/806.25 c #Conflicts: 602000 | #Constraints: 70882
803.95/806.25 c #Conflicts: 603000 | #Constraints: 71884
803.95/806.25 c #Conflicts: 604000 | #Constraints: 72884
803.95/806.25 c #Conflicts: 605000 | #Constraints: 73887
803.95/806.25 c #Conflicts: 606000 | #Constraints: 74888
803.95/806.25 c #Conflicts: 607000 | #Constraints: 75889
803.95/806.25 c INPROCESSING
803.95/806.25 c GARBAGE COLLECT
803.95/806.25 c rational objective 7
831.17/833.55 c #Conflicts: 608000 | #Constraints: 61467
831.17/833.55 c #Conflicts: 609000 | #Constraints: 62467
831.17/833.55 c #Conflicts: 610000 | #Constraints: 63467
831.17/833.55 c #Conflicts: 611000 | #Constraints: 64467
831.17/833.55 c #Conflicts: 612000 | #Constraints: 65468
831.17/833.55 c #Conflicts: 613000 | #Constraints: 66469
831.17/833.55 c #Conflicts: 614000 | #Constraints: 67469
831.17/833.55 c #Conflicts: 615000 | #Constraints: 68469
831.17/833.55 c #Conflicts: 616000 | #Constraints: 69471
831.17/833.55 c #Conflicts: 617000 | #Constraints: 70472
831.17/833.55 c #Conflicts: 618000 | #Constraints: 71473
831.17/833.55 c #Conflicts: 619000 | #Constraints: 72474
831.17/833.55 c #Conflicts: 620000 | #Constraints: 73474
831.17/833.55 c #Conflicts: 621000 | #Constraints: 74475
831.17/833.55 c #Conflicts: 622000 | #Constraints: 75476
831.17/833.55 c #Conflicts: 623000 | #Constraints: 76478
831.17/833.55 c INPROCESSING
831.17/833.55 c GARBAGE COLLECT
831.17/833.55 c rational objective 7
854.00/856.43 c #Conflicts: 624000 | #Constraints: 61827
854.00/856.43 c #Conflicts: 625000 | #Constraints: 62827
854.00/856.43 c #Conflicts: 626000 | #Constraints: 63827
854.00/856.43 c #Conflicts: 627000 | #Constraints: 64827
854.00/856.43 c #Conflicts: 628000 | #Constraints: 65828
854.00/856.43 c #Conflicts: 629000 | #Constraints: 66830
854.00/856.43 c #Conflicts: 630000 | #Constraints: 67831
854.00/856.43 c #Conflicts: 631000 | #Constraints: 68832
854.00/856.43 c #Conflicts: 632000 | #Constraints: 69834
854.00/856.43 c #Conflicts: 633000 | #Constraints: 70835
854.00/856.43 c #Conflicts: 634000 | #Constraints: 71835
854.00/856.43 c #Conflicts: 635000 | #Constraints: 72836
854.00/856.43 c #Conflicts: 636000 | #Constraints: 73837
854.00/856.43 c #Conflicts: 637000 | #Constraints: 74838
854.00/856.43 c #Conflicts: 638000 | #Constraints: 75839
854.00/856.43 c #Conflicts: 639000 | #Constraints: 76840
854.00/856.43 c INPROCESSING
854.00/856.43 c GARBAGE COLLECT
854.00/856.43 c rational objective 7
877.53/880.01 c #Conflicts: 640000 | #Constraints: 61976
877.53/880.01 c #Conflicts: 641000 | #Constraints: 62977
877.53/880.01 c #Conflicts: 642000 | #Constraints: 63977
877.53/880.01 c #Conflicts: 643000 | #Constraints: 64977
877.53/880.01 c #Conflicts: 644000 | #Constraints: 65978
877.53/880.01 c #Conflicts: 645000 | #Constraints: 66980
877.53/880.01 c #Conflicts: 646000 | #Constraints: 67981
877.53/880.01 c #Conflicts: 647000 | #Constraints: 68983
877.53/880.01 c #Conflicts: 648000 | #Constraints: 69984
877.53/880.01 c #Conflicts: 649000 | #Constraints: 70985
877.53/880.01 c #Conflicts: 650000 | #Constraints: 71988
877.53/880.01 c #Conflicts: 651000 | #Constraints: 72989
877.53/880.01 c #Conflicts: 652000 | #Constraints: 73990
877.53/880.01 c #Conflicts: 653000 | #Constraints: 74992
877.53/880.01 c #Conflicts: 654000 | #Constraints: 75992
877.53/880.01 c #Conflicts: 655000 | #Constraints: 76992
877.53/880.01 c INPROCESSING
877.53/880.01 c GARBAGE COLLECT
877.53/880.01 c rational objective 7
923.49/926.11 c #Conflicts: 656000 | #Constraints: 61956
923.49/926.11 c #Conflicts: 657000 | #Constraints: 62957
923.49/926.11 c #Conflicts: 658000 | #Constraints: 63957
923.49/926.11 c #Conflicts: 659000 | #Constraints: 64957
923.49/926.11 c #Conflicts: 660000 | #Constraints: 65960
923.49/926.11 c #Conflicts: 661000 | #Constraints: 66961
923.49/926.11 c #Conflicts: 662000 | #Constraints: 67964
923.49/926.11 c #Conflicts: 663000 | #Constraints: 68964
923.49/926.11 c #Conflicts: 664000 | #Constraints: 69965
923.49/926.11 c #Conflicts: 665000 | #Constraints: 70967
923.49/926.11 c #Conflicts: 666000 | #Constraints: 71968
923.49/926.11 c #Conflicts: 667000 | #Constraints: 72971
923.49/926.11 c #Conflicts: 668000 | #Constraints: 73972
923.49/926.11 c #Conflicts: 669000 | #Constraints: 74973
923.49/926.11 c #Conflicts: 670000 | #Constraints: 75973
923.49/926.11 c #Conflicts: 671000 | #Constraints: 76973
923.49/926.11 c INPROCESSING
923.49/926.11 c GARBAGE COLLECT
923.49/926.11 c rational objective 7
952.49/955.29 c #Conflicts: 672000 | #Constraints: 61716
952.49/955.29 c #Conflicts: 673000 | #Constraints: 62717
952.49/955.29 c #Conflicts: 674000 | #Constraints: 63717
952.49/955.29 c #Conflicts: 675000 | #Constraints: 64717
952.49/955.29 c #Conflicts: 676000 | #Constraints: 65717
952.49/955.29 c #Conflicts: 677000 | #Constraints: 66717
952.49/955.29 c #Conflicts: 678000 | #Constraints: 67719
952.49/955.29 c #Conflicts: 679000 | #Constraints: 68721
952.49/955.29 c #Conflicts: 680000 | #Constraints: 69723
952.49/955.29 c #Conflicts: 681000 | #Constraints: 70725
952.49/955.29 c #Conflicts: 682000 | #Constraints: 71727
952.49/955.29 c #Conflicts: 683000 | #Constraints: 72729
952.49/955.29 c #Conflicts: 684000 | #Constraints: 73731
952.49/955.29 c #Conflicts: 685000 | #Constraints: 74733
952.49/955.29 c #Conflicts: 686000 | #Constraints: 75737
952.49/955.29 c #Conflicts: 687000 | #Constraints: 76738
952.49/955.29 c #Conflicts: 688000 | #Constraints: 77741
952.49/955.29 c INPROCESSING
952.49/955.29 c GARBAGE COLLECT
952.49/955.29 c rational objective 7
982.80/985.68 c #Conflicts: 689000 | #Constraints: 62305
982.80/985.68 c #Conflicts: 690000 | #Constraints: 63305
982.80/985.68 c #Conflicts: 691000 | #Constraints: 64305
982.80/985.68 c #Conflicts: 692000 | #Constraints: 65305
982.80/985.68 c #Conflicts: 693000 | #Constraints: 66307
982.80/985.68 c #Conflicts: 694000 | #Constraints: 67308
982.80/985.68 c #Conflicts: 695000 | #Constraints: 68309
982.80/985.68 c #Conflicts: 696000 | #Constraints: 69312
982.80/985.68 c #Conflicts: 697000 | #Constraints: 70313
982.80/985.68 c #Conflicts: 698000 | #Constraints: 71314
982.80/985.68 c #Conflicts: 699000 | #Constraints: 72316
982.80/985.68 c #Conflicts: 700000 | #Constraints: 73318
982.80/985.68 c #Conflicts: 701000 | #Constraints: 74323
982.80/985.68 c #Conflicts: 702000 | #Constraints: 75328
982.80/985.68 c #Conflicts: 703000 | #Constraints: 76329
982.80/985.68 c #Conflicts: 704000 | #Constraints: 77331
982.80/985.68 c #Conflicts: 705000 | #Constraints: 78336
982.80/985.68 c INPROCESSING
982.80/985.68 c GARBAGE COLLECT
982.80/985.68 c rational objective 7
1005.83/1008.72 c #Conflicts: 706000 | #Constraints: 62705
1005.83/1008.72 c #Conflicts: 707000 | #Constraints: 63705
1005.83/1008.72 c #Conflicts: 708000 | #Constraints: 64705
1005.83/1008.72 c #Conflicts: 709000 | #Constraints: 65705
1005.83/1008.72 c #Conflicts: 710000 | #Constraints: 66705
1005.83/1008.72 c #Conflicts: 711000 | #Constraints: 67705
1005.83/1008.72 c #Conflicts: 712000 | #Constraints: 68705
1005.83/1008.72 c #Conflicts: 713000 | #Constraints: 69706
1005.83/1008.72 c #Conflicts: 714000 | #Constraints: 70707
1005.83/1008.72 c #Conflicts: 715000 | #Constraints: 71709
1005.83/1008.72 c #Conflicts: 716000 | #Constraints: 72710
1005.83/1008.72 c #Conflicts: 717000 | #Constraints: 73712
1005.83/1008.72 c #Conflicts: 718000 | #Constraints: 74717
1005.83/1008.72 c #Conflicts: 719000 | #Constraints: 75719
1005.83/1008.72 c #Conflicts: 720000 | #Constraints: 76721
1005.83/1008.72 c #Conflicts: 721000 | #Constraints: 77729
1005.83/1008.72 c #Conflicts: 722000 | #Constraints: 78733
1005.83/1008.72 c INPROCESSING
1005.83/1008.72 c GARBAGE COLLECT
1005.83/1008.72 c rational objective 7
1029.15/1032.11 c #Conflicts: 723000 | #Constraints: 62816
1029.15/1032.11 c #Conflicts: 724000 | #Constraints: 63816
1029.15/1032.11 c #Conflicts: 725000 | #Constraints: 64816
1029.15/1032.11 c #Conflicts: 726000 | #Constraints: 65816
1029.15/1032.11 c #Conflicts: 727000 | #Constraints: 66816
1029.15/1032.11 c #Conflicts: 728000 | #Constraints: 67816
1029.15/1032.11 c #Conflicts: 729000 | #Constraints: 68817
1029.15/1032.11 c #Conflicts: 730000 | #Constraints: 69818
1029.15/1032.11 c #Conflicts: 731000 | #Constraints: 70818
1029.15/1032.11 c #Conflicts: 732000 | #Constraints: 71819
1029.15/1032.11 c #Conflicts: 733000 | #Constraints: 72819
1029.15/1032.11 c #Conflicts: 734000 | #Constraints: 73819
1029.15/1032.11 c #Conflicts: 735000 | #Constraints: 74820
1029.15/1032.11 c #Conflicts: 736000 | #Constraints: 75820
1029.15/1032.11 c #Conflicts: 737000 | #Constraints: 76821
1029.15/1032.11 c #Conflicts: 738000 | #Constraints: 77822
1029.15/1032.11 c #Conflicts: 739000 | #Constraints: 78822
1029.15/1032.11 c INPROCESSING
1029.15/1032.11 c GARBAGE COLLECT
1029.15/1032.11 c rational objective 7
1061.15/1064.24 c #Conflicts: 740000 | #Constraints: 62804
1061.15/1064.24 c #Conflicts: 741000 | #Constraints: 63805
1061.15/1064.24 c #Conflicts: 742000 | #Constraints: 64805
1061.15/1064.24 c #Conflicts: 743000 | #Constraints: 65805
1061.15/1064.24 c #Conflicts: 744000 | #Constraints: 66807
1061.15/1064.24 c #Conflicts: 745000 | #Constraints: 67807
1061.15/1064.24 c #Conflicts: 746000 | #Constraints: 68811
1061.15/1064.24 c #Conflicts: 747000 | #Constraints: 69812
1061.15/1064.24 c #Conflicts: 748000 | #Constraints: 70815
1061.15/1064.24 c #Conflicts: 749000 | #Constraints: 71818
1061.15/1064.24 c #Conflicts: 750000 | #Constraints: 72820
1061.15/1064.24 c #Conflicts: 751000 | #Constraints: 73820
1061.15/1064.24 c #Conflicts: 752000 | #Constraints: 74820
1061.15/1064.24 c #Conflicts: 753000 | #Constraints: 75822
1061.15/1064.24 c #Conflicts: 754000 | #Constraints: 76822
1061.15/1064.24 c #Conflicts: 755000 | #Constraints: 77825
1061.15/1064.24 c #Conflicts: 756000 | #Constraints: 78825
1061.15/1064.24 c INPROCESSING
1061.15/1064.24 c GARBAGE COLLECT
1061.15/1064.24 c rational objective 7
1091.06/1094.20 c #Conflicts: 757000 | #Constraints: 62597
1091.06/1094.20 c #Conflicts: 758000 | #Constraints: 63597
1091.06/1094.20 c #Conflicts: 759000 | #Constraints: 64597
1091.06/1094.20 c #Conflicts: 760000 | #Constraints: 65597
1091.06/1094.20 c #Conflicts: 761000 | #Constraints: 66597
1091.06/1094.20 c #Conflicts: 762000 | #Constraints: 67599
1091.06/1094.20 c #Conflicts: 763000 | #Constraints: 68602
1091.06/1094.20 c #Conflicts: 764000 | #Constraints: 69602
1091.06/1094.20 c #Conflicts: 765000 | #Constraints: 70603
1091.06/1094.20 c #Conflicts: 766000 | #Constraints: 71605
1091.06/1094.20 c #Conflicts: 767000 | #Constraints: 72606
1091.06/1094.20 c #Conflicts: 768000 | #Constraints: 73607
1091.06/1094.20 c #Conflicts: 769000 | #Constraints: 74608
1091.06/1094.20 c #Conflicts: 770000 | #Constraints: 75609
1091.06/1094.20 c #Conflicts: 771000 | #Constraints: 76610
1091.06/1094.20 c #Conflicts: 772000 | #Constraints: 77611
1091.06/1094.20 c #Conflicts: 773000 | #Constraints: 78613
1091.06/1094.20 c #Conflicts: 774000 | #Constraints: 79614
1091.06/1094.20 c INPROCESSING
1091.06/1094.20 c GARBAGE COLLECT
1091.06/1094.20 c rational objective 7
1155.27/1158.66 c #Conflicts: 775000 | #Constraints: 63148
1155.27/1158.66 c #Conflicts: 776000 | #Constraints: 64148
1155.27/1158.66 c #Conflicts: 777000 | #Constraints: 65148
1155.27/1158.66 c #Conflicts: 778000 | #Constraints: 66148
1155.27/1158.66 c #Conflicts: 779000 | #Constraints: 67149
1155.27/1158.66 c #Conflicts: 780000 | #Constraints: 68151
1155.27/1158.66 c #Conflicts: 781000 | #Constraints: 69152
1155.27/1158.66 c #Conflicts: 782000 | #Constraints: 70153
1155.27/1158.66 c #Conflicts: 783000 | #Constraints: 71154
1155.27/1158.66 c #Conflicts: 784000 | #Constraints: 72154
1155.27/1158.66 c #Conflicts: 785000 | #Constraints: 73154
1155.27/1158.66 c #Conflicts: 786000 | #Constraints: 74154
1155.27/1158.66 c #Conflicts: 787000 | #Constraints: 75154
1155.27/1158.66 c #Conflicts: 788000 | #Constraints: 76154
1155.27/1158.66 c #Conflicts: 789000 | #Constraints: 77155
1155.27/1158.66 c #Conflicts: 790000 | #Constraints: 78155
1155.27/1158.66 c #Conflicts: 791000 | #Constraints: 79155
1155.27/1158.66 c #Conflicts: 792000 | #Constraints: 80155
1155.27/1158.66 c INPROCESSING
1155.27/1158.66 c GARBAGE COLLECT
1155.27/1158.66 c #Conflicts: 793000 | #Constraints: 63539
1155.27/1158.66 c #Conflicts: 794000 | #Constraints: 64539
1155.27/1158.66 c #Conflicts: 795000 | #Constraints: 65539
1155.27/1158.66 c #Conflicts: 796000 | #Constraints: 66539
1155.27/1158.66 c #Conflicts: 797000 | #Constraints: 67539
1155.27/1158.66 c #Conflicts: 798000 | #Constraints: 68539
1155.27/1158.66 c #Conflicts: 799000 | #Constraints: 69539
1155.27/1158.66 c #Conflicts: 800000 | #Constraints: 70539
1155.27/1158.66 c #Conflicts: 801000 | #Constraints: 71539
1155.27/1158.66 c #Conflicts: 802000 | #Constraints: 72539
1155.27/1158.66 c #Conflicts: 803000 | #Constraints: 73539
1155.27/1158.66 c #Conflicts: 804000 | #Constraints: 74539
1155.27/1158.66 c #Conflicts: 805000 | #Constraints: 75539
1155.27/1158.66 c #Conflicts: 806000 | #Constraints: 76539
1155.27/1158.66 c #Conflicts: 807000 | #Constraints: 77539
1155.27/1158.66 c #Conflicts: 808000 | #Constraints: 78539
1155.27/1158.66 c #Conflicts: 809000 | #Constraints: 79539
1155.27/1158.66 c #Conflicts: 810000 | #Constraints: 80539
1155.27/1158.66 c INPROCESSING
1155.27/1158.66 c GARBAGE COLLECT
1155.27/1158.66 c rational objective 7
1180.21/1183.60 c #Conflicts: 811000 | #Constraints: 63730
1180.21/1183.60 c #Conflicts: 812000 | #Constraints: 64730
1180.21/1183.60 c #Conflicts: 813000 | #Constraints: 65731
1180.21/1183.60 c #Conflicts: 814000 | #Constraints: 66731
1180.21/1183.60 c #Conflicts: 815000 | #Constraints: 67734
1180.21/1183.60 c #Conflicts: 816000 | #Constraints: 68735
1180.21/1183.60 c #Conflicts: 817000 | #Constraints: 69737
1180.21/1183.60 c #Conflicts: 818000 | #Constraints: 70738
1180.21/1183.60 c #Conflicts: 819000 | #Constraints: 71742
1180.21/1183.60 c #Conflicts: 820000 | #Constraints: 72744
1180.21/1183.60 c #Conflicts: 821000 | #Constraints: 73745
1180.21/1183.60 c #Conflicts: 822000 | #Constraints: 74746
1180.21/1183.60 c #Conflicts: 823000 | #Constraints: 75748
1180.21/1183.60 c #Conflicts: 824000 | #Constraints: 76749
1180.21/1183.60 c #Conflicts: 825000 | #Constraints: 77750
1180.21/1183.60 c #Conflicts: 826000 | #Constraints: 78753
1180.21/1183.60 c #Conflicts: 827000 | #Constraints: 79755
1180.21/1183.60 c #Conflicts: 828000 | #Constraints: 80755
1180.21/1183.60 c INPROCESSING
1180.21/1183.60 c GARBAGE COLLECT
1180.21/1183.60 c rational objective 7
1220.19/1223.74 c #Conflicts: 829000 | #Constraints: 63751
1220.19/1223.74 c #Conflicts: 830000 | #Constraints: 64751
1220.19/1223.74 c #Conflicts: 831000 | #Constraints: 65751
1220.19/1223.74 c #Conflicts: 832000 | #Constraints: 66751
1220.19/1223.74 c #Conflicts: 833000 | #Constraints: 67753
1220.19/1223.74 c #Conflicts: 834000 | #Constraints: 68753
1220.19/1223.74 c #Conflicts: 835000 | #Constraints: 69754
1220.19/1223.74 c #Conflicts: 836000 | #Constraints: 70755
1220.19/1223.74 c #Conflicts: 837000 | #Constraints: 71755
1220.19/1223.74 c #Conflicts: 838000 | #Constraints: 72757
1220.19/1223.74 c #Conflicts: 839000 | #Constraints: 73758
1220.19/1223.74 c #Conflicts: 840000 | #Constraints: 74759
1220.19/1223.74 c #Conflicts: 841000 | #Constraints: 75760
1220.19/1223.74 c #Conflicts: 842000 | #Constraints: 76763
1220.19/1223.74 c #Conflicts: 843000 | #Constraints: 77764
1220.19/1223.74 c #Conflicts: 844000 | #Constraints: 78764
1220.19/1223.74 c #Conflicts: 845000 | #Constraints: 79764
1220.19/1223.74 c #Conflicts: 846000 | #Constraints: 80764
1220.19/1223.74 c INPROCESSING
1220.19/1223.74 c GARBAGE COLLECT
1220.19/1223.74 c rational objective 7
1247.01/1250.60 c #Conflicts: 847000 | #Constraints: 63511
1247.01/1250.60 c #Conflicts: 848000 | #Constraints: 64512
1247.01/1250.60 c #Conflicts: 849000 | #Constraints: 65512
1247.01/1250.60 c #Conflicts: 850000 | #Constraints: 66512
1247.01/1250.60 c #Conflicts: 851000 | #Constraints: 67513
1247.01/1250.60 c #Conflicts: 852000 | #Constraints: 68518
1247.01/1250.60 c #Conflicts: 853000 | #Constraints: 69519
1247.01/1250.60 c #Conflicts: 854000 | #Constraints: 70521
1247.01/1250.60 c #Conflicts: 855000 | #Constraints: 71521
1247.01/1250.60 c #Conflicts: 856000 | #Constraints: 72522
1247.01/1250.60 c #Conflicts: 857000 | #Constraints: 73523
1247.01/1250.60 c #Conflicts: 858000 | #Constraints: 74525
1247.01/1250.60 c #Conflicts: 859000 | #Constraints: 75526
1247.01/1250.60 c #Conflicts: 860000 | #Constraints: 76528
1247.01/1250.60 c #Conflicts: 861000 | #Constraints: 77530
1247.01/1250.60 c #Conflicts: 862000 | #Constraints: 78531
1247.01/1250.60 c #Conflicts: 863000 | #Constraints: 79535
1247.01/1250.60 c #Conflicts: 864000 | #Constraints: 80538
1247.01/1250.60 c #Conflicts: 865000 | #Constraints: 81541
1247.01/1250.60 c INPROCESSING
1247.01/1250.60 c GARBAGE COLLECT
1247.01/1250.60 c rational objective 7
1276.83/1280.55 c #Conflicts: 866000 | #Constraints: 64078
1276.83/1280.55 c #Conflicts: 867000 | #Constraints: 65078
1276.83/1280.55 c #Conflicts: 868000 | #Constraints: 66078
1276.83/1280.55 c #Conflicts: 869000 | #Constraints: 67079
1276.83/1280.55 c #Conflicts: 870000 | #Constraints: 68080
1276.83/1280.55 c #Conflicts: 871000 | #Constraints: 69082
1276.83/1280.55 c #Conflicts: 872000 | #Constraints: 70084
1276.83/1280.55 c #Conflicts: 873000 | #Constraints: 71084
1276.83/1280.55 c #Conflicts: 874000 | #Constraints: 72085
1276.83/1280.55 c #Conflicts: 875000 | #Constraints: 73088
1276.83/1280.55 c #Conflicts: 876000 | #Constraints: 74089
1276.83/1280.55 c #Conflicts: 877000 | #Constraints: 75092
1276.83/1280.55 c #Conflicts: 878000 | #Constraints: 76093
1276.83/1280.55 c #Conflicts: 879000 | #Constraints: 77094
1276.83/1280.55 c #Conflicts: 880000 | #Constraints: 78094
1276.83/1280.55 c #Conflicts: 881000 | #Constraints: 79096
1276.83/1280.55 c #Conflicts: 882000 | #Constraints: 80096
1276.83/1280.55 c #Conflicts: 883000 | #Constraints: 81097
1276.83/1280.55 c #Conflicts: 884000 | #Constraints: 82098
1276.83/1280.55 c INPROCESSING
1276.83/1280.55 c GARBAGE COLLECT
1276.83/1280.55 c rational objective 7
1305.65/1309.40 c #Conflicts: 885000 | #Constraints: 64453
1305.65/1309.40 c #Conflicts: 886000 | #Constraints: 65453
1305.65/1309.40 c #Conflicts: 887000 | #Constraints: 66453
1305.65/1309.40 c #Conflicts: 888000 | #Constraints: 67453
1305.65/1309.40 c #Conflicts: 889000 | #Constraints: 68454
1305.65/1309.40 c #Conflicts: 890000 | #Constraints: 69458
1305.65/1309.40 c #Conflicts: 891000 | #Constraints: 70460
1305.65/1309.40 c #Conflicts: 892000 | #Constraints: 71461
1305.65/1309.40 c #Conflicts: 893000 | #Constraints: 72462
1305.65/1309.40 c #Conflicts: 894000 | #Constraints: 73462
1305.65/1309.40 c #Conflicts: 895000 | #Constraints: 74462
1305.65/1309.40 c #Conflicts: 896000 | #Constraints: 75463
1305.65/1309.40 c #Conflicts: 897000 | #Constraints: 76464
1305.65/1309.40 c #Conflicts: 898000 | #Constraints: 77465
1305.65/1309.40 c #Conflicts: 899000 | #Constraints: 78466
1305.65/1309.40 c #Conflicts: 900000 | #Constraints: 79467
1305.65/1309.40 c #Conflicts: 901000 | #Constraints: 80468
1305.65/1309.40 c #Conflicts: 902000 | #Constraints: 81469
1305.65/1309.40 c #Conflicts: 903000 | #Constraints: 82470
1305.65/1309.40 c INPROCESSING
1305.65/1309.40 c GARBAGE COLLECT
1305.65/1309.40 c rational objective 7
1338.97/1342.81 c #Conflicts: 904000 | #Constraints: 64618
1338.97/1342.81 c #Conflicts: 905000 | #Constraints: 65618
1338.97/1342.81 c #Conflicts: 906000 | #Constraints: 66618
1338.97/1342.81 c #Conflicts: 907000 | #Constraints: 67618
1338.97/1342.81 c #Conflicts: 908000 | #Constraints: 68618
1338.97/1342.81 c #Conflicts: 909000 | #Constraints: 69618
1338.97/1342.81 c #Conflicts: 910000 | #Constraints: 70619
1338.97/1342.81 c #Conflicts: 911000 | #Constraints: 71622
1338.97/1342.81 c #Conflicts: 912000 | #Constraints: 72623
1338.97/1342.81 c #Conflicts: 913000 | #Constraints: 73624
1338.97/1342.81 c #Conflicts: 914000 | #Constraints: 74625
1338.97/1342.81 c #Conflicts: 915000 | #Constraints: 75625
1338.97/1342.81 c #Conflicts: 916000 | #Constraints: 76626
1338.97/1342.81 c #Conflicts: 917000 | #Constraints: 77627
1338.97/1342.81 c #Conflicts: 918000 | #Constraints: 78629
1338.97/1342.81 c #Conflicts: 919000 | #Constraints: 79632
1338.97/1342.81 c #Conflicts: 920000 | #Constraints: 80634
1338.97/1342.81 c #Conflicts: 921000 | #Constraints: 81635
1338.97/1342.81 c #Conflicts: 922000 | #Constraints: 82636
1338.97/1342.81 c INPROCESSING
1338.97/1342.81 c GARBAGE COLLECT
1338.97/1342.81 c rational objective 7
1375.18/1379.17 c #Conflicts: 923000 | #Constraints: 64604
1375.18/1379.17 c #Conflicts: 924000 | #Constraints: 65605
1375.18/1379.17 c #Conflicts: 925000 | #Constraints: 66605
1375.18/1379.17 c #Conflicts: 926000 | #Constraints: 67605
1375.18/1379.17 c #Conflicts: 927000 | #Constraints: 68609
1375.18/1379.17 c #Conflicts: 928000 | #Constraints: 69611
1375.18/1379.17 c #Conflicts: 929000 | #Constraints: 70612
1375.18/1379.17 c #Conflicts: 930000 | #Constraints: 71612
1375.18/1379.17 c #Conflicts: 931000 | #Constraints: 72614
1375.18/1379.17 c #Conflicts: 932000 | #Constraints: 73615
1375.18/1379.17 c #Conflicts: 933000 | #Constraints: 74617
1375.18/1379.17 c #Conflicts: 934000 | #Constraints: 75618
1375.18/1379.17 c #Conflicts: 935000 | #Constraints: 76619
1375.18/1379.17 c #Conflicts: 936000 | #Constraints: 77621
1375.18/1379.17 c #Conflicts: 937000 | #Constraints: 78623
1375.18/1379.17 c #Conflicts: 938000 | #Constraints: 79625
1375.18/1379.17 c #Conflicts: 939000 | #Constraints: 80625
1375.18/1379.17 c #Conflicts: 940000 | #Constraints: 81626
1375.18/1379.17 c #Conflicts: 941000 | #Constraints: 82627
1375.18/1379.17 c INPROCESSING
1375.18/1379.17 c GARBAGE COLLECT
1375.18/1379.17 c rational objective 7
1429.33/1433.40 c #Conflicts: 942000 | #Constraints: 64407
1429.33/1433.40 c #Conflicts: 943000 | #Constraints: 65407
1429.33/1433.40 c #Conflicts: 944000 | #Constraints: 66407
1429.33/1433.40 c #Conflicts: 945000 | #Constraints: 67407
1429.33/1433.40 c #Conflicts: 946000 | #Constraints: 68408
1429.33/1433.40 c #Conflicts: 947000 | #Constraints: 69409
1429.33/1433.40 c #Conflicts: 948000 | #Constraints: 70410
1429.33/1433.40 c #Conflicts: 949000 | #Constraints: 71411
1429.33/1433.40 c #Conflicts: 950000 | #Constraints: 72413
1429.33/1433.40 c #Conflicts: 951000 | #Constraints: 73415
1429.33/1433.40 c #Conflicts: 952000 | #Constraints: 74418
1429.33/1433.40 c #Conflicts: 953000 | #Constraints: 75419
1429.33/1433.40 c #Conflicts: 954000 | #Constraints: 76419
1429.33/1433.40 c #Conflicts: 955000 | #Constraints: 77419
1429.33/1433.40 c #Conflicts: 956000 | #Constraints: 78419
1429.33/1433.40 c #Conflicts: 957000 | #Constraints: 79420
1429.33/1433.40 c #Conflicts: 958000 | #Constraints: 80421
1429.33/1433.40 c #Conflicts: 959000 | #Constraints: 81421
1429.33/1433.40 c #Conflicts: 960000 | #Constraints: 82422
1429.33/1433.40 c #Conflicts: 961000 | #Constraints: 83423
1429.33/1433.40 c INPROCESSING
1429.33/1433.40 c GARBAGE COLLECT
1429.33/1433.40 c rational objective 7
1452.77/1456.97 c #Conflicts: 962000 | #Constraints: 64855
1452.77/1456.97 c #Conflicts: 963000 | #Constraints: 65856
1452.77/1456.97 c #Conflicts: 964000 | #Constraints: 66856
1452.77/1456.97 c #Conflicts: 965000 | #Constraints: 67856
1452.77/1456.97 c #Conflicts: 966000 | #Constraints: 68856
1452.77/1456.97 c #Conflicts: 967000 | #Constraints: 69856
1452.77/1456.97 c #Conflicts: 968000 | #Constraints: 70856
1452.77/1456.97 c #Conflicts: 969000 | #Constraints: 71858
1452.77/1456.97 c #Conflicts: 970000 | #Constraints: 72858
1452.77/1456.97 c #Conflicts: 971000 | #Constraints: 73859
1452.77/1456.97 c #Conflicts: 972000 | #Constraints: 74861
1452.77/1456.97 c #Conflicts: 973000 | #Constraints: 75861
1452.77/1456.97 c #Conflicts: 974000 | #Constraints: 76862
1452.77/1456.97 c #Conflicts: 975000 | #Constraints: 77863
1452.77/1456.97 c #Conflicts: 976000 | #Constraints: 78864
1452.77/1456.97 c #Conflicts: 977000 | #Constraints: 79865
1452.77/1456.97 c #Conflicts: 978000 | #Constraints: 80867
1452.77/1456.97 c #Conflicts: 979000 | #Constraints: 81868
1452.77/1456.97 c #Conflicts: 980000 | #Constraints: 82871
1452.77/1456.97 c #Conflicts: 981000 | #Constraints: 83873
1452.77/1456.97 c INPROCESSING
1452.77/1456.97 c GARBAGE COLLECT
1452.77/1456.97 c rational objective 7
1483.10/1487.35 c #Conflicts: 982000 | #Constraints: 65242
1483.10/1487.35 c #Conflicts: 983000 | #Constraints: 66242
1483.10/1487.35 c #Conflicts: 984000 | #Constraints: 67242
1483.10/1487.35 c #Conflicts: 985000 | #Constraints: 68243
1483.10/1487.35 c #Conflicts: 986000 | #Constraints: 69244
1483.10/1487.35 c #Conflicts: 987000 | #Constraints: 70246
1483.10/1487.35 c #Conflicts: 988000 | #Constraints: 71248
1483.10/1487.35 c #Conflicts: 989000 | #Constraints: 72250
1483.10/1487.35 c #Conflicts: 990000 | #Constraints: 73251
1483.10/1487.35 c #Conflicts: 991000 | #Constraints: 74253
1483.10/1487.35 c #Conflicts: 992000 | #Constraints: 75254
1483.10/1487.35 c #Conflicts: 993000 | #Constraints: 76256
1483.10/1487.35 c #Conflicts: 994000 | #Constraints: 77257
1483.10/1487.35 c #Conflicts: 995000 | #Constraints: 78257
1483.10/1487.35 c #Conflicts: 996000 | #Constraints: 79258
1483.10/1487.35 c #Conflicts: 997000 | #Constraints: 80260
1483.10/1487.35 c #Conflicts: 998000 | #Constraints: 81260
1483.10/1487.35 c #Conflicts: 999000 | #Constraints: 82260
1483.10/1487.35 c #Conflicts: 1000000 | #Constraints: 83261
1483.10/1487.35 c #Conflicts: 1001000 | #Constraints: 84262
1483.10/1487.35 c INPROCESSING
1483.10/1487.35 c GARBAGE COLLECT
1483.10/1487.35 c rational objective 7
1521.10/1525.49 c #Conflicts: 1002000 | #Constraints: 65469
1521.10/1525.49 c #Conflicts: 1003000 | #Constraints: 66470
1521.10/1525.49 c #Conflicts: 1004000 | #Constraints: 67470
1521.10/1525.49 c #Conflicts: 1005000 | #Constraints: 68470
1521.10/1525.49 c #Conflicts: 1006000 | #Constraints: 69470
1521.10/1525.49 c #Conflicts: 1007000 | #Constraints: 70470
1521.10/1525.49 c #Conflicts: 1008000 | #Constraints: 71472
1521.10/1525.49 c #Conflicts: 1009000 | #Constraints: 72477
1521.10/1525.49 c #Conflicts: 1010000 | #Constraints: 73480
1521.10/1525.49 c #Conflicts: 1011000 | #Constraints: 74486
1521.10/1525.49 c #Conflicts: 1012000 | #Constraints: 75488
1521.10/1525.49 c #Conflicts: 1013000 | #Constraints: 76492
1521.10/1525.49 c #Conflicts: 1014000 | #Constraints: 77494
1521.10/1525.49 c #Conflicts: 1015000 | #Constraints: 78495
1521.10/1525.49 c #Conflicts: 1016000 | #Constraints: 79496
1521.10/1525.49 c #Conflicts: 1017000 | #Constraints: 80498
1521.10/1525.49 c #Conflicts: 1018000 | #Constraints: 81500
1521.10/1525.49 c #Conflicts: 1019000 | #Constraints: 82501
1521.10/1525.49 c #Conflicts: 1020000 | #Constraints: 83503
1521.10/1525.49 c #Conflicts: 1021000 | #Constraints: 84504
1521.10/1525.49 c INPROCESSING
1521.10/1525.49 c GARBAGE COLLECT
1521.10/1525.49 c rational objective 7
1574.76/1579.23 c #Conflicts: 1022000 | #Constraints: 65463
1574.76/1579.23 c #Conflicts: 1023000 | #Constraints: 66463
1574.76/1579.23 c #Conflicts: 1024000 | #Constraints: 67463
1574.76/1579.23 c #Conflicts: 1025000 | #Constraints: 68463
1574.76/1579.23 c #Conflicts: 1026000 | #Constraints: 69466
1574.76/1579.23 c #Conflicts: 1027000 | #Constraints: 70466
1574.76/1579.23 c #Conflicts: 1028000 | #Constraints: 71467
1574.76/1579.23 c #Conflicts: 1029000 | #Constraints: 72468
1574.76/1579.23 c #Conflicts: 1030000 | #Constraints: 73469
1574.76/1579.23 c #Conflicts: 1031000 | #Constraints: 74470
1574.76/1579.23 c #Conflicts: 1032000 | #Constraints: 75471
1574.76/1579.23 c #Conflicts: 1033000 | #Constraints: 76472
1574.76/1579.23 c #Conflicts: 1034000 | #Constraints: 77472
1574.76/1579.23 c #Conflicts: 1035000 | #Constraints: 78473
1574.76/1579.23 c #Conflicts: 1036000 | #Constraints: 79473
1574.76/1579.23 c #Conflicts: 1037000 | #Constraints: 80474
1574.76/1579.23 c #Conflicts: 1038000 | #Constraints: 81475
1574.76/1579.23 c #Conflicts: 1039000 | #Constraints: 82475
1574.76/1579.23 c #Conflicts: 1040000 | #Constraints: 83476
1574.76/1579.23 c #Conflicts: 1041000 | #Constraints: 84477
1574.76/1579.23 c INPROCESSING
1574.76/1579.23 c GARBAGE COLLECT
1574.76/1579.23 c rational objective 7
1638.70/1643.32 c #Conflicts: 1042000 | #Constraints: 65276
1638.70/1643.32 c #Conflicts: 1043000 | #Constraints: 66277
1638.70/1643.32 c #Conflicts: 1044000 | #Constraints: 67277
1638.70/1643.32 c #Conflicts: 1045000 | #Constraints: 68277
1638.70/1643.32 c #Conflicts: 1046000 | #Constraints: 69277
1638.70/1643.32 c #Conflicts: 1047000 | #Constraints: 70277
1638.70/1643.32 c #Conflicts: 1048000 | #Constraints: 71277
1638.70/1643.32 c #Conflicts: 1049000 | #Constraints: 72277
1638.70/1643.32 c #Conflicts: 1050000 | #Constraints: 73278
1638.70/1643.32 c #Conflicts: 1051000 | #Constraints: 74278
1638.70/1643.32 c #Conflicts: 1052000 | #Constraints: 75279
1638.70/1643.32 c #Conflicts: 1053000 | #Constraints: 76280
1638.70/1643.32 c #Conflicts: 1054000 | #Constraints: 77281
1638.70/1643.32 c #Conflicts: 1055000 | #Constraints: 78281
1638.70/1643.32 c #Conflicts: 1056000 | #Constraints: 79281
1638.70/1643.32 c #Conflicts: 1057000 | #Constraints: 80281
1638.70/1643.32 c #Conflicts: 1058000 | #Constraints: 81281
1638.70/1643.32 c #Conflicts: 1059000 | #Constraints: 82282
1638.70/1643.32 c #Conflicts: 1060000 | #Constraints: 83282
1638.70/1643.32 c #Conflicts: 1061000 | #Constraints: 84282
1638.70/1643.32 c #Conflicts: 1062000 | #Constraints: 85282
1638.70/1643.32 c INPROCESSING
1638.70/1643.32 c GARBAGE COLLECT
1638.70/1643.32 c rational objective 7
1680.30/1685.02 c #Conflicts: 1063000 | #Constraints: 65880
1680.30/1685.02 c #Conflicts: 1064000 | #Constraints: 66880
1680.30/1685.02 c #Conflicts: 1065000 | #Constraints: 67881
1680.30/1685.02 c #Conflicts: 1066000 | #Constraints: 68881
1680.30/1685.02 c #Conflicts: 1067000 | #Constraints: 69881
1680.30/1685.02 c #Conflicts: 1068000 | #Constraints: 70881
1680.30/1685.02 c #Conflicts: 1069000 | #Constraints: 71881
1680.30/1685.02 c #Conflicts: 1070000 | #Constraints: 72881
1680.30/1685.02 c #Conflicts: 1071000 | #Constraints: 73882
1680.30/1685.02 c #Conflicts: 1072000 | #Constraints: 74883
1680.30/1685.02 c #Conflicts: 1073000 | #Constraints: 75884
1680.30/1685.02 c #Conflicts: 1074000 | #Constraints: 76884
1680.30/1685.02 c #Conflicts: 1075000 | #Constraints: 77885
1680.30/1685.02 c #Conflicts: 1076000 | #Constraints: 78885
1680.30/1685.02 c #Conflicts: 1077000 | #Constraints: 79885
1680.30/1685.02 c #Conflicts: 1078000 | #Constraints: 80886
1680.30/1685.02 c #Conflicts: 1079000 | #Constraints: 81887
1680.30/1685.02 c #Conflicts: 1080000 | #Constraints: 82887
1680.30/1685.02 c #Conflicts: 1081000 | #Constraints: 83887
1680.30/1685.02 c #Conflicts: 1082000 | #Constraints: 84888
1680.30/1685.02 c #Conflicts: 1083000 | #Constraints: 85888
1680.30/1685.02 c INPROCESSING
1680.30/1685.02 c GARBAGE COLLECT
1680.30/1685.02 c rational objective 7
1745.32/1750.28 c #Conflicts: 1084000 | #Constraints: 66270
1745.32/1750.28 c #Conflicts: 1085000 | #Constraints: 67270
1745.32/1750.28 c #Conflicts: 1086000 | #Constraints: 68270
1745.32/1750.28 c #Conflicts: 1087000 | #Constraints: 69270
1745.32/1750.28 c #Conflicts: 1088000 | #Constraints: 70271
1745.32/1750.28 c #Conflicts: 1089000 | #Constraints: 71272
1745.32/1750.28 c #Conflicts: 1090000 | #Constraints: 72272
1745.32/1750.28 c #Conflicts: 1091000 | #Constraints: 73273
1745.32/1750.28 c #Conflicts: 1092000 | #Constraints: 74273
1745.32/1750.28 c #Conflicts: 1093000 | #Constraints: 75275
1745.32/1750.28 c #Conflicts: 1094000 | #Constraints: 76275
1745.32/1750.28 c #Conflicts: 1095000 | #Constraints: 77276
1745.32/1750.28 c #Conflicts: 1096000 | #Constraints: 78277
1745.32/1750.28 c #Conflicts: 1097000 | #Constraints: 79278
1745.32/1750.28 c #Conflicts: 1098000 | #Constraints: 80278
1745.32/1750.28 c #Conflicts: 1099000 | #Constraints: 81280
1745.32/1750.28 c #Conflicts: 1100000 | #Constraints: 82281
1745.32/1750.28 c #Conflicts: 1101000 | #Constraints: 83282
1745.32/1750.28 c #Conflicts: 1102000 | #Constraints: 84282
1745.32/1750.28 c #Conflicts: 1103000 | #Constraints: 85282
1745.32/1750.28 c #Conflicts: 1104000 | #Constraints: 86282
1745.32/1750.28 c INPROCESSING
1745.32/1750.28 c GARBAGE COLLECT
1745.32/1750.28 c rational objective 7
1786.32/1791.38 c #Conflicts: 1105000 | #Constraints: 66456
1786.32/1791.38 c #Conflicts: 1106000 | #Constraints: 67456
1786.32/1791.38 c #Conflicts: 1107000 | #Constraints: 68456
1786.32/1791.38 c #Conflicts: 1108000 | #Constraints: 69456
1786.32/1791.38 c #Conflicts: 1109000 | #Constraints: 70458
1786.32/1791.38 c #Conflicts: 1110000 | #Constraints: 71458
1786.32/1791.38 c #Conflicts: 1111000 | #Constraints: 72460
1786.32/1791.38 c #Conflicts: 1112000 | #Constraints: 73460
1786.32/1791.38 c #Conflicts: 1113000 | #Constraints: 74461
1786.32/1791.38 c #Conflicts: 1114000 | #Constraints: 75461
1786.32/1791.38 c #Conflicts: 1115000 | #Constraints: 76462
1786.32/1791.38 c #Conflicts: 1116000 | #Constraints: 77463
1786.32/1791.38 c #Conflicts: 1117000 | #Constraints: 78464
1786.32/1791.38 c #Conflicts: 1118000 | #Constraints: 79465
1786.32/1791.38 c #Conflicts: 1119000 | #Constraints: 80468
1786.32/1791.38 c #Conflicts: 1120000 | #Constraints: 81469
1786.32/1791.38 c #Conflicts: 1121000 | #Constraints: 82469
1786.32/1791.38 c #Conflicts: 1122000 | #Constraints: 83470
1786.32/1791.38 c #Conflicts: 1123000 | #Constraints: 84472
1786.32/1791.38 c #Conflicts: 1124000 | #Constraints: 85473
1786.32/1791.38 c #Conflicts: 1125000 | #Constraints: 86473
1786.32/1791.38 c INPROCESSING
1786.32/1791.38 c GARBAGE COLLECT
1786.32/1791.38 c rational objective 7
1856.54/1861.76 c #Conflicts: 1126000 | #Constraints: 66424
1856.54/1861.76 c #Conflicts: 1127000 | #Constraints: 67425
1856.54/1861.76 c #Conflicts: 1128000 | #Constraints: 68425
1856.54/1861.76 c #Conflicts: 1129000 | #Constraints: 69425
1856.54/1861.76 c #Conflicts: 1130000 | #Constraints: 70426
1856.54/1861.76 c #Conflicts: 1131000 | #Constraints: 71426
1856.54/1861.76 c #Conflicts: 1132000 | #Constraints: 72428
1856.54/1861.76 c #Conflicts: 1133000 | #Constraints: 73428
1856.54/1861.76 c #Conflicts: 1134000 | #Constraints: 74429
1856.54/1861.76 c #Conflicts: 1135000 | #Constraints: 75430
1856.54/1861.76 c #Conflicts: 1136000 | #Constraints: 76431
1856.54/1861.76 c #Conflicts: 1137000 | #Constraints: 77432
1856.54/1861.76 c #Conflicts: 1138000 | #Constraints: 78432
1856.54/1861.76 c #Conflicts: 1139000 | #Constraints: 79433
1856.54/1861.76 c #Conflicts: 1140000 | #Constraints: 80433
1856.54/1861.76 c #Conflicts: 1141000 | #Constraints: 81434
1856.54/1861.76 c #Conflicts: 1142000 | #Constraints: 82434
1856.54/1861.76 c #Conflicts: 1143000 | #Constraints: 83434
1856.54/1861.76 c #Conflicts: 1144000 | #Constraints: 84435
1856.54/1861.76 c #Conflicts: 1145000 | #Constraints: 85435
1856.54/1861.76 c #Conflicts: 1146000 | #Constraints: 86435
1856.54/1861.76 c INPROCESSING
1856.54/1861.76 c GARBAGE COLLECT
1856.54/1861.76 c rational objective 7
1892.55/1897.89 c #Conflicts: 1147000 | #Constraints: 66217
1892.55/1897.89 c #Conflicts: 1148000 | #Constraints: 67217
1892.55/1897.89 c #Conflicts: 1149000 | #Constraints: 68218
1892.55/1897.89 c #Conflicts: 1150000 | #Constraints: 69218
1892.55/1897.89 c #Conflicts: 1151000 | #Constraints: 70218
1892.55/1897.89 c #Conflicts: 1152000 | #Constraints: 71218
1892.55/1897.89 c #Conflicts: 1153000 | #Constraints: 72220
1892.55/1897.89 c #Conflicts: 1154000 | #Constraints: 73221
1892.55/1897.89 c #Conflicts: 1155000 | #Constraints: 74223
1892.55/1897.89 c #Conflicts: 1156000 | #Constraints: 75224
1892.55/1897.89 c #Conflicts: 1157000 | #Constraints: 76226
1892.55/1897.89 c #Conflicts: 1158000 | #Constraints: 77228
1892.55/1897.89 c #Conflicts: 1159000 | #Constraints: 78228
1892.55/1897.89 c #Conflicts: 1160000 | #Constraints: 79229
1892.55/1897.89 c #Conflicts: 1161000 | #Constraints: 80232
1892.55/1897.89 c #Conflicts: 1162000 | #Constraints: 81233
1892.55/1897.89 c #Conflicts: 1163000 | #Constraints: 82233
1892.55/1897.89 c #Conflicts: 1164000 | #Constraints: 83233
1892.55/1897.89 c #Conflicts: 1165000 | #Constraints: 84235
1892.55/1897.89 c #Conflicts: 1166000 | #Constraints: 85238
1892.55/1897.89 c #Conflicts: 1167000 | #Constraints: 86239
1892.55/1897.89 c #Conflicts: 1168000 | #Constraints: 87239
1892.55/1897.89 c INPROCESSING
1892.55/1897.89 c GARBAGE COLLECT
1892.55/1897.89 c rational objective 7
1962.37/1967.81 c #Conflicts: 1169000 | #Constraints: 66830
1962.37/1967.81 c #Conflicts: 1170000 | #Constraints: 67830
1962.37/1967.81 c #Conflicts: 1171000 | #Constraints: 68830
1962.37/1967.81 c #Conflicts: 1172000 | #Constraints: 69830
1962.37/1967.81 c #Conflicts: 1173000 | #Constraints: 70830
1962.37/1967.81 c #Conflicts: 1174000 | #Constraints: 71832
1962.37/1967.81 c #Conflicts: 1175000 | #Constraints: 72833
1962.37/1967.81 c #Conflicts: 1176000 | #Constraints: 73834
1962.37/1967.81 c #Conflicts: 1177000 | #Constraints: 74836
1962.37/1967.81 c #Conflicts: 1178000 | #Constraints: 75838
1962.37/1967.81 c #Conflicts: 1179000 | #Constraints: 76840
1962.37/1967.81 c #Conflicts: 1180000 | #Constraints: 77840
1962.37/1967.81 c #Conflicts: 1181000 | #Constraints: 78840
1962.37/1967.81 c #Conflicts: 1182000 | #Constraints: 79841
1962.37/1967.81 c #Conflicts: 1183000 | #Constraints: 80842
1962.37/1967.81 c #Conflicts: 1184000 | #Constraints: 81842
1962.37/1967.81 c #Conflicts: 1185000 | #Constraints: 82843
1962.37/1967.81 c #Conflicts: 1186000 | #Constraints: 83844
1962.37/1967.81 c #Conflicts: 1187000 | #Constraints: 84845
1962.37/1967.81 c #Conflicts: 1188000 | #Constraints: 85845
1962.37/1967.81 c #Conflicts: 1189000 | #Constraints: 86846
1962.37/1967.81 c #Conflicts: 1190000 | #Constraints: 87848
1962.37/1967.81 c INPROCESSING
1962.37/1967.81 c GARBAGE COLLECT
1962.37/1967.81 c rational objective 7
2010.45/2016.07 c #Conflicts: 1191000 | #Constraints: 67204
2010.45/2016.07 c #Conflicts: 1192000 | #Constraints: 68204
2010.45/2016.07 c #Conflicts: 1193000 | #Constraints: 69205
2010.45/2016.07 c #Conflicts: 1194000 | #Constraints: 70206
2010.45/2016.07 c #Conflicts: 1195000 | #Constraints: 71206
2010.45/2016.07 c #Conflicts: 1196000 | #Constraints: 72207
2010.45/2016.07 c #Conflicts: 1197000 | #Constraints: 73209
2010.45/2016.07 c #Conflicts: 1198000 | #Constraints: 74211
2010.45/2016.07 c #Conflicts: 1199000 | #Constraints: 75212
2010.45/2016.07 c #Conflicts: 1200000 | #Constraints: 76212
2010.45/2016.07 c #Conflicts: 1201000 | #Constraints: 77212
2010.45/2016.07 c #Conflicts: 1202000 | #Constraints: 78213
2010.45/2016.07 c #Conflicts: 1203000 | #Constraints: 79213
2010.45/2016.07 c #Conflicts: 1204000 | #Constraints: 80214
2010.45/2016.07 c #Conflicts: 1205000 | #Constraints: 81214
2010.45/2016.07 c #Conflicts: 1206000 | #Constraints: 82215
2010.45/2016.07 c #Conflicts: 1207000 | #Constraints: 83215
2010.45/2016.07 c #Conflicts: 1208000 | #Constraints: 84215
2010.45/2016.07 c #Conflicts: 1209000 | #Constraints: 85215
2010.45/2016.07 c #Conflicts: 1210000 | #Constraints: 86216
2010.45/2016.07 c #Conflicts: 1211000 | #Constraints: 87217
2010.45/2016.07 c #Conflicts: 1212000 | #Constraints: 88218
2010.45/2016.07 c INPROCESSING
2010.45/2016.07 c GARBAGE COLLECT
2010.45/2016.07 c rational objective 7
2080.96/2086.75 c #Conflicts: 1213000 | #Constraints: 67427
2080.96/2086.75 c #Conflicts: 1214000 | #Constraints: 68427
2080.96/2086.75 c #Conflicts: 1215000 | #Constraints: 69427
2080.96/2086.75 c #Conflicts: 1216000 | #Constraints: 70427
2080.96/2086.75 c #Conflicts: 1217000 | #Constraints: 71429
2080.96/2086.75 c #Conflicts: 1218000 | #Constraints: 72432
2080.96/2086.75 c #Conflicts: 1219000 | #Constraints: 73432
2080.96/2086.75 c #Conflicts: 1220000 | #Constraints: 74434
2080.96/2086.75 c #Conflicts: 1221000 | #Constraints: 75436
2080.96/2086.75 c #Conflicts: 1222000 | #Constraints: 76440
2080.96/2086.75 c #Conflicts: 1223000 | #Constraints: 77442
2080.96/2086.75 c #Conflicts: 1224000 | #Constraints: 78442
2080.96/2086.75 c #Conflicts: 1225000 | #Constraints: 79442
2080.96/2086.75 c #Conflicts: 1226000 | #Constraints: 80442
2080.96/2086.75 c #Conflicts: 1227000 | #Constraints: 81443
2080.96/2086.75 c #Conflicts: 1228000 | #Constraints: 82444
2080.96/2086.75 c #Conflicts: 1229000 | #Constraints: 83445
2080.96/2086.75 c #Conflicts: 1230000 | #Constraints: 84446
2080.96/2086.75 c #Conflicts: 1231000 | #Constraints: 85448
2080.96/2086.75 c #Conflicts: 1232000 | #Constraints: 86449
2080.96/2086.75 c #Conflicts: 1233000 | #Constraints: 87449
2080.96/2086.75 c #Conflicts: 1234000 | #Constraints: 88450
2080.96/2086.75 c INPROCESSING
2080.96/2086.75 c GARBAGE COLLECT
2080.96/2086.75 c rational objective 7
2129.44/2135.30 c #Conflicts: 1235000 | #Constraints: 67405
2129.44/2135.30 c #Conflicts: 1236000 | #Constraints: 68405
2129.44/2135.30 c #Conflicts: 1237000 | #Constraints: 69406
2129.44/2135.30 c #Conflicts: 1238000 | #Constraints: 70406
2129.44/2135.30 c #Conflicts: 1239000 | #Constraints: 71409
2129.44/2135.30 c #Conflicts: 1240000 | #Constraints: 72411
2129.44/2135.30 c #Conflicts: 1241000 | #Constraints: 73413
2129.44/2135.30 c #Conflicts: 1242000 | #Constraints: 74417
2129.44/2135.30 c #Conflicts: 1243000 | #Constraints: 75419
2129.44/2135.30 c #Conflicts: 1244000 | #Constraints: 76420
2129.44/2135.30 c #Conflicts: 1245000 | #Constraints: 77422
2129.44/2135.30 c #Conflicts: 1246000 | #Constraints: 78424
2129.44/2135.30 c #Conflicts: 1247000 | #Constraints: 79425
2129.44/2135.30 c #Conflicts: 1248000 | #Constraints: 80427
2129.44/2135.30 c #Conflicts: 1249000 | #Constraints: 81430
2129.44/2135.30 c #Conflicts: 1250000 | #Constraints: 82432
2129.44/2135.30 c #Conflicts: 1251000 | #Constraints: 83433
2129.44/2135.30 c #Conflicts: 1252000 | #Constraints: 84435
2129.44/2135.30 c #Conflicts: 1253000 | #Constraints: 85436
2129.44/2135.30 c #Conflicts: 1254000 | #Constraints: 86437
2129.44/2135.30 c #Conflicts: 1255000 | #Constraints: 87437
2129.44/2135.30 c #Conflicts: 1256000 | #Constraints: 88439
2129.44/2135.30 c INPROCESSING
2129.44/2135.30 c GARBAGE COLLECT
2129.44/2135.30 c rational objective 7
2178.73/2184.78 c #Conflicts: 1257000 | #Constraints: 67217
2178.73/2184.78 c #Conflicts: 1258000 | #Constraints: 68217
2178.73/2184.78 c #Conflicts: 1259000 | #Constraints: 69217
2178.73/2184.78 c #Conflicts: 1260000 | #Constraints: 70217
2178.73/2184.78 c #Conflicts: 1261000 | #Constraints: 71217
2178.73/2184.78 c #Conflicts: 1262000 | #Constraints: 72217
2178.73/2184.78 c #Conflicts: 1263000 | #Constraints: 73217
2178.73/2184.78 c #Conflicts: 1264000 | #Constraints: 74219
2178.73/2184.78 c #Conflicts: 1265000 | #Constraints: 75221
2178.73/2184.78 c #Conflicts: 1266000 | #Constraints: 76224
2178.73/2184.78 c #Conflicts: 1267000 | #Constraints: 77226
2178.73/2184.78 c #Conflicts: 1268000 | #Constraints: 78229
2178.73/2184.78 c #Conflicts: 1269000 | #Constraints: 79231
2178.73/2184.78 c #Conflicts: 1270000 | #Constraints: 80232
2178.73/2184.78 c #Conflicts: 1271000 | #Constraints: 81235
2178.73/2184.78 c #Conflicts: 1272000 | #Constraints: 82236
2178.73/2184.78 c #Conflicts: 1273000 | #Constraints: 83238
2178.73/2184.78 c #Conflicts: 1274000 | #Constraints: 84239
2178.73/2184.78 c #Conflicts: 1275000 | #Constraints: 85240
2178.73/2184.78 c #Conflicts: 1276000 | #Constraints: 86240
2178.73/2184.78 c #Conflicts: 1277000 | #Constraints: 87241
2178.73/2184.78 c #Conflicts: 1278000 | #Constraints: 88243
2178.73/2184.78 c #Conflicts: 1279000 | #Constraints: 89246
2178.73/2184.78 c INPROCESSING
2178.73/2184.78 c GARBAGE COLLECT
2178.73/2184.78 c rational objective 7
2222.72/2228.85 c #Conflicts: 1280000 | #Constraints: 67798
2222.72/2228.85 c #Conflicts: 1281000 | #Constraints: 68798
2222.72/2228.85 c #Conflicts: 1282000 | #Constraints: 69798
2222.72/2228.85 c #Conflicts: 1283000 | #Constraints: 70798
2222.72/2228.85 c #Conflicts: 1284000 | #Constraints: 71798
2222.72/2228.85 c #Conflicts: 1285000 | #Constraints: 72800
2222.72/2228.85 c #Conflicts: 1286000 | #Constraints: 73802
2222.72/2228.85 c #Conflicts: 1287000 | #Constraints: 74804
2222.72/2228.85 c #Conflicts: 1288000 | #Constraints: 75808
2222.72/2228.85 c #Conflicts: 1289000 | #Constraints: 76809
2222.72/2228.85 c #Conflicts: 1290000 | #Constraints: 77810
2222.72/2228.85 c #Conflicts: 1291000 | #Constraints: 78811
2222.72/2228.85 c #Conflicts: 1292000 | #Constraints: 79814
2222.72/2228.85 c #Conflicts: 1293000 | #Constraints: 80817
2222.72/2228.85 c #Conflicts: 1294000 | #Constraints: 81819
2222.72/2228.85 c #Conflicts: 1295000 | #Constraints: 82825
2222.72/2228.85 c #Conflicts: 1296000 | #Constraints: 83826
2222.72/2228.85 c #Conflicts: 1297000 | #Constraints: 84827
2222.72/2228.85 c #Conflicts: 1298000 | #Constraints: 85828
2222.72/2228.85 c #Conflicts: 1299000 | #Constraints: 86828
2222.72/2228.85 c #Conflicts: 1300000 | #Constraints: 87829
2222.72/2228.85 c #Conflicts: 1301000 | #Constraints: 88831
2222.72/2228.85 c #Conflicts: 1302000 | #Constraints: 89832
2222.72/2228.85 c INPROCESSING
2222.72/2228.85 c GARBAGE COLLECT
2222.72/2228.85 c rational objective 7
2277.88/2284.18 c #Conflicts: 1303000 | #Constraints: 68222
2277.88/2284.18 c #Conflicts: 1304000 | #Constraints: 69222
2277.88/2284.18 c #Conflicts: 1305000 | #Constraints: 70222
2277.88/2284.18 c #Conflicts: 1306000 | #Constraints: 71223
2277.88/2284.18 c #Conflicts: 1307000 | #Constraints: 72225
2277.88/2284.18 c #Conflicts: 1308000 | #Constraints: 73226
2277.88/2284.18 c #Conflicts: 1309000 | #Constraints: 74229
2277.88/2284.18 c #Conflicts: 1310000 | #Constraints: 75232
2277.88/2284.18 c #Conflicts: 1311000 | #Constraints: 76235
2277.88/2284.18 c #Conflicts: 1312000 | #Constraints: 77236
2277.88/2284.18 c #Conflicts: 1313000 | #Constraints: 78238
2277.88/2284.18 c #Conflicts: 1314000 | #Constraints: 79238
2277.88/2284.18 c #Conflicts: 1315000 | #Constraints: 80240
2277.88/2284.18 c #Conflicts: 1316000 | #Constraints: 81241
2277.88/2284.18 c #Conflicts: 1317000 | #Constraints: 82243
2277.88/2284.18 c #Conflicts: 1318000 | #Constraints: 83244
2277.88/2284.18 c #Conflicts: 1319000 | #Constraints: 84245
2277.88/2284.18 c #Conflicts: 1320000 | #Constraints: 85246
2277.88/2284.18 c #Conflicts: 1321000 | #Constraints: 86247
2277.88/2284.18 c #Conflicts: 1322000 | #Constraints: 87248
2277.88/2284.18 c #Conflicts: 1323000 | #Constraints: 88250
2277.88/2284.18 c #Conflicts: 1324000 | #Constraints: 89251
2277.88/2284.18 c #Conflicts: 1325000 | #Constraints: 90251
2277.88/2284.18 c INPROCESSING
2277.88/2284.18 c GARBAGE COLLECT
2277.88/2284.18 c rational objective 7
2367.26/2373.71 c #Conflicts: 1326000 | #Constraints: 68394
2367.26/2373.71 c #Conflicts: 1327000 | #Constraints: 69394
2367.26/2373.71 c #Conflicts: 1328000 | #Constraints: 70394
2367.26/2373.71 c #Conflicts: 1329000 | #Constraints: 71394
2367.26/2373.71 c #Conflicts: 1330000 | #Constraints: 72394
2367.26/2373.71 c #Conflicts: 1331000 | #Constraints: 73395
2367.26/2373.71 c #Conflicts: 1332000 | #Constraints: 74396
2367.26/2373.71 c #Conflicts: 1333000 | #Constraints: 75398
2367.26/2373.71 c #Conflicts: 1334000 | #Constraints: 76401
2367.26/2373.71 c #Conflicts: 1335000 | #Constraints: 77402
2367.26/2373.71 c #Conflicts: 1336000 | #Constraints: 78402
2367.26/2373.71 c #Conflicts: 1337000 | #Constraints: 79402
2367.26/2373.71 c #Conflicts: 1338000 | #Constraints: 80402
2367.26/2373.71 c #Conflicts: 1339000 | #Constraints: 81403
2367.26/2373.71 c #Conflicts: 1340000 | #Constraints: 82403
2367.26/2373.71 c #Conflicts: 1341000 | #Constraints: 83403
2367.26/2373.71 c #Conflicts: 1342000 | #Constraints: 84404
2367.26/2373.71 c #Conflicts: 1343000 | #Constraints: 85404
2367.26/2373.71 c #Conflicts: 1344000 | #Constraints: 86404
2367.26/2373.71 c #Conflicts: 1345000 | #Constraints: 87404
2367.26/2373.71 c #Conflicts: 1346000 | #Constraints: 88404
2367.26/2373.71 c #Conflicts: 1347000 | #Constraints: 89405
2367.26/2373.71 c #Conflicts: 1348000 | #Constraints: 90405
2367.26/2373.71 c INPROCESSING
2367.26/2373.71 c GARBAGE COLLECT
2367.26/2373.71 c rational objective 7
2431.09/2437.74 c #Conflicts: 1349000 | #Constraints: 68401
2431.09/2437.74 c #Conflicts: 1350000 | #Constraints: 69402
2431.09/2437.74 c #Conflicts: 1351000 | #Constraints: 70402
2431.09/2437.74 c #Conflicts: 1352000 | #Constraints: 71402
2431.09/2437.74 c #Conflicts: 1353000 | #Constraints: 72403
2431.09/2437.74 c #Conflicts: 1354000 | #Constraints: 73406
2431.09/2437.74 c #Conflicts: 1355000 | #Constraints: 74407
2431.09/2437.74 c #Conflicts: 1356000 | #Constraints: 75408
2431.09/2437.74 c #Conflicts: 1357000 | #Constraints: 76410
2431.09/2437.74 c #Conflicts: 1358000 | #Constraints: 77412
2431.09/2437.74 c #Conflicts: 1359000 | #Constraints: 78415
2431.09/2437.74 c #Conflicts: 1360000 | #Constraints: 79416
2431.09/2437.74 c #Conflicts: 1361000 | #Constraints: 80416
2431.09/2437.74 c #Conflicts: 1362000 | #Constraints: 81418
2431.09/2437.74 c #Conflicts: 1363000 | #Constraints: 82420
2431.09/2437.74 c #Conflicts: 1364000 | #Constraints: 83422
2431.09/2437.74 c #Conflicts: 1365000 | #Constraints: 84423
2431.09/2437.74 c #Conflicts: 1366000 | #Constraints: 85426
2431.09/2437.74 c #Conflicts: 1367000 | #Constraints: 86428
2431.09/2437.74 c #Conflicts: 1368000 | #Constraints: 87431
2431.09/2437.74 c #Conflicts: 1369000 | #Constraints: 88435
2431.09/2437.74 c #Conflicts: 1370000 | #Constraints: 89436
2431.09/2437.74 c #Conflicts: 1371000 | #Constraints: 90437
2431.09/2437.74 c INPROCESSING
2431.09/2437.74 c GARBAGE COLLECT
2431.09/2437.74 c rational objective 7
2469.99/2476.77 c #Conflicts: 1372000 | #Constraints: 68177
2469.99/2476.77 c #Conflicts: 1373000 | #Constraints: 69178
2469.99/2476.77 c #Conflicts: 1374000 | #Constraints: 70178
2469.99/2476.77 c #Conflicts: 1375000 | #Constraints: 71178
2469.99/2476.77 c #Conflicts: 1376000 | #Constraints: 72179
2469.99/2476.77 c #Conflicts: 1377000 | #Constraints: 73187
2469.99/2476.77 c #Conflicts: 1378000 | #Constraints: 74191
2469.99/2476.77 c #Conflicts: 1379000 | #Constraints: 75193
2469.99/2476.77 c #Conflicts: 1380000 | #Constraints: 76193
2469.99/2476.77 c #Conflicts: 1381000 | #Constraints: 77194
2469.99/2476.77 c #Conflicts: 1382000 | #Constraints: 78196
2469.99/2476.77 c #Conflicts: 1383000 | #Constraints: 79197
2469.99/2476.77 c #Conflicts: 1384000 | #Constraints: 80197
2469.99/2476.77 c #Conflicts: 1385000 | #Constraints: 81199
2469.99/2476.77 c #Conflicts: 1386000 | #Constraints: 82200
2469.99/2476.77 c #Conflicts: 1387000 | #Constraints: 83201
2469.99/2476.77 c #Conflicts: 1388000 | #Constraints: 84202
2469.99/2476.77 c #Conflicts: 1389000 | #Constraints: 85202
2469.99/2476.77 c #Conflicts: 1390000 | #Constraints: 86204
2469.99/2476.77 c #Conflicts: 1391000 | #Constraints: 87206
2469.99/2476.77 c #Conflicts: 1392000 | #Constraints: 88208
2469.99/2476.77 c #Conflicts: 1393000 | #Constraints: 89211
2469.99/2476.77 c #Conflicts: 1394000 | #Constraints: 90214
2469.99/2476.77 c #Conflicts: 1395000 | #Constraints: 91217
2469.99/2476.77 c INPROCESSING
2469.99/2476.77 c GARBAGE COLLECT
2469.99/2476.77 c rational objective 7
2534.43/2541.30 c #Conflicts: 1396000 | #Constraints: 68771
2534.43/2541.30 c #Conflicts: 1397000 | #Constraints: 69771
2534.43/2541.30 c #Conflicts: 1398000 | #Constraints: 70771
2534.43/2541.30 c #Conflicts: 1399000 | #Constraints: 71772
2534.43/2541.30 c #Conflicts: 1400000 | #Constraints: 72773
2534.43/2541.30 c #Conflicts: 1401000 | #Constraints: 73774
2534.43/2541.30 c #Conflicts: 1402000 | #Constraints: 74774
2534.43/2541.30 c #Conflicts: 1403000 | #Constraints: 75775
2534.43/2541.30 c #Conflicts: 1404000 | #Constraints: 76776
2534.43/2541.30 c #Conflicts: 1405000 | #Constraints: 77778
2534.43/2541.30 c #Conflicts: 1406000 | #Constraints: 78781
2534.43/2541.30 c #Conflicts: 1407000 | #Constraints: 79782
2534.43/2541.30 c #Conflicts: 1408000 | #Constraints: 80784
2534.43/2541.30 c #Conflicts: 1409000 | #Constraints: 81785
2534.43/2541.30 c #Conflicts: 1410000 | #Constraints: 82787
2534.43/2541.30 c #Conflicts: 1411000 | #Constraints: 83789
2534.43/2541.30 c #Conflicts: 1412000 | #Constraints: 84791
2534.43/2541.30 c #Conflicts: 1413000 | #Constraints: 85791
2534.43/2541.30 c #Conflicts: 1414000 | #Constraints: 86792
2534.43/2541.30 c #Conflicts: 1415000 | #Constraints: 87794
2534.43/2541.30 c #Conflicts: 1416000 | #Constraints: 88795
2534.43/2541.30 c #Conflicts: 1417000 | #Constraints: 89796
2534.43/2541.30 c #Conflicts: 1418000 | #Constraints: 90797
2534.43/2541.30 c #Conflicts: 1419000 | #Constraints: 91797
2534.43/2541.30 c INPROCESSING
2534.43/2541.30 c GARBAGE COLLECT
2534.43/2541.30 c rational objective 7
2583.92/2590.92 c #Conflicts: 1420000 | #Constraints: 69134
2583.92/2590.92 c #Conflicts: 1421000 | #Constraints: 70134
2583.92/2590.92 c #Conflicts: 1422000 | #Constraints: 71134
2583.92/2590.92 c #Conflicts: 1423000 | #Constraints: 72134
2583.92/2590.92 c #Conflicts: 1424000 | #Constraints: 73134
2583.92/2590.92 c #Conflicts: 1425000 | #Constraints: 74134
2583.92/2590.92 c #Conflicts: 1426000 | #Constraints: 75135
2583.92/2590.92 c #Conflicts: 1427000 | #Constraints: 76136
2583.92/2590.92 c #Conflicts: 1428000 | #Constraints: 77138
2583.92/2590.92 c #Conflicts: 1429000 | #Constraints: 78141
2583.92/2590.92 c #Conflicts: 1430000 | #Constraints: 79141
2583.92/2590.92 c #Conflicts: 1431000 | #Constraints: 80142
2583.92/2590.92 c #Conflicts: 1432000 | #Constraints: 81144
2583.92/2590.92 c #Conflicts: 1433000 | #Constraints: 82145
2583.92/2590.92 c #Conflicts: 1434000 | #Constraints: 83146
2583.92/2590.92 c #Conflicts: 1435000 | #Constraints: 84147
2583.92/2590.92 c #Conflicts: 1436000 | #Constraints: 85150
2583.92/2590.92 c #Conflicts: 1437000 | #Constraints: 86150
2583.92/2590.92 c #Conflicts: 1438000 | #Constraints: 87150
2583.92/2590.92 c #Conflicts: 1439000 | #Constraints: 88151
2583.92/2590.92 c #Conflicts: 1440000 | #Constraints: 89151
2583.92/2590.92 c #Conflicts: 1441000 | #Constraints: 90151
2583.92/2590.92 c #Conflicts: 1442000 | #Constraints: 91152
2583.92/2590.92 c #Conflicts: 1443000 | #Constraints: 92152
2583.92/2590.92 c INPROCESSING
2583.92/2590.92 c GARBAGE COLLECT
2583.92/2590.92 c rational objective 7
2650.86/2658.02 c #Conflicts: 1444000 | #Constraints: 69317
2650.86/2658.02 c #Conflicts: 1445000 | #Constraints: 70317
2650.86/2658.02 c #Conflicts: 1446000 | #Constraints: 71320
2650.86/2658.02 c #Conflicts: 1447000 | #Constraints: 72324
2650.86/2658.02 c #Conflicts: 1448000 | #Constraints: 73327
2650.86/2658.02 c #Conflicts: 1449000 | #Constraints: 74327
2650.86/2658.02 c #Conflicts: 1450000 | #Constraints: 75327
2650.86/2658.02 c #Conflicts: 1451000 | #Constraints: 76328
2650.86/2658.02 c #Conflicts: 1452000 | #Constraints: 77329
2650.86/2658.02 c #Conflicts: 1453000 | #Constraints: 78330
2650.86/2658.02 c #Conflicts: 1454000 | #Constraints: 79330
2650.86/2658.02 c #Conflicts: 1455000 | #Constraints: 80331
2650.86/2658.02 c #Conflicts: 1456000 | #Constraints: 81331
2650.86/2658.02 c #Conflicts: 1457000 | #Constraints: 82332
2650.86/2658.02 c #Conflicts: 1458000 | #Constraints: 83332
2650.86/2658.02 c #Conflicts: 1459000 | #Constraints: 84333
2650.86/2658.02 c #Conflicts: 1460000 | #Constraints: 85333
2650.86/2658.02 c #Conflicts: 1461000 | #Constraints: 86334
2650.86/2658.02 c #Conflicts: 1462000 | #Constraints: 87334
2650.86/2658.02 c #Conflicts: 1463000 | #Constraints: 88335
2650.86/2658.02 c #Conflicts: 1464000 | #Constraints: 89335
2650.86/2658.02 c #Conflicts: 1465000 | #Constraints: 90335
2650.86/2658.02 c #Conflicts: 1466000 | #Constraints: 91335
2650.86/2658.02 c #Conflicts: 1467000 | #Constraints: 92336
2650.86/2658.02 c INPROCESSING
2650.86/2658.02 c GARBAGE COLLECT
2650.86/2658.02 c rational objective 7
2702.52/2709.86 c #Conflicts: 1468000 | #Constraints: 69309
2702.52/2709.86 c #Conflicts: 1469000 | #Constraints: 70309
2702.52/2709.86 c #Conflicts: 1470000 | #Constraints: 71309
2702.52/2709.86 c #Conflicts: 1471000 | #Constraints: 72309
2702.52/2709.86 c #Conflicts: 1472000 | #Constraints: 73310
2702.52/2709.86 c #Conflicts: 1473000 | #Constraints: 74312
2702.52/2709.86 c #Conflicts: 1474000 | #Constraints: 75313
2702.52/2709.86 c #Conflicts: 1475000 | #Constraints: 76314
2702.52/2709.86 c #Conflicts: 1476000 | #Constraints: 77316
2702.52/2709.86 c #Conflicts: 1477000 | #Constraints: 78318
2702.52/2709.86 c #Conflicts: 1478000 | #Constraints: 79318
2702.52/2709.86 c #Conflicts: 1479000 | #Constraints: 80318
2702.52/2709.86 c #Conflicts: 1480000 | #Constraints: 81319
2702.52/2709.86 c #Conflicts: 1481000 | #Constraints: 82320
2702.52/2709.86 c #Conflicts: 1482000 | #Constraints: 83321
2702.52/2709.86 c #Conflicts: 1483000 | #Constraints: 84322
2702.52/2709.86 c #Conflicts: 1484000 | #Constraints: 85322
2702.52/2709.86 c #Conflicts: 1485000 | #Constraints: 86322
2702.52/2709.86 c #Conflicts: 1486000 | #Constraints: 87323
2702.52/2709.86 c #Conflicts: 1487000 | #Constraints: 88325
2702.52/2709.86 c #Conflicts: 1488000 | #Constraints: 89326
2702.52/2709.86 c #Conflicts: 1489000 | #Constraints: 90327
2702.52/2709.86 c #Conflicts: 1490000 | #Constraints: 91328
2702.52/2709.86 c #Conflicts: 1491000 | #Constraints: 92328
2702.52/2709.86 c INPROCESSING
2702.52/2709.86 c GARBAGE COLLECT
2702.52/2709.86 c rational objective 7
2764.58/2772.03 c #Conflicts: 1492000 | #Constraints: 69075
2764.58/2772.03 c #Conflicts: 1493000 | #Constraints: 70076
2764.58/2772.03 c #Conflicts: 1494000 | #Constraints: 71076
2764.58/2772.03 c #Conflicts: 1495000 | #Constraints: 72076
2764.58/2772.03 c #Conflicts: 1496000 | #Constraints: 73077
2764.58/2772.03 c #Conflicts: 1497000 | #Constraints: 74078
2764.58/2772.03 c #Conflicts: 1498000 | #Constraints: 75080
2764.58/2772.03 c #Conflicts: 1499000 | #Constraints: 76081
2764.58/2772.03 c #Conflicts: 1500000 | #Constraints: 77083
2764.58/2772.03 c #Conflicts: 1501000 | #Constraints: 78085
2764.58/2772.03 c #Conflicts: 1502000 | #Constraints: 79085
2764.58/2772.03 c #Conflicts: 1503000 | #Constraints: 80086
2764.58/2772.03 c #Conflicts: 1504000 | #Constraints: 81086
2764.58/2772.03 c #Conflicts: 1505000 | #Constraints: 82086
2764.58/2772.03 c #Conflicts: 1506000 | #Constraints: 83087
2764.58/2772.03 c #Conflicts: 1507000 | #Constraints: 84090
2764.58/2772.03 c #Conflicts: 1508000 | #Constraints: 85091
2764.58/2772.03 c #Conflicts: 1509000 | #Constraints: 86091
2764.58/2772.03 c #Conflicts: 1510000 | #Constraints: 87092
2764.58/2772.03 c #Conflicts: 1511000 | #Constraints: 88094
2764.58/2772.04 c #Conflicts: 1512000 | #Constraints: 89094
2764.58/2772.04 c #Conflicts: 1513000 | #Constraints: 90094
2764.58/2772.04 c #Conflicts: 1514000 | #Constraints: 91094
2764.58/2772.04 c #Conflicts: 1515000 | #Constraints: 92094
2764.58/2772.04 c #Conflicts: 1516000 | #Constraints: 93094
2764.58/2772.04 c INPROCESSING
2764.58/2772.04 c GARBAGE COLLECT
2764.58/2772.04 c rational objective 7
2840.19/2847.84 c #Conflicts: 1517000 | #Constraints: 69580
2840.19/2847.84 c #Conflicts: 1518000 | #Constraints: 70581
2840.19/2847.84 c #Conflicts: 1519000 | #Constraints: 71581
2840.19/2847.84 c #Conflicts: 1520000 | #Constraints: 72581
2840.19/2847.84 c #Conflicts: 1521000 | #Constraints: 73581
2840.19/2847.84 c #Conflicts: 1522000 | #Constraints: 74583
2840.19/2847.84 c #Conflicts: 1523000 | #Constraints: 75584
2840.19/2847.84 c #Conflicts: 1524000 | #Constraints: 76586
2840.19/2847.84 c #Conflicts: 1525000 | #Constraints: 77588
2840.19/2847.84 c #Conflicts: 1526000 | #Constraints: 78593
2840.19/2847.84 c #Conflicts: 1527000 | #Constraints: 79594
2840.19/2847.84 c #Conflicts: 1528000 | #Constraints: 80594
2840.19/2847.84 c #Conflicts: 1529000 | #Constraints: 81595
2840.19/2847.84 c #Conflicts: 1530000 | #Constraints: 82596
2840.19/2847.84 c #Conflicts: 1531000 | #Constraints: 83597
2840.19/2847.84 c #Conflicts: 1532000 | #Constraints: 84599
2840.19/2847.84 c #Conflicts: 1533000 | #Constraints: 85600
2840.19/2847.84 c #Conflicts: 1534000 | #Constraints: 86600
2840.19/2847.84 c #Conflicts: 1535000 | #Constraints: 87601
2840.19/2847.84 c #Conflicts: 1536000 | #Constraints: 88602
2840.19/2847.84 c #Conflicts: 1537000 | #Constraints: 89602
2840.19/2847.84 c #Conflicts: 1538000 | #Constraints: 90602
2840.19/2847.84 c #Conflicts: 1539000 | #Constraints: 91602
2840.19/2847.84 c #Conflicts: 1540000 | #Constraints: 92602
2840.19/2847.84 c #Conflicts: 1541000 | #Constraints: 93602
2840.19/2847.84 c INPROCESSING
2840.19/2847.84 c GARBAGE COLLECT
2840.19/2847.84 c rational objective 7
2885.57/2893.39 c #Conflicts: 1542000 | #Constraints: 70007
2885.57/2893.39 c #Conflicts: 1543000 | #Constraints: 71008
2885.57/2893.39 c #Conflicts: 1544000 | #Constraints: 72008
2885.57/2893.39 c #Conflicts: 1545000 | #Constraints: 73009
2885.57/2893.39 c #Conflicts: 1546000 | #Constraints: 74013
2885.57/2893.39 c #Conflicts: 1547000 | #Constraints: 75014
2885.57/2893.39 c #Conflicts: 1548000 | #Constraints: 76015
2885.57/2893.39 c #Conflicts: 1549000 | #Constraints: 77016
2885.57/2893.39 c #Conflicts: 1550000 | #Constraints: 78017
2885.57/2893.39 c #Conflicts: 1551000 | #Constraints: 79017
2885.57/2893.39 c #Conflicts: 1552000 | #Constraints: 80018
2885.57/2893.39 c #Conflicts: 1553000 | #Constraints: 81018
2885.57/2893.39 c #Conflicts: 1554000 | #Constraints: 82018
2885.57/2893.39 c #Conflicts: 1555000 | #Constraints: 83018
2885.57/2893.39 c #Conflicts: 1556000 | #Constraints: 84018
2885.57/2893.39 c #Conflicts: 1557000 | #Constraints: 85018
2885.57/2893.39 c #Conflicts: 1558000 | #Constraints: 86018
2885.57/2893.39 c #Conflicts: 1559000 | #Constraints: 87019
2885.57/2893.39 c #Conflicts: 1560000 | #Constraints: 88019
2885.57/2893.39 c #Conflicts: 1561000 | #Constraints: 89019
2885.57/2893.39 c #Conflicts: 1562000 | #Constraints: 90019
2885.57/2893.39 c #Conflicts: 1563000 | #Constraints: 91019
2885.57/2893.39 c #Conflicts: 1564000 | #Constraints: 92020
2885.57/2893.39 c #Conflicts: 1565000 | #Constraints: 93020
2885.57/2893.39 c #Conflicts: 1566000 | #Constraints: 94021
2885.57/2893.39 c INPROCESSING
2885.57/2893.39 c GARBAGE COLLECT
2885.57/2893.39 c rational objective 7
2951.20/2959.13 c #Conflicts: 1567000 | #Constraints: 70225
2951.20/2959.13 c #Conflicts: 1568000 | #Constraints: 71225
2951.20/2959.13 c #Conflicts: 1569000 | #Constraints: 72225
2951.20/2959.13 c #Conflicts: 1570000 | #Constraints: 73225
2951.20/2959.13 c #Conflicts: 1571000 | #Constraints: 74226
2951.20/2959.13 c #Conflicts: 1572000 | #Constraints: 75228
2951.20/2959.13 c #Conflicts: 1573000 | #Constraints: 76230
2951.20/2959.13 c #Conflicts: 1574000 | #Constraints: 77232
2951.20/2959.13 c #Conflicts: 1575000 | #Constraints: 78233
2951.20/2959.13 c #Conflicts: 1576000 | #Constraints: 79233
2951.20/2959.13 c #Conflicts: 1577000 | #Constraints: 80233
2951.20/2959.13 c #Conflicts: 1578000 | #Constraints: 81234
2951.20/2959.13 c #Conflicts: 1579000 | #Constraints: 82235
2951.20/2959.13 c #Conflicts: 1580000 | #Constraints: 83237
2951.20/2959.13 c #Conflicts: 1581000 | #Constraints: 84239
2951.20/2959.13 c #Conflicts: 1582000 | #Constraints: 85240
2951.20/2959.13 c #Conflicts: 1583000 | #Constraints: 86241
2951.20/2959.13 c #Conflicts: 1584000 | #Constraints: 87242
2951.20/2959.13 c #Conflicts: 1585000 | #Constraints: 88243
2951.20/2959.13 c #Conflicts: 1586000 | #Constraints: 89244
2951.20/2959.13 c #Conflicts: 1587000 | #Constraints: 90245
2951.20/2959.13 c #Conflicts: 1588000 | #Constraints: 91245
2951.20/2959.13 c #Conflicts: 1589000 | #Constraints: 92246
2951.20/2959.13 c #Conflicts: 1590000 | #Constraints: 93246
2951.20/2959.13 c #Conflicts: 1591000 | #Constraints: 94247
2951.20/2959.13 c INPROCESSING
2951.20/2959.13 c GARBAGE COLLECT
2951.20/2959.13 c rational objective 7
3036.78/3044.91 c #Conflicts: 1592000 | #Constraints: 70233
3036.78/3044.91 c #Conflicts: 1593000 | #Constraints: 71234
3036.78/3044.91 c #Conflicts: 1594000 | #Constraints: 72234
3036.78/3044.91 c #Conflicts: 1595000 | #Constraints: 73234
3036.78/3044.91 c #Conflicts: 1596000 | #Constraints: 74235
3036.78/3044.91 c #Conflicts: 1597000 | #Constraints: 75236
3036.78/3044.91 c #Conflicts: 1598000 | #Constraints: 76237
3036.78/3044.91 c #Conflicts: 1599000 | #Constraints: 77238
3036.78/3044.91 c #Conflicts: 1600000 | #Constraints: 78239
3036.78/3044.91 c #Conflicts: 1601000 | #Constraints: 79240
3036.78/3044.91 c #Conflicts: 1602000 | #Constraints: 80240
3036.78/3044.91 c #Conflicts: 1603000 | #Constraints: 81240
3036.78/3044.91 c #Conflicts: 1604000 | #Constraints: 82240
3036.78/3044.91 c #Conflicts: 1605000 | #Constraints: 83240
3036.78/3044.91 c #Conflicts: 1606000 | #Constraints: 84240
3036.78/3044.91 c #Conflicts: 1607000 | #Constraints: 85240
3036.78/3044.91 c #Conflicts: 1608000 | #Constraints: 86240
3036.78/3044.91 c #Conflicts: 1609000 | #Constraints: 87240
3036.78/3044.91 c #Conflicts: 1610000 | #Constraints: 88240
3036.78/3044.91 c #Conflicts: 1611000 | #Constraints: 89240
3036.78/3044.91 c #Conflicts: 1612000 | #Constraints: 90240
3036.78/3044.91 c #Conflicts: 1613000 | #Constraints: 91240
3036.78/3044.91 c #Conflicts: 1614000 | #Constraints: 92240
3036.78/3044.91 c #Conflicts: 1615000 | #Constraints: 93240
3036.78/3044.91 c #Conflicts: 1616000 | #Constraints: 94240
3036.78/3044.91 c INPROCESSING
3036.78/3044.91 c GARBAGE COLLECT
3036.78/3044.91 c rational objective 7
3085.26/3093.54 c #Conflicts: 1617000 | #Constraints: 70002
3085.26/3093.54 c #Conflicts: 1618000 | #Constraints: 71003
3085.26/3093.54 c #Conflicts: 1619000 | #Constraints: 72003
3085.26/3093.54 c #Conflicts: 1620000 | #Constraints: 73003
3085.26/3093.54 c #Conflicts: 1621000 | #Constraints: 74003
3085.26/3093.54 c #Conflicts: 1622000 | #Constraints: 75003
3085.26/3093.54 c #Conflicts: 1623000 | #Constraints: 76005
3085.26/3093.54 c #Conflicts: 1624000 | #Constraints: 77007
3085.26/3093.54 c #Conflicts: 1625000 | #Constraints: 78009
3085.26/3093.54 c #Conflicts: 1626000 | #Constraints: 79010
3085.26/3093.54 c #Conflicts: 1627000 | #Constraints: 80012
3085.26/3093.54 c #Conflicts: 1628000 | #Constraints: 81012
3085.26/3093.54 c #Conflicts: 1629000 | #Constraints: 82013
3085.26/3093.54 c #Conflicts: 1630000 | #Constraints: 83013
3085.26/3093.54 c #Conflicts: 1631000 | #Constraints: 84014
3085.26/3093.54 c #Conflicts: 1632000 | #Constraints: 85014
3085.26/3093.54 c #Conflicts: 1633000 | #Constraints: 86014
3085.26/3093.54 c #Conflicts: 1634000 | #Constraints: 87014
3085.26/3093.54 c #Conflicts: 1635000 | #Constraints: 88014
3085.26/3093.54 c #Conflicts: 1636000 | #Constraints: 89014
3085.26/3093.54 c #Conflicts: 1637000 | #Constraints: 90014
3085.26/3093.54 c #Conflicts: 1638000 | #Constraints: 91015
3085.26/3093.54 c #Conflicts: 1639000 | #Constraints: 92015
3085.26/3093.54 c #Conflicts: 1640000 | #Constraints: 93015
3085.26/3093.54 c #Conflicts: 1641000 | #Constraints: 94015
3085.26/3093.54 c #Conflicts: 1642000 | #Constraints: 95015
3085.26/3093.54 c INPROCESSING
3085.26/3093.54 c GARBAGE COLLECT
3085.26/3093.54 c rational objective 7
3139.53/3147.90 c #Conflicts: 1643000 | #Constraints: 70581
3139.53/3147.90 c #Conflicts: 1644000 | #Constraints: 71581
3139.53/3147.90 c #Conflicts: 1645000 | #Constraints: 72581
3139.53/3147.90 c #Conflicts: 1646000 | #Constraints: 73582
3139.53/3147.90 c #Conflicts: 1647000 | #Constraints: 74582
3139.53/3147.90 c #Conflicts: 1648000 | #Constraints: 75583
3139.53/3147.90 c #Conflicts: 1649000 | #Constraints: 76585
3139.53/3147.90 c #Conflicts: 1650000 | #Constraints: 77587
3139.53/3147.90 c #Conflicts: 1651000 | #Constraints: 78588
3139.53/3147.90 c #Conflicts: 1652000 | #Constraints: 79591
3139.53/3147.90 c #Conflicts: 1653000 | #Constraints: 80593
3139.53/3147.90 c #Conflicts: 1654000 | #Constraints: 81595
3139.53/3147.90 c #Conflicts: 1655000 | #Constraints: 82598
3139.53/3147.90 c #Conflicts: 1656000 | #Constraints: 83598
3139.53/3147.90 c #Conflicts: 1657000 | #Constraints: 84599
3139.53/3147.90 c #Conflicts: 1658000 | #Constraints: 85599
3139.53/3147.90 c #Conflicts: 1659000 | #Constraints: 86599
3139.53/3147.90 c #Conflicts: 1660000 | #Constraints: 87599
3139.53/3147.90 c #Conflicts: 1661000 | #Constraints: 88599
3139.53/3147.90 c #Conflicts: 1662000 | #Constraints: 89599
3139.53/3147.90 c #Conflicts: 1663000 | #Constraints: 90599
3139.53/3147.90 c #Conflicts: 1664000 | #Constraints: 91599
3139.53/3147.90 c #Conflicts: 1665000 | #Constraints: 92599
3139.53/3147.90 c #Conflicts: 1666000 | #Constraints: 93599
3139.53/3147.90 c #Conflicts: 1667000 | #Constraints: 94600
3139.53/3147.90 c #Conflicts: 1668000 | #Constraints: 95601
3139.53/3147.90 c INPROCESSING
3139.53/3147.90 c GARBAGE COLLECT
3139.53/3147.90 c rational objective 7
3188.40/3196.97 c #Conflicts: 1669000 | #Constraints: 70984
3188.40/3196.97 c #Conflicts: 1670000 | #Constraints: 71984
3188.40/3196.97 c #Conflicts: 1671000 | #Constraints: 72984
3188.40/3196.97 c #Conflicts: 1672000 | #Constraints: 73984
3188.40/3196.97 c #Conflicts: 1673000 | #Constraints: 74986
3188.40/3196.97 c #Conflicts: 1674000 | #Constraints: 75991
3188.40/3196.97 c #Conflicts: 1675000 | #Constraints: 76994
3188.40/3196.97 c #Conflicts: 1676000 | #Constraints: 77996
3188.40/3196.97 c #Conflicts: 1677000 | #Constraints: 78998
3188.40/3196.97 c #Conflicts: 1678000 | #Constraints: 80000
3188.40/3196.97 c #Conflicts: 1679000 | #Constraints: 81000
3188.40/3196.97 c #Conflicts: 1680000 | #Constraints: 82001
3188.40/3196.97 c #Conflicts: 1681000 | #Constraints: 83003
3188.40/3196.97 c #Conflicts: 1682000 | #Constraints: 84003
3188.40/3196.97 c #Conflicts: 1683000 | #Constraints: 85004
3188.40/3196.97 c #Conflicts: 1684000 | #Constraints: 86004
3188.40/3196.97 c #Conflicts: 1685000 | #Constraints: 87004
3188.40/3196.97 c #Conflicts: 1686000 | #Constraints: 88006
3188.40/3196.97 c #Conflicts: 1687000 | #Constraints: 89007
3188.40/3196.97 c #Conflicts: 1688000 | #Constraints: 90008
3188.40/3196.97 c #Conflicts: 1689000 | #Constraints: 91008
3188.40/3196.97 c #Conflicts: 1690000 | #Constraints: 92009
3188.40/3196.97 c #Conflicts: 1691000 | #Constraints: 93010
3188.40/3196.97 c #Conflicts: 1692000 | #Constraints: 94010
3188.40/3196.97 c #Conflicts: 1693000 | #Constraints: 95013
3188.40/3196.97 c #Conflicts: 1694000 | #Constraints: 96016
3188.40/3196.97 c INPROCESSING
3188.40/3196.97 c GARBAGE COLLECT
3188.40/3196.97 c rational objective 7
3241.17/3249.83 c #Conflicts: 1695000 | #Constraints: 71185
3241.17/3249.83 c #Conflicts: 1696000 | #Constraints: 72186
3241.17/3249.83 c #Conflicts: 1697000 | #Constraints: 73186
3241.17/3249.83 c #Conflicts: 1698000 | #Constraints: 74187
3241.17/3249.83 c #Conflicts: 1699000 | #Constraints: 75190
3241.17/3249.83 c #Conflicts: 1700000 | #Constraints: 76190
3241.17/3249.83 c #Conflicts: 1701000 | #Constraints: 77190
3241.17/3249.83 c #Conflicts: 1702000 | #Constraints: 78191
3241.17/3249.83 c #Conflicts: 1703000 | #Constraints: 79193
3241.17/3249.83 c #Conflicts: 1704000 | #Constraints: 80195
3241.17/3249.83 c #Conflicts: 1705000 | #Constraints: 81198
3241.17/3249.83 c #Conflicts: 1706000 | #Constraints: 82199
3241.17/3249.83 c #Conflicts: 1707000 | #Constraints: 83200
3241.17/3249.83 c #Conflicts: 1708000 | #Constraints: 84201
3241.17/3249.83 c #Conflicts: 1709000 | #Constraints: 85202
3241.17/3249.83 c #Conflicts: 1710000 | #Constraints: 86203
3241.17/3249.83 c #Conflicts: 1711000 | #Constraints: 87205
3241.17/3249.83 c #Conflicts: 1712000 | #Constraints: 88207
3241.17/3249.83 c #Conflicts: 1713000 | #Constraints: 89208
3241.17/3249.83 c #Conflicts: 1714000 | #Constraints: 90208
3241.17/3249.83 c #Conflicts: 1715000 | #Constraints: 91209
3241.17/3249.83 c #Conflicts: 1716000 | #Constraints: 92211
3241.17/3249.83 c #Conflicts: 1717000 | #Constraints: 93213
3241.17/3249.83 c #Conflicts: 1718000 | #Constraints: 94215
3241.17/3249.83 c #Conflicts: 1719000 | #Constraints: 95215
3241.17/3249.83 c #Conflicts: 1720000 | #Constraints: 96216
3241.17/3249.83 c INPROCESSING
3241.17/3249.83 c GARBAGE COLLECT
3241.17/3249.83 c rational objective 7
3303.51/3312.39 c #Conflicts: 1721000 | #Constraints: 71177
3303.51/3312.39 c #Conflicts: 1722000 | #Constraints: 72178
3303.51/3312.39 c #Conflicts: 1723000 | #Constraints: 73178
3303.51/3312.39 c #Conflicts: 1724000 | #Constraints: 74178
3303.51/3312.39 c #Conflicts: 1725000 | #Constraints: 75179
3303.51/3312.39 c #Conflicts: 1726000 | #Constraints: 76180
3303.51/3312.39 c #Conflicts: 1727000 | #Constraints: 77181
3303.51/3312.39 c #Conflicts: 1728000 | #Constraints: 78183
3303.51/3312.39 c #Conflicts: 1729000 | #Constraints: 79184
3303.51/3312.39 c #Conflicts: 1730000 | #Constraints: 80185
3303.51/3312.39 c #Conflicts: 1731000 | #Constraints: 81186
3303.51/3312.39 c #Conflicts: 1732000 | #Constraints: 82188
3303.51/3312.39 c #Conflicts: 1733000 | #Constraints: 83189
3303.51/3312.39 c #Conflicts: 1734000 | #Constraints: 84191
3303.51/3312.39 c #Conflicts: 1735000 | #Constraints: 85192
3303.51/3312.39 c #Conflicts: 1736000 | #Constraints: 86193
3303.51/3312.39 c #Conflicts: 1737000 | #Constraints: 87194
3303.51/3312.39 c #Conflicts: 1738000 | #Constraints: 88195
3303.51/3312.39 c #Conflicts: 1739000 | #Constraints: 89196
3303.51/3312.39 c #Conflicts: 1740000 | #Constraints: 90199
3303.51/3312.39 c #Conflicts: 1741000 | #Constraints: 91200
3303.51/3312.39 c #Conflicts: 1742000 | #Constraints: 92201
3303.51/3312.39 c #Conflicts: 1743000 | #Constraints: 93201
3303.51/3312.39 c #Conflicts: 1744000 | #Constraints: 94201
3303.51/3312.39 c #Conflicts: 1745000 | #Constraints: 95202
3303.51/3312.39 c #Conflicts: 1746000 | #Constraints: 96202
3303.51/3312.39 c INPROCESSING
3303.51/3312.39 c GARBAGE COLLECT
3303.51/3312.39 c rational objective 7
3370.14/3379.15 c #Conflicts: 1747000 | #Constraints: 70934
3370.14/3379.15 c #Conflicts: 1748000 | #Constraints: 71935
3370.14/3379.15 c #Conflicts: 1749000 | #Constraints: 72935
3370.14/3379.15 c #Conflicts: 1750000 | #Constraints: 73935
3370.14/3379.15 c #Conflicts: 1751000 | #Constraints: 74935
3370.14/3379.15 c #Conflicts: 1752000 | #Constraints: 75937
3370.14/3379.15 c #Conflicts: 1753000 | #Constraints: 76938
3370.14/3379.15 c #Conflicts: 1754000 | #Constraints: 77939
3370.14/3379.15 c #Conflicts: 1755000 | #Constraints: 78940
3370.14/3379.15 c #Conflicts: 1756000 | #Constraints: 79940
3370.14/3379.15 c #Conflicts: 1757000 | #Constraints: 80942
3370.14/3379.15 c #Conflicts: 1758000 | #Constraints: 81942
3370.14/3379.15 c #Conflicts: 1759000 | #Constraints: 82943
3370.14/3379.15 c #Conflicts: 1760000 | #Constraints: 83943
3370.14/3379.15 c #Conflicts: 1761000 | #Constraints: 84944
3370.14/3379.15 c #Conflicts: 1762000 | #Constraints: 85945
3370.14/3379.15 c #Conflicts: 1763000 | #Constraints: 86946
3370.14/3379.15 c #Conflicts: 1764000 | #Constraints: 87947
3370.14/3379.15 c #Conflicts: 1765000 | #Constraints: 88948
3370.14/3379.15 c #Conflicts: 1766000 | #Constraints: 89948
3370.14/3379.15 c #Conflicts: 1767000 | #Constraints: 90948
3370.14/3379.15 c #Conflicts: 1768000 | #Constraints: 91948
3370.14/3379.15 c #Conflicts: 1769000 | #Constraints: 92948
3370.14/3379.15 c #Conflicts: 1770000 | #Constraints: 93949
3370.14/3379.15 c #Conflicts: 1771000 | #Constraints: 94949
3370.14/3379.15 c #Conflicts: 1772000 | #Constraints: 95950
3370.14/3379.15 c #Conflicts: 1773000 | #Constraints: 96950
3370.14/3379.15 c INPROCESSING
3370.14/3379.15 c GARBAGE COLLECT
3370.14/3379.15 c rational objective 7
3454.46/3463.64 c #Conflicts: 1774000 | #Constraints: 71545
3454.46/3463.64 c #Conflicts: 1775000 | #Constraints: 72545
3454.46/3463.64 c #Conflicts: 1776000 | #Constraints: 73546
3454.46/3463.64 c #Conflicts: 1777000 | #Constraints: 74548
3454.46/3463.64 c #Conflicts: 1778000 | #Constraints: 75553
3454.46/3463.64 c #Conflicts: 1779000 | #Constraints: 76558
3454.46/3463.64 c #Conflicts: 1780000 | #Constraints: 77559
3454.46/3463.64 c #Conflicts: 1781000 | #Constraints: 78561
3454.46/3463.64 c #Conflicts: 1782000 | #Constraints: 79563
3454.46/3463.64 c #Conflicts: 1783000 | #Constraints: 80564
3454.46/3463.64 c #Conflicts: 1784000 | #Constraints: 81565
3454.46/3463.64 c #Conflicts: 1785000 | #Constraints: 82566
3454.46/3463.64 c #Conflicts: 1786000 | #Constraints: 83567
3454.46/3463.64 c #Conflicts: 1787000 | #Constraints: 84568
3454.46/3463.64 c #Conflicts: 1788000 | #Constraints: 85568
3454.46/3463.64 c #Conflicts: 1789000 | #Constraints: 86569
3454.46/3463.64 c #Conflicts: 1790000 | #Constraints: 87570
3454.46/3463.64 c #Conflicts: 1791000 | #Constraints: 88570
3454.46/3463.64 c #Conflicts: 1792000 | #Constraints: 89572
3454.46/3463.64 c #Conflicts: 1793000 | #Constraints: 90573
3454.46/3463.64 c #Conflicts: 1794000 | #Constraints: 91573
3454.46/3463.64 c #Conflicts: 1795000 | #Constraints: 92574
3454.46/3463.64 c #Conflicts: 1796000 | #Constraints: 93574
3454.46/3463.64 c #Conflicts: 1797000 | #Constraints: 94575
3454.46/3463.64 c #Conflicts: 1798000 | #Constraints: 95576
3454.46/3463.64 c #Conflicts: 1799000 | #Constraints: 96576
3454.46/3463.64 c #Conflicts: 1800000 | #Constraints: 97578
3454.46/3463.64 c INPROCESSING
3454.46/3463.64 c GARBAGE COLLECT
3454.46/3463.64 c rational objective 7
3540.27/3549.66 c #Conflicts: 1801000 | #Constraints: 71948
3540.27/3549.66 c #Conflicts: 1802000 | #Constraints: 72948
3540.27/3549.66 c #Conflicts: 1803000 | #Constraints: 73948
3540.27/3549.66 c #Conflicts: 1804000 | #Constraints: 74949
3540.27/3549.66 c #Conflicts: 1805000 | #Constraints: 75951
3540.27/3549.66 c #Conflicts: 1806000 | #Constraints: 76953
3540.27/3549.66 c #Conflicts: 1807000 | #Constraints: 77958
3540.27/3549.66 c #Conflicts: 1808000 | #Constraints: 78960
3540.27/3549.66 c #Conflicts: 1809000 | #Constraints: 79962
3540.27/3549.66 c #Conflicts: 1810000 | #Constraints: 80964
3540.27/3549.66 c #Conflicts: 1811000 | #Constraints: 81967
3540.27/3549.66 c #Conflicts: 1812000 | #Constraints: 82971
3540.27/3549.66 c #Conflicts: 1813000 | #Constraints: 83972
3540.27/3549.66 c #Conflicts: 1814000 | #Constraints: 84975
3540.27/3549.66 c #Conflicts: 1815000 | #Constraints: 85978
3540.27/3549.66 c #Conflicts: 1816000 | #Constraints: 86980
3540.27/3549.66 c #Conflicts: 1817000 | #Constraints: 87982
3540.27/3549.66 c #Conflicts: 1818000 | #Constraints: 88982
3540.27/3549.66 c #Conflicts: 1819000 | #Constraints: 89983
3540.27/3549.66 c #Conflicts: 1820000 | #Constraints: 90985
3540.27/3549.66 c #Conflicts: 1821000 | #Constraints: 91986
3540.27/3549.66 c #Conflicts: 1822000 | #Constraints: 92986
3540.27/3549.66 c #Conflicts: 1823000 | #Constraints: 93986
3540.27/3549.66 c #Conflicts: 1824000 | #Constraints: 94987
3540.27/3549.66 c #Conflicts: 1825000 | #Constraints: 95987
3540.27/3549.66 c #Conflicts: 1826000 | #Constraints: 96988
3540.27/3549.66 c #Conflicts: 1827000 | #Constraints: 97989
3540.27/3549.66 c INPROCESSING
3540.27/3549.66 c GARBAGE COLLECT
3540.27/3549.66 c rational objective 7
3600.04/3609.50 c #Conflicts: 1828000 | #Constraints: 72193
3600.04/3609.50 c #Conflicts: 1829000 | #Constraints: 73193
3600.04/3609.50 c #Conflicts: 1830000 | #Constraints: 74193
3600.04/3609.50 c #Conflicts: 1831000 | #Constraints: 75193
3600.04/3609.50 c #Conflicts: 1832000 | #Constraints: 76193
3600.04/3609.50 c #Conflicts: 1833000 | #Constraints: 77193
3600.04/3609.50 c #Conflicts: 1834000 | #Constraints: 78194
3600.04/3609.50 c #Conflicts: 1835000 | #Constraints: 79198
3600.04/3609.50 c #Conflicts: 1836000 | #Constraints: 80200
3600.04/3609.50 c #Conflicts: 1837000 | #Constraints: 81203
3600.04/3609.50 c #Conflicts: 1838000 | #Constraints: 82203
3600.04/3609.50 c #Conflicts: 1839000 | #Constraints: 83204
3600.04/3609.50 c #Conflicts: 1840000 | #Constraints: 84204
3600.04/3609.50 c #Conflicts: 1841000 | #Constraints: 85206
3600.04/3609.50 c #Conflicts: 1842000 | #Constraints: 86208
3600.04/3609.50 c #Conflicts: 1843000 | #Constraints: 87210
3600.04/3609.50 c #Conflicts: 1844000 | #Constraints: 88212
3600.04/3609.50 c #Conflicts: 1845000 | #Constraints: 89216
3600.04/3609.50 c #Conflicts: 1846000 | #Constraints: 90218
3600.04/3609.50 c #Conflicts: 1847000 | #Constraints: 91219
3600.04/3609.50 c #Conflicts: 1848000 | #Constraints: 92222
3600.04/3609.50 c cpu time 3579.81 s
3600.04/3609.50 c deterministic time 305777701550 3.06e+11
3600.04/3609.50 c optimization time 59.0553 s
3600.04/3609.50 c total solve time 3520.57 s
3600.04/3609.50 c core-guided solve time 1747.67 s
3600.04/3609.50 c propagation time 2392.65 s
3600.04/3609.50 c conflict analysis time 887.077 s
3600.04/3609.50 c propagations 922528934
3600.04/3609.50 c resolve steps 16059878
3600.04/3609.50 c decisions 9540602
3600.04/3609.50 c conflicts 1848544
3600.04/3609.50 c restarts 3580
3600.04/3609.50 c inprocessing phases 126
3600.04/3609.50 c garbage collections 126 ,( 100.00 )
3600.04/3609.50 c input clauses 52927 ,( 99.02 )
3600.04/3609.50 c input cardinalities 76 ,( 0.14 )
3600.04/3609.50 c input general constraints 448 ,( 0.84 )
3600.04/3609.50 c input average constraint length 3.66
3600.04/3609.50 c input average constraint degree 8.32
3600.04/3609.50 c learned clauses 298065 ,( 16.10 )
3600.04/3609.50 c learned cardinalities 18919 ,( 1.02 )
3600.04/3609.50 c learned general constraints 1533868 ,( 82.87 )
3600.04/3609.50 c learned average constraint length 654.77
3600.04/3609.50 c learned average constraint degree 3711835409.59
3600.04/3609.50 c watched CF 32, 64, 128, Arb: 637873 , 0 , 0 , 0
3600.04/3609.50 c counting CF 32, 64, 128, Arb: 896444 , 0 , 0 , 0
3600.04/3609.50 c watched constraints 637873 ,( 41.57 )
3600.04/3609.50 c counting constraints 896443 ,( 58.43 )
3600.04/3609.50 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 458752105 , 57973030 , 3095958186 ,( 401511578 , 2694446608 )
3600.04/3609.50 c gcd simplifications 184990
3600.04/3609.50 c detected cardinalities 774
3600.04/3609.50 c weakened non-implied lits 345464998
3600.04/3609.50 c weakened non-implying lits 980527
3600.04/3609.50 c original variables 20753
3600.04/3609.50 c clausal propagations 396011084
3600.04/3609.50 c cardinality propagations 43980999
3600.04/3609.50 c watched propagations 4907682
3600.04/3609.50 c counting propagations 467226779
3600.04/3609.50 c watch lookups 172126143047
3600.04/3609.50 c watch backjump lookups 0
3600.04/3609.50 c watch checks 48937933388
3600.04/3609.50 c propagation checks 78908198693
3600.04/3609.50 c constraint additions 3937368746
3600.04/3609.50 c trail pops 933908021
3600.04/3609.50 c formula constraints 53451
3600.04/3609.50 c learned constraints 1846729
3600.04/3609.50 c bound constraints 0
3600.04/3609.50 c core-guided constraints 0
3600.04/3609.50 c encountered formula constraints 10348802
3600.04/3609.50 c encountered learned constraints 7215778
3600.04/3609.50 c encountered bound constraints 0
3600.04/3609.50 c encountered core-guided constraints 0
3600.04/3609.50 c LP total time 771.92 s
3600.04/3609.50 c LP solve time 715.01 s
3600.04/3609.50 c LP constraints added 56363
3600.04/3609.50 c LP constraints removed 2876
3600.04/3609.50 c LP pivots internal 1849783
3600.04/3609.50 c LP pivots root 230335
3600.04/3609.50 c LP calls 2263
3600.04/3609.50 c LP optimalities 440
3600.04/3609.50 c LP no pivot count 28
3600.04/3609.50 c LP infeasibilities 1818
3600.04/3609.50 c LP valid Farkas constraints 1817
3600.04/3609.50 c LP learned Farkas constraints 1815
3600.04/3609.50 c LP basis resets 2
3600.04/3609.50 c LP cycling count 0
3600.04/3609.50 c LP singular count 1
3600.04/3609.50 c LP no primal count 0
3600.04/3609.50 c LP no farkas count 1
3600.04/3609.50 c LP other issue count 0
3600.04/3609.50 c LP Gomory cuts 491
3600.04/3609.50 c LP learned cuts 2421
3600.04/3609.50 c LP deleted cuts 2876
3600.04/3609.50 c LP encountered Gomory constraints 18076
3600.04/3609.50 c LP encountered Farkas constraints 278405
3600.04/3609.50 c LP encountered learned Farkas constraints 45546
3600.04/3609.50 c CG auxiliary variables introduced 0
3600.04/3609.50 c CG solutions found 0
3600.04/3609.50 c CG cores constructed 0
3600.04/3609.50 c CG core cardinality constraints returned 0
3600.04/3609.50 c CG unit cores 0
3600.04/3609.50 c CG single cores 0
3600.04/3609.50 c CG blocks removed during cardinality reduction 0
3600.04/3609.50 c CG first core best 0
3600.04/3609.50 c CG decision core best 0
3600.04/3609.50 c CG core reduction tie 0
3600.04/3609.50 c CG core degree average 0.00
3600.04/3609.50 c CG core slack average 0.00
3600.04/3609.50 c CG core upper bound improvements 0
3600.04/3609.50 c STR number of successful calls 0
3600.04/3609.50 c STR number of unsuccessful calls 0
3600.04/3609.50 c STR number of inconclusive calls 0
3600.04/3609.50 c STR number of successful attempts 0
3600.04/3609.50 c STR number of unsuccessful attempts 0
3600.04/3609.50 c STR number of inconclusive attempts 0
3600.04/3609.50 c STR average degree increase per successful call inf
3600.04/3609.50 c STR average degree increase per successful attempt inf
3600.04/3609.50 c STR total number of conflicts for successful attempts 0
3600.04/3609.50 c STR total number of conflicts for unsuccessful attempts 0
3600.04/3609.50 c STR total number of conflicts for inconclusive attempts 0
3600.04/3609.50 c STR average number of conflicts per successful attempt inf
3600.04/3609.50 c STR average number of conflicts per unsuccessful attempt inf
3600.04/3609.50 c STR average number of conflicts per inconclusive attempt inf
3600.04/3609.50 c AVG.sumWPerc 49.14
3600.04/3609.50 c bigint constraints 0
3600.04/3609.50 s UNKNOWN
3600.04/3609.50 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (60101 MiB free)
memory of node 1: 64465 MiB (63309 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4499308-1751406025/watcher-4499308-1751406025 -o /tmp/evaluation-result-4499308-1751406025/solver-4499308-1751406025 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751398701-54922 --watchdog 3760 run-opt-break.sh HOME/instance-4499308-1751406025.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.el9_5.x86_64
Starting watchdog thread
solver pid=56316, runsolver pid=56313
Current StackSize limit: 8192 KiB
[startup+0.100065 s]*
/proc/loadavg: 4.08 4.08 4.09 5/267 56318
/proc/meminfo: memFree=126359904/131250000 swapFree=33010684/33010684
[pid=56316] ppid=56313 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/56316/stat : 56316 (run-opt-break.s) S 56313 56316 54907 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 56225060 4292608 736 18446744073709551615 94711564955648 94711565850181 140727159354688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94711566089232 94711566136976 94711567634432 140727159359841 140727159359970 140727159359970 140727159365572 0
/proc/56316/statm: 1048 736 672 219 0 110 0
[pid=56318] ppid=56316 vsize=29460 memory=19084 CPUtime=0.08 cores=1,3
/proc/56318/stat : 56318 (pbsuma) R 56316 56316 54907 0 -1 4194304 4785 0 0 0 8 0 0 0 20 0 1 0 56225061 30167040 4771 18446744073709551615 4210688 4653049 140733476060208 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 34521088 140733476067683 140733476067890 140733476067890 140733476073455 0
/proc/56318/statm: 7365 4771 1024 108 0 4773 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 33652 KiB
Current children cumulated memory: 22028 KiB
[startup+0.205837 s]*
/proc/loadavg: 4.08 4.08 4.09 5/267 56318
/proc/meminfo: memFree=126365488/131250000 swapFree=33010684/33010684
[pid=56316] ppid=56313 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/56316/stat : 56316 (run-opt-break.s) S 56313 56316 54907 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 56225060 4292608 736 18446744073709551615 94711564955648 94711565850181 140727159354688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94711566089232 94711566136976 94711567634432 140727159359841 140727159359970 140727159359970 140727159365572 0
/proc/56316/statm: 1048 736 672 219 0 110 0
[pid=56318] ppid=56316 vsize=25228 memory=16456 CPUtime=0.18 cores=1,3
/proc/56318/stat : 56318 (pbsuma) R 56316 56316 54907 0 -1 4194304 4917 0 0 0 18 0 0 0 20 0 1 0 56225061 25833472 4114 18446744073709551615 4210688 4653049 140733476060208 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 34521088 140733476067683 140733476067890 140733476067890 140733476073455 0
/proc/56318/statm: 6307 4114 1024 108 0 3715 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 29420 KiB
Current children cumulated memory: 19400 KiB
[startup+0.305757 s]*
/proc/loadavg: 4.08 4.08 4.09 5/267 56318
/proc/meminfo: memFree=126365488/131250000 swapFree=33010684/33010684
[pid=56316] ppid=56313 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/56316/stat : 56316 (run-opt-break.s) S 56313 56316 54907 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 56225060 4292608 736 18446744073709551615 94711564955648 94711565850181 140727159354688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94711566089232 94711566136976 94711567634432 140727159359841 140727159359970 140727159359970 140727159365572 0
/proc/56316/statm: 1048 736 672 219 0 110 0
[pid=56318] ppid=56316 vsize=25844 memory=17096 CPUtime=0.28 cores=1,3
/proc/56318/stat : 56318 (pbsuma) R 56316 56316 54907 0 -1 4194304 5112 0 0 0 28 0 0 0 20 0 1 0 56225061 26464256 4274 18446744073709551615 4210688 4653049 140733476060208 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 34521088 140733476067683 140733476067890 140733476067890 140733476073455 0
/proc/56318/statm: 6461 4274 1024 108 0 3869 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 30036 KiB
Current children cumulated memory: 20040 KiB
[startup+0.700206 s]
/proc/loadavg: 4.08 4.08 4.09 5/267 56319
/proc/meminfo: memFree=126382608/131250000 swapFree=33010684/33010684
[pid=56316] ppid=56313 vsize=4192 memory=2944 CPUtime=0.42 cores=1,3
/proc/56316/stat : 56316 (run-opt-break.s) S 56313 56316 54907 0 -1 4194304 237 5587 0 0 0 0 41 1 20 0 1 0 56225060 4292608 736 18446744073709551615 94711564955648 94711565850181 140727159354688 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94711566089232 94711566136976 94711567634432 140727159359841 140727159359970 140727159359970 140727159365572 0
/proc/56316/statm: 1048 736 672 219 0 110 0
[pid=56319] ppid=56316 vsize=126084 memory=76980 CPUtime=0.24 cores=1,3
/proc/56319/stat : 56319 (roundingsat) R 56316 56316 54907 0 -1 4194304 10724 0 0 0 19 5 0 0 20 0 1 0 56225104 129110016 19245 18446744073709551615 4227072 8923433 140724133406384 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22978560 140724133415268 140724133415464 140724133415464 140724133421034 0
/proc/56319/statm: 31521 19245 2272 1147 0 18948 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 130276 KiB
Current children cumulated memory: 79924 KiB
[startup+1.5002 s]
/proc/loadavg: 4.08 4.08 4.09 5/267 56319
/proc/meminfo: memFree=126353756/131250000 swapFree=33010684/33010684
[pid=56316] ppid=56313 vsize=4192 memory=2944 CPUtime=0.42 cores=1,3
/proc/56316/stat : 56316 (run-opt-break.s) S 56313 56316 54907 0 -1 4194304 237 5587 0 0 0 0 41 1 20 0 1 0 56225060 4292608 736 18446744073709551615 94711564955648 94711565850181 140727159354688 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94711566089232 94711566136976 94711567634432 140727159359841 140727159359970 140727159359970 140727159365572 0
/proc/56316/statm: 1048 736 672 219 0 110 0
[pid=56319] ppid=56316 vsize=145396 memory=95536 CPUtime=1.04 cores=1,3
/proc/56319/stat : 56319 (roundingsat) R 56316 56316 54907 0 -1 4194304 14977 0 0 0 96 8 0 0 20 0 1 0 56225104 148885504 23884 18446744073709551615 4227072 8923433 140724133406384 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22978560 140724133415268 140724133415464 140724133415464 140724133421034 0
/proc/56319/statm: 36349 23884 2336 1147 0 23776 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 149588 KiB
Current children cumulated memory: 98480 KiB
[startup+3.10561 s]
/proc/loadavg: 4.07 4.08 4.09 5/267 56319
/proc/meminfo: memFree=126331772/131250000 swapFree=33010684/33010684
[pid=56316] ppid=56313 vsize=4192 memory=2944 CPUtime=0.42 cores=1,3
/proc/56316/stat : 56316 (run-opt-break.s) S 56313 56316 54907 0 -1 4194304 237 5587 0 0 0 0 41 1 20 0 1 0 56225060 4292608 736 18446744073709551615 94711564955648 94711565850181 140727159354688 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94711566089232 94711566136976 94711567634432 140727159359841 140727159359970 140727159359970 140727159365572 0
/proc/56316/statm: 1048 736 672 219 0 110 0
[pid=56319] ppid=56316 vsize=161504 memory=109460 CPUtime=2.65 cores=1,3
/proc/56319/stat : 56319 (roundingsat) R 56316 56316 54907 0 -1 4194304 17419 0 0 0 255 10 0 0 20 0 1 0 56225104 165380096 27365 18446744073709551615 4227072 8923433 140724133406384 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22978560 140724133415268 140724133415464 140724133415464 140724133421034 0
/proc/56319/statm: 40376 27365 2368 1147 0 27803 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 165696 KiB
Current children cumulated memory: 112404 KiB
[startup+6.3002 s]
/proc/loadavg: 4.07 4.08 4.09 5/267 56319
/proc/meminfo: memFree=126300192/131250000 swapFree=33010684/33010684
[pid=56316] ppid=56313 vsize=4192 memory=2944 CPUtime=0.42 cores=1,3
/proc/56316/stat : 56316 (run-opt-break.s) S 56313 56316 54907 0 -1 4194304 237 5587 0 0 0 0 41 1 20 0 1 0 56225060 4292608 736 18446744073709551615 94711564955648 94711565850181 140727159354688 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94711566089232 94711566136976 94711567634432 140727159359841 140727159359970 140727159359970 140727159365572 0
/proc/56316/statm: 1048 736 672 219 0 110 0
[pid=56319] ppid=56316 vsize=187192 memory=133292 CPUtime=5.83 cores=1,3
/proc/56319/stat : 56319 (roundingsat) R 56316 56316 54907 0 -1 4194304 21828 0 0 0 566 17 0 0 20 0 1 0 56225104 191684608 33323 18446744073709551615 4227072 8923433 140724133406384 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22978560 140724133415268 140724133415464 140724133415464 140724133421034 0
/proc/56319/statm: 46798 33323 2368 1147 0 34225 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 191384 KiB
Current children cumulated memory: 136236 KiB
[startup+12.7002 s]
/proc/loadavg: 4.06 4.08 4.09 5/267 56319
/proc/meminfo: memFree=126255220/131250000 swapFree=33010684/33010684
[pid=56316] ppid=56313 vsize=4192 memory=2944 CPUtime=0.42 cores=1,3
/proc/56316/stat : 56316 (run-opt-break.s) S 56313 56316 54907 0 -1 4194304 237 5587 0 0 0 0 41 1 20 0 1 0 56225060 4292608 736 18446744073709551615 94711564955648 94711565850181 140727159354688 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94711566089232 94711566136976 94711567634432 140727159359841 140727159359970 140727159359970 140727159365572 0
/proc/56316/statm: 1048 736 672 219 0 110 0
[pid=56319] ppid=56316 vsize=243184 memory=178028 CPUtime=12.21 cores=1,3
/proc/56319/stat : 56319 (roundingsat) R 56316 56316 54907 0 -1 4194304 31999 0 0 0 1195 26 0 0 20 0 1 0 56225104 249020416 44507 18446744073709551615 4227072 8923433 140724133406384 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22978560 140724133415268 140724133415464 140724133415464 140724133421034 0
/proc/56319/statm: 60796 44507 2368 1147 0 48223 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 247376 KiB
Current children cumulated memory: 180972 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.09 4.09 5/266 56319
/proc/meminfo: memFree=126241248/131250000 swapFree=33010684/33010684
[pid=56316] ppid=56313 vsize=4192 memory=2944 CPUtime=0.42 cores=1,3
/proc/56316/stat : 56316 (run-opt-break.s) S 56313 56316 54907 0 -1 4194304 237 5587 0 0 0 0 41 1 20 0 1 0 56225060 4292608 736 18446744073709551615 94711564955648 94711565850181 140727159354688 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94711566089232 94711566136976 94711567634432 140727159359841 140727159359970 140727159359970 140727159365572 0
/proc/56316/statm: 1048 736 672 219 0 110 0
[pid=56319] ppid=56316 vsize=248572 memory=184900 CPUtime=24.98 cores=1,3
/proc/56319/stat : 56319 (roundingsat) R 56316 56316 54907 0 -1 4194304 33214 0 0 0 2456 42 0 0 20 0 1 0 56225104 254537728 46225 18446744073709551615 4227072 8923433 140724133406384 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22978560 140724133415268 140724133415464 140724133415464 140724133421034 0
/proc/56319/statm: 62143 46225 2368 1147 0 49570 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 252764 KiB
Current children cumulated memory: 187844 KiB
[startup+51.1057 s]
/proc/loadavg: 4.08 4.08 4.09 5/267 56321
/proc/meminfo: memFree=126203676/131250000 swapFree=33010684/33010684
[pid=56316] ppid=56313 vsize=4192 memory=2944 CPUtime=0.42 cores=1,3
/proc/56316/stat : 56316 (run-opt-break.s) S 56313 56316 54907 0 -1 4194304 237 5587 0 0 0 0 41 1 20 0 1 0 56225060 4292608 736 18446744073709551615 94711564955648 94711565850181 140727159354688 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94711566089232 94711566136976 94711567634432 140727159359841 140727159359970 140727159359970 140727159365572 0
/proc/56316/statm: 1048 736 672 219 0 110 0
[pid=56319] ppid=56316 vsize=258636 memory=195012 CPUtime=50.52 cores=1,3
/proc/56319/stat : 56319 (roundingsat) R 56316 56316 54907 0 -1 4194304 35738 0 0 0 4973 79 0 0 20 0 1 0 56225104 264843264 48753 18446744073709551615 4227072 8923433 140724133406384 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22978560 140724133415268 140724133415464 140724133415464 140724133421034 0
/proc/56319/statm: 64659 48753 2368 1147 0 52086 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 262828 KiB
Current children cumulated memory: 197956 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/269 56327
/proc/meminfo: memFree=126142944/131250000 swapFree=33010684/33010684
[pid=56316] ppid=56313 vsize=4192 memory=2944 CPUtime=0.42 cores=1,3
/proc/56316/stat : 56316 (run-opt-break.s) S 56313 56316 54907 0 -1 4194304 237 5587 0 0 0 0 41 1 20 0 1 0 56225060 4292608 736 18446744073709551615 94711564955648 94711565850181 140727159354688 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94711566089232 94711566136976 94711567634432 140727159359841 140727159359970 140727159359970 140727159365572 0
/proc/56316/statm: 1048 736 672 219 0 110 0
[pid=56319] ppid=56316 vsize=325368 memory=253728 CPUtime=101.58 cores=1,3
/proc/56319/stat : 56319 (roundingsat) R 56316 56316 54907 0 -1 4194304 46887 0 0 0 10024 134 0 0 20 0 1 0 56225104 333176832 63432 18446744073709551615 4227072 8923433 140724133406384 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22978560 140724133415268 140724133415464 140724133415464 140724133421034 0
/proc/56319/statm: 81342 63432 2368 1147 0 68769 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 329560 KiB
Current children cumulated memory: 256672 KiB
[startup+162.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/269 56376
/proc/meminfo: memFree=128218396/131250000 swapFree=33010684/33010684
[pid=56316] ppid=56313 vsize=4192 memory=2944 CPUtime=0.42 cores=1,3
/proc/56316/stat : 56316 (run-opt-break.s) S 56313 56316 54907 0 -1 4194304 237 5587 0 0 0 0 41 1 20 0 1 0 56225060 4292608 736 18446744073709551615 94711564955648 94711565850181 140727159354688 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94711566089232 94711566136976 94711567634432 140727159359841 140727159359970 140727159359970 140727159365572 0
/proc/56316/statm: 1048 736 672 219 0 110 0
[pid=56319] ppid=56316 vsize=355408 memory=288920 CPUtime=161.43 cores=1,3
/proc/56319/stat : 56319 (roundingsat) R 56316 56316 54907 0 -1 4194304 53652 0 0 0 15950 193 0 0 20 0 1 0 56225104 363937792 72230 18446744073709551615 4227072 8923433 140724133406384 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22978560 140724133415268 140724133415464 140724133415464 140724133421034 0
/proc/56319/statm: 88852 72230 2368 1147 0 76279 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 359600 KiB
Current children cumulated memory: 291864 KiB
[startup+222.3 s]
/proc/loadavg: 4.41 4.16 4.11 5/269 56378
/proc/meminfo: memFree=127993764/131250000 swapFree=33010684/33010684
[pid=56316] ppid=56313 vsize=4192 memory=2944 CPUtime=0.42 cores=1,3
/proc/56316/stat : 56316 (run-opt-break.s) S 56313 56316 54907 0 -1 4194304 237 5587 0 0 0 0 41 1 20 0 1 0 56225060 4292608 736 18446744073709551615 94711564955648 94711565850181 140727159354688 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94711566089232 94711566136976 94711567634432 140727159359841 140727159359970 140727159359970 140727159365572 0
/proc/56316/statm: 1048 736 672 219 0 110 0
[pid=56319] ppid=56316 vsize=614896 memory=483948 CPUtime=221.27 cores=1,3
/proc/56319/stat : 56319 (roundingsat) R 56316 56316 54907 0 -1 4194304 90726 0 0 0 21883 244 0 0 20 0 1 0 56225104 629653504 120987 18446744073709551615 4227072 8923433 140724133406384 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22978560 140724133415268 140724133415464 140724133415464 140724133421034 0
/proc/56319/statm: 153724 120987 2368 1147 0 141151 0
################
# More data... #
################
/proc/56319/statm: 388124 372097 2464 1147 0 375551 0
Current children cumulated CPU time: 3094.03 s
Current children cumulated vsize: 1556688 KiB
Current children cumulated memory: 1491332 KiB
[startup+3162.3 s]
/proc/loadavg: 3.08 3.47 3.82 4/259 56713
/proc/meminfo: memFree=127843680/131250000 swapFree=33010684/33010684
[pid=56316] ppid=56313 vsize=4192 memory=2944 CPUtime=0.42 cores=1,3
/proc/56316/stat : 56316 (run-opt-break.s) S 56313 56316 54907 0 -1 4194304 237 5587 0 0 0 0 41 1 20 0 1 0 56225060 4292608 736 18446744073709551615 94711564955648 94711565850181 140727159354688 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94711566089232 94711566136976 94711567634432 140727159359841 140727159359970 140727159359970 140727159365572 0
/proc/56316/statm: 1048 736 672 219 0 110 0
[pid=56319] ppid=56316 vsize=1553796 memory=1489284 CPUtime=3153.47 cores=1,3
/proc/56319/stat : 56319 (roundingsat) R 56316 56316 54907 0 -1 4194304 255709 0 0 0 313548 1799 0 0 20 0 1 0 56225104 1591087104 372321 18446744073709551615 4227072 8923433 140724133406384 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22978560 140724133415268 140724133415464 140724133415464 140724133421034 0
/proc/56319/statm: 388449 372321 2464 1147 0 375876 0
Current children cumulated CPU time: 3153.89 s
Current children cumulated vsize: 1557988 KiB
Current children cumulated memory: 1492228 KiB
[startup+3222.3 s]
/proc/loadavg: 3.06 3.40 3.77 4/260 56718
/proc/meminfo: memFree=127844664/131250000 swapFree=33010684/33010684
[pid=56316] ppid=56313 vsize=4192 memory=2944 CPUtime=0.42 cores=1,3
/proc/56316/stat : 56316 (run-opt-break.s) S 56313 56316 54907 0 -1 4194304 237 5587 0 0 0 0 41 1 20 0 1 0 56225060 4292608 736 18446744073709551615 94711564955648 94711565850181 140727159354688 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94711566089232 94711566136976 94711567634432 140727159359841 140727159359970 140727159359970 140727159365572 0
/proc/56316/statm: 1048 736 672 219 0 110 0
[pid=56319] ppid=56316 vsize=1554016 memory=1489412 CPUtime=3213.31 cores=1,3
/proc/56319/stat : 56319 (roundingsat) R 56316 56316 54907 0 -1 4194304 255777 0 0 0 319503 1828 0 0 20 0 1 0 56225104 1591312384 372353 18446744073709551615 4227072 8923433 140724133406384 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22978560 140724133415268 140724133415464 140724133415464 140724133421034 0
/proc/56319/statm: 388504 372353 2464 1147 0 375931 0
Current children cumulated CPU time: 3213.73 s
Current children cumulated vsize: 1558208 KiB
Current children cumulated memory: 1492356 KiB
[startup+3282.3 s]
/proc/loadavg: 3.07 3.34 3.72 4/260 56720
/proc/meminfo: memFree=127845856/131250000 swapFree=33010684/33010684
[pid=56316] ppid=56313 vsize=4192 memory=2944 CPUtime=0.42 cores=1,3
/proc/56316/stat : 56316 (run-opt-break.s) S 56313 56316 54907 0 -1 4194304 237 5587 0 0 0 0 41 1 20 0 1 0 56225060 4292608 736 18446744073709551615 94711564955648 94711565850181 140727159354688 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94711566089232 94711566136976 94711567634432 140727159359841 140727159359970 140727159359970 140727159365572 0
/proc/56316/statm: 1048 736 672 219 0 110 0
[pid=56319] ppid=56316 vsize=1554016 memory=1489540 CPUtime=3273.17 cores=1,3
/proc/56319/stat : 56319 (roundingsat) R 56316 56316 54907 0 -1 4194304 255790 0 0 0 325460 1857 0 0 20 0 1 0 56225104 1591312384 372385 18446744073709551615 4227072 8923433 140724133406384 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22978560 140724133415268 140724133415464 140724133415464 140724133421034 0
/proc/56319/statm: 388504 372385 2464 1147 0 375931 0
Current children cumulated CPU time: 3273.59 s
Current children cumulated vsize: 1558208 KiB
Current children cumulated memory: 1492484 KiB
[startup+3342.3 s]
/proc/loadavg: 3.13 3.30 3.69 4/260 56722
/proc/meminfo: memFree=127846904/131250000 swapFree=33010684/33010684
[pid=56316] ppid=56313 vsize=4192 memory=2944 CPUtime=0.42 cores=1,3
/proc/56316/stat : 56316 (run-opt-break.s) S 56313 56316 54907 0 -1 4194304 237 5587 0 0 0 0 41 1 20 0 1 0 56225060 4292608 736 18446744073709551615 94711564955648 94711565850181 140727159354688 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94711566089232 94711566136976 94711567634432 140727159359841 140727159359970 140727159359970 140727159365572 0
/proc/56316/statm: 1048 736 672 219 0 110 0
[pid=56319] ppid=56316 vsize=1554016 memory=1489540 CPUtime=3333.01 cores=1,3
/proc/56319/stat : 56319 (roundingsat) R 56316 56316 54907 0 -1 4194304 255798 0 0 0 331420 1881 0 0 20 0 1 0 56225104 1591312384 372385 18446744073709551615 4227072 8923433 140724133406384 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22978560 140724133415268 140724133415464 140724133415464 140724133421034 0
/proc/56319/statm: 388504 372385 2464 1147 0 375931 0
Current children cumulated CPU time: 3333.43 s
Current children cumulated vsize: 1558208 KiB
Current children cumulated memory: 1492484 KiB
[startup+3402.3 s]
/proc/loadavg: 2.82 3.20 3.63 3/255 56761
/proc/meminfo: memFree=127929240/131250000 swapFree=33010684/33010684
[pid=56316] ppid=56313 vsize=4192 memory=2944 CPUtime=0.42 cores=1,3
/proc/56316/stat : 56316 (run-opt-break.s) S 56313 56316 54907 0 -1 4194304 237 5587 0 0 0 0 41 1 20 0 1 0 56225060 4292608 736 18446744073709551615 94711564955648 94711565850181 140727159354688 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94711566089232 94711566136976 94711567634432 140727159359841 140727159359970 140727159359970 140727159365572 0
/proc/56316/statm: 1048 736 672 219 0 110 0
[pid=56319] ppid=56316 vsize=1554672 memory=1489796 CPUtime=3392.87 cores=1,3
/proc/56319/stat : 56319 (roundingsat) R 56316 56316 54907 0 -1 4194304 256481 0 0 0 337381 1906 0 0 20 0 1 0 56225104 1591984128 372449 18446744073709551615 4227072 8923433 140724133406384 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22978560 140724133415268 140724133415464 140724133415464 140724133421034 0
/proc/56319/statm: 388668 372449 2464 1147 0 376095 0
Current children cumulated CPU time: 3393.29 s
Current children cumulated vsize: 1558864 KiB
Current children cumulated memory: 1492740 KiB
[startup+3462.3 s]
/proc/loadavg: 2.44 3.01 3.53 3/256 56764
/proc/meminfo: memFree=127921988/131250000 swapFree=33010684/33010684
[pid=56316] ppid=56313 vsize=4192 memory=2944 CPUtime=0.42 cores=1,3
/proc/56316/stat : 56316 (run-opt-break.s) S 56313 56316 54907 0 -1 4194304 237 5587 0 0 0 0 41 1 20 0 1 0 56225060 4292608 736 18446744073709551615 94711564955648 94711565850181 140727159354688 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94711566089232 94711566136976 94711567634432 140727159359841 140727159359970 140727159359970 140727159365572 0
/proc/56316/statm: 1048 736 672 219 0 110 0
[pid=56319] ppid=56316 vsize=1556792 memory=1491332 CPUtime=3452.74 cores=1,3
/proc/56319/stat : 56319 (roundingsat) R 56316 56316 54907 0 -1 4194304 256905 0 0 0 343350 1924 0 0 20 0 1 0 56225104 1594155008 372833 18446744073709551615 4227072 8923433 140724133406384 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22978560 140724133415268 140724133415464 140724133415464 140724133421034 0
/proc/56319/statm: 389198 372833 2464 1147 0 376625 0
Current children cumulated CPU time: 3453.16 s
Current children cumulated vsize: 1560984 KiB
Current children cumulated memory: 1494276 KiB
[startup+3522.3 s]
/proc/loadavg: 2.22 2.84 3.44 3/255 56766
/proc/meminfo: memFree=127922604/131250000 swapFree=33010684/33010684
[pid=56316] ppid=56313 vsize=4192 memory=2944 CPUtime=0.42 cores=1,3
/proc/56316/stat : 56316 (run-opt-break.s) S 56313 56316 54907 0 -1 4194304 237 5587 0 0 0 0 41 1 20 0 1 0 56225060 4292608 736 18446744073709551615 94711564955648 94711565850181 140727159354688 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94711566089232 94711566136976 94711567634432 140727159359841 140727159359970 140727159359970 140727159365572 0
/proc/56316/statm: 1048 736 672 219 0 110 0
[pid=56319] ppid=56316 vsize=1557296 memory=1492868 CPUtime=3512.6 cores=1,3
/proc/56319/stat : 56319 (roundingsat) R 56316 56316 54907 0 -1 4194304 257306 0 0 0 349312 1948 0 0 20 0 1 0 56225104 1594671104 373217 18446744073709551615 4227072 8923433 140724133406384 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22978560 140724133415268 140724133415464 140724133415464 140724133421034 0
/proc/56319/statm: 389324 373217 2464 1147 0 376751 0
Current children cumulated CPU time: 3513.02 s
Current children cumulated vsize: 1561488 KiB
Current children cumulated memory: 1495812 KiB
[startup+3582.3 s]
/proc/loadavg: 2.13 2.70 3.35 3/255 56768
/proc/meminfo: memFree=127918804/131250000 swapFree=33010684/33010684
[pid=56316] ppid=56313 vsize=4192 memory=2944 CPUtime=0.42 cores=1,3
/proc/56316/stat : 56316 (run-opt-break.s) S 56313 56316 54907 0 -1 4194304 237 5587 0 0 0 0 41 1 20 0 1 0 56225060 4292608 736 18446744073709551615 94711564955648 94711565850181 140727159354688 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94711566089232 94711566136976 94711567634432 140727159359841 140727159359970 140727159359970 140727159365572 0
/proc/56316/statm: 1048 736 672 219 0 110 0
[pid=56319] ppid=56316 vsize=1559656 memory=1494660 CPUtime=3572.48 cores=1,3
/proc/56319/stat : 56319 (roundingsat) R 56316 56316 54907 0 -1 4194304 257767 0 0 0 355280 1968 0 0 20 0 1 0 56225104 1597087744 373665 18446744073709551615 4227072 8923433 140724133406384 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22978560 140724133415268 140724133415464 140724133415464 140724133421034 0
/proc/56319/statm: 389914 373665 2464 1147 0 377341 0
Current children cumulated CPU time: 3572.9 s
Current children cumulated vsize: 1563848 KiB
Current children cumulated memory: 1497604 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.5 s]
/proc/loadavg: 2.14 2.65 3.31 3/255 56769
/proc/meminfo: memFree=127902724/131250000 swapFree=33010684/33010684
[pid=56316] ppid=56313 vsize=4192 memory=2944 CPUtime=0.42 cores=1,3
/proc/56316/stat : 56316 (run-opt-break.s) S 56313 56316 54907 0 -1 4194304 237 5587 0 0 0 0 41 1 20 0 1 0 56225060 4292608 736 18446744073709551615 94711564955648 94711565850181 140727159354688 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94711566089232 94711566136976 94711567634432 140727159359841 140727159359970 140727159359970 140727159365572 0
/proc/56316/statm: 1048 736 672 219 0 110 0
[pid=56319] ppid=56316 vsize=1580712 memory=1508612 CPUtime=3599.62 cores=1,3
/proc/56319/stat : 56319 (roundingsat) R 56316 56316 54907 0 -1 4194304 261250 0 0 0 357981 1981 0 0 20 0 1 0 56225104 1618649088 377153 18446744073709551615 4227072 8923433 140724133406384 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22978560 140724133415268 140724133415464 140724133415464 140724133421034 0
/proc/56319/statm: 395178 377153 2464 1147 0 382605 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1584904 KiB
Current children cumulated memory: 1511556 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.5 s]
# the end of solver process 56316 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.410285 s, system=0.015322 s
Sleeping 2 seconds
[startup+3609.51 s]
# the end of solver process 56319 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3580.23 s, system=19.8365 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.5 s]
/proc/loadavg: 2.14 2.65 3.31 3/255 56769
/proc/meminfo: memFree=127902724/131250000 swapFree=33010684/33010684
[pid=56316] ppid=56313 vsize=4192 memory=2944 CPUtime=0.42 cores=1,3
/proc/56316/stat : 56316 (run-opt-break.s) S 56313 56316 54907 0 -1 4194304 237 5587 0 0 0 0 41 1 20 0 1 0 56225060 4292608 736 18446744073709551615 94711564955648 94711565850181 140727159354688 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94711566089232 94711566136976 94711567634432 140727159359841 140727159359970 140727159359970 140727159365572 0
/proc/56316/statm: 1048 736 672 219 0 110 0
[pid=56319] ppid=56316 vsize=1580712 memory=1508612 CPUtime=3599.62 cores=1,3
/proc/56319/stat : 56319 (roundingsat) R 56316 56316 54907 0 -1 4194304 261250 0 0 0 357981 1981 0 0 20 0 1 0 56225104 1618649088 377153 18446744073709551615 4227072 8923433 140724133406384 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22978560 140724133415268 140724133415464 140724133415464 140724133421034 0
/proc/56319/statm: 395178 377153 2464 1147 0 382605 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1584904 KiB
Current children cumulated memory: 1511556 KiB
Child status: 2
Real time (s): 3609.51
CPU time (s): 3600.07
CPU user time (s): 3580.23
CPU system time (s): 19.8365
CPU usage (%): 99.7383
Max. virtual memory (cumulated for all children) (KiB): 1584904
Max. memory (cumulated for all children) (KiB): 1511556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.23
system time used= 19.8365
maximum resident set size= 1508868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267093
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4408
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 378
involuntary context switches= 6137
# summary of solver processes directly reported to runsolver:
# pid: 56316,56319
# total CPU time (s): 3600.07
# total CPU user time (s): 3580.23
# total CPU system time (s): 19.8365
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.46699 second user time and 16.4368 second system time
The end
Begin job on nodeC028 at 2025-07-01 23:40:25
IDJOB=4499308
IDBENCH=148775
IDSOLVER=3359
FILE ID=nodeC028/4499308-1751406025
RUNJOBID= nodeC028-1751398701-54922
SLURM_JOB_ID= 9598282
Free space on /tmp= 432892 MiB
SOLVER NAME= roundingsat+pbsuma-opt 63f22ad
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx75.opb
COMMAND LINE= run-opt-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4499308-1751406025/watcher-4499308-1751406025 -o /tmp/evaluation-result-4499308-1751406025/solver-4499308-1751406025 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751398701-54922 --watchdog 3760 run-opt-break.sh HOME/instance-4499308-1751406025.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a11c5c9a015f48f3bddc22713bc48593
RANDOM SEED=1308919202
nodeC028 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 : 3600.084
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 : 7000.16
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 : 3600.098
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 : 7000.16
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 : 3599.383
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 : 7000.16
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 : 3625.102
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 : 7000.16
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 : 3600.159
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 : 7000.16
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 : 3600.083
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 : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.064
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 : 7000.16
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 : 3601.454
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 : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 126372792 kB
MemAvailable: 126544880 kB
Buffers: 3280 kB
Cached: 978316 kB
SwapCached: 0 kB
Active: 3549076 kB
Inactive: 669188 kB
Active(anon): 3254736 kB
Inactive(anon): 0 kB
Active(file): 294340 kB
Inactive(file): 669188 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7448 kB
Writeback: 20 kB
AnonPages: 3239124 kB
Mapped: 117564 kB
Shmem: 18068 kB
KReclaimable: 95600 kB
Slab: 182460 kB
SReclaimable: 95600 kB
SUnreclaim: 86860 kB
KernelStack: 4316 kB
PageTables: 10504 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 4096712 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150600 kB
VmallocChunk: 0 kB
Percpu: 3712 kB
HardwareCorrupted: 0 kB
AnonHugePages: 327680 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: 197332 kB
DirectMap2M: 7962624 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432904 MiB
End job on nodeC028 at 2025-07-02 00:40:35