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-4499171-1751405983.opb'
0.00/0.03 c read 0.32MB (11.29ms)
0.00/0.03 c [cnf: #variables 3216 #clauses 3659 #duplicates 0 #arr 33834]
0.00/0.03 c output proof to 'PROOFDIR/proof-4499171-1751405983'
0.00/0.03 c
0.00/0.03 c make graph and approximate orbits
0.00/0.04 c [group: #orbits ~= 38] (10.89ms)
0.00/0.04 c
0.00/0.04 c detect special group actions
0.00/0.04 c probe for Johnson action (limit=64)
0.00/0.05 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.10 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.10 c recursing 216 blocks of candidate 6x1072r
0.00/0.11 c found row 3x12, generating row predicate
0.08/0.12 c found row 10x12, generating row predicate
0.08/0.14 c found row 6x1072, generating row predicate
0.08/0.14 c (96.22ms)
0.08/0.14 c
0.08/0.14 c detect symmetries on remainder
0.08/0.14 c [graph: #vertices 19325 #edges 92568]
0.08/0.14 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.08/0.19 c [group: #symmetries 4.80*10^130 #generators 353] (55.24ms)
0.08/0.19 c
0.08/0.19 c optimize generators (opt_passes=64, conjugate_limit=256)
0.20/0.24 c opt it=15, l=10538, m=252, opt=10, avg=281, b=12, gens=353
0.20/0.29 c opt it=31, l=15703, m=530, opt=25, avg=274, b=12, gens=353
0.30/0.33 c opt it=47, l=20868, m=788, opt=38, avg=269, b=12, gens=353
0.30/0.37 c opt it=63, l=26030, m=1046, opt=50, avg=264, b=12, gens=353
0.30/0.38 c ran it=0, +gens=44
0.50/0.57 c con best_support=12, best_gens=192, +gens=244
0.50/0.57 c (377.09ms)
0.50/0.57 c
0.50/0.57 c finalize break order and special generators
0.50/0.57 c
0.50/0.57 c add generic predicates (break_depth=20)
0.50/0.58 c added predicates for 641 generators (4.85ms)
0.67/0.78 c
0.67/0.78 c generation finished
0.67/0.78 c [sbp: #constraints 20550 #add_vars 6772]
0.67/0.78 c
0.67/0.78 c write result to 'HOME/instance-4499171-1751405983.opb.pre'
0.67/0.78 c wrote 1.06MB (4.78ms)
0.67/0.78 c ------------------------------------------------------------------
0.67/0.78 c 377.09ms 49.13% optimize_gens
0.67/0.78 c 203.48ms 26.51% other
0.67/0.78 c 96.22ms 12.53% detect_special
0.67/0.79 c 55.24ms 7.20% detect_generic
0.67/0.79 c 11.29ms 1.47% parse
0.67/0.79 c 10.89ms 1.42% approx_orbits
0.67/0.79 c 4.85ms 0.63% break_generic
0.67/0.79 c 4.78ms 0.62% output
0.67/0.79 c 3.78ms 0.49% finalize_order
0.67/0.79 c ───────────────────────────────────────────────
0.67/0.79 c 767.61ms 100% total
0.67/0.79 c ------------------------------------------------------------------
0.76/0.83 c RoundingSat 2
0.76/0.83 c branch pb25
0.76/0.83 c commit 63f22ad
1.04/1.14 c #variables 9988 #constraints 24251
1.04/1.14 c objective is ce32
1.04/1.14 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
1.04/1.14 c initial counting CF 32, 64, 128, Arb: 385 , 0 , 0 , 0
1.04/1.14 c bounds - >= 0 @ 0.256953
2.13/2.27 c #Conflicts: 1000 | #Constraints: 25251
2.13/2.27 c #Conflicts: 2000 | #Constraints: 26255
2.13/2.27 c INPROCESSING
2.13/2.27 c GARBAGE COLLECT
2.13/2.27 c rational objective 6
3.82/3.96 c #Conflicts: 3000 | #Constraints: 23015
3.82/3.96 c #Conflicts: 4000 | #Constraints: 24018
3.82/3.96 c INPROCESSING
3.82/3.96 c GARBAGE COLLECT
3.82/3.96 c rational objective 6
5.72/5.86 c #Conflicts: 5000 | #Constraints: 23425
5.72/5.86 c #Conflicts: 6000 | #Constraints: 24428
5.72/5.86 c INPROCESSING
5.72/5.86 c GARBAGE COLLECT
5.72/5.86 c rational objective 6
7.31/7.47 c #Conflicts: 7000 | #Constraints: 23375
7.31/7.47 c #Conflicts: 8000 | #Constraints: 24378
7.31/7.47 c #Conflicts: 9000 | #Constraints: 25383
7.31/7.47 c INPROCESSING
7.31/7.47 c GARBAGE COLLECT
7.31/7.47 c rational objective 6
9.60/9.76 c #Conflicts: 10000 | #Constraints: 24085
9.60/9.76 c #Conflicts: 11000 | #Constraints: 25086
9.60/9.76 c #Conflicts: 12000 | #Constraints: 26093
9.60/9.76 c INPROCESSING
9.60/9.76 c GARBAGE COLLECT
9.60/9.76 c rational objective 6
12.69/12.84 c #Conflicts: 13000 | #Constraints: 24546
12.69/12.84 c #Conflicts: 14000 | #Constraints: 25547
12.69/12.84 c #Conflicts: 15000 | #Constraints: 26551
12.69/12.84 c INPROCESSING
12.69/12.84 c GARBAGE COLLECT
12.69/12.84 c rational objective 6
15.48/15.62 c #Conflicts: 16000 | #Constraints: 24757
15.48/15.62 c #Conflicts: 17000 | #Constraints: 25758
15.48/15.62 c #Conflicts: 18000 | #Constraints: 26763
15.48/15.62 c INPROCESSING
15.48/15.62 c GARBAGE COLLECT
15.48/15.62 c rational objective 6
18.37/18.53 c #Conflicts: 19000 | #Constraints: 24770
18.37/18.53 c #Conflicts: 20000 | #Constraints: 25774
18.37/18.53 c #Conflicts: 21000 | #Constraints: 26776
18.37/18.53 c INPROCESSING
18.37/18.53 c GARBAGE COLLECT
18.37/18.53 c rational objective 6
21.56/21.72 c #Conflicts: 22000 | #Constraints: 24556
21.56/21.72 c #Conflicts: 23000 | #Constraints: 25558
21.56/21.72 c #Conflicts: 24000 | #Constraints: 26562
21.56/21.72 c #Conflicts: 25000 | #Constraints: 27574
21.56/21.72 c INPROCESSING
21.56/21.72 c GARBAGE COLLECT
21.56/21.72 c rational objective 6
25.15/25.35 c #Conflicts: 26000 | #Constraints: 25169
25.15/25.35 c #Conflicts: 27000 | #Constraints: 26172
25.15/25.35 c #Conflicts: 28000 | #Constraints: 27174
25.15/25.35 c #Conflicts: 29000 | #Constraints: 28177
25.15/25.35 c INPROCESSING
25.15/25.35 c GARBAGE COLLECT
25.15/25.35 c rational objective 6
29.04/29.22 c #Conflicts: 30000 | #Constraints: 25563
29.04/29.22 c #Conflicts: 31000 | #Constraints: 26567
29.04/29.22 c #Conflicts: 32000 | #Constraints: 27571
29.04/29.22 c #Conflicts: 33000 | #Constraints: 28573
29.04/29.22 c INPROCESSING
29.04/29.22 c GARBAGE COLLECT
29.04/29.22 c rational objective 6
31.84/32.08 c #Conflicts: 34000 | #Constraints: 25669
31.84/32.08 c #Conflicts: 35000 | #Constraints: 26671
31.84/32.08 c #Conflicts: 36000 | #Constraints: 27673
31.84/32.08 c #Conflicts: 37000 | #Constraints: 28676
31.84/32.08 c INPROCESSING
31.84/32.08 c GARBAGE COLLECT
31.84/32.08 c rational objective 6
37.25/37.79 c #Conflicts: 38000 | #Constraints: 25644
37.25/37.79 c #Conflicts: 39000 | #Constraints: 26647
37.25/37.79 c #Conflicts: 40000 | #Constraints: 27650
37.25/37.79 c #Conflicts: 41000 | #Constraints: 28652
37.25/37.79 c INPROCESSING
37.25/37.79 c GARBAGE COLLECT
37.25/37.79 c rational objective 6
42.73/43.20 c #Conflicts: 42000 | #Constraints: 25397
42.73/43.20 c #Conflicts: 43000 | #Constraints: 26398
42.73/43.20 c #Conflicts: 44000 | #Constraints: 27399
42.73/43.20 c #Conflicts: 45000 | #Constraints: 28400
42.73/43.20 c #Conflicts: 46000 | #Constraints: 29401
42.73/43.20 c INPROCESSING
42.73/43.20 c GARBAGE COLLECT
42.73/43.20 c rational objective 6
47.72/48.20 c #Conflicts: 47000 | #Constraints: 25998
47.72/48.20 c #Conflicts: 48000 | #Constraints: 26999
47.72/48.20 c #Conflicts: 49000 | #Constraints: 28000
47.72/48.20 c #Conflicts: 50000 | #Constraints: 29001
47.72/48.20 c #Conflicts: 51000 | #Constraints: 30003
47.72/48.20 c INPROCESSING
47.72/48.20 c GARBAGE COLLECT
47.72/48.20 c rational objective 6
51.81/52.35 c #Conflicts: 52000 | #Constraints: 26341
51.81/52.35 c #Conflicts: 53000 | #Constraints: 27344
51.81/52.35 c #Conflicts: 54000 | #Constraints: 28347
51.81/52.35 c #Conflicts: 55000 | #Constraints: 29352
51.81/52.35 c #Conflicts: 56000 | #Constraints: 30357
51.81/52.35 c INPROCESSING
51.81/52.35 c GARBAGE COLLECT
51.81/52.35 c rational objective 6
56.51/57.02 c #Conflicts: 57000 | #Constraints: 26532
56.51/57.02 c #Conflicts: 58000 | #Constraints: 27533
56.51/57.02 c #Conflicts: 59000 | #Constraints: 28538
56.51/57.02 c #Conflicts: 60000 | #Constraints: 29541
56.51/57.02 c #Conflicts: 61000 | #Constraints: 30544
56.51/57.02 c INPROCESSING
56.51/57.02 c GARBAGE COLLECT
56.51/57.02 c rational objective 6
70.90/71.69 c #Conflicts: 62000 | #Constraints: 26532
70.90/71.69 c #Conflicts: 63000 | #Constraints: 27540
70.90/71.69 c #Conflicts: 64000 | #Constraints: 28541
70.90/71.69 c #Conflicts: 65000 | #Constraints: 29543
70.90/71.69 c #Conflicts: 66000 | #Constraints: 30544
70.90/71.69 c INPROCESSING
70.90/71.69 c GARBAGE COLLECT
70.90/71.69 c #Conflicts: 67000 | #Constraints: 26325
70.90/71.69 c #Conflicts: 68000 | #Constraints: 27325
70.90/71.69 c #Conflicts: 69000 | #Constraints: 28326
70.90/71.69 c #Conflicts: 70000 | #Constraints: 29327
70.90/71.69 c #Conflicts: 71000 | #Constraints: 30328
70.90/71.69 c #Conflicts: 72000 | #Constraints: 31329
70.90/71.69 c INPROCESSING
70.90/71.69 c GARBAGE COLLECT
70.90/71.69 c rational objective 6
75.41/76.14 c #Conflicts: 73000 | #Constraints: 26877
75.41/76.14 c #Conflicts: 74000 | #Constraints: 27878
75.41/76.14 c #Conflicts: 75000 | #Constraints: 28882
75.41/76.14 c #Conflicts: 76000 | #Constraints: 29890
75.41/76.14 c #Conflicts: 77000 | #Constraints: 30893
75.41/76.14 c #Conflicts: 78000 | #Constraints: 31895
75.41/76.14 c INPROCESSING
75.41/76.14 c GARBAGE COLLECT
75.41/76.14 c rational objective 6
80.08/80.85 c #Conflicts: 79000 | #Constraints: 27249
80.08/80.85 c #Conflicts: 80000 | #Constraints: 28251
80.08/80.85 c #Conflicts: 81000 | #Constraints: 29252
80.08/80.85 c #Conflicts: 82000 | #Constraints: 30252
80.08/80.85 c #Conflicts: 83000 | #Constraints: 31252
80.08/80.85 c #Conflicts: 84000 | #Constraints: 32252
80.08/80.85 c INPROCESSING
80.08/80.85 c GARBAGE COLLECT
80.08/80.85 c rational objective 6
85.16/85.91 c #Conflicts: 85000 | #Constraints: 27452
85.16/85.91 c #Conflicts: 86000 | #Constraints: 28453
85.16/85.91 c #Conflicts: 87000 | #Constraints: 29453
85.16/85.91 c #Conflicts: 88000 | #Constraints: 30454
85.16/85.91 c #Conflicts: 89000 | #Constraints: 31458
85.16/85.91 c #Conflicts: 90000 | #Constraints: 32462
85.16/85.91 c INPROCESSING
85.16/85.91 c GARBAGE COLLECT
85.16/85.91 c rational objective 6
92.94/93.74 c #Conflicts: 91000 | #Constraints: 27404
92.94/93.74 c #Conflicts: 92000 | #Constraints: 28407
92.94/93.74 c #Conflicts: 93000 | #Constraints: 29414
92.94/93.74 c #Conflicts: 94000 | #Constraints: 30416
92.94/93.74 c #Conflicts: 95000 | #Constraints: 31417
92.94/93.74 c #Conflicts: 96000 | #Constraints: 32419
92.94/93.74 c INPROCESSING
92.94/93.74 c GARBAGE COLLECT
92.94/93.74 c rational objective 6
99.74/100.65 c #Conflicts: 97000 | #Constraints: 27228
99.74/100.65 c #Conflicts: 98000 | #Constraints: 28229
99.74/100.65 c #Conflicts: 99000 | #Constraints: 29232
99.74/100.65 c #Conflicts: 100000 | #Constraints: 30235
99.74/100.65 c #Conflicts: 101000 | #Constraints: 31239
99.74/100.65 c #Conflicts: 102000 | #Constraints: 32243
99.74/100.65 c #Conflicts: 103000 | #Constraints: 33246
99.74/100.65 c INPROCESSING
99.74/100.65 c GARBAGE COLLECT
99.74/100.65 c rational objective 6
106.61/107.56 c #Conflicts: 104000 | #Constraints: 27812
106.61/107.56 c #Conflicts: 105000 | #Constraints: 28818
106.61/107.56 c #Conflicts: 106000 | #Constraints: 29825
106.61/107.56 c #Conflicts: 107000 | #Constraints: 30827
106.61/107.56 c #Conflicts: 108000 | #Constraints: 31829
106.61/107.56 c #Conflicts: 109000 | #Constraints: 32831
106.61/107.56 c #Conflicts: 110000 | #Constraints: 33833
106.61/107.56 c INPROCESSING
106.61/107.56 c GARBAGE COLLECT
106.61/107.56 c rational objective 6
113.30/114.20 c #Conflicts: 111000 | #Constraints: 28208
113.30/114.20 c #Conflicts: 112000 | #Constraints: 29209
113.30/114.20 c #Conflicts: 113000 | #Constraints: 30212
113.30/114.20 c #Conflicts: 114000 | #Constraints: 31215
113.30/114.20 c #Conflicts: 115000 | #Constraints: 32218
113.30/114.20 c #Conflicts: 116000 | #Constraints: 33220
113.30/114.20 c #Conflicts: 117000 | #Constraints: 34221
113.30/114.20 c INPROCESSING
113.30/114.20 c GARBAGE COLLECT
113.30/114.20 c rational objective 6
122.97/123.95 c #Conflicts: 118000 | #Constraints: 28398
122.97/123.95 c #Conflicts: 119000 | #Constraints: 29402
122.97/123.95 c #Conflicts: 120000 | #Constraints: 30407
122.97/123.95 c #Conflicts: 121000 | #Constraints: 31410
122.97/123.95 c #Conflicts: 122000 | #Constraints: 32413
122.97/123.95 c #Conflicts: 123000 | #Constraints: 33419
122.97/123.95 c #Conflicts: 124000 | #Constraints: 34422
122.97/123.95 c INPROCESSING
122.97/123.95 c GARBAGE COLLECT
122.97/123.95 c rational objective 6
132.92/134.11 c #Conflicts: 125000 | #Constraints: 28390
132.92/134.11 c #Conflicts: 126000 | #Constraints: 29392
132.92/134.11 c #Conflicts: 127000 | #Constraints: 30395
132.92/134.11 c #Conflicts: 128000 | #Constraints: 31401
132.92/134.11 c #Conflicts: 129000 | #Constraints: 32404
132.92/134.11 c #Conflicts: 130000 | #Constraints: 33410
132.92/134.11 c #Conflicts: 131000 | #Constraints: 34411
132.92/134.11 c INPROCESSING
132.92/134.11 c GARBAGE COLLECT
132.92/134.11 c rational objective 6
141.48/142.69 c #Conflicts: 132000 | #Constraints: 28180
141.48/142.69 c #Conflicts: 133000 | #Constraints: 29181
141.48/142.69 c #Conflicts: 134000 | #Constraints: 30184
141.48/142.69 c #Conflicts: 135000 | #Constraints: 31186
141.48/142.69 c #Conflicts: 136000 | #Constraints: 32188
141.48/142.69 c #Conflicts: 137000 | #Constraints: 33191
141.48/142.69 c #Conflicts: 138000 | #Constraints: 34193
141.48/142.69 c #Conflicts: 139000 | #Constraints: 35196
141.48/142.69 c INPROCESSING
141.48/142.69 c GARBAGE COLLECT
141.48/142.69 c rational objective 6
149.87/151.09 c #Conflicts: 140000 | #Constraints: 28754
149.87/151.09 c #Conflicts: 141000 | #Constraints: 29760
149.87/151.09 c #Conflicts: 142000 | #Constraints: 30763
149.87/151.09 c #Conflicts: 143000 | #Constraints: 31766
149.87/151.09 c #Conflicts: 144000 | #Constraints: 32768
149.87/151.09 c #Conflicts: 145000 | #Constraints: 33769
149.87/151.09 c #Conflicts: 146000 | #Constraints: 34771
149.87/151.09 c #Conflicts: 147000 | #Constraints: 35771
149.87/151.09 c INPROCESSING
149.87/151.09 c GARBAGE COLLECT
149.87/151.09 c rational objective 6
157.59/158.98 c #Conflicts: 148000 | #Constraints: 29175
157.59/158.98 c #Conflicts: 149000 | #Constraints: 30175
157.59/158.98 c #Conflicts: 150000 | #Constraints: 31177
157.59/158.98 c #Conflicts: 151000 | #Constraints: 32180
157.59/158.98 c #Conflicts: 152000 | #Constraints: 33186
157.59/158.98 c #Conflicts: 153000 | #Constraints: 34188
157.59/158.98 c #Conflicts: 154000 | #Constraints: 35190
157.59/158.98 c #Conflicts: 155000 | #Constraints: 36190
157.59/158.98 c INPROCESSING
157.59/158.98 c GARBAGE COLLECT
157.59/158.98 c rational objective 6
178.42/179.88 c #Conflicts: 156000 | #Constraints: 29359
178.42/179.88 c #Conflicts: 157000 | #Constraints: 30360
178.42/179.88 c #Conflicts: 158000 | #Constraints: 31361
178.42/179.88 c #Conflicts: 159000 | #Constraints: 32362
178.42/179.88 c #Conflicts: 160000 | #Constraints: 33362
178.42/179.88 c #Conflicts: 161000 | #Constraints: 34363
178.42/179.88 c #Conflicts: 162000 | #Constraints: 35363
178.42/179.88 c #Conflicts: 163000 | #Constraints: 36364
178.42/179.88 c INPROCESSING
178.42/179.88 c GARBAGE COLLECT
178.42/179.88 c #Conflicts: 164000 | #Constraints: 29343
178.42/179.88 c #Conflicts: 165000 | #Constraints: 30344
178.42/179.88 c #Conflicts: 166000 | #Constraints: 31344
178.42/179.88 c #Conflicts: 167000 | #Constraints: 32344
178.42/179.88 c #Conflicts: 168000 | #Constraints: 33345
178.42/179.88 c #Conflicts: 169000 | #Constraints: 34346
178.42/179.88 c #Conflicts: 170000 | #Constraints: 35346
178.42/179.88 c #Conflicts: 171000 | #Constraints: 36346
178.42/179.88 c INPROCESSING
178.42/179.88 c GARBAGE COLLECT
178.42/179.88 c rational objective 6
190.33/192.38 c #Conflicts: 172000 | #Constraints: 29130
190.33/192.38 c #Conflicts: 173000 | #Constraints: 30131
190.33/192.38 c #Conflicts: 174000 | #Constraints: 31131
190.33/192.38 c #Conflicts: 175000 | #Constraints: 32132
190.33/192.38 c #Conflicts: 176000 | #Constraints: 33133
190.33/192.38 c #Conflicts: 177000 | #Constraints: 34134
190.33/192.38 c #Conflicts: 178000 | #Constraints: 35134
190.33/192.38 c #Conflicts: 179000 | #Constraints: 36134
190.33/192.38 c #Conflicts: 180000 | #Constraints: 37135
190.33/192.38 c INPROCESSING
190.33/192.38 c GARBAGE COLLECT
190.33/192.38 c rational objective 6
200.40/202.49 c #Conflicts: 181000 | #Constraints: 29737
200.40/202.49 c #Conflicts: 182000 | #Constraints: 30738
200.40/202.49 c #Conflicts: 183000 | #Constraints: 31743
200.40/202.49 c #Conflicts: 184000 | #Constraints: 32747
200.40/202.49 c #Conflicts: 185000 | #Constraints: 33751
200.40/202.49 c #Conflicts: 186000 | #Constraints: 34755
200.40/202.49 c #Conflicts: 187000 | #Constraints: 35758
200.40/202.49 c #Conflicts: 188000 | #Constraints: 36759
200.40/202.49 c #Conflicts: 189000 | #Constraints: 37760
200.40/202.49 c INPROCESSING
200.40/202.49 c GARBAGE COLLECT
200.40/202.49 c rational objective 6
214.47/216.58 c #Conflicts: 190000 | #Constraints: 30156
214.47/216.58 c #Conflicts: 191000 | #Constraints: 31167
214.47/216.58 c #Conflicts: 192000 | #Constraints: 32171
214.47/216.58 c #Conflicts: 193000 | #Constraints: 33177
214.47/216.58 c #Conflicts: 194000 | #Constraints: 34179
214.47/216.58 c #Conflicts: 195000 | #Constraints: 35180
214.47/216.58 c #Conflicts: 196000 | #Constraints: 36182
214.47/216.58 c #Conflicts: 197000 | #Constraints: 37183
214.47/216.58 c #Conflicts: 198000 | #Constraints: 38184
214.47/216.58 c INPROCESSING
214.47/216.58 c GARBAGE COLLECT
214.47/216.58 c rational objective 6
228.39/230.60 c #Conflicts: 199000 | #Constraints: 30363
228.39/230.60 c #Conflicts: 200000 | #Constraints: 31364
228.39/230.60 c #Conflicts: 201000 | #Constraints: 32366
228.39/230.60 c #Conflicts: 202000 | #Constraints: 33366
228.39/230.60 c #Conflicts: 203000 | #Constraints: 34368
228.39/230.60 c #Conflicts: 204000 | #Constraints: 35369
228.39/230.60 c #Conflicts: 205000 | #Constraints: 36372
228.39/230.60 c #Conflicts: 206000 | #Constraints: 37377
228.39/230.60 c #Conflicts: 207000 | #Constraints: 38382
228.39/230.60 c INPROCESSING
228.39/230.60 c GARBAGE COLLECT
228.39/230.60 c rational objective 6
244.14/246.41 c #Conflicts: 208000 | #Constraints: 30365
244.14/246.41 c #Conflicts: 209000 | #Constraints: 31367
244.14/246.41 c #Conflicts: 210000 | #Constraints: 32371
244.14/246.41 c #Conflicts: 211000 | #Constraints: 33374
244.14/246.41 c #Conflicts: 212000 | #Constraints: 34376
244.14/246.41 c #Conflicts: 213000 | #Constraints: 35378
244.14/246.41 c #Conflicts: 214000 | #Constraints: 36380
244.14/246.41 c #Conflicts: 215000 | #Constraints: 37383
244.14/246.41 c #Conflicts: 216000 | #Constraints: 38387
244.14/246.41 c INPROCESSING
244.14/246.41 c GARBAGE COLLECT
244.14/246.41 c rational objective 6
256.59/259.21 c #Conflicts: 217000 | #Constraints: 30130
256.59/259.21 c #Conflicts: 218000 | #Constraints: 31132
256.59/259.21 c #Conflicts: 219000 | #Constraints: 32139
256.59/259.21 c #Conflicts: 220000 | #Constraints: 33140
256.59/259.21 c #Conflicts: 221000 | #Constraints: 34142
256.59/259.21 c #Conflicts: 222000 | #Constraints: 35146
256.59/259.21 c #Conflicts: 223000 | #Constraints: 36150
256.59/259.21 c #Conflicts: 224000 | #Constraints: 37153
256.59/259.21 c #Conflicts: 225000 | #Constraints: 38156
256.59/259.21 c #Conflicts: 226000 | #Constraints: 39163
256.59/259.21 c INPROCESSING
256.59/259.21 c GARBAGE COLLECT
256.59/259.21 c rational objective 6
268.76/271.48 c #Conflicts: 227000 | #Constraints: 30691
268.76/271.48 c #Conflicts: 228000 | #Constraints: 31694
268.76/271.48 c #Conflicts: 229000 | #Constraints: 32698
268.76/271.48 c #Conflicts: 230000 | #Constraints: 33701
268.76/271.48 c #Conflicts: 231000 | #Constraints: 34703
268.76/271.48 c #Conflicts: 232000 | #Constraints: 35705
268.76/271.48 c #Conflicts: 233000 | #Constraints: 36705
268.76/271.48 c #Conflicts: 234000 | #Constraints: 37706
268.76/271.48 c #Conflicts: 235000 | #Constraints: 38707
268.76/271.48 c #Conflicts: 236000 | #Constraints: 39707
268.76/271.48 c INPROCESSING
268.76/271.48 c GARBAGE COLLECT
268.76/271.48 c rational objective 6
279.92/282.76 c #Conflicts: 237000 | #Constraints: 31066
279.92/282.76 c #Conflicts: 238000 | #Constraints: 32070
279.92/282.76 c #Conflicts: 239000 | #Constraints: 33074
279.92/282.76 c #Conflicts: 240000 | #Constraints: 34076
279.92/282.76 c #Conflicts: 241000 | #Constraints: 35080
279.92/282.76 c #Conflicts: 242000 | #Constraints: 36084
279.92/282.76 c #Conflicts: 243000 | #Constraints: 37085
279.92/282.76 c #Conflicts: 244000 | #Constraints: 38087
279.92/282.76 c #Conflicts: 245000 | #Constraints: 39090
279.92/282.76 c #Conflicts: 246000 | #Constraints: 40093
279.92/282.76 c INPROCESSING
279.92/282.76 c GARBAGE COLLECT
279.92/282.76 c rational objective 6
295.78/298.61 c #Conflicts: 247000 | #Constraints: 31270
295.78/298.61 c #Conflicts: 248000 | #Constraints: 32281
295.78/298.61 c #Conflicts: 249000 | #Constraints: 33285
295.78/298.61 c #Conflicts: 250000 | #Constraints: 34288
295.78/298.61 c #Conflicts: 251000 | #Constraints: 35292
295.78/298.61 c #Conflicts: 252000 | #Constraints: 36298
295.78/298.61 c #Conflicts: 253000 | #Constraints: 37303
295.78/298.61 c #Conflicts: 254000 | #Constraints: 38307
295.78/298.61 c #Conflicts: 255000 | #Constraints: 39311
295.78/298.61 c #Conflicts: 256000 | #Constraints: 40313
295.78/298.61 c INPROCESSING
295.78/298.61 c GARBAGE COLLECT
295.78/298.61 c rational objective 6
310.91/313.90 c #Conflicts: 257000 | #Constraints: 31277
310.91/313.90 c #Conflicts: 258000 | #Constraints: 32278
310.91/313.90 c #Conflicts: 259000 | #Constraints: 33285
310.91/313.90 c #Conflicts: 260000 | #Constraints: 34287
310.91/313.90 c #Conflicts: 261000 | #Constraints: 35292
310.91/313.90 c #Conflicts: 262000 | #Constraints: 36294
310.91/313.90 c #Conflicts: 263000 | #Constraints: 37298
310.91/313.90 c #Conflicts: 264000 | #Constraints: 38301
310.91/313.90 c #Conflicts: 265000 | #Constraints: 39304
310.91/313.90 c #Conflicts: 266000 | #Constraints: 40306
310.91/313.90 c INPROCESSING
310.91/313.90 c GARBAGE COLLECT
310.91/313.90 c rational objective 6
329.56/332.66 c #Conflicts: 267000 | #Constraints: 31062
329.56/332.66 c #Conflicts: 268000 | #Constraints: 32063
329.56/332.66 c #Conflicts: 269000 | #Constraints: 33074
329.56/332.66 c #Conflicts: 270000 | #Constraints: 34077
329.56/332.66 c #Conflicts: 271000 | #Constraints: 35080
329.56/332.66 c #Conflicts: 272000 | #Constraints: 36082
329.56/332.66 c #Conflicts: 273000 | #Constraints: 37083
329.56/332.66 c #Conflicts: 274000 | #Constraints: 38083
329.56/332.66 c #Conflicts: 275000 | #Constraints: 39084
329.56/332.66 c #Conflicts: 276000 | #Constraints: 40084
329.56/332.66 c #Conflicts: 277000 | #Constraints: 41085
329.56/332.66 c INPROCESSING
329.56/332.66 c GARBAGE COLLECT
329.56/332.66 c rational objective 6
343.02/346.21 c #Conflicts: 278000 | #Constraints: 31640
343.02/346.21 c #Conflicts: 279000 | #Constraints: 32644
343.02/346.21 c #Conflicts: 280000 | #Constraints: 33647
343.02/346.21 c #Conflicts: 281000 | #Constraints: 34650
343.02/346.21 c #Conflicts: 282000 | #Constraints: 35651
343.02/346.21 c #Conflicts: 283000 | #Constraints: 36653
343.02/346.21 c #Conflicts: 284000 | #Constraints: 37657
343.02/346.21 c #Conflicts: 285000 | #Constraints: 38659
343.02/346.21 c #Conflicts: 286000 | #Constraints: 39661
343.02/346.21 c #Conflicts: 287000 | #Constraints: 40665
343.02/346.21 c #Conflicts: 288000 | #Constraints: 41667
343.02/346.21 c INPROCESSING
343.02/346.21 c GARBAGE COLLECT
343.02/346.21 c rational objective 6
360.89/364.13 c #Conflicts: 289000 | #Constraints: 32032
360.89/364.13 c #Conflicts: 290000 | #Constraints: 33037
360.89/364.13 c #Conflicts: 291000 | #Constraints: 34045
360.89/364.13 c #Conflicts: 292000 | #Constraints: 35056
360.89/364.13 c #Conflicts: 293000 | #Constraints: 36061
360.89/364.13 c #Conflicts: 294000 | #Constraints: 37064
360.89/364.13 c #Conflicts: 295000 | #Constraints: 38066
360.89/364.13 c #Conflicts: 296000 | #Constraints: 39069
360.89/364.13 c #Conflicts: 297000 | #Constraints: 40072
360.89/364.13 c #Conflicts: 298000 | #Constraints: 41074
360.89/364.13 c #Conflicts: 299000 | #Constraints: 42077
360.89/364.13 c INPROCESSING
360.89/364.13 c GARBAGE COLLECT
360.89/364.13 c rational objective 6
375.41/378.89 c #Conflicts: 300000 | #Constraints: 32210
375.41/378.89 c #Conflicts: 301000 | #Constraints: 33211
375.41/378.89 c #Conflicts: 302000 | #Constraints: 34217
375.41/378.89 c #Conflicts: 303000 | #Constraints: 35220
375.41/378.89 c #Conflicts: 304000 | #Constraints: 36222
375.41/378.89 c #Conflicts: 305000 | #Constraints: 37226
375.41/378.89 c #Conflicts: 306000 | #Constraints: 38226
375.41/378.89 c #Conflicts: 307000 | #Constraints: 39228
375.41/378.89 c #Conflicts: 308000 | #Constraints: 40229
375.41/378.89 c #Conflicts: 309000 | #Constraints: 41231
375.41/378.89 c #Conflicts: 310000 | #Constraints: 42233
375.41/378.89 c INPROCESSING
375.41/378.89 c GARBAGE COLLECT
375.41/378.89 c rational objective 6
388.27/391.76 c #Conflicts: 311000 | #Constraints: 32191
388.27/391.76 c #Conflicts: 312000 | #Constraints: 33199
388.27/391.76 c #Conflicts: 313000 | #Constraints: 34205
388.27/391.76 c #Conflicts: 314000 | #Constraints: 35210
388.27/391.76 c #Conflicts: 315000 | #Constraints: 36214
388.27/391.76 c #Conflicts: 316000 | #Constraints: 37218
388.27/391.76 c #Conflicts: 317000 | #Constraints: 38221
388.27/391.76 c #Conflicts: 318000 | #Constraints: 39223
388.27/391.76 c #Conflicts: 319000 | #Constraints: 40224
388.27/391.76 c #Conflicts: 320000 | #Constraints: 41225
388.27/391.76 c #Conflicts: 321000 | #Constraints: 42226
388.27/391.76 c INPROCESSING
388.27/391.76 c GARBAGE COLLECT
388.27/391.76 c rational objective 6
407.25/410.90 c #Conflicts: 322000 | #Constraints: 31986
407.25/410.90 c #Conflicts: 323000 | #Constraints: 32987
407.25/410.90 c #Conflicts: 324000 | #Constraints: 33989
407.25/410.90 c #Conflicts: 325000 | #Constraints: 34991
407.25/410.90 c #Conflicts: 326000 | #Constraints: 35994
407.25/410.90 c #Conflicts: 327000 | #Constraints: 36996
407.25/410.90 c #Conflicts: 328000 | #Constraints: 37997
407.25/410.90 c #Conflicts: 329000 | #Constraints: 38998
407.25/410.90 c #Conflicts: 330000 | #Constraints: 39999
407.25/410.90 c #Conflicts: 331000 | #Constraints: 40999
407.25/410.90 c #Conflicts: 332000 | #Constraints: 42000
407.25/410.90 c #Conflicts: 333000 | #Constraints: 43001
407.25/410.90 c INPROCESSING
407.25/410.90 c GARBAGE COLLECT
407.25/410.90 c rational objective 6
423.80/427.50 c #Conflicts: 334000 | #Constraints: 32568
423.80/427.50 c #Conflicts: 335000 | #Constraints: 33570
423.80/427.50 c #Conflicts: 336000 | #Constraints: 34573
423.80/427.50 c #Conflicts: 337000 | #Constraints: 35576
423.80/427.50 c #Conflicts: 338000 | #Constraints: 36580
423.80/427.50 c #Conflicts: 339000 | #Constraints: 37585
423.80/427.50 c #Conflicts: 340000 | #Constraints: 38588
423.80/427.50 c #Conflicts: 341000 | #Constraints: 39591
423.80/427.50 c #Conflicts: 342000 | #Constraints: 40596
423.80/427.50 c #Conflicts: 343000 | #Constraints: 41599
423.80/427.50 c #Conflicts: 344000 | #Constraints: 42602
423.80/427.50 c #Conflicts: 345000 | #Constraints: 43606
423.80/427.50 c INPROCESSING
423.80/427.50 c GARBAGE COLLECT
423.80/427.50 c rational objective 6
440.22/444.12 c #Conflicts: 346000 | #Constraints: 32958
440.22/444.12 c #Conflicts: 347000 | #Constraints: 33964
440.22/444.12 c #Conflicts: 348000 | #Constraints: 34969
440.22/444.12 c #Conflicts: 349000 | #Constraints: 35969
440.22/444.12 c #Conflicts: 350000 | #Constraints: 36974
440.22/444.12 c #Conflicts: 351000 | #Constraints: 37978
440.22/444.12 c #Conflicts: 352000 | #Constraints: 38978
440.22/444.12 c #Conflicts: 353000 | #Constraints: 39981
440.22/444.12 c #Conflicts: 354000 | #Constraints: 40982
440.22/444.12 c #Conflicts: 355000 | #Constraints: 41984
440.22/444.12 c #Conflicts: 356000 | #Constraints: 42985
440.22/444.12 c #Conflicts: 357000 | #Constraints: 43986
440.22/444.12 c INPROCESSING
440.22/444.12 c GARBAGE COLLECT
440.22/444.12 c rational objective 6
454.18/458.20 c #Conflicts: 358000 | #Constraints: 33159
454.18/458.20 c #Conflicts: 359000 | #Constraints: 34160
454.18/458.20 c #Conflicts: 360000 | #Constraints: 35163
454.18/458.20 c #Conflicts: 361000 | #Constraints: 36166
454.18/458.20 c #Conflicts: 362000 | #Constraints: 37172
454.18/458.20 c #Conflicts: 363000 | #Constraints: 38177
454.18/458.20 c #Conflicts: 364000 | #Constraints: 39180
454.18/458.20 c #Conflicts: 365000 | #Constraints: 40182
454.18/458.20 c #Conflicts: 366000 | #Constraints: 41184
454.18/458.20 c #Conflicts: 367000 | #Constraints: 42185
454.18/458.20 c #Conflicts: 368000 | #Constraints: 43185
454.18/458.20 c #Conflicts: 369000 | #Constraints: 44188
454.18/458.20 c INPROCESSING
454.18/458.20 c GARBAGE COLLECT
454.18/458.20 c rational objective 6
472.58/476.78 c #Conflicts: 370000 | #Constraints: 33145
472.58/476.78 c #Conflicts: 371000 | #Constraints: 34146
472.58/476.78 c #Conflicts: 372000 | #Constraints: 35146
472.58/476.78 c #Conflicts: 373000 | #Constraints: 36147
472.58/476.78 c #Conflicts: 374000 | #Constraints: 37148
472.58/476.78 c #Conflicts: 375000 | #Constraints: 38149
472.58/476.78 c #Conflicts: 376000 | #Constraints: 39150
472.58/476.78 c #Conflicts: 377000 | #Constraints: 40151
472.58/476.78 c #Conflicts: 378000 | #Constraints: 41152
472.58/476.78 c #Conflicts: 379000 | #Constraints: 42153
472.58/476.78 c #Conflicts: 380000 | #Constraints: 43155
472.58/476.78 c #Conflicts: 381000 | #Constraints: 44155
472.58/476.78 c INPROCESSING
472.58/476.78 c GARBAGE COLLECT
472.58/476.78 c rational objective 6
489.03/493.23 c #Conflicts: 382000 | #Constraints: 32935
489.03/493.23 c #Conflicts: 383000 | #Constraints: 33936
489.03/493.23 c #Conflicts: 384000 | #Constraints: 34941
489.03/493.23 c #Conflicts: 385000 | #Constraints: 35949
489.03/493.23 c #Conflicts: 386000 | #Constraints: 36955
489.03/493.23 c #Conflicts: 387000 | #Constraints: 37957
489.03/493.23 c #Conflicts: 388000 | #Constraints: 38959
489.03/493.23 c #Conflicts: 389000 | #Constraints: 39960
489.03/493.23 c #Conflicts: 390000 | #Constraints: 40961
489.03/493.23 c #Conflicts: 391000 | #Constraints: 41961
489.03/493.23 c #Conflicts: 392000 | #Constraints: 42962
489.03/493.23 c #Conflicts: 393000 | #Constraints: 43962
489.03/493.23 c #Conflicts: 394000 | #Constraints: 44964
489.03/493.23 c INPROCESSING
489.03/493.23 c GARBAGE COLLECT
489.03/493.23 c rational objective 6
505.98/510.33 c #Conflicts: 395000 | #Constraints: 33533
505.98/510.33 c #Conflicts: 396000 | #Constraints: 34539
505.98/510.33 c #Conflicts: 397000 | #Constraints: 35543
505.98/510.33 c #Conflicts: 398000 | #Constraints: 36546
505.98/510.33 c #Conflicts: 399000 | #Constraints: 37547
505.98/510.33 c #Conflicts: 400000 | #Constraints: 38550
505.98/510.33 c #Conflicts: 401000 | #Constraints: 39551
505.98/510.33 c #Conflicts: 402000 | #Constraints: 40553
505.98/510.33 c #Conflicts: 403000 | #Constraints: 41554
505.98/510.33 c #Conflicts: 404000 | #Constraints: 42557
505.98/510.33 c #Conflicts: 405000 | #Constraints: 43558
505.98/510.33 c #Conflicts: 406000 | #Constraints: 44559
505.98/510.33 c #Conflicts: 407000 | #Constraints: 45560
505.98/510.33 c INPROCESSING
505.98/510.33 c GARBAGE COLLECT
505.98/510.33 c rational objective 6
524.31/528.83 c #Conflicts: 408000 | #Constraints: 33929
524.31/528.83 c #Conflicts: 409000 | #Constraints: 34932
524.31/528.83 c #Conflicts: 410000 | #Constraints: 35937
524.31/528.83 c #Conflicts: 411000 | #Constraints: 36941
524.31/528.83 c #Conflicts: 412000 | #Constraints: 37947
524.31/528.83 c #Conflicts: 413000 | #Constraints: 38952
524.31/528.83 c #Conflicts: 414000 | #Constraints: 39958
524.31/528.83 c #Conflicts: 415000 | #Constraints: 40962
524.31/528.83 c #Conflicts: 416000 | #Constraints: 41964
524.31/528.83 c #Conflicts: 417000 | #Constraints: 42964
524.31/528.83 c #Conflicts: 418000 | #Constraints: 43965
524.31/528.83 c #Conflicts: 419000 | #Constraints: 44967
524.31/528.83 c #Conflicts: 420000 | #Constraints: 45968
524.31/528.83 c INPROCESSING
524.31/528.83 c GARBAGE COLLECT
524.31/528.83 c rational objective 6
543.48/548.05 c #Conflicts: 421000 | #Constraints: 34147
543.48/548.05 c #Conflicts: 422000 | #Constraints: 35148
543.48/548.05 c #Conflicts: 423000 | #Constraints: 36153
543.48/548.05 c #Conflicts: 424000 | #Constraints: 37156
543.48/548.05 c #Conflicts: 425000 | #Constraints: 38158
543.48/548.05 c #Conflicts: 426000 | #Constraints: 39160
543.48/548.05 c #Conflicts: 427000 | #Constraints: 40161
543.48/548.05 c #Conflicts: 428000 | #Constraints: 41163
543.48/548.05 c #Conflicts: 429000 | #Constraints: 42164
543.48/548.05 c #Conflicts: 430000 | #Constraints: 43166
543.48/548.05 c #Conflicts: 431000 | #Constraints: 44167
543.48/548.05 c #Conflicts: 432000 | #Constraints: 45167
543.48/548.05 c #Conflicts: 433000 | #Constraints: 46167
543.48/548.05 c INPROCESSING
543.48/548.05 c GARBAGE COLLECT
543.48/548.05 c rational objective 6
559.84/564.73 c #Conflicts: 434000 | #Constraints: 34157
559.84/564.73 c #Conflicts: 435000 | #Constraints: 35158
559.84/564.73 c #Conflicts: 436000 | #Constraints: 36158
559.84/564.73 c #Conflicts: 437000 | #Constraints: 37162
559.84/564.73 c #Conflicts: 438000 | #Constraints: 38167
559.84/564.73 c #Conflicts: 439000 | #Constraints: 39172
559.84/564.73 c #Conflicts: 440000 | #Constraints: 40176
559.84/564.73 c #Conflicts: 441000 | #Constraints: 41179
559.84/564.73 c #Conflicts: 442000 | #Constraints: 42181
559.84/564.73 c #Conflicts: 443000 | #Constraints: 43182
559.84/564.73 c #Conflicts: 444000 | #Constraints: 44183
559.84/564.73 c #Conflicts: 445000 | #Constraints: 45184
559.84/564.73 c #Conflicts: 446000 | #Constraints: 46185
559.84/564.73 c INPROCESSING
559.84/564.73 c GARBAGE COLLECT
559.84/564.73 c rational objective 6
577.09/582.05 c #Conflicts: 447000 | #Constraints: 33957
577.09/582.05 c #Conflicts: 448000 | #Constraints: 34957
577.09/582.05 c #Conflicts: 449000 | #Constraints: 35959
577.09/582.05 c #Conflicts: 450000 | #Constraints: 36962
577.09/582.05 c #Conflicts: 451000 | #Constraints: 37966
577.09/582.05 c #Conflicts: 452000 | #Constraints: 38969
577.09/582.05 c #Conflicts: 453000 | #Constraints: 39971
577.09/582.05 c #Conflicts: 454000 | #Constraints: 40972
577.09/582.05 c #Conflicts: 455000 | #Constraints: 41974
577.09/582.05 c #Conflicts: 456000 | #Constraints: 42974
577.09/582.05 c #Conflicts: 457000 | #Constraints: 43975
577.09/582.05 c #Conflicts: 458000 | #Constraints: 44975
577.09/582.05 c #Conflicts: 459000 | #Constraints: 45975
577.09/582.05 c #Conflicts: 460000 | #Constraints: 46976
577.09/582.05 c INPROCESSING
577.09/582.05 c GARBAGE COLLECT
577.09/582.05 c rational objective 6
595.16/600.41 c #Conflicts: 461000 | #Constraints: 34547
595.16/600.41 c #Conflicts: 462000 | #Constraints: 35548
595.16/600.41 c #Conflicts: 463000 | #Constraints: 36549
595.16/600.41 c #Conflicts: 464000 | #Constraints: 37554
595.16/600.41 c #Conflicts: 465000 | #Constraints: 38558
595.16/600.41 c #Conflicts: 466000 | #Constraints: 39565
595.16/600.41 c #Conflicts: 467000 | #Constraints: 40574
595.16/600.41 c #Conflicts: 468000 | #Constraints: 41583
595.16/600.41 c #Conflicts: 469000 | #Constraints: 42592
595.16/600.41 c #Conflicts: 470000 | #Constraints: 43604
595.16/600.41 c #Conflicts: 471000 | #Constraints: 44606
595.16/600.41 c #Conflicts: 472000 | #Constraints: 45608
595.16/600.41 c #Conflicts: 473000 | #Constraints: 46611
595.16/600.41 c #Conflicts: 474000 | #Constraints: 47613
595.16/600.41 c INPROCESSING
595.16/600.41 c GARBAGE COLLECT
595.16/600.41 c rational objective 6
613.69/619.03 c #Conflicts: 475000 | #Constraints: 34958
613.69/619.03 c #Conflicts: 476000 | #Constraints: 35962
613.69/619.03 c #Conflicts: 477000 | #Constraints: 36965
613.69/619.03 c #Conflicts: 478000 | #Constraints: 37966
613.69/619.03 c #Conflicts: 479000 | #Constraints: 38966
613.69/619.03 c #Conflicts: 480000 | #Constraints: 39967
613.69/619.03 c #Conflicts: 481000 | #Constraints: 40968
613.69/619.03 c #Conflicts: 482000 | #Constraints: 41968
613.69/619.03 c #Conflicts: 483000 | #Constraints: 42969
613.69/619.03 c #Conflicts: 484000 | #Constraints: 43969
613.69/619.03 c #Conflicts: 485000 | #Constraints: 44970
613.69/619.03 c #Conflicts: 486000 | #Constraints: 45971
613.69/619.03 c #Conflicts: 487000 | #Constraints: 46971
613.69/619.03 c #Conflicts: 488000 | #Constraints: 47972
613.69/619.03 c INPROCESSING
613.69/619.03 c GARBAGE COLLECT
613.69/619.03 c rational objective 6
637.40/642.85 c #Conflicts: 489000 | #Constraints: 35154
637.40/642.85 c #Conflicts: 490000 | #Constraints: 36155
637.40/642.85 c #Conflicts: 491000 | #Constraints: 37156
637.40/642.85 c #Conflicts: 492000 | #Constraints: 38159
637.40/642.85 c #Conflicts: 493000 | #Constraints: 39164
637.40/642.85 c #Conflicts: 494000 | #Constraints: 40165
637.40/642.85 c #Conflicts: 495000 | #Constraints: 41169
637.40/642.85 c #Conflicts: 496000 | #Constraints: 42170
637.40/642.85 c #Conflicts: 497000 | #Constraints: 43171
637.40/642.85 c #Conflicts: 498000 | #Constraints: 44172
637.40/642.85 c #Conflicts: 499000 | #Constraints: 45173
637.40/642.85 c #Conflicts: 500000 | #Constraints: 46174
637.40/642.85 c #Conflicts: 501000 | #Constraints: 47175
637.40/642.85 c #Conflicts: 502000 | #Constraints: 48175
637.40/642.85 c INPROCESSING
637.40/642.85 c GARBAGE COLLECT
637.40/642.85 c rational objective 6
659.46/665.07 c #Conflicts: 503000 | #Constraints: 35138
659.46/665.07 c #Conflicts: 504000 | #Constraints: 36139
659.46/665.07 c #Conflicts: 505000 | #Constraints: 37143
659.46/665.07 c #Conflicts: 506000 | #Constraints: 38145
659.46/665.07 c #Conflicts: 507000 | #Constraints: 39147
659.46/665.07 c #Conflicts: 508000 | #Constraints: 40149
659.46/665.07 c #Conflicts: 509000 | #Constraints: 41152
659.46/665.07 c #Conflicts: 510000 | #Constraints: 42153
659.46/665.07 c #Conflicts: 511000 | #Constraints: 43153
659.46/665.07 c #Conflicts: 512000 | #Constraints: 44154
659.46/665.07 c #Conflicts: 513000 | #Constraints: 45155
659.46/665.07 c #Conflicts: 514000 | #Constraints: 46155
659.46/665.07 c #Conflicts: 515000 | #Constraints: 47156
659.46/665.07 c #Conflicts: 516000 | #Constraints: 48156
659.46/665.07 c INPROCESSING
659.46/665.07 c GARBAGE COLLECT
659.46/665.07 c rational objective 6
679.35/685.13 c #Conflicts: 517000 | #Constraints: 34869
679.35/685.13 c #Conflicts: 518000 | #Constraints: 35871
679.35/685.13 c #Conflicts: 519000 | #Constraints: 36873
679.35/685.13 c #Conflicts: 520000 | #Constraints: 37879
679.35/685.13 c #Conflicts: 521000 | #Constraints: 38884
679.35/685.13 c #Conflicts: 522000 | #Constraints: 39886
679.35/685.13 c #Conflicts: 523000 | #Constraints: 40888
679.35/685.13 c #Conflicts: 524000 | #Constraints: 41889
679.35/685.13 c #Conflicts: 525000 | #Constraints: 42891
679.35/685.13 c #Conflicts: 526000 | #Constraints: 43891
679.35/685.13 c #Conflicts: 527000 | #Constraints: 44891
679.35/685.13 c #Conflicts: 528000 | #Constraints: 45892
679.35/685.13 c #Conflicts: 529000 | #Constraints: 46893
679.35/685.13 c #Conflicts: 530000 | #Constraints: 47894
679.35/685.13 c #Conflicts: 531000 | #Constraints: 48894
679.35/685.13 c INPROCESSING
679.35/685.13 c GARBAGE COLLECT
679.35/685.13 c rational objective 6
700.67/706.58 c #Conflicts: 532000 | #Constraints: 35436
700.67/706.58 c #Conflicts: 533000 | #Constraints: 36437
700.67/706.58 c #Conflicts: 534000 | #Constraints: 37438
700.67/706.58 c #Conflicts: 535000 | #Constraints: 38439
700.67/706.58 c #Conflicts: 536000 | #Constraints: 39443
700.67/706.58 c #Conflicts: 537000 | #Constraints: 40447
700.67/706.58 c #Conflicts: 538000 | #Constraints: 41448
700.67/706.58 c #Conflicts: 539000 | #Constraints: 42450
700.67/706.58 c #Conflicts: 540000 | #Constraints: 43452
700.67/706.58 c #Conflicts: 541000 | #Constraints: 44454
700.67/706.58 c #Conflicts: 542000 | #Constraints: 45454
700.67/706.58 c #Conflicts: 543000 | #Constraints: 46455
700.67/706.58 c #Conflicts: 544000 | #Constraints: 47456
700.67/706.58 c #Conflicts: 545000 | #Constraints: 48457
700.67/706.58 c #Conflicts: 546000 | #Constraints: 49457
700.67/706.58 c INPROCESSING
700.67/706.58 c GARBAGE COLLECT
700.67/706.58 c rational objective 6
729.19/735.26 c #Conflicts: 547000 | #Constraints: 35832
729.19/735.26 c #Conflicts: 548000 | #Constraints: 36832
729.19/735.26 c #Conflicts: 549000 | #Constraints: 37832
729.19/735.26 c #Conflicts: 550000 | #Constraints: 38832
729.19/735.26 c #Conflicts: 551000 | #Constraints: 39832
729.19/735.26 c #Conflicts: 552000 | #Constraints: 40832
729.19/735.26 c #Conflicts: 553000 | #Constraints: 41832
729.19/735.26 c #Conflicts: 554000 | #Constraints: 42832
729.19/735.26 c #Conflicts: 555000 | #Constraints: 43833
729.19/735.26 c #Conflicts: 556000 | #Constraints: 44833
729.19/735.26 c #Conflicts: 557000 | #Constraints: 45833
729.19/735.26 c #Conflicts: 558000 | #Constraints: 46834
729.19/735.26 c #Conflicts: 559000 | #Constraints: 47834
729.19/735.26 c #Conflicts: 560000 | #Constraints: 48834
729.19/735.26 c #Conflicts: 561000 | #Constraints: 49834
729.19/735.26 c INPROCESSING
729.19/735.26 c GARBAGE COLLECT
729.19/735.26 c rational objective 6
751.33/757.51 c #Conflicts: 562000 | #Constraints: 36016
751.33/757.51 c #Conflicts: 563000 | #Constraints: 37018
751.33/757.51 c #Conflicts: 564000 | #Constraints: 38025
751.33/757.51 c #Conflicts: 565000 | #Constraints: 39031
751.33/757.51 c #Conflicts: 566000 | #Constraints: 40036
751.33/757.51 c #Conflicts: 567000 | #Constraints: 41040
751.33/757.51 c #Conflicts: 568000 | #Constraints: 42041
751.33/757.51 c #Conflicts: 569000 | #Constraints: 43043
751.33/757.51 c #Conflicts: 570000 | #Constraints: 44044
751.33/757.51 c #Conflicts: 571000 | #Constraints: 45044
751.33/757.51 c #Conflicts: 572000 | #Constraints: 46045
751.33/757.51 c #Conflicts: 573000 | #Constraints: 47047
751.33/757.51 c #Conflicts: 574000 | #Constraints: 48053
751.33/757.51 c #Conflicts: 575000 | #Constraints: 49056
751.33/757.51 c #Conflicts: 576000 | #Constraints: 50056
751.33/757.51 c INPROCESSING
751.33/757.51 c GARBAGE COLLECT
751.33/757.51 c rational objective 6
776.95/783.33 c #Conflicts: 577000 | #Constraints: 36034
776.95/783.33 c #Conflicts: 578000 | #Constraints: 37035
776.95/783.33 c #Conflicts: 579000 | #Constraints: 38036
776.95/783.33 c #Conflicts: 580000 | #Constraints: 39037
776.95/783.33 c #Conflicts: 581000 | #Constraints: 40039
776.95/783.33 c #Conflicts: 582000 | #Constraints: 41041
776.95/783.33 c #Conflicts: 583000 | #Constraints: 42046
776.95/783.33 c #Conflicts: 584000 | #Constraints: 43048
776.95/783.33 c #Conflicts: 585000 | #Constraints: 44050
776.95/783.33 c #Conflicts: 586000 | #Constraints: 45051
776.95/783.33 c #Conflicts: 587000 | #Constraints: 46051
776.95/783.33 c #Conflicts: 588000 | #Constraints: 47052
776.95/783.33 c #Conflicts: 589000 | #Constraints: 48053
776.95/783.33 c #Conflicts: 590000 | #Constraints: 49054
776.95/783.33 c #Conflicts: 591000 | #Constraints: 50054
776.95/783.33 c INPROCESSING
776.95/783.33 c GARBAGE COLLECT
776.95/783.33 c rational objective 6
807.68/814.24 c #Conflicts: 592000 | #Constraints: 35834
807.68/814.24 c #Conflicts: 593000 | #Constraints: 36835
807.68/814.24 c #Conflicts: 594000 | #Constraints: 37836
807.68/814.24 c #Conflicts: 595000 | #Constraints: 38838
807.68/814.24 c #Conflicts: 596000 | #Constraints: 39841
807.68/814.24 c #Conflicts: 597000 | #Constraints: 40843
807.68/814.24 c #Conflicts: 598000 | #Constraints: 41845
807.68/814.24 c #Conflicts: 599000 | #Constraints: 42847
807.68/814.24 c #Conflicts: 600000 | #Constraints: 43849
807.68/814.24 c #Conflicts: 601000 | #Constraints: 44851
807.68/814.24 c #Conflicts: 602000 | #Constraints: 45853
807.68/814.24 c #Conflicts: 603000 | #Constraints: 46855
807.68/814.24 c #Conflicts: 604000 | #Constraints: 47855
807.68/814.24 c #Conflicts: 605000 | #Constraints: 48857
807.68/814.24 c #Conflicts: 606000 | #Constraints: 49858
807.68/814.24 c #Conflicts: 607000 | #Constraints: 50859
807.68/814.24 c INPROCESSING
807.68/814.24 c GARBAGE COLLECT
807.68/814.24 c rational objective 6
827.82/834.50 c #Conflicts: 608000 | #Constraints: 36436
827.82/834.50 c #Conflicts: 609000 | #Constraints: 37437
827.82/834.50 c #Conflicts: 610000 | #Constraints: 38441
827.82/834.50 c #Conflicts: 611000 | #Constraints: 39447
827.82/834.50 c #Conflicts: 612000 | #Constraints: 40448
827.82/834.50 c #Conflicts: 613000 | #Constraints: 41452
827.82/834.50 c #Conflicts: 614000 | #Constraints: 42456
827.82/834.50 c #Conflicts: 615000 | #Constraints: 43457
827.82/834.50 c #Conflicts: 616000 | #Constraints: 44458
827.82/834.50 c #Conflicts: 617000 | #Constraints: 45459
827.82/834.50 c #Conflicts: 618000 | #Constraints: 46460
827.82/834.50 c #Conflicts: 619000 | #Constraints: 47461
827.82/834.50 c #Conflicts: 620000 | #Constraints: 48461
827.82/834.50 c #Conflicts: 621000 | #Constraints: 49462
827.82/834.50 c #Conflicts: 622000 | #Constraints: 50463
827.82/834.50 c #Conflicts: 623000 | #Constraints: 51464
827.82/834.50 c INPROCESSING
827.82/834.50 c GARBAGE COLLECT
827.82/834.50 c rational objective 6
853.36/860.13 c #Conflicts: 624000 | #Constraints: 36805
853.36/860.13 c #Conflicts: 625000 | #Constraints: 37807
853.36/860.13 c #Conflicts: 626000 | #Constraints: 38809
853.36/860.13 c #Conflicts: 627000 | #Constraints: 39810
853.36/860.13 c #Conflicts: 628000 | #Constraints: 40813
853.36/860.13 c #Conflicts: 629000 | #Constraints: 41814
853.36/860.13 c #Conflicts: 630000 | #Constraints: 42815
853.36/860.13 c #Conflicts: 631000 | #Constraints: 43816
853.36/860.13 c #Conflicts: 632000 | #Constraints: 44817
853.36/860.13 c #Conflicts: 633000 | #Constraints: 45817
853.36/860.13 c #Conflicts: 634000 | #Constraints: 46818
853.36/860.13 c #Conflicts: 635000 | #Constraints: 47819
853.36/860.13 c #Conflicts: 636000 | #Constraints: 48819
853.36/860.13 c #Conflicts: 637000 | #Constraints: 49820
853.36/860.13 c #Conflicts: 638000 | #Constraints: 50820
853.36/860.13 c #Conflicts: 639000 | #Constraints: 51820
853.36/860.13 c INPROCESSING
853.36/860.13 c GARBAGE COLLECT
853.36/860.13 c rational objective 6
876.08/883.08 c #Conflicts: 640000 | #Constraints: 36997
876.08/883.08 c #Conflicts: 641000 | #Constraints: 37998
876.08/883.08 c #Conflicts: 642000 | #Constraints: 39000
876.08/883.08 c #Conflicts: 643000 | #Constraints: 40003
876.08/883.08 c #Conflicts: 644000 | #Constraints: 41005
876.08/883.08 c #Conflicts: 645000 | #Constraints: 42006
876.08/883.08 c #Conflicts: 646000 | #Constraints: 43007
876.08/883.08 c #Conflicts: 647000 | #Constraints: 44007
876.08/883.08 c #Conflicts: 648000 | #Constraints: 45008
876.08/883.08 c #Conflicts: 649000 | #Constraints: 46008
876.08/883.08 c #Conflicts: 650000 | #Constraints: 47009
876.08/883.08 c #Conflicts: 651000 | #Constraints: 48009
876.08/883.08 c #Conflicts: 652000 | #Constraints: 49009
876.08/883.08 c #Conflicts: 653000 | #Constraints: 50010
876.08/883.08 c #Conflicts: 654000 | #Constraints: 51010
876.08/883.08 c #Conflicts: 655000 | #Constraints: 52011
876.08/883.08 c INPROCESSING
876.08/883.08 c GARBAGE COLLECT
876.08/883.08 c rational objective 6
899.66/906.73 c #Conflicts: 656000 | #Constraints: 36964
899.66/906.73 c #Conflicts: 657000 | #Constraints: 37964
899.66/906.73 c #Conflicts: 658000 | #Constraints: 38967
899.66/906.73 c #Conflicts: 659000 | #Constraints: 39971
899.66/906.73 c #Conflicts: 660000 | #Constraints: 40975
899.66/906.73 c #Conflicts: 661000 | #Constraints: 41981
899.66/906.73 c #Conflicts: 662000 | #Constraints: 42984
899.66/906.73 c #Conflicts: 663000 | #Constraints: 43985
899.66/906.73 c #Conflicts: 664000 | #Constraints: 44987
899.66/906.73 c #Conflicts: 665000 | #Constraints: 45987
899.66/906.73 c #Conflicts: 666000 | #Constraints: 46988
899.66/906.73 c #Conflicts: 667000 | #Constraints: 47989
899.66/906.73 c #Conflicts: 668000 | #Constraints: 48989
899.66/906.73 c #Conflicts: 669000 | #Constraints: 49990
899.66/906.73 c #Conflicts: 670000 | #Constraints: 50991
899.66/906.73 c #Conflicts: 671000 | #Constraints: 51992
899.66/906.73 c INPROCESSING
899.66/906.73 c GARBAGE COLLECT
899.66/906.73 c rational objective 6
921.80/929.09 c #Conflicts: 672000 | #Constraints: 36759
921.80/929.09 c #Conflicts: 673000 | #Constraints: 37760
921.80/929.09 c #Conflicts: 674000 | #Constraints: 38760
921.80/929.09 c #Conflicts: 675000 | #Constraints: 39763
921.80/929.09 c #Conflicts: 676000 | #Constraints: 40768
921.80/929.09 c #Conflicts: 677000 | #Constraints: 41772
921.80/929.09 c #Conflicts: 678000 | #Constraints: 42775
921.80/929.09 c #Conflicts: 679000 | #Constraints: 43776
921.80/929.09 c #Conflicts: 680000 | #Constraints: 44779
921.80/929.09 c #Conflicts: 681000 | #Constraints: 45780
921.80/929.09 c #Conflicts: 682000 | #Constraints: 46781
921.80/929.09 c #Conflicts: 683000 | #Constraints: 47783
921.80/929.09 c #Conflicts: 684000 | #Constraints: 48784
921.80/929.09 c #Conflicts: 685000 | #Constraints: 49785
921.80/929.09 c #Conflicts: 686000 | #Constraints: 50786
921.80/929.09 c #Conflicts: 687000 | #Constraints: 51787
921.80/929.09 c #Conflicts: 688000 | #Constraints: 52787
921.80/929.09 c INPROCESSING
921.80/929.09 c GARBAGE COLLECT
921.80/929.09 c rational objective 6
944.42/951.70 c #Conflicts: 689000 | #Constraints: 37363
944.42/951.70 c #Conflicts: 690000 | #Constraints: 38364
944.42/951.70 c #Conflicts: 691000 | #Constraints: 39366
944.42/951.70 c #Conflicts: 692000 | #Constraints: 40368
944.42/951.70 c #Conflicts: 693000 | #Constraints: 41371
944.42/951.70 c #Conflicts: 694000 | #Constraints: 42374
944.42/951.70 c #Conflicts: 695000 | #Constraints: 43375
944.42/951.70 c #Conflicts: 696000 | #Constraints: 44377
944.42/951.70 c #Conflicts: 697000 | #Constraints: 45380
944.42/951.70 c #Conflicts: 698000 | #Constraints: 46384
944.42/951.70 c #Conflicts: 699000 | #Constraints: 47387
944.42/951.70 c #Conflicts: 700000 | #Constraints: 48391
944.42/951.70 c #Conflicts: 701000 | #Constraints: 49392
944.42/951.70 c #Conflicts: 702000 | #Constraints: 50393
944.42/951.70 c #Conflicts: 703000 | #Constraints: 51393
944.42/951.70 c #Conflicts: 704000 | #Constraints: 52394
944.42/951.70 c #Conflicts: 705000 | #Constraints: 53395
944.42/951.70 c INPROCESSING
944.42/951.70 c GARBAGE COLLECT
944.42/951.70 c rational objective 6
973.68/981.35 c #Conflicts: 706000 | #Constraints: 37748
973.68/981.35 c #Conflicts: 707000 | #Constraints: 38751
973.68/981.35 c #Conflicts: 708000 | #Constraints: 39761
973.68/981.35 c #Conflicts: 709000 | #Constraints: 40769
973.68/981.35 c #Conflicts: 710000 | #Constraints: 41771
973.68/981.35 c #Conflicts: 711000 | #Constraints: 42774
973.68/981.35 c #Conflicts: 712000 | #Constraints: 43783
973.68/981.35 c #Conflicts: 713000 | #Constraints: 44788
973.68/981.35 c #Conflicts: 714000 | #Constraints: 45801
973.68/981.35 c #Conflicts: 715000 | #Constraints: 46805
973.68/981.35 c #Conflicts: 716000 | #Constraints: 47805
973.68/981.35 c #Conflicts: 717000 | #Constraints: 48808
973.68/981.35 c #Conflicts: 718000 | #Constraints: 49813
973.68/981.35 c #Conflicts: 719000 | #Constraints: 50819
973.68/981.35 c #Conflicts: 720000 | #Constraints: 51822
973.68/981.35 c #Conflicts: 721000 | #Constraints: 52825
973.68/981.35 c #Conflicts: 722000 | #Constraints: 53826
973.68/981.35 c INPROCESSING
973.68/981.35 c GARBAGE COLLECT
973.68/981.35 c rational objective 6
999.80/1007.72 c #Conflicts: 723000 | #Constraints: 37935
999.80/1007.72 c #Conflicts: 724000 | #Constraints: 38938
999.80/1007.72 c #Conflicts: 725000 | #Constraints: 39940
999.80/1007.72 c #Conflicts: 726000 | #Constraints: 40952
999.80/1007.72 c #Conflicts: 727000 | #Constraints: 41960
999.80/1007.72 c #Conflicts: 728000 | #Constraints: 42965
999.80/1007.72 c #Conflicts: 729000 | #Constraints: 43972
999.80/1007.72 c #Conflicts: 730000 | #Constraints: 44979
999.80/1007.72 c #Conflicts: 731000 | #Constraints: 45988
999.80/1007.72 c #Conflicts: 732000 | #Constraints: 46997
999.80/1007.72 c #Conflicts: 733000 | #Constraints: 48005
999.80/1007.72 c #Conflicts: 734000 | #Constraints: 49012
999.80/1007.72 c #Conflicts: 735000 | #Constraints: 50014
999.80/1007.72 c #Conflicts: 736000 | #Constraints: 51017
999.80/1007.72 c #Conflicts: 737000 | #Constraints: 52020
999.80/1007.72 c #Conflicts: 738000 | #Constraints: 53022
999.80/1007.72 c #Conflicts: 739000 | #Constraints: 54023
999.80/1007.72 c INPROCESSING
999.80/1007.72 c GARBAGE COLLECT
999.80/1007.72 c rational objective 6
1031.33/1039.57 c #Conflicts: 740000 | #Constraints: 37960
1031.33/1039.57 c #Conflicts: 741000 | #Constraints: 38965
1031.33/1039.57 c #Conflicts: 742000 | #Constraints: 39970
1031.33/1039.57 c #Conflicts: 743000 | #Constraints: 40972
1031.33/1039.57 c #Conflicts: 744000 | #Constraints: 41976
1031.33/1039.57 c #Conflicts: 745000 | #Constraints: 42979
1031.33/1039.57 c #Conflicts: 746000 | #Constraints: 43980
1031.33/1039.57 c #Conflicts: 747000 | #Constraints: 44982
1031.33/1039.57 c #Conflicts: 748000 | #Constraints: 45984
1031.33/1039.57 c #Conflicts: 749000 | #Constraints: 46984
1031.33/1039.57 c #Conflicts: 750000 | #Constraints: 47985
1031.33/1039.57 c #Conflicts: 751000 | #Constraints: 48985
1031.33/1039.57 c #Conflicts: 752000 | #Constraints: 49986
1031.33/1039.57 c #Conflicts: 753000 | #Constraints: 50987
1031.33/1039.57 c #Conflicts: 754000 | #Constraints: 51988
1031.33/1039.57 c #Conflicts: 755000 | #Constraints: 52989
1031.33/1039.57 c #Conflicts: 756000 | #Constraints: 53989
1031.33/1039.57 c INPROCESSING
1031.33/1039.57 c GARBAGE COLLECT
1031.33/1039.57 c rational objective 6
1073.15/1081.65 c #Conflicts: 757000 | #Constraints: 37732
1073.15/1081.65 c #Conflicts: 758000 | #Constraints: 38734
1073.15/1081.65 c #Conflicts: 759000 | #Constraints: 39739
1073.15/1081.65 c #Conflicts: 760000 | #Constraints: 40741
1073.15/1081.65 c #Conflicts: 761000 | #Constraints: 41744
1073.15/1081.65 c #Conflicts: 762000 | #Constraints: 42747
1073.15/1081.65 c #Conflicts: 763000 | #Constraints: 43750
1073.15/1081.65 c #Conflicts: 764000 | #Constraints: 44751
1073.15/1081.65 c #Conflicts: 765000 | #Constraints: 45755
1073.15/1081.65 c #Conflicts: 766000 | #Constraints: 46759
1073.15/1081.65 c #Conflicts: 767000 | #Constraints: 47761
1073.15/1081.65 c #Conflicts: 768000 | #Constraints: 48762
1073.15/1081.65 c #Conflicts: 769000 | #Constraints: 49764
1073.15/1081.65 c #Conflicts: 770000 | #Constraints: 50765
1073.15/1081.65 c #Conflicts: 771000 | #Constraints: 51766
1073.15/1081.65 c #Conflicts: 772000 | #Constraints: 52766
1073.15/1081.65 c #Conflicts: 773000 | #Constraints: 53767
1073.15/1081.65 c #Conflicts: 774000 | #Constraints: 54767
1073.15/1081.65 c INPROCESSING
1073.15/1081.65 c GARBAGE COLLECT
1073.15/1081.65 c rational objective 6
1098.68/1107.24 c #Conflicts: 775000 | #Constraints: 38298
1098.68/1107.24 c #Conflicts: 776000 | #Constraints: 39298
1098.68/1107.24 c #Conflicts: 777000 | #Constraints: 40300
1098.68/1107.24 c #Conflicts: 778000 | #Constraints: 41302
1098.68/1107.24 c #Conflicts: 779000 | #Constraints: 42304
1098.68/1107.24 c #Conflicts: 780000 | #Constraints: 43304
1098.68/1107.24 c #Conflicts: 781000 | #Constraints: 44307
1098.68/1107.24 c #Conflicts: 782000 | #Constraints: 45308
1098.68/1107.24 c #Conflicts: 783000 | #Constraints: 46309
1098.68/1107.24 c #Conflicts: 784000 | #Constraints: 47312
1098.68/1107.24 c #Conflicts: 785000 | #Constraints: 48313
1098.68/1107.24 c #Conflicts: 786000 | #Constraints: 49316
1098.68/1107.24 c #Conflicts: 787000 | #Constraints: 50322
1098.68/1107.24 c #Conflicts: 788000 | #Constraints: 51325
1098.68/1107.24 c #Conflicts: 789000 | #Constraints: 52326
1098.68/1107.24 c #Conflicts: 790000 | #Constraints: 53328
1098.68/1107.24 c #Conflicts: 791000 | #Constraints: 54329
1098.68/1107.24 c #Conflicts: 792000 | #Constraints: 55330
1098.68/1107.24 c INPROCESSING
1098.68/1107.24 c GARBAGE COLLECT
1098.68/1107.24 c rational objective 6
1124.19/1132.86 c #Conflicts: 793000 | #Constraints: 38693
1124.19/1132.86 c #Conflicts: 794000 | #Constraints: 39693
1124.19/1132.86 c #Conflicts: 795000 | #Constraints: 40694
1124.19/1132.86 c #Conflicts: 796000 | #Constraints: 41697
1124.19/1132.86 c #Conflicts: 797000 | #Constraints: 42699
1124.19/1132.86 c #Conflicts: 798000 | #Constraints: 43701
1124.19/1132.86 c #Conflicts: 799000 | #Constraints: 44703
1124.19/1132.86 c #Conflicts: 800000 | #Constraints: 45704
1124.19/1132.86 c #Conflicts: 801000 | #Constraints: 46706
1124.19/1132.86 c #Conflicts: 802000 | #Constraints: 47710
1124.19/1132.86 c #Conflicts: 803000 | #Constraints: 48717
1124.19/1132.86 c #Conflicts: 804000 | #Constraints: 49721
1124.19/1132.86 c #Conflicts: 805000 | #Constraints: 50722
1124.19/1132.86 c #Conflicts: 806000 | #Constraints: 51722
1124.19/1132.86 c #Conflicts: 807000 | #Constraints: 52722
1124.19/1132.86 c #Conflicts: 808000 | #Constraints: 53723
1124.19/1132.86 c #Conflicts: 809000 | #Constraints: 54724
1124.19/1132.86 c #Conflicts: 810000 | #Constraints: 55724
1124.19/1132.86 c INPROCESSING
1124.19/1132.86 c GARBAGE COLLECT
1124.19/1132.86 c rational objective 6
1151.32/1160.08 c #Conflicts: 811000 | #Constraints: 38887
1151.32/1160.08 c #Conflicts: 812000 | #Constraints: 39887
1151.32/1160.08 c #Conflicts: 813000 | #Constraints: 40889
1151.32/1160.08 c #Conflicts: 814000 | #Constraints: 41893
1151.32/1160.08 c #Conflicts: 815000 | #Constraints: 42894
1151.32/1160.08 c #Conflicts: 816000 | #Constraints: 43897
1151.32/1160.08 c #Conflicts: 817000 | #Constraints: 44899
1151.32/1160.08 c #Conflicts: 818000 | #Constraints: 45903
1151.32/1160.08 c #Conflicts: 819000 | #Constraints: 46905
1151.32/1160.08 c #Conflicts: 820000 | #Constraints: 47906
1151.32/1160.08 c #Conflicts: 821000 | #Constraints: 48909
1151.32/1160.08 c #Conflicts: 822000 | #Constraints: 49911
1151.32/1160.08 c #Conflicts: 823000 | #Constraints: 50913
1151.32/1160.08 c #Conflicts: 824000 | #Constraints: 51914
1151.32/1160.08 c #Conflicts: 825000 | #Constraints: 52916
1151.32/1160.08 c #Conflicts: 826000 | #Constraints: 53917
1151.32/1160.08 c #Conflicts: 827000 | #Constraints: 54918
1151.32/1160.08 c #Conflicts: 828000 | #Constraints: 55919
1151.32/1160.08 c INPROCESSING
1151.32/1160.08 c GARBAGE COLLECT
1151.32/1160.08 c rational objective 6
1184.21/1193.15 c #Conflicts: 829000 | #Constraints: 38892
1184.21/1193.15 c #Conflicts: 830000 | #Constraints: 39892
1184.21/1193.15 c #Conflicts: 831000 | #Constraints: 40894
1184.21/1193.15 c #Conflicts: 832000 | #Constraints: 41898
1184.21/1193.15 c #Conflicts: 833000 | #Constraints: 42901
1184.21/1193.15 c #Conflicts: 834000 | #Constraints: 43901
1184.21/1193.15 c #Conflicts: 835000 | #Constraints: 44903
1184.21/1193.15 c #Conflicts: 836000 | #Constraints: 45908
1184.21/1193.15 c #Conflicts: 837000 | #Constraints: 46913
1184.21/1193.15 c #Conflicts: 838000 | #Constraints: 47916
1184.21/1193.15 c #Conflicts: 839000 | #Constraints: 48917
1184.21/1193.15 c #Conflicts: 840000 | #Constraints: 49920
1184.21/1193.15 c #Conflicts: 841000 | #Constraints: 50921
1184.21/1193.15 c #Conflicts: 842000 | #Constraints: 51922
1184.21/1193.15 c #Conflicts: 843000 | #Constraints: 52924
1184.21/1193.15 c #Conflicts: 844000 | #Constraints: 53925
1184.21/1193.15 c #Conflicts: 845000 | #Constraints: 54927
1184.21/1193.15 c #Conflicts: 846000 | #Constraints: 55927
1184.21/1193.15 c INPROCESSING
1184.21/1193.15 c GARBAGE COLLECT
1184.21/1193.15 c rational objective 6
1212.12/1221.22 c #Conflicts: 847000 | #Constraints: 38660
1212.12/1221.22 c #Conflicts: 848000 | #Constraints: 39660
1212.12/1221.22 c #Conflicts: 849000 | #Constraints: 40661
1212.12/1221.22 c #Conflicts: 850000 | #Constraints: 41663
1212.12/1221.22 c #Conflicts: 851000 | #Constraints: 42667
1212.12/1221.22 c #Conflicts: 852000 | #Constraints: 43669
1212.12/1221.22 c #Conflicts: 853000 | #Constraints: 44671
1212.12/1221.22 c #Conflicts: 854000 | #Constraints: 45674
1212.12/1221.22 c #Conflicts: 855000 | #Constraints: 46678
1212.12/1221.22 c #Conflicts: 856000 | #Constraints: 47681
1212.12/1221.22 c #Conflicts: 857000 | #Constraints: 48685
1212.12/1221.22 c #Conflicts: 858000 | #Constraints: 49687
1212.12/1221.22 c #Conflicts: 859000 | #Constraints: 50688
1212.12/1221.22 c #Conflicts: 860000 | #Constraints: 51689
1212.12/1221.22 c #Conflicts: 861000 | #Constraints: 52689
1212.12/1221.22 c #Conflicts: 862000 | #Constraints: 53690
1212.12/1221.22 c #Conflicts: 863000 | #Constraints: 54692
1212.12/1221.22 c #Conflicts: 864000 | #Constraints: 55694
1212.12/1221.22 c #Conflicts: 865000 | #Constraints: 56697
1212.12/1221.22 c INPROCESSING
1212.12/1221.22 c GARBAGE COLLECT
1212.12/1221.22 c rational objective 6
1239.53/1248.70 c #Conflicts: 866000 | #Constraints: 39251
1239.53/1248.70 c #Conflicts: 867000 | #Constraints: 40251
1239.53/1248.70 c #Conflicts: 868000 | #Constraints: 41253
1239.53/1248.70 c #Conflicts: 869000 | #Constraints: 42259
1239.53/1248.70 c #Conflicts: 870000 | #Constraints: 43262
1239.53/1248.70 c #Conflicts: 871000 | #Constraints: 44262
1239.53/1248.70 c #Conflicts: 872000 | #Constraints: 45264
1239.53/1248.70 c #Conflicts: 873000 | #Constraints: 46266
1239.53/1248.70 c #Conflicts: 874000 | #Constraints: 47270
1239.53/1248.70 c #Conflicts: 875000 | #Constraints: 48272
1239.53/1248.70 c #Conflicts: 876000 | #Constraints: 49272
1239.53/1248.70 c #Conflicts: 877000 | #Constraints: 50273
1239.53/1248.70 c #Conflicts: 878000 | #Constraints: 51273
1239.53/1248.70 c #Conflicts: 879000 | #Constraints: 52274
1239.53/1248.70 c #Conflicts: 880000 | #Constraints: 53276
1239.53/1248.70 c #Conflicts: 881000 | #Constraints: 54277
1239.53/1248.70 c #Conflicts: 882000 | #Constraints: 55279
1239.53/1248.70 c #Conflicts: 883000 | #Constraints: 56281
1239.53/1248.70 c #Conflicts: 884000 | #Constraints: 57282
1239.53/1248.70 c INPROCESSING
1239.53/1248.70 c GARBAGE COLLECT
1239.53/1248.70 c rational objective 6
1278.91/1288.25 c #Conflicts: 885000 | #Constraints: 39637
1278.91/1288.25 c #Conflicts: 886000 | #Constraints: 40637
1278.91/1288.25 c #Conflicts: 887000 | #Constraints: 41638
1278.91/1288.25 c #Conflicts: 888000 | #Constraints: 42639
1278.91/1288.25 c #Conflicts: 889000 | #Constraints: 43639
1278.91/1288.25 c #Conflicts: 890000 | #Constraints: 44640
1278.91/1288.25 c #Conflicts: 891000 | #Constraints: 45642
1278.91/1288.25 c #Conflicts: 892000 | #Constraints: 46642
1278.91/1288.25 c #Conflicts: 893000 | #Constraints: 47642
1278.91/1288.25 c #Conflicts: 894000 | #Constraints: 48642
1278.91/1288.25 c #Conflicts: 895000 | #Constraints: 49642
1278.91/1288.25 c #Conflicts: 896000 | #Constraints: 50642
1278.91/1288.25 c #Conflicts: 897000 | #Constraints: 51642
1278.91/1288.25 c #Conflicts: 898000 | #Constraints: 52642
1278.91/1288.25 c #Conflicts: 899000 | #Constraints: 53642
1278.91/1288.25 c #Conflicts: 900000 | #Constraints: 54643
1278.91/1288.25 c #Conflicts: 901000 | #Constraints: 55644
1278.91/1288.25 c #Conflicts: 902000 | #Constraints: 56644
1278.91/1288.25 c #Conflicts: 903000 | #Constraints: 57644
1278.91/1288.25 c INPROCESSING
1278.91/1288.25 c GARBAGE COLLECT
1278.91/1288.25 c rational objective 6
1308.44/1317.93 c #Conflicts: 904000 | #Constraints: 39824
1308.44/1317.93 c #Conflicts: 905000 | #Constraints: 40824
1308.44/1317.93 c #Conflicts: 906000 | #Constraints: 41825
1308.44/1317.93 c #Conflicts: 907000 | #Constraints: 42826
1308.44/1317.93 c #Conflicts: 908000 | #Constraints: 43828
1308.44/1317.93 c #Conflicts: 909000 | #Constraints: 44828
1308.44/1317.93 c #Conflicts: 910000 | #Constraints: 45830
1308.44/1317.93 c #Conflicts: 911000 | #Constraints: 46831
1308.44/1317.93 c #Conflicts: 912000 | #Constraints: 47833
1308.44/1317.93 c #Conflicts: 913000 | #Constraints: 48835
1308.44/1317.93 c #Conflicts: 914000 | #Constraints: 49837
1308.44/1317.93 c #Conflicts: 915000 | #Constraints: 50838
1308.44/1317.93 c #Conflicts: 916000 | #Constraints: 51840
1308.44/1317.93 c #Conflicts: 917000 | #Constraints: 52840
1308.44/1317.93 c #Conflicts: 918000 | #Constraints: 53841
1308.44/1317.93 c #Conflicts: 919000 | #Constraints: 54842
1308.44/1317.93 c #Conflicts: 920000 | #Constraints: 55843
1308.44/1317.93 c #Conflicts: 921000 | #Constraints: 56844
1308.44/1317.93 c #Conflicts: 922000 | #Constraints: 57844
1308.44/1317.93 c INPROCESSING
1308.44/1317.93 c GARBAGE COLLECT
1308.44/1317.93 c rational objective 6
1342.89/1352.52 c #Conflicts: 923000 | #Constraints: 39857
1342.89/1352.52 c #Conflicts: 924000 | #Constraints: 40858
1342.89/1352.52 c #Conflicts: 925000 | #Constraints: 41861
1342.89/1352.52 c #Conflicts: 926000 | #Constraints: 42863
1342.89/1352.52 c #Conflicts: 927000 | #Constraints: 43864
1342.89/1352.52 c #Conflicts: 928000 | #Constraints: 44866
1342.89/1352.52 c #Conflicts: 929000 | #Constraints: 45870
1342.89/1352.52 c #Conflicts: 930000 | #Constraints: 46874
1342.89/1352.52 c #Conflicts: 931000 | #Constraints: 47879
1342.89/1352.52 c #Conflicts: 932000 | #Constraints: 48888
1342.89/1352.52 c #Conflicts: 933000 | #Constraints: 49892
1342.89/1352.52 c #Conflicts: 934000 | #Constraints: 50904
1342.89/1352.52 c #Conflicts: 935000 | #Constraints: 51908
1342.89/1352.52 c #Conflicts: 936000 | #Constraints: 52909
1342.89/1352.52 c #Conflicts: 937000 | #Constraints: 53910
1342.89/1352.52 c #Conflicts: 938000 | #Constraints: 54910
1342.89/1352.52 c #Conflicts: 939000 | #Constraints: 55910
1342.89/1352.52 c #Conflicts: 940000 | #Constraints: 56911
1342.89/1352.52 c #Conflicts: 941000 | #Constraints: 57912
1342.89/1352.52 c INPROCESSING
1342.89/1352.52 c GARBAGE COLLECT
1342.89/1352.52 c rational objective 6
1378.69/1388.61 c #Conflicts: 942000 | #Constraints: 39660
1378.69/1388.61 c #Conflicts: 943000 | #Constraints: 40661
1378.69/1388.61 c #Conflicts: 944000 | #Constraints: 41666
1378.69/1388.61 c #Conflicts: 945000 | #Constraints: 42672
1378.69/1388.61 c #Conflicts: 946000 | #Constraints: 43680
1378.69/1388.61 c #Conflicts: 947000 | #Constraints: 44692
1378.69/1388.61 c #Conflicts: 948000 | #Constraints: 45703
1378.69/1388.61 c #Conflicts: 949000 | #Constraints: 46710
1378.69/1388.61 c #Conflicts: 950000 | #Constraints: 47717
1378.69/1388.61 c #Conflicts: 951000 | #Constraints: 48723
1378.69/1388.61 c #Conflicts: 952000 | #Constraints: 49727
1378.69/1388.61 c #Conflicts: 953000 | #Constraints: 50731
1378.69/1388.61 c #Conflicts: 954000 | #Constraints: 51732
1378.69/1388.61 c #Conflicts: 955000 | #Constraints: 52732
1378.69/1388.61 c #Conflicts: 956000 | #Constraints: 53734
1378.69/1388.61 c #Conflicts: 957000 | #Constraints: 54735
1378.69/1388.61 c #Conflicts: 958000 | #Constraints: 55736
1378.69/1388.61 c #Conflicts: 959000 | #Constraints: 56736
1378.69/1388.61 c #Conflicts: 960000 | #Constraints: 57737
1378.69/1388.61 c #Conflicts: 961000 | #Constraints: 58738
1378.69/1388.61 c INPROCESSING
1378.69/1388.61 c GARBAGE COLLECT
1378.69/1388.61 c rational objective 6
1408.36/1418.53 c #Conflicts: 962000 | #Constraints: 40257
1408.36/1418.53 c #Conflicts: 963000 | #Constraints: 41257
1408.36/1418.53 c #Conflicts: 964000 | #Constraints: 42258
1408.36/1418.53 c #Conflicts: 965000 | #Constraints: 43260
1408.36/1418.53 c #Conflicts: 966000 | #Constraints: 44264
1408.36/1418.53 c #Conflicts: 967000 | #Constraints: 45270
1408.36/1418.53 c #Conflicts: 968000 | #Constraints: 46278
1408.36/1418.53 c #Conflicts: 969000 | #Constraints: 47283
1408.36/1418.53 c #Conflicts: 970000 | #Constraints: 48286
1408.36/1418.53 c #Conflicts: 971000 | #Constraints: 49287
1408.36/1418.53 c #Conflicts: 972000 | #Constraints: 50288
1408.36/1418.53 c #Conflicts: 973000 | #Constraints: 51291
1408.36/1418.53 c #Conflicts: 974000 | #Constraints: 52293
1408.36/1418.53 c #Conflicts: 975000 | #Constraints: 53293
1408.36/1418.53 c #Conflicts: 976000 | #Constraints: 54295
1408.36/1418.53 c #Conflicts: 977000 | #Constraints: 55295
1408.36/1418.53 c #Conflicts: 978000 | #Constraints: 56296
1408.36/1418.53 c #Conflicts: 979000 | #Constraints: 57296
1408.36/1418.53 c #Conflicts: 980000 | #Constraints: 58297
1408.36/1418.53 c #Conflicts: 981000 | #Constraints: 59297
1408.36/1418.53 c INPROCESSING
1408.36/1418.53 c GARBAGE COLLECT
1408.36/1418.53 c rational objective 6
1486.63/1497.27 c #Conflicts: 982000 | #Constraints: 40641
1486.63/1497.27 c #Conflicts: 983000 | #Constraints: 41641
1486.63/1497.27 c #Conflicts: 984000 | #Constraints: 42642
1486.63/1497.27 c #Conflicts: 985000 | #Constraints: 43644
1486.63/1497.27 c #Conflicts: 986000 | #Constraints: 44648
1486.63/1497.27 c #Conflicts: 987000 | #Constraints: 45651
1486.63/1497.27 c #Conflicts: 988000 | #Constraints: 46655
1486.63/1497.27 c #Conflicts: 989000 | #Constraints: 47657
1486.63/1497.27 c #Conflicts: 990000 | #Constraints: 48659
1486.63/1497.27 c #Conflicts: 991000 | #Constraints: 49662
1486.63/1497.27 c #Conflicts: 992000 | #Constraints: 50665
1486.63/1497.27 c #Conflicts: 993000 | #Constraints: 51668
1486.63/1497.27 c #Conflicts: 994000 | #Constraints: 52670
1486.63/1497.27 c #Conflicts: 995000 | #Constraints: 53671
1486.63/1497.27 c #Conflicts: 996000 | #Constraints: 54672
1486.63/1497.27 c #Conflicts: 997000 | #Constraints: 55673
1486.63/1497.27 c #Conflicts: 998000 | #Constraints: 56673
1486.63/1497.27 c #Conflicts: 999000 | #Constraints: 57674
1486.63/1497.27 c #Conflicts: 1000000 | #Constraints: 58674
1486.63/1497.27 c #Conflicts: 1001000 | #Constraints: 59675
1486.63/1497.27 c INPROCESSING
1486.63/1497.27 c GARBAGE COLLECT
1486.63/1497.27 c rational objective 6
1517.35/1528.13 c #Conflicts: 1002000 | #Constraints: 40844
1517.35/1528.13 c #Conflicts: 1003000 | #Constraints: 41844
1517.35/1528.13 c #Conflicts: 1004000 | #Constraints: 42845
1517.35/1528.13 c #Conflicts: 1005000 | #Constraints: 43848
1517.35/1528.13 c #Conflicts: 1006000 | #Constraints: 44854
1517.35/1528.13 c #Conflicts: 1007000 | #Constraints: 45864
1517.35/1528.13 c #Conflicts: 1008000 | #Constraints: 46866
1517.35/1528.13 c #Conflicts: 1009000 | #Constraints: 47868
1517.35/1528.13 c #Conflicts: 1010000 | #Constraints: 48870
1517.35/1528.13 c #Conflicts: 1011000 | #Constraints: 49871
1517.35/1528.13 c #Conflicts: 1012000 | #Constraints: 50874
1517.35/1528.13 c #Conflicts: 1013000 | #Constraints: 51879
1517.35/1528.13 c #Conflicts: 1014000 | #Constraints: 52883
1517.35/1528.13 c #Conflicts: 1015000 | #Constraints: 53886
1517.35/1528.13 c #Conflicts: 1016000 | #Constraints: 54891
1517.35/1528.13 c #Conflicts: 1017000 | #Constraints: 55896
1517.35/1528.13 c #Conflicts: 1018000 | #Constraints: 56900
1517.35/1528.13 c #Conflicts: 1019000 | #Constraints: 57905
1517.35/1528.13 c #Conflicts: 1020000 | #Constraints: 58910
1517.35/1528.13 c #Conflicts: 1021000 | #Constraints: 59913
1517.35/1528.13 c INPROCESSING
1517.35/1528.13 c GARBAGE COLLECT
1517.35/1528.13 c rational objective 6
1551.73/1564.10 c #Conflicts: 1022000 | #Constraints: 40854
1551.73/1564.10 c #Conflicts: 1023000 | #Constraints: 41856
1551.73/1564.10 c #Conflicts: 1024000 | #Constraints: 42858
1551.73/1564.10 c #Conflicts: 1025000 | #Constraints: 43864
1551.73/1564.10 c #Conflicts: 1026000 | #Constraints: 44866
1551.73/1564.10 c #Conflicts: 1027000 | #Constraints: 45867
1551.73/1564.10 c #Conflicts: 1028000 | #Constraints: 46867
1551.73/1564.10 c #Conflicts: 1029000 | #Constraints: 47868
1551.73/1564.10 c #Conflicts: 1030000 | #Constraints: 48870
1551.73/1564.10 c #Conflicts: 1031000 | #Constraints: 49871
1551.73/1564.10 c #Conflicts: 1032000 | #Constraints: 50873
1551.73/1564.10 c #Conflicts: 1033000 | #Constraints: 51874
1551.73/1564.10 c #Conflicts: 1034000 | #Constraints: 52875
1551.73/1564.10 c #Conflicts: 1035000 | #Constraints: 53876
1551.73/1564.10 c #Conflicts: 1036000 | #Constraints: 54877
1551.73/1564.10 c #Conflicts: 1037000 | #Constraints: 55879
1551.73/1564.10 c #Conflicts: 1038000 | #Constraints: 56881
1551.73/1564.10 c #Conflicts: 1039000 | #Constraints: 57883
1551.73/1564.10 c #Conflicts: 1040000 | #Constraints: 58885
1551.73/1564.10 c #Conflicts: 1041000 | #Constraints: 59886
1551.73/1564.10 c INPROCESSING
1551.73/1564.10 c GARBAGE COLLECT
1551.73/1564.10 c rational objective 6
1599.57/1612.26 c #Conflicts: 1042000 | #Constraints: 40606
1599.57/1612.26 c #Conflicts: 1043000 | #Constraints: 41606
1599.57/1612.26 c #Conflicts: 1044000 | #Constraints: 42607
1599.57/1612.26 c #Conflicts: 1045000 | #Constraints: 43610
1599.57/1612.26 c #Conflicts: 1046000 | #Constraints: 44613
1599.57/1612.26 c #Conflicts: 1047000 | #Constraints: 45616
1599.57/1612.26 c #Conflicts: 1048000 | #Constraints: 46619
1599.57/1612.26 c #Conflicts: 1049000 | #Constraints: 47620
1599.57/1612.26 c #Conflicts: 1050000 | #Constraints: 48622
1599.57/1612.26 c #Conflicts: 1051000 | #Constraints: 49624
1599.57/1612.26 c #Conflicts: 1052000 | #Constraints: 50625
1599.57/1612.26 c #Conflicts: 1053000 | #Constraints: 51627
1599.57/1612.26 c #Conflicts: 1054000 | #Constraints: 52628
1599.57/1612.26 c #Conflicts: 1055000 | #Constraints: 53629
1599.57/1612.26 c #Conflicts: 1056000 | #Constraints: 54629
1599.57/1612.26 c #Conflicts: 1057000 | #Constraints: 55630
1599.57/1612.26 c #Conflicts: 1058000 | #Constraints: 56630
1599.57/1612.26 c #Conflicts: 1059000 | #Constraints: 57631
1599.57/1612.26 c #Conflicts: 1060000 | #Constraints: 58631
1599.57/1612.26 c #Conflicts: 1061000 | #Constraints: 59631
1599.57/1612.26 c #Conflicts: 1062000 | #Constraints: 60632
1599.57/1612.26 c INPROCESSING
1599.57/1612.26 c GARBAGE COLLECT
1599.57/1612.26 c rational objective 6
1635.57/1648.47 c #Conflicts: 1063000 | #Constraints: 41189
1635.57/1648.47 c #Conflicts: 1064000 | #Constraints: 42189
1635.57/1648.47 c #Conflicts: 1065000 | #Constraints: 43190
1635.57/1648.47 c #Conflicts: 1066000 | #Constraints: 44194
1635.57/1648.47 c #Conflicts: 1067000 | #Constraints: 45199
1635.57/1648.47 c #Conflicts: 1068000 | #Constraints: 46206
1635.57/1648.47 c #Conflicts: 1069000 | #Constraints: 47210
1635.57/1648.47 c #Conflicts: 1070000 | #Constraints: 48214
1635.57/1648.47 c #Conflicts: 1071000 | #Constraints: 49218
1635.57/1648.47 c #Conflicts: 1072000 | #Constraints: 50219
1635.57/1648.47 c #Conflicts: 1073000 | #Constraints: 51220
1635.57/1648.47 c #Conflicts: 1074000 | #Constraints: 52221
1635.57/1648.47 c #Conflicts: 1075000 | #Constraints: 53222
1635.57/1648.47 c #Conflicts: 1076000 | #Constraints: 54223
1635.57/1648.47 c #Conflicts: 1077000 | #Constraints: 55223
1635.57/1648.47 c #Conflicts: 1078000 | #Constraints: 56224
1635.57/1648.47 c #Conflicts: 1079000 | #Constraints: 57225
1635.57/1648.47 c #Conflicts: 1080000 | #Constraints: 58225
1635.57/1648.47 c #Conflicts: 1081000 | #Constraints: 59225
1635.57/1648.47 c #Conflicts: 1082000 | #Constraints: 60226
1635.57/1648.47 c #Conflicts: 1083000 | #Constraints: 61226
1635.57/1648.47 c INPROCESSING
1635.57/1648.47 c GARBAGE COLLECT
1635.57/1648.47 c rational objective 6
1696.03/1709.23 c #Conflicts: 1084000 | #Constraints: 41599
1696.03/1709.23 c #Conflicts: 1085000 | #Constraints: 42600
1696.03/1709.23 c #Conflicts: 1086000 | #Constraints: 43603
1696.03/1709.23 c #Conflicts: 1087000 | #Constraints: 44605
1696.03/1709.23 c #Conflicts: 1088000 | #Constraints: 45607
1696.03/1709.23 c #Conflicts: 1089000 | #Constraints: 46609
1696.03/1709.23 c #Conflicts: 1090000 | #Constraints: 47610
1696.03/1709.23 c #Conflicts: 1091000 | #Constraints: 48610
1696.03/1709.23 c #Conflicts: 1092000 | #Constraints: 49610
1696.03/1709.23 c #Conflicts: 1093000 | #Constraints: 50612
1696.03/1709.23 c #Conflicts: 1094000 | #Constraints: 51612
1696.03/1709.23 c #Conflicts: 1095000 | #Constraints: 52612
1696.03/1709.23 c #Conflicts: 1096000 | #Constraints: 53613
1696.03/1709.23 c #Conflicts: 1097000 | #Constraints: 54613
1696.03/1709.23 c #Conflicts: 1098000 | #Constraints: 55614
1696.03/1709.23 c #Conflicts: 1099000 | #Constraints: 56614
1696.03/1709.23 c #Conflicts: 1100000 | #Constraints: 57615
1696.03/1709.23 c #Conflicts: 1101000 | #Constraints: 58615
1696.03/1709.23 c #Conflicts: 1102000 | #Constraints: 59615
1696.03/1709.23 c #Conflicts: 1103000 | #Constraints: 60616
1696.03/1709.23 c #Conflicts: 1104000 | #Constraints: 61617
1696.03/1709.23 c INPROCESSING
1696.03/1709.23 c GARBAGE COLLECT
1696.03/1709.23 c rational objective 6
1747.27/1760.81 c #Conflicts: 1105000 | #Constraints: 41775
1747.27/1760.81 c #Conflicts: 1106000 | #Constraints: 42775
1747.27/1760.81 c #Conflicts: 1107000 | #Constraints: 43775
1747.27/1760.81 c #Conflicts: 1108000 | #Constraints: 44778
1747.27/1760.81 c #Conflicts: 1109000 | #Constraints: 45792
1747.27/1760.81 c #Conflicts: 1110000 | #Constraints: 46815
1747.27/1760.81 c #Conflicts: 1111000 | #Constraints: 47823
1747.27/1760.81 c #Conflicts: 1112000 | #Constraints: 48829
1747.27/1760.81 c #Conflicts: 1113000 | #Constraints: 49831
1747.27/1760.81 c #Conflicts: 1114000 | #Constraints: 50833
1747.27/1760.81 c #Conflicts: 1115000 | #Constraints: 51842
1747.27/1760.81 c #Conflicts: 1116000 | #Constraints: 52846
1747.27/1760.81 c #Conflicts: 1117000 | #Constraints: 53860
1747.27/1760.81 c #Conflicts: 1118000 | #Constraints: 54867
1747.27/1760.81 c #Conflicts: 1119000 | #Constraints: 55884
1747.27/1760.81 c #Conflicts: 1120000 | #Constraints: 56891
1747.27/1760.81 c #Conflicts: 1121000 | #Constraints: 57898
1747.27/1760.81 c #Conflicts: 1122000 | #Constraints: 58899
1747.27/1760.81 c #Conflicts: 1123000 | #Constraints: 59907
1747.27/1760.81 c #Conflicts: 1124000 | #Constraints: 60910
1747.27/1760.81 c #Conflicts: 1125000 | #Constraints: 61912
1747.27/1760.81 c INPROCESSING
1747.27/1760.81 c GARBAGE COLLECT
1747.27/1760.81 c rational objective 6
1784.91/1798.72 c #Conflicts: 1126000 | #Constraints: 41861
1784.91/1798.72 c #Conflicts: 1127000 | #Constraints: 42864
1784.91/1798.72 c #Conflicts: 1128000 | #Constraints: 43868
1784.91/1798.72 c #Conflicts: 1129000 | #Constraints: 44869
1784.91/1798.72 c #Conflicts: 1130000 | #Constraints: 45871
1784.91/1798.72 c #Conflicts: 1131000 | #Constraints: 46879
1784.91/1798.72 c #Conflicts: 1132000 | #Constraints: 47885
1784.91/1798.72 c #Conflicts: 1133000 | #Constraints: 48889
1784.91/1798.72 c #Conflicts: 1134000 | #Constraints: 49894
1784.91/1798.72 c #Conflicts: 1135000 | #Constraints: 50898
1784.91/1798.72 c #Conflicts: 1136000 | #Constraints: 51902
1784.91/1798.72 c #Conflicts: 1137000 | #Constraints: 52905
1784.91/1798.72 c #Conflicts: 1138000 | #Constraints: 53909
1784.91/1798.72 c #Conflicts: 1139000 | #Constraints: 54910
1784.91/1798.72 c #Conflicts: 1140000 | #Constraints: 55911
1784.91/1798.72 c #Conflicts: 1141000 | #Constraints: 56914
1784.91/1798.72 c #Conflicts: 1142000 | #Constraints: 57921
1784.91/1798.72 c #Conflicts: 1143000 | #Constraints: 58923
1784.91/1798.72 c #Conflicts: 1144000 | #Constraints: 59925
1784.91/1798.72 c #Conflicts: 1145000 | #Constraints: 60927
1784.91/1798.72 c #Conflicts: 1146000 | #Constraints: 61928
1784.91/1798.72 c INPROCESSING
1784.91/1798.72 c GARBAGE COLLECT
1784.91/1798.72 c rational objective 6
1832.23/1846.37 c #Conflicts: 1147000 | #Constraints: 41629
1832.23/1846.37 c #Conflicts: 1148000 | #Constraints: 42630
1832.23/1846.37 c #Conflicts: 1149000 | #Constraints: 43633
1832.23/1846.37 c #Conflicts: 1150000 | #Constraints: 44640
1832.23/1846.37 c #Conflicts: 1151000 | #Constraints: 45643
1832.23/1846.37 c #Conflicts: 1152000 | #Constraints: 46645
1832.23/1846.37 c #Conflicts: 1153000 | #Constraints: 47647
1832.23/1846.37 c #Conflicts: 1154000 | #Constraints: 48649
1832.23/1846.37 c #Conflicts: 1155000 | #Constraints: 49650
1832.23/1846.37 c #Conflicts: 1156000 | #Constraints: 50652
1832.23/1846.37 c #Conflicts: 1157000 | #Constraints: 51654
1832.23/1846.37 c #Conflicts: 1158000 | #Constraints: 52655
1832.23/1846.37 c #Conflicts: 1159000 | #Constraints: 53656
1832.23/1846.37 c #Conflicts: 1160000 | #Constraints: 54657
1832.23/1846.37 c #Conflicts: 1161000 | #Constraints: 55658
1832.23/1846.37 c #Conflicts: 1162000 | #Constraints: 56659
1832.23/1846.37 c #Conflicts: 1163000 | #Constraints: 57659
1832.23/1846.37 c #Conflicts: 1164000 | #Constraints: 58660
1832.23/1846.37 c #Conflicts: 1165000 | #Constraints: 59660
1832.23/1846.37 c #Conflicts: 1166000 | #Constraints: 60661
1832.23/1846.37 c #Conflicts: 1167000 | #Constraints: 61661
1832.23/1846.37 c #Conflicts: 1168000 | #Constraints: 62662
1832.23/1846.37 c INPROCESSING
1832.23/1846.37 c GARBAGE COLLECT
1832.23/1846.37 c rational objective 6
1865.43/1879.71 c #Conflicts: 1169000 | #Constraints: 42224
1865.43/1879.71 c #Conflicts: 1170000 | #Constraints: 43224
1865.43/1879.71 c #Conflicts: 1171000 | #Constraints: 44224
1865.43/1879.71 c #Conflicts: 1172000 | #Constraints: 45224
1865.43/1879.71 c #Conflicts: 1173000 | #Constraints: 46225
1865.43/1879.71 c #Conflicts: 1174000 | #Constraints: 47227
1865.43/1879.71 c #Conflicts: 1175000 | #Constraints: 48231
1865.43/1879.71 c #Conflicts: 1176000 | #Constraints: 49233
1865.43/1879.71 c #Conflicts: 1177000 | #Constraints: 50235
1865.43/1879.71 c #Conflicts: 1178000 | #Constraints: 51238
1865.43/1879.71 c #Conflicts: 1179000 | #Constraints: 52247
1865.43/1879.71 c #Conflicts: 1180000 | #Constraints: 53261
1865.43/1879.71 c #Conflicts: 1181000 | #Constraints: 54274
1865.43/1879.71 c #Conflicts: 1182000 | #Constraints: 55275
1865.43/1879.71 c #Conflicts: 1183000 | #Constraints: 56283
1865.43/1879.71 c #Conflicts: 1184000 | #Constraints: 57293
1865.43/1879.71 c #Conflicts: 1185000 | #Constraints: 58295
1865.43/1879.71 c #Conflicts: 1186000 | #Constraints: 59300
1865.43/1879.71 c #Conflicts: 1187000 | #Constraints: 60303
1865.43/1879.71 c #Conflicts: 1188000 | #Constraints: 61306
1865.43/1879.71 c #Conflicts: 1189000 | #Constraints: 62308
1865.43/1879.71 c #Conflicts: 1190000 | #Constraints: 63316
1865.43/1879.71 c INPROCESSING
1865.43/1879.71 c GARBAGE COLLECT
1865.43/1879.71 c rational objective 6
1904.18/1918.72 c #Conflicts: 1191000 | #Constraints: 42588
1904.18/1918.72 c #Conflicts: 1192000 | #Constraints: 43592
1904.18/1918.72 c #Conflicts: 1193000 | #Constraints: 44594
1904.18/1918.72 c #Conflicts: 1194000 | #Constraints: 45600
1904.18/1918.72 c #Conflicts: 1195000 | #Constraints: 46605
1904.18/1918.72 c #Conflicts: 1196000 | #Constraints: 47608
1904.18/1918.72 c #Conflicts: 1197000 | #Constraints: 48610
1904.18/1918.72 c #Conflicts: 1198000 | #Constraints: 49611
1904.18/1918.72 c #Conflicts: 1199000 | #Constraints: 50614
1904.18/1918.72 c #Conflicts: 1200000 | #Constraints: 51616
1904.18/1918.72 c #Conflicts: 1201000 | #Constraints: 52619
1904.18/1918.72 c #Conflicts: 1202000 | #Constraints: 53620
1904.18/1918.72 c #Conflicts: 1203000 | #Constraints: 54620
1904.18/1918.72 c #Conflicts: 1204000 | #Constraints: 55621
1904.18/1918.72 c #Conflicts: 1205000 | #Constraints: 56622
1904.18/1918.72 c #Conflicts: 1206000 | #Constraints: 57624
1904.18/1918.72 c #Conflicts: 1207000 | #Constraints: 58625
1904.18/1918.72 c #Conflicts: 1208000 | #Constraints: 59628
1904.18/1918.72 c #Conflicts: 1209000 | #Constraints: 60629
1904.18/1918.72 c #Conflicts: 1210000 | #Constraints: 61631
1904.18/1918.72 c #Conflicts: 1211000 | #Constraints: 62632
1904.18/1918.72 c #Conflicts: 1212000 | #Constraints: 63632
1904.18/1918.72 c INPROCESSING
1904.18/1918.72 c GARBAGE COLLECT
1904.18/1918.72 c rational objective 6
1950.53/1965.32 c #Conflicts: 1213000 | #Constraints: 42743
1950.53/1965.32 c #Conflicts: 1214000 | #Constraints: 43743
1950.53/1965.32 c #Conflicts: 1215000 | #Constraints: 44744
1950.53/1965.32 c #Conflicts: 1216000 | #Constraints: 45747
1950.53/1965.32 c #Conflicts: 1217000 | #Constraints: 46749
1950.53/1965.32 c #Conflicts: 1218000 | #Constraints: 47750
1950.53/1965.32 c #Conflicts: 1219000 | #Constraints: 48750
1950.53/1965.32 c #Conflicts: 1220000 | #Constraints: 49751
1950.53/1965.32 c #Conflicts: 1221000 | #Constraints: 50752
1950.53/1965.32 c #Conflicts: 1222000 | #Constraints: 51752
1950.53/1965.32 c #Conflicts: 1223000 | #Constraints: 52753
1950.53/1965.32 c #Conflicts: 1224000 | #Constraints: 53753
1950.53/1965.32 c #Conflicts: 1225000 | #Constraints: 54753
1950.53/1965.32 c #Conflicts: 1226000 | #Constraints: 55754
1950.53/1965.32 c #Conflicts: 1227000 | #Constraints: 56755
1950.53/1965.32 c #Conflicts: 1228000 | #Constraints: 57756
1950.53/1965.32 c #Conflicts: 1229000 | #Constraints: 58756
1950.53/1965.32 c #Conflicts: 1230000 | #Constraints: 59757
1950.53/1965.32 c #Conflicts: 1231000 | #Constraints: 60757
1950.53/1965.32 c #Conflicts: 1232000 | #Constraints: 61757
1950.53/1965.32 c #Conflicts: 1233000 | #Constraints: 62757
1950.53/1965.32 c #Conflicts: 1234000 | #Constraints: 63757
1950.53/1965.32 c INPROCESSING
1950.53/1965.32 c GARBAGE COLLECT
1950.53/1965.32 c rational objective 6
1996.30/2011.43 c #Conflicts: 1235000 | #Constraints: 42711
1996.30/2011.43 c #Conflicts: 1236000 | #Constraints: 43711
1996.30/2011.43 c #Conflicts: 1237000 | #Constraints: 44712
1996.30/2011.43 c #Conflicts: 1238000 | #Constraints: 45712
1996.30/2011.43 c #Conflicts: 1239000 | #Constraints: 46714
1996.30/2011.43 c #Conflicts: 1240000 | #Constraints: 47716
1996.30/2011.43 c #Conflicts: 1241000 | #Constraints: 48716
1996.30/2011.43 c #Conflicts: 1242000 | #Constraints: 49717
1996.30/2011.43 c #Conflicts: 1243000 | #Constraints: 50718
1996.30/2011.43 c #Conflicts: 1244000 | #Constraints: 51720
1996.30/2011.43 c #Conflicts: 1245000 | #Constraints: 52721
1996.30/2011.43 c #Conflicts: 1246000 | #Constraints: 53723
1996.30/2011.43 c #Conflicts: 1247000 | #Constraints: 54723
1996.30/2011.43 c #Conflicts: 1248000 | #Constraints: 55726
1996.30/2011.43 c #Conflicts: 1249000 | #Constraints: 56726
1996.30/2011.43 c #Conflicts: 1250000 | #Constraints: 57728
1996.30/2011.43 c #Conflicts: 1251000 | #Constraints: 58729
1996.30/2011.43 c #Conflicts: 1252000 | #Constraints: 59733
1996.30/2011.43 c #Conflicts: 1253000 | #Constraints: 60737
1996.30/2011.43 c #Conflicts: 1254000 | #Constraints: 61737
1996.30/2011.43 c #Conflicts: 1255000 | #Constraints: 62739
1996.30/2011.43 c #Conflicts: 1256000 | #Constraints: 63741
1996.30/2011.43 c INPROCESSING
1996.30/2011.43 c GARBAGE COLLECT
1996.30/2011.43 c rational objective 6
2042.97/2058.28 c #Conflicts: 1257000 | #Constraints: 42513
2042.97/2058.28 c #Conflicts: 1258000 | #Constraints: 43514
2042.97/2058.28 c #Conflicts: 1259000 | #Constraints: 44515
2042.97/2058.28 c #Conflicts: 1260000 | #Constraints: 45516
2042.97/2058.28 c #Conflicts: 1261000 | #Constraints: 46524
2042.97/2058.28 c #Conflicts: 1262000 | #Constraints: 47525
2042.97/2058.28 c #Conflicts: 1263000 | #Constraints: 48526
2042.97/2058.28 c #Conflicts: 1264000 | #Constraints: 49526
2042.97/2058.28 c #Conflicts: 1265000 | #Constraints: 50527
2042.97/2058.28 c #Conflicts: 1266000 | #Constraints: 51527
2042.97/2058.28 c #Conflicts: 1267000 | #Constraints: 52527
2042.97/2058.28 c #Conflicts: 1268000 | #Constraints: 53528
2042.97/2058.28 c #Conflicts: 1269000 | #Constraints: 54529
2042.97/2058.28 c #Conflicts: 1270000 | #Constraints: 55530
2042.97/2058.28 c #Conflicts: 1271000 | #Constraints: 56530
2042.97/2058.28 c #Conflicts: 1272000 | #Constraints: 57531
2042.97/2058.28 c #Conflicts: 1273000 | #Constraints: 58531
2042.97/2058.28 c #Conflicts: 1274000 | #Constraints: 59531
2042.97/2058.28 c #Conflicts: 1275000 | #Constraints: 60532
2042.97/2058.28 c #Conflicts: 1276000 | #Constraints: 61532
2042.97/2058.28 c #Conflicts: 1277000 | #Constraints: 62533
2042.97/2058.28 c #Conflicts: 1278000 | #Constraints: 63533
2042.97/2058.28 c #Conflicts: 1279000 | #Constraints: 64533
2042.97/2058.28 c INPROCESSING
2042.97/2058.28 c GARBAGE COLLECT
2042.97/2058.28 c rational objective 6
2076.15/2091.78 c #Conflicts: 1280000 | #Constraints: 43097
2076.15/2091.78 c #Conflicts: 1281000 | #Constraints: 44097
2076.15/2091.78 c #Conflicts: 1282000 | #Constraints: 45097
2076.15/2091.78 c #Conflicts: 1283000 | #Constraints: 46097
2076.15/2091.78 c #Conflicts: 1284000 | #Constraints: 47097
2076.15/2091.78 c #Conflicts: 1285000 | #Constraints: 48097
2076.15/2091.78 c #Conflicts: 1286000 | #Constraints: 49097
2076.15/2091.78 c #Conflicts: 1287000 | #Constraints: 50097
2076.15/2091.78 c #Conflicts: 1288000 | #Constraints: 51097
2076.15/2091.78 c #Conflicts: 1289000 | #Constraints: 52099
2076.15/2091.78 c #Conflicts: 1290000 | #Constraints: 53102
2076.15/2091.78 c #Conflicts: 1291000 | #Constraints: 54105
2076.15/2091.78 c #Conflicts: 1292000 | #Constraints: 55109
2076.15/2091.78 c #Conflicts: 1293000 | #Constraints: 56120
2076.15/2091.78 c #Conflicts: 1294000 | #Constraints: 57123
2076.15/2091.78 c #Conflicts: 1295000 | #Constraints: 58128
2076.15/2091.78 c #Conflicts: 1296000 | #Constraints: 59132
2076.15/2091.78 c #Conflicts: 1297000 | #Constraints: 60137
2076.15/2091.78 c #Conflicts: 1298000 | #Constraints: 61139
2076.15/2091.78 c #Conflicts: 1299000 | #Constraints: 62144
2076.15/2091.78 c #Conflicts: 1300000 | #Constraints: 63145
2076.15/2091.78 c #Conflicts: 1301000 | #Constraints: 64148
2076.15/2091.78 c #Conflicts: 1302000 | #Constraints: 65150
2076.15/2091.78 c INPROCESSING
2076.15/2091.78 c GARBAGE COLLECT
2076.15/2091.78 c rational objective 6
2115.80/2131.62 c #Conflicts: 1303000 | #Constraints: 43509
2115.80/2131.62 c #Conflicts: 1304000 | #Constraints: 44509
2115.80/2131.62 c #Conflicts: 1305000 | #Constraints: 45509
2115.80/2131.62 c #Conflicts: 1306000 | #Constraints: 46509
2115.80/2131.62 c #Conflicts: 1307000 | #Constraints: 47509
2115.80/2131.62 c #Conflicts: 1308000 | #Constraints: 48509
2115.80/2131.62 c #Conflicts: 1309000 | #Constraints: 49509
2115.80/2131.62 c #Conflicts: 1310000 | #Constraints: 50509
2115.80/2131.62 c #Conflicts: 1311000 | #Constraints: 51510
2115.80/2131.62 c #Conflicts: 1312000 | #Constraints: 52510
2115.80/2131.62 c #Conflicts: 1313000 | #Constraints: 53511
2115.80/2131.62 c #Conflicts: 1314000 | #Constraints: 54512
2115.80/2131.62 c #Conflicts: 1315000 | #Constraints: 55512
2115.80/2131.62 c #Conflicts: 1316000 | #Constraints: 56512
2115.80/2131.62 c #Conflicts: 1317000 | #Constraints: 57512
2115.80/2131.62 c #Conflicts: 1318000 | #Constraints: 58513
2115.80/2131.62 c #Conflicts: 1319000 | #Constraints: 59513
2115.80/2131.62 c #Conflicts: 1320000 | #Constraints: 60514
2115.80/2131.62 c #Conflicts: 1321000 | #Constraints: 61514
2115.80/2131.62 c #Conflicts: 1322000 | #Constraints: 62515
2115.80/2131.62 c #Conflicts: 1323000 | #Constraints: 63515
2115.80/2131.62 c #Conflicts: 1324000 | #Constraints: 64516
2115.80/2131.62 c #Conflicts: 1325000 | #Constraints: 65516
2115.80/2131.62 c INPROCESSING
2115.80/2131.62 c GARBAGE COLLECT
2115.80/2131.62 c rational objective 6
2163.55/2179.62 c #Conflicts: 1326000 | #Constraints: 43694
2163.55/2179.62 c #Conflicts: 1327000 | #Constraints: 44694
2163.55/2179.62 c #Conflicts: 1328000 | #Constraints: 45695
2163.55/2179.62 c #Conflicts: 1329000 | #Constraints: 46697
2163.55/2179.62 c #Conflicts: 1330000 | #Constraints: 47697
2163.55/2179.62 c #Conflicts: 1331000 | #Constraints: 48698
2163.55/2179.62 c #Conflicts: 1332000 | #Constraints: 49698
2163.55/2179.62 c #Conflicts: 1333000 | #Constraints: 50699
2163.55/2179.62 c #Conflicts: 1334000 | #Constraints: 51700
2163.55/2179.62 c #Conflicts: 1335000 | #Constraints: 52701
2163.55/2179.62 c #Conflicts: 1336000 | #Constraints: 53701
2163.55/2179.62 c #Conflicts: 1337000 | #Constraints: 54703
2163.55/2179.62 c #Conflicts: 1338000 | #Constraints: 55703
2163.55/2179.62 c #Conflicts: 1339000 | #Constraints: 56704
2163.55/2179.62 c #Conflicts: 1340000 | #Constraints: 57704
2163.55/2179.62 c #Conflicts: 1341000 | #Constraints: 58705
2163.55/2179.62 c #Conflicts: 1342000 | #Constraints: 59705
2163.55/2179.62 c #Conflicts: 1343000 | #Constraints: 60706
2163.55/2179.62 c #Conflicts: 1344000 | #Constraints: 61706
2163.55/2179.62 c #Conflicts: 1345000 | #Constraints: 62707
2163.55/2179.62 c #Conflicts: 1346000 | #Constraints: 63707
2163.55/2179.62 c #Conflicts: 1347000 | #Constraints: 64708
2163.55/2179.62 c #Conflicts: 1348000 | #Constraints: 65708
2163.55/2179.62 c INPROCESSING
2163.55/2179.62 c GARBAGE COLLECT
2163.55/2179.62 c rational objective 6
2213.10/2229.63 c #Conflicts: 1349000 | #Constraints: 43712
2213.10/2229.63 c #Conflicts: 1350000 | #Constraints: 44714
2213.10/2229.63 c #Conflicts: 1351000 | #Constraints: 45717
2213.10/2229.63 c #Conflicts: 1352000 | #Constraints: 46718
2213.10/2229.63 c #Conflicts: 1353000 | #Constraints: 47724
2213.10/2229.63 c #Conflicts: 1354000 | #Constraints: 48728
2213.10/2229.63 c #Conflicts: 1355000 | #Constraints: 49729
2213.10/2229.63 c #Conflicts: 1356000 | #Constraints: 50732
2213.10/2229.63 c #Conflicts: 1357000 | #Constraints: 51743
2213.10/2229.63 c #Conflicts: 1358000 | #Constraints: 52746
2213.10/2229.63 c #Conflicts: 1359000 | #Constraints: 53749
2213.10/2229.63 c #Conflicts: 1360000 | #Constraints: 54751
2213.10/2229.63 c #Conflicts: 1361000 | #Constraints: 55752
2213.10/2229.63 c #Conflicts: 1362000 | #Constraints: 56753
2213.10/2229.63 c #Conflicts: 1363000 | #Constraints: 57754
2213.10/2229.63 c #Conflicts: 1364000 | #Constraints: 58755
2213.10/2229.63 c #Conflicts: 1365000 | #Constraints: 59755
2213.10/2229.63 c #Conflicts: 1366000 | #Constraints: 60755
2213.10/2229.63 c #Conflicts: 1367000 | #Constraints: 61755
2213.10/2229.63 c #Conflicts: 1368000 | #Constraints: 62755
2213.10/2229.63 c #Conflicts: 1369000 | #Constraints: 63755
2213.10/2229.63 c #Conflicts: 1370000 | #Constraints: 64755
2213.10/2229.63 c #Conflicts: 1371000 | #Constraints: 65755
2213.10/2229.63 c INPROCESSING
2213.10/2229.63 c GARBAGE COLLECT
2213.10/2229.63 c rational objective 6
2266.42/2283.27 c #Conflicts: 1372000 | #Constraints: 43487
2266.42/2283.27 c #Conflicts: 1373000 | #Constraints: 44488
2266.42/2283.27 c #Conflicts: 1374000 | #Constraints: 45489
2266.42/2283.27 c #Conflicts: 1375000 | #Constraints: 46490
2266.42/2283.27 c #Conflicts: 1376000 | #Constraints: 47493
2266.42/2283.27 c #Conflicts: 1377000 | #Constraints: 48494
2266.42/2283.27 c #Conflicts: 1378000 | #Constraints: 49496
2266.42/2283.27 c #Conflicts: 1379000 | #Constraints: 50498
2266.42/2283.27 c #Conflicts: 1380000 | #Constraints: 51500
2266.42/2283.27 c #Conflicts: 1381000 | #Constraints: 52502
2266.42/2283.27 c #Conflicts: 1382000 | #Constraints: 53504
2266.42/2283.27 c #Conflicts: 1383000 | #Constraints: 54505
2266.42/2283.27 c #Conflicts: 1384000 | #Constraints: 55507
2266.42/2283.27 c #Conflicts: 1385000 | #Constraints: 56508
2266.42/2283.27 c #Conflicts: 1386000 | #Constraints: 57508
2266.42/2283.27 c #Conflicts: 1387000 | #Constraints: 58509
2266.42/2283.27 c #Conflicts: 1388000 | #Constraints: 59510
2266.42/2283.27 c #Conflicts: 1389000 | #Constraints: 60511
2266.42/2283.27 c #Conflicts: 1390000 | #Constraints: 61511
2266.42/2283.27 c #Conflicts: 1391000 | #Constraints: 62511
2266.42/2283.27 c #Conflicts: 1392000 | #Constraints: 63512
2266.42/2283.27 c #Conflicts: 1393000 | #Constraints: 64512
2266.42/2283.27 c #Conflicts: 1394000 | #Constraints: 65512
2266.42/2283.27 c #Conflicts: 1395000 | #Constraints: 66512
2266.42/2283.27 c INPROCESSING
2266.42/2283.27 c GARBAGE COLLECT
2266.42/2283.27 c rational objective 6
2318.66/2335.78 c #Conflicts: 1396000 | #Constraints: 44066
2318.66/2335.78 c #Conflicts: 1397000 | #Constraints: 45066
2318.66/2335.78 c #Conflicts: 1398000 | #Constraints: 46066
2318.66/2335.78 c #Conflicts: 1399000 | #Constraints: 47066
2318.66/2335.78 c #Conflicts: 1400000 | #Constraints: 48067
2318.66/2335.78 c #Conflicts: 1401000 | #Constraints: 49068
2318.66/2335.78 c #Conflicts: 1402000 | #Constraints: 50069
2318.66/2335.78 c #Conflicts: 1403000 | #Constraints: 51071
2318.66/2335.78 c #Conflicts: 1404000 | #Constraints: 52074
2318.66/2335.78 c #Conflicts: 1405000 | #Constraints: 53077
2318.66/2335.78 c #Conflicts: 1406000 | #Constraints: 54083
2318.66/2335.78 c #Conflicts: 1407000 | #Constraints: 55086
2318.66/2335.78 c #Conflicts: 1408000 | #Constraints: 56090
2318.66/2335.78 c #Conflicts: 1409000 | #Constraints: 57091
2318.66/2335.78 c #Conflicts: 1410000 | #Constraints: 58092
2318.66/2335.78 c #Conflicts: 1411000 | #Constraints: 59093
2318.66/2335.78 c #Conflicts: 1412000 | #Constraints: 60094
2318.66/2335.78 c #Conflicts: 1413000 | #Constraints: 61095
2318.66/2335.78 c #Conflicts: 1414000 | #Constraints: 62097
2318.66/2335.78 c #Conflicts: 1415000 | #Constraints: 63098
2318.66/2335.79 c #Conflicts: 1416000 | #Constraints: 64100
2318.66/2335.79 c #Conflicts: 1417000 | #Constraints: 65103
2318.66/2335.79 c #Conflicts: 1418000 | #Constraints: 66106
2318.66/2335.79 c #Conflicts: 1419000 | #Constraints: 67108
2318.66/2335.79 c INPROCESSING
2318.66/2335.79 c GARBAGE COLLECT
2318.66/2335.79 c rational objective 6
2363.09/2383.61 c #Conflicts: 1420000 | #Constraints: 44465
2363.09/2383.61 c #Conflicts: 1421000 | #Constraints: 45467
2363.09/2383.61 c #Conflicts: 1422000 | #Constraints: 46471
2363.09/2383.61 c #Conflicts: 1423000 | #Constraints: 47474
2363.09/2383.61 c #Conflicts: 1424000 | #Constraints: 48475
2363.09/2383.61 c #Conflicts: 1425000 | #Constraints: 49476
2363.09/2383.61 c #Conflicts: 1426000 | #Constraints: 50478
2363.09/2383.61 c #Conflicts: 1427000 | #Constraints: 51479
2363.09/2383.61 c #Conflicts: 1428000 | #Constraints: 52480
2363.09/2383.61 c #Conflicts: 1429000 | #Constraints: 53482
2363.09/2383.61 c #Conflicts: 1430000 | #Constraints: 54483
2363.09/2383.61 c #Conflicts: 1431000 | #Constraints: 55483
2363.09/2383.61 c #Conflicts: 1432000 | #Constraints: 56484
2363.09/2383.61 c #Conflicts: 1433000 | #Constraints: 57485
2363.09/2383.61 c #Conflicts: 1434000 | #Constraints: 58486
2363.09/2383.61 c #Conflicts: 1435000 | #Constraints: 59486
2363.09/2383.61 c #Conflicts: 1436000 | #Constraints: 60486
2363.09/2383.61 c #Conflicts: 1437000 | #Constraints: 61486
2363.09/2383.61 c #Conflicts: 1438000 | #Constraints: 62487
2363.09/2383.61 c #Conflicts: 1439000 | #Constraints: 63488
2363.09/2383.61 c #Conflicts: 1440000 | #Constraints: 64489
2363.09/2383.61 c #Conflicts: 1441000 | #Constraints: 65489
2363.09/2383.61 c #Conflicts: 1442000 | #Constraints: 66490
2363.09/2383.61 c #Conflicts: 1443000 | #Constraints: 67490
2363.09/2383.61 c INPROCESSING
2363.09/2383.61 c GARBAGE COLLECT
2363.09/2383.61 c rational objective 6
2405.04/2425.85 c #Conflicts: 1444000 | #Constraints: 44670
2405.04/2425.85 c #Conflicts: 1445000 | #Constraints: 45670
2405.04/2425.85 c #Conflicts: 1446000 | #Constraints: 46671
2405.04/2425.85 c #Conflicts: 1447000 | #Constraints: 47673
2405.04/2425.85 c #Conflicts: 1448000 | #Constraints: 48677
2405.04/2425.85 c #Conflicts: 1449000 | #Constraints: 49678
2405.04/2425.85 c #Conflicts: 1450000 | #Constraints: 50681
2405.04/2425.85 c #Conflicts: 1451000 | #Constraints: 51682
2405.04/2425.85 c #Conflicts: 1452000 | #Constraints: 52685
2405.04/2425.85 c #Conflicts: 1453000 | #Constraints: 53687
2405.04/2425.85 c #Conflicts: 1454000 | #Constraints: 54688
2405.04/2425.85 c #Conflicts: 1455000 | #Constraints: 55689
2405.04/2425.85 c #Conflicts: 1456000 | #Constraints: 56690
2405.04/2425.85 c #Conflicts: 1457000 | #Constraints: 57691
2405.04/2425.85 c #Conflicts: 1458000 | #Constraints: 58691
2405.04/2425.85 c #Conflicts: 1459000 | #Constraints: 59692
2405.04/2425.85 c #Conflicts: 1460000 | #Constraints: 60693
2405.04/2425.85 c #Conflicts: 1461000 | #Constraints: 61695
2405.04/2425.85 c #Conflicts: 1462000 | #Constraints: 62696
2405.04/2425.85 c #Conflicts: 1463000 | #Constraints: 63696
2405.04/2425.85 c #Conflicts: 1464000 | #Constraints: 64697
2405.04/2425.85 c #Conflicts: 1465000 | #Constraints: 65697
2405.04/2425.85 c #Conflicts: 1466000 | #Constraints: 66697
2405.04/2425.85 c #Conflicts: 1467000 | #Constraints: 67698
2405.04/2425.85 c INPROCESSING
2405.04/2425.85 c GARBAGE COLLECT
2405.04/2425.85 c rational objective 6
2445.38/2466.53 c #Conflicts: 1468000 | #Constraints: 44628
2445.38/2466.53 c #Conflicts: 1469000 | #Constraints: 45628
2445.38/2466.53 c #Conflicts: 1470000 | #Constraints: 46629
2445.38/2466.53 c #Conflicts: 1471000 | #Constraints: 47629
2445.38/2466.53 c #Conflicts: 1472000 | #Constraints: 48631
2445.38/2466.53 c #Conflicts: 1473000 | #Constraints: 49633
2445.38/2466.53 c #Conflicts: 1474000 | #Constraints: 50634
2445.38/2466.53 c #Conflicts: 1475000 | #Constraints: 51635
2445.38/2466.53 c #Conflicts: 1476000 | #Constraints: 52637
2445.38/2466.53 c #Conflicts: 1477000 | #Constraints: 53638
2445.38/2466.53 c #Conflicts: 1478000 | #Constraints: 54641
2445.38/2466.53 c #Conflicts: 1479000 | #Constraints: 55644
2445.38/2466.53 c #Conflicts: 1480000 | #Constraints: 56648
2445.38/2466.53 c #Conflicts: 1481000 | #Constraints: 57649
2445.38/2466.53 c #Conflicts: 1482000 | #Constraints: 58650
2445.38/2466.53 c #Conflicts: 1483000 | #Constraints: 59651
2445.38/2466.53 c #Conflicts: 1484000 | #Constraints: 60651
2445.38/2466.53 c #Conflicts: 1485000 | #Constraints: 61651
2445.38/2466.53 c #Conflicts: 1486000 | #Constraints: 62652
2445.38/2466.53 c #Conflicts: 1487000 | #Constraints: 63653
2445.38/2466.53 c #Conflicts: 1488000 | #Constraints: 64653
2445.38/2466.53 c #Conflicts: 1489000 | #Constraints: 65653
2445.38/2466.53 c #Conflicts: 1490000 | #Constraints: 66653
2445.38/2466.53 c #Conflicts: 1491000 | #Constraints: 67653
2445.38/2466.53 c INPROCESSING
2445.38/2466.53 c GARBAGE COLLECT
2445.38/2466.53 c rational objective 6
2496.92/2518.25 c #Conflicts: 1492000 | #Constraints: 44439
2496.92/2518.25 c #Conflicts: 1493000 | #Constraints: 45439
2496.92/2518.25 c #Conflicts: 1494000 | #Constraints: 46440
2496.92/2518.25 c #Conflicts: 1495000 | #Constraints: 47443
2496.92/2518.25 c #Conflicts: 1496000 | #Constraints: 48447
2496.92/2518.25 c #Conflicts: 1497000 | #Constraints: 49448
2496.92/2518.25 c #Conflicts: 1498000 | #Constraints: 50448
2496.92/2518.25 c #Conflicts: 1499000 | #Constraints: 51450
2496.92/2518.25 c #Conflicts: 1500000 | #Constraints: 52452
2496.92/2518.25 c #Conflicts: 1501000 | #Constraints: 53452
2496.92/2518.25 c #Conflicts: 1502000 | #Constraints: 54453
2496.92/2518.25 c #Conflicts: 1503000 | #Constraints: 55453
2496.92/2518.25 c #Conflicts: 1504000 | #Constraints: 56453
2496.92/2518.25 c #Conflicts: 1505000 | #Constraints: 57453
2496.92/2518.25 c #Conflicts: 1506000 | #Constraints: 58455
2496.92/2518.25 c #Conflicts: 1507000 | #Constraints: 59457
2496.92/2518.25 c #Conflicts: 1508000 | #Constraints: 60460
2496.92/2518.25 c #Conflicts: 1509000 | #Constraints: 61463
2496.92/2518.25 c #Conflicts: 1510000 | #Constraints: 62465
2496.92/2518.25 c #Conflicts: 1511000 | #Constraints: 63468
2496.92/2518.25 c #Conflicts: 1512000 | #Constraints: 64469
2496.92/2518.25 c #Conflicts: 1513000 | #Constraints: 65469
2496.92/2518.25 c #Conflicts: 1514000 | #Constraints: 66469
2496.92/2518.25 c #Conflicts: 1515000 | #Constraints: 67470
2496.92/2518.25 c #Conflicts: 1516000 | #Constraints: 68471
2496.92/2518.25 c INPROCESSING
2496.92/2518.25 c GARBAGE COLLECT
2496.92/2518.25 c rational objective 6
2542.59/2564.35 c #Conflicts: 1517000 | #Constraints: 45035
2542.59/2564.35 c #Conflicts: 1518000 | #Constraints: 46035
2542.59/2564.35 c #Conflicts: 1519000 | #Constraints: 47035
2542.59/2564.35 c #Conflicts: 1520000 | #Constraints: 48036
2542.59/2564.35 c #Conflicts: 1521000 | #Constraints: 49036
2542.59/2564.35 c #Conflicts: 1522000 | #Constraints: 50040
2542.59/2564.35 c #Conflicts: 1523000 | #Constraints: 51041
2542.59/2564.35 c #Conflicts: 1524000 | #Constraints: 52044
2542.59/2564.35 c #Conflicts: 1525000 | #Constraints: 53046
2542.59/2564.35 c #Conflicts: 1526000 | #Constraints: 54048
2542.59/2564.35 c #Conflicts: 1527000 | #Constraints: 55049
2542.59/2564.35 c #Conflicts: 1528000 | #Constraints: 56050
2542.59/2564.35 c #Conflicts: 1529000 | #Constraints: 57051
2542.59/2564.35 c #Conflicts: 1530000 | #Constraints: 58053
2542.59/2564.35 c #Conflicts: 1531000 | #Constraints: 59053
2542.59/2564.35 c #Conflicts: 1532000 | #Constraints: 60053
2542.59/2564.35 c #Conflicts: 1533000 | #Constraints: 61054
2542.59/2564.35 c #Conflicts: 1534000 | #Constraints: 62055
2542.59/2564.35 c #Conflicts: 1535000 | #Constraints: 63055
2542.59/2564.35 c #Conflicts: 1536000 | #Constraints: 64056
2542.59/2564.35 c #Conflicts: 1537000 | #Constraints: 65056
2542.59/2564.35 c #Conflicts: 1538000 | #Constraints: 66056
2542.59/2564.35 c #Conflicts: 1539000 | #Constraints: 67056
2542.59/2564.35 c #Conflicts: 1540000 | #Constraints: 68056
2542.59/2564.35 c #Conflicts: 1541000 | #Constraints: 69056
2542.59/2564.35 c INPROCESSING
2542.59/2564.35 c GARBAGE COLLECT
2542.59/2564.35 c rational objective 6
2589.27/2611.16 c #Conflicts: 1542000 | #Constraints: 45443
2589.27/2611.16 c #Conflicts: 1543000 | #Constraints: 46443
2589.27/2611.16 c #Conflicts: 1544000 | #Constraints: 47443
2589.27/2611.16 c #Conflicts: 1545000 | #Constraints: 48443
2589.27/2611.16 c #Conflicts: 1546000 | #Constraints: 49444
2589.27/2611.16 c #Conflicts: 1547000 | #Constraints: 50444
2589.27/2611.16 c #Conflicts: 1548000 | #Constraints: 51444
2589.27/2611.16 c #Conflicts: 1549000 | #Constraints: 52450
2589.27/2611.16 c #Conflicts: 1550000 | #Constraints: 53452
2589.27/2611.16 c #Conflicts: 1551000 | #Constraints: 54454
2589.27/2611.16 c #Conflicts: 1552000 | #Constraints: 55457
2589.27/2611.16 c #Conflicts: 1553000 | #Constraints: 56466
2589.27/2611.16 c #Conflicts: 1554000 | #Constraints: 57476
2589.27/2611.16 c #Conflicts: 1555000 | #Constraints: 58480
2589.27/2611.16 c #Conflicts: 1556000 | #Constraints: 59485
2589.27/2611.16 c #Conflicts: 1557000 | #Constraints: 60495
2589.27/2611.16 c #Conflicts: 1558000 | #Constraints: 61502
2589.27/2611.16 c #Conflicts: 1559000 | #Constraints: 62511
2589.27/2611.16 c #Conflicts: 1560000 | #Constraints: 63517
2589.27/2611.16 c #Conflicts: 1561000 | #Constraints: 64518
2589.27/2611.16 c #Conflicts: 1562000 | #Constraints: 65525
2589.27/2611.16 c #Conflicts: 1563000 | #Constraints: 66527
2589.27/2611.16 c #Conflicts: 1564000 | #Constraints: 67532
2589.27/2611.16 c #Conflicts: 1565000 | #Constraints: 68533
2589.27/2611.16 c #Conflicts: 1566000 | #Constraints: 69534
2589.27/2611.16 c INPROCESSING
2589.27/2611.16 c GARBAGE COLLECT
2589.27/2611.16 c rational objective 6
2629.69/2652.40 c #Conflicts: 1567000 | #Constraints: 45635
2629.69/2652.40 c #Conflicts: 1568000 | #Constraints: 46635
2629.69/2652.40 c #Conflicts: 1569000 | #Constraints: 47635
2629.69/2652.40 c #Conflicts: 1570000 | #Constraints: 48635
2629.69/2652.40 c #Conflicts: 1571000 | #Constraints: 49637
2629.69/2652.40 c #Conflicts: 1572000 | #Constraints: 50639
2629.69/2652.40 c #Conflicts: 1573000 | #Constraints: 51641
2629.69/2652.40 c #Conflicts: 1574000 | #Constraints: 52643
2629.69/2652.40 c #Conflicts: 1575000 | #Constraints: 53643
2629.69/2652.40 c #Conflicts: 1576000 | #Constraints: 54644
2629.69/2652.40 c #Conflicts: 1577000 | #Constraints: 55646
2629.69/2652.40 c #Conflicts: 1578000 | #Constraints: 56654
2629.69/2652.40 c #Conflicts: 1579000 | #Constraints: 57672
2629.69/2652.40 c #Conflicts: 1580000 | #Constraints: 58684
2629.69/2652.40 c #Conflicts: 1581000 | #Constraints: 59696
2629.69/2652.40 c #Conflicts: 1582000 | #Constraints: 60701
2629.69/2652.40 c #Conflicts: 1583000 | #Constraints: 61704
2629.69/2652.40 c #Conflicts: 1584000 | #Constraints: 62715
2629.69/2652.40 c #Conflicts: 1585000 | #Constraints: 63730
2629.69/2652.40 c #Conflicts: 1586000 | #Constraints: 64749
2629.69/2652.40 c #Conflicts: 1587000 | #Constraints: 65762
2629.69/2652.40 c #Conflicts: 1588000 | #Constraints: 66773
2629.69/2652.40 c #Conflicts: 1589000 | #Constraints: 67778
2629.69/2652.40 c #Conflicts: 1590000 | #Constraints: 68785
2629.69/2652.40 c #Conflicts: 1591000 | #Constraints: 69787
2629.69/2652.40 c INPROCESSING
2629.69/2652.40 c GARBAGE COLLECT
2629.69/2652.40 c rational objective 6
2676.27/2699.34 c #Conflicts: 1592000 | #Constraints: 45662
2676.27/2699.34 c #Conflicts: 1593000 | #Constraints: 46664
2676.27/2699.34 c #Conflicts: 1594000 | #Constraints: 47666
2676.27/2699.34 c #Conflicts: 1595000 | #Constraints: 48667
2676.27/2699.34 c #Conflicts: 1596000 | #Constraints: 49670
2676.27/2699.34 c #Conflicts: 1597000 | #Constraints: 50672
2676.27/2699.34 c #Conflicts: 1598000 | #Constraints: 51673
2676.27/2699.34 c #Conflicts: 1599000 | #Constraints: 52676
2676.27/2699.34 c #Conflicts: 1600000 | #Constraints: 53678
2676.27/2699.34 c #Conflicts: 1601000 | #Constraints: 54682
2676.27/2699.34 c #Conflicts: 1602000 | #Constraints: 55698
2676.27/2699.34 c #Conflicts: 1603000 | #Constraints: 56699
2676.27/2699.34 c #Conflicts: 1604000 | #Constraints: 57701
2676.27/2699.34 c #Conflicts: 1605000 | #Constraints: 58705
2676.27/2699.34 c #Conflicts: 1606000 | #Constraints: 59709
2676.27/2699.34 c #Conflicts: 1607000 | #Constraints: 60710
2676.27/2699.34 c #Conflicts: 1608000 | #Constraints: 61710
2676.27/2699.34 c #Conflicts: 1609000 | #Constraints: 62711
2676.27/2699.34 c #Conflicts: 1610000 | #Constraints: 63712
2676.27/2699.34 c #Conflicts: 1611000 | #Constraints: 64714
2676.27/2699.34 c #Conflicts: 1612000 | #Constraints: 65716
2676.27/2699.34 c #Conflicts: 1613000 | #Constraints: 66716
2676.27/2699.34 c #Conflicts: 1614000 | #Constraints: 67716
2676.27/2699.34 c #Conflicts: 1615000 | #Constraints: 68716
2676.27/2699.34 c #Conflicts: 1616000 | #Constraints: 69716
2676.27/2699.34 c INPROCESSING
2676.27/2699.34 c GARBAGE COLLECT
2676.27/2699.34 c rational objective 6
2749.79/2773.23 c #Conflicts: 1617000 | #Constraints: 45476
2749.79/2773.23 c #Conflicts: 1618000 | #Constraints: 46480
2749.79/2773.23 c #Conflicts: 1619000 | #Constraints: 47483
2749.79/2773.23 c #Conflicts: 1620000 | #Constraints: 48489
2749.79/2773.23 c #Conflicts: 1621000 | #Constraints: 49490
2749.79/2773.23 c #Conflicts: 1622000 | #Constraints: 50494
2749.79/2773.23 c #Conflicts: 1623000 | #Constraints: 51496
2749.79/2773.23 c #Conflicts: 1624000 | #Constraints: 52498
2749.79/2773.23 c #Conflicts: 1625000 | #Constraints: 53499
2749.79/2773.23 c #Conflicts: 1626000 | #Constraints: 54500
2749.79/2773.23 c #Conflicts: 1627000 | #Constraints: 55501
2749.79/2773.23 c #Conflicts: 1628000 | #Constraints: 56502
2749.79/2773.23 c #Conflicts: 1629000 | #Constraints: 57503
2749.79/2773.23 c #Conflicts: 1630000 | #Constraints: 58503
2749.79/2773.23 c #Conflicts: 1631000 | #Constraints: 59504
2749.79/2773.23 c #Conflicts: 1632000 | #Constraints: 60505
2749.79/2773.23 c #Conflicts: 1633000 | #Constraints: 61506
2749.79/2773.23 c #Conflicts: 1634000 | #Constraints: 62509
2749.79/2773.23 c #Conflicts: 1635000 | #Constraints: 63509
2749.79/2773.23 c #Conflicts: 1636000 | #Constraints: 64511
2749.79/2773.23 c #Conflicts: 1637000 | #Constraints: 65512
2749.79/2773.23 c #Conflicts: 1638000 | #Constraints: 66513
2749.79/2773.23 c #Conflicts: 1639000 | #Constraints: 67513
2749.79/2773.23 c #Conflicts: 1640000 | #Constraints: 68514
2749.79/2773.23 c #Conflicts: 1641000 | #Constraints: 69515
2749.79/2773.23 c #Conflicts: 1642000 | #Constraints: 70516
2749.79/2773.23 c INPROCESSING
2749.79/2773.23 c GARBAGE COLLECT
2749.79/2773.23 c rational objective 6
2791.66/2815.38 c #Conflicts: 1643000 | #Constraints: 46042
2791.66/2815.38 c #Conflicts: 1644000 | #Constraints: 47043
2791.66/2815.38 c #Conflicts: 1645000 | #Constraints: 48044
2791.66/2815.38 c #Conflicts: 1646000 | #Constraints: 49052
2791.66/2815.38 c #Conflicts: 1647000 | #Constraints: 50054
2791.66/2815.38 c #Conflicts: 1648000 | #Constraints: 51057
2791.66/2815.38 c #Conflicts: 1649000 | #Constraints: 52058
2791.66/2815.38 c #Conflicts: 1650000 | #Constraints: 53060
2791.66/2815.38 c #Conflicts: 1651000 | #Constraints: 54062
2791.66/2815.38 c #Conflicts: 1652000 | #Constraints: 55062
2791.66/2815.38 c #Conflicts: 1653000 | #Constraints: 56062
2791.66/2815.38 c #Conflicts: 1654000 | #Constraints: 57062
2791.66/2815.38 c #Conflicts: 1655000 | #Constraints: 58064
2791.66/2815.38 c #Conflicts: 1656000 | #Constraints: 59065
2791.66/2815.38 c #Conflicts: 1657000 | #Constraints: 60065
2791.66/2815.38 c #Conflicts: 1658000 | #Constraints: 61065
2791.66/2815.38 c #Conflicts: 1659000 | #Constraints: 62065
2791.66/2815.38 c #Conflicts: 1660000 | #Constraints: 63066
2791.66/2815.38 c #Conflicts: 1661000 | #Constraints: 64067
2791.66/2815.38 c #Conflicts: 1662000 | #Constraints: 65067
2791.66/2815.38 c #Conflicts: 1663000 | #Constraints: 66067
2791.66/2815.38 c #Conflicts: 1664000 | #Constraints: 67067
2791.66/2815.38 c #Conflicts: 1665000 | #Constraints: 68068
2791.66/2815.38 c #Conflicts: 1666000 | #Constraints: 69068
2791.66/2815.38 c #Conflicts: 1667000 | #Constraints: 70068
2791.66/2815.38 c #Conflicts: 1668000 | #Constraints: 71068
2791.66/2815.38 c INPROCESSING
2791.66/2815.38 c GARBAGE COLLECT
2791.66/2815.38 c rational objective 6
2842.46/2866.42 c #Conflicts: 1669000 | #Constraints: 46410
2842.46/2866.42 c #Conflicts: 1670000 | #Constraints: 47410
2842.46/2866.42 c #Conflicts: 1671000 | #Constraints: 48411
2842.46/2866.42 c #Conflicts: 1672000 | #Constraints: 49411
2842.46/2866.42 c #Conflicts: 1673000 | #Constraints: 50412
2842.46/2866.42 c #Conflicts: 1674000 | #Constraints: 51414
2842.46/2866.42 c #Conflicts: 1675000 | #Constraints: 52416
2842.46/2866.42 c #Conflicts: 1676000 | #Constraints: 53424
2842.46/2866.42 c #Conflicts: 1677000 | #Constraints: 54429
2842.46/2866.42 c #Conflicts: 1678000 | #Constraints: 55432
2842.46/2866.42 c #Conflicts: 1679000 | #Constraints: 56434
2842.46/2866.42 c #Conflicts: 1680000 | #Constraints: 57434
2842.46/2866.42 c #Conflicts: 1681000 | #Constraints: 58435
2842.46/2866.42 c #Conflicts: 1682000 | #Constraints: 59437
2842.46/2866.42 c #Conflicts: 1683000 | #Constraints: 60438
2842.46/2866.42 c #Conflicts: 1684000 | #Constraints: 61439
2842.46/2866.42 c #Conflicts: 1685000 | #Constraints: 62441
2842.46/2866.42 c #Conflicts: 1686000 | #Constraints: 63442
2842.46/2866.42 c #Conflicts: 1687000 | #Constraints: 64442
2842.46/2866.42 c #Conflicts: 1688000 | #Constraints: 65442
2842.46/2866.42 c #Conflicts: 1689000 | #Constraints: 66443
2842.46/2866.42 c #Conflicts: 1690000 | #Constraints: 67443
2842.46/2866.42 c #Conflicts: 1691000 | #Constraints: 68443
2842.46/2866.42 c #Conflicts: 1692000 | #Constraints: 69443
2842.46/2866.42 c #Conflicts: 1693000 | #Constraints: 70443
2842.46/2866.42 c #Conflicts: 1694000 | #Constraints: 71443
2842.46/2866.42 c INPROCESSING
2842.46/2866.42 c GARBAGE COLLECT
2842.46/2866.42 c rational objective 6
2897.61/2921.87 c #Conflicts: 1695000 | #Constraints: 46622
2897.61/2921.87 c #Conflicts: 1696000 | #Constraints: 47622
2897.61/2921.87 c #Conflicts: 1697000 | #Constraints: 48626
2897.61/2921.87 c #Conflicts: 1698000 | #Constraints: 49633
2897.61/2921.87 c #Conflicts: 1699000 | #Constraints: 50641
2897.61/2921.87 c #Conflicts: 1700000 | #Constraints: 51644
2897.61/2921.87 c #Conflicts: 1701000 | #Constraints: 52646
2897.61/2921.87 c #Conflicts: 1702000 | #Constraints: 53648
2897.61/2921.87 c #Conflicts: 1703000 | #Constraints: 54649
2897.61/2921.87 c #Conflicts: 1704000 | #Constraints: 55650
2897.61/2921.87 c #Conflicts: 1705000 | #Constraints: 56651
2897.61/2921.87 c #Conflicts: 1706000 | #Constraints: 57651
2897.61/2921.87 c #Conflicts: 1707000 | #Constraints: 58653
2897.61/2921.87 c #Conflicts: 1708000 | #Constraints: 59653
2897.61/2921.87 c #Conflicts: 1709000 | #Constraints: 60654
2897.61/2921.87 c #Conflicts: 1710000 | #Constraints: 61655
2897.61/2921.87 c #Conflicts: 1711000 | #Constraints: 62655
2897.61/2921.87 c #Conflicts: 1712000 | #Constraints: 63656
2897.61/2921.87 c #Conflicts: 1713000 | #Constraints: 64656
2897.61/2921.87 c #Conflicts: 1714000 | #Constraints: 65656
2897.61/2921.87 c #Conflicts: 1715000 | #Constraints: 66657
2897.61/2921.87 c #Conflicts: 1716000 | #Constraints: 67657
2897.61/2921.87 c #Conflicts: 1717000 | #Constraints: 68657
2897.61/2921.87 c #Conflicts: 1718000 | #Constraints: 69658
2897.61/2921.87 c #Conflicts: 1719000 | #Constraints: 70659
2897.61/2921.87 c #Conflicts: 1720000 | #Constraints: 71659
2897.61/2921.87 c INPROCESSING
2897.61/2921.87 c GARBAGE COLLECT
2897.61/2921.87 c rational objective 6
2968.40/2993.06 c #Conflicts: 1721000 | #Constraints: 46575
2968.40/2993.06 c #Conflicts: 1722000 | #Constraints: 47575
2968.40/2993.06 c #Conflicts: 1723000 | #Constraints: 48576
2968.40/2993.06 c #Conflicts: 1724000 | #Constraints: 49578
2968.40/2993.06 c #Conflicts: 1725000 | #Constraints: 50582
2968.40/2993.06 c #Conflicts: 1726000 | #Constraints: 51585
2968.40/2993.06 c #Conflicts: 1727000 | #Constraints: 52588
2968.40/2993.06 c #Conflicts: 1728000 | #Constraints: 53590
2968.40/2993.06 c #Conflicts: 1729000 | #Constraints: 54593
2968.40/2993.06 c #Conflicts: 1730000 | #Constraints: 55595
2968.40/2993.06 c #Conflicts: 1731000 | #Constraints: 56596
2968.40/2993.06 c #Conflicts: 1732000 | #Constraints: 57600
2968.40/2993.06 c #Conflicts: 1733000 | #Constraints: 58602
2968.40/2993.06 c #Conflicts: 1734000 | #Constraints: 59604
2968.40/2993.06 c #Conflicts: 1735000 | #Constraints: 60604
2968.40/2993.06 c #Conflicts: 1736000 | #Constraints: 61605
2968.40/2993.06 c #Conflicts: 1737000 | #Constraints: 62606
2968.40/2993.06 c #Conflicts: 1738000 | #Constraints: 63607
2968.40/2993.06 c #Conflicts: 1739000 | #Constraints: 64607
2968.40/2993.06 c #Conflicts: 1740000 | #Constraints: 65607
2968.40/2993.06 c #Conflicts: 1741000 | #Constraints: 66607
2968.40/2993.06 c #Conflicts: 1742000 | #Constraints: 67609
2968.40/2993.06 c #Conflicts: 1743000 | #Constraints: 68609
2968.40/2993.06 c #Conflicts: 1744000 | #Constraints: 69609
2968.40/2993.06 c #Conflicts: 1745000 | #Constraints: 70610
2968.40/2993.06 c #Conflicts: 1746000 | #Constraints: 71610
2968.40/2993.06 c INPROCESSING
2968.40/2993.06 c GARBAGE COLLECT
2968.40/2993.06 c rational objective 6
3032.11/3058.72 c #Conflicts: 1747000 | #Constraints: 46366
3032.11/3058.72 c #Conflicts: 1748000 | #Constraints: 47367
3032.11/3058.72 c #Conflicts: 1749000 | #Constraints: 48367
3032.11/3058.72 c #Conflicts: 1750000 | #Constraints: 49369
3032.11/3058.72 c #Conflicts: 1751000 | #Constraints: 50372
3032.11/3058.72 c #Conflicts: 1752000 | #Constraints: 51377
3032.11/3058.72 c #Conflicts: 1753000 | #Constraints: 52379
3032.11/3058.72 c #Conflicts: 1754000 | #Constraints: 53382
3032.11/3058.72 c #Conflicts: 1755000 | #Constraints: 54383
3032.11/3058.72 c #Conflicts: 1756000 | #Constraints: 55385
3032.11/3058.72 c #Conflicts: 1757000 | #Constraints: 56387
3032.11/3058.72 c #Conflicts: 1758000 | #Constraints: 57388
3032.11/3058.72 c #Conflicts: 1759000 | #Constraints: 58390
3032.11/3058.72 c #Conflicts: 1760000 | #Constraints: 59393
3032.11/3058.72 c #Conflicts: 1761000 | #Constraints: 60394
3032.11/3058.72 c #Conflicts: 1762000 | #Constraints: 61395
3032.11/3058.72 c #Conflicts: 1763000 | #Constraints: 62395
3032.11/3058.72 c #Conflicts: 1764000 | #Constraints: 63396
3032.11/3058.72 c #Conflicts: 1765000 | #Constraints: 64398
3032.11/3058.72 c #Conflicts: 1766000 | #Constraints: 65398
3032.11/3058.72 c #Conflicts: 1767000 | #Constraints: 66399
3032.11/3058.72 c #Conflicts: 1768000 | #Constraints: 67400
3032.11/3058.72 c #Conflicts: 1769000 | #Constraints: 68401
3032.11/3058.72 c #Conflicts: 1770000 | #Constraints: 69402
3032.11/3058.72 c #Conflicts: 1771000 | #Constraints: 70402
3032.11/3058.72 c #Conflicts: 1772000 | #Constraints: 71403
3032.11/3058.72 c #Conflicts: 1773000 | #Constraints: 72403
3032.11/3058.72 c INPROCESSING
3032.11/3058.72 c GARBAGE COLLECT
3032.11/3058.72 c rational objective 6
3101.39/3132.89 c #Conflicts: 1774000 | #Constraints: 46978
3101.39/3132.89 c #Conflicts: 1775000 | #Constraints: 47979
3101.39/3132.89 c #Conflicts: 1776000 | #Constraints: 48985
3101.39/3132.89 c #Conflicts: 1777000 | #Constraints: 49989
3101.39/3132.89 c #Conflicts: 1778000 | #Constraints: 50992
3101.39/3132.89 c #Conflicts: 1779000 | #Constraints: 51996
3101.39/3132.89 c #Conflicts: 1780000 | #Constraints: 52996
3101.39/3132.89 c #Conflicts: 1781000 | #Constraints: 53997
3101.39/3132.89 c #Conflicts: 1782000 | #Constraints: 54998
3101.39/3132.89 c #Conflicts: 1783000 | #Constraints: 56000
3101.39/3132.89 c #Conflicts: 1784000 | #Constraints: 57001
3101.39/3132.89 c #Conflicts: 1785000 | #Constraints: 58002
3101.39/3132.89 c #Conflicts: 1786000 | #Constraints: 59004
3101.39/3132.89 c #Conflicts: 1787000 | #Constraints: 60005
3101.39/3132.89 c #Conflicts: 1788000 | #Constraints: 61006
3101.39/3132.89 c #Conflicts: 1789000 | #Constraints: 62006
3101.39/3132.89 c #Conflicts: 1790000 | #Constraints: 63006
3101.39/3132.89 c #Conflicts: 1791000 | #Constraints: 64006
3101.39/3132.89 c #Conflicts: 1792000 | #Constraints: 65006
3101.39/3132.89 c #Conflicts: 1793000 | #Constraints: 66006
3101.39/3132.89 c #Conflicts: 1794000 | #Constraints: 67006
3101.39/3132.89 c #Conflicts: 1795000 | #Constraints: 68006
3101.39/3132.89 c #Conflicts: 1796000 | #Constraints: 69006
3101.39/3132.89 c #Conflicts: 1797000 | #Constraints: 70006
3101.39/3132.89 c #Conflicts: 1798000 | #Constraints: 71006
3101.39/3132.89 c #Conflicts: 1799000 | #Constraints: 72007
3101.39/3132.89 c #Conflicts: 1800000 | #Constraints: 73007
3101.39/3132.89 c INPROCESSING
3101.39/3132.89 c GARBAGE COLLECT
3101.39/3132.89 c rational objective 6
3166.99/3198.93 c #Conflicts: 1801000 | #Constraints: 47356
3166.99/3198.93 c #Conflicts: 1802000 | #Constraints: 48357
3166.99/3198.93 c #Conflicts: 1803000 | #Constraints: 49360
3166.99/3198.93 c #Conflicts: 1804000 | #Constraints: 50374
3166.99/3198.93 c #Conflicts: 1805000 | #Constraints: 51379
3166.99/3198.93 c #Conflicts: 1806000 | #Constraints: 52383
3166.99/3198.93 c #Conflicts: 1807000 | #Constraints: 53386
3166.99/3198.93 c #Conflicts: 1808000 | #Constraints: 54390
3166.99/3198.93 c #Conflicts: 1809000 | #Constraints: 55391
3166.99/3198.93 c #Conflicts: 1810000 | #Constraints: 56392
3166.99/3198.93 c #Conflicts: 1811000 | #Constraints: 57392
3166.99/3198.93 c #Conflicts: 1812000 | #Constraints: 58392
3166.99/3198.93 c #Conflicts: 1813000 | #Constraints: 59393
3166.99/3198.93 c #Conflicts: 1814000 | #Constraints: 60393
3166.99/3198.93 c #Conflicts: 1815000 | #Constraints: 61393
3166.99/3198.93 c #Conflicts: 1816000 | #Constraints: 62393
3166.99/3198.93 c #Conflicts: 1817000 | #Constraints: 63394
3166.99/3198.93 c #Conflicts: 1818000 | #Constraints: 64395
3166.99/3198.93 c #Conflicts: 1819000 | #Constraints: 65395
3166.99/3198.93 c #Conflicts: 1820000 | #Constraints: 66395
3166.99/3198.93 c #Conflicts: 1821000 | #Constraints: 67395
3166.99/3198.93 c #Conflicts: 1822000 | #Constraints: 68395
3166.99/3198.93 c #Conflicts: 1823000 | #Constraints: 69395
3166.99/3198.93 c #Conflicts: 1824000 | #Constraints: 70395
3166.99/3198.93 c #Conflicts: 1825000 | #Constraints: 71395
3166.99/3198.93 c #Conflicts: 1826000 | #Constraints: 72396
3166.99/3198.93 c #Conflicts: 1827000 | #Constraints: 73396
3166.99/3198.93 c INPROCESSING
3166.99/3198.93 c GARBAGE COLLECT
3166.99/3198.93 c rational objective 6
3253.17/3285.48 c #Conflicts: 1828000 | #Constraints: 47608
3253.17/3285.48 c #Conflicts: 1829000 | #Constraints: 48611
3253.17/3285.48 c #Conflicts: 1830000 | #Constraints: 49614
3253.17/3285.48 c #Conflicts: 1831000 | #Constraints: 50614
3253.17/3285.48 c #Conflicts: 1832000 | #Constraints: 51616
3253.17/3285.48 c #Conflicts: 1833000 | #Constraints: 52617
3253.17/3285.48 c #Conflicts: 1834000 | #Constraints: 53618
3253.17/3285.48 c #Conflicts: 1835000 | #Constraints: 54620
3253.17/3285.48 c #Conflicts: 1836000 | #Constraints: 55621
3253.17/3285.48 c #Conflicts: 1837000 | #Constraints: 56623
3253.17/3285.48 c #Conflicts: 1838000 | #Constraints: 57624
3253.17/3285.48 c #Conflicts: 1839000 | #Constraints: 58626
3253.17/3285.48 c #Conflicts: 1840000 | #Constraints: 59627
3253.17/3285.48 c #Conflicts: 1841000 | #Constraints: 60627
3253.17/3285.48 c #Conflicts: 1842000 | #Constraints: 61627
3253.17/3285.48 c #Conflicts: 1843000 | #Constraints: 62627
3253.17/3285.48 c #Conflicts: 1844000 | #Constraints: 63628
3253.17/3285.48 c #Conflicts: 1845000 | #Constraints: 64629
3253.17/3285.48 c #Conflicts: 1846000 | #Constraints: 65630
3253.17/3285.48 c #Conflicts: 1847000 | #Constraints: 66632
3253.17/3285.48 c #Conflicts: 1848000 | #Constraints: 67632
3253.17/3285.48 c #Conflicts: 1849000 | #Constraints: 68633
3253.17/3285.48 c #Conflicts: 1850000 | #Constraints: 69634
3253.17/3285.48 c #Conflicts: 1851000 | #Constraints: 70634
3253.17/3285.48 c #Conflicts: 1852000 | #Constraints: 71635
3253.17/3285.48 c #Conflicts: 1853000 | #Constraints: 72635
3253.17/3285.48 c #Conflicts: 1854000 | #Constraints: 73636
3253.17/3285.48 c INPROCESSING
3253.17/3285.48 c GARBAGE COLLECT
3253.17/3285.48 c rational objective 6
3307.90/3340.76 c #Conflicts: 1855000 | #Constraints: 47624
3307.90/3340.76 c #Conflicts: 1856000 | #Constraints: 48625
3307.90/3340.76 c #Conflicts: 1857000 | #Constraints: 49625
3307.90/3340.76 c #Conflicts: 1858000 | #Constraints: 50628
3307.90/3340.76 c #Conflicts: 1859000 | #Constraints: 51631
3307.90/3340.76 c #Conflicts: 1860000 | #Constraints: 52634
3307.90/3340.76 c #Conflicts: 1861000 | #Constraints: 53634
3307.90/3340.76 c #Conflicts: 1862000 | #Constraints: 54635
3307.90/3340.76 c #Conflicts: 1863000 | #Constraints: 55641
3307.90/3340.76 c #Conflicts: 1864000 | #Constraints: 56643
3307.90/3340.76 c #Conflicts: 1865000 | #Constraints: 57645
3307.90/3340.76 c #Conflicts: 1866000 | #Constraints: 58647
3307.90/3340.76 c #Conflicts: 1867000 | #Constraints: 59648
3307.90/3340.76 c #Conflicts: 1868000 | #Constraints: 60649
3307.90/3340.76 c #Conflicts: 1869000 | #Constraints: 61649
3307.90/3340.76 c #Conflicts: 1870000 | #Constraints: 62650
3307.90/3340.76 c #Conflicts: 1871000 | #Constraints: 63651
3307.90/3340.76 c #Conflicts: 1872000 | #Constraints: 64651
3307.90/3340.76 c #Conflicts: 1873000 | #Constraints: 65652
3307.90/3340.76 c #Conflicts: 1874000 | #Constraints: 66652
3307.90/3340.76 c #Conflicts: 1875000 | #Constraints: 67653
3307.90/3340.76 c #Conflicts: 1876000 | #Constraints: 68654
3307.90/3340.76 c #Conflicts: 1877000 | #Constraints: 69654
3307.90/3340.76 c #Conflicts: 1878000 | #Constraints: 70655
3307.90/3340.76 c #Conflicts: 1879000 | #Constraints: 71655
3307.90/3340.76 c #Conflicts: 1880000 | #Constraints: 72655
3307.90/3340.76 c #Conflicts: 1881000 | #Constraints: 73655
3307.90/3340.76 c INPROCESSING
3307.90/3340.76 c GARBAGE COLLECT
3307.90/3340.76 c rational objective 6
3367.96/3401.19 c #Conflicts: 1882000 | #Constraints: 47411
3367.96/3401.19 c #Conflicts: 1883000 | #Constraints: 48411
3367.96/3401.19 c #Conflicts: 1884000 | #Constraints: 49411
3367.96/3401.19 c #Conflicts: 1885000 | #Constraints: 50411
3367.96/3401.19 c #Conflicts: 1886000 | #Constraints: 51412
3367.96/3401.19 c #Conflicts: 1887000 | #Constraints: 52415
3367.96/3401.19 c #Conflicts: 1888000 | #Constraints: 53420
3367.96/3401.19 c #Conflicts: 1889000 | #Constraints: 54424
3367.96/3401.19 c #Conflicts: 1890000 | #Constraints: 55429
3367.96/3401.19 c #Conflicts: 1891000 | #Constraints: 56431
3367.96/3401.19 c #Conflicts: 1892000 | #Constraints: 57432
3367.96/3401.19 c #Conflicts: 1893000 | #Constraints: 58434
3367.96/3401.19 c #Conflicts: 1894000 | #Constraints: 59436
3367.96/3401.19 c #Conflicts: 1895000 | #Constraints: 60437
3367.96/3401.19 c #Conflicts: 1896000 | #Constraints: 61437
3367.96/3401.19 c #Conflicts: 1897000 | #Constraints: 62437
3367.96/3401.19 c #Conflicts: 1898000 | #Constraints: 63438
3367.96/3401.19 c #Conflicts: 1899000 | #Constraints: 64439
3367.96/3401.19 c #Conflicts: 1900000 | #Constraints: 65439
3367.96/3401.19 c #Conflicts: 1901000 | #Constraints: 66440
3367.96/3401.19 c #Conflicts: 1902000 | #Constraints: 67441
3367.96/3401.19 c #Conflicts: 1903000 | #Constraints: 68443
3367.96/3401.19 c #Conflicts: 1904000 | #Constraints: 69443
3367.96/3401.19 c #Conflicts: 1905000 | #Constraints: 70443
3367.96/3401.19 c #Conflicts: 1906000 | #Constraints: 71444
3367.96/3401.19 c #Conflicts: 1907000 | #Constraints: 72445
3367.96/3401.19 c #Conflicts: 1908000 | #Constraints: 73445
3367.96/3401.19 c #Conflicts: 1909000 | #Constraints: 74446
3367.96/3401.19 c INPROCESSING
3367.96/3401.19 c GARBAGE COLLECT
3367.96/3401.19 c rational objective 6
3430.73/3464.35 c #Conflicts: 1910000 | #Constraints: 48012
3430.73/3464.35 c #Conflicts: 1911000 | #Constraints: 49012
3430.73/3464.35 c #Conflicts: 1912000 | #Constraints: 50015
3430.73/3464.35 c #Conflicts: 1913000 | #Constraints: 51025
3430.73/3464.35 c #Conflicts: 1914000 | #Constraints: 52032
3430.73/3464.35 c #Conflicts: 1915000 | #Constraints: 53038
3430.73/3464.35 c #Conflicts: 1916000 | #Constraints: 54046
3430.73/3464.35 c #Conflicts: 1917000 | #Constraints: 55047
3430.73/3464.35 c #Conflicts: 1918000 | #Constraints: 56049
3430.73/3464.35 c #Conflicts: 1919000 | #Constraints: 57050
3430.73/3464.35 c #Conflicts: 1920000 | #Constraints: 58053
3430.73/3464.35 c #Conflicts: 1921000 | #Constraints: 59054
3430.73/3464.35 c #Conflicts: 1922000 | #Constraints: 60056
3430.73/3464.35 c #Conflicts: 1923000 | #Constraints: 61060
3430.73/3464.35 c #Conflicts: 1924000 | #Constraints: 62062
3430.73/3464.35 c #Conflicts: 1925000 | #Constraints: 63063
3430.73/3464.35 c #Conflicts: 1926000 | #Constraints: 64064
3430.73/3464.35 c #Conflicts: 1927000 | #Constraints: 65064
3430.73/3464.35 c #Conflicts: 1928000 | #Constraints: 66065
3430.73/3464.35 c #Conflicts: 1929000 | #Constraints: 67065
3430.73/3464.35 c #Conflicts: 1930000 | #Constraints: 68065
3430.73/3464.35 c #Conflicts: 1931000 | #Constraints: 69066
3430.73/3464.35 c #Conflicts: 1932000 | #Constraints: 70066
3430.73/3464.35 c #Conflicts: 1933000 | #Constraints: 71067
3430.73/3464.35 c #Conflicts: 1934000 | #Constraints: 72067
3430.73/3464.35 c #Conflicts: 1935000 | #Constraints: 73067
3430.73/3464.35 c #Conflicts: 1936000 | #Constraints: 74067
3430.73/3464.35 c #Conflicts: 1937000 | #Constraints: 75070
3430.73/3464.35 c INPROCESSING
3430.73/3464.35 c GARBAGE COLLECT
3430.73/3464.35 c rational objective 6
3489.00/3522.89 c #Conflicts: 1938000 | #Constraints: 48403
3489.00/3522.89 c #Conflicts: 1939000 | #Constraints: 49403
3489.00/3522.89 c #Conflicts: 1940000 | #Constraints: 50403
3489.00/3522.89 c #Conflicts: 1941000 | #Constraints: 51404
3489.00/3522.89 c #Conflicts: 1942000 | #Constraints: 52406
3489.00/3522.89 c #Conflicts: 1943000 | #Constraints: 53410
3489.00/3522.89 c #Conflicts: 1944000 | #Constraints: 54412
3489.00/3522.89 c #Conflicts: 1945000 | #Constraints: 55413
3489.00/3522.89 c #Conflicts: 1946000 | #Constraints: 56415
3489.00/3522.89 c #Conflicts: 1947000 | #Constraints: 57415
3489.00/3522.89 c #Conflicts: 1948000 | #Constraints: 58415
3489.00/3522.89 c #Conflicts: 1949000 | #Constraints: 59416
3489.00/3522.89 c #Conflicts: 1950000 | #Constraints: 60417
3489.00/3522.89 c #Conflicts: 1951000 | #Constraints: 61417
3489.00/3522.89 c #Conflicts: 1952000 | #Constraints: 62418
3489.00/3522.89 c #Conflicts: 1953000 | #Constraints: 63419
3489.00/3522.89 c #Conflicts: 1954000 | #Constraints: 64419
3489.00/3522.89 c #Conflicts: 1955000 | #Constraints: 65420
3489.00/3522.89 c #Conflicts: 1956000 | #Constraints: 66420
3489.00/3522.89 c #Conflicts: 1957000 | #Constraints: 67421
3489.00/3522.89 c #Conflicts: 1958000 | #Constraints: 68421
3489.00/3522.89 c #Conflicts: 1959000 | #Constraints: 69422
3489.00/3522.89 c #Conflicts: 1960000 | #Constraints: 70422
3489.00/3522.89 c #Conflicts: 1961000 | #Constraints: 71422
3489.00/3522.89 c #Conflicts: 1962000 | #Constraints: 72422
3489.00/3522.89 c #Conflicts: 1963000 | #Constraints: 73422
3489.00/3522.89 c #Conflicts: 1964000 | #Constraints: 74422
3489.00/3522.89 c #Conflicts: 1965000 | #Constraints: 75423
3489.00/3522.89 c INPROCESSING
3489.00/3522.89 c GARBAGE COLLECT
3489.00/3522.89 c rational objective 6
3573.33/3607.60 c #Conflicts: 1966000 | #Constraints: 48605
3573.33/3607.60 c #Conflicts: 1967000 | #Constraints: 49606
3573.33/3607.60 c #Conflicts: 1968000 | #Constraints: 50619
3573.33/3607.60 c #Conflicts: 1969000 | #Constraints: 51627
3573.33/3607.60 c #Conflicts: 1970000 | #Constraints: 52636
3573.33/3607.60 c #Conflicts: 1971000 | #Constraints: 53640
3573.33/3607.60 c #Conflicts: 1972000 | #Constraints: 54643
3573.33/3607.60 c #Conflicts: 1973000 | #Constraints: 55647
3573.33/3607.60 c #Conflicts: 1974000 | #Constraints: 56650
3573.33/3607.60 c #Conflicts: 1975000 | #Constraints: 57654
3573.33/3607.60 c #Conflicts: 1976000 | #Constraints: 58659
3573.33/3607.60 c #Conflicts: 1977000 | #Constraints: 59660
3573.33/3607.60 c #Conflicts: 1978000 | #Constraints: 60662
3573.33/3607.60 c #Conflicts: 1979000 | #Constraints: 61663
3573.33/3607.60 c #Conflicts: 1980000 | #Constraints: 62664
3573.33/3607.60 c #Conflicts: 1981000 | #Constraints: 63665
3573.33/3607.60 c #Conflicts: 1982000 | #Constraints: 64665
3573.33/3607.60 c #Conflicts: 1983000 | #Constraints: 65665
3573.33/3607.60 c #Conflicts: 1984000 | #Constraints: 66665
3573.33/3607.60 c #Conflicts: 1985000 | #Constraints: 67665
3573.33/3607.60 c #Conflicts: 1986000 | #Constraints: 68665
3573.33/3607.60 c #Conflicts: 1987000 | #Constraints: 69665
3573.33/3607.60 c #Conflicts: 1988000 | #Constraints: 70666
3573.33/3607.60 c #Conflicts: 1989000 | #Constraints: 71666
3573.33/3607.60 c #Conflicts: 1990000 | #Constraints: 72666
3573.33/3607.60 c #Conflicts: 1991000 | #Constraints: 73666
3573.33/3607.60 c #Conflicts: 1992000 | #Constraints: 74666
3573.33/3607.60 c #Conflicts: 1993000 | #Constraints: 75667
3573.33/3607.60 c INPROCESSING
3573.33/3607.60 c GARBAGE COLLECT
3573.33/3607.60 c rational objective 6
3600.02/3634.60 c #Conflicts: 1994000 | #Constraints: 48618
3600.02/3634.60 c #Conflicts: 1995000 | #Constraints: 49620
3600.02/3634.60 c #Conflicts: 1996000 | #Constraints: 50630
3600.02/3634.60 c #Conflicts: 1997000 | #Constraints: 51635
3600.02/3634.60 c #Conflicts: 1998000 | #Constraints: 52636
3600.02/3634.60 c #Conflicts: 1999000 | #Constraints: 53638
3600.02/3634.60 c #Conflicts: 2000000 | #Constraints: 54643
3600.02/3634.60 c #Conflicts: 2001000 | #Constraints: 55649
3600.02/3634.60 c #Conflicts: 2002000 | #Constraints: 56651
3600.02/3634.60 c #Conflicts: 2003000 | #Constraints: 57655
3600.02/3634.60 c #Conflicts: 2004000 | #Constraints: 58663
3600.02/3634.60 c #Conflicts: 2005000 | #Constraints: 59669
3600.02/3634.60 c #Conflicts: 2006000 | #Constraints: 60672
3600.02/3634.60 c #Conflicts: 2007000 | #Constraints: 61673
3600.02/3634.60 c cpu time 3557.21 s
3600.02/3634.60 c deterministic time 283997644659 2.84e+11
3600.02/3634.60 c optimization time 25.0604 s
3600.02/3634.60 c total solve time 3531.9 s
3600.02/3634.60 c core-guided solve time 1741.27 s
3600.02/3634.60 c propagation time 2389.94 s
3600.02/3634.60 c conflict analysis time 918.59 s
3600.02/3634.60 c propagations 613619566
3600.02/3634.60 c resolve steps 9451679
3600.02/3634.60 c decisions 15774983
3600.02/3634.60 c conflicts 2007156
3600.02/3634.60 c restarts 3960
3600.02/3634.60 c inprocessing phases 132
3600.02/3634.60 c garbage collections 132 ,( 100.00 )
3600.02/3634.60 c input clauses 23803 ,( 98.15 )
3600.02/3634.60 c input cardinalities 64 ,( 0.26 )
3600.02/3634.60 c input general constraints 384 ,( 1.58 )
3600.02/3634.60 c input average constraint length 4.04
3600.02/3634.60 c input average constraint degree 12.23
3600.02/3634.60 c learned clauses 250991 ,( 12.48 )
3600.02/3634.60 c learned cardinalities 31579 ,( 1.57 )
3600.02/3634.60 c learned general constraints 1729105 ,( 85.95 )
3600.02/3634.60 c learned average constraint length 351.72
3600.02/3634.60 c learned average constraint degree 3021650371.38
3600.02/3634.60 c watched CF 32, 64, 128, Arb: 546518 , 0 , 0 , 0
3600.02/3634.60 c counting CF 32, 64, 128, Arb: 1182972 , 0 , 0 , 0
3600.02/3634.60 c watched constraints 546518 ,( 31.60 )
3600.02/3634.60 c counting constraints 1182971 ,( 68.40 )
3600.02/3634.60 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 169784438 , 44972133 , 5576437529 ,( 616191928 , 4960245601 )
3600.02/3634.60 c gcd simplifications 105413
3600.02/3634.60 c detected cardinalities 315
3600.02/3634.60 c weakened non-implied lits 371152054
3600.02/3634.60 c weakened non-implying lits 1004012
3600.02/3634.60 c original variables 9988
3600.02/3634.60 c clausal propagations 121012461
3600.02/3634.60 c cardinality propagations 110470047
3600.02/3634.60 c watched propagations 1749233
3600.02/3634.60 c counting propagations 361008351
3600.02/3634.60 c watch lookups 189844690488
3600.02/3634.60 c watch backjump lookups 0
3600.02/3634.60 c watch checks 34033469440
3600.02/3634.60 c propagation checks 56129888651
3600.02/3634.60 c constraint additions 2726597008
3600.02/3634.60 c trail pops 631395690
3600.02/3634.60 c formula constraints 24251
3600.02/3634.60 c learned constraints 2003151
3600.02/3634.60 c bound constraints 0
3600.02/3634.60 c core-guided constraints 0
3600.02/3634.60 c encountered formula constraints 5954953
3600.02/3634.60 c encountered learned constraints 4644993
3600.02/3634.60 c encountered bound constraints 0
3600.02/3634.60 c encountered core-guided constraints 0
3600.02/3634.60 c LP total time 711.902 s
3600.02/3634.60 c LP solve time 651.44 s
3600.02/3634.60 c LP constraints added 26663
3600.02/3634.60 c LP constraints removed 2389
3600.02/3634.60 c LP pivots internal 2007336
3600.02/3634.60 c LP pivots root 201496
3600.02/3634.60 c LP calls 5416
3600.02/3634.60 c LP optimalities 1404
3600.02/3634.60 c LP no pivot count 263
3600.02/3634.60 c LP infeasibilities 4007
3600.02/3634.60 c LP valid Farkas constraints 4005
3600.02/3634.60 c LP learned Farkas constraints 4004
3600.02/3634.60 c LP basis resets 3
3600.02/3634.60 c LP cycling count 0
3600.02/3634.60 c LP singular count 1
3600.02/3634.60 c LP no primal count 0
3600.02/3634.60 c LP no farkas count 2
3600.02/3634.60 c LP other issue count 0
3600.02/3634.60 c LP Gomory cuts 515
3600.02/3634.60 c LP learned cuts 1897
3600.02/3634.60 c LP deleted cuts 2389
3600.02/3634.60 c LP encountered Gomory constraints 11914
3600.02/3634.60 c LP encountered Farkas constraints 752136
3600.02/3634.60 c LP encountered learned Farkas constraints 90835
3600.02/3634.60 c CG auxiliary variables introduced 0
3600.02/3634.60 c CG solutions found 0
3600.02/3634.60 c CG cores constructed 0
3600.02/3634.60 c CG core cardinality constraints returned 0
3600.02/3634.60 c CG unit cores 0
3600.02/3634.60 c CG single cores 0
3600.02/3634.60 c CG blocks removed during cardinality reduction 0
3600.02/3634.60 c CG first core best 0
3600.02/3634.60 c CG decision core best 0
3600.02/3634.60 c CG core reduction tie 0
3600.02/3634.60 c CG core degree average 0.00
3600.02/3634.60 c CG core slack average 0.00
3600.02/3634.60 c CG core upper bound improvements 0
3600.02/3634.60 c STR number of successful calls 0
3600.02/3634.60 c STR number of unsuccessful calls 0
3600.02/3634.60 c STR number of inconclusive calls 0
3600.02/3634.60 c STR number of successful attempts 0
3600.02/3634.60 c STR number of unsuccessful attempts 0
3600.02/3634.60 c STR number of inconclusive attempts 0
3600.02/3634.60 c STR average degree increase per successful call inf
3600.02/3634.60 c STR average degree increase per successful attempt inf
3600.02/3634.60 c STR total number of conflicts for successful attempts 0
3600.02/3634.60 c STR total number of conflicts for unsuccessful attempts 0
3600.02/3634.60 c STR total number of conflicts for inconclusive attempts 0
3600.02/3634.60 c STR average number of conflicts per successful attempt inf
3600.02/3634.60 c STR average number of conflicts per unsuccessful attempt inf
3600.02/3634.60 c STR average number of conflicts per inconclusive attempt inf
3600.02/3634.60 c AVG.sumWPerc 54.81
3600.02/3634.60 c bigint constraints 0
3600.02/3634.60 s UNKNOWN
3600.02/3634.60 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 (42566 MiB free)
memory of node 1: 64507 MiB (3558 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4499171-1751405983/watcher-4499171-1751405983 -o /tmp/evaluation-result-4499171-1751405983/solver-4499171-1751405983 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751398041-54955 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4499171-1751405983.opb PROOFDIR/proof-4499171-1751405983
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=56354, runsolver pid=56351
[startup+0.100102 s]*
/proc/loadavg: 4.18 4.31 4.28 5/261 56356
/proc/meminfo: memFree=47228028/131382112 swapFree=33009904/33010684
[pid=56354] ppid=56351 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/56354/stat : 56354 (run-opt-break-l) S 56351 56354 54941 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 56277199 4292608 736 18446744073709551615 94573471051776 94573471946309 140730886099584 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94573472185360 94573472233104 94573479960576 140730886101269 140730886101470 140730886101470 140730886107072 0
/proc/56354/statm: 1048 736 672 219 0 110 0
[pid=56356] ppid=56354 vsize=17992 memory=10272 CPUtime=0.08 cores=4,6
/proc/56356/stat : 56356 (pbsuma) R 56354 56354 54941 0 -1 4194304 2056 0 0 0 8 0 0 0 20 0 1 0 56277200 18423808 2568 18446744073709551615 4210688 4653049 140726124404944 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 22659072 140726124411107 140726124411442 140726124411442 140726124417007 0
/proc/56356/statm: 4498 2568 1024 108 0 1906 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 22184 KiB
Current children cumulated memory: 13216 KiB
[startup+0.213646 s]*
/proc/loadavg: 4.18 4.31 4.28 5/261 56356
/proc/meminfo: memFree=47225760/131382112 swapFree=33009904/33010684
[pid=56354] ppid=56351 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/56354/stat : 56354 (run-opt-break-l) S 56351 56354 54941 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 56277199 4292608 736 18446744073709551615 94573471051776 94573471946309 140730886099584 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94573472185360 94573472233104 94573479960576 140730886101269 140730886101470 140730886101470 140730886107072 0
/proc/56354/statm: 1048 736 672 219 0 110 0
[pid=56356] ppid=56354 vsize=22368 memory=13728 CPUtime=0.2 cores=4,6
/proc/56356/stat : 56356 (pbsuma) R 56354 56354 54941 0 -1 4194304 2932 0 0 0 19 1 0 0 20 0 1 0 56277200 22904832 3432 18446744073709551615 4210688 4653049 140726124404944 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 22659072 140726124411107 140726124411442 140726124411442 140726124417007 0
/proc/56356/statm: 5592 3432 1024 108 0 3000 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 26560 KiB
Current children cumulated memory: 16672 KiB
[startup+0.313565 s]*
/proc/loadavg: 4.18 4.31 4.28 5/261 56356
/proc/meminfo: memFree=47223744/131382112 swapFree=33009904/33010684
[pid=56354] ppid=56351 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/56354/stat : 56354 (run-opt-break-l) S 56351 56354 54941 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 56277199 4292608 736 18446744073709551615 94573471051776 94573471946309 140730886099584 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94573472185360 94573472233104 94573479960576 140730886101269 140730886101470 140730886101470 140730886107072 0
/proc/56354/statm: 1048 736 672 219 0 110 0
[pid=56356] ppid=56354 vsize=22368 memory=13728 CPUtime=0.3 cores=4,6
/proc/56356/stat : 56356 (pbsuma) R 56354 56354 54941 0 -1 4194304 2932 0 0 0 29 1 0 0 20 0 1 0 56277200 22904832 3432 18446744073709551615 4210688 4653049 140726124404944 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 22659072 140726124411107 140726124411442 140726124411442 140726124417007 0
/proc/56356/statm: 5592 3432 1024 108 0 3000 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 26560 KiB
Current children cumulated memory: 16672 KiB
[startup+0.700367 s]
/proc/loadavg: 4.18 4.31 4.28 6/261 56356
/proc/meminfo: memFree=47223744/131382112 swapFree=33009904/33010684
[pid=56354] ppid=56351 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/56354/stat : 56354 (run-opt-break-l) S 56351 56354 54941 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 56277199 4292608 736 18446744073709551615 94573471051776 94573471946309 140730886099584 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94573472185360 94573472233104 94573479960576 140730886101269 140730886101470 140730886101470 140730886107072 0
/proc/56354/statm: 1048 736 672 219 0 110 0
[pid=56356] ppid=56354 vsize=22368 memory=14368 CPUtime=0.67 cores=4,6
/proc/56356/stat : 56356 (pbsuma) R 56354 56354 54941 0 -1 4194304 3105 0 0 0 66 1 0 0 20 0 1 0 56277200 22904832 3592 18446744073709551615 4210688 4653049 140726124404944 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 22659072 140726124411107 140726124411442 140726124411442 140726124417007 0
/proc/56356/statm: 5592 3592 1024 108 0 3000 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 26560 KiB
Current children cumulated memory: 17312 KiB
[startup+1.5004 s]
/proc/loadavg: 4.17 4.30 4.27 5/261 56357
/proc/meminfo: memFree=47206468/131382112 swapFree=33009904/33010684
[pid=56354] ppid=56351 vsize=4192 memory=2944 CPUtime=0.77 cores=4,6
/proc/56354/stat : 56354 (run-opt-break-l) S 56351 56354 54941 0 -1 4194304 240 3472 0 0 0 0 74 3 20 0 1 0 56277199 4292608 736 18446744073709551615 94573471051776 94573471946309 140730886099584 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94573472185360 94573472233104 94573479960576 140730886101269 140730886101470 140730886101470 140730886107072 0
/proc/56354/statm: 1048 736 672 219 0 110 0
[pid=56357] ppid=56354 vsize=96524 memory=49820 CPUtime=0.66 cores=4,6
/proc/56357/stat : 56357 (roundingsat) R 56354 56354 54941 0 -1 4194304 8418 0 0 0 58 8 0 0 20 0 1 0 56277281 98840576 12455 18446744073709551615 4227072 8923433 140720474426544 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10334208 140720474429716 140720474429992 140720474429992 140720474435562 0
/proc/56357/statm: 24131 12455 2400 1147 0 11558 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 100716 KiB
Current children cumulated memory: 52764 KiB
[startup+3.11315 s]
/proc/loadavg: 4.17 4.30 4.27 5/261 56357
/proc/meminfo: memFree=47167508/131382112 swapFree=33009904/33010684
[pid=56354] ppid=56351 vsize=4192 memory=2944 CPUtime=0.77 cores=4,6
/proc/56354/stat : 56354 (run-opt-break-l) S 56351 56354 54941 0 -1 4194304 240 3472 0 0 0 0 74 3 20 0 1 0 56277199 4292608 736 18446744073709551615 94573471051776 94573471946309 140730886099584 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94573472185360 94573472233104 94573479960576 140730886101269 140730886101470 140730886101470 140730886107072 0
/proc/56354/statm: 1048 736 672 219 0 110 0
[pid=56357] ppid=56354 vsize=112652 memory=67112 CPUtime=2.26 cores=4,6
/proc/56357/stat : 56357 (roundingsat) R 56354 56354 54941 0 -1 4194304 12257 0 0 0 213 13 0 0 20 0 1 0 56277281 115355648 16778 18446744073709551615 4227072 8923433 140720474426544 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10334208 140720474429716 140720474429992 140720474429992 140720474435562 0
/proc/56357/statm: 28163 16778 2432 1147 0 15590 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 116844 KiB
Current children cumulated memory: 70056 KiB
[startup+6.30037 s]
/proc/loadavg: 4.15 4.30 4.27 5/261 56357
/proc/meminfo: memFree=47088656/131382112 swapFree=33009904/33010684
[pid=56354] ppid=56351 vsize=4192 memory=2944 CPUtime=0.77 cores=4,6
/proc/56354/stat : 56354 (run-opt-break-l) S 56351 56354 54941 0 -1 4194304 240 3472 0 0 0 0 74 3 20 0 1 0 56277199 4292608 736 18446744073709551615 94573471051776 94573471946309 140730886099584 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94573472185360 94573472233104 94573479960576 140730886101269 140730886101470 140730886101470 140730886107072 0
/proc/56354/statm: 1048 736 672 219 0 110 0
[pid=56357] ppid=56354 vsize=143040 memory=89772 CPUtime=5.45 cores=4,6
/proc/56357/stat : 56357 (roundingsat) R 56354 56354 54941 0 -1 4194304 17434 0 0 0 523 22 0 0 20 0 1 0 56277281 146472960 22443 18446744073709551615 4227072 8923433 140720474426544 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10334208 140720474429716 140720474429992 140720474429992 140720474435562 0
/proc/56357/statm: 35760 22443 2432 1147 0 23187 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 147232 KiB
Current children cumulated memory: 92716 KiB
[startup+12.7004 s]
/proc/loadavg: 4.14 4.29 4.27 5/261 56357
/proc/meminfo: memFree=46940792/131382112 swapFree=33009904/33010684
[pid=56354] ppid=56351 vsize=4192 memory=2944 CPUtime=0.77 cores=4,6
/proc/56354/stat : 56354 (run-opt-break-l) S 56351 56354 54941 0 -1 4194304 240 3472 0 0 0 0 74 3 20 0 1 0 56277199 4292608 736 18446744073709551615 94573471051776 94573471946309 140730886099584 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94573472185360 94573472233104 94573479960576 140730886101269 140730886101470 140730886101470 140730886107072 0
/proc/56354/statm: 1048 736 672 219 0 110 0
[pid=56357] ppid=56354 vsize=165472 memory=115816 CPUtime=11.82 cores=4,6
/proc/56357/stat : 56357 (roundingsat) R 56354 56354 54941 0 -1 4194304 22932 0 0 0 1147 35 0 0 20 0 1 0 56277281 169443328 28954 18446744073709551615 4227072 8923433 140720474426544 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10334208 140720474429716 140720474429992 140720474429992 140720474435562 0
/proc/56357/statm: 41368 28954 2432 1147 0 28795 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 169664 KiB
Current children cumulated memory: 118760 KiB
[startup+25.5004 s]
/proc/loadavg: 4.12 4.28 4.27 5/261 56357
/proc/meminfo: memFree=46683020/131382112 swapFree=33009904/33010684
[pid=56354] ppid=56351 vsize=4192 memory=2944 CPUtime=0.77 cores=4,6
/proc/56354/stat : 56354 (run-opt-break-l) S 56351 56354 54941 0 -1 4194304 240 3472 0 0 0 0 74 3 20 0 1 0 56277199 4292608 736 18446744073709551615 94573471051776 94573471946309 140730886099584 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94573472185360 94573472233104 94573479960576 140730886101269 140730886101470 140730886101470 140730886107072 0
/proc/56354/statm: 1048 736 672 219 0 110 0
[pid=56357] ppid=56354 vsize=194736 memory=143720 CPUtime=24.58 cores=4,6
/proc/56357/stat : 56357 (roundingsat) R 56354 56354 54941 0 -1 4194304 29955 0 0 0 2397 61 0 0 20 0 1 0 56277281 199409664 35930 18446744073709551615 4227072 8923433 140720474426544 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10334208 140720474429716 140720474429992 140720474429992 140720474435562 0
/proc/56357/statm: 48684 35930 2432 1147 0 36111 0
Current children cumulated CPU time: 25.35 s
Current children cumulated vsize: 198928 KiB
Current children cumulated memory: 146664 KiB
[startup+51.1133 s]
/proc/loadavg: 4.13 4.27 4.26 5/261 56358
/proc/meminfo: memFree=46254032/131382112 swapFree=33009904/33010684
[pid=56354] ppid=56351 vsize=4192 memory=2944 CPUtime=0.77 cores=4,6
/proc/56354/stat : 56354 (run-opt-break-l) S 56351 56354 54941 0 -1 4194304 240 3472 0 0 0 0 74 3 20 0 1 0 56277199 4292608 736 18446744073709551615 94573471051776 94573471946309 140730886099584 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94573472185360 94573472233104 94573479960576 140730886101269 140730886101470 140730886101470 140730886107072 0
/proc/56354/statm: 1048 736 672 219 0 110 0
[pid=56357] ppid=56354 vsize=230144 memory=168600 CPUtime=49.86 cores=4,6
/proc/56357/stat : 56357 (roundingsat) R 56354 56354 54941 0 -1 4194304 35734 0 0 0 4880 106 0 0 20 0 1 0 56277281 235667456 42150 18446744073709551615 4227072 8923433 140720474426544 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10334208 140720474429716 140720474429992 140720474429992 140720474435562 0
/proc/56357/statm: 57536 42150 2432 1147 0 44963 0
Current children cumulated CPU time: 50.63 s
Current children cumulated vsize: 234336 KiB
Current children cumulated memory: 171544 KiB
[startup+102.3 s]
/proc/loadavg: 4.23 4.28 4.27 5/259 56360
/proc/meminfo: memFree=45472564/131382112 swapFree=33009904/33010684
[pid=56354] ppid=56351 vsize=4192 memory=2944 CPUtime=0.77 cores=4,6
/proc/56354/stat : 56354 (run-opt-break-l) S 56351 56354 54941 0 -1 4194304 240 3472 0 0 0 0 74 3 20 0 1 0 56277199 4292608 736 18446744073709551615 94573471051776 94573471946309 140730886099584 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94573472185360 94573472233104 94573479960576 140730886101269 140730886101470 140730886101470 140730886107072 0
/proc/56354/statm: 1048 736 672 219 0 110 0
[pid=56357] ppid=56354 vsize=341092 memory=266444 CPUtime=100.66 cores=4,6
/proc/56357/stat : 56357 (roundingsat) R 56354 56354 54941 0 -1 4194304 55732 0 0 0 9877 189 0 0 20 0 1 0 56277281 349278208 66611 18446744073709551615 4227072 8923433 140720474426544 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10334208 140720474429716 140720474429992 140720474429992 140720474435562 0
/proc/56357/statm: 85273 66611 2432 1147 0 72700 0
Current children cumulated CPU time: 101.43 s
Current children cumulated vsize: 345284 KiB
Current children cumulated memory: 269388 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.24 4.26 5/261 56366
/proc/meminfo: memFree=44425292/131382112 swapFree=33009904/33010684
[pid=56354] ppid=56351 vsize=4192 memory=2944 CPUtime=0.77 cores=4,6
/proc/56354/stat : 56354 (run-opt-break-l) S 56351 56354 54941 0 -1 4194304 240 3472 0 0 0 0 74 3 20 0 1 0 56277199 4292608 736 18446744073709551615 94573471051776 94573471946309 140730886099584 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94573472185360 94573472233104 94573479960576 140730886101269 140730886101470 140730886101470 140730886107072 0
/proc/56354/statm: 1048 736 672 219 0 110 0
[pid=56357] ppid=56354 vsize=351032 memory=277708 CPUtime=160.2 cores=4,6
/proc/56357/stat : 56357 (roundingsat) R 56354 56354 54941 0 -1 4194304 58565 0 0 0 15734 286 0 0 20 0 1 0 56277281 359456768 69427 18446744073709551615 4227072 8923433 140720474426544 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10334208 140720474429716 140720474429992 140720474429992 140720474435562 0
/proc/56357/statm: 87758 69427 2432 1147 0 75185 0
Current children cumulated CPU time: 160.97 s
Current children cumulated vsize: 355224 KiB
Current children cumulated memory: 280652 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.22 4.25 5/261 56368
/proc/meminfo: memFree=43566868/131382112 swapFree=33009904/33010684
[pid=56354] ppid=56351 vsize=4192 memory=2944 CPUtime=0.77 cores=4,6
/proc/56354/stat : 56354 (run-opt-break-l) S 56351 56354 54941 0 -1 4194304 240 3472 0 0 0 0 74 3 20 0 1 0 56277199 4292608 736 18446744073709551615 94573471051776 94573471946309 140730886099584 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94573472185360 94573472233104 94573479960576 140730886101269 140730886101470 140730886101470 140730886107072 0
/proc/56354/statm: 1048 736 672 219 0 110 0
[pid=56357] ppid=56354 vsize=363092 memory=288512 CPUtime=219.35 cores=4,6
/proc/56357/stat : 56357 (roundingsat) R 56354 56354 54941 0 -1 4194304 61389 0 0 0 21573 362 0 0 20 0 1 0 56277281 371806208 72128 18446744073709551615 4227072 8923433 140720474426544 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10334208 140720474429716 140720474429992 140720474429992 140720474435562 0
/proc/56357/statm: 90773 72128 2432 1147 0 78200 0
################
# More data... #
################
[pid=56357] ppid=56354 vsize=1139292 memory=1020440 CPUtime=3070.33 cores=4,6
/proc/56357/stat : 56357 (roundingsat) R 56354 56354 54941 0 -1 4194304 190274 0 0 0 303301 3732 0 0 20 0 1 0 56277281 1166635008 255110 18446744073709551615 4227072 8923433 140720474426544 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10334208 140720474429716 140720474429992 140720474429992 140720474435562 0
/proc/56357/statm: 284823 255110 2528 1147 0 272250 0
Current children cumulated CPU time: 3071.1 s
Current children cumulated vsize: 1143484 KiB
Current children cumulated memory: 1023384 KiB
[startup+3162.3 s]
/proc/loadavg: 3.13 3.15 3.43 4/253 56819
/proc/meminfo: memFree=92200532/131382112 swapFree=33009904/33010684
[pid=56354] ppid=56351 vsize=4192 memory=2944 CPUtime=0.77 cores=4,6
/proc/56354/stat : 56354 (run-opt-break-l) S 56351 56354 54941 0 -1 4194304 240 3472 0 0 0 0 74 3 20 0 1 0 56277199 4292608 736 18446744073709551615 94573471051776 94573471946309 140730886099584 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94573472185360 94573472233104 94573479960576 140730886101269 140730886101470 140730886101470 140730886107072 0
/proc/56354/statm: 1048 736 672 219 0 110 0
[pid=56357] ppid=56354 vsize=1148156 memory=1026200 CPUtime=3129.87 cores=4,6
/proc/56357/stat : 56357 (roundingsat) R 56354 56354 54941 0 -1 4194304 191724 0 0 0 309207 3780 0 0 20 0 1 0 56277281 1175711744 256550 18446744073709551615 4227072 8923433 140720474426544 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10334208 140720474429716 140720474429992 140720474429992 140720474435562 0
/proc/56357/statm: 287039 256550 2528 1147 0 274466 0
Current children cumulated CPU time: 3130.64 s
Current children cumulated vsize: 1152348 KiB
Current children cumulated memory: 1029144 KiB
[startup+3222.3 s]
/proc/loadavg: 3.16 3.15 3.41 4/254 56822
/proc/meminfo: memFree=91626212/131382112 swapFree=33009904/33010684
[pid=56354] ppid=56351 vsize=4192 memory=2944 CPUtime=0.77 cores=4,6
/proc/56354/stat : 56354 (run-opt-break-l) S 56351 56354 54941 0 -1 4194304 240 3472 0 0 0 0 74 3 20 0 1 0 56277199 4292608 736 18446744073709551615 94573471051776 94573471946309 140730886099584 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94573472185360 94573472233104 94573479960576 140730886101269 140730886101470 140730886101470 140730886107072 0
/proc/56354/statm: 1048 736 672 219 0 110 0
[pid=56357] ppid=56354 vsize=1148456 memory=1026456 CPUtime=3189.56 cores=4,6
/proc/56357/stat : 56357 (roundingsat) R 56354 56354 54941 0 -1 4194304 191799 0 0 0 315131 3825 0 0 20 0 1 0 56277281 1176018944 256614 18446744073709551615 4227072 8923433 140720474426544 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10334208 140720474429716 140720474429992 140720474429992 140720474435562 0
/proc/56357/statm: 287114 256614 2528 1147 0 274541 0
Current children cumulated CPU time: 3190.33 s
Current children cumulated vsize: 1152648 KiB
Current children cumulated memory: 1029400 KiB
[startup+3282.3 s]
/proc/loadavg: 3.12 3.14 3.39 4/255 56827
/proc/meminfo: memFree=91099428/131382112 swapFree=33009904/33010684
[pid=56354] ppid=56351 vsize=4192 memory=2944 CPUtime=0.77 cores=4,6
/proc/56354/stat : 56354 (run-opt-break-l) S 56351 56354 54941 0 -1 4194304 240 3472 0 0 0 0 74 3 20 0 1 0 56277199 4292608 736 18446744073709551615 94573471051776 94573471946309 140730886099584 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94573472185360 94573472233104 94573479960576 140730886101269 140730886101470 140730886101470 140730886107072 0
/proc/56354/statm: 1048 736 672 219 0 110 0
[pid=56357] ppid=56354 vsize=1165564 memory=1035672 CPUtime=3249.31 cores=4,6
/proc/56357/stat : 56357 (roundingsat) R 56354 56354 54941 0 -1 4194304 194092 0 0 0 321064 3867 0 0 20 0 1 0 56277281 1193537536 258918 18446744073709551615 4227072 8923433 140720474426544 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10334208 140720474429716 140720474429992 140720474429992 140720474435562 0
/proc/56357/statm: 291391 258918 2528 1147 0 278818 0
Current children cumulated CPU time: 3250.08 s
Current children cumulated vsize: 1169756 KiB
Current children cumulated memory: 1038616 KiB
[startup+3342.3 s]
/proc/loadavg: 3.08 3.13 3.36 4/253 56829
/proc/meminfo: memFree=90492628/131382112 swapFree=33009904/33010684
[pid=56354] ppid=56351 vsize=4192 memory=2944 CPUtime=0.77 cores=4,6
/proc/56354/stat : 56354 (run-opt-break-l) S 56351 56354 54941 0 -1 4194304 240 3472 0 0 0 0 74 3 20 0 1 0 56277199 4292608 736 18446744073709551615 94573471051776 94573471946309 140730886099584 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94573472185360 94573472233104 94573479960576 140730886101269 140730886101470 140730886101470 140730886107072 0
/proc/56354/statm: 1048 736 672 219 0 110 0
[pid=56357] ppid=56354 vsize=1170080 memory=1039256 CPUtime=3308.72 cores=4,6
/proc/56357/stat : 56357 (roundingsat) R 56354 56354 54941 0 -1 4194304 194974 0 0 0 326949 3923 0 0 20 0 1 0 56277281 1198161920 259814 18446744073709551615 4227072 8923433 140720474426544 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10334208 140720474429716 140720474429992 140720474429992 140720474435562 0
/proc/56357/statm: 292520 259814 2528 1147 0 279947 0
Current children cumulated CPU time: 3309.49 s
Current children cumulated vsize: 1174272 KiB
Current children cumulated memory: 1042200 KiB
[startup+3402.3 s]
/proc/loadavg: 3.13 3.13 3.35 4/253 56831
/proc/meminfo: memFree=89805140/131382112 swapFree=33009904/33010684
[pid=56354] ppid=56351 vsize=4192 memory=2944 CPUtime=0.77 cores=4,6
/proc/56354/stat : 56354 (run-opt-break-l) S 56351 56354 54941 0 -1 4194304 240 3472 0 0 0 0 74 3 20 0 1 0 56277199 4292608 736 18446744073709551615 94573471051776 94573471946309 140730886099584 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94573472185360 94573472233104 94573479960576 140730886101269 140730886101470 140730886101470 140730886107072 0
/proc/56354/statm: 1048 736 672 219 0 110 0
[pid=56357] ppid=56354 vsize=1170640 memory=1039896 CPUtime=3368.38 cores=4,6
/proc/56357/stat : 56357 (roundingsat) R 56354 56354 54941 0 -1 4194304 195154 0 0 0 332856 3982 0 0 20 0 1 0 56277281 1198735360 259974 18446744073709551615 4227072 8923433 140720474426544 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10334208 140720474429716 140720474429992 140720474429992 140720474435562 0
/proc/56357/statm: 292660 259974 2528 1147 0 280087 0
Current children cumulated CPU time: 3369.15 s
Current children cumulated vsize: 1174832 KiB
Current children cumulated memory: 1042840 KiB
[startup+3462.3 s]
/proc/loadavg: 3.10 3.12 3.33 4/253 56838
/proc/meminfo: memFree=89166160/131382112 swapFree=33009904/33010684
[pid=56354] ppid=56351 vsize=4192 memory=2944 CPUtime=0.77 cores=4,6
/proc/56354/stat : 56354 (run-opt-break-l) S 56351 56354 54941 0 -1 4194304 240 3472 0 0 0 0 74 3 20 0 1 0 56277199 4292608 736 18446744073709551615 94573471051776 94573471946309 140730886099584 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94573472185360 94573472233104 94573479960576 140730886101269 140730886101470 140730886101470 140730886107072 0
/proc/56354/statm: 1048 736 672 219 0 110 0
[pid=56357] ppid=56354 vsize=1171396 memory=1040664 CPUtime=3427.97 cores=4,6
/proc/56357/stat : 56357 (roundingsat) R 56354 56354 54941 0 -1 4194304 195344 0 0 0 338761 4036 0 0 20 0 1 0 56277281 1199509504 260166 18446744073709551615 4227072 8923433 140720474426544 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10334208 140720474429716 140720474429992 140720474429992 140720474435562 0
/proc/56357/statm: 292849 260166 2528 1147 0 280276 0
Current children cumulated CPU time: 3428.74 s
Current children cumulated vsize: 1175588 KiB
Current children cumulated memory: 1043608 KiB
[startup+3522.3 s]
/proc/loadavg: 3.15 3.13 3.32 4/255 56842
/proc/meminfo: memFree=88546620/131382112 swapFree=33009904/33010684
[pid=56354] ppid=56351 vsize=4192 memory=2944 CPUtime=0.77 cores=4,6
/proc/56354/stat : 56354 (run-opt-break-l) S 56351 56354 54941 0 -1 4194304 240 3472 0 0 0 0 74 3 20 0 1 0 56277199 4292608 736 18446744073709551615 94573471051776 94573471946309 140730886099584 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94573472185360 94573472233104 94573479960576 140730886101269 140730886101470 140730886101470 140730886107072 0
/proc/56354/statm: 1048 736 672 219 0 110 0
[pid=56357] ppid=56354 vsize=1178404 memory=1047704 CPUtime=3487.72 cores=4,6
/proc/56357/stat : 56357 (roundingsat) R 56354 56354 54941 0 -1 4194304 197093 0 0 0 344670 4102 0 0 20 0 1 0 56277281 1206685696 261926 18446744073709551615 4227072 8923433 140720474426544 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10334208 140720474429716 140720474429992 140720474429992 140720474435562 0
/proc/56357/statm: 294601 261926 2528 1147 0 282028 0
Current children cumulated CPU time: 3488.49 s
Current children cumulated vsize: 1182596 KiB
Current children cumulated memory: 1050648 KiB
[startup+3582.3 s]
/proc/loadavg: 3.11 3.12 3.30 4/254 56844
/proc/meminfo: memFree=87915528/131382112 swapFree=33009904/33010684
[pid=56354] ppid=56351 vsize=4192 memory=2944 CPUtime=0.77 cores=4,6
/proc/56354/stat : 56354 (run-opt-break-l) S 56351 56354 54941 0 -1 4194304 240 3472 0 0 0 0 74 3 20 0 1 0 56277199 4292608 736 18446744073709551615 94573471051776 94573471946309 140730886099584 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94573472185360 94573472233104 94573479960576 140730886101269 140730886101470 140730886101470 140730886107072 0
/proc/56354/statm: 1048 736 672 219 0 110 0
[pid=56357] ppid=56354 vsize=1178404 memory=1049496 CPUtime=3547.34 cores=4,6
/proc/56357/stat : 56357 (roundingsat) R 56354 56354 54941 0 -1 4194304 197095 0 0 0 350580 4154 0 0 20 0 1 0 56277281 1206685696 262374 18446744073709551615 4227072 8923433 140720474426544 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10334208 140720474429716 140720474429992 140720474429992 140720474435562 0
/proc/56357/statm: 294601 262374 2528 1147 0 282028 0
Current children cumulated CPU time: 3548.11 s
Current children cumulated vsize: 1182596 KiB
Current children cumulated memory: 1052440 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3634.6 s]
/proc/loadavg: 3.10 3.11 3.29 4/254 56846
/proc/meminfo: memFree=87419880/131382112 swapFree=33009904/33010684
[pid=56354] ppid=56351 vsize=4192 memory=2944 CPUtime=0.77 cores=4,6
/proc/56354/stat : 56354 (run-opt-break-l) S 56351 56354 54941 0 -1 4194304 240 3472 0 0 0 0 74 3 20 0 1 0 56277199 4292608 736 18446744073709551615 94573471051776 94573471946309 140730886099584 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94573472185360 94573472233104 94573479960576 140730886101269 140730886101470 140730886101470 140730886107072 0
/proc/56354/statm: 1048 736 672 219 0 110 0
[pid=56357] ppid=56354 vsize=1185292 memory=1081496 CPUtime=3599.25 cores=4,6
/proc/56357/stat : 56357 (roundingsat) R 56354 56354 54941 0 -1 4194304 198128 0 0 0 355721 4204 0 0 20 0 1 0 56277281 1213739008 270374 18446744073709551615 4227072 8923433 140720474426544 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10334208 140720474429716 140720474429992 140720474429992 140720474435562 0
/proc/56357/statm: 296323 270374 2528 1147 0 283750 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1189484 KiB
Current children cumulated memory: 1084440 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3634.61 s]
# the end of solver process 56354 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.741516 s, system=0.038408 s
Sleeping 2 seconds
[startup+3634.74 s]
# the end of solver process 56357 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3557.97 s, system=42.1128 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+3634.71 s]*
/proc/loadavg: 3.10 3.11 3.29 3/253 56846
/proc/meminfo: memFree=87421184/131382112 swapFree=33009904/33010684
[pid=56357] ppid=56351 vsize=1185292 memory=1081624 CPUtime=3599.27 cores=4,6
/proc/56357/stat : 56357 (roundingsat) D 56351 56354 54941 0 -1 4194304 198131 0 0 0 355721 4206 0 0 20 0 1 0 56277281 1213739008 270406 18446744073709551615 4227072 8923433 140720474426544 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9823104 9832592 10334208 140720474429716 140720474429992 140720474429992 140720474435562 0
/proc/56357/statm: 296323 270406 2560 1147 0 283750 0
Current cumulated CPU time of completed processes: 0.779924 s
Current children cumulated CPU time: 3599.27 s
Current children cumulated vsize: 1185292 KiB
Current children cumulated memory: 1081624 KiB
Child status: 2
Real time (s): 3634.74
CPU time (s): 3600.08
CPU user time (s): 3557.97
CPU system time (s): 42.1128
CPU usage (%): 99.0464
Max. virtual memory (cumulated for all children) (KiB): 1189484
Max. memory (cumulated for all children) (KiB): 1084440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3557.97
system time used= 42.1128
maximum resident set size= 1081624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 201859
page faults= 0
swaps= 0
block input operations= 8
block output operations= 36451216
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4641
involuntary context switches= 4891
# summary of solver processes directly reported to runsolver:
# pid: 56354,56357
# total CPU time (s): 3600.08
# total CPU user time (s): 3557.97
# total CPU system time (s): 42.1128
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.2381 second user time and 36.5939 second system time
The end
Begin job on nodeC001 at 2025-07-01 23:39:43
IDJOB=4499171
IDBENCH=148772
IDSOLVER=3360
FILE ID=nodeC001/4499171-1751405983
RUNJOBID= nodeC001-1751398041-54955
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-fx63.opb
COMMAND LINE= run-opt-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4499171-1751405983/watcher-4499171-1751405983 -o /tmp/evaluation-result-4499171-1751405983/solver-4499171-1751405983 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751398041-54955 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4499171-1751405983.opb PROOFDIR/proof-4499171-1751405983
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7c2ff02722ff3a09887b085a032d3a00
RANDOM SEED=929206267
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 : 3648.988
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 : 3647.943
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.294
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.264
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 : 1197.691
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 : 3691.234
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.173
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.511
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: 47232316 kB
MemAvailable: 101587968 kB
Buffers: 1668 kB
Cached: 55070180 kB
SwapCached: 20 kB
Active: 28538356 kB
Inactive: 54755132 kB
Active(anon): 28216936 kB
Inactive(anon): 22636 kB
Active(file): 321420 kB
Inactive(file): 54732496 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 601652 kB
Writeback: 0 kB
AnonPages: 28224740 kB
Mapped: 116168 kB
Shmem: 17896 kB
KReclaimable: 282340 kB
Slab: 387960 kB
SReclaimable: 282340 kB
SUnreclaim: 105620 kB
KernelStack: 4192 kB
PageTables: 60276 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 29859504 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149640 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 5509120 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= 433032 MiB
End job on nodeC001 at 2025-07-02 00:40:18