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-4499309-1751406602.opb'
0.00/0.02 c read 0.47MB (6.40ms)
0.00/0.02 c [cnf: #variables 4977 #clauses 5495 #duplicates 0 #arr 48524]
0.00/0.02 c output proof to 'PROOFDIR/proof-4499309-1751406602'
0.00/0.02 c
0.00/0.02 c make graph and approximate orbits
0.00/0.03 c [group: #orbits ~= 42] (6.39ms)
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.07 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.08 c recursing 280 blocks of candidate 7x1422r
0.00/0.08 c found row 3x14, generating row predicate
0.00/0.09 c found row 11x14, generating row predicate
0.00/0.09 c found row 7x1422, generating row predicate
0.00/0.09 c (67.91ms)
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.07/0.15 c [group: #symmetries 2.94*10^155 #generators 224] (53.55ms)
0.07/0.15 c
0.07/0.15 c optimize generators (opt_passes=64, conjugate_limit=256)
0.07/0.19 c opt it=15, l=6786, m=433, opt=33, avg=916, b=20, gens=224
0.17/0.23 c opt it=31, l=10692, m=839, opt=67, avg=907, b=20, gens=224
0.17/0.26 c opt it=47, l=14597, m=1263, opt=104, avg=895, b=20, gens=224
0.17/0.29 c opt it=63, l=18492, m=1667, opt=128, avg=888, b=20, gens=224
0.17/0.30 c ran it=0, +gens=86
0.46/0.54 c con best_support=20, best_gens=103, +gens=250
0.46/0.54 c (388.83ms)
0.46/0.54 c
0.46/0.54 c finalize break order and special generators
0.46/0.55 c
0.46/0.55 c add generic predicates (break_depth=20)
0.46/0.57 c added predicates for 560 generators (18.57ms)
1.15/1.25 c
1.15/1.25 c generation finished
1.15/1.25 c [sbp: #constraints 31150 #add_vars 10333]
1.15/1.25 c
1.15/1.25 c write result to 'HOME/instance-4499309-1751406602.opb.pre'
1.15/1.26 c wrote 1.63MB (7.15ms)
1.15/1.26 c ------------------------------------------------------------------
1.15/1.26 c 690.45ms 55.26% other
1.15/1.26 c 388.83ms 31.12% optimize_gens
1.15/1.26 c 67.91ms 5.44% detect_special
1.15/1.26 c 53.55ms 4.29% detect_generic
1.15/1.26 c 18.57ms 1.49% break_generic
1.15/1.26 c 10.09ms 0.81% finalize_order
1.15/1.26 c 7.15ms 0.57% output
1.15/1.26 c 6.40ms 0.51% parse
1.15/1.26 c 6.39ms 0.51% approx_orbits
1.15/1.26 c ───────────────────────────────────────────────
1.15/1.26 c 1249.35ms 100% total
1.15/1.26 c ------------------------------------------------------------------
1.23/1.33 c RoundingSat 2
1.23/1.33 c branch pb25
1.23/1.33 c commit 63f22ad
1.23/1.75 c #variables 15310 #constraints 36695
1.23/1.75 c objective is ce32
1.23/1.75 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
1.23/1.75 c initial counting CF 32, 64, 128, Arb: 449 , 0 , 0 , 0
1.23/1.75 c bounds - >= 0 @ 0.34334
3.19/3.33 c #Conflicts: 1000 | #Constraints: 37695
3.19/3.33 c #Conflicts: 2000 | #Constraints: 38697
3.19/3.33 c INPROCESSING
3.19/3.33 c GARBAGE COLLECT
3.19/3.33 c rational objective 7
5.18/5.35 c #Conflicts: 3000 | #Constraints: 33692
5.18/5.35 c #Conflicts: 4000 | #Constraints: 34695
5.18/5.35 c INPROCESSING
5.18/5.35 c GARBAGE COLLECT
5.18/5.35 c rational objective 7
6.89/7.06 c #Conflicts: 5000 | #Constraints: 34110
6.89/7.06 c #Conflicts: 6000 | #Constraints: 35110
6.89/7.06 c INPROCESSING
6.89/7.06 c GARBAGE COLLECT
6.89/7.06 c rational objective 7
10.06/10.22 c #Conflicts: 7000 | #Constraints: 34093
10.06/10.22 c #Conflicts: 8000 | #Constraints: 35093
10.06/10.22 c #Conflicts: 9000 | #Constraints: 36094
10.06/10.22 c INPROCESSING
10.06/10.22 c GARBAGE COLLECT
10.06/10.22 c rational objective 7
12.55/12.70 c #Conflicts: 10000 | #Constraints: 34790
12.55/12.70 c #Conflicts: 11000 | #Constraints: 35790
12.55/12.70 c #Conflicts: 12000 | #Constraints: 36791
12.55/12.70 c INPROCESSING
12.55/12.70 c GARBAGE COLLECT
12.55/12.70 c rational objective 7
15.35/15.54 c #Conflicts: 13000 | #Constraints: 35245
15.35/15.54 c #Conflicts: 14000 | #Constraints: 36246
15.35/15.54 c #Conflicts: 15000 | #Constraints: 37252
15.35/15.54 c INPROCESSING
15.35/15.54 c GARBAGE COLLECT
15.35/15.54 c rational objective 7
19.54/19.72 c #Conflicts: 16000 | #Constraints: 35466
19.54/19.72 c #Conflicts: 17000 | #Constraints: 36467
19.54/19.72 c #Conflicts: 18000 | #Constraints: 37472
19.54/19.72 c INPROCESSING
19.54/19.72 c GARBAGE COLLECT
19.54/19.72 c rational objective 7
23.62/23.84 c #Conflicts: 19000 | #Constraints: 35511
23.62/23.84 c #Conflicts: 20000 | #Constraints: 36513
23.62/23.84 c #Conflicts: 21000 | #Constraints: 37515
23.62/23.84 c INPROCESSING
23.62/23.84 c GARBAGE COLLECT
23.62/23.84 c rational objective 7
28.20/28.43 c #Conflicts: 22000 | #Constraints: 35291
28.20/28.43 c #Conflicts: 23000 | #Constraints: 36292
28.20/28.43 c #Conflicts: 24000 | #Constraints: 37294
28.20/28.43 c #Conflicts: 25000 | #Constraints: 38295
28.20/28.43 c INPROCESSING
28.20/28.43 c GARBAGE COLLECT
28.20/28.43 c rational objective 7
33.29/33.53 c #Conflicts: 26000 | #Constraints: 35883
33.29/33.53 c #Conflicts: 27000 | #Constraints: 36884
33.29/33.53 c #Conflicts: 28000 | #Constraints: 37885
33.29/33.53 c #Conflicts: 29000 | #Constraints: 38887
33.29/33.53 c INPROCESSING
33.29/33.53 c GARBAGE COLLECT
33.29/33.53 c rational objective 7
39.88/40.33 c #Conflicts: 30000 | #Constraints: 36275
39.88/40.33 c #Conflicts: 31000 | #Constraints: 37276
39.88/40.33 c #Conflicts: 32000 | #Constraints: 38279
39.88/40.33 c #Conflicts: 33000 | #Constraints: 39280
39.88/40.33 c INPROCESSING
39.88/40.33 c GARBAGE COLLECT
39.88/40.33 c rational objective 7
44.57/45.08 c #Conflicts: 34000 | #Constraints: 36475
44.57/45.08 c #Conflicts: 35000 | #Constraints: 37477
44.57/45.08 c #Conflicts: 36000 | #Constraints: 38480
44.57/45.08 c #Conflicts: 37000 | #Constraints: 39483
44.57/45.08 c INPROCESSING
44.57/45.08 c GARBAGE COLLECT
44.57/45.08 c rational objective 7
48.85/49.33 c #Conflicts: 38000 | #Constraints: 36480
48.85/49.33 c #Conflicts: 39000 | #Constraints: 37481
48.85/49.33 c #Conflicts: 40000 | #Constraints: 38481
48.85/49.33 c #Conflicts: 41000 | #Constraints: 39485
48.85/49.33 c INPROCESSING
48.85/49.33 c GARBAGE COLLECT
48.85/49.33 c rational objective 7
53.23/53.76 c #Conflicts: 42000 | #Constraints: 36252
53.23/53.76 c #Conflicts: 43000 | #Constraints: 37253
53.23/53.76 c #Conflicts: 44000 | #Constraints: 38256
53.23/53.76 c #Conflicts: 45000 | #Constraints: 39264
53.23/53.76 c #Conflicts: 46000 | #Constraints: 40268
53.23/53.76 c INPROCESSING
53.23/53.76 c GARBAGE COLLECT
53.23/53.76 c rational objective 7
58.53/59.08 c #Conflicts: 47000 | #Constraints: 36812
58.53/59.08 c #Conflicts: 48000 | #Constraints: 37818
58.53/59.08 c #Conflicts: 49000 | #Constraints: 38824
58.53/59.08 c #Conflicts: 50000 | #Constraints: 39827
58.53/59.08 c #Conflicts: 51000 | #Constraints: 40829
58.53/59.08 c INPROCESSING
58.53/59.08 c GARBAGE COLLECT
58.53/59.08 c rational objective 7
63.40/63.95 c #Conflicts: 52000 | #Constraints: 37214
63.40/63.95 c #Conflicts: 53000 | #Constraints: 38217
63.40/63.95 c #Conflicts: 54000 | #Constraints: 39220
63.40/63.95 c #Conflicts: 55000 | #Constraints: 40223
63.40/63.95 c #Conflicts: 56000 | #Constraints: 41224
63.40/63.95 c INPROCESSING
63.40/63.95 c GARBAGE COLLECT
63.40/63.95 c rational objective 7
70.10/70.84 c #Conflicts: 57000 | #Constraints: 37411
70.10/70.84 c #Conflicts: 58000 | #Constraints: 38414
70.10/70.84 c #Conflicts: 59000 | #Constraints: 39420
70.10/70.84 c #Conflicts: 60000 | #Constraints: 40425
70.10/70.84 c #Conflicts: 61000 | #Constraints: 41432
70.10/70.84 c INPROCESSING
70.10/70.84 c GARBAGE COLLECT
70.10/70.84 c rational objective 7
76.87/77.61 c #Conflicts: 62000 | #Constraints: 37402
76.87/77.61 c #Conflicts: 63000 | #Constraints: 38402
76.87/77.61 c #Conflicts: 64000 | #Constraints: 39402
76.87/77.61 c #Conflicts: 65000 | #Constraints: 40402
76.87/77.61 c #Conflicts: 66000 | #Constraints: 41403
76.87/77.61 c INPROCESSING
76.87/77.61 c GARBAGE COLLECT
76.87/77.61 c rational objective 7
81.86/82.61 c #Conflicts: 67000 | #Constraints: 37189
81.86/82.61 c #Conflicts: 68000 | #Constraints: 38190
81.86/82.61 c #Conflicts: 69000 | #Constraints: 39192
81.86/82.61 c #Conflicts: 70000 | #Constraints: 40194
81.86/82.61 c #Conflicts: 71000 | #Constraints: 41197
81.86/82.61 c #Conflicts: 72000 | #Constraints: 42199
81.86/82.61 c INPROCESSING
81.86/82.61 c GARBAGE COLLECT
81.86/82.61 c rational objective 7
88.43/89.20 c #Conflicts: 73000 | #Constraints: 37788
88.43/89.20 c #Conflicts: 74000 | #Constraints: 38788
88.43/89.20 c #Conflicts: 75000 | #Constraints: 39790
88.43/89.20 c #Conflicts: 76000 | #Constraints: 40793
88.43/89.20 c #Conflicts: 77000 | #Constraints: 41796
88.43/89.20 c #Conflicts: 78000 | #Constraints: 42798
88.43/89.20 c INPROCESSING
88.43/89.20 c GARBAGE COLLECT
88.43/89.20 c rational objective 7
94.34/95.14 c #Conflicts: 79000 | #Constraints: 38174
94.34/95.14 c #Conflicts: 80000 | #Constraints: 39179
94.34/95.14 c #Conflicts: 81000 | #Constraints: 40179
94.34/95.14 c #Conflicts: 82000 | #Constraints: 41181
94.34/95.14 c #Conflicts: 83000 | #Constraints: 42182
94.34/95.14 c #Conflicts: 84000 | #Constraints: 43188
94.34/95.14 c INPROCESSING
94.34/95.14 c GARBAGE COLLECT
94.34/95.14 c rational objective 7
103.60/104.61 c #Conflicts: 85000 | #Constraints: 38379
103.60/104.61 c #Conflicts: 86000 | #Constraints: 39379
103.60/104.61 c #Conflicts: 87000 | #Constraints: 40382
103.60/104.61 c #Conflicts: 88000 | #Constraints: 41388
103.60/104.61 c #Conflicts: 89000 | #Constraints: 42390
103.60/104.61 c #Conflicts: 90000 | #Constraints: 43390
103.60/104.61 c INPROCESSING
103.60/104.61 c GARBAGE COLLECT
103.60/104.61 c rational objective 7
116.07/117.17 c #Conflicts: 91000 | #Constraints: 38382
116.07/117.17 c #Conflicts: 92000 | #Constraints: 39384
116.07/117.17 c #Conflicts: 93000 | #Constraints: 40385
116.07/117.17 c #Conflicts: 94000 | #Constraints: 41387
116.07/117.17 c #Conflicts: 95000 | #Constraints: 42389
116.07/117.17 c #Conflicts: 96000 | #Constraints: 43389
116.07/117.17 c INPROCESSING
116.07/117.17 c GARBAGE COLLECT
116.07/117.17 c rational objective 7
123.44/124.54 c #Conflicts: 97000 | #Constraints: 38173
123.44/124.54 c #Conflicts: 98000 | #Constraints: 39174
123.44/124.54 c #Conflicts: 99000 | #Constraints: 40174
123.44/124.54 c #Conflicts: 100000 | #Constraints: 41177
123.44/124.54 c #Conflicts: 101000 | #Constraints: 42182
123.44/124.54 c #Conflicts: 102000 | #Constraints: 43186
123.44/124.54 c #Conflicts: 103000 | #Constraints: 44188
123.44/124.54 c INPROCESSING
123.44/124.54 c GARBAGE COLLECT
123.44/124.54 c rational objective 7
132.08/133.39 c #Conflicts: 104000 | #Constraints: 38763
132.08/133.39 c #Conflicts: 105000 | #Constraints: 39763
132.08/133.39 c #Conflicts: 106000 | #Constraints: 40764
132.08/133.39 c #Conflicts: 107000 | #Constraints: 41767
132.08/133.39 c #Conflicts: 108000 | #Constraints: 42769
132.08/133.39 c #Conflicts: 109000 | #Constraints: 43771
132.08/133.39 c #Conflicts: 110000 | #Constraints: 44775
132.08/133.39 c INPROCESSING
132.08/133.39 c GARBAGE COLLECT
132.08/133.39 c rational objective 7
140.26/141.59 c #Conflicts: 111000 | #Constraints: 39159
140.26/141.59 c #Conflicts: 112000 | #Constraints: 40163
140.26/141.59 c #Conflicts: 113000 | #Constraints: 41167
140.26/141.59 c #Conflicts: 114000 | #Constraints: 42170
140.26/141.59 c #Conflicts: 115000 | #Constraints: 43173
140.26/141.59 c #Conflicts: 116000 | #Constraints: 44177
140.26/141.59 c #Conflicts: 117000 | #Constraints: 45181
140.26/141.59 c INPROCESSING
140.26/141.59 c GARBAGE COLLECT
140.26/141.59 c rational objective 7
149.23/150.59 c #Conflicts: 118000 | #Constraints: 39296
149.23/150.59 c #Conflicts: 119000 | #Constraints: 40297
149.23/150.59 c #Conflicts: 120000 | #Constraints: 41298
149.23/150.59 c #Conflicts: 121000 | #Constraints: 42298
149.23/150.59 c #Conflicts: 122000 | #Constraints: 43301
149.23/150.59 c #Conflicts: 123000 | #Constraints: 44302
149.23/150.59 c #Conflicts: 124000 | #Constraints: 45302
149.23/150.59 c INPROCESSING
149.23/150.59 c GARBAGE COLLECT
149.23/150.59 c rational objective 7
158.45/159.98 c #Conflicts: 125000 | #Constraints: 39283
158.45/159.98 c #Conflicts: 126000 | #Constraints: 40284
158.45/159.98 c #Conflicts: 127000 | #Constraints: 41286
158.45/159.98 c #Conflicts: 128000 | #Constraints: 42288
158.45/159.98 c #Conflicts: 129000 | #Constraints: 43294
158.45/159.98 c #Conflicts: 130000 | #Constraints: 44301
158.45/159.98 c #Conflicts: 131000 | #Constraints: 45301
158.45/159.98 c INPROCESSING
158.45/159.98 c GARBAGE COLLECT
158.45/159.98 c rational objective 7
169.67/171.28 c #Conflicts: 132000 | #Constraints: 39073
169.67/171.28 c #Conflicts: 133000 | #Constraints: 40073
169.67/171.28 c #Conflicts: 134000 | #Constraints: 41074
169.67/171.28 c #Conflicts: 135000 | #Constraints: 42076
169.67/171.28 c #Conflicts: 136000 | #Constraints: 43078
169.67/171.28 c #Conflicts: 137000 | #Constraints: 44080
169.67/171.28 c #Conflicts: 138000 | #Constraints: 45083
169.67/171.28 c #Conflicts: 139000 | #Constraints: 46086
169.67/171.28 c INPROCESSING
169.67/171.28 c GARBAGE COLLECT
169.67/171.28 c rational objective 7
180.94/182.55 c #Conflicts: 140000 | #Constraints: 39685
180.94/182.55 c #Conflicts: 141000 | #Constraints: 40685
180.94/182.55 c #Conflicts: 142000 | #Constraints: 41686
180.94/182.55 c #Conflicts: 143000 | #Constraints: 42689
180.94/182.55 c #Conflicts: 144000 | #Constraints: 43691
180.94/182.55 c #Conflicts: 145000 | #Constraints: 44694
180.94/182.55 c #Conflicts: 146000 | #Constraints: 45698
180.94/182.55 c #Conflicts: 147000 | #Constraints: 46699
180.94/182.55 c INPROCESSING
180.94/182.55 c GARBAGE COLLECT
180.94/182.55 c rational objective 7
194.25/197.15 c #Conflicts: 148000 | #Constraints: 40042
194.25/197.15 c #Conflicts: 149000 | #Constraints: 41042
194.25/197.15 c #Conflicts: 150000 | #Constraints: 42045
194.25/197.15 c #Conflicts: 151000 | #Constraints: 43047
194.25/197.15 c #Conflicts: 152000 | #Constraints: 44049
194.25/197.15 c #Conflicts: 153000 | #Constraints: 45051
194.25/197.15 c #Conflicts: 154000 | #Constraints: 46051
194.25/197.15 c #Conflicts: 155000 | #Constraints: 47053
194.25/197.15 c INPROCESSING
194.25/197.15 c GARBAGE COLLECT
194.25/197.15 c rational objective 7
207.96/210.95 c #Conflicts: 156000 | #Constraints: 40233
207.96/210.95 c #Conflicts: 157000 | #Constraints: 41234
207.96/210.95 c #Conflicts: 158000 | #Constraints: 42234
207.96/210.95 c #Conflicts: 159000 | #Constraints: 43235
207.96/210.95 c #Conflicts: 160000 | #Constraints: 44240
207.96/210.95 c #Conflicts: 161000 | #Constraints: 45243
207.96/210.95 c #Conflicts: 162000 | #Constraints: 46252
207.96/210.95 c #Conflicts: 163000 | #Constraints: 47255
207.96/210.95 c INPROCESSING
207.96/210.95 c GARBAGE COLLECT
207.96/210.95 c rational objective 7
222.41/225.41 c #Conflicts: 164000 | #Constraints: 40140
222.41/225.41 c #Conflicts: 165000 | #Constraints: 41140
222.41/225.41 c #Conflicts: 166000 | #Constraints: 42143
222.41/225.41 c #Conflicts: 167000 | #Constraints: 43145
222.41/225.41 c #Conflicts: 168000 | #Constraints: 44150
222.41/225.41 c #Conflicts: 169000 | #Constraints: 45151
222.41/225.41 c #Conflicts: 170000 | #Constraints: 46153
222.41/225.41 c #Conflicts: 171000 | #Constraints: 47155
222.41/225.41 c INPROCESSING
222.41/225.41 c GARBAGE COLLECT
222.41/225.41 c rational objective 7
233.68/236.72 c #Conflicts: 172000 | #Constraints: 39927
233.68/236.72 c #Conflicts: 173000 | #Constraints: 40927
233.68/236.72 c #Conflicts: 174000 | #Constraints: 41930
233.68/236.72 c #Conflicts: 175000 | #Constraints: 42933
233.68/236.72 c #Conflicts: 176000 | #Constraints: 43936
233.68/236.72 c #Conflicts: 177000 | #Constraints: 44937
233.68/236.72 c #Conflicts: 178000 | #Constraints: 45939
233.68/236.72 c #Conflicts: 179000 | #Constraints: 46941
233.68/236.72 c #Conflicts: 180000 | #Constraints: 47942
233.68/236.72 c INPROCESSING
233.68/236.72 c GARBAGE COLLECT
233.68/236.72 c rational objective 7
243.65/246.72 c #Conflicts: 181000 | #Constraints: 40455
243.65/246.72 c #Conflicts: 182000 | #Constraints: 41457
243.65/246.72 c #Conflicts: 183000 | #Constraints: 42463
243.65/246.72 c #Conflicts: 184000 | #Constraints: 43464
243.65/246.72 c #Conflicts: 185000 | #Constraints: 44475
243.65/246.72 c #Conflicts: 186000 | #Constraints: 45480
243.65/246.72 c #Conflicts: 187000 | #Constraints: 46482
243.65/246.72 c #Conflicts: 188000 | #Constraints: 47485
243.65/246.72 c #Conflicts: 189000 | #Constraints: 48486
243.65/246.72 c INPROCESSING
243.65/246.72 c GARBAGE COLLECT
243.65/246.72 c rational objective 7
259.48/262.79 c #Conflicts: 190000 | #Constraints: 40871
259.48/262.79 c #Conflicts: 191000 | #Constraints: 41871
259.48/262.79 c #Conflicts: 192000 | #Constraints: 42873
259.48/262.79 c #Conflicts: 193000 | #Constraints: 43875
259.48/262.79 c #Conflicts: 194000 | #Constraints: 44877
259.48/262.79 c #Conflicts: 195000 | #Constraints: 45881
259.48/262.79 c #Conflicts: 196000 | #Constraints: 46882
259.48/262.79 c #Conflicts: 197000 | #Constraints: 47884
259.48/262.79 c #Conflicts: 198000 | #Constraints: 48884
259.48/262.79 c INPROCESSING
259.48/262.79 c GARBAGE COLLECT
259.48/262.79 c rational objective 7
278.93/282.35 c #Conflicts: 199000 | #Constraints: 40989
278.93/282.35 c #Conflicts: 200000 | #Constraints: 41989
278.93/282.35 c #Conflicts: 201000 | #Constraints: 42991
278.93/282.35 c #Conflicts: 202000 | #Constraints: 43993
278.93/282.35 c #Conflicts: 203000 | #Constraints: 44994
278.93/282.35 c #Conflicts: 204000 | #Constraints: 45995
278.93/282.35 c #Conflicts: 205000 | #Constraints: 46997
278.93/282.35 c #Conflicts: 206000 | #Constraints: 47997
278.93/282.35 c #Conflicts: 207000 | #Constraints: 48998
278.93/282.35 c INPROCESSING
278.93/282.35 c GARBAGE COLLECT
278.93/282.35 c rational objective 7
300.59/304.24 c #Conflicts: 208000 | #Constraints: 40998
300.59/304.24 c #Conflicts: 209000 | #Constraints: 41998
300.59/304.24 c #Conflicts: 210000 | #Constraints: 43000
300.59/304.24 c #Conflicts: 211000 | #Constraints: 44001
300.59/304.24 c #Conflicts: 212000 | #Constraints: 45002
300.59/304.24 c #Conflicts: 213000 | #Constraints: 46003
300.59/304.24 c #Conflicts: 214000 | #Constraints: 47004
300.59/304.24 c #Conflicts: 215000 | #Constraints: 48005
300.59/304.24 c #Conflicts: 216000 | #Constraints: 49005
300.59/304.24 c INPROCESSING
300.59/304.24 c GARBAGE COLLECT
300.59/304.24 c rational objective 7
323.79/327.60 c #Conflicts: 217000 | #Constraints: 40787
323.79/327.60 c #Conflicts: 218000 | #Constraints: 41787
323.79/327.60 c #Conflicts: 219000 | #Constraints: 42788
323.79/327.60 c #Conflicts: 220000 | #Constraints: 43788
323.79/327.60 c #Conflicts: 221000 | #Constraints: 44790
323.79/327.60 c #Conflicts: 222000 | #Constraints: 45792
323.79/327.60 c #Conflicts: 223000 | #Constraints: 46794
323.79/327.60 c #Conflicts: 224000 | #Constraints: 47795
323.79/327.60 c #Conflicts: 225000 | #Constraints: 48796
323.79/327.60 c #Conflicts: 226000 | #Constraints: 49797
323.79/327.60 c INPROCESSING
323.79/327.60 c GARBAGE COLLECT
323.79/327.60 c rational objective 7
339.05/342.96 c #Conflicts: 227000 | #Constraints: 41372
339.05/342.96 c #Conflicts: 228000 | #Constraints: 42372
339.05/342.96 c #Conflicts: 229000 | #Constraints: 43374
339.05/342.96 c #Conflicts: 230000 | #Constraints: 44377
339.05/342.96 c #Conflicts: 231000 | #Constraints: 45379
339.05/342.96 c #Conflicts: 232000 | #Constraints: 46380
339.05/342.96 c #Conflicts: 233000 | #Constraints: 47381
339.05/342.96 c #Conflicts: 234000 | #Constraints: 48382
339.05/342.96 c #Conflicts: 235000 | #Constraints: 49385
339.05/342.96 c #Conflicts: 236000 | #Constraints: 50386
339.05/342.96 c INPROCESSING
339.05/342.96 c GARBAGE COLLECT
339.05/342.96 c rational objective 7
354.60/359.83 c #Conflicts: 237000 | #Constraints: 41781
354.60/359.83 c #Conflicts: 238000 | #Constraints: 42783
354.60/359.83 c #Conflicts: 239000 | #Constraints: 43788
354.60/359.83 c #Conflicts: 240000 | #Constraints: 44790
354.60/359.83 c #Conflicts: 241000 | #Constraints: 45792
354.60/359.83 c #Conflicts: 242000 | #Constraints: 46794
354.60/359.83 c #Conflicts: 243000 | #Constraints: 47795
354.60/359.83 c #Conflicts: 244000 | #Constraints: 48796
354.60/359.83 c #Conflicts: 245000 | #Constraints: 49799
354.60/359.83 c #Conflicts: 246000 | #Constraints: 50801
354.60/359.83 c INPROCESSING
354.60/359.83 c GARBAGE COLLECT
354.60/359.83 c rational objective 7
374.90/380.31 c #Conflicts: 247000 | #Constraints: 41961
374.90/380.31 c #Conflicts: 248000 | #Constraints: 42963
374.90/380.31 c #Conflicts: 249000 | #Constraints: 43963
374.90/380.31 c #Conflicts: 250000 | #Constraints: 44964
374.90/380.31 c #Conflicts: 251000 | #Constraints: 45966
374.90/380.31 c #Conflicts: 252000 | #Constraints: 46967
374.90/380.31 c #Conflicts: 253000 | #Constraints: 47969
374.90/380.31 c #Conflicts: 254000 | #Constraints: 48970
374.90/380.31 c #Conflicts: 255000 | #Constraints: 49971
374.90/380.31 c #Conflicts: 256000 | #Constraints: 50972
374.90/380.31 c INPROCESSING
374.90/380.31 c GARBAGE COLLECT
374.90/380.31 c rational objective 7
389.45/395.02 c #Conflicts: 257000 | #Constraints: 41922
389.45/395.02 c #Conflicts: 258000 | #Constraints: 42923
389.45/395.02 c #Conflicts: 259000 | #Constraints: 43924
389.45/395.02 c #Conflicts: 260000 | #Constraints: 44924
389.45/395.02 c #Conflicts: 261000 | #Constraints: 45926
389.45/395.02 c #Conflicts: 262000 | #Constraints: 46927
389.45/395.02 c #Conflicts: 263000 | #Constraints: 47930
389.45/395.02 c #Conflicts: 264000 | #Constraints: 48933
389.45/395.02 c #Conflicts: 265000 | #Constraints: 49934
389.45/395.02 c #Conflicts: 266000 | #Constraints: 50937
389.45/395.02 c INPROCESSING
389.45/395.02 c GARBAGE COLLECT
389.45/395.02 c rational objective 7
409.43/415.32 c #Conflicts: 267000 | #Constraints: 41687
409.43/415.32 c #Conflicts: 268000 | #Constraints: 42691
409.43/415.32 c #Conflicts: 269000 | #Constraints: 43692
409.43/415.32 c #Conflicts: 270000 | #Constraints: 44692
409.43/415.32 c #Conflicts: 271000 | #Constraints: 45693
409.43/415.32 c #Conflicts: 272000 | #Constraints: 46693
409.43/415.32 c #Conflicts: 273000 | #Constraints: 47694
409.43/415.32 c #Conflicts: 274000 | #Constraints: 48695
409.43/415.32 c #Conflicts: 275000 | #Constraints: 49695
409.43/415.32 c #Conflicts: 276000 | #Constraints: 50696
409.43/415.32 c #Conflicts: 277000 | #Constraints: 51696
409.43/415.32 c INPROCESSING
409.43/415.32 c GARBAGE COLLECT
409.43/415.32 c rational objective 7
425.88/431.88 c #Conflicts: 278000 | #Constraints: 42280
425.88/431.88 c #Conflicts: 279000 | #Constraints: 43281
425.88/431.88 c #Conflicts: 280000 | #Constraints: 44282
425.88/431.88 c #Conflicts: 281000 | #Constraints: 45285
425.88/431.88 c #Conflicts: 282000 | #Constraints: 46285
425.88/431.88 c #Conflicts: 283000 | #Constraints: 47286
425.88/431.88 c #Conflicts: 284000 | #Constraints: 48286
425.88/431.88 c #Conflicts: 285000 | #Constraints: 49287
425.88/431.88 c #Conflicts: 286000 | #Constraints: 50288
425.88/431.88 c #Conflicts: 287000 | #Constraints: 51290
425.88/431.88 c #Conflicts: 288000 | #Constraints: 52291
425.88/431.88 c INPROCESSING
425.88/431.88 c GARBAGE COLLECT
425.88/431.88 c rational objective 7
447.21/453.35 c #Conflicts: 289000 | #Constraints: 42673
447.21/453.35 c #Conflicts: 290000 | #Constraints: 43675
447.21/453.35 c #Conflicts: 291000 | #Constraints: 44676
447.21/453.35 c #Conflicts: 292000 | #Constraints: 45677
447.21/453.35 c #Conflicts: 293000 | #Constraints: 46680
447.21/453.35 c #Conflicts: 294000 | #Constraints: 47682
447.21/453.35 c #Conflicts: 295000 | #Constraints: 48683
447.21/453.35 c #Conflicts: 296000 | #Constraints: 49684
447.21/453.35 c #Conflicts: 297000 | #Constraints: 50685
447.21/453.35 c #Conflicts: 298000 | #Constraints: 51688
447.21/453.35 c #Conflicts: 299000 | #Constraints: 52688
447.21/453.35 c INPROCESSING
447.21/453.35 c GARBAGE COLLECT
447.21/453.35 c rational objective 7
461.37/467.55 c #Conflicts: 300000 | #Constraints: 42841
461.37/467.55 c #Conflicts: 301000 | #Constraints: 43841
461.37/467.55 c #Conflicts: 302000 | #Constraints: 44843
461.37/467.55 c #Conflicts: 303000 | #Constraints: 45844
461.37/467.55 c #Conflicts: 304000 | #Constraints: 46846
461.37/467.55 c #Conflicts: 305000 | #Constraints: 47850
461.37/467.55 c #Conflicts: 306000 | #Constraints: 48852
461.37/467.55 c #Conflicts: 307000 | #Constraints: 49857
461.37/467.55 c #Conflicts: 308000 | #Constraints: 50857
461.37/467.55 c #Conflicts: 309000 | #Constraints: 51858
461.37/467.55 c #Conflicts: 310000 | #Constraints: 52859
461.37/467.55 c INPROCESSING
461.37/467.55 c GARBAGE COLLECT
461.37/467.55 c rational objective 7
478.86/485.14 c #Conflicts: 311000 | #Constraints: 42836
478.86/485.14 c #Conflicts: 312000 | #Constraints: 43837
478.86/485.14 c #Conflicts: 313000 | #Constraints: 44841
478.86/485.14 c #Conflicts: 314000 | #Constraints: 45842
478.86/485.14 c #Conflicts: 315000 | #Constraints: 46843
478.86/485.14 c #Conflicts: 316000 | #Constraints: 47843
478.86/485.14 c #Conflicts: 317000 | #Constraints: 48845
478.86/485.14 c #Conflicts: 318000 | #Constraints: 49847
478.86/485.14 c #Conflicts: 319000 | #Constraints: 50848
478.86/485.14 c #Conflicts: 320000 | #Constraints: 51849
478.86/485.14 c #Conflicts: 321000 | #Constraints: 52849
478.86/485.14 c INPROCESSING
478.86/485.14 c GARBAGE COLLECT
478.86/485.14 c rational objective 7
497.79/504.42 c #Conflicts: 322000 | #Constraints: 42629
497.79/504.42 c #Conflicts: 323000 | #Constraints: 43630
497.79/504.42 c #Conflicts: 324000 | #Constraints: 44631
497.79/504.42 c #Conflicts: 325000 | #Constraints: 45632
497.79/504.42 c #Conflicts: 326000 | #Constraints: 46634
497.79/504.42 c #Conflicts: 327000 | #Constraints: 47637
497.79/504.42 c #Conflicts: 328000 | #Constraints: 48639
497.79/504.42 c #Conflicts: 329000 | #Constraints: 49641
497.79/504.42 c #Conflicts: 330000 | #Constraints: 50643
497.79/504.42 c #Conflicts: 331000 | #Constraints: 51647
497.79/504.42 c #Conflicts: 332000 | #Constraints: 52653
497.79/504.42 c #Conflicts: 333000 | #Constraints: 53654
497.79/504.42 c INPROCESSING
497.79/504.42 c GARBAGE COLLECT
497.79/504.42 c rational objective 7
515.45/522.12 c #Conflicts: 334000 | #Constraints: 43243
515.45/522.12 c #Conflicts: 335000 | #Constraints: 44244
515.45/522.12 c #Conflicts: 336000 | #Constraints: 45252
515.45/522.12 c #Conflicts: 337000 | #Constraints: 46254
515.45/522.12 c #Conflicts: 338000 | #Constraints: 47258
515.45/522.12 c #Conflicts: 339000 | #Constraints: 48260
515.45/522.12 c #Conflicts: 340000 | #Constraints: 49266
515.45/522.12 c #Conflicts: 341000 | #Constraints: 50267
515.45/522.12 c #Conflicts: 342000 | #Constraints: 51269
515.45/522.12 c #Conflicts: 343000 | #Constraints: 52270
515.45/522.12 c #Conflicts: 344000 | #Constraints: 53271
515.45/522.12 c #Conflicts: 345000 | #Constraints: 54274
515.45/522.12 c INPROCESSING
515.45/522.12 c GARBAGE COLLECT
515.45/522.12 c rational objective 7
534.14/541.10 c #Conflicts: 346000 | #Constraints: 43633
534.14/541.10 c #Conflicts: 347000 | #Constraints: 44634
534.14/541.10 c #Conflicts: 348000 | #Constraints: 45638
534.14/541.10 c #Conflicts: 349000 | #Constraints: 46641
534.14/541.10 c #Conflicts: 350000 | #Constraints: 47642
534.14/541.10 c #Conflicts: 351000 | #Constraints: 48644
534.14/541.10 c #Conflicts: 352000 | #Constraints: 49647
534.14/541.10 c #Conflicts: 353000 | #Constraints: 50651
534.14/541.10 c #Conflicts: 354000 | #Constraints: 51655
534.14/541.10 c #Conflicts: 355000 | #Constraints: 52657
534.14/541.10 c #Conflicts: 356000 | #Constraints: 53659
534.14/541.10 c #Conflicts: 357000 | #Constraints: 54662
534.14/541.10 c INPROCESSING
534.14/541.10 c GARBAGE COLLECT
534.14/541.10 c rational objective 7
552.97/560.00 c #Conflicts: 358000 | #Constraints: 43830
552.97/560.00 c #Conflicts: 359000 | #Constraints: 44832
552.97/560.00 c #Conflicts: 360000 | #Constraints: 45837
552.97/560.00 c #Conflicts: 361000 | #Constraints: 46839
552.97/560.00 c #Conflicts: 362000 | #Constraints: 47842
552.97/560.00 c #Conflicts: 363000 | #Constraints: 48843
552.97/560.00 c #Conflicts: 364000 | #Constraints: 49843
552.97/560.00 c #Conflicts: 365000 | #Constraints: 50844
552.97/560.00 c #Conflicts: 366000 | #Constraints: 51846
552.97/560.00 c #Conflicts: 367000 | #Constraints: 52850
552.97/560.00 c #Conflicts: 368000 | #Constraints: 53853
552.97/560.00 c #Conflicts: 369000 | #Constraints: 54854
552.97/560.00 c INPROCESSING
552.97/560.00 c GARBAGE COLLECT
552.97/560.00 c rational objective 7
576.50/583.61 c #Conflicts: 370000 | #Constraints: 43832
576.50/583.61 c #Conflicts: 371000 | #Constraints: 44836
576.50/583.61 c #Conflicts: 372000 | #Constraints: 45838
576.50/583.61 c #Conflicts: 373000 | #Constraints: 46839
576.50/583.61 c #Conflicts: 374000 | #Constraints: 47840
576.50/583.61 c #Conflicts: 375000 | #Constraints: 48840
576.50/583.61 c #Conflicts: 376000 | #Constraints: 49843
576.50/583.61 c #Conflicts: 377000 | #Constraints: 50844
576.50/583.61 c #Conflicts: 378000 | #Constraints: 51844
576.50/583.61 c #Conflicts: 379000 | #Constraints: 52846
576.50/583.61 c #Conflicts: 380000 | #Constraints: 53847
576.50/583.61 c #Conflicts: 381000 | #Constraints: 54850
576.50/583.61 c INPROCESSING
576.50/583.61 c GARBAGE COLLECT
576.50/583.61 c rational objective 7
601.70/609.06 c #Conflicts: 382000 | #Constraints: 43600
601.70/609.06 c #Conflicts: 383000 | #Constraints: 44601
601.70/609.06 c #Conflicts: 384000 | #Constraints: 45602
601.70/609.06 c #Conflicts: 385000 | #Constraints: 46603
601.70/609.06 c #Conflicts: 386000 | #Constraints: 47606
601.70/609.06 c #Conflicts: 387000 | #Constraints: 48608
601.70/609.06 c #Conflicts: 388000 | #Constraints: 49609
601.70/609.06 c #Conflicts: 389000 | #Constraints: 50610
601.70/609.06 c #Conflicts: 390000 | #Constraints: 51612
601.70/609.06 c #Conflicts: 391000 | #Constraints: 52612
601.70/609.06 c #Conflicts: 392000 | #Constraints: 53612
601.70/609.06 c #Conflicts: 393000 | #Constraints: 54614
601.70/609.06 c #Conflicts: 394000 | #Constraints: 55614
601.70/609.06 c INPROCESSING
601.70/609.06 c GARBAGE COLLECT
601.70/609.06 c rational objective 7
634.43/641.93 c #Conflicts: 395000 | #Constraints: 44183
634.43/641.93 c #Conflicts: 396000 | #Constraints: 45183
634.43/641.93 c #Conflicts: 397000 | #Constraints: 46188
634.43/641.93 c #Conflicts: 398000 | #Constraints: 47190
634.43/641.93 c #Conflicts: 399000 | #Constraints: 48191
634.43/641.93 c #Conflicts: 400000 | #Constraints: 49192
634.43/641.93 c #Conflicts: 401000 | #Constraints: 50194
634.43/641.93 c #Conflicts: 402000 | #Constraints: 51195
634.43/641.93 c #Conflicts: 403000 | #Constraints: 52196
634.43/641.93 c #Conflicts: 404000 | #Constraints: 53197
634.43/641.93 c #Conflicts: 405000 | #Constraints: 54201
634.43/641.93 c #Conflicts: 406000 | #Constraints: 55204
634.43/641.93 c #Conflicts: 407000 | #Constraints: 56205
634.43/641.93 c INPROCESSING
634.43/641.93 c GARBAGE COLLECT
634.43/641.93 c rational objective 7
661.21/668.92 c #Conflicts: 408000 | #Constraints: 44572
661.21/668.92 c #Conflicts: 409000 | #Constraints: 45572
661.21/668.92 c #Conflicts: 410000 | #Constraints: 46573
661.21/668.92 c #Conflicts: 411000 | #Constraints: 47576
661.21/668.92 c #Conflicts: 412000 | #Constraints: 48580
661.21/668.92 c #Conflicts: 413000 | #Constraints: 49583
661.21/668.92 c #Conflicts: 414000 | #Constraints: 50586
661.21/668.92 c #Conflicts: 415000 | #Constraints: 51588
661.21/668.92 c #Conflicts: 416000 | #Constraints: 52591
661.21/668.92 c #Conflicts: 417000 | #Constraints: 53594
661.21/668.92 c #Conflicts: 418000 | #Constraints: 54596
661.21/668.92 c #Conflicts: 419000 | #Constraints: 55597
661.21/668.92 c #Conflicts: 420000 | #Constraints: 56598
661.21/668.92 c INPROCESSING
661.21/668.92 c GARBAGE COLLECT
661.21/668.92 c rational objective 7
694.00/701.92 c #Conflicts: 421000 | #Constraints: 44819
694.00/701.92 c #Conflicts: 422000 | #Constraints: 45820
694.00/701.92 c #Conflicts: 423000 | #Constraints: 46823
694.00/701.92 c #Conflicts: 424000 | #Constraints: 47826
694.00/701.92 c #Conflicts: 425000 | #Constraints: 48828
694.00/701.92 c #Conflicts: 426000 | #Constraints: 49830
694.00/701.92 c #Conflicts: 427000 | #Constraints: 50832
694.00/701.92 c #Conflicts: 428000 | #Constraints: 51835
694.00/701.92 c #Conflicts: 429000 | #Constraints: 52836
694.00/701.92 c #Conflicts: 430000 | #Constraints: 53838
694.00/701.92 c #Conflicts: 431000 | #Constraints: 54839
694.00/701.92 c #Conflicts: 432000 | #Constraints: 55840
694.00/701.92 c #Conflicts: 433000 | #Constraints: 56842
694.00/701.92 c INPROCESSING
694.00/701.92 c GARBAGE COLLECT
694.00/701.92 c rational objective 7
724.77/732.94 c #Conflicts: 434000 | #Constraints: 44776
724.77/732.94 c #Conflicts: 435000 | #Constraints: 45780
724.77/732.94 c #Conflicts: 436000 | #Constraints: 46785
724.77/732.94 c #Conflicts: 437000 | #Constraints: 47788
724.77/732.94 c #Conflicts: 438000 | #Constraints: 48793
724.77/732.94 c #Conflicts: 439000 | #Constraints: 49796
724.77/732.94 c #Conflicts: 440000 | #Constraints: 50798
724.77/732.94 c #Conflicts: 441000 | #Constraints: 51800
724.77/732.94 c #Conflicts: 442000 | #Constraints: 52801
724.77/732.94 c #Conflicts: 443000 | #Constraints: 53803
724.77/732.94 c #Conflicts: 444000 | #Constraints: 54805
724.77/732.94 c #Conflicts: 445000 | #Constraints: 55806
724.77/732.94 c #Conflicts: 446000 | #Constraints: 56810
724.77/732.94 c INPROCESSING
724.77/732.94 c GARBAGE COLLECT
724.77/732.94 c rational objective 7
746.90/755.23 c #Conflicts: 447000 | #Constraints: 44576
746.90/755.23 c #Conflicts: 448000 | #Constraints: 45577
746.90/755.23 c #Conflicts: 449000 | #Constraints: 46587
746.90/755.23 c #Conflicts: 450000 | #Constraints: 47590
746.90/755.23 c #Conflicts: 451000 | #Constraints: 48592
746.90/755.23 c #Conflicts: 452000 | #Constraints: 49594
746.90/755.23 c #Conflicts: 453000 | #Constraints: 50596
746.90/755.23 c #Conflicts: 454000 | #Constraints: 51599
746.90/755.23 c #Conflicts: 455000 | #Constraints: 52607
746.90/755.23 c #Conflicts: 456000 | #Constraints: 53610
746.90/755.23 c #Conflicts: 457000 | #Constraints: 54616
746.90/755.23 c #Conflicts: 458000 | #Constraints: 55620
746.90/755.23 c #Conflicts: 459000 | #Constraints: 56623
746.90/755.23 c #Conflicts: 460000 | #Constraints: 57627
746.90/755.23 c INPROCESSING
746.90/755.23 c GARBAGE COLLECT
746.90/755.23 c rational objective 7
795.00/803.75 c #Conflicts: 461000 | #Constraints: 45174
795.00/803.75 c #Conflicts: 462000 | #Constraints: 46179
795.00/803.75 c #Conflicts: 463000 | #Constraints: 47182
795.00/803.75 c #Conflicts: 464000 | #Constraints: 48183
795.00/803.75 c #Conflicts: 465000 | #Constraints: 49183
795.00/803.75 c #Conflicts: 466000 | #Constraints: 50184
795.00/803.75 c #Conflicts: 467000 | #Constraints: 51185
795.00/803.75 c #Conflicts: 468000 | #Constraints: 52186
795.00/803.75 c #Conflicts: 469000 | #Constraints: 53187
795.00/803.75 c #Conflicts: 470000 | #Constraints: 54187
795.00/803.75 c #Conflicts: 471000 | #Constraints: 55188
795.00/803.75 c #Conflicts: 472000 | #Constraints: 56188
795.00/803.75 c #Conflicts: 473000 | #Constraints: 57188
795.00/803.75 c #Conflicts: 474000 | #Constraints: 58188
795.00/803.75 c INPROCESSING
795.00/803.75 c GARBAGE COLLECT
795.00/803.75 c rational objective 7
824.23/833.15 c #Conflicts: 475000 | #Constraints: 45558
824.23/833.15 c #Conflicts: 476000 | #Constraints: 46558
824.23/833.15 c #Conflicts: 477000 | #Constraints: 47563
824.23/833.15 c #Conflicts: 478000 | #Constraints: 48564
824.23/833.15 c #Conflicts: 479000 | #Constraints: 49566
824.23/833.15 c #Conflicts: 480000 | #Constraints: 50568
824.23/833.15 c #Conflicts: 481000 | #Constraints: 51571
824.23/833.15 c #Conflicts: 482000 | #Constraints: 52571
824.23/833.15 c #Conflicts: 483000 | #Constraints: 53572
824.23/833.15 c #Conflicts: 484000 | #Constraints: 54573
824.23/833.15 c #Conflicts: 485000 | #Constraints: 55574
824.23/833.15 c #Conflicts: 486000 | #Constraints: 56574
824.23/833.15 c #Conflicts: 487000 | #Constraints: 57575
824.23/833.15 c #Conflicts: 488000 | #Constraints: 58575
824.23/833.15 c INPROCESSING
824.23/833.15 c GARBAGE COLLECT
824.23/833.15 c rational objective 7
863.86/873.08 c #Conflicts: 489000 | #Constraints: 45760
863.86/873.08 c #Conflicts: 490000 | #Constraints: 46762
863.86/873.08 c #Conflicts: 491000 | #Constraints: 47766
863.86/873.08 c #Conflicts: 492000 | #Constraints: 48769
863.86/873.08 c #Conflicts: 493000 | #Constraints: 49772
863.86/873.08 c #Conflicts: 494000 | #Constraints: 50772
863.86/873.08 c #Conflicts: 495000 | #Constraints: 51773
863.86/873.08 c #Conflicts: 496000 | #Constraints: 52776
863.86/873.08 c #Conflicts: 497000 | #Constraints: 53777
863.86/873.08 c #Conflicts: 498000 | #Constraints: 54778
863.86/873.08 c #Conflicts: 499000 | #Constraints: 55778
863.86/873.08 c #Conflicts: 500000 | #Constraints: 56779
863.86/873.08 c #Conflicts: 501000 | #Constraints: 57780
863.86/873.08 c #Conflicts: 502000 | #Constraints: 58780
863.86/873.08 c INPROCESSING
863.86/873.08 c GARBAGE COLLECT
863.86/873.08 c rational objective 7
903.57/913.06 c #Conflicts: 503000 | #Constraints: 45738
903.57/913.06 c #Conflicts: 504000 | #Constraints: 46738
903.57/913.06 c #Conflicts: 505000 | #Constraints: 47740
903.57/913.06 c #Conflicts: 506000 | #Constraints: 48742
903.57/913.06 c #Conflicts: 507000 | #Constraints: 49743
903.57/913.06 c #Conflicts: 508000 | #Constraints: 50745
903.57/913.06 c #Conflicts: 509000 | #Constraints: 51753
903.57/913.06 c #Conflicts: 510000 | #Constraints: 52757
903.57/913.06 c #Conflicts: 511000 | #Constraints: 53762
903.57/913.06 c #Conflicts: 512000 | #Constraints: 54769
903.57/913.06 c #Conflicts: 513000 | #Constraints: 55779
903.57/913.06 c #Conflicts: 514000 | #Constraints: 56780
903.57/913.06 c #Conflicts: 515000 | #Constraints: 57783
903.57/913.06 c #Conflicts: 516000 | #Constraints: 58784
903.57/913.06 c INPROCESSING
903.57/913.06 c GARBAGE COLLECT
903.57/913.06 c rational objective 7
936.48/946.25 c #Conflicts: 517000 | #Constraints: 45533
936.48/946.25 c #Conflicts: 518000 | #Constraints: 46534
936.48/946.25 c #Conflicts: 519000 | #Constraints: 47537
936.48/946.25 c #Conflicts: 520000 | #Constraints: 48544
936.48/946.25 c #Conflicts: 521000 | #Constraints: 49545
936.48/946.25 c #Conflicts: 522000 | #Constraints: 50545
936.48/946.25 c #Conflicts: 523000 | #Constraints: 51545
936.48/946.25 c #Conflicts: 524000 | #Constraints: 52548
936.48/946.25 c #Conflicts: 525000 | #Constraints: 53548
936.48/946.25 c #Conflicts: 526000 | #Constraints: 54549
936.48/946.25 c #Conflicts: 527000 | #Constraints: 55549
936.48/946.25 c #Conflicts: 528000 | #Constraints: 56551
936.48/946.25 c #Conflicts: 529000 | #Constraints: 57553
936.48/946.25 c #Conflicts: 530000 | #Constraints: 58554
936.48/946.25 c #Conflicts: 531000 | #Constraints: 59556
936.48/946.25 c INPROCESSING
936.48/946.25 c GARBAGE COLLECT
936.48/946.25 c rational objective 7
963.50/973.42 c #Conflicts: 532000 | #Constraints: 46143
963.50/973.42 c #Conflicts: 533000 | #Constraints: 47143
963.50/973.42 c #Conflicts: 534000 | #Constraints: 48143
963.50/973.42 c #Conflicts: 535000 | #Constraints: 49144
963.50/973.42 c #Conflicts: 536000 | #Constraints: 50147
963.50/973.42 c #Conflicts: 537000 | #Constraints: 51147
963.50/973.42 c #Conflicts: 538000 | #Constraints: 52148
963.50/973.42 c #Conflicts: 539000 | #Constraints: 53149
963.50/973.42 c #Conflicts: 540000 | #Constraints: 54150
963.50/973.42 c #Conflicts: 541000 | #Constraints: 55152
963.50/973.42 c #Conflicts: 542000 | #Constraints: 56155
963.50/973.42 c #Conflicts: 543000 | #Constraints: 57156
963.50/973.42 c #Conflicts: 544000 | #Constraints: 58159
963.50/973.42 c #Conflicts: 545000 | #Constraints: 59160
963.50/973.42 c #Conflicts: 546000 | #Constraints: 60163
963.50/973.42 c INPROCESSING
963.50/973.42 c GARBAGE COLLECT
963.50/973.42 c rational objective 7
1005.97/1017.23 c #Conflicts: 547000 | #Constraints: 46516
1005.97/1017.23 c #Conflicts: 548000 | #Constraints: 47517
1005.97/1017.23 c #Conflicts: 549000 | #Constraints: 48521
1005.97/1017.23 c #Conflicts: 550000 | #Constraints: 49522
1005.97/1017.23 c #Conflicts: 551000 | #Constraints: 50523
1005.97/1017.23 c #Conflicts: 552000 | #Constraints: 51524
1005.97/1017.23 c #Conflicts: 553000 | #Constraints: 52527
1005.97/1017.23 c #Conflicts: 554000 | #Constraints: 53528
1005.97/1017.23 c #Conflicts: 555000 | #Constraints: 54529
1005.97/1017.23 c #Conflicts: 556000 | #Constraints: 55530
1005.97/1017.23 c #Conflicts: 557000 | #Constraints: 56532
1005.97/1017.23 c #Conflicts: 558000 | #Constraints: 57534
1005.97/1017.23 c #Conflicts: 559000 | #Constraints: 58536
1005.97/1017.23 c #Conflicts: 560000 | #Constraints: 59537
1005.97/1017.23 c #Conflicts: 561000 | #Constraints: 60538
1005.97/1017.23 c INPROCESSING
1005.97/1017.23 c GARBAGE COLLECT
1005.97/1017.23 c rational objective 7
1032.91/1044.39 c #Conflicts: 562000 | #Constraints: 46690
1032.91/1044.39 c #Conflicts: 563000 | #Constraints: 47691
1032.91/1044.39 c #Conflicts: 564000 | #Constraints: 48691
1032.91/1044.39 c #Conflicts: 565000 | #Constraints: 49692
1032.91/1044.39 c #Conflicts: 566000 | #Constraints: 50694
1032.91/1044.39 c #Conflicts: 567000 | #Constraints: 51695
1032.91/1044.39 c #Conflicts: 568000 | #Constraints: 52696
1032.91/1044.39 c #Conflicts: 569000 | #Constraints: 53700
1032.91/1044.39 c #Conflicts: 570000 | #Constraints: 54701
1032.91/1044.39 c #Conflicts: 571000 | #Constraints: 55702
1032.91/1044.39 c #Conflicts: 572000 | #Constraints: 56706
1032.91/1044.39 c #Conflicts: 573000 | #Constraints: 57708
1032.91/1044.39 c #Conflicts: 574000 | #Constraints: 58712
1032.91/1044.39 c #Conflicts: 575000 | #Constraints: 59714
1032.91/1044.39 c #Conflicts: 576000 | #Constraints: 60716
1032.91/1044.39 c INPROCESSING
1032.91/1044.39 c GARBAGE COLLECT
1032.91/1044.39 c rational objective 7
1061.85/1073.76 c #Conflicts: 577000 | #Constraints: 46712
1061.85/1073.76 c #Conflicts: 578000 | #Constraints: 47713
1061.85/1073.76 c #Conflicts: 579000 | #Constraints: 48715
1061.85/1073.76 c #Conflicts: 580000 | #Constraints: 49719
1061.85/1073.76 c #Conflicts: 581000 | #Constraints: 50721
1061.85/1073.76 c #Conflicts: 582000 | #Constraints: 51723
1061.85/1073.76 c #Conflicts: 583000 | #Constraints: 52726
1061.85/1073.76 c #Conflicts: 584000 | #Constraints: 53728
1061.85/1073.76 c #Conflicts: 585000 | #Constraints: 54733
1061.85/1073.76 c #Conflicts: 586000 | #Constraints: 55735
1061.85/1073.76 c #Conflicts: 587000 | #Constraints: 56737
1061.85/1073.76 c #Conflicts: 588000 | #Constraints: 57738
1061.85/1073.76 c #Conflicts: 589000 | #Constraints: 58740
1061.85/1073.76 c #Conflicts: 590000 | #Constraints: 59742
1061.85/1073.76 c #Conflicts: 591000 | #Constraints: 60744
1061.85/1073.76 c INPROCESSING
1061.85/1073.76 c GARBAGE COLLECT
1061.85/1073.76 c rational objective 7
1095.43/1107.41 c #Conflicts: 592000 | #Constraints: 46504
1095.43/1107.41 c #Conflicts: 593000 | #Constraints: 47504
1095.43/1107.41 c #Conflicts: 594000 | #Constraints: 48505
1095.43/1107.41 c #Conflicts: 595000 | #Constraints: 49507
1095.43/1107.41 c #Conflicts: 596000 | #Constraints: 50508
1095.43/1107.41 c #Conflicts: 597000 | #Constraints: 51508
1095.43/1107.41 c #Conflicts: 598000 | #Constraints: 52509
1095.43/1107.41 c #Conflicts: 599000 | #Constraints: 53513
1095.43/1107.41 c #Conflicts: 600000 | #Constraints: 54514
1095.43/1107.41 c #Conflicts: 601000 | #Constraints: 55515
1095.43/1107.41 c #Conflicts: 602000 | #Constraints: 56515
1095.43/1107.41 c #Conflicts: 603000 | #Constraints: 57516
1095.43/1107.41 c #Conflicts: 604000 | #Constraints: 58517
1095.43/1107.41 c #Conflicts: 605000 | #Constraints: 59519
1095.43/1107.41 c #Conflicts: 606000 | #Constraints: 60520
1095.43/1107.41 c #Conflicts: 607000 | #Constraints: 61522
1095.43/1107.41 c INPROCESSING
1095.43/1107.41 c GARBAGE COLLECT
1095.43/1107.41 c rational objective 7
1135.64/1148.16 c #Conflicts: 608000 | #Constraints: 47088
1135.64/1148.16 c #Conflicts: 609000 | #Constraints: 48089
1135.64/1148.16 c #Conflicts: 610000 | #Constraints: 49091
1135.64/1148.16 c #Conflicts: 611000 | #Constraints: 50093
1135.64/1148.16 c #Conflicts: 612000 | #Constraints: 51095
1135.64/1148.16 c #Conflicts: 613000 | #Constraints: 52096
1135.64/1148.16 c #Conflicts: 614000 | #Constraints: 53097
1135.64/1148.16 c #Conflicts: 615000 | #Constraints: 54099
1135.64/1148.16 c #Conflicts: 616000 | #Constraints: 55102
1135.64/1148.16 c #Conflicts: 617000 | #Constraints: 56103
1135.64/1148.16 c #Conflicts: 618000 | #Constraints: 57104
1135.64/1148.16 c #Conflicts: 619000 | #Constraints: 58104
1135.64/1148.16 c #Conflicts: 620000 | #Constraints: 59107
1135.64/1148.16 c #Conflicts: 621000 | #Constraints: 60108
1135.64/1148.16 c #Conflicts: 622000 | #Constraints: 61110
1135.64/1148.16 c #Conflicts: 623000 | #Constraints: 62114
1135.64/1148.16 c INPROCESSING
1135.64/1148.16 c GARBAGE COLLECT
1135.64/1148.16 c rational objective 7
1170.73/1183.41 c #Conflicts: 624000 | #Constraints: 47463
1170.73/1183.41 c #Conflicts: 625000 | #Constraints: 48465
1170.73/1183.41 c #Conflicts: 626000 | #Constraints: 49472
1170.73/1183.41 c #Conflicts: 627000 | #Constraints: 50472
1170.73/1183.41 c #Conflicts: 628000 | #Constraints: 51474
1170.73/1183.41 c #Conflicts: 629000 | #Constraints: 52476
1170.73/1183.41 c #Conflicts: 630000 | #Constraints: 53478
1170.73/1183.41 c #Conflicts: 631000 | #Constraints: 54478
1170.73/1183.41 c #Conflicts: 632000 | #Constraints: 55479
1170.73/1183.41 c #Conflicts: 633000 | #Constraints: 56481
1170.73/1183.41 c #Conflicts: 634000 | #Constraints: 57482
1170.73/1183.41 c #Conflicts: 635000 | #Constraints: 58482
1170.73/1183.41 c #Conflicts: 636000 | #Constraints: 59483
1170.73/1183.41 c #Conflicts: 637000 | #Constraints: 60484
1170.73/1183.41 c #Conflicts: 638000 | #Constraints: 61486
1170.73/1183.41 c #Conflicts: 639000 | #Constraints: 62486
1170.73/1183.41 c INPROCESSING
1170.73/1183.41 c GARBAGE COLLECT
1170.73/1183.41 c rational objective 7
1203.29/1216.20 c #Conflicts: 640000 | #Constraints: 47652
1203.29/1216.20 c #Conflicts: 641000 | #Constraints: 48654
1203.29/1216.20 c #Conflicts: 642000 | #Constraints: 49657
1203.29/1216.20 c #Conflicts: 643000 | #Constraints: 50660
1203.29/1216.20 c #Conflicts: 644000 | #Constraints: 51665
1203.29/1216.20 c #Conflicts: 645000 | #Constraints: 52667
1203.29/1216.20 c #Conflicts: 646000 | #Constraints: 53669
1203.29/1216.20 c #Conflicts: 647000 | #Constraints: 54671
1203.29/1216.20 c #Conflicts: 648000 | #Constraints: 55673
1203.29/1216.20 c #Conflicts: 649000 | #Constraints: 56675
1203.29/1216.20 c #Conflicts: 650000 | #Constraints: 57676
1203.29/1216.20 c #Conflicts: 651000 | #Constraints: 58680
1203.29/1216.20 c #Conflicts: 652000 | #Constraints: 59683
1203.29/1216.20 c #Conflicts: 653000 | #Constraints: 60687
1203.29/1216.20 c #Conflicts: 654000 | #Constraints: 61688
1203.29/1216.20 c #Conflicts: 655000 | #Constraints: 62690
1203.29/1216.20 c INPROCESSING
1203.29/1216.20 c GARBAGE COLLECT
1203.29/1216.20 c rational objective 7
1246.72/1259.92 c #Conflicts: 656000 | #Constraints: 47671
1246.72/1259.92 c #Conflicts: 657000 | #Constraints: 48671
1246.72/1259.92 c #Conflicts: 658000 | #Constraints: 49672
1246.72/1259.92 c #Conflicts: 659000 | #Constraints: 50673
1246.72/1259.92 c #Conflicts: 660000 | #Constraints: 51674
1246.72/1259.92 c #Conflicts: 661000 | #Constraints: 52676
1246.72/1259.92 c #Conflicts: 662000 | #Constraints: 53677
1246.72/1259.92 c #Conflicts: 663000 | #Constraints: 54681
1246.72/1259.92 c #Conflicts: 664000 | #Constraints: 55684
1246.72/1259.92 c #Conflicts: 665000 | #Constraints: 56686
1246.72/1259.92 c #Conflicts: 666000 | #Constraints: 57687
1246.72/1259.92 c #Conflicts: 667000 | #Constraints: 58688
1246.72/1259.92 c #Conflicts: 668000 | #Constraints: 59688
1246.72/1259.92 c #Conflicts: 669000 | #Constraints: 60689
1246.72/1259.92 c #Conflicts: 670000 | #Constraints: 61690
1246.72/1259.92 c #Conflicts: 671000 | #Constraints: 62692
1246.72/1259.92 c INPROCESSING
1246.72/1259.92 c GARBAGE COLLECT
1246.72/1259.92 c rational objective 7
1287.15/1300.74 c #Conflicts: 672000 | #Constraints: 47457
1287.15/1300.74 c #Conflicts: 673000 | #Constraints: 48458
1287.15/1300.74 c #Conflicts: 674000 | #Constraints: 49459
1287.15/1300.74 c #Conflicts: 675000 | #Constraints: 50461
1287.15/1300.74 c #Conflicts: 676000 | #Constraints: 51462
1287.15/1300.74 c #Conflicts: 677000 | #Constraints: 52463
1287.15/1300.74 c #Conflicts: 678000 | #Constraints: 53463
1287.15/1300.74 c #Conflicts: 679000 | #Constraints: 54464
1287.15/1300.74 c #Conflicts: 680000 | #Constraints: 55465
1287.15/1300.74 c #Conflicts: 681000 | #Constraints: 56467
1287.15/1300.74 c #Conflicts: 682000 | #Constraints: 57467
1287.15/1300.74 c #Conflicts: 683000 | #Constraints: 58468
1287.15/1300.74 c #Conflicts: 684000 | #Constraints: 59469
1287.15/1300.74 c #Conflicts: 685000 | #Constraints: 60469
1287.15/1300.74 c #Conflicts: 686000 | #Constraints: 61470
1287.15/1300.74 c #Conflicts: 687000 | #Constraints: 62470
1287.15/1300.74 c #Conflicts: 688000 | #Constraints: 63471
1287.15/1300.74 c INPROCESSING
1287.15/1300.74 c GARBAGE COLLECT
1287.15/1300.74 c rational objective 7
1317.16/1330.97 c #Conflicts: 689000 | #Constraints: 48045
1317.16/1330.97 c #Conflicts: 690000 | #Constraints: 49045
1317.16/1330.97 c #Conflicts: 691000 | #Constraints: 50047
1317.16/1330.97 c #Conflicts: 692000 | #Constraints: 51047
1317.16/1330.97 c #Conflicts: 693000 | #Constraints: 52049
1317.16/1330.97 c #Conflicts: 694000 | #Constraints: 53054
1317.16/1330.97 c #Conflicts: 695000 | #Constraints: 54057
1317.16/1330.97 c #Conflicts: 696000 | #Constraints: 55059
1317.16/1330.97 c #Conflicts: 697000 | #Constraints: 56061
1317.16/1330.97 c #Conflicts: 698000 | #Constraints: 57065
1317.16/1330.97 c #Conflicts: 699000 | #Constraints: 58067
1317.16/1330.97 c #Conflicts: 700000 | #Constraints: 59068
1317.16/1330.97 c #Conflicts: 701000 | #Constraints: 60068
1317.16/1330.97 c #Conflicts: 702000 | #Constraints: 61069
1317.16/1330.97 c #Conflicts: 703000 | #Constraints: 62069
1317.16/1330.97 c #Conflicts: 704000 | #Constraints: 63070
1317.16/1330.97 c #Conflicts: 705000 | #Constraints: 64072
1317.16/1330.97 c INPROCESSING
1317.16/1330.97 c GARBAGE COLLECT
1317.16/1330.97 c rational objective 7
1363.92/1377.99 c #Conflicts: 706000 | #Constraints: 48450
1363.92/1377.99 c #Conflicts: 707000 | #Constraints: 49451
1363.92/1377.99 c #Conflicts: 708000 | #Constraints: 50455
1363.92/1377.99 c #Conflicts: 709000 | #Constraints: 51457
1363.92/1377.99 c #Conflicts: 710000 | #Constraints: 52460
1363.92/1377.99 c #Conflicts: 711000 | #Constraints: 53461
1363.92/1377.99 c #Conflicts: 712000 | #Constraints: 54462
1363.92/1377.99 c #Conflicts: 713000 | #Constraints: 55463
1363.92/1377.99 c #Conflicts: 714000 | #Constraints: 56463
1363.92/1377.99 c #Conflicts: 715000 | #Constraints: 57464
1363.92/1377.99 c #Conflicts: 716000 | #Constraints: 58464
1363.92/1377.99 c #Conflicts: 717000 | #Constraints: 59465
1363.92/1377.99 c #Conflicts: 718000 | #Constraints: 60465
1363.92/1377.99 c #Conflicts: 719000 | #Constraints: 61466
1363.92/1377.99 c #Conflicts: 720000 | #Constraints: 62466
1363.92/1377.99 c #Conflicts: 721000 | #Constraints: 63467
1363.92/1377.99 c #Conflicts: 722000 | #Constraints: 64467
1363.92/1377.99 c INPROCESSING
1363.92/1377.99 c GARBAGE COLLECT
1363.92/1377.99 c rational objective 7
1414.13/1428.40 c #Conflicts: 723000 | #Constraints: 48635
1414.13/1428.40 c #Conflicts: 724000 | #Constraints: 49636
1414.13/1428.40 c #Conflicts: 725000 | #Constraints: 50639
1414.13/1428.40 c #Conflicts: 726000 | #Constraints: 51644
1414.13/1428.40 c #Conflicts: 727000 | #Constraints: 52646
1414.13/1428.40 c #Conflicts: 728000 | #Constraints: 53646
1414.13/1428.40 c #Conflicts: 729000 | #Constraints: 54647
1414.13/1428.40 c #Conflicts: 730000 | #Constraints: 55647
1414.13/1428.40 c #Conflicts: 731000 | #Constraints: 56647
1414.13/1428.40 c #Conflicts: 732000 | #Constraints: 57648
1414.13/1428.40 c #Conflicts: 733000 | #Constraints: 58648
1414.13/1428.40 c #Conflicts: 734000 | #Constraints: 59648
1414.13/1428.40 c #Conflicts: 735000 | #Constraints: 60648
1414.13/1428.40 c #Conflicts: 736000 | #Constraints: 61649
1414.13/1428.40 c #Conflicts: 737000 | #Constraints: 62649
1414.13/1428.40 c #Conflicts: 738000 | #Constraints: 63649
1414.13/1428.40 c #Conflicts: 739000 | #Constraints: 64649
1414.13/1428.40 c INPROCESSING
1414.13/1428.40 c GARBAGE COLLECT
1414.13/1428.40 c rational objective 7
1451.59/1466.21 c #Conflicts: 740000 | #Constraints: 48648
1451.59/1466.21 c #Conflicts: 741000 | #Constraints: 49649
1451.59/1466.21 c #Conflicts: 742000 | #Constraints: 50650
1451.59/1466.21 c #Conflicts: 743000 | #Constraints: 51654
1451.59/1466.21 c #Conflicts: 744000 | #Constraints: 52655
1451.59/1466.21 c #Conflicts: 745000 | #Constraints: 53656
1451.59/1466.21 c #Conflicts: 746000 | #Constraints: 54658
1451.59/1466.21 c #Conflicts: 747000 | #Constraints: 55660
1451.59/1466.21 c #Conflicts: 748000 | #Constraints: 56661
1451.59/1466.21 c #Conflicts: 749000 | #Constraints: 57665
1451.59/1466.21 c #Conflicts: 750000 | #Constraints: 58668
1451.59/1466.21 c #Conflicts: 751000 | #Constraints: 59670
1451.59/1466.21 c #Conflicts: 752000 | #Constraints: 60671
1451.59/1466.21 c #Conflicts: 753000 | #Constraints: 61672
1451.59/1466.21 c #Conflicts: 754000 | #Constraints: 62675
1451.59/1466.21 c #Conflicts: 755000 | #Constraints: 63677
1451.59/1466.21 c #Conflicts: 756000 | #Constraints: 64679
1451.59/1466.21 c INPROCESSING
1451.59/1466.21 c GARBAGE COLLECT
1451.59/1466.21 c rational objective 7
1493.74/1508.77 c #Conflicts: 757000 | #Constraints: 48435
1493.74/1508.77 c #Conflicts: 758000 | #Constraints: 49435
1493.74/1508.77 c #Conflicts: 759000 | #Constraints: 50436
1493.74/1508.77 c #Conflicts: 760000 | #Constraints: 51439
1493.74/1508.77 c #Conflicts: 761000 | #Constraints: 52441
1493.74/1508.77 c #Conflicts: 762000 | #Constraints: 53443
1493.74/1508.77 c #Conflicts: 763000 | #Constraints: 54446
1493.74/1508.77 c #Conflicts: 764000 | #Constraints: 55447
1493.74/1508.77 c #Conflicts: 765000 | #Constraints: 56451
1493.74/1508.77 c #Conflicts: 766000 | #Constraints: 57454
1493.74/1508.77 c #Conflicts: 767000 | #Constraints: 58456
1493.74/1508.77 c #Conflicts: 768000 | #Constraints: 59456
1493.74/1508.77 c #Conflicts: 769000 | #Constraints: 60458
1493.74/1508.77 c #Conflicts: 770000 | #Constraints: 61460
1493.74/1508.77 c #Conflicts: 771000 | #Constraints: 62463
1493.74/1508.77 c #Conflicts: 772000 | #Constraints: 63464
1493.74/1508.77 c #Conflicts: 773000 | #Constraints: 64466
1493.74/1508.77 c #Conflicts: 774000 | #Constraints: 65467
1493.74/1508.77 c INPROCESSING
1493.74/1508.77 c GARBAGE COLLECT
1493.74/1508.77 c rational objective 7
1534.71/1550.22 c #Conflicts: 775000 | #Constraints: 49031
1534.71/1550.22 c #Conflicts: 776000 | #Constraints: 50031
1534.71/1550.22 c #Conflicts: 777000 | #Constraints: 51033
1534.71/1550.22 c #Conflicts: 778000 | #Constraints: 52035
1534.71/1550.22 c #Conflicts: 779000 | #Constraints: 53039
1534.71/1550.22 c #Conflicts: 780000 | #Constraints: 54045
1534.71/1550.22 c #Conflicts: 781000 | #Constraints: 55047
1534.71/1550.22 c #Conflicts: 782000 | #Constraints: 56048
1534.71/1550.22 c #Conflicts: 783000 | #Constraints: 57051
1534.71/1550.22 c #Conflicts: 784000 | #Constraints: 58052
1534.71/1550.22 c #Conflicts: 785000 | #Constraints: 59055
1534.71/1550.22 c #Conflicts: 786000 | #Constraints: 60056
1534.71/1550.22 c #Conflicts: 787000 | #Constraints: 61058
1534.71/1550.22 c #Conflicts: 788000 | #Constraints: 62063
1534.71/1550.22 c #Conflicts: 789000 | #Constraints: 63072
1534.71/1550.22 c #Conflicts: 790000 | #Constraints: 64074
1534.71/1550.22 c #Conflicts: 791000 | #Constraints: 65078
1534.71/1550.22 c #Conflicts: 792000 | #Constraints: 66081
1534.71/1550.22 c INPROCESSING
1534.71/1550.22 c GARBAGE COLLECT
1534.71/1550.22 c rational objective 7
1571.58/1587.33 c #Conflicts: 793000 | #Constraints: 49447
1571.58/1587.33 c #Conflicts: 794000 | #Constraints: 50449
1571.58/1587.33 c #Conflicts: 795000 | #Constraints: 51455
1571.58/1587.33 c #Conflicts: 796000 | #Constraints: 52457
1571.58/1587.33 c #Conflicts: 797000 | #Constraints: 53459
1571.58/1587.33 c #Conflicts: 798000 | #Constraints: 54462
1571.58/1587.33 c #Conflicts: 799000 | #Constraints: 55463
1571.58/1587.33 c #Conflicts: 800000 | #Constraints: 56465
1571.58/1587.33 c #Conflicts: 801000 | #Constraints: 57470
1571.58/1587.33 c #Conflicts: 802000 | #Constraints: 58473
1571.58/1587.33 c #Conflicts: 803000 | #Constraints: 59474
1571.58/1587.33 c #Conflicts: 804000 | #Constraints: 60476
1571.58/1587.33 c #Conflicts: 805000 | #Constraints: 61480
1571.58/1587.33 c #Conflicts: 806000 | #Constraints: 62481
1571.58/1587.33 c #Conflicts: 807000 | #Constraints: 63482
1571.58/1587.33 c #Conflicts: 808000 | #Constraints: 64483
1571.58/1587.33 c #Conflicts: 809000 | #Constraints: 65484
1571.58/1587.33 c #Conflicts: 810000 | #Constraints: 66486
1571.58/1587.33 c INPROCESSING
1571.58/1587.33 c GARBAGE COLLECT
1571.58/1587.33 c rational objective 7
1616.44/1632.70 c #Conflicts: 811000 | #Constraints: 49667
1616.44/1632.70 c #Conflicts: 812000 | #Constraints: 50668
1616.44/1632.70 c #Conflicts: 813000 | #Constraints: 51671
1616.44/1632.70 c #Conflicts: 814000 | #Constraints: 52674
1616.44/1632.70 c #Conflicts: 815000 | #Constraints: 53675
1616.44/1632.70 c #Conflicts: 816000 | #Constraints: 54675
1616.44/1632.70 c #Conflicts: 817000 | #Constraints: 55675
1616.44/1632.70 c #Conflicts: 818000 | #Constraints: 56676
1616.44/1632.70 c #Conflicts: 819000 | #Constraints: 57677
1616.44/1632.70 c #Conflicts: 820000 | #Constraints: 58681
1616.44/1632.70 c #Conflicts: 821000 | #Constraints: 59685
1616.44/1632.70 c #Conflicts: 822000 | #Constraints: 60688
1616.44/1632.70 c #Conflicts: 823000 | #Constraints: 61691
1616.44/1632.70 c #Conflicts: 824000 | #Constraints: 62693
1616.44/1632.70 c #Conflicts: 825000 | #Constraints: 63694
1616.44/1632.70 c #Conflicts: 826000 | #Constraints: 64695
1616.44/1632.70 c #Conflicts: 827000 | #Constraints: 65695
1616.44/1632.70 c #Conflicts: 828000 | #Constraints: 66696
1616.44/1632.70 c INPROCESSING
1616.44/1632.70 c GARBAGE COLLECT
1616.44/1632.70 c rational objective 7
1663.49/1680.11 c #Conflicts: 829000 | #Constraints: 49678
1663.49/1680.11 c #Conflicts: 830000 | #Constraints: 50678
1663.49/1680.11 c #Conflicts: 831000 | #Constraints: 51682
1663.49/1680.11 c #Conflicts: 832000 | #Constraints: 52684
1663.49/1680.11 c #Conflicts: 833000 | #Constraints: 53691
1663.49/1680.11 c #Conflicts: 834000 | #Constraints: 54692
1663.49/1680.11 c #Conflicts: 835000 | #Constraints: 55693
1663.49/1680.11 c #Conflicts: 836000 | #Constraints: 56694
1663.49/1680.11 c #Conflicts: 837000 | #Constraints: 57696
1663.49/1680.11 c #Conflicts: 838000 | #Constraints: 58700
1663.49/1680.11 c #Conflicts: 839000 | #Constraints: 59702
1663.49/1680.11 c #Conflicts: 840000 | #Constraints: 60711
1663.49/1680.11 c #Conflicts: 841000 | #Constraints: 61719
1663.49/1680.11 c #Conflicts: 842000 | #Constraints: 62725
1663.49/1680.11 c #Conflicts: 843000 | #Constraints: 63733
1663.49/1680.11 c #Conflicts: 844000 | #Constraints: 64736
1663.49/1680.11 c #Conflicts: 845000 | #Constraints: 65743
1663.49/1680.11 c #Conflicts: 846000 | #Constraints: 66747
1663.49/1680.11 c INPROCESSING
1663.49/1680.11 c GARBAGE COLLECT
1663.49/1680.11 c rational objective 7
1700.08/1716.93 c #Conflicts: 847000 | #Constraints: 49437
1700.08/1716.93 c #Conflicts: 848000 | #Constraints: 50437
1700.08/1716.93 c #Conflicts: 849000 | #Constraints: 51439
1700.08/1716.93 c #Conflicts: 850000 | #Constraints: 52443
1700.08/1716.93 c #Conflicts: 851000 | #Constraints: 53445
1700.08/1716.93 c #Conflicts: 852000 | #Constraints: 54449
1700.08/1716.93 c #Conflicts: 853000 | #Constraints: 55456
1700.08/1716.93 c #Conflicts: 854000 | #Constraints: 56458
1700.08/1716.93 c #Conflicts: 855000 | #Constraints: 57459
1700.08/1716.93 c #Conflicts: 856000 | #Constraints: 58461
1700.08/1716.93 c #Conflicts: 857000 | #Constraints: 59463
1700.08/1716.93 c #Conflicts: 858000 | #Constraints: 60464
1700.08/1716.93 c #Conflicts: 859000 | #Constraints: 61465
1700.08/1716.93 c #Conflicts: 860000 | #Constraints: 62467
1700.08/1716.93 c #Conflicts: 861000 | #Constraints: 63473
1700.08/1716.93 c #Conflicts: 862000 | #Constraints: 64479
1700.08/1716.93 c #Conflicts: 863000 | #Constraints: 65482
1700.08/1716.93 c #Conflicts: 864000 | #Constraints: 66485
1700.08/1716.93 c #Conflicts: 865000 | #Constraints: 67487
1700.08/1716.93 c INPROCESSING
1700.08/1716.93 c GARBAGE COLLECT
1700.08/1716.93 c rational objective 7
1735.95/1753.03 c #Conflicts: 866000 | #Constraints: 50030
1735.95/1753.03 c #Conflicts: 867000 | #Constraints: 51030
1735.95/1753.03 c #Conflicts: 868000 | #Constraints: 52032
1735.95/1753.03 c #Conflicts: 869000 | #Constraints: 53033
1735.95/1753.03 c #Conflicts: 870000 | #Constraints: 54036
1735.95/1753.03 c #Conflicts: 871000 | #Constraints: 55038
1735.95/1753.03 c #Conflicts: 872000 | #Constraints: 56041
1735.95/1753.03 c #Conflicts: 873000 | #Constraints: 57044
1735.95/1753.03 c #Conflicts: 874000 | #Constraints: 58046
1735.95/1753.03 c #Conflicts: 875000 | #Constraints: 59049
1735.95/1753.03 c #Conflicts: 876000 | #Constraints: 60054
1735.95/1753.03 c #Conflicts: 877000 | #Constraints: 61060
1735.95/1753.03 c #Conflicts: 878000 | #Constraints: 62064
1735.95/1753.03 c #Conflicts: 879000 | #Constraints: 63067
1735.95/1753.03 c #Conflicts: 880000 | #Constraints: 64072
1735.95/1753.03 c #Conflicts: 881000 | #Constraints: 65074
1735.95/1753.03 c #Conflicts: 882000 | #Constraints: 66075
1735.95/1753.03 c #Conflicts: 883000 | #Constraints: 67077
1735.95/1753.03 c #Conflicts: 884000 | #Constraints: 68079
1735.95/1753.03 c INPROCESSING
1735.95/1753.03 c GARBAGE COLLECT
1735.95/1753.03 c rational objective 7
1814.73/1832.78 c #Conflicts: 885000 | #Constraints: 50436
1814.73/1832.78 c #Conflicts: 886000 | #Constraints: 51437
1814.73/1832.78 c #Conflicts: 887000 | #Constraints: 52440
1814.73/1832.78 c #Conflicts: 888000 | #Constraints: 53442
1814.73/1832.78 c #Conflicts: 889000 | #Constraints: 54444
1814.73/1832.78 c #Conflicts: 890000 | #Constraints: 55445
1814.73/1832.78 c #Conflicts: 891000 | #Constraints: 56447
1814.73/1832.78 c #Conflicts: 892000 | #Constraints: 57450
1814.73/1832.78 c #Conflicts: 893000 | #Constraints: 58455
1814.73/1832.78 c #Conflicts: 894000 | #Constraints: 59457
1814.73/1832.78 c #Conflicts: 895000 | #Constraints: 60458
1814.73/1832.78 c #Conflicts: 896000 | #Constraints: 61459
1814.73/1832.78 c #Conflicts: 897000 | #Constraints: 62461
1814.73/1832.78 c #Conflicts: 898000 | #Constraints: 63462
1814.73/1832.78 c #Conflicts: 899000 | #Constraints: 64463
1814.73/1832.78 c #Conflicts: 900000 | #Constraints: 65464
1814.73/1832.78 c #Conflicts: 901000 | #Constraints: 66467
1814.73/1832.78 c #Conflicts: 902000 | #Constraints: 67468
1814.73/1832.78 c #Conflicts: 903000 | #Constraints: 68469
1814.73/1832.78 c INPROCESSING
1814.73/1832.78 c GARBAGE COLLECT
1814.73/1832.78 c rational objective 7
1855.43/1873.69 c #Conflicts: 904000 | #Constraints: 50638
1855.43/1873.69 c #Conflicts: 905000 | #Constraints: 51641
1855.43/1873.69 c #Conflicts: 906000 | #Constraints: 52644
1855.43/1873.69 c #Conflicts: 907000 | #Constraints: 53645
1855.43/1873.69 c #Conflicts: 908000 | #Constraints: 54645
1855.43/1873.69 c #Conflicts: 909000 | #Constraints: 55645
1855.43/1873.69 c #Conflicts: 910000 | #Constraints: 56646
1855.43/1873.69 c #Conflicts: 911000 | #Constraints: 57648
1855.43/1873.69 c #Conflicts: 912000 | #Constraints: 58648
1855.43/1873.69 c #Conflicts: 913000 | #Constraints: 59649
1855.43/1873.69 c #Conflicts: 914000 | #Constraints: 60649
1855.43/1873.69 c #Conflicts: 915000 | #Constraints: 61650
1855.43/1873.69 c #Conflicts: 916000 | #Constraints: 62651
1855.43/1873.69 c #Conflicts: 917000 | #Constraints: 63652
1855.43/1873.69 c #Conflicts: 918000 | #Constraints: 64653
1855.43/1873.69 c #Conflicts: 919000 | #Constraints: 65655
1855.43/1873.69 c #Conflicts: 920000 | #Constraints: 66656
1855.43/1873.69 c #Conflicts: 921000 | #Constraints: 67657
1855.43/1873.69 c #Conflicts: 922000 | #Constraints: 68658
1855.43/1873.69 c INPROCESSING
1855.43/1873.69 c GARBAGE COLLECT
1855.43/1873.69 c rational objective 7
1900.74/1919.22 c #Conflicts: 923000 | #Constraints: 50624
1900.74/1919.22 c #Conflicts: 924000 | #Constraints: 51624
1900.74/1919.22 c #Conflicts: 925000 | #Constraints: 52627
1900.74/1919.22 c #Conflicts: 926000 | #Constraints: 53638
1900.74/1919.22 c #Conflicts: 927000 | #Constraints: 54640
1900.74/1919.22 c #Conflicts: 928000 | #Constraints: 55642
1900.74/1919.22 c #Conflicts: 929000 | #Constraints: 56643
1900.74/1919.22 c #Conflicts: 930000 | #Constraints: 57644
1900.74/1919.22 c #Conflicts: 931000 | #Constraints: 58647
1900.74/1919.22 c #Conflicts: 932000 | #Constraints: 59650
1900.74/1919.22 c #Conflicts: 933000 | #Constraints: 60657
1900.74/1919.22 c #Conflicts: 934000 | #Constraints: 61664
1900.74/1919.22 c #Conflicts: 935000 | #Constraints: 62668
1900.74/1919.22 c #Conflicts: 936000 | #Constraints: 63676
1900.74/1919.22 c #Conflicts: 937000 | #Constraints: 64681
1900.74/1919.22 c #Conflicts: 938000 | #Constraints: 65684
1900.74/1919.22 c #Conflicts: 939000 | #Constraints: 66687
1900.74/1919.22 c #Conflicts: 940000 | #Constraints: 67688
1900.74/1919.22 c #Conflicts: 941000 | #Constraints: 68689
1900.74/1919.22 c INPROCESSING
1900.74/1919.22 c GARBAGE COLLECT
1900.74/1919.22 c rational objective 7
1937.81/1956.61 c #Conflicts: 942000 | #Constraints: 50447
1937.81/1956.61 c #Conflicts: 943000 | #Constraints: 51447
1937.81/1956.61 c #Conflicts: 944000 | #Constraints: 52448
1937.81/1956.61 c #Conflicts: 945000 | #Constraints: 53449
1937.81/1956.61 c #Conflicts: 946000 | #Constraints: 54451
1937.81/1956.61 c #Conflicts: 947000 | #Constraints: 55452
1937.81/1956.61 c #Conflicts: 948000 | #Constraints: 56455
1937.81/1956.61 c #Conflicts: 949000 | #Constraints: 57456
1937.81/1956.61 c #Conflicts: 950000 | #Constraints: 58459
1937.81/1956.61 c #Conflicts: 951000 | #Constraints: 59466
1937.81/1956.61 c #Conflicts: 952000 | #Constraints: 60468
1937.81/1956.61 c #Conflicts: 953000 | #Constraints: 61472
1937.81/1956.61 c #Conflicts: 954000 | #Constraints: 62478
1937.81/1956.61 c #Conflicts: 955000 | #Constraints: 63480
1937.81/1956.61 c #Conflicts: 956000 | #Constraints: 64482
1937.81/1956.61 c #Conflicts: 957000 | #Constraints: 65486
1937.81/1956.61 c #Conflicts: 958000 | #Constraints: 66488
1937.81/1956.61 c #Conflicts: 959000 | #Constraints: 67492
1937.81/1956.61 c #Conflicts: 960000 | #Constraints: 68494
1937.81/1956.61 c #Conflicts: 961000 | #Constraints: 69497
1937.81/1956.61 c INPROCESSING
1937.81/1956.61 c GARBAGE COLLECT
1937.81/1956.61 c rational objective 7
1974.95/1993.97 c #Conflicts: 962000 | #Constraints: 51075
1974.95/1993.97 c #Conflicts: 963000 | #Constraints: 52077
1974.95/1993.97 c #Conflicts: 964000 | #Constraints: 53079
1974.95/1993.97 c #Conflicts: 965000 | #Constraints: 54082
1974.95/1993.97 c #Conflicts: 966000 | #Constraints: 55083
1974.95/1993.97 c #Conflicts: 967000 | #Constraints: 56084
1974.95/1993.97 c #Conflicts: 968000 | #Constraints: 57087
1974.95/1993.97 c #Conflicts: 969000 | #Constraints: 58090
1974.95/1993.97 c #Conflicts: 970000 | #Constraints: 59092
1974.95/1993.97 c #Conflicts: 971000 | #Constraints: 60095
1974.95/1993.97 c #Conflicts: 972000 | #Constraints: 61096
1974.95/1993.97 c #Conflicts: 973000 | #Constraints: 62097
1974.95/1993.97 c #Conflicts: 974000 | #Constraints: 63099
1974.95/1993.97 c #Conflicts: 975000 | #Constraints: 64100
1974.95/1993.97 c #Conflicts: 976000 | #Constraints: 65101
1974.95/1993.97 c #Conflicts: 977000 | #Constraints: 66102
1974.95/1993.97 c #Conflicts: 978000 | #Constraints: 67104
1974.95/1993.97 c #Conflicts: 979000 | #Constraints: 68105
1974.95/1993.97 c #Conflicts: 980000 | #Constraints: 69105
1974.95/1993.97 c #Conflicts: 981000 | #Constraints: 70107
1974.95/1993.97 c INPROCESSING
1974.95/1993.97 c GARBAGE COLLECT
1974.95/1993.97 c rational objective 7
2066.08/2085.73 c #Conflicts: 982000 | #Constraints: 51462
2066.08/2085.73 c #Conflicts: 983000 | #Constraints: 52466
2066.08/2085.73 c #Conflicts: 984000 | #Constraints: 53472
2066.08/2085.73 c #Conflicts: 985000 | #Constraints: 54475
2066.08/2085.73 c #Conflicts: 986000 | #Constraints: 55479
2066.08/2085.73 c #Conflicts: 987000 | #Constraints: 56483
2066.08/2085.73 c #Conflicts: 988000 | #Constraints: 57485
2066.08/2085.73 c #Conflicts: 989000 | #Constraints: 58485
2066.08/2085.73 c #Conflicts: 990000 | #Constraints: 59487
2066.08/2085.73 c #Conflicts: 991000 | #Constraints: 60489
2066.08/2085.73 c #Conflicts: 992000 | #Constraints: 61491
2066.08/2085.73 c #Conflicts: 993000 | #Constraints: 62491
2066.08/2085.73 c #Conflicts: 994000 | #Constraints: 63491
2066.08/2085.73 c #Conflicts: 995000 | #Constraints: 64492
2066.08/2085.73 c #Conflicts: 996000 | #Constraints: 65494
2066.08/2085.73 c #Conflicts: 997000 | #Constraints: 66495
2066.08/2085.73 c #Conflicts: 998000 | #Constraints: 67496
2066.08/2085.73 c #Conflicts: 999000 | #Constraints: 68496
2066.08/2085.73 c #Conflicts: 1000000 | #Constraints: 69497
2066.08/2085.73 c #Conflicts: 1001000 | #Constraints: 70498
2066.08/2085.73 c INPROCESSING
2066.08/2085.73 c GARBAGE COLLECT
2066.08/2085.73 c rational objective 7
2132.17/2152.13 c #Conflicts: 1002000 | #Constraints: 51661
2132.17/2152.13 c #Conflicts: 1003000 | #Constraints: 52662
2132.17/2152.13 c #Conflicts: 1004000 | #Constraints: 53665
2132.17/2152.13 c #Conflicts: 1005000 | #Constraints: 54666
2132.17/2152.13 c #Conflicts: 1006000 | #Constraints: 55669
2132.17/2152.13 c #Conflicts: 1007000 | #Constraints: 56670
2132.17/2152.13 c #Conflicts: 1008000 | #Constraints: 57670
2132.17/2152.13 c #Conflicts: 1009000 | #Constraints: 58672
2132.17/2152.13 c #Conflicts: 1010000 | #Constraints: 59673
2132.17/2152.13 c #Conflicts: 1011000 | #Constraints: 60674
2132.17/2152.13 c #Conflicts: 1012000 | #Constraints: 61676
2132.17/2152.13 c #Conflicts: 1013000 | #Constraints: 62676
2132.17/2152.13 c #Conflicts: 1014000 | #Constraints: 63678
2132.17/2152.13 c #Conflicts: 1015000 | #Constraints: 64679
2132.17/2152.13 c #Conflicts: 1016000 | #Constraints: 65679
2132.17/2152.13 c #Conflicts: 1017000 | #Constraints: 66680
2132.17/2152.13 c #Conflicts: 1018000 | #Constraints: 67681
2132.17/2152.13 c #Conflicts: 1019000 | #Constraints: 68682
2132.17/2152.13 c #Conflicts: 1020000 | #Constraints: 69682
2132.17/2152.13 c #Conflicts: 1021000 | #Constraints: 70682
2132.17/2152.13 c INPROCESSING
2132.17/2152.13 c GARBAGE COLLECT
2132.17/2152.13 c rational objective 7
2178.39/2198.79 c #Conflicts: 1022000 | #Constraints: 51646
2178.39/2198.79 c #Conflicts: 1023000 | #Constraints: 52646
2178.39/2198.79 c #Conflicts: 1024000 | #Constraints: 53647
2178.39/2198.79 c #Conflicts: 1025000 | #Constraints: 54647
2178.39/2198.79 c #Conflicts: 1026000 | #Constraints: 55647
2178.39/2198.79 c #Conflicts: 1027000 | #Constraints: 56648
2178.39/2198.79 c #Conflicts: 1028000 | #Constraints: 57648
2178.39/2198.79 c #Conflicts: 1029000 | #Constraints: 58648
2178.39/2198.79 c #Conflicts: 1030000 | #Constraints: 59649
2178.39/2198.79 c #Conflicts: 1031000 | #Constraints: 60651
2178.39/2198.79 c #Conflicts: 1032000 | #Constraints: 61651
2178.39/2198.79 c #Conflicts: 1033000 | #Constraints: 62654
2178.39/2198.79 c #Conflicts: 1034000 | #Constraints: 63656
2178.39/2198.79 c #Conflicts: 1035000 | #Constraints: 64657
2178.39/2198.79 c #Conflicts: 1036000 | #Constraints: 65657
2178.39/2198.79 c #Conflicts: 1037000 | #Constraints: 66658
2178.39/2198.79 c #Conflicts: 1038000 | #Constraints: 67659
2178.39/2198.79 c #Conflicts: 1039000 | #Constraints: 68659
2178.39/2198.79 c #Conflicts: 1040000 | #Constraints: 69660
2178.39/2198.79 c #Conflicts: 1041000 | #Constraints: 70660
2178.39/2198.79 c INPROCESSING
2178.39/2198.79 c GARBAGE COLLECT
2178.39/2198.79 c rational objective 7
2248.07/2268.90 c #Conflicts: 1042000 | #Constraints: 51438
2248.07/2268.90 c #Conflicts: 1043000 | #Constraints: 52438
2248.07/2268.90 c #Conflicts: 1044000 | #Constraints: 53438
2248.07/2268.90 c #Conflicts: 1045000 | #Constraints: 54439
2248.07/2268.90 c #Conflicts: 1046000 | #Constraints: 55439
2248.07/2268.90 c #Conflicts: 1047000 | #Constraints: 56442
2248.07/2268.90 c #Conflicts: 1048000 | #Constraints: 57442
2248.07/2268.90 c #Conflicts: 1049000 | #Constraints: 58444
2248.07/2268.90 c #Conflicts: 1050000 | #Constraints: 59444
2248.07/2268.90 c #Conflicts: 1051000 | #Constraints: 60445
2248.07/2268.90 c #Conflicts: 1052000 | #Constraints: 61445
2248.07/2268.90 c #Conflicts: 1053000 | #Constraints: 62446
2248.07/2268.90 c #Conflicts: 1054000 | #Constraints: 63446
2248.07/2268.90 c #Conflicts: 1055000 | #Constraints: 64446
2248.07/2268.90 c #Conflicts: 1056000 | #Constraints: 65447
2248.07/2268.90 c #Conflicts: 1057000 | #Constraints: 66448
2248.07/2268.90 c #Conflicts: 1058000 | #Constraints: 67448
2248.07/2268.90 c #Conflicts: 1059000 | #Constraints: 68449
2248.07/2268.90 c #Conflicts: 1060000 | #Constraints: 69449
2248.07/2268.90 c #Conflicts: 1061000 | #Constraints: 70450
2248.07/2268.90 c #Conflicts: 1062000 | #Constraints: 71451
2248.07/2268.90 c INPROCESSING
2248.07/2268.90 c GARBAGE COLLECT
2248.07/2268.90 c rational objective 7
2365.64/2387.85 c #Conflicts: 1063000 | #Constraints: 52030
2365.64/2387.85 c #Conflicts: 1064000 | #Constraints: 53033
2365.64/2387.85 c #Conflicts: 1065000 | #Constraints: 54034
2365.64/2387.85 c #Conflicts: 1066000 | #Constraints: 55035
2365.64/2387.85 c #Conflicts: 1067000 | #Constraints: 56036
2365.64/2387.85 c #Conflicts: 1068000 | #Constraints: 57036
2365.64/2387.85 c #Conflicts: 1069000 | #Constraints: 58037
2365.64/2387.85 c #Conflicts: 1070000 | #Constraints: 59038
2365.64/2387.85 c #Conflicts: 1071000 | #Constraints: 60039
2365.64/2387.85 c #Conflicts: 1072000 | #Constraints: 61039
2365.64/2387.85 c #Conflicts: 1073000 | #Constraints: 62041
2365.64/2387.85 c #Conflicts: 1074000 | #Constraints: 63042
2365.64/2387.85 c #Conflicts: 1075000 | #Constraints: 64042
2365.64/2387.85 c #Conflicts: 1076000 | #Constraints: 65043
2365.64/2387.85 c #Conflicts: 1077000 | #Constraints: 66044
2365.64/2387.85 c #Conflicts: 1078000 | #Constraints: 67044
2365.64/2387.85 c #Conflicts: 1079000 | #Constraints: 68045
2365.64/2387.85 c #Conflicts: 1080000 | #Constraints: 69046
2365.64/2387.85 c #Conflicts: 1081000 | #Constraints: 70046
2365.64/2387.85 c #Conflicts: 1082000 | #Constraints: 71047
2365.64/2387.85 c #Conflicts: 1083000 | #Constraints: 72047
2365.64/2387.85 c INPROCESSING
2365.64/2387.85 c GARBAGE COLLECT
2365.64/2387.85 c rational objective 7
2475.32/2503.15 c #Conflicts: 1084000 | #Constraints: 52433
2475.32/2503.15 c #Conflicts: 1085000 | #Constraints: 53434
2475.32/2503.15 c #Conflicts: 1086000 | #Constraints: 54434
2475.32/2503.15 c #Conflicts: 1087000 | #Constraints: 55438
2475.32/2503.15 c #Conflicts: 1088000 | #Constraints: 56439
2475.32/2503.15 c #Conflicts: 1089000 | #Constraints: 57440
2475.32/2503.15 c #Conflicts: 1090000 | #Constraints: 58440
2475.32/2503.15 c #Conflicts: 1091000 | #Constraints: 59441
2475.32/2503.15 c #Conflicts: 1092000 | #Constraints: 60441
2475.32/2503.15 c #Conflicts: 1093000 | #Constraints: 61442
2475.32/2503.15 c #Conflicts: 1094000 | #Constraints: 62443
2475.32/2503.15 c #Conflicts: 1095000 | #Constraints: 63444
2475.32/2503.15 c #Conflicts: 1096000 | #Constraints: 64445
2475.32/2503.15 c #Conflicts: 1097000 | #Constraints: 65446
2475.32/2503.15 c #Conflicts: 1098000 | #Constraints: 66447
2475.32/2503.15 c #Conflicts: 1099000 | #Constraints: 67449
2475.32/2503.15 c #Conflicts: 1100000 | #Constraints: 68449
2475.32/2503.15 c #Conflicts: 1101000 | #Constraints: 69450
2475.32/2503.15 c #Conflicts: 1102000 | #Constraints: 70451
2475.32/2503.15 c #Conflicts: 1103000 | #Constraints: 71451
2475.32/2503.15 c #Conflicts: 1104000 | #Constraints: 72452
2475.32/2503.15 c INPROCESSING
2475.32/2503.15 c GARBAGE COLLECT
2475.32/2503.15 c rational objective 7
2544.53/2572.73 c #Conflicts: 1105000 | #Constraints: 52678
2544.53/2572.73 c #Conflicts: 1106000 | #Constraints: 53680
2544.53/2572.73 c #Conflicts: 1107000 | #Constraints: 54682
2544.53/2572.73 c #Conflicts: 1108000 | #Constraints: 55683
2544.53/2572.73 c #Conflicts: 1109000 | #Constraints: 56684
2544.53/2572.73 c #Conflicts: 1110000 | #Constraints: 57686
2544.53/2572.73 c #Conflicts: 1111000 | #Constraints: 58686
2544.53/2572.73 c #Conflicts: 1112000 | #Constraints: 59687
2544.53/2572.73 c #Conflicts: 1113000 | #Constraints: 60687
2544.53/2572.73 c #Conflicts: 1114000 | #Constraints: 61688
2544.53/2572.73 c #Conflicts: 1115000 | #Constraints: 62688
2544.53/2572.73 c #Conflicts: 1116000 | #Constraints: 63688
2544.53/2572.73 c #Conflicts: 1117000 | #Constraints: 64691
2544.53/2572.73 c #Conflicts: 1118000 | #Constraints: 65691
2544.53/2572.73 c #Conflicts: 1119000 | #Constraints: 66691
2544.53/2572.73 c #Conflicts: 1120000 | #Constraints: 67691
2544.53/2572.73 c #Conflicts: 1121000 | #Constraints: 68691
2544.53/2572.73 c #Conflicts: 1122000 | #Constraints: 69691
2544.53/2572.73 c #Conflicts: 1123000 | #Constraints: 70691
2544.53/2572.73 c #Conflicts: 1124000 | #Constraints: 71691
2544.53/2572.73 c #Conflicts: 1125000 | #Constraints: 72691
2544.53/2572.73 c INPROCESSING
2544.53/2572.73 c GARBAGE COLLECT
2544.53/2572.73 c rational objective 7
2596.12/2624.76 c #Conflicts: 1126000 | #Constraints: 52642
2596.12/2624.76 c #Conflicts: 1127000 | #Constraints: 53642
2596.12/2624.76 c #Conflicts: 1128000 | #Constraints: 54642
2596.12/2624.76 c #Conflicts: 1129000 | #Constraints: 55642
2596.12/2624.76 c #Conflicts: 1130000 | #Constraints: 56642
2596.12/2624.76 c #Conflicts: 1131000 | #Constraints: 57644
2596.12/2624.76 c #Conflicts: 1132000 | #Constraints: 58650
2596.12/2624.76 c #Conflicts: 1133000 | #Constraints: 59653
2596.12/2624.76 c #Conflicts: 1134000 | #Constraints: 60662
2596.12/2624.76 c #Conflicts: 1135000 | #Constraints: 61664
2596.12/2624.76 c #Conflicts: 1136000 | #Constraints: 62665
2596.12/2624.76 c #Conflicts: 1137000 | #Constraints: 63670
2596.12/2624.76 c #Conflicts: 1138000 | #Constraints: 64672
2596.12/2624.76 c #Conflicts: 1139000 | #Constraints: 65674
2596.12/2624.76 c #Conflicts: 1140000 | #Constraints: 66675
2596.12/2624.76 c #Conflicts: 1141000 | #Constraints: 67676
2596.12/2624.76 c #Conflicts: 1142000 | #Constraints: 68678
2596.12/2624.76 c #Conflicts: 1143000 | #Constraints: 69679
2596.12/2624.76 c #Conflicts: 1144000 | #Constraints: 70683
2596.12/2624.76 c #Conflicts: 1145000 | #Constraints: 71684
2596.12/2624.76 c #Conflicts: 1146000 | #Constraints: 72684
2596.12/2624.76 c INPROCESSING
2596.12/2624.76 c GARBAGE COLLECT
2596.12/2624.76 c rational objective 7
2636.06/2664.95 c #Conflicts: 1147000 | #Constraints: 52429
2636.06/2664.95 c #Conflicts: 1148000 | #Constraints: 53430
2636.06/2664.95 c #Conflicts: 1149000 | #Constraints: 54431
2636.06/2664.95 c #Conflicts: 1150000 | #Constraints: 55433
2636.06/2664.95 c #Conflicts: 1151000 | #Constraints: 56434
2636.06/2664.95 c #Conflicts: 1152000 | #Constraints: 57435
2636.06/2664.95 c #Conflicts: 1153000 | #Constraints: 58435
2636.06/2664.95 c #Conflicts: 1154000 | #Constraints: 59435
2636.06/2664.95 c #Conflicts: 1155000 | #Constraints: 60436
2636.06/2664.95 c #Conflicts: 1156000 | #Constraints: 61437
2636.06/2664.95 c #Conflicts: 1157000 | #Constraints: 62438
2636.06/2664.95 c #Conflicts: 1158000 | #Constraints: 63440
2636.06/2664.95 c #Conflicts: 1159000 | #Constraints: 64441
2636.06/2664.95 c #Conflicts: 1160000 | #Constraints: 65441
2636.06/2664.95 c #Conflicts: 1161000 | #Constraints: 66441
2636.06/2664.95 c #Conflicts: 1162000 | #Constraints: 67441
2636.06/2664.95 c #Conflicts: 1163000 | #Constraints: 68441
2636.06/2664.95 c #Conflicts: 1164000 | #Constraints: 69442
2636.06/2664.95 c #Conflicts: 1165000 | #Constraints: 70442
2636.06/2664.95 c #Conflicts: 1166000 | #Constraints: 71442
2636.06/2664.95 c #Conflicts: 1167000 | #Constraints: 72442
2636.06/2664.95 c #Conflicts: 1168000 | #Constraints: 73443
2636.06/2664.95 c INPROCESSING
2636.06/2664.95 c GARBAGE COLLECT
2636.06/2664.95 c rational objective 7
2677.86/2707.46 c #Conflicts: 1169000 | #Constraints: 53011
2677.86/2707.46 c #Conflicts: 1170000 | #Constraints: 54011
2677.86/2707.46 c #Conflicts: 1171000 | #Constraints: 55011
2677.86/2707.46 c #Conflicts: 1172000 | #Constraints: 56011
2677.86/2707.46 c #Conflicts: 1173000 | #Constraints: 57011
2677.86/2707.46 c #Conflicts: 1174000 | #Constraints: 58011
2677.86/2707.46 c #Conflicts: 1175000 | #Constraints: 59012
2677.86/2707.46 c #Conflicts: 1176000 | #Constraints: 60012
2677.86/2707.46 c #Conflicts: 1177000 | #Constraints: 61012
2677.86/2707.46 c #Conflicts: 1178000 | #Constraints: 62012
2677.86/2707.46 c #Conflicts: 1179000 | #Constraints: 63013
2677.86/2707.46 c #Conflicts: 1180000 | #Constraints: 64013
2677.86/2707.46 c #Conflicts: 1181000 | #Constraints: 65013
2677.86/2707.46 c #Conflicts: 1182000 | #Constraints: 66013
2677.86/2707.46 c #Conflicts: 1183000 | #Constraints: 67014
2677.86/2707.46 c #Conflicts: 1184000 | #Constraints: 68014
2677.86/2707.46 c #Conflicts: 1185000 | #Constraints: 69016
2677.86/2707.46 c #Conflicts: 1186000 | #Constraints: 70016
2677.86/2707.46 c #Conflicts: 1187000 | #Constraints: 71017
2677.86/2707.46 c #Conflicts: 1188000 | #Constraints: 72017
2677.86/2707.46 c #Conflicts: 1189000 | #Constraints: 73018
2677.86/2707.46 c #Conflicts: 1190000 | #Constraints: 74018
2677.86/2707.46 c INPROCESSING
2677.86/2707.46 c GARBAGE COLLECT
2677.86/2707.46 c rational objective 7
2727.96/2758.11 c #Conflicts: 1191000 | #Constraints: 53413
2727.96/2758.11 c #Conflicts: 1192000 | #Constraints: 54414
2727.96/2758.11 c #Conflicts: 1193000 | #Constraints: 55416
2727.96/2758.11 c #Conflicts: 1194000 | #Constraints: 56418
2727.96/2758.11 c #Conflicts: 1195000 | #Constraints: 57422
2727.96/2758.11 c #Conflicts: 1196000 | #Constraints: 58423
2727.96/2758.11 c #Conflicts: 1197000 | #Constraints: 59424
2727.96/2758.11 c #Conflicts: 1198000 | #Constraints: 60425
2727.96/2758.11 c #Conflicts: 1199000 | #Constraints: 61426
2727.96/2758.11 c #Conflicts: 1200000 | #Constraints: 62426
2727.96/2758.11 c #Conflicts: 1201000 | #Constraints: 63426
2727.96/2758.11 c #Conflicts: 1202000 | #Constraints: 64427
2727.96/2758.11 c #Conflicts: 1203000 | #Constraints: 65428
2727.96/2758.11 c #Conflicts: 1204000 | #Constraints: 66429
2727.96/2758.11 c #Conflicts: 1205000 | #Constraints: 67432
2727.96/2758.11 c #Conflicts: 1206000 | #Constraints: 68435
2727.96/2758.11 c #Conflicts: 1207000 | #Constraints: 69436
2727.96/2758.11 c #Conflicts: 1208000 | #Constraints: 70437
2727.96/2758.11 c #Conflicts: 1209000 | #Constraints: 71438
2727.96/2758.11 c #Conflicts: 1210000 | #Constraints: 72439
2727.96/2758.11 c #Conflicts: 1211000 | #Constraints: 73440
2727.96/2758.11 c #Conflicts: 1212000 | #Constraints: 74443
2727.96/2758.11 c INPROCESSING
2727.96/2758.11 c GARBAGE COLLECT
2727.96/2758.11 c rational objective 7
2817.16/2848.12 c #Conflicts: 1213000 | #Constraints: 53608
2817.16/2848.12 c #Conflicts: 1214000 | #Constraints: 54609
2817.16/2848.12 c #Conflicts: 1215000 | #Constraints: 55611
2817.16/2848.12 c #Conflicts: 1216000 | #Constraints: 56614
2817.16/2848.12 c #Conflicts: 1217000 | #Constraints: 57618
2817.16/2848.12 c #Conflicts: 1218000 | #Constraints: 58627
2817.16/2848.12 c #Conflicts: 1219000 | #Constraints: 59630
2817.16/2848.12 c #Conflicts: 1220000 | #Constraints: 60631
2817.16/2848.12 c #Conflicts: 1221000 | #Constraints: 61631
2817.16/2848.12 c #Conflicts: 1222000 | #Constraints: 62634
2817.16/2848.12 c #Conflicts: 1223000 | #Constraints: 63634
2817.16/2848.12 c #Conflicts: 1224000 | #Constraints: 64635
2817.16/2848.12 c #Conflicts: 1225000 | #Constraints: 65637
2817.16/2848.12 c #Conflicts: 1226000 | #Constraints: 66638
2817.16/2848.12 c #Conflicts: 1227000 | #Constraints: 67638
2817.16/2848.12 c #Conflicts: 1228000 | #Constraints: 68639
2817.16/2848.12 c #Conflicts: 1229000 | #Constraints: 69640
2817.16/2848.12 c #Conflicts: 1230000 | #Constraints: 70640
2817.16/2848.12 c #Conflicts: 1231000 | #Constraints: 71641
2817.16/2848.12 c #Conflicts: 1232000 | #Constraints: 72641
2817.16/2848.12 c #Conflicts: 1233000 | #Constraints: 73641
2817.16/2848.12 c #Conflicts: 1234000 | #Constraints: 74641
2817.16/2848.12 c INPROCESSING
2817.16/2848.12 c GARBAGE COLLECT
2817.16/2848.12 c rational objective 7
2878.01/2909.46 c #Conflicts: 1235000 | #Constraints: 53602
2878.01/2909.46 c #Conflicts: 1236000 | #Constraints: 54603
2878.01/2909.46 c #Conflicts: 1237000 | #Constraints: 55606
2878.01/2909.46 c #Conflicts: 1238000 | #Constraints: 56610
2878.01/2909.46 c #Conflicts: 1239000 | #Constraints: 57613
2878.01/2909.46 c #Conflicts: 1240000 | #Constraints: 58616
2878.01/2909.46 c #Conflicts: 1241000 | #Constraints: 59620
2878.01/2909.46 c #Conflicts: 1242000 | #Constraints: 60624
2878.01/2909.46 c #Conflicts: 1243000 | #Constraints: 61626
2878.01/2909.46 c #Conflicts: 1244000 | #Constraints: 62628
2878.01/2909.46 c #Conflicts: 1245000 | #Constraints: 63629
2878.01/2909.46 c #Conflicts: 1246000 | #Constraints: 64631
2878.01/2909.46 c #Conflicts: 1247000 | #Constraints: 65634
2878.01/2909.46 c #Conflicts: 1248000 | #Constraints: 66637
2878.01/2909.46 c #Conflicts: 1249000 | #Constraints: 67642
2878.01/2909.46 c #Conflicts: 1250000 | #Constraints: 68644
2878.01/2909.46 c #Conflicts: 1251000 | #Constraints: 69646
2878.01/2909.46 c #Conflicts: 1252000 | #Constraints: 70648
2878.01/2909.46 c #Conflicts: 1253000 | #Constraints: 71649
2878.01/2909.46 c #Conflicts: 1254000 | #Constraints: 72649
2878.01/2909.46 c #Conflicts: 1255000 | #Constraints: 73651
2878.01/2909.46 c #Conflicts: 1256000 | #Constraints: 74651
2878.01/2909.46 c INPROCESSING
2878.01/2909.46 c GARBAGE COLLECT
2878.01/2909.46 c rational objective 7
2918.64/2950.34 c #Conflicts: 1257000 | #Constraints: 53427
2918.64/2950.34 c #Conflicts: 1258000 | #Constraints: 54428
2918.64/2950.34 c #Conflicts: 1259000 | #Constraints: 55432
2918.64/2950.34 c #Conflicts: 1260000 | #Constraints: 56435
2918.64/2950.34 c #Conflicts: 1261000 | #Constraints: 57438
2918.64/2950.34 c #Conflicts: 1262000 | #Constraints: 58439
2918.64/2950.34 c #Conflicts: 1263000 | #Constraints: 59445
2918.64/2950.34 c #Conflicts: 1264000 | #Constraints: 60445
2918.64/2950.34 c #Conflicts: 1265000 | #Constraints: 61447
2918.64/2950.34 c #Conflicts: 1266000 | #Constraints: 62448
2918.64/2950.34 c #Conflicts: 1267000 | #Constraints: 63450
2918.64/2950.34 c #Conflicts: 1268000 | #Constraints: 64450
2918.64/2950.34 c #Conflicts: 1269000 | #Constraints: 65453
2918.64/2950.34 c #Conflicts: 1270000 | #Constraints: 66457
2918.64/2950.34 c #Conflicts: 1271000 | #Constraints: 67459
2918.64/2950.34 c #Conflicts: 1272000 | #Constraints: 68459
2918.64/2950.34 c #Conflicts: 1273000 | #Constraints: 69459
2918.64/2950.34 c #Conflicts: 1274000 | #Constraints: 70459
2918.64/2950.34 c #Conflicts: 1275000 | #Constraints: 71459
2918.64/2950.34 c #Conflicts: 1276000 | #Constraints: 72461
2918.64/2950.34 c #Conflicts: 1277000 | #Constraints: 73462
2918.64/2950.34 c #Conflicts: 1278000 | #Constraints: 74462
2918.64/2950.34 c #Conflicts: 1279000 | #Constraints: 75463
2918.64/2950.34 c INPROCESSING
2918.64/2950.34 c GARBAGE COLLECT
2918.64/2950.34 c rational objective 7
2980.00/3012.34 c #Conflicts: 1280000 | #Constraints: 54031
2980.00/3012.34 c #Conflicts: 1281000 | #Constraints: 55031
2980.00/3012.34 c #Conflicts: 1282000 | #Constraints: 56033
2980.00/3012.34 c #Conflicts: 1283000 | #Constraints: 57049
2980.00/3012.34 c #Conflicts: 1284000 | #Constraints: 58052
2980.00/3012.34 c #Conflicts: 1285000 | #Constraints: 59054
2980.00/3012.34 c #Conflicts: 1286000 | #Constraints: 60057
2980.00/3012.34 c #Conflicts: 1287000 | #Constraints: 61060
2980.00/3012.34 c #Conflicts: 1288000 | #Constraints: 62061
2980.00/3012.34 c #Conflicts: 1289000 | #Constraints: 63063
2980.00/3012.34 c #Conflicts: 1290000 | #Constraints: 64066
2980.00/3012.34 c #Conflicts: 1291000 | #Constraints: 65067
2980.00/3012.34 c #Conflicts: 1292000 | #Constraints: 66067
2980.00/3012.34 c #Conflicts: 1293000 | #Constraints: 67069
2980.00/3012.34 c #Conflicts: 1294000 | #Constraints: 68070
2980.00/3012.34 c #Conflicts: 1295000 | #Constraints: 69071
2980.00/3012.34 c #Conflicts: 1296000 | #Constraints: 70072
2980.00/3012.34 c #Conflicts: 1297000 | #Constraints: 71073
2980.00/3012.34 c #Conflicts: 1298000 | #Constraints: 72073
2980.00/3012.34 c #Conflicts: 1299000 | #Constraints: 73074
2980.00/3012.34 c #Conflicts: 1300000 | #Constraints: 74074
2980.00/3012.34 c #Conflicts: 1301000 | #Constraints: 75075
2980.00/3012.34 c #Conflicts: 1302000 | #Constraints: 76076
2980.00/3012.34 c INPROCESSING
2980.00/3012.34 c GARBAGE COLLECT
2980.00/3012.34 c rational objective 7
3037.48/3070.23 c #Conflicts: 1303000 | #Constraints: 54441
3037.48/3070.23 c #Conflicts: 1304000 | #Constraints: 55441
3037.48/3070.23 c #Conflicts: 1305000 | #Constraints: 56443
3037.48/3070.23 c #Conflicts: 1306000 | #Constraints: 57447
3037.48/3070.23 c #Conflicts: 1307000 | #Constraints: 58450
3037.48/3070.23 c #Conflicts: 1308000 | #Constraints: 59452
3037.48/3070.23 c #Conflicts: 1309000 | #Constraints: 60454
3037.48/3070.23 c #Conflicts: 1310000 | #Constraints: 61456
3037.48/3070.23 c #Conflicts: 1311000 | #Constraints: 62457
3037.48/3070.23 c #Conflicts: 1312000 | #Constraints: 63459
3037.48/3070.23 c #Conflicts: 1313000 | #Constraints: 64461
3037.48/3070.23 c #Conflicts: 1314000 | #Constraints: 65462
3037.48/3070.23 c #Conflicts: 1315000 | #Constraints: 66463
3037.48/3070.23 c #Conflicts: 1316000 | #Constraints: 67464
3037.48/3070.23 c #Conflicts: 1317000 | #Constraints: 68465
3037.48/3070.23 c #Conflicts: 1318000 | #Constraints: 69465
3037.48/3070.23 c #Conflicts: 1319000 | #Constraints: 70466
3037.48/3070.23 c #Conflicts: 1320000 | #Constraints: 71467
3037.48/3070.23 c #Conflicts: 1321000 | #Constraints: 72468
3037.48/3070.23 c #Conflicts: 1322000 | #Constraints: 73469
3037.48/3070.23 c #Conflicts: 1323000 | #Constraints: 74469
3037.48/3070.23 c #Conflicts: 1324000 | #Constraints: 75470
3037.48/3070.23 c #Conflicts: 1325000 | #Constraints: 76471
3037.48/3070.23 c INPROCESSING
3037.48/3070.23 c GARBAGE COLLECT
3037.48/3070.23 c rational objective 7
3125.55/3159.12 c #Conflicts: 1326000 | #Constraints: 54632
3125.55/3159.12 c #Conflicts: 1327000 | #Constraints: 55633
3125.55/3159.12 c #Conflicts: 1328000 | #Constraints: 56635
3125.55/3159.12 c #Conflicts: 1329000 | #Constraints: 57637
3125.55/3159.12 c #Conflicts: 1330000 | #Constraints: 58638
3125.55/3159.12 c #Conflicts: 1331000 | #Constraints: 59639
3125.55/3159.12 c #Conflicts: 1332000 | #Constraints: 60640
3125.55/3159.12 c #Conflicts: 1333000 | #Constraints: 61642
3125.55/3159.12 c #Conflicts: 1334000 | #Constraints: 62643
3125.55/3159.12 c #Conflicts: 1335000 | #Constraints: 63644
3125.55/3159.12 c #Conflicts: 1336000 | #Constraints: 64646
3125.55/3159.12 c #Conflicts: 1337000 | #Constraints: 65648
3125.55/3159.12 c #Conflicts: 1338000 | #Constraints: 66649
3125.55/3159.12 c #Conflicts: 1339000 | #Constraints: 67651
3125.55/3159.12 c #Conflicts: 1340000 | #Constraints: 68652
3125.55/3159.12 c #Conflicts: 1341000 | #Constraints: 69654
3125.55/3159.12 c #Conflicts: 1342000 | #Constraints: 70656
3125.55/3159.12 c #Conflicts: 1343000 | #Constraints: 71658
3125.55/3159.12 c #Conflicts: 1344000 | #Constraints: 72661
3125.55/3159.12 c #Conflicts: 1345000 | #Constraints: 73661
3125.55/3159.12 c #Conflicts: 1346000 | #Constraints: 74662
3125.55/3159.12 c #Conflicts: 1347000 | #Constraints: 75663
3125.55/3159.12 c #Conflicts: 1348000 | #Constraints: 76663
3125.55/3159.12 c INPROCESSING
3125.55/3159.12 c GARBAGE COLLECT
3125.55/3159.12 c rational objective 7
3188.88/3222.92 c #Conflicts: 1349000 | #Constraints: 54677
3188.88/3222.92 c #Conflicts: 1350000 | #Constraints: 55678
3188.88/3222.92 c #Conflicts: 1351000 | #Constraints: 56680
3188.88/3222.92 c #Conflicts: 1352000 | #Constraints: 57682
3188.88/3222.92 c #Conflicts: 1353000 | #Constraints: 58683
3188.88/3222.92 c #Conflicts: 1354000 | #Constraints: 59684
3188.88/3222.92 c #Conflicts: 1355000 | #Constraints: 60685
3188.88/3222.92 c #Conflicts: 1356000 | #Constraints: 61686
3188.88/3222.92 c #Conflicts: 1357000 | #Constraints: 62687
3188.88/3222.92 c #Conflicts: 1358000 | #Constraints: 63687
3188.88/3222.92 c #Conflicts: 1359000 | #Constraints: 64688
3188.88/3222.92 c #Conflicts: 1360000 | #Constraints: 65689
3188.88/3222.92 c #Conflicts: 1361000 | #Constraints: 66690
3188.88/3222.92 c #Conflicts: 1362000 | #Constraints: 67691
3188.88/3222.92 c #Conflicts: 1363000 | #Constraints: 68692
3188.88/3222.92 c #Conflicts: 1364000 | #Constraints: 69694
3188.88/3222.92 c #Conflicts: 1365000 | #Constraints: 70695
3188.88/3222.92 c #Conflicts: 1366000 | #Constraints: 71696
3188.88/3222.92 c #Conflicts: 1367000 | #Constraints: 72696
3188.88/3222.92 c #Conflicts: 1368000 | #Constraints: 73697
3188.88/3222.92 c #Conflicts: 1369000 | #Constraints: 74698
3188.88/3222.92 c #Conflicts: 1370000 | #Constraints: 75698
3188.88/3222.92 c #Conflicts: 1371000 | #Constraints: 76699
3188.88/3222.92 c INPROCESSING
3188.88/3222.92 c GARBAGE COLLECT
3188.88/3222.92 c rational objective 7
3239.20/3273.53 c #Conflicts: 1372000 | #Constraints: 54418
3239.20/3273.53 c #Conflicts: 1373000 | #Constraints: 55419
3239.20/3273.53 c #Conflicts: 1374000 | #Constraints: 56419
3239.20/3273.53 c #Conflicts: 1375000 | #Constraints: 57420
3239.20/3273.53 c #Conflicts: 1376000 | #Constraints: 58423
3239.20/3273.53 c #Conflicts: 1377000 | #Constraints: 59424
3239.20/3273.53 c #Conflicts: 1378000 | #Constraints: 60425
3239.20/3273.53 c #Conflicts: 1379000 | #Constraints: 61426
3239.20/3273.53 c #Conflicts: 1380000 | #Constraints: 62427
3239.20/3273.53 c #Conflicts: 1381000 | #Constraints: 63428
3239.20/3273.53 c #Conflicts: 1382000 | #Constraints: 64429
3239.20/3273.53 c #Conflicts: 1383000 | #Constraints: 65429
3239.20/3273.53 c #Conflicts: 1384000 | #Constraints: 66430
3239.20/3273.53 c #Conflicts: 1385000 | #Constraints: 67430
3239.20/3273.53 c #Conflicts: 1386000 | #Constraints: 68431
3239.20/3273.53 c #Conflicts: 1387000 | #Constraints: 69432
3239.20/3273.53 c #Conflicts: 1388000 | #Constraints: 70432
3239.20/3273.53 c #Conflicts: 1389000 | #Constraints: 71433
3239.20/3273.53 c #Conflicts: 1390000 | #Constraints: 72433
3239.20/3273.53 c #Conflicts: 1391000 | #Constraints: 73434
3239.20/3273.53 c #Conflicts: 1392000 | #Constraints: 74436
3239.20/3273.53 c #Conflicts: 1393000 | #Constraints: 75437
3239.20/3273.53 c #Conflicts: 1394000 | #Constraints: 76438
3239.20/3273.53 c #Conflicts: 1395000 | #Constraints: 77439
3239.20/3273.53 c INPROCESSING
3239.20/3273.53 c GARBAGE COLLECT
3239.20/3273.53 c rational objective 7
3316.51/3351.24 c #Conflicts: 1396000 | #Constraints: 55050
3316.51/3351.24 c #Conflicts: 1397000 | #Constraints: 56053
3316.51/3351.24 c #Conflicts: 1398000 | #Constraints: 57056
3316.51/3351.24 c #Conflicts: 1399000 | #Constraints: 58060
3316.51/3351.24 c #Conflicts: 1400000 | #Constraints: 59062
3316.51/3351.24 c #Conflicts: 1401000 | #Constraints: 60066
3316.51/3351.24 c #Conflicts: 1402000 | #Constraints: 61068
3316.51/3351.24 c #Conflicts: 1403000 | #Constraints: 62069
3316.51/3351.24 c #Conflicts: 1404000 | #Constraints: 63070
3316.51/3351.24 c #Conflicts: 1405000 | #Constraints: 64072
3316.51/3351.24 c #Conflicts: 1406000 | #Constraints: 65073
3316.51/3351.24 c #Conflicts: 1407000 | #Constraints: 66078
3316.51/3351.24 c #Conflicts: 1408000 | #Constraints: 67080
3316.51/3351.24 c #Conflicts: 1409000 | #Constraints: 68081
3316.51/3351.24 c #Conflicts: 1410000 | #Constraints: 69082
3316.51/3351.24 c #Conflicts: 1411000 | #Constraints: 70088
3316.51/3351.24 c #Conflicts: 1412000 | #Constraints: 71091
3316.51/3351.24 c #Conflicts: 1413000 | #Constraints: 72093
3316.51/3351.24 c #Conflicts: 1414000 | #Constraints: 73096
3316.51/3351.24 c #Conflicts: 1415000 | #Constraints: 74096
3316.51/3351.24 c #Conflicts: 1416000 | #Constraints: 75097
3316.51/3351.24 c #Conflicts: 1417000 | #Constraints: 76098
3316.51/3351.24 c #Conflicts: 1418000 | #Constraints: 77099
3316.51/3351.24 c #Conflicts: 1419000 | #Constraints: 78099
3316.51/3351.24 c INPROCESSING
3316.51/3351.24 c GARBAGE COLLECT
3316.51/3351.24 c rational objective 7
3388.52/3423.66 c #Conflicts: 1420000 | #Constraints: 55480
3388.52/3423.66 c #Conflicts: 1421000 | #Constraints: 56481
3388.52/3423.66 c #Conflicts: 1422000 | #Constraints: 57483
3388.52/3423.66 c #Conflicts: 1423000 | #Constraints: 58485
3388.52/3423.66 c #Conflicts: 1424000 | #Constraints: 59488
3388.52/3423.66 c #Conflicts: 1425000 | #Constraints: 60494
3388.52/3423.66 c #Conflicts: 1426000 | #Constraints: 61497
3388.52/3423.66 c #Conflicts: 1427000 | #Constraints: 62504
3388.52/3423.66 c #Conflicts: 1428000 | #Constraints: 63509
3388.52/3423.66 c #Conflicts: 1429000 | #Constraints: 64511
3388.52/3423.66 c #Conflicts: 1430000 | #Constraints: 65514
3388.52/3423.66 c #Conflicts: 1431000 | #Constraints: 66516
3388.52/3423.66 c #Conflicts: 1432000 | #Constraints: 67517
3388.52/3423.66 c #Conflicts: 1433000 | #Constraints: 68520
3388.52/3423.66 c #Conflicts: 1434000 | #Constraints: 69529
3388.52/3423.66 c #Conflicts: 1435000 | #Constraints: 70531
3388.52/3423.66 c #Conflicts: 1436000 | #Constraints: 71533
3388.52/3423.66 c #Conflicts: 1437000 | #Constraints: 72535
3388.52/3423.66 c #Conflicts: 1438000 | #Constraints: 73537
3388.52/3423.66 c #Conflicts: 1439000 | #Constraints: 74538
3388.52/3423.66 c #Conflicts: 1440000 | #Constraints: 75538
3388.52/3423.66 c #Conflicts: 1441000 | #Constraints: 76539
3388.52/3423.66 c #Conflicts: 1442000 | #Constraints: 77540
3388.52/3423.66 c #Conflicts: 1443000 | #Constraints: 78541
3388.52/3423.66 c INPROCESSING
3388.52/3423.66 c GARBAGE COLLECT
3388.52/3423.66 c rational objective 7
3456.94/3492.51 c #Conflicts: 1444000 | #Constraints: 55674
3456.94/3492.51 c #Conflicts: 1445000 | #Constraints: 56674
3456.94/3492.51 c #Conflicts: 1446000 | #Constraints: 57679
3456.94/3492.51 c #Conflicts: 1447000 | #Constraints: 58689
3456.94/3492.51 c #Conflicts: 1448000 | #Constraints: 59701
3456.94/3492.51 c #Conflicts: 1449000 | #Constraints: 60712
3456.94/3492.51 c #Conflicts: 1450000 | #Constraints: 61726
3456.94/3492.51 c #Conflicts: 1451000 | #Constraints: 62734
3456.94/3492.51 c #Conflicts: 1452000 | #Constraints: 63755
3456.94/3492.51 c #Conflicts: 1453000 | #Constraints: 64756
3456.94/3492.51 c #Conflicts: 1454000 | #Constraints: 65756
3456.94/3492.51 c #Conflicts: 1455000 | #Constraints: 66757
3456.94/3492.51 c #Conflicts: 1456000 | #Constraints: 67758
3456.94/3492.51 c #Conflicts: 1457000 | #Constraints: 68758
3456.94/3492.51 c #Conflicts: 1458000 | #Constraints: 69758
3456.94/3492.51 c #Conflicts: 1459000 | #Constraints: 70759
3456.94/3492.51 c #Conflicts: 1460000 | #Constraints: 71762
3456.94/3492.51 c #Conflicts: 1461000 | #Constraints: 72762
3456.94/3492.51 c #Conflicts: 1462000 | #Constraints: 73764
3456.94/3492.51 c #Conflicts: 1463000 | #Constraints: 74766
3456.94/3492.51 c #Conflicts: 1464000 | #Constraints: 75766
3456.94/3492.51 c #Conflicts: 1465000 | #Constraints: 76770
3456.94/3492.51 c #Conflicts: 1466000 | #Constraints: 77771
3456.94/3492.51 c #Conflicts: 1467000 | #Constraints: 78772
3456.94/3492.51 c INPROCESSING
3456.94/3492.51 c GARBAGE COLLECT
3456.94/3492.51 c rational objective 7
3512.36/3548.56 c #Conflicts: 1468000 | #Constraints: 55689
3512.36/3548.56 c #Conflicts: 1469000 | #Constraints: 56690
3512.36/3548.56 c #Conflicts: 1470000 | #Constraints: 57690
3512.36/3548.56 c #Conflicts: 1471000 | #Constraints: 58691
3512.36/3548.56 c #Conflicts: 1472000 | #Constraints: 59695
3512.36/3548.56 c #Conflicts: 1473000 | #Constraints: 60697
3512.36/3548.56 c #Conflicts: 1474000 | #Constraints: 61698
3512.36/3548.56 c #Conflicts: 1475000 | #Constraints: 62699
3512.36/3548.56 c #Conflicts: 1476000 | #Constraints: 63707
3512.36/3548.56 c #Conflicts: 1477000 | #Constraints: 64711
3512.36/3548.56 c #Conflicts: 1478000 | #Constraints: 65716
3512.36/3548.56 c #Conflicts: 1479000 | #Constraints: 66721
3512.36/3548.56 c #Conflicts: 1480000 | #Constraints: 67723
3512.36/3548.56 c #Conflicts: 1481000 | #Constraints: 68726
3512.36/3548.56 c #Conflicts: 1482000 | #Constraints: 69728
3512.36/3548.56 c #Conflicts: 1483000 | #Constraints: 70730
3512.36/3548.56 c #Conflicts: 1484000 | #Constraints: 71733
3512.36/3548.56 c #Conflicts: 1485000 | #Constraints: 72735
3512.36/3548.56 c #Conflicts: 1486000 | #Constraints: 73737
3512.36/3548.56 c #Conflicts: 1487000 | #Constraints: 74739
3512.36/3548.56 c #Conflicts: 1488000 | #Constraints: 75741
3512.36/3548.56 c #Conflicts: 1489000 | #Constraints: 76743
3512.36/3548.56 c #Conflicts: 1490000 | #Constraints: 77745
3512.36/3548.56 c #Conflicts: 1491000 | #Constraints: 78746
3512.36/3548.56 c INPROCESSING
3512.36/3548.56 c GARBAGE COLLECT
3512.36/3548.56 c rational objective 7
3590.23/3627.05 c #Conflicts: 1492000 | #Constraints: 55467
3590.23/3627.05 c #Conflicts: 1493000 | #Constraints: 56467
3590.23/3627.05 c #Conflicts: 1494000 | #Constraints: 57471
3590.23/3627.05 c #Conflicts: 1495000 | #Constraints: 58477
3590.23/3627.05 c #Conflicts: 1496000 | #Constraints: 59482
3590.23/3627.05 c #Conflicts: 1497000 | #Constraints: 60484
3590.23/3627.05 c #Conflicts: 1498000 | #Constraints: 61486
3590.23/3627.05 c #Conflicts: 1499000 | #Constraints: 62490
3590.23/3627.05 c #Conflicts: 1500000 | #Constraints: 63491
3590.23/3627.05 c #Conflicts: 1501000 | #Constraints: 64494
3590.23/3627.05 c #Conflicts: 1502000 | #Constraints: 65495
3590.23/3627.05 c #Conflicts: 1503000 | #Constraints: 66496
3590.23/3627.05 c #Conflicts: 1504000 | #Constraints: 67498
3590.23/3627.05 c #Conflicts: 1505000 | #Constraints: 68500
3590.23/3627.05 c #Conflicts: 1506000 | #Constraints: 69501
3590.23/3627.05 c #Conflicts: 1507000 | #Constraints: 70502
3590.23/3627.05 c #Conflicts: 1508000 | #Constraints: 71504
3590.23/3627.05 c #Conflicts: 1509000 | #Constraints: 72507
3590.23/3627.05 c #Conflicts: 1510000 | #Constraints: 73508
3590.23/3627.05 c #Conflicts: 1511000 | #Constraints: 74510
3590.23/3627.05 c #Conflicts: 1512000 | #Constraints: 75512
3590.23/3627.05 c #Conflicts: 1513000 | #Constraints: 76515
3590.23/3627.05 c #Conflicts: 1514000 | #Constraints: 77522
3590.23/3627.05 c #Conflicts: 1515000 | #Constraints: 78523
3590.23/3627.05 c #Conflicts: 1516000 | #Constraints: 79526
3590.23/3627.05 c INPROCESSING
3590.23/3627.05 c GARBAGE COLLECT
3590.23/3627.05 c rational objective 7
3600.09/3636.90 c #Conflicts: 1517000 | #Constraints: 56078
3600.09/3636.90 c #Conflicts: 1518000 | #Constraints: 57079
3600.09/3636.90 c #Conflicts: 1519000 | #Constraints: 58082
3600.09/3636.90 c #Conflicts: 1520000 | #Constraints: 59084
3600.09/3636.90 c #Conflicts: 1521000 | #Constraints: 60086
3600.09/3636.90 c #Conflicts: 1522000 | #Constraints: 61087
3600.09/3636.90 c #Conflicts: 1523000 | #Constraints: 62088
3600.09/3636.90 c cpu time 3564.54 s
3600.09/3636.90 c deterministic time 303113253710 3.03e+11
3600.09/3636.90 c optimization time 9.3557 s
3600.09/3636.90 c total solve time 3554.84 s
3600.09/3636.90 c core-guided solve time 1807.69 s
3600.09/3636.90 c propagation time 2300.58 s
3600.09/3636.90 c conflict analysis time 1016.3 s
3600.09/3636.90 c propagations 537197554
3600.09/3636.90 c resolve steps 11025240
3600.09/3636.90 c decisions 9071931
3600.09/3636.90 c conflicts 1523933
3600.09/3636.90 c restarts 3002
3600.09/3636.90 c inprocessing phases 114
3600.09/3636.90 c garbage collections 114 ,( 100.00 )
3600.09/3636.90 c input clauses 36171 ,( 98.57 )
3600.09/3636.90 c input cardinalities 76 ,( 0.21 )
3600.09/3636.90 c input general constraints 448 ,( 1.22 )
3600.09/3636.90 c input average constraint length 3.99
3600.09/3636.90 c input average constraint degree 11.66
3600.09/3636.90 c learned clauses 173910 ,( 11.39 )
3600.09/3636.90 c learned cardinalities 13314 ,( 0.87 )
3600.09/3636.90 c learned general constraints 1339833 ,( 87.74 )
3600.09/3636.90 c learned average constraint length 835.03
3600.09/3636.90 c learned average constraint degree 6505049486.24
3600.09/3636.90 c watched CF 32, 64, 128, Arb: 499270 , 0 , 0 , 0
3600.09/3636.90 c counting CF 32, 64, 128, Arb: 841012 , 0 , 0 , 0
3600.09/3636.90 c watched constraints 499270 ,( 37.25 )
3600.09/3636.90 c counting constraints 841011 ,( 62.75 )
3600.09/3636.90 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 146836960 , 50592272 , 2835382097 ,( 339690493 , 2495691604 )
3600.09/3636.90 c gcd simplifications 111147
3600.09/3636.90 c detected cardinalities 549
3600.09/3636.90 c weakened non-implied lits 320162104
3600.09/3636.90 c weakened non-implying lits 1077917
3600.09/3636.90 c original variables 15310
3600.09/3636.90 c clausal propagations 118420651
3600.09/3636.90 c cardinality propagations 36467837
3600.09/3636.90 c watched propagations 3107332
3600.09/3636.90 c counting propagations 367610366
3600.09/3636.90 c watch lookups 169290365340
3600.09/3636.90 c watch backjump lookups 0
3600.09/3636.90 c watch checks 47782675469
3600.09/3636.90 c propagation checks 81054250565
3600.09/3636.90 c constraint additions 3890266977
3600.09/3636.90 c trail pops 547784845
3600.09/3636.90 c formula constraints 36695
3600.09/3636.90 c learned constraints 1521194
3600.09/3636.90 c bound constraints 0
3600.09/3636.90 c core-guided constraints 0
3600.09/3636.90 c encountered formula constraints 7412949
3600.09/3636.90 c encountered learned constraints 4728726
3600.09/3636.90 c encountered bound constraints 0
3600.09/3636.90 c encountered core-guided constraints 0
3600.09/3636.90 c LP total time 599.532 s
3600.09/3636.90 c LP solve time 527.74 s
3600.09/3636.90 c LP constraints added 38492
3600.09/3636.90 c LP constraints removed 1766
3600.09/3636.90 c LP pivots internal 1524019
3600.09/3636.90 c LP pivots root 117009
3600.09/3636.90 c LP calls 4568
3600.09/3636.90 c LP optimalities 1824
3600.09/3636.90 c LP no pivot count 322
3600.09/3636.90 c LP infeasibilities 2740
3600.09/3636.90 c LP valid Farkas constraints 2739
3600.09/3636.90 c LP learned Farkas constraints 2738
3600.09/3636.90 c LP basis resets 1
3600.09/3636.90 c LP cycling count 0
3600.09/3636.90 c LP singular count 0
3600.09/3636.90 c LP no primal count 0
3600.09/3636.90 c LP no farkas count 1
3600.09/3636.90 c LP other issue count 0
3600.09/3636.90 c LP Gomory cuts 386
3600.09/3636.90 c LP learned cuts 1411
3600.09/3636.90 c LP deleted cuts 1766
3600.09/3636.90 c LP encountered Gomory constraints 13551
3600.09/3636.90 c LP encountered Farkas constraints 351754
3600.09/3636.90 c LP encountered learned Farkas constraints 39455
3600.09/3636.90 c CG auxiliary variables introduced 0
3600.09/3636.90 c CG solutions found 0
3600.09/3636.90 c CG cores constructed 0
3600.09/3636.90 c CG core cardinality constraints returned 0
3600.09/3636.90 c CG unit cores 0
3600.09/3636.90 c CG single cores 0
3600.09/3636.90 c CG blocks removed during cardinality reduction 0
3600.09/3636.90 c CG first core best 0
3600.09/3636.90 c CG decision core best 0
3600.09/3636.90 c CG core reduction tie 0
3600.09/3636.90 c CG core degree average 0.00
3600.09/3636.90 c CG core slack average 0.00
3600.09/3636.90 c CG core upper bound improvements 0
3600.09/3636.90 c STR number of successful calls 0
3600.09/3636.90 c STR number of unsuccessful calls 0
3600.09/3636.90 c STR number of inconclusive calls 0
3600.09/3636.90 c STR number of successful attempts 0
3600.09/3636.90 c STR number of unsuccessful attempts 0
3600.09/3636.90 c STR number of inconclusive attempts 0
3600.09/3636.90 c STR average degree increase per successful call inf
3600.09/3636.90 c STR average degree increase per successful attempt inf
3600.09/3636.90 c STR total number of conflicts for successful attempts 0
3600.09/3636.90 c STR total number of conflicts for unsuccessful attempts 0
3600.09/3636.90 c STR total number of conflicts for inconclusive attempts 0
3600.09/3636.90 c STR average number of conflicts per successful attempt inf
3600.09/3636.90 c STR average number of conflicts per unsuccessful attempt inf
3600.09/3636.90 c STR average number of conflicts per inconclusive attempt inf
3600.09/3636.90 c AVG.sumWPerc 50.62
3600.09/3636.90 c bigint constraints 0
3600.09/3636.90 s UNKNOWN
3600.09/3636.90 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: 63794 MiB (48593 MiB free)
memory of node 1: 64507 MiB (51035 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4499309-1751406602/watcher-4499309-1751406602 -o /tmp/evaluation-result-4499309-1751406602/solver-4499309-1751406602 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751398041-54957 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4499309-1751406602.opb PROOFDIR/proof-4499309-1751406602
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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
Starting watchdog thread
solver pid=56528, runsolver pid=56525
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 4.20 4.18 4.20 5/261 56530
/proc/meminfo: memFree=102015720/131382112 swapFree=33009904/33010684
[pid=56528] ppid=56525 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/56528/stat : 56528 (run-opt-break-l) S 56525 56528 54941 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 56339046 4292608 736 18446744073709551615 94509580283904 94509581178437 140726997070512 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94509581417488 94509581465232 94509584859136 140726997072149 140726997072350 140726997072350 140726997077952 0
/proc/56528/statm: 1048 736 672 219 0 110 0
[pid=56530] ppid=56528 vsize=22516 memory=13908 CPUtime=0.07 cores=5,7
/proc/56530/stat : 56530 (pbsuma) R 56528 56528 54941 0 -1 4194304 3211 0 0 0 7 0 0 0 20 0 1 0 56339047 23056384 3477 18446744073709551615 4210688 4653049 140735557330640 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 4700520 4703148 19030016 140735557335267 140735557335602 140735557335602 140735557341167 0
/proc/56530/statm: 5629 3477 1024 108 0 3037 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 26708 KiB
Current children cumulated memory: 16852 KiB
[startup+0.205775 s]*
/proc/loadavg: 4.20 4.18 4.20 5/261 56530
/proc/meminfo: memFree=102015720/131382112 swapFree=33009904/33010684
[pid=56528] ppid=56525 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/56528/stat : 56528 (run-opt-break-l) S 56525 56528 54941 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 56339046 4292608 736 18446744073709551615 94509580283904 94509581178437 140726997070512 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94509581417488 94509581465232 94509584859136 140726997072149 140726997072350 140726997072350 140726997077952 0
/proc/56528/statm: 1048 736 672 219 0 110 0
[pid=56530] ppid=56528 vsize=26748 memory=17220 CPUtime=0.17 cores=5,7
/proc/56530/stat : 56530 (pbsuma) R 56528 56528 54941 0 -1 4194304 4608 0 0 0 17 0 0 0 20 0 1 0 56339047 27389952 4305 18446744073709551615 4210688 4653049 140735557330640 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 4700520 4703148 19030016 140735557335267 140735557335602 140735557335602 140735557341167 0
/proc/56530/statm: 6687 4305 1024 108 0 4095 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 30940 KiB
Current children cumulated memory: 20164 KiB
[startup+0.306147 s]*
/proc/loadavg: 4.20 4.18 4.20 5/261 56530
/proc/meminfo: memFree=102015720/131382112 swapFree=33009904/33010684
[pid=56528] ppid=56525 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/56528/stat : 56528 (run-opt-break-l) S 56525 56528 54941 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 56339046 4292608 736 18446744073709551615 94509580283904 94509581178437 140726997070512 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94509581417488 94509581465232 94509584859136 140726997072149 140726997072350 140726997072350 140726997077952 0
/proc/56528/statm: 1048 736 672 219 0 110 0
[pid=56530] ppid=56528 vsize=24680 memory=16064 CPUtime=0.26 cores=5,7
/proc/56530/stat : 56530 (pbsuma) R 56528 56528 54941 0 -1 4194304 4825 0 0 0 26 0 0 0 20 0 1 0 56339047 25272320 4016 18446744073709551615 4210688 4653049 140735557330640 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 4700520 4703148 19030016 140735557335267 140735557335602 140735557335602 140735557341167 0
/proc/56530/statm: 6170 4016 1024 108 0 3578 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 28872 KiB
Current children cumulated memory: 19008 KiB
[startup+0.700257 s]
/proc/loadavg: 4.20 4.18 4.20 5/261 56530
/proc/meminfo: memFree=102015468/131382112 swapFree=33009904/33010684
[pid=56528] ppid=56525 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/56528/stat : 56528 (run-opt-break-l) S 56525 56528 54941 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 56339046 4292608 736 18446744073709551615 94509580283904 94509581178437 140726997070512 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94509581417488 94509581465232 94509584859136 140726997072149 140726997072350 140726997072350 140726997077952 0
/proc/56528/statm: 1048 736 672 219 0 110 0
[pid=56530] ppid=56528 vsize=32612 memory=24000 CPUtime=0.65 cores=5,7
/proc/56530/stat : 56530 (pbsuma) R 56528 56528 54941 0 -1 4194304 6835 0 0 0 64 1 0 0 20 0 1 0 56339047 33394688 6000 18446744073709551615 4210688 4653049 140735557330640 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 19030016 140735557335267 140735557335602 140735557335602 140735557341167 0
/proc/56530/statm: 8153 6000 1024 108 0 5561 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 36804 KiB
Current children cumulated memory: 26944 KiB
[startup+1.50034 s]
/proc/loadavg: 4.20 4.18 4.20 5/261 56530
/proc/meminfo: memFree=101975400/131382112 swapFree=33009904/33010684
[pid=56528] ppid=56525 vsize=4192 memory=2944 CPUtime=1.23 cores=5,7
/proc/56528/stat : 56528 (run-opt-break-l) S 56525 56528 54941 0 -1 4194304 240 7408 0 0 0 0 119 4 20 0 1 0 56339046 4292608 736 18446744073709551615 94509580283904 94509581178437 140726997070512 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94509581417488 94509581465232 94509584859136 140726997072149 140726997072350 140726997072350 140726997077952 0
/proc/56528/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 1.23 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB
[startup+3.1138 s]
/proc/loadavg: 4.18 4.17 4.20 5/261 56531
/proc/meminfo: memFree=101872156/131382112 swapFree=33009904/33010684
[pid=56528] ppid=56525 vsize=4192 memory=2944 CPUtime=1.23 cores=5,7
/proc/56528/stat : 56528 (run-opt-break-l) S 56525 56528 54941 0 -1 4194304 240 7408 0 0 0 0 119 4 20 0 1 0 56339046 4292608 736 18446744073709551615 94509580283904 94509581178437 140726997070512 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94509581417488 94509581465232 94509584859136 140726997072149 140726997072350 140726997072350 140726997077952 0
/proc/56528/statm: 1048 736 672 219 0 110 0
[pid=56531] ppid=56528 vsize=133836 memory=76264 CPUtime=1.77 cores=5,7
/proc/56531/stat : 56531 (roundingsat) R 56528 56528 54941 0 -1 4194304 13508 0 0 0 164 13 0 0 20 0 1 0 56339178 137048064 19066 18446744073709551615 4227072 8923433 140733067112784 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13463552 140733067118868 140733067119144 140733067119144 140733067124714 0
/proc/56531/statm: 33459 19066 2368 1147 0 20886 0
Current children cumulated CPU time: 3 s
Current children cumulated vsize: 138028 KiB
Current children cumulated memory: 79208 KiB
[startup+6.30039 s]
/proc/loadavg: 4.18 4.17 4.20 5/261 56531
/proc/meminfo: memFree=101789144/131382112 swapFree=33009904/33010684
[pid=56528] ppid=56525 vsize=4192 memory=2944 CPUtime=1.23 cores=5,7
/proc/56528/stat : 56528 (run-opt-break-l) S 56525 56528 54941 0 -1 4194304 240 7408 0 0 0 0 119 4 20 0 1 0 56339046 4292608 736 18446744073709551615 94509580283904 94509581178437 140726997070512 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94509581417488 94509581465232 94509584859136 140726997072149 140726997072350 140726997072350 140726997077952 0
/proc/56528/statm: 1048 736 672 219 0 110 0
[pid=56531] ppid=56528 vsize=163800 memory=106204 CPUtime=4.95 cores=5,7
/proc/56531/stat : 56531 (roundingsat) R 56528 56528 54941 0 -1 4194304 19478 0 0 0 476 19 0 0 20 0 1 0 56339178 167731200 26551 18446744073709551615 4227072 8923433 140733067112784 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13463552 140733067118868 140733067119144 140733067119144 140733067124714 0
/proc/56531/statm: 40950 26551 2368 1147 0 28377 0
Current children cumulated CPU time: 6.18 s
Current children cumulated vsize: 167992 KiB
Current children cumulated memory: 109148 KiB
[startup+12.7004 s]
/proc/loadavg: 4.17 4.17 4.20 5/261 56531
/proc/meminfo: memFree=101664088/131382112 swapFree=33009904/33010684
[pid=56528] ppid=56525 vsize=4192 memory=2944 CPUtime=1.23 cores=5,7
/proc/56528/stat : 56528 (run-opt-break-l) S 56525 56528 54941 0 -1 4194304 240 7408 0 0 0 0 119 4 20 0 1 0 56339046 4292608 736 18446744073709551615 94509580283904 94509581178437 140726997070512 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94509581417488 94509581465232 94509584859136 140726997072149 140726997072350 140726997072350 140726997077952 0
/proc/56528/statm: 1048 736 672 219 0 110 0
[pid=56531] ppid=56528 vsize=218732 memory=146816 CPUtime=11.32 cores=5,7
/proc/56531/stat : 56531 (roundingsat) R 56528 56528 54941 0 -1 4194304 28103 0 0 0 1101 31 0 0 20 0 1 0 56339178 223981568 36704 18446744073709551615 4227072 8923433 140733067112784 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13463552 140733067118868 140733067119144 140733067119144 140733067124714 0
/proc/56531/statm: 54683 36704 2368 1147 0 42110 0
Current children cumulated CPU time: 12.55 s
Current children cumulated vsize: 222924 KiB
Current children cumulated memory: 149760 KiB
[startup+25.5004 s]
/proc/loadavg: 4.21 4.18 4.20 5/261 56531
/proc/meminfo: memFree=101219128/131382112 swapFree=33009904/33010684
[pid=56528] ppid=56525 vsize=4192 memory=2944 CPUtime=1.23 cores=5,7
/proc/56528/stat : 56528 (run-opt-break-l) S 56525 56528 54941 0 -1 4194304 240 7408 0 0 0 0 119 4 20 0 1 0 56339046 4292608 736 18446744073709551615 94509580283904 94509581178437 140726997070512 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94509581417488 94509581465232 94509584859136 140726997072149 140726997072350 140726997072350 140726997077952 0
/proc/56528/statm: 1048 736 672 219 0 110 0
[pid=56531] ppid=56528 vsize=293388 memory=216980 CPUtime=24.09 cores=5,7
/proc/56531/stat : 56531 (roundingsat) R 56528 56528 54941 0 -1 4194304 42166 0 0 0 2354 55 0 0 20 0 1 0 56339178 300429312 54245 18446744073709551615 4227072 8923433 140733067112784 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13463552 140733067118868 140733067119144 140733067119144 140733067124714 0
/proc/56531/statm: 73347 54245 2368 1147 0 60774 0
Current children cumulated CPU time: 25.32 s
Current children cumulated vsize: 297580 KiB
Current children cumulated memory: 219924 KiB
[startup+51.1139 s]
/proc/loadavg: 4.14 4.16 4.20 5/263 56534
/proc/meminfo: memFree=100600320/131382112 swapFree=33009904/33010684
[pid=56528] ppid=56525 vsize=4192 memory=2944 CPUtime=1.23 cores=5,7
/proc/56528/stat : 56528 (run-opt-break-l) S 56525 56528 54941 0 -1 4194304 240 7408 0 0 0 0 119 4 20 0 1 0 56339046 4292608 736 18446744073709551615 94509580283904 94509581178437 140726997070512 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94509581417488 94509581465232 94509584859136 140726997072149 140726997072350 140726997072350 140726997077952 0
/proc/56528/statm: 1048 736 672 219 0 110 0
[pid=56531] ppid=56528 vsize=293388 memory=217236 CPUtime=49.42 cores=5,7
/proc/56531/stat : 56531 (roundingsat) R 56528 56528 54941 0 -1 4194304 42251 0 0 0 4850 92 0 0 20 0 1 0 56339178 300429312 54309 18446744073709551615 4227072 8923433 140733067112784 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13463552 140733067118868 140733067119144 140733067119144 140733067124714 0
/proc/56531/statm: 73347 54309 2368 1147 0 60774 0
Current children cumulated CPU time: 50.65 s
Current children cumulated vsize: 297580 KiB
Current children cumulated memory: 220180 KiB
[startup+102.3 s]
/proc/loadavg: 4.06 4.14 4.18 5/265 56538
/proc/meminfo: memFree=99491468/131382112 swapFree=33009904/33010684
[pid=56528] ppid=56525 vsize=4192 memory=2944 CPUtime=1.23 cores=5,7
/proc/56528/stat : 56528 (run-opt-break-l) S 56525 56528 54941 0 -1 4194304 240 7408 0 0 0 0 119 4 20 0 1 0 56339046 4292608 736 18446744073709551615 94509580283904 94509581178437 140726997070512 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94509581417488 94509581465232 94509584859136 140726997072149 140726997072350 140726997072350 140726997077952 0
/proc/56528/statm: 1048 736 672 219 0 110 0
[pid=56531] ppid=56528 vsize=322088 memory=247404 CPUtime=100.08 cores=5,7
/proc/56531/stat : 56531 (roundingsat) R 56528 56528 54941 0 -1 4194304 49352 0 0 0 9833 175 0 0 20 0 1 0 56339178 329818112 61851 18446744073709551615 4227072 8923433 140733067112784 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13463552 140733067118868 140733067119144 140733067119144 140733067124714 0
/proc/56531/statm: 80522 61851 2368 1147 0 67949 0
Current children cumulated CPU time: 101.31 s
Current children cumulated vsize: 326280 KiB
Current children cumulated memory: 250348 KiB
[startup+162.3 s]
/proc/loadavg: 4.20 4.16 4.19 5/264 56541
/proc/meminfo: memFree=98101776/131382112 swapFree=33009904/33010684
[pid=56528] ppid=56525 vsize=4192 memory=2944 CPUtime=1.23 cores=5,7
/proc/56528/stat : 56528 (run-opt-break-l) S 56525 56528 54941 0 -1 4194304 240 7408 0 0 0 0 119 4 20 0 1 0 56339046 4292608 736 18446744073709551615 94509580283904 94509581178437 140726997070512 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94509581417488 94509581465232 94509584859136 140726997072149 140726997072350 140726997072350 140726997077952 0
/proc/56528/statm: 1048 736 672 219 0 110 0
[pid=56531] ppid=56528 vsize=404428 memory=305780 CPUtime=159.59 cores=5,7
/proc/56531/stat : 56531 (roundingsat) R 56528 56528 54941 0 -1 4194304 61420 0 0 0 15690 269 0 0 20 0 1 0 56339178 414134272 76445 18446744073709551615 4227072 8923433 140733067112784 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 13463552 140733067118868 140733067119144 140733067119144 140733067124714 0
/proc/56531/statm: 101107 76445 2368 1147 0 88534 0
Current children cumulated CPU time: 160.82 s
Current children cumulated vsize: 408620 KiB
Current children cumulated memory: 308724 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.14 4.18 5/264 56543
/proc/meminfo: memFree=96715332/131382112 swapFree=33009904/33010684
[pid=56528] ppid=56525 vsize=4192 memory=2944 CPUtime=1.23 cores=5,7
/proc/56528/stat : 56528 (run-opt-break-l) S 56525 56528 54941 0 -1 4194304 240 7408 0 0 0 0 119 4 20 0 1 0 56339046 4292608 736 18446744073709551615 94509580283904 94509581178437 140726997070512 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94509581417488 94509581465232 94509584859136 140726997072149 140726997072350 140726997072350 140726997077952 0
/proc/56528/statm: 1048 736 672 219 0 110 0
[pid=56531] ppid=56528 vsize=490224 memory=391444 CPUtime=218.09 cores=5,7
/proc/56531/stat : 56531 (roundingsat) R 56528 56528 54941 0 -1 4194304 79874 0 0 0 21447 362 0 0 20 0 1 0 56339178 501989376 97861 18446744073709551615 4227072 8923433 140733067112784 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13463552 140733067118868 140733067119144 140733067119144 140733067124714 0
/proc/56531/statm: 122556 97861 2368 1147 0 109983 0
Current children cumulated CPU time: 219.32 s
Current children cumulated vsize: 494416 KiB
Current children cumulated memory: 394388 KiB
################
# More data... #
################
[pid=56528] ppid=56525 vsize=4192 memory=2944 CPUtime=1.23 cores=5,7
/proc/56528/stat : 56528 (run-opt-break-l) S 56525 56528 54941 0 -1 4194304 240 7408 0 0 0 0 119 4 20 0 1 0 56339046 4292608 736 18446744073709551615 94509580283904 94509581178437 140726997070512 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94509581417488 94509581465232 94509584859136 140726997072149 140726997072350 140726997072350 140726997077952 0
/proc/56528/statm: 1048 736 672 219 0 110 0
[pid=56531] ppid=56528 vsize=1878688 memory=1668324 CPUtime=3067.96 cores=5,7
/proc/56531/stat : 56531 (roundingsat) R 56528 56528 54941 0 -1 4194304 299471 0 0 0 303797 2999 0 0 20 0 1 0 56339178 1923776512 417081 18446744073709551615 4227072 8923433 140733067112784 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13463552 140733067118868 140733067119144 140733067119144 140733067124714 0
/proc/56531/statm: 469672 417081 2464 1147 0 457099 0
Current children cumulated CPU time: 3069.19 s
Current children cumulated vsize: 1882880 KiB
Current children cumulated memory: 1671268 KiB
[startup+3162.3 s]
/proc/loadavg: 2.25 2.75 3.12 3/246 56881
/proc/meminfo: memFree=105864032/131382112 swapFree=33009904/33010684
[pid=56528] ppid=56525 vsize=4192 memory=2944 CPUtime=1.23 cores=5,7
/proc/56528/stat : 56528 (run-opt-break-l) S 56525 56528 54941 0 -1 4194304 240 7408 0 0 0 0 119 4 20 0 1 0 56339046 4292608 736 18446744073709551615 94509580283904 94509581178437 140726997070512 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94509581417488 94509581465232 94509584859136 140726997072149 140726997072350 140726997072350 140726997077952 0
/proc/56528/statm: 1048 736 672 219 0 110 0
[pid=56531] ppid=56528 vsize=1885680 memory=1673700 CPUtime=3127.48 cores=5,7
/proc/56531/stat : 56531 (roundingsat) R 56528 56528 54941 0 -1 4194304 300868 0 0 0 309709 3039 0 0 20 0 1 0 56339178 1930936320 418425 18446744073709551615 4227072 8923433 140733067112784 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 13463552 140733067118868 140733067119144 140733067119144 140733067124714 0
/proc/56531/statm: 471420 418425 2464 1147 0 458847 0
Current children cumulated CPU time: 3128.71 s
Current children cumulated vsize: 1889872 KiB
Current children cumulated memory: 1676644 KiB
[startup+3222.3 s]
/proc/loadavg: 2.15 2.62 3.06 3/244 56883
/proc/meminfo: memFree=105568828/131382112 swapFree=33009904/33010684
[pid=56528] ppid=56525 vsize=4192 memory=2944 CPUtime=1.23 cores=5,7
/proc/56528/stat : 56528 (run-opt-break-l) S 56525 56528 54941 0 -1 4194304 240 7408 0 0 0 0 119 4 20 0 1 0 56339046 4292608 736 18446744073709551615 94509580283904 94509581178437 140726997070512 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94509581417488 94509581465232 94509584859136 140726997072149 140726997072350 140726997072350 140726997077952 0
/proc/56528/statm: 1048 736 672 219 0 110 0
[pid=56531] ppid=56528 vsize=1885680 memory=1673956 CPUtime=3187.06 cores=5,7
/proc/56531/stat : 56531 (roundingsat) R 56528 56528 54941 0 -1 4194304 300896 0 0 0 315620 3086 0 0 20 0 1 0 56339178 1930936320 418489 18446744073709551615 4227072 8923433 140733067112784 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13463552 140733067118868 140733067119144 140733067119144 140733067124714 0
/proc/56531/statm: 471420 418489 2464 1147 0 458847 0
Current children cumulated CPU time: 3188.29 s
Current children cumulated vsize: 1889872 KiB
Current children cumulated memory: 1676900 KiB
[startup+3282.3 s]
/proc/loadavg: 2.10 2.52 2.99 3/244 56888
/proc/meminfo: memFree=105168776/131382112 swapFree=33009904/33010684
[pid=56528] ppid=56525 vsize=4192 memory=2944 CPUtime=1.23 cores=5,7
/proc/56528/stat : 56528 (run-opt-break-l) S 56525 56528 54941 0 -1 4194304 240 7408 0 0 0 0 119 4 20 0 1 0 56339046 4292608 736 18446744073709551615 94509580283904 94509581178437 140726997070512 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94509581417488 94509581465232 94509584859136 140726997072149 140726997072350 140726997072350 140726997077952 0
/proc/56528/statm: 1048 736 672 219 0 110 0
[pid=56531] ppid=56528 vsize=1885680 memory=1673956 CPUtime=3246.75 cores=5,7
/proc/56531/stat : 56531 (roundingsat) R 56528 56528 54941 0 -1 4194304 300898 0 0 0 321526 3149 0 0 20 0 1 0 56339178 1930936320 418489 18446744073709551615 4227072 8923433 140733067112784 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13463552 140733067118868 140733067119144 140733067119144 140733067124714 0
/proc/56531/statm: 471420 418489 2464 1147 0 458847 0
Current children cumulated CPU time: 3247.98 s
Current children cumulated vsize: 1889872 KiB
Current children cumulated memory: 1676900 KiB
[startup+3342.3 s]
/proc/loadavg: 2.07 2.44 2.93 3/245 56891
/proc/meminfo: memFree=104891436/131382112 swapFree=33009904/33010684
[pid=56528] ppid=56525 vsize=4192 memory=2944 CPUtime=1.23 cores=5,7
/proc/56528/stat : 56528 (run-opt-break-l) S 56525 56528 54941 0 -1 4194304 240 7408 0 0 0 0 119 4 20 0 1 0 56339046 4292608 736 18446744073709551615 94509580283904 94509581178437 140726997070512 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94509581417488 94509581465232 94509584859136 140726997072149 140726997072350 140726997072350 140726997077952 0
/proc/56528/statm: 1048 736 672 219 0 110 0
[pid=56531] ppid=56528 vsize=1885680 memory=1673956 CPUtime=3306.41 cores=5,7
/proc/56531/stat : 56531 (roundingsat) R 56528 56528 54941 0 -1 4194304 301434 0 0 0 327455 3186 0 0 20 0 1 0 56339178 1930936320 418489 18446744073709551615 4227072 8923433 140733067112784 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13463552 140733067118868 140733067119144 140733067119144 140733067124714 0
/proc/56531/statm: 471420 418489 2464 1147 0 458847 0
Current children cumulated CPU time: 3307.64 s
Current children cumulated vsize: 1889872 KiB
Current children cumulated memory: 1676900 KiB
[startup+3402.3 s]
/proc/loadavg: 2.08 2.37 2.88 3/245 56893
/proc/meminfo: memFree=104539668/131382112 swapFree=33009904/33010684
[pid=56528] ppid=56525 vsize=4192 memory=2944 CPUtime=1.23 cores=5,7
/proc/56528/stat : 56528 (run-opt-break-l) S 56525 56528 54941 0 -1 4194304 240 7408 0 0 0 0 119 4 20 0 1 0 56339046 4292608 736 18446744073709551615 94509580283904 94509581178437 140726997070512 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94509581417488 94509581465232 94509584859136 140726997072149 140726997072350 140726997072350 140726997077952 0
/proc/56528/statm: 1048 736 672 219 0 110 0
[pid=56531] ppid=56528 vsize=1885680 memory=1673956 CPUtime=3366.06 cores=5,7
/proc/56531/stat : 56531 (roundingsat) R 56528 56528 54941 0 -1 4194304 301434 0 0 0 333369 3237 0 0 20 0 1 0 56339178 1930936320 418489 18446744073709551615 4227072 8923433 140733067112784 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13463552 140733067118868 140733067119144 140733067119144 140733067124714 0
/proc/56531/statm: 471420 418489 2464 1147 0 458847 0
Current children cumulated CPU time: 3367.29 s
Current children cumulated vsize: 1889872 KiB
Current children cumulated memory: 1676900 KiB
[startup+3462.3 s]
/proc/loadavg: 2.07 2.32 2.82 3/246 56900
/proc/meminfo: memFree=104162284/131382112 swapFree=33009904/33010684
[pid=56528] ppid=56525 vsize=4192 memory=2944 CPUtime=1.23 cores=5,7
/proc/56528/stat : 56528 (run-opt-break-l) S 56525 56528 54941 0 -1 4194304 240 7408 0 0 0 0 119 4 20 0 1 0 56339046 4292608 736 18446744073709551615 94509580283904 94509581178437 140726997070512 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94509581417488 94509581465232 94509584859136 140726997072149 140726997072350 140726997072350 140726997077952 0
/proc/56528/statm: 1048 736 672 219 0 110 0
[pid=56531] ppid=56528 vsize=1893916 memory=1680612 CPUtime=3425.68 cores=5,7
/proc/56531/stat : 56531 (roundingsat) R 56528 56528 54941 0 -1 4194304 303191 0 0 0 339281 3287 0 0 20 0 1 0 56339178 1939369984 420153 18446744073709551615 4227072 8923433 140733067112784 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 13463552 140733067118868 140733067119144 140733067119144 140733067124714 0
/proc/56531/statm: 473479 420153 2464 1147 0 460906 0
Current children cumulated CPU time: 3426.91 s
Current children cumulated vsize: 1898108 KiB
Current children cumulated memory: 1683556 KiB
[startup+3522.3 s]
/proc/loadavg: 2.12 2.29 2.78 3/246 56902
/proc/meminfo: memFree=103795768/131382112 swapFree=33009904/33010684
[pid=56528] ppid=56525 vsize=4192 memory=2944 CPUtime=1.23 cores=5,7
/proc/56528/stat : 56528 (run-opt-break-l) S 56525 56528 54941 0 -1 4194304 240 7408 0 0 0 0 119 4 20 0 1 0 56339046 4292608 736 18446744073709551615 94509580283904 94509581178437 140726997070512 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94509581417488 94509581465232 94509584859136 140726997072149 140726997072350 140726997072350 140726997077952 0
/proc/56528/statm: 1048 736 672 219 0 110 0
[pid=56531] ppid=56528 vsize=1904200 memory=1688932 CPUtime=3485.26 cores=5,7
/proc/56531/stat : 56531 (roundingsat) R 56528 56528 54941 0 -1 4194304 305233 0 0 0 345183 3343 0 0 20 0 1 0 56339178 1949900800 422233 18446744073709551615 4227072 8923433 140733067112784 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 13463552 140733067118868 140733067119144 140733067119144 140733067124714 0
/proc/56531/statm: 476050 422233 2464 1147 0 463477 0
Current children cumulated CPU time: 3486.49 s
Current children cumulated vsize: 1908392 KiB
Current children cumulated memory: 1691876 KiB
[startup+3582.3 s]
/proc/loadavg: 2.04 2.23 2.73 3/245 56904
/proc/meminfo: memFree=103480320/131382112 swapFree=33009904/33010684
[pid=56528] ppid=56525 vsize=4192 memory=2944 CPUtime=1.23 cores=5,7
/proc/56528/stat : 56528 (run-opt-break-l) S 56525 56528 54941 0 -1 4194304 240 7408 0 0 0 0 119 4 20 0 1 0 56339046 4292608 736 18446744073709551615 94509580283904 94509581178437 140726997070512 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94509581417488 94509581465232 94509584859136 140726997072149 140726997072350 140726997072350 140726997077952 0
/proc/56528/statm: 1048 736 672 219 0 110 0
[pid=56531] ppid=56528 vsize=1904200 memory=1689060 CPUtime=3544.46 cores=5,7
/proc/56531/stat : 56531 (roundingsat) R 56528 56528 54941 0 -1 4194304 305267 0 0 0 351051 3395 0 0 20 0 1 0 56339178 1949900800 422265 18446744073709551615 4227072 8923433 140733067112784 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13463552 140733067118868 140733067119144 140733067119144 140733067124714 0
/proc/56531/statm: 476050 422265 2464 1147 0 463477 0
Current children cumulated CPU time: 3545.69 s
Current children cumulated vsize: 1908392 KiB
Current children cumulated memory: 1692004 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3636.9 s]
/proc/loadavg: 2.20 2.24 2.70 3/243 56906
/proc/meminfo: memFree=103241300/131382112 swapFree=33009904/33010684
[pid=56528] ppid=56525 vsize=4192 memory=2944 CPUtime=1.23 cores=5,7
/proc/56528/stat : 56528 (run-opt-break-l) S 56525 56528 54941 0 -1 4194304 240 7408 0 0 0 0 119 4 20 0 1 0 56339046 4292608 736 18446744073709551615 94509580283904 94509581178437 140726997070512 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94509581417488 94509581465232 94509584859136 140726997072149 140726997072350 140726997072350 140726997077952 0
/proc/56528/statm: 1048 736 672 219 0 110 0
[pid=56531] ppid=56528 vsize=1904200 memory=1689060 CPUtime=3598.86 cores=5,7
/proc/56531/stat : 56531 (roundingsat) R 56528 56528 54941 0 -1 4194304 305805 0 0 0 356454 3432 0 0 20 0 1 0 56339178 1949900800 422265 18446744073709551615 4227072 8923433 140733067112784 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13463552 140733067118868 140733067119144 140733067119144 140733067124714 0
/proc/56531/statm: 476050 422265 2464 1147 0 463477 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1908392 KiB
Current children cumulated memory: 1692004 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3636.91 s]
# the end of solver process 56528 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=1.19719 s, system=0.05007 s
Sleeping 2 seconds
[startup+3637.03 s]
# the end of solver process 56531 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3565.75 s, system=34.4089 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3637.01 s]*
/proc/loadavg: 2.20 2.24 2.70 3/242 56906
/proc/meminfo: memFree=103245224/131382112 swapFree=33009904/33010684
Current cumulated CPU time of completed processes: 1.24726 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 2
Real time (s): 3637.03
CPU time (s): 3600.16
CPU user time (s): 3565.75
CPU system time (s): 34.4089
CPU usage (%): 98.9862
Max. virtual memory (cumulated for all children) (KiB): 1908392
Max. memory (cumulated for all children) (KiB): 1692004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3565.75
system time used= 34.4089
maximum resident set size= 1689316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 313473
page faults= 0
swaps= 0
block input operations= 0
block output operations= 32834440
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7555
involuntary context switches= 19929
# summary of solver processes directly reported to runsolver:
# pid: 56528,56531
# total CPU time (s): 3600.16
# total CPU user time (s): 3565.75
# total CPU system time (s): 34.4089
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.5489 second user time and 34.2304 second system time
The end
Begin job on nodeC001 at 2025-07-01 23:50:02
IDJOB=4499309
IDBENCH=148775
IDSOLVER=3360
FILE ID=nodeC001/4499309-1751406602
RUNJOBID= nodeC001-1751398041-54957
SLURM_JOB_ID= 9598279
Free space on /tmp= 433032 MiB
SOLVER NAME= roundingsat+pbsuma-opt-log 63f22ad
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 --file-size-limit 102400 -w /tmp/evaluation-result-4499309-1751406602/watcher-4499309-1751406602 -o /tmp/evaluation-result-4499309-1751406602/solver-4499309-1751406602 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751398041-54957 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4499309-1751406602.opb PROOFDIR/proof-4499309-1751406602
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a11c5c9a015f48f3bddc22713bc48593
RANDOM SEED=1849188118
nodeC001 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.302
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3691.358
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.453
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.337
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.629
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.173
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.233
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3492.032
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 102023912 kB
MemAvailable: 126605808 kB
Buffers: 1668 kB
Cached: 25352432 kB
SwapCached: 20 kB
Active: 3681456 kB
Inactive: 25041216 kB
Active(anon): 3363892 kB
Inactive(anon): 22636 kB
Active(file): 317564 kB
Inactive(file): 25018580 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 18324 kB
Writeback: 4 kB
AnonPages: 3371900 kB
Mapped: 116072 kB
Shmem: 17896 kB
KReclaimable: 170372 kB
Slab: 256472 kB
SReclaimable: 170372 kB
SUnreclaim: 86100 kB
KernelStack: 4144 kB
PageTables: 10684 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 4264912 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149624 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 360448 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: 195400 kB
DirectMap2M: 9144320 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433040 MiB
End job on nodeC001 at 2025-07-02 00:50:39