0.00/0.02 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.02 c │ pbsuma -- a PB interface for satsuma │
0.00/0.02 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.02 c │ (c) 2025 Markus Anders │
0.00/0.02 c └────────────────────────────────────────────────────────────────┘
0.00/0.02 c parse 'HOME/instance-4499079-1751403850.opb'
0.00/0.03 c read 0.21MB (7.65ms)
0.00/0.03 c [cnf: #variables 2130 #clauses 2496 #duplicates 0 #arr 22065]
0.00/0.03 c output proof to 'PROOFDIR/proof-4499079-1751403850'
0.00/0.03 c
0.00/0.03 c make graph and approximate orbits
0.00/0.03 c [group: #orbits ~= 36] (7.00ms)
0.00/0.03 c
0.00/0.03 c detect special group actions
0.00/0.03 c probe for Johnson action (limit=64)
0.00/0.04 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.07 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.07 c recursing 150 blocks of candidate 5x852r
0.00/0.08 c found row 9x10, generating row predicate
0.00/0.09 c found row 5x852, generating row predicate
0.00/0.09 c (54.99ms)
0.00/0.09 c
0.00/0.09 c detect symmetries on remainder
0.00/0.09 c [graph: #vertices 12811 #edges 60500]
0.00/0.09 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.08/0.12 c [group: #symmetries 8.48*10^143 #generators 291] (30.08ms)
0.08/0.12 c
0.08/0.12 c optimize generators (opt_passes=64, conjugate_limit=256)
0.08/0.15 c opt it=15, l=8368, m=232, opt=16, avg=187, b=12, gens=291
0.08/0.17 c opt it=31, l=10019, m=466, opt=36, avg=181, b=12, gens=291
0.08/0.19 c opt it=47, l=11667, m=683, opt=52, avg=177, b=12, gens=291
0.08/0.21 c opt it=63, l=13309, m=875, opt=64, avg=173, b=12, gens=291
0.08/0.21 c ran it=0, +gens=37
0.29/0.33 c con best_support=12, best_gens=240, +gens=251
0.29/0.33 c (207.42ms)
0.29/0.33 c
0.29/0.33 c finalize break order and special generators
0.29/0.33 c
0.29/0.33 c add generic predicates (break_depth=20)
0.29/0.33 c added predicates for 579 generators (2.48ms)
0.50/0.56 c
0.50/0.56 c generation finished
0.50/0.56 c [sbp: #constraints 19508 #add_vars 6385]
0.50/0.56 c
0.50/0.56 c write result to 'HOME/instance-4499079-1751403850.opb.pre'
0.50/0.56 c wrote 0.90MB (5.24ms)
0.50/0.56 c ------------------------------------------------------------------
0.50/0.56 c 227.34ms 41.80% other
0.50/0.56 c 207.42ms 38.14% optimize_gens
0.50/0.56 c 54.99ms 10.11% detect_special
0.50/0.56 c 30.08ms 5.53% detect_generic
0.50/0.56 c 7.65ms 1.41% parse
0.50/0.56 c 7.00ms 1.29% approx_orbits
0.50/0.56 c 5.24ms 0.96% output
0.50/0.56 c 2.48ms 0.46% break_generic
0.50/0.56 c 1.66ms 0.30% finalize_order
0.50/0.56 c ───────────────────────────────────────────────
0.50/0.56 c 543.86ms 100% total
0.50/0.56 c ------------------------------------------------------------------
0.56/0.64 c RoundingSat 2
0.56/0.64 c branch pb25
0.56/0.64 c commit 63f22ad
0.93/1.04 c #variables 8515 #constraints 22036
0.93/1.04 c objective is ce32
0.93/1.04 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.93/1.04 c initial counting CF 32, 64, 128, Arb: 321 , 0 , 0 , 0
0.93/1.04 c bounds - >= 0 @ 0.335881
2.70/2.83 c #Conflicts: 1000 | #Constraints: 23035
2.70/2.83 c #Conflicts: 2000 | #Constraints: 24035
2.70/2.83 c INPROCESSING
2.70/2.83 c GARBAGE COLLECT
2.70/2.83 c rational objective 5
4.80/4.95 c #Conflicts: 3000 | #Constraints: 21851
4.80/4.95 c #Conflicts: 4000 | #Constraints: 22852
4.80/4.95 c INPROCESSING
4.80/4.95 c GARBAGE COLLECT
4.80/4.95 c rational objective 5
6.49/6.60 c #Conflicts: 5000 | #Constraints: 22267
6.49/6.60 c #Conflicts: 6000 | #Constraints: 23270
6.49/6.60 c INPROCESSING
6.49/6.60 c GARBAGE COLLECT
6.49/6.60 c rational objective 5
8.38/8.60 c #Conflicts: 7000 | #Constraints: 22191
8.38/8.60 c #Conflicts: 8000 | #Constraints: 23191
8.38/8.60 c #Conflicts: 9000 | #Constraints: 24192
8.38/8.60 c INPROCESSING
8.38/8.60 c GARBAGE COLLECT
8.38/8.60 c rational objective 5
10.58/10.79 c #Conflicts: 10000 | #Constraints: 22838
10.58/10.79 c #Conflicts: 11000 | #Constraints: 23838
10.58/10.79 c #Conflicts: 12000 | #Constraints: 24838
10.58/10.79 c INPROCESSING
10.58/10.79 c GARBAGE COLLECT
10.58/10.79 c rational objective 5
13.28/13.48 c #Conflicts: 13000 | #Constraints: 23279
13.28/13.48 c #Conflicts: 14000 | #Constraints: 24280
13.28/13.48 c #Conflicts: 15000 | #Constraints: 25281
13.28/13.48 c INPROCESSING
13.28/13.48 c GARBAGE COLLECT
13.28/13.48 c rational objective 5
16.16/16.32 c #Conflicts: 16000 | #Constraints: 23512
16.16/16.32 c #Conflicts: 17000 | #Constraints: 24513
16.16/16.32 c #Conflicts: 18000 | #Constraints: 25514
16.16/16.32 c INPROCESSING
16.16/16.32 c GARBAGE COLLECT
16.16/16.32 c rational objective 5
19.55/19.74 c #Conflicts: 19000 | #Constraints: 23532
19.55/19.74 c #Conflicts: 20000 | #Constraints: 24533
19.55/19.74 c #Conflicts: 21000 | #Constraints: 25533
19.55/19.74 c INPROCESSING
19.55/19.74 c GARBAGE COLLECT
19.55/19.74 c rational objective 5
22.15/22.33 c #Conflicts: 22000 | #Constraints: 23199
22.15/22.33 c #Conflicts: 23000 | #Constraints: 24200
22.15/22.33 c #Conflicts: 24000 | #Constraints: 25203
22.15/22.33 c #Conflicts: 25000 | #Constraints: 26205
22.15/22.33 c INPROCESSING
22.15/22.33 c GARBAGE COLLECT
22.15/22.33 c rational objective 5
25.85/26.05 c #Conflicts: 26000 | #Constraints: 23647
25.85/26.05 c #Conflicts: 27000 | #Constraints: 24648
25.85/26.05 c #Conflicts: 28000 | #Constraints: 25649
25.85/26.05 c #Conflicts: 29000 | #Constraints: 26651
25.85/26.05 c INPROCESSING
25.85/26.05 c GARBAGE COLLECT
25.85/26.05 c rational objective 5
30.53/30.74 c #Conflicts: 30000 | #Constraints: 24037
30.53/30.74 c #Conflicts: 31000 | #Constraints: 25038
30.53/30.74 c #Conflicts: 32000 | #Constraints: 26039
30.53/30.74 c #Conflicts: 33000 | #Constraints: 27040
30.53/30.74 c INPROCESSING
30.53/30.74 c GARBAGE COLLECT
30.53/30.74 c rational objective 5
34.41/34.63 c #Conflicts: 34000 | #Constraints: 24236
34.41/34.63 c #Conflicts: 35000 | #Constraints: 25236
34.41/34.63 c #Conflicts: 36000 | #Constraints: 26237
34.41/34.63 c #Conflicts: 37000 | #Constraints: 27238
34.41/34.63 c INPROCESSING
34.41/34.63 c GARBAGE COLLECT
34.41/34.63 c rational objective 5
38.00/38.22 c #Conflicts: 38000 | #Constraints: 24260
38.00/38.22 c #Conflicts: 39000 | #Constraints: 25260
38.00/38.22 c #Conflicts: 40000 | #Constraints: 26260
38.00/38.22 c #Conflicts: 41000 | #Constraints: 27261
38.00/38.22 c INPROCESSING
38.00/38.22 c GARBAGE COLLECT
38.00/38.22 c rational objective 5
41.90/42.16 c #Conflicts: 42000 | #Constraints: 24055
41.90/42.16 c #Conflicts: 43000 | #Constraints: 25055
41.90/42.16 c #Conflicts: 44000 | #Constraints: 26060
41.90/42.16 c #Conflicts: 45000 | #Constraints: 27061
41.90/42.16 c #Conflicts: 46000 | #Constraints: 28062
41.90/42.16 c INPROCESSING
41.90/42.16 c GARBAGE COLLECT
41.90/42.16 c rational objective 5
46.08/46.30 c #Conflicts: 47000 | #Constraints: 24618
46.08/46.30 c #Conflicts: 48000 | #Constraints: 25618
46.08/46.30 c #Conflicts: 49000 | #Constraints: 26621
46.08/46.30 c #Conflicts: 50000 | #Constraints: 27623
46.08/46.30 c #Conflicts: 51000 | #Constraints: 28626
46.08/46.30 c INPROCESSING
46.08/46.30 c GARBAGE COLLECT
46.08/46.30 c rational objective 5
50.57/50.84 c #Conflicts: 52000 | #Constraints: 25026
50.57/50.84 c #Conflicts: 53000 | #Constraints: 26027
50.57/50.84 c #Conflicts: 54000 | #Constraints: 27028
50.57/50.84 c #Conflicts: 55000 | #Constraints: 28028
50.57/50.84 c #Conflicts: 56000 | #Constraints: 29028
50.57/50.84 c INPROCESSING
50.57/50.84 c GARBAGE COLLECT
50.57/50.84 c rational objective 5
56.65/57.01 c #Conflicts: 57000 | #Constraints: 25216
56.65/57.01 c #Conflicts: 58000 | #Constraints: 26216
56.65/57.01 c #Conflicts: 59000 | #Constraints: 27217
56.65/57.01 c #Conflicts: 60000 | #Constraints: 28217
56.65/57.01 c #Conflicts: 61000 | #Constraints: 29218
56.65/57.01 c INPROCESSING
56.65/57.01 c GARBAGE COLLECT
56.65/57.01 c rational objective 5
61.34/61.66 c #Conflicts: 62000 | #Constraints: 25193
61.34/61.66 c #Conflicts: 63000 | #Constraints: 26194
61.34/61.66 c #Conflicts: 64000 | #Constraints: 27195
61.34/61.66 c #Conflicts: 65000 | #Constraints: 28197
61.34/61.66 c #Conflicts: 66000 | #Constraints: 29202
61.34/61.66 c INPROCESSING
61.34/61.66 c GARBAGE COLLECT
61.34/61.66 c rational objective 5
66.24/66.74 c #Conflicts: 67000 | #Constraints: 24952
66.24/66.74 c #Conflicts: 68000 | #Constraints: 25953
66.24/66.74 c #Conflicts: 69000 | #Constraints: 26955
66.24/66.74 c #Conflicts: 70000 | #Constraints: 27957
66.24/66.74 c #Conflicts: 71000 | #Constraints: 28959
66.24/66.74 c #Conflicts: 72000 | #Constraints: 29964
66.24/66.74 c INPROCESSING
66.24/66.74 c GARBAGE COLLECT
66.24/66.74 c rational objective 5
70.93/71.44 c #Conflicts: 73000 | #Constraints: 25535
70.93/71.44 c #Conflicts: 74000 | #Constraints: 26535
70.93/71.44 c #Conflicts: 75000 | #Constraints: 27535
70.93/71.44 c #Conflicts: 76000 | #Constraints: 28535
70.93/71.44 c #Conflicts: 77000 | #Constraints: 29536
70.93/71.44 c #Conflicts: 78000 | #Constraints: 30536
70.93/71.44 c INPROCESSING
70.93/71.44 c GARBAGE COLLECT
70.93/71.44 c rational objective 5
75.81/76.37 c #Conflicts: 79000 | #Constraints: 25940
75.81/76.37 c #Conflicts: 80000 | #Constraints: 26940
75.81/76.37 c #Conflicts: 81000 | #Constraints: 27940
75.81/76.37 c #Conflicts: 82000 | #Constraints: 28940
75.81/76.37 c #Conflicts: 83000 | #Constraints: 29943
75.81/76.37 c #Conflicts: 84000 | #Constraints: 30944
75.81/76.37 c INPROCESSING
75.81/76.37 c GARBAGE COLLECT
75.81/76.37 c rational objective 5
81.79/82.37 c #Conflicts: 85000 | #Constraints: 26115
81.79/82.37 c #Conflicts: 86000 | #Constraints: 27115
81.79/82.37 c #Conflicts: 87000 | #Constraints: 28117
81.79/82.37 c #Conflicts: 88000 | #Constraints: 29121
81.79/82.37 c #Conflicts: 89000 | #Constraints: 30122
81.79/82.37 c #Conflicts: 90000 | #Constraints: 31126
81.79/82.37 c INPROCESSING
81.79/82.37 c GARBAGE COLLECT
81.79/82.37 c rational objective 5
89.37/90.00 c #Conflicts: 91000 | #Constraints: 26101
89.37/90.00 c #Conflicts: 92000 | #Constraints: 27101
89.37/90.00 c #Conflicts: 93000 | #Constraints: 28103
89.37/90.00 c #Conflicts: 94000 | #Constraints: 29105
89.37/90.00 c #Conflicts: 95000 | #Constraints: 30106
89.37/90.00 c #Conflicts: 96000 | #Constraints: 31106
89.37/90.00 c INPROCESSING
89.37/90.00 c GARBAGE COLLECT
89.37/90.00 c rational objective 5
97.07/98.21 c #Conflicts: 97000 | #Constraints: 25839
97.07/98.21 c #Conflicts: 98000 | #Constraints: 26842
97.07/98.21 c #Conflicts: 99000 | #Constraints: 27845
97.07/98.21 c #Conflicts: 100000 | #Constraints: 28847
97.07/98.21 c #Conflicts: 101000 | #Constraints: 29850
97.07/98.21 c #Conflicts: 102000 | #Constraints: 30852
97.07/98.21 c #Conflicts: 103000 | #Constraints: 31855
97.07/98.21 c INPROCESSING
97.07/98.21 c GARBAGE COLLECT
97.07/98.21 c rational objective 5
103.56/104.73 c #Conflicts: 104000 | #Constraints: 26391
103.56/104.73 c #Conflicts: 105000 | #Constraints: 27393
103.56/104.73 c #Conflicts: 106000 | #Constraints: 28395
103.56/104.73 c #Conflicts: 107000 | #Constraints: 29396
103.56/104.73 c #Conflicts: 108000 | #Constraints: 30398
103.56/104.73 c #Conflicts: 109000 | #Constraints: 31399
103.56/104.73 c #Conflicts: 110000 | #Constraints: 32400
103.56/104.73 c INPROCESSING
103.56/104.73 c GARBAGE COLLECT
103.56/104.73 c rational objective 5
111.43/112.69 c #Conflicts: 111000 | #Constraints: 26778
111.43/112.69 c #Conflicts: 112000 | #Constraints: 27779
111.43/112.69 c #Conflicts: 113000 | #Constraints: 28779
111.43/112.69 c #Conflicts: 114000 | #Constraints: 29782
111.43/112.69 c #Conflicts: 115000 | #Constraints: 30786
111.43/112.69 c #Conflicts: 116000 | #Constraints: 31787
111.43/112.69 c #Conflicts: 117000 | #Constraints: 32790
111.43/112.69 c INPROCESSING
111.43/112.69 c GARBAGE COLLECT
111.43/112.69 c rational objective 5
120.60/121.82 c #Conflicts: 118000 | #Constraints: 26951
120.60/121.82 c #Conflicts: 119000 | #Constraints: 27953
120.60/121.82 c #Conflicts: 120000 | #Constraints: 28957
120.60/121.82 c #Conflicts: 121000 | #Constraints: 29962
120.60/121.82 c #Conflicts: 122000 | #Constraints: 30964
120.60/121.82 c #Conflicts: 123000 | #Constraints: 31965
120.60/121.82 c #Conflicts: 124000 | #Constraints: 32965
120.60/121.82 c INPROCESSING
120.60/121.82 c GARBAGE COLLECT
120.60/121.82 c rational objective 5
127.52/129.02 c #Conflicts: 125000 | #Constraints: 26853
127.52/129.02 c #Conflicts: 126000 | #Constraints: 27855
127.52/129.02 c #Conflicts: 127000 | #Constraints: 28857
127.52/129.02 c #Conflicts: 128000 | #Constraints: 29861
127.52/129.02 c #Conflicts: 129000 | #Constraints: 30864
127.52/129.02 c #Conflicts: 130000 | #Constraints: 31868
127.52/129.02 c #Conflicts: 131000 | #Constraints: 32869
127.52/129.02 c INPROCESSING
127.52/129.02 c GARBAGE COLLECT
127.52/129.02 c rational objective 5
134.60/136.19 c #Conflicts: 132000 | #Constraints: 26576
134.60/136.19 c #Conflicts: 133000 | #Constraints: 27576
134.60/136.19 c #Conflicts: 134000 | #Constraints: 28576
134.60/136.19 c #Conflicts: 135000 | #Constraints: 29578
134.60/136.19 c #Conflicts: 136000 | #Constraints: 30581
134.60/136.19 c #Conflicts: 137000 | #Constraints: 31583
134.60/136.19 c #Conflicts: 138000 | #Constraints: 32587
134.60/136.19 c #Conflicts: 139000 | #Constraints: 33590
134.60/136.19 c INPROCESSING
134.60/136.19 c GARBAGE COLLECT
134.60/136.19 c rational objective 5
146.70/148.44 c #Conflicts: 140000 | #Constraints: 27171
146.70/148.44 c #Conflicts: 141000 | #Constraints: 28175
146.70/148.44 c #Conflicts: 142000 | #Constraints: 29177
146.70/148.44 c #Conflicts: 143000 | #Constraints: 30178
146.70/148.44 c #Conflicts: 144000 | #Constraints: 31180
146.70/148.44 c #Conflicts: 145000 | #Constraints: 32181
146.70/148.44 c #Conflicts: 146000 | #Constraints: 33181
146.70/148.44 c #Conflicts: 147000 | #Constraints: 34182
146.70/148.44 c INPROCESSING
146.70/148.44 c GARBAGE COLLECT
146.70/148.44 c rational objective 5
155.67/157.58 c #Conflicts: 148000 | #Constraints: 27630
155.67/157.58 c #Conflicts: 149000 | #Constraints: 28631
155.67/157.58 c #Conflicts: 150000 | #Constraints: 29635
155.67/157.58 c #Conflicts: 151000 | #Constraints: 30641
155.67/157.58 c #Conflicts: 152000 | #Constraints: 31643
155.67/157.58 c #Conflicts: 153000 | #Constraints: 32646
155.67/157.58 c #Conflicts: 154000 | #Constraints: 33647
155.67/157.58 c #Conflicts: 155000 | #Constraints: 34647
155.67/157.58 c INPROCESSING
155.67/157.58 c GARBAGE COLLECT
155.67/157.58 c rational objective 5
164.05/165.93 c #Conflicts: 156000 | #Constraints: 27709
164.05/165.93 c #Conflicts: 157000 | #Constraints: 28710
164.05/165.93 c #Conflicts: 158000 | #Constraints: 29712
164.05/165.93 c #Conflicts: 159000 | #Constraints: 30715
164.05/165.93 c #Conflicts: 160000 | #Constraints: 31715
164.05/165.93 c #Conflicts: 161000 | #Constraints: 32717
164.05/165.93 c #Conflicts: 162000 | #Constraints: 33718
164.05/165.93 c #Conflicts: 163000 | #Constraints: 34720
164.05/165.93 c INPROCESSING
164.05/165.93 c GARBAGE COLLECT
164.05/165.93 c rational objective 5
175.19/177.16 c #Conflicts: 164000 | #Constraints: 27690
175.19/177.16 c #Conflicts: 165000 | #Constraints: 28691
175.19/177.16 c #Conflicts: 166000 | #Constraints: 29692
175.19/177.16 c #Conflicts: 167000 | #Constraints: 30693
175.19/177.16 c #Conflicts: 168000 | #Constraints: 31695
175.19/177.16 c #Conflicts: 169000 | #Constraints: 32695
175.19/177.16 c #Conflicts: 170000 | #Constraints: 33695
175.19/177.16 c #Conflicts: 171000 | #Constraints: 34696
175.19/177.16 c INPROCESSING
175.19/177.16 c GARBAGE COLLECT
175.19/177.16 c rational objective 5
185.44/187.49 c #Conflicts: 172000 | #Constraints: 27457
185.44/187.49 c #Conflicts: 173000 | #Constraints: 28458
185.44/187.49 c #Conflicts: 174000 | #Constraints: 29459
185.44/187.49 c #Conflicts: 175000 | #Constraints: 30459
185.44/187.49 c #Conflicts: 176000 | #Constraints: 31460
185.44/187.49 c #Conflicts: 177000 | #Constraints: 32461
185.44/187.49 c #Conflicts: 178000 | #Constraints: 33463
185.44/187.49 c #Conflicts: 179000 | #Constraints: 34463
185.44/187.49 c #Conflicts: 180000 | #Constraints: 35464
185.44/187.49 c INPROCESSING
185.44/187.49 c GARBAGE COLLECT
185.44/187.49 c rational objective 5
196.42/198.52 c #Conflicts: 181000 | #Constraints: 28027
196.42/198.52 c #Conflicts: 182000 | #Constraints: 29028
196.42/198.52 c #Conflicts: 183000 | #Constraints: 30028
196.42/198.52 c #Conflicts: 184000 | #Constraints: 31030
196.42/198.52 c #Conflicts: 185000 | #Constraints: 32034
196.42/198.52 c #Conflicts: 186000 | #Constraints: 33036
196.42/198.52 c #Conflicts: 187000 | #Constraints: 34038
196.42/198.52 c #Conflicts: 188000 | #Constraints: 35040
196.42/198.52 c #Conflicts: 189000 | #Constraints: 36040
196.42/198.52 c INPROCESSING
196.42/198.52 c GARBAGE COLLECT
196.42/198.52 c rational objective 5
206.22/208.42 c #Conflicts: 190000 | #Constraints: 28416
206.22/208.42 c #Conflicts: 191000 | #Constraints: 29419
206.22/208.42 c #Conflicts: 192000 | #Constraints: 30420
206.22/208.42 c #Conflicts: 193000 | #Constraints: 31422
206.22/208.42 c #Conflicts: 194000 | #Constraints: 32423
206.22/208.42 c #Conflicts: 195000 | #Constraints: 33423
206.22/208.42 c #Conflicts: 196000 | #Constraints: 34424
206.22/208.42 c #Conflicts: 197000 | #Constraints: 35427
206.22/208.42 c #Conflicts: 198000 | #Constraints: 36428
206.22/208.42 c INPROCESSING
206.22/208.42 c GARBAGE COLLECT
206.22/208.42 c rational objective 5
217.94/220.20 c #Conflicts: 199000 | #Constraints: 28621
217.94/220.20 c #Conflicts: 200000 | #Constraints: 29622
217.94/220.20 c #Conflicts: 201000 | #Constraints: 30623
217.94/220.20 c #Conflicts: 202000 | #Constraints: 31625
217.94/220.20 c #Conflicts: 203000 | #Constraints: 32626
217.94/220.20 c #Conflicts: 204000 | #Constraints: 33629
217.94/220.20 c #Conflicts: 205000 | #Constraints: 34630
217.94/220.20 c #Conflicts: 206000 | #Constraints: 35633
217.94/220.20 c #Conflicts: 207000 | #Constraints: 36636
217.94/220.20 c INPROCESSING
217.94/220.20 c GARBAGE COLLECT
217.94/220.20 c rational objective 5
229.00/231.34 c #Conflicts: 208000 | #Constraints: 28627
229.00/231.34 c #Conflicts: 209000 | #Constraints: 29627
229.00/231.34 c #Conflicts: 210000 | #Constraints: 30628
229.00/231.34 c #Conflicts: 211000 | #Constraints: 31630
229.00/231.34 c #Conflicts: 212000 | #Constraints: 32633
229.00/231.34 c #Conflicts: 213000 | #Constraints: 33637
229.00/231.34 c #Conflicts: 214000 | #Constraints: 34638
229.00/231.34 c #Conflicts: 215000 | #Constraints: 35640
229.00/231.34 c #Conflicts: 216000 | #Constraints: 36642
229.00/231.34 c INPROCESSING
229.00/231.34 c GARBAGE COLLECT
229.00/231.34 c rational objective 5
255.86/258.38 c #Conflicts: 217000 | #Constraints: 28485
255.86/258.38 c #Conflicts: 218000 | #Constraints: 29487
255.86/258.38 c #Conflicts: 219000 | #Constraints: 30488
255.86/258.38 c #Conflicts: 220000 | #Constraints: 31488
255.86/258.38 c #Conflicts: 221000 | #Constraints: 32488
255.86/258.38 c #Conflicts: 222000 | #Constraints: 33489
255.86/258.38 c #Conflicts: 223000 | #Constraints: 34490
255.86/258.38 c #Conflicts: 224000 | #Constraints: 35490
255.86/258.38 c #Conflicts: 225000 | #Constraints: 36490
255.86/258.38 c #Conflicts: 226000 | #Constraints: 37491
255.86/258.38 c INPROCESSING
255.86/258.38 c GARBAGE COLLECT
255.86/258.38 c #Conflicts: 227000 | #Constraints: 28981
255.86/258.38 c #Conflicts: 228000 | #Constraints: 29981
255.86/258.38 c #Conflicts: 229000 | #Constraints: 30981
255.86/258.38 c #Conflicts: 230000 | #Constraints: 31982
255.86/258.38 c #Conflicts: 231000 | #Constraints: 32982
255.86/258.38 c #Conflicts: 232000 | #Constraints: 33982
255.86/258.38 c #Conflicts: 233000 | #Constraints: 34982
255.86/258.38 c #Conflicts: 234000 | #Constraints: 35982
255.86/258.38 c #Conflicts: 235000 | #Constraints: 36982
255.86/258.38 c #Conflicts: 236000 | #Constraints: 37983
255.86/258.38 c INPROCESSING
255.86/258.38 c GARBAGE COLLECT
255.86/258.38 c rational objective 5
265.48/268.06 c #Conflicts: 237000 | #Constraints: 29344
265.48/268.06 c #Conflicts: 238000 | #Constraints: 30344
265.48/268.06 c #Conflicts: 239000 | #Constraints: 31344
265.48/268.06 c #Conflicts: 240000 | #Constraints: 32344
265.48/268.06 c #Conflicts: 241000 | #Constraints: 33344
265.48/268.06 c #Conflicts: 242000 | #Constraints: 34345
265.48/268.06 c #Conflicts: 243000 | #Constraints: 35348
265.48/268.06 c #Conflicts: 244000 | #Constraints: 36349
265.48/268.06 c #Conflicts: 245000 | #Constraints: 37353
265.48/268.06 c #Conflicts: 246000 | #Constraints: 38356
265.48/268.06 c INPROCESSING
265.48/268.06 c GARBAGE COLLECT
265.48/268.06 c rational objective 5
277.63/280.22 c #Conflicts: 247000 | #Constraints: 29525
277.63/280.22 c #Conflicts: 248000 | #Constraints: 30530
277.63/280.22 c #Conflicts: 249000 | #Constraints: 31532
277.63/280.22 c #Conflicts: 250000 | #Constraints: 32534
277.63/280.22 c #Conflicts: 251000 | #Constraints: 33535
277.63/280.22 c #Conflicts: 252000 | #Constraints: 34536
277.63/280.22 c #Conflicts: 253000 | #Constraints: 35538
277.63/280.22 c #Conflicts: 254000 | #Constraints: 36540
277.63/280.22 c #Conflicts: 255000 | #Constraints: 37541
277.63/280.22 c #Conflicts: 256000 | #Constraints: 38541
277.63/280.22 c INPROCESSING
277.63/280.22 c GARBAGE COLLECT
277.63/280.22 c rational objective 5
290.21/292.95 c #Conflicts: 257000 | #Constraints: 29328
290.21/292.95 c #Conflicts: 258000 | #Constraints: 30328
290.21/292.95 c #Conflicts: 259000 | #Constraints: 31332
290.21/292.95 c #Conflicts: 260000 | #Constraints: 32333
290.21/292.95 c #Conflicts: 261000 | #Constraints: 33334
290.21/292.95 c #Conflicts: 262000 | #Constraints: 34335
290.21/292.95 c #Conflicts: 263000 | #Constraints: 35336
290.21/292.95 c #Conflicts: 264000 | #Constraints: 36340
290.21/292.95 c #Conflicts: 265000 | #Constraints: 37343
290.21/292.95 c #Conflicts: 266000 | #Constraints: 38344
290.21/292.95 c INPROCESSING
290.21/292.95 c GARBAGE COLLECT
290.21/292.95 c rational objective 5
300.48/303.26 c #Conflicts: 267000 | #Constraints: 29025
300.48/303.26 c #Conflicts: 268000 | #Constraints: 30025
300.48/303.26 c #Conflicts: 269000 | #Constraints: 31025
300.48/303.26 c #Conflicts: 270000 | #Constraints: 32027
300.48/303.26 c #Conflicts: 271000 | #Constraints: 33027
300.48/303.26 c #Conflicts: 272000 | #Constraints: 34030
300.48/303.26 c #Conflicts: 273000 | #Constraints: 35030
300.48/303.26 c #Conflicts: 274000 | #Constraints: 36031
300.48/303.26 c #Conflicts: 275000 | #Constraints: 37032
300.48/303.26 c #Conflicts: 276000 | #Constraints: 38033
300.48/303.26 c #Conflicts: 277000 | #Constraints: 39035
300.48/303.26 c INPROCESSING
300.48/303.26 c GARBAGE COLLECT
300.48/303.26 c rational objective 5
311.60/314.47 c #Conflicts: 278000 | #Constraints: 29610
311.60/314.47 c #Conflicts: 279000 | #Constraints: 30610
311.60/314.47 c #Conflicts: 280000 | #Constraints: 31616
311.60/314.47 c #Conflicts: 281000 | #Constraints: 32621
311.60/314.47 c #Conflicts: 282000 | #Constraints: 33630
311.60/314.47 c #Conflicts: 283000 | #Constraints: 34635
311.60/314.47 c #Conflicts: 284000 | #Constraints: 35644
311.60/314.47 c #Conflicts: 285000 | #Constraints: 36646
311.60/314.47 c #Conflicts: 286000 | #Constraints: 37647
311.60/314.47 c #Conflicts: 287000 | #Constraints: 38650
311.60/314.47 c #Conflicts: 288000 | #Constraints: 39654
311.60/314.47 c INPROCESSING
311.60/314.47 c GARBAGE COLLECT
311.60/314.47 c rational objective 5
327.60/330.56 c #Conflicts: 289000 | #Constraints: 30029
327.60/330.56 c #Conflicts: 290000 | #Constraints: 31030
327.60/330.56 c #Conflicts: 291000 | #Constraints: 32031
327.60/330.56 c #Conflicts: 292000 | #Constraints: 33033
327.60/330.56 c #Conflicts: 293000 | #Constraints: 34035
327.60/330.56 c #Conflicts: 294000 | #Constraints: 35038
327.60/330.56 c #Conflicts: 295000 | #Constraints: 36038
327.60/330.56 c #Conflicts: 296000 | #Constraints: 37040
327.60/330.56 c #Conflicts: 297000 | #Constraints: 38040
327.60/330.56 c #Conflicts: 298000 | #Constraints: 39042
327.60/330.56 c #Conflicts: 299000 | #Constraints: 40044
327.60/330.56 c INPROCESSING
327.60/330.56 c GARBAGE COLLECT
327.60/330.56 c rational objective 5
339.66/342.69 c #Conflicts: 300000 | #Constraints: 30203
339.66/342.69 c #Conflicts: 301000 | #Constraints: 31203
339.66/342.69 c #Conflicts: 302000 | #Constraints: 32206
339.66/342.69 c #Conflicts: 303000 | #Constraints: 33209
339.66/342.69 c #Conflicts: 304000 | #Constraints: 34214
339.66/342.69 c #Conflicts: 305000 | #Constraints: 35217
339.66/342.69 c #Conflicts: 306000 | #Constraints: 36218
339.66/342.69 c #Conflicts: 307000 | #Constraints: 37219
339.66/342.69 c #Conflicts: 308000 | #Constraints: 38220
339.66/342.69 c #Conflicts: 309000 | #Constraints: 39221
339.66/342.69 c #Conflicts: 310000 | #Constraints: 40221
339.66/342.69 c INPROCESSING
339.66/342.69 c GARBAGE COLLECT
339.66/342.69 c rational objective 5
354.48/357.69 c #Conflicts: 311000 | #Constraints: 30222
354.48/357.69 c #Conflicts: 312000 | #Constraints: 31222
354.48/357.69 c #Conflicts: 313000 | #Constraints: 32223
354.48/357.69 c #Conflicts: 314000 | #Constraints: 33223
354.48/357.69 c #Conflicts: 315000 | #Constraints: 34223
354.48/357.69 c #Conflicts: 316000 | #Constraints: 35224
354.48/357.69 c #Conflicts: 317000 | #Constraints: 36227
354.48/357.69 c #Conflicts: 318000 | #Constraints: 37229
354.48/357.69 c #Conflicts: 319000 | #Constraints: 38230
354.48/357.69 c #Conflicts: 320000 | #Constraints: 39231
354.48/357.69 c #Conflicts: 321000 | #Constraints: 40233
354.48/357.69 c INPROCESSING
354.48/357.69 c GARBAGE COLLECT
354.48/357.69 c rational objective 5
366.25/369.43 c #Conflicts: 322000 | #Constraints: 29995
366.25/369.43 c #Conflicts: 323000 | #Constraints: 30995
366.25/369.43 c #Conflicts: 324000 | #Constraints: 31996
366.25/369.43 c #Conflicts: 325000 | #Constraints: 32998
366.25/369.43 c #Conflicts: 326000 | #Constraints: 34001
366.25/369.43 c #Conflicts: 327000 | #Constraints: 35004
366.25/369.43 c #Conflicts: 328000 | #Constraints: 36009
366.25/369.43 c #Conflicts: 329000 | #Constraints: 37010
366.25/369.43 c #Conflicts: 330000 | #Constraints: 38013
366.25/369.43 c #Conflicts: 331000 | #Constraints: 39013
366.25/369.43 c #Conflicts: 332000 | #Constraints: 40015
366.25/369.43 c #Conflicts: 333000 | #Constraints: 41016
366.25/369.43 c INPROCESSING
366.25/369.43 c GARBAGE COLLECT
366.25/369.43 c rational objective 5
379.75/383.08 c #Conflicts: 334000 | #Constraints: 30586
379.75/383.08 c #Conflicts: 335000 | #Constraints: 31587
379.75/383.08 c #Conflicts: 336000 | #Constraints: 32592
379.75/383.08 c #Conflicts: 337000 | #Constraints: 33599
379.75/383.08 c #Conflicts: 338000 | #Constraints: 34602
379.75/383.08 c #Conflicts: 339000 | #Constraints: 35603
379.75/383.08 c #Conflicts: 340000 | #Constraints: 36603
379.75/383.08 c #Conflicts: 341000 | #Constraints: 37610
379.75/383.08 c #Conflicts: 342000 | #Constraints: 38613
379.75/383.08 c #Conflicts: 343000 | #Constraints: 39614
379.75/383.08 c #Conflicts: 344000 | #Constraints: 40616
379.75/383.08 c #Conflicts: 345000 | #Constraints: 41618
379.75/383.08 c INPROCESSING
379.75/383.08 c GARBAGE COLLECT
379.75/383.08 c rational objective 5
398.16/401.67 c #Conflicts: 346000 | #Constraints: 30984
398.16/401.67 c #Conflicts: 347000 | #Constraints: 31985
398.16/401.67 c #Conflicts: 348000 | #Constraints: 32987
398.16/401.67 c #Conflicts: 349000 | #Constraints: 33989
398.16/401.67 c #Conflicts: 350000 | #Constraints: 34989
398.16/401.67 c #Conflicts: 351000 | #Constraints: 35990
398.16/401.67 c #Conflicts: 352000 | #Constraints: 36991
398.16/401.67 c #Conflicts: 353000 | #Constraints: 37992
398.16/401.67 c #Conflicts: 354000 | #Constraints: 38992
398.16/401.67 c #Conflicts: 355000 | #Constraints: 39993
398.16/401.67 c #Conflicts: 356000 | #Constraints: 40994
398.16/401.67 c #Conflicts: 357000 | #Constraints: 41995
398.16/401.67 c INPROCESSING
398.16/401.67 c GARBAGE COLLECT
398.16/401.67 c rational objective 5
412.95/416.64 c #Conflicts: 358000 | #Constraints: 31177
412.95/416.64 c #Conflicts: 359000 | #Constraints: 32180
412.95/416.64 c #Conflicts: 360000 | #Constraints: 33185
412.95/416.64 c #Conflicts: 361000 | #Constraints: 34188
412.95/416.64 c #Conflicts: 362000 | #Constraints: 35189
412.95/416.64 c #Conflicts: 363000 | #Constraints: 36190
412.95/416.64 c #Conflicts: 364000 | #Constraints: 37192
412.95/416.64 c #Conflicts: 365000 | #Constraints: 38192
412.95/416.64 c #Conflicts: 366000 | #Constraints: 39193
412.95/416.64 c #Conflicts: 367000 | #Constraints: 40194
412.95/416.64 c #Conflicts: 368000 | #Constraints: 41195
412.95/416.64 c #Conflicts: 369000 | #Constraints: 42196
412.95/416.64 c INPROCESSING
412.95/416.64 c GARBAGE COLLECT
412.95/416.64 c rational objective 5
432.36/436.33 c #Conflicts: 370000 | #Constraints: 31176
432.36/436.33 c #Conflicts: 371000 | #Constraints: 32178
432.36/436.33 c #Conflicts: 372000 | #Constraints: 33182
432.36/436.33 c #Conflicts: 373000 | #Constraints: 34186
432.36/436.33 c #Conflicts: 374000 | #Constraints: 35190
432.36/436.33 c #Conflicts: 375000 | #Constraints: 36194
432.36/436.33 c #Conflicts: 376000 | #Constraints: 37196
432.36/436.33 c #Conflicts: 377000 | #Constraints: 38200
432.36/436.33 c #Conflicts: 378000 | #Constraints: 39204
432.36/436.33 c #Conflicts: 379000 | #Constraints: 40207
432.36/436.33 c #Conflicts: 380000 | #Constraints: 41210
432.36/436.33 c #Conflicts: 381000 | #Constraints: 42211
432.36/436.33 c INPROCESSING
432.36/436.33 c GARBAGE COLLECT
432.36/436.33 c rational objective 5
446.00/450.11 c #Conflicts: 382000 | #Constraints: 30961
446.00/450.11 c #Conflicts: 383000 | #Constraints: 31961
446.00/450.11 c #Conflicts: 384000 | #Constraints: 32961
446.00/450.11 c #Conflicts: 385000 | #Constraints: 33961
446.00/450.11 c #Conflicts: 386000 | #Constraints: 34962
446.00/450.11 c #Conflicts: 387000 | #Constraints: 35964
446.00/450.11 c #Conflicts: 388000 | #Constraints: 36966
446.00/450.11 c #Conflicts: 389000 | #Constraints: 37972
446.00/450.11 c #Conflicts: 390000 | #Constraints: 38973
446.00/450.11 c #Conflicts: 391000 | #Constraints: 39974
446.00/450.11 c #Conflicts: 392000 | #Constraints: 40978
446.00/450.11 c #Conflicts: 393000 | #Constraints: 41979
446.00/450.11 c #Conflicts: 394000 | #Constraints: 42981
446.00/450.11 c INPROCESSING
446.00/450.11 c GARBAGE COLLECT
446.00/450.11 c rational objective 5
465.22/469.46 c #Conflicts: 395000 | #Constraints: 31572
465.22/469.46 c #Conflicts: 396000 | #Constraints: 32575
465.22/469.46 c #Conflicts: 397000 | #Constraints: 33580
465.22/469.46 c #Conflicts: 398000 | #Constraints: 34584
465.22/469.46 c #Conflicts: 399000 | #Constraints: 35588
465.22/469.46 c #Conflicts: 400000 | #Constraints: 36595
465.22/469.46 c #Conflicts: 401000 | #Constraints: 37599
465.22/469.46 c #Conflicts: 402000 | #Constraints: 38600
465.22/469.46 c #Conflicts: 403000 | #Constraints: 39600
465.22/469.46 c #Conflicts: 404000 | #Constraints: 40602
465.22/469.46 c #Conflicts: 405000 | #Constraints: 41603
465.22/469.46 c #Conflicts: 406000 | #Constraints: 42606
465.22/469.46 c #Conflicts: 407000 | #Constraints: 43608
465.22/469.46 c INPROCESSING
465.22/469.46 c GARBAGE COLLECT
465.22/469.46 c rational objective 5
485.51/489.93 c #Conflicts: 408000 | #Constraints: 31949
485.51/489.93 c #Conflicts: 409000 | #Constraints: 32954
485.51/489.93 c #Conflicts: 410000 | #Constraints: 33954
485.51/489.93 c #Conflicts: 411000 | #Constraints: 34957
485.51/489.93 c #Conflicts: 412000 | #Constraints: 35958
485.51/489.93 c #Conflicts: 413000 | #Constraints: 36960
485.51/489.93 c #Conflicts: 414000 | #Constraints: 37960
485.51/489.93 c #Conflicts: 415000 | #Constraints: 38962
485.51/489.93 c #Conflicts: 416000 | #Constraints: 39964
485.51/489.93 c #Conflicts: 417000 | #Constraints: 40964
485.51/489.93 c #Conflicts: 418000 | #Constraints: 41965
485.51/489.93 c #Conflicts: 419000 | #Constraints: 42967
485.51/489.93 c #Conflicts: 420000 | #Constraints: 43968
485.51/489.93 c INPROCESSING
485.51/489.93 c GARBAGE COLLECT
485.51/489.93 c rational objective 5
502.57/507.04 c #Conflicts: 421000 | #Constraints: 32035
502.57/507.04 c #Conflicts: 422000 | #Constraints: 33036
502.57/507.04 c #Conflicts: 423000 | #Constraints: 34038
502.57/507.04 c #Conflicts: 424000 | #Constraints: 35040
502.57/507.04 c #Conflicts: 425000 | #Constraints: 36042
502.57/507.04 c #Conflicts: 426000 | #Constraints: 37042
502.57/507.04 c #Conflicts: 427000 | #Constraints: 38044
502.57/507.04 c #Conflicts: 428000 | #Constraints: 39044
502.57/507.04 c #Conflicts: 429000 | #Constraints: 40045
502.57/507.04 c #Conflicts: 430000 | #Constraints: 41046
502.57/507.04 c #Conflicts: 431000 | #Constraints: 42047
502.57/507.04 c #Conflicts: 432000 | #Constraints: 43048
502.57/507.04 c #Conflicts: 433000 | #Constraints: 44048
502.57/507.04 c INPROCESSING
502.57/507.04 c GARBAGE COLLECT
502.57/507.04 c rational objective 5
525.35/530.16 c #Conflicts: 434000 | #Constraints: 32037
525.35/530.16 c #Conflicts: 435000 | #Constraints: 33038
525.35/530.16 c #Conflicts: 436000 | #Constraints: 34041
525.35/530.16 c #Conflicts: 437000 | #Constraints: 35043
525.35/530.16 c #Conflicts: 438000 | #Constraints: 36045
525.35/530.16 c #Conflicts: 439000 | #Constraints: 37046
525.35/530.16 c #Conflicts: 440000 | #Constraints: 38047
525.35/530.16 c #Conflicts: 441000 | #Constraints: 39050
525.35/530.16 c #Conflicts: 442000 | #Constraints: 40052
525.35/530.16 c #Conflicts: 443000 | #Constraints: 41052
525.35/530.16 c #Conflicts: 444000 | #Constraints: 42053
525.35/530.16 c #Conflicts: 445000 | #Constraints: 43055
525.35/530.16 c #Conflicts: 446000 | #Constraints: 44057
525.35/530.16 c INPROCESSING
525.35/530.16 c GARBAGE COLLECT
525.35/530.16 c rational objective 5
539.83/544.92 c #Conflicts: 447000 | #Constraints: 31843
539.83/544.92 c #Conflicts: 448000 | #Constraints: 32843
539.83/544.92 c #Conflicts: 449000 | #Constraints: 33844
539.83/544.92 c #Conflicts: 450000 | #Constraints: 34846
539.83/544.92 c #Conflicts: 451000 | #Constraints: 35847
539.83/544.92 c #Conflicts: 452000 | #Constraints: 36848
539.83/544.92 c #Conflicts: 453000 | #Constraints: 37849
539.83/544.92 c #Conflicts: 454000 | #Constraints: 38850
539.83/544.92 c #Conflicts: 455000 | #Constraints: 39850
539.83/544.92 c #Conflicts: 456000 | #Constraints: 40851
539.83/544.92 c #Conflicts: 457000 | #Constraints: 41853
539.83/544.92 c #Conflicts: 458000 | #Constraints: 42856
539.83/544.92 c #Conflicts: 459000 | #Constraints: 43859
539.83/544.92 c #Conflicts: 460000 | #Constraints: 44859
539.83/544.92 c INPROCESSING
539.83/544.92 c GARBAGE COLLECT
539.83/544.92 c rational objective 5
560.81/566.10 c #Conflicts: 461000 | #Constraints: 32448
560.81/566.10 c #Conflicts: 462000 | #Constraints: 33448
560.81/566.10 c #Conflicts: 463000 | #Constraints: 34449
560.81/566.10 c #Conflicts: 464000 | #Constraints: 35450
560.81/566.10 c #Conflicts: 465000 | #Constraints: 36454
560.81/566.10 c #Conflicts: 466000 | #Constraints: 37455
560.81/566.10 c #Conflicts: 467000 | #Constraints: 38456
560.81/566.10 c #Conflicts: 468000 | #Constraints: 39458
560.81/566.10 c #Conflicts: 469000 | #Constraints: 40461
560.81/566.10 c #Conflicts: 470000 | #Constraints: 41461
560.81/566.10 c #Conflicts: 471000 | #Constraints: 42463
560.81/566.10 c #Conflicts: 472000 | #Constraints: 43465
560.81/566.10 c #Conflicts: 473000 | #Constraints: 44467
560.81/566.10 c #Conflicts: 474000 | #Constraints: 45469
560.81/566.10 c INPROCESSING
560.81/566.10 c GARBAGE COLLECT
560.81/566.10 c rational objective 5
576.07/581.54 c #Conflicts: 475000 | #Constraints: 32855
576.07/581.54 c #Conflicts: 476000 | #Constraints: 33855
576.07/581.54 c #Conflicts: 477000 | #Constraints: 34855
576.07/581.54 c #Conflicts: 478000 | #Constraints: 35857
576.07/581.54 c #Conflicts: 479000 | #Constraints: 36859
576.07/581.54 c #Conflicts: 480000 | #Constraints: 37860
576.07/581.54 c #Conflicts: 481000 | #Constraints: 38863
576.07/581.54 c #Conflicts: 482000 | #Constraints: 39870
576.07/581.54 c #Conflicts: 483000 | #Constraints: 40872
576.07/581.54 c #Conflicts: 484000 | #Constraints: 41874
576.07/581.54 c #Conflicts: 485000 | #Constraints: 42875
576.07/581.54 c #Conflicts: 486000 | #Constraints: 43876
576.07/581.54 c #Conflicts: 487000 | #Constraints: 44877
576.07/581.54 c #Conflicts: 488000 | #Constraints: 45878
576.07/581.54 c INPROCESSING
576.07/581.54 c GARBAGE COLLECT
576.07/581.54 c rational objective 5
599.76/605.48 c #Conflicts: 489000 | #Constraints: 33035
599.76/605.48 c #Conflicts: 490000 | #Constraints: 34039
599.76/605.48 c #Conflicts: 491000 | #Constraints: 35042
599.76/605.48 c #Conflicts: 492000 | #Constraints: 36047
599.76/605.48 c #Conflicts: 493000 | #Constraints: 37050
599.76/605.48 c #Conflicts: 494000 | #Constraints: 38051
599.76/605.48 c #Conflicts: 495000 | #Constraints: 39054
599.76/605.48 c #Conflicts: 496000 | #Constraints: 40055
599.76/605.48 c #Conflicts: 497000 | #Constraints: 41057
599.76/605.48 c #Conflicts: 498000 | #Constraints: 42059
599.76/605.48 c #Conflicts: 499000 | #Constraints: 43060
599.76/605.48 c #Conflicts: 500000 | #Constraints: 44062
599.76/605.48 c #Conflicts: 501000 | #Constraints: 45066
599.76/605.48 c #Conflicts: 502000 | #Constraints: 46067
599.76/605.48 c INPROCESSING
599.76/605.48 c GARBAGE COLLECT
599.76/605.48 c rational objective 5
621.28/627.16 c #Conflicts: 503000 | #Constraints: 33083
621.28/627.16 c #Conflicts: 504000 | #Constraints: 34087
621.28/627.16 c #Conflicts: 505000 | #Constraints: 35092
621.28/627.16 c #Conflicts: 506000 | #Constraints: 36092
621.28/627.16 c #Conflicts: 507000 | #Constraints: 37093
621.28/627.16 c #Conflicts: 508000 | #Constraints: 38095
621.28/627.16 c #Conflicts: 509000 | #Constraints: 39097
621.28/627.16 c #Conflicts: 510000 | #Constraints: 40098
621.28/627.16 c #Conflicts: 511000 | #Constraints: 41100
621.28/627.16 c #Conflicts: 512000 | #Constraints: 42102
621.28/627.16 c #Conflicts: 513000 | #Constraints: 43105
621.28/627.16 c #Conflicts: 514000 | #Constraints: 44106
621.28/627.16 c #Conflicts: 515000 | #Constraints: 45109
621.28/627.16 c #Conflicts: 516000 | #Constraints: 46113
621.28/627.16 c INPROCESSING
621.28/627.16 c GARBAGE COLLECT
621.28/627.16 c rational objective 5
645.90/662.89 c #Conflicts: 517000 | #Constraints: 32871
645.90/662.89 c #Conflicts: 518000 | #Constraints: 33872
645.90/662.89 c #Conflicts: 519000 | #Constraints: 34872
645.90/662.89 c #Conflicts: 520000 | #Constraints: 35872
645.90/662.89 c #Conflicts: 521000 | #Constraints: 36874
645.90/662.89 c #Conflicts: 522000 | #Constraints: 37877
645.90/662.89 c #Conflicts: 523000 | #Constraints: 38877
645.90/662.89 c #Conflicts: 524000 | #Constraints: 39880
645.90/662.89 c #Conflicts: 525000 | #Constraints: 40881
645.90/662.89 c #Conflicts: 526000 | #Constraints: 41882
645.90/662.89 c #Conflicts: 527000 | #Constraints: 42883
645.90/662.89 c #Conflicts: 528000 | #Constraints: 43883
645.90/662.89 c #Conflicts: 529000 | #Constraints: 44883
645.90/662.89 c #Conflicts: 530000 | #Constraints: 45884
645.90/662.89 c #Conflicts: 531000 | #Constraints: 46884
645.90/662.89 c INPROCESSING
645.90/662.89 c GARBAGE COLLECT
645.90/662.89 c rational objective 5
667.77/684.88 c #Conflicts: 532000 | #Constraints: 33465
667.77/684.88 c #Conflicts: 533000 | #Constraints: 34465
667.77/684.88 c #Conflicts: 534000 | #Constraints: 35469
667.77/684.88 c #Conflicts: 535000 | #Constraints: 36472
667.77/684.88 c #Conflicts: 536000 | #Constraints: 37476
667.77/684.88 c #Conflicts: 537000 | #Constraints: 38478
667.77/684.88 c #Conflicts: 538000 | #Constraints: 39481
667.77/684.88 c #Conflicts: 539000 | #Constraints: 40486
667.77/684.88 c #Conflicts: 540000 | #Constraints: 41487
667.77/684.88 c #Conflicts: 541000 | #Constraints: 42488
667.77/684.88 c #Conflicts: 542000 | #Constraints: 43489
667.77/684.88 c #Conflicts: 543000 | #Constraints: 44491
667.77/684.88 c #Conflicts: 544000 | #Constraints: 45492
667.77/684.88 c #Conflicts: 545000 | #Constraints: 46493
667.77/684.88 c #Conflicts: 546000 | #Constraints: 47493
667.77/684.88 c INPROCESSING
667.77/684.88 c GARBAGE COLLECT
667.77/684.88 c rational objective 5
697.84/715.58 c #Conflicts: 547000 | #Constraints: 33847
697.84/715.58 c #Conflicts: 548000 | #Constraints: 34850
697.84/715.58 c #Conflicts: 549000 | #Constraints: 35853
697.84/715.58 c #Conflicts: 550000 | #Constraints: 36856
697.84/715.58 c #Conflicts: 551000 | #Constraints: 37858
697.84/715.58 c #Conflicts: 552000 | #Constraints: 38861
697.84/715.58 c #Conflicts: 553000 | #Constraints: 39868
697.84/715.58 c #Conflicts: 554000 | #Constraints: 40871
697.84/715.58 c #Conflicts: 555000 | #Constraints: 41875
697.84/715.58 c #Conflicts: 556000 | #Constraints: 42880
697.84/715.58 c #Conflicts: 557000 | #Constraints: 43882
697.84/715.58 c #Conflicts: 558000 | #Constraints: 44884
697.84/715.58 c #Conflicts: 559000 | #Constraints: 45885
697.84/715.58 c #Conflicts: 560000 | #Constraints: 46885
697.84/715.58 c #Conflicts: 561000 | #Constraints: 47885
697.84/715.58 c INPROCESSING
697.84/715.58 c GARBAGE COLLECT
697.84/715.58 c rational objective 5
720.12/740.88 c #Conflicts: 562000 | #Constraints: 34027
720.12/740.88 c #Conflicts: 563000 | #Constraints: 35027
720.12/740.88 c #Conflicts: 564000 | #Constraints: 36027
720.12/740.88 c #Conflicts: 565000 | #Constraints: 37029
720.12/740.88 c #Conflicts: 566000 | #Constraints: 38032
720.12/740.88 c #Conflicts: 567000 | #Constraints: 39034
720.12/740.88 c #Conflicts: 568000 | #Constraints: 40036
720.12/740.88 c #Conflicts: 569000 | #Constraints: 41036
720.12/740.88 c #Conflicts: 570000 | #Constraints: 42036
720.12/740.88 c #Conflicts: 571000 | #Constraints: 43036
720.12/740.88 c #Conflicts: 572000 | #Constraints: 44037
720.12/740.88 c #Conflicts: 573000 | #Constraints: 45038
720.12/740.88 c #Conflicts: 574000 | #Constraints: 46039
720.12/740.88 c #Conflicts: 575000 | #Constraints: 47040
720.12/740.88 c #Conflicts: 576000 | #Constraints: 48041
720.12/740.88 c INPROCESSING
720.12/740.88 c GARBAGE COLLECT
720.12/740.88 c rational objective 5
744.52/765.47 c #Conflicts: 577000 | #Constraints: 34029
744.52/765.47 c #Conflicts: 578000 | #Constraints: 35032
744.52/765.47 c #Conflicts: 579000 | #Constraints: 36036
744.52/765.47 c #Conflicts: 580000 | #Constraints: 37038
744.52/765.47 c #Conflicts: 581000 | #Constraints: 38041
744.52/765.47 c #Conflicts: 582000 | #Constraints: 39043
744.52/765.47 c #Conflicts: 583000 | #Constraints: 40046
744.52/765.47 c #Conflicts: 584000 | #Constraints: 41049
744.52/765.47 c #Conflicts: 585000 | #Constraints: 42050
744.52/765.47 c #Conflicts: 586000 | #Constraints: 43051
744.52/765.47 c #Conflicts: 587000 | #Constraints: 44052
744.52/765.47 c #Conflicts: 588000 | #Constraints: 45053
744.52/765.47 c #Conflicts: 589000 | #Constraints: 46054
744.52/765.47 c #Conflicts: 590000 | #Constraints: 47056
744.52/765.47 c #Conflicts: 591000 | #Constraints: 48057
744.52/765.47 c INPROCESSING
744.52/765.47 c GARBAGE COLLECT
744.52/765.47 c rational objective 5
768.49/789.59 c #Conflicts: 592000 | #Constraints: 33823
768.49/789.59 c #Conflicts: 593000 | #Constraints: 34824
768.49/789.59 c #Conflicts: 594000 | #Constraints: 35827
768.49/789.59 c #Conflicts: 595000 | #Constraints: 36831
768.49/789.59 c #Conflicts: 596000 | #Constraints: 37834
768.49/789.59 c #Conflicts: 597000 | #Constraints: 38836
768.49/789.59 c #Conflicts: 598000 | #Constraints: 39837
768.49/789.59 c #Conflicts: 599000 | #Constraints: 40838
768.49/789.59 c #Conflicts: 600000 | #Constraints: 41840
768.49/789.59 c #Conflicts: 601000 | #Constraints: 42841
768.49/789.59 c #Conflicts: 602000 | #Constraints: 43842
768.49/789.59 c #Conflicts: 603000 | #Constraints: 44844
768.49/789.59 c #Conflicts: 604000 | #Constraints: 45846
768.49/789.59 c #Conflicts: 605000 | #Constraints: 46846
768.49/789.59 c #Conflicts: 606000 | #Constraints: 47848
768.49/789.59 c #Conflicts: 607000 | #Constraints: 48848
768.49/789.59 c INPROCESSING
768.49/789.59 c GARBAGE COLLECT
768.49/789.59 c rational objective 5
789.62/810.83 c #Conflicts: 608000 | #Constraints: 34431
789.62/810.83 c #Conflicts: 609000 | #Constraints: 35431
789.62/810.83 c #Conflicts: 610000 | #Constraints: 36432
789.62/810.83 c #Conflicts: 611000 | #Constraints: 37434
789.62/810.83 c #Conflicts: 612000 | #Constraints: 38436
789.62/810.83 c #Conflicts: 613000 | #Constraints: 39437
789.62/810.83 c #Conflicts: 614000 | #Constraints: 40437
789.62/810.83 c #Conflicts: 615000 | #Constraints: 41437
789.62/810.83 c #Conflicts: 616000 | #Constraints: 42440
789.62/810.83 c #Conflicts: 617000 | #Constraints: 43441
789.62/810.83 c #Conflicts: 618000 | #Constraints: 44442
789.62/810.83 c #Conflicts: 619000 | #Constraints: 45443
789.62/810.83 c #Conflicts: 620000 | #Constraints: 46444
789.62/810.83 c #Conflicts: 621000 | #Constraints: 47444
789.62/810.83 c #Conflicts: 622000 | #Constraints: 48445
789.62/810.83 c #Conflicts: 623000 | #Constraints: 49446
789.62/810.83 c INPROCESSING
789.62/810.83 c GARBAGE COLLECT
789.62/810.83 c rational objective 5
814.42/835.87 c #Conflicts: 624000 | #Constraints: 34813
814.42/835.87 c #Conflicts: 625000 | #Constraints: 35813
814.42/835.87 c #Conflicts: 626000 | #Constraints: 36817
814.42/835.87 c #Conflicts: 627000 | #Constraints: 37821
814.42/835.87 c #Conflicts: 628000 | #Constraints: 38823
814.42/835.87 c #Conflicts: 629000 | #Constraints: 39823
814.42/835.87 c #Conflicts: 630000 | #Constraints: 40826
814.42/835.87 c #Conflicts: 631000 | #Constraints: 41828
814.42/835.87 c #Conflicts: 632000 | #Constraints: 42829
814.42/835.87 c #Conflicts: 633000 | #Constraints: 43830
814.42/835.87 c #Conflicts: 634000 | #Constraints: 44830
814.42/835.87 c #Conflicts: 635000 | #Constraints: 45830
814.42/835.87 c #Conflicts: 636000 | #Constraints: 46830
814.42/835.87 c #Conflicts: 637000 | #Constraints: 47831
814.42/835.87 c #Conflicts: 638000 | #Constraints: 48831
814.42/835.87 c #Conflicts: 639000 | #Constraints: 49833
814.42/835.87 c INPROCESSING
814.42/835.87 c GARBAGE COLLECT
814.42/835.87 c rational objective 5
839.20/860.79 c #Conflicts: 640000 | #Constraints: 34869
839.20/860.79 c #Conflicts: 641000 | #Constraints: 35869
839.20/860.79 c #Conflicts: 642000 | #Constraints: 36870
839.20/860.79 c #Conflicts: 643000 | #Constraints: 37872
839.20/860.79 c #Conflicts: 644000 | #Constraints: 38873
839.20/860.79 c #Conflicts: 645000 | #Constraints: 39875
839.20/860.79 c #Conflicts: 646000 | #Constraints: 40878
839.20/860.79 c #Conflicts: 647000 | #Constraints: 41879
839.20/860.79 c #Conflicts: 648000 | #Constraints: 42882
839.20/860.79 c #Conflicts: 649000 | #Constraints: 43883
839.20/860.79 c #Conflicts: 650000 | #Constraints: 44886
839.20/860.79 c #Conflicts: 651000 | #Constraints: 45888
839.20/860.79 c #Conflicts: 652000 | #Constraints: 46889
839.20/860.79 c #Conflicts: 653000 | #Constraints: 47891
839.20/860.79 c #Conflicts: 654000 | #Constraints: 48892
839.20/860.79 c #Conflicts: 655000 | #Constraints: 49896
839.20/860.79 c INPROCESSING
839.20/860.79 c GARBAGE COLLECT
839.20/860.79 c rational objective 5
865.93/887.69 c #Conflicts: 656000 | #Constraints: 34883
865.93/887.69 c #Conflicts: 657000 | #Constraints: 35886
865.93/887.69 c #Conflicts: 658000 | #Constraints: 36892
865.93/887.69 c #Conflicts: 659000 | #Constraints: 37898
865.93/887.69 c #Conflicts: 660000 | #Constraints: 38906
865.93/887.69 c #Conflicts: 661000 | #Constraints: 39909
865.93/887.69 c #Conflicts: 662000 | #Constraints: 40912
865.93/887.69 c #Conflicts: 663000 | #Constraints: 41916
865.93/887.69 c #Conflicts: 664000 | #Constraints: 42919
865.93/887.69 c #Conflicts: 665000 | #Constraints: 43921
865.93/887.69 c #Conflicts: 666000 | #Constraints: 44922
865.93/887.69 c #Conflicts: 667000 | #Constraints: 45925
865.93/887.69 c #Conflicts: 668000 | #Constraints: 46927
865.93/887.69 c #Conflicts: 669000 | #Constraints: 47929
865.93/887.69 c #Conflicts: 670000 | #Constraints: 48931
865.93/887.69 c #Conflicts: 671000 | #Constraints: 49932
865.93/887.69 c INPROCESSING
865.93/887.69 c GARBAGE COLLECT
865.93/887.69 c rational objective 5
891.29/913.12 c #Conflicts: 672000 | #Constraints: 34679
891.29/913.12 c #Conflicts: 673000 | #Constraints: 35679
891.29/913.12 c #Conflicts: 674000 | #Constraints: 36679
891.29/913.12 c #Conflicts: 675000 | #Constraints: 37681
891.29/913.12 c #Conflicts: 676000 | #Constraints: 38686
891.29/913.12 c #Conflicts: 677000 | #Constraints: 39692
891.29/913.12 c #Conflicts: 678000 | #Constraints: 40695
891.29/913.12 c #Conflicts: 679000 | #Constraints: 41697
891.29/913.12 c #Conflicts: 680000 | #Constraints: 42702
891.29/913.12 c #Conflicts: 681000 | #Constraints: 43704
891.29/913.12 c #Conflicts: 682000 | #Constraints: 44706
891.29/913.12 c #Conflicts: 683000 | #Constraints: 45707
891.29/913.12 c #Conflicts: 684000 | #Constraints: 46709
891.29/913.12 c #Conflicts: 685000 | #Constraints: 47713
891.29/913.12 c #Conflicts: 686000 | #Constraints: 48716
891.29/913.12 c #Conflicts: 687000 | #Constraints: 49719
891.29/913.12 c #Conflicts: 688000 | #Constraints: 50723
891.29/913.12 c INPROCESSING
891.29/913.12 c GARBAGE COLLECT
891.29/913.12 c rational objective 5
919.08/941.67 c #Conflicts: 689000 | #Constraints: 35182
919.08/941.67 c #Conflicts: 690000 | #Constraints: 36183
919.08/941.67 c #Conflicts: 691000 | #Constraints: 37187
919.08/941.67 c #Conflicts: 692000 | #Constraints: 38190
919.08/941.67 c #Conflicts: 693000 | #Constraints: 39192
919.08/941.67 c #Conflicts: 694000 | #Constraints: 40196
919.08/941.67 c #Conflicts: 695000 | #Constraints: 41205
919.08/941.67 c #Conflicts: 696000 | #Constraints: 42209
919.08/941.67 c #Conflicts: 697000 | #Constraints: 43213
919.08/941.67 c #Conflicts: 698000 | #Constraints: 44218
919.08/941.67 c #Conflicts: 699000 | #Constraints: 45222
919.08/941.67 c #Conflicts: 700000 | #Constraints: 46225
919.08/941.67 c #Conflicts: 701000 | #Constraints: 47230
919.08/941.67 c #Conflicts: 702000 | #Constraints: 48234
919.08/941.67 c #Conflicts: 703000 | #Constraints: 49238
919.08/941.67 c #Conflicts: 704000 | #Constraints: 50240
919.08/941.67 c #Conflicts: 705000 | #Constraints: 51242
919.08/941.67 c INPROCESSING
919.08/941.67 c GARBAGE COLLECT
919.08/941.67 c rational objective 5
938.30/961.15 c #Conflicts: 706000 | #Constraints: 35578
938.30/961.15 c #Conflicts: 707000 | #Constraints: 36578
938.30/961.15 c #Conflicts: 708000 | #Constraints: 37582
938.30/961.15 c #Conflicts: 709000 | #Constraints: 38588
938.30/961.15 c #Conflicts: 710000 | #Constraints: 39590
938.30/961.15 c #Conflicts: 711000 | #Constraints: 40593
938.30/961.15 c #Conflicts: 712000 | #Constraints: 41593
938.30/961.15 c #Conflicts: 713000 | #Constraints: 42594
938.30/961.15 c #Conflicts: 714000 | #Constraints: 43596
938.30/961.15 c #Conflicts: 715000 | #Constraints: 44597
938.30/961.15 c #Conflicts: 716000 | #Constraints: 45599
938.30/961.15 c #Conflicts: 717000 | #Constraints: 46599
938.30/961.15 c #Conflicts: 718000 | #Constraints: 47600
938.30/961.15 c #Conflicts: 719000 | #Constraints: 48602
938.30/961.15 c #Conflicts: 720000 | #Constraints: 49603
938.30/961.15 c #Conflicts: 721000 | #Constraints: 50604
938.30/961.15 c #Conflicts: 722000 | #Constraints: 51604
938.30/961.15 c INPROCESSING
938.30/961.15 c GARBAGE COLLECT
938.30/961.15 c rational objective 5
969.42/992.46 c #Conflicts: 723000 | #Constraints: 35774
969.42/992.46 c #Conflicts: 724000 | #Constraints: 36774
969.42/992.46 c #Conflicts: 725000 | #Constraints: 37774
969.42/992.46 c #Conflicts: 726000 | #Constraints: 38775
969.42/992.46 c #Conflicts: 727000 | #Constraints: 39777
969.42/992.46 c #Conflicts: 728000 | #Constraints: 40780
969.42/992.46 c #Conflicts: 729000 | #Constraints: 41782
969.42/992.46 c #Conflicts: 730000 | #Constraints: 42785
969.42/992.46 c #Conflicts: 731000 | #Constraints: 43789
969.42/992.46 c #Conflicts: 732000 | #Constraints: 44793
969.42/992.46 c #Conflicts: 733000 | #Constraints: 45795
969.42/992.46 c #Conflicts: 734000 | #Constraints: 46799
969.42/992.46 c #Conflicts: 735000 | #Constraints: 47802
969.42/992.46 c #Conflicts: 736000 | #Constraints: 48803
969.42/992.46 c #Conflicts: 737000 | #Constraints: 49805
969.42/992.46 c #Conflicts: 738000 | #Constraints: 50810
969.42/992.46 c #Conflicts: 739000 | #Constraints: 51812
969.42/992.46 c INPROCESSING
969.42/992.46 c GARBAGE COLLECT
969.42/992.46 c rational objective 5
998.06/1021.33 c #Conflicts: 740000 | #Constraints: 35804
998.06/1021.33 c #Conflicts: 741000 | #Constraints: 36804
998.06/1021.33 c #Conflicts: 742000 | #Constraints: 37805
998.06/1021.33 c #Conflicts: 743000 | #Constraints: 38807
998.06/1021.33 c #Conflicts: 744000 | #Constraints: 39810
998.06/1021.33 c #Conflicts: 745000 | #Constraints: 40811
998.06/1021.33 c #Conflicts: 746000 | #Constraints: 41814
998.06/1021.33 c #Conflicts: 747000 | #Constraints: 42815
998.06/1021.33 c #Conflicts: 748000 | #Constraints: 43816
998.06/1021.33 c #Conflicts: 749000 | #Constraints: 44817
998.06/1021.33 c #Conflicts: 750000 | #Constraints: 45817
998.06/1021.33 c #Conflicts: 751000 | #Constraints: 46817
998.06/1021.33 c #Conflicts: 752000 | #Constraints: 47818
998.06/1021.33 c #Conflicts: 753000 | #Constraints: 48819
998.06/1021.33 c #Conflicts: 754000 | #Constraints: 49819
998.06/1021.33 c #Conflicts: 755000 | #Constraints: 50819
998.06/1021.33 c #Conflicts: 756000 | #Constraints: 51820
998.06/1021.33 c INPROCESSING
998.06/1021.33 c GARBAGE COLLECT
998.06/1021.33 c rational objective 5
1023.79/1047.26 c #Conflicts: 757000 | #Constraints: 35552
1023.79/1047.26 c #Conflicts: 758000 | #Constraints: 36553
1023.79/1047.26 c #Conflicts: 759000 | #Constraints: 37553
1023.79/1047.26 c #Conflicts: 760000 | #Constraints: 38557
1023.79/1047.26 c #Conflicts: 761000 | #Constraints: 39562
1023.79/1047.26 c #Conflicts: 762000 | #Constraints: 40566
1023.79/1047.26 c #Conflicts: 763000 | #Constraints: 41568
1023.79/1047.26 c #Conflicts: 764000 | #Constraints: 42569
1023.79/1047.26 c #Conflicts: 765000 | #Constraints: 43573
1023.79/1047.26 c #Conflicts: 766000 | #Constraints: 44575
1023.79/1047.26 c #Conflicts: 767000 | #Constraints: 45575
1023.79/1047.26 c #Conflicts: 768000 | #Constraints: 46576
1023.79/1047.26 c #Conflicts: 769000 | #Constraints: 47577
1023.79/1047.26 c #Conflicts: 770000 | #Constraints: 48577
1023.79/1047.26 c #Conflicts: 771000 | #Constraints: 49577
1023.79/1047.26 c #Conflicts: 772000 | #Constraints: 50577
1023.79/1047.26 c #Conflicts: 773000 | #Constraints: 51577
1023.79/1047.26 c #Conflicts: 774000 | #Constraints: 52577
1023.79/1047.26 c INPROCESSING
1023.79/1047.26 c GARBAGE COLLECT
1023.79/1047.26 c rational objective 5
1056.58/1086.81 c #Conflicts: 775000 | #Constraints: 36155
1056.58/1086.81 c #Conflicts: 776000 | #Constraints: 37156
1056.58/1086.81 c #Conflicts: 777000 | #Constraints: 38158
1056.58/1086.81 c #Conflicts: 778000 | #Constraints: 39160
1056.58/1086.81 c #Conflicts: 779000 | #Constraints: 40163
1056.58/1086.81 c #Conflicts: 780000 | #Constraints: 41170
1056.58/1086.81 c #Conflicts: 781000 | #Constraints: 42173
1056.58/1086.81 c #Conflicts: 782000 | #Constraints: 43175
1056.58/1086.81 c #Conflicts: 783000 | #Constraints: 44176
1056.58/1086.81 c #Conflicts: 784000 | #Constraints: 45179
1056.58/1086.81 c #Conflicts: 785000 | #Constraints: 46180
1056.58/1086.81 c #Conflicts: 786000 | #Constraints: 47182
1056.58/1086.81 c #Conflicts: 787000 | #Constraints: 48182
1056.58/1086.81 c #Conflicts: 788000 | #Constraints: 49184
1056.58/1086.81 c #Conflicts: 789000 | #Constraints: 50185
1056.58/1086.81 c #Conflicts: 790000 | #Constraints: 51186
1056.58/1086.81 c #Conflicts: 791000 | #Constraints: 52186
1056.58/1086.81 c #Conflicts: 792000 | #Constraints: 53187
1056.58/1086.81 c INPROCESSING
1056.58/1086.81 c GARBAGE COLLECT
1056.58/1086.81 c rational objective 5
1089.64/1120.56 c #Conflicts: 793000 | #Constraints: 36547
1089.64/1120.56 c #Conflicts: 794000 | #Constraints: 37549
1089.64/1120.56 c #Conflicts: 795000 | #Constraints: 38552
1089.64/1120.56 c #Conflicts: 796000 | #Constraints: 39557
1089.64/1120.56 c #Conflicts: 797000 | #Constraints: 40559
1089.64/1120.56 c #Conflicts: 798000 | #Constraints: 41561
1089.64/1120.56 c #Conflicts: 799000 | #Constraints: 42563
1089.64/1120.56 c #Conflicts: 800000 | #Constraints: 43566
1089.64/1120.56 c #Conflicts: 801000 | #Constraints: 44569
1089.64/1120.56 c #Conflicts: 802000 | #Constraints: 45570
1089.64/1120.56 c #Conflicts: 803000 | #Constraints: 46570
1089.64/1120.56 c #Conflicts: 804000 | #Constraints: 47573
1089.64/1120.56 c #Conflicts: 805000 | #Constraints: 48575
1089.64/1120.56 c #Conflicts: 806000 | #Constraints: 49577
1089.64/1120.56 c #Conflicts: 807000 | #Constraints: 50580
1089.64/1120.56 c #Conflicts: 808000 | #Constraints: 51581
1089.64/1120.56 c #Conflicts: 809000 | #Constraints: 52583
1089.64/1120.56 c #Conflicts: 810000 | #Constraints: 53584
1089.64/1120.56 c INPROCESSING
1089.64/1120.56 c GARBAGE COLLECT
1089.64/1120.56 c rational objective 5
1116.73/1147.84 c #Conflicts: 811000 | #Constraints: 36750
1116.73/1147.84 c #Conflicts: 812000 | #Constraints: 37750
1116.73/1147.84 c #Conflicts: 813000 | #Constraints: 38755
1116.73/1147.84 c #Conflicts: 814000 | #Constraints: 39757
1116.73/1147.84 c #Conflicts: 815000 | #Constraints: 40759
1116.73/1147.84 c #Conflicts: 816000 | #Constraints: 41763
1116.73/1147.84 c #Conflicts: 817000 | #Constraints: 42768
1116.73/1147.84 c #Conflicts: 818000 | #Constraints: 43771
1116.73/1147.84 c #Conflicts: 819000 | #Constraints: 44772
1116.73/1147.84 c #Conflicts: 820000 | #Constraints: 45776
1116.73/1147.84 c #Conflicts: 821000 | #Constraints: 46779
1116.73/1147.84 c #Conflicts: 822000 | #Constraints: 47783
1116.73/1147.84 c #Conflicts: 823000 | #Constraints: 48786
1116.73/1147.84 c #Conflicts: 824000 | #Constraints: 49787
1116.73/1147.84 c #Conflicts: 825000 | #Constraints: 50789
1116.73/1147.84 c #Conflicts: 826000 | #Constraints: 51790
1116.73/1147.84 c #Conflicts: 827000 | #Constraints: 52790
1116.73/1147.84 c #Conflicts: 828000 | #Constraints: 53792
1116.73/1147.84 c INPROCESSING
1116.73/1147.84 c GARBAGE COLLECT
1116.73/1147.84 c rational objective 5
1145.88/1177.14 c #Conflicts: 829000 | #Constraints: 36737
1145.88/1177.14 c #Conflicts: 830000 | #Constraints: 37737
1145.88/1177.14 c #Conflicts: 831000 | #Constraints: 38738
1145.88/1177.14 c #Conflicts: 832000 | #Constraints: 39739
1145.88/1177.14 c #Conflicts: 833000 | #Constraints: 40739
1145.88/1177.14 c #Conflicts: 834000 | #Constraints: 41739
1145.88/1177.14 c #Conflicts: 835000 | #Constraints: 42741
1145.88/1177.14 c #Conflicts: 836000 | #Constraints: 43741
1145.88/1177.14 c #Conflicts: 837000 | #Constraints: 44742
1145.88/1177.14 c #Conflicts: 838000 | #Constraints: 45744
1145.88/1177.14 c #Conflicts: 839000 | #Constraints: 46744
1145.88/1177.14 c #Conflicts: 840000 | #Constraints: 47744
1145.88/1177.14 c #Conflicts: 841000 | #Constraints: 48745
1145.88/1177.14 c #Conflicts: 842000 | #Constraints: 49745
1145.88/1177.14 c #Conflicts: 843000 | #Constraints: 50746
1145.88/1177.14 c #Conflicts: 844000 | #Constraints: 51748
1145.88/1177.14 c #Conflicts: 845000 | #Constraints: 52749
1145.88/1177.14 c #Conflicts: 846000 | #Constraints: 53750
1145.88/1177.14 c INPROCESSING
1145.88/1177.14 c GARBAGE COLLECT
1145.88/1177.14 c rational objective 5
1175.87/1207.37 c #Conflicts: 847000 | #Constraints: 36509
1175.87/1207.37 c #Conflicts: 848000 | #Constraints: 37509
1175.87/1207.37 c #Conflicts: 849000 | #Constraints: 38511
1175.87/1207.37 c #Conflicts: 850000 | #Constraints: 39514
1175.87/1207.37 c #Conflicts: 851000 | #Constraints: 40515
1175.87/1207.37 c #Conflicts: 852000 | #Constraints: 41517
1175.87/1207.37 c #Conflicts: 853000 | #Constraints: 42522
1175.87/1207.37 c #Conflicts: 854000 | #Constraints: 43529
1175.87/1207.37 c #Conflicts: 855000 | #Constraints: 44531
1175.87/1207.37 c #Conflicts: 856000 | #Constraints: 45537
1175.87/1207.37 c #Conflicts: 857000 | #Constraints: 46540
1175.87/1207.37 c #Conflicts: 858000 | #Constraints: 47543
1175.87/1207.37 c #Conflicts: 859000 | #Constraints: 48545
1175.87/1207.37 c #Conflicts: 860000 | #Constraints: 49547
1175.87/1207.37 c #Conflicts: 861000 | #Constraints: 50552
1175.87/1207.37 c #Conflicts: 862000 | #Constraints: 51555
1175.87/1207.37 c #Conflicts: 863000 | #Constraints: 52559
1175.87/1207.37 c #Conflicts: 864000 | #Constraints: 53561
1175.87/1207.37 c #Conflicts: 865000 | #Constraints: 54564
1175.87/1207.37 c INPROCESSING
1175.87/1207.37 c GARBAGE COLLECT
1175.87/1207.37 c rational objective 5
1206.40/1238.08 c #Conflicts: 866000 | #Constraints: 37102
1206.40/1238.08 c #Conflicts: 867000 | #Constraints: 38102
1206.40/1238.08 c #Conflicts: 868000 | #Constraints: 39103
1206.40/1238.08 c #Conflicts: 869000 | #Constraints: 40105
1206.40/1238.08 c #Conflicts: 870000 | #Constraints: 41107
1206.40/1238.08 c #Conflicts: 871000 | #Constraints: 42109
1206.40/1238.08 c #Conflicts: 872000 | #Constraints: 43110
1206.40/1238.08 c #Conflicts: 873000 | #Constraints: 44111
1206.40/1238.08 c #Conflicts: 874000 | #Constraints: 45113
1206.40/1238.08 c #Conflicts: 875000 | #Constraints: 46114
1206.40/1238.08 c #Conflicts: 876000 | #Constraints: 47116
1206.40/1238.08 c #Conflicts: 877000 | #Constraints: 48117
1206.40/1238.08 c #Conflicts: 878000 | #Constraints: 49118
1206.40/1238.08 c #Conflicts: 879000 | #Constraints: 50120
1206.40/1238.08 c #Conflicts: 880000 | #Constraints: 51120
1206.40/1238.08 c #Conflicts: 881000 | #Constraints: 52121
1206.40/1238.08 c #Conflicts: 882000 | #Constraints: 53122
1206.40/1238.08 c #Conflicts: 883000 | #Constraints: 54124
1206.40/1238.08 c #Conflicts: 884000 | #Constraints: 55125
1206.40/1238.08 c INPROCESSING
1206.40/1238.08 c GARBAGE COLLECT
1206.40/1238.08 c rational objective 5
1248.71/1280.79 c #Conflicts: 885000 | #Constraints: 37495
1248.71/1280.79 c #Conflicts: 886000 | #Constraints: 38495
1248.71/1280.79 c #Conflicts: 887000 | #Constraints: 39496
1248.71/1280.79 c #Conflicts: 888000 | #Constraints: 40498
1248.71/1280.79 c #Conflicts: 889000 | #Constraints: 41500
1248.71/1280.79 c #Conflicts: 890000 | #Constraints: 42503
1248.71/1280.79 c #Conflicts: 891000 | #Constraints: 43506
1248.71/1280.79 c #Conflicts: 892000 | #Constraints: 44507
1248.71/1280.79 c #Conflicts: 893000 | #Constraints: 45508
1248.71/1280.79 c #Conflicts: 894000 | #Constraints: 46509
1248.71/1280.79 c #Conflicts: 895000 | #Constraints: 47509
1248.71/1280.79 c #Conflicts: 896000 | #Constraints: 48509
1248.71/1280.79 c #Conflicts: 897000 | #Constraints: 49511
1248.71/1280.79 c #Conflicts: 898000 | #Constraints: 50512
1248.71/1280.79 c #Conflicts: 899000 | #Constraints: 51514
1248.71/1280.79 c #Conflicts: 900000 | #Constraints: 52515
1248.71/1280.79 c #Conflicts: 901000 | #Constraints: 53516
1248.71/1280.79 c #Conflicts: 902000 | #Constraints: 54517
1248.71/1280.79 c #Conflicts: 903000 | #Constraints: 55518
1248.71/1280.79 c INPROCESSING
1248.71/1280.79 c GARBAGE COLLECT
1248.71/1280.79 c rational objective 5
1279.13/1311.25 c #Conflicts: 904000 | #Constraints: 37672
1279.13/1311.25 c #Conflicts: 905000 | #Constraints: 38672
1279.13/1311.25 c #Conflicts: 906000 | #Constraints: 39673
1279.13/1311.25 c #Conflicts: 907000 | #Constraints: 40674
1279.13/1311.25 c #Conflicts: 908000 | #Constraints: 41675
1279.13/1311.25 c #Conflicts: 909000 | #Constraints: 42678
1279.13/1311.25 c #Conflicts: 910000 | #Constraints: 43680
1279.13/1311.25 c #Conflicts: 911000 | #Constraints: 44682
1279.13/1311.25 c #Conflicts: 912000 | #Constraints: 45684
1279.13/1311.25 c #Conflicts: 913000 | #Constraints: 46685
1279.13/1311.25 c #Conflicts: 914000 | #Constraints: 47687
1279.13/1311.25 c #Conflicts: 915000 | #Constraints: 48690
1279.13/1311.25 c #Conflicts: 916000 | #Constraints: 49691
1279.13/1311.25 c #Conflicts: 917000 | #Constraints: 50692
1279.13/1311.25 c #Conflicts: 918000 | #Constraints: 51693
1279.13/1311.25 c #Conflicts: 919000 | #Constraints: 52694
1279.13/1311.25 c #Conflicts: 920000 | #Constraints: 53696
1279.13/1311.25 c #Conflicts: 921000 | #Constraints: 54697
1279.13/1311.25 c #Conflicts: 922000 | #Constraints: 55700
1279.13/1311.25 c INPROCESSING
1279.13/1311.25 c GARBAGE COLLECT
1279.13/1311.25 c rational objective 5
1308.87/1341.36 c #Conflicts: 923000 | #Constraints: 37649
1308.87/1341.36 c #Conflicts: 924000 | #Constraints: 38653
1308.87/1341.36 c #Conflicts: 925000 | #Constraints: 39659
1308.87/1341.36 c #Conflicts: 926000 | #Constraints: 40661
1308.87/1341.36 c #Conflicts: 927000 | #Constraints: 41666
1308.87/1341.36 c #Conflicts: 928000 | #Constraints: 42670
1308.87/1341.36 c #Conflicts: 929000 | #Constraints: 43675
1308.87/1341.36 c #Conflicts: 930000 | #Constraints: 44679
1308.87/1341.36 c #Conflicts: 931000 | #Constraints: 45681
1308.87/1341.36 c #Conflicts: 932000 | #Constraints: 46682
1308.87/1341.36 c #Conflicts: 933000 | #Constraints: 47684
1308.87/1341.36 c #Conflicts: 934000 | #Constraints: 48688
1308.87/1341.36 c #Conflicts: 935000 | #Constraints: 49691
1308.87/1341.36 c #Conflicts: 936000 | #Constraints: 50694
1308.87/1341.36 c #Conflicts: 937000 | #Constraints: 51697
1308.87/1341.36 c #Conflicts: 938000 | #Constraints: 52699
1308.87/1341.36 c #Conflicts: 939000 | #Constraints: 53700
1308.87/1341.36 c #Conflicts: 940000 | #Constraints: 54702
1308.87/1341.36 c #Conflicts: 941000 | #Constraints: 55704
1308.87/1341.36 c INPROCESSING
1308.87/1341.36 c GARBAGE COLLECT
1308.87/1341.36 c rational objective 5
1346.31/1379.07 c #Conflicts: 942000 | #Constraints: 37497
1346.31/1379.07 c #Conflicts: 943000 | #Constraints: 38498
1346.31/1379.07 c #Conflicts: 944000 | #Constraints: 39499
1346.31/1379.07 c #Conflicts: 945000 | #Constraints: 40501
1346.31/1379.07 c #Conflicts: 946000 | #Constraints: 41503
1346.31/1379.07 c #Conflicts: 947000 | #Constraints: 42503
1346.31/1379.07 c #Conflicts: 948000 | #Constraints: 43504
1346.31/1379.07 c #Conflicts: 949000 | #Constraints: 44506
1346.31/1379.07 c #Conflicts: 950000 | #Constraints: 45508
1346.31/1379.07 c #Conflicts: 951000 | #Constraints: 46510
1346.31/1379.07 c #Conflicts: 952000 | #Constraints: 47511
1346.31/1379.07 c #Conflicts: 953000 | #Constraints: 48513
1346.31/1379.07 c #Conflicts: 954000 | #Constraints: 49516
1346.31/1379.07 c #Conflicts: 955000 | #Constraints: 50518
1346.31/1379.07 c #Conflicts: 956000 | #Constraints: 51520
1346.31/1379.07 c #Conflicts: 957000 | #Constraints: 52522
1346.31/1379.07 c #Conflicts: 958000 | #Constraints: 53523
1346.31/1379.07 c #Conflicts: 959000 | #Constraints: 54525
1346.31/1379.07 c #Conflicts: 960000 | #Constraints: 55526
1346.31/1379.07 c #Conflicts: 961000 | #Constraints: 56527
1346.31/1379.07 c INPROCESSING
1346.31/1379.07 c GARBAGE COLLECT
1346.31/1379.07 c rational objective 5
1394.48/1427.42 c #Conflicts: 962000 | #Constraints: 38110
1394.48/1427.42 c #Conflicts: 963000 | #Constraints: 39111
1394.48/1427.42 c #Conflicts: 964000 | #Constraints: 40115
1394.48/1427.42 c #Conflicts: 965000 | #Constraints: 41120
1394.48/1427.42 c #Conflicts: 966000 | #Constraints: 42124
1394.48/1427.42 c #Conflicts: 967000 | #Constraints: 43130
1394.48/1427.42 c #Conflicts: 968000 | #Constraints: 44133
1394.48/1427.42 c #Conflicts: 969000 | #Constraints: 45137
1394.48/1427.42 c #Conflicts: 970000 | #Constraints: 46140
1394.48/1427.42 c #Conflicts: 971000 | #Constraints: 47143
1394.48/1427.42 c #Conflicts: 972000 | #Constraints: 48147
1394.48/1427.42 c #Conflicts: 973000 | #Constraints: 49149
1394.48/1427.42 c #Conflicts: 974000 | #Constraints: 50153
1394.48/1427.42 c #Conflicts: 975000 | #Constraints: 51157
1394.48/1427.42 c #Conflicts: 976000 | #Constraints: 52160
1394.48/1427.42 c #Conflicts: 977000 | #Constraints: 53164
1394.48/1427.42 c #Conflicts: 978000 | #Constraints: 54167
1394.48/1427.42 c #Conflicts: 979000 | #Constraints: 55170
1394.48/1427.42 c #Conflicts: 980000 | #Constraints: 56173
1394.48/1427.42 c #Conflicts: 981000 | #Constraints: 57176
1394.48/1427.42 c INPROCESSING
1394.48/1427.42 c GARBAGE COLLECT
1394.48/1427.42 c rational objective 5
1436.68/1469.92 c #Conflicts: 982000 | #Constraints: 38541
1436.68/1469.92 c #Conflicts: 983000 | #Constraints: 39542
1436.68/1469.92 c #Conflicts: 984000 | #Constraints: 40542
1436.68/1469.92 c #Conflicts: 985000 | #Constraints: 41543
1436.68/1469.92 c #Conflicts: 986000 | #Constraints: 42545
1436.68/1469.92 c #Conflicts: 987000 | #Constraints: 43545
1436.68/1469.92 c #Conflicts: 988000 | #Constraints: 44546
1436.68/1469.92 c #Conflicts: 989000 | #Constraints: 45546
1436.68/1469.92 c #Conflicts: 990000 | #Constraints: 46547
1436.68/1469.92 c #Conflicts: 991000 | #Constraints: 47547
1436.68/1469.92 c #Conflicts: 992000 | #Constraints: 48547
1436.68/1469.92 c #Conflicts: 993000 | #Constraints: 49548
1436.68/1469.92 c #Conflicts: 994000 | #Constraints: 50549
1436.68/1469.92 c #Conflicts: 995000 | #Constraints: 51549
1436.68/1469.92 c #Conflicts: 996000 | #Constraints: 52550
1436.68/1469.92 c #Conflicts: 997000 | #Constraints: 53550
1436.68/1469.92 c #Conflicts: 998000 | #Constraints: 54553
1436.68/1469.92 c #Conflicts: 999000 | #Constraints: 55553
1436.68/1469.92 c #Conflicts: 1000000 | #Constraints: 56554
1436.68/1469.92 c #Conflicts: 1001000 | #Constraints: 57556
1436.68/1469.92 c INPROCESSING
1436.68/1469.92 c GARBAGE COLLECT
1436.68/1469.92 c rational objective 5
1482.25/1515.80 c #Conflicts: 1002000 | #Constraints: 38720
1482.25/1515.80 c #Conflicts: 1003000 | #Constraints: 39720
1482.25/1515.80 c #Conflicts: 1004000 | #Constraints: 40722
1482.25/1515.80 c #Conflicts: 1005000 | #Constraints: 41722
1482.25/1515.80 c #Conflicts: 1006000 | #Constraints: 42725
1482.25/1515.80 c #Conflicts: 1007000 | #Constraints: 43729
1482.25/1515.80 c #Conflicts: 1008000 | #Constraints: 44729
1482.25/1515.80 c #Conflicts: 1009000 | #Constraints: 45730
1482.25/1515.80 c #Conflicts: 1010000 | #Constraints: 46731
1482.25/1515.80 c #Conflicts: 1011000 | #Constraints: 47731
1482.25/1515.80 c #Conflicts: 1012000 | #Constraints: 48733
1482.25/1515.80 c #Conflicts: 1013000 | #Constraints: 49733
1482.25/1515.80 c #Conflicts: 1014000 | #Constraints: 50734
1482.25/1515.80 c #Conflicts: 1015000 | #Constraints: 51734
1482.25/1515.80 c #Conflicts: 1016000 | #Constraints: 52736
1482.25/1515.80 c #Conflicts: 1017000 | #Constraints: 53738
1482.25/1515.80 c #Conflicts: 1018000 | #Constraints: 54740
1482.25/1515.80 c #Conflicts: 1019000 | #Constraints: 55740
1482.25/1515.80 c #Conflicts: 1020000 | #Constraints: 56740
1482.25/1515.80 c #Conflicts: 1021000 | #Constraints: 57741
1482.25/1515.80 c INPROCESSING
1482.25/1515.80 c GARBAGE COLLECT
1482.25/1515.80 c rational objective 5
1536.53/1570.45 c #Conflicts: 1022000 | #Constraints: 38734
1536.53/1570.45 c #Conflicts: 1023000 | #Constraints: 39734
1536.53/1570.45 c #Conflicts: 1024000 | #Constraints: 40740
1536.53/1570.45 c #Conflicts: 1025000 | #Constraints: 41750
1536.53/1570.45 c #Conflicts: 1026000 | #Constraints: 42753
1536.53/1570.45 c #Conflicts: 1027000 | #Constraints: 43756
1536.53/1570.45 c #Conflicts: 1028000 | #Constraints: 44760
1536.53/1570.45 c #Conflicts: 1029000 | #Constraints: 45763
1536.53/1570.45 c #Conflicts: 1030000 | #Constraints: 46766
1536.53/1570.45 c #Conflicts: 1031000 | #Constraints: 47769
1536.53/1570.45 c #Conflicts: 1032000 | #Constraints: 48769
1536.53/1570.45 c #Conflicts: 1033000 | #Constraints: 49770
1536.53/1570.45 c #Conflicts: 1034000 | #Constraints: 50774
1536.53/1570.45 c #Conflicts: 1035000 | #Constraints: 51775
1536.53/1570.45 c #Conflicts: 1036000 | #Constraints: 52777
1536.53/1570.45 c #Conflicts: 1037000 | #Constraints: 53777
1536.53/1570.45 c #Conflicts: 1038000 | #Constraints: 54779
1536.53/1570.45 c #Conflicts: 1039000 | #Constraints: 55779
1536.53/1570.45 c #Conflicts: 1040000 | #Constraints: 56779
1536.53/1570.45 c #Conflicts: 1041000 | #Constraints: 57781
1536.53/1570.45 c INPROCESSING
1536.53/1570.45 c GARBAGE COLLECT
1536.53/1570.45 c rational objective 5
1568.93/1603.02 c #Conflicts: 1042000 | #Constraints: 38528
1568.93/1603.02 c #Conflicts: 1043000 | #Constraints: 39529
1568.93/1603.02 c #Conflicts: 1044000 | #Constraints: 40533
1568.93/1603.02 c #Conflicts: 1045000 | #Constraints: 41535
1568.93/1603.02 c #Conflicts: 1046000 | #Constraints: 42540
1568.93/1603.02 c #Conflicts: 1047000 | #Constraints: 43543
1568.93/1603.02 c #Conflicts: 1048000 | #Constraints: 44546
1568.93/1603.02 c #Conflicts: 1049000 | #Constraints: 45551
1568.93/1603.02 c #Conflicts: 1050000 | #Constraints: 46553
1568.93/1603.02 c #Conflicts: 1051000 | #Constraints: 47558
1568.93/1603.02 c #Conflicts: 1052000 | #Constraints: 48559
1568.93/1603.02 c #Conflicts: 1053000 | #Constraints: 49560
1568.93/1603.02 c #Conflicts: 1054000 | #Constraints: 50563
1568.93/1603.02 c #Conflicts: 1055000 | #Constraints: 51569
1568.93/1603.02 c #Conflicts: 1056000 | #Constraints: 52574
1568.93/1603.02 c #Conflicts: 1057000 | #Constraints: 53578
1568.93/1603.02 c #Conflicts: 1058000 | #Constraints: 54583
1568.93/1603.02 c #Conflicts: 1059000 | #Constraints: 55584
1568.93/1603.02 c #Conflicts: 1060000 | #Constraints: 56584
1568.93/1603.02 c #Conflicts: 1061000 | #Constraints: 57584
1568.93/1603.02 c #Conflicts: 1062000 | #Constraints: 58585
1568.93/1603.02 c INPROCESSING
1568.93/1603.02 c GARBAGE COLLECT
1568.93/1603.02 c rational objective 5
1618.24/1652.68 c #Conflicts: 1063000 | #Constraints: 39106
1618.24/1652.68 c #Conflicts: 1064000 | #Constraints: 40106
1618.24/1652.68 c #Conflicts: 1065000 | #Constraints: 41112
1618.24/1652.68 c #Conflicts: 1066000 | #Constraints: 42117
1618.24/1652.68 c #Conflicts: 1067000 | #Constraints: 43121
1618.24/1652.68 c #Conflicts: 1068000 | #Constraints: 44127
1618.24/1652.68 c #Conflicts: 1069000 | #Constraints: 45130
1618.24/1652.68 c #Conflicts: 1070000 | #Constraints: 46134
1618.24/1652.68 c #Conflicts: 1071000 | #Constraints: 47136
1618.24/1652.68 c #Conflicts: 1072000 | #Constraints: 48139
1618.24/1652.68 c #Conflicts: 1073000 | #Constraints: 49142
1618.24/1652.68 c #Conflicts: 1074000 | #Constraints: 50144
1618.24/1652.68 c #Conflicts: 1075000 | #Constraints: 51148
1618.24/1652.68 c #Conflicts: 1076000 | #Constraints: 52150
1618.24/1652.68 c #Conflicts: 1077000 | #Constraints: 53154
1618.24/1652.68 c #Conflicts: 1078000 | #Constraints: 54155
1618.24/1652.68 c #Conflicts: 1079000 | #Constraints: 55157
1618.24/1652.68 c #Conflicts: 1080000 | #Constraints: 56159
1618.24/1652.68 c #Conflicts: 1081000 | #Constraints: 57160
1618.24/1652.68 c #Conflicts: 1082000 | #Constraints: 58161
1618.24/1652.68 c #Conflicts: 1083000 | #Constraints: 59162
1618.24/1652.68 c INPROCESSING
1618.24/1652.68 c GARBAGE COLLECT
1618.24/1652.68 c rational objective 5
1647.29/1682.05 c #Conflicts: 1084000 | #Constraints: 39493
1647.29/1682.05 c #Conflicts: 1085000 | #Constraints: 40494
1647.29/1682.05 c #Conflicts: 1086000 | #Constraints: 41495
1647.29/1682.05 c #Conflicts: 1087000 | #Constraints: 42497
1647.29/1682.05 c #Conflicts: 1088000 | #Constraints: 43498
1647.29/1682.05 c #Conflicts: 1089000 | #Constraints: 44500
1647.29/1682.05 c #Conflicts: 1090000 | #Constraints: 45501
1647.29/1682.05 c #Conflicts: 1091000 | #Constraints: 46502
1647.29/1682.05 c #Conflicts: 1092000 | #Constraints: 47503
1647.29/1682.05 c #Conflicts: 1093000 | #Constraints: 48504
1647.29/1682.05 c #Conflicts: 1094000 | #Constraints: 49504
1647.29/1682.05 c #Conflicts: 1095000 | #Constraints: 50504
1647.29/1682.05 c #Conflicts: 1096000 | #Constraints: 51506
1647.29/1682.05 c #Conflicts: 1097000 | #Constraints: 52507
1647.29/1682.05 c #Conflicts: 1098000 | #Constraints: 53507
1647.29/1682.05 c #Conflicts: 1099000 | #Constraints: 54507
1647.29/1682.05 c #Conflicts: 1100000 | #Constraints: 55508
1647.29/1682.05 c #Conflicts: 1101000 | #Constraints: 56509
1647.29/1682.05 c #Conflicts: 1102000 | #Constraints: 57509
1647.29/1682.05 c #Conflicts: 1103000 | #Constraints: 58510
1647.29/1682.05 c #Conflicts: 1104000 | #Constraints: 59510
1647.29/1682.05 c INPROCESSING
1647.29/1682.05 c GARBAGE COLLECT
1647.29/1682.05 c rational objective 5
1698.92/1733.86 c #Conflicts: 1105000 | #Constraints: 39693
1698.92/1733.86 c #Conflicts: 1106000 | #Constraints: 40699
1698.92/1733.86 c #Conflicts: 1107000 | #Constraints: 41704
1698.92/1733.86 c #Conflicts: 1108000 | #Constraints: 42710
1698.92/1733.86 c #Conflicts: 1109000 | #Constraints: 43716
1698.92/1733.86 c #Conflicts: 1110000 | #Constraints: 44718
1698.92/1733.86 c #Conflicts: 1111000 | #Constraints: 45721
1698.92/1733.86 c #Conflicts: 1112000 | #Constraints: 46725
1698.92/1733.86 c #Conflicts: 1113000 | #Constraints: 47727
1698.92/1733.86 c #Conflicts: 1114000 | #Constraints: 48731
1698.92/1733.86 c #Conflicts: 1115000 | #Constraints: 49734
1698.92/1733.86 c #Conflicts: 1116000 | #Constraints: 50735
1698.92/1733.86 c #Conflicts: 1117000 | #Constraints: 51737
1698.92/1733.86 c #Conflicts: 1118000 | #Constraints: 52738
1698.92/1733.86 c #Conflicts: 1119000 | #Constraints: 53740
1698.92/1733.86 c #Conflicts: 1120000 | #Constraints: 54740
1698.92/1733.86 c #Conflicts: 1121000 | #Constraints: 55741
1698.92/1733.86 c #Conflicts: 1122000 | #Constraints: 56743
1698.92/1733.86 c #Conflicts: 1123000 | #Constraints: 57746
1698.92/1733.86 c #Conflicts: 1124000 | #Constraints: 58747
1698.92/1733.86 c #Conflicts: 1125000 | #Constraints: 59747
1698.92/1733.86 c INPROCESSING
1698.92/1733.86 c GARBAGE COLLECT
1698.92/1733.86 c rational objective 5
1749.88/1785.34 c #Conflicts: 1126000 | #Constraints: 39786
1749.88/1785.34 c #Conflicts: 1127000 | #Constraints: 40789
1749.88/1785.34 c #Conflicts: 1128000 | #Constraints: 41789
1749.88/1785.34 c #Conflicts: 1129000 | #Constraints: 42790
1749.88/1785.34 c #Conflicts: 1130000 | #Constraints: 43790
1749.88/1785.34 c #Conflicts: 1131000 | #Constraints: 44791
1749.88/1785.34 c #Conflicts: 1132000 | #Constraints: 45793
1749.88/1785.34 c #Conflicts: 1133000 | #Constraints: 46794
1749.88/1785.34 c #Conflicts: 1134000 | #Constraints: 47795
1749.88/1785.34 c #Conflicts: 1135000 | #Constraints: 48797
1749.88/1785.34 c #Conflicts: 1136000 | #Constraints: 49797
1749.88/1785.34 c #Conflicts: 1137000 | #Constraints: 50797
1749.88/1785.34 c #Conflicts: 1138000 | #Constraints: 51798
1749.88/1785.34 c #Conflicts: 1139000 | #Constraints: 52799
1749.88/1785.34 c #Conflicts: 1140000 | #Constraints: 53800
1749.88/1785.34 c #Conflicts: 1141000 | #Constraints: 54801
1749.88/1785.34 c #Conflicts: 1142000 | #Constraints: 55801
1749.88/1785.34 c #Conflicts: 1143000 | #Constraints: 56801
1749.88/1785.34 c #Conflicts: 1144000 | #Constraints: 57802
1749.88/1785.34 c #Conflicts: 1145000 | #Constraints: 58803
1749.88/1785.34 c #Conflicts: 1146000 | #Constraints: 59803
1749.88/1785.34 c INPROCESSING
1749.88/1785.34 c GARBAGE COLLECT
1749.88/1785.34 c rational objective 5
1793.04/1828.66 c #Conflicts: 1147000 | #Constraints: 39493
1793.04/1828.66 c #Conflicts: 1148000 | #Constraints: 40493
1793.04/1828.66 c #Conflicts: 1149000 | #Constraints: 41493
1793.04/1828.66 c #Conflicts: 1150000 | #Constraints: 42494
1793.04/1828.66 c #Conflicts: 1151000 | #Constraints: 43494
1793.04/1828.66 c #Conflicts: 1152000 | #Constraints: 44497
1793.04/1828.66 c #Conflicts: 1153000 | #Constraints: 45501
1793.04/1828.66 c #Conflicts: 1154000 | #Constraints: 46505
1793.04/1828.66 c #Conflicts: 1155000 | #Constraints: 47508
1793.04/1828.66 c #Conflicts: 1156000 | #Constraints: 48511
1793.04/1828.66 c #Conflicts: 1157000 | #Constraints: 49512
1793.04/1828.66 c #Conflicts: 1158000 | #Constraints: 50516
1793.04/1828.66 c #Conflicts: 1159000 | #Constraints: 51521
1793.04/1828.66 c #Conflicts: 1160000 | #Constraints: 52524
1793.04/1828.66 c #Conflicts: 1161000 | #Constraints: 53526
1793.04/1828.66 c #Conflicts: 1162000 | #Constraints: 54529
1793.04/1828.66 c #Conflicts: 1163000 | #Constraints: 55530
1793.04/1828.66 c #Conflicts: 1164000 | #Constraints: 56530
1793.04/1828.66 c #Conflicts: 1165000 | #Constraints: 57532
1793.04/1828.66 c #Conflicts: 1166000 | #Constraints: 58536
1793.04/1828.66 c #Conflicts: 1167000 | #Constraints: 59537
1793.04/1828.66 c #Conflicts: 1168000 | #Constraints: 60540
1793.04/1828.66 c INPROCESSING
1793.04/1828.66 c GARBAGE COLLECT
1793.04/1828.66 c rational objective 5
1840.42/1876.64 c #Conflicts: 1169000 | #Constraints: 40068
1840.42/1876.64 c #Conflicts: 1170000 | #Constraints: 41070
1840.42/1876.64 c #Conflicts: 1171000 | #Constraints: 42075
1840.42/1876.64 c #Conflicts: 1172000 | #Constraints: 43078
1840.42/1876.64 c #Conflicts: 1173000 | #Constraints: 44082
1840.42/1876.64 c #Conflicts: 1174000 | #Constraints: 45084
1840.42/1876.64 c #Conflicts: 1175000 | #Constraints: 46087
1840.42/1876.64 c #Conflicts: 1176000 | #Constraints: 47094
1840.42/1876.64 c #Conflicts: 1177000 | #Constraints: 48095
1840.42/1876.64 c #Conflicts: 1178000 | #Constraints: 49098
1840.42/1876.64 c #Conflicts: 1179000 | #Constraints: 50099
1840.42/1876.64 c #Conflicts: 1180000 | #Constraints: 51102
1840.42/1876.64 c #Conflicts: 1181000 | #Constraints: 52103
1840.42/1876.64 c #Conflicts: 1182000 | #Constraints: 53103
1840.42/1876.64 c #Conflicts: 1183000 | #Constraints: 54105
1840.42/1876.64 c #Conflicts: 1184000 | #Constraints: 55107
1840.42/1876.64 c #Conflicts: 1185000 | #Constraints: 56109
1840.42/1876.64 c #Conflicts: 1186000 | #Constraints: 57110
1840.42/1876.64 c #Conflicts: 1187000 | #Constraints: 58112
1840.42/1876.64 c #Conflicts: 1188000 | #Constraints: 59113
1840.42/1876.64 c #Conflicts: 1189000 | #Constraints: 60113
1840.42/1876.64 c #Conflicts: 1190000 | #Constraints: 61113
1840.42/1876.64 c INPROCESSING
1840.42/1876.64 c GARBAGE COLLECT
1840.42/1876.64 c rational objective 5
1887.83/1925.06 c #Conflicts: 1191000 | #Constraints: 40458
1887.83/1925.06 c #Conflicts: 1192000 | #Constraints: 41462
1887.83/1925.06 c #Conflicts: 1193000 | #Constraints: 42464
1887.83/1925.06 c #Conflicts: 1194000 | #Constraints: 43467
1887.83/1925.06 c #Conflicts: 1195000 | #Constraints: 44469
1887.83/1925.06 c #Conflicts: 1196000 | #Constraints: 45472
1887.83/1925.06 c #Conflicts: 1197000 | #Constraints: 46479
1887.83/1925.06 c #Conflicts: 1198000 | #Constraints: 47482
1887.83/1925.06 c #Conflicts: 1199000 | #Constraints: 48483
1887.83/1925.06 c #Conflicts: 1200000 | #Constraints: 49483
1887.83/1925.06 c #Conflicts: 1201000 | #Constraints: 50485
1887.83/1925.06 c #Conflicts: 1202000 | #Constraints: 51489
1887.83/1925.06 c #Conflicts: 1203000 | #Constraints: 52490
1887.83/1925.06 c #Conflicts: 1204000 | #Constraints: 53492
1887.83/1925.06 c #Conflicts: 1205000 | #Constraints: 54493
1887.83/1925.06 c #Conflicts: 1206000 | #Constraints: 55496
1887.83/1925.06 c #Conflicts: 1207000 | #Constraints: 56498
1887.83/1925.06 c #Conflicts: 1208000 | #Constraints: 57500
1887.83/1925.06 c #Conflicts: 1209000 | #Constraints: 58501
1887.83/1925.06 c #Conflicts: 1210000 | #Constraints: 59503
1887.83/1925.06 c #Conflicts: 1211000 | #Constraints: 60504
1887.83/1925.06 c #Conflicts: 1212000 | #Constraints: 61505
1887.83/1925.06 c INPROCESSING
1887.83/1925.06 c GARBAGE COLLECT
1887.83/1925.06 c rational objective 5
1926.12/1963.61 c #Conflicts: 1213000 | #Constraints: 40650
1926.12/1963.61 c #Conflicts: 1214000 | #Constraints: 41650
1926.12/1963.61 c #Conflicts: 1215000 | #Constraints: 42651
1926.12/1963.61 c #Conflicts: 1216000 | #Constraints: 43652
1926.12/1963.61 c #Conflicts: 1217000 | #Constraints: 44652
1926.12/1963.61 c #Conflicts: 1218000 | #Constraints: 45653
1926.12/1963.61 c #Conflicts: 1219000 | #Constraints: 46654
1926.12/1963.61 c #Conflicts: 1220000 | #Constraints: 47654
1926.12/1963.61 c #Conflicts: 1221000 | #Constraints: 48655
1926.12/1963.61 c #Conflicts: 1222000 | #Constraints: 49655
1926.12/1963.61 c #Conflicts: 1223000 | #Constraints: 50655
1926.12/1963.61 c #Conflicts: 1224000 | #Constraints: 51655
1926.12/1963.61 c #Conflicts: 1225000 | #Constraints: 52656
1926.12/1963.61 c #Conflicts: 1226000 | #Constraints: 53656
1926.12/1963.61 c #Conflicts: 1227000 | #Constraints: 54656
1926.12/1963.61 c #Conflicts: 1228000 | #Constraints: 55656
1926.12/1963.61 c #Conflicts: 1229000 | #Constraints: 56656
1926.12/1963.61 c #Conflicts: 1230000 | #Constraints: 57656
1926.12/1963.61 c #Conflicts: 1231000 | #Constraints: 58656
1926.12/1963.61 c #Conflicts: 1232000 | #Constraints: 59656
1926.12/1963.61 c #Conflicts: 1233000 | #Constraints: 60656
1926.12/1963.61 c #Conflicts: 1234000 | #Constraints: 61657
1926.12/1963.61 c INPROCESSING
1926.12/1963.61 c GARBAGE COLLECT
1926.12/1963.61 c rational objective 5
1974.76/2014.86 c #Conflicts: 1235000 | #Constraints: 40605
1974.76/2014.86 c #Conflicts: 1236000 | #Constraints: 41605
1974.76/2014.86 c #Conflicts: 1237000 | #Constraints: 42610
1974.76/2014.86 c #Conflicts: 1238000 | #Constraints: 43612
1974.76/2014.86 c #Conflicts: 1239000 | #Constraints: 44613
1974.76/2014.86 c #Conflicts: 1240000 | #Constraints: 45615
1974.76/2014.86 c #Conflicts: 1241000 | #Constraints: 46616
1974.76/2014.86 c #Conflicts: 1242000 | #Constraints: 47617
1974.76/2014.86 c #Conflicts: 1243000 | #Constraints: 48617
1974.76/2014.86 c #Conflicts: 1244000 | #Constraints: 49617
1974.76/2014.86 c #Conflicts: 1245000 | #Constraints: 50618
1974.76/2014.86 c #Conflicts: 1246000 | #Constraints: 51619
1974.76/2014.86 c #Conflicts: 1247000 | #Constraints: 52621
1974.76/2014.86 c #Conflicts: 1248000 | #Constraints: 53622
1974.76/2014.86 c #Conflicts: 1249000 | #Constraints: 54622
1974.76/2014.86 c #Conflicts: 1250000 | #Constraints: 55622
1974.76/2014.86 c #Conflicts: 1251000 | #Constraints: 56625
1974.76/2014.86 c #Conflicts: 1252000 | #Constraints: 57625
1974.76/2014.86 c #Conflicts: 1253000 | #Constraints: 58627
1974.76/2014.86 c #Conflicts: 1254000 | #Constraints: 59628
1974.76/2014.86 c #Conflicts: 1255000 | #Constraints: 60629
1974.76/2014.86 c #Conflicts: 1256000 | #Constraints: 61629
1974.76/2014.86 c INPROCESSING
1974.76/2014.86 c GARBAGE COLLECT
1974.76/2014.86 c rational objective 5
2031.09/2071.34 c #Conflicts: 1257000 | #Constraints: 40407
2031.09/2071.34 c #Conflicts: 1258000 | #Constraints: 41408
2031.09/2071.34 c #Conflicts: 1259000 | #Constraints: 42408
2031.09/2071.34 c #Conflicts: 1260000 | #Constraints: 43415
2031.09/2071.34 c #Conflicts: 1261000 | #Constraints: 44416
2031.09/2071.34 c #Conflicts: 1262000 | #Constraints: 45420
2031.09/2071.34 c #Conflicts: 1263000 | #Constraints: 46422
2031.09/2071.34 c #Conflicts: 1264000 | #Constraints: 47424
2031.09/2071.34 c #Conflicts: 1265000 | #Constraints: 48428
2031.09/2071.34 c #Conflicts: 1266000 | #Constraints: 49429
2031.09/2071.34 c #Conflicts: 1267000 | #Constraints: 50431
2031.09/2071.34 c #Conflicts: 1268000 | #Constraints: 51434
2031.09/2071.34 c #Conflicts: 1269000 | #Constraints: 52434
2031.09/2071.34 c #Conflicts: 1270000 | #Constraints: 53435
2031.09/2071.34 c #Conflicts: 1271000 | #Constraints: 54435
2031.09/2071.34 c #Conflicts: 1272000 | #Constraints: 55435
2031.09/2071.34 c #Conflicts: 1273000 | #Constraints: 56436
2031.09/2071.34 c #Conflicts: 1274000 | #Constraints: 57436
2031.09/2071.34 c #Conflicts: 1275000 | #Constraints: 58438
2031.09/2071.34 c #Conflicts: 1276000 | #Constraints: 59438
2031.09/2071.34 c #Conflicts: 1277000 | #Constraints: 60440
2031.09/2071.34 c #Conflicts: 1278000 | #Constraints: 61440
2031.09/2071.34 c #Conflicts: 1279000 | #Constraints: 62440
2031.09/2071.34 c INPROCESSING
2031.09/2071.34 c GARBAGE COLLECT
2031.09/2071.34 c rational objective 5
2077.44/2118.07 c #Conflicts: 1280000 | #Constraints: 40983
2077.44/2118.07 c #Conflicts: 1281000 | #Constraints: 41985
2077.44/2118.07 c #Conflicts: 1282000 | #Constraints: 42987
2077.44/2118.07 c #Conflicts: 1283000 | #Constraints: 43990
2077.44/2118.07 c #Conflicts: 1284000 | #Constraints: 44991
2077.44/2118.07 c #Conflicts: 1285000 | #Constraints: 45993
2077.44/2118.07 c #Conflicts: 1286000 | #Constraints: 46994
2077.44/2118.07 c #Conflicts: 1287000 | #Constraints: 47995
2077.44/2118.07 c #Conflicts: 1288000 | #Constraints: 48995
2077.44/2118.07 c #Conflicts: 1289000 | #Constraints: 49996
2077.44/2118.07 c #Conflicts: 1290000 | #Constraints: 50996
2077.44/2118.07 c #Conflicts: 1291000 | #Constraints: 51997
2077.44/2118.07 c #Conflicts: 1292000 | #Constraints: 52999
2077.44/2118.07 c #Conflicts: 1293000 | #Constraints: 54000
2077.44/2118.07 c #Conflicts: 1294000 | #Constraints: 55000
2077.44/2118.07 c #Conflicts: 1295000 | #Constraints: 56001
2077.44/2118.07 c #Conflicts: 1296000 | #Constraints: 57001
2077.44/2118.07 c #Conflicts: 1297000 | #Constraints: 58001
2077.44/2118.07 c #Conflicts: 1298000 | #Constraints: 59002
2077.44/2118.07 c #Conflicts: 1299000 | #Constraints: 60002
2077.44/2118.07 c #Conflicts: 1300000 | #Constraints: 61003
2077.44/2118.07 c #Conflicts: 1301000 | #Constraints: 62004
2077.44/2118.07 c #Conflicts: 1302000 | #Constraints: 63005
2077.44/2118.07 c INPROCESSING
2077.44/2118.07 c GARBAGE COLLECT
2077.44/2118.07 c rational objective 5
2119.04/2159.85 c #Conflicts: 1303000 | #Constraints: 41381
2119.04/2159.85 c #Conflicts: 1304000 | #Constraints: 42382
2119.04/2159.85 c #Conflicts: 1305000 | #Constraints: 43383
2119.04/2159.85 c #Conflicts: 1306000 | #Constraints: 44385
2119.04/2159.85 c #Conflicts: 1307000 | #Constraints: 45388
2119.04/2159.85 c #Conflicts: 1308000 | #Constraints: 46390
2119.04/2159.85 c #Conflicts: 1309000 | #Constraints: 47390
2119.04/2159.85 c #Conflicts: 1310000 | #Constraints: 48392
2119.04/2159.85 c #Conflicts: 1311000 | #Constraints: 49394
2119.04/2159.85 c #Conflicts: 1312000 | #Constraints: 50395
2119.04/2159.85 c #Conflicts: 1313000 | #Constraints: 51397
2119.04/2159.85 c #Conflicts: 1314000 | #Constraints: 52398
2119.04/2159.85 c #Conflicts: 1315000 | #Constraints: 53400
2119.04/2159.85 c #Conflicts: 1316000 | #Constraints: 54401
2119.04/2159.85 c #Conflicts: 1317000 | #Constraints: 55402
2119.04/2159.85 c #Conflicts: 1318000 | #Constraints: 56402
2119.04/2159.85 c #Conflicts: 1319000 | #Constraints: 57403
2119.04/2159.85 c #Conflicts: 1320000 | #Constraints: 58403
2119.04/2159.85 c #Conflicts: 1321000 | #Constraints: 59403
2119.04/2159.85 c #Conflicts: 1322000 | #Constraints: 60404
2119.04/2159.85 c #Conflicts: 1323000 | #Constraints: 61404
2119.04/2159.85 c #Conflicts: 1324000 | #Constraints: 62405
2119.04/2159.85 c #Conflicts: 1325000 | #Constraints: 63406
2119.04/2159.85 c INPROCESSING
2119.04/2159.85 c GARBAGE COLLECT
2119.04/2159.85 c rational objective 5
2164.98/2206.55 c #Conflicts: 1326000 | #Constraints: 41548
2164.98/2206.55 c #Conflicts: 1327000 | #Constraints: 42550
2164.98/2206.55 c #Conflicts: 1328000 | #Constraints: 43552
2164.98/2206.55 c #Conflicts: 1329000 | #Constraints: 44554
2164.98/2206.55 c #Conflicts: 1330000 | #Constraints: 45556
2164.98/2206.55 c #Conflicts: 1331000 | #Constraints: 46558
2164.98/2206.55 c #Conflicts: 1332000 | #Constraints: 47560
2164.98/2206.55 c #Conflicts: 1333000 | #Constraints: 48561
2164.98/2206.55 c #Conflicts: 1334000 | #Constraints: 49563
2164.98/2206.55 c #Conflicts: 1335000 | #Constraints: 50565
2164.98/2206.55 c #Conflicts: 1336000 | #Constraints: 51565
2164.98/2206.55 c #Conflicts: 1337000 | #Constraints: 52565
2164.98/2206.55 c #Conflicts: 1338000 | #Constraints: 53565
2164.98/2206.55 c #Conflicts: 1339000 | #Constraints: 54566
2164.98/2206.55 c #Conflicts: 1340000 | #Constraints: 55567
2164.98/2206.55 c #Conflicts: 1341000 | #Constraints: 56568
2164.98/2206.55 c #Conflicts: 1342000 | #Constraints: 57569
2164.98/2206.55 c #Conflicts: 1343000 | #Constraints: 58569
2164.98/2206.55 c #Conflicts: 1344000 | #Constraints: 59569
2164.98/2206.55 c #Conflicts: 1345000 | #Constraints: 60570
2164.98/2206.55 c #Conflicts: 1346000 | #Constraints: 61570
2164.98/2206.55 c #Conflicts: 1347000 | #Constraints: 62570
2164.98/2206.55 c #Conflicts: 1348000 | #Constraints: 63571
2164.98/2206.55 c INPROCESSING
2164.98/2206.55 c GARBAGE COLLECT
2164.98/2206.55 c rational objective 5
2226.53/2268.64 c #Conflicts: 1349000 | #Constraints: 41536
2226.53/2268.64 c #Conflicts: 1350000 | #Constraints: 42536
2226.53/2268.64 c #Conflicts: 1351000 | #Constraints: 43539
2226.53/2268.64 c #Conflicts: 1352000 | #Constraints: 44543
2226.53/2268.64 c #Conflicts: 1353000 | #Constraints: 45546
2226.53/2268.64 c #Conflicts: 1354000 | #Constraints: 46548
2226.53/2268.64 c #Conflicts: 1355000 | #Constraints: 47550
2226.53/2268.64 c #Conflicts: 1356000 | #Constraints: 48552
2226.53/2268.64 c #Conflicts: 1357000 | #Constraints: 49555
2226.53/2268.64 c #Conflicts: 1358000 | #Constraints: 50559
2226.53/2268.64 c #Conflicts: 1359000 | #Constraints: 51560
2226.53/2268.64 c #Conflicts: 1360000 | #Constraints: 52560
2226.53/2268.64 c #Conflicts: 1361000 | #Constraints: 53561
2226.53/2268.64 c #Conflicts: 1362000 | #Constraints: 54563
2226.53/2268.64 c #Conflicts: 1363000 | #Constraints: 55563
2226.53/2268.64 c #Conflicts: 1364000 | #Constraints: 56564
2226.53/2268.64 c #Conflicts: 1365000 | #Constraints: 57565
2226.53/2268.64 c #Conflicts: 1366000 | #Constraints: 58567
2226.53/2268.64 c #Conflicts: 1367000 | #Constraints: 59569
2226.53/2268.64 c #Conflicts: 1368000 | #Constraints: 60571
2226.53/2268.64 c #Conflicts: 1369000 | #Constraints: 61572
2226.53/2268.64 c #Conflicts: 1370000 | #Constraints: 62572
2226.53/2268.64 c #Conflicts: 1371000 | #Constraints: 63573
2226.53/2268.64 c INPROCESSING
2226.53/2268.64 c GARBAGE COLLECT
2226.53/2268.64 c rational objective 5
2271.98/2314.46 c #Conflicts: 1372000 | #Constraints: 41308
2271.98/2314.46 c #Conflicts: 1373000 | #Constraints: 42308
2271.98/2314.46 c #Conflicts: 1374000 | #Constraints: 43308
2271.98/2314.46 c #Conflicts: 1375000 | #Constraints: 44309
2271.98/2314.46 c #Conflicts: 1376000 | #Constraints: 45310
2271.98/2314.46 c #Conflicts: 1377000 | #Constraints: 46312
2271.98/2314.46 c #Conflicts: 1378000 | #Constraints: 47316
2271.98/2314.46 c #Conflicts: 1379000 | #Constraints: 48318
2271.98/2314.46 c #Conflicts: 1380000 | #Constraints: 49320
2271.98/2314.46 c #Conflicts: 1381000 | #Constraints: 50324
2271.98/2314.46 c #Conflicts: 1382000 | #Constraints: 51326
2271.98/2314.46 c #Conflicts: 1383000 | #Constraints: 52328
2271.98/2314.46 c #Conflicts: 1384000 | #Constraints: 53330
2271.98/2314.46 c #Conflicts: 1385000 | #Constraints: 54334
2271.98/2314.46 c #Conflicts: 1386000 | #Constraints: 55336
2271.98/2314.46 c #Conflicts: 1387000 | #Constraints: 56340
2271.98/2314.46 c #Conflicts: 1388000 | #Constraints: 57341
2271.98/2314.46 c #Conflicts: 1389000 | #Constraints: 58343
2271.98/2314.46 c #Conflicts: 1390000 | #Constraints: 59344
2271.98/2314.46 c #Conflicts: 1391000 | #Constraints: 60346
2271.98/2314.46 c #Conflicts: 1392000 | #Constraints: 61352
2271.98/2314.46 c #Conflicts: 1393000 | #Constraints: 62354
2271.98/2314.46 c #Conflicts: 1394000 | #Constraints: 63354
2271.98/2314.46 c #Conflicts: 1395000 | #Constraints: 64355
2271.98/2314.46 c INPROCESSING
2271.98/2314.46 c GARBAGE COLLECT
2271.98/2314.46 c rational objective 5
2331.10/2374.55 c #Conflicts: 1396000 | #Constraints: 41915
2331.10/2374.55 c #Conflicts: 1397000 | #Constraints: 42915
2331.10/2374.55 c #Conflicts: 1398000 | #Constraints: 43919
2331.10/2374.55 c #Conflicts: 1399000 | #Constraints: 44921
2331.10/2374.55 c #Conflicts: 1400000 | #Constraints: 45923
2331.10/2374.55 c #Conflicts: 1401000 | #Constraints: 46925
2331.10/2374.55 c #Conflicts: 1402000 | #Constraints: 47930
2331.10/2374.55 c #Conflicts: 1403000 | #Constraints: 48932
2331.10/2374.55 c #Conflicts: 1404000 | #Constraints: 49935
2331.10/2374.55 c #Conflicts: 1405000 | #Constraints: 50937
2331.10/2374.55 c #Conflicts: 1406000 | #Constraints: 51939
2331.10/2374.55 c #Conflicts: 1407000 | #Constraints: 52942
2331.10/2374.55 c #Conflicts: 1408000 | #Constraints: 53945
2331.10/2374.55 c #Conflicts: 1409000 | #Constraints: 54947
2331.10/2374.55 c #Conflicts: 1410000 | #Constraints: 55950
2331.10/2374.55 c #Conflicts: 1411000 | #Constraints: 56952
2331.10/2374.55 c #Conflicts: 1412000 | #Constraints: 57953
2331.10/2374.55 c #Conflicts: 1413000 | #Constraints: 58955
2331.10/2374.55 c #Conflicts: 1414000 | #Constraints: 59955
2331.10/2374.55 c #Conflicts: 1415000 | #Constraints: 60955
2331.10/2374.55 c #Conflicts: 1416000 | #Constraints: 61956
2331.10/2374.55 c #Conflicts: 1417000 | #Constraints: 62957
2331.10/2374.55 c #Conflicts: 1418000 | #Constraints: 63958
2331.10/2374.55 c #Conflicts: 1419000 | #Constraints: 64958
2331.10/2374.55 c INPROCESSING
2331.10/2374.55 c GARBAGE COLLECT
2331.10/2374.55 c rational objective 5
2380.86/2425.05 c #Conflicts: 1420000 | #Constraints: 42340
2380.86/2425.05 c #Conflicts: 1421000 | #Constraints: 43341
2380.86/2425.05 c #Conflicts: 1422000 | #Constraints: 44345
2380.86/2425.05 c #Conflicts: 1423000 | #Constraints: 45350
2380.86/2425.05 c #Conflicts: 1424000 | #Constraints: 46352
2380.86/2425.05 c #Conflicts: 1425000 | #Constraints: 47353
2380.86/2425.05 c #Conflicts: 1426000 | #Constraints: 48356
2380.86/2425.05 c #Conflicts: 1427000 | #Constraints: 49356
2380.86/2425.05 c #Conflicts: 1428000 | #Constraints: 50357
2380.86/2425.05 c #Conflicts: 1429000 | #Constraints: 51357
2380.86/2425.05 c #Conflicts: 1430000 | #Constraints: 52359
2380.86/2425.05 c #Conflicts: 1431000 | #Constraints: 53360
2380.86/2425.05 c #Conflicts: 1432000 | #Constraints: 54361
2380.86/2425.05 c #Conflicts: 1433000 | #Constraints: 55362
2380.86/2425.05 c #Conflicts: 1434000 | #Constraints: 56362
2380.86/2425.05 c #Conflicts: 1435000 | #Constraints: 57363
2380.86/2425.05 c #Conflicts: 1436000 | #Constraints: 58363
2380.86/2425.05 c #Conflicts: 1437000 | #Constraints: 59363
2380.86/2425.05 c #Conflicts: 1438000 | #Constraints: 60363
2380.86/2425.05 c #Conflicts: 1439000 | #Constraints: 61363
2380.86/2425.05 c #Conflicts: 1440000 | #Constraints: 62363
2380.86/2425.05 c #Conflicts: 1441000 | #Constraints: 63363
2380.86/2425.05 c #Conflicts: 1442000 | #Constraints: 64364
2380.86/2425.05 c #Conflicts: 1443000 | #Constraints: 65365
2380.86/2425.05 c INPROCESSING
2380.86/2425.05 c GARBAGE COLLECT
2380.86/2425.05 c rational objective 5
2427.82/2472.32 c #Conflicts: 1444000 | #Constraints: 42511
2427.82/2472.32 c #Conflicts: 1445000 | #Constraints: 43511
2427.82/2472.32 c #Conflicts: 1446000 | #Constraints: 44511
2427.82/2472.32 c #Conflicts: 1447000 | #Constraints: 45514
2427.82/2472.32 c #Conflicts: 1448000 | #Constraints: 46516
2427.82/2472.32 c #Conflicts: 1449000 | #Constraints: 47520
2427.82/2472.32 c #Conflicts: 1450000 | #Constraints: 48522
2427.82/2472.32 c #Conflicts: 1451000 | #Constraints: 49523
2427.82/2472.32 c #Conflicts: 1452000 | #Constraints: 50525
2427.82/2472.32 c #Conflicts: 1453000 | #Constraints: 51526
2427.82/2472.32 c #Conflicts: 1454000 | #Constraints: 52527
2427.82/2472.32 c #Conflicts: 1455000 | #Constraints: 53528
2427.82/2472.32 c #Conflicts: 1456000 | #Constraints: 54529
2427.82/2472.32 c #Conflicts: 1457000 | #Constraints: 55531
2427.82/2472.32 c #Conflicts: 1458000 | #Constraints: 56532
2427.82/2472.32 c #Conflicts: 1459000 | #Constraints: 57532
2427.82/2472.32 c #Conflicts: 1460000 | #Constraints: 58533
2427.82/2472.32 c #Conflicts: 1461000 | #Constraints: 59533
2427.82/2472.32 c #Conflicts: 1462000 | #Constraints: 60535
2427.82/2472.32 c #Conflicts: 1463000 | #Constraints: 61536
2427.82/2472.32 c #Conflicts: 1464000 | #Constraints: 62537
2427.82/2472.32 c #Conflicts: 1465000 | #Constraints: 63538
2427.82/2472.32 c #Conflicts: 1466000 | #Constraints: 64540
2427.82/2472.32 c #Conflicts: 1467000 | #Constraints: 65540
2427.82/2472.32 c INPROCESSING
2427.82/2472.32 c GARBAGE COLLECT
2427.82/2472.32 c rational objective 5
2474.80/2519.64 c #Conflicts: 1468000 | #Constraints: 42455
2474.80/2519.64 c #Conflicts: 1469000 | #Constraints: 43455
2474.80/2519.64 c #Conflicts: 1470000 | #Constraints: 44455
2474.80/2519.64 c #Conflicts: 1471000 | #Constraints: 45457
2474.80/2519.64 c #Conflicts: 1472000 | #Constraints: 46460
2474.80/2519.64 c #Conflicts: 1473000 | #Constraints: 47461
2474.80/2519.64 c #Conflicts: 1474000 | #Constraints: 48466
2474.80/2519.64 c #Conflicts: 1475000 | #Constraints: 49476
2474.80/2519.64 c #Conflicts: 1476000 | #Constraints: 50485
2474.80/2519.64 c #Conflicts: 1477000 | #Constraints: 51488
2474.80/2519.64 c #Conflicts: 1478000 | #Constraints: 52489
2474.80/2519.64 c #Conflicts: 1479000 | #Constraints: 53495
2474.80/2519.64 c #Conflicts: 1480000 | #Constraints: 54497
2474.80/2519.64 c #Conflicts: 1481000 | #Constraints: 55499
2474.80/2519.64 c #Conflicts: 1482000 | #Constraints: 56501
2474.80/2519.64 c #Conflicts: 1483000 | #Constraints: 57504
2474.80/2519.64 c #Conflicts: 1484000 | #Constraints: 58505
2474.80/2519.64 c #Conflicts: 1485000 | #Constraints: 59507
2474.80/2519.64 c #Conflicts: 1486000 | #Constraints: 60507
2474.80/2519.64 c #Conflicts: 1487000 | #Constraints: 61508
2474.80/2519.64 c #Conflicts: 1488000 | #Constraints: 62508
2474.80/2519.64 c #Conflicts: 1489000 | #Constraints: 63508
2474.80/2519.64 c #Conflicts: 1490000 | #Constraints: 64509
2474.80/2519.64 c #Conflicts: 1491000 | #Constraints: 65510
2474.80/2519.64 c INPROCESSING
2474.80/2519.64 c GARBAGE COLLECT
2474.80/2519.64 c rational objective 5
2525.19/2570.62 c #Conflicts: 1492000 | #Constraints: 42250
2525.19/2570.62 c #Conflicts: 1493000 | #Constraints: 43251
2525.19/2570.62 c #Conflicts: 1494000 | #Constraints: 44254
2525.19/2570.62 c #Conflicts: 1495000 | #Constraints: 45256
2525.19/2570.62 c #Conflicts: 1496000 | #Constraints: 46257
2525.19/2570.62 c #Conflicts: 1497000 | #Constraints: 47259
2525.19/2570.62 c #Conflicts: 1498000 | #Constraints: 48261
2525.19/2570.62 c #Conflicts: 1499000 | #Constraints: 49262
2525.19/2570.62 c #Conflicts: 1500000 | #Constraints: 50263
2525.19/2570.62 c #Conflicts: 1501000 | #Constraints: 51264
2525.19/2570.62 c #Conflicts: 1502000 | #Constraints: 52265
2525.19/2570.62 c #Conflicts: 1503000 | #Constraints: 53266
2525.19/2570.62 c #Conflicts: 1504000 | #Constraints: 54266
2525.19/2570.62 c #Conflicts: 1505000 | #Constraints: 55267
2525.19/2570.62 c #Conflicts: 1506000 | #Constraints: 56269
2525.19/2570.62 c #Conflicts: 1507000 | #Constraints: 57271
2525.19/2570.62 c #Conflicts: 1508000 | #Constraints: 58273
2525.19/2570.62 c #Conflicts: 1509000 | #Constraints: 59273
2525.19/2570.62 c #Conflicts: 1510000 | #Constraints: 60273
2525.19/2570.62 c #Conflicts: 1511000 | #Constraints: 61273
2525.19/2570.62 c #Conflicts: 1512000 | #Constraints: 62274
2525.19/2570.62 c #Conflicts: 1513000 | #Constraints: 63275
2525.19/2570.62 c #Conflicts: 1514000 | #Constraints: 64277
2525.19/2570.62 c #Conflicts: 1515000 | #Constraints: 65278
2525.19/2570.62 c #Conflicts: 1516000 | #Constraints: 66279
2525.19/2570.62 c INPROCESSING
2525.19/2570.62 c GARBAGE COLLECT
2525.19/2570.62 c rational objective 5
2572.46/2618.27 c #Conflicts: 1517000 | #Constraints: 42829
2572.46/2618.27 c #Conflicts: 1518000 | #Constraints: 43829
2572.46/2618.27 c #Conflicts: 1519000 | #Constraints: 44831
2572.46/2618.27 c #Conflicts: 1520000 | #Constraints: 45831
2572.46/2618.27 c #Conflicts: 1521000 | #Constraints: 46832
2572.46/2618.27 c #Conflicts: 1522000 | #Constraints: 47832
2572.46/2618.27 c #Conflicts: 1523000 | #Constraints: 48833
2572.46/2618.27 c #Conflicts: 1524000 | #Constraints: 49835
2572.46/2618.27 c #Conflicts: 1525000 | #Constraints: 50836
2572.46/2618.27 c #Conflicts: 1526000 | #Constraints: 51837
2572.46/2618.27 c #Conflicts: 1527000 | #Constraints: 52838
2572.46/2618.27 c #Conflicts: 1528000 | #Constraints: 53839
2572.46/2618.27 c #Conflicts: 1529000 | #Constraints: 54841
2572.46/2618.27 c #Conflicts: 1530000 | #Constraints: 55842
2572.46/2618.27 c #Conflicts: 1531000 | #Constraints: 56843
2572.46/2618.27 c #Conflicts: 1532000 | #Constraints: 57843
2572.46/2618.27 c #Conflicts: 1533000 | #Constraints: 58844
2572.46/2618.27 c #Conflicts: 1534000 | #Constraints: 59844
2572.46/2618.27 c #Conflicts: 1535000 | #Constraints: 60844
2572.46/2618.27 c #Conflicts: 1536000 | #Constraints: 61845
2572.46/2618.27 c #Conflicts: 1537000 | #Constraints: 62846
2572.46/2618.27 c #Conflicts: 1538000 | #Constraints: 63846
2572.46/2618.27 c #Conflicts: 1539000 | #Constraints: 64848
2572.46/2618.27 c #Conflicts: 1540000 | #Constraints: 65849
2572.46/2618.27 c #Conflicts: 1541000 | #Constraints: 66849
2572.46/2618.27 c INPROCESSING
2572.46/2618.27 c GARBAGE COLLECT
2572.46/2618.27 c rational objective 5
2640.47/2686.56 c #Conflicts: 1542000 | #Constraints: 43256
2640.47/2686.56 c #Conflicts: 1543000 | #Constraints: 44256
2640.47/2686.56 c #Conflicts: 1544000 | #Constraints: 45256
2640.47/2686.56 c #Conflicts: 1545000 | #Constraints: 46258
2640.47/2686.56 c #Conflicts: 1546000 | #Constraints: 47261
2640.47/2686.56 c #Conflicts: 1547000 | #Constraints: 48262
2640.47/2686.56 c #Conflicts: 1548000 | #Constraints: 49265
2640.47/2686.56 c #Conflicts: 1549000 | #Constraints: 50266
2640.47/2686.56 c #Conflicts: 1550000 | #Constraints: 51269
2640.47/2686.56 c #Conflicts: 1551000 | #Constraints: 52269
2640.47/2686.56 c #Conflicts: 1552000 | #Constraints: 53273
2640.47/2686.56 c #Conflicts: 1553000 | #Constraints: 54275
2640.47/2686.56 c #Conflicts: 1554000 | #Constraints: 55279
2640.47/2686.56 c #Conflicts: 1555000 | #Constraints: 56281
2640.47/2686.56 c #Conflicts: 1556000 | #Constraints: 57283
2640.47/2686.56 c #Conflicts: 1557000 | #Constraints: 58285
2640.47/2686.56 c #Conflicts: 1558000 | #Constraints: 59286
2640.47/2686.56 c #Conflicts: 1559000 | #Constraints: 60287
2640.47/2686.56 c #Conflicts: 1560000 | #Constraints: 61290
2640.47/2686.56 c #Conflicts: 1561000 | #Constraints: 62291
2640.47/2686.56 c #Conflicts: 1562000 | #Constraints: 63292
2640.47/2686.56 c #Conflicts: 1563000 | #Constraints: 64294
2640.47/2686.56 c #Conflicts: 1564000 | #Constraints: 65296
2640.47/2686.56 c #Conflicts: 1565000 | #Constraints: 66297
2640.47/2686.56 c #Conflicts: 1566000 | #Constraints: 67299
2640.47/2686.56 c INPROCESSING
2640.47/2686.56 c GARBAGE COLLECT
2640.47/2686.56 c rational objective 5
2717.67/2764.97 c #Conflicts: 1567000 | #Constraints: 43466
2717.67/2764.97 c #Conflicts: 1568000 | #Constraints: 44471
2717.67/2764.97 c #Conflicts: 1569000 | #Constraints: 45474
2717.67/2764.97 c #Conflicts: 1570000 | #Constraints: 46480
2717.67/2764.97 c #Conflicts: 1571000 | #Constraints: 47482
2717.67/2764.97 c #Conflicts: 1572000 | #Constraints: 48484
2717.67/2764.97 c #Conflicts: 1573000 | #Constraints: 49489
2717.67/2764.97 c #Conflicts: 1574000 | #Constraints: 50492
2717.67/2764.97 c #Conflicts: 1575000 | #Constraints: 51494
2717.67/2764.97 c #Conflicts: 1576000 | #Constraints: 52494
2717.67/2764.97 c #Conflicts: 1577000 | #Constraints: 53495
2717.67/2764.97 c #Conflicts: 1578000 | #Constraints: 54496
2717.67/2764.97 c #Conflicts: 1579000 | #Constraints: 55498
2717.67/2764.97 c #Conflicts: 1580000 | #Constraints: 56500
2717.67/2764.97 c #Conflicts: 1581000 | #Constraints: 57502
2717.67/2764.97 c #Conflicts: 1582000 | #Constraints: 58504
2717.67/2764.97 c #Conflicts: 1583000 | #Constraints: 59506
2717.67/2764.97 c #Conflicts: 1584000 | #Constraints: 60509
2717.67/2764.97 c #Conflicts: 1585000 | #Constraints: 61511
2717.67/2764.97 c #Conflicts: 1586000 | #Constraints: 62513
2717.67/2764.97 c #Conflicts: 1587000 | #Constraints: 63516
2717.67/2764.97 c #Conflicts: 1588000 | #Constraints: 64517
2717.67/2764.97 c #Conflicts: 1589000 | #Constraints: 65517
2717.67/2764.97 c #Conflicts: 1590000 | #Constraints: 66518
2717.67/2764.97 c #Conflicts: 1591000 | #Constraints: 67519
2717.67/2764.97 c INPROCESSING
2717.67/2764.97 c GARBAGE COLLECT
2717.67/2764.97 c rational objective 5
2800.20/2848.06 c #Conflicts: 1592000 | #Constraints: 43473
2800.20/2848.06 c #Conflicts: 1593000 | #Constraints: 44473
2800.20/2848.06 c #Conflicts: 1594000 | #Constraints: 45475
2800.20/2848.06 c #Conflicts: 1595000 | #Constraints: 46483
2800.20/2848.06 c #Conflicts: 1596000 | #Constraints: 47489
2800.20/2848.06 c #Conflicts: 1597000 | #Constraints: 48494
2800.20/2848.06 c #Conflicts: 1598000 | #Constraints: 49496
2800.20/2848.06 c #Conflicts: 1599000 | #Constraints: 50499
2800.20/2848.06 c #Conflicts: 1600000 | #Constraints: 51501
2800.20/2848.06 c #Conflicts: 1601000 | #Constraints: 52504
2800.20/2848.06 c #Conflicts: 1602000 | #Constraints: 53505
2800.20/2848.06 c #Conflicts: 1603000 | #Constraints: 54507
2800.20/2848.06 c #Conflicts: 1604000 | #Constraints: 55509
2800.20/2848.06 c #Conflicts: 1605000 | #Constraints: 56509
2800.20/2848.06 c #Conflicts: 1606000 | #Constraints: 57510
2800.20/2848.06 c #Conflicts: 1607000 | #Constraints: 58511
2800.20/2848.06 c #Conflicts: 1608000 | #Constraints: 59512
2800.20/2848.06 c #Conflicts: 1609000 | #Constraints: 60512
2800.20/2848.06 c #Conflicts: 1610000 | #Constraints: 61513
2800.20/2848.06 c #Conflicts: 1611000 | #Constraints: 62514
2800.20/2848.06 c #Conflicts: 1612000 | #Constraints: 63515
2800.20/2848.06 c #Conflicts: 1613000 | #Constraints: 64516
2800.20/2848.06 c #Conflicts: 1614000 | #Constraints: 65516
2800.20/2848.06 c #Conflicts: 1615000 | #Constraints: 66518
2800.20/2848.06 c #Conflicts: 1616000 | #Constraints: 67519
2800.20/2848.06 c INPROCESSING
2800.20/2848.06 c GARBAGE COLLECT
2800.20/2848.06 c rational objective 5
2880.58/2928.95 c #Conflicts: 1617000 | #Constraints: 43321
2880.58/2928.95 c #Conflicts: 1618000 | #Constraints: 44323
2880.58/2928.95 c #Conflicts: 1619000 | #Constraints: 45326
2880.58/2928.95 c #Conflicts: 1620000 | #Constraints: 46328
2880.58/2928.95 c #Conflicts: 1621000 | #Constraints: 47331
2880.58/2928.95 c #Conflicts: 1622000 | #Constraints: 48335
2880.58/2928.95 c #Conflicts: 1623000 | #Constraints: 49338
2880.58/2928.95 c #Conflicts: 1624000 | #Constraints: 50340
2880.58/2928.95 c #Conflicts: 1625000 | #Constraints: 51342
2880.58/2928.95 c #Conflicts: 1626000 | #Constraints: 52343
2880.58/2928.95 c #Conflicts: 1627000 | #Constraints: 53344
2880.58/2928.95 c #Conflicts: 1628000 | #Constraints: 54347
2880.58/2928.95 c #Conflicts: 1629000 | #Constraints: 55349
2880.58/2928.95 c #Conflicts: 1630000 | #Constraints: 56352
2880.58/2928.95 c #Conflicts: 1631000 | #Constraints: 57355
2880.58/2928.95 c #Conflicts: 1632000 | #Constraints: 58355
2880.58/2928.95 c #Conflicts: 1633000 | #Constraints: 59355
2880.58/2928.95 c #Conflicts: 1634000 | #Constraints: 60355
2880.58/2928.95 c #Conflicts: 1635000 | #Constraints: 61355
2880.58/2928.95 c #Conflicts: 1636000 | #Constraints: 62355
2880.58/2928.95 c #Conflicts: 1637000 | #Constraints: 63355
2880.58/2928.95 c #Conflicts: 1638000 | #Constraints: 64355
2880.58/2928.95 c #Conflicts: 1639000 | #Constraints: 65355
2880.58/2928.95 c #Conflicts: 1640000 | #Constraints: 66355
2880.58/2928.95 c #Conflicts: 1641000 | #Constraints: 67355
2880.58/2928.95 c #Conflicts: 1642000 | #Constraints: 68356
2880.58/2928.95 c INPROCESSING
2880.58/2928.95 c GARBAGE COLLECT
2880.58/2928.95 c rational objective 5
2940.72/2989.54 c #Conflicts: 1643000 | #Constraints: 43871
2940.72/2989.54 c #Conflicts: 1644000 | #Constraints: 44871
2940.72/2989.54 c #Conflicts: 1645000 | #Constraints: 45871
2940.72/2989.54 c #Conflicts: 1646000 | #Constraints: 46874
2940.72/2989.54 c #Conflicts: 1647000 | #Constraints: 47879
2940.72/2989.54 c #Conflicts: 1648000 | #Constraints: 48886
2940.72/2989.54 c #Conflicts: 1649000 | #Constraints: 49893
2940.72/2989.54 c #Conflicts: 1650000 | #Constraints: 50897
2940.72/2989.54 c #Conflicts: 1651000 | #Constraints: 51901
2940.72/2989.54 c #Conflicts: 1652000 | #Constraints: 52903
2940.72/2989.54 c #Conflicts: 1653000 | #Constraints: 53909
2940.72/2989.54 c #Conflicts: 1654000 | #Constraints: 54913
2940.72/2989.54 c #Conflicts: 1655000 | #Constraints: 55914
2940.72/2989.54 c #Conflicts: 1656000 | #Constraints: 56918
2940.72/2989.54 c #Conflicts: 1657000 | #Constraints: 57924
2940.72/2989.54 c #Conflicts: 1658000 | #Constraints: 58929
2940.72/2989.54 c #Conflicts: 1659000 | #Constraints: 59931
2940.72/2989.54 c #Conflicts: 1660000 | #Constraints: 60934
2940.72/2989.54 c #Conflicts: 1661000 | #Constraints: 61934
2940.72/2989.54 c #Conflicts: 1662000 | #Constraints: 62938
2940.72/2989.54 c #Conflicts: 1663000 | #Constraints: 63939
2940.72/2989.54 c #Conflicts: 1664000 | #Constraints: 64942
2940.72/2989.54 c #Conflicts: 1665000 | #Constraints: 65944
2940.72/2989.54 c #Conflicts: 1666000 | #Constraints: 66945
2940.72/2989.54 c #Conflicts: 1667000 | #Constraints: 67947
2940.72/2989.54 c #Conflicts: 1668000 | #Constraints: 68949
2940.72/2989.54 c INPROCESSING
2940.72/2989.54 c GARBAGE COLLECT
2940.72/2989.54 c rational objective 5
3002.85/3052.24 c #Conflicts: 1669000 | #Constraints: 44255
3002.85/3052.24 c #Conflicts: 1670000 | #Constraints: 45256
3002.85/3052.24 c #Conflicts: 1671000 | #Constraints: 46256
3002.85/3052.24 c #Conflicts: 1672000 | #Constraints: 47258
3002.85/3052.24 c #Conflicts: 1673000 | #Constraints: 48260
3002.85/3052.24 c #Conflicts: 1674000 | #Constraints: 49260
3002.85/3052.24 c #Conflicts: 1675000 | #Constraints: 50261
3002.85/3052.24 c #Conflicts: 1676000 | #Constraints: 51262
3002.85/3052.24 c #Conflicts: 1677000 | #Constraints: 52266
3002.85/3052.24 c #Conflicts: 1678000 | #Constraints: 53270
3002.85/3052.24 c #Conflicts: 1679000 | #Constraints: 54272
3002.85/3052.24 c #Conflicts: 1680000 | #Constraints: 55274
3002.85/3052.24 c #Conflicts: 1681000 | #Constraints: 56274
3002.85/3052.24 c #Conflicts: 1682000 | #Constraints: 57274
3002.85/3052.24 c #Conflicts: 1683000 | #Constraints: 58274
3002.85/3052.24 c #Conflicts: 1684000 | #Constraints: 59275
3002.85/3052.24 c #Conflicts: 1685000 | #Constraints: 60276
3002.85/3052.24 c #Conflicts: 1686000 | #Constraints: 61276
3002.85/3052.24 c #Conflicts: 1687000 | #Constraints: 62278
3002.85/3052.24 c #Conflicts: 1688000 | #Constraints: 63278
3002.85/3052.24 c #Conflicts: 1689000 | #Constraints: 64278
3002.85/3052.24 c #Conflicts: 1690000 | #Constraints: 65279
3002.85/3052.24 c #Conflicts: 1691000 | #Constraints: 66280
3002.85/3052.24 c #Conflicts: 1692000 | #Constraints: 67281
3002.85/3052.24 c #Conflicts: 1693000 | #Constraints: 68281
3002.85/3052.24 c #Conflicts: 1694000 | #Constraints: 69282
3002.85/3052.24 c INPROCESSING
3002.85/3052.24 c GARBAGE COLLECT
3002.85/3052.24 c rational objective 5
3067.29/3117.03 c #Conflicts: 1695000 | #Constraints: 44419
3067.29/3117.03 c #Conflicts: 1696000 | #Constraints: 45419
3067.29/3117.03 c #Conflicts: 1697000 | #Constraints: 46422
3067.29/3117.03 c #Conflicts: 1698000 | #Constraints: 47423
3067.29/3117.03 c #Conflicts: 1699000 | #Constraints: 48425
3067.29/3117.03 c #Conflicts: 1700000 | #Constraints: 49426
3067.29/3117.03 c #Conflicts: 1701000 | #Constraints: 50428
3067.29/3117.03 c #Conflicts: 1702000 | #Constraints: 51430
3067.29/3117.03 c #Conflicts: 1703000 | #Constraints: 52433
3067.29/3117.03 c #Conflicts: 1704000 | #Constraints: 53435
3067.29/3117.03 c #Conflicts: 1705000 | #Constraints: 54436
3067.29/3117.03 c #Conflicts: 1706000 | #Constraints: 55436
3067.29/3117.03 c #Conflicts: 1707000 | #Constraints: 56438
3067.29/3117.03 c #Conflicts: 1708000 | #Constraints: 57439
3067.29/3117.03 c #Conflicts: 1709000 | #Constraints: 58440
3067.29/3117.03 c #Conflicts: 1710000 | #Constraints: 59440
3067.29/3117.03 c #Conflicts: 1711000 | #Constraints: 60441
3067.29/3117.03 c #Conflicts: 1712000 | #Constraints: 61442
3067.29/3117.03 c #Conflicts: 1713000 | #Constraints: 62443
3067.29/3117.03 c #Conflicts: 1714000 | #Constraints: 63443
3067.29/3117.03 c #Conflicts: 1715000 | #Constraints: 64443
3067.29/3117.03 c #Conflicts: 1716000 | #Constraints: 65443
3067.29/3117.03 c #Conflicts: 1717000 | #Constraints: 66444
3067.29/3117.03 c #Conflicts: 1718000 | #Constraints: 67445
3067.29/3117.03 c #Conflicts: 1719000 | #Constraints: 68445
3067.29/3117.03 c #Conflicts: 1720000 | #Constraints: 69445
3067.29/3117.03 c INPROCESSING
3067.29/3117.03 c GARBAGE COLLECT
3067.29/3117.03 c rational objective 5
3142.57/3193.04 c #Conflicts: 1721000 | #Constraints: 44377
3142.57/3193.04 c #Conflicts: 1722000 | #Constraints: 45381
3142.57/3193.04 c #Conflicts: 1723000 | #Constraints: 46385
3142.57/3193.04 c #Conflicts: 1724000 | #Constraints: 47388
3142.57/3193.04 c #Conflicts: 1725000 | #Constraints: 48389
3142.57/3193.04 c #Conflicts: 1726000 | #Constraints: 49389
3142.57/3193.04 c #Conflicts: 1727000 | #Constraints: 50391
3142.57/3193.04 c #Conflicts: 1728000 | #Constraints: 51392
3142.57/3193.04 c #Conflicts: 1729000 | #Constraints: 52393
3142.57/3193.04 c #Conflicts: 1730000 | #Constraints: 53395
3142.57/3193.04 c #Conflicts: 1731000 | #Constraints: 54395
3142.57/3193.04 c #Conflicts: 1732000 | #Constraints: 55396
3142.57/3193.04 c #Conflicts: 1733000 | #Constraints: 56396
3142.57/3193.04 c #Conflicts: 1734000 | #Constraints: 57397
3142.57/3193.04 c #Conflicts: 1735000 | #Constraints: 58397
3142.57/3193.04 c #Conflicts: 1736000 | #Constraints: 59398
3142.57/3193.04 c #Conflicts: 1737000 | #Constraints: 60398
3142.57/3193.04 c #Conflicts: 1738000 | #Constraints: 61399
3142.57/3193.04 c #Conflicts: 1739000 | #Constraints: 62400
3142.57/3193.04 c #Conflicts: 1740000 | #Constraints: 63400
3142.57/3193.04 c #Conflicts: 1741000 | #Constraints: 64400
3142.57/3193.04 c #Conflicts: 1742000 | #Constraints: 65401
3142.57/3193.04 c #Conflicts: 1743000 | #Constraints: 66401
3142.57/3193.04 c #Conflicts: 1744000 | #Constraints: 67402
3142.57/3193.04 c #Conflicts: 1745000 | #Constraints: 68403
3142.57/3193.04 c #Conflicts: 1746000 | #Constraints: 69403
3142.57/3193.04 c INPROCESSING
3142.57/3193.04 c GARBAGE COLLECT
3142.57/3193.04 c rational objective 5
3203.87/3254.88 c #Conflicts: 1747000 | #Constraints: 44181
3203.87/3254.88 c #Conflicts: 1748000 | #Constraints: 45181
3203.87/3254.88 c #Conflicts: 1749000 | #Constraints: 46181
3203.87/3254.88 c #Conflicts: 1750000 | #Constraints: 47182
3203.87/3254.88 c #Conflicts: 1751000 | #Constraints: 48183
3203.87/3254.88 c #Conflicts: 1752000 | #Constraints: 49185
3203.87/3254.88 c #Conflicts: 1753000 | #Constraints: 50189
3203.87/3254.88 c #Conflicts: 1754000 | #Constraints: 51193
3203.87/3254.88 c #Conflicts: 1755000 | #Constraints: 52194
3203.87/3254.88 c #Conflicts: 1756000 | #Constraints: 53198
3203.87/3254.88 c #Conflicts: 1757000 | #Constraints: 54202
3203.87/3254.88 c #Conflicts: 1758000 | #Constraints: 55204
3203.87/3254.88 c #Conflicts: 1759000 | #Constraints: 56208
3203.87/3254.88 c #Conflicts: 1760000 | #Constraints: 57214
3203.87/3254.88 c #Conflicts: 1761000 | #Constraints: 58216
3203.87/3254.88 c #Conflicts: 1762000 | #Constraints: 59221
3203.87/3254.88 c #Conflicts: 1763000 | #Constraints: 60223
3203.87/3254.88 c #Conflicts: 1764000 | #Constraints: 61224
3203.87/3254.88 c #Conflicts: 1765000 | #Constraints: 62229
3203.87/3254.88 c #Conflicts: 1766000 | #Constraints: 63232
3203.87/3254.88 c #Conflicts: 1767000 | #Constraints: 64234
3203.87/3254.88 c #Conflicts: 1768000 | #Constraints: 65236
3203.87/3254.88 c #Conflicts: 1769000 | #Constraints: 66237
3203.87/3254.88 c #Conflicts: 1770000 | #Constraints: 67238
3203.87/3254.88 c #Conflicts: 1771000 | #Constraints: 68240
3203.87/3254.88 c #Conflicts: 1772000 | #Constraints: 69241
3203.87/3254.88 c #Conflicts: 1773000 | #Constraints: 70241
3203.87/3254.88 c INPROCESSING
3203.87/3254.88 c GARBAGE COLLECT
3203.87/3254.88 c rational objective 5
3265.95/3317.57 c #Conflicts: 1774000 | #Constraints: 44793
3265.95/3317.57 c #Conflicts: 1775000 | #Constraints: 45793
3265.95/3317.57 c #Conflicts: 1776000 | #Constraints: 46794
3265.95/3317.57 c #Conflicts: 1777000 | #Constraints: 47796
3265.95/3317.57 c #Conflicts: 1778000 | #Constraints: 48797
3265.95/3317.57 c #Conflicts: 1779000 | #Constraints: 49800
3265.95/3317.57 c #Conflicts: 1780000 | #Constraints: 50803
3265.95/3317.57 c #Conflicts: 1781000 | #Constraints: 51806
3265.95/3317.57 c #Conflicts: 1782000 | #Constraints: 52807
3265.95/3317.57 c #Conflicts: 1783000 | #Constraints: 53808
3265.95/3317.57 c #Conflicts: 1784000 | #Constraints: 54808
3265.95/3317.57 c #Conflicts: 1785000 | #Constraints: 55809
3265.95/3317.57 c #Conflicts: 1786000 | #Constraints: 56810
3265.95/3317.57 c #Conflicts: 1787000 | #Constraints: 57811
3265.95/3317.57 c #Conflicts: 1788000 | #Constraints: 58811
3265.95/3317.57 c #Conflicts: 1789000 | #Constraints: 59811
3265.95/3317.57 c #Conflicts: 1790000 | #Constraints: 60812
3265.95/3317.57 c #Conflicts: 1791000 | #Constraints: 61813
3265.95/3317.57 c #Conflicts: 1792000 | #Constraints: 62813
3265.95/3317.57 c #Conflicts: 1793000 | #Constraints: 63813
3265.95/3317.57 c #Conflicts: 1794000 | #Constraints: 64814
3265.95/3317.57 c #Conflicts: 1795000 | #Constraints: 65814
3265.95/3317.57 c #Conflicts: 1796000 | #Constraints: 66815
3265.95/3317.57 c #Conflicts: 1797000 | #Constraints: 67816
3265.95/3317.57 c #Conflicts: 1798000 | #Constraints: 68817
3265.95/3317.57 c #Conflicts: 1799000 | #Constraints: 69817
3265.95/3317.57 c #Conflicts: 1800000 | #Constraints: 70818
3265.95/3317.57 c INPROCESSING
3265.95/3317.57 c GARBAGE COLLECT
3265.95/3317.57 c rational objective 5
3327.98/3380.08 c #Conflicts: 1801000 | #Constraints: 45212
3327.98/3380.08 c #Conflicts: 1802000 | #Constraints: 46212
3327.98/3380.08 c #Conflicts: 1803000 | #Constraints: 47213
3327.98/3380.08 c #Conflicts: 1804000 | #Constraints: 48213
3327.98/3380.08 c #Conflicts: 1805000 | #Constraints: 49213
3327.98/3380.08 c #Conflicts: 1806000 | #Constraints: 50214
3327.98/3380.08 c #Conflicts: 1807000 | #Constraints: 51215
3327.98/3380.08 c #Conflicts: 1808000 | #Constraints: 52216
3327.98/3380.08 c #Conflicts: 1809000 | #Constraints: 53217
3327.98/3380.08 c #Conflicts: 1810000 | #Constraints: 54218
3327.98/3380.08 c #Conflicts: 1811000 | #Constraints: 55219
3327.98/3380.08 c #Conflicts: 1812000 | #Constraints: 56221
3327.98/3380.08 c #Conflicts: 1813000 | #Constraints: 57222
3327.98/3380.08 c #Conflicts: 1814000 | #Constraints: 58223
3327.98/3380.08 c #Conflicts: 1815000 | #Constraints: 59223
3327.98/3380.08 c #Conflicts: 1816000 | #Constraints: 60223
3327.98/3380.08 c #Conflicts: 1817000 | #Constraints: 61223
3327.98/3380.08 c #Conflicts: 1818000 | #Constraints: 62223
3327.98/3380.08 c #Conflicts: 1819000 | #Constraints: 63223
3327.98/3380.08 c #Conflicts: 1820000 | #Constraints: 64223
3327.98/3380.08 c #Conflicts: 1821000 | #Constraints: 65224
3327.98/3380.08 c #Conflicts: 1822000 | #Constraints: 66224
3327.98/3380.08 c #Conflicts: 1823000 | #Constraints: 67225
3327.98/3380.08 c #Conflicts: 1824000 | #Constraints: 68225
3327.98/3380.08 c #Conflicts: 1825000 | #Constraints: 69225
3327.98/3380.08 c #Conflicts: 1826000 | #Constraints: 70226
3327.98/3380.08 c #Conflicts: 1827000 | #Constraints: 71226
3327.98/3380.08 c INPROCESSING
3327.98/3380.08 c GARBAGE COLLECT
3327.98/3380.08 c rational objective 5
3431.25/3484.02 c #Conflicts: 1828000 | #Constraints: 45407
3431.25/3484.02 c #Conflicts: 1829000 | #Constraints: 46410
3431.25/3484.02 c #Conflicts: 1830000 | #Constraints: 47412
3431.25/3484.02 c #Conflicts: 1831000 | #Constraints: 48415
3431.25/3484.02 c #Conflicts: 1832000 | #Constraints: 49419
3431.25/3484.02 c #Conflicts: 1833000 | #Constraints: 50421
3431.25/3484.02 c #Conflicts: 1834000 | #Constraints: 51424
3431.25/3484.02 c #Conflicts: 1835000 | #Constraints: 52426
3431.25/3484.02 c #Conflicts: 1836000 | #Constraints: 53429
3431.25/3484.02 c #Conflicts: 1837000 | #Constraints: 54431
3431.25/3484.02 c #Conflicts: 1838000 | #Constraints: 55433
3431.25/3484.02 c #Conflicts: 1839000 | #Constraints: 56435
3431.25/3484.02 c #Conflicts: 1840000 | #Constraints: 57437
3431.25/3484.02 c #Conflicts: 1841000 | #Constraints: 58439
3431.25/3484.02 c #Conflicts: 1842000 | #Constraints: 59439
3431.25/3484.02 c #Conflicts: 1843000 | #Constraints: 60439
3431.25/3484.02 c #Conflicts: 1844000 | #Constraints: 61443
3431.25/3484.02 c #Conflicts: 1845000 | #Constraints: 62446
3431.25/3484.02 c #Conflicts: 1846000 | #Constraints: 63447
3431.25/3484.02 c #Conflicts: 1847000 | #Constraints: 64447
3431.25/3484.02 c #Conflicts: 1848000 | #Constraints: 65447
3431.25/3484.02 c #Conflicts: 1849000 | #Constraints: 66448
3431.25/3484.02 c #Conflicts: 1850000 | #Constraints: 67448
3431.25/3484.02 c #Conflicts: 1851000 | #Constraints: 68448
3431.25/3484.02 c #Conflicts: 1852000 | #Constraints: 69449
3431.25/3484.02 c #Conflicts: 1853000 | #Constraints: 70449
3431.25/3484.02 c #Conflicts: 1854000 | #Constraints: 71449
3431.25/3484.02 c INPROCESSING
3431.25/3484.02 c GARBAGE COLLECT
3431.25/3484.02 c rational objective 5
3506.68/3560.13 c #Conflicts: 1855000 | #Constraints: 45412
3506.68/3560.13 c #Conflicts: 1856000 | #Constraints: 46412
3506.68/3560.13 c #Conflicts: 1857000 | #Constraints: 47415
3506.68/3560.13 c #Conflicts: 1858000 | #Constraints: 48417
3506.68/3560.13 c #Conflicts: 1859000 | #Constraints: 49417
3506.68/3560.13 c #Conflicts: 1860000 | #Constraints: 50418
3506.68/3560.13 c #Conflicts: 1861000 | #Constraints: 51420
3506.68/3560.13 c #Conflicts: 1862000 | #Constraints: 52421
3506.68/3560.13 c #Conflicts: 1863000 | #Constraints: 53422
3506.68/3560.13 c #Conflicts: 1864000 | #Constraints: 54427
3506.68/3560.13 c #Conflicts: 1865000 | #Constraints: 55430
3506.68/3560.13 c #Conflicts: 1866000 | #Constraints: 56431
3506.68/3560.13 c #Conflicts: 1867000 | #Constraints: 57431
3506.68/3560.13 c #Conflicts: 1868000 | #Constraints: 58432
3506.68/3560.13 c #Conflicts: 1869000 | #Constraints: 59434
3506.68/3560.13 c #Conflicts: 1870000 | #Constraints: 60434
3506.68/3560.13 c #Conflicts: 1871000 | #Constraints: 61436
3506.68/3560.13 c #Conflicts: 1872000 | #Constraints: 62437
3506.68/3560.13 c #Conflicts: 1873000 | #Constraints: 63438
3506.68/3560.13 c #Conflicts: 1874000 | #Constraints: 64439
3506.68/3560.13 c #Conflicts: 1875000 | #Constraints: 65442
3506.68/3560.13 c #Conflicts: 1876000 | #Constraints: 66443
3506.68/3560.13 c #Conflicts: 1877000 | #Constraints: 67443
3506.68/3560.13 c #Conflicts: 1878000 | #Constraints: 68444
3506.68/3560.13 c #Conflicts: 1879000 | #Constraints: 69444
3506.68/3560.13 c #Conflicts: 1880000 | #Constraints: 70445
3506.68/3560.13 c #Conflicts: 1881000 | #Constraints: 71446
3506.68/3560.13 c INPROCESSING
3506.68/3560.13 c GARBAGE COLLECT
3506.68/3560.13 c rational objective 5
3580.67/3634.66 c #Conflicts: 1882000 | #Constraints: 45197
3580.67/3634.66 c #Conflicts: 1883000 | #Constraints: 46197
3580.67/3634.66 c #Conflicts: 1884000 | #Constraints: 47198
3580.67/3634.66 c #Conflicts: 1885000 | #Constraints: 48202
3580.67/3634.66 c #Conflicts: 1886000 | #Constraints: 49209
3580.67/3634.66 c #Conflicts: 1887000 | #Constraints: 50213
3580.67/3634.66 c #Conflicts: 1888000 | #Constraints: 51215
3580.67/3634.66 c #Conflicts: 1889000 | #Constraints: 52218
3580.67/3634.66 c #Conflicts: 1890000 | #Constraints: 53223
3580.67/3634.66 c #Conflicts: 1891000 | #Constraints: 54224
3580.67/3634.66 c #Conflicts: 1892000 | #Constraints: 55224
3580.67/3634.66 c #Conflicts: 1893000 | #Constraints: 56227
3580.67/3634.66 c #Conflicts: 1894000 | #Constraints: 57230
3580.67/3634.66 c #Conflicts: 1895000 | #Constraints: 58232
3580.67/3634.66 c #Conflicts: 1896000 | #Constraints: 59236
3580.67/3634.66 c #Conflicts: 1897000 | #Constraints: 60238
3580.67/3634.66 c #Conflicts: 1898000 | #Constraints: 61240
3580.67/3634.66 c #Conflicts: 1899000 | #Constraints: 62241
3580.67/3634.66 c #Conflicts: 1900000 | #Constraints: 63243
3580.67/3634.66 c #Conflicts: 1901000 | #Constraints: 64245
3580.67/3634.66 c #Conflicts: 1902000 | #Constraints: 65247
3580.67/3634.66 c #Conflicts: 1903000 | #Constraints: 66248
3580.67/3634.66 c #Conflicts: 1904000 | #Constraints: 67249
3580.67/3634.66 c #Conflicts: 1905000 | #Constraints: 68251
3580.67/3634.66 c #Conflicts: 1906000 | #Constraints: 69252
3580.67/3634.66 c #Conflicts: 1907000 | #Constraints: 70254
3580.67/3634.66 c #Conflicts: 1908000 | #Constraints: 71255
3580.67/3634.66 c #Conflicts: 1909000 | #Constraints: 72256
3580.67/3634.66 c INPROCESSING
3580.67/3634.66 c GARBAGE COLLECT
3580.67/3634.66 c rational objective 5
3600.08/3654.22 c #Conflicts: 1910000 | #Constraints: 45820
3600.08/3654.22 c #Conflicts: 1911000 | #Constraints: 46821
3600.08/3654.22 c #Conflicts: 1912000 | #Constraints: 47825
3600.08/3654.22 c #Conflicts: 1913000 | #Constraints: 48825
3600.08/3654.22 c #Conflicts: 1914000 | #Constraints: 49825
3600.08/3654.22 c #Conflicts: 1915000 | #Constraints: 50825
3600.08/3654.22 c #Conflicts: 1916000 | #Constraints: 51825
3600.08/3654.22 c #Conflicts: 1917000 | #Constraints: 52826
3600.08/3654.22 c #Conflicts: 1918000 | #Constraints: 53826
3600.08/3654.22 c #Conflicts: 1919000 | #Constraints: 54827
3600.08/3654.22 c #Conflicts: 1920000 | #Constraints: 55829
3600.08/3654.22 c #Conflicts: 1921000 | #Constraints: 56830
3600.08/3654.22 c #Conflicts: 1922000 | #Constraints: 57830
3600.08/3654.22 c #Conflicts: 1923000 | #Constraints: 58830
3600.08/3654.22 c #Conflicts: 1924000 | #Constraints: 59830
3600.08/3654.22 c Disabling crashed LP
3600.08/3654.22 c cpu time 3570.01 s
3600.08/3654.22 c deterministic time 280369553121 2.80e+11
3600.08/3654.22 c optimization time 18.8257 s
3600.08/3654.22 c total solve time 3550.84 s
3600.08/3654.22 c core-guided solve time 1817.35 s
3600.08/3654.22 c propagation time 2346.16 s
3600.08/3654.22 c conflict analysis time 1027.98 s
3600.08/3654.22 c propagations 584606614
3600.08/3654.22 c resolve steps 20371821
3600.08/3654.22 c decisions 5290856
3600.08/3654.22 c conflicts 1924119
3600.08/3654.22 c restarts 3738
3600.08/3654.22 c inprocessing phases 129
3600.08/3654.22 c garbage collections 129 ,( 100.00 )
3600.08/3654.22 c input clauses 21666 ,( 98.32 )
3600.08/3654.22 c input cardinalities 50 ,( 0.23 )
3600.08/3654.22 c input general constraints 320 ,( 1.45 )
3600.08/3654.22 c input average constraint length 3.70
3600.08/3654.22 c input average constraint degree 9.09
3600.08/3654.22 c learned clauses 332575 ,( 17.25 )
3600.08/3654.22 c learned cardinalities 10397 ,( 0.54 )
3600.08/3654.22 c learned general constraints 1584653 ,( 82.21 )
3600.08/3654.22 c learned average constraint length 350.85
3600.08/3654.22 c learned average constraint degree 2600570020.50
3600.08/3654.22 c watched CF 32, 64, 128, Arb: 526548 , 0 , 0 , 0
3600.08/3654.22 c counting CF 32, 64, 128, Arb: 1058426 , 0 , 0 , 0
3600.08/3654.22 c watched constraints 526548 ,( 33.22 )
3600.08/3654.22 c counting constraints 1058425 ,( 66.78 )
3600.08/3654.22 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 336217727 , 57091911 , 4338864517 ,( 299926348 , 4038938169 )
3600.08/3654.22 c gcd simplifications 197727
3600.08/3654.22 c detected cardinalities 545
3600.08/3654.22 c weakened non-implied lits 220014475
3600.08/3654.22 c weakened non-implying lits 909124
3600.08/3654.22 c original variables 8515
3600.08/3654.22 c clausal propagations 253071509
3600.08/3654.22 c cardinality propagations 21899404
3600.08/3654.22 c watched propagations 2003816
3600.08/3654.22 c counting propagations 301587979
3600.08/3654.22 c watch lookups 200780273118
3600.08/3654.22 c watch backjump lookups 0
3600.08/3654.22 c watch checks 20248967669
3600.08/3654.22 c propagation checks 55749426288
3600.08/3654.22 c constraint additions 2407102144
3600.08/3654.22 c trail pops 591816050
3600.08/3654.22 c formula constraints 22036
3600.08/3654.22 c learned constraints 1920930
3600.08/3654.22 c bound constraints 0
3600.08/3654.22 c core-guided constraints 0
3600.08/3654.22 c encountered formula constraints 12946463
3600.08/3654.22 c encountered learned constraints 8776768
3600.08/3654.22 c encountered bound constraints 0
3600.08/3654.22 c encountered core-guided constraints 0
3600.08/3654.22 c LP total time 540.976 s
3600.08/3654.22 c LP solve time 479.9 s
3600.08/3654.22 c LP constraints added 24857
3600.08/3654.22 c LP constraints removed 2798
3600.08/3654.22 c LP pivots internal 1924118
3600.08/3654.22 c LP pivots root 146263
3600.08/3654.22 c LP calls 4515
3600.08/3654.22 c LP optimalities 1320
3600.08/3654.22 c LP no pivot count 63
3600.08/3654.22 c LP infeasibilities 3192
3600.08/3654.22 c LP valid Farkas constraints 3190
3600.08/3654.22 c LP learned Farkas constraints 3189
3600.08/3654.22 c LP basis resets 2
3600.08/3654.22 c LP cycling count 0
3600.08/3654.22 c LP singular count 0
3600.08/3654.22 c LP no primal count 0
3600.08/3654.22 c LP no farkas count 2
3600.08/3654.22 c LP other issue count 0
3600.08/3654.22 c LP Gomory cuts 316
3600.08/3654.22 c LP learned cuts 2505
3600.08/3654.22 c LP deleted cuts 2798
3600.08/3654.22 c LP encountered Gomory constraints 46006
3600.08/3654.22 c LP encountered Farkas constraints 487193
3600.08/3654.22 c LP encountered learned Farkas constraints 36321
3600.08/3654.22 c CG auxiliary variables introduced 0
3600.08/3654.22 c CG solutions found 0
3600.08/3654.22 c CG cores constructed 0
3600.08/3654.22 c CG core cardinality constraints returned 0
3600.08/3654.22 c CG unit cores 0
3600.08/3654.22 c CG single cores 0
3600.08/3654.22 c CG blocks removed during cardinality reduction 0
3600.08/3654.22 c CG first core best 0
3600.08/3654.22 c CG decision core best 0
3600.08/3654.22 c CG core reduction tie 0
3600.08/3654.22 c CG core degree average 0.00
3600.08/3654.22 c CG core slack average 0.00
3600.08/3654.22 c CG core upper bound improvements 0
3600.08/3654.22 c STR number of successful calls 0
3600.08/3654.22 c STR number of unsuccessful calls 0
3600.08/3654.22 c STR number of inconclusive calls 0
3600.08/3654.22 c STR number of successful attempts 0
3600.08/3654.22 c STR number of unsuccessful attempts 0
3600.08/3654.22 c STR number of inconclusive attempts 0
3600.08/3654.22 c STR average degree increase per successful call inf
3600.08/3654.22 c STR average degree increase per successful attempt inf
3600.08/3654.22 c STR total number of conflicts for successful attempts 0
3600.08/3654.22 c STR total number of conflicts for unsuccessful attempts 0
3600.08/3654.22 c STR total number of conflicts for inconclusive attempts 0
3600.08/3654.22 c STR average number of conflicts per successful attempt inf
3600.08/3654.22 c STR average number of conflicts per unsuccessful attempt inf
3600.08/3654.22 c STR average number of conflicts per inconclusive attempt inf
3600.08/3654.22 c AVG.sumWPerc 54.58
3600.08/3654.22 c bigint constraints 0
3600.08/3654.22 s UNKNOWN
3600.08/3654.22 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63794 MiB (31169 MiB free)
memory of node 1: 64507 MiB (17202 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4499079-1751403850/watcher-4499079-1751403850 -o /tmp/evaluation-result-4499079-1751403850/solver-4499079-1751403850 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751398041-54954 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4499079-1751403850.opb PROOFDIR/proof-4499079-1751403850
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 FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=56120, runsolver pid=56117
[startup+0.100097 s]*
/proc/loadavg: 4.14 4.21 4.18 5/269 56122
/proc/meminfo: memFree=49527252/131382112 swapFree=33009904/33010684
[pid=56120] ppid=56117 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/56120/stat : 56120 (run-opt-break-l) S 56117 56120 54941 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 56063992 4292608 768 18446744073709551615 94776398233600 94776399128133 140737098536848 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94776399367184 94776399414928 94776416649216 140737098541333 140737098541534 140737098541534 140737098547136 0
/proc/56120/statm: 1048 768 704 219 0 110 0
[pid=56122] ppid=56120 vsize=18364 memory=10220 CPUtime=0.08 cores=0,2
/proc/56122/stat : 56122 (pbsuma) R 56120 56120 54941 0 -1 4194304 2316 0 0 0 8 0 0 0 20 0 1 0 56063993 18804736 2555 18446744073709551615 4210688 4653049 140734290387664 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 11571200 140734290393315 140734290393650 140734290393650 140734290399215 0
/proc/56122/statm: 4591 2555 992 108 0 1999 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 22556 KiB
Current children cumulated memory: 13292 KiB
[startup+0.214102 s]*
/proc/loadavg: 4.14 4.21 4.18 4/269 56122
/proc/meminfo: memFree=49529508/131382112 swapFree=33009904/33010684
[pid=56120] ppid=56117 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/56120/stat : 56120 (run-opt-break-l) S 56117 56120 54941 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 56063992 4292608 768 18446744073709551615 94776398233600 94776399128133 140737098536848 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94776399367184 94776399414928 94776416649216 140737098541333 140737098541534 140737098541534 140737098547136 0
/proc/56120/statm: 1048 768 704 219 0 110 0
[pid=56122] ppid=56120 vsize=16648 memory=9104 CPUtime=0.19 cores=0,2
/proc/56122/stat : 56122 (pbsuma) R 56120 56120 54941 0 -1 4194304 2344 0 0 0 19 0 0 0 20 0 1 0 56063993 17047552 2276 18446744073709551615 4210688 4653049 140734290387664 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 11571200 140734290393315 140734290393650 140734290393650 140734290399215 0
/proc/56122/statm: 4162 2276 992 108 0 1570 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 20840 KiB
Current children cumulated memory: 12176 KiB
[startup+0.313801 s]*
/proc/loadavg: 4.14 4.21 4.18 6/269 56122
/proc/meminfo: memFree=49519760/131382112 swapFree=33009904/33010684
[pid=56120] ppid=56117 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/56120/stat : 56120 (run-opt-break-l) S 56117 56120 54941 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 56063992 4292608 768 18446744073709551615 94776398233600 94776399128133 140737098536848 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94776399367184 94776399414928 94776416649216 140737098541333 140737098541534 140737098541534 140737098547136 0
/proc/56120/statm: 1048 768 704 219 0 110 0
[pid=56122] ppid=56120 vsize=16648 memory=9104 CPUtime=0.29 cores=0,2
/proc/56122/stat : 56122 (pbsuma) R 56120 56120 54941 0 -1 4194304 2344 0 0 0 29 0 0 0 20 0 1 0 56063993 17047552 2276 18446744073709551615 4210688 4653049 140734290387664 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 11571200 140734290393315 140734290393650 140734290393650 140734290399215 0
/proc/56122/statm: 4162 2276 992 108 0 1570 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 20840 KiB
Current children cumulated memory: 12176 KiB
[startup+0.700322 s]
/proc/loadavg: 4.14 4.21 4.18 5/269 56122
/proc/meminfo: memFree=49456064/131382112 swapFree=33009904/33010684
[pid=56120] ppid=56117 vsize=4192 memory=3072 CPUtime=0.56 cores=0,2
/proc/56120/stat : 56120 (run-opt-break-l) S 56117 56120 54941 0 -1 4194304 244 3045 0 0 0 0 48 8 20 0 1 0 56063992 4292608 768 18446744073709551615 94776398233600 94776399128133 140737098536848 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94776399367184 94776399414928 94776416649216 140737098541333 140737098541534 140737098541534 140737098547136 0
/proc/56120/statm: 1048 768 704 219 0 110 0
Current children cumulated CPU time: 0.56 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 3072 KiB
[startup+1.5004 s]
/proc/loadavg: 4.14 4.21 4.18 5/269 56123
/proc/meminfo: memFree=49430040/131382112 swapFree=33009904/33010684
[pid=56120] ppid=56117 vsize=4192 memory=3072 CPUtime=0.56 cores=0,2
/proc/56120/stat : 56120 (run-opt-break-l) S 56117 56120 54941 0 -1 4194304 244 3045 0 0 0 0 48 8 20 0 1 0 56063992 4292608 768 18446744073709551615 94776398233600 94776399128133 140737098536848 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94776399367184 94776399414928 94776416649216 140737098541333 140737098541534 140737098541534 140737098547136 0
/proc/56120/statm: 1048 768 704 219 0 110 0
[pid=56123] ppid=56120 vsize=93968 memory=45924 CPUtime=0.84 cores=0,2
/proc/56123/stat : 56123 (roundingsat) R 56120 56120 54941 0 -1 4194304 7955 0 0 0 75 9 0 0 20 0 1 0 56064054 96223232 11481 18446744073709551615 4227072 8923433 140732381674688 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25042944 140732381677844 140732381678120 140732381678120 140732381683690 0
/proc/56123/statm: 23492 11481 2336 1147 0 10919 0
Current children cumulated CPU time: 1.4 s
Current children cumulated vsize: 98160 KiB
Current children cumulated memory: 48996 KiB
[startup+3.11376 s]
/proc/loadavg: 4.13 4.21 4.18 5/269 56123
/proc/meminfo: memFree=49252424/131382112 swapFree=33009904/33010684
[pid=56120] ppid=56117 vsize=4192 memory=3072 CPUtime=0.56 cores=0,2
/proc/56120/stat : 56120 (run-opt-break-l) S 56117 56120 54941 0 -1 4194304 244 3045 0 0 0 0 48 8 20 0 1 0 56063992 4292608 768 18446744073709551615 94776398233600 94776399128133 140737098536848 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94776399367184 94776399414928 94776416649216 140737098541333 140737098541534 140737098541534 140737098547136 0
/proc/56120/statm: 1048 768 704 219 0 110 0
[pid=56123] ppid=56120 vsize=100492 memory=54688 CPUtime=2.46 cores=0,2
/proc/56123/stat : 56123 (roundingsat) R 56120 56120 54941 0 -1 4194304 9635 0 0 0 232 14 0 0 20 0 1 0 56064054 102903808 13672 18446744073709551615 4227072 8923433 140732381674688 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25042944 140732381677844 140732381678120 140732381678120 140732381683690 0
/proc/56123/statm: 25123 13672 2336 1147 0 12550 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 104684 KiB
Current children cumulated memory: 57760 KiB
[startup+6.3004 s]
/proc/loadavg: 4.13 4.21 4.18 5/269 56123
/proc/meminfo: memFree=49033508/131382112 swapFree=33009904/33010684
[pid=56120] ppid=56117 vsize=4192 memory=3072 CPUtime=0.56 cores=0,2
/proc/56120/stat : 56120 (run-opt-break-l) S 56117 56120 54941 0 -1 4194304 244 3045 0 0 0 0 48 8 20 0 1 0 56063992 4292608 768 18446744073709551615 94776398233600 94776399128133 140737098536848 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94776399367184 94776399414928 94776416649216 140737098541333 140737098541534 140737098541534 140737098547136 0
/proc/56120/statm: 1048 768 704 219 0 110 0
[pid=56123] ppid=56120 vsize=119036 memory=71200 CPUtime=5.63 cores=0,2
/proc/56123/stat : 56123 (roundingsat) R 56120 56120 54941 0 -1 4194304 13787 0 0 0 543 20 0 0 20 0 1 0 56064054 121892864 17800 18446744073709551615 4227072 8923433 140732381674688 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25042944 140732381677844 140732381678120 140732381678120 140732381683690 0
/proc/56123/statm: 29759 17800 2336 1147 0 17186 0
Current children cumulated CPU time: 6.19 s
Current children cumulated vsize: 123228 KiB
Current children cumulated memory: 74272 KiB
[startup+12.7004 s]
/proc/loadavg: 4.12 4.21 4.18 5/269 56123
/proc/meminfo: memFree=48523916/131382112 swapFree=33009904/33010684
[pid=56120] ppid=56117 vsize=4192 memory=3072 CPUtime=0.56 cores=0,2
/proc/56120/stat : 56120 (run-opt-break-l) S 56117 56120 54941 0 -1 4194304 244 3045 0 0 0 0 48 8 20 0 1 0 56063992 4292608 768 18446744073709551615 94776398233600 94776399128133 140737098536848 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94776399367184 94776399414928 94776416649216 140737098541333 140737098541534 140737098541534 140737098547136 0
/proc/56120/statm: 1048 768 704 219 0 110 0
[pid=56123] ppid=56120 vsize=137020 memory=86176 CPUtime=12.02 cores=0,2
/proc/56123/stat : 56123 (roundingsat) R 56120 56120 54941 0 -1 4194304 17522 0 0 0 1171 31 0 0 20 0 1 0 56064054 140308480 21544 18446744073709551615 4227072 8923433 140732381674688 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25042944 140732381677844 140732381678120 140732381678120 140732381683690 0
/proc/56123/statm: 34255 21544 2336 1147 0 21682 0
Current children cumulated CPU time: 12.58 s
Current children cumulated vsize: 141212 KiB
Current children cumulated memory: 89248 KiB
[startup+25.5004 s]
/proc/loadavg: 4.16 4.21 4.18 6/269 56123
/proc/meminfo: memFree=47487864/131382112 swapFree=33009904/33010684
[pid=56120] ppid=56117 vsize=4192 memory=3072 CPUtime=0.56 cores=0,2
/proc/56120/stat : 56120 (run-opt-break-l) S 56117 56120 54941 0 -1 4194304 244 3045 0 0 0 0 48 8 20 0 1 0 56063992 4292608 768 18446744073709551615 94776398233600 94776399128133 140737098536848 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94776399367184 94776399414928 94776416649216 140737098541333 140737098541534 140737098541534 140737098547136 0
/proc/56120/statm: 1048 768 704 219 0 110 0
[pid=56123] ppid=56120 vsize=145708 memory=96044 CPUtime=24.78 cores=0,2
/proc/56123/stat : 56123 (roundingsat) R 56120 56120 54941 0 -1 4194304 19490 0 0 0 2428 50 0 0 20 0 1 0 56064054 149204992 24011 18446744073709551615 4227072 8923433 140732381674688 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25042944 140732381677844 140732381678120 140732381678120 140732381683690 0
/proc/56123/statm: 36427 24011 2336 1147 0 23854 0
Current children cumulated CPU time: 25.34 s
Current children cumulated vsize: 149900 KiB
Current children cumulated memory: 99116 KiB
[startup+51.1136 s]
/proc/loadavg: 4.10 4.19 4.18 5/269 56124
/proc/meminfo: memFree=45577344/131382112 swapFree=33009904/33010684
[pid=56120] ppid=56117 vsize=4192 memory=3072 CPUtime=0.56 cores=0,2
/proc/56120/stat : 56120 (run-opt-break-l) S 56117 56120 54941 0 -1 4194304 244 3045 0 0 0 0 48 8 20 0 1 0 56063992 4292608 768 18446744073709551615 94776398233600 94776399128133 140737098536848 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94776399367184 94776399414928 94776416649216 140737098541333 140737098541534 140737098541534 140737098547136 0
/proc/56120/statm: 1048 768 704 219 0 110 0
[pid=56123] ppid=56120 vsize=165540 memory=114360 CPUtime=50.32 cores=0,2
/proc/56123/stat : 56123 (roundingsat) R 56120 56120 54941 0 -1 4194304 23044 0 0 0 4947 85 0 0 20 0 1 0 56064054 169512960 28590 18446744073709551615 4227072 8923433 140732381674688 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25042944 140732381677844 140732381678120 140732381678120 140732381683690 0
/proc/56123/statm: 41385 28590 2336 1147 0 28812 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 169732 KiB
Current children cumulated memory: 117432 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.18 4.17 5/268 56130
/proc/meminfo: memFree=42781216/131382112 swapFree=33009904/33010684
[pid=56120] ppid=56117 vsize=4192 memory=3072 CPUtime=0.56 cores=0,2
/proc/56120/stat : 56120 (run-opt-break-l) S 56117 56120 54941 0 -1 4194304 244 3045 0 0 0 0 48 8 20 0 1 0 56063992 4292608 768 18446744073709551615 94776398233600 94776399128133 140737098536848 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94776399367184 94776399414928 94776416649216 140737098541333 140737098541534 140737098541534 140737098547136 0
/proc/56120/statm: 1048 768 704 219 0 110 0
[pid=56123] ppid=56120 vsize=220908 memory=163484 CPUtime=100.61 cores=0,2
/proc/56123/stat : 56123 (roundingsat) R 56120 56120 54941 0 -1 4194304 32263 0 0 0 9904 157 0 0 20 0 1 0 56064054 226209792 40871 18446744073709551615 4227072 8923433 140732381674688 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25042944 140732381677844 140732381678120 140732381678120 140732381683690 0
/proc/56123/statm: 55227 40871 2336 1147 0 42654 0
Current children cumulated CPU time: 101.17 s
Current children cumulated vsize: 225100 KiB
Current children cumulated memory: 166556 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.17 4.17 5/260 56132
/proc/meminfo: memFree=38938088/131382112 swapFree=33009904/33010684
[pid=56120] ppid=56117 vsize=4192 memory=3072 CPUtime=0.56 cores=0,2
/proc/56120/stat : 56120 (run-opt-break-l) S 56117 56120 54941 0 -1 4194304 244 3045 0 0 0 0 48 8 20 0 1 0 56063992 4292608 768 18446744073709551615 94776398233600 94776399128133 140737098536848 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94776399367184 94776399414928 94776416649216 140737098541333 140737098541534 140737098541534 140737098547136 0
/proc/56120/statm: 1048 768 704 219 0 110 0
[pid=56123] ppid=56120 vsize=253876 memory=179496 CPUtime=159.9 cores=0,2
/proc/56123/stat : 56123 (roundingsat) R 56120 56120 54941 0 -1 4194304 35847 0 0 0 15758 232 0 0 20 0 1 0 56064054 259969024 44874 18446744073709551615 4227072 8923433 140732381674688 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25042944 140732381677844 140732381678120 140732381678120 140732381683690 0
/proc/56123/statm: 63469 44874 2336 1147 0 50896 0
Current children cumulated CPU time: 160.46 s
Current children cumulated vsize: 258068 KiB
Current children cumulated memory: 182568 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.16 4.17 5/261 56135
/proc/meminfo: memFree=32069220/131382112 swapFree=33009904/33010684
[pid=56120] ppid=56117 vsize=4192 memory=3072 CPUtime=0.56 cores=0,2
/proc/56120/stat : 56120 (run-opt-break-l) S 56117 56120 54941 0 -1 4194304 244 3045 0 0 0 0 48 8 20 0 1 0 56063992 4292608 768 18446744073709551615 94776398233600 94776399128133 140737098536848 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94776399367184 94776399414928 94776416649216 140737098541333 140737098541534 140737098541534 140737098547136 0
/proc/56120/statm: 1048 768 704 219 0 110 0
[pid=56123] ppid=56120 vsize=271820 memory=194600 CPUtime=219.48 cores=0,2
/proc/56123/stat : 56123 (roundingsat) R 56120 56120 54941 0 -1 4194304 39640 0 0 0 21647 301 0 0 20 0 1 0 56064054 278343680 48650 18446744073709551615 4227072 8923433 140732381674688 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25042944 140732381677844 140732381678120 140732381678120 140732381683690 0
/proc/56123/statm: 67955 48650 2336 1147 0 55382 0
Current children cumulated CPU time: 220.04 s
Current children cumulated vsize: 276012 KiB
Current children cumulated memory: 197672 KiB
################
# More data... #
################
[pid=56123] ppid=56120 vsize=728140 memory=616504 CPUtime=3111.53 cores=0,2
/proc/56123/stat : 56123 (roundingsat) R 56120 56120 54941 0 -1 4194304 123883 0 0 0 308479 2674 0 0 20 0 1 0 56064054 745615360 154126 18446744073709551615 4227072 8923433 140732381674688 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25042944 140732381677844 140732381678120 140732381678120 140732381683690 0
/proc/56123/statm: 182035 154126 2336 1147 0 169462 0
Current children cumulated CPU time: 3112.09 s
Current children cumulated vsize: 732332 KiB
Current children cumulated memory: 619576 KiB
[startup+3222.3 s]
/proc/loadavg: 4.24 4.17 4.18 5/265 56607
/proc/meminfo: memFree=110303576/131382112 swapFree=33009904/33010684
[pid=56120] ppid=56117 vsize=4192 memory=3072 CPUtime=0.56 cores=0,2
/proc/56120/stat : 56120 (run-opt-break-l) S 56117 56120 54941 0 -1 4194304 244 3045 0 0 0 0 48 8 20 0 1 0 56063992 4292608 768 18446744073709551615 94776398233600 94776399128133 140737098536848 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94776399367184 94776399414928 94776416649216 140737098541333 140737098541534 140737098541534 140737098547136 0
/proc/56120/statm: 1048 768 704 219 0 110 0
[pid=56123] ppid=56120 vsize=728140 memory=617656 CPUtime=3171.09 cores=0,2
/proc/56123/stat : 56123 (roundingsat) R 56120 56120 54941 0 -1 4194304 123933 0 0 0 314397 2712 0 0 20 0 1 0 56064054 745615360 154414 18446744073709551615 4227072 8923433 140732381674688 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25042944 140732381677844 140732381678120 140732381678120 140732381683690 0
/proc/56123/statm: 182035 154414 2336 1147 0 169462 0
Current children cumulated CPU time: 3171.65 s
Current children cumulated vsize: 732332 KiB
Current children cumulated memory: 620728 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.13 4.17 5/265 56608
/proc/meminfo: memFree=109089456/131382112 swapFree=33009904/33010684
[pid=56120] ppid=56117 vsize=4192 memory=3072 CPUtime=0.56 cores=0,2
/proc/56120/stat : 56120 (run-opt-break-l) S 56117 56120 54941 0 -1 4194304 244 3045 0 0 0 0 48 8 20 0 1 0 56063992 4292608 768 18446744073709551615 94776398233600 94776399128133 140737098536848 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94776399367184 94776399414928 94776416649216 140737098541333 140737098541534 140737098541534 140737098547136 0
/proc/56120/statm: 1048 768 704 219 0 110 0
[pid=56123] ppid=56120 vsize=728576 memory=618040 CPUtime=3230.45 cores=0,2
/proc/56123/stat : 56123 (roundingsat) R 56120 56120 54941 0 -1 4194304 124045 0 0 0 320297 2748 0 0 20 0 1 0 56064054 746061824 154510 18446744073709551615 4227072 8923433 140732381674688 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25042944 140732381677844 140732381678120 140732381678120 140732381683690 0
/proc/56123/statm: 182144 154510 2336 1147 0 169571 0
Current children cumulated CPU time: 3231.01 s
Current children cumulated vsize: 732768 KiB
Current children cumulated memory: 621112 KiB
[startup+3342.3 s]
/proc/loadavg: 4.35 4.19 4.18 5/259 56610
/proc/meminfo: memFree=107843188/131382112 swapFree=33009904/33010684
[pid=56120] ppid=56117 vsize=4192 memory=3072 CPUtime=0.56 cores=0,2
/proc/56120/stat : 56120 (run-opt-break-l) S 56117 56120 54941 0 -1 4194304 244 3045 0 0 0 0 48 8 20 0 1 0 56063992 4292608 768 18446744073709551615 94776398233600 94776399128133 140737098536848 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94776399367184 94776399414928 94776416649216 140737098541333 140737098541534 140737098541534 140737098547136 0
/proc/56120/statm: 1048 768 704 219 0 110 0
[pid=56123] ppid=56120 vsize=728576 memory=621368 CPUtime=3289.97 cores=0,2
/proc/56123/stat : 56123 (roundingsat) R 56120 56120 54941 0 -1 4194304 124111 0 0 0 326212 2785 0 0 20 0 1 0 56064054 746061824 155342 18446744073709551615 4227072 8923433 140732381674688 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25042944 140732381677844 140732381678120 140732381678120 140732381683690 0
/proc/56123/statm: 182144 155342 2336 1147 0 169571 0
Current children cumulated CPU time: 3290.53 s
Current children cumulated vsize: 732768 KiB
Current children cumulated memory: 624440 KiB
[startup+3402.3 s]
/proc/loadavg: 4.18 4.17 4.18 5/262 56625
/proc/meminfo: memFree=106853652/131382112 swapFree=33009904/33010684
[pid=56120] ppid=56117 vsize=4192 memory=3072 CPUtime=0.56 cores=0,2
/proc/56120/stat : 56120 (run-opt-break-l) S 56117 56120 54941 0 -1 4194304 244 3045 0 0 0 0 48 8 20 0 1 0 56063992 4292608 768 18446744073709551615 94776398233600 94776399128133 140737098536848 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94776399367184 94776399414928 94776416649216 140737098541333 140737098541534 140737098541534 140737098547136 0
/proc/56120/statm: 1048 768 704 219 0 110 0
[pid=56123] ppid=56120 vsize=728576 memory=635704 CPUtime=3349.46 cores=0,2
/proc/56123/stat : 56123 (roundingsat) R 56120 56120 54941 0 -1 4194304 124135 0 0 0 332123 2823 0 0 20 0 1 0 56064054 746061824 158926 18446744073709551615 4227072 8923433 140732381674688 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25042944 140732381677844 140732381678120 140732381678120 140732381683690 0
/proc/56123/statm: 182144 158926 2336 1147 0 169571 0
Current children cumulated CPU time: 3350.02 s
Current children cumulated vsize: 732768 KiB
Current children cumulated memory: 638776 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.15 4.17 5/264 56644
/proc/meminfo: memFree=105879460/131382112 swapFree=33009904/33010684
[pid=56120] ppid=56117 vsize=4192 memory=3072 CPUtime=0.56 cores=0,2
/proc/56120/stat : 56120 (run-opt-break-l) S 56117 56120 54941 0 -1 4194304 244 3045 0 0 0 0 48 8 20 0 1 0 56063992 4292608 768 18446744073709551615 94776398233600 94776399128133 140737098536848 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94776399367184 94776399414928 94776416649216 140737098541333 140737098541534 140737098541534 140737098547136 0
/proc/56120/statm: 1048 768 704 219 0 110 0
[pid=56123] ppid=56120 vsize=728576 memory=655288 CPUtime=3409.05 cores=0,2
/proc/56123/stat : 56123 (roundingsat) R 56120 56120 54941 0 -1 4194304 124146 0 0 0 338059 2846 0 0 20 0 1 0 56064054 746061824 163822 18446744073709551615 4227072 8923433 140732381674688 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25042944 140732381677844 140732381678120 140732381678120 140732381683690 0
/proc/56123/statm: 182144 163822 2336 1147 0 169571 0
Current children cumulated CPU time: 3409.61 s
Current children cumulated vsize: 732768 KiB
Current children cumulated memory: 658360 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.14 4.17 5/264 56648
/proc/meminfo: memFree=104719276/131382112 swapFree=33009904/33010684
[pid=56120] ppid=56117 vsize=4192 memory=3072 CPUtime=0.56 cores=0,2
/proc/56120/stat : 56120 (run-opt-break-l) S 56117 56120 54941 0 -1 4194304 244 3045 0 0 0 0 48 8 20 0 1 0 56063992 4292608 768 18446744073709551615 94776398233600 94776399128133 140737098536848 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94776399367184 94776399414928 94776416649216 140737098541333 140737098541534 140737098541534 140737098547136 0
/proc/56120/statm: 1048 768 704 219 0 110 0
[pid=56123] ppid=56120 vsize=729156 memory=676024 CPUtime=3468.59 cores=0,2
/proc/56123/stat : 56123 (roundingsat) R 56120 56120 54941 0 -1 4194304 124292 0 0 0 343980 2879 0 0 20 0 1 0 56064054 746655744 169006 18446744073709551615 4227072 8923433 140732381674688 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25042944 140732381677844 140732381678120 140732381678120 140732381683690 0
/proc/56123/statm: 182289 169006 2336 1147 0 169716 0
Current children cumulated CPU time: 3469.15 s
Current children cumulated vsize: 733348 KiB
Current children cumulated memory: 679096 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.12 4.16 5/264 56650
/proc/meminfo: memFree=103544668/131382112 swapFree=33009904/33010684
[pid=56120] ppid=56117 vsize=4192 memory=3072 CPUtime=0.56 cores=0,2
/proc/56120/stat : 56120 (run-opt-break-l) S 56117 56120 54941 0 -1 4194304 244 3045 0 0 0 0 48 8 20 0 1 0 56063992 4292608 768 18446744073709551615 94776398233600 94776399128133 140737098536848 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94776399367184 94776399414928 94776416649216 140737098541333 140737098541534 140737098541534 140737098547136 0
/proc/56120/statm: 1048 768 704 219 0 110 0
[pid=56123] ppid=56120 vsize=730340 memory=677176 CPUtime=3528.06 cores=0,2
/proc/56123/stat : 56123 (roundingsat) R 56120 56120 54941 0 -1 4194304 124594 0 0 0 349895 2911 0 0 20 0 1 0 56064054 747868160 169294 18446744073709551615 4227072 8923433 140732381674688 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25042944 140732381677844 140732381678120 140732381678120 140732381683690 0
/proc/56123/statm: 182585 169294 2336 1147 0 170012 0
Current children cumulated CPU time: 3528.62 s
Current children cumulated vsize: 734532 KiB
Current children cumulated memory: 680248 KiB
[startup+3642.3 s]
/proc/loadavg: 4.14 4.13 4.16 5/263 56652
/proc/meminfo: memFree=102589236/131382112 swapFree=33009904/33010684
[pid=56120] ppid=56117 vsize=4192 memory=3072 CPUtime=0.56 cores=0,2
/proc/56120/stat : 56120 (run-opt-break-l) S 56117 56120 54941 0 -1 4194304 244 3045 0 0 0 0 48 8 20 0 1 0 56063992 4292608 768 18446744073709551615 94776398233600 94776399128133 140737098536848 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94776399367184 94776399414928 94776416649216 140737098541333 140737098541534 140737098541534 140737098547136 0
/proc/56120/statm: 1048 768 704 219 0 110 0
[pid=56123] ppid=56120 vsize=730340 memory=677176 CPUtime=3587.66 cores=0,2
/proc/56123/stat : 56123 (roundingsat) R 56120 56120 54941 0 -1 4194304 124613 0 0 0 355823 2943 0 0 20 0 1 0 56064054 747868160 169294 18446744073709551615 4227072 8923433 140732381674688 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25042944 140732381677844 140732381678120 140732381678120 140732381683690 0
/proc/56123/statm: 182585 169294 2336 1147 0 170012 0
Current children cumulated CPU time: 3588.22 s
Current children cumulated vsize: 734532 KiB
Current children cumulated memory: 680248 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3654.2 s]
/proc/loadavg: 4.10 4.12 4.16 5/263 56653
/proc/meminfo: memFree=102418492/131382112 swapFree=33009904/33010684
[pid=56120] ppid=56117 vsize=4192 memory=3072 CPUtime=0.56 cores=0,2
/proc/56120/stat : 56120 (run-opt-break-l) S 56117 56120 54941 0 -1 4194304 244 3045 0 0 0 0 48 8 20 0 1 0 56063992 4292608 768 18446744073709551615 94776398233600 94776399128133 140737098536848 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94776399367184 94776399414928 94776416649216 140737098541333 140737098541534 140737098541534 140737098547136 0
/proc/56120/statm: 1048 768 704 219 0 110 0
[pid=56123] ppid=56120 vsize=730340 memory=677176 CPUtime=3599.52 cores=0,2
/proc/56123/stat : 56123 (roundingsat) R 56120 56120 54941 0 -1 4194304 124613 0 0 0 357000 2952 0 0 20 0 1 0 56064054 747868160 169294 18446744073709551615 4227072 8923433 140732381674688 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25042944 140732381677844 140732381678120 140732381678120 140732381683690 0
/proc/56123/statm: 182585 169294 2336 1147 0 170012 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 734532 KiB
Current children cumulated memory: 680248 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3654.21 s]
# the end of solver process 56120 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.484123 s, system=0.086566 s
[startup+3654.34 s]
# the end of solver process 56123 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3570.5 s, system=29.6294 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+3654.3 s]*
/proc/loadavg: 4.10 4.12 4.16 5/262 56653
/proc/meminfo: memFree=102404628/131382112 swapFree=33009904/33010684
[pid=56123] ppid=56117 vsize=713104 memory=664816 CPUtime=3599.54 cores=0,2
/proc/56123/stat : 56123 (roundingsat) D 56117 56120 54941 0 -1 4194304 124620 0 1 0 357001 2953 0 0 20 0 1 0 56064054 730218496 166204 18446744073709551615 4227072 8923433 140732381674688 0 0 0 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9823104 9832592 25042944 140732381677844 140732381678120 140732381678120 140732381683690 0
/proc/56123/statm: 178276 166204 2464 1147 0 165703 0
Current cumulated CPU time of completed processes: 0.570689 s
Current children cumulated CPU time: 3599.54 s
Current children cumulated vsize: 713104 KiB
Current children cumulated memory: 664816 KiB
Child status: 2
Real time (s): 3654.34
CPU time (s): 3600.13
CPU user time (s): 3570.5
CPU system time (s): 29.6294
CPU usage (%): 98.5165
Max. virtual memory (cumulated for all children) (KiB): 734532
Max. memory (cumulated for all children) (KiB): 680248
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3570.5
system time used= 29.6294
maximum resident set size= 677688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 127925
page faults= 1
swaps= 0
block input operations= 4256
block output operations= 22796344
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4761
involuntary context switches= 8910
# summary of solver processes directly reported to runsolver:
# pid: 56120,56123
# total CPU time (s): 3600.13
# total CPU user time (s): 3570.5
# total CPU system time (s): 29.6294
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.3772 second user time and 37.802 second system time
The end
Begin job on nodeC001 at 2025-07-01 23:04:11
IDJOB=4499079
IDBENCH=148770
IDSOLVER=3360
FILE ID=nodeC001/4499079-1751403850
RUNJOBID= nodeC001-1751398041-54954
SLURM_JOB_ID= 9598279
Free space on /tmp= 432912 MiB
SOLVER NAME= roundingsat+pbsuma-opt-log 63f22ad
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx49.opb
COMMAND LINE= run-opt-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4499079-1751403850/watcher-4499079-1751403850 -o /tmp/evaluation-result-4499079-1751403850/solver-4499079-1751403850 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751398041-54954 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4499079-1751403850.opb PROOFDIR/proof-4499079-1751403850
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= bb00c8681178995acecbc2b6e4ec1a1a
RANDOM SEED=1849188118
nodeC001 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.396
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3661.738
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.159
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.855
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.228
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3618.633
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.603
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 49548924 kB
MemAvailable: 106081256 kB
Buffers: 1668 kB
Cached: 57271968 kB
SwapCached: 20 kB
Active: 23848584 kB
Inactive: 56973644 kB
Active(anon): 23543920 kB
Inactive(anon): 22652 kB
Active(file): 304664 kB
Inactive(file): 56950992 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7440232 kB
Writeback: 0 kB
AnonPages: 23551728 kB
Mapped: 116632 kB
Shmem: 17896 kB
KReclaimable: 232220 kB
Slab: 549808 kB
SReclaimable: 232220 kB
SUnreclaim: 317588 kB
KernelStack: 4320 kB
PageTables: 51928 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 26495508 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149768 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 5134336 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 195400 kB
DirectMap2M: 9144320 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433024 MiB
End job on nodeC001 at 2025-07-02 00:05:06