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-4499076-1751404770.opb'
0.00/0.01 c read 0.21MB (2.72ms)
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.01 c [group: #orbits ~= 36] (2.57ms)
0.00/0.01 c
0.00/0.01 c detect special group actions
0.00/0.01 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.03 c found row 5x852, generating row predicate
0.00/0.04 c (20.68ms)
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.64ms)
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.07 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 (74.31ms)
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.40ms)
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-4499076-1751404770.opb.pre'
0.08/0.13 c wrote 1.03MB (2.44ms)
0.08/0.13 c ------------------------------------------------------------------
0.08/0.13 c 74.31ms 62.99% optimize_gens
0.08/0.13 c 20.68ms 17.53% detect_special
0.08/0.13 c 10.64ms 9.02% detect_generic
0.08/0.13 c 3.40ms 2.88% break_generic
0.08/0.13 c 2.72ms 2.31% parse
0.08/0.13 c 2.57ms 2.18% approx_orbits
0.08/0.13 c 2.44ms 2.07% output
0.08/0.13 c 0.64ms 0.54% finalize_order
0.08/0.13 c 0.57ms 0.48% other
0.08/0.13 c ───────────────────────────────────────────────
0.08/0.13 c 117.98ms 100% total
0.08/0.13 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.26 c #variables 9705 #constraints 25844
0.17/0.26 c objective is ce32
0.26/0.32 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.26/0.32 c initial counting CF 32, 64, 128, Arb: 321 , 0 , 0 , 0
0.26/0.32 c bounds - >= 0 @ 0.144167
0.76/0.87 c #Conflicts: 1000 | #Constraints: 26843
0.76/0.87 c #Conflicts: 2000 | #Constraints: 27843
0.76/0.87 c INPROCESSING
0.76/0.87 c GARBAGE COLLECT
0.76/0.87 c rational objective 5
2.25/2.39 c #Conflicts: 3000 | #Constraints: 25668
2.25/2.39 c #Conflicts: 4000 | #Constraints: 26669
2.25/2.39 c INPROCESSING
2.25/2.39 c GARBAGE COLLECT
2.25/2.39 c rational objective 5
4.24/4.32 c #Conflicts: 5000 | #Constraints: 25986
4.24/4.32 c #Conflicts: 6000 | #Constraints: 26987
4.24/4.32 c INPROCESSING
4.24/4.32 c GARBAGE COLLECT
4.24/4.32 c rational objective 5
5.74/5.88 c #Conflicts: 7000 | #Constraints: 25956
5.74/5.88 c #Conflicts: 8000 | #Constraints: 26956
5.74/5.88 c #Conflicts: 9000 | #Constraints: 27956
5.74/5.88 c INPROCESSING
5.74/5.88 c GARBAGE COLLECT
5.74/5.88 c rational objective 5
7.34/7.40 c #Conflicts: 10000 | #Constraints: 26647
7.34/7.40 c #Conflicts: 11000 | #Constraints: 27648
7.34/7.40 c #Conflicts: 12000 | #Constraints: 28648
7.34/7.40 c INPROCESSING
7.34/7.40 c GARBAGE COLLECT
7.34/7.40 c rational objective 5
9.23/9.37 c #Conflicts: 13000 | #Constraints: 27100
9.23/9.37 c #Conflicts: 14000 | #Constraints: 28100
9.23/9.37 c #Conflicts: 15000 | #Constraints: 29104
9.23/9.37 c INPROCESSING
9.23/9.37 c GARBAGE COLLECT
9.23/9.37 c rational objective 5
11.32/11.48 c #Conflicts: 16000 | #Constraints: 27327
11.32/11.48 c #Conflicts: 17000 | #Constraints: 28327
11.32/11.48 c #Conflicts: 18000 | #Constraints: 29327
11.32/11.48 c INPROCESSING
11.32/11.48 c GARBAGE COLLECT
11.32/11.48 c rational objective 5
13.12/13.29 c #Conflicts: 19000 | #Constraints: 27348
13.12/13.29 c #Conflicts: 20000 | #Constraints: 28348
13.12/13.29 c #Conflicts: 21000 | #Constraints: 29349
13.12/13.29 c INPROCESSING
13.12/13.29 c GARBAGE COLLECT
13.12/13.29 c rational objective 5
15.02/15.17 c #Conflicts: 22000 | #Constraints: 27137
15.02/15.17 c #Conflicts: 23000 | #Constraints: 28137
15.02/15.17 c #Conflicts: 24000 | #Constraints: 29138
15.02/15.17 c #Conflicts: 25000 | #Constraints: 30140
15.02/15.17 c INPROCESSING
15.02/15.17 c GARBAGE COLLECT
15.02/15.17 c rational objective 5
17.71/17.85 c #Conflicts: 26000 | #Constraints: 27726
17.71/17.85 c #Conflicts: 27000 | #Constraints: 28726
17.71/17.85 c #Conflicts: 28000 | #Constraints: 29728
17.71/17.85 c #Conflicts: 29000 | #Constraints: 30731
17.71/17.85 c INPROCESSING
17.71/17.85 c GARBAGE COLLECT
17.71/17.85 c rational objective 5
20.30/20.45 c #Conflicts: 30000 | #Constraints: 27914
20.30/20.45 c #Conflicts: 31000 | #Constraints: 28914
20.30/20.45 c #Conflicts: 32000 | #Constraints: 29916
20.30/20.45 c #Conflicts: 33000 | #Constraints: 30918
20.30/20.45 c INPROCESSING
20.30/20.45 c GARBAGE COLLECT
20.30/20.45 c rational objective 5
23.10/23.28 c #Conflicts: 34000 | #Constraints: 28066
23.10/23.28 c #Conflicts: 35000 | #Constraints: 29066
23.10/23.28 c #Conflicts: 36000 | #Constraints: 30075
23.10/23.28 c #Conflicts: 37000 | #Constraints: 31077
23.10/23.28 c INPROCESSING
23.10/23.28 c GARBAGE COLLECT
23.10/23.28 c rational objective 5
26.49/26.69 c #Conflicts: 38000 | #Constraints: 28066
26.49/26.69 c #Conflicts: 39000 | #Constraints: 29066
26.49/26.69 c #Conflicts: 40000 | #Constraints: 30066
26.49/26.69 c #Conflicts: 41000 | #Constraints: 31068
26.49/26.69 c INPROCESSING
26.49/26.69 c GARBAGE COLLECT
26.49/26.69 c rational objective 5
30.67/30.84 c #Conflicts: 42000 | #Constraints: 27859
30.67/30.84 c #Conflicts: 43000 | #Constraints: 28859
30.67/30.84 c #Conflicts: 44000 | #Constraints: 29862
30.67/30.84 c #Conflicts: 45000 | #Constraints: 30862
30.67/30.84 c #Conflicts: 46000 | #Constraints: 31863
30.67/30.84 c INPROCESSING
30.67/30.84 c GARBAGE COLLECT
30.67/30.84 c rational objective 5
34.07/34.22 c #Conflicts: 47000 | #Constraints: 28351
34.07/34.22 c #Conflicts: 48000 | #Constraints: 29352
34.07/34.22 c #Conflicts: 49000 | #Constraints: 30352
34.07/34.22 c #Conflicts: 50000 | #Constraints: 31354
34.07/34.22 c #Conflicts: 51000 | #Constraints: 32357
34.07/34.22 c INPROCESSING
34.07/34.22 c GARBAGE COLLECT
34.07/34.22 c rational objective 5
38.56/38.77 c #Conflicts: 52000 | #Constraints: 28726
38.56/38.77 c #Conflicts: 53000 | #Constraints: 29726
38.56/38.77 c #Conflicts: 54000 | #Constraints: 30730
38.56/38.77 c #Conflicts: 55000 | #Constraints: 31730
38.56/38.77 c #Conflicts: 56000 | #Constraints: 32732
38.56/38.77 c INPROCESSING
38.56/38.77 c GARBAGE COLLECT
38.56/38.77 c rational objective 5
42.35/42.54 c #Conflicts: 57000 | #Constraints: 28933
42.35/42.54 c #Conflicts: 58000 | #Constraints: 29933
42.35/42.54 c #Conflicts: 59000 | #Constraints: 30934
42.35/42.54 c #Conflicts: 60000 | #Constraints: 31937
42.35/42.54 c #Conflicts: 61000 | #Constraints: 32939
42.35/42.54 c INPROCESSING
42.35/42.54 c GARBAGE COLLECT
42.35/42.54 c rational objective 5
45.54/45.78 c #Conflicts: 62000 | #Constraints: 28899
45.54/45.78 c #Conflicts: 63000 | #Constraints: 29899
45.54/45.78 c #Conflicts: 64000 | #Constraints: 30899
45.54/45.78 c #Conflicts: 65000 | #Constraints: 31900
45.54/45.78 c #Conflicts: 66000 | #Constraints: 32902
45.54/45.78 c INPROCESSING
45.54/45.78 c GARBAGE COLLECT
45.54/45.78 c rational objective 5
49.93/50.16 c #Conflicts: 67000 | #Constraints: 28678
49.93/50.16 c #Conflicts: 68000 | #Constraints: 29678
49.93/50.16 c #Conflicts: 69000 | #Constraints: 30679
49.93/50.16 c #Conflicts: 70000 | #Constraints: 31681
49.93/50.16 c #Conflicts: 71000 | #Constraints: 32683
49.93/50.16 c #Conflicts: 72000 | #Constraints: 33685
49.93/50.16 c INPROCESSING
49.93/50.16 c GARBAGE COLLECT
49.93/50.16 c rational objective 5
55.41/55.61 c #Conflicts: 73000 | #Constraints: 29162
55.41/55.61 c #Conflicts: 74000 | #Constraints: 30163
55.41/55.61 c #Conflicts: 75000 | #Constraints: 31165
55.41/55.61 c #Conflicts: 76000 | #Constraints: 32166
55.41/55.61 c #Conflicts: 77000 | #Constraints: 33167
55.41/55.61 c #Conflicts: 78000 | #Constraints: 34169
55.41/55.61 c INPROCESSING
55.41/55.61 c GARBAGE COLLECT
55.41/55.61 c rational objective 5
60.30/60.57 c #Conflicts: 79000 | #Constraints: 29536
60.30/60.57 c #Conflicts: 80000 | #Constraints: 30536
60.30/60.57 c #Conflicts: 81000 | #Constraints: 31541
60.30/60.57 c #Conflicts: 82000 | #Constraints: 32543
60.30/60.57 c #Conflicts: 83000 | #Constraints: 33544
60.30/60.57 c #Conflicts: 84000 | #Constraints: 34548
60.30/60.57 c INPROCESSING
60.30/60.57 c GARBAGE COLLECT
60.30/60.57 c rational objective 5
65.29/65.59 c #Conflicts: 85000 | #Constraints: 29665
65.29/65.59 c #Conflicts: 86000 | #Constraints: 30665
65.29/65.59 c #Conflicts: 87000 | #Constraints: 31665
65.29/65.59 c #Conflicts: 88000 | #Constraints: 32667
65.29/65.59 c #Conflicts: 89000 | #Constraints: 33668
65.29/65.59 c #Conflicts: 90000 | #Constraints: 34669
65.29/65.59 c INPROCESSING
65.29/65.59 c GARBAGE COLLECT
65.29/65.59 c rational objective 5
71.27/71.58 c #Conflicts: 91000 | #Constraints: 29673
71.27/71.58 c #Conflicts: 92000 | #Constraints: 30674
71.27/71.58 c #Conflicts: 93000 | #Constraints: 31675
71.27/71.58 c #Conflicts: 94000 | #Constraints: 32677
71.27/71.58 c #Conflicts: 95000 | #Constraints: 33678
71.27/71.58 c #Conflicts: 96000 | #Constraints: 34678
71.27/71.58 c INPROCESSING
71.27/71.58 c GARBAGE COLLECT
71.27/71.58 c rational objective 5
79.05/79.32 c #Conflicts: 97000 | #Constraints: 29476
79.05/79.32 c #Conflicts: 98000 | #Constraints: 30476
79.05/79.32 c #Conflicts: 99000 | #Constraints: 31476
79.05/79.32 c #Conflicts: 100000 | #Constraints: 32476
79.05/79.32 c #Conflicts: 101000 | #Constraints: 33478
79.05/79.32 c #Conflicts: 102000 | #Constraints: 34480
79.05/79.32 c #Conflicts: 103000 | #Constraints: 35481
79.05/79.32 c INPROCESSING
79.05/79.32 c GARBAGE COLLECT
79.05/79.32 c rational objective 5
85.44/85.73 c #Conflicts: 104000 | #Constraints: 30058
85.44/85.73 c #Conflicts: 105000 | #Constraints: 31060
85.44/85.73 c #Conflicts: 106000 | #Constraints: 32062
85.44/85.73 c #Conflicts: 107000 | #Constraints: 33064
85.44/85.73 c #Conflicts: 108000 | #Constraints: 34065
85.44/85.73 c #Conflicts: 109000 | #Constraints: 35067
85.44/85.73 c #Conflicts: 110000 | #Constraints: 36069
85.44/85.73 c INPROCESSING
85.44/85.73 c GARBAGE COLLECT
85.44/85.73 c rational objective 5
92.12/92.46 c #Conflicts: 111000 | #Constraints: 30452
92.12/92.46 c #Conflicts: 112000 | #Constraints: 31453
92.12/92.46 c #Conflicts: 113000 | #Constraints: 32457
92.12/92.46 c #Conflicts: 114000 | #Constraints: 33464
92.12/92.46 c #Conflicts: 115000 | #Constraints: 34466
92.12/92.46 c #Conflicts: 116000 | #Constraints: 35470
92.12/92.46 c #Conflicts: 117000 | #Constraints: 36473
92.12/92.46 c INPROCESSING
92.12/92.46 c GARBAGE COLLECT
92.12/92.46 c rational objective 5
99.10/99.48 c #Conflicts: 118000 | #Constraints: 30604
99.10/99.48 c #Conflicts: 119000 | #Constraints: 31604
99.10/99.48 c #Conflicts: 120000 | #Constraints: 32605
99.10/99.48 c #Conflicts: 121000 | #Constraints: 33608
99.10/99.48 c #Conflicts: 122000 | #Constraints: 34610
99.10/99.48 c #Conflicts: 123000 | #Constraints: 35610
99.10/99.48 c #Conflicts: 124000 | #Constraints: 36610
99.10/99.48 c INPROCESSING
99.10/99.48 c GARBAGE COLLECT
99.10/99.48 c rational objective 5
106.79/107.11 c #Conflicts: 125000 | #Constraints: 30616
106.79/107.11 c #Conflicts: 126000 | #Constraints: 31616
106.79/107.11 c #Conflicts: 127000 | #Constraints: 32618
106.79/107.11 c #Conflicts: 128000 | #Constraints: 33620
106.79/107.11 c #Conflicts: 129000 | #Constraints: 34626
106.79/107.11 c #Conflicts: 130000 | #Constraints: 35629
106.79/107.11 c #Conflicts: 131000 | #Constraints: 36634
106.79/107.11 c INPROCESSING
106.79/107.11 c GARBAGE COLLECT
106.79/107.11 c rational objective 5
113.46/113.86 c #Conflicts: 132000 | #Constraints: 30315
113.46/113.86 c #Conflicts: 133000 | #Constraints: 31315
113.46/113.86 c #Conflicts: 134000 | #Constraints: 32315
113.46/113.86 c #Conflicts: 135000 | #Constraints: 33315
113.46/113.86 c #Conflicts: 136000 | #Constraints: 34317
113.46/113.86 c #Conflicts: 137000 | #Constraints: 35319
113.46/113.86 c #Conflicts: 138000 | #Constraints: 36320
113.46/113.86 c #Conflicts: 139000 | #Constraints: 37322
113.46/113.86 c INPROCESSING
113.46/113.86 c GARBAGE COLLECT
113.46/113.86 c rational objective 5
119.24/119.67 c #Conflicts: 140000 | #Constraints: 30909
119.24/119.67 c #Conflicts: 141000 | #Constraints: 31909
119.24/119.67 c #Conflicts: 142000 | #Constraints: 32909
119.24/119.67 c #Conflicts: 143000 | #Constraints: 33912
119.24/119.67 c #Conflicts: 144000 | #Constraints: 34916
119.24/119.67 c #Conflicts: 145000 | #Constraints: 35920
119.24/119.67 c #Conflicts: 146000 | #Constraints: 36921
119.24/119.67 c #Conflicts: 147000 | #Constraints: 37923
119.24/119.67 c INPROCESSING
119.24/119.67 c GARBAGE COLLECT
119.24/119.67 c rational objective 5
125.33/125.78 c #Conflicts: 148000 | #Constraints: 31276
125.33/125.78 c #Conflicts: 149000 | #Constraints: 32276
125.33/125.78 c #Conflicts: 150000 | #Constraints: 33280
125.33/125.78 c #Conflicts: 151000 | #Constraints: 34283
125.33/125.78 c #Conflicts: 152000 | #Constraints: 35284
125.33/125.78 c #Conflicts: 153000 | #Constraints: 36288
125.33/125.78 c #Conflicts: 154000 | #Constraints: 37293
125.33/125.78 c #Conflicts: 155000 | #Constraints: 38300
125.33/125.78 c INPROCESSING
125.33/125.78 c GARBAGE COLLECT
125.33/125.78 c rational objective 5
133.80/134.22 c #Conflicts: 156000 | #Constraints: 31340
133.80/134.22 c #Conflicts: 157000 | #Constraints: 32340
133.80/134.22 c #Conflicts: 158000 | #Constraints: 33342
133.80/134.22 c #Conflicts: 159000 | #Constraints: 34345
133.80/134.22 c #Conflicts: 160000 | #Constraints: 35347
133.80/134.22 c #Conflicts: 161000 | #Constraints: 36347
133.80/134.22 c #Conflicts: 162000 | #Constraints: 37348
133.80/134.22 c #Conflicts: 163000 | #Constraints: 38350
133.80/134.22 c INPROCESSING
133.80/134.22 c GARBAGE COLLECT
133.80/134.22 c rational objective 5
144.18/144.66 c #Conflicts: 164000 | #Constraints: 31240
144.18/144.66 c #Conflicts: 165000 | #Constraints: 32240
144.18/144.66 c #Conflicts: 166000 | #Constraints: 33240
144.18/144.66 c #Conflicts: 167000 | #Constraints: 34243
144.18/144.66 c #Conflicts: 168000 | #Constraints: 35245
144.18/144.66 c #Conflicts: 169000 | #Constraints: 36248
144.18/144.66 c #Conflicts: 170000 | #Constraints: 37252
144.18/144.66 c #Conflicts: 171000 | #Constraints: 38253
144.18/144.66 c INPROCESSING
144.18/144.66 c GARBAGE COLLECT
144.18/144.66 c rational objective 5
151.26/151.76 c #Conflicts: 172000 | #Constraints: 31040
151.26/151.76 c #Conflicts: 173000 | #Constraints: 32040
151.26/151.76 c #Conflicts: 174000 | #Constraints: 33040
151.26/151.76 c #Conflicts: 175000 | #Constraints: 34040
151.26/151.76 c #Conflicts: 176000 | #Constraints: 35040
151.26/151.76 c #Conflicts: 177000 | #Constraints: 36040
151.26/151.76 c #Conflicts: 178000 | #Constraints: 37040
151.26/151.76 c #Conflicts: 179000 | #Constraints: 38040
151.26/151.76 c #Conflicts: 180000 | #Constraints: 39041
151.26/151.76 c INPROCESSING
151.26/151.76 c GARBAGE COLLECT
151.26/151.76 c rational objective 5
159.04/159.56 c #Conflicts: 181000 | #Constraints: 31641
159.04/159.56 c #Conflicts: 182000 | #Constraints: 32641
159.04/159.56 c #Conflicts: 183000 | #Constraints: 33642
159.04/159.56 c #Conflicts: 184000 | #Constraints: 34642
159.04/159.56 c #Conflicts: 185000 | #Constraints: 35642
159.04/159.56 c #Conflicts: 186000 | #Constraints: 36644
159.04/159.56 c #Conflicts: 187000 | #Constraints: 37648
159.04/159.56 c #Conflicts: 188000 | #Constraints: 38653
159.04/159.56 c #Conflicts: 189000 | #Constraints: 39655
159.04/159.56 c INPROCESSING
159.04/159.56 c GARBAGE COLLECT
159.04/159.56 c rational objective 5
166.72/167.20 c #Conflicts: 190000 | #Constraints: 32037
166.72/167.20 c #Conflicts: 191000 | #Constraints: 33037
166.72/167.20 c #Conflicts: 192000 | #Constraints: 34038
166.72/167.20 c #Conflicts: 193000 | #Constraints: 35040
166.72/167.20 c #Conflicts: 194000 | #Constraints: 36040
166.72/167.20 c #Conflicts: 195000 | #Constraints: 37040
166.72/167.20 c #Conflicts: 196000 | #Constraints: 38040
166.72/167.20 c #Conflicts: 197000 | #Constraints: 39040
166.72/167.20 c #Conflicts: 198000 | #Constraints: 40041
166.72/167.20 c INPROCESSING
166.72/167.20 c GARBAGE COLLECT
166.72/167.20 c rational objective 5
180.38/180.99 c #Conflicts: 199000 | #Constraints: 32232
180.38/180.99 c #Conflicts: 200000 | #Constraints: 33235
180.38/180.99 c #Conflicts: 201000 | #Constraints: 34238
180.38/180.99 c #Conflicts: 202000 | #Constraints: 35240
180.38/180.99 c #Conflicts: 203000 | #Constraints: 36242
180.38/180.99 c #Conflicts: 204000 | #Constraints: 37244
180.38/180.99 c #Conflicts: 205000 | #Constraints: 38246
180.38/180.99 c #Conflicts: 206000 | #Constraints: 39248
180.38/180.99 c #Conflicts: 207000 | #Constraints: 40249
180.38/180.99 c INPROCESSING
180.38/180.99 c GARBAGE COLLECT
180.38/180.99 c rational objective 5
191.46/192.08 c #Conflicts: 208000 | #Constraints: 32253
191.46/192.08 c #Conflicts: 209000 | #Constraints: 33253
191.46/192.08 c #Conflicts: 210000 | #Constraints: 34253
191.46/192.08 c #Conflicts: 211000 | #Constraints: 35255
191.46/192.08 c #Conflicts: 212000 | #Constraints: 36256
191.46/192.08 c #Conflicts: 213000 | #Constraints: 37258
191.46/192.08 c #Conflicts: 214000 | #Constraints: 38259
191.46/192.08 c #Conflicts: 215000 | #Constraints: 39262
191.46/192.08 c #Conflicts: 216000 | #Constraints: 40264
191.46/192.08 c INPROCESSING
191.46/192.08 c GARBAGE COLLECT
191.46/192.08 c rational objective 5
202.53/203.12 c #Conflicts: 217000 | #Constraints: 32050
202.53/203.12 c #Conflicts: 218000 | #Constraints: 33050
202.53/203.12 c #Conflicts: 219000 | #Constraints: 34051
202.53/203.12 c #Conflicts: 220000 | #Constraints: 35052
202.53/203.12 c #Conflicts: 221000 | #Constraints: 36054
202.53/203.12 c #Conflicts: 222000 | #Constraints: 37055
202.53/203.12 c #Conflicts: 223000 | #Constraints: 38056
202.53/203.12 c #Conflicts: 224000 | #Constraints: 39057
202.53/203.12 c #Conflicts: 225000 | #Constraints: 40058
202.53/203.12 c #Conflicts: 226000 | #Constraints: 41058
202.53/203.12 c INPROCESSING
202.53/203.12 c GARBAGE COLLECT
202.53/203.12 c rational objective 5
210.90/211.59 c #Conflicts: 227000 | #Constraints: 32676
210.90/211.59 c #Conflicts: 228000 | #Constraints: 33676
210.90/211.59 c #Conflicts: 229000 | #Constraints: 34676
210.90/211.59 c #Conflicts: 230000 | #Constraints: 35677
210.90/211.59 c #Conflicts: 231000 | #Constraints: 36679
210.90/211.59 c #Conflicts: 232000 | #Constraints: 37679
210.90/211.59 c #Conflicts: 233000 | #Constraints: 38682
210.90/211.59 c #Conflicts: 234000 | #Constraints: 39686
210.90/211.59 c #Conflicts: 235000 | #Constraints: 40688
210.90/211.59 c #Conflicts: 236000 | #Constraints: 41692
210.90/211.59 c INPROCESSING
210.90/211.59 c GARBAGE COLLECT
210.90/211.59 c rational objective 5
220.77/221.40 c #Conflicts: 237000 | #Constraints: 33035
220.77/221.40 c #Conflicts: 238000 | #Constraints: 34035
220.77/221.40 c #Conflicts: 239000 | #Constraints: 35037
220.77/221.40 c #Conflicts: 240000 | #Constraints: 36037
220.77/221.40 c #Conflicts: 241000 | #Constraints: 37039
220.77/221.40 c #Conflicts: 242000 | #Constraints: 38043
220.77/221.40 c #Conflicts: 243000 | #Constraints: 39045
220.77/221.40 c #Conflicts: 244000 | #Constraints: 40047
220.77/221.40 c #Conflicts: 245000 | #Constraints: 41049
220.77/221.40 c #Conflicts: 246000 | #Constraints: 42051
220.77/221.40 c INPROCESSING
220.77/221.40 c GARBAGE COLLECT
220.77/221.40 c rational objective 5
234.64/235.36 c #Conflicts: 247000 | #Constraints: 33271
234.64/235.36 c #Conflicts: 248000 | #Constraints: 34271
234.64/235.36 c #Conflicts: 249000 | #Constraints: 35271
234.64/235.36 c #Conflicts: 250000 | #Constraints: 36273
234.64/235.36 c #Conflicts: 251000 | #Constraints: 37277
234.64/235.36 c #Conflicts: 252000 | #Constraints: 38279
234.64/235.36 c #Conflicts: 253000 | #Constraints: 39280
234.64/235.36 c #Conflicts: 254000 | #Constraints: 40283
234.64/235.36 c #Conflicts: 255000 | #Constraints: 41284
234.64/235.36 c #Conflicts: 256000 | #Constraints: 42288
234.64/235.36 c INPROCESSING
234.64/235.36 c GARBAGE COLLECT
234.64/235.36 c rational objective 5
245.01/245.74 c #Conflicts: 257000 | #Constraints: 33092
245.01/245.74 c #Conflicts: 258000 | #Constraints: 34092
245.01/245.74 c #Conflicts: 259000 | #Constraints: 35092
245.01/245.74 c #Conflicts: 260000 | #Constraints: 36093
245.01/245.74 c #Conflicts: 261000 | #Constraints: 37095
245.01/245.74 c #Conflicts: 262000 | #Constraints: 38100
245.01/245.74 c #Conflicts: 263000 | #Constraints: 39102
245.01/245.74 c #Conflicts: 264000 | #Constraints: 40103
245.01/245.74 c #Conflicts: 265000 | #Constraints: 41104
245.01/245.74 c #Conflicts: 266000 | #Constraints: 42106
245.01/245.74 c INPROCESSING
245.01/245.74 c GARBAGE COLLECT
245.01/245.74 c rational objective 5
260.18/260.95 c #Conflicts: 267000 | #Constraints: 32856
260.18/260.95 c #Conflicts: 268000 | #Constraints: 33856
260.18/260.95 c #Conflicts: 269000 | #Constraints: 34859
260.18/260.95 c #Conflicts: 270000 | #Constraints: 35862
260.18/260.95 c #Conflicts: 271000 | #Constraints: 36863
260.18/260.95 c #Conflicts: 272000 | #Constraints: 37863
260.18/260.95 c #Conflicts: 273000 | #Constraints: 38865
260.18/260.95 c #Conflicts: 274000 | #Constraints: 39866
260.18/260.95 c #Conflicts: 275000 | #Constraints: 40867
260.18/260.95 c #Conflicts: 276000 | #Constraints: 41871
260.18/260.95 c #Conflicts: 277000 | #Constraints: 42872
260.18/260.95 c INPROCESSING
260.18/260.95 c GARBAGE COLLECT
260.18/260.95 c rational objective 5
270.84/271.62 c #Conflicts: 278000 | #Constraints: 33445
270.84/271.62 c #Conflicts: 279000 | #Constraints: 34446
270.84/271.62 c #Conflicts: 280000 | #Constraints: 35446
270.84/271.62 c #Conflicts: 281000 | #Constraints: 36447
270.84/271.62 c #Conflicts: 282000 | #Constraints: 37449
270.84/271.62 c #Conflicts: 283000 | #Constraints: 38450
270.84/271.62 c #Conflicts: 284000 | #Constraints: 39453
270.84/271.62 c #Conflicts: 285000 | #Constraints: 40456
270.84/271.62 c #Conflicts: 286000 | #Constraints: 41457
270.84/271.62 c #Conflicts: 287000 | #Constraints: 42459
270.84/271.62 c #Conflicts: 288000 | #Constraints: 43460
270.84/271.62 c INPROCESSING
270.84/271.62 c GARBAGE COLLECT
270.84/271.62 c rational objective 5
284.71/285.58 c #Conflicts: 289000 | #Constraints: 33808
284.71/285.58 c #Conflicts: 290000 | #Constraints: 34809
284.71/285.58 c #Conflicts: 291000 | #Constraints: 35809
284.71/285.58 c #Conflicts: 292000 | #Constraints: 36812
284.71/285.58 c #Conflicts: 293000 | #Constraints: 37814
284.71/285.58 c #Conflicts: 294000 | #Constraints: 38818
284.71/285.58 c #Conflicts: 295000 | #Constraints: 39821
284.71/285.58 c #Conflicts: 296000 | #Constraints: 40831
284.71/285.58 c #Conflicts: 297000 | #Constraints: 41834
284.71/285.58 c #Conflicts: 298000 | #Constraints: 42835
284.71/285.58 c #Conflicts: 299000 | #Constraints: 43836
284.71/285.58 c INPROCESSING
284.71/285.58 c GARBAGE COLLECT
284.71/285.58 c rational objective 5
296.48/297.36 c #Conflicts: 300000 | #Constraints: 33912
296.48/297.36 c #Conflicts: 301000 | #Constraints: 34912
296.48/297.36 c #Conflicts: 302000 | #Constraints: 35912
296.48/297.36 c #Conflicts: 303000 | #Constraints: 36912
296.48/297.36 c #Conflicts: 304000 | #Constraints: 37913
296.48/297.36 c #Conflicts: 305000 | #Constraints: 38916
296.48/297.36 c #Conflicts: 306000 | #Constraints: 39919
296.48/297.36 c #Conflicts: 307000 | #Constraints: 40921
296.48/297.36 c #Conflicts: 308000 | #Constraints: 41922
296.48/297.36 c #Conflicts: 309000 | #Constraints: 42923
296.48/297.36 c #Conflicts: 310000 | #Constraints: 43923
296.48/297.36 c INPROCESSING
296.48/297.36 c GARBAGE COLLECT
296.48/297.36 c rational objective 5
309.45/310.39 c #Conflicts: 311000 | #Constraints: 33906
309.45/310.39 c #Conflicts: 312000 | #Constraints: 34906
309.45/310.39 c #Conflicts: 313000 | #Constraints: 35908
309.45/310.39 c #Conflicts: 314000 | #Constraints: 36909
309.45/310.39 c #Conflicts: 315000 | #Constraints: 37910
309.45/310.39 c #Conflicts: 316000 | #Constraints: 38910
309.45/310.39 c #Conflicts: 317000 | #Constraints: 39910
309.45/310.39 c #Conflicts: 318000 | #Constraints: 40911
309.45/310.39 c #Conflicts: 319000 | #Constraints: 41912
309.45/310.39 c #Conflicts: 320000 | #Constraints: 42912
309.45/310.39 c #Conflicts: 321000 | #Constraints: 43913
309.45/310.39 c INPROCESSING
309.45/310.39 c GARBAGE COLLECT
309.45/310.39 c rational objective 5
330.99/331.94 c #Conflicts: 322000 | #Constraints: 33709
330.99/331.94 c #Conflicts: 323000 | #Constraints: 34710
330.99/331.94 c #Conflicts: 324000 | #Constraints: 35710
330.99/331.94 c #Conflicts: 325000 | #Constraints: 36710
330.99/331.94 c #Conflicts: 326000 | #Constraints: 37711
330.99/331.94 c #Conflicts: 327000 | #Constraints: 38712
330.99/331.94 c #Conflicts: 328000 | #Constraints: 39713
330.99/331.94 c #Conflicts: 329000 | #Constraints: 40716
330.99/331.94 c #Conflicts: 330000 | #Constraints: 41717
330.99/331.94 c #Conflicts: 331000 | #Constraints: 42720
330.99/331.94 c #Conflicts: 332000 | #Constraints: 43721
330.99/331.94 c #Conflicts: 333000 | #Constraints: 44722
330.99/331.94 c INPROCESSING
330.99/331.94 c GARBAGE COLLECT
330.99/331.94 c rational objective 5
346.05/347.04 c #Conflicts: 334000 | #Constraints: 34322
346.05/347.04 c #Conflicts: 335000 | #Constraints: 35323
346.05/347.04 c #Conflicts: 336000 | #Constraints: 36323
346.05/347.04 c #Conflicts: 337000 | #Constraints: 37325
346.05/347.04 c #Conflicts: 338000 | #Constraints: 38333
346.05/347.04 c #Conflicts: 339000 | #Constraints: 39334
346.05/347.04 c #Conflicts: 340000 | #Constraints: 40337
346.05/347.04 c #Conflicts: 341000 | #Constraints: 41339
346.05/347.04 c #Conflicts: 342000 | #Constraints: 42340
346.05/347.04 c #Conflicts: 343000 | #Constraints: 43342
346.05/347.04 c #Conflicts: 344000 | #Constraints: 44345
346.05/347.04 c #Conflicts: 345000 | #Constraints: 45346
346.05/347.04 c INPROCESSING
346.05/347.04 c GARBAGE COLLECT
346.05/347.04 c rational objective 5
360.50/361.51 c #Conflicts: 346000 | #Constraints: 34656
360.50/361.51 c #Conflicts: 347000 | #Constraints: 35656
360.50/361.51 c #Conflicts: 348000 | #Constraints: 36661
360.50/361.51 c #Conflicts: 349000 | #Constraints: 37664
360.50/361.51 c #Conflicts: 350000 | #Constraints: 38666
360.50/361.51 c #Conflicts: 351000 | #Constraints: 39669
360.50/361.51 c #Conflicts: 352000 | #Constraints: 40676
360.50/361.51 c #Conflicts: 353000 | #Constraints: 41680
360.50/361.51 c #Conflicts: 354000 | #Constraints: 42682
360.50/361.51 c #Conflicts: 355000 | #Constraints: 43684
360.50/361.51 c #Conflicts: 356000 | #Constraints: 44685
360.50/361.51 c #Conflicts: 357000 | #Constraints: 45687
360.50/361.51 c INPROCESSING
360.50/361.51 c GARBAGE COLLECT
360.50/361.51 c rational objective 5
376.36/377.41 c #Conflicts: 358000 | #Constraints: 34771
376.36/377.41 c #Conflicts: 359000 | #Constraints: 35774
376.36/377.41 c #Conflicts: 360000 | #Constraints: 36774
376.36/377.41 c #Conflicts: 361000 | #Constraints: 37776
376.36/377.41 c #Conflicts: 362000 | #Constraints: 38780
376.36/377.41 c #Conflicts: 363000 | #Constraints: 39781
376.36/377.41 c #Conflicts: 364000 | #Constraints: 40782
376.36/377.41 c #Conflicts: 365000 | #Constraints: 41783
376.36/377.41 c #Conflicts: 366000 | #Constraints: 42783
376.36/377.41 c #Conflicts: 367000 | #Constraints: 43784
376.36/377.41 c #Conflicts: 368000 | #Constraints: 44787
376.36/377.41 c #Conflicts: 369000 | #Constraints: 45788
376.36/377.41 c INPROCESSING
376.36/377.41 c GARBAGE COLLECT
376.36/377.41 c rational objective 5
392.92/394.02 c #Conflicts: 370000 | #Constraints: 34726
392.92/394.02 c #Conflicts: 371000 | #Constraints: 35726
392.92/394.02 c #Conflicts: 372000 | #Constraints: 36728
392.92/394.02 c #Conflicts: 373000 | #Constraints: 37732
392.92/394.02 c #Conflicts: 374000 | #Constraints: 38734
392.92/394.02 c #Conflicts: 375000 | #Constraints: 39734
392.92/394.02 c #Conflicts: 376000 | #Constraints: 40737
392.92/394.02 c #Conflicts: 377000 | #Constraints: 41740
392.92/394.02 c #Conflicts: 378000 | #Constraints: 42742
392.92/394.02 c #Conflicts: 379000 | #Constraints: 43744
392.92/394.02 c #Conflicts: 380000 | #Constraints: 44747
392.92/394.02 c #Conflicts: 381000 | #Constraints: 45750
392.92/394.02 c INPROCESSING
392.92/394.02 c GARBAGE COLLECT
392.92/394.02 c rational objective 5
410.67/411.88 c #Conflicts: 382000 | #Constraints: 34451
410.67/411.88 c #Conflicts: 383000 | #Constraints: 35452
410.67/411.88 c #Conflicts: 384000 | #Constraints: 36452
410.67/411.88 c #Conflicts: 385000 | #Constraints: 37453
410.67/411.88 c #Conflicts: 386000 | #Constraints: 38458
410.67/411.88 c #Conflicts: 387000 | #Constraints: 39466
410.67/411.88 c #Conflicts: 388000 | #Constraints: 40468
410.67/411.88 c #Conflicts: 389000 | #Constraints: 41471
410.67/411.88 c #Conflicts: 390000 | #Constraints: 42475
410.67/411.88 c #Conflicts: 391000 | #Constraints: 43478
410.67/411.88 c #Conflicts: 392000 | #Constraints: 44481
410.67/411.88 c #Conflicts: 393000 | #Constraints: 45482
410.67/411.88 c #Conflicts: 394000 | #Constraints: 46482
410.67/411.88 c INPROCESSING
410.67/411.88 c GARBAGE COLLECT
410.67/411.88 c rational objective 5
422.94/424.14 c #Conflicts: 395000 | #Constraints: 34833
422.94/424.14 c #Conflicts: 396000 | #Constraints: 35833
422.94/424.14 c #Conflicts: 397000 | #Constraints: 36833
422.94/424.14 c #Conflicts: 398000 | #Constraints: 37834
422.94/424.14 c #Conflicts: 399000 | #Constraints: 38836
422.94/424.14 c #Conflicts: 400000 | #Constraints: 39837
422.94/424.14 c #Conflicts: 401000 | #Constraints: 40838
422.94/424.14 c #Conflicts: 402000 | #Constraints: 41839
422.94/424.14 c #Conflicts: 403000 | #Constraints: 42841
422.94/424.14 c #Conflicts: 404000 | #Constraints: 43844
422.94/424.14 c #Conflicts: 405000 | #Constraints: 44846
422.94/424.14 c #Conflicts: 406000 | #Constraints: 45851
422.94/424.14 c #Conflicts: 407000 | #Constraints: 46854
422.94/424.14 c INPROCESSING
422.94/424.14 c GARBAGE COLLECT
422.94/424.14 c rational objective 5
445.58/446.89 c #Conflicts: 408000 | #Constraints: 35148
445.58/446.89 c #Conflicts: 409000 | #Constraints: 36151
445.58/446.89 c #Conflicts: 410000 | #Constraints: 37152
445.58/446.89 c #Conflicts: 411000 | #Constraints: 38154
445.58/446.89 c #Conflicts: 412000 | #Constraints: 39154
445.58/446.89 c #Conflicts: 413000 | #Constraints: 40157
445.58/446.89 c #Conflicts: 414000 | #Constraints: 41158
445.58/446.89 c #Conflicts: 415000 | #Constraints: 42159
445.58/446.89 c #Conflicts: 416000 | #Constraints: 43160
445.58/446.89 c #Conflicts: 417000 | #Constraints: 44161
445.58/446.89 c #Conflicts: 418000 | #Constraints: 45163
445.58/446.89 c #Conflicts: 419000 | #Constraints: 46164
445.58/446.89 c #Conflicts: 420000 | #Constraints: 47165
445.58/446.89 c INPROCESSING
445.58/446.89 c GARBAGE COLLECT
445.58/446.89 c rational objective 5
469.52/470.83 c #Conflicts: 421000 | #Constraints: 35326
469.52/470.83 c #Conflicts: 422000 | #Constraints: 36326
469.52/470.83 c #Conflicts: 423000 | #Constraints: 37329
469.52/470.83 c #Conflicts: 424000 | #Constraints: 38330
469.52/470.83 c #Conflicts: 425000 | #Constraints: 39332
469.52/470.83 c #Conflicts: 426000 | #Constraints: 40333
469.52/470.83 c #Conflicts: 427000 | #Constraints: 41335
469.52/470.83 c #Conflicts: 428000 | #Constraints: 42336
469.52/470.83 c #Conflicts: 429000 | #Constraints: 43337
469.52/470.83 c #Conflicts: 430000 | #Constraints: 44338
469.52/470.83 c #Conflicts: 431000 | #Constraints: 45340
469.52/470.83 c #Conflicts: 432000 | #Constraints: 46342
469.52/470.83 c #Conflicts: 433000 | #Constraints: 47342
469.52/470.83 c INPROCESSING
469.52/470.83 c GARBAGE COLLECT
469.52/470.83 c rational objective 5
487.87/489.21 c #Conflicts: 434000 | #Constraints: 35376
487.87/489.21 c #Conflicts: 435000 | #Constraints: 36379
487.87/489.21 c #Conflicts: 436000 | #Constraints: 37385
487.87/489.21 c #Conflicts: 437000 | #Constraints: 38390
487.87/489.21 c #Conflicts: 438000 | #Constraints: 39391
487.87/489.21 c #Conflicts: 439000 | #Constraints: 40393
487.87/489.21 c #Conflicts: 440000 | #Constraints: 41395
487.87/489.21 c #Conflicts: 441000 | #Constraints: 42396
487.87/489.21 c #Conflicts: 442000 | #Constraints: 43398
487.87/489.21 c #Conflicts: 443000 | #Constraints: 44400
487.87/489.21 c #Conflicts: 444000 | #Constraints: 45401
487.87/489.21 c #Conflicts: 445000 | #Constraints: 46402
487.87/489.21 c #Conflicts: 446000 | #Constraints: 47403
487.87/489.21 c INPROCESSING
487.87/489.21 c GARBAGE COLLECT
487.87/489.21 c rational objective 5
502.43/503.89 c #Conflicts: 447000 | #Constraints: 35135
502.43/503.89 c #Conflicts: 448000 | #Constraints: 36135
502.43/503.89 c #Conflicts: 449000 | #Constraints: 37135
502.43/503.89 c #Conflicts: 450000 | #Constraints: 38135
502.43/503.89 c #Conflicts: 451000 | #Constraints: 39135
502.43/503.89 c #Conflicts: 452000 | #Constraints: 40136
502.43/503.89 c #Conflicts: 453000 | #Constraints: 41138
502.43/503.89 c #Conflicts: 454000 | #Constraints: 42138
502.43/503.89 c #Conflicts: 455000 | #Constraints: 43138
502.43/503.89 c #Conflicts: 456000 | #Constraints: 44138
502.43/503.89 c #Conflicts: 457000 | #Constraints: 45138
502.43/503.89 c #Conflicts: 458000 | #Constraints: 46138
502.43/503.89 c #Conflicts: 459000 | #Constraints: 47139
502.43/503.89 c #Conflicts: 460000 | #Constraints: 48140
502.43/503.89 c INPROCESSING
502.43/503.89 c GARBAGE COLLECT
502.43/503.89 c rational objective 5
518.49/519.93 c #Conflicts: 461000 | #Constraints: 35727
518.49/519.93 c #Conflicts: 462000 | #Constraints: 36728
518.49/519.93 c #Conflicts: 463000 | #Constraints: 37728
518.49/519.93 c #Conflicts: 464000 | #Constraints: 38728
518.49/519.93 c #Conflicts: 465000 | #Constraints: 39729
518.49/519.93 c #Conflicts: 466000 | #Constraints: 40729
518.49/519.93 c #Conflicts: 467000 | #Constraints: 41730
518.49/519.93 c #Conflicts: 468000 | #Constraints: 42733
518.49/519.93 c #Conflicts: 469000 | #Constraints: 43733
518.49/519.93 c #Conflicts: 470000 | #Constraints: 44734
518.49/519.93 c #Conflicts: 471000 | #Constraints: 45734
518.49/519.93 c #Conflicts: 472000 | #Constraints: 46734
518.49/519.93 c #Conflicts: 473000 | #Constraints: 47735
518.49/519.93 c #Conflicts: 474000 | #Constraints: 48737
518.49/519.93 c INPROCESSING
518.49/519.93 c GARBAGE COLLECT
518.49/519.93 c rational objective 5
536.64/538.12 c #Conflicts: 475000 | #Constraints: 36123
536.64/538.12 c #Conflicts: 476000 | #Constraints: 37123
536.64/538.12 c #Conflicts: 477000 | #Constraints: 38124
536.64/538.12 c #Conflicts: 478000 | #Constraints: 39125
536.64/538.12 c #Conflicts: 479000 | #Constraints: 40125
536.64/538.12 c #Conflicts: 480000 | #Constraints: 41126
536.64/538.12 c #Conflicts: 481000 | #Constraints: 42127
536.64/538.12 c #Conflicts: 482000 | #Constraints: 43127
536.64/538.12 c #Conflicts: 483000 | #Constraints: 44128
536.64/538.12 c #Conflicts: 484000 | #Constraints: 45128
536.64/538.12 c #Conflicts: 485000 | #Constraints: 46129
536.64/538.12 c #Conflicts: 486000 | #Constraints: 47130
536.64/538.12 c #Conflicts: 487000 | #Constraints: 48131
536.64/538.12 c #Conflicts: 488000 | #Constraints: 49132
536.64/538.12 c INPROCESSING
536.64/538.12 c GARBAGE COLLECT
536.64/538.12 c rational objective 5
563.96/565.57 c #Conflicts: 489000 | #Constraints: 36306
563.96/565.57 c #Conflicts: 490000 | #Constraints: 37307
563.96/565.57 c #Conflicts: 491000 | #Constraints: 38308
563.96/565.57 c #Conflicts: 492000 | #Constraints: 39309
563.96/565.57 c #Conflicts: 493000 | #Constraints: 40310
563.96/565.57 c #Conflicts: 494000 | #Constraints: 41311
563.96/565.57 c #Conflicts: 495000 | #Constraints: 42312
563.96/565.57 c #Conflicts: 496000 | #Constraints: 43315
563.96/565.57 c #Conflicts: 497000 | #Constraints: 44316
563.96/565.57 c #Conflicts: 498000 | #Constraints: 45317
563.96/565.57 c #Conflicts: 499000 | #Constraints: 46318
563.96/565.57 c #Conflicts: 500000 | #Constraints: 47319
563.96/565.57 c #Conflicts: 501000 | #Constraints: 48320
563.96/565.57 c #Conflicts: 502000 | #Constraints: 49321
563.96/565.57 c INPROCESSING
563.96/565.57 c GARBAGE COLLECT
563.96/565.57 c rational objective 5
584.81/586.50 c #Conflicts: 503000 | #Constraints: 36322
584.81/586.50 c #Conflicts: 504000 | #Constraints: 37322
584.81/586.50 c #Conflicts: 505000 | #Constraints: 38322
584.81/586.50 c #Conflicts: 506000 | #Constraints: 39323
584.81/586.50 c #Conflicts: 507000 | #Constraints: 40325
584.81/586.50 c #Conflicts: 508000 | #Constraints: 41326
584.81/586.50 c #Conflicts: 509000 | #Constraints: 42326
584.81/586.50 c #Conflicts: 510000 | #Constraints: 43327
584.81/586.50 c #Conflicts: 511000 | #Constraints: 44328
584.81/586.50 c #Conflicts: 512000 | #Constraints: 45328
584.81/586.50 c #Conflicts: 513000 | #Constraints: 46329
584.81/586.50 c #Conflicts: 514000 | #Constraints: 47330
584.81/586.50 c #Conflicts: 515000 | #Constraints: 48332
584.81/586.50 c #Conflicts: 516000 | #Constraints: 49333
584.81/586.50 c INPROCESSING
584.81/586.50 c GARBAGE COLLECT
584.81/586.50 c rational objective 5
604.06/605.74 c #Conflicts: 517000 | #Constraints: 36083
604.06/605.74 c #Conflicts: 518000 | #Constraints: 37083
604.06/605.74 c #Conflicts: 519000 | #Constraints: 38083
604.06/605.74 c #Conflicts: 520000 | #Constraints: 39083
604.06/605.74 c #Conflicts: 521000 | #Constraints: 40086
604.06/605.74 c #Conflicts: 522000 | #Constraints: 41086
604.06/605.74 c #Conflicts: 523000 | #Constraints: 42088
604.06/605.74 c #Conflicts: 524000 | #Constraints: 43090
604.06/605.74 c #Conflicts: 525000 | #Constraints: 44094
604.06/605.74 c #Conflicts: 526000 | #Constraints: 45097
604.06/605.74 c #Conflicts: 527000 | #Constraints: 46104
604.06/605.74 c #Conflicts: 528000 | #Constraints: 47105
604.06/605.74 c #Conflicts: 529000 | #Constraints: 48107
604.06/605.74 c #Conflicts: 530000 | #Constraints: 49111
604.06/605.74 c #Conflicts: 531000 | #Constraints: 50112
604.06/605.74 c INPROCESSING
604.06/605.74 c GARBAGE COLLECT
604.06/605.74 c rational objective 5
622.91/624.68 c #Conflicts: 532000 | #Constraints: 36598
622.91/624.68 c #Conflicts: 533000 | #Constraints: 37598
622.91/624.68 c #Conflicts: 534000 | #Constraints: 38598
622.91/624.68 c #Conflicts: 535000 | #Constraints: 39599
622.91/624.68 c #Conflicts: 536000 | #Constraints: 40600
622.91/624.68 c #Conflicts: 537000 | #Constraints: 41601
622.91/624.68 c #Conflicts: 538000 | #Constraints: 42603
622.91/624.68 c #Conflicts: 539000 | #Constraints: 43605
622.91/624.68 c #Conflicts: 540000 | #Constraints: 44607
622.91/624.68 c #Conflicts: 541000 | #Constraints: 45609
622.91/624.68 c #Conflicts: 542000 | #Constraints: 46610
622.91/624.68 c #Conflicts: 543000 | #Constraints: 47610
622.91/624.68 c #Conflicts: 544000 | #Constraints: 48610
622.91/624.68 c #Conflicts: 545000 | #Constraints: 49614
622.91/624.68 c #Conflicts: 546000 | #Constraints: 50616
622.91/624.68 c INPROCESSING
622.91/624.68 c GARBAGE COLLECT
622.91/624.68 c rational objective 5
644.85/646.69 c #Conflicts: 547000 | #Constraints: 36958
644.85/646.69 c #Conflicts: 548000 | #Constraints: 37958
644.85/646.69 c #Conflicts: 549000 | #Constraints: 38958
644.85/646.69 c #Conflicts: 550000 | #Constraints: 39961
644.85/646.69 c #Conflicts: 551000 | #Constraints: 40963
644.85/646.69 c #Conflicts: 552000 | #Constraints: 41967
644.85/646.69 c #Conflicts: 553000 | #Constraints: 42972
644.85/646.69 c #Conflicts: 554000 | #Constraints: 43976
644.85/646.69 c #Conflicts: 555000 | #Constraints: 44981
644.85/646.69 c #Conflicts: 556000 | #Constraints: 45981
644.85/646.69 c #Conflicts: 557000 | #Constraints: 46984
644.85/646.69 c #Conflicts: 558000 | #Constraints: 47985
644.85/646.69 c #Conflicts: 559000 | #Constraints: 48987
644.85/646.69 c #Conflicts: 560000 | #Constraints: 49989
644.85/646.69 c #Conflicts: 561000 | #Constraints: 50989
644.85/646.69 c INPROCESSING
644.85/646.69 c GARBAGE COLLECT
644.85/646.69 c rational objective 5
665.70/667.55 c #Conflicts: 562000 | #Constraints: 37155
665.70/667.55 c #Conflicts: 563000 | #Constraints: 38155
665.70/667.55 c #Conflicts: 564000 | #Constraints: 39155
665.70/667.55 c #Conflicts: 565000 | #Constraints: 40156
665.70/667.55 c #Conflicts: 566000 | #Constraints: 41159
665.70/667.55 c #Conflicts: 567000 | #Constraints: 42163
665.70/667.55 c #Conflicts: 568000 | #Constraints: 43164
665.70/667.55 c #Conflicts: 569000 | #Constraints: 44168
665.70/667.55 c #Conflicts: 570000 | #Constraints: 45169
665.70/667.55 c #Conflicts: 571000 | #Constraints: 46171
665.70/667.55 c #Conflicts: 572000 | #Constraints: 47172
665.70/667.55 c #Conflicts: 573000 | #Constraints: 48172
665.70/667.55 c #Conflicts: 574000 | #Constraints: 49173
665.70/667.55 c #Conflicts: 575000 | #Constraints: 50173
665.70/667.55 c #Conflicts: 576000 | #Constraints: 51174
665.70/667.55 c INPROCESSING
665.70/667.55 c GARBAGE COLLECT
665.70/667.55 c rational objective 5
683.16/685.03 c #Conflicts: 577000 | #Constraints: 37150
683.16/685.03 c #Conflicts: 578000 | #Constraints: 38150
683.16/685.03 c #Conflicts: 579000 | #Constraints: 39150
683.16/685.03 c #Conflicts: 580000 | #Constraints: 40151
683.16/685.03 c #Conflicts: 581000 | #Constraints: 41153
683.16/685.03 c #Conflicts: 582000 | #Constraints: 42156
683.16/685.03 c #Conflicts: 583000 | #Constraints: 43159
683.16/685.03 c #Conflicts: 584000 | #Constraints: 44161
683.16/685.03 c #Conflicts: 585000 | #Constraints: 45163
683.16/685.03 c #Conflicts: 586000 | #Constraints: 46166
683.16/685.03 c #Conflicts: 587000 | #Constraints: 47167
683.16/685.03 c #Conflicts: 588000 | #Constraints: 48169
683.16/685.03 c #Conflicts: 589000 | #Constraints: 49172
683.16/685.03 c #Conflicts: 590000 | #Constraints: 50173
683.16/685.03 c #Conflicts: 591000 | #Constraints: 51173
683.16/685.03 c INPROCESSING
683.16/685.03 c GARBAGE COLLECT
683.16/685.03 c rational objective 5
699.01/700.94 c #Conflicts: 592000 | #Constraints: 36902
699.01/700.94 c #Conflicts: 593000 | #Constraints: 37902
699.01/700.94 c #Conflicts: 594000 | #Constraints: 38902
699.01/700.94 c #Conflicts: 595000 | #Constraints: 39902
699.01/700.94 c #Conflicts: 596000 | #Constraints: 40908
699.01/700.94 c #Conflicts: 597000 | #Constraints: 41913
699.01/700.94 c #Conflicts: 598000 | #Constraints: 42915
699.01/700.94 c #Conflicts: 599000 | #Constraints: 43916
699.01/700.94 c #Conflicts: 600000 | #Constraints: 44917
699.01/700.94 c #Conflicts: 601000 | #Constraints: 45919
699.01/700.94 c #Conflicts: 602000 | #Constraints: 46920
699.01/700.94 c #Conflicts: 603000 | #Constraints: 47922
699.01/700.94 c #Conflicts: 604000 | #Constraints: 48927
699.01/700.94 c #Conflicts: 605000 | #Constraints: 49927
699.01/700.94 c #Conflicts: 606000 | #Constraints: 50929
699.01/700.94 c #Conflicts: 607000 | #Constraints: 51930
699.01/700.94 c INPROCESSING
699.01/700.94 c GARBAGE COLLECT
699.01/700.94 c rational objective 5
719.85/721.84 c #Conflicts: 608000 | #Constraints: 37541
719.85/721.84 c #Conflicts: 609000 | #Constraints: 38541
719.85/721.84 c #Conflicts: 610000 | #Constraints: 39542
719.85/721.84 c #Conflicts: 611000 | #Constraints: 40543
719.85/721.84 c #Conflicts: 612000 | #Constraints: 41544
719.85/721.84 c #Conflicts: 613000 | #Constraints: 42546
719.85/721.84 c #Conflicts: 614000 | #Constraints: 43549
719.85/721.84 c #Conflicts: 615000 | #Constraints: 44551
719.85/721.84 c #Conflicts: 616000 | #Constraints: 45552
719.85/721.84 c #Conflicts: 617000 | #Constraints: 46553
719.85/721.84 c #Conflicts: 618000 | #Constraints: 47554
719.85/721.84 c #Conflicts: 619000 | #Constraints: 48554
719.85/721.84 c #Conflicts: 620000 | #Constraints: 49554
719.85/721.84 c #Conflicts: 621000 | #Constraints: 50555
719.85/721.84 c #Conflicts: 622000 | #Constraints: 51555
719.85/721.84 c #Conflicts: 623000 | #Constraints: 52556
719.85/721.84 c INPROCESSING
719.85/721.84 c GARBAGE COLLECT
719.85/721.84 c rational objective 5
740.11/742.12 c #Conflicts: 624000 | #Constraints: 37919
740.11/742.12 c #Conflicts: 625000 | #Constraints: 38919
740.11/742.12 c #Conflicts: 626000 | #Constraints: 39919
740.11/742.12 c #Conflicts: 627000 | #Constraints: 40922
740.11/742.12 c #Conflicts: 628000 | #Constraints: 41925
740.11/742.12 c #Conflicts: 629000 | #Constraints: 42927
740.11/742.12 c #Conflicts: 630000 | #Constraints: 43927
740.11/742.12 c #Conflicts: 631000 | #Constraints: 44929
740.11/742.12 c #Conflicts: 632000 | #Constraints: 45931
740.11/742.12 c #Conflicts: 633000 | #Constraints: 46934
740.11/742.12 c #Conflicts: 634000 | #Constraints: 47936
740.11/742.12 c #Conflicts: 635000 | #Constraints: 48938
740.11/742.12 c #Conflicts: 636000 | #Constraints: 49940
740.11/742.12 c #Conflicts: 637000 | #Constraints: 50941
740.11/742.12 c #Conflicts: 638000 | #Constraints: 51941
740.11/742.12 c #Conflicts: 639000 | #Constraints: 52942
740.11/742.12 c INPROCESSING
740.11/742.12 c GARBAGE COLLECT
740.11/742.12 c rational objective 5
768.73/770.83 c #Conflicts: 640000 | #Constraints: 38114
768.73/770.83 c #Conflicts: 641000 | #Constraints: 39117
768.73/770.83 c #Conflicts: 642000 | #Constraints: 40121
768.73/770.83 c #Conflicts: 643000 | #Constraints: 41124
768.73/770.83 c #Conflicts: 644000 | #Constraints: 42127
768.73/770.83 c #Conflicts: 645000 | #Constraints: 43129
768.73/770.83 c #Conflicts: 646000 | #Constraints: 44129
768.73/770.83 c #Conflicts: 647000 | #Constraints: 45131
768.73/770.83 c #Conflicts: 648000 | #Constraints: 46133
768.73/770.83 c #Conflicts: 649000 | #Constraints: 47133
768.73/770.83 c #Conflicts: 650000 | #Constraints: 48135
768.73/770.83 c #Conflicts: 651000 | #Constraints: 49137
768.73/770.83 c #Conflicts: 652000 | #Constraints: 50137
768.73/770.83 c #Conflicts: 653000 | #Constraints: 51138
768.73/770.83 c #Conflicts: 654000 | #Constraints: 52141
768.73/770.83 c #Conflicts: 655000 | #Constraints: 53142
768.73/770.83 c INPROCESSING
768.73/770.83 c GARBAGE COLLECT
768.73/770.83 c rational objective 5
790.57/792.76 c #Conflicts: 656000 | #Constraints: 37973
790.57/792.76 c #Conflicts: 657000 | #Constraints: 38974
790.57/792.76 c #Conflicts: 658000 | #Constraints: 39974
790.57/792.76 c #Conflicts: 659000 | #Constraints: 40977
790.57/792.76 c #Conflicts: 660000 | #Constraints: 41979
790.57/792.76 c #Conflicts: 661000 | #Constraints: 42981
790.57/792.76 c #Conflicts: 662000 | #Constraints: 43983
790.57/792.76 c #Conflicts: 663000 | #Constraints: 44985
790.57/792.76 c #Conflicts: 664000 | #Constraints: 45987
790.57/792.76 c #Conflicts: 665000 | #Constraints: 46988
790.57/792.76 c #Conflicts: 666000 | #Constraints: 47991
790.57/792.76 c #Conflicts: 667000 | #Constraints: 48994
790.57/792.76 c #Conflicts: 668000 | #Constraints: 49998
790.57/792.76 c #Conflicts: 669000 | #Constraints: 51001
790.57/792.76 c #Conflicts: 670000 | #Constraints: 52004
790.57/792.76 c #Conflicts: 671000 | #Constraints: 53005
790.57/792.76 c INPROCESSING
790.57/792.76 c GARBAGE COLLECT
790.57/792.76 c rational objective 5
814.70/816.98 c #Conflicts: 672000 | #Constraints: 37795
814.70/816.98 c #Conflicts: 673000 | #Constraints: 38796
814.70/816.98 c #Conflicts: 674000 | #Constraints: 39796
814.70/816.98 c #Conflicts: 675000 | #Constraints: 40799
814.70/816.98 c #Conflicts: 676000 | #Constraints: 41801
814.70/816.98 c #Conflicts: 677000 | #Constraints: 42803
814.70/816.98 c #Conflicts: 678000 | #Constraints: 43803
814.70/816.98 c #Conflicts: 679000 | #Constraints: 44805
814.70/816.98 c #Conflicts: 680000 | #Constraints: 45810
814.70/816.98 c #Conflicts: 681000 | #Constraints: 46810
814.70/816.98 c #Conflicts: 682000 | #Constraints: 47812
814.70/816.98 c #Conflicts: 683000 | #Constraints: 48813
814.70/816.98 c #Conflicts: 684000 | #Constraints: 49814
814.70/816.98 c #Conflicts: 685000 | #Constraints: 50814
814.70/816.98 c #Conflicts: 686000 | #Constraints: 51814
814.70/816.98 c #Conflicts: 687000 | #Constraints: 52814
814.70/816.98 c #Conflicts: 688000 | #Constraints: 53815
814.70/816.98 c INPROCESSING
814.70/816.98 c GARBAGE COLLECT
814.70/816.98 c rational objective 5
841.44/843.74 c #Conflicts: 689000 | #Constraints: 38364
841.44/843.74 c #Conflicts: 690000 | #Constraints: 39364
841.44/843.74 c #Conflicts: 691000 | #Constraints: 40369
841.44/843.74 c #Conflicts: 692000 | #Constraints: 41377
841.44/843.74 c #Conflicts: 693000 | #Constraints: 42380
841.44/843.74 c #Conflicts: 694000 | #Constraints: 43388
841.44/843.74 c #Conflicts: 695000 | #Constraints: 44391
841.44/843.74 c #Conflicts: 696000 | #Constraints: 45393
841.44/843.74 c #Conflicts: 697000 | #Constraints: 46396
841.44/843.74 c #Conflicts: 698000 | #Constraints: 47401
841.44/843.74 c #Conflicts: 699000 | #Constraints: 48404
841.44/843.74 c #Conflicts: 700000 | #Constraints: 49405
841.44/843.74 c #Conflicts: 701000 | #Constraints: 50405
841.44/843.74 c #Conflicts: 702000 | #Constraints: 51405
841.44/843.74 c #Conflicts: 703000 | #Constraints: 52405
841.44/843.74 c #Conflicts: 704000 | #Constraints: 53405
841.44/843.74 c #Conflicts: 705000 | #Constraints: 54405
841.44/843.74 c INPROCESSING
841.44/843.74 c GARBAGE COLLECT
841.44/843.74 c rational objective 5
874.55/876.96 c #Conflicts: 706000 | #Constraints: 38768
874.55/876.96 c #Conflicts: 707000 | #Constraints: 39768
874.55/876.96 c #Conflicts: 708000 | #Constraints: 40770
874.55/876.96 c #Conflicts: 709000 | #Constraints: 41773
874.55/876.96 c #Conflicts: 710000 | #Constraints: 42775
874.55/876.96 c #Conflicts: 711000 | #Constraints: 43778
874.55/876.96 c #Conflicts: 712000 | #Constraints: 44781
874.55/876.96 c #Conflicts: 713000 | #Constraints: 45783
874.55/876.96 c #Conflicts: 714000 | #Constraints: 46783
874.55/876.96 c #Conflicts: 715000 | #Constraints: 47786
874.55/876.96 c #Conflicts: 716000 | #Constraints: 48786
874.55/876.96 c #Conflicts: 717000 | #Constraints: 49787
874.55/876.96 c #Conflicts: 718000 | #Constraints: 50789
874.55/876.96 c #Conflicts: 719000 | #Constraints: 51789
874.55/876.96 c #Conflicts: 720000 | #Constraints: 52789
874.55/876.96 c #Conflicts: 721000 | #Constraints: 53790
874.55/876.96 c #Conflicts: 722000 | #Constraints: 54790
874.55/876.96 c INPROCESSING
874.55/876.96 c GARBAGE COLLECT
874.55/876.96 c rational objective 5
895.89/898.34 c #Conflicts: 723000 | #Constraints: 38970
895.89/898.34 c #Conflicts: 724000 | #Constraints: 39970
895.89/898.34 c #Conflicts: 725000 | #Constraints: 40970
895.89/898.34 c #Conflicts: 726000 | #Constraints: 41970
895.89/898.34 c #Conflicts: 727000 | #Constraints: 42970
895.89/898.34 c #Conflicts: 728000 | #Constraints: 43971
895.89/898.34 c #Conflicts: 729000 | #Constraints: 44971
895.89/898.34 c #Conflicts: 730000 | #Constraints: 45972
895.89/898.34 c #Conflicts: 731000 | #Constraints: 46974
895.89/898.34 c #Conflicts: 732000 | #Constraints: 47975
895.89/898.34 c #Conflicts: 733000 | #Constraints: 48976
895.89/898.34 c #Conflicts: 734000 | #Constraints: 49976
895.89/898.34 c #Conflicts: 735000 | #Constraints: 50977
895.89/898.34 c #Conflicts: 736000 | #Constraints: 51977
895.89/898.34 c #Conflicts: 737000 | #Constraints: 52979
895.89/898.34 c #Conflicts: 738000 | #Constraints: 53979
895.89/898.34 c #Conflicts: 739000 | #Constraints: 54979
895.89/898.34 c INPROCESSING
895.89/898.34 c GARBAGE COLLECT
895.89/898.34 c rational objective 5
924.72/927.24 c #Conflicts: 740000 | #Constraints: 38978
924.72/927.24 c #Conflicts: 741000 | #Constraints: 39978
924.72/927.24 c #Conflicts: 742000 | #Constraints: 40980
924.72/927.24 c #Conflicts: 743000 | #Constraints: 41980
924.72/927.24 c #Conflicts: 744000 | #Constraints: 42981
924.72/927.24 c #Conflicts: 745000 | #Constraints: 43983
924.72/927.24 c #Conflicts: 746000 | #Constraints: 44984
924.72/927.24 c #Conflicts: 747000 | #Constraints: 45984
924.72/927.24 c #Conflicts: 748000 | #Constraints: 46984
924.72/927.24 c #Conflicts: 749000 | #Constraints: 47984
924.72/927.24 c #Conflicts: 750000 | #Constraints: 48986
924.72/927.24 c #Conflicts: 751000 | #Constraints: 49987
924.72/927.24 c #Conflicts: 752000 | #Constraints: 50988
924.72/927.24 c #Conflicts: 753000 | #Constraints: 51988
924.72/927.24 c #Conflicts: 754000 | #Constraints: 52988
924.72/927.24 c #Conflicts: 755000 | #Constraints: 53988
924.72/927.24 c #Conflicts: 756000 | #Constraints: 54989
924.72/927.24 c INPROCESSING
924.72/927.24 c GARBAGE COLLECT
924.72/927.24 c rational objective 5
945.37/947.93 c #Conflicts: 757000 | #Constraints: 38800
945.37/947.93 c #Conflicts: 758000 | #Constraints: 39800
945.37/947.93 c #Conflicts: 759000 | #Constraints: 40800
945.37/947.93 c #Conflicts: 760000 | #Constraints: 41802
945.37/947.93 c #Conflicts: 761000 | #Constraints: 42805
945.37/947.93 c #Conflicts: 762000 | #Constraints: 43806
945.37/947.93 c #Conflicts: 763000 | #Constraints: 44811
945.37/947.93 c #Conflicts: 764000 | #Constraints: 45816
945.37/947.93 c #Conflicts: 765000 | #Constraints: 46817
945.37/947.93 c #Conflicts: 766000 | #Constraints: 47820
945.37/947.93 c #Conflicts: 767000 | #Constraints: 48823
945.37/947.93 c #Conflicts: 768000 | #Constraints: 49824
945.37/947.93 c #Conflicts: 769000 | #Constraints: 50826
945.37/947.93 c #Conflicts: 770000 | #Constraints: 51827
945.37/947.93 c #Conflicts: 771000 | #Constraints: 52828
945.37/947.93 c #Conflicts: 772000 | #Constraints: 53830
945.37/947.93 c #Conflicts: 773000 | #Constraints: 54831
945.37/947.93 c #Conflicts: 774000 | #Constraints: 55832
945.37/947.93 c INPROCESSING
945.37/947.93 c GARBAGE COLLECT
945.37/947.93 c rational objective 5
971.59/974.22 c #Conflicts: 775000 | #Constraints: 39303
971.59/974.22 c #Conflicts: 776000 | #Constraints: 40303
971.59/974.22 c #Conflicts: 777000 | #Constraints: 41303
971.59/974.22 c #Conflicts: 778000 | #Constraints: 42303
971.59/974.22 c #Conflicts: 779000 | #Constraints: 43303
971.59/974.22 c #Conflicts: 780000 | #Constraints: 44306
971.59/974.22 c #Conflicts: 781000 | #Constraints: 45308
971.59/974.22 c #Conflicts: 782000 | #Constraints: 46308
971.59/974.22 c #Conflicts: 783000 | #Constraints: 47312
971.59/974.22 c #Conflicts: 784000 | #Constraints: 48314
971.59/974.22 c #Conflicts: 785000 | #Constraints: 49322
971.59/974.22 c #Conflicts: 786000 | #Constraints: 50322
971.59/974.22 c #Conflicts: 787000 | #Constraints: 51324
971.59/974.22 c #Conflicts: 788000 | #Constraints: 52325
971.59/974.22 c #Conflicts: 789000 | #Constraints: 53326
971.59/974.22 c #Conflicts: 790000 | #Constraints: 54327
971.59/974.22 c #Conflicts: 791000 | #Constraints: 55329
971.59/974.22 c #Conflicts: 792000 | #Constraints: 56330
971.59/974.22 c INPROCESSING
971.59/974.22 c GARBAGE COLLECT
971.59/974.22 c rational objective 5
995.53/998.25 c #Conflicts: 793000 | #Constraints: 39605
995.53/998.25 c #Conflicts: 794000 | #Constraints: 40606
995.53/998.25 c #Conflicts: 795000 | #Constraints: 41606
995.53/998.25 c #Conflicts: 796000 | #Constraints: 42608
995.53/998.25 c #Conflicts: 797000 | #Constraints: 43612
995.53/998.25 c #Conflicts: 798000 | #Constraints: 44613
995.53/998.25 c #Conflicts: 799000 | #Constraints: 45614
995.53/998.25 c #Conflicts: 800000 | #Constraints: 46615
995.53/998.25 c #Conflicts: 801000 | #Constraints: 47616
995.53/998.25 c #Conflicts: 802000 | #Constraints: 48617
995.53/998.25 c #Conflicts: 803000 | #Constraints: 49619
995.53/998.25 c #Conflicts: 804000 | #Constraints: 50619
995.53/998.25 c #Conflicts: 805000 | #Constraints: 51620
995.53/998.25 c #Conflicts: 806000 | #Constraints: 52621
995.53/998.25 c #Conflicts: 807000 | #Constraints: 53622
995.53/998.25 c #Conflicts: 808000 | #Constraints: 54623
995.53/998.25 c #Conflicts: 809000 | #Constraints: 55624
995.53/998.25 c #Conflicts: 810000 | #Constraints: 56625
995.53/998.25 c INPROCESSING
995.53/998.25 c GARBAGE COLLECT
995.53/998.25 c rational objective 5
1022.76/1025.51 c #Conflicts: 811000 | #Constraints: 39806
1022.76/1025.51 c #Conflicts: 812000 | #Constraints: 40806
1022.76/1025.51 c #Conflicts: 813000 | #Constraints: 41807
1022.76/1025.51 c #Conflicts: 814000 | #Constraints: 42808
1022.76/1025.51 c #Conflicts: 815000 | #Constraints: 43810
1022.76/1025.51 c #Conflicts: 816000 | #Constraints: 44813
1022.76/1025.51 c #Conflicts: 817000 | #Constraints: 45815
1022.76/1025.51 c #Conflicts: 818000 | #Constraints: 46816
1022.76/1025.51 c #Conflicts: 819000 | #Constraints: 47819
1022.76/1025.51 c #Conflicts: 820000 | #Constraints: 48821
1022.76/1025.51 c #Conflicts: 821000 | #Constraints: 49822
1022.76/1025.51 c #Conflicts: 822000 | #Constraints: 50822
1022.76/1025.51 c #Conflicts: 823000 | #Constraints: 51822
1022.76/1025.51 c #Conflicts: 824000 | #Constraints: 52823
1022.76/1025.51 c #Conflicts: 825000 | #Constraints: 53825
1022.76/1025.51 c #Conflicts: 826000 | #Constraints: 54827
1022.76/1025.51 c #Conflicts: 827000 | #Constraints: 55828
1022.76/1025.51 c #Conflicts: 828000 | #Constraints: 56828
1022.76/1025.51 c INPROCESSING
1022.76/1025.51 c GARBAGE COLLECT
1022.76/1025.51 c rational objective 5
1047.40/1050.25 c #Conflicts: 829000 | #Constraints: 39686
1047.40/1050.25 c #Conflicts: 830000 | #Constraints: 40686
1047.40/1050.25 c #Conflicts: 831000 | #Constraints: 41687
1047.40/1050.25 c #Conflicts: 832000 | #Constraints: 42688
1047.40/1050.25 c #Conflicts: 833000 | #Constraints: 43688
1047.40/1050.25 c #Conflicts: 834000 | #Constraints: 44689
1047.40/1050.25 c #Conflicts: 835000 | #Constraints: 45690
1047.40/1050.25 c #Conflicts: 836000 | #Constraints: 46690
1047.40/1050.25 c #Conflicts: 837000 | #Constraints: 47691
1047.40/1050.25 c #Conflicts: 838000 | #Constraints: 48692
1047.40/1050.25 c #Conflicts: 839000 | #Constraints: 49692
1047.40/1050.25 c #Conflicts: 840000 | #Constraints: 50692
1047.40/1050.25 c #Conflicts: 841000 | #Constraints: 51692
1047.40/1050.25 c #Conflicts: 842000 | #Constraints: 52693
1047.40/1050.25 c #Conflicts: 843000 | #Constraints: 53693
1047.40/1050.25 c #Conflicts: 844000 | #Constraints: 54693
1047.40/1050.25 c #Conflicts: 845000 | #Constraints: 55693
1047.40/1050.25 c #Conflicts: 846000 | #Constraints: 56693
1047.40/1050.25 c INPROCESSING
1047.40/1050.25 c GARBAGE COLLECT
1047.40/1050.25 c rational objective 5
1081.60/1084.51 c #Conflicts: 847000 | #Constraints: 39426
1081.60/1084.51 c #Conflicts: 848000 | #Constraints: 40426
1081.60/1084.51 c #Conflicts: 849000 | #Constraints: 41426
1081.60/1084.51 c #Conflicts: 850000 | #Constraints: 42428
1081.60/1084.51 c #Conflicts: 851000 | #Constraints: 43429
1081.60/1084.51 c #Conflicts: 852000 | #Constraints: 44430
1081.60/1084.51 c #Conflicts: 853000 | #Constraints: 45432
1081.60/1084.51 c #Conflicts: 854000 | #Constraints: 46434
1081.60/1084.51 c #Conflicts: 855000 | #Constraints: 47437
1081.60/1084.51 c #Conflicts: 856000 | #Constraints: 48440
1081.60/1084.51 c #Conflicts: 857000 | #Constraints: 49442
1081.60/1084.51 c #Conflicts: 858000 | #Constraints: 50446
1081.60/1084.51 c #Conflicts: 859000 | #Constraints: 51451
1081.60/1084.51 c #Conflicts: 860000 | #Constraints: 52455
1081.60/1084.51 c #Conflicts: 861000 | #Constraints: 53460
1081.60/1084.51 c #Conflicts: 862000 | #Constraints: 54464
1081.60/1084.51 c #Conflicts: 863000 | #Constraints: 55466
1081.60/1084.51 c #Conflicts: 864000 | #Constraints: 56468
1081.60/1084.51 c #Conflicts: 865000 | #Constraints: 57470
1081.60/1084.51 c INPROCESSING
1081.60/1084.51 c GARBAGE COLLECT
1081.60/1084.51 c rational objective 5
1109.83/1112.84 c #Conflicts: 866000 | #Constraints: 39989
1109.83/1112.84 c #Conflicts: 867000 | #Constraints: 40989
1109.83/1112.84 c #Conflicts: 868000 | #Constraints: 41989
1109.83/1112.84 c #Conflicts: 869000 | #Constraints: 42990
1109.83/1112.84 c #Conflicts: 870000 | #Constraints: 43992
1109.83/1112.84 c #Conflicts: 871000 | #Constraints: 44993
1109.83/1112.84 c #Conflicts: 872000 | #Constraints: 45994
1109.83/1112.84 c #Conflicts: 873000 | #Constraints: 46997
1109.83/1112.84 c #Conflicts: 874000 | #Constraints: 48000
1109.83/1112.84 c #Conflicts: 875000 | #Constraints: 49002
1109.83/1112.84 c #Conflicts: 876000 | #Constraints: 50004
1109.83/1112.84 c #Conflicts: 877000 | #Constraints: 51007
1109.83/1112.84 c #Conflicts: 878000 | #Constraints: 52008
1109.83/1112.84 c #Conflicts: 879000 | #Constraints: 53010
1109.83/1112.84 c #Conflicts: 880000 | #Constraints: 54011
1109.83/1112.84 c #Conflicts: 881000 | #Constraints: 55013
1109.83/1112.84 c #Conflicts: 882000 | #Constraints: 56015
1109.83/1112.84 c #Conflicts: 883000 | #Constraints: 57016
1109.83/1112.84 c #Conflicts: 884000 | #Constraints: 58016
1109.83/1112.84 c INPROCESSING
1109.83/1112.84 c GARBAGE COLLECT
1109.83/1112.84 c rational objective 5
1134.47/1137.53 c #Conflicts: 885000 | #Constraints: 40320
1134.47/1137.53 c #Conflicts: 886000 | #Constraints: 41320
1134.47/1137.53 c #Conflicts: 887000 | #Constraints: 42320
1134.47/1137.53 c #Conflicts: 888000 | #Constraints: 43321
1134.47/1137.53 c #Conflicts: 889000 | #Constraints: 44324
1134.47/1137.53 c #Conflicts: 890000 | #Constraints: 45326
1134.47/1137.53 c #Conflicts: 891000 | #Constraints: 46328
1134.47/1137.53 c #Conflicts: 892000 | #Constraints: 47329
1134.47/1137.53 c #Conflicts: 893000 | #Constraints: 48332
1134.47/1137.53 c #Conflicts: 894000 | #Constraints: 49333
1134.47/1137.53 c #Conflicts: 895000 | #Constraints: 50334
1134.47/1137.53 c #Conflicts: 896000 | #Constraints: 51335
1134.47/1137.53 c #Conflicts: 897000 | #Constraints: 52336
1134.47/1137.53 c #Conflicts: 898000 | #Constraints: 53337
1134.47/1137.53 c #Conflicts: 899000 | #Constraints: 54337
1134.47/1137.53 c #Conflicts: 900000 | #Constraints: 55337
1134.47/1137.53 c #Conflicts: 901000 | #Constraints: 56338
1134.47/1137.53 c #Conflicts: 902000 | #Constraints: 57339
1134.47/1137.53 c #Conflicts: 903000 | #Constraints: 58339
1134.47/1137.53 c INPROCESSING
1134.47/1137.53 c GARBAGE COLLECT
1134.47/1137.53 c rational objective 5
1160.40/1163.55 c #Conflicts: 904000 | #Constraints: 40483
1160.40/1163.55 c #Conflicts: 905000 | #Constraints: 41483
1160.40/1163.55 c #Conflicts: 906000 | #Constraints: 42483
1160.40/1163.55 c #Conflicts: 907000 | #Constraints: 43484
1160.40/1163.55 c #Conflicts: 908000 | #Constraints: 44487
1160.40/1163.55 c #Conflicts: 909000 | #Constraints: 45488
1160.40/1163.55 c #Conflicts: 910000 | #Constraints: 46489
1160.40/1163.55 c #Conflicts: 911000 | #Constraints: 47493
1160.40/1163.55 c #Conflicts: 912000 | #Constraints: 48495
1160.40/1163.55 c #Conflicts: 913000 | #Constraints: 49497
1160.40/1163.55 c #Conflicts: 914000 | #Constraints: 50504
1160.40/1163.55 c #Conflicts: 915000 | #Constraints: 51507
1160.40/1163.55 c #Conflicts: 916000 | #Constraints: 52510
1160.40/1163.55 c #Conflicts: 917000 | #Constraints: 53515
1160.40/1163.55 c #Conflicts: 918000 | #Constraints: 54519
1160.40/1163.55 c #Conflicts: 919000 | #Constraints: 55522
1160.40/1163.55 c #Conflicts: 920000 | #Constraints: 56523
1160.40/1163.55 c #Conflicts: 921000 | #Constraints: 57526
1160.40/1163.55 c #Conflicts: 922000 | #Constraints: 58528
1160.40/1163.55 c INPROCESSING
1160.40/1163.55 c GARBAGE COLLECT
1160.40/1163.55 c rational objective 5
1186.84/1190.07 c #Conflicts: 923000 | #Constraints: 40429
1186.84/1190.07 c #Conflicts: 924000 | #Constraints: 41429
1186.84/1190.07 c #Conflicts: 925000 | #Constraints: 42431
1186.84/1190.07 c #Conflicts: 926000 | #Constraints: 43435
1186.84/1190.07 c #Conflicts: 927000 | #Constraints: 44442
1186.84/1190.07 c #Conflicts: 928000 | #Constraints: 45447
1186.84/1190.07 c #Conflicts: 929000 | #Constraints: 46449
1186.84/1190.07 c #Conflicts: 930000 | #Constraints: 47451
1186.84/1190.07 c #Conflicts: 931000 | #Constraints: 48453
1186.84/1190.07 c #Conflicts: 932000 | #Constraints: 49455
1186.84/1190.07 c #Conflicts: 933000 | #Constraints: 50458
1186.84/1190.07 c #Conflicts: 934000 | #Constraints: 51460
1186.84/1190.07 c #Conflicts: 935000 | #Constraints: 52461
1186.84/1190.07 c #Conflicts: 936000 | #Constraints: 53463
1186.84/1190.07 c #Conflicts: 937000 | #Constraints: 54465
1186.84/1190.07 c #Conflicts: 938000 | #Constraints: 55466
1186.84/1190.07 c #Conflicts: 939000 | #Constraints: 56468
1186.84/1190.07 c #Conflicts: 940000 | #Constraints: 57471
1186.84/1190.07 c #Conflicts: 941000 | #Constraints: 58473
1186.84/1190.07 c INPROCESSING
1186.84/1190.07 c GARBAGE COLLECT
1186.84/1190.07 c rational objective 5
1216.86/1220.18 c #Conflicts: 942000 | #Constraints: 40180
1216.86/1220.18 c #Conflicts: 943000 | #Constraints: 41180
1216.86/1220.18 c #Conflicts: 944000 | #Constraints: 42181
1216.86/1220.18 c #Conflicts: 945000 | #Constraints: 43182
1216.86/1220.18 c #Conflicts: 946000 | #Constraints: 44183
1216.86/1220.18 c #Conflicts: 947000 | #Constraints: 45184
1216.86/1220.18 c #Conflicts: 948000 | #Constraints: 46184
1216.86/1220.18 c #Conflicts: 949000 | #Constraints: 47184
1216.86/1220.18 c #Conflicts: 950000 | #Constraints: 48185
1216.86/1220.18 c #Conflicts: 951000 | #Constraints: 49187
1216.86/1220.18 c #Conflicts: 952000 | #Constraints: 50188
1216.86/1220.18 c #Conflicts: 953000 | #Constraints: 51189
1216.86/1220.18 c #Conflicts: 954000 | #Constraints: 52189
1216.86/1220.18 c #Conflicts: 955000 | #Constraints: 53190
1216.86/1220.18 c #Conflicts: 956000 | #Constraints: 54191
1216.86/1220.18 c #Conflicts: 957000 | #Constraints: 55192
1216.86/1220.18 c #Conflicts: 958000 | #Constraints: 56192
1216.86/1220.18 c #Conflicts: 959000 | #Constraints: 57192
1216.86/1220.18 c #Conflicts: 960000 | #Constraints: 58193
1216.86/1220.18 c #Conflicts: 961000 | #Constraints: 59193
1216.86/1220.18 c INPROCESSING
1216.86/1220.18 c GARBAGE COLLECT
1216.86/1220.18 c rational objective 5
1247.77/1251.18 c #Conflicts: 962000 | #Constraints: 40837
1247.77/1251.18 c #Conflicts: 963000 | #Constraints: 41837
1247.77/1251.18 c #Conflicts: 964000 | #Constraints: 42837
1247.77/1251.18 c #Conflicts: 965000 | #Constraints: 43837
1247.77/1251.18 c #Conflicts: 966000 | #Constraints: 44837
1247.77/1251.18 c #Conflicts: 967000 | #Constraints: 45839
1247.77/1251.18 c #Conflicts: 968000 | #Constraints: 46839
1247.77/1251.18 c #Conflicts: 969000 | #Constraints: 47840
1247.77/1251.18 c #Conflicts: 970000 | #Constraints: 48841
1247.77/1251.18 c #Conflicts: 971000 | #Constraints: 49842
1247.77/1251.18 c #Conflicts: 972000 | #Constraints: 50842
1247.77/1251.18 c #Conflicts: 973000 | #Constraints: 51844
1247.77/1251.18 c #Conflicts: 974000 | #Constraints: 52845
1247.77/1251.18 c #Conflicts: 975000 | #Constraints: 53845
1247.77/1251.18 c #Conflicts: 976000 | #Constraints: 54845
1247.77/1251.18 c #Conflicts: 977000 | #Constraints: 55847
1247.77/1251.18 c #Conflicts: 978000 | #Constraints: 56847
1247.77/1251.18 c #Conflicts: 979000 | #Constraints: 57848
1247.77/1251.18 c #Conflicts: 980000 | #Constraints: 58849
1247.77/1251.18 c #Conflicts: 981000 | #Constraints: 59849
1247.77/1251.18 c INPROCESSING
1247.77/1251.18 c GARBAGE COLLECT
1247.77/1251.18 c rational objective 5
1298.33/1301.87 c #Conflicts: 982000 | #Constraints: 41241
1298.33/1301.87 c #Conflicts: 983000 | #Constraints: 42242
1298.33/1301.87 c #Conflicts: 984000 | #Constraints: 43242
1298.33/1301.87 c #Conflicts: 985000 | #Constraints: 44247
1298.33/1301.87 c #Conflicts: 986000 | #Constraints: 45252
1298.33/1301.87 c #Conflicts: 987000 | #Constraints: 46254
1298.33/1301.87 c #Conflicts: 988000 | #Constraints: 47255
1298.33/1301.87 c #Conflicts: 989000 | #Constraints: 48257
1298.33/1301.87 c #Conflicts: 990000 | #Constraints: 49258
1298.33/1301.87 c #Conflicts: 991000 | #Constraints: 50258
1298.33/1301.87 c #Conflicts: 992000 | #Constraints: 51259
1298.33/1301.87 c #Conflicts: 993000 | #Constraints: 52260
1298.33/1301.87 c #Conflicts: 994000 | #Constraints: 53260
1298.33/1301.87 c #Conflicts: 995000 | #Constraints: 54261
1298.33/1301.87 c #Conflicts: 996000 | #Constraints: 55261
1298.33/1301.87 c #Conflicts: 997000 | #Constraints: 56262
1298.33/1301.87 c #Conflicts: 998000 | #Constraints: 57263
1298.33/1301.87 c #Conflicts: 999000 | #Constraints: 58263
1298.33/1301.87 c #Conflicts: 1000000 | #Constraints: 59263
1298.33/1301.87 c #Conflicts: 1001000 | #Constraints: 60263
1298.33/1301.87 c INPROCESSING
1298.33/1301.87 c GARBAGE COLLECT
1298.33/1301.87 c rational objective 5
1333.84/1337.45 c #Conflicts: 1002000 | #Constraints: 41468
1333.84/1337.45 c #Conflicts: 1003000 | #Constraints: 42468
1333.84/1337.45 c #Conflicts: 1004000 | #Constraints: 43468
1333.84/1337.45 c #Conflicts: 1005000 | #Constraints: 44470
1333.84/1337.45 c #Conflicts: 1006000 | #Constraints: 45473
1333.84/1337.45 c #Conflicts: 1007000 | #Constraints: 46477
1333.84/1337.45 c #Conflicts: 1008000 | #Constraints: 47478
1333.84/1337.45 c #Conflicts: 1009000 | #Constraints: 48479
1333.84/1337.45 c #Conflicts: 1010000 | #Constraints: 49482
1333.84/1337.45 c #Conflicts: 1011000 | #Constraints: 50484
1333.84/1337.45 c #Conflicts: 1012000 | #Constraints: 51485
1333.84/1337.45 c #Conflicts: 1013000 | #Constraints: 52488
1333.84/1337.45 c #Conflicts: 1014000 | #Constraints: 53491
1333.84/1337.45 c #Conflicts: 1015000 | #Constraints: 54493
1333.84/1337.45 c #Conflicts: 1016000 | #Constraints: 55494
1333.84/1337.45 c #Conflicts: 1017000 | #Constraints: 56496
1333.84/1337.45 c #Conflicts: 1018000 | #Constraints: 57499
1333.84/1337.45 c #Conflicts: 1019000 | #Constraints: 58503
1333.84/1337.45 c #Conflicts: 1020000 | #Constraints: 59503
1333.84/1337.45 c #Conflicts: 1021000 | #Constraints: 60505
1333.84/1337.45 c INPROCESSING
1333.84/1337.45 c GARBAGE COLLECT
1333.84/1337.45 c rational objective 5
1371.85/1375.51 c #Conflicts: 1022000 | #Constraints: 41432
1371.85/1375.51 c #Conflicts: 1023000 | #Constraints: 42432
1371.85/1375.51 c #Conflicts: 1024000 | #Constraints: 43432
1371.85/1375.51 c #Conflicts: 1025000 | #Constraints: 44432
1371.85/1375.51 c #Conflicts: 1026000 | #Constraints: 45436
1371.85/1375.51 c #Conflicts: 1027000 | #Constraints: 46438
1371.85/1375.51 c #Conflicts: 1028000 | #Constraints: 47442
1371.85/1375.51 c #Conflicts: 1029000 | #Constraints: 48446
1371.85/1375.51 c #Conflicts: 1030000 | #Constraints: 49448
1371.85/1375.51 c #Conflicts: 1031000 | #Constraints: 50451
1371.85/1375.51 c #Conflicts: 1032000 | #Constraints: 51452
1371.85/1375.51 c #Conflicts: 1033000 | #Constraints: 52455
1371.85/1375.51 c #Conflicts: 1034000 | #Constraints: 53458
1371.85/1375.51 c #Conflicts: 1035000 | #Constraints: 54458
1371.85/1375.51 c #Conflicts: 1036000 | #Constraints: 55459
1371.85/1375.51 c #Conflicts: 1037000 | #Constraints: 56461
1371.85/1375.51 c #Conflicts: 1038000 | #Constraints: 57462
1371.85/1375.51 c #Conflicts: 1039000 | #Constraints: 58462
1371.85/1375.51 c #Conflicts: 1040000 | #Constraints: 59463
1371.85/1375.51 c #Conflicts: 1041000 | #Constraints: 60464
1371.85/1375.51 c INPROCESSING
1371.85/1375.51 c GARBAGE COLLECT
1371.85/1375.51 c rational objective 5
1402.66/1406.43 c #Conflicts: 1042000 | #Constraints: 41173
1402.66/1406.43 c #Conflicts: 1043000 | #Constraints: 42173
1402.66/1406.43 c #Conflicts: 1044000 | #Constraints: 43173
1402.66/1406.43 c #Conflicts: 1045000 | #Constraints: 44173
1402.66/1406.43 c #Conflicts: 1046000 | #Constraints: 45174
1402.66/1406.43 c #Conflicts: 1047000 | #Constraints: 46175
1402.66/1406.43 c #Conflicts: 1048000 | #Constraints: 47177
1402.66/1406.43 c #Conflicts: 1049000 | #Constraints: 48181
1402.66/1406.43 c #Conflicts: 1050000 | #Constraints: 49182
1402.66/1406.43 c #Conflicts: 1051000 | #Constraints: 50185
1402.66/1406.43 c #Conflicts: 1052000 | #Constraints: 51187
1402.66/1406.43 c #Conflicts: 1053000 | #Constraints: 52188
1402.66/1406.43 c #Conflicts: 1054000 | #Constraints: 53189
1402.66/1406.43 c #Conflicts: 1055000 | #Constraints: 54190
1402.66/1406.43 c #Conflicts: 1056000 | #Constraints: 55191
1402.66/1406.43 c #Conflicts: 1057000 | #Constraints: 56192
1402.66/1406.43 c #Conflicts: 1058000 | #Constraints: 57194
1402.66/1406.43 c #Conflicts: 1059000 | #Constraints: 58196
1402.66/1406.43 c #Conflicts: 1060000 | #Constraints: 59198
1402.66/1406.43 c #Conflicts: 1061000 | #Constraints: 60198
1402.66/1406.43 c #Conflicts: 1062000 | #Constraints: 61199
1402.66/1406.43 c INPROCESSING
1402.66/1406.43 c GARBAGE COLLECT
1402.66/1406.43 c rational objective 5
1461.31/1465.22 c #Conflicts: 1063000 | #Constraints: 41724
1461.31/1465.22 c #Conflicts: 1064000 | #Constraints: 42724
1461.31/1465.22 c #Conflicts: 1065000 | #Constraints: 43725
1461.31/1465.22 c #Conflicts: 1066000 | #Constraints: 44727
1461.31/1465.22 c #Conflicts: 1067000 | #Constraints: 45728
1461.31/1465.22 c #Conflicts: 1068000 | #Constraints: 46730
1461.31/1465.22 c #Conflicts: 1069000 | #Constraints: 47731
1461.31/1465.22 c #Conflicts: 1070000 | #Constraints: 48731
1461.31/1465.22 c #Conflicts: 1071000 | #Constraints: 49733
1461.31/1465.22 c #Conflicts: 1072000 | #Constraints: 50733
1461.31/1465.22 c #Conflicts: 1073000 | #Constraints: 51734
1461.31/1465.22 c #Conflicts: 1074000 | #Constraints: 52734
1461.31/1465.22 c #Conflicts: 1075000 | #Constraints: 53734
1461.31/1465.22 c #Conflicts: 1076000 | #Constraints: 54735
1461.31/1465.22 c #Conflicts: 1077000 | #Constraints: 55735
1461.31/1465.22 c #Conflicts: 1078000 | #Constraints: 56735
1461.31/1465.22 c #Conflicts: 1079000 | #Constraints: 57735
1461.31/1465.22 c #Conflicts: 1080000 | #Constraints: 58735
1461.31/1465.22 c #Conflicts: 1081000 | #Constraints: 59735
1461.31/1465.22 c #Conflicts: 1082000 | #Constraints: 60735
1461.31/1465.22 c #Conflicts: 1083000 | #Constraints: 61735
1461.31/1465.22 c INPROCESSING
1461.31/1465.22 c GARBAGE COLLECT
1461.31/1465.22 c rational objective 5
1504.69/1508.72 c #Conflicts: 1084000 | #Constraints: 42124
1504.69/1508.72 c #Conflicts: 1085000 | #Constraints: 43124
1504.69/1508.72 c #Conflicts: 1086000 | #Constraints: 44125
1504.69/1508.72 c #Conflicts: 1087000 | #Constraints: 45129
1504.69/1508.72 c #Conflicts: 1088000 | #Constraints: 46130
1504.69/1508.72 c #Conflicts: 1089000 | #Constraints: 47132
1504.69/1508.72 c #Conflicts: 1090000 | #Constraints: 48136
1504.69/1508.72 c #Conflicts: 1091000 | #Constraints: 49136
1504.69/1508.72 c #Conflicts: 1092000 | #Constraints: 50136
1504.69/1508.72 c #Conflicts: 1093000 | #Constraints: 51137
1504.69/1508.72 c #Conflicts: 1094000 | #Constraints: 52138
1504.69/1508.72 c #Conflicts: 1095000 | #Constraints: 53140
1504.69/1508.72 c #Conflicts: 1096000 | #Constraints: 54141
1504.69/1508.72 c #Conflicts: 1097000 | #Constraints: 55142
1504.69/1508.72 c #Conflicts: 1098000 | #Constraints: 56146
1504.69/1508.72 c #Conflicts: 1099000 | #Constraints: 57147
1504.69/1508.72 c #Conflicts: 1100000 | #Constraints: 58149
1504.69/1508.72 c #Conflicts: 1101000 | #Constraints: 59150
1504.69/1508.72 c #Conflicts: 1102000 | #Constraints: 60150
1504.69/1508.72 c #Conflicts: 1103000 | #Constraints: 61154
1504.69/1508.72 c #Conflicts: 1104000 | #Constraints: 62154
1504.69/1508.72 c INPROCESSING
1504.69/1508.72 c GARBAGE COLLECT
1504.69/1508.72 c rational objective 5
1560.14/1564.32 c #Conflicts: 1105000 | #Constraints: 42305
1560.14/1564.32 c #Conflicts: 1106000 | #Constraints: 43305
1560.14/1564.32 c #Conflicts: 1107000 | #Constraints: 44308
1560.14/1564.32 c #Conflicts: 1108000 | #Constraints: 45310
1560.14/1564.32 c #Conflicts: 1109000 | #Constraints: 46311
1560.14/1564.32 c #Conflicts: 1110000 | #Constraints: 47312
1560.14/1564.32 c #Conflicts: 1111000 | #Constraints: 48313
1560.14/1564.32 c #Conflicts: 1112000 | #Constraints: 49313
1560.14/1564.32 c #Conflicts: 1113000 | #Constraints: 50315
1560.14/1564.32 c #Conflicts: 1114000 | #Constraints: 51316
1560.14/1564.32 c #Conflicts: 1115000 | #Constraints: 52316
1560.14/1564.32 c #Conflicts: 1116000 | #Constraints: 53317
1560.14/1564.32 c #Conflicts: 1117000 | #Constraints: 54317
1560.14/1564.32 c #Conflicts: 1118000 | #Constraints: 55317
1560.14/1564.32 c #Conflicts: 1119000 | #Constraints: 56318
1560.14/1564.32 c #Conflicts: 1120000 | #Constraints: 57319
1560.14/1564.32 c #Conflicts: 1121000 | #Constraints: 58319
1560.14/1564.32 c #Conflicts: 1122000 | #Constraints: 59319
1560.14/1564.32 c #Conflicts: 1123000 | #Constraints: 60319
1560.14/1564.32 c #Conflicts: 1124000 | #Constraints: 61319
1560.14/1564.32 c #Conflicts: 1125000 | #Constraints: 62320
1560.14/1564.32 c INPROCESSING
1560.14/1564.32 c GARBAGE COLLECT
1560.14/1564.32 c rational objective 5
1594.64/1598.96 c #Conflicts: 1126000 | #Constraints: 42292
1594.64/1598.96 c #Conflicts: 1127000 | #Constraints: 43292
1594.64/1598.96 c #Conflicts: 1128000 | #Constraints: 44293
1594.64/1598.96 c #Conflicts: 1129000 | #Constraints: 45293
1594.64/1598.96 c #Conflicts: 1130000 | #Constraints: 46293
1594.64/1598.96 c #Conflicts: 1131000 | #Constraints: 47298
1594.64/1598.96 c #Conflicts: 1132000 | #Constraints: 48301
1594.64/1598.96 c #Conflicts: 1133000 | #Constraints: 49305
1594.64/1598.96 c #Conflicts: 1134000 | #Constraints: 50308
1594.64/1598.96 c #Conflicts: 1135000 | #Constraints: 51310
1594.64/1598.96 c #Conflicts: 1136000 | #Constraints: 52312
1594.64/1598.96 c #Conflicts: 1137000 | #Constraints: 53314
1594.64/1598.96 c #Conflicts: 1138000 | #Constraints: 54316
1594.64/1598.96 c #Conflicts: 1139000 | #Constraints: 55318
1594.64/1598.96 c #Conflicts: 1140000 | #Constraints: 56320
1594.64/1598.96 c #Conflicts: 1141000 | #Constraints: 57321
1594.64/1598.96 c #Conflicts: 1142000 | #Constraints: 58322
1594.64/1598.96 c #Conflicts: 1143000 | #Constraints: 59323
1594.64/1598.96 c #Conflicts: 1144000 | #Constraints: 60324
1594.64/1598.96 c #Conflicts: 1145000 | #Constraints: 61325
1594.64/1598.96 c #Conflicts: 1146000 | #Constraints: 62326
1594.64/1598.96 c INPROCESSING
1594.64/1598.96 c GARBAGE COLLECT
1594.64/1598.96 c rational objective 5
1637.13/1641.58 c #Conflicts: 1147000 | #Constraints: 42116
1637.13/1641.58 c #Conflicts: 1148000 | #Constraints: 43116
1637.13/1641.58 c #Conflicts: 1149000 | #Constraints: 44116
1637.13/1641.58 c #Conflicts: 1150000 | #Constraints: 45117
1637.13/1641.58 c #Conflicts: 1151000 | #Constraints: 46120
1637.13/1641.58 c #Conflicts: 1152000 | #Constraints: 47124
1637.13/1641.58 c #Conflicts: 1153000 | #Constraints: 48125
1637.13/1641.58 c #Conflicts: 1154000 | #Constraints: 49125
1637.13/1641.58 c #Conflicts: 1155000 | #Constraints: 50127
1637.13/1641.58 c #Conflicts: 1156000 | #Constraints: 51127
1637.13/1641.58 c #Conflicts: 1157000 | #Constraints: 52130
1637.13/1641.58 c #Conflicts: 1158000 | #Constraints: 53131
1637.13/1641.58 c #Conflicts: 1159000 | #Constraints: 54132
1637.13/1641.58 c #Conflicts: 1160000 | #Constraints: 55133
1637.13/1641.58 c #Conflicts: 1161000 | #Constraints: 56134
1637.13/1641.58 c #Conflicts: 1162000 | #Constraints: 57136
1637.13/1641.58 c #Conflicts: 1163000 | #Constraints: 58138
1637.13/1641.58 c #Conflicts: 1164000 | #Constraints: 59139
1637.13/1641.58 c #Conflicts: 1165000 | #Constraints: 60140
1637.13/1641.58 c #Conflicts: 1166000 | #Constraints: 61140
1637.13/1641.58 c #Conflicts: 1167000 | #Constraints: 62140
1637.13/1641.58 c #Conflicts: 1168000 | #Constraints: 63141
1637.13/1641.58 c INPROCESSING
1637.13/1641.58 c GARBAGE COLLECT
1637.13/1641.58 c rational objective 5
1685.20/1689.70 c #Conflicts: 1169000 | #Constraints: 42699
1685.20/1689.70 c #Conflicts: 1170000 | #Constraints: 43700
1685.20/1689.70 c #Conflicts: 1171000 | #Constraints: 44702
1685.20/1689.70 c #Conflicts: 1172000 | #Constraints: 45703
1685.20/1689.70 c #Conflicts: 1173000 | #Constraints: 46706
1685.20/1689.70 c #Conflicts: 1174000 | #Constraints: 47708
1685.20/1689.70 c #Conflicts: 1175000 | #Constraints: 48709
1685.20/1689.70 c #Conflicts: 1176000 | #Constraints: 49710
1685.20/1689.70 c #Conflicts: 1177000 | #Constraints: 50711
1685.20/1689.70 c #Conflicts: 1178000 | #Constraints: 51713
1685.20/1689.70 c #Conflicts: 1179000 | #Constraints: 52716
1685.20/1689.70 c #Conflicts: 1180000 | #Constraints: 53722
1685.20/1689.70 c #Conflicts: 1181000 | #Constraints: 54724
1685.20/1689.70 c #Conflicts: 1182000 | #Constraints: 55727
1685.20/1689.70 c #Conflicts: 1183000 | #Constraints: 56728
1685.20/1689.70 c #Conflicts: 1184000 | #Constraints: 57731
1685.20/1689.70 c #Conflicts: 1185000 | #Constraints: 58733
1685.20/1689.70 c #Conflicts: 1186000 | #Constraints: 59735
1685.20/1689.70 c #Conflicts: 1187000 | #Constraints: 60736
1685.20/1689.70 c #Conflicts: 1188000 | #Constraints: 61736
1685.20/1689.70 c #Conflicts: 1189000 | #Constraints: 62739
1685.20/1689.70 c #Conflicts: 1190000 | #Constraints: 63742
1685.20/1689.70 c INPROCESSING
1685.20/1689.70 c GARBAGE COLLECT
1685.20/1689.70 c rational objective 5
1725.69/1730.32 c #Conflicts: 1191000 | #Constraints: 43106
1725.69/1730.32 c #Conflicts: 1192000 | #Constraints: 44107
1725.69/1730.32 c #Conflicts: 1193000 | #Constraints: 45108
1725.69/1730.32 c #Conflicts: 1194000 | #Constraints: 46109
1725.69/1730.32 c #Conflicts: 1195000 | #Constraints: 47110
1725.69/1730.32 c #Conflicts: 1196000 | #Constraints: 48112
1725.69/1730.32 c #Conflicts: 1197000 | #Constraints: 49113
1725.69/1730.32 c #Conflicts: 1198000 | #Constraints: 50119
1725.69/1730.32 c #Conflicts: 1199000 | #Constraints: 51122
1725.69/1730.32 c #Conflicts: 1200000 | #Constraints: 52125
1725.69/1730.32 c #Conflicts: 1201000 | #Constraints: 53125
1725.69/1730.32 c #Conflicts: 1202000 | #Constraints: 54126
1725.69/1730.32 c #Conflicts: 1203000 | #Constraints: 55126
1725.69/1730.32 c #Conflicts: 1204000 | #Constraints: 56128
1725.69/1730.32 c #Conflicts: 1205000 | #Constraints: 57130
1725.69/1730.32 c #Conflicts: 1206000 | #Constraints: 58131
1725.69/1730.32 c #Conflicts: 1207000 | #Constraints: 59131
1725.69/1730.32 c #Conflicts: 1208000 | #Constraints: 60133
1725.69/1730.32 c #Conflicts: 1209000 | #Constraints: 61135
1725.69/1730.32 c #Conflicts: 1210000 | #Constraints: 62135
1725.69/1730.32 c #Conflicts: 1211000 | #Constraints: 63136
1725.69/1730.32 c #Conflicts: 1212000 | #Constraints: 64137
1725.69/1730.32 c INPROCESSING
1725.69/1730.32 c GARBAGE COLLECT
1725.69/1730.32 c rational objective 5
1780.35/1785.13 c #Conflicts: 1213000 | #Constraints: 43241
1780.35/1785.13 c #Conflicts: 1214000 | #Constraints: 44241
1780.35/1785.13 c #Conflicts: 1215000 | #Constraints: 45245
1780.35/1785.13 c #Conflicts: 1216000 | #Constraints: 46247
1780.35/1785.13 c #Conflicts: 1217000 | #Constraints: 47250
1780.35/1785.13 c #Conflicts: 1218000 | #Constraints: 48254
1780.35/1785.13 c #Conflicts: 1219000 | #Constraints: 49258
1780.35/1785.13 c #Conflicts: 1220000 | #Constraints: 50263
1780.35/1785.13 c #Conflicts: 1221000 | #Constraints: 51265
1780.35/1785.13 c #Conflicts: 1222000 | #Constraints: 52265
1780.35/1785.13 c #Conflicts: 1223000 | #Constraints: 53266
1780.35/1785.13 c #Conflicts: 1224000 | #Constraints: 54266
1780.35/1785.13 c #Conflicts: 1225000 | #Constraints: 55268
1780.35/1785.13 c #Conflicts: 1226000 | #Constraints: 56268
1780.35/1785.13 c #Conflicts: 1227000 | #Constraints: 57269
1780.35/1785.13 c #Conflicts: 1228000 | #Constraints: 58270
1780.35/1785.13 c #Conflicts: 1229000 | #Constraints: 59271
1780.35/1785.13 c #Conflicts: 1230000 | #Constraints: 60272
1780.35/1785.13 c #Conflicts: 1231000 | #Constraints: 61272
1780.35/1785.13 c #Conflicts: 1232000 | #Constraints: 62272
1780.35/1785.13 c #Conflicts: 1233000 | #Constraints: 63274
1780.35/1785.13 c #Conflicts: 1234000 | #Constraints: 64275
1780.35/1785.13 c INPROCESSING
1780.35/1785.13 c GARBAGE COLLECT
1780.35/1785.13 c rational objective 5
1831.01/1835.92 c #Conflicts: 1235000 | #Constraints: 43190
1831.01/1835.92 c #Conflicts: 1236000 | #Constraints: 44190
1831.01/1835.92 c #Conflicts: 1237000 | #Constraints: 45190
1831.01/1835.92 c #Conflicts: 1238000 | #Constraints: 46195
1831.01/1835.92 c #Conflicts: 1239000 | #Constraints: 47196
1831.01/1835.92 c #Conflicts: 1240000 | #Constraints: 48199
1831.01/1835.92 c #Conflicts: 1241000 | #Constraints: 49202
1831.01/1835.92 c #Conflicts: 1242000 | #Constraints: 50204
1831.01/1835.92 c #Conflicts: 1243000 | #Constraints: 51205
1831.01/1835.92 c #Conflicts: 1244000 | #Constraints: 52206
1831.01/1835.92 c #Conflicts: 1245000 | #Constraints: 53208
1831.01/1835.92 c #Conflicts: 1246000 | #Constraints: 54209
1831.01/1835.92 c #Conflicts: 1247000 | #Constraints: 55210
1831.01/1835.92 c #Conflicts: 1248000 | #Constraints: 56215
1831.01/1835.92 c #Conflicts: 1249000 | #Constraints: 57217
1831.01/1835.92 c #Conflicts: 1250000 | #Constraints: 58218
1831.01/1835.92 c #Conflicts: 1251000 | #Constraints: 59219
1831.01/1835.92 c #Conflicts: 1252000 | #Constraints: 60220
1831.01/1835.92 c #Conflicts: 1253000 | #Constraints: 61221
1831.01/1835.92 c #Conflicts: 1254000 | #Constraints: 62222
1831.01/1835.92 c #Conflicts: 1255000 | #Constraints: 63222
1831.01/1835.92 c #Conflicts: 1256000 | #Constraints: 64223
1831.01/1835.92 c INPROCESSING
1831.01/1835.92 c GARBAGE COLLECT
1831.01/1835.92 c rational objective 5
1874.59/1879.64 c #Conflicts: 1257000 | #Constraints: 42994
1874.59/1879.64 c #Conflicts: 1258000 | #Constraints: 43995
1874.59/1879.64 c #Conflicts: 1259000 | #Constraints: 44995
1874.59/1879.64 c #Conflicts: 1260000 | #Constraints: 45995
1874.59/1879.64 c #Conflicts: 1261000 | #Constraints: 46997
1874.59/1879.64 c #Conflicts: 1262000 | #Constraints: 47999
1874.59/1879.64 c #Conflicts: 1263000 | #Constraints: 49000
1874.59/1879.64 c #Conflicts: 1264000 | #Constraints: 50001
1874.59/1879.64 c #Conflicts: 1265000 | #Constraints: 51002
1874.59/1879.64 c #Conflicts: 1266000 | #Constraints: 52004
1874.59/1879.64 c #Conflicts: 1267000 | #Constraints: 53005
1874.59/1879.64 c #Conflicts: 1268000 | #Constraints: 54006
1874.59/1879.64 c #Conflicts: 1269000 | #Constraints: 55007
1874.59/1879.64 c #Conflicts: 1270000 | #Constraints: 56008
1874.59/1879.64 c #Conflicts: 1271000 | #Constraints: 57008
1874.59/1879.64 c #Conflicts: 1272000 | #Constraints: 58008
1874.59/1879.64 c #Conflicts: 1273000 | #Constraints: 59008
1874.59/1879.64 c #Conflicts: 1274000 | #Constraints: 60008
1874.59/1879.64 c #Conflicts: 1275000 | #Constraints: 61009
1874.59/1879.64 c #Conflicts: 1276000 | #Constraints: 62009
1874.59/1879.64 c #Conflicts: 1277000 | #Constraints: 63009
1874.59/1879.64 c #Conflicts: 1278000 | #Constraints: 64009
1874.59/1879.64 c #Conflicts: 1279000 | #Constraints: 65009
1874.59/1879.64 c INPROCESSING
1874.59/1879.64 c GARBAGE COLLECT
1874.59/1879.64 c rational objective 5
1919.17/1924.38 c #Conflicts: 1280000 | #Constraints: 43550
1919.17/1924.38 c #Conflicts: 1281000 | #Constraints: 44550
1919.17/1924.38 c #Conflicts: 1282000 | #Constraints: 45550
1919.17/1924.38 c #Conflicts: 1283000 | #Constraints: 46550
1919.17/1924.38 c #Conflicts: 1284000 | #Constraints: 47552
1919.17/1924.38 c #Conflicts: 1285000 | #Constraints: 48554
1919.17/1924.38 c #Conflicts: 1286000 | #Constraints: 49558
1919.17/1924.38 c #Conflicts: 1287000 | #Constraints: 50560
1919.17/1924.38 c #Conflicts: 1288000 | #Constraints: 51568
1919.17/1924.38 c #Conflicts: 1289000 | #Constraints: 52571
1919.17/1924.38 c #Conflicts: 1290000 | #Constraints: 53572
1919.17/1924.38 c #Conflicts: 1291000 | #Constraints: 54577
1919.17/1924.38 c #Conflicts: 1292000 | #Constraints: 55583
1919.17/1924.38 c #Conflicts: 1293000 | #Constraints: 56583
1919.17/1924.38 c #Conflicts: 1294000 | #Constraints: 57586
1919.17/1924.38 c #Conflicts: 1295000 | #Constraints: 58592
1919.17/1924.38 c #Conflicts: 1296000 | #Constraints: 59594
1919.17/1924.38 c #Conflicts: 1297000 | #Constraints: 60597
1919.17/1924.38 c #Conflicts: 1298000 | #Constraints: 61600
1919.17/1924.38 c #Conflicts: 1299000 | #Constraints: 62601
1919.17/1924.38 c #Conflicts: 1300000 | #Constraints: 63602
1919.17/1924.38 c #Conflicts: 1301000 | #Constraints: 64605
1919.17/1924.38 c #Conflicts: 1302000 | #Constraints: 65607
1919.17/1924.38 c INPROCESSING
1919.17/1924.38 c GARBAGE COLLECT
1919.17/1924.38 c rational objective 5
1967.03/1972.39 c #Conflicts: 1303000 | #Constraints: 44015
1967.03/1972.39 c #Conflicts: 1304000 | #Constraints: 45015
1967.03/1972.39 c #Conflicts: 1305000 | #Constraints: 46015
1967.03/1972.39 c #Conflicts: 1306000 | #Constraints: 47017
1967.03/1972.39 c #Conflicts: 1307000 | #Constraints: 48019
1967.03/1972.39 c #Conflicts: 1308000 | #Constraints: 49020
1967.03/1972.39 c #Conflicts: 1309000 | #Constraints: 50021
1967.03/1972.39 c #Conflicts: 1310000 | #Constraints: 51024
1967.03/1972.39 c #Conflicts: 1311000 | #Constraints: 52024
1967.03/1972.39 c #Conflicts: 1312000 | #Constraints: 53027
1967.03/1972.39 c #Conflicts: 1313000 | #Constraints: 54031
1967.03/1972.39 c #Conflicts: 1314000 | #Constraints: 55032
1967.03/1972.39 c #Conflicts: 1315000 | #Constraints: 56034
1967.03/1972.39 c #Conflicts: 1316000 | #Constraints: 57034
1967.03/1972.39 c #Conflicts: 1317000 | #Constraints: 58035
1967.03/1972.39 c #Conflicts: 1318000 | #Constraints: 59036
1967.03/1972.39 c #Conflicts: 1319000 | #Constraints: 60037
1967.03/1972.39 c #Conflicts: 1320000 | #Constraints: 61037
1967.03/1972.39 c #Conflicts: 1321000 | #Constraints: 62038
1967.03/1972.39 c #Conflicts: 1322000 | #Constraints: 63038
1967.03/1972.39 c #Conflicts: 1323000 | #Constraints: 64039
1967.03/1972.39 c #Conflicts: 1324000 | #Constraints: 65040
1967.03/1972.39 c #Conflicts: 1325000 | #Constraints: 66041
1967.03/1972.39 c INPROCESSING
1967.03/1972.39 c GARBAGE COLLECT
1967.03/1972.39 c rational objective 5
2001.04/2006.44 c #Conflicts: 1326000 | #Constraints: 44158
2001.04/2006.44 c #Conflicts: 1327000 | #Constraints: 45158
2001.04/2006.44 c #Conflicts: 1328000 | #Constraints: 46161
2001.04/2006.44 c #Conflicts: 1329000 | #Constraints: 47166
2001.04/2006.44 c #Conflicts: 1330000 | #Constraints: 48169
2001.04/2006.44 c #Conflicts: 1331000 | #Constraints: 49172
2001.04/2006.44 c #Conflicts: 1332000 | #Constraints: 50176
2001.04/2006.44 c #Conflicts: 1333000 | #Constraints: 51178
2001.04/2006.44 c #Conflicts: 1334000 | #Constraints: 52180
2001.04/2006.44 c #Conflicts: 1335000 | #Constraints: 53182
2001.04/2006.44 c #Conflicts: 1336000 | #Constraints: 54186
2001.04/2006.44 c #Conflicts: 1337000 | #Constraints: 55189
2001.04/2006.44 c #Conflicts: 1338000 | #Constraints: 56191
2001.04/2006.44 c #Conflicts: 1339000 | #Constraints: 57193
2001.04/2006.44 c #Conflicts: 1340000 | #Constraints: 58194
2001.04/2006.44 c #Conflicts: 1341000 | #Constraints: 59196
2001.04/2006.44 c #Conflicts: 1342000 | #Constraints: 60199
2001.04/2006.44 c #Conflicts: 1343000 | #Constraints: 61201
2001.04/2006.44 c #Conflicts: 1344000 | #Constraints: 62202
2001.04/2006.44 c #Conflicts: 1345000 | #Constraints: 63204
2001.04/2006.44 c #Conflicts: 1346000 | #Constraints: 64204
2001.04/2006.44 c #Conflicts: 1347000 | #Constraints: 65205
2001.04/2006.44 c #Conflicts: 1348000 | #Constraints: 66207
2001.04/2006.44 c INPROCESSING
2001.04/2006.44 c GARBAGE COLLECT
2001.04/2006.44 c rational objective 5
2041.24/2046.70 c #Conflicts: 1349000 | #Constraints: 44181
2041.24/2046.70 c #Conflicts: 1350000 | #Constraints: 45181
2041.24/2046.70 c #Conflicts: 1351000 | #Constraints: 46182
2041.24/2046.70 c #Conflicts: 1352000 | #Constraints: 47183
2041.24/2046.70 c #Conflicts: 1353000 | #Constraints: 48185
2041.24/2046.70 c #Conflicts: 1354000 | #Constraints: 49186
2041.24/2046.70 c #Conflicts: 1355000 | #Constraints: 50188
2041.24/2046.70 c #Conflicts: 1356000 | #Constraints: 51188
2041.24/2046.70 c #Conflicts: 1357000 | #Constraints: 52189
2041.24/2046.70 c #Conflicts: 1358000 | #Constraints: 53189
2041.24/2046.70 c #Conflicts: 1359000 | #Constraints: 54191
2041.24/2046.70 c #Conflicts: 1360000 | #Constraints: 55192
2041.24/2046.70 c #Conflicts: 1361000 | #Constraints: 56193
2041.24/2046.70 c #Conflicts: 1362000 | #Constraints: 57194
2041.24/2046.70 c #Conflicts: 1363000 | #Constraints: 58196
2041.24/2046.70 c #Conflicts: 1364000 | #Constraints: 59197
2041.24/2046.70 c #Conflicts: 1365000 | #Constraints: 60198
2041.24/2046.70 c #Conflicts: 1366000 | #Constraints: 61198
2041.24/2046.70 c #Conflicts: 1367000 | #Constraints: 62198
2041.24/2046.70 c #Conflicts: 1368000 | #Constraints: 63199
2041.24/2046.70 c #Conflicts: 1369000 | #Constraints: 64199
2041.24/2046.70 c #Conflicts: 1370000 | #Constraints: 65199
2041.24/2046.70 c #Conflicts: 1371000 | #Constraints: 66201
2041.24/2046.70 c INPROCESSING
2041.24/2046.70 c GARBAGE COLLECT
2041.24/2046.70 c rational objective 5
2090.79/2096.49 c #Conflicts: 1372000 | #Constraints: 43926
2090.79/2096.49 c #Conflicts: 1373000 | #Constraints: 44926
2090.79/2096.49 c #Conflicts: 1374000 | #Constraints: 45930
2090.79/2096.49 c #Conflicts: 1375000 | #Constraints: 46934
2090.79/2096.49 c #Conflicts: 1376000 | #Constraints: 47937
2090.79/2096.49 c #Conflicts: 1377000 | #Constraints: 48937
2090.79/2096.49 c #Conflicts: 1378000 | #Constraints: 49941
2090.79/2096.49 c #Conflicts: 1379000 | #Constraints: 50943
2090.79/2096.49 c #Conflicts: 1380000 | #Constraints: 51944
2090.79/2096.49 c #Conflicts: 1381000 | #Constraints: 52945
2090.79/2096.49 c #Conflicts: 1382000 | #Constraints: 53946
2090.79/2096.49 c #Conflicts: 1383000 | #Constraints: 54947
2090.79/2096.49 c #Conflicts: 1384000 | #Constraints: 55948
2090.79/2096.49 c #Conflicts: 1385000 | #Constraints: 56950
2090.79/2096.49 c #Conflicts: 1386000 | #Constraints: 57952
2090.79/2096.49 c #Conflicts: 1387000 | #Constraints: 58952
2090.79/2096.49 c #Conflicts: 1388000 | #Constraints: 59953
2090.79/2096.49 c #Conflicts: 1389000 | #Constraints: 60954
2090.79/2096.49 c #Conflicts: 1390000 | #Constraints: 61956
2090.79/2096.49 c #Conflicts: 1391000 | #Constraints: 62958
2090.79/2096.49 c #Conflicts: 1392000 | #Constraints: 63958
2090.79/2096.49 c #Conflicts: 1393000 | #Constraints: 64960
2090.79/2096.49 c #Conflicts: 1394000 | #Constraints: 65962
2090.79/2096.49 c #Conflicts: 1395000 | #Constraints: 66962
2090.79/2096.49 c INPROCESSING
2090.79/2096.49 c GARBAGE COLLECT
2090.79/2096.49 c rational objective 5
2149.12/2154.92 c #Conflicts: 1396000 | #Constraints: 44496
2149.12/2154.92 c #Conflicts: 1397000 | #Constraints: 45496
2149.12/2154.92 c #Conflicts: 1398000 | #Constraints: 46499
2149.12/2154.92 c #Conflicts: 1399000 | #Constraints: 47501
2149.12/2154.92 c #Conflicts: 1400000 | #Constraints: 48503
2149.12/2154.92 c #Conflicts: 1401000 | #Constraints: 49504
2149.12/2154.92 c #Conflicts: 1402000 | #Constraints: 50505
2149.12/2154.92 c #Conflicts: 1403000 | #Constraints: 51507
2149.12/2154.92 c #Conflicts: 1404000 | #Constraints: 52508
2149.12/2154.92 c #Conflicts: 1405000 | #Constraints: 53509
2149.12/2154.92 c #Conflicts: 1406000 | #Constraints: 54509
2149.12/2154.92 c #Conflicts: 1407000 | #Constraints: 55509
2149.12/2154.92 c #Conflicts: 1408000 | #Constraints: 56510
2149.12/2154.92 c #Conflicts: 1409000 | #Constraints: 57511
2149.12/2154.92 c #Conflicts: 1410000 | #Constraints: 58511
2149.12/2154.92 c #Conflicts: 1411000 | #Constraints: 59511
2149.12/2154.92 c #Conflicts: 1412000 | #Constraints: 60511
2149.12/2154.92 c #Conflicts: 1413000 | #Constraints: 61511
2149.12/2154.92 c #Conflicts: 1414000 | #Constraints: 62511
2149.12/2154.92 c #Conflicts: 1415000 | #Constraints: 63511
2149.12/2154.92 c #Conflicts: 1416000 | #Constraints: 64512
2149.12/2154.92 c #Conflicts: 1417000 | #Constraints: 65513
2149.12/2154.92 c #Conflicts: 1418000 | #Constraints: 66514
2149.12/2154.92 c #Conflicts: 1419000 | #Constraints: 67514
2149.12/2154.92 c INPROCESSING
2149.12/2154.92 c GARBAGE COLLECT
2149.12/2154.92 c rational objective 5
2190.80/2196.71 c #Conflicts: 1420000 | #Constraints: 44892
2190.80/2196.71 c #Conflicts: 1421000 | #Constraints: 45892
2190.80/2196.71 c #Conflicts: 1422000 | #Constraints: 46892
2190.80/2196.71 c #Conflicts: 1423000 | #Constraints: 47893
2190.80/2196.71 c #Conflicts: 1424000 | #Constraints: 48898
2190.80/2196.71 c #Conflicts: 1425000 | #Constraints: 49900
2190.80/2196.71 c #Conflicts: 1426000 | #Constraints: 50901
2190.80/2196.71 c #Conflicts: 1427000 | #Constraints: 51902
2190.80/2196.71 c #Conflicts: 1428000 | #Constraints: 52902
2190.80/2196.71 c #Conflicts: 1429000 | #Constraints: 53904
2190.80/2196.71 c #Conflicts: 1430000 | #Constraints: 54904
2190.80/2196.71 c #Conflicts: 1431000 | #Constraints: 55905
2190.80/2196.71 c #Conflicts: 1432000 | #Constraints: 56906
2190.80/2196.71 c #Conflicts: 1433000 | #Constraints: 57907
2190.80/2196.71 c #Conflicts: 1434000 | #Constraints: 58909
2190.80/2196.71 c #Conflicts: 1435000 | #Constraints: 59910
2190.80/2196.71 c #Conflicts: 1436000 | #Constraints: 60912
2190.80/2196.71 c #Conflicts: 1437000 | #Constraints: 61913
2190.80/2196.71 c #Conflicts: 1438000 | #Constraints: 62914
2190.80/2196.71 c #Conflicts: 1439000 | #Constraints: 63916
2190.80/2196.71 c #Conflicts: 1440000 | #Constraints: 64916
2190.80/2196.71 c #Conflicts: 1441000 | #Constraints: 65917
2190.80/2196.71 c #Conflicts: 1442000 | #Constraints: 66917
2190.80/2196.71 c #Conflicts: 1443000 | #Constraints: 67919
2190.80/2196.71 c INPROCESSING
2190.80/2196.71 c GARBAGE COLLECT
2190.80/2196.71 c rational objective 5
2247.13/2253.25 c #Conflicts: 1444000 | #Constraints: 45053
2247.13/2253.25 c #Conflicts: 1445000 | #Constraints: 46053
2247.13/2253.25 c #Conflicts: 1446000 | #Constraints: 47056
2247.13/2253.25 c #Conflicts: 1447000 | #Constraints: 48058
2247.13/2253.25 c #Conflicts: 1448000 | #Constraints: 49059
2247.13/2253.25 c #Conflicts: 1449000 | #Constraints: 50060
2247.13/2253.25 c #Conflicts: 1450000 | #Constraints: 51062
2247.13/2253.25 c #Conflicts: 1451000 | #Constraints: 52063
2247.13/2253.25 c #Conflicts: 1452000 | #Constraints: 53064
2247.13/2253.25 c #Conflicts: 1453000 | #Constraints: 54064
2247.13/2253.25 c #Conflicts: 1454000 | #Constraints: 55066
2247.13/2253.25 c #Conflicts: 1455000 | #Constraints: 56067
2247.13/2253.25 c #Conflicts: 1456000 | #Constraints: 57070
2247.13/2253.25 c #Conflicts: 1457000 | #Constraints: 58072
2247.13/2253.25 c #Conflicts: 1458000 | #Constraints: 59074
2247.13/2253.25 c #Conflicts: 1459000 | #Constraints: 60076
2247.13/2253.25 c #Conflicts: 1460000 | #Constraints: 61079
2247.13/2253.25 c #Conflicts: 1461000 | #Constraints: 62082
2247.13/2253.25 c #Conflicts: 1462000 | #Constraints: 63083
2247.13/2253.25 c #Conflicts: 1463000 | #Constraints: 64084
2247.13/2253.25 c #Conflicts: 1464000 | #Constraints: 65084
2247.13/2253.25 c #Conflicts: 1465000 | #Constraints: 66084
2247.13/2253.25 c #Conflicts: 1466000 | #Constraints: 67084
2247.13/2253.25 c #Conflicts: 1467000 | #Constraints: 68086
2247.13/2253.25 c INPROCESSING
2247.13/2253.25 c GARBAGE COLLECT
2247.13/2253.25 c rational objective 5
2297.19/2303.42 c #Conflicts: 1468000 | #Constraints: 45022
2297.19/2303.42 c #Conflicts: 1469000 | #Constraints: 46022
2297.19/2303.42 c #Conflicts: 1470000 | #Constraints: 47022
2297.19/2303.42 c #Conflicts: 1471000 | #Constraints: 48024
2297.19/2303.42 c #Conflicts: 1472000 | #Constraints: 49025
2297.19/2303.42 c #Conflicts: 1473000 | #Constraints: 50028
2297.19/2303.42 c #Conflicts: 1474000 | #Constraints: 51030
2297.19/2303.42 c #Conflicts: 1475000 | #Constraints: 52032
2297.19/2303.42 c #Conflicts: 1476000 | #Constraints: 53033
2297.19/2303.42 c #Conflicts: 1477000 | #Constraints: 54036
2297.19/2303.42 c #Conflicts: 1478000 | #Constraints: 55038
2297.19/2303.42 c #Conflicts: 1479000 | #Constraints: 56039
2297.19/2303.42 c #Conflicts: 1480000 | #Constraints: 57040
2297.19/2303.42 c #Conflicts: 1481000 | #Constraints: 58040
2297.19/2303.42 c #Conflicts: 1482000 | #Constraints: 59041
2297.19/2303.42 c #Conflicts: 1483000 | #Constraints: 60042
2297.19/2303.42 c #Conflicts: 1484000 | #Constraints: 61044
2297.19/2303.42 c #Conflicts: 1485000 | #Constraints: 62044
2297.19/2303.42 c #Conflicts: 1486000 | #Constraints: 63046
2297.19/2303.42 c #Conflicts: 1487000 | #Constraints: 64046
2297.19/2303.42 c #Conflicts: 1488000 | #Constraints: 65048
2297.19/2303.42 c #Conflicts: 1489000 | #Constraints: 66048
2297.19/2303.42 c #Conflicts: 1490000 | #Constraints: 67050
2297.19/2303.42 c #Conflicts: 1491000 | #Constraints: 68050
2297.19/2303.42 c INPROCESSING
2297.19/2303.42 c GARBAGE COLLECT
2297.19/2303.42 c rational objective 5
2356.43/2362.86 c #Conflicts: 1492000 | #Constraints: 44796
2356.43/2362.86 c #Conflicts: 1493000 | #Constraints: 45797
2356.43/2362.86 c #Conflicts: 1494000 | #Constraints: 46797
2356.43/2362.86 c #Conflicts: 1495000 | #Constraints: 47797
2356.43/2362.86 c #Conflicts: 1496000 | #Constraints: 48797
2356.43/2362.86 c #Conflicts: 1497000 | #Constraints: 49799
2356.43/2362.86 c #Conflicts: 1498000 | #Constraints: 50804
2356.43/2362.86 c #Conflicts: 1499000 | #Constraints: 51805
2356.43/2362.86 c #Conflicts: 1500000 | #Constraints: 52807
2356.43/2362.86 c #Conflicts: 1501000 | #Constraints: 53809
2356.43/2362.86 c #Conflicts: 1502000 | #Constraints: 54811
2356.43/2362.86 c #Conflicts: 1503000 | #Constraints: 55815
2356.43/2362.86 c #Conflicts: 1504000 | #Constraints: 56816
2356.43/2362.86 c #Conflicts: 1505000 | #Constraints: 57819
2356.43/2362.86 c #Conflicts: 1506000 | #Constraints: 58821
2356.43/2362.86 c #Conflicts: 1507000 | #Constraints: 59822
2356.43/2362.86 c #Conflicts: 1508000 | #Constraints: 60823
2356.43/2362.86 c #Conflicts: 1509000 | #Constraints: 61825
2356.43/2362.86 c #Conflicts: 1510000 | #Constraints: 62828
2356.43/2362.86 c #Conflicts: 1511000 | #Constraints: 63828
2356.43/2362.86 c #Conflicts: 1512000 | #Constraints: 64829
2356.43/2362.86 c #Conflicts: 1513000 | #Constraints: 65829
2356.43/2362.86 c #Conflicts: 1514000 | #Constraints: 66831
2356.43/2362.86 c #Conflicts: 1515000 | #Constraints: 67832
2356.43/2362.86 c #Conflicts: 1516000 | #Constraints: 68833
2356.43/2362.86 c INPROCESSING
2356.43/2362.86 c GARBAGE COLLECT
2356.43/2362.86 c rational objective 5
2420.17/2426.74 c #Conflicts: 1517000 | #Constraints: 45368
2420.17/2426.74 c #Conflicts: 1518000 | #Constraints: 46368
2420.17/2426.74 c #Conflicts: 1519000 | #Constraints: 47369
2420.17/2426.74 c #Conflicts: 1520000 | #Constraints: 48371
2420.17/2426.74 c #Conflicts: 1521000 | #Constraints: 49372
2420.17/2426.74 c #Conflicts: 1522000 | #Constraints: 50373
2420.17/2426.74 c #Conflicts: 1523000 | #Constraints: 51373
2420.17/2426.74 c #Conflicts: 1524000 | #Constraints: 52376
2420.17/2426.74 c #Conflicts: 1525000 | #Constraints: 53380
2420.17/2426.74 c #Conflicts: 1526000 | #Constraints: 54381
2420.17/2426.74 c #Conflicts: 1527000 | #Constraints: 55383
2420.17/2426.74 c #Conflicts: 1528000 | #Constraints: 56385
2420.17/2426.74 c #Conflicts: 1529000 | #Constraints: 57386
2420.17/2426.74 c #Conflicts: 1530000 | #Constraints: 58388
2420.17/2426.74 c #Conflicts: 1531000 | #Constraints: 59389
2420.17/2426.74 c #Conflicts: 1532000 | #Constraints: 60390
2420.17/2426.74 c #Conflicts: 1533000 | #Constraints: 61392
2420.17/2426.74 c #Conflicts: 1534000 | #Constraints: 62395
2420.17/2426.74 c #Conflicts: 1535000 | #Constraints: 63395
2420.17/2426.74 c #Conflicts: 1536000 | #Constraints: 64395
2420.17/2426.74 c #Conflicts: 1537000 | #Constraints: 65396
2420.17/2426.74 c #Conflicts: 1538000 | #Constraints: 66397
2420.17/2426.74 c #Conflicts: 1539000 | #Constraints: 67398
2420.17/2426.74 c #Conflicts: 1540000 | #Constraints: 68399
2420.17/2426.74 c #Conflicts: 1541000 | #Constraints: 69400
2420.17/2426.74 c INPROCESSING
2420.17/2426.74 c GARBAGE COLLECT
2420.17/2426.74 c rational objective 5
2459.76/2466.47 c #Conflicts: 1542000 | #Constraints: 45772
2459.76/2466.47 c #Conflicts: 1543000 | #Constraints: 46772
2459.76/2466.47 c #Conflicts: 1544000 | #Constraints: 47772
2459.76/2466.47 c #Conflicts: 1545000 | #Constraints: 48774
2459.76/2466.47 c #Conflicts: 1546000 | #Constraints: 49777
2459.76/2466.47 c #Conflicts: 1547000 | #Constraints: 50778
2459.76/2466.47 c #Conflicts: 1548000 | #Constraints: 51778
2459.76/2466.47 c #Conflicts: 1549000 | #Constraints: 52780
2459.76/2466.47 c #Conflicts: 1550000 | #Constraints: 53780
2459.76/2466.47 c #Conflicts: 1551000 | #Constraints: 54782
2459.76/2466.47 c #Conflicts: 1552000 | #Constraints: 55786
2459.76/2466.47 c #Conflicts: 1553000 | #Constraints: 56787
2459.76/2466.47 c #Conflicts: 1554000 | #Constraints: 57788
2459.76/2466.47 c #Conflicts: 1555000 | #Constraints: 58791
2459.76/2466.47 c #Conflicts: 1556000 | #Constraints: 59792
2459.76/2466.47 c #Conflicts: 1557000 | #Constraints: 60793
2459.76/2466.47 c #Conflicts: 1558000 | #Constraints: 61795
2459.76/2466.47 c #Conflicts: 1559000 | #Constraints: 62796
2459.76/2466.47 c #Conflicts: 1560000 | #Constraints: 63797
2459.76/2466.47 c #Conflicts: 1561000 | #Constraints: 64798
2459.76/2466.47 c #Conflicts: 1562000 | #Constraints: 65800
2459.76/2466.47 c #Conflicts: 1563000 | #Constraints: 66801
2459.76/2466.47 c #Conflicts: 1564000 | #Constraints: 67803
2459.76/2466.47 c #Conflicts: 1565000 | #Constraints: 68803
2459.76/2466.47 c #Conflicts: 1566000 | #Constraints: 69803
2459.76/2466.47 c INPROCESSING
2459.76/2466.47 c GARBAGE COLLECT
2459.76/2466.47 c rational objective 5
2513.01/2519.83 c #Conflicts: 1567000 | #Constraints: 45957
2513.01/2519.83 c #Conflicts: 1568000 | #Constraints: 46957
2513.01/2519.83 c #Conflicts: 1569000 | #Constraints: 47959
2513.01/2519.83 c #Conflicts: 1570000 | #Constraints: 48961
2513.01/2519.83 c #Conflicts: 1571000 | #Constraints: 49963
2513.01/2519.83 c #Conflicts: 1572000 | #Constraints: 50965
2513.01/2519.83 c #Conflicts: 1573000 | #Constraints: 51966
2513.01/2519.83 c #Conflicts: 1574000 | #Constraints: 52967
2513.01/2519.83 c #Conflicts: 1575000 | #Constraints: 53968
2513.01/2519.83 c #Conflicts: 1576000 | #Constraints: 54969
2513.01/2519.83 c #Conflicts: 1577000 | #Constraints: 55972
2513.01/2519.83 c #Conflicts: 1578000 | #Constraints: 56975
2513.01/2519.83 c #Conflicts: 1579000 | #Constraints: 57977
2513.01/2519.83 c #Conflicts: 1580000 | #Constraints: 58978
2513.01/2519.83 c #Conflicts: 1581000 | #Constraints: 59979
2513.01/2519.83 c #Conflicts: 1582000 | #Constraints: 60980
2513.01/2519.83 c #Conflicts: 1583000 | #Constraints: 61980
2513.01/2519.83 c #Conflicts: 1584000 | #Constraints: 62980
2513.01/2519.83 c #Conflicts: 1585000 | #Constraints: 63981
2513.01/2519.83 c #Conflicts: 1586000 | #Constraints: 64982
2513.01/2519.83 c #Conflicts: 1587000 | #Constraints: 65982
2513.01/2519.83 c #Conflicts: 1588000 | #Constraints: 66983
2513.01/2519.83 c #Conflicts: 1589000 | #Constraints: 67984
2513.01/2519.83 c #Conflicts: 1590000 | #Constraints: 68985
2513.01/2519.83 c #Conflicts: 1591000 | #Constraints: 69985
2513.01/2519.83 c INPROCESSING
2513.01/2519.83 c GARBAGE COLLECT
2513.01/2519.83 c rational objective 5
2561.96/2568.99 c #Conflicts: 1592000 | #Constraints: 45939
2561.96/2568.99 c #Conflicts: 1593000 | #Constraints: 46939
2561.96/2568.99 c #Conflicts: 1594000 | #Constraints: 47940
2561.96/2568.99 c #Conflicts: 1595000 | #Constraints: 48940
2561.96/2568.99 c #Conflicts: 1596000 | #Constraints: 49943
2561.96/2568.99 c #Conflicts: 1597000 | #Constraints: 50943
2561.96/2568.99 c #Conflicts: 1598000 | #Constraints: 51945
2561.96/2568.99 c #Conflicts: 1599000 | #Constraints: 52947
2561.96/2568.99 c #Conflicts: 1600000 | #Constraints: 53948
2561.96/2568.99 c #Conflicts: 1601000 | #Constraints: 54949
2561.96/2568.99 c #Conflicts: 1602000 | #Constraints: 55949
2561.96/2568.99 c #Conflicts: 1603000 | #Constraints: 56949
2561.96/2568.99 c #Conflicts: 1604000 | #Constraints: 57951
2561.96/2568.99 c #Conflicts: 1605000 | #Constraints: 58953
2561.96/2568.99 c #Conflicts: 1606000 | #Constraints: 59955
2561.96/2568.99 c #Conflicts: 1607000 | #Constraints: 60958
2561.96/2568.99 c #Conflicts: 1608000 | #Constraints: 61958
2561.96/2568.99 c #Conflicts: 1609000 | #Constraints: 62960
2561.96/2568.99 c #Conflicts: 1610000 | #Constraints: 63961
2561.96/2568.99 c #Conflicts: 1611000 | #Constraints: 64961
2561.96/2568.99 c #Conflicts: 1612000 | #Constraints: 65962
2561.96/2568.99 c #Conflicts: 1613000 | #Constraints: 66963
2561.96/2568.99 c #Conflicts: 1614000 | #Constraints: 67964
2561.96/2568.99 c #Conflicts: 1615000 | #Constraints: 68965
2561.96/2568.99 c #Conflicts: 1616000 | #Constraints: 69965
2561.96/2568.99 c INPROCESSING
2561.96/2568.99 c GARBAGE COLLECT
2561.96/2568.99 c rational objective 5
2607.43/2614.55 c #Conflicts: 1617000 | #Constraints: 45788
2607.43/2614.55 c #Conflicts: 1618000 | #Constraints: 46789
2607.43/2614.55 c #Conflicts: 1619000 | #Constraints: 47789
2607.43/2614.55 c #Conflicts: 1620000 | #Constraints: 48789
2607.43/2614.55 c #Conflicts: 1621000 | #Constraints: 49790
2607.43/2614.55 c #Conflicts: 1622000 | #Constraints: 50791
2607.43/2614.55 c #Conflicts: 1623000 | #Constraints: 51791
2607.43/2614.55 c #Conflicts: 1624000 | #Constraints: 52791
2607.43/2614.55 c #Conflicts: 1625000 | #Constraints: 53792
2607.43/2614.55 c #Conflicts: 1626000 | #Constraints: 54793
2607.43/2614.55 c #Conflicts: 1627000 | #Constraints: 55793
2607.43/2614.55 c #Conflicts: 1628000 | #Constraints: 56793
2607.43/2614.55 c #Conflicts: 1629000 | #Constraints: 57794
2607.43/2614.55 c #Conflicts: 1630000 | #Constraints: 58794
2607.43/2614.55 c #Conflicts: 1631000 | #Constraints: 59794
2607.43/2614.55 c #Conflicts: 1632000 | #Constraints: 60794
2607.43/2614.55 c #Conflicts: 1633000 | #Constraints: 61794
2607.43/2614.55 c #Conflicts: 1634000 | #Constraints: 62794
2607.43/2614.55 c #Conflicts: 1635000 | #Constraints: 63795
2607.43/2614.55 c #Conflicts: 1636000 | #Constraints: 64795
2607.43/2614.55 c #Conflicts: 1637000 | #Constraints: 65795
2607.43/2614.55 c #Conflicts: 1638000 | #Constraints: 66796
2607.43/2614.55 c #Conflicts: 1639000 | #Constraints: 67796
2607.43/2614.55 c #Conflicts: 1640000 | #Constraints: 68797
2607.43/2614.55 c #Conflicts: 1641000 | #Constraints: 69797
2607.43/2614.55 c #Conflicts: 1642000 | #Constraints: 70798
2607.43/2614.55 c INPROCESSING
2607.43/2614.55 c GARBAGE COLLECT
2607.43/2614.55 c rational objective 5
2654.59/2661.80 c #Conflicts: 1643000 | #Constraints: 46334
2654.59/2661.80 c #Conflicts: 1644000 | #Constraints: 47335
2654.59/2661.80 c #Conflicts: 1645000 | #Constraints: 48335
2654.59/2661.80 c #Conflicts: 1646000 | #Constraints: 49335
2654.59/2661.80 c #Conflicts: 1647000 | #Constraints: 50338
2654.59/2661.80 c #Conflicts: 1648000 | #Constraints: 51341
2654.59/2661.80 c #Conflicts: 1649000 | #Constraints: 52343
2654.59/2661.80 c #Conflicts: 1650000 | #Constraints: 53344
2654.59/2661.80 c #Conflicts: 1651000 | #Constraints: 54346
2654.59/2661.80 c #Conflicts: 1652000 | #Constraints: 55349
2654.59/2661.80 c #Conflicts: 1653000 | #Constraints: 56349
2654.59/2661.80 c #Conflicts: 1654000 | #Constraints: 57353
2654.59/2661.80 c #Conflicts: 1655000 | #Constraints: 58355
2654.59/2661.80 c #Conflicts: 1656000 | #Constraints: 59358
2654.59/2661.80 c #Conflicts: 1657000 | #Constraints: 60360
2654.59/2661.80 c #Conflicts: 1658000 | #Constraints: 61361
2654.59/2661.80 c #Conflicts: 1659000 | #Constraints: 62363
2654.59/2661.80 c #Conflicts: 1660000 | #Constraints: 63365
2654.59/2661.80 c #Conflicts: 1661000 | #Constraints: 64366
2654.59/2661.80 c #Conflicts: 1662000 | #Constraints: 65367
2654.59/2661.80 c #Conflicts: 1663000 | #Constraints: 66369
2654.59/2661.80 c #Conflicts: 1664000 | #Constraints: 67370
2654.59/2661.80 c #Conflicts: 1665000 | #Constraints: 68371
2654.59/2661.80 c #Conflicts: 1666000 | #Constraints: 69373
2654.59/2661.80 c #Conflicts: 1667000 | #Constraints: 70374
2654.59/2661.80 c #Conflicts: 1668000 | #Constraints: 71375
2654.59/2661.80 c INPROCESSING
2654.59/2661.80 c GARBAGE COLLECT
2654.59/2661.80 c rational objective 5
2704.65/2712.02 c #Conflicts: 1669000 | #Constraints: 46718
2704.65/2712.02 c #Conflicts: 1670000 | #Constraints: 47720
2704.65/2712.02 c #Conflicts: 1671000 | #Constraints: 48722
2704.65/2712.02 c #Conflicts: 1672000 | #Constraints: 49725
2704.65/2712.02 c #Conflicts: 1673000 | #Constraints: 50727
2704.65/2712.02 c #Conflicts: 1674000 | #Constraints: 51728
2704.65/2712.02 c #Conflicts: 1675000 | #Constraints: 52730
2704.65/2712.02 c #Conflicts: 1676000 | #Constraints: 53731
2704.65/2712.02 c #Conflicts: 1677000 | #Constraints: 54734
2704.65/2712.02 c #Conflicts: 1678000 | #Constraints: 55737
2704.65/2712.02 c #Conflicts: 1679000 | #Constraints: 56741
2704.65/2712.02 c #Conflicts: 1680000 | #Constraints: 57741
2704.65/2712.02 c #Conflicts: 1681000 | #Constraints: 58742
2704.65/2712.02 c #Conflicts: 1682000 | #Constraints: 59743
2704.65/2712.02 c #Conflicts: 1683000 | #Constraints: 60746
2704.65/2712.02 c #Conflicts: 1684000 | #Constraints: 61748
2704.65/2712.02 c #Conflicts: 1685000 | #Constraints: 62750
2704.65/2712.02 c #Conflicts: 1686000 | #Constraints: 63751
2704.65/2712.02 c #Conflicts: 1687000 | #Constraints: 64753
2704.65/2712.02 c #Conflicts: 1688000 | #Constraints: 65754
2704.65/2712.02 c #Conflicts: 1689000 | #Constraints: 66756
2704.65/2712.02 c #Conflicts: 1690000 | #Constraints: 67756
2704.65/2712.02 c #Conflicts: 1691000 | #Constraints: 68758
2704.65/2712.02 c #Conflicts: 1692000 | #Constraints: 69759
2704.65/2712.02 c #Conflicts: 1693000 | #Constraints: 70759
2704.65/2712.02 c #Conflicts: 1694000 | #Constraints: 71760
2704.65/2712.02 c INPROCESSING
2704.65/2712.02 c GARBAGE COLLECT
2704.65/2712.02 c rational objective 5
2761.87/2769.44 c #Conflicts: 1695000 | #Constraints: 46913
2761.87/2769.44 c #Conflicts: 1696000 | #Constraints: 47913
2761.87/2769.44 c #Conflicts: 1697000 | #Constraints: 48915
2761.87/2769.44 c #Conflicts: 1698000 | #Constraints: 49916
2761.87/2769.44 c #Conflicts: 1699000 | #Constraints: 50918
2761.87/2769.44 c #Conflicts: 1700000 | #Constraints: 51920
2761.87/2769.44 c #Conflicts: 1701000 | #Constraints: 52923
2761.87/2769.44 c #Conflicts: 1702000 | #Constraints: 53924
2761.87/2769.44 c #Conflicts: 1703000 | #Constraints: 54925
2761.87/2769.44 c #Conflicts: 1704000 | #Constraints: 55927
2761.87/2769.44 c #Conflicts: 1705000 | #Constraints: 56927
2761.87/2769.44 c #Conflicts: 1706000 | #Constraints: 57928
2761.87/2769.44 c #Conflicts: 1707000 | #Constraints: 58929
2761.87/2769.44 c #Conflicts: 1708000 | #Constraints: 59929
2761.87/2769.44 c #Conflicts: 1709000 | #Constraints: 60929
2761.87/2769.44 c #Conflicts: 1710000 | #Constraints: 61929
2761.87/2769.44 c #Conflicts: 1711000 | #Constraints: 62930
2761.87/2769.44 c #Conflicts: 1712000 | #Constraints: 63931
2761.87/2769.44 c #Conflicts: 1713000 | #Constraints: 64932
2761.87/2769.44 c #Conflicts: 1714000 | #Constraints: 65932
2761.87/2769.44 c #Conflicts: 1715000 | #Constraints: 66933
2761.87/2769.44 c #Conflicts: 1716000 | #Constraints: 67933
2761.87/2769.44 c #Conflicts: 1717000 | #Constraints: 68934
2761.87/2769.44 c #Conflicts: 1718000 | #Constraints: 69935
2761.87/2769.44 c #Conflicts: 1719000 | #Constraints: 70937
2761.87/2769.44 c #Conflicts: 1720000 | #Constraints: 71938
2761.87/2769.44 c INPROCESSING
2761.87/2769.44 c GARBAGE COLLECT
2761.87/2769.44 c rational objective 5
2816.61/2824.35 c #Conflicts: 1721000 | #Constraints: 46963
2816.61/2824.35 c #Conflicts: 1722000 | #Constraints: 47963
2816.61/2824.35 c #Conflicts: 1723000 | #Constraints: 48964
2816.61/2824.35 c #Conflicts: 1724000 | #Constraints: 49970
2816.61/2824.35 c #Conflicts: 1725000 | #Constraints: 50971
2816.61/2824.35 c #Conflicts: 1726000 | #Constraints: 51971
2816.61/2824.35 c #Conflicts: 1727000 | #Constraints: 52973
2816.61/2824.35 c #Conflicts: 1728000 | #Constraints: 53975
2816.61/2824.35 c #Conflicts: 1729000 | #Constraints: 54977
2816.61/2824.35 c #Conflicts: 1730000 | #Constraints: 55979
2816.61/2824.35 c #Conflicts: 1731000 | #Constraints: 56980
2816.61/2824.35 c #Conflicts: 1732000 | #Constraints: 57980
2816.61/2824.35 c #Conflicts: 1733000 | #Constraints: 58982
2816.61/2824.35 c #Conflicts: 1734000 | #Constraints: 59983
2816.61/2824.35 c #Conflicts: 1735000 | #Constraints: 60983
2816.61/2824.35 c #Conflicts: 1736000 | #Constraints: 61984
2816.61/2824.35 c #Conflicts: 1737000 | #Constraints: 62984
2816.61/2824.35 c #Conflicts: 1738000 | #Constraints: 63984
2816.61/2824.35 c #Conflicts: 1739000 | #Constraints: 64985
2816.61/2824.35 c #Conflicts: 1740000 | #Constraints: 65985
2816.61/2824.35 c #Conflicts: 1741000 | #Constraints: 66986
2816.61/2824.35 c #Conflicts: 1742000 | #Constraints: 67987
2816.61/2824.35 c #Conflicts: 1743000 | #Constraints: 68987
2816.61/2824.35 c #Conflicts: 1744000 | #Constraints: 69987
2816.61/2824.35 c #Conflicts: 1745000 | #Constraints: 70988
2816.61/2824.35 c #Conflicts: 1746000 | #Constraints: 71988
2816.61/2824.35 c INPROCESSING
2816.61/2824.35 c GARBAGE COLLECT
2816.61/2824.35 c rational objective 5
2871.05/2878.90 c #Conflicts: 1747000 | #Constraints: 46715
2871.05/2878.90 c #Conflicts: 1748000 | #Constraints: 47715
2871.05/2878.90 c #Conflicts: 1749000 | #Constraints: 48715
2871.05/2878.90 c #Conflicts: 1750000 | #Constraints: 49717
2871.05/2878.90 c #Conflicts: 1751000 | #Constraints: 50720
2871.05/2878.90 c #Conflicts: 1752000 | #Constraints: 51720
2871.05/2878.90 c #Conflicts: 1753000 | #Constraints: 52725
2871.05/2878.90 c #Conflicts: 1754000 | #Constraints: 53727
2871.05/2878.90 c #Conflicts: 1755000 | #Constraints: 54730
2871.05/2878.90 c #Conflicts: 1756000 | #Constraints: 55732
2871.05/2878.90 c #Conflicts: 1757000 | #Constraints: 56733
2871.05/2878.90 c #Conflicts: 1758000 | #Constraints: 57735
2871.05/2878.90 c #Conflicts: 1759000 | #Constraints: 58737
2871.05/2878.90 c #Conflicts: 1760000 | #Constraints: 59739
2871.05/2878.90 c #Conflicts: 1761000 | #Constraints: 60742
2871.05/2878.90 c #Conflicts: 1762000 | #Constraints: 61743
2871.05/2878.90 c #Conflicts: 1763000 | #Constraints: 62743
2871.05/2878.90 c #Conflicts: 1764000 | #Constraints: 63744
2871.05/2878.90 c #Conflicts: 1765000 | #Constraints: 64744
2871.05/2878.90 c #Conflicts: 1766000 | #Constraints: 65744
2871.05/2878.90 c #Conflicts: 1767000 | #Constraints: 66744
2871.05/2878.90 c #Conflicts: 1768000 | #Constraints: 67744
2871.05/2878.90 c #Conflicts: 1769000 | #Constraints: 68744
2871.05/2878.90 c #Conflicts: 1770000 | #Constraints: 69744
2871.05/2878.90 c #Conflicts: 1771000 | #Constraints: 70745
2871.05/2878.90 c #Conflicts: 1772000 | #Constraints: 71745
2871.05/2878.90 c #Conflicts: 1773000 | #Constraints: 72745
2871.05/2878.90 c INPROCESSING
2871.05/2878.90 c GARBAGE COLLECT
2871.05/2878.90 c rational objective 5
2921.79/2929.88 c #Conflicts: 1774000 | #Constraints: 47360
2921.79/2929.88 c #Conflicts: 1775000 | #Constraints: 48360
2921.79/2929.88 c #Conflicts: 1776000 | #Constraints: 49360
2921.79/2929.88 c #Conflicts: 1777000 | #Constraints: 50361
2921.79/2929.88 c #Conflicts: 1778000 | #Constraints: 51363
2921.79/2929.88 c #Conflicts: 1779000 | #Constraints: 52367
2921.79/2929.88 c #Conflicts: 1780000 | #Constraints: 53368
2921.79/2929.88 c #Conflicts: 1781000 | #Constraints: 54370
2921.79/2929.88 c #Conflicts: 1782000 | #Constraints: 55372
2921.79/2929.88 c #Conflicts: 1783000 | #Constraints: 56377
2921.79/2929.88 c #Conflicts: 1784000 | #Constraints: 57383
2921.79/2929.88 c #Conflicts: 1785000 | #Constraints: 58387
2921.79/2929.88 c #Conflicts: 1786000 | #Constraints: 59392
2921.79/2929.88 c #Conflicts: 1787000 | #Constraints: 60397
2921.79/2929.88 c #Conflicts: 1788000 | #Constraints: 61408
2921.79/2929.88 c #Conflicts: 1789000 | #Constraints: 62412
2921.79/2929.88 c #Conflicts: 1790000 | #Constraints: 63415
2921.79/2929.88 c #Conflicts: 1791000 | #Constraints: 64416
2921.79/2929.88 c #Conflicts: 1792000 | #Constraints: 65418
2921.79/2929.88 c #Conflicts: 1793000 | #Constraints: 66422
2921.79/2929.88 c #Conflicts: 1794000 | #Constraints: 67423
2921.79/2929.88 c #Conflicts: 1795000 | #Constraints: 68424
2921.79/2929.88 c #Conflicts: 1796000 | #Constraints: 69424
2921.79/2929.88 c #Conflicts: 1797000 | #Constraints: 70426
2921.79/2929.88 c #Conflicts: 1798000 | #Constraints: 71427
2921.79/2929.88 c #Conflicts: 1799000 | #Constraints: 72429
2921.79/2929.88 c #Conflicts: 1800000 | #Constraints: 73430
2921.79/2929.88 c INPROCESSING
2921.79/2929.88 c GARBAGE COLLECT
2921.79/2929.88 c rational objective 5
2988.00/2996.23 c #Conflicts: 1801000 | #Constraints: 47735
2988.00/2996.23 c #Conflicts: 1802000 | #Constraints: 48735
2988.00/2996.23 c #Conflicts: 1803000 | #Constraints: 49737
2988.00/2996.23 c #Conflicts: 1804000 | #Constraints: 50741
2988.00/2996.23 c #Conflicts: 1805000 | #Constraints: 51743
2988.00/2996.23 c #Conflicts: 1806000 | #Constraints: 52746
2988.00/2996.23 c #Conflicts: 1807000 | #Constraints: 53748
2988.00/2996.23 c #Conflicts: 1808000 | #Constraints: 54748
2988.00/2996.23 c #Conflicts: 1809000 | #Constraints: 55748
2988.00/2996.23 c #Conflicts: 1810000 | #Constraints: 56748
2988.00/2996.23 c #Conflicts: 1811000 | #Constraints: 57750
2988.00/2996.23 c #Conflicts: 1812000 | #Constraints: 58751
2988.00/2996.23 c #Conflicts: 1813000 | #Constraints: 59752
2988.00/2996.23 c #Conflicts: 1814000 | #Constraints: 60753
2988.00/2996.23 c #Conflicts: 1815000 | #Constraints: 61754
2988.00/2996.23 c #Conflicts: 1816000 | #Constraints: 62756
2988.00/2996.23 c #Conflicts: 1817000 | #Constraints: 63756
2988.00/2996.23 c #Conflicts: 1818000 | #Constraints: 64756
2988.00/2996.23 c #Conflicts: 1819000 | #Constraints: 65756
2988.00/2996.23 c #Conflicts: 1820000 | #Constraints: 66756
2988.00/2996.23 c #Conflicts: 1821000 | #Constraints: 67756
2988.00/2996.23 c #Conflicts: 1822000 | #Constraints: 68756
2988.00/2996.23 c #Conflicts: 1823000 | #Constraints: 69756
2988.00/2996.23 c #Conflicts: 1824000 | #Constraints: 70756
2988.00/2996.23 c #Conflicts: 1825000 | #Constraints: 71757
2988.00/2996.23 c #Conflicts: 1826000 | #Constraints: 72758
2988.00/2996.23 c #Conflicts: 1827000 | #Constraints: 73758
2988.00/2996.23 c INPROCESSING
2988.00/2996.23 c GARBAGE COLLECT
2988.00/2996.23 c rational objective 5
3056.19/3064.63 c #Conflicts: 1828000 | #Constraints: 47896
3056.19/3064.63 c #Conflicts: 1829000 | #Constraints: 48896
3056.19/3064.63 c #Conflicts: 1830000 | #Constraints: 49896
3056.19/3064.63 c #Conflicts: 1831000 | #Constraints: 50898
3056.19/3064.63 c #Conflicts: 1832000 | #Constraints: 51903
3056.19/3064.63 c #Conflicts: 1833000 | #Constraints: 52905
3056.19/3064.63 c #Conflicts: 1834000 | #Constraints: 53906
3056.19/3064.63 c #Conflicts: 1835000 | #Constraints: 54907
3056.19/3064.63 c #Conflicts: 1836000 | #Constraints: 55910
3056.19/3064.63 c #Conflicts: 1837000 | #Constraints: 56912
3056.19/3064.63 c #Conflicts: 1838000 | #Constraints: 57914
3056.19/3064.63 c #Conflicts: 1839000 | #Constraints: 58914
3056.19/3064.63 c #Conflicts: 1840000 | #Constraints: 59916
3056.19/3064.63 c #Conflicts: 1841000 | #Constraints: 60916
3056.19/3064.63 c #Conflicts: 1842000 | #Constraints: 61918
3056.19/3064.63 c #Conflicts: 1843000 | #Constraints: 62918
3056.19/3064.63 c #Conflicts: 1844000 | #Constraints: 63919
3056.19/3064.63 c #Conflicts: 1845000 | #Constraints: 64920
3056.19/3064.63 c #Conflicts: 1846000 | #Constraints: 65924
3056.19/3064.63 c #Conflicts: 1847000 | #Constraints: 66924
3056.19/3064.63 c #Conflicts: 1848000 | #Constraints: 67925
3056.19/3064.63 c #Conflicts: 1849000 | #Constraints: 68926
3056.19/3064.63 c #Conflicts: 1850000 | #Constraints: 69927
3056.19/3064.63 c #Conflicts: 1851000 | #Constraints: 70928
3056.19/3064.63 c #Conflicts: 1852000 | #Constraints: 71929
3056.19/3064.63 c #Conflicts: 1853000 | #Constraints: 72930
3056.19/3064.63 c #Conflicts: 1854000 | #Constraints: 73931
3056.19/3064.63 c INPROCESSING
3056.19/3064.63 c GARBAGE COLLECT
3056.19/3064.63 c rational objective 5
3157.59/3166.31 c #Conflicts: 1855000 | #Constraints: 47886
3157.59/3166.31 c #Conflicts: 1856000 | #Constraints: 48888
3157.59/3166.31 c #Conflicts: 1857000 | #Constraints: 49888
3157.59/3166.31 c #Conflicts: 1858000 | #Constraints: 50889
3157.59/3166.31 c #Conflicts: 1859000 | #Constraints: 51889
3157.59/3166.31 c #Conflicts: 1860000 | #Constraints: 52889
3157.59/3166.31 c #Conflicts: 1861000 | #Constraints: 53889
3157.59/3166.31 c #Conflicts: 1862000 | #Constraints: 54889
3157.59/3166.31 c #Conflicts: 1863000 | #Constraints: 55890
3157.59/3166.31 c #Conflicts: 1864000 | #Constraints: 56890
3157.59/3166.31 c #Conflicts: 1865000 | #Constraints: 57890
3157.59/3166.31 c #Conflicts: 1866000 | #Constraints: 58891
3157.59/3166.31 c #Conflicts: 1867000 | #Constraints: 59892
3157.59/3166.31 c #Conflicts: 1868000 | #Constraints: 60892
3157.59/3166.31 c #Conflicts: 1869000 | #Constraints: 61894
3157.59/3166.31 c #Conflicts: 1870000 | #Constraints: 62894
3157.59/3166.31 c #Conflicts: 1871000 | #Constraints: 63894
3157.59/3166.31 c #Conflicts: 1872000 | #Constraints: 64895
3157.59/3166.31 c #Conflicts: 1873000 | #Constraints: 65896
3157.59/3166.31 c #Conflicts: 1874000 | #Constraints: 66896
3157.59/3166.31 c #Conflicts: 1875000 | #Constraints: 67896
3157.59/3166.31 c #Conflicts: 1876000 | #Constraints: 68896
3157.59/3166.31 c #Conflicts: 1877000 | #Constraints: 69897
3157.59/3166.31 c #Conflicts: 1878000 | #Constraints: 70898
3157.59/3166.31 c #Conflicts: 1879000 | #Constraints: 71898
3157.59/3166.31 c #Conflicts: 1880000 | #Constraints: 72899
3157.59/3166.31 c #Conflicts: 1881000 | #Constraints: 73899
3157.59/3166.31 c INPROCESSING
3157.59/3166.31 c GARBAGE COLLECT
3157.59/3166.31 c rational objective 5
3216.42/3225.36 c #Conflicts: 1882000 | #Constraints: 47681
3216.42/3225.36 c #Conflicts: 1883000 | #Constraints: 48681
3216.42/3225.36 c #Conflicts: 1884000 | #Constraints: 49681
3216.42/3225.36 c #Conflicts: 1885000 | #Constraints: 50681
3216.42/3225.36 c #Conflicts: 1886000 | #Constraints: 51681
3216.42/3225.36 c #Conflicts: 1887000 | #Constraints: 52681
3216.42/3225.36 c #Conflicts: 1888000 | #Constraints: 53684
3216.42/3225.36 c #Conflicts: 1889000 | #Constraints: 54687
3216.42/3225.36 c #Conflicts: 1890000 | #Constraints: 55687
3216.42/3225.36 c #Conflicts: 1891000 | #Constraints: 56689
3216.42/3225.36 c #Conflicts: 1892000 | #Constraints: 57691
3216.42/3225.36 c #Conflicts: 1893000 | #Constraints: 58693
3216.42/3225.36 c #Conflicts: 1894000 | #Constraints: 59696
3216.42/3225.36 c #Conflicts: 1895000 | #Constraints: 60699
3216.42/3225.36 c #Conflicts: 1896000 | #Constraints: 61701
3216.42/3225.36 c #Conflicts: 1897000 | #Constraints: 62703
3216.42/3225.36 c #Conflicts: 1898000 | #Constraints: 63706
3216.42/3225.36 c #Conflicts: 1899000 | #Constraints: 64707
3216.42/3225.36 c #Conflicts: 1900000 | #Constraints: 65711
3216.42/3225.36 c #Conflicts: 1901000 | #Constraints: 66713
3216.42/3225.36 c #Conflicts: 1902000 | #Constraints: 67714
3216.42/3225.36 c #Conflicts: 1903000 | #Constraints: 68716
3216.42/3225.36 c #Conflicts: 1904000 | #Constraints: 69717
3216.42/3225.36 c #Conflicts: 1905000 | #Constraints: 70717
3216.42/3225.36 c #Conflicts: 1906000 | #Constraints: 71720
3216.42/3225.36 c #Conflicts: 1907000 | #Constraints: 72723
3216.42/3225.36 c #Conflicts: 1908000 | #Constraints: 73723
3216.42/3225.36 c #Conflicts: 1909000 | #Constraints: 74723
3216.42/3225.36 c INPROCESSING
3216.42/3225.36 c GARBAGE COLLECT
3216.42/3225.36 c rational objective 5
3284.70/3293.85 c #Conflicts: 1910000 | #Constraints: 48239
3284.70/3293.85 c #Conflicts: 1911000 | #Constraints: 49239
3284.70/3293.85 c #Conflicts: 1912000 | #Constraints: 50245
3284.70/3293.85 c #Conflicts: 1913000 | #Constraints: 51246
3284.70/3293.85 c #Conflicts: 1914000 | #Constraints: 52251
3284.70/3293.85 c #Conflicts: 1915000 | #Constraints: 53256
3284.70/3293.85 c #Conflicts: 1916000 | #Constraints: 54256
3284.70/3293.85 c #Conflicts: 1917000 | #Constraints: 55261
3284.70/3293.85 c #Conflicts: 1918000 | #Constraints: 56263
3284.70/3293.85 c #Conflicts: 1919000 | #Constraints: 57266
3284.70/3293.85 c #Conflicts: 1920000 | #Constraints: 58271
3284.70/3293.85 c #Conflicts: 1921000 | #Constraints: 59273
3284.70/3293.85 c #Conflicts: 1922000 | #Constraints: 60276
3284.70/3293.85 c #Conflicts: 1923000 | #Constraints: 61280
3284.70/3293.85 c #Conflicts: 1924000 | #Constraints: 62282
3284.70/3293.85 c #Conflicts: 1925000 | #Constraints: 63283
3284.70/3293.85 c #Conflicts: 1926000 | #Constraints: 64287
3284.70/3293.85 c #Conflicts: 1927000 | #Constraints: 65289
3284.70/3293.85 c #Conflicts: 1928000 | #Constraints: 66291
3284.70/3293.85 c #Conflicts: 1929000 | #Constraints: 67291
3284.70/3293.85 c #Conflicts: 1930000 | #Constraints: 68291
3284.70/3293.85 c #Conflicts: 1931000 | #Constraints: 69293
3284.70/3293.85 c #Conflicts: 1932000 | #Constraints: 70293
3284.70/3293.85 c #Conflicts: 1933000 | #Constraints: 71293
3284.70/3293.85 c #Conflicts: 1934000 | #Constraints: 72294
3284.70/3293.85 c #Conflicts: 1935000 | #Constraints: 73296
3284.70/3293.85 c #Conflicts: 1936000 | #Constraints: 74297
3284.70/3293.85 c #Conflicts: 1937000 | #Constraints: 75297
3284.70/3293.85 c INPROCESSING
3284.70/3293.85 c GARBAGE COLLECT
3284.70/3293.85 c rational objective 5
3353.99/3363.35 c #Conflicts: 1938000 | #Constraints: 48682
3353.99/3363.35 c #Conflicts: 1939000 | #Constraints: 49682
3353.99/3363.35 c #Conflicts: 1940000 | #Constraints: 50683
3353.99/3363.35 c #Conflicts: 1941000 | #Constraints: 51685
3353.99/3363.35 c #Conflicts: 1942000 | #Constraints: 52687
3353.99/3363.35 c #Conflicts: 1943000 | #Constraints: 53688
3353.99/3363.35 c #Conflicts: 1944000 | #Constraints: 54691
3353.99/3363.35 c #Conflicts: 1945000 | #Constraints: 55693
3353.99/3363.35 c #Conflicts: 1946000 | #Constraints: 56696
3353.99/3363.35 c #Conflicts: 1947000 | #Constraints: 57699
3353.99/3363.35 c #Conflicts: 1948000 | #Constraints: 58701
3353.99/3363.35 c #Conflicts: 1949000 | #Constraints: 59702
3353.99/3363.35 c #Conflicts: 1950000 | #Constraints: 60703
3353.99/3363.35 c #Conflicts: 1951000 | #Constraints: 61704
3353.99/3363.35 c #Conflicts: 1952000 | #Constraints: 62705
3353.99/3363.35 c #Conflicts: 1953000 | #Constraints: 63708
3353.99/3363.35 c #Conflicts: 1954000 | #Constraints: 64710
3353.99/3363.35 c #Conflicts: 1955000 | #Constraints: 65711
3353.99/3363.35 c #Conflicts: 1956000 | #Constraints: 66713
3353.99/3363.35 c #Conflicts: 1957000 | #Constraints: 67714
3353.99/3363.35 c #Conflicts: 1958000 | #Constraints: 68715
3353.99/3363.35 c #Conflicts: 1959000 | #Constraints: 69716
3353.99/3363.35 c #Conflicts: 1960000 | #Constraints: 70718
3353.99/3363.35 c #Conflicts: 1961000 | #Constraints: 71719
3353.99/3363.35 c #Conflicts: 1962000 | #Constraints: 72720
3353.99/3363.35 c #Conflicts: 1963000 | #Constraints: 73721
3353.99/3363.35 c #Conflicts: 1964000 | #Constraints: 74721
3353.99/3363.35 c #Conflicts: 1965000 | #Constraints: 75721
3353.99/3363.35 c INPROCESSING
3353.99/3363.35 c GARBAGE COLLECT
3353.99/3363.35 c rational objective 5
3422.20/3431.72 c #Conflicts: 1966000 | #Constraints: 48820
3422.20/3431.72 c #Conflicts: 1967000 | #Constraints: 49821
3422.20/3431.72 c #Conflicts: 1968000 | #Constraints: 50822
3422.20/3431.72 c #Conflicts: 1969000 | #Constraints: 51825
3422.20/3431.72 c #Conflicts: 1970000 | #Constraints: 52826
3422.20/3431.72 c #Conflicts: 1971000 | #Constraints: 53827
3422.20/3431.72 c #Conflicts: 1972000 | #Constraints: 54830
3422.20/3431.72 c #Conflicts: 1973000 | #Constraints: 55834
3422.20/3431.72 c #Conflicts: 1974000 | #Constraints: 56838
3422.20/3431.72 c #Conflicts: 1975000 | #Constraints: 57840
3422.20/3431.72 c #Conflicts: 1976000 | #Constraints: 58841
3422.20/3431.72 c #Conflicts: 1977000 | #Constraints: 59844
3422.20/3431.72 c #Conflicts: 1978000 | #Constraints: 60845
3422.20/3431.72 c #Conflicts: 1979000 | #Constraints: 61846
3422.20/3431.72 c #Conflicts: 1980000 | #Constraints: 62847
3422.20/3431.72 c #Conflicts: 1981000 | #Constraints: 63849
3422.20/3431.72 c #Conflicts: 1982000 | #Constraints: 64850
3422.20/3431.72 c #Conflicts: 1983000 | #Constraints: 65851
3422.20/3431.72 c #Conflicts: 1984000 | #Constraints: 66854
3422.20/3431.72 c #Conflicts: 1985000 | #Constraints: 67854
3422.20/3431.72 c #Conflicts: 1986000 | #Constraints: 68855
3422.20/3431.72 c #Conflicts: 1987000 | #Constraints: 69857
3422.20/3431.72 c #Conflicts: 1988000 | #Constraints: 70858
3422.20/3431.72 c #Conflicts: 1989000 | #Constraints: 71859
3422.20/3431.72 c #Conflicts: 1990000 | #Constraints: 72860
3422.20/3431.72 c #Conflicts: 1991000 | #Constraints: 73862
3422.20/3431.72 c #Conflicts: 1992000 | #Constraints: 74863
3422.20/3431.72 c #Conflicts: 1993000 | #Constraints: 75864
3422.20/3431.72 c INPROCESSING
3422.20/3431.72 c GARBAGE COLLECT
3422.20/3431.72 c rational objective 5
3493.18/3502.97 c #Conflicts: 1994000 | #Constraints: 48882
3493.18/3502.97 c #Conflicts: 1995000 | #Constraints: 49882
3493.18/3502.97 c #Conflicts: 1996000 | #Constraints: 50887
3493.18/3502.97 c #Conflicts: 1997000 | #Constraints: 51890
3493.18/3502.97 c #Conflicts: 1998000 | #Constraints: 52894
3493.18/3502.97 c #Conflicts: 1999000 | #Constraints: 53895
3493.18/3502.97 c #Conflicts: 2000000 | #Constraints: 54895
3493.18/3502.97 c #Conflicts: 2001000 | #Constraints: 55898
3493.18/3502.97 c #Conflicts: 2002000 | #Constraints: 56900
3493.18/3502.97 c #Conflicts: 2003000 | #Constraints: 57902
3493.18/3502.97 c #Conflicts: 2004000 | #Constraints: 58905
3493.18/3502.97 c #Conflicts: 2005000 | #Constraints: 59909
3493.18/3502.97 c #Conflicts: 2006000 | #Constraints: 60912
3493.18/3502.97 c #Conflicts: 2007000 | #Constraints: 61913
3493.18/3502.97 c #Conflicts: 2008000 | #Constraints: 62916
3493.18/3502.97 c #Conflicts: 2009000 | #Constraints: 63918
3493.18/3502.97 c #Conflicts: 2010000 | #Constraints: 64919
3493.18/3502.97 c #Conflicts: 2011000 | #Constraints: 65921
3493.18/3502.97 c #Conflicts: 2012000 | #Constraints: 66925
3493.18/3502.97 c #Conflicts: 2013000 | #Constraints: 67927
3493.18/3502.97 c #Conflicts: 2014000 | #Constraints: 68927
3493.18/3502.97 c #Conflicts: 2015000 | #Constraints: 69927
3493.18/3502.97 c #Conflicts: 2016000 | #Constraints: 70927
3493.18/3502.97 c #Conflicts: 2017000 | #Constraints: 71929
3493.18/3502.97 c #Conflicts: 2018000 | #Constraints: 72931
3493.18/3502.97 c #Conflicts: 2019000 | #Constraints: 73932
3493.18/3502.97 c #Conflicts: 2020000 | #Constraints: 74932
3493.18/3502.97 c #Conflicts: 2021000 | #Constraints: 75933
3493.18/3502.97 c INPROCESSING
3493.18/3502.97 c GARBAGE COLLECT
3493.18/3502.97 c rational objective 5
3558.38/3568.30 c #Conflicts: 2022000 | #Constraints: 48702
3558.38/3568.30 c #Conflicts: 2023000 | #Constraints: 49703
3558.38/3568.30 c #Conflicts: 2024000 | #Constraints: 50703
3558.38/3568.30 c #Conflicts: 2025000 | #Constraints: 51704
3558.38/3568.30 c #Conflicts: 2026000 | #Constraints: 52706
3558.38/3568.30 c #Conflicts: 2027000 | #Constraints: 53708
3558.38/3568.30 c #Conflicts: 2028000 | #Constraints: 54715
3558.38/3568.30 c #Conflicts: 2029000 | #Constraints: 55720
3558.38/3568.30 c #Conflicts: 2030000 | #Constraints: 56721
3558.38/3568.30 c #Conflicts: 2031000 | #Constraints: 57723
3558.38/3568.30 c #Conflicts: 2032000 | #Constraints: 58726
3558.38/3568.30 c #Conflicts: 2033000 | #Constraints: 59729
3558.38/3568.30 c #Conflicts: 2034000 | #Constraints: 60732
3558.38/3568.30 c #Conflicts: 2035000 | #Constraints: 61733
3558.38/3568.30 c #Conflicts: 2036000 | #Constraints: 62735
3558.38/3568.30 c #Conflicts: 2037000 | #Constraints: 63737
3558.38/3568.30 c #Conflicts: 2038000 | #Constraints: 64738
3558.38/3568.30 c #Conflicts: 2039000 | #Constraints: 65741
3558.38/3568.30 c #Conflicts: 2040000 | #Constraints: 66742
3558.38/3568.30 c #Conflicts: 2041000 | #Constraints: 67742
3558.38/3568.30 c #Conflicts: 2042000 | #Constraints: 68742
3558.38/3568.30 c #Conflicts: 2043000 | #Constraints: 69743
3558.38/3568.30 c #Conflicts: 2044000 | #Constraints: 70744
3558.38/3568.30 c #Conflicts: 2045000 | #Constraints: 71746
3558.38/3568.30 c #Conflicts: 2046000 | #Constraints: 72747
3558.38/3568.30 c #Conflicts: 2047000 | #Constraints: 73747
3558.38/3568.30 c #Conflicts: 2048000 | #Constraints: 74747
3558.38/3568.30 c #Conflicts: 2049000 | #Constraints: 75747
3558.38/3568.30 c #Conflicts: 2050000 | #Constraints: 76747
3558.38/3568.30 c INPROCESSING
3558.38/3568.30 c GARBAGE COLLECT
3558.38/3568.30 c rational objective 5
3600.06/3610.10 c #Conflicts: 2051000 | #Constraints: 49255
3600.06/3610.10 c #Conflicts: 2052000 | #Constraints: 50255
3600.06/3610.10 c #Conflicts: 2053000 | #Constraints: 51255
3600.06/3610.10 c #Conflicts: 2054000 | #Constraints: 52255
3600.06/3610.10 c #Conflicts: 2055000 | #Constraints: 53256
3600.06/3610.10 c #Conflicts: 2056000 | #Constraints: 54258
3600.06/3610.10 c #Conflicts: 2057000 | #Constraints: 55263
3600.06/3610.10 c #Conflicts: 2058000 | #Constraints: 56265
3600.06/3610.10 c #Conflicts: 2059000 | #Constraints: 57269
3600.06/3610.10 c #Conflicts: 2060000 | #Constraints: 58270
3600.06/3610.10 c #Conflicts: 2061000 | #Constraints: 59272
3600.06/3610.10 c #Conflicts: 2062000 | #Constraints: 60277
3600.06/3610.10 c #Conflicts: 2063000 | #Constraints: 61280
3600.06/3610.10 c #Conflicts: 2064000 | #Constraints: 62282
3600.06/3610.10 c #Conflicts: 2065000 | #Constraints: 63283
3600.06/3610.10 c #Conflicts: 2066000 | #Constraints: 64285
3600.06/3610.10 c #Conflicts: 2067000 | #Constraints: 65289
3600.06/3610.10 c #Conflicts: 2068000 | #Constraints: 66290
3600.06/3610.10 c #Conflicts: 2069000 | #Constraints: 67292
3600.06/3610.10 c #Conflicts: 2070000 | #Constraints: 68292
3600.06/3610.10 c #Conflicts: 2071000 | #Constraints: 69293
3600.06/3610.10 c cpu time 3582.33 s
3600.06/3610.10 c deterministic time 310943194758 3.11e+11
3600.06/3610.10 c optimization time 41.3614 s
3600.06/3610.10 c total solve time 3540.89 s
3600.06/3610.10 c core-guided solve time 1742.01 s
3600.06/3610.10 c propagation time 2474.97 s
3600.06/3610.10 c conflict analysis time 951.336 s
3600.06/3610.10 c propagations 713810676
3600.06/3610.10 c resolve steps 22958557
3600.06/3610.10 c decisions 5642205
3600.06/3610.10 c conflicts 2071244
3600.06/3610.10 c restarts 4090
3600.06/3610.10 c inprocessing phases 134
3600.06/3610.10 c garbage collections 134 ,( 100.00 )
3600.06/3610.10 c input clauses 25474 ,( 98.57 )
3600.06/3610.10 c input cardinalities 50 ,( 0.19 )
3600.06/3610.10 c input general constraints 320 ,( 1.24 )
3600.06/3610.10 c input average constraint length 3.57
3600.06/3610.10 c input average constraint degree 7.90
3600.06/3610.10 c learned clauses 364392 ,( 17.57 )
3600.06/3610.10 c learned cardinalities 10981 ,( 0.53 )
3600.06/3610.10 c learned general constraints 1699114 ,( 81.91 )
3600.06/3610.10 c learned average constraint length 334.09
3600.06/3610.10 c learned average constraint degree 2291456058.59
3600.06/3610.10 c watched CF 32, 64, 128, Arb: 574102 , 0 , 0 , 0
3600.06/3610.10 c counting CF 32, 64, 128, Arb: 1125333 , 0 , 0 , 0
3600.06/3610.10 c watched constraints 574102 ,( 33.78 )
3600.06/3610.10 c counting constraints 1125332 ,( 66.22 )
3600.06/3610.10 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 453434406 , 67893831 , 5265948556 ,( 362754218 , 4903194338 )
3600.06/3610.10 c gcd simplifications 215334
3600.06/3610.10 c detected cardinalities 410
3600.06/3610.10 c weakened non-implied lits 243910586
3600.06/3610.10 c weakened non-implying lits 988029
3600.06/3610.10 c original variables 9705
3600.06/3610.10 c clausal propagations 360578771
3600.06/3610.10 c cardinality propagations 20543444
3600.06/3610.10 c watched propagations 2373280
3600.06/3610.10 c counting propagations 324331865
3600.06/3610.10 c watch lookups 213330857705
3600.06/3610.10 c watch backjump lookups 0
3600.06/3610.10 c watch checks 22585040899
3600.06/3610.10 c propagation checks 71018260971
3600.06/3610.10 c constraint additions 2565861815
3600.06/3610.10 c trail pops 721517779
3600.06/3610.10 c formula constraints 25844
3600.06/3610.10 c learned constraints 2068312
3600.06/3610.10 c bound constraints 0
3600.06/3610.10 c core-guided constraints 0
3600.06/3610.10 c encountered formula constraints 13959967
3600.06/3610.10 c encountered learned constraints 10317578
3600.06/3610.10 c encountered bound constraints 0
3600.06/3610.10 c encountered core-guided constraints 0
3600.06/3610.10 c LP total time 550.741 s
3600.06/3610.10 c LP solve time 506.56 s
3600.06/3610.10 c LP constraints added 28701
3600.06/3610.10 c LP constraints removed 2841
3600.06/3610.10 c LP pivots internal 2071265
3600.06/3610.10 c LP pivots root 131442
3600.06/3610.10 c LP calls 4338
3600.06/3610.10 c LP optimalities 1401
3600.06/3610.10 c LP no pivot count 62
3600.06/3610.10 c LP infeasibilities 2934
3600.06/3610.10 c LP valid Farkas constraints 2932
3600.06/3610.10 c LP learned Farkas constraints 2931
3600.06/3610.10 c LP basis resets 2
3600.06/3610.10 c LP cycling count 0
3600.06/3610.10 c LP singular count 0
3600.06/3610.10 c LP no primal count 0
3600.06/3610.10 c LP no farkas count 2
3600.06/3610.10 c LP other issue count 0
3600.06/3610.10 c LP Gomory cuts 312
3600.06/3610.10 c LP learned cuts 2545
3600.06/3610.10 c LP deleted cuts 2841
3600.06/3610.10 c LP encountered Gomory constraints 77528
3600.06/3610.10 c LP encountered Farkas constraints 558121
3600.06/3610.10 c LP encountered learned Farkas constraints 113676
3600.06/3610.10 c CG auxiliary variables introduced 0
3600.06/3610.10 c CG solutions found 0
3600.06/3610.10 c CG cores constructed 0
3600.06/3610.10 c CG core cardinality constraints returned 0
3600.06/3610.10 c CG unit cores 0
3600.06/3610.10 c CG single cores 0
3600.06/3610.10 c CG blocks removed during cardinality reduction 0
3600.06/3610.10 c CG first core best 0
3600.06/3610.10 c CG decision core best 0
3600.06/3610.10 c CG core reduction tie 0
3600.06/3610.10 c CG core degree average 0.00
3600.06/3610.10 c CG core slack average 0.00
3600.06/3610.10 c CG core upper bound improvements 0
3600.06/3610.10 c STR number of successful calls 0
3600.06/3610.10 c STR number of unsuccessful calls 0
3600.06/3610.10 c STR number of inconclusive calls 0
3600.06/3610.10 c STR number of successful attempts 0
3600.06/3610.10 c STR number of unsuccessful attempts 0
3600.06/3610.10 c STR number of inconclusive attempts 0
3600.06/3610.10 c STR average degree increase per successful call inf
3600.06/3610.10 c STR average degree increase per successful attempt inf
3600.06/3610.10 c STR total number of conflicts for successful attempts 0
3600.06/3610.10 c STR total number of conflicts for unsuccessful attempts 0
3600.06/3610.10 c STR total number of conflicts for inconclusive attempts 0
3600.06/3610.10 c STR average number of conflicts per successful attempt inf
3600.06/3610.10 c STR average number of conflicts per unsuccessful attempt inf
3600.06/3610.10 c STR average number of conflicts per inconclusive attempt inf
3600.06/3610.10 c AVG.sumWPerc 54.35
3600.06/3610.10 c bigint constraints 0
3600.06/3610.10 s UNKNOWN
3600.06/3610.10 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 (62467 MiB free)
memory of node 1: 64465 MiB (40356 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4499076-1751404770/watcher-4499076-1751404770 -o /tmp/evaluation-result-4499076-1751404770/solver-4499076-1751404770 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751397441-55310 --watchdog 3760 run-opt-ls.sh HOME/instance-4499076-1751404770.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=56503, runsolver pid=56500
[startup+0.10006 s]*
/proc/loadavg: 4.06 4.11 4.09 5/268 56505
/proc/meminfo: memFree=105288120/131249996 swapFree=33010160/33010684
[pid=56503] ppid=56500 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/56503/stat : 56503 (run-opt-ls.sh) S 56500 56503 55300 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 56155391 4292608 768 18446744073709551615 94354688663552 94354689558085 140729947829504 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94354689797136 94354689844880 94354696654848 140729947838823 140729947838949 140729947838949 140729947844551 0
/proc/56503/statm: 1048 768 704 219 0 110 0
[pid=56505] ppid=56503 vsize=18348 memory=10408 CPUtime=0.08 cores=0,2
/proc/56505/stat : 56505 (pbsuma) R 56503 56503 55300 0 -1 4194304 2440 0 0 0 8 0 0 0 20 0 1 0 56155391 18788352 2602 18446744073709551615 4210688 4653049 140734186046112 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 36249600 140734186051939 140734186052146 140734186052146 140734186057711 0
/proc/56505/statm: 4587 2602 1024 108 0 1995 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 22540 KiB
Current children cumulated memory: 13480 KiB
[startup+0.205762 s]*
/proc/loadavg: 4.06 4.11 4.09 5/268 56506
/proc/meminfo: memFree=105279552/131249996 swapFree=33010160/33010684
[pid=56503] ppid=56500 vsize=4192 memory=3072 CPUtime=0.11 cores=0,2
/proc/56503/stat : 56503 (run-opt-ls.sh) S 56500 56503 55300 0 -1 4194304 238 2647 0 0 0 0 11 0 20 0 1 0 56155391 4292608 768 18446744073709551615 94354688663552 94354689558085 140729947829504 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94354689797136 94354689844880 94354696654848 140729947838823 140729947838949 140729947838949 140729947844551 0
/proc/56503/statm: 1048 768 704 219 0 110 0
[pid=56506] ppid=56503 vsize=64788 memory=19924 CPUtime=0.06 cores=0,2
/proc/56506/stat : 56506 (roundingsat) R 56503 56503 55300 0 -1 4194304 2794 0 0 0 4 2 0 0 20 0 1 0 56155404 66342912 4981 18446744073709551615 4227072 8923433 140732424843296 0 0 0 0 0 8405026 0 0 0 17 2 0 0 0 0 0 9823104 9832592 13721600 140732424845638 140732424845864 140732424845864 140732424851434 0
/proc/56506/statm: 16197 4981 2016 1147 0 3624 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 68980 KiB
Current children cumulated memory: 22996 KiB
[startup+0.305693 s]*
/proc/loadavg: 4.06 4.11 4.09 5/268 56506
/proc/meminfo: memFree=105268716/131249996 swapFree=33010160/33010684
[pid=56503] ppid=56500 vsize=4192 memory=3072 CPUtime=0.11 cores=0,2
/proc/56503/stat : 56503 (run-opt-ls.sh) S 56500 56503 55300 0 -1 4194304 238 2647 0 0 0 0 11 0 20 0 1 0 56155391 4292608 768 18446744073709551615 94354688663552 94354689558085 140729947829504 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94354689797136 94354689844880 94354696654848 140729947838823 140729947838949 140729947838949 140729947844551 0
/proc/56503/statm: 1048 768 704 219 0 110 0
[pid=56506] ppid=56503 vsize=88532 memory=42676 CPUtime=0.15 cores=0,2
/proc/56506/stat : 56506 (roundingsat) R 56503 56503 55300 0 -1 4194304 6702 0 0 0 12 3 0 0 20 0 1 0 56155404 90656768 10669 18446744073709551615 4227072 8923433 140732424843296 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13721600 140732424845638 140732424845864 140732424845864 140732424851434 0
/proc/56506/statm: 22133 10669 2304 1147 0 9560 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 92724 KiB
Current children cumulated memory: 45748 KiB
[startup+0.700139 s]
/proc/loadavg: 4.06 4.11 4.09 5/268 56506
/proc/meminfo: memFree=105266700/131249996 swapFree=33010160/33010684
[pid=56503] ppid=56500 vsize=4192 memory=3072 CPUtime=0.11 cores=0,2
/proc/56503/stat : 56503 (run-opt-ls.sh) S 56500 56503 55300 0 -1 4194304 238 2647 0 0 0 0 11 0 20 0 1 0 56155391 4292608 768 18446744073709551615 94354688663552 94354689558085 140729947829504 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94354689797136 94354689844880 94354696654848 140729947838823 140729947838949 140729947838949 140729947844551 0
/proc/56503/statm: 1048 768 704 219 0 110 0
[pid=56506] ppid=56503 vsize=104860 memory=61136 CPUtime=0.55 cores=0,2
/proc/56506/stat : 56506 (roundingsat) R 56503 56503 55300 0 -1 4194304 10272 0 0 0 49 6 0 0 20 0 1 0 56155404 107376640 15284 18446744073709551615 4227072 8923433 140732424843296 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13721600 140732424845638 140732424845864 140732424845864 140732424851434 0
/proc/56506/statm: 26215 15284 2400 1147 0 13642 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 109052 KiB
Current children cumulated memory: 64208 KiB
[startup+1.50018 s]
/proc/loadavg: 4.06 4.11 4.09 5/268 56506
/proc/meminfo: memFree=105262604/131249996 swapFree=33010160/33010684
[pid=56503] ppid=56500 vsize=4192 memory=3072 CPUtime=0.11 cores=0,2
/proc/56503/stat : 56503 (run-opt-ls.sh) S 56500 56503 55300 0 -1 4194304 238 2647 0 0 0 0 11 0 20 0 1 0 56155391 4292608 768 18446744073709551615 94354688663552 94354689558085 140729947829504 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94354689797136 94354689844880 94354696654848 140729947838823 140729947838949 140729947838949 140729947844551 0
/proc/56503/statm: 1048 768 704 219 0 110 0
[pid=56506] ppid=56503 vsize=117380 memory=72528 CPUtime=1.34 cores=0,2
/proc/56506/stat : 56506 (roundingsat) R 56503 56503 55300 0 -1 4194304 13143 0 0 0 128 6 0 0 20 0 1 0 56155404 120197120 18132 18446744073709551615 4227072 8923433 140732424843296 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13721600 140732424845638 140732424845864 140732424845864 140732424851434 0
/proc/56506/statm: 29345 18132 2400 1147 0 16772 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 121572 KiB
Current children cumulated memory: 75600 KiB
[startup+3.10567 s]
/proc/loadavg: 4.06 4.11 4.09 5/268 56506
/proc/meminfo: memFree=105217448/131249996 swapFree=33010160/33010684
[pid=56503] ppid=56500 vsize=4192 memory=3072 CPUtime=0.11 cores=0,2
/proc/56503/stat : 56503 (run-opt-ls.sh) S 56500 56503 55300 0 -1 4194304 238 2647 0 0 0 0 11 0 20 0 1 0 56155391 4292608 768 18446744073709551615 94354688663552 94354689558085 140729947829504 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94354689797136 94354689844880 94354696654848 140729947838823 140729947838949 140729947838949 140729947844551 0
/proc/56503/statm: 1048 768 704 219 0 110 0
[pid=56506] ppid=56503 vsize=123636 memory=77904 CPUtime=2.94 cores=0,2
/proc/56506/stat : 56506 (roundingsat) R 56503 56503 55300 0 -1 4194304 14514 0 0 0 285 9 0 0 20 0 1 0 56155404 126603264 19476 18446744073709551615 4227072 8923433 140732424843296 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13721600 140732424845638 140732424845864 140732424845864 140732424851434 0
/proc/56506/statm: 30909 19476 2400 1147 0 18336 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 127828 KiB
Current children cumulated memory: 80976 KiB
[startup+6.30018 s]
/proc/loadavg: 4.05 4.11 4.09 5/268 56506
/proc/meminfo: memFree=104800276/131249996 swapFree=33010160/33010684
[pid=56503] ppid=56500 vsize=4192 memory=3072 CPUtime=0.11 cores=0,2
/proc/56503/stat : 56503 (run-opt-ls.sh) S 56500 56503 55300 0 -1 4194304 238 2647 0 0 0 0 11 0 20 0 1 0 56155391 4292608 768 18446744073709551615 94354688663552 94354689558085 140729947829504 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94354689797136 94354689844880 94354696654848 140729947838823 140729947838949 140729947838949 140729947844551 0
/proc/56503/statm: 1048 768 704 219 0 110 0
[pid=56506] ppid=56503 vsize=133628 memory=85328 CPUtime=6.13 cores=0,2
/proc/56506/stat : 56506 (roundingsat) R 56503 56503 55300 0 -1 4194304 16363 0 0 0 600 13 0 0 20 0 1 0 56155404 136835072 21332 18446744073709551615 4227072 8923433 140732424843296 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13721600 140732424845638 140732424845864 140732424845864 140732424851434 0
/proc/56506/statm: 33407 21332 2400 1147 0 20834 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 137820 KiB
Current children cumulated memory: 88400 KiB
[startup+12.7002 s]
/proc/loadavg: 4.05 4.11 4.09 5/268 56506
/proc/meminfo: memFree=104330108/131249996 swapFree=33010160/33010684
[pid=56503] ppid=56500 vsize=4192 memory=3072 CPUtime=0.11 cores=0,2
/proc/56503/stat : 56503 (run-opt-ls.sh) S 56500 56503 55300 0 -1 4194304 238 2647 0 0 0 0 11 0 20 0 1 0 56155391 4292608 768 18446744073709551615 94354688663552 94354689558085 140729947829504 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94354689797136 94354689844880 94354696654848 140729947838823 140729947838949 140729947838949 140729947844551 0
/proc/56503/statm: 1048 768 704 219 0 110 0
[pid=56506] ppid=56503 vsize=148468 memory=101572 CPUtime=12.51 cores=0,2
/proc/56506/stat : 56506 (roundingsat) R 56503 56503 55300 0 -1 4194304 19933 0 0 0 1229 22 0 0 20 0 1 0 56155404 152031232 25393 18446744073709551615 4227072 8923433 140732424843296 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13721600 140732424845638 140732424845864 140732424845864 140732424851434 0
/proc/56506/statm: 37117 25393 2400 1147 0 24544 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 152660 KiB
Current children cumulated memory: 104644 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.12 4.09 5/268 56506
/proc/meminfo: memFree=103589272/131249996 swapFree=33010160/33010684
[pid=56503] ppid=56500 vsize=4192 memory=3072 CPUtime=0.11 cores=0,2
/proc/56503/stat : 56503 (run-opt-ls.sh) S 56500 56503 55300 0 -1 4194304 238 2647 0 0 0 0 11 0 20 0 1 0 56155391 4292608 768 18446744073709551615 94354688663552 94354689558085 140729947829504 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94354689797136 94354689844880 94354696654848 140729947838823 140729947838949 140729947838949 140729947844551 0
/proc/56503/statm: 1048 768 704 219 0 110 0
[pid=56506] ppid=56503 vsize=174588 memory=124360 CPUtime=25.28 cores=0,2
/proc/56506/stat : 56506 (roundingsat) R 56503 56503 55300 0 -1 4194304 24626 0 0 0 2489 39 0 0 20 0 1 0 56155404 178778112 31090 18446744073709551615 4227072 8923433 140732424843296 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13721600 140732424845638 140732424845864 140732424845864 140732424851434 0
/proc/56506/statm: 43647 31090 2400 1147 0 31074 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 178780 KiB
Current children cumulated memory: 127432 KiB
[startup+51.1057 s]
/proc/loadavg: 4.08 4.11 4.09 5/268 56507
/proc/meminfo: memFree=103051320/131249996 swapFree=33010160/33010684
[pid=56503] ppid=56500 vsize=4192 memory=3072 CPUtime=0.11 cores=0,2
/proc/56503/stat : 56503 (run-opt-ls.sh) S 56500 56503 55300 0 -1 4194304 238 2647 0 0 0 0 11 0 20 0 1 0 56155391 4292608 768 18446744073709551615 94354688663552 94354689558085 140729947829504 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94354689797136 94354689844880 94354696654848 140729947838823 140729947838949 140729947838949 140729947844551 0
/proc/56503/statm: 1048 768 704 219 0 110 0
[pid=56506] ppid=56503 vsize=188476 memory=140228 CPUtime=50.82 cores=0,2
/proc/56506/stat : 56506 (roundingsat) R 56503 56503 55300 0 -1 4194304 28177 0 0 0 5020 62 0 0 20 0 1 0 56155404 192999424 35057 18446744073709551615 4227072 8923433 140732424843296 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13721600 140732424845638 140732424845864 140732424845864 140732424851434 0
/proc/56506/statm: 47119 35057 2400 1147 0 34546 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 192668 KiB
Current children cumulated memory: 143300 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/270 56523
/proc/meminfo: memFree=101727180/131249996 swapFree=33010160/33010684
[pid=56503] ppid=56500 vsize=4192 memory=3072 CPUtime=0.11 cores=0,2
/proc/56503/stat : 56503 (run-opt-ls.sh) S 56500 56503 55300 0 -1 4194304 238 2647 0 0 0 0 11 0 20 0 1 0 56155391 4292608 768 18446744073709551615 94354688663552 94354689558085 140729947829504 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94354689797136 94354689844880 94354696654848 140729947838823 140729947838949 140729947838949 140729947844551 0
/proc/56503/statm: 1048 768 704 219 0 110 0
[pid=56506] ppid=56503 vsize=236096 memory=179512 CPUtime=101.88 cores=0,2
/proc/56506/stat : 56506 (roundingsat) R 56503 56503 55300 0 -1 4194304 36473 0 0 0 10078 110 0 0 20 0 1 0 56155404 241762304 44878 18446744073709551615 4227072 8923433 140732424843296 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13721600 140732424845638 140732424845864 140732424845864 140732424851434 0
/proc/56506/statm: 59024 44878 2400 1147 0 46451 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 240288 KiB
Current children cumulated memory: 182584 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/270 56525
/proc/meminfo: memFree=98943876/131249996 swapFree=33010160/33010684
[pid=56503] ppid=56500 vsize=4192 memory=3072 CPUtime=0.11 cores=0,2
/proc/56503/stat : 56503 (run-opt-ls.sh) S 56500 56503 55300 0 -1 4194304 238 2647 0 0 0 0 11 0 20 0 1 0 56155391 4292608 768 18446744073709551615 94354688663552 94354689558085 140729947829504 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94354689797136 94354689844880 94354696654848 140729947838823 140729947838949 140729947838949 140729947844551 0
/proc/56503/statm: 1048 768 704 219 0 110 0
[pid=56506] ppid=56503 vsize=279324 memory=209400 CPUtime=161.72 cores=0,2
/proc/56506/stat : 56506 (roundingsat) R 56503 56503 55300 0 -1 4194304 42942 0 0 0 16006 166 0 0 20 0 1 0 56155404 286027776 52350 18446744073709551615 4227072 8923433 140732424843296 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13721600 140732424845638 140732424845864 140732424845864 140732424851434 0
/proc/56506/statm: 69831 52350 2400 1147 0 57258 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 283516 KiB
Current children cumulated memory: 212472 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/270 56527
/proc/meminfo: memFree=98400128/131249996 swapFree=33010160/33010684
[pid=56503] ppid=56500 vsize=4192 memory=3072 CPUtime=0.11 cores=0,2
/proc/56503/stat : 56503 (run-opt-ls.sh) S 56500 56503 55300 0 -1 4194304 238 2647 0 0 0 0 11 0 20 0 1 0 56155391 4292608 768 18446744073709551615 94354688663552 94354689558085 140729947829504 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94354689797136 94354689844880 94354696654848 140729947838823 140729947838949 140729947838949 140729947844551 0
/proc/56503/statm: 1048 768 704 219 0 110 0
[pid=56506] ppid=56503 vsize=314088 memory=247072 CPUtime=221.56 cores=0,2
/proc/56506/stat : 56506 (roundingsat) R 56503 56503 55300 0 -1 4194304 49802 0 0 0 21944 212 0 0 20 0 1 0 56155404 321626112 61768 18446744073709551615 4227072 8923433 140732424843296 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13721600 140732424845638 140732424845864 140732424845864 140732424851434 0
/proc/56506/statm: 78522 61768 2400 1147 0 65949 0
Current children cumulated CPU time: 221.67 s
################
# More data... #
################
/proc/56506/statm: 159302 136016 2496 1147 0 146729 0
Current children cumulated CPU time: 3093.78 s
Current children cumulated vsize: 641400 KiB
Current children cumulated memory: 547136 KiB
[startup+3162.3 s]
/proc/loadavg: 3.08 3.33 3.71 4/260 56815
/proc/meminfo: memFree=126099232/131249996 swapFree=33010160/33010684
[pid=56503] ppid=56500 vsize=4192 memory=3072 CPUtime=0.11 cores=0,2
/proc/56503/stat : 56503 (run-opt-ls.sh) S 56500 56503 55300 0 -1 4194304 238 2647 0 0 0 0 11 0 20 0 1 0 56155391 4292608 768 18446744073709551615 94354688663552 94354689558085 140729947829504 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94354689797136 94354689844880 94354696654848 140729947838823 140729947838949 140729947838949 140729947844551 0
/proc/56503/statm: 1048 768 704 219 0 110 0
[pid=56506] ppid=56503 vsize=642040 memory=547648 CPUtime=3153.49 cores=0,2
/proc/56506/stat : 56506 (roundingsat) R 56503 56503 55300 0 -1 4194304 102892 0 0 0 313741 1608 0 0 20 0 1 0 56155404 657448960 136912 18446744073709551615 4227072 8923433 140732424843296 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13721600 140732424845638 140732424845864 140732424845864 140732424851434 0
/proc/56506/statm: 160510 136912 2496 1147 0 147937 0
Current children cumulated CPU time: 3153.6 s
Current children cumulated vsize: 646232 KiB
Current children cumulated memory: 550720 KiB
[startup+3222.3 s]
/proc/loadavg: 3.13 3.30 3.68 4/260 56817
/proc/meminfo: memFree=126087232/131249996 swapFree=33010160/33010684
[pid=56503] ppid=56500 vsize=4192 memory=3072 CPUtime=0.11 cores=0,2
/proc/56503/stat : 56503 (run-opt-ls.sh) S 56500 56503 55300 0 -1 4194304 238 2647 0 0 0 0 11 0 20 0 1 0 56155391 4292608 768 18446744073709551615 94354688663552 94354689558085 140729947829504 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94354689797136 94354689844880 94354696654848 140729947838823 140729947838949 140729947838949 140729947844551 0
/proc/56503/statm: 1048 768 704 219 0 110 0
[pid=56506] ppid=56503 vsize=643640 memory=551744 CPUtime=3213.31 cores=0,2
/proc/56506/stat : 56506 (roundingsat) R 56503 56503 55300 0 -1 4194304 103427 0 0 0 319700 1631 0 0 20 0 1 0 56155404 659087360 137936 18446744073709551615 4227072 8923433 140732424843296 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13721600 140732424845638 140732424845864 140732424845864 140732424851434 0
/proc/56506/statm: 160910 137936 2496 1147 0 148337 0
Current children cumulated CPU time: 3213.42 s
Current children cumulated vsize: 647832 KiB
Current children cumulated memory: 554816 KiB
[startup+3282.3 s]
/proc/loadavg: 3.05 3.24 3.63 4/260 56819
/proc/meminfo: memFree=126087304/131249996 swapFree=33010160/33010684
[pid=56503] ppid=56500 vsize=4192 memory=3072 CPUtime=0.11 cores=0,2
/proc/56503/stat : 56503 (run-opt-ls.sh) S 56500 56503 55300 0 -1 4194304 238 2647 0 0 0 0 11 0 20 0 1 0 56155391 4292608 768 18446744073709551615 94354688663552 94354689558085 140729947829504 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94354689797136 94354689844880 94354696654848 140729947838823 140729947838949 140729947838949 140729947844551 0
/proc/56503/statm: 1048 768 704 219 0 110 0
[pid=56506] ppid=56503 vsize=644240 memory=552256 CPUtime=3273.13 cores=0,2
/proc/56506/stat : 56506 (roundingsat) R 56503 56503 55300 0 -1 4194304 103579 0 0 0 325663 1650 0 0 20 0 1 0 56155404 659701760 138064 18446744073709551615 4227072 8923433 140732424843296 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13721600 140732424845638 140732424845864 140732424845864 140732424851434 0
/proc/56506/statm: 161060 138064 2496 1147 0 148487 0
Current children cumulated CPU time: 3273.24 s
Current children cumulated vsize: 648432 KiB
Current children cumulated memory: 555328 KiB
[startup+3342.3 s]
/proc/loadavg: 3.13 3.23 3.60 4/260 56824
/proc/meminfo: memFree=126041524/131249996 swapFree=33010160/33010684
[pid=56503] ppid=56500 vsize=4192 memory=3072 CPUtime=0.11 cores=0,2
/proc/56503/stat : 56503 (run-opt-ls.sh) S 56500 56503 55300 0 -1 4194304 238 2647 0 0 0 0 11 0 20 0 1 0 56155391 4292608 768 18446744073709551615 94354688663552 94354689558085 140729947829504 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94354689797136 94354689844880 94354696654848 140729947838823 140729947838949 140729947838949 140729947844551 0
/proc/56503/statm: 1048 768 704 219 0 110 0
[pid=56506] ppid=56503 vsize=645996 memory=557872 CPUtime=3332.95 cores=0,2
/proc/56506/stat : 56506 (roundingsat) R 56503 56503 55300 0 -1 4194304 103944 0 0 0 331625 1670 0 0 20 0 1 0 56155404 661499904 139468 18446744073709551615 4227072 8923433 140732424843296 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13721600 140732424845638 140732424845864 140732424845864 140732424851434 0
/proc/56506/statm: 161499 139468 2496 1147 0 148926 0
Current children cumulated CPU time: 3333.06 s
Current children cumulated vsize: 650188 KiB
Current children cumulated memory: 560944 KiB
[startup+3402.3 s]
/proc/loadavg: 3.11 3.20 3.57 4/260 56826
/proc/meminfo: memFree=126033464/131249996 swapFree=33010160/33010684
[pid=56503] ppid=56500 vsize=4192 memory=3072 CPUtime=0.11 cores=0,2
/proc/56503/stat : 56503 (run-opt-ls.sh) S 56500 56503 55300 0 -1 4194304 238 2647 0 0 0 0 11 0 20 0 1 0 56155391 4292608 768 18446744073709551615 94354688663552 94354689558085 140729947829504 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94354689797136 94354689844880 94354696654848 140729947838823 140729947838949 140729947838949 140729947844551 0
/proc/56503/statm: 1048 768 704 219 0 110 0
[pid=56506] ppid=56503 vsize=649992 memory=563432 CPUtime=3392.78 cores=0,2
/proc/56506/stat : 56506 (roundingsat) R 56503 56503 55300 0 -1 4194304 104827 0 0 0 337588 1690 0 0 20 0 1 0 56155404 665591808 140858 18446744073709551615 4227072 8923433 140732424843296 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13721600 140732424845638 140732424845864 140732424845864 140732424851434 0
/proc/56506/statm: 162498 140858 2496 1147 0 149925 0
Current children cumulated CPU time: 3392.89 s
Current children cumulated vsize: 654184 KiB
Current children cumulated memory: 566504 KiB
[startup+3462.3 s]
/proc/loadavg: 3.09 3.17 3.53 4/262 56834
/proc/meminfo: memFree=126032216/131249996 swapFree=33010160/33010684
[pid=56503] ppid=56500 vsize=4192 memory=3072 CPUtime=0.11 cores=0,2
/proc/56503/stat : 56503 (run-opt-ls.sh) S 56500 56503 55300 0 -1 4194304 238 2647 0 0 0 0 11 0 20 0 1 0 56155391 4292608 768 18446744073709551615 94354688663552 94354689558085 140729947829504 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94354689797136 94354689844880 94354696654848 140729947838823 140729947838949 140729947838949 140729947844551 0
/proc/56503/statm: 1048 768 704 219 0 110 0
[pid=56506] ppid=56503 vsize=651024 memory=564456 CPUtime=3452.59 cores=0,2
/proc/56506/stat : 56506 (roundingsat) R 56503 56503 55300 0 -1 4194304 105091 0 0 0 343546 1713 0 0 20 0 1 0 56155404 666648576 141114 18446744073709551615 4227072 8923433 140732424843296 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13721600 140732424845638 140732424845864 140732424845864 140732424851434 0
/proc/56506/statm: 162756 141114 2496 1147 0 150183 0
Current children cumulated CPU time: 3452.7 s
Current children cumulated vsize: 655216 KiB
Current children cumulated memory: 567528 KiB
[startup+3522.3 s]
/proc/loadavg: 3.02 3.14 3.50 3/255 56867
/proc/meminfo: memFree=128254496/131249996 swapFree=33010160/33010684
[pid=56503] ppid=56500 vsize=4192 memory=3072 CPUtime=0.11 cores=0,2
/proc/56503/stat : 56503 (run-opt-ls.sh) S 56500 56503 55300 0 -1 4194304 238 2647 0 0 0 0 11 0 20 0 1 0 56155391 4292608 768 18446744073709551615 94354688663552 94354689558085 140729947829504 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94354689797136 94354689844880 94354696654848 140729947838823 140729947838949 140729947838949 140729947844551 0
/proc/56503/statm: 1048 768 704 219 0 110 0
[pid=56506] ppid=56503 vsize=651024 memory=564456 CPUtime=3512.41 cores=0,2
/proc/56506/stat : 56506 (roundingsat) R 56503 56503 55300 0 -1 4194304 105092 0 0 0 349507 1734 0 0 20 0 1 0 56155404 666648576 141114 18446744073709551615 4227072 8923433 140732424843296 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13721600 140732424845638 140732424845864 140732424845864 140732424851434 0
/proc/56506/statm: 162756 141114 2496 1147 0 150183 0
Current children cumulated CPU time: 3512.52 s
Current children cumulated vsize: 655216 KiB
Current children cumulated memory: 567528 KiB
[startup+3582.3 s]
/proc/loadavg: 2.43 2.95 3.41 3/255 56869
/proc/meminfo: memFree=128249244/131249996 swapFree=33010160/33010684
[pid=56503] ppid=56500 vsize=4192 memory=3072 CPUtime=0.11 cores=0,2
/proc/56503/stat : 56503 (run-opt-ls.sh) S 56500 56503 55300 0 -1 4194304 238 2647 0 0 0 0 11 0 20 0 1 0 56155391 4292608 768 18446744073709551615 94354688663552 94354689558085 140729947829504 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94354689797136 94354689844880 94354696654848 140729947838823 140729947838949 140729947838949 140729947844551 0
/proc/56503/statm: 1048 768 704 219 0 110 0
[pid=56506] ppid=56503 vsize=651024 memory=564584 CPUtime=3572.23 cores=0,2
/proc/56506/stat : 56506 (roundingsat) R 56503 56503 55300 0 -1 4194304 105108 0 0 0 355468 1755 0 0 20 0 1 0 56155404 666648576 141146 18446744073709551615 4227072 8923433 140732424843296 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13721600 140732424845638 140732424845864 140732424845864 140732424851434 0
/proc/56506/statm: 162756 141146 2496 1147 0 150183 0
Current children cumulated CPU time: 3572.34 s
Current children cumulated vsize: 655216 KiB
Current children cumulated memory: 567656 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.11 s]
/proc/loadavg: 2.32 2.87 3.37 3/255 56870
/proc/meminfo: memFree=128248760/131249996 swapFree=33010160/33010684
[pid=56503] ppid=56500 vsize=4192 memory=3072 CPUtime=0.11 cores=0,2
/proc/56503/stat : 56503 (run-opt-ls.sh) S 56500 56503 55300 0 -1 4194304 238 2647 0 0 0 0 11 0 20 0 1 0 56155391 4292608 768 18446744073709551615 94354688663552 94354689558085 140729947829504 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94354689797136 94354689844880 94354696654848 140729947838823 140729947838949 140729947838949 140729947844551 0
/proc/56503/statm: 1048 768 704 219 0 110 0
[pid=56506] ppid=56503 vsize=651024 memory=564584 CPUtime=3599.95 cores=0,2
/proc/56506/stat : 56506 (roundingsat) R 56503 56503 55300 0 -1 4194304 105108 0 0 0 358232 1763 0 0 20 0 1 0 56155404 666648576 141146 18446744073709551615 4227072 8923433 140732424843296 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13721600 140732424845638 140732424845864 140732424845864 140732424851434 0
/proc/56506/statm: 162756 141146 2496 1147 0 150183 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 655216 KiB
Current children cumulated memory: 567656 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.11 s]
# the end of solver process 56503 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.111918 s, system=0.006316 s
Sleeping 2 seconds
[startup+3610.11 s]
# the end of solver process 56506 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3582.45 s, system=17.6485 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+3610.11 s]
/proc/loadavg: 2.32 2.87 3.37 3/255 56870
/proc/meminfo: memFree=128248760/131249996 swapFree=33010160/33010684
[pid=56503] ppid=56500 vsize=4192 memory=3072 CPUtime=0.11 cores=0,2
/proc/56503/stat : 56503 (run-opt-ls.sh) S 56500 56503 55300 0 -1 4194304 238 2647 0 0 0 0 11 0 20 0 1 0 56155391 4292608 768 18446744073709551615 94354688663552 94354689558085 140729947829504 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94354689797136 94354689844880 94354696654848 140729947838823 140729947838949 140729947838949 140729947844551 0
/proc/56503/statm: 1048 768 704 219 0 110 0
[pid=56506] ppid=56503 vsize=651024 memory=564584 CPUtime=3599.95 cores=0,2
/proc/56506/stat : 56506 (roundingsat) R 56503 56503 55300 0 -1 4194304 105108 0 0 0 358232 1763 0 0 20 0 1 0 56155404 666648576 141146 18446744073709551615 4227072 8923433 140732424843296 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13721600 140732424845638 140732424845864 140732424845864 140732424851434 0
/proc/56506/statm: 162756 141146 2496 1147 0 150183 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 655216 KiB
Current children cumulated memory: 567656 KiB
Child status: 2
Real time (s): 3610.11
CPU time (s): 3600.09
CPU user time (s): 3582.45
CPU system time (s): 17.6485
CPU usage (%): 99.7224
Max. virtual memory (cumulated for all children) (KiB): 655216
Max. memory (cumulated for all children) (KiB): 567656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.45
system time used= 17.6485
maximum resident set size= 564840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 108012
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= 301
involuntary context switches= 8054
# summary of solver processes directly reported to runsolver:
# pid: 56503,56506
# total CPU time (s): 3600.09
# total CPU user time (s): 3582.45
# total CPU system time (s): 17.6485
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.87364 second user time and 15.7782 second system time
The end
Begin job on nodeC029 at 2025-07-01 23:19:30
IDJOB=4499076
IDBENCH=148770
IDSOLVER=3355
FILE ID=nodeC029/4499076-1751404770
RUNJOBID= nodeC029-1751397441-55310
SLURM_JOB_ID= 9598277
Free space on /tmp= 432912 MiB
SOLVER NAME= roundingsat-ls+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx49.opb
COMMAND LINE= run-opt-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4499076-1751404770/watcher-4499076-1751404770 -o /tmp/evaluation-result-4499076-1751404770/solver-4499076-1751404770 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751397441-55310 --watchdog 3760 run-opt-ls.sh HOME/instance-4499076-1751404770.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= bb00c8681178995acecbc2b6e4ec1a1a
RANDOM SEED=783662420
nodeC029 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.237
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.145
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.920
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.251
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.759
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.724
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3594.377
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3490.869
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 105304312 kB
MemAvailable: 105438824 kB
Buffers: 2128 kB
Cached: 940896 kB
SwapCached: 40 kB
Active: 24680708 kB
Inactive: 571264 kB
Active(anon): 24322200 kB
Inactive(anon): 4768 kB
Active(file): 358508 kB
Inactive(file): 566496 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7348 kB
Writeback: 0 kB
AnonPages: 24311680 kB
Mapped: 117496 kB
Shmem: 18020 kB
KReclaimable: 97492 kB
Slab: 184584 kB
SReclaimable: 97492 kB
SUnreclaim: 87092 kB
KernelStack: 4320 kB
PageTables: 53168 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 26683320 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150584 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 5765120 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 193236 kB
DirectMap2M: 11112448 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 433044 MiB
End job on nodeC029 at 2025-07-02 00:19:40