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-4499168-1751405307.opb'
0.00/0.01 c read 0.32MB (4.00ms)
0.00/0.01 c [cnf: #variables 3216 #clauses 3659 #duplicates 0 #arr 33834]
0.00/0.01 c
0.00/0.01 c make graph and approximate orbits
0.00/0.02 c [group: #orbits ~= 38] (4.05ms)
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.02 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.04 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.04 c recursing 216 blocks of candidate 6x1072r
0.00/0.04 c found row 3x12, generating row predicate
0.00/0.05 c found row 10x12, generating row predicate
0.00/0.05 c found row 6x1072, generating row predicate
0.00/0.05 c (35.60ms)
0.00/0.05 c
0.00/0.05 c detect symmetries on remainder
0.00/0.05 c [graph: #vertices 19325 #edges 92568]
0.00/0.05 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.07 c [group: #symmetries 4.80*10^130 #generators 353] (19.64ms)
0.00/0.07 c
0.00/0.07 c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.09 c opt it=15, l=10538, m=252, opt=10, avg=281, b=12, gens=353
0.08/0.11 c opt it=31, l=15703, m=530, opt=25, avg=274, b=12, gens=353
0.08/0.12 c opt it=47, l=20868, m=788, opt=38, avg=269, b=12, gens=353
0.08/0.13 c opt it=63, l=26030, m=1046, opt=50, avg=264, b=12, gens=353
0.08/0.14 c ran it=0, +gens=44
0.08/0.20 c con best_support=12, best_gens=192, +gens=244
0.08/0.20 c (126.81ms)
0.08/0.20 c
0.08/0.20 c finalize break order and special generators
0.08/0.20 c
0.08/0.20 c add generic predicates (break_depth=20)
0.18/0.21 c added predicates for 641 generators (7.20ms)
0.18/0.21 c
0.18/0.21 c generation finished
0.18/0.21 c [sbp: #constraints 33540 #add_vars 10961]
0.18/0.21 c
0.18/0.21 c write result to 'HOME/instance-4499168-1751405307.opb.pre'
0.18/0.21 c wrote 1.54MB (3.64ms)
0.18/0.21 c ------------------------------------------------------------------
0.18/0.21 c 126.81ms 62.42% optimize_gens
0.18/0.21 c 35.60ms 17.52% detect_special
0.18/0.21 c 19.64ms 9.67% detect_generic
0.18/0.21 c 7.20ms 3.55% break_generic
0.18/0.21 c 4.05ms 1.99% approx_orbits
0.18/0.21 c 4.00ms 1.97% parse
0.18/0.21 c 3.64ms 1.79% output
0.18/0.21 c 1.29ms 0.63% finalize_order
0.18/0.21 c 0.94ms 0.46% other
0.18/0.21 c ───────────────────────────────────────────────
0.18/0.21 c 203.16ms 100% total
0.18/0.21 c ------------------------------------------------------------------
0.18/0.23 c RoundingSat 2
0.18/0.23 c branch pb25
0.18/0.23 c commit 63f22ad
0.37/0.41 c #variables 14177 #constraints 37241
0.37/0.41 c objective is ce32
0.47/0.55 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.47/0.55 c initial counting CF 32, 64, 128, Arb: 385 , 0 , 0 , 0
0.47/0.55 c bounds - >= 0 @ 0.273654
1.56/1.68 c #Conflicts: 1000 | #Constraints: 38240
1.56/1.68 c #Conflicts: 2000 | #Constraints: 39240
1.56/1.68 c INPROCESSING
1.56/1.68 c GARBAGE COLLECT
1.56/1.68 c rational objective 6
2.55/2.60 c #Conflicts: 3000 | #Constraints: 36027
2.55/2.60 c #Conflicts: 4000 | #Constraints: 37027
2.55/2.60 c INPROCESSING
2.55/2.60 c GARBAGE COLLECT
2.55/2.60 c rational objective 6
4.25/4.38 c #Conflicts: 5000 | #Constraints: 36416
4.25/4.38 c #Conflicts: 6000 | #Constraints: 37417
4.25/4.38 c INPROCESSING
4.25/4.38 c GARBAGE COLLECT
4.25/4.38 c rational objective 6
5.55/5.62 c #Conflicts: 7000 | #Constraints: 36098
5.55/5.62 c #Conflicts: 8000 | #Constraints: 37098
5.55/5.62 c #Conflicts: 9000 | #Constraints: 38098
5.55/5.62 c INPROCESSING
5.55/5.62 c GARBAGE COLLECT
5.55/5.62 c rational objective 6
7.44/7.58 c #Conflicts: 10000 | #Constraints: 36797
7.44/7.58 c #Conflicts: 11000 | #Constraints: 37797
7.44/7.58 c #Conflicts: 12000 | #Constraints: 38797
7.44/7.58 c INPROCESSING
7.44/7.58 c GARBAGE COLLECT
7.44/7.58 c rational objective 6
10.44/10.59 c #Conflicts: 13000 | #Constraints: 37229
10.44/10.59 c #Conflicts: 14000 | #Constraints: 38229
10.44/10.59 c #Conflicts: 15000 | #Constraints: 39230
10.44/10.59 c INPROCESSING
10.44/10.59 c GARBAGE COLLECT
10.44/10.59 c rational objective 6
12.73/12.86 c #Conflicts: 16000 | #Constraints: 37461
12.73/12.86 c #Conflicts: 17000 | #Constraints: 38461
12.73/12.86 c #Conflicts: 18000 | #Constraints: 39461
12.73/12.86 c INPROCESSING
12.73/12.86 c GARBAGE COLLECT
12.73/12.86 c rational objective 6
15.13/15.22 c #Conflicts: 19000 | #Constraints: 37476
15.13/15.22 c #Conflicts: 20000 | #Constraints: 38476
15.13/15.22 c #Conflicts: 21000 | #Constraints: 39476
15.13/15.22 c INPROCESSING
15.13/15.22 c GARBAGE COLLECT
15.13/15.22 c rational objective 6
17.93/18.03 c #Conflicts: 22000 | #Constraints: 37187
17.93/18.03 c #Conflicts: 23000 | #Constraints: 38187
17.93/18.03 c #Conflicts: 24000 | #Constraints: 39187
17.93/18.03 c #Conflicts: 25000 | #Constraints: 40188
17.93/18.03 c INPROCESSING
17.93/18.03 c GARBAGE COLLECT
17.93/18.03 c rational objective 6
20.51/20.65 c #Conflicts: 26000 | #Constraints: 37810
20.51/20.65 c #Conflicts: 27000 | #Constraints: 38810
20.51/20.65 c #Conflicts: 28000 | #Constraints: 39810
20.51/20.65 c #Conflicts: 29000 | #Constraints: 40810
20.51/20.65 c INPROCESSING
20.51/20.65 c GARBAGE COLLECT
20.51/20.65 c rational objective 6
22.71/22.81 c #Conflicts: 30000 | #Constraints: 38198
22.71/22.81 c #Conflicts: 31000 | #Constraints: 39199
22.71/22.81 c #Conflicts: 32000 | #Constraints: 40199
22.71/22.81 c #Conflicts: 33000 | #Constraints: 41199
22.71/22.81 c INPROCESSING
22.71/22.81 c GARBAGE COLLECT
22.71/22.81 c rational objective 6
26.00/26.11 c #Conflicts: 34000 | #Constraints: 38358
26.00/26.11 c #Conflicts: 35000 | #Constraints: 39358
26.00/26.11 c #Conflicts: 36000 | #Constraints: 40358
26.00/26.11 c #Conflicts: 37000 | #Constraints: 41360
26.00/26.11 c INPROCESSING
26.00/26.11 c GARBAGE COLLECT
26.00/26.11 c rational objective 6
28.09/28.20 c #Conflicts: 38000 | #Constraints: 38248
28.09/28.20 c #Conflicts: 39000 | #Constraints: 39249
28.09/28.20 c #Conflicts: 40000 | #Constraints: 40249
28.09/28.20 c #Conflicts: 41000 | #Constraints: 41250
28.09/28.20 c INPROCESSING
28.09/28.20 c GARBAGE COLLECT
28.09/28.20 c rational objective 6
31.89/32.10 c #Conflicts: 42000 | #Constraints: 38049
31.89/32.10 c #Conflicts: 43000 | #Constraints: 39049
31.89/32.10 c #Conflicts: 44000 | #Constraints: 40049
31.89/32.10 c #Conflicts: 45000 | #Constraints: 41049
31.89/32.10 c #Conflicts: 46000 | #Constraints: 42049
31.89/32.10 c INPROCESSING
31.89/32.10 c GARBAGE COLLECT
31.89/32.10 c rational objective 6
34.98/35.12 c #Conflicts: 47000 | #Constraints: 38600
34.98/35.12 c #Conflicts: 48000 | #Constraints: 39600
34.98/35.12 c #Conflicts: 49000 | #Constraints: 40600
34.98/35.12 c #Conflicts: 50000 | #Constraints: 41600
34.98/35.12 c #Conflicts: 51000 | #Constraints: 42601
34.98/35.12 c INPROCESSING
34.98/35.12 c GARBAGE COLLECT
34.98/35.12 c rational objective 6
38.77/38.94 c #Conflicts: 52000 | #Constraints: 39005
38.77/38.94 c #Conflicts: 53000 | #Constraints: 40005
38.77/38.94 c #Conflicts: 54000 | #Constraints: 41005
38.77/38.94 c #Conflicts: 55000 | #Constraints: 42005
38.77/38.94 c #Conflicts: 56000 | #Constraints: 43005
38.77/38.94 c INPROCESSING
38.77/38.94 c GARBAGE COLLECT
38.77/38.94 c rational objective 6
43.76/43.96 c #Conflicts: 57000 | #Constraints: 39200
43.76/43.96 c #Conflicts: 58000 | #Constraints: 40201
43.76/43.96 c #Conflicts: 59000 | #Constraints: 41204
43.76/43.96 c #Conflicts: 60000 | #Constraints: 42207
43.76/43.96 c #Conflicts: 61000 | #Constraints: 43207
43.76/43.96 c INPROCESSING
43.76/43.96 c GARBAGE COLLECT
43.76/43.96 c rational objective 6
48.34/48.57 c #Conflicts: 62000 | #Constraints: 39203
48.34/48.57 c #Conflicts: 63000 | #Constraints: 40204
48.34/48.57 c #Conflicts: 64000 | #Constraints: 41204
48.34/48.57 c #Conflicts: 65000 | #Constraints: 42204
48.34/48.57 c #Conflicts: 66000 | #Constraints: 43204
48.34/48.57 c INPROCESSING
48.34/48.57 c GARBAGE COLLECT
48.34/48.57 c rational objective 6
54.03/54.29 c #Conflicts: 67000 | #Constraints: 38765
54.03/54.29 c #Conflicts: 68000 | #Constraints: 39765
54.03/54.29 c #Conflicts: 69000 | #Constraints: 40765
54.03/54.29 c #Conflicts: 70000 | #Constraints: 41765
54.03/54.29 c #Conflicts: 71000 | #Constraints: 42765
54.03/54.29 c #Conflicts: 72000 | #Constraints: 43766
54.03/54.29 c INPROCESSING
54.03/54.29 c GARBAGE COLLECT
54.03/54.29 c rational objective 6
59.71/59.94 c #Conflicts: 73000 | #Constraints: 39285
59.71/59.94 c #Conflicts: 74000 | #Constraints: 40285
59.71/59.94 c #Conflicts: 75000 | #Constraints: 41285
59.71/59.94 c #Conflicts: 76000 | #Constraints: 42285
59.71/59.94 c #Conflicts: 77000 | #Constraints: 43285
59.71/59.94 c #Conflicts: 78000 | #Constraints: 44286
59.71/59.94 c INPROCESSING
59.71/59.94 c GARBAGE COLLECT
59.71/59.94 c rational objective 6
64.70/64.90 c #Conflicts: 79000 | #Constraints: 39161
64.70/64.90 c #Conflicts: 80000 | #Constraints: 40161
64.70/64.90 c #Conflicts: 81000 | #Constraints: 41161
64.70/64.90 c #Conflicts: 82000 | #Constraints: 42161
64.70/64.90 c #Conflicts: 83000 | #Constraints: 43165
64.70/64.90 c #Conflicts: 84000 | #Constraints: 44167
64.70/64.90 c INPROCESSING
64.70/64.90 c GARBAGE COLLECT
64.70/64.90 c rational objective 6
68.30/68.52 c #Conflicts: 85000 | #Constraints: 39353
68.30/68.52 c #Conflicts: 86000 | #Constraints: 40353
68.30/68.52 c #Conflicts: 87000 | #Constraints: 41353
68.30/68.52 c #Conflicts: 88000 | #Constraints: 42353
68.30/68.52 c #Conflicts: 89000 | #Constraints: 43353
68.30/68.52 c #Conflicts: 90000 | #Constraints: 44354
68.30/68.52 c INPROCESSING
68.30/68.52 c GARBAGE COLLECT
68.30/68.52 c rational objective 6
74.08/74.30 c #Conflicts: 91000 | #Constraints: 39349
74.08/74.30 c #Conflicts: 92000 | #Constraints: 40349
74.08/74.30 c #Conflicts: 93000 | #Constraints: 41349
74.08/74.30 c #Conflicts: 94000 | #Constraints: 42349
74.08/74.30 c #Conflicts: 95000 | #Constraints: 43351
74.08/74.30 c #Conflicts: 96000 | #Constraints: 44353
74.08/74.30 c INPROCESSING
74.08/74.30 c GARBAGE COLLECT
74.08/74.30 c rational objective 6
82.35/82.66 c #Conflicts: 97000 | #Constraints: 39160
82.35/82.66 c #Conflicts: 98000 | #Constraints: 40161
82.35/82.66 c #Conflicts: 99000 | #Constraints: 41163
82.35/82.66 c #Conflicts: 100000 | #Constraints: 42165
82.35/82.66 c #Conflicts: 101000 | #Constraints: 43167
82.35/82.66 c #Conflicts: 102000 | #Constraints: 44172
82.35/82.66 c #Conflicts: 103000 | #Constraints: 45175
82.35/82.66 c INPROCESSING
82.35/82.66 c GARBAGE COLLECT
82.35/82.66 c rational objective 6
91.43/91.77 c #Conflicts: 104000 | #Constraints: 39614
91.43/91.77 c #Conflicts: 105000 | #Constraints: 40615
91.43/91.77 c #Conflicts: 106000 | #Constraints: 41617
91.43/91.77 c #Conflicts: 107000 | #Constraints: 42619
91.43/91.77 c #Conflicts: 108000 | #Constraints: 43623
91.43/91.77 c #Conflicts: 109000 | #Constraints: 44623
91.43/91.77 c #Conflicts: 110000 | #Constraints: 45623
91.43/91.77 c INPROCESSING
91.43/91.77 c GARBAGE COLLECT
91.43/91.77 c rational objective 6
98.61/98.98 c #Conflicts: 111000 | #Constraints: 39907
98.61/98.98 c #Conflicts: 112000 | #Constraints: 40907
98.61/98.98 c #Conflicts: 113000 | #Constraints: 41908
98.61/98.98 c #Conflicts: 114000 | #Constraints: 42908
98.61/98.98 c #Conflicts: 115000 | #Constraints: 43908
98.61/98.98 c #Conflicts: 116000 | #Constraints: 44908
98.61/98.98 c #Conflicts: 117000 | #Constraints: 45908
98.61/98.98 c INPROCESSING
98.61/98.98 c GARBAGE COLLECT
98.61/98.98 c rational objective 6
104.29/104.66 c #Conflicts: 118000 | #Constraints: 40073
104.29/104.66 c #Conflicts: 119000 | #Constraints: 41074
104.29/104.66 c #Conflicts: 120000 | #Constraints: 42074
104.29/104.66 c #Conflicts: 121000 | #Constraints: 43074
104.29/104.66 c #Conflicts: 122000 | #Constraints: 44075
104.29/104.66 c #Conflicts: 123000 | #Constraints: 45077
104.29/104.66 c #Conflicts: 124000 | #Constraints: 46077
104.29/104.66 c INPROCESSING
104.29/104.66 c GARBAGE COLLECT
104.29/104.66 c rational objective 6
110.98/111.35 c #Conflicts: 125000 | #Constraints: 40075
110.98/111.35 c #Conflicts: 126000 | #Constraints: 41076
110.98/111.35 c #Conflicts: 127000 | #Constraints: 42077
110.98/111.35 c #Conflicts: 128000 | #Constraints: 43079
110.98/111.35 c #Conflicts: 129000 | #Constraints: 44080
110.98/111.35 c #Conflicts: 130000 | #Constraints: 45080
110.98/111.35 c #Conflicts: 131000 | #Constraints: 46082
110.98/111.35 c INPROCESSING
110.98/111.35 c GARBAGE COLLECT
110.98/111.35 c rational objective 6
117.77/118.18 c #Conflicts: 132000 | #Constraints: 39851
117.77/118.18 c #Conflicts: 133000 | #Constraints: 40852
117.77/118.18 c #Conflicts: 134000 | #Constraints: 41852
117.77/118.18 c #Conflicts: 135000 | #Constraints: 42852
117.77/118.18 c #Conflicts: 136000 | #Constraints: 43853
117.77/118.18 c #Conflicts: 137000 | #Constraints: 44853
117.77/118.18 c #Conflicts: 138000 | #Constraints: 45853
117.77/118.18 c #Conflicts: 139000 | #Constraints: 46854
117.77/118.18 c INPROCESSING
117.77/118.18 c GARBAGE COLLECT
117.77/118.18 c rational objective 6
125.34/125.76 c #Conflicts: 140000 | #Constraints: 40439
125.34/125.76 c #Conflicts: 141000 | #Constraints: 41439
125.34/125.76 c #Conflicts: 142000 | #Constraints: 42439
125.34/125.76 c #Conflicts: 143000 | #Constraints: 43439
125.34/125.76 c #Conflicts: 144000 | #Constraints: 44439
125.34/125.76 c #Conflicts: 145000 | #Constraints: 45439
125.34/125.76 c #Conflicts: 146000 | #Constraints: 46440
125.34/125.76 c #Conflicts: 147000 | #Constraints: 47441
125.34/125.76 c INPROCESSING
125.34/125.76 c GARBAGE COLLECT
125.34/125.76 c rational objective 6
132.73/133.16 c #Conflicts: 148000 | #Constraints: 40851
132.73/133.16 c #Conflicts: 149000 | #Constraints: 41851
132.73/133.16 c #Conflicts: 150000 | #Constraints: 42851
132.73/133.16 c #Conflicts: 151000 | #Constraints: 43851
132.73/133.16 c #Conflicts: 152000 | #Constraints: 44851
132.73/133.16 c #Conflicts: 153000 | #Constraints: 45852
132.73/133.16 c #Conflicts: 154000 | #Constraints: 46853
132.73/133.16 c #Conflicts: 155000 | #Constraints: 47853
132.73/133.16 c INPROCESSING
132.73/133.16 c GARBAGE COLLECT
132.73/133.16 c rational objective 6
139.81/140.22 c #Conflicts: 156000 | #Constraints: 41051
139.81/140.22 c #Conflicts: 157000 | #Constraints: 42051
139.81/140.22 c #Conflicts: 158000 | #Constraints: 43052
139.81/140.22 c #Conflicts: 159000 | #Constraints: 44055
139.81/140.22 c #Conflicts: 160000 | #Constraints: 45060
139.81/140.22 c #Conflicts: 161000 | #Constraints: 46063
139.81/140.22 c #Conflicts: 162000 | #Constraints: 47064
139.81/140.22 c #Conflicts: 163000 | #Constraints: 48064
139.81/140.22 c INPROCESSING
139.81/140.22 c GARBAGE COLLECT
139.81/140.22 c rational objective 6
147.39/147.82 c #Conflicts: 164000 | #Constraints: 40906
147.39/147.82 c #Conflicts: 165000 | #Constraints: 41906
147.39/147.82 c #Conflicts: 166000 | #Constraints: 42906
147.39/147.82 c #Conflicts: 167000 | #Constraints: 43906
147.39/147.82 c #Conflicts: 168000 | #Constraints: 44906
147.39/147.82 c #Conflicts: 169000 | #Constraints: 45907
147.39/147.82 c #Conflicts: 170000 | #Constraints: 46909
147.39/147.82 c #Conflicts: 171000 | #Constraints: 47911
147.39/147.82 c INPROCESSING
147.39/147.82 c GARBAGE COLLECT
147.39/147.82 c rational objective 6
154.97/155.43 c #Conflicts: 172000 | #Constraints: 40677
154.97/155.43 c #Conflicts: 173000 | #Constraints: 41677
154.97/155.43 c #Conflicts: 174000 | #Constraints: 42677
154.97/155.43 c #Conflicts: 175000 | #Constraints: 43678
154.97/155.43 c #Conflicts: 176000 | #Constraints: 44680
154.97/155.43 c #Conflicts: 177000 | #Constraints: 45681
154.97/155.43 c #Conflicts: 178000 | #Constraints: 46684
154.97/155.43 c #Conflicts: 179000 | #Constraints: 47685
154.97/155.43 c #Conflicts: 180000 | #Constraints: 48686
154.97/155.43 c INPROCESSING
154.97/155.43 c GARBAGE COLLECT
154.97/155.43 c rational objective 6
164.35/164.85 c #Conflicts: 181000 | #Constraints: 41177
164.35/164.85 c #Conflicts: 182000 | #Constraints: 42177
164.35/164.85 c #Conflicts: 183000 | #Constraints: 43177
164.35/164.85 c #Conflicts: 184000 | #Constraints: 44177
164.35/164.85 c #Conflicts: 185000 | #Constraints: 45179
164.35/164.85 c #Conflicts: 186000 | #Constraints: 46182
164.35/164.85 c #Conflicts: 187000 | #Constraints: 47184
164.35/164.85 c #Conflicts: 188000 | #Constraints: 48185
164.35/164.85 c #Conflicts: 189000 | #Constraints: 49187
164.35/164.85 c INPROCESSING
164.35/164.85 c GARBAGE COLLECT
164.35/164.85 c rational objective 6
175.42/175.91 c #Conflicts: 190000 | #Constraints: 41193
175.42/175.91 c #Conflicts: 191000 | #Constraints: 42193
175.42/175.91 c #Conflicts: 192000 | #Constraints: 43193
175.42/175.91 c #Conflicts: 193000 | #Constraints: 44194
175.42/175.91 c #Conflicts: 194000 | #Constraints: 45194
175.42/175.91 c #Conflicts: 195000 | #Constraints: 46194
175.42/175.91 c #Conflicts: 196000 | #Constraints: 47196
175.42/175.91 c #Conflicts: 197000 | #Constraints: 48198
175.42/175.91 c #Conflicts: 198000 | #Constraints: 49200
175.42/175.91 c INPROCESSING
175.42/175.91 c GARBAGE COLLECT
175.42/175.91 c rational objective 6
190.37/190.92 c #Conflicts: 199000 | #Constraints: 41378
190.37/190.92 c #Conflicts: 200000 | #Constraints: 42378
190.37/190.92 c #Conflicts: 201000 | #Constraints: 43378
190.37/190.92 c #Conflicts: 202000 | #Constraints: 44380
190.37/190.92 c #Conflicts: 203000 | #Constraints: 45382
190.37/190.92 c #Conflicts: 204000 | #Constraints: 46384
190.37/190.92 c #Conflicts: 205000 | #Constraints: 47385
190.37/190.92 c #Conflicts: 206000 | #Constraints: 48388
190.37/190.92 c #Conflicts: 207000 | #Constraints: 49388
190.37/190.92 c INPROCESSING
190.37/190.92 c GARBAGE COLLECT
190.37/190.92 c rational objective 6
207.23/207.85 c #Conflicts: 208000 | #Constraints: 41374
207.23/207.85 c #Conflicts: 209000 | #Constraints: 42374
207.23/207.85 c #Conflicts: 210000 | #Constraints: 43377
207.23/207.85 c #Conflicts: 211000 | #Constraints: 44379
207.23/207.85 c #Conflicts: 212000 | #Constraints: 45384
207.23/207.85 c #Conflicts: 213000 | #Constraints: 46386
207.23/207.85 c #Conflicts: 214000 | #Constraints: 47389
207.23/207.85 c #Conflicts: 215000 | #Constraints: 48392
207.23/207.85 c #Conflicts: 216000 | #Constraints: 49393
207.23/207.85 c INPROCESSING
207.23/207.85 c GARBAGE COLLECT
207.23/207.85 c rational objective 6
224.79/225.44 c #Conflicts: 217000 | #Constraints: 41136
224.79/225.44 c #Conflicts: 218000 | #Constraints: 42136
224.79/225.44 c #Conflicts: 219000 | #Constraints: 43136
224.79/225.44 c #Conflicts: 220000 | #Constraints: 44137
224.79/225.44 c #Conflicts: 221000 | #Constraints: 45139
224.79/225.44 c #Conflicts: 222000 | #Constraints: 46140
224.79/225.44 c #Conflicts: 223000 | #Constraints: 47141
224.79/225.44 c #Conflicts: 224000 | #Constraints: 48141
224.79/225.44 c #Conflicts: 225000 | #Constraints: 49142
224.79/225.44 c #Conflicts: 226000 | #Constraints: 50143
224.79/225.44 c INPROCESSING
224.79/225.44 c GARBAGE COLLECT
224.79/225.44 c rational objective 6
233.67/234.37 c #Conflicts: 227000 | #Constraints: 41690
233.67/234.37 c #Conflicts: 228000 | #Constraints: 42690
233.67/234.37 c #Conflicts: 229000 | #Constraints: 43690
233.67/234.37 c #Conflicts: 230000 | #Constraints: 44690
233.67/234.37 c #Conflicts: 231000 | #Constraints: 45690
233.67/234.37 c #Conflicts: 232000 | #Constraints: 46691
233.67/234.37 c #Conflicts: 233000 | #Constraints: 47694
233.67/234.37 c #Conflicts: 234000 | #Constraints: 48694
233.67/234.37 c #Conflicts: 235000 | #Constraints: 49695
233.67/234.37 c #Conflicts: 236000 | #Constraints: 50696
233.67/234.37 c INPROCESSING
233.67/234.37 c GARBAGE COLLECT
233.67/234.37 c rational objective 6
245.03/245.70 c #Conflicts: 237000 | #Constraints: 42046
245.03/245.70 c #Conflicts: 238000 | #Constraints: 43046
245.03/245.70 c #Conflicts: 239000 | #Constraints: 44046
245.03/245.70 c #Conflicts: 240000 | #Constraints: 45047
245.03/245.70 c #Conflicts: 241000 | #Constraints: 46049
245.03/245.70 c #Conflicts: 242000 | #Constraints: 47050
245.03/245.70 c #Conflicts: 243000 | #Constraints: 48051
245.03/245.70 c #Conflicts: 244000 | #Constraints: 49052
245.03/245.70 c #Conflicts: 245000 | #Constraints: 50053
245.03/245.70 c #Conflicts: 246000 | #Constraints: 51054
245.03/245.70 c INPROCESSING
245.03/245.70 c GARBAGE COLLECT
245.03/245.70 c rational objective 6
255.42/256.15 c #Conflicts: 247000 | #Constraints: 42250
255.42/256.15 c #Conflicts: 248000 | #Constraints: 43251
255.42/256.15 c #Conflicts: 249000 | #Constraints: 44252
255.42/256.15 c #Conflicts: 250000 | #Constraints: 45253
255.42/256.15 c #Conflicts: 251000 | #Constraints: 46256
255.42/256.15 c #Conflicts: 252000 | #Constraints: 47258
255.42/256.15 c #Conflicts: 253000 | #Constraints: 48258
255.42/256.15 c #Conflicts: 254000 | #Constraints: 49259
255.42/256.15 c #Conflicts: 255000 | #Constraints: 50261
255.42/256.15 c #Conflicts: 256000 | #Constraints: 51262
255.42/256.15 c INPROCESSING
255.42/256.15 c GARBAGE COLLECT
255.42/256.15 c rational objective 6
267.78/268.52 c #Conflicts: 257000 | #Constraints: 42239
267.78/268.52 c #Conflicts: 258000 | #Constraints: 43239
267.78/268.52 c #Conflicts: 259000 | #Constraints: 44240
267.78/268.52 c #Conflicts: 260000 | #Constraints: 45240
267.78/268.52 c #Conflicts: 261000 | #Constraints: 46243
267.78/268.52 c #Conflicts: 262000 | #Constraints: 47245
267.78/268.52 c #Conflicts: 263000 | #Constraints: 48247
267.78/268.52 c #Conflicts: 264000 | #Constraints: 49250
267.78/268.52 c #Conflicts: 265000 | #Constraints: 50253
267.78/268.52 c #Conflicts: 266000 | #Constraints: 51255
267.78/268.52 c INPROCESSING
267.78/268.52 c GARBAGE COLLECT
267.78/268.52 c rational objective 6
279.15/279.97 c #Conflicts: 267000 | #Constraints: 41937
279.15/279.97 c #Conflicts: 268000 | #Constraints: 42938
279.15/279.97 c #Conflicts: 269000 | #Constraints: 43939
279.15/279.97 c #Conflicts: 270000 | #Constraints: 44940
279.15/279.97 c #Conflicts: 271000 | #Constraints: 45941
279.15/279.97 c #Conflicts: 272000 | #Constraints: 46943
279.15/279.97 c #Conflicts: 273000 | #Constraints: 47944
279.15/279.97 c #Conflicts: 274000 | #Constraints: 48945
279.15/279.97 c #Conflicts: 275000 | #Constraints: 49946
279.15/279.97 c #Conflicts: 276000 | #Constraints: 50948
279.15/279.97 c #Conflicts: 277000 | #Constraints: 51950
279.15/279.97 c INPROCESSING
279.15/279.97 c GARBAGE COLLECT
279.15/279.97 c rational objective 6
292.82/293.66 c #Conflicts: 278000 | #Constraints: 42545
292.82/293.66 c #Conflicts: 279000 | #Constraints: 43545
292.82/293.66 c #Conflicts: 280000 | #Constraints: 44545
292.82/293.66 c #Conflicts: 281000 | #Constraints: 45545
292.82/293.66 c #Conflicts: 282000 | #Constraints: 46545
292.82/293.66 c #Conflicts: 283000 | #Constraints: 47547
292.82/293.66 c #Conflicts: 284000 | #Constraints: 48548
292.82/293.66 c #Conflicts: 285000 | #Constraints: 49549
292.82/293.66 c #Conflicts: 286000 | #Constraints: 50550
292.82/293.66 c #Conflicts: 287000 | #Constraints: 51550
292.82/293.66 c #Conflicts: 288000 | #Constraints: 52552
292.82/293.66 c INPROCESSING
292.82/293.66 c GARBAGE COLLECT
292.82/293.66 c rational objective 6
304.19/305.06 c #Conflicts: 289000 | #Constraints: 42871
304.19/305.06 c #Conflicts: 290000 | #Constraints: 43872
304.19/305.06 c #Conflicts: 291000 | #Constraints: 44872
304.19/305.06 c #Conflicts: 292000 | #Constraints: 45872
304.19/305.06 c #Conflicts: 293000 | #Constraints: 46873
304.19/305.06 c #Conflicts: 294000 | #Constraints: 47875
304.19/305.06 c #Conflicts: 295000 | #Constraints: 48877
304.19/305.06 c #Conflicts: 296000 | #Constraints: 49877
304.19/305.06 c #Conflicts: 297000 | #Constraints: 50882
304.19/305.06 c #Conflicts: 298000 | #Constraints: 51884
304.19/305.06 c #Conflicts: 299000 | #Constraints: 52885
304.19/305.06 c INPROCESSING
304.19/305.06 c GARBAGE COLLECT
304.19/305.06 c rational objective 6
321.15/322.08 c #Conflicts: 300000 | #Constraints: 43039
321.15/322.08 c #Conflicts: 301000 | #Constraints: 44040
321.15/322.08 c #Conflicts: 302000 | #Constraints: 45041
321.15/322.08 c #Conflicts: 303000 | #Constraints: 46042
321.15/322.08 c #Conflicts: 304000 | #Constraints: 47042
321.15/322.08 c #Conflicts: 305000 | #Constraints: 48042
321.15/322.08 c #Conflicts: 306000 | #Constraints: 49042
321.15/322.08 c #Conflicts: 307000 | #Constraints: 50042
321.15/322.08 c #Conflicts: 308000 | #Constraints: 51042
321.15/322.08 c #Conflicts: 309000 | #Constraints: 52043
321.15/322.08 c #Conflicts: 310000 | #Constraints: 53043
321.15/322.08 c INPROCESSING
321.15/322.08 c GARBAGE COLLECT
321.15/322.08 c rational objective 6
334.41/335.30 c #Conflicts: 311000 | #Constraints: 42908
334.41/335.30 c #Conflicts: 312000 | #Constraints: 43909
334.41/335.30 c #Conflicts: 313000 | #Constraints: 44909
334.41/335.30 c #Conflicts: 314000 | #Constraints: 45909
334.41/335.30 c #Conflicts: 315000 | #Constraints: 46909
334.41/335.30 c #Conflicts: 316000 | #Constraints: 47909
334.41/335.30 c #Conflicts: 317000 | #Constraints: 48909
334.41/335.30 c #Conflicts: 318000 | #Constraints: 49911
334.41/335.30 c #Conflicts: 319000 | #Constraints: 50911
334.41/335.30 c #Conflicts: 320000 | #Constraints: 51912
334.41/335.30 c #Conflicts: 321000 | #Constraints: 52913
334.41/335.30 c INPROCESSING
334.41/335.30 c GARBAGE COLLECT
334.41/335.30 c rational objective 6
345.79/346.77 c #Conflicts: 322000 | #Constraints: 42734
345.79/346.77 c #Conflicts: 323000 | #Constraints: 43735
345.79/346.77 c #Conflicts: 324000 | #Constraints: 44735
345.79/346.77 c #Conflicts: 325000 | #Constraints: 45735
345.79/346.77 c #Conflicts: 326000 | #Constraints: 46736
345.79/346.77 c #Conflicts: 327000 | #Constraints: 47736
345.79/346.77 c #Conflicts: 328000 | #Constraints: 48737
345.79/346.77 c #Conflicts: 329000 | #Constraints: 49737
345.79/346.77 c #Conflicts: 330000 | #Constraints: 50738
345.79/346.77 c #Conflicts: 331000 | #Constraints: 51738
345.79/346.77 c #Conflicts: 332000 | #Constraints: 52739
345.79/346.77 c #Conflicts: 333000 | #Constraints: 53740
345.79/346.77 c INPROCESSING
345.79/346.77 c GARBAGE COLLECT
345.79/346.77 c rational objective 6
359.06/360.09 c #Conflicts: 334000 | #Constraints: 43249
359.06/360.09 c #Conflicts: 335000 | #Constraints: 44250
359.06/360.09 c #Conflicts: 336000 | #Constraints: 45250
359.06/360.09 c #Conflicts: 337000 | #Constraints: 46250
359.06/360.09 c #Conflicts: 338000 | #Constraints: 47250
359.06/360.09 c #Conflicts: 339000 | #Constraints: 48251
359.06/360.09 c #Conflicts: 340000 | #Constraints: 49254
359.06/360.09 c #Conflicts: 341000 | #Constraints: 50255
359.06/360.09 c #Conflicts: 342000 | #Constraints: 51256
359.06/360.09 c #Conflicts: 343000 | #Constraints: 52258
359.06/360.09 c #Conflicts: 344000 | #Constraints: 53259
359.06/360.09 c #Conflicts: 345000 | #Constraints: 54260
359.06/360.09 c INPROCESSING
359.06/360.09 c GARBAGE COLLECT
359.06/360.09 c rational objective 6
379.60/380.60 c #Conflicts: 346000 | #Constraints: 43445
379.60/380.60 c #Conflicts: 347000 | #Constraints: 44446
379.60/380.60 c #Conflicts: 348000 | #Constraints: 45447
379.60/380.60 c #Conflicts: 349000 | #Constraints: 46448
379.60/380.60 c #Conflicts: 350000 | #Constraints: 47449
379.60/380.60 c #Conflicts: 351000 | #Constraints: 48449
379.60/380.60 c #Conflicts: 352000 | #Constraints: 49450
379.60/380.60 c #Conflicts: 353000 | #Constraints: 50451
379.60/380.60 c #Conflicts: 354000 | #Constraints: 51452
379.60/380.60 c #Conflicts: 355000 | #Constraints: 52453
379.60/380.60 c #Conflicts: 356000 | #Constraints: 53453
379.60/380.60 c #Conflicts: 357000 | #Constraints: 54454
379.60/380.60 c INPROCESSING
379.60/380.60 c GARBAGE COLLECT
379.60/380.60 c rational objective 6
392.27/393.38 c #Conflicts: 358000 | #Constraints: 43612
392.27/393.38 c #Conflicts: 359000 | #Constraints: 44612
392.27/393.38 c #Conflicts: 360000 | #Constraints: 45612
392.27/393.38 c #Conflicts: 361000 | #Constraints: 46612
392.27/393.38 c #Conflicts: 362000 | #Constraints: 47612
392.27/393.38 c #Conflicts: 363000 | #Constraints: 48614
392.27/393.38 c #Conflicts: 364000 | #Constraints: 49618
392.27/393.38 c #Conflicts: 365000 | #Constraints: 50619
392.27/393.38 c #Conflicts: 366000 | #Constraints: 51622
392.27/393.38 c #Conflicts: 367000 | #Constraints: 52624
392.27/393.38 c #Conflicts: 368000 | #Constraints: 53625
392.27/393.38 c #Conflicts: 369000 | #Constraints: 54627
392.27/393.38 c INPROCESSING
392.27/393.38 c GARBAGE COLLECT
392.27/393.38 c rational objective 6
412.72/413.82 c #Conflicts: 370000 | #Constraints: 43504
412.72/413.82 c #Conflicts: 371000 | #Constraints: 44505
412.72/413.82 c #Conflicts: 372000 | #Constraints: 45505
412.72/413.82 c #Conflicts: 373000 | #Constraints: 46506
412.72/413.82 c #Conflicts: 374000 | #Constraints: 47507
412.72/413.82 c #Conflicts: 375000 | #Constraints: 48507
412.72/413.82 c #Conflicts: 376000 | #Constraints: 49507
412.72/413.82 c #Conflicts: 377000 | #Constraints: 50509
412.72/413.82 c #Conflicts: 378000 | #Constraints: 51510
412.72/413.82 c #Conflicts: 379000 | #Constraints: 52513
412.72/413.82 c #Conflicts: 380000 | #Constraints: 53513
412.72/413.82 c #Conflicts: 381000 | #Constraints: 54514
412.72/413.82 c INPROCESSING
412.72/413.82 c GARBAGE COLLECT
412.72/413.82 c rational objective 6
429.98/431.13 c #Conflicts: 382000 | #Constraints: 43226
429.98/431.13 c #Conflicts: 383000 | #Constraints: 44226
429.98/431.13 c #Conflicts: 384000 | #Constraints: 45227
429.98/431.13 c #Conflicts: 385000 | #Constraints: 46229
429.98/431.13 c #Conflicts: 386000 | #Constraints: 47230
429.98/431.13 c #Conflicts: 387000 | #Constraints: 48231
429.98/431.13 c #Conflicts: 388000 | #Constraints: 49233
429.98/431.13 c #Conflicts: 389000 | #Constraints: 50233
429.98/431.13 c #Conflicts: 390000 | #Constraints: 51234
429.98/431.13 c #Conflicts: 391000 | #Constraints: 52237
429.98/431.13 c #Conflicts: 392000 | #Constraints: 53241
429.98/431.13 c #Conflicts: 393000 | #Constraints: 54242
429.98/431.13 c #Conflicts: 394000 | #Constraints: 55243
429.98/431.13 c INPROCESSING
429.98/431.13 c GARBAGE COLLECT
429.98/431.13 c rational objective 6
448.42/449.68 c #Conflicts: 395000 | #Constraints: 43759
448.42/449.68 c #Conflicts: 396000 | #Constraints: 44759
448.42/449.68 c #Conflicts: 397000 | #Constraints: 45759
448.42/449.68 c #Conflicts: 398000 | #Constraints: 46760
448.42/449.68 c #Conflicts: 399000 | #Constraints: 47762
448.42/449.68 c #Conflicts: 400000 | #Constraints: 48764
448.42/449.68 c #Conflicts: 401000 | #Constraints: 49765
448.42/449.68 c #Conflicts: 402000 | #Constraints: 50766
448.42/449.68 c #Conflicts: 403000 | #Constraints: 51767
448.42/449.68 c #Conflicts: 404000 | #Constraints: 52767
448.42/449.68 c #Conflicts: 405000 | #Constraints: 53768
448.42/449.68 c #Conflicts: 406000 | #Constraints: 54768
448.42/449.68 c #Conflicts: 407000 | #Constraints: 55769
448.42/449.68 c INPROCESSING
448.42/449.68 c GARBAGE COLLECT
448.42/449.68 c rational objective 6
466.88/468.13 c #Conflicts: 408000 | #Constraints: 44147
466.88/468.13 c #Conflicts: 409000 | #Constraints: 45147
466.88/468.13 c #Conflicts: 410000 | #Constraints: 46147
466.88/468.13 c #Conflicts: 411000 | #Constraints: 47147
466.88/468.13 c #Conflicts: 412000 | #Constraints: 48150
466.88/468.13 c #Conflicts: 413000 | #Constraints: 49152
466.88/468.13 c #Conflicts: 414000 | #Constraints: 50153
466.88/468.13 c #Conflicts: 415000 | #Constraints: 51153
466.88/468.13 c #Conflicts: 416000 | #Constraints: 52154
466.88/468.13 c #Conflicts: 417000 | #Constraints: 53154
466.88/468.13 c #Conflicts: 418000 | #Constraints: 54155
466.88/468.13 c #Conflicts: 419000 | #Constraints: 55155
466.88/468.13 c #Conflicts: 420000 | #Constraints: 56156
466.88/468.13 c INPROCESSING
466.88/468.13 c GARBAGE COLLECT
466.88/468.13 c rational objective 6
488.02/489.37 c #Conflicts: 421000 | #Constraints: 44356
488.02/489.37 c #Conflicts: 422000 | #Constraints: 45357
488.02/489.37 c #Conflicts: 423000 | #Constraints: 46357
488.02/489.37 c #Conflicts: 424000 | #Constraints: 47358
488.02/489.37 c #Conflicts: 425000 | #Constraints: 48359
488.02/489.37 c #Conflicts: 426000 | #Constraints: 49364
488.02/489.37 c #Conflicts: 427000 | #Constraints: 50366
488.02/489.37 c #Conflicts: 428000 | #Constraints: 51367
488.02/489.37 c #Conflicts: 429000 | #Constraints: 52368
488.02/489.37 c #Conflicts: 430000 | #Constraints: 53369
488.02/489.37 c #Conflicts: 431000 | #Constraints: 54369
488.02/489.37 c #Conflicts: 432000 | #Constraints: 55370
488.02/489.37 c #Conflicts: 433000 | #Constraints: 56370
488.02/489.37 c INPROCESSING
488.02/489.37 c GARBAGE COLLECT
488.02/489.37 c rational objective 6
506.97/508.32 c #Conflicts: 434000 | #Constraints: 44368
506.97/508.32 c #Conflicts: 435000 | #Constraints: 45368
506.97/508.32 c #Conflicts: 436000 | #Constraints: 46368
506.97/508.32 c #Conflicts: 437000 | #Constraints: 47368
506.97/508.32 c #Conflicts: 438000 | #Constraints: 48369
506.97/508.32 c #Conflicts: 439000 | #Constraints: 49370
506.97/508.32 c #Conflicts: 440000 | #Constraints: 50372
506.97/508.32 c #Conflicts: 441000 | #Constraints: 51374
506.97/508.32 c #Conflicts: 442000 | #Constraints: 52377
506.97/508.32 c #Conflicts: 443000 | #Constraints: 53382
506.97/508.32 c #Conflicts: 444000 | #Constraints: 54383
506.97/508.32 c #Conflicts: 445000 | #Constraints: 55384
506.97/508.32 c #Conflicts: 446000 | #Constraints: 56385
506.97/508.32 c INPROCESSING
506.97/508.32 c GARBAGE COLLECT
506.97/508.32 c rational objective 6
527.82/529.23 c #Conflicts: 447000 | #Constraints: 44093
527.82/529.23 c #Conflicts: 448000 | #Constraints: 45093
527.82/529.23 c #Conflicts: 449000 | #Constraints: 46093
527.82/529.23 c #Conflicts: 450000 | #Constraints: 47094
527.82/529.23 c #Conflicts: 451000 | #Constraints: 48095
527.82/529.23 c #Conflicts: 452000 | #Constraints: 49099
527.82/529.23 c #Conflicts: 453000 | #Constraints: 50100
527.82/529.23 c #Conflicts: 454000 | #Constraints: 51101
527.82/529.23 c #Conflicts: 455000 | #Constraints: 52102
527.82/529.23 c #Conflicts: 456000 | #Constraints: 53103
527.82/529.23 c #Conflicts: 457000 | #Constraints: 54103
527.82/529.23 c #Conflicts: 458000 | #Constraints: 55104
527.82/529.23 c #Conflicts: 459000 | #Constraints: 56104
527.82/529.23 c #Conflicts: 460000 | #Constraints: 57105
527.82/529.23 c INPROCESSING
527.82/529.23 c GARBAGE COLLECT
527.82/529.23 c rational objective 6
542.88/544.38 c #Conflicts: 461000 | #Constraints: 44650
542.88/544.38 c #Conflicts: 462000 | #Constraints: 45650
542.88/544.38 c #Conflicts: 463000 | #Constraints: 46650
542.88/544.38 c #Conflicts: 464000 | #Constraints: 47658
542.88/544.38 c #Conflicts: 465000 | #Constraints: 48660
542.88/544.38 c #Conflicts: 466000 | #Constraints: 49663
542.88/544.38 c #Conflicts: 467000 | #Constraints: 50668
542.88/544.38 c #Conflicts: 468000 | #Constraints: 51670
542.88/544.38 c #Conflicts: 469000 | #Constraints: 52671
542.88/544.38 c #Conflicts: 470000 | #Constraints: 53674
542.88/544.38 c #Conflicts: 471000 | #Constraints: 54677
542.88/544.38 c #Conflicts: 472000 | #Constraints: 55679
542.88/544.38 c #Conflicts: 473000 | #Constraints: 56681
542.88/544.38 c #Conflicts: 474000 | #Constraints: 57683
542.88/544.38 c INPROCESSING
542.88/544.38 c GARBAGE COLLECT
542.88/544.38 c rational objective 6
560.44/561.97 c #Conflicts: 475000 | #Constraints: 45031
560.44/561.97 c #Conflicts: 476000 | #Constraints: 46031
560.44/561.97 c #Conflicts: 477000 | #Constraints: 47032
560.44/561.97 c #Conflicts: 478000 | #Constraints: 48032
560.44/561.97 c #Conflicts: 479000 | #Constraints: 49032
560.44/561.97 c #Conflicts: 480000 | #Constraints: 50033
560.44/561.97 c #Conflicts: 481000 | #Constraints: 51035
560.44/561.97 c #Conflicts: 482000 | #Constraints: 52036
560.44/561.97 c #Conflicts: 483000 | #Constraints: 53038
560.44/561.97 c #Conflicts: 484000 | #Constraints: 54039
560.44/561.97 c #Conflicts: 485000 | #Constraints: 55040
560.44/561.97 c #Conflicts: 486000 | #Constraints: 56042
560.44/561.97 c #Conflicts: 487000 | #Constraints: 57043
560.44/561.97 c #Conflicts: 488000 | #Constraints: 58044
560.44/561.97 c INPROCESSING
560.44/561.97 c GARBAGE COLLECT
560.44/561.97 c rational objective 6
580.69/582.23 c #Conflicts: 489000 | #Constraints: 45217
580.69/582.23 c #Conflicts: 490000 | #Constraints: 46217
580.69/582.23 c #Conflicts: 491000 | #Constraints: 47217
580.69/582.23 c #Conflicts: 492000 | #Constraints: 48218
580.69/582.23 c #Conflicts: 493000 | #Constraints: 49219
580.69/582.23 c #Conflicts: 494000 | #Constraints: 50220
580.69/582.23 c #Conflicts: 495000 | #Constraints: 51221
580.69/582.23 c #Conflicts: 496000 | #Constraints: 52222
580.69/582.23 c #Conflicts: 497000 | #Constraints: 53223
580.69/582.23 c #Conflicts: 498000 | #Constraints: 54226
580.69/582.23 c #Conflicts: 499000 | #Constraints: 55227
580.69/582.23 c #Conflicts: 500000 | #Constraints: 56229
580.69/582.23 c #Conflicts: 501000 | #Constraints: 57229
580.69/582.23 c #Conflicts: 502000 | #Constraints: 58230
580.69/582.23 c INPROCESSING
580.69/582.23 c GARBAGE COLLECT
580.69/582.23 c rational objective 6
598.74/600.37 c #Conflicts: 503000 | #Constraints: 45185
598.74/600.37 c #Conflicts: 504000 | #Constraints: 46185
598.74/600.37 c #Conflicts: 505000 | #Constraints: 47187
598.74/600.37 c #Conflicts: 506000 | #Constraints: 48189
598.74/600.37 c #Conflicts: 507000 | #Constraints: 49190
598.74/600.37 c #Conflicts: 508000 | #Constraints: 50191
598.74/600.37 c #Conflicts: 509000 | #Constraints: 51193
598.74/600.37 c #Conflicts: 510000 | #Constraints: 52194
598.74/600.37 c #Conflicts: 511000 | #Constraints: 53194
598.74/600.37 c #Conflicts: 512000 | #Constraints: 54195
598.74/600.37 c #Conflicts: 513000 | #Constraints: 55196
598.74/600.37 c #Conflicts: 514000 | #Constraints: 56197
598.74/600.37 c #Conflicts: 515000 | #Constraints: 57197
598.74/600.37 c #Conflicts: 516000 | #Constraints: 58198
598.74/600.37 c INPROCESSING
598.74/600.37 c GARBAGE COLLECT
598.74/600.37 c rational objective 6
623.97/625.66 c #Conflicts: 517000 | #Constraints: 44908
623.97/625.66 c #Conflicts: 518000 | #Constraints: 45908
623.97/625.66 c #Conflicts: 519000 | #Constraints: 46909
623.97/625.66 c #Conflicts: 520000 | #Constraints: 47913
623.97/625.66 c #Conflicts: 521000 | #Constraints: 48914
623.97/625.66 c #Conflicts: 522000 | #Constraints: 49916
623.97/625.66 c #Conflicts: 523000 | #Constraints: 50917
623.97/625.66 c #Conflicts: 524000 | #Constraints: 51920
623.97/625.66 c #Conflicts: 525000 | #Constraints: 52923
623.97/625.66 c #Conflicts: 526000 | #Constraints: 53924
623.97/625.66 c #Conflicts: 527000 | #Constraints: 54925
623.97/625.66 c #Conflicts: 528000 | #Constraints: 55926
623.97/625.66 c #Conflicts: 529000 | #Constraints: 56927
623.97/625.66 c #Conflicts: 530000 | #Constraints: 57928
623.97/625.66 c #Conflicts: 531000 | #Constraints: 58928
623.97/625.66 c INPROCESSING
623.97/625.66 c GARBAGE COLLECT
623.97/625.66 c rational objective 6
647.71/649.44 c #Conflicts: 532000 | #Constraints: 45456
647.71/649.44 c #Conflicts: 533000 | #Constraints: 46456
647.71/649.44 c #Conflicts: 534000 | #Constraints: 47456
647.71/649.44 c #Conflicts: 535000 | #Constraints: 48457
647.71/649.44 c #Conflicts: 536000 | #Constraints: 49460
647.71/649.44 c #Conflicts: 537000 | #Constraints: 50462
647.71/649.44 c #Conflicts: 538000 | #Constraints: 51464
647.71/649.44 c #Conflicts: 539000 | #Constraints: 52466
647.71/649.44 c #Conflicts: 540000 | #Constraints: 53467
647.71/649.44 c #Conflicts: 541000 | #Constraints: 54469
647.71/649.44 c #Conflicts: 542000 | #Constraints: 55471
647.71/649.44 c #Conflicts: 543000 | #Constraints: 56472
647.71/649.44 c #Conflicts: 544000 | #Constraints: 57473
647.71/649.44 c #Conflicts: 545000 | #Constraints: 58475
647.71/649.44 c #Conflicts: 546000 | #Constraints: 59476
647.71/649.44 c INPROCESSING
647.71/649.44 c GARBAGE COLLECT
647.71/649.44 c rational objective 6
667.17/668.91 c #Conflicts: 547000 | #Constraints: 45875
667.17/668.91 c #Conflicts: 548000 | #Constraints: 46876
667.17/668.91 c #Conflicts: 549000 | #Constraints: 47876
667.17/668.91 c #Conflicts: 550000 | #Constraints: 48876
667.17/668.91 c #Conflicts: 551000 | #Constraints: 49876
667.17/668.91 c #Conflicts: 552000 | #Constraints: 50877
667.17/668.91 c #Conflicts: 553000 | #Constraints: 51879
667.17/668.91 c #Conflicts: 554000 | #Constraints: 52880
667.17/668.91 c #Conflicts: 555000 | #Constraints: 53881
667.17/668.91 c #Conflicts: 556000 | #Constraints: 54882
667.17/668.91 c #Conflicts: 557000 | #Constraints: 55884
667.17/668.91 c #Conflicts: 558000 | #Constraints: 56885
667.17/668.91 c #Conflicts: 559000 | #Constraints: 57886
667.17/668.91 c #Conflicts: 560000 | #Constraints: 58887
667.17/668.91 c #Conflicts: 561000 | #Constraints: 59888
667.17/668.91 c INPROCESSING
667.17/668.91 c GARBAGE COLLECT
667.17/668.91 c rational objective 6
690.60/692.49 c #Conflicts: 562000 | #Constraints: 46017
690.60/692.49 c #Conflicts: 563000 | #Constraints: 47017
690.60/692.49 c #Conflicts: 564000 | #Constraints: 48017
690.60/692.49 c #Conflicts: 565000 | #Constraints: 49017
690.60/692.49 c #Conflicts: 566000 | #Constraints: 50017
690.60/692.49 c #Conflicts: 567000 | #Constraints: 51019
690.60/692.49 c #Conflicts: 568000 | #Constraints: 52020
690.60/692.49 c #Conflicts: 569000 | #Constraints: 53022
690.60/692.49 c #Conflicts: 570000 | #Constraints: 54023
690.60/692.49 c #Conflicts: 571000 | #Constraints: 55024
690.60/692.49 c #Conflicts: 572000 | #Constraints: 56025
690.60/692.49 c #Conflicts: 573000 | #Constraints: 57026
690.60/692.49 c #Conflicts: 574000 | #Constraints: 58030
690.60/692.49 c #Conflicts: 575000 | #Constraints: 59032
690.60/692.49 c #Conflicts: 576000 | #Constraints: 60034
690.60/692.49 c INPROCESSING
690.60/692.49 c GARBAGE COLLECT
690.60/692.49 c rational objective 6
714.55/716.45 c #Conflicts: 577000 | #Constraints: 46012
714.55/716.45 c #Conflicts: 578000 | #Constraints: 47013
714.55/716.45 c #Conflicts: 579000 | #Constraints: 48013
714.55/716.45 c #Conflicts: 580000 | #Constraints: 49013
714.55/716.45 c #Conflicts: 581000 | #Constraints: 50016
714.55/716.45 c #Conflicts: 582000 | #Constraints: 51019
714.55/716.45 c #Conflicts: 583000 | #Constraints: 52021
714.55/716.45 c #Conflicts: 584000 | #Constraints: 53022
714.55/716.45 c #Conflicts: 585000 | #Constraints: 54023
714.55/716.45 c #Conflicts: 586000 | #Constraints: 55024
714.55/716.45 c #Conflicts: 587000 | #Constraints: 56024
714.55/716.45 c #Conflicts: 588000 | #Constraints: 57024
714.55/716.45 c #Conflicts: 589000 | #Constraints: 58024
714.55/716.45 c #Conflicts: 590000 | #Constraints: 59025
714.55/716.45 c #Conflicts: 591000 | #Constraints: 60027
714.55/716.45 c INPROCESSING
714.55/716.45 c GARBAGE COLLECT
714.55/716.45 c rational objective 6
734.40/736.35 c #Conflicts: 592000 | #Constraints: 45756
734.40/736.35 c #Conflicts: 593000 | #Constraints: 46757
734.40/736.35 c #Conflicts: 594000 | #Constraints: 47757
734.40/736.35 c #Conflicts: 595000 | #Constraints: 48757
734.40/736.35 c #Conflicts: 596000 | #Constraints: 49757
734.40/736.35 c #Conflicts: 597000 | #Constraints: 50757
734.40/736.35 c #Conflicts: 598000 | #Constraints: 51758
734.40/736.35 c #Conflicts: 599000 | #Constraints: 52760
734.40/736.35 c #Conflicts: 600000 | #Constraints: 53762
734.40/736.35 c #Conflicts: 601000 | #Constraints: 54763
734.40/736.35 c #Conflicts: 602000 | #Constraints: 55765
734.40/736.35 c #Conflicts: 603000 | #Constraints: 56765
734.40/736.35 c #Conflicts: 604000 | #Constraints: 57767
734.40/736.35 c #Conflicts: 605000 | #Constraints: 58768
734.40/736.35 c #Conflicts: 606000 | #Constraints: 59771
734.40/736.35 c #Conflicts: 607000 | #Constraints: 60772
734.40/736.35 c INPROCESSING
734.40/736.35 c GARBAGE COLLECT
734.40/736.35 c rational objective 6
766.51/768.55 c #Conflicts: 608000 | #Constraints: 46351
766.51/768.55 c #Conflicts: 609000 | #Constraints: 47351
766.51/768.55 c #Conflicts: 610000 | #Constraints: 48351
766.51/768.55 c #Conflicts: 611000 | #Constraints: 49353
766.51/768.55 c #Conflicts: 612000 | #Constraints: 50356
766.51/768.55 c #Conflicts: 613000 | #Constraints: 51357
766.51/768.55 c #Conflicts: 614000 | #Constraints: 52358
766.51/768.55 c #Conflicts: 615000 | #Constraints: 53358
766.51/768.55 c #Conflicts: 616000 | #Constraints: 54359
766.51/768.55 c #Conflicts: 617000 | #Constraints: 55360
766.51/768.55 c #Conflicts: 618000 | #Constraints: 56361
766.51/768.55 c #Conflicts: 619000 | #Constraints: 57361
766.51/768.55 c #Conflicts: 620000 | #Constraints: 58362
766.51/768.55 c #Conflicts: 621000 | #Constraints: 59362
766.51/768.55 c #Conflicts: 622000 | #Constraints: 60362
766.51/768.55 c #Conflicts: 623000 | #Constraints: 61363
766.51/768.55 c INPROCESSING
766.51/768.55 c GARBAGE COLLECT
766.51/768.55 c rational objective 6
793.55/795.68 c #Conflicts: 624000 | #Constraints: 46766
793.55/795.68 c #Conflicts: 625000 | #Constraints: 47766
793.55/795.68 c #Conflicts: 626000 | #Constraints: 48767
793.55/795.68 c #Conflicts: 627000 | #Constraints: 49769
793.55/795.68 c #Conflicts: 628000 | #Constraints: 50772
793.55/795.68 c #Conflicts: 629000 | #Constraints: 51774
793.55/795.68 c #Conflicts: 630000 | #Constraints: 52776
793.55/795.68 c #Conflicts: 631000 | #Constraints: 53780
793.55/795.68 c #Conflicts: 632000 | #Constraints: 54782
793.55/795.68 c #Conflicts: 633000 | #Constraints: 55784
793.55/795.68 c #Conflicts: 634000 | #Constraints: 56785
793.55/795.68 c #Conflicts: 635000 | #Constraints: 57785
793.55/795.68 c #Conflicts: 636000 | #Constraints: 58785
793.55/795.68 c #Conflicts: 637000 | #Constraints: 59785
793.55/795.68 c #Conflicts: 638000 | #Constraints: 60785
793.55/795.68 c #Conflicts: 639000 | #Constraints: 61785
793.55/795.68 c INPROCESSING
793.55/795.68 c GARBAGE COLLECT
793.55/795.68 c rational objective 6
819.49/821.65 c #Conflicts: 640000 | #Constraints: 46970
819.49/821.65 c #Conflicts: 641000 | #Constraints: 47971
819.49/821.65 c #Conflicts: 642000 | #Constraints: 48972
819.49/821.65 c #Conflicts: 643000 | #Constraints: 49976
819.49/821.65 c #Conflicts: 644000 | #Constraints: 50977
819.49/821.65 c #Conflicts: 645000 | #Constraints: 51979
819.49/821.65 c #Conflicts: 646000 | #Constraints: 52983
819.49/821.65 c #Conflicts: 647000 | #Constraints: 53983
819.49/821.65 c #Conflicts: 648000 | #Constraints: 54984
819.49/821.65 c #Conflicts: 649000 | #Constraints: 55984
819.49/821.65 c #Conflicts: 650000 | #Constraints: 56985
819.49/821.65 c #Conflicts: 651000 | #Constraints: 57987
819.49/821.65 c #Conflicts: 652000 | #Constraints: 58990
819.49/821.65 c #Conflicts: 653000 | #Constraints: 59991
819.49/821.65 c #Conflicts: 654000 | #Constraints: 60992
819.49/821.65 c #Conflicts: 655000 | #Constraints: 61993
819.49/821.65 c INPROCESSING
819.49/821.65 c GARBAGE COLLECT
819.49/821.65 c rational objective 6
841.23/843.45 c #Conflicts: 656000 | #Constraints: 46905
841.23/843.45 c #Conflicts: 657000 | #Constraints: 47905
841.23/843.45 c #Conflicts: 658000 | #Constraints: 48906
841.23/843.45 c #Conflicts: 659000 | #Constraints: 49906
841.23/843.45 c #Conflicts: 660000 | #Constraints: 50906
841.23/843.45 c #Conflicts: 661000 | #Constraints: 51909
841.23/843.45 c #Conflicts: 662000 | #Constraints: 52911
841.23/843.45 c #Conflicts: 663000 | #Constraints: 53911
841.23/843.45 c #Conflicts: 664000 | #Constraints: 54914
841.23/843.45 c #Conflicts: 665000 | #Constraints: 55916
841.23/843.45 c #Conflicts: 666000 | #Constraints: 56917
841.23/843.45 c #Conflicts: 667000 | #Constraints: 57918
841.23/843.45 c #Conflicts: 668000 | #Constraints: 58919
841.23/843.45 c #Conflicts: 669000 | #Constraints: 59921
841.23/843.45 c #Conflicts: 670000 | #Constraints: 60923
841.23/843.45 c #Conflicts: 671000 | #Constraints: 61924
841.23/843.45 c INPROCESSING
841.23/843.45 c GARBAGE COLLECT
841.23/843.45 c rational objective 6
865.27/867.57 c #Conflicts: 672000 | #Constraints: 46663
865.27/867.57 c #Conflicts: 673000 | #Constraints: 47664
865.27/867.57 c #Conflicts: 674000 | #Constraints: 48664
865.27/867.57 c #Conflicts: 675000 | #Constraints: 49664
865.27/867.57 c #Conflicts: 676000 | #Constraints: 50664
865.27/867.57 c #Conflicts: 677000 | #Constraints: 51664
865.27/867.57 c #Conflicts: 678000 | #Constraints: 52668
865.27/867.57 c #Conflicts: 679000 | #Constraints: 53671
865.27/867.57 c #Conflicts: 680000 | #Constraints: 54672
865.27/867.57 c #Conflicts: 681000 | #Constraints: 55673
865.27/867.57 c #Conflicts: 682000 | #Constraints: 56675
865.27/867.57 c #Conflicts: 683000 | #Constraints: 57675
865.27/867.57 c #Conflicts: 684000 | #Constraints: 58676
865.27/867.57 c #Conflicts: 685000 | #Constraints: 59677
865.27/867.57 c #Conflicts: 686000 | #Constraints: 60678
865.27/867.57 c #Conflicts: 687000 | #Constraints: 61678
865.27/867.57 c #Conflicts: 688000 | #Constraints: 62679
865.27/867.57 c INPROCESSING
865.27/867.57 c GARBAGE COLLECT
865.27/867.57 c rational objective 6
900.37/902.78 c #Conflicts: 689000 | #Constraints: 47235
900.37/902.78 c #Conflicts: 690000 | #Constraints: 48235
900.37/902.78 c #Conflicts: 691000 | #Constraints: 49235
900.37/902.78 c #Conflicts: 692000 | #Constraints: 50235
900.37/902.78 c #Conflicts: 693000 | #Constraints: 51235
900.37/902.78 c #Conflicts: 694000 | #Constraints: 52240
900.37/902.78 c #Conflicts: 695000 | #Constraints: 53243
900.37/902.78 c #Conflicts: 696000 | #Constraints: 54246
900.37/902.78 c #Conflicts: 697000 | #Constraints: 55249
900.37/902.78 c #Conflicts: 698000 | #Constraints: 56250
900.37/902.78 c #Conflicts: 699000 | #Constraints: 57251
900.37/902.78 c #Conflicts: 700000 | #Constraints: 58252
900.37/902.78 c #Conflicts: 701000 | #Constraints: 59253
900.37/902.78 c #Conflicts: 702000 | #Constraints: 60254
900.37/902.78 c #Conflicts: 703000 | #Constraints: 61254
900.37/902.78 c #Conflicts: 704000 | #Constraints: 62255
900.37/902.78 c #Conflicts: 705000 | #Constraints: 63255
900.37/902.78 c INPROCESSING
900.37/902.78 c GARBAGE COLLECT
900.37/902.78 c rational objective 6
927.48/929.98 c #Conflicts: 706000 | #Constraints: 47606
927.48/929.98 c #Conflicts: 707000 | #Constraints: 48606
927.48/929.98 c #Conflicts: 708000 | #Constraints: 49608
927.48/929.98 c #Conflicts: 709000 | #Constraints: 50610
927.48/929.98 c #Conflicts: 710000 | #Constraints: 51611
927.48/929.98 c #Conflicts: 711000 | #Constraints: 52613
927.48/929.98 c #Conflicts: 712000 | #Constraints: 53613
927.48/929.98 c #Conflicts: 713000 | #Constraints: 54614
927.48/929.98 c #Conflicts: 714000 | #Constraints: 55616
927.48/929.98 c #Conflicts: 715000 | #Constraints: 56616
927.48/929.98 c #Conflicts: 716000 | #Constraints: 57617
927.48/929.98 c #Conflicts: 717000 | #Constraints: 58618
927.48/929.98 c #Conflicts: 718000 | #Constraints: 59618
927.48/929.98 c #Conflicts: 719000 | #Constraints: 60618
927.48/929.98 c #Conflicts: 720000 | #Constraints: 61618
927.48/929.98 c #Conflicts: 721000 | #Constraints: 62618
927.48/929.98 c #Conflicts: 722000 | #Constraints: 63619
927.48/929.98 c INPROCESSING
927.48/929.98 c GARBAGE COLLECT
927.48/929.98 c rational objective 6
955.89/958.46 c #Conflicts: 723000 | #Constraints: 47801
955.89/958.46 c #Conflicts: 724000 | #Constraints: 48801
955.89/958.46 c #Conflicts: 725000 | #Constraints: 49802
955.89/958.46 c #Conflicts: 726000 | #Constraints: 50802
955.89/958.46 c #Conflicts: 727000 | #Constraints: 51802
955.89/958.46 c #Conflicts: 728000 | #Constraints: 52802
955.89/958.46 c #Conflicts: 729000 | #Constraints: 53802
955.89/958.46 c #Conflicts: 730000 | #Constraints: 54805
955.89/958.46 c #Conflicts: 731000 | #Constraints: 55807
955.89/958.46 c #Conflicts: 732000 | #Constraints: 56809
955.89/958.46 c #Conflicts: 733000 | #Constraints: 57811
955.89/958.46 c #Conflicts: 734000 | #Constraints: 58812
955.89/958.46 c #Conflicts: 735000 | #Constraints: 59813
955.89/958.46 c #Conflicts: 736000 | #Constraints: 60814
955.89/958.46 c #Conflicts: 737000 | #Constraints: 61815
955.89/958.46 c #Conflicts: 738000 | #Constraints: 62816
955.89/958.46 c #Conflicts: 739000 | #Constraints: 63816
955.89/958.46 c INPROCESSING
955.89/958.46 c GARBAGE COLLECT
955.89/958.46 c rational objective 6
987.77/990.49 c #Conflicts: 740000 | #Constraints: 47748
987.77/990.49 c #Conflicts: 741000 | #Constraints: 48749
987.77/990.49 c #Conflicts: 742000 | #Constraints: 49749
987.77/990.49 c #Conflicts: 743000 | #Constraints: 50752
987.77/990.49 c #Conflicts: 744000 | #Constraints: 51754
987.77/990.49 c #Conflicts: 745000 | #Constraints: 52758
987.77/990.49 c #Conflicts: 746000 | #Constraints: 53760
987.77/990.49 c #Conflicts: 747000 | #Constraints: 54761
987.77/990.49 c #Conflicts: 748000 | #Constraints: 55763
987.77/990.49 c #Conflicts: 749000 | #Constraints: 56763
987.77/990.49 c #Conflicts: 750000 | #Constraints: 57764
987.77/990.49 c #Conflicts: 751000 | #Constraints: 58765
987.77/990.49 c #Conflicts: 752000 | #Constraints: 59766
987.77/990.49 c #Conflicts: 753000 | #Constraints: 60767
987.77/990.49 c #Conflicts: 754000 | #Constraints: 61770
987.77/990.49 c #Conflicts: 755000 | #Constraints: 62771
987.77/990.49 c #Conflicts: 756000 | #Constraints: 63772
987.77/990.49 c INPROCESSING
987.77/990.49 c GARBAGE COLLECT
987.77/990.49 c rational objective 6
1010.60/1013.36 c #Conflicts: 757000 | #Constraints: 47467
1010.60/1013.36 c #Conflicts: 758000 | #Constraints: 48467
1010.60/1013.36 c #Conflicts: 759000 | #Constraints: 49468
1010.60/1013.36 c #Conflicts: 760000 | #Constraints: 50468
1010.60/1013.36 c #Conflicts: 761000 | #Constraints: 51468
1010.60/1013.36 c #Conflicts: 762000 | #Constraints: 52468
1010.60/1013.36 c #Conflicts: 763000 | #Constraints: 53469
1010.60/1013.36 c #Conflicts: 764000 | #Constraints: 54471
1010.60/1013.36 c #Conflicts: 765000 | #Constraints: 55472
1010.60/1013.36 c #Conflicts: 766000 | #Constraints: 56474
1010.60/1013.36 c #Conflicts: 767000 | #Constraints: 57475
1010.60/1013.36 c #Conflicts: 768000 | #Constraints: 58476
1010.60/1013.36 c #Conflicts: 769000 | #Constraints: 59478
1010.60/1013.36 c #Conflicts: 770000 | #Constraints: 60480
1010.60/1013.36 c #Conflicts: 771000 | #Constraints: 61481
1010.60/1013.36 c #Conflicts: 772000 | #Constraints: 62482
1010.60/1013.36 c #Conflicts: 773000 | #Constraints: 63483
1010.60/1013.36 c #Conflicts: 774000 | #Constraints: 64484
1010.60/1013.36 c INPROCESSING
1010.60/1013.36 c GARBAGE COLLECT
1010.60/1013.36 c rational objective 6
1037.60/1040.40 c #Conflicts: 775000 | #Constraints: 47975
1037.60/1040.40 c #Conflicts: 776000 | #Constraints: 48976
1037.60/1040.40 c #Conflicts: 777000 | #Constraints: 49976
1037.60/1040.40 c #Conflicts: 778000 | #Constraints: 50976
1037.60/1040.40 c #Conflicts: 779000 | #Constraints: 51976
1037.60/1040.40 c #Conflicts: 780000 | #Constraints: 52977
1037.60/1040.40 c #Conflicts: 781000 | #Constraints: 53979
1037.60/1040.40 c #Conflicts: 782000 | #Constraints: 54981
1037.60/1040.40 c #Conflicts: 783000 | #Constraints: 55981
1037.60/1040.40 c #Conflicts: 784000 | #Constraints: 56982
1037.60/1040.40 c #Conflicts: 785000 | #Constraints: 57983
1037.60/1040.40 c #Conflicts: 786000 | #Constraints: 58983
1037.60/1040.40 c #Conflicts: 787000 | #Constraints: 59984
1037.60/1040.40 c #Conflicts: 788000 | #Constraints: 60985
1037.60/1040.40 c #Conflicts: 789000 | #Constraints: 61987
1037.60/1040.40 c #Conflicts: 790000 | #Constraints: 62988
1037.60/1040.40 c #Conflicts: 791000 | #Constraints: 63990
1037.60/1040.40 c #Conflicts: 792000 | #Constraints: 64991
1037.60/1040.40 c INPROCESSING
1037.60/1040.40 c GARBAGE COLLECT
1037.60/1040.40 c rational objective 6
1065.70/1068.63 c #Conflicts: 793000 | #Constraints: 48356
1065.70/1068.63 c #Conflicts: 794000 | #Constraints: 49356
1065.70/1068.63 c #Conflicts: 795000 | #Constraints: 50358
1065.70/1068.63 c #Conflicts: 796000 | #Constraints: 51359
1065.70/1068.63 c #Conflicts: 797000 | #Constraints: 52361
1065.70/1068.63 c #Conflicts: 798000 | #Constraints: 53362
1065.70/1068.63 c #Conflicts: 799000 | #Constraints: 54363
1065.70/1068.63 c #Conflicts: 800000 | #Constraints: 55364
1065.70/1068.63 c #Conflicts: 801000 | #Constraints: 56365
1065.70/1068.63 c #Conflicts: 802000 | #Constraints: 57366
1065.70/1068.63 c #Conflicts: 803000 | #Constraints: 58368
1065.70/1068.63 c #Conflicts: 804000 | #Constraints: 59369
1065.70/1068.63 c #Conflicts: 805000 | #Constraints: 60369
1065.70/1068.63 c #Conflicts: 806000 | #Constraints: 61369
1065.70/1068.63 c #Conflicts: 807000 | #Constraints: 62369
1065.70/1068.63 c #Conflicts: 808000 | #Constraints: 63370
1065.70/1068.63 c #Conflicts: 809000 | #Constraints: 64370
1065.70/1068.63 c #Conflicts: 810000 | #Constraints: 65370
1065.70/1068.63 c INPROCESSING
1065.70/1068.63 c GARBAGE COLLECT
1065.70/1068.63 c rational objective 6
1099.69/1102.77 c #Conflicts: 811000 | #Constraints: 48535
1099.69/1102.77 c #Conflicts: 812000 | #Constraints: 49535
1099.69/1102.77 c #Conflicts: 813000 | #Constraints: 50535
1099.69/1102.77 c #Conflicts: 814000 | #Constraints: 51535
1099.69/1102.77 c #Conflicts: 815000 | #Constraints: 52536
1099.69/1102.77 c #Conflicts: 816000 | #Constraints: 53537
1099.69/1102.77 c #Conflicts: 817000 | #Constraints: 54537
1099.69/1102.77 c #Conflicts: 818000 | #Constraints: 55538
1099.69/1102.77 c #Conflicts: 819000 | #Constraints: 56539
1099.69/1102.77 c #Conflicts: 820000 | #Constraints: 57539
1099.69/1102.77 c #Conflicts: 821000 | #Constraints: 58541
1099.69/1102.77 c #Conflicts: 822000 | #Constraints: 59541
1099.69/1102.77 c #Conflicts: 823000 | #Constraints: 60543
1099.69/1102.77 c #Conflicts: 824000 | #Constraints: 61545
1099.69/1102.77 c #Conflicts: 825000 | #Constraints: 62548
1099.69/1102.77 c #Conflicts: 826000 | #Constraints: 63549
1099.69/1102.77 c #Conflicts: 827000 | #Constraints: 64550
1099.69/1102.77 c #Conflicts: 828000 | #Constraints: 65550
1099.69/1102.77 c INPROCESSING
1099.69/1102.77 c GARBAGE COLLECT
1099.69/1102.77 c rational objective 6
1129.99/1133.17 c #Conflicts: 829000 | #Constraints: 48539
1129.99/1133.17 c #Conflicts: 830000 | #Constraints: 49539
1129.99/1133.17 c #Conflicts: 831000 | #Constraints: 50539
1129.99/1133.17 c #Conflicts: 832000 | #Constraints: 51539
1129.99/1133.17 c #Conflicts: 833000 | #Constraints: 52540
1129.99/1133.17 c #Conflicts: 834000 | #Constraints: 53543
1129.99/1133.17 c #Conflicts: 835000 | #Constraints: 54544
1129.99/1133.17 c #Conflicts: 836000 | #Constraints: 55547
1129.99/1133.17 c #Conflicts: 837000 | #Constraints: 56549
1129.99/1133.17 c #Conflicts: 838000 | #Constraints: 57551
1129.99/1133.17 c #Conflicts: 839000 | #Constraints: 58551
1129.99/1133.17 c #Conflicts: 840000 | #Constraints: 59553
1129.99/1133.17 c #Conflicts: 841000 | #Constraints: 60554
1129.99/1133.17 c #Conflicts: 842000 | #Constraints: 61556
1129.99/1133.17 c #Conflicts: 843000 | #Constraints: 62558
1129.99/1133.17 c #Conflicts: 844000 | #Constraints: 63559
1129.99/1133.17 c #Conflicts: 845000 | #Constraints: 64560
1129.99/1133.17 c #Conflicts: 846000 | #Constraints: 65561
1129.99/1133.17 c INPROCESSING
1129.99/1133.17 c GARBAGE COLLECT
1129.99/1133.17 c rational objective 6
1166.35/1169.65 c #Conflicts: 847000 | #Constraints: 48285
1166.35/1169.65 c #Conflicts: 848000 | #Constraints: 49285
1166.35/1169.65 c #Conflicts: 849000 | #Constraints: 50286
1166.35/1169.65 c #Conflicts: 850000 | #Constraints: 51286
1166.35/1169.65 c #Conflicts: 851000 | #Constraints: 52286
1166.35/1169.65 c #Conflicts: 852000 | #Constraints: 53291
1166.35/1169.65 c #Conflicts: 853000 | #Constraints: 54293
1166.35/1169.65 c #Conflicts: 854000 | #Constraints: 55294
1166.35/1169.65 c #Conflicts: 855000 | #Constraints: 56296
1166.35/1169.65 c #Conflicts: 856000 | #Constraints: 57298
1166.35/1169.65 c #Conflicts: 857000 | #Constraints: 58298
1166.35/1169.65 c #Conflicts: 858000 | #Constraints: 59298
1166.35/1169.65 c #Conflicts: 859000 | #Constraints: 60299
1166.35/1169.65 c #Conflicts: 860000 | #Constraints: 61300
1166.35/1169.65 c #Conflicts: 861000 | #Constraints: 62300
1166.35/1169.65 c #Conflicts: 862000 | #Constraints: 63300
1166.35/1169.65 c #Conflicts: 863000 | #Constraints: 64301
1166.35/1169.65 c #Conflicts: 864000 | #Constraints: 65302
1166.35/1169.65 c #Conflicts: 865000 | #Constraints: 66303
1166.35/1169.65 c INPROCESSING
1166.35/1169.65 c GARBAGE COLLECT
1166.35/1169.65 c rational objective 6
1193.97/1197.34 c #Conflicts: 866000 | #Constraints: 48877
1193.97/1197.34 c #Conflicts: 867000 | #Constraints: 49878
1193.97/1197.34 c #Conflicts: 868000 | #Constraints: 50878
1193.97/1197.34 c #Conflicts: 869000 | #Constraints: 51879
1193.97/1197.34 c #Conflicts: 870000 | #Constraints: 52880
1193.97/1197.34 c #Conflicts: 871000 | #Constraints: 53881
1193.97/1197.34 c #Conflicts: 872000 | #Constraints: 54882
1193.97/1197.34 c #Conflicts: 873000 | #Constraints: 55885
1193.97/1197.34 c #Conflicts: 874000 | #Constraints: 56886
1193.97/1197.34 c #Conflicts: 875000 | #Constraints: 57888
1193.97/1197.34 c #Conflicts: 876000 | #Constraints: 58890
1193.97/1197.34 c #Conflicts: 877000 | #Constraints: 59891
1193.97/1197.34 c #Conflicts: 878000 | #Constraints: 60892
1193.97/1197.34 c #Conflicts: 879000 | #Constraints: 61893
1193.97/1197.34 c #Conflicts: 880000 | #Constraints: 62893
1193.97/1197.34 c #Conflicts: 881000 | #Constraints: 63893
1193.97/1197.34 c #Conflicts: 882000 | #Constraints: 64894
1193.97/1197.34 c #Conflicts: 883000 | #Constraints: 65895
1193.97/1197.34 c #Conflicts: 884000 | #Constraints: 66896
1193.97/1197.34 c INPROCESSING
1193.97/1197.34 c GARBAGE COLLECT
1193.97/1197.34 c rational objective 6
1222.57/1226.08 c #Conflicts: 885000 | #Constraints: 49234
1222.57/1226.08 c #Conflicts: 886000 | #Constraints: 50234
1222.57/1226.08 c #Conflicts: 887000 | #Constraints: 51234
1222.57/1226.08 c #Conflicts: 888000 | #Constraints: 52235
1222.57/1226.08 c #Conflicts: 889000 | #Constraints: 53236
1222.57/1226.08 c #Conflicts: 890000 | #Constraints: 54236
1222.57/1226.08 c #Conflicts: 891000 | #Constraints: 55236
1222.57/1226.08 c #Conflicts: 892000 | #Constraints: 56237
1222.57/1226.08 c #Conflicts: 893000 | #Constraints: 57238
1222.57/1226.08 c #Conflicts: 894000 | #Constraints: 58239
1222.57/1226.08 c #Conflicts: 895000 | #Constraints: 59240
1222.57/1226.08 c #Conflicts: 896000 | #Constraints: 60241
1222.57/1226.08 c #Conflicts: 897000 | #Constraints: 61243
1222.57/1226.08 c #Conflicts: 898000 | #Constraints: 62245
1222.57/1226.08 c #Conflicts: 899000 | #Constraints: 63247
1222.57/1226.08 c #Conflicts: 900000 | #Constraints: 64248
1222.57/1226.08 c #Conflicts: 901000 | #Constraints: 65250
1222.57/1226.08 c #Conflicts: 902000 | #Constraints: 66251
1222.57/1226.08 c #Conflicts: 903000 | #Constraints: 67251
1222.57/1226.08 c INPROCESSING
1222.57/1226.08 c GARBAGE COLLECT
1222.57/1226.08 c rational objective 6
1253.57/1257.18 c #Conflicts: 904000 | #Constraints: 49414
1253.57/1257.18 c #Conflicts: 905000 | #Constraints: 50414
1253.57/1257.18 c #Conflicts: 906000 | #Constraints: 51416
1253.57/1257.18 c #Conflicts: 907000 | #Constraints: 52416
1253.57/1257.18 c #Conflicts: 908000 | #Constraints: 53417
1253.57/1257.18 c #Conflicts: 909000 | #Constraints: 54418
1253.57/1257.18 c #Conflicts: 910000 | #Constraints: 55419
1253.57/1257.18 c #Conflicts: 911000 | #Constraints: 56421
1253.57/1257.18 c #Conflicts: 912000 | #Constraints: 57422
1253.57/1257.18 c #Conflicts: 913000 | #Constraints: 58424
1253.57/1257.18 c #Conflicts: 914000 | #Constraints: 59427
1253.57/1257.18 c #Conflicts: 915000 | #Constraints: 60428
1253.57/1257.18 c #Conflicts: 916000 | #Constraints: 61433
1253.57/1257.18 c #Conflicts: 917000 | #Constraints: 62435
1253.57/1257.18 c #Conflicts: 918000 | #Constraints: 63437
1253.57/1257.18 c #Conflicts: 919000 | #Constraints: 64437
1253.57/1257.18 c #Conflicts: 920000 | #Constraints: 65438
1253.57/1257.18 c #Conflicts: 921000 | #Constraints: 66438
1253.57/1257.18 c #Conflicts: 922000 | #Constraints: 67439
1253.57/1257.18 c INPROCESSING
1253.57/1257.18 c GARBAGE COLLECT
1253.57/1257.18 c rational objective 6
1294.42/1298.13 c #Conflicts: 923000 | #Constraints: 49307
1294.42/1298.13 c #Conflicts: 924000 | #Constraints: 50307
1294.42/1298.13 c #Conflicts: 925000 | #Constraints: 51307
1294.42/1298.13 c #Conflicts: 926000 | #Constraints: 52308
1294.42/1298.13 c #Conflicts: 927000 | #Constraints: 53308
1294.42/1298.13 c #Conflicts: 928000 | #Constraints: 54310
1294.42/1298.13 c #Conflicts: 929000 | #Constraints: 55311
1294.42/1298.13 c #Conflicts: 930000 | #Constraints: 56312
1294.42/1298.13 c #Conflicts: 931000 | #Constraints: 57313
1294.42/1298.13 c #Conflicts: 932000 | #Constraints: 58316
1294.42/1298.13 c #Conflicts: 933000 | #Constraints: 59317
1294.42/1298.13 c #Conflicts: 934000 | #Constraints: 60319
1294.42/1298.13 c #Conflicts: 935000 | #Constraints: 61320
1294.42/1298.13 c #Conflicts: 936000 | #Constraints: 62321
1294.42/1298.13 c #Conflicts: 937000 | #Constraints: 63321
1294.42/1298.13 c #Conflicts: 938000 | #Constraints: 64322
1294.42/1298.13 c #Conflicts: 939000 | #Constraints: 65322
1294.42/1298.13 c #Conflicts: 940000 | #Constraints: 66322
1294.42/1298.13 c #Conflicts: 941000 | #Constraints: 67323
1294.42/1298.13 c INPROCESSING
1294.42/1298.13 c GARBAGE COLLECT
1294.42/1298.13 c rational objective 6
1337.08/1340.95 c #Conflicts: 942000 | #Constraints: 49155
1337.08/1340.95 c #Conflicts: 943000 | #Constraints: 50156
1337.08/1340.95 c #Conflicts: 944000 | #Constraints: 51156
1337.08/1340.95 c #Conflicts: 945000 | #Constraints: 52156
1337.08/1340.95 c #Conflicts: 946000 | #Constraints: 53159
1337.08/1340.95 c #Conflicts: 947000 | #Constraints: 54159
1337.08/1340.95 c #Conflicts: 948000 | #Constraints: 55161
1337.08/1340.95 c #Conflicts: 949000 | #Constraints: 56161
1337.08/1340.95 c #Conflicts: 950000 | #Constraints: 57162
1337.08/1340.95 c #Conflicts: 951000 | #Constraints: 58162
1337.08/1340.95 c #Conflicts: 952000 | #Constraints: 59162
1337.08/1340.95 c #Conflicts: 953000 | #Constraints: 60163
1337.08/1340.95 c #Conflicts: 954000 | #Constraints: 61164
1337.08/1340.95 c #Conflicts: 955000 | #Constraints: 62164
1337.08/1340.95 c #Conflicts: 956000 | #Constraints: 63164
1337.08/1340.95 c #Conflicts: 957000 | #Constraints: 64164
1337.08/1340.95 c #Conflicts: 958000 | #Constraints: 65164
1337.08/1340.95 c #Conflicts: 959000 | #Constraints: 66165
1337.08/1340.95 c #Conflicts: 960000 | #Constraints: 67165
1337.08/1340.95 c #Conflicts: 961000 | #Constraints: 68165
1337.08/1340.96 c INPROCESSING
1337.08/1340.96 c GARBAGE COLLECT
1337.08/1340.96 c rational objective 6
1387.80/1391.85 c #Conflicts: 962000 | #Constraints: 49763
1387.80/1391.85 c #Conflicts: 963000 | #Constraints: 50763
1387.80/1391.85 c #Conflicts: 964000 | #Constraints: 51764
1387.80/1391.85 c #Conflicts: 965000 | #Constraints: 52764
1387.80/1391.85 c #Conflicts: 966000 | #Constraints: 53766
1387.80/1391.85 c #Conflicts: 967000 | #Constraints: 54769
1387.80/1391.85 c #Conflicts: 968000 | #Constraints: 55770
1387.80/1391.85 c #Conflicts: 969000 | #Constraints: 56774
1387.80/1391.85 c #Conflicts: 970000 | #Constraints: 57777
1387.80/1391.85 c #Conflicts: 971000 | #Constraints: 58781
1387.80/1391.85 c #Conflicts: 972000 | #Constraints: 59785
1387.80/1391.85 c #Conflicts: 973000 | #Constraints: 60791
1387.80/1391.85 c #Conflicts: 974000 | #Constraints: 61794
1387.80/1391.85 c #Conflicts: 975000 | #Constraints: 62794
1387.80/1391.85 c #Conflicts: 976000 | #Constraints: 63795
1387.80/1391.85 c #Conflicts: 977000 | #Constraints: 64797
1387.80/1391.85 c #Conflicts: 978000 | #Constraints: 65798
1387.80/1391.85 c #Conflicts: 979000 | #Constraints: 66800
1387.80/1391.85 c #Conflicts: 980000 | #Constraints: 67802
1387.80/1391.85 c #Conflicts: 981000 | #Constraints: 68803
1387.80/1391.85 c INPROCESSING
1387.80/1391.85 c GARBAGE COLLECT
1387.80/1391.85 c rational objective 6
1431.65/1435.85 c #Conflicts: 982000 | #Constraints: 50143
1431.65/1435.85 c #Conflicts: 983000 | #Constraints: 51145
1431.65/1435.85 c #Conflicts: 984000 | #Constraints: 52148
1431.65/1435.85 c #Conflicts: 985000 | #Constraints: 53150
1431.65/1435.85 c #Conflicts: 986000 | #Constraints: 54151
1431.65/1435.85 c #Conflicts: 987000 | #Constraints: 55152
1431.65/1435.85 c #Conflicts: 988000 | #Constraints: 56152
1431.65/1435.85 c #Conflicts: 989000 | #Constraints: 57153
1431.65/1435.85 c #Conflicts: 990000 | #Constraints: 58153
1431.65/1435.85 c #Conflicts: 991000 | #Constraints: 59154
1431.65/1435.85 c #Conflicts: 992000 | #Constraints: 60154
1431.65/1435.85 c #Conflicts: 993000 | #Constraints: 61155
1431.65/1435.85 c #Conflicts: 994000 | #Constraints: 62155
1431.65/1435.85 c #Conflicts: 995000 | #Constraints: 63155
1431.65/1435.85 c #Conflicts: 996000 | #Constraints: 64156
1431.65/1435.85 c #Conflicts: 997000 | #Constraints: 65156
1431.65/1435.85 c #Conflicts: 998000 | #Constraints: 66157
1431.65/1435.85 c #Conflicts: 999000 | #Constraints: 67157
1431.65/1435.85 c #Conflicts: 1000000 | #Constraints: 68158
1431.65/1435.85 c #Conflicts: 1001000 | #Constraints: 69158
1431.65/1435.85 c INPROCESSING
1431.65/1435.85 c GARBAGE COLLECT
1431.65/1435.85 c rational objective 6
1486.66/1491.05 c #Conflicts: 1002000 | #Constraints: 50355
1486.66/1491.05 c #Conflicts: 1003000 | #Constraints: 51355
1486.66/1491.05 c #Conflicts: 1004000 | #Constraints: 52360
1486.66/1491.05 c #Conflicts: 1005000 | #Constraints: 53363
1486.66/1491.05 c #Conflicts: 1006000 | #Constraints: 54365
1486.66/1491.05 c #Conflicts: 1007000 | #Constraints: 55367
1486.66/1491.05 c #Conflicts: 1008000 | #Constraints: 56369
1486.66/1491.05 c #Conflicts: 1009000 | #Constraints: 57372
1486.66/1491.05 c #Conflicts: 1010000 | #Constraints: 58374
1486.66/1491.05 c #Conflicts: 1011000 | #Constraints: 59375
1486.66/1491.05 c #Conflicts: 1012000 | #Constraints: 60376
1486.66/1491.05 c #Conflicts: 1013000 | #Constraints: 61377
1486.66/1491.05 c #Conflicts: 1014000 | #Constraints: 62378
1486.66/1491.05 c #Conflicts: 1015000 | #Constraints: 63379
1486.66/1491.05 c #Conflicts: 1016000 | #Constraints: 64379
1486.66/1491.05 c #Conflicts: 1017000 | #Constraints: 65380
1486.66/1491.05 c #Conflicts: 1018000 | #Constraints: 66380
1486.66/1491.05 c #Conflicts: 1019000 | #Constraints: 67381
1486.66/1491.05 c #Conflicts: 1020000 | #Constraints: 68381
1486.66/1491.05 c #Conflicts: 1021000 | #Constraints: 69381
1486.66/1491.05 c INPROCESSING
1486.66/1491.05 c GARBAGE COLLECT
1486.66/1491.05 c rational objective 6
1522.93/1527.48 c #Conflicts: 1022000 | #Constraints: 50323
1522.93/1527.48 c #Conflicts: 1023000 | #Constraints: 51323
1522.93/1527.48 c #Conflicts: 1024000 | #Constraints: 52323
1522.93/1527.48 c #Conflicts: 1025000 | #Constraints: 53324
1522.93/1527.48 c #Conflicts: 1026000 | #Constraints: 54324
1522.93/1527.48 c #Conflicts: 1027000 | #Constraints: 55324
1522.93/1527.48 c #Conflicts: 1028000 | #Constraints: 56324
1522.93/1527.48 c #Conflicts: 1029000 | #Constraints: 57326
1522.93/1527.48 c #Conflicts: 1030000 | #Constraints: 58327
1522.93/1527.48 c #Conflicts: 1031000 | #Constraints: 59328
1522.93/1527.48 c #Conflicts: 1032000 | #Constraints: 60331
1522.93/1527.48 c #Conflicts: 1033000 | #Constraints: 61334
1522.93/1527.48 c #Conflicts: 1034000 | #Constraints: 62335
1522.93/1527.48 c #Conflicts: 1035000 | #Constraints: 63336
1522.93/1527.48 c #Conflicts: 1036000 | #Constraints: 64336
1522.93/1527.48 c #Conflicts: 1037000 | #Constraints: 65337
1522.93/1527.48 c #Conflicts: 1038000 | #Constraints: 66337
1522.93/1527.48 c #Conflicts: 1039000 | #Constraints: 67338
1522.93/1527.48 c #Conflicts: 1040000 | #Constraints: 68340
1522.93/1527.48 c #Conflicts: 1041000 | #Constraints: 69340
1522.93/1527.48 c INPROCESSING
1522.93/1527.48 c GARBAGE COLLECT
1522.93/1527.48 c rational objective 6
1570.27/1574.92 c #Conflicts: 1042000 | #Constraints: 50095
1570.27/1574.92 c #Conflicts: 1043000 | #Constraints: 51096
1570.27/1574.92 c #Conflicts: 1044000 | #Constraints: 52096
1570.27/1574.92 c #Conflicts: 1045000 | #Constraints: 53096
1570.27/1574.92 c #Conflicts: 1046000 | #Constraints: 54096
1570.27/1574.92 c #Conflicts: 1047000 | #Constraints: 55098
1570.27/1574.92 c #Conflicts: 1048000 | #Constraints: 56099
1570.27/1574.92 c #Conflicts: 1049000 | #Constraints: 57100
1570.27/1574.92 c #Conflicts: 1050000 | #Constraints: 58101
1570.27/1574.92 c #Conflicts: 1051000 | #Constraints: 59102
1570.27/1574.92 c #Conflicts: 1052000 | #Constraints: 60104
1570.27/1574.92 c #Conflicts: 1053000 | #Constraints: 61105
1570.27/1574.92 c #Conflicts: 1054000 | #Constraints: 62106
1570.27/1574.92 c #Conflicts: 1055000 | #Constraints: 63108
1570.27/1574.92 c #Conflicts: 1056000 | #Constraints: 64108
1570.27/1574.92 c #Conflicts: 1057000 | #Constraints: 65109
1570.27/1574.92 c #Conflicts: 1058000 | #Constraints: 66109
1570.27/1574.92 c #Conflicts: 1059000 | #Constraints: 67110
1570.27/1574.92 c #Conflicts: 1060000 | #Constraints: 68111
1570.27/1574.92 c #Conflicts: 1061000 | #Constraints: 69111
1570.27/1574.92 c #Conflicts: 1062000 | #Constraints: 70112
1570.27/1574.92 c INPROCESSING
1570.27/1574.92 c GARBAGE COLLECT
1570.27/1574.92 c rational objective 6
1609.44/1614.25 c #Conflicts: 1063000 | #Constraints: 50685
1609.44/1614.25 c #Conflicts: 1064000 | #Constraints: 51685
1609.44/1614.25 c #Conflicts: 1065000 | #Constraints: 52686
1609.44/1614.25 c #Conflicts: 1066000 | #Constraints: 53686
1609.44/1614.25 c #Conflicts: 1067000 | #Constraints: 54686
1609.44/1614.25 c #Conflicts: 1068000 | #Constraints: 55686
1609.44/1614.25 c #Conflicts: 1069000 | #Constraints: 56690
1609.44/1614.25 c #Conflicts: 1070000 | #Constraints: 57691
1609.44/1614.25 c #Conflicts: 1071000 | #Constraints: 58692
1609.44/1614.25 c #Conflicts: 1072000 | #Constraints: 59694
1609.44/1614.25 c #Conflicts: 1073000 | #Constraints: 60695
1609.44/1614.25 c #Conflicts: 1074000 | #Constraints: 61696
1609.44/1614.25 c #Conflicts: 1075000 | #Constraints: 62696
1609.44/1614.25 c #Conflicts: 1076000 | #Constraints: 63697
1609.44/1614.25 c #Conflicts: 1077000 | #Constraints: 64697
1609.44/1614.25 c #Conflicts: 1078000 | #Constraints: 65698
1609.44/1614.25 c #Conflicts: 1079000 | #Constraints: 66698
1609.44/1614.25 c #Conflicts: 1080000 | #Constraints: 67699
1609.44/1614.25 c #Conflicts: 1081000 | #Constraints: 68699
1609.44/1614.25 c #Conflicts: 1082000 | #Constraints: 69700
1609.44/1614.25 c #Conflicts: 1083000 | #Constraints: 70701
1609.44/1614.25 c INPROCESSING
1609.44/1614.25 c GARBAGE COLLECT
1609.44/1614.25 c rational objective 6
1641.42/1646.32 c #Conflicts: 1084000 | #Constraints: 51069
1641.42/1646.32 c #Conflicts: 1085000 | #Constraints: 52069
1641.42/1646.32 c #Conflicts: 1086000 | #Constraints: 53069
1641.42/1646.32 c #Conflicts: 1087000 | #Constraints: 54069
1641.42/1646.32 c #Conflicts: 1088000 | #Constraints: 55069
1641.42/1646.32 c #Conflicts: 1089000 | #Constraints: 56070
1641.42/1646.32 c #Conflicts: 1090000 | #Constraints: 57074
1641.42/1646.32 c #Conflicts: 1091000 | #Constraints: 58075
1641.42/1646.32 c #Conflicts: 1092000 | #Constraints: 59078
1641.42/1646.32 c #Conflicts: 1093000 | #Constraints: 60081
1641.42/1646.32 c #Conflicts: 1094000 | #Constraints: 61082
1641.42/1646.32 c #Conflicts: 1095000 | #Constraints: 62085
1641.42/1646.32 c #Conflicts: 1096000 | #Constraints: 63088
1641.42/1646.32 c #Conflicts: 1097000 | #Constraints: 64089
1641.42/1646.32 c #Conflicts: 1098000 | #Constraints: 65089
1641.42/1646.32 c #Conflicts: 1099000 | #Constraints: 66089
1641.42/1646.32 c #Conflicts: 1100000 | #Constraints: 67090
1641.42/1646.32 c #Conflicts: 1101000 | #Constraints: 68091
1641.42/1646.32 c #Conflicts: 1102000 | #Constraints: 69092
1641.42/1646.32 c #Conflicts: 1103000 | #Constraints: 70094
1641.42/1646.32 c #Conflicts: 1104000 | #Constraints: 71095
1641.42/1646.32 c INPROCESSING
1641.42/1646.32 c GARBAGE COLLECT
1641.42/1646.32 c rational objective 6
1688.16/1693.27 c #Conflicts: 1105000 | #Constraints: 51154
1688.16/1693.27 c #Conflicts: 1106000 | #Constraints: 52154
1688.16/1693.27 c #Conflicts: 1107000 | #Constraints: 53154
1688.16/1693.27 c #Conflicts: 1108000 | #Constraints: 54156
1688.16/1693.27 c #Conflicts: 1109000 | #Constraints: 55157
1688.16/1693.27 c #Conflicts: 1110000 | #Constraints: 56157
1688.16/1693.27 c #Conflicts: 1111000 | #Constraints: 57159
1688.16/1693.27 c #Conflicts: 1112000 | #Constraints: 58159
1688.16/1693.27 c #Conflicts: 1113000 | #Constraints: 59159
1688.16/1693.27 c #Conflicts: 1114000 | #Constraints: 60161
1688.16/1693.27 c #Conflicts: 1115000 | #Constraints: 61161
1688.16/1693.27 c #Conflicts: 1116000 | #Constraints: 62162
1688.16/1693.27 c #Conflicts: 1117000 | #Constraints: 63163
1688.16/1693.27 c #Conflicts: 1118000 | #Constraints: 64164
1688.16/1693.27 c #Conflicts: 1119000 | #Constraints: 65164
1688.16/1693.27 c #Conflicts: 1120000 | #Constraints: 66165
1688.16/1693.27 c #Conflicts: 1121000 | #Constraints: 67167
1688.16/1693.27 c #Conflicts: 1122000 | #Constraints: 68168
1688.16/1693.27 c #Conflicts: 1123000 | #Constraints: 69169
1688.16/1693.27 c #Conflicts: 1124000 | #Constraints: 70170
1688.16/1693.27 c #Conflicts: 1125000 | #Constraints: 71171
1688.16/1693.27 c INPROCESSING
1688.16/1693.27 c GARBAGE COLLECT
1688.16/1693.27 c rational objective 6
1725.04/1730.26 c #Conflicts: 1126000 | #Constraints: 51088
1725.04/1730.26 c #Conflicts: 1127000 | #Constraints: 52088
1725.04/1730.26 c #Conflicts: 1128000 | #Constraints: 53088
1725.04/1730.26 c #Conflicts: 1129000 | #Constraints: 54088
1725.04/1730.26 c #Conflicts: 1130000 | #Constraints: 55089
1725.04/1730.26 c #Conflicts: 1131000 | #Constraints: 56089
1725.04/1730.26 c #Conflicts: 1132000 | #Constraints: 57091
1725.04/1730.26 c #Conflicts: 1133000 | #Constraints: 58095
1725.04/1730.26 c #Conflicts: 1134000 | #Constraints: 59096
1725.04/1730.26 c #Conflicts: 1135000 | #Constraints: 60097
1725.04/1730.26 c #Conflicts: 1136000 | #Constraints: 61098
1725.04/1730.26 c #Conflicts: 1137000 | #Constraints: 62100
1725.04/1730.26 c #Conflicts: 1138000 | #Constraints: 63101
1725.04/1730.26 c #Conflicts: 1139000 | #Constraints: 64101
1725.04/1730.26 c #Conflicts: 1140000 | #Constraints: 65102
1725.04/1730.26 c #Conflicts: 1141000 | #Constraints: 66102
1725.04/1730.26 c #Conflicts: 1142000 | #Constraints: 67103
1725.04/1730.26 c #Conflicts: 1143000 | #Constraints: 68103
1725.04/1730.26 c #Conflicts: 1144000 | #Constraints: 69104
1725.04/1730.26 c #Conflicts: 1145000 | #Constraints: 70105
1725.04/1730.26 c #Conflicts: 1146000 | #Constraints: 71107
1725.04/1730.26 c INPROCESSING
1725.04/1730.26 c GARBAGE COLLECT
1725.04/1730.26 c rational objective 6
1776.26/1781.60 c #Conflicts: 1147000 | #Constraints: 50772
1776.26/1781.60 c #Conflicts: 1148000 | #Constraints: 51772
1776.26/1781.60 c #Conflicts: 1149000 | #Constraints: 52772
1776.26/1781.60 c #Conflicts: 1150000 | #Constraints: 53774
1776.26/1781.60 c #Conflicts: 1151000 | #Constraints: 54776
1776.26/1781.60 c #Conflicts: 1152000 | #Constraints: 55778
1776.26/1781.60 c #Conflicts: 1153000 | #Constraints: 56778
1776.26/1781.60 c #Conflicts: 1154000 | #Constraints: 57779
1776.26/1781.60 c #Conflicts: 1155000 | #Constraints: 58779
1776.26/1781.60 c #Conflicts: 1156000 | #Constraints: 59781
1776.26/1781.60 c #Conflicts: 1157000 | #Constraints: 60781
1776.26/1781.60 c #Conflicts: 1158000 | #Constraints: 61782
1776.26/1781.60 c #Conflicts: 1159000 | #Constraints: 62783
1776.26/1781.60 c #Conflicts: 1160000 | #Constraints: 63783
1776.26/1781.60 c #Conflicts: 1161000 | #Constraints: 64784
1776.26/1781.60 c #Conflicts: 1162000 | #Constraints: 65784
1776.26/1781.60 c #Conflicts: 1163000 | #Constraints: 66785
1776.26/1781.60 c #Conflicts: 1164000 | #Constraints: 67785
1776.26/1781.60 c #Conflicts: 1165000 | #Constraints: 68785
1776.26/1781.60 c #Conflicts: 1166000 | #Constraints: 69786
1776.26/1781.60 c #Conflicts: 1167000 | #Constraints: 70786
1776.26/1781.60 c #Conflicts: 1168000 | #Constraints: 71786
1776.26/1781.60 c INPROCESSING
1776.26/1781.60 c GARBAGE COLLECT
1776.26/1781.60 c rational objective 6
1820.21/1825.72 c #Conflicts: 1169000 | #Constraints: 51270
1820.21/1825.72 c #Conflicts: 1170000 | #Constraints: 52270
1820.21/1825.72 c #Conflicts: 1171000 | #Constraints: 53270
1820.21/1825.72 c #Conflicts: 1172000 | #Constraints: 54271
1820.21/1825.72 c #Conflicts: 1173000 | #Constraints: 55271
1820.21/1825.72 c #Conflicts: 1174000 | #Constraints: 56271
1820.21/1825.72 c #Conflicts: 1175000 | #Constraints: 57271
1820.21/1825.72 c #Conflicts: 1176000 | #Constraints: 58272
1820.21/1825.72 c #Conflicts: 1177000 | #Constraints: 59275
1820.21/1825.72 c #Conflicts: 1178000 | #Constraints: 60278
1820.21/1825.72 c #Conflicts: 1179000 | #Constraints: 61280
1820.21/1825.72 c #Conflicts: 1180000 | #Constraints: 62282
1820.21/1825.72 c #Conflicts: 1181000 | #Constraints: 63283
1820.21/1825.72 c #Conflicts: 1182000 | #Constraints: 64285
1820.21/1825.72 c #Conflicts: 1183000 | #Constraints: 65287
1820.21/1825.72 c #Conflicts: 1184000 | #Constraints: 66288
1820.21/1825.72 c #Conflicts: 1185000 | #Constraints: 67289
1820.21/1825.72 c #Conflicts: 1186000 | #Constraints: 68290
1820.21/1825.72 c #Conflicts: 1187000 | #Constraints: 69292
1820.21/1825.72 c #Conflicts: 1188000 | #Constraints: 70293
1820.21/1825.72 c #Conflicts: 1189000 | #Constraints: 71294
1820.21/1825.72 c #Conflicts: 1190000 | #Constraints: 72294
1820.21/1825.72 c INPROCESSING
1820.21/1825.72 c GARBAGE COLLECT
1820.21/1825.72 c rational objective 6
1860.58/1866.28 c #Conflicts: 1191000 | #Constraints: 51545
1860.58/1866.28 c #Conflicts: 1192000 | #Constraints: 52545
1860.58/1866.28 c #Conflicts: 1193000 | #Constraints: 53545
1860.58/1866.28 c #Conflicts: 1194000 | #Constraints: 54545
1860.58/1866.28 c #Conflicts: 1195000 | #Constraints: 55546
1860.58/1866.28 c #Conflicts: 1196000 | #Constraints: 56547
1860.58/1866.28 c #Conflicts: 1197000 | #Constraints: 57547
1860.58/1866.28 c #Conflicts: 1198000 | #Constraints: 58550
1860.58/1866.28 c #Conflicts: 1199000 | #Constraints: 59552
1860.58/1866.28 c #Conflicts: 1200000 | #Constraints: 60554
1860.58/1866.28 c #Conflicts: 1201000 | #Constraints: 61555
1860.58/1866.28 c #Conflicts: 1202000 | #Constraints: 62557
1860.58/1866.28 c #Conflicts: 1203000 | #Constraints: 63559
1860.58/1866.28 c #Conflicts: 1204000 | #Constraints: 64561
1860.58/1866.28 c #Conflicts: 1205000 | #Constraints: 65562
1860.58/1866.28 c #Conflicts: 1206000 | #Constraints: 66562
1860.58/1866.28 c #Conflicts: 1207000 | #Constraints: 67563
1860.58/1866.28 c #Conflicts: 1208000 | #Constraints: 68564
1860.58/1866.28 c #Conflicts: 1209000 | #Constraints: 69565
1860.58/1866.28 c #Conflicts: 1210000 | #Constraints: 70565
1860.58/1866.28 c #Conflicts: 1211000 | #Constraints: 71566
1860.58/1866.28 c #Conflicts: 1212000 | #Constraints: 72566
1860.58/1866.28 c INPROCESSING
1860.58/1866.28 c GARBAGE COLLECT
1860.58/1866.28 c rational objective 6
1900.06/1905.86 c #Conflicts: 1213000 | #Constraints: 51703
1900.06/1905.86 c #Conflicts: 1214000 | #Constraints: 52703
1900.06/1905.86 c #Conflicts: 1215000 | #Constraints: 53703
1900.06/1905.86 c #Conflicts: 1216000 | #Constraints: 54703
1900.06/1905.86 c #Conflicts: 1217000 | #Constraints: 55704
1900.06/1905.86 c #Conflicts: 1218000 | #Constraints: 56704
1900.06/1905.86 c #Conflicts: 1219000 | #Constraints: 57706
1900.06/1905.86 c #Conflicts: 1220000 | #Constraints: 58707
1900.06/1905.86 c #Conflicts: 1221000 | #Constraints: 59709
1900.06/1905.86 c #Conflicts: 1222000 | #Constraints: 60710
1900.06/1905.86 c #Conflicts: 1223000 | #Constraints: 61710
1900.06/1905.86 c #Conflicts: 1224000 | #Constraints: 62711
1900.06/1905.86 c #Conflicts: 1225000 | #Constraints: 63713
1900.06/1905.86 c #Conflicts: 1226000 | #Constraints: 64714
1900.06/1905.86 c #Conflicts: 1227000 | #Constraints: 65715
1900.06/1905.86 c #Conflicts: 1228000 | #Constraints: 66716
1900.06/1905.86 c #Conflicts: 1229000 | #Constraints: 67717
1900.06/1905.86 c #Conflicts: 1230000 | #Constraints: 68717
1900.06/1905.86 c #Conflicts: 1231000 | #Constraints: 69718
1900.06/1905.86 c #Conflicts: 1232000 | #Constraints: 70719
1900.06/1905.86 c #Conflicts: 1233000 | #Constraints: 71719
1900.06/1905.86 c #Conflicts: 1234000 | #Constraints: 72720
1900.06/1905.86 c INPROCESSING
1900.06/1905.86 c GARBAGE COLLECT
1900.06/1905.86 c rational objective 6
1939.74/1945.66 c #Conflicts: 1235000 | #Constraints: 51688
1939.74/1945.66 c #Conflicts: 1236000 | #Constraints: 52689
1939.74/1945.66 c #Conflicts: 1237000 | #Constraints: 53689
1939.74/1945.66 c #Conflicts: 1238000 | #Constraints: 54689
1939.74/1945.66 c #Conflicts: 1239000 | #Constraints: 55693
1939.74/1945.66 c #Conflicts: 1240000 | #Constraints: 56696
1939.74/1945.66 c #Conflicts: 1241000 | #Constraints: 57697
1939.74/1945.66 c #Conflicts: 1242000 | #Constraints: 58698
1939.74/1945.66 c #Conflicts: 1243000 | #Constraints: 59699
1939.74/1945.66 c #Conflicts: 1244000 | #Constraints: 60700
1939.74/1945.66 c #Conflicts: 1245000 | #Constraints: 61701
1939.74/1945.66 c #Conflicts: 1246000 | #Constraints: 62702
1939.74/1945.66 c #Conflicts: 1247000 | #Constraints: 63703
1939.74/1945.66 c #Conflicts: 1248000 | #Constraints: 64704
1939.74/1945.66 c #Conflicts: 1249000 | #Constraints: 65705
1939.74/1945.66 c #Conflicts: 1250000 | #Constraints: 66706
1939.74/1945.66 c #Conflicts: 1251000 | #Constraints: 67707
1939.74/1945.66 c #Conflicts: 1252000 | #Constraints: 68709
1939.74/1945.66 c #Conflicts: 1253000 | #Constraints: 69710
1939.74/1945.66 c #Conflicts: 1254000 | #Constraints: 70711
1939.74/1945.66 c #Conflicts: 1255000 | #Constraints: 71712
1939.74/1945.66 c #Conflicts: 1256000 | #Constraints: 72712
1939.74/1945.66 c INPROCESSING
1939.74/1945.66 c GARBAGE COLLECT
1939.74/1945.66 c rational objective 6
1986.92/1992.90 c #Conflicts: 1257000 | #Constraints: 51451
1986.92/1992.90 c #Conflicts: 1258000 | #Constraints: 52452
1986.92/1992.90 c #Conflicts: 1259000 | #Constraints: 53452
1986.92/1992.90 c #Conflicts: 1260000 | #Constraints: 54452
1986.92/1992.90 c #Conflicts: 1261000 | #Constraints: 55452
1986.92/1992.90 c #Conflicts: 1262000 | #Constraints: 56453
1986.92/1992.90 c #Conflicts: 1263000 | #Constraints: 57454
1986.92/1992.90 c #Conflicts: 1264000 | #Constraints: 58456
1986.92/1992.90 c #Conflicts: 1265000 | #Constraints: 59461
1986.92/1992.90 c #Conflicts: 1266000 | #Constraints: 60465
1986.92/1992.90 c #Conflicts: 1267000 | #Constraints: 61467
1986.92/1992.90 c #Conflicts: 1268000 | #Constraints: 62468
1986.92/1992.90 c #Conflicts: 1269000 | #Constraints: 63469
1986.92/1992.90 c #Conflicts: 1270000 | #Constraints: 64471
1986.92/1992.90 c #Conflicts: 1271000 | #Constraints: 65472
1986.92/1992.90 c #Conflicts: 1272000 | #Constraints: 66474
1986.92/1992.90 c #Conflicts: 1273000 | #Constraints: 67476
1986.92/1992.90 c #Conflicts: 1274000 | #Constraints: 68477
1986.92/1992.90 c #Conflicts: 1275000 | #Constraints: 69479
1986.92/1992.90 c #Conflicts: 1276000 | #Constraints: 70480
1986.92/1992.90 c #Conflicts: 1277000 | #Constraints: 71481
1986.92/1992.90 c #Conflicts: 1278000 | #Constraints: 72482
1986.92/1992.90 c #Conflicts: 1279000 | #Constraints: 73482
1986.92/1992.90 c INPROCESSING
1986.92/1992.90 c GARBAGE COLLECT
1986.92/1992.90 c rational objective 6
2023.33/2029.42 c #Conflicts: 1280000 | #Constraints: 51991
2023.33/2029.42 c #Conflicts: 1281000 | #Constraints: 52991
2023.33/2029.42 c #Conflicts: 1282000 | #Constraints: 53992
2023.33/2029.42 c #Conflicts: 1283000 | #Constraints: 54993
2023.33/2029.42 c #Conflicts: 1284000 | #Constraints: 55994
2023.33/2029.42 c #Conflicts: 1285000 | #Constraints: 56995
2023.33/2029.42 c #Conflicts: 1286000 | #Constraints: 57998
2023.33/2029.42 c #Conflicts: 1287000 | #Constraints: 58999
2023.33/2029.42 c #Conflicts: 1288000 | #Constraints: 60000
2023.33/2029.42 c #Conflicts: 1289000 | #Constraints: 61001
2023.33/2029.42 c #Conflicts: 1290000 | #Constraints: 62002
2023.33/2029.42 c #Conflicts: 1291000 | #Constraints: 63004
2023.33/2029.42 c #Conflicts: 1292000 | #Constraints: 64006
2023.33/2029.42 c #Conflicts: 1293000 | #Constraints: 65010
2023.33/2029.42 c #Conflicts: 1294000 | #Constraints: 66014
2023.33/2029.42 c #Conflicts: 1295000 | #Constraints: 67015
2023.33/2029.42 c #Conflicts: 1296000 | #Constraints: 68015
2023.33/2029.42 c #Conflicts: 1297000 | #Constraints: 69016
2023.33/2029.42 c #Conflicts: 1298000 | #Constraints: 70019
2023.33/2029.42 c #Conflicts: 1299000 | #Constraints: 71024
2023.33/2029.42 c #Conflicts: 1300000 | #Constraints: 72026
2023.33/2029.42 c #Conflicts: 1301000 | #Constraints: 73028
2023.33/2029.42 c #Conflicts: 1302000 | #Constraints: 74028
2023.33/2029.42 c INPROCESSING
2023.33/2029.42 c GARBAGE COLLECT
2023.33/2029.42 c rational objective 6
2066.82/2073.03 c #Conflicts: 1303000 | #Constraints: 52376
2066.82/2073.03 c #Conflicts: 1304000 | #Constraints: 53377
2066.82/2073.03 c #Conflicts: 1305000 | #Constraints: 54378
2066.82/2073.03 c #Conflicts: 1306000 | #Constraints: 55379
2066.82/2073.03 c #Conflicts: 1307000 | #Constraints: 56382
2066.82/2073.03 c #Conflicts: 1308000 | #Constraints: 57388
2066.82/2073.03 c #Conflicts: 1309000 | #Constraints: 58389
2066.82/2073.03 c #Conflicts: 1310000 | #Constraints: 59396
2066.82/2073.03 c #Conflicts: 1311000 | #Constraints: 60398
2066.82/2073.03 c #Conflicts: 1312000 | #Constraints: 61399
2066.82/2073.03 c #Conflicts: 1313000 | #Constraints: 62400
2066.82/2073.03 c #Conflicts: 1314000 | #Constraints: 63400
2066.82/2073.03 c #Conflicts: 1315000 | #Constraints: 64400
2066.82/2073.03 c #Conflicts: 1316000 | #Constraints: 65400
2066.82/2073.03 c #Conflicts: 1317000 | #Constraints: 66401
2066.82/2073.03 c #Conflicts: 1318000 | #Constraints: 67402
2066.82/2073.03 c #Conflicts: 1319000 | #Constraints: 68402
2066.82/2073.03 c #Conflicts: 1320000 | #Constraints: 69403
2066.82/2073.03 c #Conflicts: 1321000 | #Constraints: 70404
2066.82/2073.03 c #Conflicts: 1322000 | #Constraints: 71405
2066.82/2073.03 c #Conflicts: 1323000 | #Constraints: 72405
2066.82/2073.03 c #Conflicts: 1324000 | #Constraints: 73405
2066.82/2073.03 c #Conflicts: 1325000 | #Constraints: 74406
2066.82/2073.03 c INPROCESSING
2066.82/2073.03 c GARBAGE COLLECT
2066.82/2073.03 c rational objective 6
2127.65/2134.02 c #Conflicts: 1326000 | #Constraints: 52556
2127.65/2134.02 c #Conflicts: 1327000 | #Constraints: 53556
2127.65/2134.02 c #Conflicts: 1328000 | #Constraints: 54557
2127.65/2134.02 c #Conflicts: 1329000 | #Constraints: 55557
2127.65/2134.02 c #Conflicts: 1330000 | #Constraints: 56559
2127.65/2134.02 c #Conflicts: 1331000 | #Constraints: 57559
2127.65/2134.02 c #Conflicts: 1332000 | #Constraints: 58561
2127.65/2134.02 c #Conflicts: 1333000 | #Constraints: 59564
2127.65/2134.02 c #Conflicts: 1334000 | #Constraints: 60565
2127.65/2134.02 c #Conflicts: 1335000 | #Constraints: 61566
2127.65/2134.02 c #Conflicts: 1336000 | #Constraints: 62566
2127.65/2134.02 c #Conflicts: 1337000 | #Constraints: 63568
2127.65/2134.02 c #Conflicts: 1338000 | #Constraints: 64568
2127.65/2134.02 c #Conflicts: 1339000 | #Constraints: 65569
2127.65/2134.02 c #Conflicts: 1340000 | #Constraints: 66569
2127.65/2134.02 c #Conflicts: 1341000 | #Constraints: 67570
2127.65/2134.02 c #Conflicts: 1342000 | #Constraints: 68572
2127.65/2134.02 c #Conflicts: 1343000 | #Constraints: 69574
2127.65/2134.02 c #Conflicts: 1344000 | #Constraints: 70574
2127.65/2134.02 c #Conflicts: 1345000 | #Constraints: 71576
2127.65/2134.02 c #Conflicts: 1346000 | #Constraints: 72578
2127.65/2134.02 c #Conflicts: 1347000 | #Constraints: 73579
2127.65/2134.02 c #Conflicts: 1348000 | #Constraints: 74580
2127.65/2134.02 c INPROCESSING
2127.65/2134.02 c GARBAGE COLLECT
2127.65/2134.02 c rational objective 6
2188.79/2195.34 c #Conflicts: 1349000 | #Constraints: 52522
2188.79/2195.34 c #Conflicts: 1350000 | #Constraints: 53523
2188.79/2195.34 c #Conflicts: 1351000 | #Constraints: 54523
2188.79/2195.34 c #Conflicts: 1352000 | #Constraints: 55525
2188.79/2195.34 c #Conflicts: 1353000 | #Constraints: 56527
2188.79/2195.34 c #Conflicts: 1354000 | #Constraints: 57528
2188.79/2195.34 c #Conflicts: 1355000 | #Constraints: 58529
2188.79/2195.34 c #Conflicts: 1356000 | #Constraints: 59531
2188.79/2195.34 c #Conflicts: 1357000 | #Constraints: 60532
2188.79/2195.34 c #Conflicts: 1358000 | #Constraints: 61535
2188.79/2195.34 c #Conflicts: 1359000 | #Constraints: 62536
2188.79/2195.34 c #Conflicts: 1360000 | #Constraints: 63539
2188.79/2195.34 c #Conflicts: 1361000 | #Constraints: 64540
2188.79/2195.34 c #Conflicts: 1362000 | #Constraints: 65540
2188.79/2195.34 c #Conflicts: 1363000 | #Constraints: 66540
2188.79/2195.34 c #Conflicts: 1364000 | #Constraints: 67542
2188.79/2195.34 c #Conflicts: 1365000 | #Constraints: 68544
2188.79/2195.34 c #Conflicts: 1366000 | #Constraints: 69549
2188.79/2195.34 c #Conflicts: 1367000 | #Constraints: 70551
2188.79/2195.34 c #Conflicts: 1368000 | #Constraints: 71552
2188.79/2195.34 c #Conflicts: 1369000 | #Constraints: 72552
2188.79/2195.34 c #Conflicts: 1370000 | #Constraints: 73553
2188.79/2195.34 c #Conflicts: 1371000 | #Constraints: 74553
2188.79/2195.34 c INPROCESSING
2188.79/2195.34 c GARBAGE COLLECT
2188.79/2195.34 c rational objective 6
2241.58/2248.24 c #Conflicts: 1372000 | #Constraints: 52285
2241.58/2248.24 c #Conflicts: 1373000 | #Constraints: 53286
2241.58/2248.24 c #Conflicts: 1374000 | #Constraints: 54286
2241.58/2248.24 c #Conflicts: 1375000 | #Constraints: 55287
2241.58/2248.24 c #Conflicts: 1376000 | #Constraints: 56288
2241.58/2248.24 c #Conflicts: 1377000 | #Constraints: 57289
2241.58/2248.24 c #Conflicts: 1378000 | #Constraints: 58290
2241.58/2248.24 c #Conflicts: 1379000 | #Constraints: 59293
2241.58/2248.24 c #Conflicts: 1380000 | #Constraints: 60294
2241.58/2248.24 c #Conflicts: 1381000 | #Constraints: 61295
2241.58/2248.24 c #Conflicts: 1382000 | #Constraints: 62295
2241.58/2248.24 c #Conflicts: 1383000 | #Constraints: 63296
2241.58/2248.24 c #Conflicts: 1384000 | #Constraints: 64297
2241.58/2248.24 c #Conflicts: 1385000 | #Constraints: 65297
2241.58/2248.24 c #Conflicts: 1386000 | #Constraints: 66298
2241.58/2248.24 c #Conflicts: 1387000 | #Constraints: 67299
2241.58/2248.24 c #Conflicts: 1388000 | #Constraints: 68299
2241.58/2248.24 c #Conflicts: 1389000 | #Constraints: 69299
2241.58/2248.24 c #Conflicts: 1390000 | #Constraints: 70300
2241.58/2248.24 c #Conflicts: 1391000 | #Constraints: 71301
2241.58/2248.24 c #Conflicts: 1392000 | #Constraints: 72302
2241.58/2248.24 c #Conflicts: 1393000 | #Constraints: 73302
2241.58/2248.24 c #Conflicts: 1394000 | #Constraints: 74303
2241.58/2248.24 c #Conflicts: 1395000 | #Constraints: 75303
2241.58/2248.24 c INPROCESSING
2241.58/2248.24 c GARBAGE COLLECT
2241.58/2248.24 c rational objective 6
2289.47/2296.23 c #Conflicts: 1396000 | #Constraints: 52852
2289.47/2296.23 c #Conflicts: 1397000 | #Constraints: 53852
2289.47/2296.23 c #Conflicts: 1398000 | #Constraints: 54852
2289.47/2296.23 c #Conflicts: 1399000 | #Constraints: 55852
2289.47/2296.23 c #Conflicts: 1400000 | #Constraints: 56852
2289.47/2296.23 c #Conflicts: 1401000 | #Constraints: 57854
2289.47/2296.23 c #Conflicts: 1402000 | #Constraints: 58863
2289.47/2296.23 c #Conflicts: 1403000 | #Constraints: 59863
2289.47/2296.23 c #Conflicts: 1404000 | #Constraints: 60866
2289.47/2296.23 c #Conflicts: 1405000 | #Constraints: 61867
2289.47/2296.23 c #Conflicts: 1406000 | #Constraints: 62869
2289.47/2296.23 c #Conflicts: 1407000 | #Constraints: 63872
2289.47/2296.23 c #Conflicts: 1408000 | #Constraints: 64877
2289.47/2296.23 c #Conflicts: 1409000 | #Constraints: 65880
2289.47/2296.23 c #Conflicts: 1410000 | #Constraints: 66883
2289.47/2296.23 c #Conflicts: 1411000 | #Constraints: 67889
2289.47/2296.23 c #Conflicts: 1412000 | #Constraints: 68890
2289.47/2296.23 c #Conflicts: 1413000 | #Constraints: 69892
2289.47/2296.23 c #Conflicts: 1414000 | #Constraints: 70894
2289.47/2296.23 c #Conflicts: 1415000 | #Constraints: 71895
2289.47/2296.23 c #Conflicts: 1416000 | #Constraints: 72897
2289.47/2296.23 c #Conflicts: 1417000 | #Constraints: 73897
2289.47/2296.23 c #Conflicts: 1418000 | #Constraints: 74898
2289.47/2296.23 c #Conflicts: 1419000 | #Constraints: 75899
2289.47/2296.23 c INPROCESSING
2289.47/2296.23 c GARBAGE COLLECT
2289.47/2296.23 c rational objective 6
2341.15/2348.01 c #Conflicts: 1420000 | #Constraints: 53220
2341.15/2348.01 c #Conflicts: 1421000 | #Constraints: 54220
2341.15/2348.01 c #Conflicts: 1422000 | #Constraints: 55221
2341.15/2348.01 c #Conflicts: 1423000 | #Constraints: 56222
2341.15/2348.01 c #Conflicts: 1424000 | #Constraints: 57225
2341.15/2348.01 c #Conflicts: 1425000 | #Constraints: 58226
2341.15/2348.01 c #Conflicts: 1426000 | #Constraints: 59228
2341.15/2348.01 c #Conflicts: 1427000 | #Constraints: 60230
2341.15/2348.01 c #Conflicts: 1428000 | #Constraints: 61231
2341.15/2348.01 c #Conflicts: 1429000 | #Constraints: 62232
2341.15/2348.01 c #Conflicts: 1430000 | #Constraints: 63234
2341.15/2348.01 c #Conflicts: 1431000 | #Constraints: 64236
2341.15/2348.01 c #Conflicts: 1432000 | #Constraints: 65237
2341.15/2348.01 c #Conflicts: 1433000 | #Constraints: 66238
2341.15/2348.01 c #Conflicts: 1434000 | #Constraints: 67241
2341.15/2348.01 c #Conflicts: 1435000 | #Constraints: 68241
2341.15/2348.01 c #Conflicts: 1436000 | #Constraints: 69243
2341.15/2348.01 c #Conflicts: 1437000 | #Constraints: 70244
2341.15/2348.01 c #Conflicts: 1438000 | #Constraints: 71244
2341.15/2348.01 c #Conflicts: 1439000 | #Constraints: 72245
2341.15/2348.01 c #Conflicts: 1440000 | #Constraints: 73245
2341.15/2348.01 c #Conflicts: 1441000 | #Constraints: 74247
2341.15/2348.01 c #Conflicts: 1442000 | #Constraints: 75250
2341.15/2348.01 c #Conflicts: 1443000 | #Constraints: 76252
2341.15/2348.01 c INPROCESSING
2341.15/2348.01 c GARBAGE COLLECT
2341.15/2348.01 c rational objective 6
2409.01/2416.03 c #Conflicts: 1444000 | #Constraints: 53405
2409.01/2416.03 c #Conflicts: 1445000 | #Constraints: 54405
2409.01/2416.03 c #Conflicts: 1446000 | #Constraints: 55405
2409.01/2416.03 c #Conflicts: 1447000 | #Constraints: 56407
2409.01/2416.03 c #Conflicts: 1448000 | #Constraints: 57409
2409.01/2416.03 c #Conflicts: 1449000 | #Constraints: 58410
2409.01/2416.03 c #Conflicts: 1450000 | #Constraints: 59413
2409.01/2416.03 c #Conflicts: 1451000 | #Constraints: 60414
2409.01/2416.03 c #Conflicts: 1452000 | #Constraints: 61416
2409.01/2416.03 c #Conflicts: 1453000 | #Constraints: 62416
2409.01/2416.03 c #Conflicts: 1454000 | #Constraints: 63417
2409.01/2416.03 c #Conflicts: 1455000 | #Constraints: 64417
2409.01/2416.03 c #Conflicts: 1456000 | #Constraints: 65418
2409.01/2416.03 c #Conflicts: 1457000 | #Constraints: 66421
2409.01/2416.03 c #Conflicts: 1458000 | #Constraints: 67427
2409.01/2416.03 c #Conflicts: 1459000 | #Constraints: 68427
2409.01/2416.03 c #Conflicts: 1460000 | #Constraints: 69428
2409.01/2416.03 c #Conflicts: 1461000 | #Constraints: 70429
2409.01/2416.03 c #Conflicts: 1462000 | #Constraints: 71430
2409.01/2416.03 c #Conflicts: 1463000 | #Constraints: 72430
2409.01/2416.03 c #Conflicts: 1464000 | #Constraints: 73430
2409.01/2416.03 c #Conflicts: 1465000 | #Constraints: 74430
2409.01/2416.03 c #Conflicts: 1466000 | #Constraints: 75430
2409.01/2416.03 c #Conflicts: 1467000 | #Constraints: 76431
2409.01/2416.03 c INPROCESSING
2409.01/2416.03 c GARBAGE COLLECT
2409.01/2416.03 c rational objective 6
2446.52/2453.65 c #Conflicts: 1468000 | #Constraints: 53419
2446.52/2453.65 c #Conflicts: 1469000 | #Constraints: 54419
2446.52/2453.65 c #Conflicts: 1470000 | #Constraints: 55420
2446.52/2453.65 c #Conflicts: 1471000 | #Constraints: 56420
2446.52/2453.65 c #Conflicts: 1472000 | #Constraints: 57420
2446.52/2453.65 c #Conflicts: 1473000 | #Constraints: 58422
2446.52/2453.65 c #Conflicts: 1474000 | #Constraints: 59423
2446.52/2453.65 c #Conflicts: 1475000 | #Constraints: 60423
2446.52/2453.65 c #Conflicts: 1476000 | #Constraints: 61425
2446.52/2453.65 c #Conflicts: 1477000 | #Constraints: 62425
2446.52/2453.65 c #Conflicts: 1478000 | #Constraints: 63428
2446.52/2453.65 c #Conflicts: 1479000 | #Constraints: 64431
2446.52/2453.65 c #Conflicts: 1480000 | #Constraints: 65432
2446.52/2453.65 c #Conflicts: 1481000 | #Constraints: 66434
2446.52/2453.65 c #Conflicts: 1482000 | #Constraints: 67435
2446.52/2453.65 c #Conflicts: 1483000 | #Constraints: 68436
2446.52/2453.65 c #Conflicts: 1484000 | #Constraints: 69439
2446.52/2453.65 c #Conflicts: 1485000 | #Constraints: 70441
2446.52/2453.65 c #Conflicts: 1486000 | #Constraints: 71443
2446.52/2453.65 c #Conflicts: 1487000 | #Constraints: 72444
2446.52/2453.65 c #Conflicts: 1488000 | #Constraints: 73445
2446.52/2453.65 c #Conflicts: 1489000 | #Constraints: 74446
2446.52/2453.65 c #Conflicts: 1490000 | #Constraints: 75447
2446.52/2453.65 c #Conflicts: 1491000 | #Constraints: 76448
2446.52/2453.65 c INPROCESSING
2446.52/2453.65 c GARBAGE COLLECT
2446.52/2453.65 c rational objective 6
2493.52/2500.76 c #Conflicts: 1492000 | #Constraints: 53156
2493.52/2500.76 c #Conflicts: 1493000 | #Constraints: 54157
2493.52/2500.76 c #Conflicts: 1494000 | #Constraints: 55157
2493.52/2500.76 c #Conflicts: 1495000 | #Constraints: 56157
2493.52/2500.76 c #Conflicts: 1496000 | #Constraints: 57158
2493.52/2500.76 c #Conflicts: 1497000 | #Constraints: 58160
2493.52/2500.76 c #Conflicts: 1498000 | #Constraints: 59161
2493.52/2500.76 c #Conflicts: 1499000 | #Constraints: 60162
2493.52/2500.76 c #Conflicts: 1500000 | #Constraints: 61163
2493.52/2500.76 c #Conflicts: 1501000 | #Constraints: 62165
2493.52/2500.76 c #Conflicts: 1502000 | #Constraints: 63166
2493.52/2500.76 c #Conflicts: 1503000 | #Constraints: 64166
2493.52/2500.76 c #Conflicts: 1504000 | #Constraints: 65167
2493.52/2500.76 c #Conflicts: 1505000 | #Constraints: 66167
2493.52/2500.76 c #Conflicts: 1506000 | #Constraints: 67168
2493.52/2500.76 c #Conflicts: 1507000 | #Constraints: 68169
2493.52/2500.76 c #Conflicts: 1508000 | #Constraints: 69169
2493.52/2500.76 c #Conflicts: 1509000 | #Constraints: 70170
2493.52/2500.76 c #Conflicts: 1510000 | #Constraints: 71171
2493.52/2500.76 c #Conflicts: 1511000 | #Constraints: 72172
2493.52/2500.76 c #Conflicts: 1512000 | #Constraints: 73172
2493.52/2500.76 c #Conflicts: 1513000 | #Constraints: 74172
2493.52/2500.76 c #Conflicts: 1514000 | #Constraints: 75172
2493.52/2500.76 c #Conflicts: 1515000 | #Constraints: 76172
2493.52/2500.76 c #Conflicts: 1516000 | #Constraints: 77172
2493.52/2500.76 c INPROCESSING
2493.52/2500.76 c GARBAGE COLLECT
2493.52/2500.76 c rational objective 6
2541.52/2548.82 c #Conflicts: 1517000 | #Constraints: 53625
2541.52/2548.82 c #Conflicts: 1518000 | #Constraints: 54625
2541.52/2548.82 c #Conflicts: 1519000 | #Constraints: 55625
2541.52/2548.82 c #Conflicts: 1520000 | #Constraints: 56625
2541.52/2548.82 c #Conflicts: 1521000 | #Constraints: 57626
2541.52/2548.82 c #Conflicts: 1522000 | #Constraints: 58628
2541.52/2548.82 c #Conflicts: 1523000 | #Constraints: 59629
2541.52/2548.82 c #Conflicts: 1524000 | #Constraints: 60631
2541.52/2548.82 c #Conflicts: 1525000 | #Constraints: 61632
2541.52/2548.82 c #Conflicts: 1526000 | #Constraints: 62633
2541.52/2548.82 c #Conflicts: 1527000 | #Constraints: 63635
2541.52/2548.82 c #Conflicts: 1528000 | #Constraints: 64636
2541.52/2548.82 c #Conflicts: 1529000 | #Constraints: 65636
2541.52/2548.82 c #Conflicts: 1530000 | #Constraints: 66637
2541.52/2548.82 c #Conflicts: 1531000 | #Constraints: 67642
2541.52/2548.82 c #Conflicts: 1532000 | #Constraints: 68644
2541.52/2548.82 c #Conflicts: 1533000 | #Constraints: 69645
2541.52/2548.82 c #Conflicts: 1534000 | #Constraints: 70646
2541.52/2548.82 c #Conflicts: 1535000 | #Constraints: 71649
2541.52/2548.82 c #Conflicts: 1536000 | #Constraints: 72650
2541.52/2548.82 c #Conflicts: 1537000 | #Constraints: 73650
2541.52/2548.82 c #Conflicts: 1538000 | #Constraints: 74650
2541.52/2548.82 c #Conflicts: 1539000 | #Constraints: 75650
2541.52/2548.82 c #Conflicts: 1540000 | #Constraints: 76651
2541.52/2548.82 c #Conflicts: 1541000 | #Constraints: 77651
2541.52/2548.82 c INPROCESSING
2541.52/2548.82 c GARBAGE COLLECT
2541.52/2548.82 c rational objective 6
2613.36/2620.85 c #Conflicts: 1542000 | #Constraints: 54015
2613.36/2620.85 c #Conflicts: 1543000 | #Constraints: 55015
2613.36/2620.85 c #Conflicts: 1544000 | #Constraints: 56015
2613.36/2620.85 c #Conflicts: 1545000 | #Constraints: 57016
2613.36/2620.85 c #Conflicts: 1546000 | #Constraints: 58019
2613.36/2620.85 c #Conflicts: 1547000 | #Constraints: 59022
2613.36/2620.85 c #Conflicts: 1548000 | #Constraints: 60024
2613.36/2620.85 c #Conflicts: 1549000 | #Constraints: 61025
2613.36/2620.85 c #Conflicts: 1550000 | #Constraints: 62026
2613.36/2620.85 c #Conflicts: 1551000 | #Constraints: 63028
2613.36/2620.85 c #Conflicts: 1552000 | #Constraints: 64029
2613.36/2620.85 c #Conflicts: 1553000 | #Constraints: 65030
2613.36/2620.85 c #Conflicts: 1554000 | #Constraints: 66030
2613.36/2620.85 c #Conflicts: 1555000 | #Constraints: 67032
2613.36/2620.85 c #Conflicts: 1556000 | #Constraints: 68032
2613.36/2620.85 c #Conflicts: 1557000 | #Constraints: 69033
2613.36/2620.85 c #Conflicts: 1558000 | #Constraints: 70034
2613.36/2620.85 c #Conflicts: 1559000 | #Constraints: 71035
2613.36/2620.85 c #Conflicts: 1560000 | #Constraints: 72036
2613.36/2620.85 c #Conflicts: 1561000 | #Constraints: 73036
2613.36/2620.85 c #Conflicts: 1562000 | #Constraints: 74037
2613.36/2620.85 c #Conflicts: 1563000 | #Constraints: 75038
2613.36/2620.85 c #Conflicts: 1564000 | #Constraints: 76040
2613.36/2620.85 c #Conflicts: 1565000 | #Constraints: 77040
2613.36/2620.85 c #Conflicts: 1566000 | #Constraints: 78041
2613.36/2620.85 c INPROCESSING
2613.36/2620.85 c GARBAGE COLLECT
2613.36/2620.85 c rational objective 6
2652.78/2660.31 c #Conflicts: 1567000 | #Constraints: 54202
2652.78/2660.31 c #Conflicts: 1568000 | #Constraints: 55202
2652.78/2660.31 c #Conflicts: 1569000 | #Constraints: 56202
2652.78/2660.31 c #Conflicts: 1570000 | #Constraints: 57203
2652.78/2660.31 c #Conflicts: 1571000 | #Constraints: 58205
2652.78/2660.31 c #Conflicts: 1572000 | #Constraints: 59206
2652.78/2660.31 c #Conflicts: 1573000 | #Constraints: 60208
2652.78/2660.31 c #Conflicts: 1574000 | #Constraints: 61210
2652.78/2660.31 c #Conflicts: 1575000 | #Constraints: 62211
2652.78/2660.31 c #Conflicts: 1576000 | #Constraints: 63214
2652.78/2660.31 c #Conflicts: 1577000 | #Constraints: 64215
2652.78/2660.31 c #Conflicts: 1578000 | #Constraints: 65216
2652.78/2660.31 c #Conflicts: 1579000 | #Constraints: 66216
2652.78/2660.31 c #Conflicts: 1580000 | #Constraints: 67217
2652.78/2660.31 c #Conflicts: 1581000 | #Constraints: 68218
2652.78/2660.31 c #Conflicts: 1582000 | #Constraints: 69220
2652.78/2660.31 c #Conflicts: 1583000 | #Constraints: 70220
2652.78/2660.31 c #Conflicts: 1584000 | #Constraints: 71221
2652.78/2660.31 c #Conflicts: 1585000 | #Constraints: 72222
2652.78/2660.31 c #Conflicts: 1586000 | #Constraints: 73222
2652.78/2660.31 c #Conflicts: 1587000 | #Constraints: 74223
2652.78/2660.31 c #Conflicts: 1588000 | #Constraints: 75223
2652.78/2660.31 c #Conflicts: 1589000 | #Constraints: 76225
2652.78/2660.31 c #Conflicts: 1590000 | #Constraints: 77225
2652.78/2660.31 c #Conflicts: 1591000 | #Constraints: 78226
2652.78/2660.31 c INPROCESSING
2652.78/2660.31 c GARBAGE COLLECT
2652.78/2660.31 c rational objective 6
2702.67/2710.33 c #Conflicts: 1592000 | #Constraints: 54208
2702.67/2710.33 c #Conflicts: 1593000 | #Constraints: 55208
2702.67/2710.33 c #Conflicts: 1594000 | #Constraints: 56208
2702.67/2710.33 c #Conflicts: 1595000 | #Constraints: 57208
2702.67/2710.33 c #Conflicts: 1596000 | #Constraints: 58212
2702.67/2710.33 c #Conflicts: 1597000 | #Constraints: 59216
2702.67/2710.33 c #Conflicts: 1598000 | #Constraints: 60217
2702.67/2710.33 c #Conflicts: 1599000 | #Constraints: 61217
2702.67/2710.33 c #Conflicts: 1600000 | #Constraints: 62219
2702.67/2710.33 c #Conflicts: 1601000 | #Constraints: 63220
2702.67/2710.33 c #Conflicts: 1602000 | #Constraints: 64220
2702.67/2710.33 c #Conflicts: 1603000 | #Constraints: 65221
2702.67/2710.33 c #Conflicts: 1604000 | #Constraints: 66222
2702.67/2710.33 c #Conflicts: 1605000 | #Constraints: 67223
2702.67/2710.33 c #Conflicts: 1606000 | #Constraints: 68224
2702.67/2710.33 c #Conflicts: 1607000 | #Constraints: 69225
2702.67/2710.33 c #Conflicts: 1608000 | #Constraints: 70226
2702.67/2710.33 c #Conflicts: 1609000 | #Constraints: 71227
2702.67/2710.33 c #Conflicts: 1610000 | #Constraints: 72228
2702.67/2710.33 c #Conflicts: 1611000 | #Constraints: 73229
2702.67/2710.33 c #Conflicts: 1612000 | #Constraints: 74230
2702.67/2710.33 c #Conflicts: 1613000 | #Constraints: 75230
2702.67/2710.33 c #Conflicts: 1614000 | #Constraints: 76231
2702.67/2710.33 c #Conflicts: 1615000 | #Constraints: 77232
2702.67/2710.33 c #Conflicts: 1616000 | #Constraints: 78232
2702.67/2710.33 c INPROCESSING
2702.67/2710.33 c GARBAGE COLLECT
2702.67/2710.33 c rational objective 6
2761.64/2769.41 c #Conflicts: 1617000 | #Constraints: 53970
2761.64/2769.41 c #Conflicts: 1618000 | #Constraints: 54970
2761.64/2769.41 c #Conflicts: 1619000 | #Constraints: 55970
2761.64/2769.41 c #Conflicts: 1620000 | #Constraints: 56971
2761.64/2769.41 c #Conflicts: 1621000 | #Constraints: 57971
2761.64/2769.41 c #Conflicts: 1622000 | #Constraints: 58971
2761.64/2769.41 c #Conflicts: 1623000 | #Constraints: 59971
2761.64/2769.41 c #Conflicts: 1624000 | #Constraints: 60973
2761.64/2769.41 c #Conflicts: 1625000 | #Constraints: 61973
2761.64/2769.41 c #Conflicts: 1626000 | #Constraints: 62975
2761.64/2769.41 c #Conflicts: 1627000 | #Constraints: 63976
2761.64/2769.41 c #Conflicts: 1628000 | #Constraints: 64977
2761.64/2769.41 c #Conflicts: 1629000 | #Constraints: 65978
2761.64/2769.41 c #Conflicts: 1630000 | #Constraints: 66979
2761.64/2769.41 c #Conflicts: 1631000 | #Constraints: 67980
2761.64/2769.41 c #Conflicts: 1632000 | #Constraints: 68980
2761.64/2769.41 c #Conflicts: 1633000 | #Constraints: 69981
2761.64/2769.41 c #Conflicts: 1634000 | #Constraints: 70981
2761.64/2769.41 c #Conflicts: 1635000 | #Constraints: 71982
2761.64/2769.41 c #Conflicts: 1636000 | #Constraints: 72982
2761.64/2769.41 c #Conflicts: 1637000 | #Constraints: 73983
2761.64/2769.41 c #Conflicts: 1638000 | #Constraints: 74984
2761.64/2769.41 c #Conflicts: 1639000 | #Constraints: 75985
2761.64/2769.41 c #Conflicts: 1640000 | #Constraints: 76985
2761.64/2769.41 c #Conflicts: 1641000 | #Constraints: 77986
2761.64/2769.41 c #Conflicts: 1642000 | #Constraints: 78986
2761.64/2769.41 c INPROCESSING
2761.64/2769.41 c GARBAGE COLLECT
2761.64/2769.41 c rational objective 6
2821.41/2829.33 c #Conflicts: 1643000 | #Constraints: 54508
2821.41/2829.33 c #Conflicts: 1644000 | #Constraints: 55509
2821.41/2829.33 c #Conflicts: 1645000 | #Constraints: 56509
2821.41/2829.33 c #Conflicts: 1646000 | #Constraints: 57509
2821.41/2829.33 c #Conflicts: 1647000 | #Constraints: 58510
2821.41/2829.33 c #Conflicts: 1648000 | #Constraints: 59512
2821.41/2829.33 c #Conflicts: 1649000 | #Constraints: 60515
2821.41/2829.33 c #Conflicts: 1650000 | #Constraints: 61520
2821.41/2829.33 c #Conflicts: 1651000 | #Constraints: 62521
2821.41/2829.33 c #Conflicts: 1652000 | #Constraints: 63525
2821.41/2829.33 c #Conflicts: 1653000 | #Constraints: 64525
2821.41/2829.33 c #Conflicts: 1654000 | #Constraints: 65526
2821.41/2829.33 c #Conflicts: 1655000 | #Constraints: 66527
2821.41/2829.33 c #Conflicts: 1656000 | #Constraints: 67530
2821.41/2829.33 c #Conflicts: 1657000 | #Constraints: 68531
2821.41/2829.33 c #Conflicts: 1658000 | #Constraints: 69533
2821.41/2829.33 c #Conflicts: 1659000 | #Constraints: 70535
2821.41/2829.33 c #Conflicts: 1660000 | #Constraints: 71536
2821.41/2829.33 c #Conflicts: 1661000 | #Constraints: 72536
2821.41/2829.33 c #Conflicts: 1662000 | #Constraints: 73537
2821.41/2829.33 c #Conflicts: 1663000 | #Constraints: 74539
2821.41/2829.33 c #Conflicts: 1664000 | #Constraints: 75540
2821.41/2829.33 c #Conflicts: 1665000 | #Constraints: 76541
2821.41/2829.33 c #Conflicts: 1666000 | #Constraints: 77541
2821.41/2829.33 c #Conflicts: 1667000 | #Constraints: 78542
2821.41/2829.33 c #Conflicts: 1668000 | #Constraints: 79543
2821.41/2829.33 c INPROCESSING
2821.41/2829.33 c GARBAGE COLLECT
2821.41/2829.33 c rational objective 6
2890.86/2898.97 c #Conflicts: 1669000 | #Constraints: 54892
2890.86/2898.97 c #Conflicts: 1670000 | #Constraints: 55892
2890.86/2898.97 c #Conflicts: 1671000 | #Constraints: 56892
2890.86/2898.97 c #Conflicts: 1672000 | #Constraints: 57894
2890.86/2898.97 c #Conflicts: 1673000 | #Constraints: 58895
2890.86/2898.97 c #Conflicts: 1674000 | #Constraints: 59898
2890.86/2898.97 c #Conflicts: 1675000 | #Constraints: 60898
2890.86/2898.97 c #Conflicts: 1676000 | #Constraints: 61899
2890.86/2898.97 c #Conflicts: 1677000 | #Constraints: 62899
2890.86/2898.97 c #Conflicts: 1678000 | #Constraints: 63902
2890.86/2898.97 c #Conflicts: 1679000 | #Constraints: 64903
2890.86/2898.97 c #Conflicts: 1680000 | #Constraints: 65904
2890.86/2898.97 c #Conflicts: 1681000 | #Constraints: 66906
2890.86/2898.97 c #Conflicts: 1682000 | #Constraints: 67908
2890.86/2898.97 c #Conflicts: 1683000 | #Constraints: 68908
2890.86/2898.97 c #Conflicts: 1684000 | #Constraints: 69909
2890.86/2898.97 c #Conflicts: 1685000 | #Constraints: 70910
2890.86/2898.97 c #Conflicts: 1686000 | #Constraints: 71910
2890.86/2898.97 c #Conflicts: 1687000 | #Constraints: 72911
2890.86/2898.97 c #Conflicts: 1688000 | #Constraints: 73912
2890.86/2898.97 c #Conflicts: 1689000 | #Constraints: 74912
2890.86/2898.97 c #Conflicts: 1690000 | #Constraints: 75913
2890.86/2898.97 c #Conflicts: 1691000 | #Constraints: 76915
2890.86/2898.97 c #Conflicts: 1692000 | #Constraints: 77916
2890.86/2898.97 c #Conflicts: 1693000 | #Constraints: 78916
2890.86/2898.97 c #Conflicts: 1694000 | #Constraints: 79917
2890.86/2898.97 c INPROCESSING
2890.86/2898.97 c GARBAGE COLLECT
2890.86/2898.97 c rational objective 6
2942.84/2951.07 c #Conflicts: 1695000 | #Constraints: 55073
2942.84/2951.07 c #Conflicts: 1696000 | #Constraints: 56074
2942.84/2951.07 c #Conflicts: 1697000 | #Constraints: 57074
2942.84/2951.07 c #Conflicts: 1698000 | #Constraints: 58074
2942.84/2951.07 c #Conflicts: 1699000 | #Constraints: 59075
2942.84/2951.07 c #Conflicts: 1700000 | #Constraints: 60079
2942.84/2951.07 c #Conflicts: 1701000 | #Constraints: 61081
2942.84/2951.07 c #Conflicts: 1702000 | #Constraints: 62083
2942.84/2951.07 c #Conflicts: 1703000 | #Constraints: 63084
2942.84/2951.07 c #Conflicts: 1704000 | #Constraints: 64085
2942.84/2951.07 c #Conflicts: 1705000 | #Constraints: 65088
2942.84/2951.07 c #Conflicts: 1706000 | #Constraints: 66090
2942.84/2951.07 c #Conflicts: 1707000 | #Constraints: 67091
2942.84/2951.07 c #Conflicts: 1708000 | #Constraints: 68093
2942.84/2951.07 c #Conflicts: 1709000 | #Constraints: 69094
2942.84/2951.07 c #Conflicts: 1710000 | #Constraints: 70096
2942.84/2951.07 c #Conflicts: 1711000 | #Constraints: 71096
2942.84/2951.07 c #Conflicts: 1712000 | #Constraints: 72097
2942.84/2951.07 c #Conflicts: 1713000 | #Constraints: 73098
2942.84/2951.07 c #Conflicts: 1714000 | #Constraints: 74098
2942.84/2951.07 c #Conflicts: 1715000 | #Constraints: 75099
2942.84/2951.07 c #Conflicts: 1716000 | #Constraints: 76100
2942.84/2951.07 c #Conflicts: 1717000 | #Constraints: 77102
2942.84/2951.07 c #Conflicts: 1718000 | #Constraints: 78103
2942.84/2951.07 c #Conflicts: 1719000 | #Constraints: 79104
2942.84/2951.07 c #Conflicts: 1720000 | #Constraints: 80105
2942.84/2951.07 c INPROCESSING
2942.84/2951.07 c GARBAGE COLLECT
2942.84/2951.07 c rational objective 6
2996.13/3004.40 c #Conflicts: 1721000 | #Constraints: 55064
2996.13/3004.40 c #Conflicts: 1722000 | #Constraints: 56065
2996.13/3004.40 c #Conflicts: 1723000 | #Constraints: 57070
2996.13/3004.40 c #Conflicts: 1724000 | #Constraints: 58075
2996.13/3004.40 c #Conflicts: 1725000 | #Constraints: 59076
2996.13/3004.40 c #Conflicts: 1726000 | #Constraints: 60078
2996.13/3004.40 c #Conflicts: 1727000 | #Constraints: 61081
2996.13/3004.40 c #Conflicts: 1728000 | #Constraints: 62082
2996.13/3004.40 c #Conflicts: 1729000 | #Constraints: 63083
2996.13/3004.40 c #Conflicts: 1730000 | #Constraints: 64084
2996.13/3004.40 c #Conflicts: 1731000 | #Constraints: 65085
2996.13/3004.40 c #Conflicts: 1732000 | #Constraints: 66085
2996.13/3004.40 c #Conflicts: 1733000 | #Constraints: 67086
2996.13/3004.40 c #Conflicts: 1734000 | #Constraints: 68086
2996.13/3004.40 c #Conflicts: 1735000 | #Constraints: 69088
2996.13/3004.40 c #Conflicts: 1736000 | #Constraints: 70089
2996.13/3004.40 c #Conflicts: 1737000 | #Constraints: 71089
2996.13/3004.40 c #Conflicts: 1738000 | #Constraints: 72090
2996.13/3004.40 c #Conflicts: 1739000 | #Constraints: 73090
2996.13/3004.40 c #Conflicts: 1740000 | #Constraints: 74091
2996.13/3004.40 c #Conflicts: 1741000 | #Constraints: 75092
2996.13/3004.40 c #Conflicts: 1742000 | #Constraints: 76092
2996.13/3004.40 c #Conflicts: 1743000 | #Constraints: 77093
2996.13/3004.40 c #Conflicts: 1744000 | #Constraints: 78093
2996.13/3004.40 c #Conflicts: 1745000 | #Constraints: 79094
2996.13/3004.40 c #Conflicts: 1746000 | #Constraints: 80094
2996.13/3004.40 c INPROCESSING
2996.13/3004.40 c GARBAGE COLLECT
2996.13/3004.40 c rational objective 6
3049.01/3057.48 c #Conflicts: 1747000 | #Constraints: 54866
3049.01/3057.48 c #Conflicts: 1748000 | #Constraints: 55867
3049.01/3057.48 c #Conflicts: 1749000 | #Constraints: 56867
3049.01/3057.48 c #Conflicts: 1750000 | #Constraints: 57867
3049.01/3057.48 c #Conflicts: 1751000 | #Constraints: 58867
3049.01/3057.48 c #Conflicts: 1752000 | #Constraints: 59868
3049.01/3057.48 c #Conflicts: 1753000 | #Constraints: 60870
3049.01/3057.48 c #Conflicts: 1754000 | #Constraints: 61872
3049.01/3057.48 c #Conflicts: 1755000 | #Constraints: 62875
3049.01/3057.48 c #Conflicts: 1756000 | #Constraints: 63878
3049.01/3057.48 c #Conflicts: 1757000 | #Constraints: 64879
3049.01/3057.48 c #Conflicts: 1758000 | #Constraints: 65882
3049.01/3057.48 c #Conflicts: 1759000 | #Constraints: 66884
3049.01/3057.48 c #Conflicts: 1760000 | #Constraints: 67887
3049.01/3057.48 c #Conflicts: 1761000 | #Constraints: 68889
3049.01/3057.48 c #Conflicts: 1762000 | #Constraints: 69891
3049.01/3057.48 c #Conflicts: 1763000 | #Constraints: 70892
3049.01/3057.48 c #Conflicts: 1764000 | #Constraints: 71894
3049.01/3057.48 c #Conflicts: 1765000 | #Constraints: 72895
3049.01/3057.48 c #Conflicts: 1766000 | #Constraints: 73897
3049.01/3057.48 c #Conflicts: 1767000 | #Constraints: 74897
3049.01/3057.48 c #Conflicts: 1768000 | #Constraints: 75897
3049.01/3057.48 c #Conflicts: 1769000 | #Constraints: 76898
3049.01/3057.48 c #Conflicts: 1770000 | #Constraints: 77899
3049.01/3057.48 c #Conflicts: 1771000 | #Constraints: 78900
3049.01/3057.48 c #Conflicts: 1772000 | #Constraints: 79900
3049.01/3057.48 c #Conflicts: 1773000 | #Constraints: 80901
3049.01/3057.48 c INPROCESSING
3049.01/3057.48 c GARBAGE COLLECT
3049.01/3057.48 c rational objective 6
3112.77/3121.33 c #Conflicts: 1774000 | #Constraints: 55465
3112.77/3121.33 c #Conflicts: 1775000 | #Constraints: 56465
3112.77/3121.33 c #Conflicts: 1776000 | #Constraints: 57468
3112.77/3121.33 c #Conflicts: 1777000 | #Constraints: 58472
3112.77/3121.33 c #Conflicts: 1778000 | #Constraints: 59473
3112.77/3121.33 c #Conflicts: 1779000 | #Constraints: 60474
3112.77/3121.33 c #Conflicts: 1780000 | #Constraints: 61477
3112.77/3121.33 c #Conflicts: 1781000 | #Constraints: 62479
3112.77/3121.33 c #Conflicts: 1782000 | #Constraints: 63484
3112.77/3121.33 c #Conflicts: 1783000 | #Constraints: 64485
3112.77/3121.33 c #Conflicts: 1784000 | #Constraints: 65486
3112.77/3121.33 c #Conflicts: 1785000 | #Constraints: 66489
3112.77/3121.33 c #Conflicts: 1786000 | #Constraints: 67490
3112.77/3121.33 c #Conflicts: 1787000 | #Constraints: 68491
3112.77/3121.33 c #Conflicts: 1788000 | #Constraints: 69492
3112.77/3121.33 c #Conflicts: 1789000 | #Constraints: 70494
3112.77/3121.33 c #Conflicts: 1790000 | #Constraints: 71494
3112.77/3121.33 c #Conflicts: 1791000 | #Constraints: 72495
3112.77/3121.33 c #Conflicts: 1792000 | #Constraints: 73497
3112.77/3121.33 c #Conflicts: 1793000 | #Constraints: 74498
3112.77/3121.33 c #Conflicts: 1794000 | #Constraints: 75499
3112.77/3121.33 c #Conflicts: 1795000 | #Constraints: 76500
3112.77/3121.33 c #Conflicts: 1796000 | #Constraints: 77500
3112.77/3121.33 c #Conflicts: 1797000 | #Constraints: 78501
3112.77/3121.33 c #Conflicts: 1798000 | #Constraints: 79501
3112.77/3121.33 c #Conflicts: 1799000 | #Constraints: 80502
3112.77/3121.33 c #Conflicts: 1800000 | #Constraints: 81502
3112.77/3121.33 c INPROCESSING
3112.77/3121.33 c GARBAGE COLLECT
3112.77/3121.33 c rational objective 6
3188.70/3197.43 c #Conflicts: 1801000 | #Constraints: 55873
3188.70/3197.43 c #Conflicts: 1802000 | #Constraints: 56873
3188.70/3197.43 c #Conflicts: 1803000 | #Constraints: 57873
3188.70/3197.43 c #Conflicts: 1804000 | #Constraints: 58873
3188.70/3197.43 c #Conflicts: 1805000 | #Constraints: 59875
3188.70/3197.43 c #Conflicts: 1806000 | #Constraints: 60877
3188.70/3197.43 c #Conflicts: 1807000 | #Constraints: 61879
3188.70/3197.43 c #Conflicts: 1808000 | #Constraints: 62880
3188.70/3197.43 c #Conflicts: 1809000 | #Constraints: 63882
3188.70/3197.43 c #Conflicts: 1810000 | #Constraints: 64883
3188.70/3197.43 c #Conflicts: 1811000 | #Constraints: 65884
3188.70/3197.43 c #Conflicts: 1812000 | #Constraints: 66885
3188.70/3197.43 c #Conflicts: 1813000 | #Constraints: 67886
3188.70/3197.43 c #Conflicts: 1814000 | #Constraints: 68886
3188.70/3197.43 c #Conflicts: 1815000 | #Constraints: 69887
3188.70/3197.43 c #Conflicts: 1816000 | #Constraints: 70887
3188.70/3197.43 c #Conflicts: 1817000 | #Constraints: 71887
3188.70/3197.43 c #Conflicts: 1818000 | #Constraints: 72888
3188.70/3197.43 c #Conflicts: 1819000 | #Constraints: 73888
3188.70/3197.43 c #Conflicts: 1820000 | #Constraints: 74889
3188.70/3197.43 c #Conflicts: 1821000 | #Constraints: 75889
3188.70/3197.43 c #Conflicts: 1822000 | #Constraints: 76890
3188.70/3197.43 c #Conflicts: 1823000 | #Constraints: 77891
3188.70/3197.43 c #Conflicts: 1824000 | #Constraints: 78891
3188.70/3197.43 c #Conflicts: 1825000 | #Constraints: 79892
3188.70/3197.43 c #Conflicts: 1826000 | #Constraints: 80892
3188.70/3197.43 c #Conflicts: 1827000 | #Constraints: 81893
3188.70/3197.43 c INPROCESSING
3188.70/3197.43 c GARBAGE COLLECT
3188.70/3197.43 c rational objective 6
3251.76/3260.61 c #Conflicts: 1828000 | #Constraints: 56055
3251.76/3260.61 c #Conflicts: 1829000 | #Constraints: 57055
3251.76/3260.61 c #Conflicts: 1830000 | #Constraints: 58056
3251.76/3260.61 c #Conflicts: 1831000 | #Constraints: 59058
3251.76/3260.61 c #Conflicts: 1832000 | #Constraints: 60058
3251.76/3260.61 c #Conflicts: 1833000 | #Constraints: 61060
3251.76/3260.61 c #Conflicts: 1834000 | #Constraints: 62061
3251.76/3260.61 c #Conflicts: 1835000 | #Constraints: 63062
3251.76/3260.61 c #Conflicts: 1836000 | #Constraints: 64065
3251.76/3260.61 c #Conflicts: 1837000 | #Constraints: 65066
3251.76/3260.61 c #Conflicts: 1838000 | #Constraints: 66067
3251.76/3260.61 c #Conflicts: 1839000 | #Constraints: 67068
3251.76/3260.61 c #Conflicts: 1840000 | #Constraints: 68069
3251.76/3260.61 c #Conflicts: 1841000 | #Constraints: 69069
3251.76/3260.61 c #Conflicts: 1842000 | #Constraints: 70070
3251.76/3260.61 c #Conflicts: 1843000 | #Constraints: 71071
3251.76/3260.61 c #Conflicts: 1844000 | #Constraints: 72071
3251.76/3260.61 c #Conflicts: 1845000 | #Constraints: 73072
3251.76/3260.61 c #Conflicts: 1846000 | #Constraints: 74072
3251.76/3260.61 c #Conflicts: 1847000 | #Constraints: 75072
3251.76/3260.61 c #Conflicts: 1848000 | #Constraints: 76073
3251.76/3260.61 c #Conflicts: 1849000 | #Constraints: 77073
3251.76/3260.61 c #Conflicts: 1850000 | #Constraints: 78073
3251.76/3260.61 c #Conflicts: 1851000 | #Constraints: 79074
3251.76/3260.61 c #Conflicts: 1852000 | #Constraints: 80074
3251.76/3260.61 c #Conflicts: 1853000 | #Constraints: 81075
3251.76/3260.61 c #Conflicts: 1854000 | #Constraints: 82075
3251.76/3260.61 c INPROCESSING
3251.76/3260.61 c GARBAGE COLLECT
3251.76/3260.61 c rational objective 6
3312.33/3321.36 c #Conflicts: 1855000 | #Constraints: 56093
3312.33/3321.36 c #Conflicts: 1856000 | #Constraints: 57093
3312.33/3321.36 c #Conflicts: 1857000 | #Constraints: 58094
3312.33/3321.36 c #Conflicts: 1858000 | #Constraints: 59095
3312.33/3321.36 c #Conflicts: 1859000 | #Constraints: 60095
3312.33/3321.36 c #Conflicts: 1860000 | #Constraints: 61096
3312.33/3321.36 c #Conflicts: 1861000 | #Constraints: 62097
3312.33/3321.36 c #Conflicts: 1862000 | #Constraints: 63098
3312.33/3321.36 c #Conflicts: 1863000 | #Constraints: 64098
3312.33/3321.36 c #Conflicts: 1864000 | #Constraints: 65099
3312.33/3321.36 c #Conflicts: 1865000 | #Constraints: 66100
3312.33/3321.36 c #Conflicts: 1866000 | #Constraints: 67102
3312.33/3321.36 c #Conflicts: 1867000 | #Constraints: 68102
3312.33/3321.36 c #Conflicts: 1868000 | #Constraints: 69109
3312.33/3321.36 c #Conflicts: 1869000 | #Constraints: 70113
3312.33/3321.36 c #Conflicts: 1870000 | #Constraints: 71116
3312.33/3321.36 c #Conflicts: 1871000 | #Constraints: 72118
3312.33/3321.36 c #Conflicts: 1872000 | #Constraints: 73119
3312.33/3321.36 c #Conflicts: 1873000 | #Constraints: 74120
3312.33/3321.36 c #Conflicts: 1874000 | #Constraints: 75121
3312.33/3321.36 c #Conflicts: 1875000 | #Constraints: 76122
3312.33/3321.36 c #Conflicts: 1876000 | #Constraints: 77122
3312.33/3321.36 c #Conflicts: 1877000 | #Constraints: 78122
3312.33/3321.36 c #Conflicts: 1878000 | #Constraints: 79123
3312.33/3321.36 c #Conflicts: 1879000 | #Constraints: 80123
3312.33/3321.36 c #Conflicts: 1880000 | #Constraints: 81123
3312.33/3321.36 c #Conflicts: 1881000 | #Constraints: 82124
3312.33/3321.36 c INPROCESSING
3312.33/3321.36 c GARBAGE COLLECT
3312.33/3321.36 c rational objective 6
3363.41/3372.50 c #Conflicts: 1882000 | #Constraints: 55870
3363.41/3372.50 c #Conflicts: 1883000 | #Constraints: 56870
3363.41/3372.50 c #Conflicts: 1884000 | #Constraints: 57871
3363.41/3372.50 c #Conflicts: 1885000 | #Constraints: 58871
3363.41/3372.50 c #Conflicts: 1886000 | #Constraints: 59871
3363.41/3372.50 c #Conflicts: 1887000 | #Constraints: 60877
3363.41/3372.50 c #Conflicts: 1888000 | #Constraints: 61879
3363.41/3372.50 c #Conflicts: 1889000 | #Constraints: 62882
3363.41/3372.50 c #Conflicts: 1890000 | #Constraints: 63884
3363.41/3372.50 c #Conflicts: 1891000 | #Constraints: 64885
3363.41/3372.50 c #Conflicts: 1892000 | #Constraints: 65887
3363.41/3372.50 c #Conflicts: 1893000 | #Constraints: 66890
3363.41/3372.50 c #Conflicts: 1894000 | #Constraints: 67893
3363.41/3372.50 c #Conflicts: 1895000 | #Constraints: 68894
3363.41/3372.50 c #Conflicts: 1896000 | #Constraints: 69896
3363.41/3372.50 c #Conflicts: 1897000 | #Constraints: 70897
3363.41/3372.50 c #Conflicts: 1898000 | #Constraints: 71898
3363.41/3372.50 c #Conflicts: 1899000 | #Constraints: 72899
3363.41/3372.50 c #Conflicts: 1900000 | #Constraints: 73900
3363.41/3372.50 c #Conflicts: 1901000 | #Constraints: 74901
3363.41/3372.50 c #Conflicts: 1902000 | #Constraints: 75901
3363.41/3372.50 c #Conflicts: 1903000 | #Constraints: 76902
3363.41/3372.50 c #Conflicts: 1904000 | #Constraints: 77903
3363.41/3372.50 c #Conflicts: 1905000 | #Constraints: 78904
3363.41/3372.50 c #Conflicts: 1906000 | #Constraints: 79904
3363.41/3372.50 c #Conflicts: 1907000 | #Constraints: 80904
3363.41/3372.50 c #Conflicts: 1908000 | #Constraints: 81905
3363.41/3372.50 c #Conflicts: 1909000 | #Constraints: 82906
3363.41/3372.50 c INPROCESSING
3363.41/3372.50 c GARBAGE COLLECT
3363.41/3372.50 c rational objective 6
3436.65/3445.91 c #Conflicts: 1910000 | #Constraints: 56479
3436.65/3445.91 c #Conflicts: 1911000 | #Constraints: 57479
3436.65/3445.91 c #Conflicts: 1912000 | #Constraints: 58480
3436.65/3445.91 c #Conflicts: 1913000 | #Constraints: 59482
3436.65/3445.91 c #Conflicts: 1914000 | #Constraints: 60483
3436.65/3445.91 c #Conflicts: 1915000 | #Constraints: 61485
3436.65/3445.91 c #Conflicts: 1916000 | #Constraints: 62487
3436.65/3445.91 c #Conflicts: 1917000 | #Constraints: 63488
3436.65/3445.91 c #Conflicts: 1918000 | #Constraints: 64488
3436.65/3445.91 c #Conflicts: 1919000 | #Constraints: 65489
3436.65/3445.91 c #Conflicts: 1920000 | #Constraints: 66491
3436.65/3445.91 c #Conflicts: 1921000 | #Constraints: 67491
3436.65/3445.91 c #Conflicts: 1922000 | #Constraints: 68492
3436.65/3445.91 c #Conflicts: 1923000 | #Constraints: 69493
3436.65/3445.91 c #Conflicts: 1924000 | #Constraints: 70495
3436.65/3445.91 c #Conflicts: 1925000 | #Constraints: 71496
3436.65/3445.91 c #Conflicts: 1926000 | #Constraints: 72496
3436.65/3445.91 c #Conflicts: 1927000 | #Constraints: 73496
3436.65/3445.91 c #Conflicts: 1928000 | #Constraints: 74496
3436.65/3445.91 c #Conflicts: 1929000 | #Constraints: 75496
3436.65/3445.91 c #Conflicts: 1930000 | #Constraints: 76496
3436.65/3445.91 c #Conflicts: 1931000 | #Constraints: 77496
3436.65/3445.91 c #Conflicts: 1932000 | #Constraints: 78497
3436.65/3445.91 c #Conflicts: 1933000 | #Constraints: 79497
3436.65/3445.91 c #Conflicts: 1934000 | #Constraints: 80498
3436.65/3445.91 c #Conflicts: 1935000 | #Constraints: 81498
3436.65/3445.91 c #Conflicts: 1936000 | #Constraints: 82499
3436.65/3445.91 c #Conflicts: 1937000 | #Constraints: 83499
3436.65/3445.91 c INPROCESSING
3436.65/3445.91 c GARBAGE COLLECT
3436.65/3445.91 c rational objective 6
3494.72/3504.18 c #Conflicts: 1938000 | #Constraints: 56912
3494.72/3504.18 c #Conflicts: 1939000 | #Constraints: 57912
3494.72/3504.18 c #Conflicts: 1940000 | #Constraints: 58913
3494.72/3504.18 c #Conflicts: 1941000 | #Constraints: 59916
3494.72/3504.18 c #Conflicts: 1942000 | #Constraints: 60917
3494.72/3504.18 c #Conflicts: 1943000 | #Constraints: 61918
3494.72/3504.18 c #Conflicts: 1944000 | #Constraints: 62919
3494.72/3504.18 c #Conflicts: 1945000 | #Constraints: 63920
3494.72/3504.18 c #Conflicts: 1946000 | #Constraints: 64920
3494.72/3504.18 c #Conflicts: 1947000 | #Constraints: 65921
3494.72/3504.18 c #Conflicts: 1948000 | #Constraints: 66923
3494.72/3504.18 c #Conflicts: 1949000 | #Constraints: 67925
3494.72/3504.18 c #Conflicts: 1950000 | #Constraints: 68927
3494.72/3504.18 c #Conflicts: 1951000 | #Constraints: 69930
3494.72/3504.18 c #Conflicts: 1952000 | #Constraints: 70930
3494.72/3504.18 c #Conflicts: 1953000 | #Constraints: 71931
3494.72/3504.18 c #Conflicts: 1954000 | #Constraints: 72933
3494.72/3504.18 c #Conflicts: 1955000 | #Constraints: 73934
3494.72/3504.18 c #Conflicts: 1956000 | #Constraints: 74935
3494.72/3504.18 c #Conflicts: 1957000 | #Constraints: 75938
3494.72/3504.18 c #Conflicts: 1958000 | #Constraints: 76942
3494.72/3504.18 c #Conflicts: 1959000 | #Constraints: 77945
3494.72/3504.18 c #Conflicts: 1960000 | #Constraints: 78948
3494.72/3504.18 c #Conflicts: 1961000 | #Constraints: 79950
3494.72/3504.18 c #Conflicts: 1962000 | #Constraints: 80952
3494.72/3504.18 c #Conflicts: 1963000 | #Constraints: 81956
3494.72/3504.18 c #Conflicts: 1964000 | #Constraints: 82959
3494.72/3504.18 c #Conflicts: 1965000 | #Constraints: 83960
3494.72/3504.18 c INPROCESSING
3494.72/3504.18 c GARBAGE COLLECT
3494.72/3504.18 c rational objective 6
3572.05/3581.65 c #Conflicts: 1966000 | #Constraints: 57177
3572.05/3581.65 c #Conflicts: 1967000 | #Constraints: 58177
3572.05/3581.65 c #Conflicts: 1968000 | #Constraints: 59178
3572.05/3581.65 c #Conflicts: 1969000 | #Constraints: 60179
3572.05/3581.65 c #Conflicts: 1970000 | #Constraints: 61181
3572.05/3581.65 c #Conflicts: 1971000 | #Constraints: 62182
3572.05/3581.65 c #Conflicts: 1972000 | #Constraints: 63182
3572.05/3581.65 c #Conflicts: 1973000 | #Constraints: 64183
3572.05/3581.65 c #Conflicts: 1974000 | #Constraints: 65185
3572.05/3581.65 c #Conflicts: 1975000 | #Constraints: 66186
3572.05/3581.65 c #Conflicts: 1976000 | #Constraints: 67188
3572.05/3581.65 c #Conflicts: 1977000 | #Constraints: 68190
3572.05/3581.65 c #Conflicts: 1978000 | #Constraints: 69191
3572.05/3581.65 c #Conflicts: 1979000 | #Constraints: 70192
3572.05/3581.65 c #Conflicts: 1980000 | #Constraints: 71194
3572.05/3581.65 c #Conflicts: 1981000 | #Constraints: 72196
3572.05/3581.65 c #Conflicts: 1982000 | #Constraints: 73198
3572.05/3581.65 c #Conflicts: 1983000 | #Constraints: 74199
3572.05/3581.65 c #Conflicts: 1984000 | #Constraints: 75201
3572.05/3581.65 c #Conflicts: 1985000 | #Constraints: 76202
3572.05/3581.65 c #Conflicts: 1986000 | #Constraints: 77203
3572.05/3581.65 c #Conflicts: 1987000 | #Constraints: 78204
3572.05/3581.65 c #Conflicts: 1988000 | #Constraints: 79204
3572.05/3581.65 c #Conflicts: 1989000 | #Constraints: 80204
3572.05/3581.65 c #Conflicts: 1990000 | #Constraints: 81204
3572.05/3581.65 c #Conflicts: 1991000 | #Constraints: 82204
3572.05/3581.65 c #Conflicts: 1992000 | #Constraints: 83204
3572.05/3581.65 c #Conflicts: 1993000 | #Constraints: 84205
3572.05/3581.65 c INPROCESSING
3572.05/3581.65 c GARBAGE COLLECT
3572.05/3581.65 c rational objective 6
3600.08/3609.70 c #Conflicts: 1994000 | #Constraints: 57117
3600.08/3609.70 c #Conflicts: 1995000 | #Constraints: 58118
3600.08/3609.70 c #Conflicts: 1996000 | #Constraints: 59119
3600.08/3609.70 c #Conflicts: 1997000 | #Constraints: 60121
3600.08/3609.70 c #Conflicts: 1998000 | #Constraints: 61125
3600.08/3609.70 c #Conflicts: 1999000 | #Constraints: 62125
3600.08/3609.70 c #Conflicts: 2000000 | #Constraints: 63128
3600.08/3609.70 c #Conflicts: 2001000 | #Constraints: 64128
3600.08/3609.70 c #Conflicts: 2002000 | #Constraints: 65129
3600.08/3609.70 c #Conflicts: 2003000 | #Constraints: 66130
3600.08/3609.70 c #Conflicts: 2004000 | #Constraints: 67131
3600.08/3609.70 c #Conflicts: 2005000 | #Constraints: 68132
3600.08/3609.70 c #Conflicts: 2006000 | #Constraints: 69134
3600.08/3609.70 c #Conflicts: 2007000 | #Constraints: 70137
3600.08/3609.70 c #Conflicts: 2008000 | #Constraints: 71140
3600.08/3609.70 c #Conflicts: 2009000 | #Constraints: 72141
3600.08/3609.70 c #Conflicts: 2010000 | #Constraints: 73142
3600.08/3609.70 c cpu time 3579.71 s
3600.08/3609.70 c deterministic time 293191956278 2.93e+11
3600.08/3609.70 c optimization time 27.6583 s
3600.08/3609.70 c total solve time 3551.91 s
3600.08/3609.70 c core-guided solve time 1802.89 s
3600.08/3609.70 c propagation time 2424.44 s
3600.08/3609.70 c conflict analysis time 883.497 s
3600.08/3609.70 c propagations 837052127
3600.08/3609.70 c resolve steps 14746283
3600.08/3609.70 c decisions 8042953
3600.08/3609.70 c conflicts 2010738
3600.08/3609.70 c restarts 3961
3600.08/3609.70 c inprocessing phases 132
3600.08/3609.70 c garbage collections 132 ,( 100.00 )
3600.08/3609.70 c input clauses 36793 ,( 98.80 )
3600.08/3609.70 c input cardinalities 64 ,( 0.17 )
3600.08/3609.70 c input general constraints 384 ,( 1.03 )
3600.08/3609.70 c input average constraint length 3.64
3600.08/3609.70 c input average constraint degree 8.31
3600.08/3609.70 c learned clauses 282071 ,( 14.01 )
3600.08/3609.70 c learned cardinalities 12619 ,( 0.63 )
3600.08/3609.70 c learned general constraints 1718736 ,( 85.36 )
3600.08/3609.70 c learned average constraint length 470.64
3600.08/3609.70 c learned average constraint degree 4216415927.49
3600.08/3609.70 c watched CF 32, 64, 128, Arb: 569195 , 0 , 0 , 0
3600.08/3609.70 c counting CF 32, 64, 128, Arb: 1149926 , 0 , 0 , 0
3600.08/3609.70 c watched constraints 569195 ,( 33.11 )
3600.08/3609.70 c counting constraints 1149925 ,( 66.89 )
3600.08/3609.70 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 451151161 , 57266416 , 3268074653 ,( 295982977 , 2972091676 )
3600.08/3609.70 c gcd simplifications 173965
3600.08/3609.70 c detected cardinalities 643
3600.08/3609.70 c weakened non-implied lits 314486286
3600.08/3609.70 c weakened non-implying lits 954925
3600.08/3609.70 c original variables 14177
3600.08/3609.70 c clausal propagations 383835835
3600.08/3609.70 c cardinality propagations 53681932
3600.08/3609.70 c watched propagations 2823829
3600.08/3609.70 c counting propagations 383270839
3600.08/3609.70 c watch lookups 197441454554
3600.08/3609.70 c watch backjump lookups 0
3600.08/3609.70 c watch checks 26038675535
3600.08/3609.70 c propagation checks 64927494722
3600.08/3609.70 c constraint additions 3089838507
3600.08/3609.70 c trail pops 847096786
3600.08/3609.70 c formula constraints 37241
3600.08/3609.70 c learned constraints 2008587
3600.08/3609.70 c bound constraints 0
3600.08/3609.70 c core-guided constraints 0
3600.08/3609.70 c encountered formula constraints 9275424
3600.08/3609.70 c encountered learned constraints 7054939
3600.08/3609.70 c encountered bound constraints 0
3600.08/3609.70 c encountered core-guided constraints 0
3600.08/3609.70 c LP total time 738.9 s
3600.08/3609.70 c LP solve time 696.82 s
3600.08/3609.70 c LP constraints added 40822
3600.08/3609.70 c LP constraints removed 3540
3600.08/3609.70 c LP pivots internal 2010972
3600.08/3609.70 c LP pivots root 290121
3600.08/3609.70 c LP calls 2372
3600.08/3609.70 c LP optimalities 217
3600.08/3609.70 c LP no pivot count 6
3600.08/3609.70 c LP infeasibilities 2152
3600.08/3609.70 c LP valid Farkas constraints 2152
3600.08/3609.70 c LP learned Farkas constraints 2151
3600.08/3609.70 c LP basis resets 0
3600.08/3609.70 c LP cycling count 0
3600.08/3609.70 c LP singular count 0
3600.08/3609.70 c LP no primal count 0
3600.08/3609.70 c LP no farkas count 0
3600.08/3609.70 c LP other issue count 0
3600.08/3609.70 c LP Gomory cuts 536
3600.08/3609.70 c LP learned cuts 3045
3600.08/3609.70 c LP deleted cuts 3540
3600.08/3609.70 c LP encountered Gomory constraints 42578
3600.08/3609.70 c LP encountered Farkas constraints 359784
3600.08/3609.70 c LP encountered learned Farkas constraints 22145
3600.08/3609.70 c CG auxiliary variables introduced 0
3600.08/3609.70 c CG solutions found 0
3600.08/3609.70 c CG cores constructed 0
3600.08/3609.70 c CG core cardinality constraints returned 0
3600.08/3609.70 c CG unit cores 0
3600.08/3609.70 c CG single cores 0
3600.08/3609.70 c CG blocks removed during cardinality reduction 0
3600.08/3609.70 c CG first core best 0
3600.08/3609.70 c CG decision core best 0
3600.08/3609.70 c CG core reduction tie 0
3600.08/3609.70 c CG core degree average 0.00
3600.08/3609.70 c CG core slack average 0.00
3600.08/3609.70 c CG core upper bound improvements 0
3600.08/3609.70 c STR number of successful calls 0
3600.08/3609.70 c STR number of unsuccessful calls 0
3600.08/3609.70 c STR number of inconclusive calls 0
3600.08/3609.70 c STR number of successful attempts 0
3600.08/3609.70 c STR number of unsuccessful attempts 0
3600.08/3609.70 c STR number of inconclusive attempts 0
3600.08/3609.70 c STR average degree increase per successful call inf
3600.08/3609.70 c STR average degree increase per successful attempt inf
3600.08/3609.70 c STR total number of conflicts for successful attempts 0
3600.08/3609.70 c STR total number of conflicts for unsuccessful attempts 0
3600.08/3609.70 c STR total number of conflicts for inconclusive attempts 0
3600.08/3609.70 c STR average number of conflicts per successful attempt inf
3600.08/3609.70 c STR average number of conflicts per unsuccessful attempt inf
3600.08/3609.70 c STR average number of conflicts per inconclusive attempt inf
3600.08/3609.70 c AVG.sumWPerc 54.60
3600.08/3609.70 c bigint constraints 0
3600.08/3609.70 s UNKNOWN
3600.08/3609.70 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 (61811 MiB free)
memory of node 1: 64465 MiB (43955 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4499168-1751405307/watcher-4499168-1751405307 -o /tmp/evaluation-result-4499168-1751405307/solver-4499168-1751405307 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751397441-55313 --watchdog 3760 run-opt-ls.sh HOME/instance-4499168-1751405307.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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
Current StackSize limit: 8192 KiB
solver pid=56637, runsolver pid=56634
[startup+0.100068 s]*
/proc/loadavg: 4.07 4.09 4.09 5/269 56639
/proc/meminfo: memFree=108301372/131249996 swapFree=33010160/33010684
[pid=56637] ppid=56634 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/56637/stat : 56637 (run-opt-ls.sh) S 56634 56637 55300 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 56209153 4292608 768 18446744073709551615 94473261211648 94473262106181 140737244548480 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94473262345232 94473262392976 94473285709824 140737244555623 140737244555749 140737244555749 140737244561351 0
/proc/56637/statm: 1048 768 704 219 0 110 0
[pid=56639] ppid=56637 vsize=23452 memory=14392 CPUtime=0.08 cores=5,7
/proc/56639/stat : 56639 (pbsuma) R 56637 56637 55300 0 -1 4194304 3097 0 0 0 8 0 0 0 20 0 1 0 56209154 24014848 3598 18446744073709551615 4210688 4653049 140736629525520 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 19963904 140736629528931 140736629529138 140736629529138 140736629534703 0
/proc/56639/statm: 5863 3598 1024 108 0 3271 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 27644 KiB
Current children cumulated memory: 17464 KiB
[startup+0.205897 s]*
/proc/loadavg: 4.07 4.09 4.09 5/269 56639
/proc/meminfo: memFree=108301372/131249996 swapFree=33010160/33010684
[pid=56637] ppid=56634 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/56637/stat : 56637 (run-opt-ls.sh) S 56634 56637 55300 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 56209153 4292608 768 18446744073709551615 94473261211648 94473262106181 140737244548480 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94473262345232 94473262392976 94473285709824 140737244555623 140737244555749 140737244555749 140737244561351 0
/proc/56637/statm: 1048 768 704 219 0 110 0
[pid=56639] ppid=56637 vsize=23452 memory=14776 CPUtime=0.18 cores=5,7
/proc/56639/stat : 56639 (pbsuma) R 56637 56637 55300 0 -1 4194304 3182 0 0 0 18 0 0 0 20 0 1 0 56209154 24014848 3694 18446744073709551615 4210688 4653049 140736629525520 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 19963904 140736629528931 140736629529138 140736629529138 140736629534703 0
/proc/56639/statm: 5863 3694 1024 108 0 3271 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 27644 KiB
Current children cumulated memory: 17848 KiB
[startup+0.305794 s]*
/proc/loadavg: 4.07 4.09 4.09 5/269 56640
/proc/meminfo: memFree=108297672/131249996 swapFree=33010160/33010684
[pid=56637] ppid=56634 vsize=4192 memory=3072 CPUtime=0.2 cores=5,7
/proc/56637/stat : 56637 (run-opt-ls.sh) S 56634 56637 55300 0 -1 4194304 237 3375 0 0 0 0 19 1 20 0 1 0 56209153 4292608 768 18446744073709551615 94473261211648 94473262106181 140737244548480 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94473262345232 94473262392976 94473285709824 140737244555623 140737244555749 140737244555749 140737244561351 0
/proc/56637/statm: 1048 768 704 219 0 110 0
[pid=56640] ppid=56637 vsize=67216 memory=22136 CPUtime=0.07 cores=5,7
/proc/56640/stat : 56640 (roundingsat) R 56637 56637 55300 0 -1 4194304 3398 0 0 0 6 1 0 0 20 0 1 0 56209175 68829184 5534 18446744073709551615 4227072 8923433 140732759650304 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14172160 140732759656774 140732759657000 140732759657000 140732759662570 0
/proc/56640/statm: 16804 5534 1984 1147 0 4231 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 71408 KiB
Current children cumulated memory: 25208 KiB
[startup+0.700212 s]
/proc/loadavg: 4.07 4.09 4.09 5/269 56640
/proc/meminfo: memFree=108248524/131249996 swapFree=33010160/33010684
[pid=56637] ppid=56634 vsize=4192 memory=3072 CPUtime=0.2 cores=5,7
/proc/56637/stat : 56637 (run-opt-ls.sh) S 56634 56637 55300 0 -1 4194304 237 3375 0 0 0 0 19 1 20 0 1 0 56209153 4292608 768 18446744073709551615 94473261211648 94473262106181 140737244548480 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94473262345232 94473262392976 94473285709824 140737244555623 140737244555749 140737244555749 140737244561351 0
/proc/56637/statm: 1048 768 704 219 0 110 0
[pid=56640] ppid=56637 vsize=133644 memory=74880 CPUtime=0.46 cores=5,7
/proc/56640/stat : 56640 (roundingsat) R 56637 56637 55300 0 -1 4194304 13632 0 0 0 40 6 0 0 20 0 1 0 56209175 136851456 18720 18446744073709551615 4227072 8923433 140732759650304 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14172160 140732759656774 140732759657000 140732759657000 140732759662570 0
/proc/56640/statm: 33411 18720 2400 1147 0 20838 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 137836 KiB
Current children cumulated memory: 77952 KiB
[startup+1.5002 s]
/proc/loadavg: 4.07 4.09 4.09 5/269 56640
/proc/meminfo: memFree=108224584/131249996 swapFree=33010160/33010684
[pid=56637] ppid=56634 vsize=4192 memory=3072 CPUtime=0.2 cores=5,7
/proc/56637/stat : 56637 (run-opt-ls.sh) S 56634 56637 55300 0 -1 4194304 237 3375 0 0 0 0 19 1 20 0 1 0 56209153 4292608 768 18446744073709551615 94473261211648 94473262106181 140737244548480 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94473262345232 94473262392976 94473285709824 140737244555623 140737244555749 140737244555749 140737244561351 0
/proc/56637/statm: 1048 768 704 219 0 110 0
[pid=56640] ppid=56637 vsize=142808 memory=83600 CPUtime=1.25 cores=5,7
/proc/56640/stat : 56640 (roundingsat) R 56637 56637 55300 0 -1 4194304 15333 0 0 0 118 7 0 0 20 0 1 0 56209175 146235392 20900 18446744073709551615 4227072 8923433 140732759650304 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14172160 140732759656774 140732759657000 140732759657000 140732759662570 0
/proc/56640/statm: 35702 20900 2400 1147 0 23129 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 147000 KiB
Current children cumulated memory: 86672 KiB
[startup+3.10543 s]
/proc/loadavg: 4.07 4.09 4.09 5/269 56640
/proc/meminfo: memFree=108201112/131249996 swapFree=33010160/33010684
[pid=56637] ppid=56634 vsize=4192 memory=3072 CPUtime=0.2 cores=5,7
/proc/56637/stat : 56637 (run-opt-ls.sh) S 56634 56637 55300 0 -1 4194304 237 3375 0 0 0 0 19 1 20 0 1 0 56209153 4292608 768 18446744073709551615 94473261211648 94473262106181 140737244548480 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94473262345232 94473262392976 94473285709824 140737244555623 140737244555749 140737244555749 140737244561351 0
/proc/56637/statm: 1048 768 704 219 0 110 0
[pid=56640] ppid=56637 vsize=157496 memory=99280 CPUtime=2.86 cores=5,7
/proc/56640/stat : 56640 (roundingsat) R 56637 56637 55300 0 -1 4194304 18234 0 0 0 276 10 0 0 20 0 1 0 56209175 161275904 24820 18446744073709551615 4227072 8923433 140732759650304 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14172160 140732759656774 140732759657000 140732759657000 140732759662570 0
/proc/56640/statm: 39374 24820 2400 1147 0 26801 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 161688 KiB
Current children cumulated memory: 102352 KiB
[startup+6.3002 s]
/proc/loadavg: 4.14 4.10 4.09 5/269 56640
/proc/meminfo: memFree=108193044/131249996 swapFree=33010160/33010684
[pid=56637] ppid=56634 vsize=4192 memory=3072 CPUtime=0.2 cores=5,7
/proc/56637/stat : 56637 (run-opt-ls.sh) S 56634 56637 55300 0 -1 4194304 237 3375 0 0 0 0 19 1 20 0 1 0 56209153 4292608 768 18446744073709551615 94473261211648 94473262106181 140737244548480 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94473262345232 94473262392976 94473285709824 140737244555623 140737244555749 140737244555749 140737244561351 0
/proc/56637/statm: 1048 768 704 219 0 110 0
[pid=56640] ppid=56637 vsize=164004 memory=103916 CPUtime=6.05 cores=5,7
/proc/56640/stat : 56640 (roundingsat) R 56637 56637 55300 0 -1 4194304 18871 0 0 0 589 16 0 0 20 0 1 0 56209175 167940096 25979 18446744073709551615 4227072 8923433 140732759650304 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14172160 140732759656774 140732759657000 140732759657000 140732759662570 0
/proc/56640/statm: 41001 25979 2400 1147 0 28428 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 168196 KiB
Current children cumulated memory: 106988 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.10 4.09 5/269 56640
/proc/meminfo: memFree=108185520/131249996 swapFree=33010160/33010684
[pid=56637] ppid=56634 vsize=4192 memory=3072 CPUtime=0.2 cores=5,7
/proc/56637/stat : 56637 (run-opt-ls.sh) S 56634 56637 55300 0 -1 4194304 237 3375 0 0 0 0 19 1 20 0 1 0 56209153 4292608 768 18446744073709551615 94473261211648 94473262106181 140737244548480 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94473262345232 94473262392976 94473285709824 140737244555623 140737244555749 140737244555749 140737244561351 0
/proc/56637/statm: 1048 768 704 219 0 110 0
[pid=56640] ppid=56637 vsize=186484 memory=121928 CPUtime=12.44 cores=5,7
/proc/56640/stat : 56640 (roundingsat) R 56637 56637 55300 0 -1 4194304 22884 0 0 0 1219 25 0 0 20 0 1 0 56209175 190959616 30482 18446744073709551615 4227072 8923433 140732759650304 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14172160 140732759656774 140732759657000 140732759657000 140732759662570 0
/proc/56640/statm: 46621 30482 2400 1147 0 34048 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 190676 KiB
Current children cumulated memory: 125000 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.10 4.09 5/269 56640
/proc/meminfo: memFree=108137076/131249996 swapFree=33010160/33010684
[pid=56637] ppid=56634 vsize=4192 memory=3072 CPUtime=0.2 cores=5,7
/proc/56637/stat : 56637 (run-opt-ls.sh) S 56634 56637 55300 0 -1 4194304 237 3375 0 0 0 0 19 1 20 0 1 0 56209153 4292608 768 18446744073709551615 94473261211648 94473262106181 140737244548480 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94473262345232 94473262392976 94473285709824 140737244555623 140737244555749 140737244555749 140737244561351 0
/proc/56637/statm: 1048 768 704 219 0 110 0
[pid=56640] ppid=56637 vsize=214880 memory=150444 CPUtime=25.2 cores=5,7
/proc/56640/stat : 56640 (roundingsat) R 56637 56637 55300 0 -1 4194304 29000 0 0 0 2477 43 0 0 20 0 1 0 56209175 220037120 37611 18446744073709551615 4227072 8923433 140732759650304 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14172160 140732759656774 140732759657000 140732759657000 140732759662570 0
/proc/56640/statm: 53720 37611 2400 1147 0 41147 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 219072 KiB
Current children cumulated memory: 153516 KiB
[startup+51.1058 s]
/proc/loadavg: 4.15 4.10 4.09 5/269 56641
/proc/meminfo: memFree=108046052/131249996 swapFree=33010160/33010684
[pid=56637] ppid=56634 vsize=4192 memory=3072 CPUtime=0.2 cores=5,7
/proc/56637/stat : 56637 (run-opt-ls.sh) S 56634 56637 55300 0 -1 4194304 237 3375 0 0 0 0 19 1 20 0 1 0 56209153 4292608 768 18446744073709551615 94473261211648 94473262106181 140737244548480 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94473262345232 94473262392976 94473285709824 140737244555623 140737244555749 140737244555749 140737244561351 0
/proc/56637/statm: 1048 768 704 219 0 110 0
[pid=56640] ppid=56637 vsize=284172 memory=206248 CPUtime=50.74 cores=5,7
/proc/56640/stat : 56640 (roundingsat) R 56637 56637 55300 0 -1 4194304 41968 0 0 0 4994 80 0 0 20 0 1 0 56209175 290992128 51562 18446744073709551615 4227072 8923433 140732759650304 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14172160 140732759656774 140732759657000 140732759657000 140732759662570 0
/proc/56640/statm: 71043 51562 2400 1147 0 58470 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 288364 KiB
Current children cumulated memory: 209320 KiB
[startup+102.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/269 56642
/proc/meminfo: memFree=107981052/131249996 swapFree=33010160/33010684
[pid=56637] ppid=56634 vsize=4192 memory=3072 CPUtime=0.2 cores=5,7
/proc/56637/stat : 56637 (run-opt-ls.sh) S 56634 56637 55300 0 -1 4194304 237 3375 0 0 0 0 19 1 20 0 1 0 56209153 4292608 768 18446744073709551615 94473261211648 94473262106181 140737244548480 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94473262345232 94473262392976 94473285709824 140737244555623 140737244555749 140737244555749 140737244561351 0
/proc/56637/statm: 1048 768 704 219 0 110 0
[pid=56640] ppid=56637 vsize=332780 memory=255176 CPUtime=101.8 cores=5,7
/proc/56640/stat : 56640 (roundingsat) R 56637 56637 55300 0 -1 4194304 50135 0 0 0 10047 133 0 0 20 0 1 0 56209175 340766720 63794 18446744073709551615 4227072 8923433 140732759650304 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14172160 140732759656774 140732759657000 140732759657000 140732759662570 0
/proc/56640/statm: 83195 63794 2400 1147 0 70622 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 336972 KiB
Current children cumulated memory: 258248 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/269 56645
/proc/meminfo: memFree=107927264/131249996 swapFree=33010160/33010684
[pid=56637] ppid=56634 vsize=4192 memory=3072 CPUtime=0.2 cores=5,7
/proc/56637/stat : 56637 (run-opt-ls.sh) S 56634 56637 55300 0 -1 4194304 237 3375 0 0 0 0 19 1 20 0 1 0 56209153 4292608 768 18446744073709551615 94473261211648 94473262106181 140737244548480 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94473262345232 94473262392976 94473285709824 140737244555623 140737244555749 140737244555749 140737244561351 0
/proc/56637/statm: 1048 768 704 219 0 110 0
[pid=56640] ppid=56637 vsize=341376 memory=264008 CPUtime=161.65 cores=5,7
/proc/56640/stat : 56640 (roundingsat) R 56637 56637 55300 0 -1 4194304 52348 0 0 0 15976 189 0 0 20 0 1 0 56209175 349569024 66002 18446744073709551615 4227072 8923433 140732759650304 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14172160 140732759656774 140732759657000 140732759657000 140732759662570 0
/proc/56640/statm: 85344 66002 2400 1147 0 72771 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 345568 KiB
Current children cumulated memory: 267080 KiB
[startup+222.3 s]
/proc/loadavg: 4.22 4.11 4.10 5/269 56647
/proc/meminfo: memFree=107761768/131249996 swapFree=33010160/33010684
[pid=56637] ppid=56634 vsize=4192 memory=3072 CPUtime=0.2 cores=5,7
/proc/56637/stat : 56637 (run-opt-ls.sh) S 56634 56637 55300 0 -1 4194304 237 3375 0 0 0 0 19 1 20 0 1 0 56209153 4292608 768 18446744073709551615 94473261211648 94473262106181 140737244548480 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94473262345232 94473262392976 94473285709824 140737244555623 140737244555749 140737244555749 140737244561351 0
/proc/56637/statm: 1048 768 704 219 0 110 0
[pid=56640] ppid=56637 vsize=453348 memory=340224 CPUtime=221.5 cores=5,7
/proc/56640/stat : 56640 (roundingsat) R 56637 56637 55300 0 -1 4194304 69902 0 0 0 21919 231 0 0 20 0 1 0 56209175 464228352 85056 18446744073709551615 4227072 8923433 140732759650304 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14172160 140732759656774 140732759657000 140732759657000 140732759662570 0
/proc/56640/statm: 113337 85056 2400 1147 0 100764 0
################
# More data... #
################
/proc/56640/statm: 287589 248260 2400 1147 0 275016 0
Current children cumulated CPU time: 3093.82 s
Current children cumulated vsize: 1154548 KiB
Current children cumulated memory: 996112 KiB
[startup+3162.3 s]
/proc/loadavg: 1.32 2.39 3.15 2/247 56903
/proc/meminfo: memFree=128793780/131249996 swapFree=33010160/33010684
[pid=56637] ppid=56634 vsize=4192 memory=3072 CPUtime=0.2 cores=5,7
/proc/56637/stat : 56637 (run-opt-ls.sh) S 56634 56637 55300 0 -1 4194304 237 3375 0 0 0 0 19 1 20 0 1 0 56209153 4292608 768 18446744073709551615 94473261211648 94473262106181 140737244548480 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94473262345232 94473262392976 94473285709824 140737244555623 140737244555749 140737244555749 140737244561351 0
/proc/56637/statm: 1048 768 704 219 0 110 0
[pid=56640] ppid=56637 vsize=1152212 memory=994704 CPUtime=3153.48 cores=5,7
/proc/56640/stat : 56640 (roundingsat) R 56637 56637 55300 0 -1 4194304 186189 0 0 0 313512 1836 0 0 20 0 1 0 56209175 1179865088 248676 18446744073709551615 4227072 8923433 140732759650304 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14172160 140732759656774 140732759657000 140732759657000 140732759662570 0
/proc/56640/statm: 288053 248676 2400 1147 0 275480 0
Current children cumulated CPU time: 3153.68 s
Current children cumulated vsize: 1156404 KiB
Current children cumulated memory: 997776 KiB
[startup+3222.3 s]
/proc/loadavg: 1.16 2.15 3.02 2/246 56905
/proc/meminfo: memFree=128801068/131249996 swapFree=33010160/33010684
[pid=56637] ppid=56634 vsize=4192 memory=3072 CPUtime=0.2 cores=5,7
/proc/56637/stat : 56637 (run-opt-ls.sh) S 56634 56637 55300 0 -1 4194304 237 3375 0 0 0 0 19 1 20 0 1 0 56209153 4292608 768 18446744073709551615 94473261211648 94473262106181 140737244548480 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94473262345232 94473262392976 94473285709824 140737244555623 140737244555749 140737244555749 140737244561351 0
/proc/56637/statm: 1048 768 704 219 0 110 0
[pid=56640] ppid=56637 vsize=1152712 memory=995344 CPUtime=3213.34 cores=5,7
/proc/56640/stat : 56640 (roundingsat) R 56637 56637 55300 0 -1 4194304 186371 0 0 0 319479 1855 0 0 20 0 1 0 56209175 1180377088 248836 18446744073709551615 4227072 8923433 140732759650304 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14172160 140732759656774 140732759657000 140732759657000 140732759662570 0
/proc/56640/statm: 288178 248836 2400 1147 0 275605 0
Current children cumulated CPU time: 3213.54 s
Current children cumulated vsize: 1156904 KiB
Current children cumulated memory: 998416 KiB
[startup+3282.3 s]
/proc/loadavg: 1.17 1.97 2.90 2/245 56907
/proc/meminfo: memFree=128785004/131249996 swapFree=33010160/33010684
[pid=56637] ppid=56634 vsize=4192 memory=3072 CPUtime=0.2 cores=5,7
/proc/56637/stat : 56637 (run-opt-ls.sh) S 56634 56637 55300 0 -1 4194304 237 3375 0 0 0 0 19 1 20 0 1 0 56209153 4292608 768 18446744073709551615 94473261211648 94473262106181 140737244548480 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94473262345232 94473262392976 94473285709824 140737244555623 140737244555749 140737244555749 140737244561351 0
/proc/56637/statm: 1048 768 704 219 0 110 0
[pid=56640] ppid=56637 vsize=1165396 memory=1005456 CPUtime=3273.22 cores=5,7
/proc/56640/stat : 56640 (roundingsat) R 56637 56637 55300 0 -1 4194304 188886 0 0 0 325439 1883 0 0 20 0 1 0 56209175 1193365504 251364 18446744073709551615 4227072 8923433 140732759650304 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14172160 140732759656774 140732759657000 140732759657000 140732759662570 0
/proc/56640/statm: 291349 251364 2400 1147 0 278776 0
Current children cumulated CPU time: 3273.42 s
Current children cumulated vsize: 1169588 KiB
Current children cumulated memory: 1008528 KiB
[startup+3342.3 s]
/proc/loadavg: 1.12 1.81 2.78 2/245 56909
/proc/meminfo: memFree=128784796/131249996 swapFree=33010160/33010684
[pid=56637] ppid=56634 vsize=4192 memory=3072 CPUtime=0.2 cores=5,7
/proc/56637/stat : 56637 (run-opt-ls.sh) S 56634 56637 55300 0 -1 4194304 237 3375 0 0 0 0 19 1 20 0 1 0 56209153 4292608 768 18446744073709551615 94473261211648 94473262106181 140737244548480 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94473262345232 94473262392976 94473285709824 140737244555623 140737244555749 140737244555749 140737244561351 0
/proc/56637/statm: 1048 768 704 219 0 110 0
[pid=56640] ppid=56637 vsize=1168272 memory=1008656 CPUtime=3333.09 cores=5,7
/proc/56640/stat : 56640 (roundingsat) R 56637 56637 55300 0 -1 4194304 189690 0 0 0 331397 1912 0 0 20 0 1 0 56209175 1196310528 252164 18446744073709551615 4227072 8923433 140732759650304 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14172160 140732759656774 140732759657000 140732759657000 140732759662570 0
/proc/56640/statm: 292068 252164 2400 1147 0 279495 0
Current children cumulated CPU time: 3333.29 s
Current children cumulated vsize: 1172464 KiB
Current children cumulated memory: 1011728 KiB
[startup+3402.3 s]
/proc/loadavg: 1.12 1.67 2.67 2/245 56911
/proc/meminfo: memFree=128784588/131249996 swapFree=33010160/33010684
[pid=56637] ppid=56634 vsize=4192 memory=3072 CPUtime=0.2 cores=5,7
/proc/56637/stat : 56637 (run-opt-ls.sh) S 56634 56637 55300 0 -1 4194304 237 3375 0 0 0 0 19 1 20 0 1 0 56209153 4292608 768 18446744073709551615 94473261211648 94473262106181 140737244548480 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94473262345232 94473262392976 94473285709824 140737244555623 140737244555749 140737244555749 140737244561351 0
/proc/56637/statm: 1048 768 704 219 0 110 0
[pid=56640] ppid=56637 vsize=1169116 memory=1009424 CPUtime=3392.95 cores=5,7
/proc/56640/stat : 56640 (roundingsat) R 56637 56637 55300 0 -1 4194304 189893 0 0 0 337358 1937 0 0 20 0 1 0 56209175 1197174784 252356 18446744073709551615 4227072 8923433 140732759650304 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14172160 140732759656774 140732759657000 140732759657000 140732759662570 0
/proc/56640/statm: 292279 252356 2400 1147 0 279706 0
Current children cumulated CPU time: 3393.15 s
Current children cumulated vsize: 1173308 KiB
Current children cumulated memory: 1012496 KiB
[startup+3462.3 s]
/proc/loadavg: 1.11 1.57 2.57 2/246 56916
/proc/meminfo: memFree=128784620/131249996 swapFree=33010160/33010684
[pid=56637] ppid=56634 vsize=4192 memory=3072 CPUtime=0.2 cores=5,7
/proc/56637/stat : 56637 (run-opt-ls.sh) S 56634 56637 55300 0 -1 4194304 237 3375 0 0 0 0 19 1 20 0 1 0 56209153 4292608 768 18446744073709551615 94473261211648 94473262106181 140737244548480 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94473262345232 94473262392976 94473285709824 140737244555623 140737244555749 140737244555749 140737244561351 0
/proc/56637/statm: 1048 768 704 219 0 110 0
[pid=56640] ppid=56637 vsize=1169648 memory=1010576 CPUtime=3452.81 cores=5,7
/proc/56640/stat : 56640 (roundingsat) R 56637 56637 55300 0 -1 4194304 190055 0 0 0 343322 1959 0 0 20 0 1 0 56209175 1197719552 252644 18446744073709551615 4227072 8923433 140732759650304 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14172160 140732759656774 140732759657000 140732759657000 140732759662570 0
/proc/56640/statm: 292412 252644 2528 1147 0 279839 0
Current children cumulated CPU time: 3453.01 s
Current children cumulated vsize: 1173840 KiB
Current children cumulated memory: 1013648 KiB
[startup+3522.3 s]
/proc/loadavg: 1.09 1.48 2.47 2/246 56918
/proc/meminfo: memFree=128784476/131249996 swapFree=33010160/33010684
[pid=56637] ppid=56634 vsize=4192 memory=3072 CPUtime=0.2 cores=5,7
/proc/56637/stat : 56637 (run-opt-ls.sh) S 56634 56637 55300 0 -1 4194304 237 3375 0 0 0 0 19 1 20 0 1 0 56209153 4292608 768 18446744073709551615 94473261211648 94473262106181 140737244548480 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94473262345232 94473262392976 94473285709824 140737244555623 140737244555749 140737244555749 140737244561351 0
/proc/56637/statm: 1048 768 704 219 0 110 0
[pid=56640] ppid=56637 vsize=1171312 memory=1011728 CPUtime=3512.68 cores=5,7
/proc/56640/stat : 56640 (roundingsat) R 56637 56637 55300 0 -1 4194304 190354 0 0 0 349281 1987 0 0 20 0 1 0 56209175 1199423488 252932 18446744073709551615 4227072 8923433 140732759650304 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14172160 140732759656774 140732759657000 140732759657000 140732759662570 0
/proc/56640/statm: 292828 252932 2528 1147 0 280255 0
Current children cumulated CPU time: 3512.88 s
Current children cumulated vsize: 1175504 KiB
Current children cumulated memory: 1014800 KiB
[startup+3582.3 s]
/proc/loadavg: 1.07 1.40 2.38 2/246 56924
/proc/meminfo: memFree=128730516/131249996 swapFree=33010160/33010684
[pid=56637] ppid=56634 vsize=4192 memory=3072 CPUtime=0.2 cores=5,7
/proc/56637/stat : 56637 (run-opt-ls.sh) S 56634 56637 55300 0 -1 4194304 237 3375 0 0 0 0 19 1 20 0 1 0 56209153 4292608 768 18446744073709551615 94473261211648 94473262106181 140737244548480 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94473262345232 94473262392976 94473285709824 140737244555623 140737244555749 140737244555749 140737244561351 0
/proc/56637/statm: 1048 768 704 219 0 110 0
[pid=56640] ppid=56637 vsize=1171720 memory=1033360 CPUtime=3572.54 cores=5,7
/proc/56640/stat : 56640 (roundingsat) R 56637 56637 55300 0 -1 4194304 190603 0 0 0 355252 2002 0 0 20 0 1 0 56209175 1199841280 258340 18446744073709551615 4227072 8923433 140732759650304 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14172160 140732759656774 140732759657000 140732759657000 140732759662570 0
/proc/56640/statm: 292930 258340 2528 1147 0 280357 0
Current children cumulated CPU time: 3572.74 s
Current children cumulated vsize: 1175912 KiB
Current children cumulated memory: 1036432 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.7 s]
/proc/loadavg: 1.04 1.37 2.35 2/246 56925
/proc/meminfo: memFree=128707208/131249996 swapFree=33010160/33010684
[pid=56637] ppid=56634 vsize=4192 memory=3072 CPUtime=0.2 cores=5,7
/proc/56637/stat : 56637 (run-opt-ls.sh) S 56634 56637 55300 0 -1 4194304 237 3375 0 0 0 0 19 1 20 0 1 0 56209153 4292608 768 18446744073709551615 94473261211648 94473262106181 140737244548480 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94473262345232 94473262392976 94473285709824 140737244555623 140737244555749 140737244555749 140737244561351 0
/proc/56637/statm: 1048 768 704 219 0 110 0
[pid=56640] ppid=56637 vsize=1171720 memory=1054224 CPUtime=3599.88 cores=5,7
/proc/56640/stat : 56640 (roundingsat) R 56637 56637 55300 0 -1 4194304 190611 0 0 0 357970 2018 0 0 20 0 1 0 56209175 1199841280 263556 18446744073709551615 4227072 8923433 140732759650304 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14172160 140732759656774 140732759657000 140732759657000 140732759662570 0
/proc/56640/statm: 292930 263556 2528 1147 0 280357 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1175912 KiB
Current children cumulated memory: 1057296 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.7 s]
# the end of solver process 56637 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.193577 s, system=0.014415 s
Sleeping 2 seconds
[startup+3609.71 s]
# the end of solver process 56640 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3579.91 s, system=20.2047 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.7 s]
/proc/loadavg: 1.04 1.37 2.35 2/246 56925
/proc/meminfo: memFree=128707208/131249996 swapFree=33010160/33010684
[pid=56637] ppid=56634 vsize=4192 memory=3072 CPUtime=0.2 cores=5,7
/proc/56637/stat : 56637 (run-opt-ls.sh) S 56634 56637 55300 0 -1 4194304 237 3375 0 0 0 0 19 1 20 0 1 0 56209153 4292608 768 18446744073709551615 94473261211648 94473262106181 140737244548480 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94473262345232 94473262392976 94473285709824 140737244555623 140737244555749 140737244555749 140737244561351 0
/proc/56637/statm: 1048 768 704 219 0 110 0
[pid=56640] ppid=56637 vsize=1171720 memory=1054224 CPUtime=3599.88 cores=5,7
/proc/56640/stat : 56640 (roundingsat) R 56637 56637 55300 0 -1 4194304 190611 0 0 0 357970 2018 0 0 20 0 1 0 56209175 1199841280 263556 18446744073709551615 4227072 8923433 140732759650304 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14172160 140732759656774 140732759657000 140732759657000 140732759662570 0
/proc/56640/statm: 292930 263556 2528 1147 0 280357 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1175912 KiB
Current children cumulated memory: 1057296 KiB
Child status: 2
Real time (s): 3609.71
CPU time (s): 3600.11
CPU user time (s): 3579.91
CPU system time (s): 20.2047
CPU usage (%): 99.7341
Max. virtual memory (cumulated for all children) (KiB): 1175912
Max. memory (cumulated for all children) (KiB): 1057296
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.91
system time used= 20.2047
maximum resident set size= 1054352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 194241
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 302
involuntary context switches= 3379
# summary of solver processes directly reported to runsolver:
# pid: 56637,56640
# total CPU time (s): 3600.11
# total CPU user time (s): 3579.91
# total CPU system time (s): 20.2047
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.01696 second user time and 15.9557 second system time
The end
Begin job on nodeC029 at 2025-07-01 23:28:27
IDJOB=4499168
IDBENCH=148772
IDSOLVER=3355
FILE ID=nodeC029/4499168-1751405307
RUNJOBID= nodeC029-1751397441-55313
SLURM_JOB_ID= 9598277
Free space on /tmp= 432916 MiB
SOLVER NAME= roundingsat-ls+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx63.opb
COMMAND LINE= run-opt-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4499168-1751405307/watcher-4499168-1751405307 -o /tmp/evaluation-result-4499168-1751405307/solver-4499168-1751405307 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751397441-55313 --watchdog 3760 run-opt-ls.sh HOME/instance-4499168-1751405307.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7c2ff02722ff3a09887b085a032d3a00
RANDOM SEED=900725206
nodeC029 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.730
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.726
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
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.885
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
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 : 3599.877
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.721
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
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 : 3597.076
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.410
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.166
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 108305104 kB
MemAvailable: 108436816 kB
Buffers: 2128 kB
Cached: 938088 kB
SwapCached: 40 kB
Active: 21738084 kB
Inactive: 568456 kB
Active(anon): 21379576 kB
Inactive(anon): 4768 kB
Active(file): 358508 kB
Inactive(file): 563688 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7448 kB
Writeback: 0 kB
AnonPages: 21368816 kB
Mapped: 116892 kB
Shmem: 18020 kB
KReclaimable: 97512 kB
Slab: 184452 kB
SReclaimable: 97512 kB
SUnreclaim: 86940 kB
KernelStack: 4288 kB
PageTables: 46560 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 23724148 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150648 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 4954112 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: 193236 kB
DirectMap2M: 11112448 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 433052 MiB
End job on nodeC029 at 2025-07-02 00:28:37