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-4532507-1752683038.opb'
0.00/0.02 c read 0.47MB (6.10ms)
0.00/0.02 c [cnf: #variables 4977 #clauses 5495 #duplicates 0 #arr 48524]
0.00/0.02 c output proof to '/tmp/proof-4532507-1752683038'
0.00/0.02 c
0.00/0.02 c make graph and approximate orbits
0.00/0.03 c [group: #orbits ~= 42] (6.12ms)
0.00/0.03 c
0.00/0.03 c detect special group actions
0.00/0.03 c probe for Johnson action (limit=64)
0.00/0.03 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.06 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.07 c recursing 280 blocks of candidate 7x1422r
0.00/0.07 c found row 3x14, generating row predicate
0.00/0.08 c found row 11x14, generating row predicate
0.00/0.09 c found row 7x1422, generating row predicate
0.00/0.09 c (64.13ms)
0.00/0.09 c
0.00/0.09 c detect symmetries on remainder
0.00/0.09 c [graph: #vertices 29897 #edges 135898]
0.00/0.09 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.08/0.13 c [group: #symmetries 2.94*10^155 #generators 224] (44.83ms)
0.08/0.13 c
0.08/0.13 c optimize generators (opt_passes=64, conjugate_limit=256)
0.08/0.17 c opt it=15, l=6786, m=433, opt=33, avg=916, b=20, gens=224
0.08/0.20 c opt it=31, l=10692, m=839, opt=67, avg=907, b=20, gens=224
0.19/0.23 c opt it=47, l=14597, m=1263, opt=104, avg=895, b=20, gens=224
0.19/0.26 c opt it=63, l=18492, m=1667, opt=128, avg=888, b=20, gens=224
0.19/0.27 c ran it=0, +gens=86
0.29/0.40 c con best_support=20, best_gens=103, +gens=250
0.29/0.40 c (268.83ms)
0.29/0.40 c
0.29/0.40 c finalize break order and special generators
0.39/0.41 c
0.39/0.41 c add generic predicates (break_depth=20)
0.39/0.41 c added predicates for 560 generators (7.08ms)
0.57/0.65 c
0.57/0.65 c generation finished
0.57/0.65 c [sbp: #constraints 31150 #add_vars 10333]
0.57/0.65 c
0.57/0.65 c write result to 'HOME/instance-4532507-1752683038.opb.pre'
0.57/0.66 c wrote 1.63MB (3.75ms)
0.57/0.66 c ------------------------------------------------------------------
0.57/0.66 c 268.83ms 41.62% optimize_gens
0.57/0.66 c 241.67ms 37.42% other
0.57/0.66 c 64.13ms 9.93% detect_special
0.57/0.66 c 44.83ms 6.94% detect_generic
0.57/0.66 c 7.08ms 1.10% break_generic
0.57/0.66 c 6.12ms 0.95% approx_orbits
0.57/0.66 c 6.10ms 0.94% parse
0.57/0.66 c 3.75ms 0.58% output
0.57/0.66 c 3.39ms 0.52% finalize_order
0.57/0.66 c ───────────────────────────────────────────────
0.57/0.66 c 645.90ms 100% total
0.57/0.66 c ------------------------------------------------------------------
0.57/0.67 c RoundingSat 2
0.57/0.67 c branch pb25
0.57/0.67 c commit 0f876b3
0.64/0.90 c #variables 15310 #constraints 36695
0.64/0.90 c objective is ce32
0.64/0.90 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.64/0.90 c initial counting CF 32, 64, 128, Arb: 449 , 0 , 0 , 0
0.64/0.90 c bounds - >= 0 @ 0.198892
2.25/2.31 c #Conflicts: 1000 | #Constraints: 37695
2.25/2.31 c #Conflicts: 2000 | #Constraints: 38697
2.25/2.31 c INPROCESSING
2.25/2.31 c GARBAGE COLLECT
2.25/2.31 c rational objective 7
4.15/4.27 c #Conflicts: 3000 | #Constraints: 33692
4.15/4.27 c #Conflicts: 4000 | #Constraints: 34695
4.15/4.27 c INPROCESSING
4.15/4.27 c GARBAGE COLLECT
4.15/4.27 c rational objective 7
5.84/5.95 c #Conflicts: 5000 | #Constraints: 34110
5.84/5.95 c #Conflicts: 6000 | #Constraints: 35110
5.84/5.95 c INPROCESSING
5.84/5.95 c GARBAGE COLLECT
5.84/5.95 c rational objective 7
9.04/9.12 c #Conflicts: 7000 | #Constraints: 34093
9.04/9.12 c #Conflicts: 8000 | #Constraints: 35093
9.04/9.12 c #Conflicts: 9000 | #Constraints: 36094
9.04/9.12 c INPROCESSING
9.04/9.12 c GARBAGE COLLECT
9.04/9.12 c rational objective 7
11.52/11.62 c #Conflicts: 10000 | #Constraints: 34790
11.52/11.62 c #Conflicts: 11000 | #Constraints: 35790
11.52/11.62 c #Conflicts: 12000 | #Constraints: 36791
11.52/11.62 c INPROCESSING
11.52/11.62 c GARBAGE COLLECT
11.52/11.62 c rational objective 7
14.31/14.42 c #Conflicts: 13000 | #Constraints: 35245
14.31/14.42 c #Conflicts: 14000 | #Constraints: 36246
14.31/14.42 c #Conflicts: 15000 | #Constraints: 37252
14.31/14.42 c INPROCESSING
14.31/14.42 c GARBAGE COLLECT
14.31/14.42 c rational objective 7
18.40/18.56 c #Conflicts: 16000 | #Constraints: 35466
18.40/18.56 c #Conflicts: 17000 | #Constraints: 36467
18.40/18.56 c #Conflicts: 18000 | #Constraints: 37472
18.40/18.56 c INPROCESSING
18.40/18.56 c GARBAGE COLLECT
18.40/18.56 c rational objective 7
22.48/22.64 c #Conflicts: 19000 | #Constraints: 35511
22.48/22.64 c #Conflicts: 20000 | #Constraints: 36513
22.48/22.64 c #Conflicts: 21000 | #Constraints: 37515
22.48/22.64 c INPROCESSING
22.48/22.64 c GARBAGE COLLECT
22.48/22.64 c rational objective 7
26.97/27.19 c #Conflicts: 22000 | #Constraints: 35291
26.97/27.19 c #Conflicts: 23000 | #Constraints: 36292
26.97/27.19 c #Conflicts: 24000 | #Constraints: 37294
26.97/27.19 c #Conflicts: 25000 | #Constraints: 38295
26.97/27.19 c INPROCESSING
26.97/27.19 c GARBAGE COLLECT
26.97/27.19 c rational objective 7
32.05/32.25 c #Conflicts: 26000 | #Constraints: 35883
32.05/32.25 c #Conflicts: 27000 | #Constraints: 36884
32.05/32.25 c #Conflicts: 28000 | #Constraints: 37885
32.05/32.25 c #Conflicts: 29000 | #Constraints: 38887
32.05/32.25 c INPROCESSING
32.05/32.25 c GARBAGE COLLECT
32.05/32.25 c rational objective 7
36.73/36.92 c #Conflicts: 30000 | #Constraints: 36275
36.73/36.92 c #Conflicts: 31000 | #Constraints: 37276
36.73/36.92 c #Conflicts: 32000 | #Constraints: 38279
36.73/36.92 c #Conflicts: 33000 | #Constraints: 39280
36.73/36.92 c INPROCESSING
36.73/36.92 c GARBAGE COLLECT
36.73/36.92 c rational objective 7
41.33/41.55 c #Conflicts: 34000 | #Constraints: 36475
41.33/41.55 c #Conflicts: 35000 | #Constraints: 37477
41.33/41.55 c #Conflicts: 36000 | #Constraints: 38480
41.33/41.55 c #Conflicts: 37000 | #Constraints: 39483
41.33/41.55 c INPROCESSING
41.33/41.55 c GARBAGE COLLECT
41.33/41.55 c rational objective 7
45.51/45.79 c #Conflicts: 38000 | #Constraints: 36480
45.51/45.79 c #Conflicts: 39000 | #Constraints: 37481
45.51/45.79 c #Conflicts: 40000 | #Constraints: 38481
45.51/45.79 c #Conflicts: 41000 | #Constraints: 39485
45.51/45.79 c INPROCESSING
45.51/45.79 c GARBAGE COLLECT
45.51/45.79 c rational objective 7
49.90/50.15 c #Conflicts: 42000 | #Constraints: 36252
49.90/50.15 c #Conflicts: 43000 | #Constraints: 37253
49.90/50.15 c #Conflicts: 44000 | #Constraints: 38256
49.90/50.15 c #Conflicts: 45000 | #Constraints: 39264
49.90/50.15 c #Conflicts: 46000 | #Constraints: 40268
49.90/50.15 c INPROCESSING
49.90/50.15 c GARBAGE COLLECT
49.90/50.15 c rational objective 7
55.27/55.54 c #Conflicts: 47000 | #Constraints: 36812
55.27/55.54 c #Conflicts: 48000 | #Constraints: 37818
55.27/55.54 c #Conflicts: 49000 | #Constraints: 38824
55.27/55.54 c #Conflicts: 50000 | #Constraints: 39827
55.27/55.54 c #Conflicts: 51000 | #Constraints: 40829
55.27/55.54 c INPROCESSING
55.27/55.54 c GARBAGE COLLECT
55.27/55.54 c rational objective 7
60.06/60.35 c #Conflicts: 52000 | #Constraints: 37214
60.06/60.35 c #Conflicts: 53000 | #Constraints: 38217
60.06/60.35 c #Conflicts: 54000 | #Constraints: 39220
60.06/60.35 c #Conflicts: 55000 | #Constraints: 40223
60.06/60.35 c #Conflicts: 56000 | #Constraints: 41224
60.06/60.35 c INPROCESSING
60.06/60.35 c GARBAGE COLLECT
60.06/60.35 c rational objective 7
65.94/66.23 c #Conflicts: 57000 | #Constraints: 37411
65.94/66.23 c #Conflicts: 58000 | #Constraints: 38414
65.94/66.23 c #Conflicts: 59000 | #Constraints: 39420
65.94/66.23 c #Conflicts: 60000 | #Constraints: 40425
65.94/66.23 c #Conflicts: 61000 | #Constraints: 41432
65.94/66.23 c INPROCESSING
65.94/66.23 c GARBAGE COLLECT
65.94/66.23 c rational objective 7
71.62/71.95 c #Conflicts: 62000 | #Constraints: 37402
71.62/71.95 c #Conflicts: 63000 | #Constraints: 38402
71.62/71.95 c #Conflicts: 64000 | #Constraints: 39402
71.62/71.95 c #Conflicts: 65000 | #Constraints: 40402
71.62/71.95 c #Conflicts: 66000 | #Constraints: 41403
71.62/71.95 c INPROCESSING
71.62/71.95 c GARBAGE COLLECT
71.62/71.95 c rational objective 7
76.50/76.88 c #Conflicts: 67000 | #Constraints: 37189
76.50/76.88 c #Conflicts: 68000 | #Constraints: 38190
76.50/76.88 c #Conflicts: 69000 | #Constraints: 39192
76.50/76.88 c #Conflicts: 70000 | #Constraints: 40194
76.50/76.88 c #Conflicts: 71000 | #Constraints: 41197
76.50/76.88 c #Conflicts: 72000 | #Constraints: 42199
76.50/76.88 c INPROCESSING
76.50/76.88 c GARBAGE COLLECT
76.50/76.88 c rational objective 7
82.98/83.36 c #Conflicts: 73000 | #Constraints: 37788
82.98/83.36 c #Conflicts: 74000 | #Constraints: 38788
82.98/83.36 c #Conflicts: 75000 | #Constraints: 39790
82.98/83.36 c #Conflicts: 76000 | #Constraints: 40793
82.98/83.36 c #Conflicts: 77000 | #Constraints: 41796
82.98/83.36 c #Conflicts: 78000 | #Constraints: 42798
82.98/83.36 c INPROCESSING
82.98/83.36 c GARBAGE COLLECT
82.98/83.36 c rational objective 7
88.86/89.24 c #Conflicts: 79000 | #Constraints: 38174
88.86/89.24 c #Conflicts: 80000 | #Constraints: 39179
88.86/89.24 c #Conflicts: 81000 | #Constraints: 40179
88.86/89.24 c #Conflicts: 82000 | #Constraints: 41181
88.86/89.24 c #Conflicts: 83000 | #Constraints: 42182
88.86/89.24 c #Conflicts: 84000 | #Constraints: 43188
88.86/89.24 c INPROCESSING
88.86/89.24 c GARBAGE COLLECT
88.86/89.24 c rational objective 7
96.14/96.51 c #Conflicts: 85000 | #Constraints: 38379
96.14/96.51 c #Conflicts: 86000 | #Constraints: 39379
96.14/96.51 c #Conflicts: 87000 | #Constraints: 40382
96.14/96.51 c #Conflicts: 88000 | #Constraints: 41388
96.14/96.51 c #Conflicts: 89000 | #Constraints: 42390
96.14/96.51 c #Conflicts: 90000 | #Constraints: 43390
96.14/96.51 c INPROCESSING
96.14/96.51 c GARBAGE COLLECT
96.14/96.51 c rational objective 7
108.50/108.92 c #Conflicts: 91000 | #Constraints: 38382
108.50/108.92 c #Conflicts: 92000 | #Constraints: 39384
108.50/108.92 c #Conflicts: 93000 | #Constraints: 40385
108.50/108.92 c #Conflicts: 94000 | #Constraints: 41387
108.50/108.92 c #Conflicts: 95000 | #Constraints: 42389
108.50/108.92 c #Conflicts: 96000 | #Constraints: 43389
108.50/108.92 c INPROCESSING
108.50/108.92 c GARBAGE COLLECT
108.50/108.92 c rational objective 7
115.68/116.16 c #Conflicts: 97000 | #Constraints: 38173
115.68/116.16 c #Conflicts: 98000 | #Constraints: 39174
115.68/116.16 c #Conflicts: 99000 | #Constraints: 40174
115.68/116.16 c #Conflicts: 100000 | #Constraints: 41177
115.68/116.16 c #Conflicts: 101000 | #Constraints: 42182
115.68/116.16 c #Conflicts: 102000 | #Constraints: 43186
115.68/116.16 c #Conflicts: 103000 | #Constraints: 44188
115.68/116.16 c INPROCESSING
115.68/116.16 c GARBAGE COLLECT
115.68/116.16 c rational objective 7
124.24/124.70 c #Conflicts: 104000 | #Constraints: 38763
124.24/124.70 c #Conflicts: 105000 | #Constraints: 39763
124.24/124.70 c #Conflicts: 106000 | #Constraints: 40764
124.24/124.70 c #Conflicts: 107000 | #Constraints: 41767
124.24/124.70 c #Conflicts: 108000 | #Constraints: 42769
124.24/124.70 c #Conflicts: 109000 | #Constraints: 43771
124.24/124.70 c #Conflicts: 110000 | #Constraints: 44775
124.24/124.70 c INPROCESSING
124.24/124.70 c GARBAGE COLLECT
124.24/124.70 c rational objective 7
132.22/132.75 c #Conflicts: 111000 | #Constraints: 39159
132.22/132.75 c #Conflicts: 112000 | #Constraints: 40163
132.22/132.75 c #Conflicts: 113000 | #Constraints: 41167
132.22/132.75 c #Conflicts: 114000 | #Constraints: 42170
132.22/132.75 c #Conflicts: 115000 | #Constraints: 43173
132.22/132.75 c #Conflicts: 116000 | #Constraints: 44177
132.22/132.75 c #Conflicts: 117000 | #Constraints: 45181
132.22/132.75 c INPROCESSING
132.22/132.75 c GARBAGE COLLECT
132.22/132.75 c rational objective 7
141.10/141.66 c #Conflicts: 118000 | #Constraints: 39296
141.10/141.66 c #Conflicts: 119000 | #Constraints: 40297
141.10/141.66 c #Conflicts: 120000 | #Constraints: 41298
141.10/141.66 c #Conflicts: 121000 | #Constraints: 42298
141.10/141.66 c #Conflicts: 122000 | #Constraints: 43301
141.10/141.66 c #Conflicts: 123000 | #Constraints: 44302
141.10/141.66 c #Conflicts: 124000 | #Constraints: 45302
141.10/141.66 c INPROCESSING
141.10/141.66 c GARBAGE COLLECT
141.10/141.66 c rational objective 7
149.58/150.12 c #Conflicts: 125000 | #Constraints: 39283
149.58/150.12 c #Conflicts: 126000 | #Constraints: 40284
149.58/150.12 c #Conflicts: 127000 | #Constraints: 41286
149.58/150.12 c #Conflicts: 128000 | #Constraints: 42288
149.58/150.12 c #Conflicts: 129000 | #Constraints: 43294
149.58/150.12 c #Conflicts: 130000 | #Constraints: 44301
149.58/150.12 c #Conflicts: 131000 | #Constraints: 45301
149.58/150.12 c INPROCESSING
149.58/150.12 c GARBAGE COLLECT
149.58/150.12 c rational objective 7
159.83/160.48 c #Conflicts: 132000 | #Constraints: 39073
159.83/160.48 c #Conflicts: 133000 | #Constraints: 40073
159.83/160.48 c #Conflicts: 134000 | #Constraints: 41074
159.83/160.48 c #Conflicts: 135000 | #Constraints: 42076
159.83/160.48 c #Conflicts: 136000 | #Constraints: 43078
159.83/160.48 c #Conflicts: 137000 | #Constraints: 44080
159.83/160.48 c #Conflicts: 138000 | #Constraints: 45083
159.83/160.48 c #Conflicts: 139000 | #Constraints: 46086
159.83/160.48 c INPROCESSING
159.83/160.48 c GARBAGE COLLECT
159.83/160.48 c rational objective 7
171.40/172.09 c #Conflicts: 140000 | #Constraints: 39685
171.40/172.09 c #Conflicts: 141000 | #Constraints: 40685
171.40/172.09 c #Conflicts: 142000 | #Constraints: 41686
171.40/172.09 c #Conflicts: 143000 | #Constraints: 42689
171.40/172.09 c #Conflicts: 144000 | #Constraints: 43691
171.40/172.09 c #Conflicts: 145000 | #Constraints: 44694
171.40/172.09 c #Conflicts: 146000 | #Constraints: 45698
171.40/172.09 c #Conflicts: 147000 | #Constraints: 46699
171.40/172.09 c INPROCESSING
171.40/172.09 c GARBAGE COLLECT
171.40/172.09 c rational objective 7
183.75/184.40 c #Conflicts: 148000 | #Constraints: 40042
183.75/184.40 c #Conflicts: 149000 | #Constraints: 41042
183.75/184.40 c #Conflicts: 150000 | #Constraints: 42045
183.75/184.40 c #Conflicts: 151000 | #Constraints: 43047
183.75/184.40 c #Conflicts: 152000 | #Constraints: 44049
183.75/184.40 c #Conflicts: 153000 | #Constraints: 45051
183.75/184.40 c #Conflicts: 154000 | #Constraints: 46051
183.75/184.40 c #Conflicts: 155000 | #Constraints: 47053
183.75/184.40 c INPROCESSING
183.75/184.40 c GARBAGE COLLECT
183.75/184.40 c rational objective 7
196.11/196.86 c #Conflicts: 156000 | #Constraints: 40233
196.11/196.86 c #Conflicts: 157000 | #Constraints: 41234
196.11/196.86 c #Conflicts: 158000 | #Constraints: 42234
196.11/196.86 c #Conflicts: 159000 | #Constraints: 43235
196.11/196.86 c #Conflicts: 160000 | #Constraints: 44240
196.11/196.86 c #Conflicts: 161000 | #Constraints: 45243
196.11/196.86 c #Conflicts: 162000 | #Constraints: 46252
196.11/196.86 c #Conflicts: 163000 | #Constraints: 47255
196.11/196.86 c INPROCESSING
196.11/196.86 c GARBAGE COLLECT
196.11/196.86 c rational objective 7
210.07/210.88 c #Conflicts: 164000 | #Constraints: 40140
210.07/210.88 c #Conflicts: 165000 | #Constraints: 41140
210.07/210.88 c #Conflicts: 166000 | #Constraints: 42143
210.07/210.88 c #Conflicts: 167000 | #Constraints: 43145
210.07/210.88 c #Conflicts: 168000 | #Constraints: 44150
210.07/210.88 c #Conflicts: 169000 | #Constraints: 45151
210.07/210.88 c #Conflicts: 170000 | #Constraints: 46153
210.07/210.88 c #Conflicts: 171000 | #Constraints: 47155
210.07/210.88 c INPROCESSING
210.07/210.88 c GARBAGE COLLECT
210.07/210.88 c rational objective 7
221.24/222.08 c #Conflicts: 172000 | #Constraints: 39927
221.24/222.08 c #Conflicts: 173000 | #Constraints: 40927
221.24/222.08 c #Conflicts: 174000 | #Constraints: 41930
221.24/222.08 c #Conflicts: 175000 | #Constraints: 42933
221.24/222.08 c #Conflicts: 176000 | #Constraints: 43936
221.24/222.08 c #Conflicts: 177000 | #Constraints: 44937
221.24/222.08 c #Conflicts: 178000 | #Constraints: 45939
221.24/222.08 c #Conflicts: 179000 | #Constraints: 46941
221.24/222.08 c #Conflicts: 180000 | #Constraints: 47942
221.24/222.08 c INPROCESSING
221.24/222.08 c GARBAGE COLLECT
221.24/222.08 c rational objective 7
231.01/231.89 c #Conflicts: 181000 | #Constraints: 40455
231.01/231.89 c #Conflicts: 182000 | #Constraints: 41457
231.01/231.89 c #Conflicts: 183000 | #Constraints: 42463
231.01/231.89 c #Conflicts: 184000 | #Constraints: 43464
231.01/231.89 c #Conflicts: 185000 | #Constraints: 44475
231.01/231.89 c #Conflicts: 186000 | #Constraints: 45480
231.01/231.89 c #Conflicts: 187000 | #Constraints: 46482
231.01/231.89 c #Conflicts: 188000 | #Constraints: 47485
231.01/231.89 c #Conflicts: 189000 | #Constraints: 48486
231.01/231.89 c INPROCESSING
231.01/231.89 c GARBAGE COLLECT
231.01/231.89 c rational objective 7
245.96/246.82 c #Conflicts: 190000 | #Constraints: 40871
245.96/246.82 c #Conflicts: 191000 | #Constraints: 41871
245.96/246.82 c #Conflicts: 192000 | #Constraints: 42873
245.96/246.82 c #Conflicts: 193000 | #Constraints: 43875
245.96/246.82 c #Conflicts: 194000 | #Constraints: 44877
245.96/246.82 c #Conflicts: 195000 | #Constraints: 45881
245.96/246.82 c #Conflicts: 196000 | #Constraints: 46882
245.96/246.82 c #Conflicts: 197000 | #Constraints: 47884
245.96/246.82 c #Conflicts: 198000 | #Constraints: 48884
245.96/246.82 c INPROCESSING
245.96/246.82 c GARBAGE COLLECT
245.96/246.82 c rational objective 7
263.91/264.81 c #Conflicts: 199000 | #Constraints: 40989
263.91/264.81 c #Conflicts: 200000 | #Constraints: 41989
263.91/264.81 c #Conflicts: 201000 | #Constraints: 42991
263.91/264.81 c #Conflicts: 202000 | #Constraints: 43993
263.91/264.81 c #Conflicts: 203000 | #Constraints: 44994
263.91/264.81 c #Conflicts: 204000 | #Constraints: 45995
263.91/264.81 c #Conflicts: 205000 | #Constraints: 46997
263.91/264.81 c #Conflicts: 206000 | #Constraints: 47997
263.91/264.81 c #Conflicts: 207000 | #Constraints: 48998
263.91/264.81 c INPROCESSING
263.91/264.81 c GARBAGE COLLECT
263.91/264.81 c rational objective 7
284.25/285.27 c #Conflicts: 208000 | #Constraints: 40998
284.25/285.27 c #Conflicts: 209000 | #Constraints: 41998
284.25/285.27 c #Conflicts: 210000 | #Constraints: 43000
284.25/285.27 c #Conflicts: 211000 | #Constraints: 44001
284.25/285.27 c #Conflicts: 212000 | #Constraints: 45002
284.25/285.27 c #Conflicts: 213000 | #Constraints: 46003
284.25/285.27 c #Conflicts: 214000 | #Constraints: 47004
284.25/285.27 c #Conflicts: 215000 | #Constraints: 48005
284.25/285.27 c #Conflicts: 216000 | #Constraints: 49005
284.25/285.27 c INPROCESSING
284.25/285.27 c GARBAGE COLLECT
284.25/285.27 c rational objective 7
306.68/307.78 c #Conflicts: 217000 | #Constraints: 40787
306.68/307.78 c #Conflicts: 218000 | #Constraints: 41787
306.68/307.78 c #Conflicts: 219000 | #Constraints: 42788
306.68/307.78 c #Conflicts: 220000 | #Constraints: 43788
306.68/307.78 c #Conflicts: 221000 | #Constraints: 44790
306.68/307.78 c #Conflicts: 222000 | #Constraints: 45792
306.68/307.78 c #Conflicts: 223000 | #Constraints: 46794
306.68/307.78 c #Conflicts: 224000 | #Constraints: 47795
306.68/307.78 c #Conflicts: 225000 | #Constraints: 48796
306.68/307.78 c #Conflicts: 226000 | #Constraints: 49797
306.68/307.78 c INPROCESSING
306.68/307.78 c GARBAGE COLLECT
306.68/307.78 c rational objective 7
321.82/322.96 c #Conflicts: 227000 | #Constraints: 41372
321.82/322.96 c #Conflicts: 228000 | #Constraints: 42372
321.82/322.96 c #Conflicts: 229000 | #Constraints: 43374
321.82/322.96 c #Conflicts: 230000 | #Constraints: 44377
321.82/322.96 c #Conflicts: 231000 | #Constraints: 45379
321.82/322.96 c #Conflicts: 232000 | #Constraints: 46380
321.82/322.96 c #Conflicts: 233000 | #Constraints: 47381
321.82/322.96 c #Conflicts: 234000 | #Constraints: 48382
321.82/322.96 c #Conflicts: 235000 | #Constraints: 49385
321.82/322.96 c #Conflicts: 236000 | #Constraints: 50386
321.82/322.96 c INPROCESSING
321.82/322.96 c GARBAGE COLLECT
321.82/322.96 c rational objective 7
335.98/337.17 c #Conflicts: 237000 | #Constraints: 41781
335.98/337.17 c #Conflicts: 238000 | #Constraints: 42783
335.98/337.17 c #Conflicts: 239000 | #Constraints: 43788
335.98/337.17 c #Conflicts: 240000 | #Constraints: 44790
335.98/337.17 c #Conflicts: 241000 | #Constraints: 45792
335.98/337.17 c #Conflicts: 242000 | #Constraints: 46794
335.98/337.17 c #Conflicts: 243000 | #Constraints: 47795
335.98/337.17 c #Conflicts: 244000 | #Constraints: 48796
335.98/337.17 c #Conflicts: 245000 | #Constraints: 49799
335.98/337.17 c #Conflicts: 246000 | #Constraints: 50801
335.98/337.17 c INPROCESSING
335.98/337.17 c GARBAGE COLLECT
335.98/337.17 c rational objective 7
354.93/356.10 c #Conflicts: 247000 | #Constraints: 41961
354.93/356.10 c #Conflicts: 248000 | #Constraints: 42963
354.93/356.10 c #Conflicts: 249000 | #Constraints: 43963
354.93/356.10 c #Conflicts: 250000 | #Constraints: 44964
354.93/356.10 c #Conflicts: 251000 | #Constraints: 45966
354.93/356.10 c #Conflicts: 252000 | #Constraints: 46967
354.93/356.10 c #Conflicts: 253000 | #Constraints: 47969
354.93/356.10 c #Conflicts: 254000 | #Constraints: 48970
354.93/356.10 c #Conflicts: 255000 | #Constraints: 49971
354.93/356.10 c #Conflicts: 256000 | #Constraints: 50972
354.93/356.10 c INPROCESSING
354.93/356.10 c GARBAGE COLLECT
354.93/356.10 c rational objective 7
369.08/370.35 c #Conflicts: 257000 | #Constraints: 41922
369.08/370.35 c #Conflicts: 258000 | #Constraints: 42923
369.08/370.35 c #Conflicts: 259000 | #Constraints: 43924
369.08/370.35 c #Conflicts: 260000 | #Constraints: 44924
369.08/370.35 c #Conflicts: 261000 | #Constraints: 45926
369.08/370.35 c #Conflicts: 262000 | #Constraints: 46927
369.08/370.35 c #Conflicts: 263000 | #Constraints: 47930
369.08/370.35 c #Conflicts: 264000 | #Constraints: 48933
369.08/370.35 c #Conflicts: 265000 | #Constraints: 49934
369.08/370.35 c #Conflicts: 266000 | #Constraints: 50937
369.08/370.35 c INPROCESSING
369.08/370.35 c GARBAGE COLLECT
369.08/370.35 c rational objective 7
387.43/388.71 c #Conflicts: 267000 | #Constraints: 41687
387.43/388.71 c #Conflicts: 268000 | #Constraints: 42691
387.43/388.71 c #Conflicts: 269000 | #Constraints: 43692
387.43/388.71 c #Conflicts: 270000 | #Constraints: 44692
387.43/388.71 c #Conflicts: 271000 | #Constraints: 45693
387.43/388.71 c #Conflicts: 272000 | #Constraints: 46693
387.43/388.71 c #Conflicts: 273000 | #Constraints: 47694
387.43/388.71 c #Conflicts: 274000 | #Constraints: 48695
387.43/388.71 c #Conflicts: 275000 | #Constraints: 49695
387.43/388.71 c #Conflicts: 276000 | #Constraints: 50696
387.43/388.71 c #Conflicts: 277000 | #Constraints: 51696
387.43/388.71 c INPROCESSING
387.43/388.71 c GARBAGE COLLECT
387.43/388.71 c rational objective 7
403.58/404.91 c #Conflicts: 278000 | #Constraints: 42280
403.58/404.91 c #Conflicts: 279000 | #Constraints: 43281
403.58/404.91 c #Conflicts: 280000 | #Constraints: 44282
403.58/404.91 c #Conflicts: 281000 | #Constraints: 45285
403.58/404.91 c #Conflicts: 282000 | #Constraints: 46285
403.58/404.91 c #Conflicts: 283000 | #Constraints: 47286
403.58/404.91 c #Conflicts: 284000 | #Constraints: 48286
403.58/404.91 c #Conflicts: 285000 | #Constraints: 49287
403.58/404.91 c #Conflicts: 286000 | #Constraints: 50288
403.58/404.91 c #Conflicts: 287000 | #Constraints: 51290
403.58/404.91 c #Conflicts: 288000 | #Constraints: 52291
403.58/404.91 c INPROCESSING
403.58/404.91 c GARBAGE COLLECT
403.58/404.91 c rational objective 7
424.62/426.03 c #Conflicts: 289000 | #Constraints: 42673
424.62/426.03 c #Conflicts: 290000 | #Constraints: 43675
424.62/426.03 c #Conflicts: 291000 | #Constraints: 44676
424.62/426.03 c #Conflicts: 292000 | #Constraints: 45677
424.62/426.03 c #Conflicts: 293000 | #Constraints: 46680
424.62/426.03 c #Conflicts: 294000 | #Constraints: 47682
424.62/426.03 c #Conflicts: 295000 | #Constraints: 48683
424.62/426.03 c #Conflicts: 296000 | #Constraints: 49684
424.62/426.03 c #Conflicts: 297000 | #Constraints: 50685
424.62/426.03 c #Conflicts: 298000 | #Constraints: 51688
424.62/426.03 c #Conflicts: 299000 | #Constraints: 52688
424.62/426.03 c INPROCESSING
424.62/426.03 c GARBAGE COLLECT
424.62/426.03 c rational objective 7
438.68/440.12 c #Conflicts: 300000 | #Constraints: 42841
438.68/440.12 c #Conflicts: 301000 | #Constraints: 43841
438.68/440.12 c #Conflicts: 302000 | #Constraints: 44843
438.68/440.12 c #Conflicts: 303000 | #Constraints: 45844
438.68/440.12 c #Conflicts: 304000 | #Constraints: 46846
438.68/440.12 c #Conflicts: 305000 | #Constraints: 47850
438.68/440.12 c #Conflicts: 306000 | #Constraints: 48852
438.68/440.12 c #Conflicts: 307000 | #Constraints: 49857
438.68/440.12 c #Conflicts: 308000 | #Constraints: 50857
438.68/440.12 c #Conflicts: 309000 | #Constraints: 51858
438.68/440.12 c #Conflicts: 310000 | #Constraints: 52859
438.68/440.12 c INPROCESSING
438.68/440.12 c GARBAGE COLLECT
438.68/440.12 c rational objective 7
456.02/457.57 c #Conflicts: 311000 | #Constraints: 42836
456.02/457.57 c #Conflicts: 312000 | #Constraints: 43837
456.02/457.57 c #Conflicts: 313000 | #Constraints: 44841
456.02/457.57 c #Conflicts: 314000 | #Constraints: 45842
456.02/457.57 c #Conflicts: 315000 | #Constraints: 46843
456.02/457.57 c #Conflicts: 316000 | #Constraints: 47843
456.02/457.57 c #Conflicts: 317000 | #Constraints: 48845
456.02/457.57 c #Conflicts: 318000 | #Constraints: 49847
456.02/457.57 c #Conflicts: 319000 | #Constraints: 50848
456.02/457.57 c #Conflicts: 320000 | #Constraints: 51849
456.02/457.57 c #Conflicts: 321000 | #Constraints: 52849
456.02/457.57 c INPROCESSING
456.02/457.57 c GARBAGE COLLECT
456.02/457.57 c rational objective 7
474.77/476.32 c #Conflicts: 322000 | #Constraints: 42629
474.77/476.32 c #Conflicts: 323000 | #Constraints: 43630
474.77/476.32 c #Conflicts: 324000 | #Constraints: 44631
474.77/476.32 c #Conflicts: 325000 | #Constraints: 45632
474.77/476.32 c #Conflicts: 326000 | #Constraints: 46634
474.77/476.32 c #Conflicts: 327000 | #Constraints: 47637
474.77/476.32 c #Conflicts: 328000 | #Constraints: 48639
474.77/476.32 c #Conflicts: 329000 | #Constraints: 49641
474.77/476.32 c #Conflicts: 330000 | #Constraints: 50643
474.77/476.32 c #Conflicts: 331000 | #Constraints: 51647
474.77/476.32 c #Conflicts: 332000 | #Constraints: 52653
474.77/476.32 c #Conflicts: 333000 | #Constraints: 53654
474.77/476.32 c INPROCESSING
474.77/476.32 c GARBAGE COLLECT
474.77/476.32 c rational objective 7
492.12/493.70 c #Conflicts: 334000 | #Constraints: 43243
492.12/493.70 c #Conflicts: 335000 | #Constraints: 44244
492.12/493.70 c #Conflicts: 336000 | #Constraints: 45252
492.12/493.70 c #Conflicts: 337000 | #Constraints: 46254
492.12/493.70 c #Conflicts: 338000 | #Constraints: 47258
492.12/493.70 c #Conflicts: 339000 | #Constraints: 48260
492.12/493.70 c #Conflicts: 340000 | #Constraints: 49266
492.12/493.70 c #Conflicts: 341000 | #Constraints: 50267
492.12/493.70 c #Conflicts: 342000 | #Constraints: 51269
492.12/493.70 c #Conflicts: 343000 | #Constraints: 52270
492.12/493.70 c #Conflicts: 344000 | #Constraints: 53271
492.12/493.70 c #Conflicts: 345000 | #Constraints: 54274
492.12/493.70 c INPROCESSING
492.12/493.70 c GARBAGE COLLECT
492.12/493.70 c rational objective 7
510.57/512.20 c #Conflicts: 346000 | #Constraints: 43633
510.57/512.20 c #Conflicts: 347000 | #Constraints: 44634
510.57/512.20 c #Conflicts: 348000 | #Constraints: 45638
510.57/512.20 c #Conflicts: 349000 | #Constraints: 46641
510.57/512.20 c #Conflicts: 350000 | #Constraints: 47642
510.57/512.20 c #Conflicts: 351000 | #Constraints: 48644
510.57/512.20 c #Conflicts: 352000 | #Constraints: 49647
510.57/512.20 c #Conflicts: 353000 | #Constraints: 50651
510.57/512.20 c #Conflicts: 354000 | #Constraints: 51655
510.57/512.20 c #Conflicts: 355000 | #Constraints: 52657
510.57/512.20 c #Conflicts: 356000 | #Constraints: 53659
510.57/512.20 c #Conflicts: 357000 | #Constraints: 54662
510.57/512.20 c INPROCESSING
510.57/512.20 c GARBAGE COLLECT
510.57/512.20 c rational objective 7
529.12/530.82 c #Conflicts: 358000 | #Constraints: 43830
529.12/530.82 c #Conflicts: 359000 | #Constraints: 44832
529.12/530.82 c #Conflicts: 360000 | #Constraints: 45837
529.12/530.82 c #Conflicts: 361000 | #Constraints: 46839
529.12/530.82 c #Conflicts: 362000 | #Constraints: 47842
529.12/530.82 c #Conflicts: 363000 | #Constraints: 48843
529.12/530.82 c #Conflicts: 364000 | #Constraints: 49843
529.12/530.82 c #Conflicts: 365000 | #Constraints: 50844
529.12/530.82 c #Conflicts: 366000 | #Constraints: 51846
529.12/530.82 c #Conflicts: 367000 | #Constraints: 52850
529.12/530.82 c #Conflicts: 368000 | #Constraints: 53853
529.12/530.82 c #Conflicts: 369000 | #Constraints: 54854
529.12/530.82 c INPROCESSING
529.12/530.82 c GARBAGE COLLECT
529.12/530.82 c rational objective 7
553.35/555.13 c #Conflicts: 370000 | #Constraints: 43832
553.35/555.13 c #Conflicts: 371000 | #Constraints: 44836
553.35/555.13 c #Conflicts: 372000 | #Constraints: 45838
553.35/555.13 c #Conflicts: 373000 | #Constraints: 46839
553.35/555.13 c #Conflicts: 374000 | #Constraints: 47840
553.35/555.13 c #Conflicts: 375000 | #Constraints: 48840
553.35/555.13 c #Conflicts: 376000 | #Constraints: 49843
553.35/555.13 c #Conflicts: 377000 | #Constraints: 50844
553.35/555.13 c #Conflicts: 378000 | #Constraints: 51844
553.35/555.13 c #Conflicts: 379000 | #Constraints: 52846
553.35/555.13 c #Conflicts: 380000 | #Constraints: 53847
553.35/555.13 c #Conflicts: 381000 | #Constraints: 54850
553.35/555.13 c INPROCESSING
553.35/555.13 c GARBAGE COLLECT
553.35/555.13 c rational objective 7
577.99/579.86 c #Conflicts: 382000 | #Constraints: 43600
577.99/579.86 c #Conflicts: 383000 | #Constraints: 44601
577.99/579.86 c #Conflicts: 384000 | #Constraints: 45602
577.99/579.86 c #Conflicts: 385000 | #Constraints: 46603
577.99/579.86 c #Conflicts: 386000 | #Constraints: 47606
577.99/579.86 c #Conflicts: 387000 | #Constraints: 48608
577.99/579.86 c #Conflicts: 388000 | #Constraints: 49609
577.99/579.86 c #Conflicts: 389000 | #Constraints: 50610
577.99/579.86 c #Conflicts: 390000 | #Constraints: 51612
577.99/579.86 c #Conflicts: 391000 | #Constraints: 52612
577.99/579.86 c #Conflicts: 392000 | #Constraints: 53612
577.99/579.86 c #Conflicts: 393000 | #Constraints: 54614
577.99/579.86 c #Conflicts: 394000 | #Constraints: 55614
577.99/579.86 c INPROCESSING
577.99/579.86 c GARBAGE COLLECT
577.99/579.86 c rational objective 7
609.80/611.79 c #Conflicts: 395000 | #Constraints: 44183
609.80/611.79 c #Conflicts: 396000 | #Constraints: 45183
609.80/611.79 c #Conflicts: 397000 | #Constraints: 46188
609.80/611.79 c #Conflicts: 398000 | #Constraints: 47190
609.80/611.79 c #Conflicts: 399000 | #Constraints: 48191
609.80/611.79 c #Conflicts: 400000 | #Constraints: 49192
609.80/611.79 c #Conflicts: 401000 | #Constraints: 50194
609.80/611.79 c #Conflicts: 402000 | #Constraints: 51195
609.80/611.79 c #Conflicts: 403000 | #Constraints: 52196
609.80/611.79 c #Conflicts: 404000 | #Constraints: 53197
609.80/611.79 c #Conflicts: 405000 | #Constraints: 54201
609.80/611.79 c #Conflicts: 406000 | #Constraints: 55204
609.80/611.79 c #Conflicts: 407000 | #Constraints: 56205
609.80/611.79 c INPROCESSING
609.80/611.79 c GARBAGE COLLECT
609.80/611.79 c rational objective 7
634.22/636.23 c #Conflicts: 408000 | #Constraints: 44572
634.22/636.23 c #Conflicts: 409000 | #Constraints: 45572
634.22/636.23 c #Conflicts: 410000 | #Constraints: 46573
634.22/636.23 c #Conflicts: 411000 | #Constraints: 47576
634.22/636.23 c #Conflicts: 412000 | #Constraints: 48580
634.22/636.23 c #Conflicts: 413000 | #Constraints: 49583
634.22/636.23 c #Conflicts: 414000 | #Constraints: 50586
634.22/636.23 c #Conflicts: 415000 | #Constraints: 51588
634.22/636.23 c #Conflicts: 416000 | #Constraints: 52591
634.22/636.23 c #Conflicts: 417000 | #Constraints: 53594
634.22/636.23 c #Conflicts: 418000 | #Constraints: 54596
634.22/636.23 c #Conflicts: 419000 | #Constraints: 55597
634.22/636.23 c #Conflicts: 420000 | #Constraints: 56598
634.22/636.23 c INPROCESSING
634.22/636.23 c GARBAGE COLLECT
634.22/636.23 c rational objective 7
666.24/668.30 c #Conflicts: 421000 | #Constraints: 44819
666.24/668.30 c #Conflicts: 422000 | #Constraints: 45820
666.24/668.30 c #Conflicts: 423000 | #Constraints: 46823
666.24/668.30 c #Conflicts: 424000 | #Constraints: 47826
666.24/668.30 c #Conflicts: 425000 | #Constraints: 48828
666.24/668.30 c #Conflicts: 426000 | #Constraints: 49830
666.24/668.30 c #Conflicts: 427000 | #Constraints: 50832
666.24/668.30 c #Conflicts: 428000 | #Constraints: 51835
666.24/668.30 c #Conflicts: 429000 | #Constraints: 52836
666.24/668.30 c #Conflicts: 430000 | #Constraints: 53838
666.24/668.30 c #Conflicts: 431000 | #Constraints: 54839
666.24/668.30 c #Conflicts: 432000 | #Constraints: 55840
666.24/668.30 c #Conflicts: 433000 | #Constraints: 56842
666.24/668.30 c INPROCESSING
666.24/668.30 c GARBAGE COLLECT
666.24/668.30 c rational objective 7
694.56/696.74 c #Conflicts: 434000 | #Constraints: 44776
694.56/696.74 c #Conflicts: 435000 | #Constraints: 45780
694.56/696.74 c #Conflicts: 436000 | #Constraints: 46785
694.56/696.74 c #Conflicts: 437000 | #Constraints: 47788
694.56/696.74 c #Conflicts: 438000 | #Constraints: 48793
694.56/696.74 c #Conflicts: 439000 | #Constraints: 49796
694.56/696.74 c #Conflicts: 440000 | #Constraints: 50798
694.56/696.74 c #Conflicts: 441000 | #Constraints: 51800
694.56/696.74 c #Conflicts: 442000 | #Constraints: 52801
694.56/696.74 c #Conflicts: 443000 | #Constraints: 53803
694.56/696.74 c #Conflicts: 444000 | #Constraints: 54805
694.56/696.74 c #Conflicts: 445000 | #Constraints: 55806
694.56/696.74 c #Conflicts: 446000 | #Constraints: 56810
694.56/696.74 c INPROCESSING
694.56/696.74 c GARBAGE COLLECT
694.56/696.74 c rational objective 7
715.50/717.77 c #Conflicts: 447000 | #Constraints: 44576
715.50/717.77 c #Conflicts: 448000 | #Constraints: 45577
715.50/717.77 c #Conflicts: 449000 | #Constraints: 46587
715.50/717.77 c #Conflicts: 450000 | #Constraints: 47590
715.50/717.77 c #Conflicts: 451000 | #Constraints: 48592
715.50/717.77 c #Conflicts: 452000 | #Constraints: 49594
715.50/717.77 c #Conflicts: 453000 | #Constraints: 50596
715.50/717.77 c #Conflicts: 454000 | #Constraints: 51599
715.50/717.77 c #Conflicts: 455000 | #Constraints: 52607
715.50/717.77 c #Conflicts: 456000 | #Constraints: 53610
715.50/717.77 c #Conflicts: 457000 | #Constraints: 54616
715.50/717.77 c #Conflicts: 458000 | #Constraints: 55620
715.50/717.77 c #Conflicts: 459000 | #Constraints: 56623
715.50/717.77 c #Conflicts: 460000 | #Constraints: 57627
715.50/717.77 c INPROCESSING
715.50/717.77 c GARBAGE COLLECT
715.50/717.77 c rational objective 7
758.97/761.33 c #Conflicts: 461000 | #Constraints: 45174
758.97/761.33 c #Conflicts: 462000 | #Constraints: 46179
758.97/761.33 c #Conflicts: 463000 | #Constraints: 47182
758.97/761.33 c #Conflicts: 464000 | #Constraints: 48183
758.97/761.33 c #Conflicts: 465000 | #Constraints: 49183
758.97/761.33 c #Conflicts: 466000 | #Constraints: 50184
758.97/761.33 c #Conflicts: 467000 | #Constraints: 51185
758.97/761.33 c #Conflicts: 468000 | #Constraints: 52186
758.97/761.33 c #Conflicts: 469000 | #Constraints: 53187
758.97/761.33 c #Conflicts: 470000 | #Constraints: 54187
758.97/761.33 c #Conflicts: 471000 | #Constraints: 55188
758.97/761.33 c #Conflicts: 472000 | #Constraints: 56188
758.97/761.33 c #Conflicts: 473000 | #Constraints: 57188
758.97/761.33 c #Conflicts: 474000 | #Constraints: 58188
758.97/761.33 c INPROCESSING
758.97/761.33 c GARBAGE COLLECT
758.97/761.33 c rational objective 7
785.81/788.29 c #Conflicts: 475000 | #Constraints: 45558
785.81/788.29 c #Conflicts: 476000 | #Constraints: 46558
785.81/788.29 c #Conflicts: 477000 | #Constraints: 47563
785.81/788.29 c #Conflicts: 478000 | #Constraints: 48564
785.81/788.29 c #Conflicts: 479000 | #Constraints: 49566
785.81/788.29 c #Conflicts: 480000 | #Constraints: 50568
785.81/788.29 c #Conflicts: 481000 | #Constraints: 51571
785.81/788.29 c #Conflicts: 482000 | #Constraints: 52571
785.81/788.29 c #Conflicts: 483000 | #Constraints: 53572
785.81/788.29 c #Conflicts: 484000 | #Constraints: 54573
785.81/788.29 c #Conflicts: 485000 | #Constraints: 55574
785.81/788.29 c #Conflicts: 486000 | #Constraints: 56574
785.81/788.29 c #Conflicts: 487000 | #Constraints: 57575
785.81/788.29 c #Conflicts: 488000 | #Constraints: 58575
785.81/788.29 c INPROCESSING
785.81/788.29 c GARBAGE COLLECT
785.81/788.29 c rational objective 7
824.51/827.08 c #Conflicts: 489000 | #Constraints: 45760
824.51/827.08 c #Conflicts: 490000 | #Constraints: 46762
824.51/827.08 c #Conflicts: 491000 | #Constraints: 47766
824.51/827.08 c #Conflicts: 492000 | #Constraints: 48769
824.51/827.08 c #Conflicts: 493000 | #Constraints: 49772
824.51/827.08 c #Conflicts: 494000 | #Constraints: 50772
824.51/827.08 c #Conflicts: 495000 | #Constraints: 51773
824.51/827.08 c #Conflicts: 496000 | #Constraints: 52776
824.51/827.08 c #Conflicts: 497000 | #Constraints: 53777
824.51/827.08 c #Conflicts: 498000 | #Constraints: 54778
824.51/827.08 c #Conflicts: 499000 | #Constraints: 55778
824.51/827.08 c #Conflicts: 500000 | #Constraints: 56779
824.51/827.08 c #Conflicts: 501000 | #Constraints: 57780
824.51/827.08 c #Conflicts: 502000 | #Constraints: 58780
824.51/827.08 c INPROCESSING
824.51/827.08 c GARBAGE COLLECT
824.51/827.08 c rational objective 7
863.20/865.89 c #Conflicts: 503000 | #Constraints: 45738
863.20/865.89 c #Conflicts: 504000 | #Constraints: 46738
863.20/865.89 c #Conflicts: 505000 | #Constraints: 47740
863.20/865.89 c #Conflicts: 506000 | #Constraints: 48742
863.20/865.89 c #Conflicts: 507000 | #Constraints: 49743
863.20/865.89 c #Conflicts: 508000 | #Constraints: 50745
863.20/865.89 c #Conflicts: 509000 | #Constraints: 51753
863.20/865.89 c #Conflicts: 510000 | #Constraints: 52757
863.20/865.89 c #Conflicts: 511000 | #Constraints: 53762
863.20/865.89 c #Conflicts: 512000 | #Constraints: 54769
863.20/865.89 c #Conflicts: 513000 | #Constraints: 55779
863.20/865.89 c #Conflicts: 514000 | #Constraints: 56780
863.20/865.89 c #Conflicts: 515000 | #Constraints: 57783
863.20/865.89 c #Conflicts: 516000 | #Constraints: 58784
863.20/865.89 c INPROCESSING
863.20/865.89 c GARBAGE COLLECT
863.20/865.89 c rational objective 7
893.62/896.33 c #Conflicts: 517000 | #Constraints: 45533
893.62/896.33 c #Conflicts: 518000 | #Constraints: 46534
893.62/896.33 c #Conflicts: 519000 | #Constraints: 47537
893.62/896.33 c #Conflicts: 520000 | #Constraints: 48544
893.62/896.33 c #Conflicts: 521000 | #Constraints: 49545
893.62/896.33 c #Conflicts: 522000 | #Constraints: 50545
893.62/896.33 c #Conflicts: 523000 | #Constraints: 51545
893.62/896.33 c #Conflicts: 524000 | #Constraints: 52548
893.62/896.33 c #Conflicts: 525000 | #Constraints: 53548
893.62/896.33 c #Conflicts: 526000 | #Constraints: 54549
893.62/896.33 c #Conflicts: 527000 | #Constraints: 55549
893.62/896.33 c #Conflicts: 528000 | #Constraints: 56551
893.62/896.33 c #Conflicts: 529000 | #Constraints: 57553
893.62/896.33 c #Conflicts: 530000 | #Constraints: 58554
893.62/896.33 c #Conflicts: 531000 | #Constraints: 59556
893.62/896.33 c INPROCESSING
893.62/896.33 c GARBAGE COLLECT
893.62/896.33 c rational objective 7
919.95/922.72 c #Conflicts: 532000 | #Constraints: 46143
919.95/922.72 c #Conflicts: 533000 | #Constraints: 47143
919.95/922.72 c #Conflicts: 534000 | #Constraints: 48143
919.95/922.72 c #Conflicts: 535000 | #Constraints: 49144
919.95/922.72 c #Conflicts: 536000 | #Constraints: 50147
919.95/922.72 c #Conflicts: 537000 | #Constraints: 51147
919.95/922.72 c #Conflicts: 538000 | #Constraints: 52148
919.95/922.72 c #Conflicts: 539000 | #Constraints: 53149
919.95/922.72 c #Conflicts: 540000 | #Constraints: 54150
919.95/922.72 c #Conflicts: 541000 | #Constraints: 55152
919.95/922.72 c #Conflicts: 542000 | #Constraints: 56155
919.95/922.72 c #Conflicts: 543000 | #Constraints: 57156
919.95/922.72 c #Conflicts: 544000 | #Constraints: 58159
919.95/922.72 c #Conflicts: 545000 | #Constraints: 59160
919.95/922.72 c #Conflicts: 546000 | #Constraints: 60163
919.95/922.72 c INPROCESSING
919.95/922.72 c GARBAGE COLLECT
919.95/922.72 c rational objective 7
959.85/962.78 c #Conflicts: 547000 | #Constraints: 46516
959.85/962.78 c #Conflicts: 548000 | #Constraints: 47517
959.85/962.78 c #Conflicts: 549000 | #Constraints: 48521
959.85/962.78 c #Conflicts: 550000 | #Constraints: 49522
959.85/962.78 c #Conflicts: 551000 | #Constraints: 50523
959.85/962.78 c #Conflicts: 552000 | #Constraints: 51524
959.85/962.78 c #Conflicts: 553000 | #Constraints: 52527
959.85/962.78 c #Conflicts: 554000 | #Constraints: 53528
959.85/962.78 c #Conflicts: 555000 | #Constraints: 54529
959.85/962.78 c #Conflicts: 556000 | #Constraints: 55530
959.85/962.78 c #Conflicts: 557000 | #Constraints: 56532
959.85/962.78 c #Conflicts: 558000 | #Constraints: 57534
959.85/962.78 c #Conflicts: 559000 | #Constraints: 58536
959.85/962.78 c #Conflicts: 560000 | #Constraints: 59537
959.85/962.78 c #Conflicts: 561000 | #Constraints: 60538
959.85/962.78 c INPROCESSING
959.85/962.78 c GARBAGE COLLECT
959.85/962.78 c rational objective 7
985.58/988.58 c #Conflicts: 562000 | #Constraints: 46690
985.58/988.58 c #Conflicts: 563000 | #Constraints: 47691
985.58/988.58 c #Conflicts: 564000 | #Constraints: 48691
985.58/988.58 c #Conflicts: 565000 | #Constraints: 49692
985.58/988.58 c #Conflicts: 566000 | #Constraints: 50694
985.58/988.58 c #Conflicts: 567000 | #Constraints: 51695
985.58/988.58 c #Conflicts: 568000 | #Constraints: 52696
985.58/988.58 c #Conflicts: 569000 | #Constraints: 53700
985.58/988.58 c #Conflicts: 570000 | #Constraints: 54701
985.58/988.58 c #Conflicts: 571000 | #Constraints: 55702
985.58/988.58 c #Conflicts: 572000 | #Constraints: 56706
985.58/988.58 c #Conflicts: 573000 | #Constraints: 57708
985.58/988.58 c #Conflicts: 574000 | #Constraints: 58712
985.58/988.58 c #Conflicts: 575000 | #Constraints: 59714
985.58/988.58 c #Conflicts: 576000 | #Constraints: 60716
985.58/988.58 c INPROCESSING
985.58/988.58 c GARBAGE COLLECT
985.58/988.58 c rational objective 7
1012.01/1015.05 c #Conflicts: 577000 | #Constraints: 46712
1012.01/1015.05 c #Conflicts: 578000 | #Constraints: 47713
1012.01/1015.05 c #Conflicts: 579000 | #Constraints: 48715
1012.01/1015.05 c #Conflicts: 580000 | #Constraints: 49719
1012.01/1015.05 c #Conflicts: 581000 | #Constraints: 50721
1012.01/1015.05 c #Conflicts: 582000 | #Constraints: 51723
1012.01/1015.05 c #Conflicts: 583000 | #Constraints: 52726
1012.01/1015.05 c #Conflicts: 584000 | #Constraints: 53728
1012.01/1015.05 c #Conflicts: 585000 | #Constraints: 54733
1012.01/1015.05 c #Conflicts: 586000 | #Constraints: 55735
1012.01/1015.05 c #Conflicts: 587000 | #Constraints: 56737
1012.01/1015.05 c #Conflicts: 588000 | #Constraints: 57738
1012.01/1015.05 c #Conflicts: 589000 | #Constraints: 58740
1012.01/1015.05 c #Conflicts: 590000 | #Constraints: 59742
1012.01/1015.05 c #Conflicts: 591000 | #Constraints: 60744
1012.01/1015.05 c INPROCESSING
1012.01/1015.05 c GARBAGE COLLECT
1012.01/1015.05 c rational objective 7
1044.72/1047.83 c #Conflicts: 592000 | #Constraints: 46504
1044.72/1047.83 c #Conflicts: 593000 | #Constraints: 47504
1044.72/1047.83 c #Conflicts: 594000 | #Constraints: 48505
1044.72/1047.83 c #Conflicts: 595000 | #Constraints: 49507
1044.72/1047.83 c #Conflicts: 596000 | #Constraints: 50508
1044.72/1047.83 c #Conflicts: 597000 | #Constraints: 51508
1044.72/1047.83 c #Conflicts: 598000 | #Constraints: 52509
1044.72/1047.83 c #Conflicts: 599000 | #Constraints: 53513
1044.72/1047.83 c #Conflicts: 600000 | #Constraints: 54514
1044.72/1047.83 c #Conflicts: 601000 | #Constraints: 55515
1044.72/1047.83 c #Conflicts: 602000 | #Constraints: 56515
1044.72/1047.83 c #Conflicts: 603000 | #Constraints: 57516
1044.72/1047.83 c #Conflicts: 604000 | #Constraints: 58517
1044.72/1047.83 c #Conflicts: 605000 | #Constraints: 59519
1044.72/1047.83 c #Conflicts: 606000 | #Constraints: 60520
1044.72/1047.83 c #Conflicts: 607000 | #Constraints: 61522
1044.72/1047.83 c INPROCESSING
1044.72/1047.83 c GARBAGE COLLECT
1044.72/1047.83 c rational objective 7
1082.12/1085.34 c #Conflicts: 608000 | #Constraints: 47088
1082.12/1085.34 c #Conflicts: 609000 | #Constraints: 48089
1082.12/1085.34 c #Conflicts: 610000 | #Constraints: 49091
1082.12/1085.34 c #Conflicts: 611000 | #Constraints: 50093
1082.12/1085.34 c #Conflicts: 612000 | #Constraints: 51095
1082.12/1085.34 c #Conflicts: 613000 | #Constraints: 52096
1082.12/1085.34 c #Conflicts: 614000 | #Constraints: 53097
1082.12/1085.34 c #Conflicts: 615000 | #Constraints: 54099
1082.12/1085.34 c #Conflicts: 616000 | #Constraints: 55102
1082.12/1085.34 c #Conflicts: 617000 | #Constraints: 56103
1082.12/1085.34 c #Conflicts: 618000 | #Constraints: 57104
1082.12/1085.34 c #Conflicts: 619000 | #Constraints: 58104
1082.12/1085.34 c #Conflicts: 620000 | #Constraints: 59107
1082.12/1085.34 c #Conflicts: 621000 | #Constraints: 60108
1082.12/1085.34 c #Conflicts: 622000 | #Constraints: 61110
1082.12/1085.34 c #Conflicts: 623000 | #Constraints: 62114
1082.12/1085.34 c INPROCESSING
1082.12/1085.34 c GARBAGE COLLECT
1082.12/1085.34 c rational objective 7
1116.03/1119.32 c #Conflicts: 624000 | #Constraints: 47463
1116.03/1119.32 c #Conflicts: 625000 | #Constraints: 48465
1116.03/1119.32 c #Conflicts: 626000 | #Constraints: 49472
1116.03/1119.32 c #Conflicts: 627000 | #Constraints: 50472
1116.03/1119.32 c #Conflicts: 628000 | #Constraints: 51474
1116.03/1119.32 c #Conflicts: 629000 | #Constraints: 52476
1116.03/1119.32 c #Conflicts: 630000 | #Constraints: 53478
1116.03/1119.32 c #Conflicts: 631000 | #Constraints: 54478
1116.03/1119.32 c #Conflicts: 632000 | #Constraints: 55479
1116.03/1119.32 c #Conflicts: 633000 | #Constraints: 56481
1116.03/1119.32 c #Conflicts: 634000 | #Constraints: 57482
1116.03/1119.32 c #Conflicts: 635000 | #Constraints: 58482
1116.03/1119.32 c #Conflicts: 636000 | #Constraints: 59483
1116.03/1119.32 c #Conflicts: 637000 | #Constraints: 60484
1116.03/1119.32 c #Conflicts: 638000 | #Constraints: 61486
1116.03/1119.32 c #Conflicts: 639000 | #Constraints: 62486
1116.03/1119.32 c INPROCESSING
1116.03/1119.32 c GARBAGE COLLECT
1116.03/1119.32 c rational objective 7
1146.26/1149.66 c #Conflicts: 640000 | #Constraints: 47652
1146.26/1149.66 c #Conflicts: 641000 | #Constraints: 48654
1146.26/1149.66 c #Conflicts: 642000 | #Constraints: 49657
1146.26/1149.66 c #Conflicts: 643000 | #Constraints: 50660
1146.26/1149.66 c #Conflicts: 644000 | #Constraints: 51665
1146.26/1149.66 c #Conflicts: 645000 | #Constraints: 52667
1146.26/1149.66 c #Conflicts: 646000 | #Constraints: 53669
1146.26/1149.66 c #Conflicts: 647000 | #Constraints: 54671
1146.26/1149.66 c #Conflicts: 648000 | #Constraints: 55673
1146.26/1149.66 c #Conflicts: 649000 | #Constraints: 56675
1146.26/1149.66 c #Conflicts: 650000 | #Constraints: 57676
1146.26/1149.66 c #Conflicts: 651000 | #Constraints: 58680
1146.26/1149.66 c #Conflicts: 652000 | #Constraints: 59683
1146.26/1149.66 c #Conflicts: 653000 | #Constraints: 60687
1146.26/1149.66 c #Conflicts: 654000 | #Constraints: 61688
1146.26/1149.66 c #Conflicts: 655000 | #Constraints: 62690
1146.26/1149.66 c INPROCESSING
1146.26/1149.66 c GARBAGE COLLECT
1146.26/1149.66 c rational objective 7
1188.25/1191.78 c #Conflicts: 656000 | #Constraints: 47671
1188.25/1191.78 c #Conflicts: 657000 | #Constraints: 48671
1188.25/1191.78 c #Conflicts: 658000 | #Constraints: 49672
1188.25/1191.78 c #Conflicts: 659000 | #Constraints: 50673
1188.25/1191.78 c #Conflicts: 660000 | #Constraints: 51674
1188.25/1191.78 c #Conflicts: 661000 | #Constraints: 52676
1188.25/1191.78 c #Conflicts: 662000 | #Constraints: 53677
1188.25/1191.78 c #Conflicts: 663000 | #Constraints: 54681
1188.25/1191.78 c #Conflicts: 664000 | #Constraints: 55684
1188.25/1191.78 c #Conflicts: 665000 | #Constraints: 56686
1188.25/1191.78 c #Conflicts: 666000 | #Constraints: 57687
1188.25/1191.78 c #Conflicts: 667000 | #Constraints: 58688
1188.25/1191.78 c #Conflicts: 668000 | #Constraints: 59688
1188.25/1191.78 c #Conflicts: 669000 | #Constraints: 60689
1188.25/1191.78 c #Conflicts: 670000 | #Constraints: 61690
1188.25/1191.78 c #Conflicts: 671000 | #Constraints: 62692
1188.25/1191.78 c INPROCESSING
1188.25/1191.78 c GARBAGE COLLECT
1188.25/1191.78 c rational objective 7
1227.74/1231.38 c #Conflicts: 672000 | #Constraints: 47457
1227.74/1231.38 c #Conflicts: 673000 | #Constraints: 48458
1227.74/1231.38 c #Conflicts: 674000 | #Constraints: 49459
1227.74/1231.38 c #Conflicts: 675000 | #Constraints: 50461
1227.74/1231.38 c #Conflicts: 676000 | #Constraints: 51462
1227.74/1231.38 c #Conflicts: 677000 | #Constraints: 52463
1227.74/1231.38 c #Conflicts: 678000 | #Constraints: 53463
1227.74/1231.38 c #Conflicts: 679000 | #Constraints: 54464
1227.74/1231.38 c #Conflicts: 680000 | #Constraints: 55465
1227.74/1231.38 c #Conflicts: 681000 | #Constraints: 56467
1227.74/1231.38 c #Conflicts: 682000 | #Constraints: 57467
1227.74/1231.38 c #Conflicts: 683000 | #Constraints: 58468
1227.74/1231.38 c #Conflicts: 684000 | #Constraints: 59469
1227.74/1231.38 c #Conflicts: 685000 | #Constraints: 60469
1227.74/1231.38 c #Conflicts: 686000 | #Constraints: 61470
1227.74/1231.38 c #Conflicts: 687000 | #Constraints: 62470
1227.74/1231.38 c #Conflicts: 688000 | #Constraints: 63471
1227.74/1231.38 c INPROCESSING
1227.74/1231.38 c GARBAGE COLLECT
1227.74/1231.38 c rational objective 7
1258.65/1262.30 c #Conflicts: 689000 | #Constraints: 48045
1258.65/1262.30 c #Conflicts: 690000 | #Constraints: 49045
1258.65/1262.30 c #Conflicts: 691000 | #Constraints: 50047
1258.65/1262.30 c #Conflicts: 692000 | #Constraints: 51047
1258.65/1262.30 c #Conflicts: 693000 | #Constraints: 52049
1258.65/1262.30 c #Conflicts: 694000 | #Constraints: 53054
1258.65/1262.30 c #Conflicts: 695000 | #Constraints: 54057
1258.65/1262.30 c #Conflicts: 696000 | #Constraints: 55059
1258.65/1262.30 c #Conflicts: 697000 | #Constraints: 56061
1258.65/1262.30 c #Conflicts: 698000 | #Constraints: 57065
1258.65/1262.30 c #Conflicts: 699000 | #Constraints: 58067
1258.65/1262.30 c #Conflicts: 700000 | #Constraints: 59068
1258.65/1262.30 c #Conflicts: 701000 | #Constraints: 60068
1258.65/1262.30 c #Conflicts: 702000 | #Constraints: 61069
1258.65/1262.30 c #Conflicts: 703000 | #Constraints: 62069
1258.65/1262.30 c #Conflicts: 704000 | #Constraints: 63070
1258.65/1262.30 c #Conflicts: 705000 | #Constraints: 64072
1258.65/1262.30 c INPROCESSING
1258.65/1262.30 c GARBAGE COLLECT
1258.65/1262.30 c rational objective 7
1306.22/1310.06 c #Conflicts: 706000 | #Constraints: 48450
1306.22/1310.06 c #Conflicts: 707000 | #Constraints: 49451
1306.22/1310.06 c #Conflicts: 708000 | #Constraints: 50455
1306.22/1310.06 c #Conflicts: 709000 | #Constraints: 51457
1306.22/1310.06 c #Conflicts: 710000 | #Constraints: 52460
1306.22/1310.06 c #Conflicts: 711000 | #Constraints: 53461
1306.22/1310.06 c #Conflicts: 712000 | #Constraints: 54462
1306.22/1310.06 c #Conflicts: 713000 | #Constraints: 55463
1306.22/1310.06 c #Conflicts: 714000 | #Constraints: 56463
1306.22/1310.06 c #Conflicts: 715000 | #Constraints: 57464
1306.22/1310.06 c #Conflicts: 716000 | #Constraints: 58464
1306.22/1310.06 c #Conflicts: 717000 | #Constraints: 59465
1306.22/1310.06 c #Conflicts: 718000 | #Constraints: 60465
1306.22/1310.06 c #Conflicts: 719000 | #Constraints: 61466
1306.22/1310.06 c #Conflicts: 720000 | #Constraints: 62466
1306.22/1310.06 c #Conflicts: 721000 | #Constraints: 63467
1306.22/1310.06 c #Conflicts: 722000 | #Constraints: 64467
1306.22/1310.06 c INPROCESSING
1306.22/1310.06 c GARBAGE COLLECT
1306.22/1310.06 c rational objective 7
1357.07/1361.05 c #Conflicts: 723000 | #Constraints: 48635
1357.07/1361.05 c #Conflicts: 724000 | #Constraints: 49636
1357.07/1361.05 c #Conflicts: 725000 | #Constraints: 50639
1357.07/1361.05 c #Conflicts: 726000 | #Constraints: 51644
1357.07/1361.05 c #Conflicts: 727000 | #Constraints: 52646
1357.07/1361.05 c #Conflicts: 728000 | #Constraints: 53646
1357.07/1361.05 c #Conflicts: 729000 | #Constraints: 54647
1357.07/1361.05 c #Conflicts: 730000 | #Constraints: 55647
1357.07/1361.05 c #Conflicts: 731000 | #Constraints: 56647
1357.07/1361.05 c #Conflicts: 732000 | #Constraints: 57648
1357.07/1361.05 c #Conflicts: 733000 | #Constraints: 58648
1357.07/1361.05 c #Conflicts: 734000 | #Constraints: 59648
1357.07/1361.05 c #Conflicts: 735000 | #Constraints: 60648
1357.07/1361.05 c #Conflicts: 736000 | #Constraints: 61649
1357.07/1361.05 c #Conflicts: 737000 | #Constraints: 62649
1357.07/1361.05 c #Conflicts: 738000 | #Constraints: 63649
1357.07/1361.05 c #Conflicts: 739000 | #Constraints: 64649
1357.07/1361.05 c INPROCESSING
1357.07/1361.05 c GARBAGE COLLECT
1357.07/1361.05 c rational objective 7
1394.67/1398.78 c #Conflicts: 740000 | #Constraints: 48648
1394.67/1398.78 c #Conflicts: 741000 | #Constraints: 49649
1394.67/1398.78 c #Conflicts: 742000 | #Constraints: 50650
1394.67/1398.78 c #Conflicts: 743000 | #Constraints: 51654
1394.67/1398.78 c #Conflicts: 744000 | #Constraints: 52655
1394.67/1398.78 c #Conflicts: 745000 | #Constraints: 53656
1394.67/1398.78 c #Conflicts: 746000 | #Constraints: 54658
1394.67/1398.78 c #Conflicts: 747000 | #Constraints: 55660
1394.67/1398.78 c #Conflicts: 748000 | #Constraints: 56661
1394.67/1398.78 c #Conflicts: 749000 | #Constraints: 57665
1394.67/1398.78 c #Conflicts: 750000 | #Constraints: 58668
1394.67/1398.78 c #Conflicts: 751000 | #Constraints: 59670
1394.67/1398.78 c #Conflicts: 752000 | #Constraints: 60671
1394.67/1398.78 c #Conflicts: 753000 | #Constraints: 61672
1394.67/1398.78 c #Conflicts: 754000 | #Constraints: 62675
1394.67/1398.78 c #Conflicts: 755000 | #Constraints: 63677
1394.67/1398.78 c #Conflicts: 756000 | #Constraints: 64679
1394.67/1398.78 c INPROCESSING
1394.67/1398.78 c GARBAGE COLLECT
1394.67/1398.78 c rational objective 7
1433.46/1437.64 c #Conflicts: 757000 | #Constraints: 48435
1433.46/1437.64 c #Conflicts: 758000 | #Constraints: 49435
1433.46/1437.64 c #Conflicts: 759000 | #Constraints: 50436
1433.46/1437.64 c #Conflicts: 760000 | #Constraints: 51439
1433.46/1437.64 c #Conflicts: 761000 | #Constraints: 52441
1433.46/1437.64 c #Conflicts: 762000 | #Constraints: 53443
1433.46/1437.64 c #Conflicts: 763000 | #Constraints: 54446
1433.46/1437.64 c #Conflicts: 764000 | #Constraints: 55447
1433.46/1437.64 c #Conflicts: 765000 | #Constraints: 56451
1433.46/1437.64 c #Conflicts: 766000 | #Constraints: 57454
1433.46/1437.64 c #Conflicts: 767000 | #Constraints: 58456
1433.46/1437.64 c #Conflicts: 768000 | #Constraints: 59456
1433.46/1437.64 c #Conflicts: 769000 | #Constraints: 60458
1433.46/1437.64 c #Conflicts: 770000 | #Constraints: 61460
1433.46/1437.64 c #Conflicts: 771000 | #Constraints: 62463
1433.46/1437.64 c #Conflicts: 772000 | #Constraints: 63464
1433.46/1437.64 c #Conflicts: 773000 | #Constraints: 64466
1433.46/1437.64 c #Conflicts: 774000 | #Constraints: 65467
1433.46/1437.64 c INPROCESSING
1433.46/1437.64 c GARBAGE COLLECT
1433.46/1437.64 c rational objective 7
1471.87/1476.16 c #Conflicts: 775000 | #Constraints: 49031
1471.87/1476.16 c #Conflicts: 776000 | #Constraints: 50031
1471.87/1476.16 c #Conflicts: 777000 | #Constraints: 51033
1471.87/1476.16 c #Conflicts: 778000 | #Constraints: 52035
1471.87/1476.16 c #Conflicts: 779000 | #Constraints: 53039
1471.87/1476.16 c #Conflicts: 780000 | #Constraints: 54045
1471.87/1476.16 c #Conflicts: 781000 | #Constraints: 55047
1471.87/1476.16 c #Conflicts: 782000 | #Constraints: 56048
1471.87/1476.16 c #Conflicts: 783000 | #Constraints: 57051
1471.87/1476.16 c #Conflicts: 784000 | #Constraints: 58052
1471.87/1476.16 c #Conflicts: 785000 | #Constraints: 59055
1471.87/1476.16 c #Conflicts: 786000 | #Constraints: 60056
1471.87/1476.16 c #Conflicts: 787000 | #Constraints: 61058
1471.87/1476.16 c #Conflicts: 788000 | #Constraints: 62063
1471.87/1476.16 c #Conflicts: 789000 | #Constraints: 63072
1471.87/1476.16 c #Conflicts: 790000 | #Constraints: 64074
1471.87/1476.16 c #Conflicts: 791000 | #Constraints: 65078
1471.87/1476.16 c #Conflicts: 792000 | #Constraints: 66081
1471.87/1476.16 c INPROCESSING
1471.87/1476.16 c GARBAGE COLLECT
1471.87/1476.16 c rational objective 7
1508.27/1512.63 c #Conflicts: 793000 | #Constraints: 49447
1508.27/1512.63 c #Conflicts: 794000 | #Constraints: 50449
1508.27/1512.63 c #Conflicts: 795000 | #Constraints: 51455
1508.27/1512.63 c #Conflicts: 796000 | #Constraints: 52457
1508.27/1512.63 c #Conflicts: 797000 | #Constraints: 53459
1508.27/1512.63 c #Conflicts: 798000 | #Constraints: 54462
1508.27/1512.63 c #Conflicts: 799000 | #Constraints: 55463
1508.27/1512.63 c #Conflicts: 800000 | #Constraints: 56465
1508.27/1512.63 c #Conflicts: 801000 | #Constraints: 57470
1508.27/1512.63 c #Conflicts: 802000 | #Constraints: 58473
1508.27/1512.63 c #Conflicts: 803000 | #Constraints: 59474
1508.27/1512.63 c #Conflicts: 804000 | #Constraints: 60476
1508.27/1512.63 c #Conflicts: 805000 | #Constraints: 61480
1508.27/1512.63 c #Conflicts: 806000 | #Constraints: 62481
1508.27/1512.63 c #Conflicts: 807000 | #Constraints: 63482
1508.27/1512.63 c #Conflicts: 808000 | #Constraints: 64483
1508.27/1512.63 c #Conflicts: 809000 | #Constraints: 65484
1508.27/1512.63 c #Conflicts: 810000 | #Constraints: 66486
1508.27/1512.63 c INPROCESSING
1508.27/1512.63 c GARBAGE COLLECT
1508.27/1512.63 c rational objective 7
1552.45/1556.97 c #Conflicts: 811000 | #Constraints: 49667
1552.45/1556.97 c #Conflicts: 812000 | #Constraints: 50668
1552.45/1556.97 c #Conflicts: 813000 | #Constraints: 51671
1552.45/1556.97 c #Conflicts: 814000 | #Constraints: 52674
1552.45/1556.97 c #Conflicts: 815000 | #Constraints: 53675
1552.45/1556.97 c #Conflicts: 816000 | #Constraints: 54675
1552.45/1556.97 c #Conflicts: 817000 | #Constraints: 55675
1552.45/1556.97 c #Conflicts: 818000 | #Constraints: 56676
1552.45/1556.97 c #Conflicts: 819000 | #Constraints: 57677
1552.45/1556.97 c #Conflicts: 820000 | #Constraints: 58681
1552.45/1556.97 c #Conflicts: 821000 | #Constraints: 59685
1552.45/1556.97 c #Conflicts: 822000 | #Constraints: 60688
1552.45/1556.97 c #Conflicts: 823000 | #Constraints: 61691
1552.45/1556.97 c #Conflicts: 824000 | #Constraints: 62693
1552.45/1556.97 c #Conflicts: 825000 | #Constraints: 63694
1552.45/1556.97 c #Conflicts: 826000 | #Constraints: 64695
1552.45/1556.97 c #Conflicts: 827000 | #Constraints: 65695
1552.45/1556.97 c #Conflicts: 828000 | #Constraints: 66696
1552.45/1556.97 c INPROCESSING
1552.45/1556.97 c GARBAGE COLLECT
1552.45/1556.97 c rational objective 7
1597.44/1602.01 c #Conflicts: 829000 | #Constraints: 49678
1597.44/1602.01 c #Conflicts: 830000 | #Constraints: 50678
1597.44/1602.01 c #Conflicts: 831000 | #Constraints: 51682
1597.44/1602.01 c #Conflicts: 832000 | #Constraints: 52684
1597.44/1602.01 c #Conflicts: 833000 | #Constraints: 53691
1597.44/1602.01 c #Conflicts: 834000 | #Constraints: 54692
1597.44/1602.01 c #Conflicts: 835000 | #Constraints: 55693
1597.44/1602.01 c #Conflicts: 836000 | #Constraints: 56694
1597.44/1602.01 c #Conflicts: 837000 | #Constraints: 57696
1597.44/1602.01 c #Conflicts: 838000 | #Constraints: 58700
1597.44/1602.01 c #Conflicts: 839000 | #Constraints: 59702
1597.44/1602.01 c #Conflicts: 840000 | #Constraints: 60711
1597.44/1602.01 c #Conflicts: 841000 | #Constraints: 61719
1597.44/1602.01 c #Conflicts: 842000 | #Constraints: 62725
1597.44/1602.01 c #Conflicts: 843000 | #Constraints: 63733
1597.44/1602.01 c #Conflicts: 844000 | #Constraints: 64736
1597.44/1602.01 c #Conflicts: 845000 | #Constraints: 65743
1597.44/1602.01 c #Conflicts: 846000 | #Constraints: 66747
1597.44/1602.01 c INPROCESSING
1597.44/1602.01 c GARBAGE COLLECT
1597.44/1602.01 c rational objective 7
1633.04/1637.73 c #Conflicts: 847000 | #Constraints: 49437
1633.04/1637.73 c #Conflicts: 848000 | #Constraints: 50437
1633.04/1637.73 c #Conflicts: 849000 | #Constraints: 51439
1633.04/1637.73 c #Conflicts: 850000 | #Constraints: 52443
1633.04/1637.73 c #Conflicts: 851000 | #Constraints: 53445
1633.04/1637.73 c #Conflicts: 852000 | #Constraints: 54449
1633.04/1637.73 c #Conflicts: 853000 | #Constraints: 55456
1633.04/1637.73 c #Conflicts: 854000 | #Constraints: 56458
1633.04/1637.73 c #Conflicts: 855000 | #Constraints: 57459
1633.04/1637.73 c #Conflicts: 856000 | #Constraints: 58461
1633.04/1637.73 c #Conflicts: 857000 | #Constraints: 59463
1633.04/1637.73 c #Conflicts: 858000 | #Constraints: 60464
1633.04/1637.73 c #Conflicts: 859000 | #Constraints: 61465
1633.04/1637.73 c #Conflicts: 860000 | #Constraints: 62467
1633.04/1637.73 c #Conflicts: 861000 | #Constraints: 63473
1633.04/1637.73 c #Conflicts: 862000 | #Constraints: 64479
1633.04/1637.73 c #Conflicts: 863000 | #Constraints: 65482
1633.04/1637.73 c #Conflicts: 864000 | #Constraints: 66485
1633.04/1637.73 c #Conflicts: 865000 | #Constraints: 67487
1633.04/1637.73 c INPROCESSING
1633.04/1637.73 c GARBAGE COLLECT
1633.04/1637.73 c rational objective 7
1666.74/1671.53 c #Conflicts: 866000 | #Constraints: 50030
1666.74/1671.53 c #Conflicts: 867000 | #Constraints: 51030
1666.74/1671.53 c #Conflicts: 868000 | #Constraints: 52032
1666.74/1671.53 c #Conflicts: 869000 | #Constraints: 53033
1666.74/1671.53 c #Conflicts: 870000 | #Constraints: 54036
1666.74/1671.53 c #Conflicts: 871000 | #Constraints: 55038
1666.74/1671.53 c #Conflicts: 872000 | #Constraints: 56041
1666.74/1671.53 c #Conflicts: 873000 | #Constraints: 57044
1666.74/1671.53 c #Conflicts: 874000 | #Constraints: 58046
1666.74/1671.53 c #Conflicts: 875000 | #Constraints: 59049
1666.74/1671.53 c #Conflicts: 876000 | #Constraints: 60054
1666.74/1671.53 c #Conflicts: 877000 | #Constraints: 61060
1666.74/1671.53 c #Conflicts: 878000 | #Constraints: 62064
1666.74/1671.53 c #Conflicts: 879000 | #Constraints: 63067
1666.74/1671.53 c #Conflicts: 880000 | #Constraints: 64072
1666.74/1671.53 c #Conflicts: 881000 | #Constraints: 65074
1666.74/1671.53 c #Conflicts: 882000 | #Constraints: 66075
1666.74/1671.53 c #Conflicts: 883000 | #Constraints: 67077
1666.74/1671.53 c #Conflicts: 884000 | #Constraints: 68079
1666.74/1671.53 c INPROCESSING
1666.74/1671.53 c GARBAGE COLLECT
1666.74/1671.53 c rational objective 7
1739.85/1744.89 c #Conflicts: 885000 | #Constraints: 50436
1739.85/1744.89 c #Conflicts: 886000 | #Constraints: 51437
1739.85/1744.89 c #Conflicts: 887000 | #Constraints: 52440
1739.85/1744.89 c #Conflicts: 888000 | #Constraints: 53442
1739.85/1744.89 c #Conflicts: 889000 | #Constraints: 54444
1739.85/1744.89 c #Conflicts: 890000 | #Constraints: 55445
1739.85/1744.89 c #Conflicts: 891000 | #Constraints: 56447
1739.85/1744.89 c #Conflicts: 892000 | #Constraints: 57450
1739.85/1744.89 c #Conflicts: 893000 | #Constraints: 58455
1739.85/1744.89 c #Conflicts: 894000 | #Constraints: 59457
1739.85/1744.89 c #Conflicts: 895000 | #Constraints: 60458
1739.85/1744.89 c #Conflicts: 896000 | #Constraints: 61459
1739.85/1744.89 c #Conflicts: 897000 | #Constraints: 62461
1739.85/1744.89 c #Conflicts: 898000 | #Constraints: 63462
1739.85/1744.89 c #Conflicts: 899000 | #Constraints: 64463
1739.85/1744.89 c #Conflicts: 900000 | #Constraints: 65464
1739.85/1744.89 c #Conflicts: 901000 | #Constraints: 66467
1739.85/1744.89 c #Conflicts: 902000 | #Constraints: 67468
1739.85/1744.89 c #Conflicts: 903000 | #Constraints: 68469
1739.85/1744.89 c INPROCESSING
1739.85/1744.89 c GARBAGE COLLECT
1739.85/1744.89 c rational objective 7
1779.15/1784.27 c #Conflicts: 904000 | #Constraints: 50638
1779.15/1784.27 c #Conflicts: 905000 | #Constraints: 51641
1779.15/1784.27 c #Conflicts: 906000 | #Constraints: 52644
1779.15/1784.27 c #Conflicts: 907000 | #Constraints: 53645
1779.15/1784.27 c #Conflicts: 908000 | #Constraints: 54645
1779.15/1784.27 c #Conflicts: 909000 | #Constraints: 55645
1779.15/1784.27 c #Conflicts: 910000 | #Constraints: 56646
1779.15/1784.27 c #Conflicts: 911000 | #Constraints: 57648
1779.15/1784.27 c #Conflicts: 912000 | #Constraints: 58648
1779.15/1784.27 c #Conflicts: 913000 | #Constraints: 59649
1779.15/1784.27 c #Conflicts: 914000 | #Constraints: 60649
1779.15/1784.27 c #Conflicts: 915000 | #Constraints: 61650
1779.15/1784.27 c #Conflicts: 916000 | #Constraints: 62651
1779.15/1784.27 c #Conflicts: 917000 | #Constraints: 63652
1779.15/1784.27 c #Conflicts: 918000 | #Constraints: 64653
1779.15/1784.27 c #Conflicts: 919000 | #Constraints: 65655
1779.15/1784.27 c #Conflicts: 920000 | #Constraints: 66656
1779.15/1784.27 c #Conflicts: 921000 | #Constraints: 67657
1779.15/1784.27 c #Conflicts: 922000 | #Constraints: 68658
1779.15/1784.27 c INPROCESSING
1779.15/1784.27 c GARBAGE COLLECT
1779.15/1784.27 c rational objective 7
1823.13/1828.37 c #Conflicts: 923000 | #Constraints: 50624
1823.13/1828.37 c #Conflicts: 924000 | #Constraints: 51624
1823.13/1828.37 c #Conflicts: 925000 | #Constraints: 52627
1823.13/1828.37 c #Conflicts: 926000 | #Constraints: 53638
1823.13/1828.37 c #Conflicts: 927000 | #Constraints: 54640
1823.13/1828.37 c #Conflicts: 928000 | #Constraints: 55642
1823.13/1828.37 c #Conflicts: 929000 | #Constraints: 56643
1823.13/1828.37 c #Conflicts: 930000 | #Constraints: 57644
1823.13/1828.37 c #Conflicts: 931000 | #Constraints: 58647
1823.13/1828.37 c #Conflicts: 932000 | #Constraints: 59650
1823.13/1828.37 c #Conflicts: 933000 | #Constraints: 60657
1823.13/1828.37 c #Conflicts: 934000 | #Constraints: 61664
1823.13/1828.37 c #Conflicts: 935000 | #Constraints: 62668
1823.13/1828.37 c #Conflicts: 936000 | #Constraints: 63676
1823.13/1828.37 c #Conflicts: 937000 | #Constraints: 64681
1823.13/1828.37 c #Conflicts: 938000 | #Constraints: 65684
1823.13/1828.37 c #Conflicts: 939000 | #Constraints: 66687
1823.13/1828.37 c #Conflicts: 940000 | #Constraints: 67688
1823.13/1828.37 c #Conflicts: 941000 | #Constraints: 68689
1823.13/1828.37 c INPROCESSING
1823.13/1828.37 c GARBAGE COLLECT
1823.13/1828.37 c rational objective 7
1858.34/1863.66 c #Conflicts: 942000 | #Constraints: 50447
1858.34/1863.66 c #Conflicts: 943000 | #Constraints: 51447
1858.34/1863.66 c #Conflicts: 944000 | #Constraints: 52448
1858.34/1863.66 c #Conflicts: 945000 | #Constraints: 53449
1858.34/1863.66 c #Conflicts: 946000 | #Constraints: 54451
1858.34/1863.66 c #Conflicts: 947000 | #Constraints: 55452
1858.34/1863.66 c #Conflicts: 948000 | #Constraints: 56455
1858.34/1863.66 c #Conflicts: 949000 | #Constraints: 57456
1858.34/1863.66 c #Conflicts: 950000 | #Constraints: 58459
1858.34/1863.66 c #Conflicts: 951000 | #Constraints: 59466
1858.34/1863.66 c #Conflicts: 952000 | #Constraints: 60468
1858.34/1863.66 c #Conflicts: 953000 | #Constraints: 61472
1858.34/1863.66 c #Conflicts: 954000 | #Constraints: 62478
1858.34/1863.66 c #Conflicts: 955000 | #Constraints: 63480
1858.34/1863.66 c #Conflicts: 956000 | #Constraints: 64482
1858.34/1863.66 c #Conflicts: 957000 | #Constraints: 65486
1858.34/1863.66 c #Conflicts: 958000 | #Constraints: 66488
1858.34/1863.66 c #Conflicts: 959000 | #Constraints: 67492
1858.34/1863.66 c #Conflicts: 960000 | #Constraints: 68494
1858.34/1863.66 c #Conflicts: 961000 | #Constraints: 69497
1858.34/1863.66 c INPROCESSING
1858.34/1863.66 c GARBAGE COLLECT
1858.34/1863.66 c rational objective 7
1894.65/1900.04 c #Conflicts: 962000 | #Constraints: 51075
1894.65/1900.04 c #Conflicts: 963000 | #Constraints: 52077
1894.65/1900.04 c #Conflicts: 964000 | #Constraints: 53079
1894.65/1900.04 c #Conflicts: 965000 | #Constraints: 54082
1894.65/1900.04 c #Conflicts: 966000 | #Constraints: 55083
1894.65/1900.04 c #Conflicts: 967000 | #Constraints: 56084
1894.65/1900.04 c #Conflicts: 968000 | #Constraints: 57087
1894.65/1900.04 c #Conflicts: 969000 | #Constraints: 58090
1894.65/1900.04 c #Conflicts: 970000 | #Constraints: 59092
1894.65/1900.04 c #Conflicts: 971000 | #Constraints: 60095
1894.65/1900.04 c #Conflicts: 972000 | #Constraints: 61096
1894.65/1900.04 c #Conflicts: 973000 | #Constraints: 62097
1894.65/1900.04 c #Conflicts: 974000 | #Constraints: 63099
1894.65/1900.04 c #Conflicts: 975000 | #Constraints: 64100
1894.65/1900.04 c #Conflicts: 976000 | #Constraints: 65101
1894.65/1900.04 c #Conflicts: 977000 | #Constraints: 66102
1894.65/1900.04 c #Conflicts: 978000 | #Constraints: 67104
1894.65/1900.04 c #Conflicts: 979000 | #Constraints: 68105
1894.65/1900.04 c #Conflicts: 980000 | #Constraints: 69105
1894.65/1900.04 c #Conflicts: 981000 | #Constraints: 70107
1894.65/1900.04 c INPROCESSING
1894.65/1900.04 c GARBAGE COLLECT
1894.65/1900.04 c rational objective 7
1985.39/1991.09 c #Conflicts: 982000 | #Constraints: 51462
1985.39/1991.09 c #Conflicts: 983000 | #Constraints: 52466
1985.39/1991.09 c #Conflicts: 984000 | #Constraints: 53472
1985.39/1991.09 c #Conflicts: 985000 | #Constraints: 54475
1985.39/1991.09 c #Conflicts: 986000 | #Constraints: 55479
1985.39/1991.09 c #Conflicts: 987000 | #Constraints: 56483
1985.39/1991.09 c #Conflicts: 988000 | #Constraints: 57485
1985.39/1991.09 c #Conflicts: 989000 | #Constraints: 58485
1985.39/1991.09 c #Conflicts: 990000 | #Constraints: 59487
1985.39/1991.09 c #Conflicts: 991000 | #Constraints: 60489
1985.39/1991.09 c #Conflicts: 992000 | #Constraints: 61491
1985.39/1991.09 c #Conflicts: 993000 | #Constraints: 62491
1985.39/1991.09 c #Conflicts: 994000 | #Constraints: 63491
1985.39/1991.09 c #Conflicts: 995000 | #Constraints: 64492
1985.39/1991.09 c #Conflicts: 996000 | #Constraints: 65494
1985.39/1991.09 c #Conflicts: 997000 | #Constraints: 66495
1985.39/1991.09 c #Conflicts: 998000 | #Constraints: 67496
1985.39/1991.09 c #Conflicts: 999000 | #Constraints: 68496
1985.39/1991.09 c #Conflicts: 1000000 | #Constraints: 69497
1985.39/1991.09 c #Conflicts: 1001000 | #Constraints: 70498
1985.39/1991.09 c INPROCESSING
1985.39/1991.09 c GARBAGE COLLECT
1985.39/1991.09 c rational objective 7
2050.22/2056.08 c #Conflicts: 1002000 | #Constraints: 51661
2050.22/2056.08 c #Conflicts: 1003000 | #Constraints: 52662
2050.22/2056.08 c #Conflicts: 1004000 | #Constraints: 53665
2050.22/2056.08 c #Conflicts: 1005000 | #Constraints: 54666
2050.22/2056.08 c #Conflicts: 1006000 | #Constraints: 55669
2050.22/2056.08 c #Conflicts: 1007000 | #Constraints: 56670
2050.22/2056.08 c #Conflicts: 1008000 | #Constraints: 57670
2050.22/2056.08 c #Conflicts: 1009000 | #Constraints: 58672
2050.22/2056.08 c #Conflicts: 1010000 | #Constraints: 59673
2050.22/2056.08 c #Conflicts: 1011000 | #Constraints: 60674
2050.22/2056.08 c #Conflicts: 1012000 | #Constraints: 61676
2050.22/2056.08 c #Conflicts: 1013000 | #Constraints: 62676
2050.22/2056.08 c #Conflicts: 1014000 | #Constraints: 63678
2050.22/2056.08 c #Conflicts: 1015000 | #Constraints: 64679
2050.22/2056.08 c #Conflicts: 1016000 | #Constraints: 65679
2050.22/2056.08 c #Conflicts: 1017000 | #Constraints: 66680
2050.22/2056.08 c #Conflicts: 1018000 | #Constraints: 67681
2050.22/2056.08 c #Conflicts: 1019000 | #Constraints: 68682
2050.22/2056.08 c #Conflicts: 1020000 | #Constraints: 69682
2050.22/2056.08 c #Conflicts: 1021000 | #Constraints: 70682
2050.22/2056.08 c INPROCESSING
2050.22/2056.08 c GARBAGE COLLECT
2050.22/2056.08 c rational objective 7
2096.89/2102.88 c #Conflicts: 1022000 | #Constraints: 51646
2096.89/2102.88 c #Conflicts: 1023000 | #Constraints: 52646
2096.89/2102.88 c #Conflicts: 1024000 | #Constraints: 53647
2096.89/2102.88 c #Conflicts: 1025000 | #Constraints: 54647
2096.89/2102.88 c #Conflicts: 1026000 | #Constraints: 55647
2096.89/2102.88 c #Conflicts: 1027000 | #Constraints: 56648
2096.89/2102.88 c #Conflicts: 1028000 | #Constraints: 57648
2096.89/2102.88 c #Conflicts: 1029000 | #Constraints: 58648
2096.89/2102.88 c #Conflicts: 1030000 | #Constraints: 59649
2096.89/2102.88 c #Conflicts: 1031000 | #Constraints: 60651
2096.89/2102.88 c #Conflicts: 1032000 | #Constraints: 61651
2096.89/2102.88 c #Conflicts: 1033000 | #Constraints: 62654
2096.89/2102.88 c #Conflicts: 1034000 | #Constraints: 63656
2096.89/2102.88 c #Conflicts: 1035000 | #Constraints: 64657
2096.89/2102.88 c #Conflicts: 1036000 | #Constraints: 65657
2096.89/2102.88 c #Conflicts: 1037000 | #Constraints: 66658
2096.89/2102.88 c #Conflicts: 1038000 | #Constraints: 67659
2096.89/2102.88 c #Conflicts: 1039000 | #Constraints: 68659
2096.89/2102.88 c #Conflicts: 1040000 | #Constraints: 69660
2096.89/2102.88 c #Conflicts: 1041000 | #Constraints: 70660
2096.89/2102.88 c INPROCESSING
2096.89/2102.88 c GARBAGE COLLECT
2096.89/2102.88 c rational objective 7
2165.71/2171.85 c #Conflicts: 1042000 | #Constraints: 51438
2165.71/2171.85 c #Conflicts: 1043000 | #Constraints: 52438
2165.71/2171.85 c #Conflicts: 1044000 | #Constraints: 53438
2165.71/2171.85 c #Conflicts: 1045000 | #Constraints: 54439
2165.71/2171.85 c #Conflicts: 1046000 | #Constraints: 55439
2165.71/2171.85 c #Conflicts: 1047000 | #Constraints: 56442
2165.71/2171.85 c #Conflicts: 1048000 | #Constraints: 57442
2165.71/2171.85 c #Conflicts: 1049000 | #Constraints: 58444
2165.71/2171.85 c #Conflicts: 1050000 | #Constraints: 59444
2165.71/2171.85 c #Conflicts: 1051000 | #Constraints: 60445
2165.71/2171.85 c #Conflicts: 1052000 | #Constraints: 61445
2165.71/2171.85 c #Conflicts: 1053000 | #Constraints: 62446
2165.71/2171.85 c #Conflicts: 1054000 | #Constraints: 63446
2165.71/2171.85 c #Conflicts: 1055000 | #Constraints: 64446
2165.71/2171.85 c #Conflicts: 1056000 | #Constraints: 65447
2165.71/2171.85 c #Conflicts: 1057000 | #Constraints: 66448
2165.71/2171.85 c #Conflicts: 1058000 | #Constraints: 67448
2165.71/2171.85 c #Conflicts: 1059000 | #Constraints: 68449
2165.71/2171.85 c #Conflicts: 1060000 | #Constraints: 69449
2165.71/2171.85 c #Conflicts: 1061000 | #Constraints: 70450
2165.71/2171.85 c #Conflicts: 1062000 | #Constraints: 71451
2165.71/2171.85 c INPROCESSING
2165.71/2171.85 c GARBAGE COLLECT
2165.71/2171.85 c rational objective 7
2281.79/2288.23 c #Conflicts: 1063000 | #Constraints: 52030
2281.79/2288.23 c #Conflicts: 1064000 | #Constraints: 53033
2281.79/2288.23 c #Conflicts: 1065000 | #Constraints: 54034
2281.79/2288.23 c #Conflicts: 1066000 | #Constraints: 55035
2281.79/2288.23 c #Conflicts: 1067000 | #Constraints: 56036
2281.79/2288.23 c #Conflicts: 1068000 | #Constraints: 57036
2281.79/2288.23 c #Conflicts: 1069000 | #Constraints: 58037
2281.79/2288.23 c #Conflicts: 1070000 | #Constraints: 59038
2281.79/2288.23 c #Conflicts: 1071000 | #Constraints: 60039
2281.79/2288.23 c #Conflicts: 1072000 | #Constraints: 61039
2281.79/2288.23 c #Conflicts: 1073000 | #Constraints: 62041
2281.79/2288.23 c #Conflicts: 1074000 | #Constraints: 63042
2281.79/2288.23 c #Conflicts: 1075000 | #Constraints: 64042
2281.79/2288.23 c #Conflicts: 1076000 | #Constraints: 65043
2281.79/2288.23 c #Conflicts: 1077000 | #Constraints: 66044
2281.79/2288.23 c #Conflicts: 1078000 | #Constraints: 67044
2281.79/2288.23 c #Conflicts: 1079000 | #Constraints: 68045
2281.79/2288.23 c #Conflicts: 1080000 | #Constraints: 69046
2281.79/2288.23 c #Conflicts: 1081000 | #Constraints: 70046
2281.79/2288.23 c #Conflicts: 1082000 | #Constraints: 71047
2281.79/2288.23 c #Conflicts: 1083000 | #Constraints: 72047
2281.79/2288.23 c INPROCESSING
2281.79/2288.23 c GARBAGE COLLECT
2281.79/2288.23 c rational objective 7
2389.81/2396.57 c #Conflicts: 1084000 | #Constraints: 52433
2389.81/2396.57 c #Conflicts: 1085000 | #Constraints: 53434
2389.81/2396.57 c #Conflicts: 1086000 | #Constraints: 54434
2389.81/2396.57 c #Conflicts: 1087000 | #Constraints: 55438
2389.81/2396.57 c #Conflicts: 1088000 | #Constraints: 56439
2389.81/2396.57 c #Conflicts: 1089000 | #Constraints: 57440
2389.81/2396.57 c #Conflicts: 1090000 | #Constraints: 58440
2389.81/2396.57 c #Conflicts: 1091000 | #Constraints: 59441
2389.81/2396.57 c #Conflicts: 1092000 | #Constraints: 60441
2389.81/2396.57 c #Conflicts: 1093000 | #Constraints: 61442
2389.81/2396.57 c #Conflicts: 1094000 | #Constraints: 62443
2389.81/2396.57 c #Conflicts: 1095000 | #Constraints: 63444
2389.81/2396.57 c #Conflicts: 1096000 | #Constraints: 64445
2389.81/2396.57 c #Conflicts: 1097000 | #Constraints: 65446
2389.81/2396.57 c #Conflicts: 1098000 | #Constraints: 66447
2389.81/2396.57 c #Conflicts: 1099000 | #Constraints: 67449
2389.81/2396.57 c #Conflicts: 1100000 | #Constraints: 68449
2389.81/2396.57 c #Conflicts: 1101000 | #Constraints: 69450
2389.81/2396.57 c #Conflicts: 1102000 | #Constraints: 70451
2389.81/2396.57 c #Conflicts: 1103000 | #Constraints: 71451
2389.81/2396.57 c #Conflicts: 1104000 | #Constraints: 72452
2389.81/2396.57 c INPROCESSING
2389.81/2396.57 c GARBAGE COLLECT
2389.81/2396.57 c rational objective 7
2459.13/2466.08 c #Conflicts: 1105000 | #Constraints: 52678
2459.13/2466.08 c #Conflicts: 1106000 | #Constraints: 53680
2459.13/2466.08 c #Conflicts: 1107000 | #Constraints: 54682
2459.13/2466.08 c #Conflicts: 1108000 | #Constraints: 55683
2459.13/2466.08 c #Conflicts: 1109000 | #Constraints: 56684
2459.13/2466.08 c #Conflicts: 1110000 | #Constraints: 57686
2459.13/2466.08 c #Conflicts: 1111000 | #Constraints: 58686
2459.13/2466.08 c #Conflicts: 1112000 | #Constraints: 59687
2459.13/2466.08 c #Conflicts: 1113000 | #Constraints: 60687
2459.13/2466.08 c #Conflicts: 1114000 | #Constraints: 61688
2459.13/2466.08 c #Conflicts: 1115000 | #Constraints: 62688
2459.13/2466.08 c #Conflicts: 1116000 | #Constraints: 63688
2459.13/2466.08 c #Conflicts: 1117000 | #Constraints: 64691
2459.13/2466.08 c #Conflicts: 1118000 | #Constraints: 65691
2459.13/2466.08 c #Conflicts: 1119000 | #Constraints: 66691
2459.13/2466.08 c #Conflicts: 1120000 | #Constraints: 67691
2459.13/2466.08 c #Conflicts: 1121000 | #Constraints: 68691
2459.13/2466.08 c #Conflicts: 1122000 | #Constraints: 69691
2459.13/2466.08 c #Conflicts: 1123000 | #Constraints: 70691
2459.13/2466.08 c #Conflicts: 1124000 | #Constraints: 71691
2459.13/2466.08 c #Conflicts: 1125000 | #Constraints: 72691
2459.13/2466.08 c INPROCESSING
2459.13/2466.08 c GARBAGE COLLECT
2459.13/2466.08 c rational objective 7
2510.99/2518.10 c #Conflicts: 1126000 | #Constraints: 52642
2510.99/2518.10 c #Conflicts: 1127000 | #Constraints: 53642
2510.99/2518.10 c #Conflicts: 1128000 | #Constraints: 54642
2510.99/2518.10 c #Conflicts: 1129000 | #Constraints: 55642
2510.99/2518.10 c #Conflicts: 1130000 | #Constraints: 56642
2510.99/2518.10 c #Conflicts: 1131000 | #Constraints: 57644
2510.99/2518.10 c #Conflicts: 1132000 | #Constraints: 58650
2510.99/2518.10 c #Conflicts: 1133000 | #Constraints: 59653
2510.99/2518.10 c #Conflicts: 1134000 | #Constraints: 60662
2510.99/2518.10 c #Conflicts: 1135000 | #Constraints: 61664
2510.99/2518.10 c #Conflicts: 1136000 | #Constraints: 62665
2510.99/2518.10 c #Conflicts: 1137000 | #Constraints: 63670
2510.99/2518.10 c #Conflicts: 1138000 | #Constraints: 64672
2510.99/2518.10 c #Conflicts: 1139000 | #Constraints: 65674
2510.99/2518.10 c #Conflicts: 1140000 | #Constraints: 66675
2510.99/2518.10 c #Conflicts: 1141000 | #Constraints: 67676
2510.99/2518.10 c #Conflicts: 1142000 | #Constraints: 68678
2510.99/2518.10 c #Conflicts: 1143000 | #Constraints: 69679
2510.99/2518.10 c #Conflicts: 1144000 | #Constraints: 70683
2510.99/2518.10 c #Conflicts: 1145000 | #Constraints: 71684
2510.99/2518.10 c #Conflicts: 1146000 | #Constraints: 72684
2510.99/2518.10 c INPROCESSING
2510.99/2518.10 c GARBAGE COLLECT
2510.99/2518.10 c rational objective 7
2550.99/2558.12 c #Conflicts: 1147000 | #Constraints: 52429
2550.99/2558.12 c #Conflicts: 1148000 | #Constraints: 53430
2550.99/2558.12 c #Conflicts: 1149000 | #Constraints: 54431
2550.99/2558.12 c #Conflicts: 1150000 | #Constraints: 55433
2550.99/2558.12 c #Conflicts: 1151000 | #Constraints: 56434
2550.99/2558.12 c #Conflicts: 1152000 | #Constraints: 57435
2550.99/2558.12 c #Conflicts: 1153000 | #Constraints: 58435
2550.99/2558.12 c #Conflicts: 1154000 | #Constraints: 59435
2550.99/2558.12 c #Conflicts: 1155000 | #Constraints: 60436
2550.99/2558.12 c #Conflicts: 1156000 | #Constraints: 61437
2550.99/2558.12 c #Conflicts: 1157000 | #Constraints: 62438
2550.99/2558.12 c #Conflicts: 1158000 | #Constraints: 63440
2550.99/2558.12 c #Conflicts: 1159000 | #Constraints: 64441
2550.99/2558.12 c #Conflicts: 1160000 | #Constraints: 65441
2550.99/2558.12 c #Conflicts: 1161000 | #Constraints: 66441
2550.99/2558.12 c #Conflicts: 1162000 | #Constraints: 67441
2550.99/2558.12 c #Conflicts: 1163000 | #Constraints: 68441
2550.99/2558.12 c #Conflicts: 1164000 | #Constraints: 69442
2550.99/2558.12 c #Conflicts: 1165000 | #Constraints: 70442
2550.99/2558.12 c #Conflicts: 1166000 | #Constraints: 71442
2550.99/2558.12 c #Conflicts: 1167000 | #Constraints: 72442
2550.99/2558.12 c #Conflicts: 1168000 | #Constraints: 73443
2550.99/2558.12 c INPROCESSING
2550.99/2558.12 c GARBAGE COLLECT
2550.99/2558.12 c rational objective 7
2591.37/2598.61 c #Conflicts: 1169000 | #Constraints: 53011
2591.37/2598.61 c #Conflicts: 1170000 | #Constraints: 54011
2591.37/2598.61 c #Conflicts: 1171000 | #Constraints: 55011
2591.37/2598.61 c #Conflicts: 1172000 | #Constraints: 56011
2591.37/2598.61 c #Conflicts: 1173000 | #Constraints: 57011
2591.37/2598.61 c #Conflicts: 1174000 | #Constraints: 58011
2591.37/2598.61 c #Conflicts: 1175000 | #Constraints: 59012
2591.37/2598.61 c #Conflicts: 1176000 | #Constraints: 60012
2591.37/2598.61 c #Conflicts: 1177000 | #Constraints: 61012
2591.37/2598.61 c #Conflicts: 1178000 | #Constraints: 62012
2591.37/2598.61 c #Conflicts: 1179000 | #Constraints: 63013
2591.37/2598.61 c #Conflicts: 1180000 | #Constraints: 64013
2591.37/2598.61 c #Conflicts: 1181000 | #Constraints: 65013
2591.37/2598.61 c #Conflicts: 1182000 | #Constraints: 66013
2591.37/2598.61 c #Conflicts: 1183000 | #Constraints: 67014
2591.37/2598.61 c #Conflicts: 1184000 | #Constraints: 68014
2591.37/2598.61 c #Conflicts: 1185000 | #Constraints: 69016
2591.37/2598.61 c #Conflicts: 1186000 | #Constraints: 70016
2591.37/2598.61 c #Conflicts: 1187000 | #Constraints: 71017
2591.37/2598.61 c #Conflicts: 1188000 | #Constraints: 72017
2591.37/2598.61 c #Conflicts: 1189000 | #Constraints: 73018
2591.37/2598.61 c #Conflicts: 1190000 | #Constraints: 74018
2591.37/2598.61 c INPROCESSING
2591.37/2598.61 c GARBAGE COLLECT
2591.37/2598.61 c rational objective 7
2642.43/2649.83 c #Conflicts: 1191000 | #Constraints: 53413
2642.43/2649.83 c #Conflicts: 1192000 | #Constraints: 54414
2642.43/2649.83 c #Conflicts: 1193000 | #Constraints: 55416
2642.43/2649.83 c #Conflicts: 1194000 | #Constraints: 56418
2642.43/2649.83 c #Conflicts: 1195000 | #Constraints: 57422
2642.43/2649.83 c #Conflicts: 1196000 | #Constraints: 58423
2642.43/2649.83 c #Conflicts: 1197000 | #Constraints: 59424
2642.43/2649.83 c #Conflicts: 1198000 | #Constraints: 60425
2642.43/2649.83 c #Conflicts: 1199000 | #Constraints: 61426
2642.43/2649.83 c #Conflicts: 1200000 | #Constraints: 62426
2642.43/2649.83 c #Conflicts: 1201000 | #Constraints: 63426
2642.43/2649.83 c #Conflicts: 1202000 | #Constraints: 64427
2642.43/2649.83 c #Conflicts: 1203000 | #Constraints: 65428
2642.43/2649.83 c #Conflicts: 1204000 | #Constraints: 66429
2642.43/2649.83 c #Conflicts: 1205000 | #Constraints: 67432
2642.43/2649.83 c #Conflicts: 1206000 | #Constraints: 68435
2642.43/2649.83 c #Conflicts: 1207000 | #Constraints: 69436
2642.43/2649.83 c #Conflicts: 1208000 | #Constraints: 70437
2642.43/2649.83 c #Conflicts: 1209000 | #Constraints: 71438
2642.43/2649.83 c #Conflicts: 1210000 | #Constraints: 72439
2642.43/2649.83 c #Conflicts: 1211000 | #Constraints: 73440
2642.43/2649.83 c #Conflicts: 1212000 | #Constraints: 74443
2642.43/2649.83 c INPROCESSING
2642.43/2649.83 c GARBAGE COLLECT
2642.43/2649.83 c rational objective 7
2734.76/2742.45 c #Conflicts: 1213000 | #Constraints: 53608
2734.76/2742.45 c #Conflicts: 1214000 | #Constraints: 54609
2734.76/2742.45 c #Conflicts: 1215000 | #Constraints: 55611
2734.76/2742.45 c #Conflicts: 1216000 | #Constraints: 56614
2734.76/2742.45 c #Conflicts: 1217000 | #Constraints: 57618
2734.76/2742.45 c #Conflicts: 1218000 | #Constraints: 58627
2734.76/2742.45 c #Conflicts: 1219000 | #Constraints: 59630
2734.76/2742.45 c #Conflicts: 1220000 | #Constraints: 60631
2734.76/2742.45 c #Conflicts: 1221000 | #Constraints: 61631
2734.76/2742.45 c #Conflicts: 1222000 | #Constraints: 62634
2734.76/2742.45 c #Conflicts: 1223000 | #Constraints: 63634
2734.76/2742.45 c #Conflicts: 1224000 | #Constraints: 64635
2734.76/2742.45 c #Conflicts: 1225000 | #Constraints: 65637
2734.76/2742.45 c #Conflicts: 1226000 | #Constraints: 66638
2734.76/2742.45 c #Conflicts: 1227000 | #Constraints: 67638
2734.76/2742.45 c #Conflicts: 1228000 | #Constraints: 68639
2734.76/2742.45 c #Conflicts: 1229000 | #Constraints: 69640
2734.76/2742.45 c #Conflicts: 1230000 | #Constraints: 70640
2734.76/2742.45 c #Conflicts: 1231000 | #Constraints: 71641
2734.76/2742.45 c #Conflicts: 1232000 | #Constraints: 72641
2734.76/2742.45 c #Conflicts: 1233000 | #Constraints: 73641
2734.76/2742.45 c #Conflicts: 1234000 | #Constraints: 74641
2734.76/2742.45 c INPROCESSING
2734.76/2742.45 c GARBAGE COLLECT
2734.76/2742.45 c rational objective 7
2795.10/2803.00 c #Conflicts: 1235000 | #Constraints: 53602
2795.10/2803.00 c #Conflicts: 1236000 | #Constraints: 54603
2795.10/2803.00 c #Conflicts: 1237000 | #Constraints: 55606
2795.10/2803.00 c #Conflicts: 1238000 | #Constraints: 56610
2795.10/2803.00 c #Conflicts: 1239000 | #Constraints: 57613
2795.10/2803.00 c #Conflicts: 1240000 | #Constraints: 58616
2795.10/2803.00 c #Conflicts: 1241000 | #Constraints: 59620
2795.10/2803.00 c #Conflicts: 1242000 | #Constraints: 60624
2795.10/2803.00 c #Conflicts: 1243000 | #Constraints: 61626
2795.10/2803.00 c #Conflicts: 1244000 | #Constraints: 62628
2795.10/2803.00 c #Conflicts: 1245000 | #Constraints: 63629
2795.10/2803.00 c #Conflicts: 1246000 | #Constraints: 64631
2795.10/2803.00 c #Conflicts: 1247000 | #Constraints: 65634
2795.10/2803.00 c #Conflicts: 1248000 | #Constraints: 66637
2795.10/2803.00 c #Conflicts: 1249000 | #Constraints: 67642
2795.10/2803.00 c #Conflicts: 1250000 | #Constraints: 68644
2795.10/2803.00 c #Conflicts: 1251000 | #Constraints: 69646
2795.10/2803.00 c #Conflicts: 1252000 | #Constraints: 70648
2795.10/2803.00 c #Conflicts: 1253000 | #Constraints: 71649
2795.10/2803.00 c #Conflicts: 1254000 | #Constraints: 72649
2795.10/2803.00 c #Conflicts: 1255000 | #Constraints: 73651
2795.10/2803.00 c #Conflicts: 1256000 | #Constraints: 74651
2795.10/2803.00 c INPROCESSING
2795.10/2803.00 c GARBAGE COLLECT
2795.10/2803.00 c rational objective 7
2836.38/2844.31 c #Conflicts: 1257000 | #Constraints: 53427
2836.38/2844.31 c #Conflicts: 1258000 | #Constraints: 54428
2836.38/2844.31 c #Conflicts: 1259000 | #Constraints: 55432
2836.38/2844.31 c #Conflicts: 1260000 | #Constraints: 56435
2836.38/2844.31 c #Conflicts: 1261000 | #Constraints: 57438
2836.38/2844.31 c #Conflicts: 1262000 | #Constraints: 58439
2836.38/2844.31 c #Conflicts: 1263000 | #Constraints: 59445
2836.38/2844.31 c #Conflicts: 1264000 | #Constraints: 60445
2836.38/2844.31 c #Conflicts: 1265000 | #Constraints: 61447
2836.38/2844.31 c #Conflicts: 1266000 | #Constraints: 62448
2836.38/2844.31 c #Conflicts: 1267000 | #Constraints: 63450
2836.38/2844.31 c #Conflicts: 1268000 | #Constraints: 64450
2836.38/2844.31 c #Conflicts: 1269000 | #Constraints: 65453
2836.38/2844.31 c #Conflicts: 1270000 | #Constraints: 66457
2836.38/2844.31 c #Conflicts: 1271000 | #Constraints: 67459
2836.38/2844.31 c #Conflicts: 1272000 | #Constraints: 68459
2836.38/2844.31 c #Conflicts: 1273000 | #Constraints: 69459
2836.38/2844.31 c #Conflicts: 1274000 | #Constraints: 70459
2836.38/2844.31 c #Conflicts: 1275000 | #Constraints: 71459
2836.38/2844.31 c #Conflicts: 1276000 | #Constraints: 72461
2836.38/2844.31 c #Conflicts: 1277000 | #Constraints: 73462
2836.38/2844.31 c #Conflicts: 1278000 | #Constraints: 74462
2836.38/2844.31 c #Conflicts: 1279000 | #Constraints: 75463
2836.38/2844.31 c INPROCESSING
2836.38/2844.31 c GARBAGE COLLECT
2836.38/2844.31 c rational objective 7
2897.51/2905.67 c #Conflicts: 1280000 | #Constraints: 54031
2897.51/2905.67 c #Conflicts: 1281000 | #Constraints: 55031
2897.51/2905.67 c #Conflicts: 1282000 | #Constraints: 56033
2897.51/2905.67 c #Conflicts: 1283000 | #Constraints: 57049
2897.51/2905.67 c #Conflicts: 1284000 | #Constraints: 58052
2897.51/2905.67 c #Conflicts: 1285000 | #Constraints: 59054
2897.51/2905.67 c #Conflicts: 1286000 | #Constraints: 60057
2897.51/2905.67 c #Conflicts: 1287000 | #Constraints: 61060
2897.51/2905.67 c #Conflicts: 1288000 | #Constraints: 62061
2897.51/2905.67 c #Conflicts: 1289000 | #Constraints: 63063
2897.51/2905.67 c #Conflicts: 1290000 | #Constraints: 64066
2897.51/2905.67 c #Conflicts: 1291000 | #Constraints: 65067
2897.51/2905.67 c #Conflicts: 1292000 | #Constraints: 66067
2897.51/2905.67 c #Conflicts: 1293000 | #Constraints: 67069
2897.51/2905.67 c #Conflicts: 1294000 | #Constraints: 68070
2897.51/2905.67 c #Conflicts: 1295000 | #Constraints: 69071
2897.51/2905.67 c #Conflicts: 1296000 | #Constraints: 70072
2897.51/2905.67 c #Conflicts: 1297000 | #Constraints: 71073
2897.51/2905.67 c #Conflicts: 1298000 | #Constraints: 72073
2897.51/2905.67 c #Conflicts: 1299000 | #Constraints: 73074
2897.51/2905.67 c #Conflicts: 1300000 | #Constraints: 74074
2897.51/2905.67 c #Conflicts: 1301000 | #Constraints: 75075
2897.51/2905.67 c #Conflicts: 1302000 | #Constraints: 76076
2897.51/2905.67 c INPROCESSING
2897.51/2905.67 c GARBAGE COLLECT
2897.51/2905.67 c rational objective 7
2953.27/2961.57 c #Conflicts: 1303000 | #Constraints: 54441
2953.27/2961.57 c #Conflicts: 1304000 | #Constraints: 55441
2953.27/2961.57 c #Conflicts: 1305000 | #Constraints: 56443
2953.27/2961.57 c #Conflicts: 1306000 | #Constraints: 57447
2953.27/2961.57 c #Conflicts: 1307000 | #Constraints: 58450
2953.27/2961.57 c #Conflicts: 1308000 | #Constraints: 59452
2953.27/2961.57 c #Conflicts: 1309000 | #Constraints: 60454
2953.27/2961.57 c #Conflicts: 1310000 | #Constraints: 61456
2953.27/2961.57 c #Conflicts: 1311000 | #Constraints: 62457
2953.27/2961.57 c #Conflicts: 1312000 | #Constraints: 63459
2953.27/2961.57 c #Conflicts: 1313000 | #Constraints: 64461
2953.27/2961.57 c #Conflicts: 1314000 | #Constraints: 65462
2953.27/2961.57 c #Conflicts: 1315000 | #Constraints: 66463
2953.27/2961.57 c #Conflicts: 1316000 | #Constraints: 67464
2953.27/2961.57 c #Conflicts: 1317000 | #Constraints: 68465
2953.27/2961.57 c #Conflicts: 1318000 | #Constraints: 69465
2953.27/2961.57 c #Conflicts: 1319000 | #Constraints: 70466
2953.27/2961.57 c #Conflicts: 1320000 | #Constraints: 71467
2953.27/2961.57 c #Conflicts: 1321000 | #Constraints: 72468
2953.27/2961.57 c #Conflicts: 1322000 | #Constraints: 73469
2953.27/2961.57 c #Conflicts: 1323000 | #Constraints: 74469
2953.27/2961.57 c #Conflicts: 1324000 | #Constraints: 75470
2953.27/2961.57 c #Conflicts: 1325000 | #Constraints: 76471
2953.27/2961.57 c INPROCESSING
2953.27/2961.57 c GARBAGE COLLECT
2953.27/2961.57 c rational objective 7
3039.04/3047.55 c #Conflicts: 1326000 | #Constraints: 54632
3039.04/3047.55 c #Conflicts: 1327000 | #Constraints: 55633
3039.04/3047.55 c #Conflicts: 1328000 | #Constraints: 56635
3039.04/3047.55 c #Conflicts: 1329000 | #Constraints: 57637
3039.04/3047.55 c #Conflicts: 1330000 | #Constraints: 58638
3039.04/3047.55 c #Conflicts: 1331000 | #Constraints: 59639
3039.04/3047.55 c #Conflicts: 1332000 | #Constraints: 60640
3039.04/3047.55 c #Conflicts: 1333000 | #Constraints: 61642
3039.04/3047.55 c #Conflicts: 1334000 | #Constraints: 62643
3039.04/3047.55 c #Conflicts: 1335000 | #Constraints: 63644
3039.04/3047.55 c #Conflicts: 1336000 | #Constraints: 64646
3039.04/3047.55 c #Conflicts: 1337000 | #Constraints: 65648
3039.04/3047.55 c #Conflicts: 1338000 | #Constraints: 66649
3039.04/3047.55 c #Conflicts: 1339000 | #Constraints: 67651
3039.04/3047.55 c #Conflicts: 1340000 | #Constraints: 68652
3039.04/3047.55 c #Conflicts: 1341000 | #Constraints: 69654
3039.04/3047.55 c #Conflicts: 1342000 | #Constraints: 70656
3039.04/3047.55 c #Conflicts: 1343000 | #Constraints: 71658
3039.04/3047.55 c #Conflicts: 1344000 | #Constraints: 72661
3039.04/3047.55 c #Conflicts: 1345000 | #Constraints: 73661
3039.04/3047.55 c #Conflicts: 1346000 | #Constraints: 74662
3039.04/3047.55 c #Conflicts: 1347000 | #Constraints: 75663
3039.04/3047.55 c #Conflicts: 1348000 | #Constraints: 76663
3039.04/3047.55 c INPROCESSING
3039.04/3047.55 c GARBAGE COLLECT
3039.04/3047.55 c rational objective 7
3102.17/3110.88 c #Conflicts: 1349000 | #Constraints: 54677
3102.17/3110.88 c #Conflicts: 1350000 | #Constraints: 55678
3102.17/3110.88 c #Conflicts: 1351000 | #Constraints: 56680
3102.17/3110.88 c #Conflicts: 1352000 | #Constraints: 57682
3102.17/3110.88 c #Conflicts: 1353000 | #Constraints: 58683
3102.17/3110.88 c #Conflicts: 1354000 | #Constraints: 59684
3102.17/3110.88 c #Conflicts: 1355000 | #Constraints: 60685
3102.17/3110.88 c #Conflicts: 1356000 | #Constraints: 61686
3102.17/3110.88 c #Conflicts: 1357000 | #Constraints: 62687
3102.17/3110.88 c #Conflicts: 1358000 | #Constraints: 63687
3102.17/3110.88 c #Conflicts: 1359000 | #Constraints: 64688
3102.17/3110.88 c #Conflicts: 1360000 | #Constraints: 65689
3102.17/3110.88 c #Conflicts: 1361000 | #Constraints: 66690
3102.17/3110.88 c #Conflicts: 1362000 | #Constraints: 67691
3102.17/3110.88 c #Conflicts: 1363000 | #Constraints: 68692
3102.17/3110.88 c #Conflicts: 1364000 | #Constraints: 69694
3102.17/3110.88 c #Conflicts: 1365000 | #Constraints: 70695
3102.17/3110.88 c #Conflicts: 1366000 | #Constraints: 71696
3102.17/3110.88 c #Conflicts: 1367000 | #Constraints: 72696
3102.17/3110.88 c #Conflicts: 1368000 | #Constraints: 73697
3102.17/3110.88 c #Conflicts: 1369000 | #Constraints: 74698
3102.17/3110.88 c #Conflicts: 1370000 | #Constraints: 75698
3102.17/3110.88 c #Conflicts: 1371000 | #Constraints: 76699
3102.17/3110.88 c INPROCESSING
3102.17/3110.88 c GARBAGE COLLECT
3102.17/3110.88 c rational objective 7
3152.44/3161.22 c #Conflicts: 1372000 | #Constraints: 54418
3152.44/3161.22 c #Conflicts: 1373000 | #Constraints: 55419
3152.44/3161.22 c #Conflicts: 1374000 | #Constraints: 56419
3152.44/3161.22 c #Conflicts: 1375000 | #Constraints: 57420
3152.44/3161.22 c #Conflicts: 1376000 | #Constraints: 58423
3152.44/3161.22 c #Conflicts: 1377000 | #Constraints: 59424
3152.44/3161.22 c #Conflicts: 1378000 | #Constraints: 60425
3152.44/3161.22 c #Conflicts: 1379000 | #Constraints: 61426
3152.44/3161.22 c #Conflicts: 1380000 | #Constraints: 62427
3152.44/3161.22 c #Conflicts: 1381000 | #Constraints: 63428
3152.44/3161.22 c #Conflicts: 1382000 | #Constraints: 64429
3152.44/3161.22 c #Conflicts: 1383000 | #Constraints: 65429
3152.44/3161.22 c #Conflicts: 1384000 | #Constraints: 66430
3152.44/3161.22 c #Conflicts: 1385000 | #Constraints: 67430
3152.44/3161.22 c #Conflicts: 1386000 | #Constraints: 68431
3152.44/3161.22 c #Conflicts: 1387000 | #Constraints: 69432
3152.44/3161.22 c #Conflicts: 1388000 | #Constraints: 70432
3152.44/3161.22 c #Conflicts: 1389000 | #Constraints: 71433
3152.44/3161.22 c #Conflicts: 1390000 | #Constraints: 72433
3152.44/3161.22 c #Conflicts: 1391000 | #Constraints: 73434
3152.44/3161.22 c #Conflicts: 1392000 | #Constraints: 74436
3152.44/3161.22 c #Conflicts: 1393000 | #Constraints: 75437
3152.44/3161.22 c #Conflicts: 1394000 | #Constraints: 76438
3152.44/3161.22 c #Conflicts: 1395000 | #Constraints: 77439
3152.44/3161.22 c INPROCESSING
3152.44/3161.22 c GARBAGE COLLECT
3152.44/3161.22 c rational objective 7
3228.14/3237.12 c #Conflicts: 1396000 | #Constraints: 55050
3228.14/3237.12 c #Conflicts: 1397000 | #Constraints: 56053
3228.14/3237.12 c #Conflicts: 1398000 | #Constraints: 57056
3228.14/3237.12 c #Conflicts: 1399000 | #Constraints: 58060
3228.14/3237.12 c #Conflicts: 1400000 | #Constraints: 59062
3228.14/3237.12 c #Conflicts: 1401000 | #Constraints: 60066
3228.14/3237.12 c #Conflicts: 1402000 | #Constraints: 61068
3228.14/3237.12 c #Conflicts: 1403000 | #Constraints: 62069
3228.14/3237.12 c #Conflicts: 1404000 | #Constraints: 63070
3228.14/3237.12 c #Conflicts: 1405000 | #Constraints: 64072
3228.14/3237.12 c #Conflicts: 1406000 | #Constraints: 65073
3228.14/3237.12 c #Conflicts: 1407000 | #Constraints: 66078
3228.14/3237.12 c #Conflicts: 1408000 | #Constraints: 67080
3228.14/3237.12 c #Conflicts: 1409000 | #Constraints: 68081
3228.14/3237.12 c #Conflicts: 1410000 | #Constraints: 69082
3228.14/3237.12 c #Conflicts: 1411000 | #Constraints: 70088
3228.14/3237.12 c #Conflicts: 1412000 | #Constraints: 71091
3228.14/3237.12 c #Conflicts: 1413000 | #Constraints: 72093
3228.14/3237.12 c #Conflicts: 1414000 | #Constraints: 73096
3228.14/3237.12 c #Conflicts: 1415000 | #Constraints: 74096
3228.14/3237.12 c #Conflicts: 1416000 | #Constraints: 75097
3228.14/3237.12 c #Conflicts: 1417000 | #Constraints: 76098
3228.14/3237.12 c #Conflicts: 1418000 | #Constraints: 77099
3228.14/3237.12 c #Conflicts: 1419000 | #Constraints: 78099
3228.14/3237.12 c INPROCESSING
3228.14/3237.12 c GARBAGE COLLECT
3228.14/3237.12 c rational objective 7
3298.54/3307.71 c #Conflicts: 1420000 | #Constraints: 55480
3298.54/3307.71 c #Conflicts: 1421000 | #Constraints: 56481
3298.54/3307.71 c #Conflicts: 1422000 | #Constraints: 57483
3298.54/3307.71 c #Conflicts: 1423000 | #Constraints: 58485
3298.54/3307.71 c #Conflicts: 1424000 | #Constraints: 59488
3298.54/3307.71 c #Conflicts: 1425000 | #Constraints: 60494
3298.54/3307.71 c #Conflicts: 1426000 | #Constraints: 61497
3298.54/3307.71 c #Conflicts: 1427000 | #Constraints: 62504
3298.54/3307.71 c #Conflicts: 1428000 | #Constraints: 63509
3298.54/3307.71 c #Conflicts: 1429000 | #Constraints: 64511
3298.54/3307.71 c #Conflicts: 1430000 | #Constraints: 65514
3298.54/3307.71 c #Conflicts: 1431000 | #Constraints: 66516
3298.54/3307.71 c #Conflicts: 1432000 | #Constraints: 67517
3298.54/3307.71 c #Conflicts: 1433000 | #Constraints: 68520
3298.54/3307.71 c #Conflicts: 1434000 | #Constraints: 69529
3298.54/3307.71 c #Conflicts: 1435000 | #Constraints: 70531
3298.54/3307.71 c #Conflicts: 1436000 | #Constraints: 71533
3298.54/3307.71 c #Conflicts: 1437000 | #Constraints: 72535
3298.54/3307.71 c #Conflicts: 1438000 | #Constraints: 73537
3298.54/3307.71 c #Conflicts: 1439000 | #Constraints: 74538
3298.54/3307.71 c #Conflicts: 1440000 | #Constraints: 75538
3298.54/3307.71 c #Conflicts: 1441000 | #Constraints: 76539
3298.54/3307.71 c #Conflicts: 1442000 | #Constraints: 77540
3298.54/3307.71 c #Conflicts: 1443000 | #Constraints: 78541
3298.54/3307.71 c INPROCESSING
3298.54/3307.71 c GARBAGE COLLECT
3298.54/3307.71 c rational objective 7
3365.86/3375.24 c #Conflicts: 1444000 | #Constraints: 55674
3365.86/3375.24 c #Conflicts: 1445000 | #Constraints: 56674
3365.86/3375.24 c #Conflicts: 1446000 | #Constraints: 57679
3365.86/3375.24 c #Conflicts: 1447000 | #Constraints: 58689
3365.86/3375.24 c #Conflicts: 1448000 | #Constraints: 59701
3365.86/3375.24 c #Conflicts: 1449000 | #Constraints: 60712
3365.86/3375.24 c #Conflicts: 1450000 | #Constraints: 61726
3365.86/3375.24 c #Conflicts: 1451000 | #Constraints: 62734
3365.86/3375.24 c #Conflicts: 1452000 | #Constraints: 63755
3365.86/3375.24 c #Conflicts: 1453000 | #Constraints: 64756
3365.86/3375.24 c #Conflicts: 1454000 | #Constraints: 65756
3365.86/3375.24 c #Conflicts: 1455000 | #Constraints: 66757
3365.86/3375.24 c #Conflicts: 1456000 | #Constraints: 67758
3365.86/3375.24 c #Conflicts: 1457000 | #Constraints: 68758
3365.86/3375.24 c #Conflicts: 1458000 | #Constraints: 69758
3365.86/3375.24 c #Conflicts: 1459000 | #Constraints: 70759
3365.86/3375.24 c #Conflicts: 1460000 | #Constraints: 71762
3365.86/3375.24 c #Conflicts: 1461000 | #Constraints: 72762
3365.86/3375.24 c #Conflicts: 1462000 | #Constraints: 73764
3365.86/3375.24 c #Conflicts: 1463000 | #Constraints: 74766
3365.86/3375.24 c #Conflicts: 1464000 | #Constraints: 75766
3365.86/3375.24 c #Conflicts: 1465000 | #Constraints: 76770
3365.86/3375.24 c #Conflicts: 1466000 | #Constraints: 77771
3365.86/3375.24 c #Conflicts: 1467000 | #Constraints: 78772
3365.86/3375.24 c INPROCESSING
3365.86/3375.24 c GARBAGE COLLECT
3365.86/3375.24 c rational objective 7
3420.52/3430.01 c #Conflicts: 1468000 | #Constraints: 55689
3420.52/3430.01 c #Conflicts: 1469000 | #Constraints: 56690
3420.52/3430.01 c #Conflicts: 1470000 | #Constraints: 57690
3420.52/3430.01 c #Conflicts: 1471000 | #Constraints: 58691
3420.52/3430.01 c #Conflicts: 1472000 | #Constraints: 59695
3420.52/3430.01 c #Conflicts: 1473000 | #Constraints: 60697
3420.52/3430.01 c #Conflicts: 1474000 | #Constraints: 61698
3420.52/3430.01 c #Conflicts: 1475000 | #Constraints: 62699
3420.52/3430.01 c #Conflicts: 1476000 | #Constraints: 63707
3420.52/3430.01 c #Conflicts: 1477000 | #Constraints: 64711
3420.52/3430.01 c #Conflicts: 1478000 | #Constraints: 65716
3420.52/3430.01 c #Conflicts: 1479000 | #Constraints: 66721
3420.52/3430.01 c #Conflicts: 1480000 | #Constraints: 67723
3420.52/3430.01 c #Conflicts: 1481000 | #Constraints: 68726
3420.52/3430.01 c #Conflicts: 1482000 | #Constraints: 69728
3420.52/3430.01 c #Conflicts: 1483000 | #Constraints: 70730
3420.52/3430.01 c #Conflicts: 1484000 | #Constraints: 71733
3420.52/3430.01 c #Conflicts: 1485000 | #Constraints: 72735
3420.52/3430.01 c #Conflicts: 1486000 | #Constraints: 73737
3420.52/3430.01 c #Conflicts: 1487000 | #Constraints: 74739
3420.52/3430.01 c #Conflicts: 1488000 | #Constraints: 75741
3420.52/3430.01 c #Conflicts: 1489000 | #Constraints: 76743
3420.52/3430.01 c #Conflicts: 1490000 | #Constraints: 77745
3420.52/3430.01 c #Conflicts: 1491000 | #Constraints: 78746
3420.52/3430.01 c INPROCESSING
3420.52/3430.01 c GARBAGE COLLECT
3420.52/3430.01 c rational objective 7
3497.81/3507.55 c #Conflicts: 1492000 | #Constraints: 55467
3497.81/3507.55 c #Conflicts: 1493000 | #Constraints: 56467
3497.81/3507.55 c #Conflicts: 1494000 | #Constraints: 57471
3497.81/3507.55 c #Conflicts: 1495000 | #Constraints: 58477
3497.81/3507.55 c #Conflicts: 1496000 | #Constraints: 59482
3497.81/3507.55 c #Conflicts: 1497000 | #Constraints: 60484
3497.81/3507.55 c #Conflicts: 1498000 | #Constraints: 61486
3497.81/3507.55 c #Conflicts: 1499000 | #Constraints: 62490
3497.81/3507.55 c #Conflicts: 1500000 | #Constraints: 63491
3497.81/3507.55 c #Conflicts: 1501000 | #Constraints: 64494
3497.81/3507.55 c #Conflicts: 1502000 | #Constraints: 65495
3497.81/3507.55 c #Conflicts: 1503000 | #Constraints: 66496
3497.81/3507.55 c #Conflicts: 1504000 | #Constraints: 67498
3497.81/3507.55 c #Conflicts: 1505000 | #Constraints: 68500
3497.81/3507.55 c #Conflicts: 1506000 | #Constraints: 69501
3497.81/3507.55 c #Conflicts: 1507000 | #Constraints: 70502
3497.81/3507.55 c #Conflicts: 1508000 | #Constraints: 71504
3497.81/3507.55 c #Conflicts: 1509000 | #Constraints: 72507
3497.81/3507.55 c #Conflicts: 1510000 | #Constraints: 73508
3497.81/3507.55 c #Conflicts: 1511000 | #Constraints: 74510
3497.81/3507.55 c #Conflicts: 1512000 | #Constraints: 75512
3497.81/3507.55 c #Conflicts: 1513000 | #Constraints: 76515
3497.81/3507.55 c #Conflicts: 1514000 | #Constraints: 77522
3497.81/3507.55 c #Conflicts: 1515000 | #Constraints: 78523
3497.81/3507.55 c #Conflicts: 1516000 | #Constraints: 79526
3497.81/3507.55 c INPROCESSING
3497.81/3507.55 c GARBAGE COLLECT
3497.81/3507.55 c rational objective 7
3573.20/3583.12 c #Conflicts: 1517000 | #Constraints: 56078
3573.20/3583.12 c #Conflicts: 1518000 | #Constraints: 57079
3573.20/3583.12 c #Conflicts: 1519000 | #Constraints: 58082
3573.20/3583.12 c #Conflicts: 1520000 | #Constraints: 59084
3573.20/3583.12 c #Conflicts: 1521000 | #Constraints: 60086
3573.20/3583.12 c #Conflicts: 1522000 | #Constraints: 61087
3573.20/3583.12 c #Conflicts: 1523000 | #Constraints: 62088
3573.20/3583.12 c #Conflicts: 1524000 | #Constraints: 63090
3573.20/3583.12 c #Conflicts: 1525000 | #Constraints: 64092
3573.20/3583.12 c #Conflicts: 1526000 | #Constraints: 65093
3573.20/3583.12 c #Conflicts: 1527000 | #Constraints: 66096
3573.20/3583.12 c #Conflicts: 1528000 | #Constraints: 67097
3573.20/3583.12 c #Conflicts: 1529000 | #Constraints: 68098
3573.20/3583.12 c #Conflicts: 1530000 | #Constraints: 69099
3573.20/3583.12 c #Conflicts: 1531000 | #Constraints: 70099
3573.20/3583.12 c #Conflicts: 1532000 | #Constraints: 71099
3573.20/3583.12 c #Conflicts: 1533000 | #Constraints: 72100
3573.20/3583.12 c #Conflicts: 1534000 | #Constraints: 73101
3573.20/3583.12 c #Conflicts: 1535000 | #Constraints: 74101
3573.20/3583.12 c #Conflicts: 1536000 | #Constraints: 75102
3573.20/3583.12 c #Conflicts: 1537000 | #Constraints: 76102
3573.20/3583.12 c #Conflicts: 1538000 | #Constraints: 77103
3573.20/3583.12 c #Conflicts: 1539000 | #Constraints: 78104
3573.20/3583.12 c #Conflicts: 1540000 | #Constraints: 79106
3573.20/3583.12 c #Conflicts: 1541000 | #Constraints: 80108
3573.20/3583.12 c INPROCESSING
3573.20/3583.12 c GARBAGE COLLECT
3573.20/3583.12 c rational objective 7
3600.02/3610.00 c #Conflicts: 1542000 | #Constraints: 56456
3600.02/3610.00 c #Conflicts: 1543000 | #Constraints: 57457
3600.02/3610.00 c #Conflicts: 1544000 | #Constraints: 58461
3600.02/3610.00 c #Conflicts: 1545000 | #Constraints: 59463
3600.02/3610.00 c #Conflicts: 1546000 | #Constraints: 60463
3600.02/3610.00 c #Conflicts: 1547000 | #Constraints: 61466
3600.02/3610.00 c #Conflicts: 1548000 | #Constraints: 62467
3600.02/3610.00 c #Conflicts: 1549000 | #Constraints: 63468
3600.02/3610.00 c #Conflicts: 1550000 | #Constraints: 64473
3600.02/3610.00 c #Conflicts: 1551000 | #Constraints: 65474
3600.02/3610.00 c #Conflicts: 1552000 | #Constraints: 66478
3600.02/3610.00 c #Conflicts: 1553000 | #Constraints: 67481
3600.02/3610.00 c #Conflicts: 1554000 | #Constraints: 68484
3600.02/3610.00 c cpu time 3563.91 s
3600.02/3610.00 c deterministic time 310919494451 3.11e+11
3600.02/3610.00 c optimization time 26.1943 s
3600.02/3610.00 c total solve time 3537.52 s
3600.02/3610.00 c core-guided solve time 1832.53 s
3600.02/3610.00 c propagation time 2289.36 s
3600.02/3610.00 c conflict analysis time 1027.7 s
3600.02/3610.00 c propagations 548822694
3600.02/3610.00 c resolve steps 11277165
3600.02/3610.00 c decisions 9226324
3600.02/3610.00 c conflicts 1554299
3600.02/3610.00 c restarts 3067
3600.02/3610.00 c inprocessing phases 115
3600.02/3610.00 c garbage collections 115 ,( 100.00 )
3600.02/3610.00 c input clauses 36171 ,( 98.57 )
3600.02/3610.00 c input cardinalities 76 ,( 0.21 )
3600.02/3610.00 c input general constraints 448 ,( 1.22 )
3600.02/3610.00 c input average constraint length 3.99
3600.02/3610.00 c input average constraint degree 11.66
3600.02/3610.00 c learned clauses 177094 ,( 11.37 )
3600.02/3610.00 c learned cardinalities 13656 ,( 0.88 )
3600.02/3610.00 c learned general constraints 1366723 ,( 87.75 )
3600.02/3610.00 c learned average constraint length 834.54
3600.02/3610.00 c learned average constraint degree 6474789228.09
3600.02/3610.00 c watched CF 32, 64, 128, Arb: 508548 , 0 , 0 , 0
3600.02/3610.00 c counting CF 32, 64, 128, Arb: 858624 , 0 , 0 , 0
3600.02/3610.00 c watched constraints 508548 ,( 37.20 )
3600.02/3610.00 c counting constraints 858623 ,( 62.80 )
3600.02/3610.00 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 150785993 , 52097937 , 2887304186 ,( 345896815 , 2541407371 )
3600.02/3610.00 c gcd simplifications 113332
3600.02/3610.00 c detected cardinalities 556
3600.02/3610.00 c weakened non-implied lits 326510611
3600.02/3610.00 c weakened non-implying lits 1096178
3600.02/3610.00 c original variables 15310
3600.02/3610.00 c clausal propagations 121781108
3600.02/3610.00 c cardinality propagations 36967546
3600.02/3610.00 c watched propagations 3163687
3600.02/3610.00 c counting propagations 375141754
3600.02/3610.00 c watch lookups 174855071267
3600.02/3610.00 c watch backjump lookups 0
3600.02/3610.00 c watch checks 48595697322
3600.02/3610.00 c propagation checks 82377382699
3600.02/3610.00 c constraint additions 3972026999
3600.02/3610.00 c trail pops 559594938
3600.02/3610.00 c formula constraints 36695
3600.02/3610.00 c learned constraints 1551514
3600.02/3610.00 c bound constraints 0
3600.02/3610.00 c core-guided constraints 0
3600.02/3610.00 c encountered formula constraints 7564266
3600.02/3610.00 c encountered learned constraints 4852463
3600.02/3610.00 c encountered bound constraints 0
3600.02/3610.00 c encountered core-guided constraints 0
3600.02/3610.00 c LP total time 597.03 s
3600.02/3610.00 c LP solve time 526.08 s
3600.02/3610.00 c LP constraints added 38514
3600.02/3610.00 c LP constraints removed 1797
3600.02/3610.00 c LP pivots internal 1554312
3600.02/3610.00 c LP pivots root 117895
3600.02/3610.00 c LP calls 4674
3600.02/3610.00 c LP optimalities 1883
3600.02/3610.00 c LP no pivot count 326
3600.02/3610.00 c LP infeasibilities 2787
3600.02/3610.00 c LP valid Farkas constraints 2786
3600.02/3610.00 c LP learned Farkas constraints 2785
3600.02/3610.00 c LP basis resets 1
3600.02/3610.00 c LP cycling count 0
3600.02/3610.00 c LP singular count 0
3600.02/3610.00 c LP no primal count 0
3600.02/3610.00 c LP no farkas count 1
3600.02/3610.00 c LP other issue count 0
3600.02/3610.00 c LP Gomory cuts 388
3600.02/3610.00 c LP learned cuts 1431
3600.02/3610.00 c LP deleted cuts 1797
3600.02/3610.00 c LP encountered Gomory constraints 13646
3600.02/3610.00 c LP encountered Farkas constraints 357751
3600.02/3610.00 c LP encountered learned Farkas constraints 40553
3600.02/3610.00 c CG auxiliary variables introduced 0
3600.02/3610.00 c CG solutions found 0
3600.02/3610.00 c CG cores constructed 0
3600.02/3610.00 c CG core cardinality constraints returned 0
3600.02/3610.00 c CG unit cores 0
3600.02/3610.00 c CG single cores 0
3600.02/3610.00 c CG blocks removed during cardinality reduction 0
3600.02/3610.00 c CG first core best 0
3600.02/3610.00 c CG decision core best 0
3600.02/3610.00 c CG core reduction tie 0
3600.02/3610.00 c CG core degree average 0.00
3600.02/3610.00 c CG core slack average 0.00
3600.02/3610.00 c CG core upper bound improvements 0
3600.02/3610.00 c STR number of successful calls 0
3600.02/3610.00 c STR number of unsuccessful calls 0
3600.02/3610.00 c STR number of inconclusive calls 0
3600.02/3610.00 c STR number of successful attempts 0
3600.02/3610.00 c STR number of unsuccessful attempts 0
3600.02/3610.00 c STR number of inconclusive attempts 0
3600.02/3610.00 c STR average degree increase per successful call inf
3600.02/3610.00 c STR average degree increase per successful attempt inf
3600.02/3610.00 c STR total number of conflicts for successful attempts 0
3600.02/3610.00 c STR total number of conflicts for unsuccessful attempts 0
3600.02/3610.00 c STR total number of conflicts for inconclusive attempts 0
3600.02/3610.00 c STR average number of conflicts per successful attempt inf
3600.02/3610.00 c STR average number of conflicts per unsuccessful attempt inf
3600.02/3610.00 c STR average number of conflicts per inconclusive attempt inf
3600.02/3610.00 c AVG.sumWPerc 50.69
3600.02/3610.00 c bigint constraints 0
3600.02/3610.00 s UNKNOWN
3600.02/3610.00 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 (48492 MiB free)
memory of node 1: 64465 MiB (44473 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4532507-1752683038/watcher-4532507-1752683038 -o /tmp/evaluation-result-4532507-1752683038/solver-4532507-1752683038 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1752683038-136377 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4532507-1752683038.opb /tmp/proof-4532507-1752683038
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=136416, runsolver pid=136412
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 0.10 0.10 0.09 5/265 136428
/proc/meminfo: memFree=95177896/131249996 swapFree=33010160/33010684
[pid=136416] ppid=136412 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/136416/stat : 136416 (run-opt-break-l) S 136412 136416 136357 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 183982495 4292608 736 18446744073709551615 94605795426304 94605796320837 140736823561248 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94605796559888 94605796607632 94605809049600 140736823568697 140736823568860 140736823568860 140736823574464 0
/proc/136416/statm: 1048 736 672 219 0 110 0
[pid=136418] ppid=136416 vsize=28152 memory=17920 CPUtime=0.08 cores=5,7
/proc/136418/stat : 136418 (pbsuma) R 136416 136416 136357 0 -1 4194304 4476 0 0 0 7 1 0 0 20 0 1 0 183982496 28827648 4480 18446744073709551615 4210688 4653049 140720347193728 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 26804224 140720347195655 140720347195952 140720347195952 140720347201519 0
/proc/136418/statm: 7038 4480 992 108 0 4446 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 32344 KiB
Current children cumulated memory: 20864 KiB
[startup+0.20573 s]*
/proc/loadavg: 0.10 0.10 0.09 4/264 136434
/proc/meminfo: memFree=95159604/131249996 swapFree=33010160/33010684
[pid=136416] ppid=136412 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/136416/stat : 136416 (run-opt-break-l) S 136412 136416 136357 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 183982495 4292608 736 18446744073709551615 94605795426304 94605796320837 140736823561248 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94605796559888 94605796607632 94605809049600 140736823568697 140736823568860 140736823568860 140736823574464 0
/proc/136416/statm: 1048 736 672 219 0 110 0
[pid=136418] ppid=136416 vsize=23896 memory=15144 CPUtime=0.19 cores=5,7
/proc/136418/stat : 136418 (pbsuma) R 136416 136416 136357 0 -1 4194304 4608 0 0 0 18 1 0 0 20 0 1 0 183982496 24469504 3786 18446744073709551615 4210688 4653049 140720347193728 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 26804224 140720347195655 140720347195952 140720347195952 140720347201519 0
/proc/136418/statm: 5974 3786 992 108 0 3382 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 28088 KiB
Current children cumulated memory: 18088 KiB
[startup+0.305025 s]*
/proc/loadavg: 0.10 0.10 0.09 5/269 136439
/proc/meminfo: memFree=95105604/131249996 swapFree=33010160/33010684
[pid=136416] ppid=136412 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/136416/stat : 136416 (run-opt-break-l) S 136412 136416 136357 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 183982495 4292608 736 18446744073709551615 94605795426304 94605796320837 140736823561248 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94605796559888 94605796607632 94605809049600 140736823568697 140736823568860 140736823568860 140736823574464 0
/proc/136416/statm: 1048 736 672 219 0 110 0
[pid=136418] ppid=136416 vsize=24676 memory=15912 CPUtime=0.29 cores=5,7
/proc/136418/stat : 136418 (pbsuma) R 136416 136416 136357 0 -1 4194304 4825 0 0 0 28 1 0 0 20 0 1 0 183982496 25268224 3978 18446744073709551615 4210688 4653049 140720347193728 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 26804224 140720347195655 140720347195952 140720347195952 140720347201519 0
/proc/136418/statm: 6169 3978 992 108 0 3577 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 28868 KiB
Current children cumulated memory: 18856 KiB
[startup+0.700193 s]
/proc/loadavg: 0.10 0.10 0.09 5/269 136439
/proc/meminfo: memFree=94987028/131249996 swapFree=33010160/33010684
[pid=136416] ppid=136412 vsize=4192 memory=2944 CPUtime=0.64 cores=5,7
/proc/136416/stat : 136416 (run-opt-break-l) S 136412 136416 136357 0 -1 4194304 237 7407 0 0 0 0 61 3 20 0 1 0 183982495 4292608 736 18446744073709551615 94605795426304 94605796320837 140736823561248 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94605796559888 94605796607632 94605809049600 140736823568697 140736823568860 140736823568860 140736823574464 0
/proc/136416/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB
[startup+1.50018 s]
/proc/loadavg: 0.10 0.10 0.09 4/264 136449
/proc/meminfo: memFree=94914188/131249996 swapFree=33010160/33010684
[pid=136416] ppid=136412 vsize=4192 memory=2944 CPUtime=0.64 cores=5,7
/proc/136416/stat : 136416 (run-opt-break-l) S 136412 136416 136357 0 -1 4194304 237 7407 0 0 0 0 61 3 20 0 1 0 183982495 4292608 736 18446744073709551615 94605795426304 94605796320837 140736823561248 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94605796559888 94605796607632 94605809049600 140736823568697 140736823568860 140736823568860 140736823574464 0
/proc/136416/statm: 1048 736 672 219 0 110 0
[pid=136441] ppid=136416 vsize=126828 memory=71872 CPUtime=0.82 cores=5,7
/proc/136441/stat : 136441 (roundingsat) R 136416 136416 136357 0 -1 4194304 11867 0 0 0 76 6 0 0 20 0 1 0 183982562 129871872 17968 18446744073709551615 4227072 8923577 140735278049680 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 38199296 140735278053688 140735278053926 140735278053926 140735278059498 0
/proc/136441/statm: 31707 17968 2368 1147 0 19133 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 131020 KiB
Current children cumulated memory: 74816 KiB
[startup+3.10544 s]
/proc/loadavg: 0.10 0.10 0.09 3/259 136457
/proc/meminfo: memFree=94808328/131249996 swapFree=33010160/33010684
[pid=136416] ppid=136412 vsize=4192 memory=2944 CPUtime=0.64 cores=5,7
/proc/136416/stat : 136416 (run-opt-break-l) S 136412 136416 136357 0 -1 4194304 237 7407 0 0 0 0 61 3 20 0 1 0 183982495 4292608 736 18446744073709551615 94605795426304 94605796320837 140736823561248 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94605796559888 94605796607632 94605809049600 140736823568697 140736823568860 140736823568860 140736823574464 0
/proc/136416/statm: 1048 736 672 219 0 110 0
[pid=136441] ppid=136416 vsize=150196 memory=92744 CPUtime=2.42 cores=5,7
/proc/136441/stat : 136441 (roundingsat) R 136416 136416 136357 0 -1 4194304 16623 0 0 0 233 9 0 0 20 0 1 0 183982562 153800704 23186 18446744073709551615 4227072 8923577 140735278049680 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 38199296 140735278053688 140735278053926 140735278053926 140735278059498 0
/proc/136441/statm: 37549 23186 2368 1147 0 24975 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 154388 KiB
Current children cumulated memory: 95688 KiB
[startup+6.30017 s]
/proc/loadavg: 0.41 0.16 0.11 5/268 136506
/proc/meminfo: memFree=94765344/131249996 swapFree=33010160/33010684
[pid=136416] ppid=136412 vsize=4192 memory=2944 CPUtime=0.64 cores=5,7
/proc/136416/stat : 136416 (run-opt-break-l) S 136412 136416 136357 0 -1 4194304 237 7407 0 0 0 0 61 3 20 0 1 0 183982495 4292608 736 18446744073709551615 94605795426304 94605796320837 140736823561248 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94605796559888 94605796607632 94605809049600 140736823568697 140736823568860 140736823568860 140736823574464 0
/proc/136416/statm: 1048 736 672 219 0 110 0
[pid=136441] ppid=136416 vsize=164232 memory=108316 CPUtime=5.6 cores=5,7
/proc/136441/stat : 136441 (roundingsat) R 136416 136416 136357 0 -1 4194304 19982 0 0 0 547 13 0 0 20 0 1 0 183982562 168173568 27079 18446744073709551615 4227072 8923577 140735278049680 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 38199296 140735278053688 140735278053926 140735278053926 140735278059498 0
/proc/136441/statm: 41058 27079 2368 1147 0 28484 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 168424 KiB
Current children cumulated memory: 111260 KiB
[startup+12.7002 s]
/proc/loadavg: 0.70 0.23 0.13 5/268 136543
/proc/meminfo: memFree=94540900/131249996 swapFree=33010160/33010684
[pid=136416] ppid=136412 vsize=4192 memory=2944 CPUtime=0.64 cores=5,7
/proc/136416/stat : 136416 (run-opt-break-l) S 136412 136416 136357 0 -1 4194304 237 7407 0 0 0 0 61 3 20 0 1 0 183982495 4292608 736 18446744073709551615 94605795426304 94605796320837 140736823561248 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94605796559888 94605796607632 94605809049600 140736823568697 140736823568860 140736823568860 140736823574464 0
/proc/136416/statm: 1048 736 672 219 0 110 0
[pid=136441] ppid=136416 vsize=218876 memory=149544 CPUtime=11.98 cores=5,7
/proc/136441/stat : 136441 (roundingsat) R 136416 136416 136357 0 -1 4194304 28788 0 0 0 1172 26 0 0 20 0 1 0 183982562 224129024 37386 18446744073709551615 4227072 8923577 140735278049680 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 38199296 140735278053688 140735278053926 140735278053926 140735278059498 0
/proc/136441/statm: 54719 37386 2368 1147 0 42145 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 223068 KiB
Current children cumulated memory: 152488 KiB
[startup+25.5002 s]
/proc/loadavg: 1.59 0.45 0.21 5/272 136595
/proc/meminfo: memFree=93866252/131249996 swapFree=33010160/33010684
[pid=136416] ppid=136412 vsize=4192 memory=2944 CPUtime=0.64 cores=5,7
/proc/136416/stat : 136416 (run-opt-break-l) S 136412 136416 136357 0 -1 4194304 237 7407 0 0 0 0 61 3 20 0 1 0 183982495 4292608 736 18446744073709551615 94605795426304 94605796320837 140736823561248 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94605796559888 94605796607632 94605809049600 140736823568697 140736823568860 140736823568860 140736823574464 0
/proc/136416/statm: 1048 736 672 219 0 110 0
[pid=136441] ppid=136416 vsize=293380 memory=217520 CPUtime=24.74 cores=5,7
/proc/136441/stat : 136441 (roundingsat) R 136416 136416 136357 0 -1 4194304 42827 0 0 0 2427 47 0 0 20 0 1 0 183982562 300421120 54380 18446744073709551615 4227072 8923577 140735278049680 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 38199296 140735278053688 140735278053926 140735278053926 140735278059498 0
/proc/136441/statm: 73345 54380 2368 1147 0 60771 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 297572 KiB
Current children cumulated memory: 220464 KiB
[startup+51.1058 s]
/proc/loadavg: 2.82 0.83 0.34 5/273 136646
/proc/meminfo: memFree=92618724/131249996 swapFree=33010160/33010684
[pid=136416] ppid=136412 vsize=4192 memory=2944 CPUtime=0.64 cores=5,7
/proc/136416/stat : 136416 (run-opt-break-l) S 136412 136416 136357 0 -1 4194304 237 7407 0 0 0 0 61 3 20 0 1 0 183982495 4292608 736 18446744073709551615 94605795426304 94605796320837 140736823561248 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94605796559888 94605796607632 94605809049600 140736823568697 140736823568860 140736823568860 140736823574464 0
/proc/136416/statm: 1048 736 672 219 0 110 0
[pid=136441] ppid=136416 vsize=308192 memory=230320 CPUtime=50.26 cores=5,7
/proc/136441/stat : 136441 (roundingsat) R 136416 136416 136357 0 -1 4194304 46049 0 0 0 4943 83 0 0 20 0 1 0 183982562 315588608 57580 18446744073709551615 4227072 8923577 140735278049680 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 38199296 140735278053688 140735278053926 140735278053926 140735278059498 0
/proc/136441/statm: 77048 57580 2368 1147 0 64474 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 312384 KiB
Current children cumulated memory: 233264 KiB
[startup+102.3 s]
/proc/loadavg: 3.74 1.38 0.56 5/275 136649
/proc/meminfo: memFree=90053408/131249996 swapFree=33010160/33010684
[pid=136416] ppid=136412 vsize=4192 memory=2944 CPUtime=0.64 cores=5,7
/proc/136416/stat : 136416 (run-opt-break-l) S 136412 136416 136357 0 -1 4194304 237 7407 0 0 0 0 61 3 20 0 1 0 183982495 4292608 736 18446744073709551615 94605795426304 94605796320837 140736823561248 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94605796559888 94605796607632 94605809049600 140736823568697 140736823568860 140736823568860 140736823574464 0
/proc/136416/statm: 1048 736 672 219 0 110 0
[pid=136441] ppid=136416 vsize=378272 memory=284880 CPUtime=101.28 cores=5,7
/proc/136441/stat : 136441 (roundingsat) R 136416 136416 136357 0 -1 4194304 56158 0 0 0 9966 162 0 0 20 0 1 0 183982562 387350528 71220 18446744073709551615 4227072 8923577 140735278049680 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 38199296 140735278053688 140735278053926 140735278053926 140735278059498 0
/proc/136441/statm: 94568 71220 2368 1147 0 81994 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 382464 KiB
Current children cumulated memory: 287824 KiB
[startup+162.3 s]
/proc/loadavg: 4.24 1.95 0.81 5/276 136653
/proc/meminfo: memFree=87605784/131249996 swapFree=33010160/33010684
[pid=136416] ppid=136412 vsize=4192 memory=2944 CPUtime=0.64 cores=5,7
/proc/136416/stat : 136416 (run-opt-break-l) S 136412 136416 136357 0 -1 4194304 237 7407 0 0 0 0 61 3 20 0 1 0 183982495 4292608 736 18446744073709551615 94605795426304 94605796320837 140736823561248 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94605796559888 94605796607632 94605809049600 140736823568697 140736823568860 140736823568860 140736823574464 0
/proc/136416/statm: 1048 736 672 219 0 110 0
[pid=136441] ppid=136416 vsize=428332 memory=329680 CPUtime=161.08 cores=5,7
/proc/136441/stat : 136441 (roundingsat) R 136416 136416 136357 0 -1 4194304 67363 0 0 0 15855 253 0 0 20 0 1 0 183982562 438611968 82420 18446744073709551615 4227072 8923577 140735278049680 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 38199296 140735278053688 140735278053926 140735278053926 140735278059498 0
/proc/136441/statm: 107083 82420 2368 1147 0 94509 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 432524 KiB
Current children cumulated memory: 332624 KiB
[startup+222.3 s]
/proc/loadavg: 4.35 2.41 1.03 5/276 136655
/proc/meminfo: memFree=84832680/131249996 swapFree=33010160/33010684
[pid=136416] ppid=136412 vsize=4192 memory=2944 CPUtime=0.64 cores=5,7
/proc/136416/stat : 136416 (run-opt-break-l) S 136412 136416 136357 0 -1 4194304 237 7407 0 0 0 0 61 3 20 0 1 0 183982495 4292608 736 18446744073709551615 94605795426304 94605796320837 140736823561248 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94605796559888 94605796607632 94605809049600 140736823568697 140736823568860 140736823568860 140736823574464 0
/proc/136416/statm: 1048 736 672 219 0 110 0
[pid=136441] ppid=136416 vsize=499640 memory=408532 CPUtime=220.9 cores=5,7
/proc/136441/stat : 136441 (roundingsat) R 136416 136416 136357 0 -1 4194304 82691 0 0 0 21747 343 0 0 20 0 1 0 183982562 511631360 102133 18446744073709551615 4227072 8923577 140735278049680 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 38199296 140735278053688 140735278053926 140735278053926 140735278059498 0
/proc/136441/statm: 124910 102133 2368 1147 0 112336 0
Current children cumulated CPU time: 221.54 s
Current children cumulated vsize: 503832 KiB
Current children cumulated memory: 411476 KiB
################
# More data... #
################
/proc/136441/statm: 471600 397721 2464 1147 0 459026 0
Current children cumulated CPU time: 3033.85 s
Current children cumulated vsize: 1890592 KiB
Current children cumulated memory: 1593828 KiB
[startup+3102.3 s]
/proc/loadavg: 4.43 4.42 4.26 5/276 136838
/proc/meminfo: memFree=791912/131249996 swapFree=33010160/33010684
[pid=136416] ppid=136412 vsize=4192 memory=2944 CPUtime=0.64 cores=5,7
/proc/136416/stat : 136416 (run-opt-break-l) S 136412 136416 136357 0 -1 4194304 237 7407 0 0 0 0 61 3 20 0 1 0 183982495 4292608 736 18446744073709551615 94605795426304 94605796320837 140736823561248 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94605796559888 94605796607632 94605809049600 140736823568697 140736823568860 140736823568860 140736823574464 0
/proc/136416/statm: 1048 736 672 219 0 110 0
[pid=136441] ppid=136416 vsize=1888544 memory=1593060 CPUtime=3093.06 cores=5,7
/proc/136441/stat : 136441 (roundingsat) R 136416 136416 136357 0 -1 4194304 438328 0 0 0 306214 3092 0 0 20 0 1 0 183982562 1933869056 398265 18446744073709551615 4227072 8923577 140735278049680 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 38199296 140735278053688 140735278053926 140735278053926 140735278059498 0
/proc/136441/statm: 472136 398265 2464 1147 0 459562 0
Current children cumulated CPU time: 3093.7 s
Current children cumulated vsize: 1892736 KiB
Current children cumulated memory: 1596004 KiB
[startup+3162.3 s]
/proc/loadavg: 4.44 4.42 4.27 5/276 136840
/proc/meminfo: memFree=803052/131249996 swapFree=33010160/33010684
[pid=136416] ppid=136412 vsize=4192 memory=2944 CPUtime=0.64 cores=5,7
/proc/136416/stat : 136416 (run-opt-break-l) S 136412 136416 136357 0 -1 4194304 237 7407 0 0 0 0 61 3 20 0 1 0 183982495 4292608 736 18446744073709551615 94605795426304 94605796320837 140736823561248 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94605796559888 94605796607632 94605809049600 140736823568697 140736823568860 140736823568860 140736823574464 0
/proc/136416/statm: 1048 736 672 219 0 110 0
[pid=136441] ppid=136416 vsize=1888544 memory=1593188 CPUtime=3152.9 cores=5,7
/proc/136441/stat : 136441 (roundingsat) R 136416 136416 136357 0 -1 4194304 444176 0 0 0 312145 3145 0 0 20 0 1 0 183982562 1933869056 398297 18446744073709551615 4227072 8923577 140735278049680 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 38199296 140735278053688 140735278053926 140735278053926 140735278059498 0
/proc/136441/statm: 472136 398297 2464 1147 0 459562 0
Current children cumulated CPU time: 3153.54 s
Current children cumulated vsize: 1892736 KiB
Current children cumulated memory: 1596132 KiB
[startup+3222.3 s]
/proc/loadavg: 4.48 4.43 4.28 5/276 136842
/proc/meminfo: memFree=677668/131249996 swapFree=33010160/33010684
[pid=136416] ppid=136412 vsize=4192 memory=2944 CPUtime=0.64 cores=5,7
/proc/136416/stat : 136416 (run-opt-break-l) S 136412 136416 136357 0 -1 4194304 237 7407 0 0 0 0 61 3 20 0 1 0 183982495 4292608 736 18446744073709551615 94605795426304 94605796320837 140736823561248 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94605796559888 94605796607632 94605809049600 140736823568697 140736823568860 140736823568860 140736823574464 0
/proc/136416/statm: 1048 736 672 219 0 110 0
[pid=136441] ppid=136416 vsize=1888544 memory=1593188 CPUtime=3212.73 cores=5,7
/proc/136441/stat : 136441 (roundingsat) R 136416 136416 136357 0 -1 4194304 448045 0 0 0 318080 3193 0 0 20 0 1 0 183982562 1933869056 398297 18446744073709551615 4227072 8923577 140735278049680 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 38199296 140735278053688 140735278053926 140735278053926 140735278059498 0
/proc/136441/statm: 472136 398297 2464 1147 0 459562 0
Current children cumulated CPU time: 3213.37 s
Current children cumulated vsize: 1892736 KiB
Current children cumulated memory: 1596132 KiB
[startup+3282.3 s]
/proc/loadavg: 4.35 4.41 4.28 5/273 136844
/proc/meminfo: memFree=793440/131249996 swapFree=33010160/33010684
[pid=136416] ppid=136412 vsize=4192 memory=2944 CPUtime=0.64 cores=5,7
/proc/136416/stat : 136416 (run-opt-break-l) S 136412 136416 136357 0 -1 4194304 237 7407 0 0 0 0 61 3 20 0 1 0 183982495 4292608 736 18446744073709551615 94605795426304 94605796320837 140736823561248 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94605796559888 94605796607632 94605809049600 140736823568697 140736823568860 140736823568860 140736823574464 0
/proc/136416/statm: 1048 736 672 219 0 110 0
[pid=136441] ppid=136416 vsize=1888864 memory=1593572 CPUtime=3272.57 cores=5,7
/proc/136441/stat : 136441 (roundingsat) R 136416 136416 136357 0 -1 4194304 469609 0 0 0 324005 3252 0 0 20 0 1 0 183982562 1934196736 398393 18446744073709551615 4227072 8923577 140735278049680 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 38199296 140735278053688 140735278053926 140735278053926 140735278059498 0
/proc/136441/statm: 472216 398393 2464 1147 0 459642 0
Current children cumulated CPU time: 3273.21 s
Current children cumulated vsize: 1893056 KiB
Current children cumulated memory: 1596516 KiB
[startup+3342.3 s]
/proc/loadavg: 4.46 4.44 4.30 5/273 136849
/proc/meminfo: memFree=883380/131249996 swapFree=33010160/33010684
[pid=136416] ppid=136412 vsize=4192 memory=2944 CPUtime=0.64 cores=5,7
/proc/136416/stat : 136416 (run-opt-break-l) S 136412 136416 136357 0 -1 4194304 237 7407 0 0 0 0 61 3 20 0 1 0 183982495 4292608 736 18446744073709551615 94605795426304 94605796320837 140736823561248 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94605796559888 94605796607632 94605809049600 140736823568697 140736823568860 140736823568860 140736823574464 0
/proc/136416/statm: 1048 736 672 219 0 110 0
[pid=136441] ppid=136416 vsize=1895248 memory=1598692 CPUtime=3332.41 cores=5,7
/proc/136441/stat : 136441 (roundingsat) R 136416 136416 136357 0 -1 4194304 497825 0 0 0 329931 3310 0 0 20 0 1 0 183982562 1940733952 399673 18446744073709551615 4227072 8923577 140735278049680 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 38199296 140735278053688 140735278053926 140735278053926 140735278059498 0
/proc/136441/statm: 473812 399673 2464 1147 0 461238 0
Current children cumulated CPU time: 3333.05 s
Current children cumulated vsize: 1899440 KiB
Current children cumulated memory: 1601636 KiB
[startup+3402.3 s]
/proc/loadavg: 4.57 4.47 4.32 5/275 136856
/proc/meminfo: memFree=824908/131249996 swapFree=33010160/33010684
[pid=136416] ppid=136412 vsize=4192 memory=2944 CPUtime=0.64 cores=5,7
/proc/136416/stat : 136416 (run-opt-break-l) S 136412 136416 136357 0 -1 4194304 237 7407 0 0 0 0 61 3 20 0 1 0 183982495 4292608 736 18446744073709551615 94605795426304 94605796320837 140736823561248 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94605796559888 94605796607632 94605809049600 140736823568697 140736823568860 140736823568860 140736823574464 0
/proc/136416/statm: 1048 736 672 219 0 110 0
[pid=136441] ppid=136416 vsize=1908056 memory=1611748 CPUtime=3392.25 cores=5,7
/proc/136441/stat : 136441 (roundingsat) R 136416 136416 136357 0 -1 4194304 512480 0 0 0 335858 3367 0 0 20 0 1 0 183982562 1953849344 402937 18446744073709551615 4227072 8923577 140735278049680 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 38199296 140735278053688 140735278053926 140735278053926 140735278059498 0
/proc/136441/statm: 477014 402937 2464 1147 0 464440 0
Current children cumulated CPU time: 3392.89 s
Current children cumulated vsize: 1912248 KiB
Current children cumulated memory: 1614692 KiB
[startup+3462.3 s]
/proc/loadavg: 4.45 4.44 4.32 5/275 136857
/proc/meminfo: memFree=753612/131249996 swapFree=33010160/33010684
[pid=136416] ppid=136412 vsize=4192 memory=2944 CPUtime=0.64 cores=5,7
/proc/136416/stat : 136416 (run-opt-break-l) S 136412 136416 136357 0 -1 4194304 237 7407 0 0 0 0 61 3 20 0 1 0 183982495 4292608 736 18446744073709551615 94605795426304 94605796320837 140736823561248 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94605796559888 94605796607632 94605809049600 140736823568697 140736823568860 140736823568860 140736823574464 0
/proc/136416/statm: 1048 736 672 219 0 110 0
[pid=136441] ppid=136416 vsize=1908056 memory=1611876 CPUtime=3452.09 cores=5,7
/proc/136441/stat : 136441 (roundingsat) R 136416 136416 136357 0 -1 4194304 517727 0 0 0 341785 3424 0 0 20 0 1 0 183982562 1953849344 402969 18446744073709551615 4227072 8923577 140735278049680 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 38199296 140735278053688 140735278053926 140735278053926 140735278059498 0
/proc/136441/statm: 477014 402969 2464 1147 0 464440 0
Current children cumulated CPU time: 3452.73 s
Current children cumulated vsize: 1912248 KiB
Current children cumulated memory: 1614820 KiB
[startup+3522.3 s]
/proc/loadavg: 4.42 4.44 4.32 5/275 136859
/proc/meminfo: memFree=858496/131249996 swapFree=33010160/33010684
[pid=136416] ppid=136412 vsize=4192 memory=2944 CPUtime=0.64 cores=5,7
/proc/136416/stat : 136416 (run-opt-break-l) S 136412 136416 136357 0 -1 4194304 237 7407 0 0 0 0 61 3 20 0 1 0 183982495 4292608 736 18446744073709551615 94605795426304 94605796320837 140736823561248 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94605796559888 94605796607632 94605809049600 140736823568697 140736823568860 140736823568860 140736823574464 0
/proc/136416/statm: 1048 736 672 219 0 110 0
[pid=136441] ppid=136416 vsize=1908056 memory=1612132 CPUtime=3511.93 cores=5,7
/proc/136441/stat : 136441 (roundingsat) R 136416 136416 136357 0 -1 4194304 531209 0 0 0 347724 3469 0 0 20 0 1 0 183982562 1953849344 403033 18446744073709551615 4227072 8923577 140735278049680 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 38199296 140735278053688 140735278053926 140735278053926 140735278059498 0
/proc/136441/statm: 477014 403033 2464 1147 0 464440 0
Current children cumulated CPU time: 3512.57 s
Current children cumulated vsize: 1912248 KiB
Current children cumulated memory: 1615076 KiB
[startup+3582.3 s]
/proc/loadavg: 4.28 4.40 4.32 5/275 136861
/proc/meminfo: memFree=696328/131249996 swapFree=33010160/33010684
[pid=136416] ppid=136412 vsize=4192 memory=2944 CPUtime=0.64 cores=5,7
/proc/136416/stat : 136416 (run-opt-break-l) S 136412 136416 136357 0 -1 4194304 237 7407 0 0 0 0 61 3 20 0 1 0 183982495 4292608 736 18446744073709551615 94605795426304 94605796320837 140736823561248 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94605796559888 94605796607632 94605809049600 140736823568697 140736823568860 140736823568860 140736823574464 0
/proc/136416/statm: 1048 736 672 219 0 110 0
[pid=136441] ppid=136416 vsize=1908056 memory=1612132 CPUtime=3571.75 cores=5,7
/proc/136441/stat : 136441 (roundingsat) R 136416 136416 136357 0 -1 4194304 555653 0 0 0 353657 3518 0 0 20 0 1 0 183982562 1953849344 403033 18446744073709551615 4227072 8923577 140735278049680 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 38199296 140735278053688 140735278053926 140735278053926 140735278059498 0
/proc/136441/statm: 477014 403033 2464 1147 0 464440 0
Current children cumulated CPU time: 3572.39 s
Current children cumulated vsize: 1912248 KiB
Current children cumulated memory: 1615076 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610 s]*
/proc/loadavg: 4.23 4.38 4.31 4/267 136871
/proc/meminfo: memFree=1034796/131249996 swapFree=33010160/33010684
[pid=136416] ppid=136412 vsize=4192 memory=2944 CPUtime=0.64 cores=5,7
/proc/136416/stat : 136416 (run-opt-break-l) S 136412 136416 136357 0 -1 4194304 237 7407 0 0 0 0 61 3 20 0 1 0 183982495 4292608 736 18446744073709551615 94605795426304 94605796320837 140736823561248 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94605796559888 94605796607632 94605809049600 140736823568697 140736823568860 140736823568860 140736823574464 0
/proc/136416/statm: 1048 736 672 219 0 110 0
[pid=136441] ppid=136416 vsize=1908056 memory=1612132 CPUtime=3599.38 cores=5,7
/proc/136441/stat : 136441 (roundingsat) R 136416 136416 136357 0 -1 4194304 568510 0 0 0 356391 3547 0 0 20 0 1 0 183982562 1953849344 403033 18446744073709551615 4227072 8923577 140735278049680 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 38199296 140735278053688 140735278053926 140735278053926 140735278059498 0
/proc/136441/statm: 477014 403033 2464 1147 0 464440 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1912248 KiB
Current children cumulated memory: 1615076 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.01 s]
# the end of solver process 136416 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.614587 s, system=0.037038 s
Sleeping 2 seconds
[startup+3610.06 s]
# the end of solver process 136441 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3564.54 s, system=35.5637 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3610.06
CPU time (s): 3600.1
CPU user time (s): 3564.54
CPU system time (s): 35.5637
CPU usage (%): 99.724
Max. virtual memory (cumulated for all children) (KiB): 1912248
Max. memory (cumulated for all children) (KiB): 1615076
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3564.54
system time used= 35.5637
maximum resident set size= 1612388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 576235
page faults= 0
swaps= 0
block input operations= 0
block output operations= 33406160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 398
involuntary context switches= 22090
# summary of solver processes directly reported to runsolver:
# pid: 136416,136441
# total CPU time (s): 3600.1
# total CPU user time (s): 3564.54
# total CPU system time (s): 35.5637
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.28498 second user time and 16.8578 second system time
The end
Begin job on nodeC032 at 2025-07-16 18:23:59
IDJOB=4532507
IDBENCH=148775
IDSOLVER=3393
FILE ID=nodeC032/4532507-1752683038
RUNJOBID= nodeC032-1752683038-136377
SLURM_JOB_ID= 9686927
Free space on /tmp= 429548 MiB
SOLVER NAME= roundingsat+pbsuma-opt-log 0f876b3
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx75.opb
COMMAND LINE= run-opt-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4532507-1752683038/watcher-4532507-1752683038 -o /tmp/evaluation-result-4532507-1752683038/solver-4532507-1752683038 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1752683038-136377 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4532507-1752683038.opb /tmp/proof-4532507-1752683038
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a11c5c9a015f48f3bddc22713bc48593
RANDOM SEED=210464024
nodeC032 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.816
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.69
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 : 3598.243
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.69
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.957
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.69
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.552
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.69
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 : 3594.525
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.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.676
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.69
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.863
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.69
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.848
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.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 95201120 kB
MemAvailable: 129592240 kB
Buffers: 2728 kB
Cached: 35073024 kB
SwapCached: 20 kB
Active: 845184 kB
Inactive: 34306084 kB
Active(anon): 98636 kB
Inactive(anon): 3124 kB
Active(file): 746548 kB
Inactive(file): 34302960 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 23440 kB
Writeback: 0 kB
AnonPages: 78424 kB
Mapped: 113532 kB
Shmem: 26240 kB
KReclaimable: 361704 kB
Slab: 460772 kB
SReclaimable: 361704 kB
SUnreclaim: 99068 kB
KernelStack: 4176 kB
PageTables: 3040 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 386324 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150440 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 12288 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: 203476 kB
DirectMap2M: 7956480 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 293192 MiB
End job on nodeC032 at 2025-07-16 19:24:09