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-4499078-1751403059.opb'
0.00/0.01 c read 0.21MB (2.75ms)
0.00/0.01 c [cnf: #variables 2130 #clauses 2496 #duplicates 0 #arr 22065]
0.00/0.01 c
0.00/0.01 c make graph and approximate orbits
0.00/0.02 c [group: #orbits ~= 36] (2.56ms)
0.00/0.02 c
0.00/0.02 c detect special group actions
0.00/0.02 c probe for Johnson action (limit=64)
0.00/0.02 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.03 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.03 c recursing 150 blocks of candidate 5x852r
0.00/0.03 c found row 9x10, generating row predicate
0.00/0.04 c found row 5x852, generating row predicate
0.00/0.04 c (20.71ms)
0.00/0.04 c
0.00/0.04 c detect symmetries on remainder
0.00/0.04 c [graph: #vertices 12811 #edges 60500]
0.00/0.04 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.05 c [group: #symmetries 8.48*10^143 #generators 291] (10.70ms)
0.00/0.05 c
0.00/0.05 c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.06 c opt it=15, l=8368, m=232, opt=16, avg=187, b=12, gens=291
0.00/0.06 c opt it=31, l=10019, m=466, opt=36, avg=181, b=12, gens=291
0.00/0.07 c opt it=47, l=11667, m=683, opt=52, avg=177, b=12, gens=291
0.00/0.08 c opt it=63, l=13309, m=875, opt=64, avg=173, b=12, gens=291
0.00/0.08 c ran it=0, +gens=37
0.08/0.12 c con best_support=12, best_gens=240, +gens=251
0.08/0.12 c (70.47ms)
0.08/0.12 c
0.08/0.12 c finalize break order and special generators
0.08/0.12 c
0.08/0.12 c add generic predicates (break_depth=20)
0.08/0.12 c added predicates for 579 generators (3.43ms)
0.08/0.12 c
0.08/0.12 c generation finished
0.08/0.12 c [sbp: #constraints 23316 #add_vars 7575]
0.08/0.12 c
0.08/0.12 c write result to 'HOME/instance-4499078-1751403059.opb.pre'
0.08/0.12 c wrote 1.03MB (2.52ms)
0.08/0.12 c ------------------------------------------------------------------
0.08/0.12 c 70.47ms 61.59% optimize_gens
0.08/0.12 c 20.71ms 18.10% detect_special
0.08/0.12 c 10.70ms 9.35% detect_generic
0.08/0.12 c 3.43ms 3.00% break_generic
0.08/0.12 c 2.75ms 2.40% parse
0.08/0.12 c 2.56ms 2.24% approx_orbits
0.08/0.12 c 2.52ms 2.20% output
0.08/0.12 c 0.65ms 0.57% finalize_order
0.08/0.12 c 0.63ms 0.55% other
0.08/0.12 c ───────────────────────────────────────────────
0.08/0.12 c 114.41ms 100% total
0.08/0.12 c ------------------------------------------------------------------
0.08/0.14 c RoundingSat 2
0.08/0.14 c branch pb25
0.08/0.14 c commit 63f22ad
0.17/0.25 c #variables 9705 #constraints 25844
0.17/0.25 c objective is ce32
0.17/0.25 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.17/0.25 c initial counting CF 32, 64, 128, Arb: 321 , 0 , 0 , 0
0.17/0.25 c bounds - >= 0 @ 0.082854
0.96/1.06 c #Conflicts: 1000 | #Constraints: 26843
0.96/1.06 c #Conflicts: 2000 | #Constraints: 27843
0.96/1.06 c INPROCESSING
0.96/1.06 c GARBAGE COLLECT
0.96/1.06 c rational objective 5
2.26/2.33 c #Conflicts: 3000 | #Constraints: 25660
2.26/2.33 c #Conflicts: 4000 | #Constraints: 26661
2.26/2.33 c INPROCESSING
2.26/2.33 c GARBAGE COLLECT
2.26/2.33 c rational objective 5
3.86/3.91 c #Conflicts: 5000 | #Constraints: 26011
3.86/3.91 c #Conflicts: 6000 | #Constraints: 27012
3.86/3.91 c INPROCESSING
3.86/3.91 c GARBAGE COLLECT
3.86/3.91 c rational objective 5
7.34/7.44 c #Conflicts: 7000 | #Constraints: 26033
7.34/7.44 c #Conflicts: 8000 | #Constraints: 27033
7.34/7.44 c #Conflicts: 9000 | #Constraints: 28034
7.34/7.44 c INPROCESSING
7.34/7.44 c GARBAGE COLLECT
7.34/7.44 c rational objective 5
8.54/8.67 c #Conflicts: 10000 | #Constraints: 26742
8.54/8.67 c #Conflicts: 11000 | #Constraints: 27742
8.54/8.67 c #Conflicts: 12000 | #Constraints: 28742
8.54/8.67 c INPROCESSING
8.54/8.67 c GARBAGE COLLECT
8.54/8.67 c rational objective 5
9.94/10.01 c #Conflicts: 13000 | #Constraints: 27190
9.94/10.01 c #Conflicts: 14000 | #Constraints: 28191
9.94/10.01 c #Conflicts: 15000 | #Constraints: 29191
9.94/10.01 c INPROCESSING
9.94/10.01 c GARBAGE COLLECT
9.94/10.01 c rational objective 5
12.23/12.33 c #Conflicts: 16000 | #Constraints: 27430
12.23/12.33 c #Conflicts: 17000 | #Constraints: 28430
12.23/12.33 c #Conflicts: 18000 | #Constraints: 29431
12.23/12.33 c INPROCESSING
12.23/12.33 c GARBAGE COLLECT
12.23/12.33 c rational objective 5
14.13/14.21 c #Conflicts: 19000 | #Constraints: 27434
14.13/14.21 c #Conflicts: 20000 | #Constraints: 28434
14.13/14.21 c #Conflicts: 21000 | #Constraints: 29434
14.13/14.21 c INPROCESSING
14.13/14.21 c GARBAGE COLLECT
14.13/14.21 c rational objective 5
16.03/16.16 c #Conflicts: 22000 | #Constraints: 27240
16.03/16.16 c #Conflicts: 23000 | #Constraints: 28240
16.03/16.16 c #Conflicts: 24000 | #Constraints: 29241
16.03/16.16 c #Conflicts: 25000 | #Constraints: 30241
16.03/16.16 c INPROCESSING
16.03/16.16 c GARBAGE COLLECT
16.03/16.16 c rational objective 5
18.51/18.65 c #Conflicts: 26000 | #Constraints: 27841
18.51/18.65 c #Conflicts: 27000 | #Constraints: 28841
18.51/18.65 c #Conflicts: 28000 | #Constraints: 29842
18.51/18.65 c #Conflicts: 29000 | #Constraints: 30842
18.51/18.65 c INPROCESSING
18.51/18.65 c GARBAGE COLLECT
18.51/18.65 c rational objective 5
24.30/24.44 c #Conflicts: 30000 | #Constraints: 28241
24.30/24.44 c #Conflicts: 31000 | #Constraints: 29243
24.30/24.44 c #Conflicts: 32000 | #Constraints: 30243
24.30/24.44 c #Conflicts: 33000 | #Constraints: 31243
24.30/24.44 c INPROCESSING
24.30/24.44 c GARBAGE COLLECT
24.30/24.44 c rational objective 5
27.19/27.36 c #Conflicts: 34000 | #Constraints: 28447
27.19/27.36 c #Conflicts: 35000 | #Constraints: 29447
27.19/27.36 c #Conflicts: 36000 | #Constraints: 30447
27.19/27.36 c #Conflicts: 37000 | #Constraints: 31447
27.19/27.36 c INPROCESSING
27.19/27.36 c GARBAGE COLLECT
27.19/27.36 c rational objective 5
34.07/34.28 c #Conflicts: 38000 | #Constraints: 28444
34.07/34.28 c #Conflicts: 39000 | #Constraints: 29444
34.07/34.28 c #Conflicts: 40000 | #Constraints: 30444
34.07/34.28 c #Conflicts: 41000 | #Constraints: 31444
34.07/34.28 c INPROCESSING
34.07/34.28 c GARBAGE COLLECT
34.07/34.28 c #Conflicts: 42000 | #Constraints: 28254
34.07/34.28 c #Conflicts: 43000 | #Constraints: 29254
34.07/34.28 c #Conflicts: 44000 | #Constraints: 30258
34.07/34.28 c #Conflicts: 45000 | #Constraints: 31262
34.07/34.28 c #Conflicts: 46000 | #Constraints: 32285
34.07/34.28 c INPROCESSING
34.07/34.28 c GARBAGE COLLECT
34.07/34.28 c rational objective 5
37.06/37.22 c #Conflicts: 47000 | #Constraints: 28845
37.06/37.22 c #Conflicts: 48000 | #Constraints: 29845
37.06/37.22 c #Conflicts: 49000 | #Constraints: 30845
37.06/37.22 c #Conflicts: 50000 | #Constraints: 31845
37.06/37.22 c #Conflicts: 51000 | #Constraints: 32845
37.06/37.22 c INPROCESSING
37.06/37.22 c GARBAGE COLLECT
37.06/37.22 c rational objective 5
40.56/40.77 c #Conflicts: 52000 | #Constraints: 29236
40.56/40.77 c #Conflicts: 53000 | #Constraints: 30236
40.56/40.77 c #Conflicts: 54000 | #Constraints: 31236
40.56/40.77 c #Conflicts: 55000 | #Constraints: 32236
40.56/40.77 c #Conflicts: 56000 | #Constraints: 33236
40.56/40.77 c INPROCESSING
40.56/40.77 c GARBAGE COLLECT
40.56/40.77 c rational objective 5
44.05/44.22 c #Conflicts: 57000 | #Constraints: 29442
44.05/44.22 c #Conflicts: 58000 | #Constraints: 30442
44.05/44.22 c #Conflicts: 59000 | #Constraints: 31442
44.05/44.22 c #Conflicts: 60000 | #Constraints: 32442
44.05/44.22 c #Conflicts: 61000 | #Constraints: 33442
44.05/44.22 c INPROCESSING
44.05/44.22 c GARBAGE COLLECT
44.05/44.22 c rational objective 5
48.65/48.84 c #Conflicts: 62000 | #Constraints: 29438
48.65/48.84 c #Conflicts: 63000 | #Constraints: 30439
48.65/48.84 c #Conflicts: 64000 | #Constraints: 31440
48.65/48.84 c #Conflicts: 65000 | #Constraints: 32440
48.65/48.84 c #Conflicts: 66000 | #Constraints: 33441
48.65/48.84 c INPROCESSING
48.65/48.84 c GARBAGE COLLECT
48.65/48.84 c rational objective 5
53.32/53.54 c #Conflicts: 67000 | #Constraints: 29241
53.32/53.54 c #Conflicts: 68000 | #Constraints: 30242
53.32/53.54 c #Conflicts: 69000 | #Constraints: 31242
53.32/53.54 c #Conflicts: 70000 | #Constraints: 32243
53.32/53.54 c #Conflicts: 71000 | #Constraints: 33243
53.32/53.54 c #Conflicts: 72000 | #Constraints: 34244
53.32/53.54 c INPROCESSING
53.32/53.54 c GARBAGE COLLECT
53.32/53.54 c rational objective 5
57.32/57.52 c #Conflicts: 73000 | #Constraints: 29840
57.32/57.52 c #Conflicts: 74000 | #Constraints: 30841
57.32/57.52 c #Conflicts: 75000 | #Constraints: 31841
57.32/57.52 c #Conflicts: 76000 | #Constraints: 32841
57.32/57.52 c #Conflicts: 77000 | #Constraints: 33842
57.32/57.52 c #Conflicts: 78000 | #Constraints: 34842
57.32/57.52 c INPROCESSING
57.32/57.52 c GARBAGE COLLECT
57.32/57.52 c rational objective 5
62.81/63.08 c #Conflicts: 79000 | #Constraints: 30178
62.81/63.08 c #Conflicts: 80000 | #Constraints: 31181
62.81/63.08 c #Conflicts: 81000 | #Constraints: 32181
62.81/63.08 c #Conflicts: 82000 | #Constraints: 33183
62.81/63.08 c #Conflicts: 83000 | #Constraints: 34183
62.81/63.08 c #Conflicts: 84000 | #Constraints: 35184
62.81/63.08 c INPROCESSING
62.81/63.08 c GARBAGE COLLECT
62.81/63.08 c rational objective 5
69.49/69.70 c #Conflicts: 85000 | #Constraints: 30351
69.49/69.70 c #Conflicts: 86000 | #Constraints: 31351
69.49/69.70 c #Conflicts: 87000 | #Constraints: 32351
69.49/69.70 c #Conflicts: 88000 | #Constraints: 33353
69.49/69.70 c #Conflicts: 89000 | #Constraints: 34356
69.49/69.70 c #Conflicts: 90000 | #Constraints: 35358
69.49/69.70 c INPROCESSING
69.49/69.70 c GARBAGE COLLECT
69.49/69.70 c rational objective 5
74.48/74.73 c #Conflicts: 91000 | #Constraints: 30362
74.48/74.73 c #Conflicts: 92000 | #Constraints: 31363
74.48/74.73 c #Conflicts: 93000 | #Constraints: 32363
74.48/74.73 c #Conflicts: 94000 | #Constraints: 33364
74.48/74.73 c #Conflicts: 95000 | #Constraints: 34366
74.48/74.73 c #Conflicts: 96000 | #Constraints: 35368
74.48/74.73 c INPROCESSING
74.48/74.73 c GARBAGE COLLECT
74.48/74.73 c rational objective 5
80.26/80.51 c #Conflicts: 97000 | #Constraints: 30121
80.26/80.51 c #Conflicts: 98000 | #Constraints: 31121
80.26/80.51 c #Conflicts: 99000 | #Constraints: 32122
80.26/80.51 c #Conflicts: 100000 | #Constraints: 33122
80.26/80.51 c #Conflicts: 101000 | #Constraints: 34125
80.26/80.51 c #Conflicts: 102000 | #Constraints: 35127
80.26/80.51 c #Conflicts: 103000 | #Constraints: 36130
80.26/80.51 c INPROCESSING
80.26/80.51 c GARBAGE COLLECT
80.26/80.51 c rational objective 5
85.15/85.49 c #Conflicts: 104000 | #Constraints: 30653
85.15/85.49 c #Conflicts: 105000 | #Constraints: 31653
85.15/85.49 c #Conflicts: 106000 | #Constraints: 32654
85.15/85.49 c #Conflicts: 107000 | #Constraints: 33658
85.15/85.49 c #Conflicts: 108000 | #Constraints: 34660
85.15/85.49 c #Conflicts: 109000 | #Constraints: 35664
85.15/85.49 c #Conflicts: 110000 | #Constraints: 36668
85.15/85.49 c INPROCESSING
85.15/85.49 c GARBAGE COLLECT
85.15/85.49 c rational objective 5
93.63/93.91 c #Conflicts: 111000 | #Constraints: 31047
93.63/93.91 c #Conflicts: 112000 | #Constraints: 32047
93.63/93.91 c #Conflicts: 113000 | #Constraints: 33048
93.63/93.91 c #Conflicts: 114000 | #Constraints: 34050
93.63/93.91 c #Conflicts: 115000 | #Constraints: 35052
93.63/93.91 c #Conflicts: 116000 | #Constraints: 36052
93.63/93.91 c #Conflicts: 117000 | #Constraints: 37052
93.63/93.91 c INPROCESSING
93.63/93.91 c GARBAGE COLLECT
93.63/93.91 c rational objective 5
99.02/99.32 c #Conflicts: 118000 | #Constraints: 31168
99.02/99.32 c #Conflicts: 119000 | #Constraints: 32168
99.02/99.32 c #Conflicts: 120000 | #Constraints: 33169
99.02/99.32 c #Conflicts: 121000 | #Constraints: 34170
99.02/99.32 c #Conflicts: 122000 | #Constraints: 35174
99.02/99.32 c #Conflicts: 123000 | #Constraints: 36176
99.02/99.32 c #Conflicts: 124000 | #Constraints: 37177
99.02/99.32 c INPROCESSING
99.02/99.32 c GARBAGE COLLECT
99.02/99.32 c rational objective 5
107.59/107.92 c #Conflicts: 125000 | #Constraints: 31028
107.59/107.92 c #Conflicts: 126000 | #Constraints: 32028
107.59/107.92 c #Conflicts: 127000 | #Constraints: 33033
107.59/107.92 c #Conflicts: 128000 | #Constraints: 34034
107.59/107.92 c #Conflicts: 129000 | #Constraints: 35038
107.59/107.92 c #Conflicts: 130000 | #Constraints: 36039
107.59/107.92 c #Conflicts: 131000 | #Constraints: 37041
107.59/107.92 c INPROCESSING
107.59/107.92 c GARBAGE COLLECT
107.59/107.92 c rational objective 5
115.08/115.47 c #Conflicts: 132000 | #Constraints: 30807
115.08/115.47 c #Conflicts: 133000 | #Constraints: 31807
115.08/115.47 c #Conflicts: 134000 | #Constraints: 32810
115.08/115.47 c #Conflicts: 135000 | #Constraints: 33812
115.08/115.47 c #Conflicts: 136000 | #Constraints: 34813
115.08/115.47 c #Conflicts: 137000 | #Constraints: 35815
115.08/115.47 c #Conflicts: 138000 | #Constraints: 36818
115.08/115.47 c #Conflicts: 139000 | #Constraints: 37820
115.08/115.47 c INPROCESSING
115.08/115.47 c GARBAGE COLLECT
115.08/115.47 c rational objective 5
123.25/123.69 c #Conflicts: 140000 | #Constraints: 31321
123.25/123.69 c #Conflicts: 141000 | #Constraints: 32321
123.25/123.69 c #Conflicts: 142000 | #Constraints: 33325
123.25/123.69 c #Conflicts: 143000 | #Constraints: 34329
123.25/123.69 c #Conflicts: 144000 | #Constraints: 35333
123.25/123.69 c #Conflicts: 145000 | #Constraints: 36337
123.25/123.69 c #Conflicts: 146000 | #Constraints: 37340
123.25/123.69 c #Conflicts: 147000 | #Constraints: 38343
123.25/123.69 c INPROCESSING
123.25/123.69 c GARBAGE COLLECT
123.25/123.69 c rational objective 5
130.44/130.81 c #Conflicts: 148000 | #Constraints: 31615
130.44/130.81 c #Conflicts: 149000 | #Constraints: 32617
130.44/130.81 c #Conflicts: 150000 | #Constraints: 33619
130.44/130.81 c #Conflicts: 151000 | #Constraints: 34621
130.44/130.81 c #Conflicts: 152000 | #Constraints: 35624
130.44/130.81 c #Conflicts: 153000 | #Constraints: 36625
130.44/130.81 c #Conflicts: 154000 | #Constraints: 37626
130.44/130.81 c #Conflicts: 155000 | #Constraints: 38629
130.44/130.81 c INPROCESSING
130.44/130.81 c GARBAGE COLLECT
130.44/130.81 c rational objective 5
138.51/138.99 c #Conflicts: 156000 | #Constraints: 31794
138.51/138.99 c #Conflicts: 157000 | #Constraints: 32794
138.51/138.99 c #Conflicts: 158000 | #Constraints: 33795
138.51/138.99 c #Conflicts: 159000 | #Constraints: 34796
138.51/138.99 c #Conflicts: 160000 | #Constraints: 35798
138.51/138.99 c #Conflicts: 161000 | #Constraints: 36798
138.51/138.99 c #Conflicts: 162000 | #Constraints: 37802
138.51/138.99 c #Conflicts: 163000 | #Constraints: 38802
138.51/138.99 c INPROCESSING
138.51/138.99 c GARBAGE COLLECT
138.51/138.99 c rational objective 5
149.69/150.11 c #Conflicts: 164000 | #Constraints: 31753
149.69/150.11 c #Conflicts: 165000 | #Constraints: 32756
149.69/150.11 c #Conflicts: 166000 | #Constraints: 33760
149.69/150.11 c #Conflicts: 167000 | #Constraints: 34762
149.69/150.11 c #Conflicts: 168000 | #Constraints: 35764
149.69/150.11 c #Conflicts: 169000 | #Constraints: 36766
149.69/150.11 c #Conflicts: 170000 | #Constraints: 37768
149.69/150.11 c #Conflicts: 171000 | #Constraints: 38770
149.69/150.11 c INPROCESSING
149.69/150.11 c GARBAGE COLLECT
149.69/150.11 c rational objective 5
162.66/163.14 c #Conflicts: 172000 | #Constraints: 31539
162.66/163.14 c #Conflicts: 173000 | #Constraints: 32540
162.66/163.14 c #Conflicts: 174000 | #Constraints: 33542
162.66/163.14 c #Conflicts: 175000 | #Constraints: 34542
162.66/163.14 c #Conflicts: 176000 | #Constraints: 35542
162.66/163.14 c #Conflicts: 177000 | #Constraints: 36542
162.66/163.14 c #Conflicts: 178000 | #Constraints: 37542
162.66/163.14 c #Conflicts: 179000 | #Constraints: 38542
162.66/163.14 c #Conflicts: 180000 | #Constraints: 39542
162.66/163.14 c INPROCESSING
162.66/163.14 c GARBAGE COLLECT
162.66/163.14 c rational objective 5
169.14/169.63 c #Conflicts: 181000 | #Constraints: 32121
169.14/169.63 c #Conflicts: 182000 | #Constraints: 33123
169.14/169.63 c #Conflicts: 183000 | #Constraints: 34128
169.14/169.63 c #Conflicts: 184000 | #Constraints: 35130
169.14/169.63 c #Conflicts: 185000 | #Constraints: 36132
169.14/169.63 c #Conflicts: 186000 | #Constraints: 37144
169.14/169.63 c #Conflicts: 187000 | #Constraints: 38149
169.14/169.63 c #Conflicts: 188000 | #Constraints: 39155
169.14/169.63 c #Conflicts: 189000 | #Constraints: 40159
169.14/169.63 c INPROCESSING
169.14/169.63 c GARBAGE COLLECT
169.14/169.63 c rational objective 5
180.81/181.35 c #Conflicts: 190000 | #Constraints: 32560
180.81/181.35 c #Conflicts: 191000 | #Constraints: 33562
180.81/181.35 c #Conflicts: 192000 | #Constraints: 34565
180.81/181.35 c #Conflicts: 193000 | #Constraints: 35568
180.81/181.35 c #Conflicts: 194000 | #Constraints: 36572
180.81/181.35 c #Conflicts: 195000 | #Constraints: 37574
180.81/181.35 c #Conflicts: 196000 | #Constraints: 38576
180.81/181.35 c #Conflicts: 197000 | #Constraints: 39579
180.81/181.35 c #Conflicts: 198000 | #Constraints: 40581
180.81/181.35 c INPROCESSING
180.81/181.35 c GARBAGE COLLECT
180.81/181.35 c rational objective 5
190.08/190.67 c #Conflicts: 199000 | #Constraints: 32679
190.08/190.67 c #Conflicts: 200000 | #Constraints: 33679
190.08/190.67 c #Conflicts: 201000 | #Constraints: 34681
190.08/190.67 c #Conflicts: 202000 | #Constraints: 35683
190.08/190.67 c #Conflicts: 203000 | #Constraints: 36685
190.08/190.67 c #Conflicts: 204000 | #Constraints: 37689
190.08/190.67 c #Conflicts: 205000 | #Constraints: 38692
190.08/190.67 c #Conflicts: 206000 | #Constraints: 39693
190.08/190.67 c #Conflicts: 207000 | #Constraints: 40695
190.08/190.67 c INPROCESSING
190.08/190.67 c GARBAGE COLLECT
190.08/190.67 c rational objective 5
202.65/203.26 c #Conflicts: 208000 | #Constraints: 32618
202.65/203.26 c #Conflicts: 209000 | #Constraints: 33618
202.65/203.26 c #Conflicts: 210000 | #Constraints: 34618
202.65/203.26 c #Conflicts: 211000 | #Constraints: 35620
202.65/203.26 c #Conflicts: 212000 | #Constraints: 36621
202.65/203.26 c #Conflicts: 213000 | #Constraints: 37622
202.65/203.26 c #Conflicts: 214000 | #Constraints: 38623
202.65/203.26 c #Conflicts: 215000 | #Constraints: 39625
202.65/203.26 c #Conflicts: 216000 | #Constraints: 40628
202.65/203.26 c INPROCESSING
202.65/203.26 c GARBAGE COLLECT
202.65/203.26 c rational objective 5
213.23/213.88 c #Conflicts: 217000 | #Constraints: 32390
213.23/213.88 c #Conflicts: 218000 | #Constraints: 33390
213.23/213.88 c #Conflicts: 219000 | #Constraints: 34390
213.23/213.88 c #Conflicts: 220000 | #Constraints: 35392
213.23/213.88 c #Conflicts: 221000 | #Constraints: 36394
213.23/213.88 c #Conflicts: 222000 | #Constraints: 37395
213.23/213.88 c #Conflicts: 223000 | #Constraints: 38396
213.23/213.88 c #Conflicts: 224000 | #Constraints: 39397
213.23/213.88 c #Conflicts: 225000 | #Constraints: 40398
213.23/213.88 c #Conflicts: 226000 | #Constraints: 41399
213.23/213.88 c INPROCESSING
213.23/213.88 c GARBAGE COLLECT
213.23/213.88 c rational objective 5
230.19/230.83 c #Conflicts: 227000 | #Constraints: 32880
230.19/230.83 c #Conflicts: 228000 | #Constraints: 33881
230.19/230.83 c #Conflicts: 229000 | #Constraints: 34883
230.19/230.83 c #Conflicts: 230000 | #Constraints: 35885
230.19/230.83 c #Conflicts: 231000 | #Constraints: 36889
230.19/230.83 c #Conflicts: 232000 | #Constraints: 37892
230.19/230.83 c #Conflicts: 233000 | #Constraints: 38894
230.19/230.83 c #Conflicts: 234000 | #Constraints: 39897
230.19/230.83 c #Conflicts: 235000 | #Constraints: 40898
230.19/230.83 c #Conflicts: 236000 | #Constraints: 41903
230.19/230.83 c INPROCESSING
230.19/230.83 c GARBAGE COLLECT
230.19/230.83 c rational objective 5
240.16/240.89 c #Conflicts: 237000 | #Constraints: 33257
240.16/240.89 c #Conflicts: 238000 | #Constraints: 34257
240.16/240.89 c #Conflicts: 239000 | #Constraints: 35258
240.16/240.89 c #Conflicts: 240000 | #Constraints: 36264
240.16/240.89 c #Conflicts: 241000 | #Constraints: 37267
240.16/240.89 c #Conflicts: 242000 | #Constraints: 38271
240.16/240.89 c #Conflicts: 243000 | #Constraints: 39271
240.16/240.89 c #Conflicts: 244000 | #Constraints: 40274
240.16/240.89 c #Conflicts: 245000 | #Constraints: 41277
240.16/240.89 c #Conflicts: 246000 | #Constraints: 42279
240.16/240.89 c INPROCESSING
240.16/240.89 c GARBAGE COLLECT
240.16/240.89 c rational objective 5
252.34/253.04 c #Conflicts: 247000 | #Constraints: 33432
252.34/253.04 c #Conflicts: 248000 | #Constraints: 34432
252.34/253.04 c #Conflicts: 249000 | #Constraints: 35433
252.34/253.04 c #Conflicts: 250000 | #Constraints: 36436
252.34/253.04 c #Conflicts: 251000 | #Constraints: 37438
252.34/253.04 c #Conflicts: 252000 | #Constraints: 38441
252.34/253.04 c #Conflicts: 253000 | #Constraints: 39444
252.34/253.04 c #Conflicts: 254000 | #Constraints: 40445
252.34/253.04 c #Conflicts: 255000 | #Constraints: 41448
252.34/253.04 c #Conflicts: 256000 | #Constraints: 42450
252.34/253.04 c INPROCESSING
252.34/253.04 c GARBAGE COLLECT
252.34/253.04 c rational objective 5
264.89/265.66 c #Conflicts: 257000 | #Constraints: 33386
264.89/265.66 c #Conflicts: 258000 | #Constraints: 34386
264.89/265.66 c #Conflicts: 259000 | #Constraints: 35387
264.89/265.66 c #Conflicts: 260000 | #Constraints: 36389
264.89/265.66 c #Conflicts: 261000 | #Constraints: 37390
264.89/265.66 c #Conflicts: 262000 | #Constraints: 38391
264.89/265.66 c #Conflicts: 263000 | #Constraints: 39392
264.89/265.66 c #Conflicts: 264000 | #Constraints: 40394
264.89/265.66 c #Conflicts: 265000 | #Constraints: 41395
264.89/265.66 c #Conflicts: 266000 | #Constraints: 42397
264.89/265.66 c INPROCESSING
264.89/265.66 c GARBAGE COLLECT
264.89/265.66 c rational objective 5
278.56/279.35 c #Conflicts: 267000 | #Constraints: 33131
278.56/279.35 c #Conflicts: 268000 | #Constraints: 34131
278.56/279.35 c #Conflicts: 269000 | #Constraints: 35131
278.56/279.35 c #Conflicts: 270000 | #Constraints: 36133
278.56/279.35 c #Conflicts: 271000 | #Constraints: 37135
278.56/279.35 c #Conflicts: 272000 | #Constraints: 38136
278.56/279.35 c #Conflicts: 273000 | #Constraints: 39138
278.56/279.35 c #Conflicts: 274000 | #Constraints: 40140
278.56/279.35 c #Conflicts: 275000 | #Constraints: 41141
278.56/279.35 c #Conflicts: 276000 | #Constraints: 42142
278.56/279.35 c #Conflicts: 277000 | #Constraints: 43144
278.56/279.35 c INPROCESSING
278.56/279.35 c GARBAGE COLLECT
278.56/279.35 c rational objective 5
289.13/289.97 c #Conflicts: 278000 | #Constraints: 33606
289.13/289.97 c #Conflicts: 279000 | #Constraints: 34606
289.13/289.97 c #Conflicts: 280000 | #Constraints: 35607
289.13/289.97 c #Conflicts: 281000 | #Constraints: 36611
289.13/289.97 c #Conflicts: 282000 | #Constraints: 37616
289.13/289.97 c #Conflicts: 283000 | #Constraints: 38621
289.13/289.97 c #Conflicts: 284000 | #Constraints: 39625
289.13/289.97 c #Conflicts: 285000 | #Constraints: 40627
289.13/289.97 c #Conflicts: 286000 | #Constraints: 41629
289.13/289.97 c #Conflicts: 287000 | #Constraints: 42631
289.13/289.97 c #Conflicts: 288000 | #Constraints: 43633
289.13/289.97 c INPROCESSING
289.13/289.97 c GARBAGE COLLECT
289.13/289.97 c rational objective 5
305.99/306.81 c #Conflicts: 289000 | #Constraints: 33945
305.99/306.81 c #Conflicts: 290000 | #Constraints: 34945
305.99/306.81 c #Conflicts: 291000 | #Constraints: 35948
305.99/306.81 c #Conflicts: 292000 | #Constraints: 36951
305.99/306.81 c #Conflicts: 293000 | #Constraints: 37954
305.99/306.81 c #Conflicts: 294000 | #Constraints: 38956
305.99/306.81 c #Conflicts: 295000 | #Constraints: 39961
305.99/306.81 c #Conflicts: 296000 | #Constraints: 40966
305.99/306.81 c #Conflicts: 297000 | #Constraints: 41969
305.99/306.81 c #Conflicts: 298000 | #Constraints: 42971
305.99/306.81 c #Conflicts: 299000 | #Constraints: 43975
305.99/306.81 c INPROCESSING
305.99/306.81 c GARBAGE COLLECT
305.99/306.81 c rational objective 5
319.86/320.75 c #Conflicts: 300000 | #Constraints: 34159
319.86/320.75 c #Conflicts: 301000 | #Constraints: 35160
319.86/320.75 c #Conflicts: 302000 | #Constraints: 36165
319.86/320.75 c #Conflicts: 303000 | #Constraints: 37167
319.86/320.75 c #Conflicts: 304000 | #Constraints: 38170
319.86/320.75 c #Conflicts: 305000 | #Constraints: 39173
319.86/320.75 c #Conflicts: 306000 | #Constraints: 40174
319.86/320.75 c #Conflicts: 307000 | #Constraints: 41176
319.86/320.75 c #Conflicts: 308000 | #Constraints: 42178
319.86/320.75 c #Conflicts: 309000 | #Constraints: 43180
319.86/320.75 c #Conflicts: 310000 | #Constraints: 44184
319.86/320.75 c INPROCESSING
319.86/320.75 c GARBAGE COLLECT
319.86/320.75 c rational objective 5
335.81/336.74 c #Conflicts: 311000 | #Constraints: 34016
335.81/336.74 c #Conflicts: 312000 | #Constraints: 35016
335.81/336.74 c #Conflicts: 313000 | #Constraints: 36016
335.81/336.74 c #Conflicts: 314000 | #Constraints: 37017
335.81/336.74 c #Conflicts: 315000 | #Constraints: 38019
335.81/336.74 c #Conflicts: 316000 | #Constraints: 39020
335.81/336.74 c #Conflicts: 317000 | #Constraints: 40022
335.81/336.74 c #Conflicts: 318000 | #Constraints: 41024
335.81/336.74 c #Conflicts: 319000 | #Constraints: 42026
335.81/336.74 c #Conflicts: 320000 | #Constraints: 43026
335.81/336.74 c #Conflicts: 321000 | #Constraints: 44027
335.81/336.74 c INPROCESSING
335.81/336.74 c GARBAGE COLLECT
335.81/336.74 c rational objective 5
350.09/351.03 c #Conflicts: 322000 | #Constraints: 33811
350.09/351.03 c #Conflicts: 323000 | #Constraints: 34812
350.09/351.03 c #Conflicts: 324000 | #Constraints: 35812
350.09/351.03 c #Conflicts: 325000 | #Constraints: 36813
350.09/351.03 c #Conflicts: 326000 | #Constraints: 37815
350.09/351.03 c #Conflicts: 327000 | #Constraints: 38816
350.09/351.03 c #Conflicts: 328000 | #Constraints: 39817
350.09/351.03 c #Conflicts: 329000 | #Constraints: 40820
350.09/351.03 c #Conflicts: 330000 | #Constraints: 41820
350.09/351.03 c #Conflicts: 331000 | #Constraints: 42821
350.09/351.03 c #Conflicts: 332000 | #Constraints: 43821
350.09/351.03 c #Conflicts: 333000 | #Constraints: 44822
350.09/351.03 c INPROCESSING
350.09/351.03 c GARBAGE COLLECT
350.09/351.03 c rational objective 5
362.16/363.16 c #Conflicts: 334000 | #Constraints: 34426
362.16/363.16 c #Conflicts: 335000 | #Constraints: 35426
362.16/363.16 c #Conflicts: 336000 | #Constraints: 36427
362.16/363.16 c #Conflicts: 337000 | #Constraints: 37431
362.16/363.16 c #Conflicts: 338000 | #Constraints: 38437
362.16/363.16 c #Conflicts: 339000 | #Constraints: 39441
362.16/363.16 c #Conflicts: 340000 | #Constraints: 40442
362.16/363.16 c #Conflicts: 341000 | #Constraints: 41443
362.16/363.16 c #Conflicts: 342000 | #Constraints: 42445
362.16/363.16 c #Conflicts: 343000 | #Constraints: 43448
362.16/363.16 c #Conflicts: 344000 | #Constraints: 44449
362.16/363.16 c #Conflicts: 345000 | #Constraints: 45452
362.16/363.16 c INPROCESSING
362.16/363.16 c GARBAGE COLLECT
362.16/363.16 c rational objective 5
376.42/377.46 c #Conflicts: 346000 | #Constraints: 34786
376.42/377.46 c #Conflicts: 347000 | #Constraints: 35786
376.42/377.46 c #Conflicts: 348000 | #Constraints: 36786
376.42/377.46 c #Conflicts: 349000 | #Constraints: 37789
376.42/377.46 c #Conflicts: 350000 | #Constraints: 38790
376.42/377.46 c #Conflicts: 351000 | #Constraints: 39792
376.42/377.46 c #Conflicts: 352000 | #Constraints: 40794
376.42/377.46 c #Conflicts: 353000 | #Constraints: 41796
376.42/377.46 c #Conflicts: 354000 | #Constraints: 42799
376.42/377.46 c #Conflicts: 355000 | #Constraints: 43802
376.42/377.46 c #Conflicts: 356000 | #Constraints: 44804
376.42/377.46 c #Conflicts: 357000 | #Constraints: 45805
376.42/377.46 c INPROCESSING
376.42/377.46 c GARBAGE COLLECT
376.42/377.46 c rational objective 5
391.58/392.61 c #Conflicts: 358000 | #Constraints: 34859
391.58/392.61 c #Conflicts: 359000 | #Constraints: 35859
391.58/392.61 c #Conflicts: 360000 | #Constraints: 36861
391.58/392.61 c #Conflicts: 361000 | #Constraints: 37865
391.58/392.61 c #Conflicts: 362000 | #Constraints: 38869
391.58/392.61 c #Conflicts: 363000 | #Constraints: 39871
391.58/392.61 c #Conflicts: 364000 | #Constraints: 40872
391.58/392.61 c #Conflicts: 365000 | #Constraints: 41874
391.58/392.61 c #Conflicts: 366000 | #Constraints: 42874
391.58/392.61 c #Conflicts: 367000 | #Constraints: 43875
391.58/392.61 c #Conflicts: 368000 | #Constraints: 44876
391.58/392.61 c #Conflicts: 369000 | #Constraints: 45877
391.58/392.61 c INPROCESSING
391.58/392.61 c GARBAGE COLLECT
391.58/392.61 c rational objective 5
405.14/406.20 c #Conflicts: 370000 | #Constraints: 34667
405.14/406.20 c #Conflicts: 371000 | #Constraints: 35667
405.14/406.20 c #Conflicts: 372000 | #Constraints: 36667
405.14/406.20 c #Conflicts: 373000 | #Constraints: 37667
405.14/406.20 c #Conflicts: 374000 | #Constraints: 38668
405.14/406.20 c #Conflicts: 375000 | #Constraints: 39670
405.14/406.20 c #Conflicts: 376000 | #Constraints: 40672
405.14/406.20 c #Conflicts: 377000 | #Constraints: 41673
405.14/406.20 c #Conflicts: 378000 | #Constraints: 42676
405.14/406.20 c #Conflicts: 379000 | #Constraints: 43679
405.14/406.20 c #Conflicts: 380000 | #Constraints: 44682
405.14/406.20 c #Conflicts: 381000 | #Constraints: 45683
405.14/406.20 c INPROCESSING
405.14/406.20 c GARBAGE COLLECT
405.14/406.20 c rational objective 5
419.80/420.93 c #Conflicts: 382000 | #Constraints: 34284
419.80/420.93 c #Conflicts: 383000 | #Constraints: 35284
419.80/420.93 c #Conflicts: 384000 | #Constraints: 36284
419.80/420.93 c #Conflicts: 385000 | #Constraints: 37286
419.80/420.93 c #Conflicts: 386000 | #Constraints: 38286
419.80/420.93 c #Conflicts: 387000 | #Constraints: 39290
419.80/420.93 c #Conflicts: 388000 | #Constraints: 40291
419.80/420.93 c #Conflicts: 389000 | #Constraints: 41294
419.80/420.93 c #Conflicts: 390000 | #Constraints: 42296
419.80/420.93 c #Conflicts: 391000 | #Constraints: 43297
419.80/420.93 c #Conflicts: 392000 | #Constraints: 44297
419.80/420.93 c #Conflicts: 393000 | #Constraints: 45298
419.80/420.93 c #Conflicts: 394000 | #Constraints: 46298
419.80/420.93 c INPROCESSING
419.80/420.93 c GARBAGE COLLECT
419.80/420.93 c rational objective 5
436.66/437.81 c #Conflicts: 395000 | #Constraints: 34884
436.66/437.81 c #Conflicts: 396000 | #Constraints: 35884
436.66/437.81 c #Conflicts: 397000 | #Constraints: 36884
436.66/437.81 c #Conflicts: 398000 | #Constraints: 37885
436.66/437.81 c #Conflicts: 399000 | #Constraints: 38886
436.66/437.81 c #Conflicts: 400000 | #Constraints: 39888
436.66/437.81 c #Conflicts: 401000 | #Constraints: 40889
436.66/437.81 c #Conflicts: 402000 | #Constraints: 41889
436.66/437.81 c #Conflicts: 403000 | #Constraints: 42892
436.66/437.81 c #Conflicts: 404000 | #Constraints: 43893
436.66/437.81 c #Conflicts: 405000 | #Constraints: 44896
436.66/437.81 c #Conflicts: 406000 | #Constraints: 45899
436.66/437.81 c #Conflicts: 407000 | #Constraints: 46900
436.66/437.81 c INPROCESSING
436.66/437.81 c GARBAGE COLLECT
436.66/437.81 c rational objective 5
453.61/454.81 c #Conflicts: 408000 | #Constraints: 35245
453.61/454.81 c #Conflicts: 409000 | #Constraints: 36245
453.61/454.81 c #Conflicts: 410000 | #Constraints: 37249
453.61/454.81 c #Conflicts: 411000 | #Constraints: 38251
453.61/454.81 c #Conflicts: 412000 | #Constraints: 39252
453.61/454.81 c #Conflicts: 413000 | #Constraints: 40253
453.61/454.81 c #Conflicts: 414000 | #Constraints: 41258
453.61/454.81 c #Conflicts: 415000 | #Constraints: 42259
453.61/454.81 c #Conflicts: 416000 | #Constraints: 43259
453.61/454.81 c #Conflicts: 417000 | #Constraints: 44260
453.61/454.81 c #Conflicts: 418000 | #Constraints: 45262
453.61/454.81 c #Conflicts: 419000 | #Constraints: 46262
453.61/454.81 c #Conflicts: 420000 | #Constraints: 47263
453.61/454.81 c INPROCESSING
453.61/454.81 c GARBAGE COLLECT
453.61/454.81 c rational objective 5
466.79/468.08 c #Conflicts: 421000 | #Constraints: 35499
466.79/468.08 c #Conflicts: 422000 | #Constraints: 36499
466.79/468.08 c #Conflicts: 423000 | #Constraints: 37500
466.79/468.08 c #Conflicts: 424000 | #Constraints: 38503
466.79/468.08 c #Conflicts: 425000 | #Constraints: 39504
466.79/468.08 c #Conflicts: 426000 | #Constraints: 40504
466.79/468.08 c #Conflicts: 427000 | #Constraints: 41504
466.79/468.08 c #Conflicts: 428000 | #Constraints: 42508
466.79/468.08 c #Conflicts: 429000 | #Constraints: 43509
466.79/468.08 c #Conflicts: 430000 | #Constraints: 44510
466.79/468.08 c #Conflicts: 431000 | #Constraints: 45510
466.79/468.08 c #Conflicts: 432000 | #Constraints: 46511
466.79/468.08 c #Conflicts: 433000 | #Constraints: 47512
466.79/468.08 c INPROCESSING
466.79/468.08 c GARBAGE COLLECT
466.79/468.08 c rational objective 5
489.62/490.99 c #Conflicts: 434000 | #Constraints: 35483
489.62/490.99 c #Conflicts: 435000 | #Constraints: 36483
489.62/490.99 c #Conflicts: 436000 | #Constraints: 37483
489.62/490.99 c #Conflicts: 437000 | #Constraints: 38483
489.62/490.99 c #Conflicts: 438000 | #Constraints: 39485
489.62/490.99 c #Conflicts: 439000 | #Constraints: 40485
489.62/490.99 c #Conflicts: 440000 | #Constraints: 41486
489.62/490.99 c #Conflicts: 441000 | #Constraints: 42486
489.62/490.99 c #Conflicts: 442000 | #Constraints: 43486
489.62/490.99 c #Conflicts: 443000 | #Constraints: 44487
489.62/490.99 c #Conflicts: 444000 | #Constraints: 45489
489.62/490.99 c #Conflicts: 445000 | #Constraints: 46490
489.62/490.99 c #Conflicts: 446000 | #Constraints: 47491
489.62/490.99 c INPROCESSING
489.62/490.99 c GARBAGE COLLECT
489.62/490.99 c rational objective 5
518.56/519.91 c #Conflicts: 447000 | #Constraints: 35231
518.56/519.91 c #Conflicts: 448000 | #Constraints: 36232
518.56/519.91 c #Conflicts: 449000 | #Constraints: 37233
518.56/519.91 c #Conflicts: 450000 | #Constraints: 38236
518.56/519.91 c #Conflicts: 451000 | #Constraints: 39240
518.56/519.91 c #Conflicts: 452000 | #Constraints: 40242
518.56/519.91 c #Conflicts: 453000 | #Constraints: 41244
518.56/519.91 c #Conflicts: 454000 | #Constraints: 42245
518.56/519.91 c #Conflicts: 455000 | #Constraints: 43247
518.56/519.91 c #Conflicts: 456000 | #Constraints: 44249
518.56/519.91 c #Conflicts: 457000 | #Constraints: 45249
518.56/519.91 c #Conflicts: 458000 | #Constraints: 46250
518.56/519.91 c #Conflicts: 459000 | #Constraints: 47251
518.56/519.91 c #Conflicts: 460000 | #Constraints: 48253
518.56/519.91 c INPROCESSING
518.56/519.91 c GARBAGE COLLECT
518.56/519.91 c rational objective 5
539.30/540.77 c #Conflicts: 461000 | #Constraints: 35853
539.30/540.77 c #Conflicts: 462000 | #Constraints: 36853
539.30/540.77 c #Conflicts: 463000 | #Constraints: 37853
539.30/540.77 c #Conflicts: 464000 | #Constraints: 38856
539.30/540.77 c #Conflicts: 465000 | #Constraints: 39859
539.30/540.77 c #Conflicts: 466000 | #Constraints: 40863
539.30/540.77 c #Conflicts: 467000 | #Constraints: 41865
539.30/540.77 c #Conflicts: 468000 | #Constraints: 42867
539.30/540.77 c #Conflicts: 469000 | #Constraints: 43868
539.30/540.77 c #Conflicts: 470000 | #Constraints: 44871
539.30/540.77 c #Conflicts: 471000 | #Constraints: 45873
539.30/540.77 c #Conflicts: 472000 | #Constraints: 46877
539.30/540.77 c #Conflicts: 473000 | #Constraints: 47881
539.30/540.77 c #Conflicts: 474000 | #Constraints: 48885
539.30/540.77 c INPROCESSING
539.30/540.77 c GARBAGE COLLECT
539.30/540.77 c rational objective 5
563.14/564.62 c #Conflicts: 475000 | #Constraints: 36184
563.14/564.62 c #Conflicts: 476000 | #Constraints: 37185
563.14/564.62 c #Conflicts: 477000 | #Constraints: 38187
563.14/564.62 c #Conflicts: 478000 | #Constraints: 39188
563.14/564.62 c #Conflicts: 479000 | #Constraints: 40190
563.14/564.62 c #Conflicts: 480000 | #Constraints: 41192
563.14/564.62 c #Conflicts: 481000 | #Constraints: 42195
563.14/564.62 c #Conflicts: 482000 | #Constraints: 43197
563.14/564.62 c #Conflicts: 483000 | #Constraints: 44198
563.14/564.62 c #Conflicts: 484000 | #Constraints: 45198
563.14/564.62 c #Conflicts: 485000 | #Constraints: 46198
563.14/564.62 c #Conflicts: 486000 | #Constraints: 47198
563.14/564.62 c #Conflicts: 487000 | #Constraints: 48199
563.14/564.62 c #Conflicts: 488000 | #Constraints: 49199
563.14/564.62 c INPROCESSING
563.14/564.62 c GARBAGE COLLECT
563.14/564.62 c rational objective 5
591.07/592.68 c #Conflicts: 489000 | #Constraints: 36346
591.07/592.68 c #Conflicts: 490000 | #Constraints: 37346
591.07/592.68 c #Conflicts: 491000 | #Constraints: 38346
591.07/592.68 c #Conflicts: 492000 | #Constraints: 39351
591.07/592.68 c #Conflicts: 493000 | #Constraints: 40358
591.07/592.68 c #Conflicts: 494000 | #Constraints: 41362
591.07/592.68 c #Conflicts: 495000 | #Constraints: 42364
591.07/592.68 c #Conflicts: 496000 | #Constraints: 43368
591.07/592.68 c #Conflicts: 497000 | #Constraints: 44374
591.07/592.68 c #Conflicts: 498000 | #Constraints: 45379
591.07/592.68 c #Conflicts: 499000 | #Constraints: 46381
591.07/592.68 c #Conflicts: 500000 | #Constraints: 47385
591.07/592.68 c #Conflicts: 501000 | #Constraints: 48388
591.07/592.68 c #Conflicts: 502000 | #Constraints: 49389
591.07/592.68 c INPROCESSING
591.07/592.68 c GARBAGE COLLECT
591.07/592.68 c rational objective 5
607.93/609.55 c #Conflicts: 503000 | #Constraints: 36313
607.93/609.55 c #Conflicts: 504000 | #Constraints: 37316
607.93/609.55 c #Conflicts: 505000 | #Constraints: 38321
607.93/609.55 c #Conflicts: 506000 | #Constraints: 39321
607.93/609.55 c #Conflicts: 507000 | #Constraints: 40326
607.93/609.55 c #Conflicts: 508000 | #Constraints: 41331
607.93/609.55 c #Conflicts: 509000 | #Constraints: 42338
607.93/609.55 c #Conflicts: 510000 | #Constraints: 43341
607.93/609.55 c #Conflicts: 511000 | #Constraints: 44345
607.93/609.55 c #Conflicts: 512000 | #Constraints: 45350
607.93/609.55 c #Conflicts: 513000 | #Constraints: 46356
607.93/609.55 c #Conflicts: 514000 | #Constraints: 47358
607.93/609.55 c #Conflicts: 515000 | #Constraints: 48362
607.93/609.55 c #Conflicts: 516000 | #Constraints: 49365
607.93/609.55 c INPROCESSING
607.93/609.55 c GARBAGE COLLECT
607.93/609.55 c rational objective 5
633.16/634.87 c #Conflicts: 517000 | #Constraints: 36077
633.16/634.87 c #Conflicts: 518000 | #Constraints: 37077
633.16/634.87 c #Conflicts: 519000 | #Constraints: 38077
633.16/634.87 c #Conflicts: 520000 | #Constraints: 39078
633.16/634.87 c #Conflicts: 521000 | #Constraints: 40081
633.16/634.87 c #Conflicts: 522000 | #Constraints: 41084
633.16/634.87 c #Conflicts: 523000 | #Constraints: 42086
633.16/634.87 c #Conflicts: 524000 | #Constraints: 43089
633.16/634.87 c #Conflicts: 525000 | #Constraints: 44091
633.16/634.87 c #Conflicts: 526000 | #Constraints: 45092
633.16/634.87 c #Conflicts: 527000 | #Constraints: 46092
633.16/634.87 c #Conflicts: 528000 | #Constraints: 47092
633.16/634.87 c #Conflicts: 529000 | #Constraints: 48093
633.16/634.87 c #Conflicts: 530000 | #Constraints: 49093
633.16/634.87 c #Conflicts: 531000 | #Constraints: 50095
633.16/634.87 c INPROCESSING
633.16/634.87 c GARBAGE COLLECT
633.16/634.87 c rational objective 5
655.90/657.61 c #Conflicts: 532000 | #Constraints: 36663
655.90/657.61 c #Conflicts: 533000 | #Constraints: 37664
655.90/657.61 c #Conflicts: 534000 | #Constraints: 38665
655.90/657.61 c #Conflicts: 535000 | #Constraints: 39666
655.90/657.61 c #Conflicts: 536000 | #Constraints: 40666
655.90/657.61 c #Conflicts: 537000 | #Constraints: 41667
655.90/657.61 c #Conflicts: 538000 | #Constraints: 42667
655.90/657.61 c #Conflicts: 539000 | #Constraints: 43668
655.90/657.61 c #Conflicts: 540000 | #Constraints: 44669
655.90/657.61 c #Conflicts: 541000 | #Constraints: 45670
655.90/657.61 c #Conflicts: 542000 | #Constraints: 46672
655.90/657.61 c #Conflicts: 543000 | #Constraints: 47672
655.90/657.61 c #Conflicts: 544000 | #Constraints: 48672
655.90/657.61 c #Conflicts: 545000 | #Constraints: 49672
655.90/657.61 c #Conflicts: 546000 | #Constraints: 50672
655.90/657.61 c INPROCESSING
655.90/657.61 c GARBAGE COLLECT
655.90/657.61 c rational objective 5
675.45/677.30 c #Conflicts: 547000 | #Constraints: 37015
675.45/677.30 c #Conflicts: 548000 | #Constraints: 38015
675.45/677.30 c #Conflicts: 549000 | #Constraints: 39015
675.45/677.30 c #Conflicts: 550000 | #Constraints: 40015
675.45/677.30 c #Conflicts: 551000 | #Constraints: 41018
675.45/677.30 c #Conflicts: 552000 | #Constraints: 42022
675.45/677.30 c #Conflicts: 553000 | #Constraints: 43027
675.45/677.30 c #Conflicts: 554000 | #Constraints: 44029
675.45/677.30 c #Conflicts: 555000 | #Constraints: 45033
675.45/677.30 c #Conflicts: 556000 | #Constraints: 46036
675.45/677.30 c #Conflicts: 557000 | #Constraints: 47037
675.45/677.30 c #Conflicts: 558000 | #Constraints: 48039
675.45/677.30 c #Conflicts: 559000 | #Constraints: 49040
675.45/677.30 c #Conflicts: 560000 | #Constraints: 50043
675.45/677.30 c #Conflicts: 561000 | #Constraints: 51044
675.45/677.30 c INPROCESSING
675.45/677.30 c GARBAGE COLLECT
675.45/677.30 c rational objective 5
698.89/700.72 c #Conflicts: 562000 | #Constraints: 37172
698.89/700.72 c #Conflicts: 563000 | #Constraints: 38172
698.89/700.72 c #Conflicts: 564000 | #Constraints: 39172
698.89/700.72 c #Conflicts: 565000 | #Constraints: 40176
698.89/700.72 c #Conflicts: 566000 | #Constraints: 41180
698.89/700.72 c #Conflicts: 567000 | #Constraints: 42182
698.89/700.72 c #Conflicts: 568000 | #Constraints: 43189
698.89/700.72 c #Conflicts: 569000 | #Constraints: 44192
698.89/700.72 c #Conflicts: 570000 | #Constraints: 45192
698.89/700.72 c #Conflicts: 571000 | #Constraints: 46195
698.89/700.72 c #Conflicts: 572000 | #Constraints: 47197
698.89/700.72 c #Conflicts: 573000 | #Constraints: 48199
698.89/700.72 c #Conflicts: 574000 | #Constraints: 49202
698.89/700.72 c #Conflicts: 575000 | #Constraints: 50202
698.89/700.72 c #Conflicts: 576000 | #Constraints: 51204
698.89/700.72 c INPROCESSING
698.89/700.72 c GARBAGE COLLECT
698.89/700.72 c rational objective 5
723.92/725.80 c #Conflicts: 577000 | #Constraints: 37145
723.92/725.80 c #Conflicts: 578000 | #Constraints: 38145
723.92/725.80 c #Conflicts: 579000 | #Constraints: 39145
723.92/725.80 c #Conflicts: 580000 | #Constraints: 40147
723.92/725.80 c #Conflicts: 581000 | #Constraints: 41148
723.92/725.80 c #Conflicts: 582000 | #Constraints: 42150
723.92/725.80 c #Conflicts: 583000 | #Constraints: 43154
723.92/725.80 c #Conflicts: 584000 | #Constraints: 44158
723.92/725.80 c #Conflicts: 585000 | #Constraints: 45159
723.92/725.80 c #Conflicts: 586000 | #Constraints: 46160
723.92/725.80 c #Conflicts: 587000 | #Constraints: 47161
723.92/725.80 c #Conflicts: 588000 | #Constraints: 48162
723.92/725.80 c #Conflicts: 589000 | #Constraints: 49162
723.92/725.80 c #Conflicts: 590000 | #Constraints: 50163
723.92/725.80 c #Conflicts: 591000 | #Constraints: 51164
723.92/725.80 c INPROCESSING
723.92/725.80 c GARBAGE COLLECT
723.92/725.80 c rational objective 5
753.24/755.27 c #Conflicts: 592000 | #Constraints: 36862
753.24/755.27 c #Conflicts: 593000 | #Constraints: 37862
753.24/755.27 c #Conflicts: 594000 | #Constraints: 38862
753.24/755.27 c #Conflicts: 595000 | #Constraints: 39865
753.24/755.27 c #Conflicts: 596000 | #Constraints: 40868
753.24/755.27 c #Conflicts: 597000 | #Constraints: 41869
753.24/755.27 c #Conflicts: 598000 | #Constraints: 42871
753.24/755.27 c #Conflicts: 599000 | #Constraints: 43873
753.24/755.27 c #Conflicts: 600000 | #Constraints: 44875
753.24/755.27 c #Conflicts: 601000 | #Constraints: 45875
753.24/755.27 c #Conflicts: 602000 | #Constraints: 46877
753.24/755.27 c #Conflicts: 603000 | #Constraints: 47877
753.24/755.27 c #Conflicts: 604000 | #Constraints: 48880
753.24/755.27 c #Conflicts: 605000 | #Constraints: 49884
753.24/755.27 c #Conflicts: 606000 | #Constraints: 50887
753.24/755.27 c #Conflicts: 607000 | #Constraints: 51888
753.24/755.27 c INPROCESSING
753.24/755.27 c GARBAGE COLLECT
753.24/755.27 c rational objective 5
775.69/777.79 c #Conflicts: 608000 | #Constraints: 37431
775.69/777.79 c #Conflicts: 609000 | #Constraints: 38431
775.69/777.79 c #Conflicts: 610000 | #Constraints: 39431
775.69/777.79 c #Conflicts: 611000 | #Constraints: 40433
775.69/777.79 c #Conflicts: 612000 | #Constraints: 41435
775.69/777.79 c #Conflicts: 613000 | #Constraints: 42435
775.69/777.79 c #Conflicts: 614000 | #Constraints: 43437
775.69/777.79 c #Conflicts: 615000 | #Constraints: 44440
775.69/777.79 c #Conflicts: 616000 | #Constraints: 45442
775.69/777.79 c #Conflicts: 617000 | #Constraints: 46444
775.69/777.79 c #Conflicts: 618000 | #Constraints: 47445
775.69/777.79 c #Conflicts: 619000 | #Constraints: 48446
775.69/777.79 c #Conflicts: 620000 | #Constraints: 49449
775.69/777.79 c #Conflicts: 621000 | #Constraints: 50450
775.69/777.79 c #Conflicts: 622000 | #Constraints: 51451
775.69/777.79 c #Conflicts: 623000 | #Constraints: 52454
775.69/777.79 c INPROCESSING
775.69/777.79 c GARBAGE COLLECT
775.69/777.79 c rational objective 5
798.73/800.84 c #Conflicts: 624000 | #Constraints: 37825
798.73/800.84 c #Conflicts: 625000 | #Constraints: 38825
798.73/800.84 c #Conflicts: 626000 | #Constraints: 39828
798.73/800.84 c #Conflicts: 627000 | #Constraints: 40829
798.73/800.84 c #Conflicts: 628000 | #Constraints: 41829
798.73/800.84 c #Conflicts: 629000 | #Constraints: 42832
798.73/800.84 c #Conflicts: 630000 | #Constraints: 43833
798.73/800.84 c #Conflicts: 631000 | #Constraints: 44834
798.73/800.84 c #Conflicts: 632000 | #Constraints: 45836
798.73/800.84 c #Conflicts: 633000 | #Constraints: 46836
798.73/800.84 c #Conflicts: 634000 | #Constraints: 47837
798.73/800.84 c #Conflicts: 635000 | #Constraints: 48838
798.73/800.84 c #Conflicts: 636000 | #Constraints: 49838
798.73/800.84 c #Conflicts: 637000 | #Constraints: 50838
798.73/800.84 c #Conflicts: 638000 | #Constraints: 51839
798.73/800.84 c #Conflicts: 639000 | #Constraints: 52841
798.73/800.84 c INPROCESSING
798.73/800.84 c GARBAGE COLLECT
798.73/800.84 c rational objective 5
822.26/824.47 c #Conflicts: 640000 | #Constraints: 37966
822.26/824.47 c #Conflicts: 641000 | #Constraints: 38966
822.26/824.47 c #Conflicts: 642000 | #Constraints: 39970
822.26/824.47 c #Conflicts: 643000 | #Constraints: 40973
822.26/824.47 c #Conflicts: 644000 | #Constraints: 41980
822.26/824.47 c #Conflicts: 645000 | #Constraints: 42985
822.26/824.47 c #Conflicts: 646000 | #Constraints: 43986
822.26/824.47 c #Conflicts: 647000 | #Constraints: 44988
822.26/824.47 c #Conflicts: 648000 | #Constraints: 45991
822.26/824.47 c #Conflicts: 649000 | #Constraints: 46999
822.26/824.47 c #Conflicts: 650000 | #Constraints: 48002
822.26/824.47 c #Conflicts: 651000 | #Constraints: 49007
822.26/824.47 c #Conflicts: 652000 | #Constraints: 50009
822.26/824.47 c #Conflicts: 653000 | #Constraints: 51010
822.26/824.47 c #Conflicts: 654000 | #Constraints: 52010
822.26/824.47 c #Conflicts: 655000 | #Constraints: 53011
822.26/824.47 c INPROCESSING
822.26/824.47 c GARBAGE COLLECT
822.26/824.47 c rational objective 5
845.91/848.17 c #Conflicts: 656000 | #Constraints: 37967
845.91/848.17 c #Conflicts: 657000 | #Constraints: 38967
845.91/848.17 c #Conflicts: 658000 | #Constraints: 39968
845.91/848.17 c #Conflicts: 659000 | #Constraints: 40969
845.91/848.17 c #Conflicts: 660000 | #Constraints: 41970
845.91/848.17 c #Conflicts: 661000 | #Constraints: 42972
845.91/848.17 c #Conflicts: 662000 | #Constraints: 43973
845.91/848.17 c #Conflicts: 663000 | #Constraints: 44974
845.91/848.17 c #Conflicts: 664000 | #Constraints: 45975
845.91/848.17 c #Conflicts: 665000 | #Constraints: 46975
845.91/848.17 c #Conflicts: 666000 | #Constraints: 47976
845.91/848.17 c #Conflicts: 667000 | #Constraints: 48978
845.91/848.17 c #Conflicts: 668000 | #Constraints: 49995
845.91/848.17 c #Conflicts: 669000 | #Constraints: 50998
845.91/848.17 c #Conflicts: 670000 | #Constraints: 51998
845.91/848.17 c #Conflicts: 671000 | #Constraints: 52999
845.91/848.17 c INPROCESSING
845.91/848.17 c GARBAGE COLLECT
845.91/848.17 c rational objective 5
872.54/874.88 c #Conflicts: 672000 | #Constraints: 37752
872.54/874.88 c #Conflicts: 673000 | #Constraints: 38752
872.54/874.88 c #Conflicts: 674000 | #Constraints: 39754
872.54/874.88 c #Conflicts: 675000 | #Constraints: 40759
872.54/874.88 c #Conflicts: 676000 | #Constraints: 41764
872.54/874.88 c #Conflicts: 677000 | #Constraints: 42765
872.54/874.88 c #Conflicts: 678000 | #Constraints: 43766
872.54/874.88 c #Conflicts: 679000 | #Constraints: 44766
872.54/874.88 c #Conflicts: 680000 | #Constraints: 45769
872.54/874.88 c #Conflicts: 681000 | #Constraints: 46771
872.54/874.88 c #Conflicts: 682000 | #Constraints: 47772
872.54/874.88 c #Conflicts: 683000 | #Constraints: 48772
872.54/874.88 c #Conflicts: 684000 | #Constraints: 49773
872.54/874.88 c #Conflicts: 685000 | #Constraints: 50773
872.54/874.88 c #Conflicts: 686000 | #Constraints: 51773
872.54/874.88 c #Conflicts: 687000 | #Constraints: 52774
872.54/874.88 c #Conflicts: 688000 | #Constraints: 53774
872.54/874.88 c INPROCESSING
872.54/874.88 c GARBAGE COLLECT
872.54/874.88 c rational objective 5
894.98/897.31 c #Conflicts: 689000 | #Constraints: 38357
894.98/897.31 c #Conflicts: 690000 | #Constraints: 39357
894.98/897.31 c #Conflicts: 691000 | #Constraints: 40357
894.98/897.31 c #Conflicts: 692000 | #Constraints: 41358
894.98/897.31 c #Conflicts: 693000 | #Constraints: 42362
894.98/897.31 c #Conflicts: 694000 | #Constraints: 43366
894.98/897.31 c #Conflicts: 695000 | #Constraints: 44368
894.98/897.31 c #Conflicts: 696000 | #Constraints: 45370
894.98/897.31 c #Conflicts: 697000 | #Constraints: 46372
894.98/897.31 c #Conflicts: 698000 | #Constraints: 47373
894.98/897.31 c #Conflicts: 699000 | #Constraints: 48374
894.98/897.31 c #Conflicts: 700000 | #Constraints: 49375
894.98/897.31 c #Conflicts: 701000 | #Constraints: 50376
894.98/897.31 c #Conflicts: 702000 | #Constraints: 51377
894.98/897.31 c #Conflicts: 703000 | #Constraints: 52379
894.98/897.31 c #Conflicts: 704000 | #Constraints: 53381
894.98/897.31 c #Conflicts: 705000 | #Constraints: 54383
894.98/897.31 c INPROCESSING
894.98/897.31 c GARBAGE COLLECT
894.98/897.31 c rational objective 5
919.32/921.71 c #Conflicts: 706000 | #Constraints: 38723
919.32/921.71 c #Conflicts: 707000 | #Constraints: 39723
919.32/921.71 c #Conflicts: 708000 | #Constraints: 40723
919.32/921.71 c #Conflicts: 709000 | #Constraints: 41723
919.32/921.71 c #Conflicts: 710000 | #Constraints: 42723
919.32/921.71 c #Conflicts: 711000 | #Constraints: 43724
919.32/921.71 c #Conflicts: 712000 | #Constraints: 44726
919.32/921.71 c #Conflicts: 713000 | #Constraints: 45727
919.32/921.71 c #Conflicts: 714000 | #Constraints: 46727
919.32/921.71 c #Conflicts: 715000 | #Constraints: 47727
919.32/921.71 c #Conflicts: 716000 | #Constraints: 48727
919.32/921.71 c #Conflicts: 717000 | #Constraints: 49729
919.32/921.71 c #Conflicts: 718000 | #Constraints: 50729
919.32/921.71 c #Conflicts: 719000 | #Constraints: 51730
919.32/921.71 c #Conflicts: 720000 | #Constraints: 52730
919.32/921.71 c #Conflicts: 721000 | #Constraints: 53730
919.32/921.71 c #Conflicts: 722000 | #Constraints: 54731
919.32/921.71 c INPROCESSING
919.32/921.71 c GARBAGE COLLECT
919.32/921.71 c rational objective 5
943.76/946.26 c #Conflicts: 723000 | #Constraints: 38954
943.76/946.26 c #Conflicts: 724000 | #Constraints: 39954
943.76/946.26 c #Conflicts: 725000 | #Constraints: 40956
943.76/946.26 c #Conflicts: 726000 | #Constraints: 41960
943.76/946.26 c #Conflicts: 727000 | #Constraints: 42960
943.76/946.26 c #Conflicts: 728000 | #Constraints: 43961
943.76/946.26 c #Conflicts: 729000 | #Constraints: 44963
943.76/946.26 c #Conflicts: 730000 | #Constraints: 45964
943.76/946.26 c #Conflicts: 731000 | #Constraints: 46966
943.76/946.26 c #Conflicts: 732000 | #Constraints: 47967
943.76/946.26 c #Conflicts: 733000 | #Constraints: 48969
943.76/946.26 c #Conflicts: 734000 | #Constraints: 49969
943.76/946.26 c #Conflicts: 735000 | #Constraints: 50970
943.76/946.26 c #Conflicts: 736000 | #Constraints: 51970
943.76/946.26 c #Conflicts: 737000 | #Constraints: 52970
943.76/946.26 c #Conflicts: 738000 | #Constraints: 53970
943.76/946.26 c #Conflicts: 739000 | #Constraints: 54970
943.76/946.26 c INPROCESSING
943.76/946.26 c GARBAGE COLLECT
943.76/946.26 c rational objective 5
965.11/967.68 c #Conflicts: 740000 | #Constraints: 38902
965.11/967.68 c #Conflicts: 741000 | #Constraints: 39902
965.11/967.68 c #Conflicts: 742000 | #Constraints: 40902
965.11/967.68 c #Conflicts: 743000 | #Constraints: 41902
965.11/967.68 c #Conflicts: 744000 | #Constraints: 42904
965.11/967.68 c #Conflicts: 745000 | #Constraints: 43905
965.11/967.68 c #Conflicts: 746000 | #Constraints: 44907
965.11/967.68 c #Conflicts: 747000 | #Constraints: 45909
965.11/967.68 c #Conflicts: 748000 | #Constraints: 46911
965.11/967.68 c #Conflicts: 749000 | #Constraints: 47911
965.11/967.68 c #Conflicts: 750000 | #Constraints: 48914
965.11/967.68 c #Conflicts: 751000 | #Constraints: 49916
965.11/967.68 c #Conflicts: 752000 | #Constraints: 50916
965.11/967.68 c #Conflicts: 753000 | #Constraints: 51918
965.11/967.68 c #Conflicts: 754000 | #Constraints: 52919
965.11/967.68 c #Conflicts: 755000 | #Constraints: 53922
965.11/967.68 c #Conflicts: 756000 | #Constraints: 54923
965.11/967.68 c INPROCESSING
965.11/967.68 c GARBAGE COLLECT
965.11/967.68 c rational objective 5
997.72/1000.30 c #Conflicts: 757000 | #Constraints: 38657
997.72/1000.30 c #Conflicts: 758000 | #Constraints: 39657
997.72/1000.30 c #Conflicts: 759000 | #Constraints: 40658
997.72/1000.30 c #Conflicts: 760000 | #Constraints: 41658
997.72/1000.30 c #Conflicts: 761000 | #Constraints: 42660
997.72/1000.30 c #Conflicts: 762000 | #Constraints: 43661
997.72/1000.30 c #Conflicts: 763000 | #Constraints: 44663
997.72/1000.30 c #Conflicts: 764000 | #Constraints: 45665
997.72/1000.30 c #Conflicts: 765000 | #Constraints: 46665
997.72/1000.30 c #Conflicts: 766000 | #Constraints: 47667
997.72/1000.30 c #Conflicts: 767000 | #Constraints: 48671
997.72/1000.30 c #Conflicts: 768000 | #Constraints: 49672
997.72/1000.30 c #Conflicts: 769000 | #Constraints: 50677
997.72/1000.30 c #Conflicts: 770000 | #Constraints: 51678
997.72/1000.30 c #Conflicts: 771000 | #Constraints: 52679
997.72/1000.30 c #Conflicts: 772000 | #Constraints: 53681
997.72/1000.30 c #Conflicts: 773000 | #Constraints: 54682
997.72/1000.30 c #Conflicts: 774000 | #Constraints: 55684
997.72/1000.30 c INPROCESSING
997.72/1000.30 c GARBAGE COLLECT
997.72/1000.30 c rational objective 5
1031.13/1033.88 c #Conflicts: 775000 | #Constraints: 39231
1031.13/1033.88 c #Conflicts: 776000 | #Constraints: 40231
1031.13/1033.88 c #Conflicts: 777000 | #Constraints: 41232
1031.13/1033.88 c #Conflicts: 778000 | #Constraints: 42232
1031.13/1033.88 c #Conflicts: 779000 | #Constraints: 43233
1031.13/1033.88 c #Conflicts: 780000 | #Constraints: 44235
1031.13/1033.88 c #Conflicts: 781000 | #Constraints: 45237
1031.13/1033.88 c #Conflicts: 782000 | #Constraints: 46239
1031.13/1033.88 c #Conflicts: 783000 | #Constraints: 47241
1031.13/1033.88 c #Conflicts: 784000 | #Constraints: 48243
1031.13/1033.88 c #Conflicts: 785000 | #Constraints: 49246
1031.13/1033.88 c #Conflicts: 786000 | #Constraints: 50246
1031.13/1033.88 c #Conflicts: 787000 | #Constraints: 51247
1031.13/1033.88 c #Conflicts: 788000 | #Constraints: 52248
1031.13/1033.88 c #Conflicts: 789000 | #Constraints: 53249
1031.13/1033.88 c #Conflicts: 790000 | #Constraints: 54250
1031.13/1033.88 c #Conflicts: 791000 | #Constraints: 55252
1031.13/1033.88 c #Conflicts: 792000 | #Constraints: 56253
1031.13/1033.88 c INPROCESSING
1031.13/1033.88 c GARBAGE COLLECT
1031.13/1033.88 c rational objective 5
1060.26/1063.09 c #Conflicts: 793000 | #Constraints: 39601
1060.26/1063.09 c #Conflicts: 794000 | #Constraints: 40601
1060.26/1063.09 c #Conflicts: 795000 | #Constraints: 41603
1060.26/1063.09 c #Conflicts: 796000 | #Constraints: 42604
1060.26/1063.09 c #Conflicts: 797000 | #Constraints: 43605
1060.26/1063.09 c #Conflicts: 798000 | #Constraints: 44606
1060.26/1063.09 c #Conflicts: 799000 | #Constraints: 45608
1060.26/1063.09 c #Conflicts: 800000 | #Constraints: 46609
1060.26/1063.09 c #Conflicts: 801000 | #Constraints: 47610
1060.26/1063.09 c #Conflicts: 802000 | #Constraints: 48610
1060.26/1063.09 c #Conflicts: 803000 | #Constraints: 49611
1060.26/1063.09 c #Conflicts: 804000 | #Constraints: 50613
1060.26/1063.09 c #Conflicts: 805000 | #Constraints: 51614
1060.26/1063.09 c #Conflicts: 806000 | #Constraints: 52614
1060.26/1063.09 c #Conflicts: 807000 | #Constraints: 53615
1060.26/1063.09 c #Conflicts: 808000 | #Constraints: 54615
1060.26/1063.09 c #Conflicts: 809000 | #Constraints: 55616
1060.26/1063.09 c #Conflicts: 810000 | #Constraints: 56617
1060.26/1063.09 c INPROCESSING
1060.26/1063.09 c GARBAGE COLLECT
1060.26/1063.09 c rational objective 5
1086.79/1089.65 c #Conflicts: 811000 | #Constraints: 39865
1086.79/1089.65 c #Conflicts: 812000 | #Constraints: 40865
1086.79/1089.65 c #Conflicts: 813000 | #Constraints: 41866
1086.79/1089.65 c #Conflicts: 814000 | #Constraints: 42867
1086.79/1089.65 c #Conflicts: 815000 | #Constraints: 43869
1086.79/1089.65 c #Conflicts: 816000 | #Constraints: 44870
1086.79/1089.65 c #Conflicts: 817000 | #Constraints: 45872
1086.79/1089.65 c #Conflicts: 818000 | #Constraints: 46873
1086.79/1089.65 c #Conflicts: 819000 | #Constraints: 47874
1086.79/1089.65 c #Conflicts: 820000 | #Constraints: 48877
1086.79/1089.65 c #Conflicts: 821000 | #Constraints: 49880
1086.79/1089.65 c #Conflicts: 822000 | #Constraints: 50882
1086.79/1089.65 c #Conflicts: 823000 | #Constraints: 51883
1086.79/1089.65 c #Conflicts: 824000 | #Constraints: 52884
1086.79/1089.65 c #Conflicts: 825000 | #Constraints: 53884
1086.79/1089.65 c #Conflicts: 826000 | #Constraints: 54885
1086.79/1089.65 c #Conflicts: 827000 | #Constraints: 55886
1086.79/1089.65 c #Conflicts: 828000 | #Constraints: 56889
1086.79/1089.65 c INPROCESSING
1086.79/1089.65 c GARBAGE COLLECT
1086.79/1089.65 c rational objective 5
1120.11/1123.02 c #Conflicts: 829000 | #Constraints: 39843
1120.11/1123.02 c #Conflicts: 830000 | #Constraints: 40843
1120.11/1123.02 c #Conflicts: 831000 | #Constraints: 41843
1120.11/1123.02 c #Conflicts: 832000 | #Constraints: 42845
1120.11/1123.02 c #Conflicts: 833000 | #Constraints: 43846
1120.11/1123.02 c #Conflicts: 834000 | #Constraints: 44851
1120.11/1123.02 c #Conflicts: 835000 | #Constraints: 45862
1120.11/1123.02 c #Conflicts: 836000 | #Constraints: 46865
1120.11/1123.02 c #Conflicts: 837000 | #Constraints: 47867
1120.11/1123.02 c #Conflicts: 838000 | #Constraints: 48869
1120.11/1123.02 c #Conflicts: 839000 | #Constraints: 49869
1120.11/1123.02 c #Conflicts: 840000 | #Constraints: 50871
1120.11/1123.02 c #Conflicts: 841000 | #Constraints: 51872
1120.11/1123.02 c #Conflicts: 842000 | #Constraints: 52873
1120.11/1123.02 c #Conflicts: 843000 | #Constraints: 53874
1120.11/1123.02 c #Conflicts: 844000 | #Constraints: 54874
1120.11/1123.02 c #Conflicts: 845000 | #Constraints: 55876
1120.11/1123.02 c #Conflicts: 846000 | #Constraints: 56877
1120.11/1123.02 c INPROCESSING
1120.11/1123.02 c GARBAGE COLLECT
1120.11/1123.02 c rational objective 5
1154.71/1157.76 c #Conflicts: 847000 | #Constraints: 39534
1154.71/1157.76 c #Conflicts: 848000 | #Constraints: 40535
1154.71/1157.76 c #Conflicts: 849000 | #Constraints: 41536
1154.71/1157.76 c #Conflicts: 850000 | #Constraints: 42538
1154.71/1157.76 c #Conflicts: 851000 | #Constraints: 43544
1154.71/1157.76 c #Conflicts: 852000 | #Constraints: 44547
1154.71/1157.76 c #Conflicts: 853000 | #Constraints: 45548
1154.71/1157.76 c #Conflicts: 854000 | #Constraints: 46549
1154.71/1157.76 c #Conflicts: 855000 | #Constraints: 47550
1154.71/1157.76 c #Conflicts: 856000 | #Constraints: 48552
1154.71/1157.76 c #Conflicts: 857000 | #Constraints: 49554
1154.71/1157.76 c #Conflicts: 858000 | #Constraints: 50556
1154.71/1157.76 c #Conflicts: 859000 | #Constraints: 51557
1154.71/1157.76 c #Conflicts: 860000 | #Constraints: 52560
1154.71/1157.76 c #Conflicts: 861000 | #Constraints: 53561
1154.71/1157.76 c #Conflicts: 862000 | #Constraints: 54561
1154.71/1157.76 c #Conflicts: 863000 | #Constraints: 55561
1154.71/1157.76 c #Conflicts: 864000 | #Constraints: 56561
1154.71/1157.76 c #Conflicts: 865000 | #Constraints: 57561
1154.71/1157.76 c INPROCESSING
1154.71/1157.76 c GARBAGE COLLECT
1154.71/1157.76 c rational objective 5
1188.12/1191.28 c #Conflicts: 866000 | #Constraints: 40147
1188.12/1191.28 c #Conflicts: 867000 | #Constraints: 41149
1188.12/1191.28 c #Conflicts: 868000 | #Constraints: 42151
1188.12/1191.28 c #Conflicts: 869000 | #Constraints: 43152
1188.12/1191.28 c #Conflicts: 870000 | #Constraints: 44154
1188.12/1191.28 c #Conflicts: 871000 | #Constraints: 45157
1188.12/1191.28 c #Conflicts: 872000 | #Constraints: 46159
1188.12/1191.28 c #Conflicts: 873000 | #Constraints: 47167
1188.12/1191.28 c #Conflicts: 874000 | #Constraints: 48172
1188.12/1191.28 c #Conflicts: 875000 | #Constraints: 49173
1188.12/1191.28 c #Conflicts: 876000 | #Constraints: 50177
1188.12/1191.28 c #Conflicts: 877000 | #Constraints: 51181
1188.12/1191.28 c #Conflicts: 878000 | #Constraints: 52183
1188.12/1191.28 c #Conflicts: 879000 | #Constraints: 53185
1188.12/1191.28 c #Conflicts: 880000 | #Constraints: 54187
1188.12/1191.28 c #Conflicts: 881000 | #Constraints: 55187
1188.12/1191.28 c #Conflicts: 882000 | #Constraints: 56188
1188.12/1191.28 c #Conflicts: 883000 | #Constraints: 57188
1188.12/1191.28 c #Conflicts: 884000 | #Constraints: 58189
1188.12/1191.28 c INPROCESSING
1188.12/1191.28 c GARBAGE COLLECT
1188.12/1191.28 c rational objective 5
1227.92/1231.10 c #Conflicts: 885000 | #Constraints: 40556
1227.92/1231.10 c #Conflicts: 886000 | #Constraints: 41556
1227.92/1231.10 c #Conflicts: 887000 | #Constraints: 42558
1227.92/1231.10 c #Conflicts: 888000 | #Constraints: 43561
1227.92/1231.10 c #Conflicts: 889000 | #Constraints: 44564
1227.92/1231.10 c #Conflicts: 890000 | #Constraints: 45566
1227.92/1231.10 c #Conflicts: 891000 | #Constraints: 46568
1227.92/1231.10 c #Conflicts: 892000 | #Constraints: 47571
1227.92/1231.10 c #Conflicts: 893000 | #Constraints: 48574
1227.92/1231.10 c #Conflicts: 894000 | #Constraints: 49576
1227.92/1231.10 c #Conflicts: 895000 | #Constraints: 50579
1227.92/1231.10 c #Conflicts: 896000 | #Constraints: 51581
1227.92/1231.10 c #Conflicts: 897000 | #Constraints: 52583
1227.92/1231.10 c #Conflicts: 898000 | #Constraints: 53586
1227.92/1231.10 c #Conflicts: 899000 | #Constraints: 54589
1227.92/1231.10 c #Conflicts: 900000 | #Constraints: 55589
1227.92/1231.10 c #Conflicts: 901000 | #Constraints: 56590
1227.92/1231.10 c #Conflicts: 902000 | #Constraints: 57592
1227.92/1231.10 c #Conflicts: 903000 | #Constraints: 58593
1227.92/1231.10 c INPROCESSING
1227.92/1231.10 c GARBAGE COLLECT
1227.92/1231.10 c rational objective 5
1259.84/1263.17 c #Conflicts: 904000 | #Constraints: 40760
1259.84/1263.17 c #Conflicts: 905000 | #Constraints: 41760
1259.84/1263.17 c #Conflicts: 906000 | #Constraints: 42760
1259.84/1263.17 c #Conflicts: 907000 | #Constraints: 43761
1259.84/1263.17 c #Conflicts: 908000 | #Constraints: 44762
1259.84/1263.17 c #Conflicts: 909000 | #Constraints: 45764
1259.84/1263.17 c #Conflicts: 910000 | #Constraints: 46765
1259.84/1263.17 c #Conflicts: 911000 | #Constraints: 47765
1259.84/1263.17 c #Conflicts: 912000 | #Constraints: 48765
1259.84/1263.17 c #Conflicts: 913000 | #Constraints: 49767
1259.84/1263.17 c #Conflicts: 914000 | #Constraints: 50768
1259.84/1263.17 c #Conflicts: 915000 | #Constraints: 51769
1259.84/1263.17 c #Conflicts: 916000 | #Constraints: 52770
1259.84/1263.17 c #Conflicts: 917000 | #Constraints: 53770
1259.84/1263.17 c #Conflicts: 918000 | #Constraints: 54771
1259.84/1263.17 c #Conflicts: 919000 | #Constraints: 55773
1259.84/1263.17 c #Conflicts: 920000 | #Constraints: 56774
1259.84/1263.17 c #Conflicts: 921000 | #Constraints: 57775
1259.84/1263.17 c #Conflicts: 922000 | #Constraints: 58775
1259.84/1263.17 c INPROCESSING
1259.84/1263.17 c GARBAGE COLLECT
1259.84/1263.17 c rational objective 5
1290.26/1293.64 c #Conflicts: 923000 | #Constraints: 40708
1290.26/1293.64 c #Conflicts: 924000 | #Constraints: 41709
1290.26/1293.64 c #Conflicts: 925000 | #Constraints: 42709
1290.26/1293.64 c #Conflicts: 926000 | #Constraints: 43709
1290.26/1293.64 c #Conflicts: 927000 | #Constraints: 44711
1290.26/1293.64 c #Conflicts: 928000 | #Constraints: 45715
1290.26/1293.64 c #Conflicts: 929000 | #Constraints: 46720
1290.26/1293.64 c #Conflicts: 930000 | #Constraints: 47722
1290.26/1293.64 c #Conflicts: 931000 | #Constraints: 48722
1290.26/1293.64 c #Conflicts: 932000 | #Constraints: 49724
1290.26/1293.64 c #Conflicts: 933000 | #Constraints: 50725
1290.26/1293.64 c #Conflicts: 934000 | #Constraints: 51727
1290.26/1293.64 c #Conflicts: 935000 | #Constraints: 52728
1290.26/1293.64 c #Conflicts: 936000 | #Constraints: 53732
1290.26/1293.64 c #Conflicts: 937000 | #Constraints: 54735
1290.26/1293.64 c #Conflicts: 938000 | #Constraints: 55743
1290.26/1293.64 c #Conflicts: 939000 | #Constraints: 56745
1290.26/1293.64 c #Conflicts: 940000 | #Constraints: 57747
1290.26/1293.64 c #Conflicts: 941000 | #Constraints: 58748
1290.26/1293.64 c INPROCESSING
1290.26/1293.64 c GARBAGE COLLECT
1290.26/1293.64 c rational objective 5
1340.41/1343.95 c #Conflicts: 942000 | #Constraints: 40521
1340.41/1343.95 c #Conflicts: 943000 | #Constraints: 41522
1340.41/1343.95 c #Conflicts: 944000 | #Constraints: 42525
1340.41/1343.95 c #Conflicts: 945000 | #Constraints: 43530
1340.41/1343.95 c #Conflicts: 946000 | #Constraints: 44531
1340.41/1343.95 c #Conflicts: 947000 | #Constraints: 45534
1340.41/1343.95 c #Conflicts: 948000 | #Constraints: 46535
1340.41/1343.95 c #Conflicts: 949000 | #Constraints: 47537
1340.41/1343.95 c #Conflicts: 950000 | #Constraints: 48541
1340.41/1343.95 c #Conflicts: 951000 | #Constraints: 49546
1340.41/1343.95 c #Conflicts: 952000 | #Constraints: 50550
1340.41/1343.95 c #Conflicts: 953000 | #Constraints: 51554
1340.41/1343.95 c #Conflicts: 954000 | #Constraints: 52557
1340.41/1343.95 c #Conflicts: 955000 | #Constraints: 53560
1340.41/1343.95 c #Conflicts: 956000 | #Constraints: 54563
1340.41/1343.95 c #Conflicts: 957000 | #Constraints: 55566
1340.41/1343.95 c #Conflicts: 958000 | #Constraints: 56569
1340.41/1343.95 c #Conflicts: 959000 | #Constraints: 57573
1340.41/1343.95 c #Conflicts: 960000 | #Constraints: 58576
1340.41/1343.95 c #Conflicts: 961000 | #Constraints: 59580
1340.41/1343.95 c INPROCESSING
1340.41/1343.95 c GARBAGE COLLECT
1340.41/1343.95 c rational objective 5
1366.35/1370.00 c #Conflicts: 962000 | #Constraints: 41144
1366.35/1370.00 c #Conflicts: 963000 | #Constraints: 42144
1366.35/1370.00 c #Conflicts: 964000 | #Constraints: 43144
1366.35/1370.00 c #Conflicts: 965000 | #Constraints: 44145
1366.35/1370.00 c #Conflicts: 966000 | #Constraints: 45146
1366.35/1370.00 c #Conflicts: 967000 | #Constraints: 46149
1366.35/1370.00 c #Conflicts: 968000 | #Constraints: 47150
1366.35/1370.00 c #Conflicts: 969000 | #Constraints: 48151
1366.35/1370.00 c #Conflicts: 970000 | #Constraints: 49151
1366.35/1370.00 c #Conflicts: 971000 | #Constraints: 50151
1366.35/1370.00 c #Conflicts: 972000 | #Constraints: 51152
1366.35/1370.00 c #Conflicts: 973000 | #Constraints: 52152
1366.35/1370.00 c #Conflicts: 974000 | #Constraints: 53152
1366.35/1370.00 c #Conflicts: 975000 | #Constraints: 54153
1366.35/1370.00 c #Conflicts: 976000 | #Constraints: 55155
1366.35/1370.00 c #Conflicts: 977000 | #Constraints: 56157
1366.35/1370.00 c #Conflicts: 978000 | #Constraints: 57161
1366.35/1370.00 c #Conflicts: 979000 | #Constraints: 58164
1366.35/1370.00 c #Conflicts: 980000 | #Constraints: 59167
1366.35/1370.00 c #Conflicts: 981000 | #Constraints: 60168
1366.35/1370.00 c INPROCESSING
1366.35/1370.00 c GARBAGE COLLECT
1366.35/1370.00 c rational objective 5
1391.69/1395.38 c #Conflicts: 982000 | #Constraints: 41536
1391.69/1395.38 c #Conflicts: 983000 | #Constraints: 42536
1391.69/1395.38 c #Conflicts: 984000 | #Constraints: 43536
1391.69/1395.38 c #Conflicts: 985000 | #Constraints: 44536
1391.69/1395.38 c #Conflicts: 986000 | #Constraints: 45538
1391.69/1395.38 c #Conflicts: 987000 | #Constraints: 46540
1391.69/1395.38 c #Conflicts: 988000 | #Constraints: 47542
1391.69/1395.38 c #Conflicts: 989000 | #Constraints: 48543
1391.69/1395.38 c #Conflicts: 990000 | #Constraints: 49544
1391.69/1395.38 c #Conflicts: 991000 | #Constraints: 50544
1391.69/1395.38 c #Conflicts: 992000 | #Constraints: 51545
1391.69/1395.38 c #Conflicts: 993000 | #Constraints: 52546
1391.69/1395.38 c #Conflicts: 994000 | #Constraints: 53547
1391.69/1395.38 c #Conflicts: 995000 | #Constraints: 54547
1391.69/1395.38 c #Conflicts: 996000 | #Constraints: 55549
1391.69/1395.38 c #Conflicts: 997000 | #Constraints: 56549
1391.69/1395.38 c #Conflicts: 998000 | #Constraints: 57551
1391.69/1395.38 c #Conflicts: 999000 | #Constraints: 58552
1391.69/1395.38 c #Conflicts: 1000000 | #Constraints: 59552
1391.69/1395.38 c #Conflicts: 1001000 | #Constraints: 60553
1391.69/1395.38 c INPROCESSING
1391.69/1395.38 c GARBAGE COLLECT
1391.69/1395.38 c rational objective 5
1449.13/1452.93 c #Conflicts: 1002000 | #Constraints: 41707
1449.13/1452.93 c #Conflicts: 1003000 | #Constraints: 42707
1449.13/1452.93 c #Conflicts: 1004000 | #Constraints: 43709
1449.13/1452.93 c #Conflicts: 1005000 | #Constraints: 44712
1449.13/1452.93 c #Conflicts: 1006000 | #Constraints: 45715
1449.13/1452.93 c #Conflicts: 1007000 | #Constraints: 46717
1449.13/1452.93 c #Conflicts: 1008000 | #Constraints: 47718
1449.13/1452.93 c #Conflicts: 1009000 | #Constraints: 48720
1449.13/1452.93 c #Conflicts: 1010000 | #Constraints: 49721
1449.13/1452.93 c #Conflicts: 1011000 | #Constraints: 50722
1449.13/1452.93 c #Conflicts: 1012000 | #Constraints: 51725
1449.13/1452.93 c #Conflicts: 1013000 | #Constraints: 52727
1449.13/1452.93 c #Conflicts: 1014000 | #Constraints: 53728
1449.13/1452.93 c #Conflicts: 1015000 | #Constraints: 54733
1449.13/1452.93 c #Conflicts: 1016000 | #Constraints: 55735
1449.13/1452.93 c #Conflicts: 1017000 | #Constraints: 56737
1449.13/1452.93 c #Conflicts: 1018000 | #Constraints: 57740
1449.13/1452.93 c #Conflicts: 1019000 | #Constraints: 58741
1449.13/1452.93 c #Conflicts: 1020000 | #Constraints: 59743
1449.13/1452.93 c #Conflicts: 1021000 | #Constraints: 60744
1449.13/1452.93 c INPROCESSING
1449.13/1452.93 c GARBAGE COLLECT
1449.13/1452.93 c rational objective 5
1481.33/1485.25 c #Conflicts: 1022000 | #Constraints: 41693
1481.33/1485.25 c #Conflicts: 1023000 | #Constraints: 42693
1481.33/1485.25 c #Conflicts: 1024000 | #Constraints: 43693
1481.33/1485.25 c #Conflicts: 1025000 | #Constraints: 44694
1481.33/1485.25 c #Conflicts: 1026000 | #Constraints: 45694
1481.33/1485.25 c #Conflicts: 1027000 | #Constraints: 46694
1481.33/1485.25 c #Conflicts: 1028000 | #Constraints: 47694
1481.33/1485.25 c #Conflicts: 1029000 | #Constraints: 48694
1481.33/1485.25 c #Conflicts: 1030000 | #Constraints: 49695
1481.33/1485.25 c #Conflicts: 1031000 | #Constraints: 50696
1481.33/1485.25 c #Conflicts: 1032000 | #Constraints: 51696
1481.33/1485.25 c #Conflicts: 1033000 | #Constraints: 52696
1481.33/1485.25 c #Conflicts: 1034000 | #Constraints: 53696
1481.33/1485.25 c #Conflicts: 1035000 | #Constraints: 54696
1481.33/1485.25 c #Conflicts: 1036000 | #Constraints: 55696
1481.33/1485.25 c #Conflicts: 1037000 | #Constraints: 56696
1481.33/1485.25 c #Conflicts: 1038000 | #Constraints: 57696
1481.33/1485.25 c #Conflicts: 1039000 | #Constraints: 58696
1481.33/1485.25 c #Conflicts: 1040000 | #Constraints: 59696
1481.33/1485.25 c #Conflicts: 1041000 | #Constraints: 60696
1481.33/1485.25 c INPROCESSING
1481.33/1485.25 c GARBAGE COLLECT
1481.33/1485.25 c rational objective 5
1525.82/1529.84 c #Conflicts: 1042000 | #Constraints: 41506
1525.82/1529.84 c #Conflicts: 1043000 | #Constraints: 42507
1525.82/1529.84 c #Conflicts: 1044000 | #Constraints: 43507
1525.82/1529.84 c #Conflicts: 1045000 | #Constraints: 44508
1525.82/1529.84 c #Conflicts: 1046000 | #Constraints: 45509
1525.82/1529.84 c #Conflicts: 1047000 | #Constraints: 46510
1525.82/1529.84 c #Conflicts: 1048000 | #Constraints: 47511
1525.82/1529.84 c #Conflicts: 1049000 | #Constraints: 48512
1525.82/1529.84 c #Conflicts: 1050000 | #Constraints: 49512
1525.82/1529.84 c #Conflicts: 1051000 | #Constraints: 50513
1525.82/1529.84 c #Conflicts: 1052000 | #Constraints: 51514
1525.82/1529.84 c #Conflicts: 1053000 | #Constraints: 52516
1525.82/1529.84 c #Conflicts: 1054000 | #Constraints: 53517
1525.82/1529.84 c #Conflicts: 1055000 | #Constraints: 54518
1525.82/1529.84 c #Conflicts: 1056000 | #Constraints: 55518
1525.82/1529.84 c #Conflicts: 1057000 | #Constraints: 56518
1525.82/1529.84 c #Conflicts: 1058000 | #Constraints: 57520
1525.82/1529.84 c #Conflicts: 1059000 | #Constraints: 58521
1525.82/1529.84 c #Conflicts: 1060000 | #Constraints: 59521
1525.82/1529.84 c #Conflicts: 1061000 | #Constraints: 60523
1525.82/1529.84 c #Conflicts: 1062000 | #Constraints: 61524
1525.82/1529.84 c INPROCESSING
1525.82/1529.84 c GARBAGE COLLECT
1525.82/1529.84 c rational objective 5
1555.05/1559.16 c #Conflicts: 1063000 | #Constraints: 42148
1555.05/1559.16 c #Conflicts: 1064000 | #Constraints: 43148
1555.05/1559.16 c #Conflicts: 1065000 | #Constraints: 44148
1555.05/1559.16 c #Conflicts: 1066000 | #Constraints: 45148
1555.05/1559.16 c #Conflicts: 1067000 | #Constraints: 46149
1555.05/1559.16 c #Conflicts: 1068000 | #Constraints: 47149
1555.05/1559.16 c #Conflicts: 1069000 | #Constraints: 48150
1555.05/1559.16 c #Conflicts: 1070000 | #Constraints: 49154
1555.05/1559.16 c #Conflicts: 1071000 | #Constraints: 50155
1555.05/1559.16 c #Conflicts: 1072000 | #Constraints: 51158
1555.05/1559.16 c #Conflicts: 1073000 | #Constraints: 52162
1555.05/1559.16 c #Conflicts: 1074000 | #Constraints: 53163
1555.05/1559.16 c #Conflicts: 1075000 | #Constraints: 54165
1555.05/1559.16 c #Conflicts: 1076000 | #Constraints: 55167
1555.05/1559.16 c #Conflicts: 1077000 | #Constraints: 56168
1555.05/1559.16 c #Conflicts: 1078000 | #Constraints: 57169
1555.05/1559.16 c #Conflicts: 1079000 | #Constraints: 58170
1555.05/1559.16 c #Conflicts: 1080000 | #Constraints: 59170
1555.05/1559.16 c #Conflicts: 1081000 | #Constraints: 60171
1555.05/1559.16 c #Conflicts: 1082000 | #Constraints: 61172
1555.05/1559.16 c #Conflicts: 1083000 | #Constraints: 62173
1555.05/1559.16 c INPROCESSING
1555.05/1559.16 c GARBAGE COLLECT
1555.05/1559.16 c rational objective 5
1586.46/1590.65 c #Conflicts: 1084000 | #Constraints: 42532
1586.46/1590.65 c #Conflicts: 1085000 | #Constraints: 43532
1586.46/1590.65 c #Conflicts: 1086000 | #Constraints: 44532
1586.46/1590.65 c #Conflicts: 1087000 | #Constraints: 45533
1586.46/1590.65 c #Conflicts: 1088000 | #Constraints: 46534
1586.46/1590.65 c #Conflicts: 1089000 | #Constraints: 47535
1586.46/1590.65 c #Conflicts: 1090000 | #Constraints: 48535
1586.46/1590.65 c #Conflicts: 1091000 | #Constraints: 49536
1586.46/1590.65 c #Conflicts: 1092000 | #Constraints: 50536
1586.46/1590.65 c #Conflicts: 1093000 | #Constraints: 51537
1586.46/1590.65 c #Conflicts: 1094000 | #Constraints: 52537
1586.46/1590.65 c #Conflicts: 1095000 | #Constraints: 53538
1586.46/1590.65 c #Conflicts: 1096000 | #Constraints: 54538
1586.46/1590.65 c #Conflicts: 1097000 | #Constraints: 55538
1586.46/1590.65 c #Conflicts: 1098000 | #Constraints: 56538
1586.46/1590.65 c #Conflicts: 1099000 | #Constraints: 57538
1586.46/1590.65 c #Conflicts: 1100000 | #Constraints: 58539
1586.46/1590.65 c #Conflicts: 1101000 | #Constraints: 59539
1586.46/1590.65 c #Conflicts: 1102000 | #Constraints: 60539
1586.46/1590.65 c #Conflicts: 1103000 | #Constraints: 61541
1586.46/1590.65 c #Conflicts: 1104000 | #Constraints: 62541
1586.46/1590.65 c INPROCESSING
1586.46/1590.65 c GARBAGE COLLECT
1586.46/1590.65 c rational objective 5
1649.30/1653.67 c #Conflicts: 1105000 | #Constraints: 42747
1649.30/1653.67 c #Conflicts: 1106000 | #Constraints: 43747
1649.30/1653.67 c #Conflicts: 1107000 | #Constraints: 44748
1649.30/1653.67 c #Conflicts: 1108000 | #Constraints: 45751
1649.30/1653.67 c #Conflicts: 1109000 | #Constraints: 46755
1649.30/1653.67 c #Conflicts: 1110000 | #Constraints: 47757
1649.30/1653.67 c #Conflicts: 1111000 | #Constraints: 48761
1649.30/1653.67 c #Conflicts: 1112000 | #Constraints: 49763
1649.30/1653.67 c #Conflicts: 1113000 | #Constraints: 50768
1649.30/1653.67 c #Conflicts: 1114000 | #Constraints: 51771
1649.30/1653.67 c #Conflicts: 1115000 | #Constraints: 52773
1649.30/1653.67 c #Conflicts: 1116000 | #Constraints: 53775
1649.30/1653.67 c #Conflicts: 1117000 | #Constraints: 54777
1649.30/1653.67 c #Conflicts: 1118000 | #Constraints: 55778
1649.30/1653.67 c #Conflicts: 1119000 | #Constraints: 56779
1649.30/1653.67 c #Conflicts: 1120000 | #Constraints: 57782
1649.30/1653.67 c #Conflicts: 1121000 | #Constraints: 58783
1649.30/1653.67 c #Conflicts: 1122000 | #Constraints: 59784
1649.30/1653.67 c #Conflicts: 1123000 | #Constraints: 60787
1649.30/1653.67 c #Conflicts: 1124000 | #Constraints: 61789
1649.30/1653.67 c #Conflicts: 1125000 | #Constraints: 62790
1649.30/1653.67 c INPROCESSING
1649.30/1653.67 c GARBAGE COLLECT
1649.30/1653.67 c rational objective 5
1696.07/1700.50 c #Conflicts: 1126000 | #Constraints: 42693
1696.07/1700.50 c #Conflicts: 1127000 | #Constraints: 43694
1696.07/1700.50 c #Conflicts: 1128000 | #Constraints: 44695
1696.07/1700.50 c #Conflicts: 1129000 | #Constraints: 45696
1696.07/1700.50 c #Conflicts: 1130000 | #Constraints: 46697
1696.07/1700.50 c #Conflicts: 1131000 | #Constraints: 47698
1696.07/1700.50 c #Conflicts: 1132000 | #Constraints: 48701
1696.07/1700.50 c #Conflicts: 1133000 | #Constraints: 49704
1696.07/1700.50 c #Conflicts: 1134000 | #Constraints: 50707
1696.07/1700.50 c #Conflicts: 1135000 | #Constraints: 51707
1696.07/1700.50 c #Conflicts: 1136000 | #Constraints: 52707
1696.07/1700.50 c #Conflicts: 1137000 | #Constraints: 53709
1696.07/1700.50 c #Conflicts: 1138000 | #Constraints: 54709
1696.07/1700.50 c #Conflicts: 1139000 | #Constraints: 55709
1696.07/1700.50 c #Conflicts: 1140000 | #Constraints: 56711
1696.07/1700.50 c #Conflicts: 1141000 | #Constraints: 57712
1696.07/1700.50 c #Conflicts: 1142000 | #Constraints: 58713
1696.07/1700.50 c #Conflicts: 1143000 | #Constraints: 59713
1696.07/1700.50 c #Conflicts: 1144000 | #Constraints: 60714
1696.07/1700.50 c #Conflicts: 1145000 | #Constraints: 61716
1696.07/1700.50 c #Conflicts: 1146000 | #Constraints: 62717
1696.07/1700.50 c INPROCESSING
1696.07/1700.50 c GARBAGE COLLECT
1696.07/1700.50 c rational objective 5
1746.04/1750.65 c #Conflicts: 1147000 | #Constraints: 42406
1746.04/1750.65 c #Conflicts: 1148000 | #Constraints: 43406
1746.04/1750.65 c #Conflicts: 1149000 | #Constraints: 44406
1746.04/1750.65 c #Conflicts: 1150000 | #Constraints: 45407
1746.04/1750.65 c #Conflicts: 1151000 | #Constraints: 46410
1746.04/1750.65 c #Conflicts: 1152000 | #Constraints: 47411
1746.04/1750.65 c #Conflicts: 1153000 | #Constraints: 48412
1746.04/1750.65 c #Conflicts: 1154000 | #Constraints: 49415
1746.04/1750.65 c #Conflicts: 1155000 | #Constraints: 50416
1746.04/1750.65 c #Conflicts: 1156000 | #Constraints: 51417
1746.04/1750.65 c #Conflicts: 1157000 | #Constraints: 52418
1746.04/1750.65 c #Conflicts: 1158000 | #Constraints: 53420
1746.04/1750.65 c #Conflicts: 1159000 | #Constraints: 54420
1746.04/1750.65 c #Conflicts: 1160000 | #Constraints: 55421
1746.04/1750.65 c #Conflicts: 1161000 | #Constraints: 56423
1746.04/1750.65 c #Conflicts: 1162000 | #Constraints: 57425
1746.04/1750.65 c #Conflicts: 1163000 | #Constraints: 58426
1746.04/1750.65 c #Conflicts: 1164000 | #Constraints: 59426
1746.04/1750.65 c #Conflicts: 1165000 | #Constraints: 60427
1746.04/1750.65 c #Conflicts: 1166000 | #Constraints: 61429
1746.04/1750.65 c #Conflicts: 1167000 | #Constraints: 62430
1746.04/1750.65 c #Conflicts: 1168000 | #Constraints: 63431
1746.04/1750.65 c INPROCESSING
1746.04/1750.65 c GARBAGE COLLECT
1746.04/1750.65 c rational objective 5
1783.25/1787.93 c #Conflicts: 1169000 | #Constraints: 42881
1783.25/1787.93 c #Conflicts: 1170000 | #Constraints: 43881
1783.25/1787.93 c #Conflicts: 1171000 | #Constraints: 44881
1783.25/1787.93 c #Conflicts: 1172000 | #Constraints: 45883
1783.25/1787.93 c #Conflicts: 1173000 | #Constraints: 46887
1783.25/1787.93 c #Conflicts: 1174000 | #Constraints: 47889
1783.25/1787.93 c #Conflicts: 1175000 | #Constraints: 48893
1783.25/1787.93 c #Conflicts: 1176000 | #Constraints: 49895
1783.25/1787.93 c #Conflicts: 1177000 | #Constraints: 50899
1783.25/1787.93 c #Conflicts: 1178000 | #Constraints: 51904
1783.25/1787.93 c #Conflicts: 1179000 | #Constraints: 52907
1783.25/1787.93 c #Conflicts: 1180000 | #Constraints: 53918
1783.25/1787.93 c #Conflicts: 1181000 | #Constraints: 54920
1783.25/1787.93 c #Conflicts: 1182000 | #Constraints: 55923
1783.25/1787.93 c #Conflicts: 1183000 | #Constraints: 56927
1783.25/1787.93 c #Conflicts: 1184000 | #Constraints: 57930
1783.25/1787.93 c #Conflicts: 1185000 | #Constraints: 58932
1783.25/1787.93 c #Conflicts: 1186000 | #Constraints: 59933
1783.25/1787.93 c #Conflicts: 1187000 | #Constraints: 60934
1783.25/1787.93 c #Conflicts: 1188000 | #Constraints: 61935
1783.25/1787.93 c #Conflicts: 1189000 | #Constraints: 62936
1783.25/1787.93 c #Conflicts: 1190000 | #Constraints: 63936
1783.25/1787.93 c INPROCESSING
1783.25/1787.93 c GARBAGE COLLECT
1783.25/1787.93 c rational objective 5
1834.00/1838.83 c #Conflicts: 1191000 | #Constraints: 43197
1834.00/1838.83 c #Conflicts: 1192000 | #Constraints: 44197
1834.00/1838.83 c #Conflicts: 1193000 | #Constraints: 45197
1834.00/1838.83 c #Conflicts: 1194000 | #Constraints: 46198
1834.00/1838.83 c #Conflicts: 1195000 | #Constraints: 47201
1834.00/1838.83 c #Conflicts: 1196000 | #Constraints: 48204
1834.00/1838.83 c #Conflicts: 1197000 | #Constraints: 49205
1834.00/1838.83 c #Conflicts: 1198000 | #Constraints: 50207
1834.00/1838.83 c #Conflicts: 1199000 | #Constraints: 51211
1834.00/1838.83 c #Conflicts: 1200000 | #Constraints: 52211
1834.00/1838.83 c #Conflicts: 1201000 | #Constraints: 53213
1834.00/1838.83 c #Conflicts: 1202000 | #Constraints: 54214
1834.00/1838.83 c #Conflicts: 1203000 | #Constraints: 55215
1834.00/1838.83 c #Conflicts: 1204000 | #Constraints: 56216
1834.00/1838.83 c #Conflicts: 1205000 | #Constraints: 57216
1834.00/1838.83 c #Conflicts: 1206000 | #Constraints: 58217
1834.00/1838.83 c #Conflicts: 1207000 | #Constraints: 59219
1834.00/1838.83 c #Conflicts: 1208000 | #Constraints: 60219
1834.00/1838.83 c #Conflicts: 1209000 | #Constraints: 61221
1834.00/1838.83 c #Conflicts: 1210000 | #Constraints: 62224
1834.00/1838.83 c #Conflicts: 1211000 | #Constraints: 63224
1834.00/1838.83 c #Conflicts: 1212000 | #Constraints: 64225
1834.00/1838.83 c INPROCESSING
1834.00/1838.83 c GARBAGE COLLECT
1834.00/1838.83 c rational objective 5
1865.52/1870.41 c #Conflicts: 1213000 | #Constraints: 43378
1865.52/1870.41 c #Conflicts: 1214000 | #Constraints: 44378
1865.52/1870.41 c #Conflicts: 1215000 | #Constraints: 45380
1865.52/1870.41 c #Conflicts: 1216000 | #Constraints: 46382
1865.52/1870.41 c #Conflicts: 1217000 | #Constraints: 47384
1865.52/1870.41 c #Conflicts: 1218000 | #Constraints: 48385
1865.52/1870.41 c #Conflicts: 1219000 | #Constraints: 49386
1865.52/1870.41 c #Conflicts: 1220000 | #Constraints: 50387
1865.52/1870.41 c #Conflicts: 1221000 | #Constraints: 51387
1865.52/1870.41 c #Conflicts: 1222000 | #Constraints: 52388
1865.52/1870.41 c #Conflicts: 1223000 | #Constraints: 53388
1865.52/1870.41 c #Conflicts: 1224000 | #Constraints: 54388
1865.52/1870.41 c #Conflicts: 1225000 | #Constraints: 55388
1865.52/1870.41 c #Conflicts: 1226000 | #Constraints: 56389
1865.52/1870.41 c #Conflicts: 1227000 | #Constraints: 57390
1865.52/1870.41 c #Conflicts: 1228000 | #Constraints: 58391
1865.52/1870.41 c #Conflicts: 1229000 | #Constraints: 59391
1865.52/1870.41 c #Conflicts: 1230000 | #Constraints: 60392
1865.52/1870.41 c #Conflicts: 1231000 | #Constraints: 61393
1865.52/1870.41 c #Conflicts: 1232000 | #Constraints: 62393
1865.52/1870.41 c #Conflicts: 1233000 | #Constraints: 63394
1865.52/1870.41 c #Conflicts: 1234000 | #Constraints: 64395
1865.52/1870.41 c INPROCESSING
1865.52/1870.41 c GARBAGE COLLECT
1865.52/1870.41 c rational objective 5
1912.70/1917.75 c #Conflicts: 1235000 | #Constraints: 43316
1912.70/1917.75 c #Conflicts: 1236000 | #Constraints: 44317
1912.70/1917.75 c #Conflicts: 1237000 | #Constraints: 45317
1912.70/1917.75 c #Conflicts: 1238000 | #Constraints: 46322
1912.70/1917.75 c #Conflicts: 1239000 | #Constraints: 47326
1912.70/1917.75 c #Conflicts: 1240000 | #Constraints: 48331
1912.70/1917.75 c #Conflicts: 1241000 | #Constraints: 49334
1912.70/1917.75 c #Conflicts: 1242000 | #Constraints: 50337
1912.70/1917.75 c #Conflicts: 1243000 | #Constraints: 51340
1912.70/1917.75 c #Conflicts: 1244000 | #Constraints: 52341
1912.70/1917.75 c #Conflicts: 1245000 | #Constraints: 53344
1912.70/1917.75 c #Conflicts: 1246000 | #Constraints: 54345
1912.70/1917.75 c #Conflicts: 1247000 | #Constraints: 55347
1912.70/1917.75 c #Conflicts: 1248000 | #Constraints: 56351
1912.70/1917.75 c #Conflicts: 1249000 | #Constraints: 57355
1912.70/1917.75 c #Conflicts: 1250000 | #Constraints: 58356
1912.70/1917.75 c #Conflicts: 1251000 | #Constraints: 59358
1912.70/1917.75 c #Conflicts: 1252000 | #Constraints: 60360
1912.70/1917.75 c #Conflicts: 1253000 | #Constraints: 61360
1912.70/1917.75 c #Conflicts: 1254000 | #Constraints: 62360
1912.70/1917.75 c #Conflicts: 1255000 | #Constraints: 63360
1912.70/1917.75 c #Conflicts: 1256000 | #Constraints: 64361
1912.70/1917.75 c INPROCESSING
1912.70/1917.75 c GARBAGE COLLECT
1912.70/1917.75 c rational objective 5
1951.49/1956.61 c #Conflicts: 1257000 | #Constraints: 43071
1951.49/1956.61 c #Conflicts: 1258000 | #Constraints: 44072
1951.49/1956.61 c #Conflicts: 1259000 | #Constraints: 45072
1951.49/1956.61 c #Conflicts: 1260000 | #Constraints: 46072
1951.49/1956.61 c #Conflicts: 1261000 | #Constraints: 47074
1951.49/1956.61 c #Conflicts: 1262000 | #Constraints: 48075
1951.49/1956.61 c #Conflicts: 1263000 | #Constraints: 49077
1951.49/1956.61 c #Conflicts: 1264000 | #Constraints: 50081
1951.49/1956.61 c #Conflicts: 1265000 | #Constraints: 51085
1951.49/1956.61 c #Conflicts: 1266000 | #Constraints: 52087
1951.49/1956.61 c #Conflicts: 1267000 | #Constraints: 53088
1951.49/1956.61 c #Conflicts: 1268000 | #Constraints: 54090
1951.49/1956.61 c #Conflicts: 1269000 | #Constraints: 55091
1951.49/1956.61 c #Conflicts: 1270000 | #Constraints: 56094
1951.49/1956.61 c #Conflicts: 1271000 | #Constraints: 57094
1951.49/1956.61 c #Conflicts: 1272000 | #Constraints: 58096
1951.49/1956.61 c #Conflicts: 1273000 | #Constraints: 59097
1951.49/1956.61 c #Conflicts: 1274000 | #Constraints: 60099
1951.49/1956.61 c #Conflicts: 1275000 | #Constraints: 61100
1951.49/1956.61 c #Conflicts: 1276000 | #Constraints: 62100
1951.49/1956.61 c #Conflicts: 1277000 | #Constraints: 63100
1951.49/1956.61 c #Conflicts: 1278000 | #Constraints: 64100
1951.49/1956.61 c #Conflicts: 1279000 | #Constraints: 65101
1951.49/1956.61 c INPROCESSING
1951.49/1956.61 c GARBAGE COLLECT
1951.49/1956.61 c rational objective 5
1988.79/1994.00 c #Conflicts: 1280000 | #Constraints: 43630
1988.79/1994.00 c #Conflicts: 1281000 | #Constraints: 44630
1988.79/1994.00 c #Conflicts: 1282000 | #Constraints: 45630
1988.79/1994.00 c #Conflicts: 1283000 | #Constraints: 46632
1988.79/1994.00 c #Conflicts: 1284000 | #Constraints: 47639
1988.79/1994.00 c #Conflicts: 1285000 | #Constraints: 48640
1988.79/1994.00 c #Conflicts: 1286000 | #Constraints: 49640
1988.79/1994.00 c #Conflicts: 1287000 | #Constraints: 50641
1988.79/1994.00 c #Conflicts: 1288000 | #Constraints: 51644
1988.79/1994.00 c #Conflicts: 1289000 | #Constraints: 52646
1988.79/1994.00 c #Conflicts: 1290000 | #Constraints: 53648
1988.79/1994.00 c #Conflicts: 1291000 | #Constraints: 54649
1988.79/1994.00 c #Conflicts: 1292000 | #Constraints: 55651
1988.79/1994.00 c #Conflicts: 1293000 | #Constraints: 56651
1988.79/1994.00 c #Conflicts: 1294000 | #Constraints: 57652
1988.79/1994.00 c #Conflicts: 1295000 | #Constraints: 58653
1988.79/1994.00 c #Conflicts: 1296000 | #Constraints: 59654
1988.79/1994.00 c #Conflicts: 1297000 | #Constraints: 60654
1988.79/1994.00 c #Conflicts: 1298000 | #Constraints: 61654
1988.79/1994.00 c #Conflicts: 1299000 | #Constraints: 62654
1988.79/1994.00 c #Conflicts: 1300000 | #Constraints: 63654
1988.79/1994.00 c #Conflicts: 1301000 | #Constraints: 64654
1988.79/1994.00 c #Conflicts: 1302000 | #Constraints: 65654
1988.79/1994.00 c INPROCESSING
1988.79/1994.00 c GARBAGE COLLECT
1988.79/1994.00 c rational objective 5
2035.66/2041.02 c #Conflicts: 1303000 | #Constraints: 44022
2035.66/2041.02 c #Conflicts: 1304000 | #Constraints: 45022
2035.66/2041.02 c #Conflicts: 1305000 | #Constraints: 46024
2035.66/2041.02 c #Conflicts: 1306000 | #Constraints: 47026
2035.66/2041.02 c #Conflicts: 1307000 | #Constraints: 48026
2035.66/2041.02 c #Conflicts: 1308000 | #Constraints: 49029
2035.66/2041.02 c #Conflicts: 1309000 | #Constraints: 50033
2035.66/2041.02 c #Conflicts: 1310000 | #Constraints: 51035
2035.66/2041.02 c #Conflicts: 1311000 | #Constraints: 52039
2035.66/2041.02 c #Conflicts: 1312000 | #Constraints: 53040
2035.66/2041.02 c #Conflicts: 1313000 | #Constraints: 54041
2035.66/2041.02 c #Conflicts: 1314000 | #Constraints: 55041
2035.66/2041.02 c #Conflicts: 1315000 | #Constraints: 56043
2035.66/2041.02 c #Conflicts: 1316000 | #Constraints: 57043
2035.66/2041.02 c #Conflicts: 1317000 | #Constraints: 58044
2035.66/2041.02 c #Conflicts: 1318000 | #Constraints: 59045
2035.66/2041.02 c #Conflicts: 1319000 | #Constraints: 60045
2035.66/2041.02 c #Conflicts: 1320000 | #Constraints: 61046
2035.66/2041.02 c #Conflicts: 1321000 | #Constraints: 62046
2035.66/2041.02 c #Conflicts: 1322000 | #Constraints: 63047
2035.66/2041.02 c #Conflicts: 1323000 | #Constraints: 64047
2035.66/2041.02 c #Conflicts: 1324000 | #Constraints: 65047
2035.66/2041.02 c #Conflicts: 1325000 | #Constraints: 66047
2035.66/2041.02 c INPROCESSING
2035.66/2041.02 c GARBAGE COLLECT
2035.66/2041.02 c rational objective 5
2099.19/2104.79 c #Conflicts: 1326000 | #Constraints: 44255
2099.19/2104.79 c #Conflicts: 1327000 | #Constraints: 45256
2099.19/2104.79 c #Conflicts: 1328000 | #Constraints: 46263
2099.19/2104.79 c #Conflicts: 1329000 | #Constraints: 47268
2099.19/2104.79 c #Conflicts: 1330000 | #Constraints: 48273
2099.19/2104.79 c #Conflicts: 1331000 | #Constraints: 49277
2099.19/2104.79 c #Conflicts: 1332000 | #Constraints: 50283
2099.19/2104.79 c #Conflicts: 1333000 | #Constraints: 51287
2099.19/2104.79 c #Conflicts: 1334000 | #Constraints: 52289
2099.19/2104.79 c #Conflicts: 1335000 | #Constraints: 53292
2099.19/2104.79 c #Conflicts: 1336000 | #Constraints: 54292
2099.19/2104.79 c #Conflicts: 1337000 | #Constraints: 55294
2099.19/2104.79 c #Conflicts: 1338000 | #Constraints: 56300
2099.19/2104.79 c #Conflicts: 1339000 | #Constraints: 57305
2099.19/2104.79 c #Conflicts: 1340000 | #Constraints: 58306
2099.19/2104.79 c #Conflicts: 1341000 | #Constraints: 59306
2099.19/2104.79 c #Conflicts: 1342000 | #Constraints: 60306
2099.19/2104.79 c #Conflicts: 1343000 | #Constraints: 61307
2099.19/2104.79 c #Conflicts: 1344000 | #Constraints: 62308
2099.19/2104.79 c #Conflicts: 1345000 | #Constraints: 63308
2099.19/2104.79 c #Conflicts: 1346000 | #Constraints: 64308
2099.19/2104.79 c #Conflicts: 1347000 | #Constraints: 65308
2099.19/2104.79 c #Conflicts: 1348000 | #Constraints: 66310
2099.19/2104.79 c INPROCESSING
2099.19/2104.79 c GARBAGE COLLECT
2099.19/2104.79 c rational objective 5
2145.27/2150.92 c #Conflicts: 1349000 | #Constraints: 44256
2145.27/2150.92 c #Conflicts: 1350000 | #Constraints: 45256
2145.27/2150.92 c #Conflicts: 1351000 | #Constraints: 46257
2145.27/2150.92 c #Conflicts: 1352000 | #Constraints: 47261
2145.27/2150.92 c #Conflicts: 1353000 | #Constraints: 48267
2145.27/2150.92 c #Conflicts: 1354000 | #Constraints: 49270
2145.27/2150.92 c #Conflicts: 1355000 | #Constraints: 50271
2145.27/2150.92 c #Conflicts: 1356000 | #Constraints: 51273
2145.27/2150.92 c #Conflicts: 1357000 | #Constraints: 52278
2145.27/2150.92 c #Conflicts: 1358000 | #Constraints: 53285
2145.27/2150.92 c #Conflicts: 1359000 | #Constraints: 54288
2145.27/2150.92 c #Conflicts: 1360000 | #Constraints: 55290
2145.27/2150.92 c #Conflicts: 1361000 | #Constraints: 56290
2145.27/2150.92 c #Conflicts: 1362000 | #Constraints: 57295
2145.27/2150.92 c #Conflicts: 1363000 | #Constraints: 58299
2145.27/2150.92 c #Conflicts: 1364000 | #Constraints: 59300
2145.27/2150.92 c #Conflicts: 1365000 | #Constraints: 60301
2145.27/2150.92 c #Conflicts: 1366000 | #Constraints: 61304
2145.27/2150.92 c #Conflicts: 1367000 | #Constraints: 62313
2145.27/2150.92 c #Conflicts: 1368000 | #Constraints: 63315
2145.27/2150.92 c #Conflicts: 1369000 | #Constraints: 64318
2145.27/2150.92 c #Conflicts: 1370000 | #Constraints: 65321
2145.27/2150.92 c #Conflicts: 1371000 | #Constraints: 66321
2145.27/2150.92 c INPROCESSING
2145.27/2150.92 c GARBAGE COLLECT
2145.27/2150.92 c rational objective 5
2192.42/2198.21 c #Conflicts: 1372000 | #Constraints: 43908
2192.42/2198.21 c #Conflicts: 1373000 | #Constraints: 44909
2192.42/2198.21 c #Conflicts: 1374000 | #Constraints: 45909
2192.42/2198.21 c #Conflicts: 1375000 | #Constraints: 46918
2192.42/2198.21 c #Conflicts: 1376000 | #Constraints: 47921
2192.42/2198.21 c #Conflicts: 1377000 | #Constraints: 48924
2192.42/2198.21 c #Conflicts: 1378000 | #Constraints: 49927
2192.42/2198.21 c #Conflicts: 1379000 | #Constraints: 50930
2192.42/2198.21 c #Conflicts: 1380000 | #Constraints: 51932
2192.42/2198.21 c #Conflicts: 1381000 | #Constraints: 52935
2192.42/2198.21 c #Conflicts: 1382000 | #Constraints: 53938
2192.42/2198.21 c #Conflicts: 1383000 | #Constraints: 54940
2192.42/2198.21 c #Conflicts: 1384000 | #Constraints: 55942
2192.42/2198.21 c #Conflicts: 1385000 | #Constraints: 56944
2192.42/2198.21 c #Conflicts: 1386000 | #Constraints: 57946
2192.42/2198.21 c #Conflicts: 1387000 | #Constraints: 58950
2192.42/2198.21 c #Conflicts: 1388000 | #Constraints: 59952
2192.42/2198.21 c #Conflicts: 1389000 | #Constraints: 60959
2192.42/2198.21 c #Conflicts: 1390000 | #Constraints: 61963
2192.42/2198.21 c #Conflicts: 1391000 | #Constraints: 62966
2192.42/2198.21 c #Conflicts: 1392000 | #Constraints: 63968
2192.42/2198.21 c #Conflicts: 1393000 | #Constraints: 64971
2192.42/2198.21 c #Conflicts: 1394000 | #Constraints: 65975
2192.42/2198.21 c #Conflicts: 1395000 | #Constraints: 66976
2192.42/2198.21 c INPROCESSING
2192.42/2198.21 c GARBAGE COLLECT
2192.42/2198.21 c rational objective 5
2244.68/2250.65 c #Conflicts: 1396000 | #Constraints: 44507
2244.68/2250.65 c #Conflicts: 1397000 | #Constraints: 45508
2244.68/2250.65 c #Conflicts: 1398000 | #Constraints: 46510
2244.68/2250.65 c #Conflicts: 1399000 | #Constraints: 47512
2244.68/2250.65 c #Conflicts: 1400000 | #Constraints: 48513
2244.68/2250.65 c #Conflicts: 1401000 | #Constraints: 49514
2244.68/2250.65 c #Conflicts: 1402000 | #Constraints: 50515
2244.68/2250.65 c #Conflicts: 1403000 | #Constraints: 51516
2244.68/2250.65 c #Conflicts: 1404000 | #Constraints: 52516
2244.68/2250.65 c #Conflicts: 1405000 | #Constraints: 53516
2244.68/2250.65 c #Conflicts: 1406000 | #Constraints: 54517
2244.68/2250.65 c #Conflicts: 1407000 | #Constraints: 55518
2244.68/2250.65 c #Conflicts: 1408000 | #Constraints: 56519
2244.68/2250.65 c #Conflicts: 1409000 | #Constraints: 57520
2244.68/2250.65 c #Conflicts: 1410000 | #Constraints: 58521
2244.68/2250.65 c #Conflicts: 1411000 | #Constraints: 59521
2244.68/2250.65 c #Conflicts: 1412000 | #Constraints: 60522
2244.68/2250.65 c #Conflicts: 1413000 | #Constraints: 61523
2244.68/2250.65 c #Conflicts: 1414000 | #Constraints: 62524
2244.68/2250.65 c #Conflicts: 1415000 | #Constraints: 63525
2244.68/2250.65 c #Conflicts: 1416000 | #Constraints: 64526
2244.68/2250.65 c #Conflicts: 1417000 | #Constraints: 65527
2244.68/2250.65 c #Conflicts: 1418000 | #Constraints: 66527
2244.68/2250.65 c #Conflicts: 1419000 | #Constraints: 67528
2244.68/2250.65 c INPROCESSING
2244.68/2250.65 c GARBAGE COLLECT
2244.68/2250.65 c rational objective 5
2296.93/2303.07 c #Conflicts: 1420000 | #Constraints: 44929
2296.93/2303.07 c #Conflicts: 1421000 | #Constraints: 45929
2296.93/2303.07 c #Conflicts: 1422000 | #Constraints: 46932
2296.93/2303.07 c #Conflicts: 1423000 | #Constraints: 47936
2296.93/2303.07 c #Conflicts: 1424000 | #Constraints: 48937
2296.93/2303.07 c #Conflicts: 1425000 | #Constraints: 49940
2296.93/2303.07 c #Conflicts: 1426000 | #Constraints: 50941
2296.93/2303.07 c #Conflicts: 1427000 | #Constraints: 51942
2296.93/2303.07 c #Conflicts: 1428000 | #Constraints: 52943
2296.93/2303.07 c #Conflicts: 1429000 | #Constraints: 53945
2296.93/2303.07 c #Conflicts: 1430000 | #Constraints: 54947
2296.93/2303.07 c #Conflicts: 1431000 | #Constraints: 55949
2296.93/2303.07 c #Conflicts: 1432000 | #Constraints: 56950
2296.93/2303.07 c #Conflicts: 1433000 | #Constraints: 57952
2296.93/2303.07 c #Conflicts: 1434000 | #Constraints: 58952
2296.93/2303.07 c #Conflicts: 1435000 | #Constraints: 59954
2296.93/2303.07 c #Conflicts: 1436000 | #Constraints: 60955
2296.93/2303.07 c #Conflicts: 1437000 | #Constraints: 61956
2296.93/2303.07 c #Conflicts: 1438000 | #Constraints: 62956
2296.93/2303.07 c #Conflicts: 1439000 | #Constraints: 63957
2296.93/2303.07 c #Conflicts: 1440000 | #Constraints: 64959
2296.93/2303.07 c #Conflicts: 1441000 | #Constraints: 65960
2296.93/2303.07 c #Conflicts: 1442000 | #Constraints: 66960
2296.93/2303.07 c #Conflicts: 1443000 | #Constraints: 67960
2296.93/2303.07 c INPROCESSING
2296.93/2303.07 c GARBAGE COLLECT
2296.93/2303.07 c rational objective 5
2356.36/2362.62 c #Conflicts: 1444000 | #Constraints: 45083
2356.36/2362.62 c #Conflicts: 1445000 | #Constraints: 46083
2356.36/2362.62 c #Conflicts: 1446000 | #Constraints: 47084
2356.36/2362.62 c #Conflicts: 1447000 | #Constraints: 48086
2356.36/2362.62 c #Conflicts: 1448000 | #Constraints: 49089
2356.36/2362.62 c #Conflicts: 1449000 | #Constraints: 50091
2356.36/2362.62 c #Conflicts: 1450000 | #Constraints: 51094
2356.36/2362.62 c #Conflicts: 1451000 | #Constraints: 52097
2356.36/2362.62 c #Conflicts: 1452000 | #Constraints: 53098
2356.36/2362.62 c #Conflicts: 1453000 | #Constraints: 54099
2356.36/2362.62 c #Conflicts: 1454000 | #Constraints: 55101
2356.36/2362.62 c #Conflicts: 1455000 | #Constraints: 56102
2356.36/2362.62 c #Conflicts: 1456000 | #Constraints: 57102
2356.36/2362.62 c #Conflicts: 1457000 | #Constraints: 58103
2356.36/2362.62 c #Conflicts: 1458000 | #Constraints: 59103
2356.36/2362.62 c #Conflicts: 1459000 | #Constraints: 60104
2356.36/2362.62 c #Conflicts: 1460000 | #Constraints: 61104
2356.36/2362.62 c #Conflicts: 1461000 | #Constraints: 62104
2356.36/2362.62 c #Conflicts: 1462000 | #Constraints: 63105
2356.36/2362.62 c #Conflicts: 1463000 | #Constraints: 64108
2356.36/2362.62 c #Conflicts: 1464000 | #Constraints: 65109
2356.36/2362.62 c #Conflicts: 1465000 | #Constraints: 66110
2356.36/2362.62 c #Conflicts: 1466000 | #Constraints: 67111
2356.36/2362.62 c #Conflicts: 1467000 | #Constraints: 68113
2356.36/2362.62 c INPROCESSING
2356.36/2362.62 c GARBAGE COLLECT
2356.36/2362.62 c rational objective 5
2409.51/2415.95 c #Conflicts: 1468000 | #Constraints: 45094
2409.51/2415.95 c #Conflicts: 1469000 | #Constraints: 46094
2409.51/2415.95 c #Conflicts: 1470000 | #Constraints: 47094
2409.51/2415.95 c #Conflicts: 1471000 | #Constraints: 48095
2409.51/2415.95 c #Conflicts: 1472000 | #Constraints: 49096
2409.51/2415.95 c #Conflicts: 1473000 | #Constraints: 50098
2409.51/2415.95 c #Conflicts: 1474000 | #Constraints: 51102
2409.51/2415.95 c #Conflicts: 1475000 | #Constraints: 52103
2409.51/2415.95 c #Conflicts: 1476000 | #Constraints: 53104
2409.51/2415.95 c #Conflicts: 1477000 | #Constraints: 54105
2409.51/2415.95 c #Conflicts: 1478000 | #Constraints: 55106
2409.51/2415.95 c #Conflicts: 1479000 | #Constraints: 56106
2409.51/2415.95 c #Conflicts: 1480000 | #Constraints: 57107
2409.51/2415.95 c #Conflicts: 1481000 | #Constraints: 58107
2409.51/2415.95 c #Conflicts: 1482000 | #Constraints: 59108
2409.51/2415.95 c #Conflicts: 1483000 | #Constraints: 60112
2409.51/2415.95 c #Conflicts: 1484000 | #Constraints: 61113
2409.51/2415.95 c #Conflicts: 1485000 | #Constraints: 62115
2409.51/2415.95 c #Conflicts: 1486000 | #Constraints: 63115
2409.51/2415.95 c #Conflicts: 1487000 | #Constraints: 64116
2409.51/2415.95 c #Conflicts: 1488000 | #Constraints: 65117
2409.51/2415.95 c #Conflicts: 1489000 | #Constraints: 66117
2409.51/2415.95 c #Conflicts: 1490000 | #Constraints: 67120
2409.51/2415.95 c #Conflicts: 1491000 | #Constraints: 68121
2409.51/2415.95 c INPROCESSING
2409.51/2415.95 c GARBAGE COLLECT
2409.51/2415.95 c rational objective 5
2468.63/2475.28 c #Conflicts: 1492000 | #Constraints: 44804
2468.63/2475.28 c #Conflicts: 1493000 | #Constraints: 45805
2468.63/2475.28 c #Conflicts: 1494000 | #Constraints: 46805
2468.63/2475.28 c #Conflicts: 1495000 | #Constraints: 47805
2468.63/2475.28 c #Conflicts: 1496000 | #Constraints: 48807
2468.63/2475.28 c #Conflicts: 1497000 | #Constraints: 49811
2468.63/2475.28 c #Conflicts: 1498000 | #Constraints: 50815
2468.63/2475.28 c #Conflicts: 1499000 | #Constraints: 51816
2468.63/2475.28 c #Conflicts: 1500000 | #Constraints: 52819
2468.63/2475.28 c #Conflicts: 1501000 | #Constraints: 53820
2468.63/2475.28 c #Conflicts: 1502000 | #Constraints: 54820
2468.63/2475.28 c #Conflicts: 1503000 | #Constraints: 55821
2468.63/2475.28 c #Conflicts: 1504000 | #Constraints: 56823
2468.63/2475.28 c #Conflicts: 1505000 | #Constraints: 57824
2468.63/2475.28 c #Conflicts: 1506000 | #Constraints: 58825
2468.63/2475.28 c #Conflicts: 1507000 | #Constraints: 59826
2468.63/2475.28 c #Conflicts: 1508000 | #Constraints: 60827
2468.63/2475.28 c #Conflicts: 1509000 | #Constraints: 61828
2468.63/2475.28 c #Conflicts: 1510000 | #Constraints: 62829
2468.63/2475.28 c #Conflicts: 1511000 | #Constraints: 63829
2468.63/2475.28 c #Conflicts: 1512000 | #Constraints: 64830
2468.63/2475.28 c #Conflicts: 1513000 | #Constraints: 65831
2468.63/2475.28 c #Conflicts: 1514000 | #Constraints: 66833
2468.63/2475.28 c #Conflicts: 1515000 | #Constraints: 67833
2468.63/2475.28 c #Conflicts: 1516000 | #Constraints: 68833
2468.63/2475.28 c INPROCESSING
2468.63/2475.28 c GARBAGE COLLECT
2468.63/2475.28 c rational objective 5
2530.54/2537.32 c #Conflicts: 1517000 | #Constraints: 45373
2530.54/2537.32 c #Conflicts: 1518000 | #Constraints: 46373
2530.54/2537.32 c #Conflicts: 1519000 | #Constraints: 47373
2530.54/2537.32 c #Conflicts: 1520000 | #Constraints: 48375
2530.54/2537.32 c #Conflicts: 1521000 | #Constraints: 49377
2530.54/2537.32 c #Conflicts: 1522000 | #Constraints: 50382
2530.54/2537.32 c #Conflicts: 1523000 | #Constraints: 51387
2530.54/2537.32 c #Conflicts: 1524000 | #Constraints: 52392
2530.54/2537.32 c #Conflicts: 1525000 | #Constraints: 53395
2530.54/2537.32 c #Conflicts: 1526000 | #Constraints: 54396
2530.54/2537.32 c #Conflicts: 1527000 | #Constraints: 55398
2530.54/2537.32 c #Conflicts: 1528000 | #Constraints: 56398
2530.54/2537.32 c #Conflicts: 1529000 | #Constraints: 57400
2530.54/2537.32 c #Conflicts: 1530000 | #Constraints: 58404
2530.54/2537.32 c #Conflicts: 1531000 | #Constraints: 59407
2530.54/2537.32 c #Conflicts: 1532000 | #Constraints: 60412
2530.54/2537.32 c #Conflicts: 1533000 | #Constraints: 61416
2530.54/2537.32 c #Conflicts: 1534000 | #Constraints: 62418
2530.54/2537.32 c #Conflicts: 1535000 | #Constraints: 63420
2530.54/2537.32 c #Conflicts: 1536000 | #Constraints: 64422
2530.54/2537.33 c #Conflicts: 1537000 | #Constraints: 65422
2530.54/2537.33 c #Conflicts: 1538000 | #Constraints: 66423
2530.54/2537.33 c #Conflicts: 1539000 | #Constraints: 67425
2530.54/2537.33 c #Conflicts: 1540000 | #Constraints: 68426
2530.54/2537.33 c #Conflicts: 1541000 | #Constraints: 69428
2530.54/2537.33 c INPROCESSING
2530.54/2537.33 c GARBAGE COLLECT
2530.54/2537.33 c rational objective 5
2575.02/2581.96 c #Conflicts: 1542000 | #Constraints: 45715
2575.02/2581.96 c #Conflicts: 1543000 | #Constraints: 46715
2575.02/2581.96 c #Conflicts: 1544000 | #Constraints: 47715
2575.02/2581.96 c #Conflicts: 1545000 | #Constraints: 48716
2575.02/2581.96 c #Conflicts: 1546000 | #Constraints: 49716
2575.02/2581.96 c #Conflicts: 1547000 | #Constraints: 50716
2575.02/2581.96 c #Conflicts: 1548000 | #Constraints: 51717
2575.02/2581.96 c #Conflicts: 1549000 | #Constraints: 52718
2575.02/2581.96 c #Conflicts: 1550000 | #Constraints: 53721
2575.02/2581.96 c #Conflicts: 1551000 | #Constraints: 54721
2575.02/2581.96 c #Conflicts: 1552000 | #Constraints: 55722
2575.02/2581.96 c #Conflicts: 1553000 | #Constraints: 56723
2575.02/2581.96 c #Conflicts: 1554000 | #Constraints: 57723
2575.02/2581.96 c #Conflicts: 1555000 | #Constraints: 58723
2575.02/2581.96 c #Conflicts: 1556000 | #Constraints: 59723
2575.02/2581.96 c #Conflicts: 1557000 | #Constraints: 60723
2575.02/2581.96 c #Conflicts: 1558000 | #Constraints: 61724
2575.02/2581.96 c #Conflicts: 1559000 | #Constraints: 62724
2575.02/2581.96 c #Conflicts: 1560000 | #Constraints: 63724
2575.02/2581.96 c #Conflicts: 1561000 | #Constraints: 64724
2575.02/2581.96 c #Conflicts: 1562000 | #Constraints: 65724
2575.02/2581.96 c #Conflicts: 1563000 | #Constraints: 66724
2575.02/2581.96 c #Conflicts: 1564000 | #Constraints: 67724
2575.02/2581.96 c #Conflicts: 1565000 | #Constraints: 68724
2575.02/2581.96 c #Conflicts: 1566000 | #Constraints: 69724
2575.02/2581.96 c INPROCESSING
2575.02/2581.96 c GARBAGE COLLECT
2575.02/2581.96 c rational objective 5
2644.32/2651.42 c #Conflicts: 1567000 | #Constraints: 45923
2644.32/2651.42 c #Conflicts: 1568000 | #Constraints: 46929
2644.32/2651.42 c #Conflicts: 1569000 | #Constraints: 47936
2644.32/2651.42 c #Conflicts: 1570000 | #Constraints: 48941
2644.32/2651.42 c #Conflicts: 1571000 | #Constraints: 49944
2644.32/2651.42 c #Conflicts: 1572000 | #Constraints: 50948
2644.32/2651.42 c #Conflicts: 1573000 | #Constraints: 51951
2644.32/2651.42 c #Conflicts: 1574000 | #Constraints: 52952
2644.32/2651.42 c #Conflicts: 1575000 | #Constraints: 53953
2644.32/2651.42 c #Conflicts: 1576000 | #Constraints: 54954
2644.32/2651.42 c #Conflicts: 1577000 | #Constraints: 55956
2644.32/2651.42 c #Conflicts: 1578000 | #Constraints: 56962
2644.32/2651.42 c #Conflicts: 1579000 | #Constraints: 57963
2644.32/2651.42 c #Conflicts: 1580000 | #Constraints: 58964
2644.32/2651.42 c #Conflicts: 1581000 | #Constraints: 59967
2644.32/2651.42 c #Conflicts: 1582000 | #Constraints: 60972
2644.32/2651.42 c #Conflicts: 1583000 | #Constraints: 61976
2644.32/2651.42 c #Conflicts: 1584000 | #Constraints: 62979
2644.32/2651.42 c #Conflicts: 1585000 | #Constraints: 63984
2644.32/2651.42 c #Conflicts: 1586000 | #Constraints: 64984
2644.32/2651.42 c #Conflicts: 1587000 | #Constraints: 65985
2644.32/2651.42 c #Conflicts: 1588000 | #Constraints: 66989
2644.32/2651.42 c #Conflicts: 1589000 | #Constraints: 67989
2644.32/2651.42 c #Conflicts: 1590000 | #Constraints: 68989
2644.32/2651.42 c #Conflicts: 1591000 | #Constraints: 69990
2644.32/2651.42 c INPROCESSING
2644.32/2651.42 c GARBAGE COLLECT
2644.32/2651.42 c rational objective 5
2675.53/2682.76 c #Conflicts: 1592000 | #Constraints: 45984
2675.53/2682.76 c #Conflicts: 1593000 | #Constraints: 46984
2675.53/2682.76 c #Conflicts: 1594000 | #Constraints: 47984
2675.53/2682.76 c #Conflicts: 1595000 | #Constraints: 48984
2675.53/2682.76 c #Conflicts: 1596000 | #Constraints: 49984
2675.53/2682.76 c #Conflicts: 1597000 | #Constraints: 50985
2675.53/2682.76 c #Conflicts: 1598000 | #Constraints: 51988
2675.53/2682.76 c #Conflicts: 1599000 | #Constraints: 52988
2675.53/2682.76 c #Conflicts: 1600000 | #Constraints: 53990
2675.53/2682.76 c #Conflicts: 1601000 | #Constraints: 54994
2675.53/2682.76 c #Conflicts: 1602000 | #Constraints: 55994
2675.53/2682.76 c #Conflicts: 1603000 | #Constraints: 56995
2675.53/2682.76 c #Conflicts: 1604000 | #Constraints: 57996
2675.53/2682.76 c #Conflicts: 1605000 | #Constraints: 58996
2675.53/2682.76 c #Conflicts: 1606000 | #Constraints: 59997
2675.53/2682.76 c #Conflicts: 1607000 | #Constraints: 60997
2675.53/2682.76 c #Conflicts: 1608000 | #Constraints: 61999
2675.53/2682.76 c #Conflicts: 1609000 | #Constraints: 63000
2675.53/2682.76 c #Conflicts: 1610000 | #Constraints: 64000
2675.53/2682.76 c #Conflicts: 1611000 | #Constraints: 65001
2675.53/2682.76 c #Conflicts: 1612000 | #Constraints: 66002
2675.53/2682.76 c #Conflicts: 1613000 | #Constraints: 67002
2675.53/2682.76 c #Conflicts: 1614000 | #Constraints: 68002
2675.53/2682.76 c #Conflicts: 1615000 | #Constraints: 69002
2675.53/2682.76 c #Conflicts: 1616000 | #Constraints: 70002
2675.53/2682.76 c INPROCESSING
2675.53/2682.76 c GARBAGE COLLECT
2675.53/2682.76 c rational objective 5
2744.44/2751.80 c #Conflicts: 1617000 | #Constraints: 45784
2744.44/2751.80 c #Conflicts: 1618000 | #Constraints: 46785
2744.44/2751.80 c #Conflicts: 1619000 | #Constraints: 47785
2744.44/2751.80 c #Conflicts: 1620000 | #Constraints: 48786
2744.44/2751.80 c #Conflicts: 1621000 | #Constraints: 49788
2744.44/2751.80 c #Conflicts: 1622000 | #Constraints: 50789
2744.44/2751.80 c #Conflicts: 1623000 | #Constraints: 51791
2744.44/2751.80 c #Conflicts: 1624000 | #Constraints: 52791
2744.44/2751.80 c #Conflicts: 1625000 | #Constraints: 53792
2744.44/2751.80 c #Conflicts: 1626000 | #Constraints: 54792
2744.44/2751.80 c #Conflicts: 1627000 | #Constraints: 55793
2744.44/2751.80 c #Conflicts: 1628000 | #Constraints: 56793
2744.44/2751.80 c #Conflicts: 1629000 | #Constraints: 57793
2744.44/2751.80 c #Conflicts: 1630000 | #Constraints: 58793
2744.44/2751.80 c #Conflicts: 1631000 | #Constraints: 59794
2744.44/2751.80 c #Conflicts: 1632000 | #Constraints: 60794
2744.44/2751.80 c #Conflicts: 1633000 | #Constraints: 61794
2744.44/2751.80 c #Conflicts: 1634000 | #Constraints: 62794
2744.44/2751.80 c #Conflicts: 1635000 | #Constraints: 63794
2744.44/2751.80 c #Conflicts: 1636000 | #Constraints: 64794
2744.44/2751.80 c #Conflicts: 1637000 | #Constraints: 65795
2744.44/2751.80 c #Conflicts: 1638000 | #Constraints: 66796
2744.44/2751.80 c #Conflicts: 1639000 | #Constraints: 67796
2744.44/2751.80 c #Conflicts: 1640000 | #Constraints: 68796
2744.44/2751.80 c #Conflicts: 1641000 | #Constraints: 69797
2744.44/2751.80 c #Conflicts: 1642000 | #Constraints: 70798
2744.44/2751.80 c INPROCESSING
2744.44/2751.80 c GARBAGE COLLECT
2744.44/2751.80 c rational objective 5
2792.91/2800.49 c #Conflicts: 1643000 | #Constraints: 46267
2792.91/2800.49 c #Conflicts: 1644000 | #Constraints: 47267
2792.91/2800.49 c #Conflicts: 1645000 | #Constraints: 48267
2792.91/2800.49 c #Conflicts: 1646000 | #Constraints: 49268
2792.91/2800.49 c #Conflicts: 1647000 | #Constraints: 50268
2792.91/2800.49 c #Conflicts: 1648000 | #Constraints: 51270
2792.91/2800.49 c #Conflicts: 1649000 | #Constraints: 52271
2792.91/2800.49 c #Conflicts: 1650000 | #Constraints: 53273
2792.91/2800.49 c #Conflicts: 1651000 | #Constraints: 54275
2792.91/2800.49 c #Conflicts: 1652000 | #Constraints: 55280
2792.91/2800.49 c #Conflicts: 1653000 | #Constraints: 56283
2792.91/2800.49 c #Conflicts: 1654000 | #Constraints: 57285
2792.91/2800.49 c #Conflicts: 1655000 | #Constraints: 58289
2792.91/2800.49 c #Conflicts: 1656000 | #Constraints: 59290
2792.91/2800.49 c #Conflicts: 1657000 | #Constraints: 60290
2792.91/2800.49 c #Conflicts: 1658000 | #Constraints: 61294
2792.91/2800.49 c #Conflicts: 1659000 | #Constraints: 62296
2792.91/2800.49 c #Conflicts: 1660000 | #Constraints: 63298
2792.91/2800.49 c #Conflicts: 1661000 | #Constraints: 64300
2792.91/2800.49 c #Conflicts: 1662000 | #Constraints: 65301
2792.91/2800.49 c #Conflicts: 1663000 | #Constraints: 66303
2792.91/2800.49 c #Conflicts: 1664000 | #Constraints: 67306
2792.91/2800.49 c #Conflicts: 1665000 | #Constraints: 68307
2792.91/2800.49 c #Conflicts: 1666000 | #Constraints: 69308
2792.91/2800.49 c #Conflicts: 1667000 | #Constraints: 70309
2792.91/2800.49 c #Conflicts: 1668000 | #Constraints: 71311
2792.91/2800.49 c INPROCESSING
2792.91/2800.49 c GARBAGE COLLECT
2792.91/2800.49 c rational objective 5
2844.86/2852.51 c #Conflicts: 1669000 | #Constraints: 46586
2844.86/2852.51 c #Conflicts: 1670000 | #Constraints: 47586
2844.86/2852.51 c #Conflicts: 1671000 | #Constraints: 48586
2844.86/2852.51 c #Conflicts: 1672000 | #Constraints: 49589
2844.86/2852.51 c #Conflicts: 1673000 | #Constraints: 50591
2844.86/2852.51 c #Conflicts: 1674000 | #Constraints: 51594
2844.86/2852.51 c #Conflicts: 1675000 | #Constraints: 52597
2844.86/2852.51 c #Conflicts: 1676000 | #Constraints: 53600
2844.86/2852.51 c #Conflicts: 1677000 | #Constraints: 54601
2844.86/2852.51 c #Conflicts: 1678000 | #Constraints: 55602
2844.86/2852.51 c #Conflicts: 1679000 | #Constraints: 56604
2844.86/2852.51 c #Conflicts: 1680000 | #Constraints: 57604
2844.86/2852.51 c #Conflicts: 1681000 | #Constraints: 58605
2844.86/2852.51 c #Conflicts: 1682000 | #Constraints: 59606
2844.86/2852.51 c #Conflicts: 1683000 | #Constraints: 60606
2844.86/2852.51 c #Conflicts: 1684000 | #Constraints: 61606
2844.86/2852.51 c #Conflicts: 1685000 | #Constraints: 62606
2844.86/2852.51 c #Conflicts: 1686000 | #Constraints: 63606
2844.86/2852.51 c #Conflicts: 1687000 | #Constraints: 64607
2844.86/2852.51 c #Conflicts: 1688000 | #Constraints: 65609
2844.86/2852.51 c #Conflicts: 1689000 | #Constraints: 66610
2844.86/2852.51 c #Conflicts: 1690000 | #Constraints: 67611
2844.86/2852.51 c #Conflicts: 1691000 | #Constraints: 68611
2844.86/2852.51 c #Conflicts: 1692000 | #Constraints: 69611
2844.86/2852.51 c #Conflicts: 1693000 | #Constraints: 70611
2844.86/2852.51 c #Conflicts: 1694000 | #Constraints: 71611
2844.86/2852.51 c INPROCESSING
2844.86/2852.51 c GARBAGE COLLECT
2844.86/2852.51 c rational objective 5
2901.61/2909.49 c #Conflicts: 1695000 | #Constraints: 46749
2901.61/2909.49 c #Conflicts: 1696000 | #Constraints: 47750
2901.61/2909.49 c #Conflicts: 1697000 | #Constraints: 48750
2901.61/2909.49 c #Conflicts: 1698000 | #Constraints: 49752
2901.61/2909.49 c #Conflicts: 1699000 | #Constraints: 50756
2901.61/2909.49 c #Conflicts: 1700000 | #Constraints: 51758
2901.61/2909.49 c #Conflicts: 1701000 | #Constraints: 52759
2901.61/2909.49 c #Conflicts: 1702000 | #Constraints: 53762
2901.61/2909.49 c #Conflicts: 1703000 | #Constraints: 54765
2901.61/2909.49 c #Conflicts: 1704000 | #Constraints: 55767
2901.61/2909.49 c #Conflicts: 1705000 | #Constraints: 56770
2901.61/2909.49 c #Conflicts: 1706000 | #Constraints: 57771
2901.61/2909.49 c #Conflicts: 1707000 | #Constraints: 58773
2901.61/2909.49 c #Conflicts: 1708000 | #Constraints: 59774
2901.61/2909.49 c #Conflicts: 1709000 | #Constraints: 60774
2901.61/2909.49 c #Conflicts: 1710000 | #Constraints: 61776
2901.61/2909.49 c #Conflicts: 1711000 | #Constraints: 62776
2901.61/2909.49 c #Conflicts: 1712000 | #Constraints: 63778
2901.61/2909.49 c #Conflicts: 1713000 | #Constraints: 64779
2901.61/2909.49 c #Conflicts: 1714000 | #Constraints: 65779
2901.61/2909.49 c #Conflicts: 1715000 | #Constraints: 66780
2901.61/2909.49 c #Conflicts: 1716000 | #Constraints: 67781
2901.61/2909.49 c #Conflicts: 1717000 | #Constraints: 68782
2901.61/2909.49 c #Conflicts: 1718000 | #Constraints: 69782
2901.61/2909.49 c #Conflicts: 1719000 | #Constraints: 70783
2901.61/2909.49 c #Conflicts: 1720000 | #Constraints: 71785
2901.61/2909.49 c INPROCESSING
2901.61/2909.49 c GARBAGE COLLECT
2901.61/2909.49 c rational objective 5
2971.51/2979.51 c #Conflicts: 1721000 | #Constraints: 46696
2971.51/2979.51 c #Conflicts: 1722000 | #Constraints: 47696
2971.51/2979.51 c #Conflicts: 1723000 | #Constraints: 48699
2971.51/2979.51 c #Conflicts: 1724000 | #Constraints: 49701
2971.51/2979.51 c #Conflicts: 1725000 | #Constraints: 50703
2971.51/2979.51 c #Conflicts: 1726000 | #Constraints: 51707
2971.51/2979.51 c #Conflicts: 1727000 | #Constraints: 52711
2971.51/2979.51 c #Conflicts: 1728000 | #Constraints: 53714
2971.51/2979.51 c #Conflicts: 1729000 | #Constraints: 54716
2971.51/2979.51 c #Conflicts: 1730000 | #Constraints: 55718
2971.51/2979.51 c #Conflicts: 1731000 | #Constraints: 56719
2971.51/2979.51 c #Conflicts: 1732000 | #Constraints: 57720
2971.51/2979.51 c #Conflicts: 1733000 | #Constraints: 58720
2971.51/2979.51 c #Conflicts: 1734000 | #Constraints: 59720
2971.51/2979.51 c #Conflicts: 1735000 | #Constraints: 60720
2971.51/2979.51 c #Conflicts: 1736000 | #Constraints: 61721
2971.51/2979.51 c #Conflicts: 1737000 | #Constraints: 62721
2971.51/2979.51 c #Conflicts: 1738000 | #Constraints: 63721
2971.51/2979.51 c #Conflicts: 1739000 | #Constraints: 64722
2971.51/2979.51 c #Conflicts: 1740000 | #Constraints: 65722
2971.51/2979.51 c #Conflicts: 1741000 | #Constraints: 66722
2971.51/2979.51 c #Conflicts: 1742000 | #Constraints: 67722
2971.51/2979.51 c #Conflicts: 1743000 | #Constraints: 68723
2971.51/2979.51 c #Conflicts: 1744000 | #Constraints: 69724
2971.51/2979.51 c #Conflicts: 1745000 | #Constraints: 70726
2971.51/2979.51 c #Conflicts: 1746000 | #Constraints: 71728
2971.51/2979.51 c INPROCESSING
2971.51/2979.51 c GARBAGE COLLECT
2971.51/2979.51 c rational objective 5
3030.76/3038.94 c #Conflicts: 1747000 | #Constraints: 46522
3030.76/3038.94 c #Conflicts: 1748000 | #Constraints: 47522
3030.76/3038.94 c #Conflicts: 1749000 | #Constraints: 48522
3030.76/3038.94 c #Conflicts: 1750000 | #Constraints: 49524
3030.76/3038.94 c #Conflicts: 1751000 | #Constraints: 50525
3030.76/3038.94 c #Conflicts: 1752000 | #Constraints: 51525
3030.76/3038.94 c #Conflicts: 1753000 | #Constraints: 52527
3030.76/3038.94 c #Conflicts: 1754000 | #Constraints: 53530
3030.76/3038.94 c #Conflicts: 1755000 | #Constraints: 54531
3030.76/3038.94 c #Conflicts: 1756000 | #Constraints: 55534
3030.76/3038.94 c #Conflicts: 1757000 | #Constraints: 56536
3030.76/3038.94 c #Conflicts: 1758000 | #Constraints: 57538
3030.76/3038.94 c #Conflicts: 1759000 | #Constraints: 58543
3030.76/3038.94 c #Conflicts: 1760000 | #Constraints: 59545
3030.76/3038.94 c #Conflicts: 1761000 | #Constraints: 60548
3030.76/3038.94 c #Conflicts: 1762000 | #Constraints: 61550
3030.76/3038.94 c #Conflicts: 1763000 | #Constraints: 62551
3030.76/3038.94 c #Conflicts: 1764000 | #Constraints: 63552
3030.76/3038.94 c #Conflicts: 1765000 | #Constraints: 64554
3030.76/3038.94 c #Conflicts: 1766000 | #Constraints: 65557
3030.76/3038.94 c #Conflicts: 1767000 | #Constraints: 66558
3030.76/3038.94 c #Conflicts: 1768000 | #Constraints: 67560
3030.76/3038.94 c #Conflicts: 1769000 | #Constraints: 68562
3030.76/3038.94 c #Conflicts: 1770000 | #Constraints: 69564
3030.76/3038.94 c #Conflicts: 1771000 | #Constraints: 70565
3030.76/3038.94 c #Conflicts: 1772000 | #Constraints: 71565
3030.76/3038.94 c #Conflicts: 1773000 | #Constraints: 72567
3030.76/3038.94 c INPROCESSING
3030.76/3038.94 c GARBAGE COLLECT
3030.76/3038.94 c rational objective 5
3089.51/3097.85 c #Conflicts: 1774000 | #Constraints: 47088
3089.51/3097.85 c #Conflicts: 1775000 | #Constraints: 48088
3089.51/3097.85 c #Conflicts: 1776000 | #Constraints: 49088
3089.51/3097.85 c #Conflicts: 1777000 | #Constraints: 50089
3089.51/3097.85 c #Conflicts: 1778000 | #Constraints: 51091
3089.51/3097.85 c #Conflicts: 1779000 | #Constraints: 52092
3089.51/3097.85 c #Conflicts: 1780000 | #Constraints: 53096
3089.51/3097.85 c #Conflicts: 1781000 | #Constraints: 54098
3089.51/3097.85 c #Conflicts: 1782000 | #Constraints: 55100
3089.51/3097.85 c #Conflicts: 1783000 | #Constraints: 56102
3089.51/3097.85 c #Conflicts: 1784000 | #Constraints: 57104
3089.51/3097.85 c #Conflicts: 1785000 | #Constraints: 58105
3089.51/3097.85 c #Conflicts: 1786000 | #Constraints: 59107
3089.51/3097.85 c #Conflicts: 1787000 | #Constraints: 60108
3089.51/3097.85 c #Conflicts: 1788000 | #Constraints: 61109
3089.51/3097.85 c #Conflicts: 1789000 | #Constraints: 62110
3089.51/3097.85 c #Conflicts: 1790000 | #Constraints: 63112
3089.51/3097.85 c #Conflicts: 1791000 | #Constraints: 64113
3089.51/3097.85 c #Conflicts: 1792000 | #Constraints: 65114
3089.51/3097.85 c #Conflicts: 1793000 | #Constraints: 66114
3089.51/3097.85 c #Conflicts: 1794000 | #Constraints: 67114
3089.51/3097.85 c #Conflicts: 1795000 | #Constraints: 68115
3089.51/3097.85 c #Conflicts: 1796000 | #Constraints: 69115
3089.51/3097.85 c #Conflicts: 1797000 | #Constraints: 70115
3089.51/3097.85 c #Conflicts: 1798000 | #Constraints: 71116
3089.51/3097.85 c #Conflicts: 1799000 | #Constraints: 72118
3089.51/3097.85 c #Conflicts: 1800000 | #Constraints: 73119
3089.51/3097.85 c INPROCESSING
3089.51/3097.85 c GARBAGE COLLECT
3089.51/3097.85 c rational objective 5
3139.79/3148.27 c #Conflicts: 1801000 | #Constraints: 47489
3139.79/3148.27 c #Conflicts: 1802000 | #Constraints: 48489
3139.79/3148.27 c #Conflicts: 1803000 | #Constraints: 49490
3139.79/3148.27 c #Conflicts: 1804000 | #Constraints: 50490
3139.79/3148.27 c #Conflicts: 1805000 | #Constraints: 51492
3139.79/3148.27 c #Conflicts: 1806000 | #Constraints: 52495
3139.79/3148.27 c #Conflicts: 1807000 | #Constraints: 53497
3139.79/3148.27 c #Conflicts: 1808000 | #Constraints: 54501
3139.79/3148.27 c #Conflicts: 1809000 | #Constraints: 55501
3139.79/3148.27 c #Conflicts: 1810000 | #Constraints: 56501
3139.79/3148.27 c #Conflicts: 1811000 | #Constraints: 57501
3139.79/3148.27 c #Conflicts: 1812000 | #Constraints: 58503
3139.79/3148.27 c #Conflicts: 1813000 | #Constraints: 59504
3139.79/3148.27 c #Conflicts: 1814000 | #Constraints: 60505
3139.79/3148.27 c #Conflicts: 1815000 | #Constraints: 61505
3139.79/3148.27 c #Conflicts: 1816000 | #Constraints: 62505
3139.79/3148.27 c #Conflicts: 1817000 | #Constraints: 63507
3139.79/3148.27 c #Conflicts: 1818000 | #Constraints: 64507
3139.79/3148.27 c #Conflicts: 1819000 | #Constraints: 65507
3139.79/3148.27 c #Conflicts: 1820000 | #Constraints: 66508
3139.79/3148.27 c #Conflicts: 1821000 | #Constraints: 67509
3139.79/3148.27 c #Conflicts: 1822000 | #Constraints: 68511
3139.79/3148.27 c #Conflicts: 1823000 | #Constraints: 69512
3139.79/3148.27 c #Conflicts: 1824000 | #Constraints: 70513
3139.79/3148.27 c #Conflicts: 1825000 | #Constraints: 71513
3139.79/3148.27 c #Conflicts: 1826000 | #Constraints: 72514
3139.79/3148.27 c #Conflicts: 1827000 | #Constraints: 73516
3139.79/3148.27 c INPROCESSING
3139.79/3148.27 c GARBAGE COLLECT
3139.79/3148.27 c rational objective 5
3194.93/3203.56 c #Conflicts: 1828000 | #Constraints: 47654
3194.93/3203.56 c #Conflicts: 1829000 | #Constraints: 48655
3194.93/3203.56 c #Conflicts: 1830000 | #Constraints: 49656
3194.93/3203.56 c #Conflicts: 1831000 | #Constraints: 50659
3194.93/3203.56 c #Conflicts: 1832000 | #Constraints: 51661
3194.93/3203.56 c #Conflicts: 1833000 | #Constraints: 52663
3194.93/3203.56 c #Conflicts: 1834000 | #Constraints: 53664
3194.93/3203.56 c #Conflicts: 1835000 | #Constraints: 54665
3194.93/3203.56 c #Conflicts: 1836000 | #Constraints: 55669
3194.93/3203.56 c #Conflicts: 1837000 | #Constraints: 56674
3194.93/3203.56 c #Conflicts: 1838000 | #Constraints: 57677
3194.93/3203.56 c #Conflicts: 1839000 | #Constraints: 58678
3194.93/3203.56 c #Conflicts: 1840000 | #Constraints: 59681
3194.93/3203.56 c #Conflicts: 1841000 | #Constraints: 60683
3194.93/3203.56 c #Conflicts: 1842000 | #Constraints: 61684
3194.93/3203.56 c #Conflicts: 1843000 | #Constraints: 62684
3194.93/3203.56 c #Conflicts: 1844000 | #Constraints: 63684
3194.93/3203.56 c #Conflicts: 1845000 | #Constraints: 64685
3194.93/3203.56 c #Conflicts: 1846000 | #Constraints: 65685
3194.93/3203.56 c #Conflicts: 1847000 | #Constraints: 66685
3194.93/3203.56 c #Conflicts: 1848000 | #Constraints: 67685
3194.93/3203.56 c #Conflicts: 1849000 | #Constraints: 68687
3194.93/3203.56 c #Conflicts: 1850000 | #Constraints: 69687
3194.93/3203.56 c #Conflicts: 1851000 | #Constraints: 70687
3194.93/3203.56 c #Conflicts: 1852000 | #Constraints: 71687
3194.93/3203.56 c #Conflicts: 1853000 | #Constraints: 72688
3194.93/3203.56 c #Conflicts: 1854000 | #Constraints: 73689
3194.93/3203.56 c INPROCESSING
3194.93/3203.56 c GARBAGE COLLECT
3194.93/3203.56 c rational objective 5
3238.42/3247.17 c #Conflicts: 1855000 | #Constraints: 47666
3238.42/3247.17 c #Conflicts: 1856000 | #Constraints: 48666
3238.42/3247.17 c #Conflicts: 1857000 | #Constraints: 49666
3238.42/3247.17 c #Conflicts: 1858000 | #Constraints: 50666
3238.42/3247.17 c #Conflicts: 1859000 | #Constraints: 51667
3238.42/3247.17 c #Conflicts: 1860000 | #Constraints: 52669
3238.42/3247.17 c #Conflicts: 1861000 | #Constraints: 53670
3238.42/3247.17 c #Conflicts: 1862000 | #Constraints: 54673
3238.42/3247.17 c #Conflicts: 1863000 | #Constraints: 55674
3238.42/3247.17 c #Conflicts: 1864000 | #Constraints: 56675
3238.42/3247.17 c #Conflicts: 1865000 | #Constraints: 57677
3238.42/3247.17 c #Conflicts: 1866000 | #Constraints: 58681
3238.42/3247.17 c #Conflicts: 1867000 | #Constraints: 59686
3238.42/3247.17 c #Conflicts: 1868000 | #Constraints: 60691
3238.42/3247.17 c #Conflicts: 1869000 | #Constraints: 61694
3238.42/3247.17 c #Conflicts: 1870000 | #Constraints: 62699
3238.42/3247.17 c #Conflicts: 1871000 | #Constraints: 63701
3238.42/3247.17 c #Conflicts: 1872000 | #Constraints: 64703
3238.42/3247.17 c #Conflicts: 1873000 | #Constraints: 65706
3238.42/3247.17 c #Conflicts: 1874000 | #Constraints: 66710
3238.42/3247.17 c #Conflicts: 1875000 | #Constraints: 67711
3238.42/3247.17 c #Conflicts: 1876000 | #Constraints: 68713
3238.42/3247.17 c #Conflicts: 1877000 | #Constraints: 69714
3238.42/3247.17 c #Conflicts: 1878000 | #Constraints: 70714
3238.42/3247.17 c #Conflicts: 1879000 | #Constraints: 71715
3238.42/3247.17 c #Conflicts: 1880000 | #Constraints: 72717
3238.42/3247.17 c #Conflicts: 1881000 | #Constraints: 73719
3238.42/3247.17 c INPROCESSING
3238.42/3247.17 c GARBAGE COLLECT
3238.42/3247.17 c rational objective 5
3303.04/3311.95 c #Conflicts: 1882000 | #Constraints: 47356
3303.04/3311.95 c #Conflicts: 1883000 | #Constraints: 48356
3303.04/3311.95 c #Conflicts: 1884000 | #Constraints: 49356
3303.04/3311.95 c #Conflicts: 1885000 | #Constraints: 50356
3303.04/3311.95 c #Conflicts: 1886000 | #Constraints: 51357
3303.04/3311.95 c #Conflicts: 1887000 | #Constraints: 52360
3303.04/3311.95 c #Conflicts: 1888000 | #Constraints: 53361
3303.04/3311.95 c #Conflicts: 1889000 | #Constraints: 54362
3303.04/3311.95 c #Conflicts: 1890000 | #Constraints: 55363
3303.04/3311.95 c #Conflicts: 1891000 | #Constraints: 56364
3303.04/3311.95 c #Conflicts: 1892000 | #Constraints: 57364
3303.04/3311.95 c #Conflicts: 1893000 | #Constraints: 58365
3303.04/3311.95 c #Conflicts: 1894000 | #Constraints: 59366
3303.04/3311.95 c #Conflicts: 1895000 | #Constraints: 60366
3303.04/3311.95 c #Conflicts: 1896000 | #Constraints: 61367
3303.04/3311.95 c #Conflicts: 1897000 | #Constraints: 62368
3303.04/3311.95 c #Conflicts: 1898000 | #Constraints: 63369
3303.04/3311.95 c #Conflicts: 1899000 | #Constraints: 64370
3303.04/3311.95 c #Conflicts: 1900000 | #Constraints: 65371
3303.04/3311.95 c #Conflicts: 1901000 | #Constraints: 66371
3303.04/3311.95 c #Conflicts: 1902000 | #Constraints: 67371
3303.04/3311.95 c #Conflicts: 1903000 | #Constraints: 68372
3303.04/3311.95 c #Conflicts: 1904000 | #Constraints: 69373
3303.04/3311.95 c #Conflicts: 1905000 | #Constraints: 70374
3303.04/3311.95 c #Conflicts: 1906000 | #Constraints: 71376
3303.04/3311.95 c #Conflicts: 1907000 | #Constraints: 72377
3303.04/3311.95 c #Conflicts: 1908000 | #Constraints: 73377
3303.04/3311.95 c #Conflicts: 1909000 | #Constraints: 74377
3303.04/3311.95 c INPROCESSING
3303.04/3311.95 c GARBAGE COLLECT
3303.04/3311.95 c rational objective 5
3365.97/3375.05 c #Conflicts: 1910000 | #Constraints: 47971
3365.97/3375.05 c #Conflicts: 1911000 | #Constraints: 48971
3365.97/3375.05 c #Conflicts: 1912000 | #Constraints: 49971
3365.97/3375.05 c #Conflicts: 1913000 | #Constraints: 50974
3365.97/3375.05 c #Conflicts: 1914000 | #Constraints: 51978
3365.97/3375.05 c #Conflicts: 1915000 | #Constraints: 52980
3365.97/3375.05 c #Conflicts: 1916000 | #Constraints: 53981
3365.97/3375.05 c #Conflicts: 1917000 | #Constraints: 54983
3365.97/3375.05 c #Conflicts: 1918000 | #Constraints: 55984
3365.97/3375.05 c #Conflicts: 1919000 | #Constraints: 56985
3365.97/3375.05 c #Conflicts: 1920000 | #Constraints: 57987
3365.97/3375.05 c #Conflicts: 1921000 | #Constraints: 58987
3365.97/3375.05 c #Conflicts: 1922000 | #Constraints: 59987
3365.97/3375.05 c #Conflicts: 1923000 | #Constraints: 60987
3365.97/3375.05 c #Conflicts: 1924000 | #Constraints: 61988
3365.97/3375.05 c #Conflicts: 1925000 | #Constraints: 62989
3365.97/3375.05 c #Conflicts: 1926000 | #Constraints: 63990
3365.97/3375.05 c #Conflicts: 1927000 | #Constraints: 64991
3365.97/3375.05 c #Conflicts: 1928000 | #Constraints: 65992
3365.97/3375.05 c #Conflicts: 1929000 | #Constraints: 66992
3365.97/3375.05 c #Conflicts: 1930000 | #Constraints: 67993
3365.97/3375.05 c #Conflicts: 1931000 | #Constraints: 68993
3365.97/3375.05 c #Conflicts: 1932000 | #Constraints: 69994
3365.97/3375.05 c #Conflicts: 1933000 | #Constraints: 70994
3365.97/3375.05 c #Conflicts: 1934000 | #Constraints: 71995
3365.97/3375.05 c #Conflicts: 1935000 | #Constraints: 72995
3365.97/3375.05 c #Conflicts: 1936000 | #Constraints: 73995
3365.97/3375.05 c #Conflicts: 1937000 | #Constraints: 74996
3365.97/3375.05 c INPROCESSING
3365.97/3375.05 c GARBAGE COLLECT
3365.97/3375.05 c rational objective 5
3432.19/3441.48 c #Conflicts: 1938000 | #Constraints: 48363
3432.19/3441.48 c #Conflicts: 1939000 | #Constraints: 49363
3432.19/3441.48 c #Conflicts: 1940000 | #Constraints: 50363
3432.19/3441.48 c #Conflicts: 1941000 | #Constraints: 51363
3432.19/3441.48 c #Conflicts: 1942000 | #Constraints: 52363
3432.19/3441.48 c #Conflicts: 1943000 | #Constraints: 53364
3432.19/3441.48 c #Conflicts: 1944000 | #Constraints: 54365
3432.19/3441.48 c #Conflicts: 1945000 | #Constraints: 55367
3432.19/3441.48 c #Conflicts: 1946000 | #Constraints: 56371
3432.19/3441.48 c #Conflicts: 1947000 | #Constraints: 57372
3432.19/3441.48 c #Conflicts: 1948000 | #Constraints: 58374
3432.19/3441.48 c #Conflicts: 1949000 | #Constraints: 59376
3432.19/3441.48 c #Conflicts: 1950000 | #Constraints: 60378
3432.19/3441.48 c #Conflicts: 1951000 | #Constraints: 61380
3432.19/3441.48 c #Conflicts: 1952000 | #Constraints: 62382
3432.19/3441.48 c #Conflicts: 1953000 | #Constraints: 63382
3432.19/3441.48 c #Conflicts: 1954000 | #Constraints: 64383
3432.19/3441.48 c #Conflicts: 1955000 | #Constraints: 65384
3432.19/3441.48 c #Conflicts: 1956000 | #Constraints: 66385
3432.19/3441.48 c #Conflicts: 1957000 | #Constraints: 67386
3432.19/3441.48 c #Conflicts: 1958000 | #Constraints: 68386
3432.19/3441.48 c #Conflicts: 1959000 | #Constraints: 69387
3432.19/3441.48 c #Conflicts: 1960000 | #Constraints: 70387
3432.19/3441.48 c #Conflicts: 1961000 | #Constraints: 71388
3432.19/3441.48 c #Conflicts: 1962000 | #Constraints: 72388
3432.19/3441.48 c #Conflicts: 1963000 | #Constraints: 73388
3432.19/3441.48 c #Conflicts: 1964000 | #Constraints: 74390
3432.19/3441.48 c #Conflicts: 1965000 | #Constraints: 75390
3432.19/3441.48 c INPROCESSING
3432.19/3441.48 c GARBAGE COLLECT
3432.19/3441.48 c rational objective 5
3470.70/3480.04 c #Conflicts: 1966000 | #Constraints: 48547
3470.70/3480.04 c #Conflicts: 1967000 | #Constraints: 49547
3470.70/3480.04 c #Conflicts: 1968000 | #Constraints: 50547
3470.70/3480.04 c #Conflicts: 1969000 | #Constraints: 51548
3470.70/3480.04 c #Conflicts: 1970000 | #Constraints: 52548
3470.70/3480.04 c #Conflicts: 1971000 | #Constraints: 53549
3470.70/3480.04 c #Conflicts: 1972000 | #Constraints: 54549
3470.70/3480.04 c #Conflicts: 1973000 | #Constraints: 55549
3470.70/3480.04 c #Conflicts: 1974000 | #Constraints: 56550
3470.70/3480.04 c #Conflicts: 1975000 | #Constraints: 57552
3470.70/3480.04 c #Conflicts: 1976000 | #Constraints: 58553
3470.70/3480.04 c #Conflicts: 1977000 | #Constraints: 59554
3470.70/3480.04 c #Conflicts: 1978000 | #Constraints: 60554
3470.70/3480.04 c #Conflicts: 1979000 | #Constraints: 61555
3470.70/3480.04 c #Conflicts: 1980000 | #Constraints: 62555
3470.70/3480.04 c #Conflicts: 1981000 | #Constraints: 63555
3470.70/3480.04 c #Conflicts: 1982000 | #Constraints: 64555
3470.70/3480.04 c #Conflicts: 1983000 | #Constraints: 65556
3470.70/3480.04 c #Conflicts: 1984000 | #Constraints: 66556
3470.70/3480.04 c #Conflicts: 1985000 | #Constraints: 67556
3470.70/3480.04 c #Conflicts: 1986000 | #Constraints: 68557
3470.70/3480.04 c #Conflicts: 1987000 | #Constraints: 69557
3470.70/3480.04 c #Conflicts: 1988000 | #Constraints: 70557
3470.70/3480.04 c #Conflicts: 1989000 | #Constraints: 71557
3470.70/3480.04 c #Conflicts: 1990000 | #Constraints: 72557
3470.70/3480.04 c #Conflicts: 1991000 | #Constraints: 73558
3470.70/3480.04 c #Conflicts: 1992000 | #Constraints: 74558
3470.70/3480.04 c #Conflicts: 1993000 | #Constraints: 75558
3470.70/3480.04 c INPROCESSING
3470.70/3480.04 c GARBAGE COLLECT
3470.70/3480.04 c rational objective 5
3527.06/3536.53 c #Conflicts: 1994000 | #Constraints: 48588
3527.06/3536.53 c #Conflicts: 1995000 | #Constraints: 49588
3527.06/3536.53 c #Conflicts: 1996000 | #Constraints: 50588
3527.06/3536.53 c #Conflicts: 1997000 | #Constraints: 51588
3527.06/3536.53 c #Conflicts: 1998000 | #Constraints: 52591
3527.06/3536.53 c #Conflicts: 1999000 | #Constraints: 53593
3527.06/3536.53 c #Conflicts: 2000000 | #Constraints: 54593
3527.06/3536.53 c #Conflicts: 2001000 | #Constraints: 55593
3527.06/3536.53 c #Conflicts: 2002000 | #Constraints: 56594
3527.06/3536.53 c #Conflicts: 2003000 | #Constraints: 57594
3527.06/3536.53 c #Conflicts: 2004000 | #Constraints: 58596
3527.06/3536.53 c #Conflicts: 2005000 | #Constraints: 59597
3527.06/3536.53 c #Conflicts: 2006000 | #Constraints: 60597
3527.06/3536.53 c #Conflicts: 2007000 | #Constraints: 61597
3527.06/3536.53 c #Conflicts: 2008000 | #Constraints: 62598
3527.06/3536.53 c #Conflicts: 2009000 | #Constraints: 63600
3527.06/3536.53 c #Conflicts: 2010000 | #Constraints: 64601
3527.06/3536.53 c #Conflicts: 2011000 | #Constraints: 65603
3527.06/3536.53 c #Conflicts: 2012000 | #Constraints: 66603
3527.06/3536.53 c #Conflicts: 2013000 | #Constraints: 67604
3527.06/3536.53 c #Conflicts: 2014000 | #Constraints: 68606
3527.06/3536.53 c #Conflicts: 2015000 | #Constraints: 69606
3527.06/3536.53 c #Conflicts: 2016000 | #Constraints: 70609
3527.06/3536.53 c #Conflicts: 2017000 | #Constraints: 71609
3527.06/3536.53 c #Conflicts: 2018000 | #Constraints: 72609
3527.06/3536.53 c #Conflicts: 2019000 | #Constraints: 73610
3527.06/3536.53 c #Conflicts: 2020000 | #Constraints: 74611
3527.06/3536.53 c #Conflicts: 2021000 | #Constraints: 75611
3527.06/3536.53 c INPROCESSING
3527.06/3536.53 c GARBAGE COLLECT
3527.06/3536.53 c rational objective 5
3582.92/3592.54 c #Conflicts: 2022000 | #Constraints: 48366
3582.92/3592.54 c #Conflicts: 2023000 | #Constraints: 49366
3582.92/3592.54 c #Conflicts: 2024000 | #Constraints: 50366
3582.92/3592.54 c #Conflicts: 2025000 | #Constraints: 51367
3582.92/3592.54 c #Conflicts: 2026000 | #Constraints: 52369
3582.92/3592.54 c #Conflicts: 2027000 | #Constraints: 53375
3582.92/3592.54 c #Conflicts: 2028000 | #Constraints: 54378
3582.92/3592.54 c #Conflicts: 2029000 | #Constraints: 55381
3582.92/3592.54 c #Conflicts: 2030000 | #Constraints: 56384
3582.92/3592.54 c #Conflicts: 2031000 | #Constraints: 57387
3582.92/3592.54 c #Conflicts: 2032000 | #Constraints: 58390
3582.92/3592.54 c #Conflicts: 2033000 | #Constraints: 59391
3582.92/3592.54 c #Conflicts: 2034000 | #Constraints: 60392
3582.92/3592.54 c #Conflicts: 2035000 | #Constraints: 61394
3582.92/3592.54 c #Conflicts: 2036000 | #Constraints: 62395
3582.92/3592.54 c #Conflicts: 2037000 | #Constraints: 63396
3582.92/3592.54 c #Conflicts: 2038000 | #Constraints: 64398
3582.92/3592.54 c #Conflicts: 2039000 | #Constraints: 65398
3582.92/3592.54 c #Conflicts: 2040000 | #Constraints: 66399
3582.92/3592.54 c #Conflicts: 2041000 | #Constraints: 67399
3582.92/3592.54 c #Conflicts: 2042000 | #Constraints: 68400
3582.92/3592.54 c #Conflicts: 2043000 | #Constraints: 69400
3582.92/3592.54 c #Conflicts: 2044000 | #Constraints: 70401
3582.92/3592.54 c #Conflicts: 2045000 | #Constraints: 71401
3582.92/3592.54 c #Conflicts: 2046000 | #Constraints: 72402
3582.92/3592.54 c #Conflicts: 2047000 | #Constraints: 73404
3582.92/3592.54 c #Conflicts: 2048000 | #Constraints: 74405
3582.92/3592.54 c #Conflicts: 2049000 | #Constraints: 75405
3582.92/3592.54 c #Conflicts: 2050000 | #Constraints: 76405
3582.92/3592.54 c INPROCESSING
3582.92/3592.54 c GARBAGE COLLECT
3582.92/3592.54 c rational objective 5
3600.08/3609.70 c #Conflicts: 2051000 | #Constraints: 48969
3600.08/3609.70 c #Conflicts: 2052000 | #Constraints: 49969
3600.08/3609.70 c #Conflicts: 2053000 | #Constraints: 50969
3600.08/3609.70 c #Conflicts: 2054000 | #Constraints: 51969
3600.08/3609.70 c #Conflicts: 2055000 | #Constraints: 52974
3600.08/3609.70 c #Conflicts: 2056000 | #Constraints: 53978
3600.08/3609.70 c #Conflicts: 2057000 | #Constraints: 54982
3600.08/3609.70 c #Conflicts: 2058000 | #Constraints: 55984
3600.08/3609.70 c #Conflicts: 2059000 | #Constraints: 56987
3600.08/3609.70 c #Conflicts: 2060000 | #Constraints: 57990
3600.08/3609.70 c #Conflicts: 2061000 | #Constraints: 58993
3600.08/3609.70 c #Conflicts: 2062000 | #Constraints: 59995
3600.08/3609.70 c #Conflicts: 2063000 | #Constraints: 60999
3600.08/3609.70 c #Conflicts: 2064000 | #Constraints: 62001
3600.08/3609.70 c cpu time 3580.99 s
3600.08/3609.70 c deterministic time 288726519946 2.89e+11
3600.08/3609.70 c optimization time 16.722 s
3600.08/3609.70 c total solve time 3564.19 s
3600.08/3609.70 c core-guided solve time 1778.59 s
3600.08/3609.70 c propagation time 2490.78 s
3600.08/3609.70 c conflict analysis time 927.418 s
3600.08/3609.70 c propagations 694283426
3600.08/3609.70 c resolve steps 21483729
3600.08/3609.70 c decisions 5772536
3600.08/3609.70 c conflicts 2064682
3600.08/3609.70 c restarts 4090
3600.08/3609.70 c inprocessing phases 134
3600.08/3609.70 c garbage collections 134 ,( 100.00 )
3600.08/3609.70 c input clauses 25474 ,( 98.57 )
3600.08/3609.70 c input cardinalities 50 ,( 0.19 )
3600.08/3609.70 c input general constraints 320 ,( 1.24 )
3600.08/3609.70 c input average constraint length 3.57
3600.08/3609.70 c input average constraint degree 7.90
3600.08/3609.70 c learned clauses 367628 ,( 17.78 )
3600.08/3609.70 c learned cardinalities 13639 ,( 0.66 )
3600.08/3609.70 c learned general constraints 1686748 ,( 81.56 )
3600.08/3609.70 c learned average constraint length 334.91
3600.08/3609.70 c learned average constraint degree 2442561191.09
3600.08/3609.70 c watched CF 32, 64, 128, Arb: 553673 , 0 , 0 , 0
3600.08/3609.70 c counting CF 32, 64, 128, Arb: 1133396 , 0 , 0 , 0
3600.08/3609.70 c watched constraints 553673 ,( 32.82 )
3600.08/3609.70 c counting constraints 1133395 ,( 67.18 )
3600.08/3609.70 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 446851216 , 79873445 , 4741964950 ,( 338719662 , 4403245288 )
3600.08/3609.70 c gcd simplifications 208055
3600.08/3609.70 c detected cardinalities 434
3600.08/3609.70 c weakened non-implied lits 232247470
3600.08/3609.70 c weakened non-implying lits 963713
3600.08/3609.70 c original variables 9705
3600.08/3609.70 c clausal propagations 349405902
3600.08/3609.70 c cardinality propagations 22779504
3600.08/3609.70 c watched propagations 2380937
3600.08/3609.70 c counting propagations 313479378
3600.08/3609.70 c watch lookups 204428798980
3600.08/3609.70 c watch backjump lookups 0
3600.08/3609.70 c watch checks 21414987941
3600.08/3609.70 c propagation checks 58966142271
3600.08/3609.70 c constraint additions 2512203723
3600.08/3609.70 c trail pops 702114677
3600.08/3609.70 c formula constraints 25844
3600.08/3609.70 c learned constraints 2061678
3600.08/3609.70 c bound constraints 0
3600.08/3609.70 c core-guided constraints 0
3600.08/3609.70 c encountered formula constraints 13001084
3600.08/3609.70 c encountered learned constraints 9779071
3600.08/3609.70 c encountered bound constraints 0
3600.08/3609.70 c encountered core-guided constraints 0
3600.08/3609.70 c LP total time 575.798 s
3600.08/3609.70 c LP solve time 533.39 s
3600.08/3609.70 c LP constraints added 28727
3600.08/3609.70 c LP constraints removed 2866
3600.08/3609.70 c LP pivots internal 2064801
3600.08/3609.70 c LP pivots root 151590
3600.08/3609.70 c LP calls 4516
3600.08/3609.70 c LP optimalities 1474
3600.08/3609.70 c LP no pivot count 59
3600.08/3609.70 c LP infeasibilities 3038
3600.08/3609.70 c LP valid Farkas constraints 3036
3600.08/3609.70 c LP learned Farkas constraints 3004
3600.08/3609.70 c LP basis resets 2
3600.08/3609.70 c LP cycling count 0
3600.08/3609.70 c LP singular count 0
3600.08/3609.70 c LP no primal count 0
3600.08/3609.70 c LP no farkas count 2
3600.08/3609.70 c LP other issue count 0
3600.08/3609.70 c LP Gomory cuts 297
3600.08/3609.70 c LP learned cuts 2586
3600.08/3609.70 c LP deleted cuts 2866
3600.08/3609.70 c LP encountered Gomory constraints 62647
3600.08/3609.70 c LP encountered Farkas constraints 649723
3600.08/3609.70 c LP encountered learned Farkas constraints 52882
3600.08/3609.70 c CG auxiliary variables introduced 0
3600.08/3609.70 c CG solutions found 0
3600.08/3609.70 c CG cores constructed 0
3600.08/3609.70 c CG core cardinality constraints returned 0
3600.08/3609.70 c CG unit cores 0
3600.08/3609.70 c CG single cores 0
3600.08/3609.70 c CG blocks removed during cardinality reduction 0
3600.08/3609.70 c CG first core best 0
3600.08/3609.70 c CG decision core best 0
3600.08/3609.70 c CG core reduction tie 0
3600.08/3609.70 c CG core degree average 0.00
3600.08/3609.70 c CG core slack average 0.00
3600.08/3609.70 c CG core upper bound improvements 0
3600.08/3609.70 c STR number of successful calls 0
3600.08/3609.70 c STR number of unsuccessful calls 0
3600.08/3609.70 c STR number of inconclusive calls 0
3600.08/3609.70 c STR number of successful attempts 0
3600.08/3609.70 c STR number of unsuccessful attempts 0
3600.08/3609.70 c STR number of inconclusive attempts 0
3600.08/3609.70 c STR average degree increase per successful call inf
3600.08/3609.70 c STR average degree increase per successful attempt inf
3600.08/3609.70 c STR total number of conflicts for successful attempts 0
3600.08/3609.70 c STR total number of conflicts for unsuccessful attempts 0
3600.08/3609.70 c STR total number of conflicts for inconclusive attempts 0
3600.08/3609.70 c STR average number of conflicts per successful attempt inf
3600.08/3609.70 c STR average number of conflicts per unsuccessful attempt inf
3600.08/3609.70 c STR average number of conflicts per inconclusive attempt inf
3600.08/3609.70 c AVG.sumWPerc 54.76
3600.08/3609.70 c bigint constraints 0
3600.08/3609.70 s UNKNOWN
3600.08/3609.70 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (55484 MiB free)
memory of node 1: 64465 MiB (53810 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4499078-1751403059/watcher-4499078-1751403059 -o /tmp/evaluation-result-4499078-1751403059/solver-4499078-1751403059 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751398701-54923 --watchdog 3760 run-opt-break.sh HOME/instance-4499078-1751403059.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=55919, runsolver pid=55916
[startup+0.100067 s]*
/proc/loadavg: 4.10 4.13 4.09 5/269 55921
/proc/meminfo: memFree=111918108/131250000 swapFree=33010684/33010684
[pid=55919] ppid=55916 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/55919/stat : 55919 (run-opt-break.s) S 55916 55919 54907 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55928407 4292608 768 18446744073709551615 94021861236736 94021862131269 140731149721936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94021862370320 94021862418064 94021865779200 140731149728097 140731149728226 140731149728226 140731149733828 0
/proc/55919/statm: 1048 768 704 219 0 110 0
[pid=55921] ppid=55919 vsize=18352 memory=10352 CPUtime=0.08 cores=5,7
/proc/55921/stat : 55921 (pbsuma) R 55919 55919 54907 0 -1 4194304 2436 0 0 0 8 0 0 0 20 0 1 0 55928408 18792448 2588 18446744073709551615 4210688 4653049 140736346543776 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 15507456 140736346552675 140736346552882 140736346552882 140736346558447 0
/proc/55921/statm: 4588 2588 992 108 0 1996 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 22544 KiB
Current children cumulated memory: 13424 KiB
[startup+0.205873 s]*
/proc/loadavg: 4.10 4.13 4.09 5/269 55922
/proc/meminfo: memFree=111905804/131250000 swapFree=33010684/33010684
[pid=55919] ppid=55916 vsize=4192 memory=3072 CPUtime=0.11 cores=5,7
/proc/55919/stat : 55919 (run-opt-break.s) S 55916 55919 54907 0 -1 4194304 237 2644 0 0 0 0 11 0 20 0 1 0 55928407 4292608 768 18446744073709551615 94021861236736 94021862131269 140731149721936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94021862370320 94021862418064 94021865779200 140731149728097 140731149728226 140731149728226 140731149733828 0
/proc/55919/statm: 1048 768 704 219 0 110 0
[pid=55922] ppid=55919 vsize=59296 memory=14164 CPUtime=0.06 cores=5,7
/proc/55922/stat : 55922 (roundingsat) R 55919 55919 54907 0 -1 4194304 1383 0 0 0 4 2 0 0 20 0 1 0 55928420 60719104 3541 18446744073709551615 4227072 8923433 140723782580368 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22671360 140723782584676 140723782584872 140723782584872 140723782590442 0
/proc/55922/statm: 14824 3541 1888 1147 0 2251 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 63488 KiB
Current children cumulated memory: 17236 KiB
[startup+0.305796 s]*
/proc/loadavg: 4.10 4.13 4.09 5/269 55922
/proc/meminfo: memFree=111893516/131250000 swapFree=33010684/33010684
[pid=55919] ppid=55916 vsize=4192 memory=3072 CPUtime=0.11 cores=5,7
/proc/55919/stat : 55919 (run-opt-break.s) S 55916 55919 54907 0 -1 4194304 237 2644 0 0 0 0 11 0 20 0 1 0 55928407 4292608 768 18446744073709551615 94021861236736 94021862131269 140731149721936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94021862370320 94021862418064 94021865779200 140731149728097 140731149728226 140731149728226 140731149733828 0
/proc/55919/statm: 1048 768 704 219 0 110 0
[pid=55922] ppid=55919 vsize=94344 memory=46992 CPUtime=0.16 cores=5,7
/proc/55922/stat : 55922 (roundingsat) R 55919 55919 54907 0 -1 4194304 7760 0 0 0 12 4 0 0 20 0 1 0 55928420 96608256 11748 18446744073709551615 4227072 8923433 140723782580368 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22671360 140723782584676 140723782584872 140723782584872 140723782590442 0
/proc/55922/statm: 23586 11748 2304 1147 0 11013 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 98536 KiB
Current children cumulated memory: 50064 KiB
[startup+0.700215 s]
/proc/loadavg: 4.10 4.13 4.09 5/269 55922
/proc/meminfo: memFree=111893516/131250000 swapFree=33010684/33010684
[pid=55919] ppid=55916 vsize=4192 memory=3072 CPUtime=0.11 cores=5,7
/proc/55919/stat : 55919 (run-opt-break.s) S 55916 55919 54907 0 -1 4194304 237 2644 0 0 0 0 11 0 20 0 1 0 55928407 4292608 768 18446744073709551615 94021861236736 94021862131269 140731149721936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94021862370320 94021862418064 94021865779200 140731149728097 140731149728226 140731149728226 140731149733828 0
/proc/55919/statm: 1048 768 704 219 0 110 0
[pid=55922] ppid=55919 vsize=95516 memory=50720 CPUtime=0.55 cores=5,7
/proc/55922/stat : 55922 (roundingsat) R 55919 55919 54907 0 -1 4194304 8158 0 0 0 50 5 0 0 20 0 1 0 55928420 97808384 12680 18446744073709551615 4227072 8923433 140723782580368 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22671360 140723782584676 140723782584872 140723782584872 140723782590442 0
/proc/55922/statm: 23879 12680 2336 1147 0 11306 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 99708 KiB
Current children cumulated memory: 53792 KiB
[startup+1.50019 s]
/proc/loadavg: 4.10 4.13 4.09 5/269 55922
/proc/meminfo: memFree=111885620/131250000 swapFree=33010684/33010684
[pid=55919] ppid=55916 vsize=4192 memory=3072 CPUtime=0.11 cores=5,7
/proc/55919/stat : 55919 (run-opt-break.s) S 55916 55919 54907 0 -1 4194304 237 2644 0 0 0 0 11 0 20 0 1 0 55928407 4292608 768 18446744073709551615 94021861236736 94021862131269 140731149721936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94021862370320 94021862418064 94021865779200 140731149728097 140731149728226 140731149728226 140731149733828 0
/proc/55919/statm: 1048 768 704 219 0 110 0
[pid=55922] ppid=55919 vsize=99580 memory=54560 CPUtime=1.34 cores=5,7
/proc/55922/stat : 55922 (roundingsat) R 55919 55919 54907 0 -1 4194304 9081 0 0 0 127 7 0 0 20 0 1 0 55928420 101969920 13640 18446744073709551615 4227072 8923433 140723782580368 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22671360 140723782584676 140723782584872 140723782584872 140723782590442 0
/proc/55922/statm: 24895 13640 2368 1147 0 12322 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 103772 KiB
Current children cumulated memory: 57632 KiB
[startup+3.10553 s]
/proc/loadavg: 4.09 4.12 4.09 5/269 55922
/proc/meminfo: memFree=111745060/131250000 swapFree=33010684/33010684
[pid=55919] ppid=55916 vsize=4192 memory=3072 CPUtime=0.11 cores=5,7
/proc/55919/stat : 55919 (run-opt-break.s) S 55916 55919 54907 0 -1 4194304 237 2644 0 0 0 0 11 0 20 0 1 0 55928407 4292608 768 18446744073709551615 94021861236736 94021862131269 140731149721936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94021862370320 94021862418064 94021865779200 140731149728097 140731149728226 140731149728226 140731149733828 0
/proc/55919/statm: 1048 768 704 219 0 110 0
[pid=55922] ppid=55919 vsize=112008 memory=63776 CPUtime=2.94 cores=5,7
/proc/55922/stat : 55922 (roundingsat) R 55919 55919 54907 0 -1 4194304 11378 0 0 0 285 9 0 0 20 0 1 0 55928420 114696192 15944 18446744073709551615 4227072 8923433 140723782580368 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22671360 140723782584676 140723782584872 140723782584872 140723782590442 0
/proc/55922/statm: 28002 15944 2368 1147 0 15429 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 116200 KiB
Current children cumulated memory: 66848 KiB
[startup+6.30019 s]
/proc/loadavg: 4.09 4.12 4.09 5/269 55922
/proc/meminfo: memFree=110869852/131250000 swapFree=33010684/33010684
[pid=55919] ppid=55916 vsize=4192 memory=3072 CPUtime=0.11 cores=5,7
/proc/55919/stat : 55919 (run-opt-break.s) S 55916 55919 54907 0 -1 4194304 237 2644 0 0 0 0 11 0 20 0 1 0 55928407 4292608 768 18446744073709551615 94021861236736 94021862131269 140731149721936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94021862370320 94021862418064 94021865779200 140731149728097 140731149728226 140731149728226 140731149733828 0
/proc/55919/statm: 1048 768 704 219 0 110 0
[pid=55922] ppid=55919 vsize=125956 memory=78380 CPUtime=6.13 cores=5,7
/proc/55922/stat : 55922 (roundingsat) R 55919 55919 54907 0 -1 4194304 14524 0 0 0 599 14 0 0 20 0 1 0 55928420 128978944 19595 18446744073709551615 4227072 8923433 140723782580368 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22671360 140723782584676 140723782584872 140723782584872 140723782590442 0
/proc/55922/statm: 31489 19595 2368 1147 0 18916 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 130148 KiB
Current children cumulated memory: 81452 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.12 4.09 5/269 55922
/proc/meminfo: memFree=108917200/131250000 swapFree=33010684/33010684
[pid=55919] ppid=55916 vsize=4192 memory=3072 CPUtime=0.11 cores=5,7
/proc/55919/stat : 55919 (run-opt-break.s) S 55916 55919 54907 0 -1 4194304 237 2644 0 0 0 0 11 0 20 0 1 0 55928407 4292608 768 18446744073709551615 94021861236736 94021862131269 140731149721936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94021862370320 94021862418064 94021865779200 140731149728097 140731149728226 140731149728226 140731149733828 0
/proc/55919/statm: 1048 768 704 219 0 110 0
[pid=55922] ppid=55919 vsize=133632 memory=85036 CPUtime=12.52 cores=5,7
/proc/55922/stat : 55922 (roundingsat) R 55919 55919 54907 0 -1 4194304 16204 0 0 0 1230 22 0 0 20 0 1 0 55928420 136839168 21259 18446744073709551615 4227072 8923433 140723782580368 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22671360 140723782584676 140723782584872 140723782584872 140723782590442 0
/proc/55922/statm: 33408 21259 2368 1147 0 20835 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 137824 KiB
Current children cumulated memory: 88108 KiB
[startup+25.5002 s]
/proc/loadavg: 4.14 4.13 4.10 5/269 55922
/proc/meminfo: memFree=107383876/131250000 swapFree=33010684/33010684
[pid=55919] ppid=55916 vsize=4192 memory=3072 CPUtime=0.11 cores=5,7
/proc/55919/stat : 55919 (run-opt-break.s) S 55916 55919 54907 0 -1 4194304 237 2644 0 0 0 0 11 0 20 0 1 0 55928407 4292608 768 18446744073709551615 94021861236736 94021862131269 140731149721936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94021862370320 94021862418064 94021865779200 140731149728097 140731149728226 140731149728226 140731149733828 0
/proc/55919/statm: 1048 768 704 219 0 110 0
[pid=55922] ppid=55919 vsize=140140 memory=92204 CPUtime=25.29 cores=5,7
/proc/55922/stat : 55922 (roundingsat) R 55919 55919 54907 0 -1 4194304 18022 0 0 0 2493 36 0 0 20 0 1 0 55928420 143503360 23051 18446744073709551615 4227072 8923433 140723782580368 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22671360 140723782584676 140723782584872 140723782584872 140723782590442 0
/proc/55922/statm: 35035 23051 2368 1147 0 22462 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 144332 KiB
Current children cumulated memory: 95276 KiB
[startup+51.1055 s]
/proc/loadavg: 4.09 4.12 4.09 5/268 55922
/proc/meminfo: memFree=106997736/131250000 swapFree=33010684/33010684
[pid=55919] ppid=55916 vsize=4192 memory=3072 CPUtime=0.11 cores=5,7
/proc/55919/stat : 55919 (run-opt-break.s) S 55916 55919 54907 0 -1 4194304 237 2644 0 0 0 0 11 0 20 0 1 0 55928407 4292608 768 18446744073709551615 94021861236736 94021862131269 140731149721936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94021862370320 94021862418064 94021865779200 140731149728097 140731149728226 140731149728226 140731149733828 0
/proc/55919/statm: 1048 768 704 219 0 110 0
[pid=55922] ppid=55919 vsize=172208 memory=120428 CPUtime=50.83 cores=5,7
/proc/55922/stat : 55922 (roundingsat) R 55919 55919 54907 0 -1 4194304 23602 0 0 0 5020 63 0 0 20 0 1 0 55928420 176340992 30107 18446744073709551615 4227072 8923433 140723782580368 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22671360 140723782584676 140723782584872 140723782584872 140723782590442 0
/proc/55922/statm: 43052 30107 2368 1147 0 30479 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 176400 KiB
Current children cumulated memory: 123500 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/268 55924
/proc/meminfo: memFree=105706780/131250000 swapFree=33010684/33010684
[pid=55919] ppid=55916 vsize=4192 memory=3072 CPUtime=0.11 cores=5,7
/proc/55919/stat : 55919 (run-opt-break.s) S 55916 55919 54907 0 -1 4194304 237 2644 0 0 0 0 11 0 20 0 1 0 55928407 4292608 768 18446744073709551615 94021861236736 94021862131269 140731149721936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94021862370320 94021862418064 94021865779200 140731149728097 140731149728226 140731149728226 140731149733828 0
/proc/55919/statm: 1048 768 704 219 0 110 0
[pid=55922] ppid=55919 vsize=231308 memory=171816 CPUtime=101.89 cores=5,7
/proc/55922/stat : 55922 (roundingsat) R 55919 55919 54907 0 -1 4194304 34419 0 0 0 10078 111 0 0 20 0 1 0 55928420 236859392 42954 18446744073709551615 4227072 8923433 140723782580368 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22671360 140723782584676 140723782584872 140723782584872 140723782590442 0
/proc/55922/statm: 57827 42954 2368 1147 0 45254 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 235500 KiB
Current children cumulated memory: 174888 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/268 55926
/proc/meminfo: memFree=105313668/131250000 swapFree=33010684/33010684
[pid=55919] ppid=55916 vsize=4192 memory=3072 CPUtime=0.11 cores=5,7
/proc/55919/stat : 55919 (run-opt-break.s) S 55916 55919 54907 0 -1 4194304 237 2644 0 0 0 0 11 0 20 0 1 0 55928407 4292608 768 18446744073709551615 94021861236736 94021862131269 140731149721936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94021862370320 94021862418064 94021865779200 140731149728097 140731149728226 140731149728226 140731149733828 0
/proc/55919/statm: 1048 768 704 219 0 110 0
[pid=55922] ppid=55919 vsize=244764 memory=186148 CPUtime=161.75 cores=5,7
/proc/55922/stat : 55922 (roundingsat) R 55919 55919 54907 0 -1 4194304 37477 0 0 0 16016 159 0 0 20 0 1 0 55928420 250638336 46537 18446744073709551615 4227072 8923433 140723782580368 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22671360 140723782584676 140723782584872 140723782584872 140723782590442 0
/proc/55922/statm: 61191 46537 2368 1147 0 48618 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 248956 KiB
Current children cumulated memory: 189220 KiB
[startup+222.3 s]
/proc/loadavg: 4.28 4.18 4.11 5/269 55933
/proc/meminfo: memFree=102160832/131250000 swapFree=33010684/33010684
[pid=55919] ppid=55916 vsize=4192 memory=3072 CPUtime=0.11 cores=5,7
/proc/55919/stat : 55919 (run-opt-break.s) S 55916 55919 54907 0 -1 4194304 237 2644 0 0 0 0 11 0 20 0 1 0 55928407 4292608 768 18446744073709551615 94021861236736 94021862131269 140731149721936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94021862370320 94021862418064 94021865779200 140731149728097 140731149728226 140731149728226 140731149733828 0
/proc/55919/statm: 1048 768 704 219 0 110 0
[pid=55922] ppid=55919 vsize=307980 memory=230820 CPUtime=221.6 cores=5,7
/proc/55922/stat : 55922 (roundingsat) R 55919 55919 54907 0 -1 4194304 46609 0 0 0 21954 206 0 0 20 0 1 0 55928420 315371520 57705 18446744073709551615 4227072 8923433 140723782580368 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22671360 140723782584676 140723782584872 140723782584872 140723782590442 0
/proc/55922/statm: 76995 57705 2368 1147 0 64422 0
################
# More data... #
################
/proc/55922/statm: 160329 129936 2368 1147 0 147756 0
Current children cumulated CPU time: 3094 s
Current children cumulated vsize: 645508 KiB
Current children cumulated memory: 522816 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/269 56376
/proc/meminfo: memFree=128002256/131250000 swapFree=33010684/33010684
[pid=55919] ppid=55916 vsize=4192 memory=3072 CPUtime=0.11 cores=5,7
/proc/55919/stat : 55919 (run-opt-break.s) S 55916 55919 54907 0 -1 4194304 237 2644 0 0 0 0 11 0 20 0 1 0 55928407 4292608 768 18446744073709551615 94021861236736 94021862131269 140731149721936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94021862370320 94021862418064 94021865779200 140731149728097 140731149728226 140731149728226 140731149733828 0
/proc/55919/statm: 1048 768 704 219 0 110 0
[pid=55922] ppid=55919 vsize=641316 memory=521024 CPUtime=3153.73 cores=5,7
/proc/55922/stat : 55922 (roundingsat) R 55919 55919 54907 0 -1 4194304 104650 0 0 0 313668 1705 0 0 20 0 1 0 55928420 656707584 130256 18446744073709551615 4227072 8923433 140723782580368 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22671360 140723782584676 140723782584872 140723782584872 140723782590442 0
/proc/55922/statm: 160329 130256 2368 1147 0 147756 0
Current children cumulated CPU time: 3153.84 s
Current children cumulated vsize: 645508 KiB
Current children cumulated memory: 524096 KiB
[startup+3222.3 s]
/proc/loadavg: 4.36 4.18 4.12 5/269 56378
/proc/meminfo: memFree=127938148/131250000 swapFree=33010684/33010684
[pid=55919] ppid=55916 vsize=4192 memory=3072 CPUtime=0.11 cores=5,7
/proc/55919/stat : 55919 (run-opt-break.s) S 55916 55919 54907 0 -1 4194304 237 2644 0 0 0 0 11 0 20 0 1 0 55928407 4292608 768 18446744073709551615 94021861236736 94021862131269 140731149721936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94021862370320 94021862418064 94021865779200 140731149728097 140731149728226 140731149728226 140731149733828 0
/proc/55919/statm: 1048 768 704 219 0 110 0
[pid=55922] ppid=55919 vsize=641316 memory=521536 CPUtime=3213.57 cores=5,7
/proc/55922/stat : 55922 (roundingsat) R 55919 55919 54907 0 -1 4194304 104688 0 0 0 319622 1735 0 0 20 0 1 0 55928420 656707584 130384 18446744073709551615 4227072 8923433 140723782580368 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22671360 140723782584676 140723782584872 140723782584872 140723782590442 0
/proc/55922/statm: 160329 130384 2368 1147 0 147756 0
Current children cumulated CPU time: 3213.68 s
Current children cumulated vsize: 645508 KiB
Current children cumulated memory: 524608 KiB
[startup+3282.3 s]
/proc/loadavg: 4.17 4.16 4.11 5/269 56384
/proc/meminfo: memFree=127906460/131250000 swapFree=33010684/33010684
[pid=55919] ppid=55916 vsize=4192 memory=3072 CPUtime=0.11 cores=5,7
/proc/55919/stat : 55919 (run-opt-break.s) S 55916 55919 54907 0 -1 4194304 237 2644 0 0 0 0 11 0 20 0 1 0 55928407 4292608 768 18446744073709551615 94021861236736 94021862131269 140731149721936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94021862370320 94021862418064 94021865779200 140731149728097 140731149728226 140731149728226 140731149733828 0
/proc/55919/statm: 1048 768 704 219 0 110 0
[pid=55922] ppid=55919 vsize=641316 memory=524480 CPUtime=3273.4 cores=5,7
/proc/55922/stat : 55922 (roundingsat) R 55919 55919 54907 0 -1 4194304 104714 0 0 0 325582 1758 0 0 20 0 1 0 55928420 656707584 131120 18446744073709551615 4227072 8923433 140723782580368 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22671360 140723782584676 140723782584872 140723782584872 140723782590442 0
/proc/55922/statm: 160329 131120 2368 1147 0 147756 0
Current children cumulated CPU time: 3273.51 s
Current children cumulated vsize: 645508 KiB
Current children cumulated memory: 527552 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.14 4.11 5/269 56386
/proc/meminfo: memFree=127704344/131250000 swapFree=33010684/33010684
[pid=55919] ppid=55916 vsize=4192 memory=3072 CPUtime=0.11 cores=5,7
/proc/55919/stat : 55919 (run-opt-break.s) S 55916 55919 54907 0 -1 4194304 237 2644 0 0 0 0 11 0 20 0 1 0 55928407 4292608 768 18446744073709551615 94021861236736 94021862131269 140731149721936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94021862370320 94021862418064 94021865779200 140731149728097 140731149728226 140731149728226 140731149733828 0
/proc/55919/statm: 1048 768 704 219 0 110 0
[pid=55922] ppid=55919 vsize=641316 memory=536256 CPUtime=3333.25 cores=5,7
/proc/55922/stat : 55922 (roundingsat) R 55919 55919 54907 0 -1 4194304 104734 0 0 0 331543 1782 0 0 20 0 1 0 55928420 656707584 134064 18446744073709551615 4227072 8923433 140723782580368 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22671360 140723782584676 140723782584872 140723782584872 140723782590442 0
/proc/55922/statm: 160329 134064 2368 1147 0 147756 0
Current children cumulated CPU time: 3333.36 s
Current children cumulated vsize: 645508 KiB
Current children cumulated memory: 539328 KiB
[startup+3402.3 s]
/proc/loadavg: 4.27 4.20 4.13 5/266 56388
/proc/meminfo: memFree=127637964/131250000 swapFree=33010684/33010684
[pid=55919] ppid=55916 vsize=4192 memory=3072 CPUtime=0.11 cores=5,7
/proc/55919/stat : 55919 (run-opt-break.s) S 55916 55919 54907 0 -1 4194304 237 2644 0 0 0 0 11 0 20 0 1 0 55928407 4292608 768 18446744073709551615 94021861236736 94021862131269 140731149721936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94021862370320 94021862418064 94021865779200 140731149728097 140731149728226 140731149728226 140731149733828 0
/proc/55919/statm: 1048 768 704 219 0 110 0
[pid=55922] ppid=55919 vsize=641316 memory=559424 CPUtime=3393.08 cores=5,7
/proc/55922/stat : 55922 (roundingsat) R 55919 55919 54907 0 -1 4194304 104745 0 0 0 337503 1805 0 0 20 0 1 0 55928420 656707584 139856 18446744073709551615 4227072 8923433 140723782580368 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22671360 140723782584676 140723782584872 140723782584872 140723782590442 0
/proc/55922/statm: 160329 139856 2368 1147 0 147756 0
Current children cumulated CPU time: 3393.19 s
Current children cumulated vsize: 645508 KiB
Current children cumulated memory: 562496 KiB
[startup+3462.3 s]
/proc/loadavg: 4.22 4.19 4.13 5/266 56390
/proc/meminfo: memFree=127654728/131250000 swapFree=33010684/33010684
[pid=55919] ppid=55916 vsize=4192 memory=3072 CPUtime=0.11 cores=5,7
/proc/55919/stat : 55919 (run-opt-break.s) S 55916 55919 54907 0 -1 4194304 237 2644 0 0 0 0 11 0 20 0 1 0 55928407 4292608 768 18446744073709551615 94021861236736 94021862131269 140731149721936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94021862370320 94021862418064 94021865779200 140731149728097 140731149728226 140731149728226 140731149733828 0
/proc/55919/statm: 1048 768 704 219 0 110 0
[pid=55922] ppid=55919 vsize=641316 memory=561088 CPUtime=3452.93 cores=5,7
/proc/55922/stat : 55922 (roundingsat) R 55919 55919 54907 0 -1 4194304 104757 0 0 0 343464 1829 0 0 20 0 1 0 55928420 656707584 140272 18446744073709551615 4227072 8923433 140723782580368 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22671360 140723782584676 140723782584872 140723782584872 140723782590442 0
/proc/55922/statm: 160329 140272 2368 1147 0 147756 0
Current children cumulated CPU time: 3453.04 s
Current children cumulated vsize: 645508 KiB
Current children cumulated memory: 564160 KiB
[startup+3522.3 s]
/proc/loadavg: 4.48 4.25 4.15 5/266 56392
/proc/meminfo: memFree=127622620/131250000 swapFree=33010684/33010684
[pid=55919] ppid=55916 vsize=4192 memory=3072 CPUtime=0.11 cores=5,7
/proc/55919/stat : 55919 (run-opt-break.s) S 55916 55919 54907 0 -1 4194304 237 2644 0 0 0 0 11 0 20 0 1 0 55928407 4292608 768 18446744073709551615 94021861236736 94021862131269 140731149721936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94021862370320 94021862418064 94021865779200 140731149728097 140731149728226 140731149728226 140731149733828 0
/proc/55919/statm: 1048 768 704 219 0 110 0
[pid=55922] ppid=55919 vsize=641316 memory=561088 CPUtime=3512.78 cores=5,7
/proc/55922/stat : 55922 (roundingsat) R 55919 55919 54907 0 -1 4194304 104757 0 0 0 349420 1858 0 0 20 0 1 0 55928420 656707584 140272 18446744073709551615 4227072 8923433 140723782580368 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22671360 140723782584676 140723782584872 140723782584872 140723782590442 0
/proc/55922/statm: 160329 140272 2368 1147 0 147756 0
Current children cumulated CPU time: 3512.89 s
Current children cumulated vsize: 645508 KiB
Current children cumulated memory: 564160 KiB
[startup+3582.3 s]
/proc/loadavg: 4.21 4.22 4.15 5/266 56394
/proc/meminfo: memFree=127595412/131250000 swapFree=33010684/33010684
[pid=55919] ppid=55916 vsize=4192 memory=3072 CPUtime=0.11 cores=5,7
/proc/55919/stat : 55919 (run-opt-break.s) S 55916 55919 54907 0 -1 4194304 237 2644 0 0 0 0 11 0 20 0 1 0 55928407 4292608 768 18446744073709551615 94021861236736 94021862131269 140731149721936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94021862370320 94021862418064 94021865779200 140731149728097 140731149728226 140731149728226 140731149733828 0
/proc/55919/statm: 1048 768 704 219 0 110 0
[pid=55922] ppid=55919 vsize=641316 memory=561088 CPUtime=3572.63 cores=5,7
/proc/55922/stat : 55922 (roundingsat) R 55919 55919 54907 0 -1 4194304 104757 0 0 0 355378 1885 0 0 20 0 1 0 55928420 656707584 140272 18446744073709551615 4227072 8923433 140723782580368 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22671360 140723782584676 140723782584872 140723782584872 140723782590442 0
/proc/55922/statm: 160329 140272 2368 1147 0 147756 0
Current children cumulated CPU time: 3572.74 s
Current children cumulated vsize: 645508 KiB
Current children cumulated memory: 564160 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.7 s]
/proc/loadavg: 4.18 4.21 4.15 5/266 56396
/proc/meminfo: memFree=127567500/131250000 swapFree=33010684/33010684
[pid=55919] ppid=55916 vsize=4192 memory=3072 CPUtime=0.11 cores=5,7
/proc/55919/stat : 55919 (run-opt-break.s) S 55916 55919 54907 0 -1 4194304 237 2644 0 0 0 0 11 0 20 0 1 0 55928407 4292608 768 18446744073709551615 94021861236736 94021862131269 140731149721936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94021862370320 94021862418064 94021865779200 140731149728097 140731149728226 140731149728226 140731149733828 0
/proc/55919/statm: 1048 768 704 219 0 110 0
[pid=55922] ppid=55919 vsize=641316 memory=561088 CPUtime=3599.97 cores=5,7
/proc/55922/stat : 55922 (roundingsat) R 55919 55919 54907 0 -1 4194304 104757 0 0 0 358099 1898 0 0 20 0 1 0 55928420 656707584 140272 18446744073709551615 4227072 8923433 140723782580368 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22671360 140723782584676 140723782584872 140723782584872 140723782590442 0
/proc/55922/statm: 160329 140272 2368 1147 0 147756 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 645508 KiB
Current children cumulated memory: 564160 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.7 s]
# the end of solver process 55919 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.11557 s, system=0.003978 s
Sleeping 2 seconds
[startup+3609.71 s]
# the end of solver process 55922 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3581.11 s, system=18.9914 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.7 s]
/proc/loadavg: 4.18 4.21 4.15 5/266 56396
/proc/meminfo: memFree=127567500/131250000 swapFree=33010684/33010684
[pid=55919] ppid=55916 vsize=4192 memory=3072 CPUtime=0.11 cores=5,7
/proc/55919/stat : 55919 (run-opt-break.s) S 55916 55919 54907 0 -1 4194304 237 2644 0 0 0 0 11 0 20 0 1 0 55928407 4292608 768 18446744073709551615 94021861236736 94021862131269 140731149721936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94021862370320 94021862418064 94021865779200 140731149728097 140731149728226 140731149728226 140731149733828 0
/proc/55919/statm: 1048 768 704 219 0 110 0
[pid=55922] ppid=55919 vsize=641316 memory=561088 CPUtime=3599.97 cores=5,7
/proc/55922/stat : 55922 (roundingsat) R 55919 55919 54907 0 -1 4194304 104757 0 0 0 358099 1898 0 0 20 0 1 0 55928420 656707584 140272 18446744073709551615 4227072 8923433 140723782580368 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22671360 140723782584676 140723782584872 140723782584872 140723782590442 0
/proc/55922/statm: 160329 140272 2368 1147 0 147756 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 645508 KiB
Current children cumulated memory: 564160 KiB
Child status: 2
Real time (s): 3609.71
CPU time (s): 3600.1
CPU user time (s): 3581.11
CPU system time (s): 18.9914
CPU usage (%): 99.7339
Max. virtual memory (cumulated for all children) (KiB): 645508
Max. memory (cumulated for all children) (KiB): 564160
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.11
system time used= 18.9914
maximum resident set size= 561472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 107660
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2016
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 305
involuntary context switches= 2879
# summary of solver processes directly reported to runsolver:
# pid: 55919,55922
# total CPU time (s): 3600.1
# total CPU user time (s): 3581.11
# total CPU system time (s): 18.9914
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.41315 second user time and 16.5231 second system time
The end
Begin job on nodeC028 at 2025-07-01 22:50:59
IDJOB=4499078
IDBENCH=148770
IDSOLVER=3359
FILE ID=nodeC028/4499078-1751403059
RUNJOBID= nodeC028-1751398701-54923
SLURM_JOB_ID= 9598282
Free space on /tmp= 432772 MiB
SOLVER NAME= roundingsat+pbsuma-opt 63f22ad
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx49.opb
COMMAND LINE= run-opt-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4499078-1751403059/watcher-4499078-1751403059 -o /tmp/evaluation-result-4499078-1751403059/solver-4499078-1751403059 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751398701-54923 --watchdog 3760 run-opt-break.sh HOME/instance-4499078-1751403059.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= bb00c8681178995acecbc2b6e4ec1a1a
RANDOM SEED=211162186
nodeC028 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.101
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.113
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3601.006
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3570.589
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.083
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3601.058
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3597.577
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.088
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 111962604 kB
MemAvailable: 112254380 kB
Buffers: 3280 kB
Cached: 1097960 kB
SwapCached: 0 kB
Active: 17808492 kB
Inactive: 788832 kB
Active(anon): 17514152 kB
Inactive(anon): 0 kB
Active(file): 294340 kB
Inactive(file): 788832 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7356 kB
Writeback: 0 kB
AnonPages: 17499200 kB
Mapped: 117536 kB
Shmem: 18068 kB
KReclaimable: 95688 kB
Slab: 182416 kB
SReclaimable: 95688 kB
SUnreclaim: 86728 kB
KernelStack: 4400 kB
PageTables: 38976 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 20608968 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150648 kB
VmallocChunk: 0 kB
Percpu: 3712 kB
HardwareCorrupted: 0 kB
AnonHugePages: 4608000 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 197332 kB
DirectMap2M: 7962624 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432888 MiB
End job on nodeC028 at 2025-07-01 23:51:09