0.00/0.01 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01 c │ pbsuma -- a PB interface for satsuma │
0.00/0.01 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.01 c │ (c) 2025 Markus Anders │
0.00/0.01 c └────────────────────────────────────────────────────────────────┘
0.00/0.01 c parse 'HOME/instance-4532506-1752596639.opb'
0.00/0.01 c read 0.32MB (3.95ms)
0.00/0.01 c [cnf: #variables 3216 #clauses 3659 #duplicates 0 #arr 33834]
0.00/0.04 c output proof to 'PROOFDIR/proof-4532506-1752596639'
0.00/0.04 c
0.00/0.04 c make graph and approximate orbits
0.00/0.04 c [group: #orbits ~= 38] (4.13ms)
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.06 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.07 c recursing 216 blocks of candidate 6x1072r
0.00/0.07 c found row 3x12, generating row predicate
0.00/0.07 c found row 10x12, generating row predicate
0.00/0.08 c found row 6x1072, generating row predicate
0.00/0.08 c (34.64ms)
0.00/0.08 c
0.00/0.08 c detect symmetries on remainder
0.00/0.08 c [graph: #vertices 19325 #edges 92568]
0.00/0.08 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.10 c [group: #symmetries 4.80*10^130 #generators 353] (19.84ms)
0.00/0.10 c
0.00/0.10 c optimize generators (opt_passes=64, conjugate_limit=256)
0.06/0.11 c opt it=15, l=10538, m=252, opt=10, avg=281, b=12, gens=353
0.06/0.13 c opt it=31, l=15703, m=530, opt=25, avg=274, b=12, gens=353
0.06/0.14 c opt it=47, l=20868, m=788, opt=38, avg=269, b=12, gens=353
0.06/0.16 c opt it=63, l=26030, m=1046, opt=50, avg=264, b=12, gens=353
0.06/0.16 c ran it=0, +gens=44
0.17/0.22 c con best_support=12, best_gens=192, +gens=244
0.17/0.22 c (125.80ms)
0.17/0.22 c
0.17/0.22 c finalize break order and special generators
0.17/0.22 c
0.17/0.22 c add generic predicates (break_depth=20)
0.17/0.23 c added predicates for 641 generators (1.77ms)
0.17/0.31 c
0.17/0.31 c generation finished
0.17/0.31 c [sbp: #constraints 20550 #add_vars 6772]
0.17/0.31 c
0.17/0.31 c write result to 'HOME/instance-4532506-1752596639.opb.pre'
0.27/0.31 c wrote 1.06MB (2.57ms)
0.27/0.31 c ------------------------------------------------------------------
0.27/0.31 c 125.80ms 40.86% optimize_gens
0.27/0.31 c 113.89ms 37.00% other
0.27/0.31 c 34.64ms 11.25% detect_special
0.27/0.31 c 19.84ms 6.44% detect_generic
0.27/0.31 c 4.13ms 1.34% approx_orbits
0.27/0.31 c 3.95ms 1.28% parse
0.27/0.31 c 2.57ms 0.83% output
0.27/0.31 c 1.77ms 0.58% break_generic
0.27/0.31 c 1.27ms 0.41% finalize_order
0.27/0.31 c ───────────────────────────────────────────────
0.27/0.31 c 307.86ms 100% total
0.27/0.31 c ------------------------------------------------------------------
0.28/0.87 c RoundingSat 2
0.28/0.87 c branch pb25
0.28/0.87 c commit 0f876b3
0.39/1.04 c #variables 9988 #constraints 24251
0.39/1.04 c objective is ce32
0.39/1.04 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.39/1.04 c initial counting CF 32, 64, 128, Arb: 385 , 0 , 0 , 0
0.39/1.04 c bounds - >= 0 @ 0.134935
1.39/2.01 c #Conflicts: 1000 | #Constraints: 25251
1.39/2.01 c #Conflicts: 2000 | #Constraints: 26255
1.39/2.01 c INPROCESSING
1.39/2.01 c GARBAGE COLLECT
1.39/2.01 c rational objective 6
2.98/3.62 c #Conflicts: 3000 | #Constraints: 23015
2.98/3.62 c #Conflicts: 4000 | #Constraints: 24018
2.98/3.62 c INPROCESSING
2.98/3.62 c GARBAGE COLLECT
2.98/3.62 c rational objective 6
4.78/5.46 c #Conflicts: 5000 | #Constraints: 23425
4.78/5.46 c #Conflicts: 6000 | #Constraints: 24428
4.78/5.46 c INPROCESSING
4.78/5.46 c GARBAGE COLLECT
4.78/5.46 c rational objective 6
6.38/7.03 c #Conflicts: 7000 | #Constraints: 23375
6.38/7.03 c #Conflicts: 8000 | #Constraints: 24378
6.38/7.03 c #Conflicts: 9000 | #Constraints: 25383
6.38/7.03 c INPROCESSING
6.38/7.03 c GARBAGE COLLECT
6.38/7.03 c rational objective 6
8.57/9.26 c #Conflicts: 10000 | #Constraints: 24085
8.57/9.26 c #Conflicts: 11000 | #Constraints: 25086
8.57/9.26 c #Conflicts: 12000 | #Constraints: 26093
8.57/9.26 c INPROCESSING
8.57/9.26 c GARBAGE COLLECT
8.57/9.26 c rational objective 6
11.55/12.23 c #Conflicts: 13000 | #Constraints: 24546
11.55/12.23 c #Conflicts: 14000 | #Constraints: 25547
11.55/12.23 c #Conflicts: 15000 | #Constraints: 26551
11.55/12.23 c INPROCESSING
11.55/12.23 c GARBAGE COLLECT
11.55/12.23 c rational objective 6
14.25/14.92 c #Conflicts: 16000 | #Constraints: 24757
14.25/14.92 c #Conflicts: 17000 | #Constraints: 25758
14.25/14.92 c #Conflicts: 18000 | #Constraints: 26763
14.25/14.92 c INPROCESSING
14.25/14.92 c GARBAGE COLLECT
14.25/14.92 c rational objective 6
17.04/17.72 c #Conflicts: 19000 | #Constraints: 24770
17.04/17.72 c #Conflicts: 20000 | #Constraints: 25774
17.04/17.72 c #Conflicts: 21000 | #Constraints: 26776
17.04/17.72 c INPROCESSING
17.04/17.72 c GARBAGE COLLECT
17.04/17.72 c rational objective 6
20.12/20.80 c #Conflicts: 22000 | #Constraints: 24556
20.12/20.80 c #Conflicts: 23000 | #Constraints: 25558
20.12/20.80 c #Conflicts: 24000 | #Constraints: 26562
20.12/20.80 c #Conflicts: 25000 | #Constraints: 27574
20.12/20.80 c INPROCESSING
20.12/20.80 c GARBAGE COLLECT
20.12/20.80 c rational objective 6
23.61/24.31 c #Conflicts: 26000 | #Constraints: 25169
23.61/24.31 c #Conflicts: 27000 | #Constraints: 26172
23.61/24.31 c #Conflicts: 28000 | #Constraints: 27174
23.61/24.31 c #Conflicts: 29000 | #Constraints: 28177
23.61/24.31 c INPROCESSING
23.61/24.31 c GARBAGE COLLECT
23.61/24.31 c rational objective 6
27.31/28.05 c #Conflicts: 30000 | #Constraints: 25563
27.31/28.05 c #Conflicts: 31000 | #Constraints: 26567
27.31/28.05 c #Conflicts: 32000 | #Constraints: 27571
27.31/28.05 c #Conflicts: 33000 | #Constraints: 28573
27.31/28.05 c INPROCESSING
27.31/28.05 c GARBAGE COLLECT
27.31/28.05 c rational objective 6
30.09/30.82 c #Conflicts: 34000 | #Constraints: 25669
30.09/30.82 c #Conflicts: 35000 | #Constraints: 26671
30.09/30.82 c #Conflicts: 36000 | #Constraints: 27673
30.09/30.82 c #Conflicts: 37000 | #Constraints: 28676
30.09/30.82 c INPROCESSING
30.09/30.82 c GARBAGE COLLECT
30.09/30.82 c rational objective 6
35.34/42.74 c #Conflicts: 38000 | #Constraints: 25644
35.34/42.74 c #Conflicts: 39000 | #Constraints: 26647
35.34/42.74 c #Conflicts: 40000 | #Constraints: 27650
35.34/42.74 c #Conflicts: 41000 | #Constraints: 28652
35.34/42.74 c INPROCESSING
35.34/42.74 c GARBAGE COLLECT
35.34/42.74 c rational objective 6
40.63/48.01 c #Conflicts: 42000 | #Constraints: 25397
40.63/48.01 c #Conflicts: 43000 | #Constraints: 26398
40.63/48.01 c #Conflicts: 44000 | #Constraints: 27399
40.63/48.01 c #Conflicts: 45000 | #Constraints: 28400
40.63/48.01 c #Conflicts: 46000 | #Constraints: 29401
40.63/48.01 c INPROCESSING
40.63/48.01 c GARBAGE COLLECT
40.63/48.01 c rational objective 6
45.41/52.84 c #Conflicts: 47000 | #Constraints: 25998
45.41/52.84 c #Conflicts: 48000 | #Constraints: 26999
45.41/52.84 c #Conflicts: 49000 | #Constraints: 28000
45.41/52.84 c #Conflicts: 50000 | #Constraints: 29001
45.41/52.84 c #Conflicts: 51000 | #Constraints: 30003
45.41/52.84 c INPROCESSING
45.41/52.84 c GARBAGE COLLECT
45.41/52.84 c rational objective 6
49.40/56.83 c #Conflicts: 52000 | #Constraints: 26341
49.40/56.83 c #Conflicts: 53000 | #Constraints: 27344
49.40/56.83 c #Conflicts: 54000 | #Constraints: 28347
49.40/56.83 c #Conflicts: 55000 | #Constraints: 29352
49.40/56.83 c #Conflicts: 56000 | #Constraints: 30357
49.40/56.83 c INPROCESSING
49.40/56.83 c GARBAGE COLLECT
49.40/56.83 c rational objective 6
53.88/61.35 c #Conflicts: 57000 | #Constraints: 26532
53.88/61.35 c #Conflicts: 58000 | #Constraints: 27533
53.88/61.35 c #Conflicts: 59000 | #Constraints: 28538
53.88/61.35 c #Conflicts: 60000 | #Constraints: 29541
53.88/61.35 c #Conflicts: 61000 | #Constraints: 30544
53.88/61.35 c INPROCESSING
53.88/61.35 c GARBAGE COLLECT
53.88/61.35 c rational objective 6
67.74/75.20 c #Conflicts: 62000 | #Constraints: 26532
67.74/75.20 c #Conflicts: 63000 | #Constraints: 27540
67.74/75.20 c #Conflicts: 64000 | #Constraints: 28541
67.74/75.20 c #Conflicts: 65000 | #Constraints: 29543
67.74/75.20 c #Conflicts: 66000 | #Constraints: 30544
67.74/75.20 c INPROCESSING
67.74/75.20 c GARBAGE COLLECT
67.74/75.20 c #Conflicts: 67000 | #Constraints: 26325
67.74/75.20 c #Conflicts: 68000 | #Constraints: 27325
67.74/75.20 c #Conflicts: 69000 | #Constraints: 28326
67.74/75.20 c #Conflicts: 70000 | #Constraints: 29327
67.74/75.20 c #Conflicts: 71000 | #Constraints: 30328
67.74/75.20 c #Conflicts: 72000 | #Constraints: 31329
67.74/75.20 c INPROCESSING
67.74/75.20 c GARBAGE COLLECT
67.74/75.20 c rational objective 6
72.02/79.51 c #Conflicts: 73000 | #Constraints: 26877
72.02/79.51 c #Conflicts: 74000 | #Constraints: 27878
72.02/79.51 c #Conflicts: 75000 | #Constraints: 28882
72.02/79.51 c #Conflicts: 76000 | #Constraints: 29890
72.02/79.51 c #Conflicts: 77000 | #Constraints: 30893
72.02/79.51 c #Conflicts: 78000 | #Constraints: 31895
72.02/79.51 c INPROCESSING
72.02/79.51 c GARBAGE COLLECT
72.02/79.51 c rational objective 6
76.52/84.08 c #Conflicts: 79000 | #Constraints: 27249
76.52/84.08 c #Conflicts: 80000 | #Constraints: 28251
76.52/84.08 c #Conflicts: 81000 | #Constraints: 29252
76.52/84.08 c #Conflicts: 82000 | #Constraints: 30252
76.52/84.08 c #Conflicts: 83000 | #Constraints: 31252
76.52/84.08 c #Conflicts: 84000 | #Constraints: 32252
76.52/84.08 c INPROCESSING
76.52/84.08 c GARBAGE COLLECT
76.52/84.08 c rational objective 6
81.39/89.00 c #Conflicts: 85000 | #Constraints: 27452
81.39/89.00 c #Conflicts: 86000 | #Constraints: 28453
81.39/89.00 c #Conflicts: 87000 | #Constraints: 29453
81.39/89.00 c #Conflicts: 88000 | #Constraints: 30454
81.39/89.00 c #Conflicts: 89000 | #Constraints: 31458
81.39/89.00 c #Conflicts: 90000 | #Constraints: 32462
81.39/89.00 c INPROCESSING
81.39/89.00 c GARBAGE COLLECT
81.39/89.00 c rational objective 6
88.86/96.46 c #Conflicts: 91000 | #Constraints: 27404
88.86/96.46 c #Conflicts: 92000 | #Constraints: 28407
88.86/96.46 c #Conflicts: 93000 | #Constraints: 29414
88.86/96.46 c #Conflicts: 94000 | #Constraints: 30416
88.86/96.46 c #Conflicts: 95000 | #Constraints: 31417
88.86/96.46 c #Conflicts: 96000 | #Constraints: 32419
88.86/96.46 c INPROCESSING
88.86/96.46 c GARBAGE COLLECT
88.86/96.46 c rational objective 6
95.35/102.99 c #Conflicts: 97000 | #Constraints: 27228
95.35/102.99 c #Conflicts: 98000 | #Constraints: 28229
95.35/102.99 c #Conflicts: 99000 | #Constraints: 29232
95.35/102.99 c #Conflicts: 100000 | #Constraints: 30235
95.35/102.99 c #Conflicts: 101000 | #Constraints: 31239
95.35/102.99 c #Conflicts: 102000 | #Constraints: 32243
95.35/102.99 c #Conflicts: 103000 | #Constraints: 33246
95.35/102.99 c INPROCESSING
95.35/102.99 c GARBAGE COLLECT
95.35/102.99 c rational objective 6
101.92/109.56 c #Conflicts: 104000 | #Constraints: 27812
101.92/109.56 c #Conflicts: 105000 | #Constraints: 28818
101.92/109.56 c #Conflicts: 106000 | #Constraints: 29825
101.92/109.56 c #Conflicts: 107000 | #Constraints: 30827
101.92/109.56 c #Conflicts: 108000 | #Constraints: 31829
101.92/109.56 c #Conflicts: 109000 | #Constraints: 32831
101.92/109.56 c #Conflicts: 110000 | #Constraints: 33833
101.92/109.56 c INPROCESSING
101.92/109.56 c GARBAGE COLLECT
101.92/109.56 c rational objective 6
108.30/115.90 c #Conflicts: 111000 | #Constraints: 28208
108.30/115.90 c #Conflicts: 112000 | #Constraints: 29209
108.30/115.90 c #Conflicts: 113000 | #Constraints: 30212
108.30/115.90 c #Conflicts: 114000 | #Constraints: 31215
108.30/115.90 c #Conflicts: 115000 | #Constraints: 32218
108.30/115.90 c #Conflicts: 116000 | #Constraints: 33220
108.30/115.90 c #Conflicts: 117000 | #Constraints: 34221
108.30/115.90 c INPROCESSING
108.30/115.90 c GARBAGE COLLECT
108.30/115.90 c rational objective 6
117.38/125.10 c #Conflicts: 118000 | #Constraints: 28398
117.38/125.10 c #Conflicts: 119000 | #Constraints: 29402
117.38/125.10 c #Conflicts: 120000 | #Constraints: 30407
117.38/125.10 c #Conflicts: 121000 | #Constraints: 31410
117.38/125.10 c #Conflicts: 122000 | #Constraints: 32413
117.38/125.10 c #Conflicts: 123000 | #Constraints: 33419
117.38/125.10 c #Conflicts: 124000 | #Constraints: 34422
117.38/125.10 c INPROCESSING
117.38/125.10 c GARBAGE COLLECT
117.38/125.10 c rational objective 6
126.94/134.62 c #Conflicts: 125000 | #Constraints: 28390
126.94/134.62 c #Conflicts: 126000 | #Constraints: 29392
126.94/134.62 c #Conflicts: 127000 | #Constraints: 30395
126.94/134.62 c #Conflicts: 128000 | #Constraints: 31401
126.94/134.62 c #Conflicts: 129000 | #Constraints: 32404
126.94/134.62 c #Conflicts: 130000 | #Constraints: 33410
126.94/134.62 c #Conflicts: 131000 | #Constraints: 34411
126.94/134.62 c INPROCESSING
126.94/134.62 c GARBAGE COLLECT
126.94/134.62 c rational objective 6
135.21/142.95 c #Conflicts: 132000 | #Constraints: 28180
135.21/142.95 c #Conflicts: 133000 | #Constraints: 29181
135.21/142.95 c #Conflicts: 134000 | #Constraints: 30184
135.21/142.95 c #Conflicts: 135000 | #Constraints: 31186
135.21/142.95 c #Conflicts: 136000 | #Constraints: 32188
135.21/142.95 c #Conflicts: 137000 | #Constraints: 33191
135.21/142.95 c #Conflicts: 138000 | #Constraints: 34193
135.21/142.95 c #Conflicts: 139000 | #Constraints: 35196
135.21/142.95 c INPROCESSING
135.21/142.95 c GARBAGE COLLECT
135.21/142.95 c rational objective 6
143.40/151.16 c #Conflicts: 140000 | #Constraints: 28754
143.40/151.16 c #Conflicts: 141000 | #Constraints: 29760
143.40/151.16 c #Conflicts: 142000 | #Constraints: 30763
143.40/151.16 c #Conflicts: 143000 | #Constraints: 31766
143.40/151.16 c #Conflicts: 144000 | #Constraints: 32768
143.40/151.16 c #Conflicts: 145000 | #Constraints: 33769
143.40/151.16 c #Conflicts: 146000 | #Constraints: 34771
143.40/151.16 c #Conflicts: 147000 | #Constraints: 35771
143.40/151.16 c INPROCESSING
143.40/151.16 c GARBAGE COLLECT
143.40/151.16 c rational objective 6
150.76/158.52 c #Conflicts: 148000 | #Constraints: 29175
150.76/158.52 c #Conflicts: 149000 | #Constraints: 30175
150.76/158.52 c #Conflicts: 150000 | #Constraints: 31177
150.76/158.52 c #Conflicts: 151000 | #Constraints: 32180
150.76/158.52 c #Conflicts: 152000 | #Constraints: 33186
150.76/158.52 c #Conflicts: 153000 | #Constraints: 34188
150.76/158.52 c #Conflicts: 154000 | #Constraints: 35190
150.76/158.52 c #Conflicts: 155000 | #Constraints: 36190
150.76/158.52 c INPROCESSING
150.76/158.52 c GARBAGE COLLECT
150.76/158.52 c rational objective 6
170.80/178.61 c #Conflicts: 156000 | #Constraints: 29359
170.80/178.61 c #Conflicts: 157000 | #Constraints: 30360
170.80/178.61 c #Conflicts: 158000 | #Constraints: 31361
170.80/178.61 c #Conflicts: 159000 | #Constraints: 32362
170.80/178.61 c #Conflicts: 160000 | #Constraints: 33362
170.80/178.61 c #Conflicts: 161000 | #Constraints: 34363
170.80/178.61 c #Conflicts: 162000 | #Constraints: 35363
170.80/178.61 c #Conflicts: 163000 | #Constraints: 36364
170.80/178.61 c INPROCESSING
170.80/178.61 c GARBAGE COLLECT
170.80/178.61 c #Conflicts: 164000 | #Constraints: 29343
170.80/178.61 c #Conflicts: 165000 | #Constraints: 30344
170.80/178.61 c #Conflicts: 166000 | #Constraints: 31344
170.80/178.61 c #Conflicts: 167000 | #Constraints: 32344
170.80/178.61 c #Conflicts: 168000 | #Constraints: 33345
170.80/178.61 c #Conflicts: 169000 | #Constraints: 34346
170.80/178.61 c #Conflicts: 170000 | #Constraints: 35346
170.80/178.61 c #Conflicts: 171000 | #Constraints: 36346
170.80/178.61 c INPROCESSING
170.80/178.61 c GARBAGE COLLECT
170.80/178.61 c rational objective 6
181.84/194.63 c #Conflicts: 172000 | #Constraints: 29130
181.84/194.63 c #Conflicts: 173000 | #Constraints: 30131
181.84/194.63 c #Conflicts: 174000 | #Constraints: 31131
181.84/194.63 c #Conflicts: 175000 | #Constraints: 32132
181.84/194.63 c #Conflicts: 176000 | #Constraints: 33133
181.84/194.63 c #Conflicts: 177000 | #Constraints: 34134
181.84/194.63 c #Conflicts: 178000 | #Constraints: 35134
181.84/194.63 c #Conflicts: 179000 | #Constraints: 36134
181.84/194.63 c #Conflicts: 180000 | #Constraints: 37135
181.84/194.63 c INPROCESSING
181.84/194.63 c GARBAGE COLLECT
181.84/194.63 c rational objective 6
191.51/204.33 c #Conflicts: 181000 | #Constraints: 29737
191.51/204.33 c #Conflicts: 182000 | #Constraints: 30738
191.51/204.33 c #Conflicts: 183000 | #Constraints: 31743
191.51/204.33 c #Conflicts: 184000 | #Constraints: 32747
191.51/204.33 c #Conflicts: 185000 | #Constraints: 33751
191.51/204.33 c #Conflicts: 186000 | #Constraints: 34755
191.51/204.33 c #Conflicts: 187000 | #Constraints: 35758
191.51/204.33 c #Conflicts: 188000 | #Constraints: 36759
191.51/204.33 c #Conflicts: 189000 | #Constraints: 37760
191.51/204.33 c INPROCESSING
191.51/204.33 c GARBAGE COLLECT
191.51/204.33 c rational objective 6
204.87/227.37 c #Conflicts: 190000 | #Constraints: 30156
204.87/227.37 c #Conflicts: 191000 | #Constraints: 31167
204.87/227.37 c #Conflicts: 192000 | #Constraints: 32171
204.87/227.37 c #Conflicts: 193000 | #Constraints: 33177
204.87/227.37 c #Conflicts: 194000 | #Constraints: 34179
204.87/227.37 c #Conflicts: 195000 | #Constraints: 35180
204.87/227.37 c #Conflicts: 196000 | #Constraints: 36182
204.87/227.37 c #Conflicts: 197000 | #Constraints: 37183
204.87/227.37 c #Conflicts: 198000 | #Constraints: 38184
204.87/227.37 c INPROCESSING
204.87/227.37 c GARBAGE COLLECT
204.87/227.37 c rational objective 6
217.64/240.19 c #Conflicts: 199000 | #Constraints: 30363
217.64/240.19 c #Conflicts: 200000 | #Constraints: 31364
217.64/240.19 c #Conflicts: 201000 | #Constraints: 32366
217.64/240.19 c #Conflicts: 202000 | #Constraints: 33366
217.64/240.19 c #Conflicts: 203000 | #Constraints: 34368
217.64/240.19 c #Conflicts: 204000 | #Constraints: 35369
217.64/240.19 c #Conflicts: 205000 | #Constraints: 36372
217.64/240.19 c #Conflicts: 206000 | #Constraints: 37377
217.64/240.19 c #Conflicts: 207000 | #Constraints: 38382
217.64/240.19 c INPROCESSING
217.64/240.19 c GARBAGE COLLECT
217.64/240.19 c rational objective 6
232.45/258.15 c #Conflicts: 208000 | #Constraints: 30365
232.45/258.15 c #Conflicts: 209000 | #Constraints: 31367
232.45/258.15 c #Conflicts: 210000 | #Constraints: 32371
232.45/258.15 c #Conflicts: 211000 | #Constraints: 33374
232.45/258.15 c #Conflicts: 212000 | #Constraints: 34376
232.45/258.15 c #Conflicts: 213000 | #Constraints: 35378
232.45/258.15 c #Conflicts: 214000 | #Constraints: 36380
232.45/258.15 c #Conflicts: 215000 | #Constraints: 37383
232.45/258.15 c #Conflicts: 216000 | #Constraints: 38387
232.45/258.15 c INPROCESSING
232.45/258.15 c GARBAGE COLLECT
232.45/258.15 c rational objective 6
244.32/270.02 c #Conflicts: 217000 | #Constraints: 30130
244.32/270.02 c #Conflicts: 218000 | #Constraints: 31132
244.32/270.02 c #Conflicts: 219000 | #Constraints: 32139
244.32/270.02 c #Conflicts: 220000 | #Constraints: 33140
244.32/270.02 c #Conflicts: 221000 | #Constraints: 34142
244.32/270.02 c #Conflicts: 222000 | #Constraints: 35146
244.32/270.02 c #Conflicts: 223000 | #Constraints: 36150
244.32/270.02 c #Conflicts: 224000 | #Constraints: 37153
244.32/270.02 c #Conflicts: 225000 | #Constraints: 38156
244.32/270.02 c #Conflicts: 226000 | #Constraints: 39163
244.32/270.02 c INPROCESSING
244.32/270.02 c GARBAGE COLLECT
244.32/270.02 c rational objective 6
256.07/281.83 c #Conflicts: 227000 | #Constraints: 30691
256.07/281.83 c #Conflicts: 228000 | #Constraints: 31694
256.07/281.83 c #Conflicts: 229000 | #Constraints: 32698
256.07/281.83 c #Conflicts: 230000 | #Constraints: 33701
256.07/281.83 c #Conflicts: 231000 | #Constraints: 34703
256.07/281.83 c #Conflicts: 232000 | #Constraints: 35705
256.07/281.83 c #Conflicts: 233000 | #Constraints: 36705
256.07/281.83 c #Conflicts: 234000 | #Constraints: 37706
256.07/281.83 c #Conflicts: 235000 | #Constraints: 38707
256.07/281.83 c #Conflicts: 236000 | #Constraints: 39707
256.07/281.83 c INPROCESSING
256.07/281.83 c GARBAGE COLLECT
256.07/281.83 c rational objective 6
266.68/294.67 c #Conflicts: 237000 | #Constraints: 31066
266.68/294.67 c #Conflicts: 238000 | #Constraints: 32070
266.68/294.67 c #Conflicts: 239000 | #Constraints: 33074
266.68/294.67 c #Conflicts: 240000 | #Constraints: 34076
266.68/294.67 c #Conflicts: 241000 | #Constraints: 35080
266.68/294.67 c #Conflicts: 242000 | #Constraints: 36084
266.68/294.67 c #Conflicts: 243000 | #Constraints: 37085
266.68/294.67 c #Conflicts: 244000 | #Constraints: 38087
266.68/294.67 c #Conflicts: 245000 | #Constraints: 39090
266.68/294.67 c #Conflicts: 246000 | #Constraints: 40093
266.68/294.67 c INPROCESSING
266.68/294.67 c GARBAGE COLLECT
266.68/294.67 c rational objective 6
281.43/309.49 c #Conflicts: 247000 | #Constraints: 31270
281.43/309.49 c #Conflicts: 248000 | #Constraints: 32281
281.43/309.49 c #Conflicts: 249000 | #Constraints: 33285
281.43/309.49 c #Conflicts: 250000 | #Constraints: 34288
281.43/309.49 c #Conflicts: 251000 | #Constraints: 35292
281.43/309.49 c #Conflicts: 252000 | #Constraints: 36298
281.43/309.49 c #Conflicts: 253000 | #Constraints: 37303
281.43/309.49 c #Conflicts: 254000 | #Constraints: 38307
281.43/309.49 c #Conflicts: 255000 | #Constraints: 39311
281.43/309.49 c #Conflicts: 256000 | #Constraints: 40313
281.43/309.49 c INPROCESSING
281.43/309.49 c GARBAGE COLLECT
281.43/309.49 c rational objective 6
295.89/327.13 c #Conflicts: 257000 | #Constraints: 31277
295.89/327.13 c #Conflicts: 258000 | #Constraints: 32278
295.89/327.13 c #Conflicts: 259000 | #Constraints: 33285
295.89/327.13 c #Conflicts: 260000 | #Constraints: 34287
295.89/327.13 c #Conflicts: 261000 | #Constraints: 35292
295.89/327.13 c #Conflicts: 262000 | #Constraints: 36294
295.89/327.13 c #Conflicts: 263000 | #Constraints: 37298
295.89/327.13 c #Conflicts: 264000 | #Constraints: 38301
295.89/327.13 c #Conflicts: 265000 | #Constraints: 39304
295.89/327.13 c #Conflicts: 266000 | #Constraints: 40306
295.89/327.13 c INPROCESSING
295.89/327.13 c GARBAGE COLLECT
295.89/327.13 c rational objective 6
313.92/345.36 c #Conflicts: 267000 | #Constraints: 31062
313.92/345.36 c #Conflicts: 268000 | #Constraints: 32063
313.92/345.36 c #Conflicts: 269000 | #Constraints: 33074
313.92/345.36 c #Conflicts: 270000 | #Constraints: 34077
313.92/345.36 c #Conflicts: 271000 | #Constraints: 35080
313.92/345.36 c #Conflicts: 272000 | #Constraints: 36082
313.92/345.36 c #Conflicts: 273000 | #Constraints: 37083
313.92/345.36 c #Conflicts: 274000 | #Constraints: 38083
313.92/345.36 c #Conflicts: 275000 | #Constraints: 39084
313.92/345.36 c #Conflicts: 276000 | #Constraints: 40084
313.92/345.36 c #Conflicts: 277000 | #Constraints: 41085
313.92/345.36 c INPROCESSING
313.92/345.36 c GARBAGE COLLECT
313.92/345.36 c rational objective 6
327.08/358.58 c #Conflicts: 278000 | #Constraints: 31640
327.08/358.58 c #Conflicts: 279000 | #Constraints: 32644
327.08/358.58 c #Conflicts: 280000 | #Constraints: 33647
327.08/358.58 c #Conflicts: 281000 | #Constraints: 34650
327.08/358.58 c #Conflicts: 282000 | #Constraints: 35651
327.08/358.58 c #Conflicts: 283000 | #Constraints: 36653
327.08/358.58 c #Conflicts: 284000 | #Constraints: 37657
327.08/358.58 c #Conflicts: 285000 | #Constraints: 38659
327.08/358.58 c #Conflicts: 286000 | #Constraints: 39661
327.08/358.58 c #Conflicts: 287000 | #Constraints: 40665
327.08/358.58 c #Conflicts: 288000 | #Constraints: 41667
327.08/358.58 c INPROCESSING
327.08/358.58 c GARBAGE COLLECT
327.08/358.58 c rational objective 6
344.23/375.95 c #Conflicts: 289000 | #Constraints: 32032
344.23/375.95 c #Conflicts: 290000 | #Constraints: 33037
344.23/375.95 c #Conflicts: 291000 | #Constraints: 34045
344.23/375.95 c #Conflicts: 292000 | #Constraints: 35056
344.23/375.95 c #Conflicts: 293000 | #Constraints: 36061
344.23/375.95 c #Conflicts: 294000 | #Constraints: 37064
344.23/375.95 c #Conflicts: 295000 | #Constraints: 38066
344.23/375.95 c #Conflicts: 296000 | #Constraints: 39069
344.23/375.95 c #Conflicts: 297000 | #Constraints: 40072
344.23/375.95 c #Conflicts: 298000 | #Constraints: 41074
344.23/375.95 c #Conflicts: 299000 | #Constraints: 42077
344.23/375.95 c INPROCESSING
344.23/375.95 c GARBAGE COLLECT
344.23/375.95 c rational objective 6
358.50/390.20 c #Conflicts: 300000 | #Constraints: 32210
358.50/390.20 c #Conflicts: 301000 | #Constraints: 33211
358.50/390.20 c #Conflicts: 302000 | #Constraints: 34217
358.50/390.20 c #Conflicts: 303000 | #Constraints: 35220
358.50/390.20 c #Conflicts: 304000 | #Constraints: 36222
358.50/390.20 c #Conflicts: 305000 | #Constraints: 37226
358.50/390.20 c #Conflicts: 306000 | #Constraints: 38226
358.50/390.20 c #Conflicts: 307000 | #Constraints: 39228
358.50/390.20 c #Conflicts: 308000 | #Constraints: 40229
358.50/390.20 c #Conflicts: 309000 | #Constraints: 41231
358.50/390.20 c #Conflicts: 310000 | #Constraints: 42233
358.50/390.20 c INPROCESSING
358.50/390.20 c GARBAGE COLLECT
358.50/390.20 c rational objective 6
371.37/403.12 c #Conflicts: 311000 | #Constraints: 32191
371.37/403.12 c #Conflicts: 312000 | #Constraints: 33199
371.37/403.12 c #Conflicts: 313000 | #Constraints: 34205
371.37/403.12 c #Conflicts: 314000 | #Constraints: 35210
371.37/403.12 c #Conflicts: 315000 | #Constraints: 36214
371.37/403.12 c #Conflicts: 316000 | #Constraints: 37218
371.37/403.12 c #Conflicts: 317000 | #Constraints: 38221
371.37/403.12 c #Conflicts: 318000 | #Constraints: 39223
371.37/403.12 c #Conflicts: 319000 | #Constraints: 40224
371.37/403.12 c #Conflicts: 320000 | #Constraints: 41225
371.37/403.12 c #Conflicts: 321000 | #Constraints: 42226
371.37/403.12 c INPROCESSING
371.37/403.12 c GARBAGE COLLECT
371.37/403.12 c rational objective 6
390.30/422.33 c #Conflicts: 322000 | #Constraints: 31986
390.30/422.33 c #Conflicts: 323000 | #Constraints: 32987
390.30/422.33 c #Conflicts: 324000 | #Constraints: 33989
390.30/422.33 c #Conflicts: 325000 | #Constraints: 34991
390.30/422.33 c #Conflicts: 326000 | #Constraints: 35994
390.30/422.33 c #Conflicts: 327000 | #Constraints: 36996
390.30/422.33 c #Conflicts: 328000 | #Constraints: 37997
390.30/422.33 c #Conflicts: 329000 | #Constraints: 38998
390.30/422.33 c #Conflicts: 330000 | #Constraints: 39999
390.30/422.33 c #Conflicts: 331000 | #Constraints: 40999
390.30/422.33 c #Conflicts: 332000 | #Constraints: 42000
390.30/422.33 c #Conflicts: 333000 | #Constraints: 43001
390.30/422.33 c INPROCESSING
390.30/422.33 c GARBAGE COLLECT
390.30/422.33 c rational objective 6
406.62/438.86 c #Conflicts: 334000 | #Constraints: 32568
406.62/438.86 c #Conflicts: 335000 | #Constraints: 33570
406.62/438.86 c #Conflicts: 336000 | #Constraints: 34573
406.62/438.86 c #Conflicts: 337000 | #Constraints: 35576
406.62/438.86 c #Conflicts: 338000 | #Constraints: 36580
406.62/438.86 c #Conflicts: 339000 | #Constraints: 37585
406.62/438.86 c #Conflicts: 340000 | #Constraints: 38588
406.62/438.86 c #Conflicts: 341000 | #Constraints: 39591
406.62/438.86 c #Conflicts: 342000 | #Constraints: 40596
406.62/438.86 c #Conflicts: 343000 | #Constraints: 41599
406.62/438.86 c #Conflicts: 344000 | #Constraints: 42602
406.62/438.86 c #Conflicts: 345000 | #Constraints: 43606
406.62/438.86 c INPROCESSING
406.62/438.86 c GARBAGE COLLECT
406.62/438.86 c rational objective 6
422.67/454.94 c #Conflicts: 346000 | #Constraints: 32958
422.67/454.94 c #Conflicts: 347000 | #Constraints: 33964
422.67/454.94 c #Conflicts: 348000 | #Constraints: 34969
422.67/454.94 c #Conflicts: 349000 | #Constraints: 35969
422.67/454.94 c #Conflicts: 350000 | #Constraints: 36974
422.67/454.94 c #Conflicts: 351000 | #Constraints: 37978
422.67/454.94 c #Conflicts: 352000 | #Constraints: 38978
422.67/454.94 c #Conflicts: 353000 | #Constraints: 39981
422.67/454.94 c #Conflicts: 354000 | #Constraints: 40982
422.67/454.94 c #Conflicts: 355000 | #Constraints: 41984
422.67/454.94 c #Conflicts: 356000 | #Constraints: 42985
422.67/454.94 c #Conflicts: 357000 | #Constraints: 43986
422.67/454.94 c INPROCESSING
422.67/454.94 c GARBAGE COLLECT
422.67/454.94 c rational objective 6
436.00/468.59 c #Conflicts: 358000 | #Constraints: 33159
436.00/468.59 c #Conflicts: 359000 | #Constraints: 34160
436.00/468.59 c #Conflicts: 360000 | #Constraints: 35163
436.00/468.59 c #Conflicts: 361000 | #Constraints: 36166
436.00/468.59 c #Conflicts: 362000 | #Constraints: 37172
436.00/468.59 c #Conflicts: 363000 | #Constraints: 38177
436.00/468.59 c #Conflicts: 364000 | #Constraints: 39180
436.00/468.59 c #Conflicts: 365000 | #Constraints: 40182
436.00/468.59 c #Conflicts: 366000 | #Constraints: 41184
436.00/468.59 c #Conflicts: 367000 | #Constraints: 42185
436.00/468.59 c #Conflicts: 368000 | #Constraints: 43185
436.00/468.59 c #Conflicts: 369000 | #Constraints: 44188
436.00/468.59 c INPROCESSING
436.00/468.59 c GARBAGE COLLECT
436.00/468.59 c rational objective 6
453.46/486.04 c #Conflicts: 370000 | #Constraints: 33145
453.46/486.04 c #Conflicts: 371000 | #Constraints: 34146
453.46/486.04 c #Conflicts: 372000 | #Constraints: 35146
453.46/486.04 c #Conflicts: 373000 | #Constraints: 36147
453.46/486.04 c #Conflicts: 374000 | #Constraints: 37148
453.46/486.04 c #Conflicts: 375000 | #Constraints: 38149
453.46/486.04 c #Conflicts: 376000 | #Constraints: 39150
453.46/486.04 c #Conflicts: 377000 | #Constraints: 40151
453.46/486.04 c #Conflicts: 378000 | #Constraints: 41152
453.46/486.04 c #Conflicts: 379000 | #Constraints: 42153
453.46/486.04 c #Conflicts: 380000 | #Constraints: 43155
453.46/486.04 c #Conflicts: 381000 | #Constraints: 44155
453.46/486.04 c INPROCESSING
453.46/486.04 c GARBAGE COLLECT
453.46/486.04 c rational objective 6
468.91/501.73 c #Conflicts: 382000 | #Constraints: 32935
468.91/501.73 c #Conflicts: 383000 | #Constraints: 33936
468.91/501.73 c #Conflicts: 384000 | #Constraints: 34941
468.91/501.73 c #Conflicts: 385000 | #Constraints: 35949
468.91/501.73 c #Conflicts: 386000 | #Constraints: 36955
468.91/501.73 c #Conflicts: 387000 | #Constraints: 37957
468.91/501.73 c #Conflicts: 388000 | #Constraints: 38959
468.91/501.73 c #Conflicts: 389000 | #Constraints: 39960
468.91/501.73 c #Conflicts: 390000 | #Constraints: 40961
468.91/501.73 c #Conflicts: 391000 | #Constraints: 41961
468.91/501.73 c #Conflicts: 392000 | #Constraints: 42962
468.91/501.73 c #Conflicts: 393000 | #Constraints: 43962
468.91/501.73 c #Conflicts: 394000 | #Constraints: 44964
468.91/501.73 c INPROCESSING
468.91/501.73 c GARBAGE COLLECT
468.91/501.73 c rational objective 6
484.97/517.80 c #Conflicts: 395000 | #Constraints: 33533
484.97/517.80 c #Conflicts: 396000 | #Constraints: 34539
484.97/517.80 c #Conflicts: 397000 | #Constraints: 35543
484.97/517.80 c #Conflicts: 398000 | #Constraints: 36546
484.97/517.80 c #Conflicts: 399000 | #Constraints: 37547
484.97/517.80 c #Conflicts: 400000 | #Constraints: 38550
484.97/517.80 c #Conflicts: 401000 | #Constraints: 39551
484.97/517.80 c #Conflicts: 402000 | #Constraints: 40553
484.97/517.80 c #Conflicts: 403000 | #Constraints: 41554
484.97/517.80 c #Conflicts: 404000 | #Constraints: 42557
484.97/517.80 c #Conflicts: 405000 | #Constraints: 43558
484.97/517.80 c #Conflicts: 406000 | #Constraints: 44559
484.97/517.80 c #Conflicts: 407000 | #Constraints: 45560
484.97/517.80 c INPROCESSING
484.97/517.80 c GARBAGE COLLECT
484.97/517.80 c rational objective 6
502.35/536.07 c #Conflicts: 408000 | #Constraints: 33929
502.35/536.07 c #Conflicts: 409000 | #Constraints: 34932
502.35/536.07 c #Conflicts: 410000 | #Constraints: 35937
502.35/536.07 c #Conflicts: 411000 | #Constraints: 36941
502.35/536.07 c #Conflicts: 412000 | #Constraints: 37947
502.35/536.07 c #Conflicts: 413000 | #Constraints: 38952
502.35/536.07 c #Conflicts: 414000 | #Constraints: 39958
502.35/536.07 c #Conflicts: 415000 | #Constraints: 40962
502.35/536.07 c #Conflicts: 416000 | #Constraints: 41964
502.35/536.07 c #Conflicts: 417000 | #Constraints: 42964
502.35/536.07 c #Conflicts: 418000 | #Constraints: 43965
502.35/536.07 c #Conflicts: 419000 | #Constraints: 44967
502.35/536.07 c #Conflicts: 420000 | #Constraints: 45968
502.35/536.07 c INPROCESSING
502.35/536.07 c GARBAGE COLLECT
502.35/536.07 c rational objective 6
520.80/554.50 c #Conflicts: 421000 | #Constraints: 34147
520.80/554.50 c #Conflicts: 422000 | #Constraints: 35148
520.80/554.50 c #Conflicts: 423000 | #Constraints: 36153
520.80/554.50 c #Conflicts: 424000 | #Constraints: 37156
520.80/554.50 c #Conflicts: 425000 | #Constraints: 38158
520.80/554.50 c #Conflicts: 426000 | #Constraints: 39160
520.80/554.50 c #Conflicts: 427000 | #Constraints: 40161
520.80/554.50 c #Conflicts: 428000 | #Constraints: 41163
520.80/554.50 c #Conflicts: 429000 | #Constraints: 42164
520.80/554.50 c #Conflicts: 430000 | #Constraints: 43166
520.80/554.50 c #Conflicts: 431000 | #Constraints: 44167
520.80/554.50 c #Conflicts: 432000 | #Constraints: 45167
520.80/554.50 c #Conflicts: 433000 | #Constraints: 46167
520.80/554.50 c INPROCESSING
520.80/554.50 c GARBAGE COLLECT
520.80/554.50 c rational objective 6
536.33/570.28 c #Conflicts: 434000 | #Constraints: 34157
536.33/570.28 c #Conflicts: 435000 | #Constraints: 35158
536.33/570.28 c #Conflicts: 436000 | #Constraints: 36158
536.33/570.28 c #Conflicts: 437000 | #Constraints: 37162
536.33/570.28 c #Conflicts: 438000 | #Constraints: 38167
536.33/570.28 c #Conflicts: 439000 | #Constraints: 39172
536.33/570.28 c #Conflicts: 440000 | #Constraints: 40176
536.33/570.28 c #Conflicts: 441000 | #Constraints: 41179
536.33/570.28 c #Conflicts: 442000 | #Constraints: 42181
536.33/570.28 c #Conflicts: 443000 | #Constraints: 43182
536.33/570.28 c #Conflicts: 444000 | #Constraints: 44183
536.33/570.28 c #Conflicts: 445000 | #Constraints: 45184
536.33/570.28 c #Conflicts: 446000 | #Constraints: 46185
536.33/570.28 c INPROCESSING
536.33/570.28 c GARBAGE COLLECT
536.33/570.28 c rational objective 6
552.88/586.88 c #Conflicts: 447000 | #Constraints: 33957
552.88/586.88 c #Conflicts: 448000 | #Constraints: 34957
552.88/586.88 c #Conflicts: 449000 | #Constraints: 35959
552.88/586.88 c #Conflicts: 450000 | #Constraints: 36962
552.88/586.88 c #Conflicts: 451000 | #Constraints: 37966
552.88/586.88 c #Conflicts: 452000 | #Constraints: 38969
552.88/586.88 c #Conflicts: 453000 | #Constraints: 39971
552.88/586.88 c #Conflicts: 454000 | #Constraints: 40972
552.88/586.88 c #Conflicts: 455000 | #Constraints: 41974
552.88/586.88 c #Conflicts: 456000 | #Constraints: 42974
552.88/586.88 c #Conflicts: 457000 | #Constraints: 43975
552.88/586.88 c #Conflicts: 458000 | #Constraints: 44975
552.88/586.88 c #Conflicts: 459000 | #Constraints: 45975
552.88/586.88 c #Conflicts: 460000 | #Constraints: 46976
552.88/586.88 c INPROCESSING
552.88/586.88 c GARBAGE COLLECT
552.88/586.88 c rational objective 6
570.08/604.28 c #Conflicts: 461000 | #Constraints: 34547
570.08/604.28 c #Conflicts: 462000 | #Constraints: 35548
570.08/604.28 c #Conflicts: 463000 | #Constraints: 36549
570.08/604.28 c #Conflicts: 464000 | #Constraints: 37554
570.08/604.28 c #Conflicts: 465000 | #Constraints: 38558
570.08/604.28 c #Conflicts: 466000 | #Constraints: 39565
570.08/604.28 c #Conflicts: 467000 | #Constraints: 40574
570.08/604.28 c #Conflicts: 468000 | #Constraints: 41583
570.08/604.28 c #Conflicts: 469000 | #Constraints: 42592
570.08/604.28 c #Conflicts: 470000 | #Constraints: 43604
570.08/604.28 c #Conflicts: 471000 | #Constraints: 44606
570.08/604.28 c #Conflicts: 472000 | #Constraints: 45608
570.08/604.28 c #Conflicts: 473000 | #Constraints: 46611
570.08/604.28 c #Conflicts: 474000 | #Constraints: 47613
570.08/604.28 c INPROCESSING
570.08/604.28 c GARBAGE COLLECT
570.08/604.28 c rational objective 6
588.14/622.53 c #Conflicts: 475000 | #Constraints: 34958
588.14/622.53 c #Conflicts: 476000 | #Constraints: 35962
588.14/622.53 c #Conflicts: 477000 | #Constraints: 36965
588.14/622.53 c #Conflicts: 478000 | #Constraints: 37966
588.14/622.53 c #Conflicts: 479000 | #Constraints: 38966
588.14/622.53 c #Conflicts: 480000 | #Constraints: 39967
588.14/622.53 c #Conflicts: 481000 | #Constraints: 40968
588.14/622.53 c #Conflicts: 482000 | #Constraints: 41968
588.14/622.53 c #Conflicts: 483000 | #Constraints: 42969
588.14/622.53 c #Conflicts: 484000 | #Constraints: 43969
588.14/622.53 c #Conflicts: 485000 | #Constraints: 44970
588.14/622.53 c #Conflicts: 486000 | #Constraints: 45971
588.14/622.53 c #Conflicts: 487000 | #Constraints: 46971
588.14/622.53 c #Conflicts: 488000 | #Constraints: 47972
588.14/622.53 c INPROCESSING
588.14/622.53 c GARBAGE COLLECT
588.14/622.53 c rational objective 6
611.37/645.87 c #Conflicts: 489000 | #Constraints: 35154
611.37/645.87 c #Conflicts: 490000 | #Constraints: 36155
611.37/645.87 c #Conflicts: 491000 | #Constraints: 37156
611.37/645.87 c #Conflicts: 492000 | #Constraints: 38159
611.37/645.87 c #Conflicts: 493000 | #Constraints: 39164
611.37/645.87 c #Conflicts: 494000 | #Constraints: 40165
611.37/645.87 c #Conflicts: 495000 | #Constraints: 41169
611.37/645.87 c #Conflicts: 496000 | #Constraints: 42170
611.37/645.87 c #Conflicts: 497000 | #Constraints: 43171
611.37/645.87 c #Conflicts: 498000 | #Constraints: 44172
611.37/645.87 c #Conflicts: 499000 | #Constraints: 45173
611.37/645.87 c #Conflicts: 500000 | #Constraints: 46174
611.37/645.87 c #Conflicts: 501000 | #Constraints: 47175
611.37/645.87 c #Conflicts: 502000 | #Constraints: 48175
611.37/645.87 c INPROCESSING
611.37/645.87 c GARBAGE COLLECT
611.37/645.87 c rational objective 6
632.87/667.56 c #Conflicts: 503000 | #Constraints: 35138
632.87/667.56 c #Conflicts: 504000 | #Constraints: 36139
632.87/667.56 c #Conflicts: 505000 | #Constraints: 37143
632.87/667.56 c #Conflicts: 506000 | #Constraints: 38145
632.87/667.56 c #Conflicts: 507000 | #Constraints: 39147
632.87/667.56 c #Conflicts: 508000 | #Constraints: 40149
632.87/667.56 c #Conflicts: 509000 | #Constraints: 41152
632.87/667.56 c #Conflicts: 510000 | #Constraints: 42153
632.87/667.56 c #Conflicts: 511000 | #Constraints: 43153
632.87/667.56 c #Conflicts: 512000 | #Constraints: 44154
632.87/667.56 c #Conflicts: 513000 | #Constraints: 45155
632.87/667.56 c #Conflicts: 514000 | #Constraints: 46155
632.87/667.56 c #Conflicts: 515000 | #Constraints: 47156
632.87/667.56 c #Conflicts: 516000 | #Constraints: 48156
632.87/667.56 c INPROCESSING
632.87/667.56 c GARBAGE COLLECT
632.87/667.56 c rational objective 6
652.11/686.89 c #Conflicts: 517000 | #Constraints: 34869
652.11/686.89 c #Conflicts: 518000 | #Constraints: 35871
652.11/686.89 c #Conflicts: 519000 | #Constraints: 36873
652.11/686.89 c #Conflicts: 520000 | #Constraints: 37879
652.11/686.89 c #Conflicts: 521000 | #Constraints: 38884
652.11/686.89 c #Conflicts: 522000 | #Constraints: 39886
652.11/686.89 c #Conflicts: 523000 | #Constraints: 40888
652.11/686.89 c #Conflicts: 524000 | #Constraints: 41889
652.11/686.89 c #Conflicts: 525000 | #Constraints: 42891
652.11/686.89 c #Conflicts: 526000 | #Constraints: 43891
652.11/686.89 c #Conflicts: 527000 | #Constraints: 44891
652.11/686.89 c #Conflicts: 528000 | #Constraints: 45892
652.11/686.89 c #Conflicts: 529000 | #Constraints: 46893
652.11/686.89 c #Conflicts: 530000 | #Constraints: 47894
652.11/686.89 c #Conflicts: 531000 | #Constraints: 48894
652.11/686.89 c INPROCESSING
652.11/686.89 c GARBAGE COLLECT
652.11/686.89 c rational objective 6
672.85/707.66 c #Conflicts: 532000 | #Constraints: 35436
672.85/707.66 c #Conflicts: 533000 | #Constraints: 36437
672.85/707.66 c #Conflicts: 534000 | #Constraints: 37438
672.85/707.66 c #Conflicts: 535000 | #Constraints: 38439
672.85/707.66 c #Conflicts: 536000 | #Constraints: 39443
672.85/707.66 c #Conflicts: 537000 | #Constraints: 40447
672.85/707.66 c #Conflicts: 538000 | #Constraints: 41448
672.85/707.66 c #Conflicts: 539000 | #Constraints: 42450
672.85/707.66 c #Conflicts: 540000 | #Constraints: 43452
672.85/707.66 c #Conflicts: 541000 | #Constraints: 44454
672.85/707.66 c #Conflicts: 542000 | #Constraints: 45454
672.85/707.66 c #Conflicts: 543000 | #Constraints: 46455
672.85/707.66 c #Conflicts: 544000 | #Constraints: 47456
672.85/707.66 c #Conflicts: 545000 | #Constraints: 48457
672.85/707.66 c #Conflicts: 546000 | #Constraints: 49457
672.85/707.66 c INPROCESSING
672.85/707.66 c GARBAGE COLLECT
672.85/707.66 c rational objective 6
700.92/736.02 c #Conflicts: 547000 | #Constraints: 35832
700.92/736.02 c #Conflicts: 548000 | #Constraints: 36832
700.92/736.02 c #Conflicts: 549000 | #Constraints: 37832
700.92/736.02 c #Conflicts: 550000 | #Constraints: 38832
700.92/736.02 c #Conflicts: 551000 | #Constraints: 39832
700.92/736.02 c #Conflicts: 552000 | #Constraints: 40832
700.92/736.02 c #Conflicts: 553000 | #Constraints: 41832
700.92/736.02 c #Conflicts: 554000 | #Constraints: 42832
700.92/736.02 c #Conflicts: 555000 | #Constraints: 43833
700.92/736.02 c #Conflicts: 556000 | #Constraints: 44833
700.92/736.02 c #Conflicts: 557000 | #Constraints: 45833
700.92/736.02 c #Conflicts: 558000 | #Constraints: 46834
700.92/736.02 c #Conflicts: 559000 | #Constraints: 47834
700.92/736.02 c #Conflicts: 560000 | #Constraints: 48834
700.92/736.02 c #Conflicts: 561000 | #Constraints: 49834
700.92/736.02 c INPROCESSING
700.92/736.02 c GARBAGE COLLECT
700.92/736.02 c rational objective 6
722.35/757.65 c #Conflicts: 562000 | #Constraints: 36016
722.35/757.65 c #Conflicts: 563000 | #Constraints: 37018
722.35/757.65 c #Conflicts: 564000 | #Constraints: 38025
722.35/757.65 c #Conflicts: 565000 | #Constraints: 39031
722.35/757.65 c #Conflicts: 566000 | #Constraints: 40036
722.35/757.65 c #Conflicts: 567000 | #Constraints: 41040
722.35/757.65 c #Conflicts: 568000 | #Constraints: 42041
722.35/757.65 c #Conflicts: 569000 | #Constraints: 43043
722.35/757.65 c #Conflicts: 570000 | #Constraints: 44044
722.35/757.65 c #Conflicts: 571000 | #Constraints: 45044
722.35/757.65 c #Conflicts: 572000 | #Constraints: 46045
722.35/757.65 c #Conflicts: 573000 | #Constraints: 47047
722.35/757.65 c #Conflicts: 574000 | #Constraints: 48053
722.35/757.65 c #Conflicts: 575000 | #Constraints: 49056
722.35/757.65 c #Conflicts: 576000 | #Constraints: 50056
722.35/757.65 c INPROCESSING
722.35/757.65 c GARBAGE COLLECT
722.35/757.65 c rational objective 6
747.06/782.59 c #Conflicts: 577000 | #Constraints: 36034
747.06/782.59 c #Conflicts: 578000 | #Constraints: 37035
747.06/782.59 c #Conflicts: 579000 | #Constraints: 38036
747.06/782.59 c #Conflicts: 580000 | #Constraints: 39037
747.06/782.59 c #Conflicts: 581000 | #Constraints: 40039
747.06/782.59 c #Conflicts: 582000 | #Constraints: 41041
747.06/782.59 c #Conflicts: 583000 | #Constraints: 42046
747.06/782.59 c #Conflicts: 584000 | #Constraints: 43048
747.06/782.59 c #Conflicts: 585000 | #Constraints: 44050
747.06/782.59 c #Conflicts: 586000 | #Constraints: 45051
747.06/782.59 c #Conflicts: 587000 | #Constraints: 46051
747.06/782.59 c #Conflicts: 588000 | #Constraints: 47052
747.06/782.59 c #Conflicts: 589000 | #Constraints: 48053
747.06/782.59 c #Conflicts: 590000 | #Constraints: 49054
747.06/782.59 c #Conflicts: 591000 | #Constraints: 50054
747.06/782.59 c INPROCESSING
747.06/782.59 c GARBAGE COLLECT
747.06/782.59 c rational objective 6
776.56/812.24 c #Conflicts: 592000 | #Constraints: 35834
776.56/812.24 c #Conflicts: 593000 | #Constraints: 36835
776.56/812.24 c #Conflicts: 594000 | #Constraints: 37836
776.56/812.24 c #Conflicts: 595000 | #Constraints: 38838
776.56/812.24 c #Conflicts: 596000 | #Constraints: 39841
776.56/812.24 c #Conflicts: 597000 | #Constraints: 40843
776.56/812.24 c #Conflicts: 598000 | #Constraints: 41845
776.56/812.24 c #Conflicts: 599000 | #Constraints: 42847
776.56/812.24 c #Conflicts: 600000 | #Constraints: 43849
776.56/812.24 c #Conflicts: 601000 | #Constraints: 44851
776.56/812.24 c #Conflicts: 602000 | #Constraints: 45853
776.56/812.24 c #Conflicts: 603000 | #Constraints: 46855
776.56/812.24 c #Conflicts: 604000 | #Constraints: 47855
776.56/812.24 c #Conflicts: 605000 | #Constraints: 48857
776.56/812.24 c #Conflicts: 606000 | #Constraints: 49858
776.56/812.24 c #Conflicts: 607000 | #Constraints: 50859
776.56/812.24 c INPROCESSING
776.56/812.24 c GARBAGE COLLECT
776.56/812.24 c rational objective 6
795.70/831.43 c #Conflicts: 608000 | #Constraints: 36436
795.70/831.43 c #Conflicts: 609000 | #Constraints: 37437
795.70/831.43 c #Conflicts: 610000 | #Constraints: 38441
795.70/831.43 c #Conflicts: 611000 | #Constraints: 39447
795.70/831.43 c #Conflicts: 612000 | #Constraints: 40448
795.70/831.43 c #Conflicts: 613000 | #Constraints: 41452
795.70/831.43 c #Conflicts: 614000 | #Constraints: 42456
795.70/831.43 c #Conflicts: 615000 | #Constraints: 43457
795.70/831.43 c #Conflicts: 616000 | #Constraints: 44458
795.70/831.43 c #Conflicts: 617000 | #Constraints: 45459
795.70/831.43 c #Conflicts: 618000 | #Constraints: 46460
795.70/831.43 c #Conflicts: 619000 | #Constraints: 47461
795.70/831.43 c #Conflicts: 620000 | #Constraints: 48461
795.70/831.43 c #Conflicts: 621000 | #Constraints: 49462
795.70/831.43 c #Conflicts: 622000 | #Constraints: 50463
795.70/831.43 c #Conflicts: 623000 | #Constraints: 51464
795.70/831.43 c INPROCESSING
795.70/831.43 c GARBAGE COLLECT
795.70/831.43 c rational objective 6
820.03/858.88 c #Conflicts: 624000 | #Constraints: 36805
820.03/858.88 c #Conflicts: 625000 | #Constraints: 37807
820.03/858.88 c #Conflicts: 626000 | #Constraints: 38809
820.03/858.88 c #Conflicts: 627000 | #Constraints: 39810
820.03/858.88 c #Conflicts: 628000 | #Constraints: 40813
820.03/858.88 c #Conflicts: 629000 | #Constraints: 41814
820.03/858.88 c #Conflicts: 630000 | #Constraints: 42815
820.03/858.88 c #Conflicts: 631000 | #Constraints: 43816
820.03/858.88 c #Conflicts: 632000 | #Constraints: 44817
820.03/858.88 c #Conflicts: 633000 | #Constraints: 45817
820.03/858.88 c #Conflicts: 634000 | #Constraints: 46818
820.03/858.88 c #Conflicts: 635000 | #Constraints: 47819
820.03/858.88 c #Conflicts: 636000 | #Constraints: 48819
820.03/858.88 c #Conflicts: 637000 | #Constraints: 49820
820.03/858.88 c #Conflicts: 638000 | #Constraints: 50820
820.03/858.88 c #Conflicts: 639000 | #Constraints: 51820
820.03/858.88 c INPROCESSING
820.03/858.88 c GARBAGE COLLECT
820.03/858.88 c rational objective 6
842.32/883.10 c #Conflicts: 640000 | #Constraints: 36997
842.32/883.10 c #Conflicts: 641000 | #Constraints: 37998
842.32/883.10 c #Conflicts: 642000 | #Constraints: 39000
842.32/883.10 c #Conflicts: 643000 | #Constraints: 40003
842.32/883.10 c #Conflicts: 644000 | #Constraints: 41005
842.32/883.10 c #Conflicts: 645000 | #Constraints: 42006
842.32/883.10 c #Conflicts: 646000 | #Constraints: 43007
842.32/883.10 c #Conflicts: 647000 | #Constraints: 44007
842.32/883.10 c #Conflicts: 648000 | #Constraints: 45008
842.32/883.10 c #Conflicts: 649000 | #Constraints: 46008
842.32/883.10 c #Conflicts: 650000 | #Constraints: 47009
842.32/883.10 c #Conflicts: 651000 | #Constraints: 48009
842.32/883.10 c #Conflicts: 652000 | #Constraints: 49009
842.32/883.10 c #Conflicts: 653000 | #Constraints: 50010
842.32/883.10 c #Conflicts: 654000 | #Constraints: 51010
842.32/883.10 c #Conflicts: 655000 | #Constraints: 52011
842.32/883.10 c INPROCESSING
842.32/883.10 c GARBAGE COLLECT
842.32/883.10 c rational objective 6
864.79/905.79 c #Conflicts: 656000 | #Constraints: 36964
864.79/905.79 c #Conflicts: 657000 | #Constraints: 37964
864.79/905.79 c #Conflicts: 658000 | #Constraints: 38967
864.79/905.79 c #Conflicts: 659000 | #Constraints: 39971
864.79/905.79 c #Conflicts: 660000 | #Constraints: 40975
864.79/905.79 c #Conflicts: 661000 | #Constraints: 41981
864.79/905.79 c #Conflicts: 662000 | #Constraints: 42984
864.79/905.79 c #Conflicts: 663000 | #Constraints: 43985
864.79/905.79 c #Conflicts: 664000 | #Constraints: 44987
864.79/905.79 c #Conflicts: 665000 | #Constraints: 45987
864.79/905.79 c #Conflicts: 666000 | #Constraints: 46988
864.79/905.79 c #Conflicts: 667000 | #Constraints: 47989
864.79/905.79 c #Conflicts: 668000 | #Constraints: 48989
864.79/905.79 c #Conflicts: 669000 | #Constraints: 49990
864.79/905.79 c #Conflicts: 670000 | #Constraints: 50991
864.79/905.79 c #Conflicts: 671000 | #Constraints: 51992
864.79/905.79 c INPROCESSING
864.79/905.79 c GARBAGE COLLECT
864.79/905.79 c rational objective 6
886.04/927.03 c #Conflicts: 672000 | #Constraints: 36759
886.04/927.03 c #Conflicts: 673000 | #Constraints: 37760
886.04/927.03 c #Conflicts: 674000 | #Constraints: 38760
886.04/927.03 c #Conflicts: 675000 | #Constraints: 39763
886.04/927.03 c #Conflicts: 676000 | #Constraints: 40768
886.04/927.03 c #Conflicts: 677000 | #Constraints: 41772
886.04/927.03 c #Conflicts: 678000 | #Constraints: 42775
886.04/927.03 c #Conflicts: 679000 | #Constraints: 43776
886.04/927.03 c #Conflicts: 680000 | #Constraints: 44779
886.04/927.03 c #Conflicts: 681000 | #Constraints: 45780
886.04/927.03 c #Conflicts: 682000 | #Constraints: 46781
886.04/927.03 c #Conflicts: 683000 | #Constraints: 47783
886.04/927.03 c #Conflicts: 684000 | #Constraints: 48784
886.04/927.03 c #Conflicts: 685000 | #Constraints: 49785
886.04/927.03 c #Conflicts: 686000 | #Constraints: 50786
886.04/927.03 c #Conflicts: 687000 | #Constraints: 51787
886.04/927.03 c #Conflicts: 688000 | #Constraints: 52787
886.04/927.03 c INPROCESSING
886.04/927.03 c GARBAGE COLLECT
886.04/927.03 c rational objective 6
907.27/948.48 c #Conflicts: 689000 | #Constraints: 37363
907.27/948.48 c #Conflicts: 690000 | #Constraints: 38364
907.27/948.48 c #Conflicts: 691000 | #Constraints: 39366
907.27/948.48 c #Conflicts: 692000 | #Constraints: 40368
907.27/948.48 c #Conflicts: 693000 | #Constraints: 41371
907.27/948.48 c #Conflicts: 694000 | #Constraints: 42374
907.27/948.48 c #Conflicts: 695000 | #Constraints: 43375
907.27/948.48 c #Conflicts: 696000 | #Constraints: 44377
907.27/948.48 c #Conflicts: 697000 | #Constraints: 45380
907.27/948.48 c #Conflicts: 698000 | #Constraints: 46384
907.27/948.48 c #Conflicts: 699000 | #Constraints: 47387
907.27/948.48 c #Conflicts: 700000 | #Constraints: 48391
907.27/948.48 c #Conflicts: 701000 | #Constraints: 49392
907.27/948.48 c #Conflicts: 702000 | #Constraints: 50393
907.27/948.48 c #Conflicts: 703000 | #Constraints: 51393
907.27/948.48 c #Conflicts: 704000 | #Constraints: 52394
907.27/948.48 c #Conflicts: 705000 | #Constraints: 53395
907.27/948.48 c INPROCESSING
907.27/948.48 c GARBAGE COLLECT
907.27/948.48 c rational objective 6
935.00/976.30 c #Conflicts: 706000 | #Constraints: 37748
935.00/976.30 c #Conflicts: 707000 | #Constraints: 38751
935.00/976.30 c #Conflicts: 708000 | #Constraints: 39761
935.00/976.30 c #Conflicts: 709000 | #Constraints: 40769
935.00/976.30 c #Conflicts: 710000 | #Constraints: 41771
935.00/976.30 c #Conflicts: 711000 | #Constraints: 42774
935.00/976.30 c #Conflicts: 712000 | #Constraints: 43783
935.00/976.30 c #Conflicts: 713000 | #Constraints: 44788
935.00/976.30 c #Conflicts: 714000 | #Constraints: 45801
935.00/976.30 c #Conflicts: 715000 | #Constraints: 46805
935.00/976.30 c #Conflicts: 716000 | #Constraints: 47805
935.00/976.30 c #Conflicts: 717000 | #Constraints: 48808
935.00/976.30 c #Conflicts: 718000 | #Constraints: 49813
935.00/976.30 c #Conflicts: 719000 | #Constraints: 50819
935.00/976.30 c #Conflicts: 720000 | #Constraints: 51822
935.00/976.30 c #Conflicts: 721000 | #Constraints: 52825
935.00/976.30 c #Conflicts: 722000 | #Constraints: 53826
935.00/976.30 c INPROCESSING
935.00/976.30 c GARBAGE COLLECT
935.00/976.30 c rational objective 6
959.81/1001.43 c #Conflicts: 723000 | #Constraints: 37935
959.81/1001.43 c #Conflicts: 724000 | #Constraints: 38938
959.81/1001.43 c #Conflicts: 725000 | #Constraints: 39940
959.81/1001.43 c #Conflicts: 726000 | #Constraints: 40952
959.81/1001.43 c #Conflicts: 727000 | #Constraints: 41960
959.81/1001.43 c #Conflicts: 728000 | #Constraints: 42965
959.81/1001.43 c #Conflicts: 729000 | #Constraints: 43972
959.81/1001.43 c #Conflicts: 730000 | #Constraints: 44979
959.81/1001.43 c #Conflicts: 731000 | #Constraints: 45988
959.81/1001.43 c #Conflicts: 732000 | #Constraints: 46997
959.81/1001.43 c #Conflicts: 733000 | #Constraints: 48005
959.81/1001.43 c #Conflicts: 734000 | #Constraints: 49012
959.81/1001.43 c #Conflicts: 735000 | #Constraints: 50014
959.81/1001.43 c #Conflicts: 736000 | #Constraints: 51017
959.81/1001.43 c #Conflicts: 737000 | #Constraints: 52020
959.81/1001.43 c #Conflicts: 738000 | #Constraints: 53022
959.81/1001.43 c #Conflicts: 739000 | #Constraints: 54023
959.81/1001.43 c INPROCESSING
959.81/1001.43 c GARBAGE COLLECT
959.81/1001.43 c rational objective 6
990.20/1032.06 c #Conflicts: 740000 | #Constraints: 37960
990.20/1032.06 c #Conflicts: 741000 | #Constraints: 38965
990.20/1032.06 c #Conflicts: 742000 | #Constraints: 39970
990.20/1032.06 c #Conflicts: 743000 | #Constraints: 40972
990.20/1032.06 c #Conflicts: 744000 | #Constraints: 41976
990.20/1032.06 c #Conflicts: 745000 | #Constraints: 42979
990.20/1032.06 c #Conflicts: 746000 | #Constraints: 43980
990.20/1032.06 c #Conflicts: 747000 | #Constraints: 44982
990.20/1032.06 c #Conflicts: 748000 | #Constraints: 45984
990.20/1032.06 c #Conflicts: 749000 | #Constraints: 46984
990.20/1032.06 c #Conflicts: 750000 | #Constraints: 47985
990.20/1032.06 c #Conflicts: 751000 | #Constraints: 48985
990.20/1032.06 c #Conflicts: 752000 | #Constraints: 49986
990.20/1032.06 c #Conflicts: 753000 | #Constraints: 50987
990.20/1032.06 c #Conflicts: 754000 | #Constraints: 51988
990.20/1032.06 c #Conflicts: 755000 | #Constraints: 52989
990.20/1032.06 c #Conflicts: 756000 | #Constraints: 53989
990.20/1032.06 c INPROCESSING
990.20/1032.06 c GARBAGE COLLECT
990.20/1032.06 c rational objective 6
1029.77/1071.80 c #Conflicts: 757000 | #Constraints: 37732
1029.77/1071.80 c #Conflicts: 758000 | #Constraints: 38734
1029.77/1071.80 c #Conflicts: 759000 | #Constraints: 39739
1029.77/1071.80 c #Conflicts: 760000 | #Constraints: 40741
1029.77/1071.80 c #Conflicts: 761000 | #Constraints: 41744
1029.77/1071.80 c #Conflicts: 762000 | #Constraints: 42747
1029.77/1071.80 c #Conflicts: 763000 | #Constraints: 43750
1029.77/1071.80 c #Conflicts: 764000 | #Constraints: 44751
1029.77/1071.80 c #Conflicts: 765000 | #Constraints: 45755
1029.77/1071.80 c #Conflicts: 766000 | #Constraints: 46759
1029.77/1071.80 c #Conflicts: 767000 | #Constraints: 47761
1029.77/1071.80 c #Conflicts: 768000 | #Constraints: 48762
1029.77/1071.80 c #Conflicts: 769000 | #Constraints: 49764
1029.77/1071.80 c #Conflicts: 770000 | #Constraints: 50765
1029.77/1071.80 c #Conflicts: 771000 | #Constraints: 51766
1029.77/1071.80 c #Conflicts: 772000 | #Constraints: 52766
1029.77/1071.80 c #Conflicts: 773000 | #Constraints: 53767
1029.77/1071.80 c #Conflicts: 774000 | #Constraints: 54767
1029.77/1071.80 c INPROCESSING
1029.77/1071.80 c GARBAGE COLLECT
1029.77/1071.80 c rational objective 6
1054.04/1096.34 c #Conflicts: 775000 | #Constraints: 38298
1054.04/1096.34 c #Conflicts: 776000 | #Constraints: 39298
1054.04/1096.34 c #Conflicts: 777000 | #Constraints: 40300
1054.04/1096.34 c #Conflicts: 778000 | #Constraints: 41302
1054.04/1096.34 c #Conflicts: 779000 | #Constraints: 42304
1054.04/1096.34 c #Conflicts: 780000 | #Constraints: 43304
1054.04/1096.34 c #Conflicts: 781000 | #Constraints: 44307
1054.04/1096.34 c #Conflicts: 782000 | #Constraints: 45308
1054.04/1096.34 c #Conflicts: 783000 | #Constraints: 46309
1054.04/1096.34 c #Conflicts: 784000 | #Constraints: 47312
1054.04/1096.34 c #Conflicts: 785000 | #Constraints: 48313
1054.04/1096.34 c #Conflicts: 786000 | #Constraints: 49316
1054.04/1096.34 c #Conflicts: 787000 | #Constraints: 50322
1054.04/1096.34 c #Conflicts: 788000 | #Constraints: 51325
1054.04/1096.34 c #Conflicts: 789000 | #Constraints: 52326
1054.04/1096.34 c #Conflicts: 790000 | #Constraints: 53328
1054.04/1096.34 c #Conflicts: 791000 | #Constraints: 54329
1054.04/1096.34 c #Conflicts: 792000 | #Constraints: 55330
1054.04/1096.34 c INPROCESSING
1054.04/1096.34 c GARBAGE COLLECT
1054.04/1096.34 c rational objective 6
1078.39/1120.94 c #Conflicts: 793000 | #Constraints: 38693
1078.39/1120.94 c #Conflicts: 794000 | #Constraints: 39693
1078.39/1120.94 c #Conflicts: 795000 | #Constraints: 40694
1078.39/1120.94 c #Conflicts: 796000 | #Constraints: 41697
1078.39/1120.94 c #Conflicts: 797000 | #Constraints: 42699
1078.39/1120.94 c #Conflicts: 798000 | #Constraints: 43701
1078.39/1120.94 c #Conflicts: 799000 | #Constraints: 44703
1078.39/1120.94 c #Conflicts: 800000 | #Constraints: 45704
1078.39/1120.94 c #Conflicts: 801000 | #Constraints: 46706
1078.39/1120.94 c #Conflicts: 802000 | #Constraints: 47710
1078.39/1120.94 c #Conflicts: 803000 | #Constraints: 48717
1078.39/1120.94 c #Conflicts: 804000 | #Constraints: 49721
1078.39/1120.94 c #Conflicts: 805000 | #Constraints: 50722
1078.39/1120.94 c #Conflicts: 806000 | #Constraints: 51722
1078.39/1120.94 c #Conflicts: 807000 | #Constraints: 52722
1078.39/1120.94 c #Conflicts: 808000 | #Constraints: 53723
1078.39/1120.94 c #Conflicts: 809000 | #Constraints: 54724
1078.39/1120.94 c #Conflicts: 810000 | #Constraints: 55724
1078.39/1120.94 c INPROCESSING
1078.39/1120.94 c GARBAGE COLLECT
1078.39/1120.94 c rational objective 6
1104.12/1146.75 c #Conflicts: 811000 | #Constraints: 38887
1104.12/1146.75 c #Conflicts: 812000 | #Constraints: 39887
1104.12/1146.75 c #Conflicts: 813000 | #Constraints: 40889
1104.12/1146.75 c #Conflicts: 814000 | #Constraints: 41893
1104.12/1146.75 c #Conflicts: 815000 | #Constraints: 42894
1104.12/1146.75 c #Conflicts: 816000 | #Constraints: 43897
1104.12/1146.75 c #Conflicts: 817000 | #Constraints: 44899
1104.12/1146.75 c #Conflicts: 818000 | #Constraints: 45903
1104.12/1146.75 c #Conflicts: 819000 | #Constraints: 46905
1104.12/1146.75 c #Conflicts: 820000 | #Constraints: 47906
1104.12/1146.75 c #Conflicts: 821000 | #Constraints: 48909
1104.12/1146.75 c #Conflicts: 822000 | #Constraints: 49911
1104.12/1146.75 c #Conflicts: 823000 | #Constraints: 50913
1104.12/1146.75 c #Conflicts: 824000 | #Constraints: 51914
1104.12/1146.75 c #Conflicts: 825000 | #Constraints: 52916
1104.12/1146.75 c #Conflicts: 826000 | #Constraints: 53917
1104.12/1146.75 c #Conflicts: 827000 | #Constraints: 54918
1104.12/1146.75 c #Conflicts: 828000 | #Constraints: 55919
1104.12/1146.75 c INPROCESSING
1104.12/1146.75 c GARBAGE COLLECT
1104.12/1146.75 c rational objective 6
1135.57/1178.47 c #Conflicts: 829000 | #Constraints: 38892
1135.57/1178.47 c #Conflicts: 830000 | #Constraints: 39892
1135.57/1178.47 c #Conflicts: 831000 | #Constraints: 40894
1135.57/1178.47 c #Conflicts: 832000 | #Constraints: 41898
1135.57/1178.47 c #Conflicts: 833000 | #Constraints: 42901
1135.57/1178.47 c #Conflicts: 834000 | #Constraints: 43901
1135.57/1178.47 c #Conflicts: 835000 | #Constraints: 44903
1135.57/1178.47 c #Conflicts: 836000 | #Constraints: 45908
1135.57/1178.47 c #Conflicts: 837000 | #Constraints: 46913
1135.57/1178.47 c #Conflicts: 838000 | #Constraints: 47916
1135.57/1178.47 c #Conflicts: 839000 | #Constraints: 48917
1135.57/1178.47 c #Conflicts: 840000 | #Constraints: 49920
1135.57/1178.47 c #Conflicts: 841000 | #Constraints: 50921
1135.57/1178.47 c #Conflicts: 842000 | #Constraints: 51922
1135.57/1178.47 c #Conflicts: 843000 | #Constraints: 52924
1135.57/1178.47 c #Conflicts: 844000 | #Constraints: 53925
1135.57/1178.47 c #Conflicts: 845000 | #Constraints: 54927
1135.57/1178.47 c #Conflicts: 846000 | #Constraints: 55927
1135.57/1178.47 c INPROCESSING
1135.57/1178.47 c GARBAGE COLLECT
1135.57/1178.47 c rational objective 6
1163.50/1206.61 c #Conflicts: 847000 | #Constraints: 38660
1163.50/1206.61 c #Conflicts: 848000 | #Constraints: 39660
1163.50/1206.61 c #Conflicts: 849000 | #Constraints: 40661
1163.50/1206.61 c #Conflicts: 850000 | #Constraints: 41663
1163.50/1206.61 c #Conflicts: 851000 | #Constraints: 42667
1163.50/1206.61 c #Conflicts: 852000 | #Constraints: 43669
1163.50/1206.61 c #Conflicts: 853000 | #Constraints: 44671
1163.50/1206.61 c #Conflicts: 854000 | #Constraints: 45674
1163.50/1206.61 c #Conflicts: 855000 | #Constraints: 46678
1163.50/1206.61 c #Conflicts: 856000 | #Constraints: 47681
1163.50/1206.61 c #Conflicts: 857000 | #Constraints: 48685
1163.50/1206.61 c #Conflicts: 858000 | #Constraints: 49687
1163.50/1206.61 c #Conflicts: 859000 | #Constraints: 50688
1163.50/1206.61 c #Conflicts: 860000 | #Constraints: 51689
1163.50/1206.61 c #Conflicts: 861000 | #Constraints: 52689
1163.50/1206.61 c #Conflicts: 862000 | #Constraints: 53690
1163.50/1206.61 c #Conflicts: 863000 | #Constraints: 54692
1163.50/1206.61 c #Conflicts: 864000 | #Constraints: 55694
1163.50/1206.61 c #Conflicts: 865000 | #Constraints: 56697
1163.50/1206.61 c INPROCESSING
1163.50/1206.61 c GARBAGE COLLECT
1163.50/1206.61 c rational objective 6
1190.51/1233.89 c #Conflicts: 866000 | #Constraints: 39251
1190.51/1233.89 c #Conflicts: 867000 | #Constraints: 40251
1190.51/1233.89 c #Conflicts: 868000 | #Constraints: 41253
1190.51/1233.89 c #Conflicts: 869000 | #Constraints: 42259
1190.51/1233.89 c #Conflicts: 870000 | #Constraints: 43262
1190.51/1233.89 c #Conflicts: 871000 | #Constraints: 44262
1190.51/1233.89 c #Conflicts: 872000 | #Constraints: 45264
1190.51/1233.89 c #Conflicts: 873000 | #Constraints: 46266
1190.51/1233.89 c #Conflicts: 874000 | #Constraints: 47270
1190.51/1233.89 c #Conflicts: 875000 | #Constraints: 48272
1190.51/1233.89 c #Conflicts: 876000 | #Constraints: 49272
1190.51/1233.89 c #Conflicts: 877000 | #Constraints: 50273
1190.51/1233.89 c #Conflicts: 878000 | #Constraints: 51273
1190.51/1233.89 c #Conflicts: 879000 | #Constraints: 52274
1190.51/1233.89 c #Conflicts: 880000 | #Constraints: 53276
1190.51/1233.89 c #Conflicts: 881000 | #Constraints: 54277
1190.51/1233.89 c #Conflicts: 882000 | #Constraints: 55279
1190.51/1233.89 c #Conflicts: 883000 | #Constraints: 56281
1190.51/1233.89 c #Conflicts: 884000 | #Constraints: 57282
1190.51/1233.89 c INPROCESSING
1190.51/1233.89 c GARBAGE COLLECT
1190.51/1233.89 c rational objective 6
1229.19/1273.07 c #Conflicts: 885000 | #Constraints: 39637
1229.19/1273.07 c #Conflicts: 886000 | #Constraints: 40637
1229.19/1273.07 c #Conflicts: 887000 | #Constraints: 41638
1229.19/1273.07 c #Conflicts: 888000 | #Constraints: 42639
1229.19/1273.07 c #Conflicts: 889000 | #Constraints: 43639
1229.19/1273.07 c #Conflicts: 890000 | #Constraints: 44640
1229.19/1273.07 c #Conflicts: 891000 | #Constraints: 45642
1229.19/1273.07 c #Conflicts: 892000 | #Constraints: 46642
1229.19/1273.07 c #Conflicts: 893000 | #Constraints: 47642
1229.19/1273.07 c #Conflicts: 894000 | #Constraints: 48642
1229.19/1273.07 c #Conflicts: 895000 | #Constraints: 49642
1229.19/1273.07 c #Conflicts: 896000 | #Constraints: 50642
1229.19/1273.07 c #Conflicts: 897000 | #Constraints: 51642
1229.19/1273.07 c #Conflicts: 898000 | #Constraints: 52642
1229.19/1273.07 c #Conflicts: 899000 | #Constraints: 53642
1229.19/1273.07 c #Conflicts: 900000 | #Constraints: 54643
1229.19/1273.07 c #Conflicts: 901000 | #Constraints: 55644
1229.19/1273.07 c #Conflicts: 902000 | #Constraints: 56644
1229.19/1273.07 c #Conflicts: 903000 | #Constraints: 57644
1229.19/1273.07 c INPROCESSING
1229.19/1273.07 c GARBAGE COLLECT
1229.19/1273.07 c rational objective 6
1258.10/1302.10 c #Conflicts: 904000 | #Constraints: 39824
1258.10/1302.10 c #Conflicts: 905000 | #Constraints: 40824
1258.10/1302.10 c #Conflicts: 906000 | #Constraints: 41825
1258.10/1302.10 c #Conflicts: 907000 | #Constraints: 42826
1258.10/1302.10 c #Conflicts: 908000 | #Constraints: 43828
1258.10/1302.10 c #Conflicts: 909000 | #Constraints: 44828
1258.10/1302.10 c #Conflicts: 910000 | #Constraints: 45830
1258.10/1302.10 c #Conflicts: 911000 | #Constraints: 46831
1258.10/1302.10 c #Conflicts: 912000 | #Constraints: 47833
1258.10/1302.10 c #Conflicts: 913000 | #Constraints: 48835
1258.10/1302.10 c #Conflicts: 914000 | #Constraints: 49837
1258.10/1302.10 c #Conflicts: 915000 | #Constraints: 50838
1258.10/1302.10 c #Conflicts: 916000 | #Constraints: 51840
1258.10/1302.10 c #Conflicts: 917000 | #Constraints: 52840
1258.10/1302.10 c #Conflicts: 918000 | #Constraints: 53841
1258.10/1302.10 c #Conflicts: 919000 | #Constraints: 54842
1258.10/1302.10 c #Conflicts: 920000 | #Constraints: 55843
1258.10/1302.10 c #Conflicts: 921000 | #Constraints: 56844
1258.10/1302.10 c #Conflicts: 922000 | #Constraints: 57844
1258.10/1302.10 c INPROCESSING
1258.10/1302.10 c GARBAGE COLLECT
1258.10/1302.10 c rational objective 6
1291.69/1335.76 c #Conflicts: 923000 | #Constraints: 39857
1291.69/1335.76 c #Conflicts: 924000 | #Constraints: 40858
1291.69/1335.76 c #Conflicts: 925000 | #Constraints: 41861
1291.69/1335.76 c #Conflicts: 926000 | #Constraints: 42863
1291.69/1335.76 c #Conflicts: 927000 | #Constraints: 43864
1291.69/1335.76 c #Conflicts: 928000 | #Constraints: 44866
1291.69/1335.76 c #Conflicts: 929000 | #Constraints: 45870
1291.69/1335.76 c #Conflicts: 930000 | #Constraints: 46874
1291.69/1335.76 c #Conflicts: 931000 | #Constraints: 47879
1291.69/1335.76 c #Conflicts: 932000 | #Constraints: 48888
1291.69/1335.76 c #Conflicts: 933000 | #Constraints: 49892
1291.69/1335.76 c #Conflicts: 934000 | #Constraints: 50904
1291.69/1335.76 c #Conflicts: 935000 | #Constraints: 51908
1291.69/1335.76 c #Conflicts: 936000 | #Constraints: 52909
1291.69/1335.76 c #Conflicts: 937000 | #Constraints: 53910
1291.69/1335.76 c #Conflicts: 938000 | #Constraints: 54910
1291.69/1335.76 c #Conflicts: 939000 | #Constraints: 55910
1291.69/1335.76 c #Conflicts: 940000 | #Constraints: 56911
1291.69/1335.76 c #Conflicts: 941000 | #Constraints: 57912
1291.69/1335.76 c INPROCESSING
1291.69/1335.76 c GARBAGE COLLECT
1291.69/1335.76 c rational objective 6
1326.73/1371.25 c #Conflicts: 942000 | #Constraints: 39660
1326.73/1371.25 c #Conflicts: 943000 | #Constraints: 40661
1326.73/1371.25 c #Conflicts: 944000 | #Constraints: 41666
1326.73/1371.25 c #Conflicts: 945000 | #Constraints: 42672
1326.73/1371.25 c #Conflicts: 946000 | #Constraints: 43680
1326.73/1371.25 c #Conflicts: 947000 | #Constraints: 44692
1326.73/1371.25 c #Conflicts: 948000 | #Constraints: 45703
1326.73/1371.25 c #Conflicts: 949000 | #Constraints: 46710
1326.73/1371.25 c #Conflicts: 950000 | #Constraints: 47717
1326.73/1371.25 c #Conflicts: 951000 | #Constraints: 48723
1326.73/1371.25 c #Conflicts: 952000 | #Constraints: 49727
1326.73/1371.25 c #Conflicts: 953000 | #Constraints: 50731
1326.73/1371.25 c #Conflicts: 954000 | #Constraints: 51732
1326.73/1371.25 c #Conflicts: 955000 | #Constraints: 52732
1326.73/1371.25 c #Conflicts: 956000 | #Constraints: 53734
1326.73/1371.25 c #Conflicts: 957000 | #Constraints: 54735
1326.73/1371.25 c #Conflicts: 958000 | #Constraints: 55736
1326.73/1371.25 c #Conflicts: 959000 | #Constraints: 56736
1326.73/1371.25 c #Conflicts: 960000 | #Constraints: 57737
1326.73/1371.25 c #Conflicts: 961000 | #Constraints: 58738
1326.73/1371.25 c INPROCESSING
1326.73/1371.25 c GARBAGE COLLECT
1326.73/1371.25 c rational objective 6
1355.86/1400.86 c #Conflicts: 962000 | #Constraints: 40257
1355.86/1400.86 c #Conflicts: 963000 | #Constraints: 41257
1355.86/1400.86 c #Conflicts: 964000 | #Constraints: 42258
1355.86/1400.86 c #Conflicts: 965000 | #Constraints: 43260
1355.86/1400.86 c #Conflicts: 966000 | #Constraints: 44264
1355.86/1400.86 c #Conflicts: 967000 | #Constraints: 45270
1355.86/1400.86 c #Conflicts: 968000 | #Constraints: 46278
1355.86/1400.86 c #Conflicts: 969000 | #Constraints: 47283
1355.86/1400.86 c #Conflicts: 970000 | #Constraints: 48286
1355.86/1400.86 c #Conflicts: 971000 | #Constraints: 49287
1355.86/1400.86 c #Conflicts: 972000 | #Constraints: 50288
1355.86/1400.86 c #Conflicts: 973000 | #Constraints: 51291
1355.86/1400.86 c #Conflicts: 974000 | #Constraints: 52293
1355.86/1400.86 c #Conflicts: 975000 | #Constraints: 53293
1355.86/1400.86 c #Conflicts: 976000 | #Constraints: 54295
1355.86/1400.86 c #Conflicts: 977000 | #Constraints: 55295
1355.86/1400.86 c #Conflicts: 978000 | #Constraints: 56296
1355.86/1400.86 c #Conflicts: 979000 | #Constraints: 57296
1355.86/1400.86 c #Conflicts: 980000 | #Constraints: 58297
1355.86/1400.86 c #Conflicts: 981000 | #Constraints: 59297
1355.86/1400.86 c INPROCESSING
1355.86/1400.86 c GARBAGE COLLECT
1355.86/1400.86 c rational objective 6
1431.70/1477.11 c #Conflicts: 982000 | #Constraints: 40641
1431.70/1477.11 c #Conflicts: 983000 | #Constraints: 41641
1431.70/1477.11 c #Conflicts: 984000 | #Constraints: 42642
1431.70/1477.11 c #Conflicts: 985000 | #Constraints: 43644
1431.70/1477.11 c #Conflicts: 986000 | #Constraints: 44648
1431.70/1477.11 c #Conflicts: 987000 | #Constraints: 45651
1431.70/1477.11 c #Conflicts: 988000 | #Constraints: 46655
1431.70/1477.11 c #Conflicts: 989000 | #Constraints: 47657
1431.70/1477.11 c #Conflicts: 990000 | #Constraints: 48659
1431.70/1477.11 c #Conflicts: 991000 | #Constraints: 49662
1431.70/1477.11 c #Conflicts: 992000 | #Constraints: 50665
1431.70/1477.11 c #Conflicts: 993000 | #Constraints: 51668
1431.70/1477.11 c #Conflicts: 994000 | #Constraints: 52670
1431.70/1477.11 c #Conflicts: 995000 | #Constraints: 53671
1431.70/1477.11 c #Conflicts: 996000 | #Constraints: 54672
1431.70/1477.11 c #Conflicts: 997000 | #Constraints: 55673
1431.70/1477.11 c #Conflicts: 998000 | #Constraints: 56673
1431.70/1477.11 c #Conflicts: 999000 | #Constraints: 57674
1431.70/1477.11 c #Conflicts: 1000000 | #Constraints: 58674
1431.70/1477.11 c #Conflicts: 1001000 | #Constraints: 59675
1431.70/1477.11 c INPROCESSING
1431.70/1477.11 c GARBAGE COLLECT
1431.70/1477.11 c rational objective 6
1462.08/1507.99 c #Conflicts: 1002000 | #Constraints: 40844
1462.08/1507.99 c #Conflicts: 1003000 | #Constraints: 41844
1462.08/1507.99 c #Conflicts: 1004000 | #Constraints: 42845
1462.08/1507.99 c #Conflicts: 1005000 | #Constraints: 43848
1462.08/1507.99 c #Conflicts: 1006000 | #Constraints: 44854
1462.08/1507.99 c #Conflicts: 1007000 | #Constraints: 45864
1462.08/1507.99 c #Conflicts: 1008000 | #Constraints: 46866
1462.08/1507.99 c #Conflicts: 1009000 | #Constraints: 47868
1462.08/1507.99 c #Conflicts: 1010000 | #Constraints: 48870
1462.08/1507.99 c #Conflicts: 1011000 | #Constraints: 49871
1462.08/1507.99 c #Conflicts: 1012000 | #Constraints: 50874
1462.08/1507.99 c #Conflicts: 1013000 | #Constraints: 51879
1462.08/1507.99 c #Conflicts: 1014000 | #Constraints: 52883
1462.08/1507.99 c #Conflicts: 1015000 | #Constraints: 53886
1462.08/1507.99 c #Conflicts: 1016000 | #Constraints: 54891
1462.08/1507.99 c #Conflicts: 1017000 | #Constraints: 55896
1462.08/1507.99 c #Conflicts: 1018000 | #Constraints: 56900
1462.08/1507.99 c #Conflicts: 1019000 | #Constraints: 57905
1462.08/1507.99 c #Conflicts: 1020000 | #Constraints: 58910
1462.08/1507.99 c #Conflicts: 1021000 | #Constraints: 59913
1462.08/1507.99 c INPROCESSING
1462.08/1507.99 c GARBAGE COLLECT
1462.08/1507.99 c rational objective 6
1495.82/1541.91 c #Conflicts: 1022000 | #Constraints: 40854
1495.82/1541.91 c #Conflicts: 1023000 | #Constraints: 41856
1495.82/1541.91 c #Conflicts: 1024000 | #Constraints: 42858
1495.82/1541.91 c #Conflicts: 1025000 | #Constraints: 43864
1495.82/1541.91 c #Conflicts: 1026000 | #Constraints: 44866
1495.82/1541.91 c #Conflicts: 1027000 | #Constraints: 45867
1495.82/1541.91 c #Conflicts: 1028000 | #Constraints: 46867
1495.82/1541.91 c #Conflicts: 1029000 | #Constraints: 47868
1495.82/1541.91 c #Conflicts: 1030000 | #Constraints: 48870
1495.82/1541.91 c #Conflicts: 1031000 | #Constraints: 49871
1495.82/1541.91 c #Conflicts: 1032000 | #Constraints: 50873
1495.82/1541.91 c #Conflicts: 1033000 | #Constraints: 51874
1495.82/1541.91 c #Conflicts: 1034000 | #Constraints: 52875
1495.82/1541.91 c #Conflicts: 1035000 | #Constraints: 53876
1495.82/1541.91 c #Conflicts: 1036000 | #Constraints: 54877
1495.82/1541.91 c #Conflicts: 1037000 | #Constraints: 55879
1495.82/1541.91 c #Conflicts: 1038000 | #Constraints: 56881
1495.82/1541.91 c #Conflicts: 1039000 | #Constraints: 57883
1495.82/1541.91 c #Conflicts: 1040000 | #Constraints: 58885
1495.82/1541.91 c #Conflicts: 1041000 | #Constraints: 59886
1495.82/1541.91 c INPROCESSING
1495.82/1541.91 c GARBAGE COLLECT
1495.82/1541.91 c rational objective 6
1543.11/1589.62 c #Conflicts: 1042000 | #Constraints: 40606
1543.11/1589.62 c #Conflicts: 1043000 | #Constraints: 41606
1543.11/1589.62 c #Conflicts: 1044000 | #Constraints: 42607
1543.11/1589.62 c #Conflicts: 1045000 | #Constraints: 43610
1543.11/1589.62 c #Conflicts: 1046000 | #Constraints: 44613
1543.11/1589.62 c #Conflicts: 1047000 | #Constraints: 45616
1543.11/1589.62 c #Conflicts: 1048000 | #Constraints: 46619
1543.11/1589.62 c #Conflicts: 1049000 | #Constraints: 47620
1543.11/1589.62 c #Conflicts: 1050000 | #Constraints: 48622
1543.11/1589.62 c #Conflicts: 1051000 | #Constraints: 49624
1543.11/1589.62 c #Conflicts: 1052000 | #Constraints: 50625
1543.11/1589.62 c #Conflicts: 1053000 | #Constraints: 51627
1543.11/1589.62 c #Conflicts: 1054000 | #Constraints: 52628
1543.11/1589.62 c #Conflicts: 1055000 | #Constraints: 53629
1543.11/1589.62 c #Conflicts: 1056000 | #Constraints: 54629
1543.11/1589.62 c #Conflicts: 1057000 | #Constraints: 55630
1543.11/1589.62 c #Conflicts: 1058000 | #Constraints: 56630
1543.11/1589.62 c #Conflicts: 1059000 | #Constraints: 57631
1543.11/1589.62 c #Conflicts: 1060000 | #Constraints: 58631
1543.11/1589.62 c #Conflicts: 1061000 | #Constraints: 59631
1543.11/1589.62 c #Conflicts: 1062000 | #Constraints: 60632
1543.11/1589.62 c INPROCESSING
1543.11/1589.62 c GARBAGE COLLECT
1543.11/1589.62 c rational objective 6
1579.31/1626.22 c #Conflicts: 1063000 | #Constraints: 41189
1579.31/1626.22 c #Conflicts: 1064000 | #Constraints: 42189
1579.31/1626.22 c #Conflicts: 1065000 | #Constraints: 43190
1579.31/1626.22 c #Conflicts: 1066000 | #Constraints: 44194
1579.31/1626.22 c #Conflicts: 1067000 | #Constraints: 45199
1579.31/1626.22 c #Conflicts: 1068000 | #Constraints: 46206
1579.31/1626.22 c #Conflicts: 1069000 | #Constraints: 47210
1579.31/1626.22 c #Conflicts: 1070000 | #Constraints: 48214
1579.31/1626.22 c #Conflicts: 1071000 | #Constraints: 49218
1579.31/1626.22 c #Conflicts: 1072000 | #Constraints: 50219
1579.31/1626.22 c #Conflicts: 1073000 | #Constraints: 51220
1579.31/1626.22 c #Conflicts: 1074000 | #Constraints: 52221
1579.31/1626.22 c #Conflicts: 1075000 | #Constraints: 53222
1579.31/1626.22 c #Conflicts: 1076000 | #Constraints: 54223
1579.31/1626.22 c #Conflicts: 1077000 | #Constraints: 55223
1579.31/1626.22 c #Conflicts: 1078000 | #Constraints: 56224
1579.31/1626.22 c #Conflicts: 1079000 | #Constraints: 57225
1579.31/1626.22 c #Conflicts: 1080000 | #Constraints: 58225
1579.31/1626.22 c #Conflicts: 1081000 | #Constraints: 59225
1579.31/1626.22 c #Conflicts: 1082000 | #Constraints: 60226
1579.31/1626.22 c #Conflicts: 1083000 | #Constraints: 61226
1579.31/1626.22 c INPROCESSING
1579.31/1626.22 c GARBAGE COLLECT
1579.31/1626.22 c rational objective 6
1639.24/1687.02 c #Conflicts: 1084000 | #Constraints: 41599
1639.24/1687.02 c #Conflicts: 1085000 | #Constraints: 42600
1639.24/1687.02 c #Conflicts: 1086000 | #Constraints: 43603
1639.24/1687.02 c #Conflicts: 1087000 | #Constraints: 44605
1639.24/1687.02 c #Conflicts: 1088000 | #Constraints: 45607
1639.24/1687.02 c #Conflicts: 1089000 | #Constraints: 46609
1639.24/1687.02 c #Conflicts: 1090000 | #Constraints: 47610
1639.24/1687.02 c #Conflicts: 1091000 | #Constraints: 48610
1639.24/1687.02 c #Conflicts: 1092000 | #Constraints: 49610
1639.24/1687.02 c #Conflicts: 1093000 | #Constraints: 50612
1639.24/1687.02 c #Conflicts: 1094000 | #Constraints: 51612
1639.24/1687.02 c #Conflicts: 1095000 | #Constraints: 52612
1639.24/1687.02 c #Conflicts: 1096000 | #Constraints: 53613
1639.24/1687.02 c #Conflicts: 1097000 | #Constraints: 54613
1639.24/1687.02 c #Conflicts: 1098000 | #Constraints: 55614
1639.24/1687.02 c #Conflicts: 1099000 | #Constraints: 56614
1639.24/1687.02 c #Conflicts: 1100000 | #Constraints: 57615
1639.24/1687.02 c #Conflicts: 1101000 | #Constraints: 58615
1639.24/1687.02 c #Conflicts: 1102000 | #Constraints: 59615
1639.24/1687.02 c #Conflicts: 1103000 | #Constraints: 60616
1639.24/1687.02 c #Conflicts: 1104000 | #Constraints: 61617
1639.24/1687.02 c INPROCESSING
1639.24/1687.02 c GARBAGE COLLECT
1639.24/1687.02 c rational objective 6
1689.95/1738.49 c #Conflicts: 1105000 | #Constraints: 41775
1689.95/1738.49 c #Conflicts: 1106000 | #Constraints: 42775
1689.95/1738.49 c #Conflicts: 1107000 | #Constraints: 43775
1689.95/1738.49 c #Conflicts: 1108000 | #Constraints: 44778
1689.95/1738.49 c #Conflicts: 1109000 | #Constraints: 45792
1689.95/1738.49 c #Conflicts: 1110000 | #Constraints: 46815
1689.95/1738.49 c #Conflicts: 1111000 | #Constraints: 47823
1689.95/1738.49 c #Conflicts: 1112000 | #Constraints: 48829
1689.95/1738.49 c #Conflicts: 1113000 | #Constraints: 49831
1689.95/1738.49 c #Conflicts: 1114000 | #Constraints: 50833
1689.95/1738.49 c #Conflicts: 1115000 | #Constraints: 51842
1689.95/1738.49 c #Conflicts: 1116000 | #Constraints: 52846
1689.95/1738.49 c #Conflicts: 1117000 | #Constraints: 53860
1689.95/1738.49 c #Conflicts: 1118000 | #Constraints: 54867
1689.95/1738.49 c #Conflicts: 1119000 | #Constraints: 55884
1689.95/1738.49 c #Conflicts: 1120000 | #Constraints: 56891
1689.95/1738.49 c #Conflicts: 1121000 | #Constraints: 57898
1689.95/1738.49 c #Conflicts: 1122000 | #Constraints: 58899
1689.95/1738.49 c #Conflicts: 1123000 | #Constraints: 59907
1689.95/1738.49 c #Conflicts: 1124000 | #Constraints: 60910
1689.95/1738.49 c #Conflicts: 1125000 | #Constraints: 61912
1689.95/1738.49 c INPROCESSING
1689.95/1738.49 c GARBAGE COLLECT
1689.95/1738.49 c rational objective 6
1727.53/1776.43 c #Conflicts: 1126000 | #Constraints: 41861
1727.53/1776.43 c #Conflicts: 1127000 | #Constraints: 42864
1727.53/1776.43 c #Conflicts: 1128000 | #Constraints: 43868
1727.53/1776.43 c #Conflicts: 1129000 | #Constraints: 44869
1727.53/1776.43 c #Conflicts: 1130000 | #Constraints: 45871
1727.53/1776.43 c #Conflicts: 1131000 | #Constraints: 46879
1727.53/1776.43 c #Conflicts: 1132000 | #Constraints: 47885
1727.53/1776.43 c #Conflicts: 1133000 | #Constraints: 48889
1727.53/1776.43 c #Conflicts: 1134000 | #Constraints: 49894
1727.53/1776.43 c #Conflicts: 1135000 | #Constraints: 50898
1727.53/1776.43 c #Conflicts: 1136000 | #Constraints: 51902
1727.53/1776.43 c #Conflicts: 1137000 | #Constraints: 52905
1727.53/1776.43 c #Conflicts: 1138000 | #Constraints: 53909
1727.53/1776.43 c #Conflicts: 1139000 | #Constraints: 54910
1727.53/1776.43 c #Conflicts: 1140000 | #Constraints: 55911
1727.53/1776.43 c #Conflicts: 1141000 | #Constraints: 56914
1727.53/1776.43 c #Conflicts: 1142000 | #Constraints: 57921
1727.53/1776.43 c #Conflicts: 1143000 | #Constraints: 58923
1727.53/1776.43 c #Conflicts: 1144000 | #Constraints: 59925
1727.53/1776.43 c #Conflicts: 1145000 | #Constraints: 60927
1727.53/1776.43 c #Conflicts: 1146000 | #Constraints: 61928
1727.53/1776.43 c INPROCESSING
1727.53/1776.43 c GARBAGE COLLECT
1727.53/1776.43 c rational objective 6
1775.32/1824.50 c #Conflicts: 1147000 | #Constraints: 41629
1775.32/1824.50 c #Conflicts: 1148000 | #Constraints: 42630
1775.32/1824.50 c #Conflicts: 1149000 | #Constraints: 43633
1775.32/1824.50 c #Conflicts: 1150000 | #Constraints: 44640
1775.32/1824.50 c #Conflicts: 1151000 | #Constraints: 45643
1775.32/1824.50 c #Conflicts: 1152000 | #Constraints: 46645
1775.32/1824.50 c #Conflicts: 1153000 | #Constraints: 47647
1775.32/1824.50 c #Conflicts: 1154000 | #Constraints: 48649
1775.32/1824.50 c #Conflicts: 1155000 | #Constraints: 49650
1775.32/1824.50 c #Conflicts: 1156000 | #Constraints: 50652
1775.32/1824.50 c #Conflicts: 1157000 | #Constraints: 51654
1775.32/1824.50 c #Conflicts: 1158000 | #Constraints: 52655
1775.32/1824.50 c #Conflicts: 1159000 | #Constraints: 53656
1775.32/1824.50 c #Conflicts: 1160000 | #Constraints: 54657
1775.32/1824.50 c #Conflicts: 1161000 | #Constraints: 55658
1775.32/1824.50 c #Conflicts: 1162000 | #Constraints: 56659
1775.32/1824.50 c #Conflicts: 1163000 | #Constraints: 57659
1775.32/1824.50 c #Conflicts: 1164000 | #Constraints: 58660
1775.32/1824.50 c #Conflicts: 1165000 | #Constraints: 59660
1775.32/1824.50 c #Conflicts: 1166000 | #Constraints: 60661
1775.32/1824.50 c #Conflicts: 1167000 | #Constraints: 61661
1775.32/1824.50 c #Conflicts: 1168000 | #Constraints: 62662
1775.32/1824.50 c INPROCESSING
1775.32/1824.50 c GARBAGE COLLECT
1775.32/1824.50 c rational objective 6
1808.42/1857.91 c #Conflicts: 1169000 | #Constraints: 42224
1808.42/1857.91 c #Conflicts: 1170000 | #Constraints: 43224
1808.42/1857.91 c #Conflicts: 1171000 | #Constraints: 44224
1808.42/1857.91 c #Conflicts: 1172000 | #Constraints: 45224
1808.42/1857.91 c #Conflicts: 1173000 | #Constraints: 46225
1808.42/1857.91 c #Conflicts: 1174000 | #Constraints: 47227
1808.42/1857.91 c #Conflicts: 1175000 | #Constraints: 48231
1808.42/1857.91 c #Conflicts: 1176000 | #Constraints: 49233
1808.42/1857.91 c #Conflicts: 1177000 | #Constraints: 50235
1808.42/1857.91 c #Conflicts: 1178000 | #Constraints: 51238
1808.42/1857.91 c #Conflicts: 1179000 | #Constraints: 52247
1808.42/1857.91 c #Conflicts: 1180000 | #Constraints: 53261
1808.42/1857.91 c #Conflicts: 1181000 | #Constraints: 54274
1808.42/1857.91 c #Conflicts: 1182000 | #Constraints: 55275
1808.42/1857.91 c #Conflicts: 1183000 | #Constraints: 56283
1808.42/1857.91 c #Conflicts: 1184000 | #Constraints: 57293
1808.42/1857.91 c #Conflicts: 1185000 | #Constraints: 58295
1808.42/1857.91 c #Conflicts: 1186000 | #Constraints: 59300
1808.42/1857.91 c #Conflicts: 1187000 | #Constraints: 60303
1808.42/1857.91 c #Conflicts: 1188000 | #Constraints: 61306
1808.42/1857.91 c #Conflicts: 1189000 | #Constraints: 62308
1808.42/1857.91 c #Conflicts: 1190000 | #Constraints: 63316
1808.42/1857.91 c INPROCESSING
1808.42/1857.91 c GARBAGE COLLECT
1808.42/1857.91 c rational objective 6
1846.90/1896.89 c #Conflicts: 1191000 | #Constraints: 42588
1846.90/1896.89 c #Conflicts: 1192000 | #Constraints: 43592
1846.90/1896.89 c #Conflicts: 1193000 | #Constraints: 44594
1846.90/1896.89 c #Conflicts: 1194000 | #Constraints: 45600
1846.90/1896.89 c #Conflicts: 1195000 | #Constraints: 46605
1846.90/1896.89 c #Conflicts: 1196000 | #Constraints: 47608
1846.90/1896.89 c #Conflicts: 1197000 | #Constraints: 48610
1846.90/1896.89 c #Conflicts: 1198000 | #Constraints: 49611
1846.90/1896.89 c #Conflicts: 1199000 | #Constraints: 50614
1846.90/1896.89 c #Conflicts: 1200000 | #Constraints: 51616
1846.90/1896.89 c #Conflicts: 1201000 | #Constraints: 52619
1846.90/1896.89 c #Conflicts: 1202000 | #Constraints: 53620
1846.90/1896.89 c #Conflicts: 1203000 | #Constraints: 54620
1846.90/1896.89 c #Conflicts: 1204000 | #Constraints: 55621
1846.90/1896.89 c #Conflicts: 1205000 | #Constraints: 56622
1846.90/1896.89 c #Conflicts: 1206000 | #Constraints: 57624
1846.90/1896.89 c #Conflicts: 1207000 | #Constraints: 58625
1846.90/1896.89 c #Conflicts: 1208000 | #Constraints: 59628
1846.90/1896.89 c #Conflicts: 1209000 | #Constraints: 60629
1846.90/1896.89 c #Conflicts: 1210000 | #Constraints: 61631
1846.90/1896.89 c #Conflicts: 1211000 | #Constraints: 62632
1846.90/1896.89 c #Conflicts: 1212000 | #Constraints: 63632
1846.90/1896.89 c INPROCESSING
1846.90/1896.89 c GARBAGE COLLECT
1846.90/1896.89 c rational objective 6
1892.76/1943.00 c #Conflicts: 1213000 | #Constraints: 42743
1892.76/1943.00 c #Conflicts: 1214000 | #Constraints: 43743
1892.76/1943.00 c #Conflicts: 1215000 | #Constraints: 44744
1892.76/1943.00 c #Conflicts: 1216000 | #Constraints: 45747
1892.76/1943.00 c #Conflicts: 1217000 | #Constraints: 46749
1892.76/1943.00 c #Conflicts: 1218000 | #Constraints: 47750
1892.76/1943.00 c #Conflicts: 1219000 | #Constraints: 48750
1892.76/1943.00 c #Conflicts: 1220000 | #Constraints: 49751
1892.76/1943.00 c #Conflicts: 1221000 | #Constraints: 50752
1892.76/1943.00 c #Conflicts: 1222000 | #Constraints: 51752
1892.76/1943.00 c #Conflicts: 1223000 | #Constraints: 52753
1892.76/1943.00 c #Conflicts: 1224000 | #Constraints: 53753
1892.76/1943.00 c #Conflicts: 1225000 | #Constraints: 54753
1892.76/1943.00 c #Conflicts: 1226000 | #Constraints: 55754
1892.76/1943.00 c #Conflicts: 1227000 | #Constraints: 56755
1892.76/1943.00 c #Conflicts: 1228000 | #Constraints: 57756
1892.76/1943.00 c #Conflicts: 1229000 | #Constraints: 58756
1892.76/1943.00 c #Conflicts: 1230000 | #Constraints: 59757
1892.76/1943.00 c #Conflicts: 1231000 | #Constraints: 60757
1892.76/1943.00 c #Conflicts: 1232000 | #Constraints: 61757
1892.76/1943.00 c #Conflicts: 1233000 | #Constraints: 62757
1892.76/1943.00 c #Conflicts: 1234000 | #Constraints: 63757
1892.76/1943.00 c INPROCESSING
1892.76/1943.00 c GARBAGE COLLECT
1892.76/1943.00 c rational objective 6
1939.33/1990.27 c #Conflicts: 1235000 | #Constraints: 42711
1939.33/1990.27 c #Conflicts: 1236000 | #Constraints: 43711
1939.33/1990.27 c #Conflicts: 1237000 | #Constraints: 44712
1939.33/1990.27 c #Conflicts: 1238000 | #Constraints: 45712
1939.33/1990.27 c #Conflicts: 1239000 | #Constraints: 46714
1939.33/1990.27 c #Conflicts: 1240000 | #Constraints: 47716
1939.33/1990.27 c #Conflicts: 1241000 | #Constraints: 48716
1939.33/1990.27 c #Conflicts: 1242000 | #Constraints: 49717
1939.33/1990.27 c #Conflicts: 1243000 | #Constraints: 50718
1939.33/1990.27 c #Conflicts: 1244000 | #Constraints: 51720
1939.33/1990.27 c #Conflicts: 1245000 | #Constraints: 52721
1939.33/1990.27 c #Conflicts: 1246000 | #Constraints: 53723
1939.33/1990.27 c #Conflicts: 1247000 | #Constraints: 54723
1939.33/1990.27 c #Conflicts: 1248000 | #Constraints: 55726
1939.33/1990.27 c #Conflicts: 1249000 | #Constraints: 56726
1939.33/1990.27 c #Conflicts: 1250000 | #Constraints: 57728
1939.33/1990.27 c #Conflicts: 1251000 | #Constraints: 58729
1939.33/1990.27 c #Conflicts: 1252000 | #Constraints: 59733
1939.33/1990.27 c #Conflicts: 1253000 | #Constraints: 60737
1939.33/1990.27 c #Conflicts: 1254000 | #Constraints: 61737
1939.33/1990.27 c #Conflicts: 1255000 | #Constraints: 62739
1939.33/1990.27 c #Conflicts: 1256000 | #Constraints: 63741
1939.33/1990.27 c INPROCESSING
1939.33/1990.27 c GARBAGE COLLECT
1939.33/1990.27 c rational objective 6
1987.07/2038.24 c #Conflicts: 1257000 | #Constraints: 42513
1987.07/2038.24 c #Conflicts: 1258000 | #Constraints: 43514
1987.07/2038.24 c #Conflicts: 1259000 | #Constraints: 44515
1987.07/2038.24 c #Conflicts: 1260000 | #Constraints: 45516
1987.07/2038.24 c #Conflicts: 1261000 | #Constraints: 46524
1987.07/2038.24 c #Conflicts: 1262000 | #Constraints: 47525
1987.07/2038.24 c #Conflicts: 1263000 | #Constraints: 48526
1987.07/2038.24 c #Conflicts: 1264000 | #Constraints: 49526
1987.07/2038.24 c #Conflicts: 1265000 | #Constraints: 50527
1987.07/2038.24 c #Conflicts: 1266000 | #Constraints: 51527
1987.07/2038.24 c #Conflicts: 1267000 | #Constraints: 52527
1987.07/2038.24 c #Conflicts: 1268000 | #Constraints: 53528
1987.07/2038.24 c #Conflicts: 1269000 | #Constraints: 54529
1987.07/2038.24 c #Conflicts: 1270000 | #Constraints: 55530
1987.07/2038.24 c #Conflicts: 1271000 | #Constraints: 56530
1987.07/2038.24 c #Conflicts: 1272000 | #Constraints: 57531
1987.07/2038.24 c #Conflicts: 1273000 | #Constraints: 58531
1987.07/2038.24 c #Conflicts: 1274000 | #Constraints: 59531
1987.07/2038.24 c #Conflicts: 1275000 | #Constraints: 60532
1987.07/2038.24 c #Conflicts: 1276000 | #Constraints: 61532
1987.07/2038.24 c #Conflicts: 1277000 | #Constraints: 62533
1987.07/2038.24 c #Conflicts: 1278000 | #Constraints: 63533
1987.07/2038.24 c #Conflicts: 1279000 | #Constraints: 64533
1987.07/2038.24 c INPROCESSING
1987.07/2038.24 c GARBAGE COLLECT
1987.07/2038.24 c rational objective 6
2022.36/2073.86 c #Conflicts: 1280000 | #Constraints: 43097
2022.36/2073.86 c #Conflicts: 1281000 | #Constraints: 44097
2022.36/2073.86 c #Conflicts: 1282000 | #Constraints: 45097
2022.36/2073.86 c #Conflicts: 1283000 | #Constraints: 46097
2022.36/2073.86 c #Conflicts: 1284000 | #Constraints: 47097
2022.36/2073.86 c #Conflicts: 1285000 | #Constraints: 48097
2022.36/2073.86 c #Conflicts: 1286000 | #Constraints: 49097
2022.36/2073.86 c #Conflicts: 1287000 | #Constraints: 50097
2022.36/2073.86 c #Conflicts: 1288000 | #Constraints: 51097
2022.36/2073.86 c #Conflicts: 1289000 | #Constraints: 52099
2022.36/2073.86 c #Conflicts: 1290000 | #Constraints: 53102
2022.36/2073.86 c #Conflicts: 1291000 | #Constraints: 54105
2022.36/2073.86 c #Conflicts: 1292000 | #Constraints: 55109
2022.36/2073.86 c #Conflicts: 1293000 | #Constraints: 56120
2022.36/2073.86 c #Conflicts: 1294000 | #Constraints: 57123
2022.36/2073.86 c #Conflicts: 1295000 | #Constraints: 58128
2022.36/2073.86 c #Conflicts: 1296000 | #Constraints: 59132
2022.36/2073.86 c #Conflicts: 1297000 | #Constraints: 60137
2022.36/2073.86 c #Conflicts: 1298000 | #Constraints: 61139
2022.36/2073.86 c #Conflicts: 1299000 | #Constraints: 62144
2022.36/2073.86 c #Conflicts: 1300000 | #Constraints: 63145
2022.36/2073.86 c #Conflicts: 1301000 | #Constraints: 64148
2022.36/2073.86 c #Conflicts: 1302000 | #Constraints: 65150
2022.36/2073.86 c INPROCESSING
2022.36/2073.86 c GARBAGE COLLECT
2022.36/2073.86 c rational objective 6
2064.52/2116.29 c #Conflicts: 1303000 | #Constraints: 43509
2064.52/2116.29 c #Conflicts: 1304000 | #Constraints: 44509
2064.52/2116.29 c #Conflicts: 1305000 | #Constraints: 45509
2064.52/2116.29 c #Conflicts: 1306000 | #Constraints: 46509
2064.52/2116.29 c #Conflicts: 1307000 | #Constraints: 47509
2064.52/2116.29 c #Conflicts: 1308000 | #Constraints: 48509
2064.52/2116.29 c #Conflicts: 1309000 | #Constraints: 49509
2064.52/2116.29 c #Conflicts: 1310000 | #Constraints: 50509
2064.52/2116.29 c #Conflicts: 1311000 | #Constraints: 51510
2064.52/2116.29 c #Conflicts: 1312000 | #Constraints: 52510
2064.52/2116.29 c #Conflicts: 1313000 | #Constraints: 53511
2064.52/2116.29 c #Conflicts: 1314000 | #Constraints: 54512
2064.52/2116.29 c #Conflicts: 1315000 | #Constraints: 55512
2064.52/2116.29 c #Conflicts: 1316000 | #Constraints: 56512
2064.52/2116.29 c #Conflicts: 1317000 | #Constraints: 57512
2064.52/2116.29 c #Conflicts: 1318000 | #Constraints: 58513
2064.52/2116.29 c #Conflicts: 1319000 | #Constraints: 59513
2064.52/2116.29 c #Conflicts: 1320000 | #Constraints: 60514
2064.52/2116.29 c #Conflicts: 1321000 | #Constraints: 61514
2064.52/2116.29 c #Conflicts: 1322000 | #Constraints: 62515
2064.52/2116.29 c #Conflicts: 1323000 | #Constraints: 63515
2064.52/2116.29 c #Conflicts: 1324000 | #Constraints: 64516
2064.52/2116.29 c #Conflicts: 1325000 | #Constraints: 65516
2064.52/2116.29 c INPROCESSING
2064.52/2116.29 c GARBAGE COLLECT
2064.52/2116.29 c rational objective 6
2115.77/2168.19 c #Conflicts: 1326000 | #Constraints: 43694
2115.77/2168.19 c #Conflicts: 1327000 | #Constraints: 44694
2115.77/2168.19 c #Conflicts: 1328000 | #Constraints: 45695
2115.77/2168.19 c #Conflicts: 1329000 | #Constraints: 46697
2115.77/2168.19 c #Conflicts: 1330000 | #Constraints: 47697
2115.77/2168.19 c #Conflicts: 1331000 | #Constraints: 48698
2115.77/2168.19 c #Conflicts: 1332000 | #Constraints: 49698
2115.77/2168.19 c #Conflicts: 1333000 | #Constraints: 50699
2115.77/2168.19 c #Conflicts: 1334000 | #Constraints: 51700
2115.77/2168.19 c #Conflicts: 1335000 | #Constraints: 52701
2115.77/2168.19 c #Conflicts: 1336000 | #Constraints: 53701
2115.77/2168.19 c #Conflicts: 1337000 | #Constraints: 54703
2115.77/2168.19 c #Conflicts: 1338000 | #Constraints: 55703
2115.77/2168.19 c #Conflicts: 1339000 | #Constraints: 56704
2115.77/2168.19 c #Conflicts: 1340000 | #Constraints: 57704
2115.77/2168.19 c #Conflicts: 1341000 | #Constraints: 58705
2115.77/2168.19 c #Conflicts: 1342000 | #Constraints: 59705
2115.77/2168.19 c #Conflicts: 1343000 | #Constraints: 60706
2115.77/2168.19 c #Conflicts: 1344000 | #Constraints: 61706
2115.77/2168.19 c #Conflicts: 1345000 | #Constraints: 62707
2115.77/2168.19 c #Conflicts: 1346000 | #Constraints: 63707
2115.77/2168.19 c #Conflicts: 1347000 | #Constraints: 64708
2115.77/2168.19 c #Conflicts: 1348000 | #Constraints: 65708
2115.77/2168.19 c INPROCESSING
2115.77/2168.19 c GARBAGE COLLECT
2115.77/2168.19 c rational objective 6
2168.38/2221.02 c #Conflicts: 1349000 | #Constraints: 43712
2168.38/2221.02 c #Conflicts: 1350000 | #Constraints: 44714
2168.38/2221.02 c #Conflicts: 1351000 | #Constraints: 45717
2168.38/2221.02 c #Conflicts: 1352000 | #Constraints: 46718
2168.38/2221.02 c #Conflicts: 1353000 | #Constraints: 47724
2168.38/2221.02 c #Conflicts: 1354000 | #Constraints: 48728
2168.38/2221.02 c #Conflicts: 1355000 | #Constraints: 49729
2168.38/2221.02 c #Conflicts: 1356000 | #Constraints: 50732
2168.38/2221.02 c #Conflicts: 1357000 | #Constraints: 51743
2168.38/2221.02 c #Conflicts: 1358000 | #Constraints: 52746
2168.38/2221.02 c #Conflicts: 1359000 | #Constraints: 53749
2168.38/2221.02 c #Conflicts: 1360000 | #Constraints: 54751
2168.38/2221.02 c #Conflicts: 1361000 | #Constraints: 55752
2168.38/2221.02 c #Conflicts: 1362000 | #Constraints: 56753
2168.38/2221.02 c #Conflicts: 1363000 | #Constraints: 57754
2168.38/2221.02 c #Conflicts: 1364000 | #Constraints: 58755
2168.38/2221.02 c #Conflicts: 1365000 | #Constraints: 59755
2168.38/2221.02 c #Conflicts: 1366000 | #Constraints: 60755
2168.38/2221.02 c #Conflicts: 1367000 | #Constraints: 61755
2168.38/2221.02 c #Conflicts: 1368000 | #Constraints: 62755
2168.38/2221.02 c #Conflicts: 1369000 | #Constraints: 63755
2168.38/2221.02 c #Conflicts: 1370000 | #Constraints: 64755
2168.38/2221.02 c #Conflicts: 1371000 | #Constraints: 65755
2168.38/2221.02 c INPROCESSING
2168.38/2221.02 c GARBAGE COLLECT
2168.38/2221.02 c rational objective 6
2226.17/2279.17 c #Conflicts: 1372000 | #Constraints: 43487
2226.17/2279.17 c #Conflicts: 1373000 | #Constraints: 44488
2226.17/2279.17 c #Conflicts: 1374000 | #Constraints: 45489
2226.17/2279.17 c #Conflicts: 1375000 | #Constraints: 46490
2226.17/2279.17 c #Conflicts: 1376000 | #Constraints: 47493
2226.17/2279.17 c #Conflicts: 1377000 | #Constraints: 48494
2226.17/2279.17 c #Conflicts: 1378000 | #Constraints: 49496
2226.17/2279.17 c #Conflicts: 1379000 | #Constraints: 50498
2226.17/2279.17 c #Conflicts: 1380000 | #Constraints: 51500
2226.17/2279.17 c #Conflicts: 1381000 | #Constraints: 52502
2226.17/2279.17 c #Conflicts: 1382000 | #Constraints: 53504
2226.17/2279.17 c #Conflicts: 1383000 | #Constraints: 54505
2226.17/2279.17 c #Conflicts: 1384000 | #Constraints: 55507
2226.17/2279.17 c #Conflicts: 1385000 | #Constraints: 56508
2226.17/2279.17 c #Conflicts: 1386000 | #Constraints: 57508
2226.17/2279.17 c #Conflicts: 1387000 | #Constraints: 58509
2226.17/2279.17 c #Conflicts: 1388000 | #Constraints: 59510
2226.17/2279.17 c #Conflicts: 1389000 | #Constraints: 60511
2226.17/2279.17 c #Conflicts: 1390000 | #Constraints: 61511
2226.17/2279.17 c #Conflicts: 1391000 | #Constraints: 62511
2226.17/2279.17 c #Conflicts: 1392000 | #Constraints: 63512
2226.17/2279.17 c #Conflicts: 1393000 | #Constraints: 64512
2226.17/2279.17 c #Conflicts: 1394000 | #Constraints: 65512
2226.17/2279.17 c #Conflicts: 1395000 | #Constraints: 66512
2226.17/2279.17 c INPROCESSING
2226.17/2279.17 c GARBAGE COLLECT
2226.17/2279.17 c rational objective 6
2283.47/2336.84 c #Conflicts: 1396000 | #Constraints: 44066
2283.47/2336.84 c #Conflicts: 1397000 | #Constraints: 45066
2283.47/2336.84 c #Conflicts: 1398000 | #Constraints: 46066
2283.47/2336.84 c #Conflicts: 1399000 | #Constraints: 47066
2283.47/2336.84 c #Conflicts: 1400000 | #Constraints: 48067
2283.47/2336.84 c #Conflicts: 1401000 | #Constraints: 49068
2283.47/2336.84 c #Conflicts: 1402000 | #Constraints: 50069
2283.47/2336.84 c #Conflicts: 1403000 | #Constraints: 51071
2283.47/2336.84 c #Conflicts: 1404000 | #Constraints: 52074
2283.47/2336.84 c #Conflicts: 1405000 | #Constraints: 53077
2283.47/2336.84 c #Conflicts: 1406000 | #Constraints: 54083
2283.47/2336.84 c #Conflicts: 1407000 | #Constraints: 55086
2283.47/2336.84 c #Conflicts: 1408000 | #Constraints: 56090
2283.47/2336.84 c #Conflicts: 1409000 | #Constraints: 57091
2283.47/2336.84 c #Conflicts: 1410000 | #Constraints: 58092
2283.47/2336.84 c #Conflicts: 1411000 | #Constraints: 59093
2283.47/2336.84 c #Conflicts: 1412000 | #Constraints: 60094
2283.47/2336.84 c #Conflicts: 1413000 | #Constraints: 61095
2283.47/2336.84 c #Conflicts: 1414000 | #Constraints: 62097
2283.47/2336.84 c #Conflicts: 1415000 | #Constraints: 63098
2283.47/2336.84 c #Conflicts: 1416000 | #Constraints: 64100
2283.47/2336.84 c #Conflicts: 1417000 | #Constraints: 65103
2283.47/2336.84 c #Conflicts: 1418000 | #Constraints: 66106
2283.47/2336.84 c #Conflicts: 1419000 | #Constraints: 67108
2283.47/2336.84 c INPROCESSING
2283.47/2336.84 c GARBAGE COLLECT
2283.47/2336.84 c rational objective 6
2329.51/2383.13 c #Conflicts: 1420000 | #Constraints: 44465
2329.51/2383.13 c #Conflicts: 1421000 | #Constraints: 45467
2329.51/2383.13 c #Conflicts: 1422000 | #Constraints: 46471
2329.51/2383.13 c #Conflicts: 1423000 | #Constraints: 47474
2329.51/2383.13 c #Conflicts: 1424000 | #Constraints: 48475
2329.51/2383.13 c #Conflicts: 1425000 | #Constraints: 49476
2329.51/2383.13 c #Conflicts: 1426000 | #Constraints: 50478
2329.51/2383.13 c #Conflicts: 1427000 | #Constraints: 51479
2329.51/2383.13 c #Conflicts: 1428000 | #Constraints: 52480
2329.51/2383.13 c #Conflicts: 1429000 | #Constraints: 53482
2329.51/2383.13 c #Conflicts: 1430000 | #Constraints: 54483
2329.51/2383.13 c #Conflicts: 1431000 | #Constraints: 55483
2329.51/2383.13 c #Conflicts: 1432000 | #Constraints: 56484
2329.51/2383.13 c #Conflicts: 1433000 | #Constraints: 57485
2329.51/2383.13 c #Conflicts: 1434000 | #Constraints: 58486
2329.51/2383.13 c #Conflicts: 1435000 | #Constraints: 59486
2329.51/2383.13 c #Conflicts: 1436000 | #Constraints: 60486
2329.51/2383.13 c #Conflicts: 1437000 | #Constraints: 61486
2329.51/2383.13 c #Conflicts: 1438000 | #Constraints: 62487
2329.51/2383.13 c #Conflicts: 1439000 | #Constraints: 63488
2329.51/2383.13 c #Conflicts: 1440000 | #Constraints: 64489
2329.51/2383.13 c #Conflicts: 1441000 | #Constraints: 65489
2329.51/2383.13 c #Conflicts: 1442000 | #Constraints: 66490
2329.51/2383.13 c #Conflicts: 1443000 | #Constraints: 67490
2329.51/2383.13 c INPROCESSING
2329.51/2383.13 c GARBAGE COLLECT
2329.51/2383.13 c rational objective 6
2373.92/2427.85 c #Conflicts: 1444000 | #Constraints: 44670
2373.92/2427.85 c #Conflicts: 1445000 | #Constraints: 45670
2373.92/2427.85 c #Conflicts: 1446000 | #Constraints: 46671
2373.92/2427.85 c #Conflicts: 1447000 | #Constraints: 47673
2373.92/2427.85 c #Conflicts: 1448000 | #Constraints: 48677
2373.92/2427.85 c #Conflicts: 1449000 | #Constraints: 49678
2373.92/2427.85 c #Conflicts: 1450000 | #Constraints: 50681
2373.92/2427.85 c #Conflicts: 1451000 | #Constraints: 51682
2373.92/2427.85 c #Conflicts: 1452000 | #Constraints: 52685
2373.92/2427.85 c #Conflicts: 1453000 | #Constraints: 53687
2373.92/2427.85 c #Conflicts: 1454000 | #Constraints: 54688
2373.92/2427.85 c #Conflicts: 1455000 | #Constraints: 55689
2373.92/2427.85 c #Conflicts: 1456000 | #Constraints: 56690
2373.92/2427.85 c #Conflicts: 1457000 | #Constraints: 57691
2373.92/2427.85 c #Conflicts: 1458000 | #Constraints: 58691
2373.92/2427.85 c #Conflicts: 1459000 | #Constraints: 59692
2373.92/2427.85 c #Conflicts: 1460000 | #Constraints: 60693
2373.92/2427.85 c #Conflicts: 1461000 | #Constraints: 61695
2373.92/2427.85 c #Conflicts: 1462000 | #Constraints: 62696
2373.92/2427.85 c #Conflicts: 1463000 | #Constraints: 63696
2373.92/2427.85 c #Conflicts: 1464000 | #Constraints: 64697
2373.92/2427.85 c #Conflicts: 1465000 | #Constraints: 65697
2373.92/2427.85 c #Conflicts: 1466000 | #Constraints: 66697
2373.92/2427.85 c #Conflicts: 1467000 | #Constraints: 67698
2373.92/2427.85 c INPROCESSING
2373.92/2427.85 c GARBAGE COLLECT
2373.92/2427.85 c rational objective 6
2416.76/2471.07 c #Conflicts: 1468000 | #Constraints: 44628
2416.76/2471.07 c #Conflicts: 1469000 | #Constraints: 45628
2416.76/2471.07 c #Conflicts: 1470000 | #Constraints: 46629
2416.76/2471.07 c #Conflicts: 1471000 | #Constraints: 47629
2416.76/2471.07 c #Conflicts: 1472000 | #Constraints: 48631
2416.76/2471.07 c #Conflicts: 1473000 | #Constraints: 49633
2416.76/2471.07 c #Conflicts: 1474000 | #Constraints: 50634
2416.76/2471.07 c #Conflicts: 1475000 | #Constraints: 51635
2416.76/2471.07 c #Conflicts: 1476000 | #Constraints: 52637
2416.76/2471.07 c #Conflicts: 1477000 | #Constraints: 53638
2416.76/2471.07 c #Conflicts: 1478000 | #Constraints: 54641
2416.76/2471.07 c #Conflicts: 1479000 | #Constraints: 55644
2416.76/2471.07 c #Conflicts: 1480000 | #Constraints: 56648
2416.76/2471.07 c #Conflicts: 1481000 | #Constraints: 57649
2416.76/2471.07 c #Conflicts: 1482000 | #Constraints: 58650
2416.76/2471.07 c #Conflicts: 1483000 | #Constraints: 59651
2416.76/2471.07 c #Conflicts: 1484000 | #Constraints: 60651
2416.76/2471.07 c #Conflicts: 1485000 | #Constraints: 61651
2416.76/2471.07 c #Conflicts: 1486000 | #Constraints: 62652
2416.76/2471.07 c #Conflicts: 1487000 | #Constraints: 63653
2416.76/2471.07 c #Conflicts: 1488000 | #Constraints: 64653
2416.76/2471.07 c #Conflicts: 1489000 | #Constraints: 65653
2416.76/2471.07 c #Conflicts: 1490000 | #Constraints: 66653
2416.76/2471.07 c #Conflicts: 1491000 | #Constraints: 67653
2416.76/2471.07 c INPROCESSING
2416.76/2471.07 c GARBAGE COLLECT
2416.76/2471.07 c rational objective 6
2473.09/2527.68 c #Conflicts: 1492000 | #Constraints: 44439
2473.09/2527.68 c #Conflicts: 1493000 | #Constraints: 45439
2473.09/2527.68 c #Conflicts: 1494000 | #Constraints: 46440
2473.09/2527.68 c #Conflicts: 1495000 | #Constraints: 47443
2473.09/2527.68 c #Conflicts: 1496000 | #Constraints: 48447
2473.09/2527.68 c #Conflicts: 1497000 | #Constraints: 49448
2473.09/2527.68 c #Conflicts: 1498000 | #Constraints: 50448
2473.09/2527.68 c #Conflicts: 1499000 | #Constraints: 51450
2473.09/2527.68 c #Conflicts: 1500000 | #Constraints: 52452
2473.09/2527.68 c #Conflicts: 1501000 | #Constraints: 53452
2473.09/2527.68 c #Conflicts: 1502000 | #Constraints: 54453
2473.09/2527.68 c #Conflicts: 1503000 | #Constraints: 55453
2473.09/2527.68 c #Conflicts: 1504000 | #Constraints: 56453
2473.09/2527.68 c #Conflicts: 1505000 | #Constraints: 57453
2473.09/2527.68 c #Conflicts: 1506000 | #Constraints: 58455
2473.09/2527.68 c #Conflicts: 1507000 | #Constraints: 59457
2473.09/2527.68 c #Conflicts: 1508000 | #Constraints: 60460
2473.09/2527.68 c #Conflicts: 1509000 | #Constraints: 61463
2473.09/2527.68 c #Conflicts: 1510000 | #Constraints: 62465
2473.09/2527.68 c #Conflicts: 1511000 | #Constraints: 63468
2473.09/2527.68 c #Conflicts: 1512000 | #Constraints: 64469
2473.09/2527.68 c #Conflicts: 1513000 | #Constraints: 65469
2473.09/2527.68 c #Conflicts: 1514000 | #Constraints: 66469
2473.09/2527.68 c #Conflicts: 1515000 | #Constraints: 67470
2473.09/2527.68 c #Conflicts: 1516000 | #Constraints: 68471
2473.09/2527.68 c INPROCESSING
2473.09/2527.68 c GARBAGE COLLECT
2473.09/2527.68 c rational objective 6
2522.26/2577.48 c #Conflicts: 1517000 | #Constraints: 45035
2522.26/2577.48 c #Conflicts: 1518000 | #Constraints: 46035
2522.26/2577.48 c #Conflicts: 1519000 | #Constraints: 47035
2522.26/2577.48 c #Conflicts: 1520000 | #Constraints: 48036
2522.26/2577.48 c #Conflicts: 1521000 | #Constraints: 49036
2522.26/2577.48 c #Conflicts: 1522000 | #Constraints: 50040
2522.26/2577.48 c #Conflicts: 1523000 | #Constraints: 51041
2522.26/2577.48 c #Conflicts: 1524000 | #Constraints: 52044
2522.26/2577.48 c #Conflicts: 1525000 | #Constraints: 53046
2522.26/2577.48 c #Conflicts: 1526000 | #Constraints: 54048
2522.26/2577.48 c #Conflicts: 1527000 | #Constraints: 55049
2522.26/2577.48 c #Conflicts: 1528000 | #Constraints: 56050
2522.26/2577.48 c #Conflicts: 1529000 | #Constraints: 57051
2522.26/2577.48 c #Conflicts: 1530000 | #Constraints: 58053
2522.26/2577.48 c #Conflicts: 1531000 | #Constraints: 59053
2522.26/2577.48 c #Conflicts: 1532000 | #Constraints: 60053
2522.26/2577.48 c #Conflicts: 1533000 | #Constraints: 61054
2522.26/2577.48 c #Conflicts: 1534000 | #Constraints: 62055
2522.26/2577.48 c #Conflicts: 1535000 | #Constraints: 63055
2522.26/2577.48 c #Conflicts: 1536000 | #Constraints: 64056
2522.26/2577.48 c #Conflicts: 1537000 | #Constraints: 65056
2522.26/2577.48 c #Conflicts: 1538000 | #Constraints: 66056
2522.26/2577.48 c #Conflicts: 1539000 | #Constraints: 67056
2522.26/2577.48 c #Conflicts: 1540000 | #Constraints: 68056
2522.26/2577.48 c #Conflicts: 1541000 | #Constraints: 69056
2522.26/2577.48 c INPROCESSING
2522.26/2577.48 c GARBAGE COLLECT
2522.26/2577.48 c rational objective 6
2573.39/2629.29 c #Conflicts: 1542000 | #Constraints: 45443
2573.39/2629.29 c #Conflicts: 1543000 | #Constraints: 46443
2573.39/2629.29 c #Conflicts: 1544000 | #Constraints: 47443
2573.39/2629.29 c #Conflicts: 1545000 | #Constraints: 48443
2573.39/2629.29 c #Conflicts: 1546000 | #Constraints: 49444
2573.39/2629.29 c #Conflicts: 1547000 | #Constraints: 50444
2573.39/2629.29 c #Conflicts: 1548000 | #Constraints: 51444
2573.39/2629.29 c #Conflicts: 1549000 | #Constraints: 52450
2573.39/2629.29 c #Conflicts: 1550000 | #Constraints: 53452
2573.39/2629.29 c #Conflicts: 1551000 | #Constraints: 54454
2573.39/2629.29 c #Conflicts: 1552000 | #Constraints: 55457
2573.39/2629.29 c #Conflicts: 1553000 | #Constraints: 56466
2573.39/2629.29 c #Conflicts: 1554000 | #Constraints: 57476
2573.39/2629.29 c #Conflicts: 1555000 | #Constraints: 58480
2573.39/2629.29 c #Conflicts: 1556000 | #Constraints: 59485
2573.39/2629.29 c #Conflicts: 1557000 | #Constraints: 60495
2573.39/2629.29 c #Conflicts: 1558000 | #Constraints: 61502
2573.39/2629.29 c #Conflicts: 1559000 | #Constraints: 62511
2573.39/2629.29 c #Conflicts: 1560000 | #Constraints: 63517
2573.39/2629.29 c #Conflicts: 1561000 | #Constraints: 64518
2573.39/2629.29 c #Conflicts: 1562000 | #Constraints: 65525
2573.39/2629.29 c #Conflicts: 1563000 | #Constraints: 66527
2573.39/2629.29 c #Conflicts: 1564000 | #Constraints: 67532
2573.39/2629.29 c #Conflicts: 1565000 | #Constraints: 68533
2573.39/2629.29 c #Conflicts: 1566000 | #Constraints: 69534
2573.39/2629.29 c INPROCESSING
2573.39/2629.29 c GARBAGE COLLECT
2573.39/2629.29 c rational objective 6
2615.93/2672.37 c #Conflicts: 1567000 | #Constraints: 45635
2615.93/2672.37 c #Conflicts: 1568000 | #Constraints: 46635
2615.93/2672.37 c #Conflicts: 1569000 | #Constraints: 47635
2615.93/2672.37 c #Conflicts: 1570000 | #Constraints: 48635
2615.93/2672.37 c #Conflicts: 1571000 | #Constraints: 49637
2615.93/2672.37 c #Conflicts: 1572000 | #Constraints: 50639
2615.93/2672.37 c #Conflicts: 1573000 | #Constraints: 51641
2615.93/2672.37 c #Conflicts: 1574000 | #Constraints: 52643
2615.93/2672.37 c #Conflicts: 1575000 | #Constraints: 53643
2615.93/2672.37 c #Conflicts: 1576000 | #Constraints: 54644
2615.93/2672.37 c #Conflicts: 1577000 | #Constraints: 55646
2615.93/2672.37 c #Conflicts: 1578000 | #Constraints: 56654
2615.93/2672.37 c #Conflicts: 1579000 | #Constraints: 57672
2615.93/2672.37 c #Conflicts: 1580000 | #Constraints: 58684
2615.93/2672.37 c #Conflicts: 1581000 | #Constraints: 59696
2615.93/2672.37 c #Conflicts: 1582000 | #Constraints: 60701
2615.93/2672.37 c #Conflicts: 1583000 | #Constraints: 61704
2615.93/2672.37 c #Conflicts: 1584000 | #Constraints: 62715
2615.93/2672.37 c #Conflicts: 1585000 | #Constraints: 63730
2615.93/2672.37 c #Conflicts: 1586000 | #Constraints: 64749
2615.93/2672.37 c #Conflicts: 1587000 | #Constraints: 65762
2615.93/2672.37 c #Conflicts: 1588000 | #Constraints: 66773
2615.93/2672.37 c #Conflicts: 1589000 | #Constraints: 67778
2615.93/2672.37 c #Conflicts: 1590000 | #Constraints: 68785
2615.93/2672.37 c #Conflicts: 1591000 | #Constraints: 69787
2615.93/2672.37 c INPROCESSING
2615.93/2672.37 c GARBAGE COLLECT
2615.93/2672.37 c rational objective 6
2666.24/2723.06 c #Conflicts: 1592000 | #Constraints: 45662
2666.24/2723.06 c #Conflicts: 1593000 | #Constraints: 46664
2666.24/2723.06 c #Conflicts: 1594000 | #Constraints: 47666
2666.24/2723.06 c #Conflicts: 1595000 | #Constraints: 48667
2666.24/2723.06 c #Conflicts: 1596000 | #Constraints: 49670
2666.24/2723.06 c #Conflicts: 1597000 | #Constraints: 50672
2666.24/2723.06 c #Conflicts: 1598000 | #Constraints: 51673
2666.24/2723.06 c #Conflicts: 1599000 | #Constraints: 52676
2666.24/2723.06 c #Conflicts: 1600000 | #Constraints: 53678
2666.24/2723.06 c #Conflicts: 1601000 | #Constraints: 54682
2666.24/2723.06 c #Conflicts: 1602000 | #Constraints: 55698
2666.24/2723.06 c #Conflicts: 1603000 | #Constraints: 56699
2666.24/2723.06 c #Conflicts: 1604000 | #Constraints: 57701
2666.24/2723.06 c #Conflicts: 1605000 | #Constraints: 58705
2666.24/2723.06 c #Conflicts: 1606000 | #Constraints: 59709
2666.24/2723.06 c #Conflicts: 1607000 | #Constraints: 60710
2666.24/2723.06 c #Conflicts: 1608000 | #Constraints: 61710
2666.24/2723.06 c #Conflicts: 1609000 | #Constraints: 62711
2666.24/2723.06 c #Conflicts: 1610000 | #Constraints: 63712
2666.24/2723.06 c #Conflicts: 1611000 | #Constraints: 64714
2666.24/2723.06 c #Conflicts: 1612000 | #Constraints: 65716
2666.24/2723.06 c #Conflicts: 1613000 | #Constraints: 66716
2666.24/2723.06 c #Conflicts: 1614000 | #Constraints: 67716
2666.24/2723.06 c #Conflicts: 1615000 | #Constraints: 68716
2666.24/2723.06 c #Conflicts: 1616000 | #Constraints: 69716
2666.24/2723.06 c INPROCESSING
2666.24/2723.06 c GARBAGE COLLECT
2666.24/2723.06 c rational objective 6
2740.50/2797.95 c #Conflicts: 1617000 | #Constraints: 45476
2740.50/2797.95 c #Conflicts: 1618000 | #Constraints: 46480
2740.50/2797.95 c #Conflicts: 1619000 | #Constraints: 47483
2740.50/2797.95 c #Conflicts: 1620000 | #Constraints: 48489
2740.50/2797.95 c #Conflicts: 1621000 | #Constraints: 49490
2740.50/2797.95 c #Conflicts: 1622000 | #Constraints: 50494
2740.50/2797.95 c #Conflicts: 1623000 | #Constraints: 51496
2740.50/2797.95 c #Conflicts: 1624000 | #Constraints: 52498
2740.50/2797.95 c #Conflicts: 1625000 | #Constraints: 53499
2740.50/2797.95 c #Conflicts: 1626000 | #Constraints: 54500
2740.50/2797.95 c #Conflicts: 1627000 | #Constraints: 55501
2740.50/2797.95 c #Conflicts: 1628000 | #Constraints: 56502
2740.50/2797.95 c #Conflicts: 1629000 | #Constraints: 57503
2740.50/2797.95 c #Conflicts: 1630000 | #Constraints: 58503
2740.50/2797.95 c #Conflicts: 1631000 | #Constraints: 59504
2740.50/2797.95 c #Conflicts: 1632000 | #Constraints: 60505
2740.50/2797.95 c #Conflicts: 1633000 | #Constraints: 61506
2740.50/2797.95 c #Conflicts: 1634000 | #Constraints: 62509
2740.50/2797.95 c #Conflicts: 1635000 | #Constraints: 63509
2740.50/2797.95 c #Conflicts: 1636000 | #Constraints: 64511
2740.50/2797.95 c #Conflicts: 1637000 | #Constraints: 65512
2740.50/2797.95 c #Conflicts: 1638000 | #Constraints: 66513
2740.50/2797.95 c #Conflicts: 1639000 | #Constraints: 67513
2740.50/2797.95 c #Conflicts: 1640000 | #Constraints: 68514
2740.50/2797.95 c #Conflicts: 1641000 | #Constraints: 69515
2740.50/2797.95 c #Conflicts: 1642000 | #Constraints: 70516
2740.50/2797.95 c INPROCESSING
2740.50/2797.95 c GARBAGE COLLECT
2740.50/2797.95 c rational objective 6
2785.23/2842.95 c #Conflicts: 1643000 | #Constraints: 46042
2785.23/2842.95 c #Conflicts: 1644000 | #Constraints: 47043
2785.23/2842.95 c #Conflicts: 1645000 | #Constraints: 48044
2785.23/2842.95 c #Conflicts: 1646000 | #Constraints: 49052
2785.23/2842.95 c #Conflicts: 1647000 | #Constraints: 50054
2785.23/2842.95 c #Conflicts: 1648000 | #Constraints: 51057
2785.23/2842.95 c #Conflicts: 1649000 | #Constraints: 52058
2785.23/2842.95 c #Conflicts: 1650000 | #Constraints: 53060
2785.23/2842.95 c #Conflicts: 1651000 | #Constraints: 54062
2785.23/2842.95 c #Conflicts: 1652000 | #Constraints: 55062
2785.23/2842.95 c #Conflicts: 1653000 | #Constraints: 56062
2785.23/2842.95 c #Conflicts: 1654000 | #Constraints: 57062
2785.23/2842.95 c #Conflicts: 1655000 | #Constraints: 58064
2785.23/2842.95 c #Conflicts: 1656000 | #Constraints: 59065
2785.23/2842.95 c #Conflicts: 1657000 | #Constraints: 60065
2785.23/2842.95 c #Conflicts: 1658000 | #Constraints: 61065
2785.23/2842.95 c #Conflicts: 1659000 | #Constraints: 62065
2785.23/2842.95 c #Conflicts: 1660000 | #Constraints: 63066
2785.23/2842.95 c #Conflicts: 1661000 | #Constraints: 64067
2785.23/2842.95 c #Conflicts: 1662000 | #Constraints: 65067
2785.23/2842.95 c #Conflicts: 1663000 | #Constraints: 66067
2785.23/2842.95 c #Conflicts: 1664000 | #Constraints: 67067
2785.23/2842.95 c #Conflicts: 1665000 | #Constraints: 68068
2785.23/2842.95 c #Conflicts: 1666000 | #Constraints: 69068
2785.23/2842.95 c #Conflicts: 1667000 | #Constraints: 70068
2785.23/2842.95 c #Conflicts: 1668000 | #Constraints: 71068
2785.23/2842.95 c INPROCESSING
2785.23/2842.95 c GARBAGE COLLECT
2785.23/2842.95 c rational objective 6
2839.66/2898.30 c #Conflicts: 1669000 | #Constraints: 46410
2839.66/2898.30 c #Conflicts: 1670000 | #Constraints: 47410
2839.66/2898.30 c #Conflicts: 1671000 | #Constraints: 48411
2839.66/2898.30 c #Conflicts: 1672000 | #Constraints: 49411
2839.66/2898.30 c #Conflicts: 1673000 | #Constraints: 50412
2839.66/2898.30 c #Conflicts: 1674000 | #Constraints: 51414
2839.66/2898.30 c #Conflicts: 1675000 | #Constraints: 52416
2839.66/2898.30 c #Conflicts: 1676000 | #Constraints: 53424
2839.66/2898.30 c #Conflicts: 1677000 | #Constraints: 54429
2839.66/2898.30 c #Conflicts: 1678000 | #Constraints: 55432
2839.66/2898.30 c #Conflicts: 1679000 | #Constraints: 56434
2839.66/2898.30 c #Conflicts: 1680000 | #Constraints: 57434
2839.66/2898.30 c #Conflicts: 1681000 | #Constraints: 58435
2839.66/2898.30 c #Conflicts: 1682000 | #Constraints: 59437
2839.66/2898.30 c #Conflicts: 1683000 | #Constraints: 60438
2839.66/2898.30 c #Conflicts: 1684000 | #Constraints: 61439
2839.66/2898.30 c #Conflicts: 1685000 | #Constraints: 62441
2839.66/2898.30 c #Conflicts: 1686000 | #Constraints: 63442
2839.66/2898.30 c #Conflicts: 1687000 | #Constraints: 64442
2839.66/2898.30 c #Conflicts: 1688000 | #Constraints: 65442
2839.66/2898.30 c #Conflicts: 1689000 | #Constraints: 66443
2839.66/2898.30 c #Conflicts: 1690000 | #Constraints: 67443
2839.66/2898.30 c #Conflicts: 1691000 | #Constraints: 68443
2839.66/2898.30 c #Conflicts: 1692000 | #Constraints: 69443
2839.66/2898.30 c #Conflicts: 1693000 | #Constraints: 70443
2839.66/2898.30 c #Conflicts: 1694000 | #Constraints: 71443
2839.66/2898.30 c INPROCESSING
2839.66/2898.30 c GARBAGE COLLECT
2839.66/2898.30 c rational objective 6
2898.32/2958.38 c #Conflicts: 1695000 | #Constraints: 46622
2898.32/2958.38 c #Conflicts: 1696000 | #Constraints: 47622
2898.32/2958.38 c #Conflicts: 1697000 | #Constraints: 48626
2898.32/2958.38 c #Conflicts: 1698000 | #Constraints: 49633
2898.32/2958.38 c #Conflicts: 1699000 | #Constraints: 50641
2898.32/2958.38 c #Conflicts: 1700000 | #Constraints: 51644
2898.32/2958.38 c #Conflicts: 1701000 | #Constraints: 52646
2898.32/2958.38 c #Conflicts: 1702000 | #Constraints: 53648
2898.32/2958.38 c #Conflicts: 1703000 | #Constraints: 54649
2898.32/2958.38 c #Conflicts: 1704000 | #Constraints: 55650
2898.32/2958.38 c #Conflicts: 1705000 | #Constraints: 56651
2898.32/2958.38 c #Conflicts: 1706000 | #Constraints: 57651
2898.32/2958.38 c #Conflicts: 1707000 | #Constraints: 58653
2898.32/2958.38 c #Conflicts: 1708000 | #Constraints: 59653
2898.32/2958.38 c #Conflicts: 1709000 | #Constraints: 60654
2898.32/2958.38 c #Conflicts: 1710000 | #Constraints: 61655
2898.32/2958.38 c #Conflicts: 1711000 | #Constraints: 62655
2898.32/2958.38 c #Conflicts: 1712000 | #Constraints: 63656
2898.32/2958.38 c #Conflicts: 1713000 | #Constraints: 64656
2898.32/2958.38 c #Conflicts: 1714000 | #Constraints: 65656
2898.32/2958.38 c #Conflicts: 1715000 | #Constraints: 66657
2898.32/2958.38 c #Conflicts: 1716000 | #Constraints: 67657
2898.32/2958.38 c #Conflicts: 1717000 | #Constraints: 68657
2898.32/2958.38 c #Conflicts: 1718000 | #Constraints: 69658
2898.32/2958.38 c #Conflicts: 1719000 | #Constraints: 70659
2898.32/2958.38 c #Conflicts: 1720000 | #Constraints: 71659
2898.32/2958.38 c INPROCESSING
2898.32/2958.38 c GARBAGE COLLECT
2898.32/2958.38 c rational objective 6
2971.68/3033.49 c #Conflicts: 1721000 | #Constraints: 46575
2971.68/3033.49 c #Conflicts: 1722000 | #Constraints: 47575
2971.68/3033.49 c #Conflicts: 1723000 | #Constraints: 48576
2971.68/3033.49 c #Conflicts: 1724000 | #Constraints: 49578
2971.68/3033.49 c #Conflicts: 1725000 | #Constraints: 50582
2971.68/3033.49 c #Conflicts: 1726000 | #Constraints: 51585
2971.68/3033.49 c #Conflicts: 1727000 | #Constraints: 52588
2971.68/3033.49 c #Conflicts: 1728000 | #Constraints: 53590
2971.68/3033.49 c #Conflicts: 1729000 | #Constraints: 54593
2971.68/3033.49 c #Conflicts: 1730000 | #Constraints: 55595
2971.68/3033.49 c #Conflicts: 1731000 | #Constraints: 56596
2971.68/3033.49 c #Conflicts: 1732000 | #Constraints: 57600
2971.68/3033.49 c #Conflicts: 1733000 | #Constraints: 58602
2971.68/3033.49 c #Conflicts: 1734000 | #Constraints: 59604
2971.68/3033.49 c #Conflicts: 1735000 | #Constraints: 60604
2971.68/3033.49 c #Conflicts: 1736000 | #Constraints: 61605
2971.68/3033.49 c #Conflicts: 1737000 | #Constraints: 62606
2971.68/3033.49 c #Conflicts: 1738000 | #Constraints: 63607
2971.68/3033.49 c #Conflicts: 1739000 | #Constraints: 64607
2971.68/3033.49 c #Conflicts: 1740000 | #Constraints: 65607
2971.68/3033.49 c #Conflicts: 1741000 | #Constraints: 66607
2971.68/3033.49 c #Conflicts: 1742000 | #Constraints: 67609
2971.68/3033.49 c #Conflicts: 1743000 | #Constraints: 68609
2971.68/3033.49 c #Conflicts: 1744000 | #Constraints: 69609
2971.68/3033.49 c #Conflicts: 1745000 | #Constraints: 70610
2971.68/3033.49 c #Conflicts: 1746000 | #Constraints: 71610
2971.68/3033.49 c INPROCESSING
2971.68/3033.49 c GARBAGE COLLECT
2971.68/3033.49 c rational objective 6
3035.34/3097.65 c #Conflicts: 1747000 | #Constraints: 46366
3035.34/3097.65 c #Conflicts: 1748000 | #Constraints: 47367
3035.34/3097.65 c #Conflicts: 1749000 | #Constraints: 48367
3035.34/3097.65 c #Conflicts: 1750000 | #Constraints: 49369
3035.34/3097.65 c #Conflicts: 1751000 | #Constraints: 50372
3035.34/3097.65 c #Conflicts: 1752000 | #Constraints: 51377
3035.34/3097.65 c #Conflicts: 1753000 | #Constraints: 52379
3035.34/3097.65 c #Conflicts: 1754000 | #Constraints: 53382
3035.34/3097.65 c #Conflicts: 1755000 | #Constraints: 54383
3035.34/3097.65 c #Conflicts: 1756000 | #Constraints: 55385
3035.34/3097.65 c #Conflicts: 1757000 | #Constraints: 56387
3035.34/3097.65 c #Conflicts: 1758000 | #Constraints: 57388
3035.34/3097.65 c #Conflicts: 1759000 | #Constraints: 58390
3035.34/3097.65 c #Conflicts: 1760000 | #Constraints: 59393
3035.34/3097.65 c #Conflicts: 1761000 | #Constraints: 60394
3035.34/3097.65 c #Conflicts: 1762000 | #Constraints: 61395
3035.34/3097.65 c #Conflicts: 1763000 | #Constraints: 62395
3035.34/3097.65 c #Conflicts: 1764000 | #Constraints: 63396
3035.34/3097.65 c #Conflicts: 1765000 | #Constraints: 64398
3035.34/3097.65 c #Conflicts: 1766000 | #Constraints: 65398
3035.34/3097.65 c #Conflicts: 1767000 | #Constraints: 66399
3035.34/3097.65 c #Conflicts: 1768000 | #Constraints: 67400
3035.34/3097.65 c #Conflicts: 1769000 | #Constraints: 68401
3035.34/3097.65 c #Conflicts: 1770000 | #Constraints: 69402
3035.34/3097.65 c #Conflicts: 1771000 | #Constraints: 70402
3035.34/3097.65 c #Conflicts: 1772000 | #Constraints: 71403
3035.34/3097.65 c #Conflicts: 1773000 | #Constraints: 72403
3035.34/3097.65 c INPROCESSING
3035.34/3097.65 c GARBAGE COLLECT
3035.34/3097.65 c rational objective 6
3104.20/3167.18 c #Conflicts: 1774000 | #Constraints: 46978
3104.20/3167.18 c #Conflicts: 1775000 | #Constraints: 47979
3104.20/3167.18 c #Conflicts: 1776000 | #Constraints: 48985
3104.20/3167.18 c #Conflicts: 1777000 | #Constraints: 49989
3104.20/3167.18 c #Conflicts: 1778000 | #Constraints: 50992
3104.20/3167.18 c #Conflicts: 1779000 | #Constraints: 51996
3104.20/3167.18 c #Conflicts: 1780000 | #Constraints: 52996
3104.20/3167.18 c #Conflicts: 1781000 | #Constraints: 53997
3104.20/3167.18 c #Conflicts: 1782000 | #Constraints: 54998
3104.20/3167.18 c #Conflicts: 1783000 | #Constraints: 56000
3104.20/3167.18 c #Conflicts: 1784000 | #Constraints: 57001
3104.20/3167.18 c #Conflicts: 1785000 | #Constraints: 58002
3104.20/3167.18 c #Conflicts: 1786000 | #Constraints: 59004
3104.20/3167.18 c #Conflicts: 1787000 | #Constraints: 60005
3104.20/3167.18 c #Conflicts: 1788000 | #Constraints: 61006
3104.20/3167.18 c #Conflicts: 1789000 | #Constraints: 62006
3104.20/3167.18 c #Conflicts: 1790000 | #Constraints: 63006
3104.20/3167.18 c #Conflicts: 1791000 | #Constraints: 64006
3104.20/3167.18 c #Conflicts: 1792000 | #Constraints: 65006
3104.20/3167.18 c #Conflicts: 1793000 | #Constraints: 66006
3104.20/3167.18 c #Conflicts: 1794000 | #Constraints: 67006
3104.20/3167.18 c #Conflicts: 1795000 | #Constraints: 68006
3104.20/3167.18 c #Conflicts: 1796000 | #Constraints: 69006
3104.20/3167.18 c #Conflicts: 1797000 | #Constraints: 70006
3104.20/3167.18 c #Conflicts: 1798000 | #Constraints: 71006
3104.20/3167.18 c #Conflicts: 1799000 | #Constraints: 72007
3104.20/3167.18 c #Conflicts: 1800000 | #Constraints: 73007
3104.20/3167.18 c INPROCESSING
3104.20/3167.18 c GARBAGE COLLECT
3104.20/3167.18 c rational objective 6
3170.92/3234.71 c #Conflicts: 1801000 | #Constraints: 47356
3170.92/3234.71 c #Conflicts: 1802000 | #Constraints: 48357
3170.92/3234.71 c #Conflicts: 1803000 | #Constraints: 49360
3170.92/3234.71 c #Conflicts: 1804000 | #Constraints: 50374
3170.92/3234.71 c #Conflicts: 1805000 | #Constraints: 51379
3170.92/3234.71 c #Conflicts: 1806000 | #Constraints: 52383
3170.92/3234.71 c #Conflicts: 1807000 | #Constraints: 53386
3170.92/3234.71 c #Conflicts: 1808000 | #Constraints: 54390
3170.92/3234.71 c #Conflicts: 1809000 | #Constraints: 55391
3170.92/3234.71 c #Conflicts: 1810000 | #Constraints: 56392
3170.92/3234.71 c #Conflicts: 1811000 | #Constraints: 57392
3170.92/3234.71 c #Conflicts: 1812000 | #Constraints: 58392
3170.92/3234.71 c #Conflicts: 1813000 | #Constraints: 59393
3170.92/3234.71 c #Conflicts: 1814000 | #Constraints: 60393
3170.92/3234.71 c #Conflicts: 1815000 | #Constraints: 61393
3170.92/3234.71 c #Conflicts: 1816000 | #Constraints: 62393
3170.92/3234.71 c #Conflicts: 1817000 | #Constraints: 63394
3170.92/3234.71 c #Conflicts: 1818000 | #Constraints: 64395
3170.92/3234.71 c #Conflicts: 1819000 | #Constraints: 65395
3170.92/3234.71 c #Conflicts: 1820000 | #Constraints: 66395
3170.92/3234.71 c #Conflicts: 1821000 | #Constraints: 67395
3170.92/3234.71 c #Conflicts: 1822000 | #Constraints: 68395
3170.92/3234.71 c #Conflicts: 1823000 | #Constraints: 69395
3170.92/3234.71 c #Conflicts: 1824000 | #Constraints: 70395
3170.92/3234.71 c #Conflicts: 1825000 | #Constraints: 71395
3170.92/3234.71 c #Conflicts: 1826000 | #Constraints: 72396
3170.92/3234.71 c #Conflicts: 1827000 | #Constraints: 73396
3170.92/3234.71 c INPROCESSING
3170.92/3234.71 c GARBAGE COLLECT
3170.92/3234.71 c rational objective 6
3259.01/3323.45 c #Conflicts: 1828000 | #Constraints: 47608
3259.01/3323.45 c #Conflicts: 1829000 | #Constraints: 48611
3259.01/3323.45 c #Conflicts: 1830000 | #Constraints: 49614
3259.01/3323.45 c #Conflicts: 1831000 | #Constraints: 50614
3259.01/3323.45 c #Conflicts: 1832000 | #Constraints: 51616
3259.01/3323.45 c #Conflicts: 1833000 | #Constraints: 52617
3259.01/3323.45 c #Conflicts: 1834000 | #Constraints: 53618
3259.01/3323.45 c #Conflicts: 1835000 | #Constraints: 54620
3259.01/3323.45 c #Conflicts: 1836000 | #Constraints: 55621
3259.01/3323.45 c #Conflicts: 1837000 | #Constraints: 56623
3259.01/3323.45 c #Conflicts: 1838000 | #Constraints: 57624
3259.01/3323.45 c #Conflicts: 1839000 | #Constraints: 58626
3259.01/3323.45 c #Conflicts: 1840000 | #Constraints: 59627
3259.01/3323.45 c #Conflicts: 1841000 | #Constraints: 60627
3259.01/3323.45 c #Conflicts: 1842000 | #Constraints: 61627
3259.01/3323.45 c #Conflicts: 1843000 | #Constraints: 62627
3259.01/3323.45 c #Conflicts: 1844000 | #Constraints: 63628
3259.01/3323.45 c #Conflicts: 1845000 | #Constraints: 64629
3259.01/3323.45 c #Conflicts: 1846000 | #Constraints: 65630
3259.01/3323.45 c #Conflicts: 1847000 | #Constraints: 66632
3259.01/3323.45 c #Conflicts: 1848000 | #Constraints: 67632
3259.01/3323.45 c #Conflicts: 1849000 | #Constraints: 68633
3259.01/3323.45 c #Conflicts: 1850000 | #Constraints: 69634
3259.01/3323.45 c #Conflicts: 1851000 | #Constraints: 70634
3259.01/3323.45 c #Conflicts: 1852000 | #Constraints: 71635
3259.01/3323.45 c #Conflicts: 1853000 | #Constraints: 72635
3259.01/3323.45 c #Conflicts: 1854000 | #Constraints: 73636
3259.01/3323.45 c INPROCESSING
3259.01/3323.45 c GARBAGE COLLECT
3259.01/3323.45 c rational objective 6
3314.34/3379.22 c #Conflicts: 1855000 | #Constraints: 47624
3314.34/3379.22 c #Conflicts: 1856000 | #Constraints: 48625
3314.34/3379.22 c #Conflicts: 1857000 | #Constraints: 49625
3314.34/3379.22 c #Conflicts: 1858000 | #Constraints: 50628
3314.34/3379.22 c #Conflicts: 1859000 | #Constraints: 51631
3314.34/3379.22 c #Conflicts: 1860000 | #Constraints: 52634
3314.34/3379.22 c #Conflicts: 1861000 | #Constraints: 53634
3314.34/3379.22 c #Conflicts: 1862000 | #Constraints: 54635
3314.34/3379.22 c #Conflicts: 1863000 | #Constraints: 55641
3314.34/3379.22 c #Conflicts: 1864000 | #Constraints: 56643
3314.34/3379.22 c #Conflicts: 1865000 | #Constraints: 57645
3314.34/3379.22 c #Conflicts: 1866000 | #Constraints: 58647
3314.34/3379.22 c #Conflicts: 1867000 | #Constraints: 59648
3314.34/3379.22 c #Conflicts: 1868000 | #Constraints: 60649
3314.34/3379.22 c #Conflicts: 1869000 | #Constraints: 61649
3314.34/3379.22 c #Conflicts: 1870000 | #Constraints: 62650
3314.34/3379.22 c #Conflicts: 1871000 | #Constraints: 63651
3314.34/3379.22 c #Conflicts: 1872000 | #Constraints: 64651
3314.34/3379.22 c #Conflicts: 1873000 | #Constraints: 65652
3314.34/3379.22 c #Conflicts: 1874000 | #Constraints: 66652
3314.34/3379.22 c #Conflicts: 1875000 | #Constraints: 67653
3314.34/3379.22 c #Conflicts: 1876000 | #Constraints: 68654
3314.34/3379.22 c #Conflicts: 1877000 | #Constraints: 69654
3314.34/3379.22 c #Conflicts: 1878000 | #Constraints: 70655
3314.34/3379.22 c #Conflicts: 1879000 | #Constraints: 71655
3314.34/3379.22 c #Conflicts: 1880000 | #Constraints: 72655
3314.34/3379.22 c #Conflicts: 1881000 | #Constraints: 73655
3314.34/3379.22 c INPROCESSING
3314.34/3379.22 c GARBAGE COLLECT
3314.34/3379.22 c rational objective 6
3375.88/3441.30 c #Conflicts: 1882000 | #Constraints: 47411
3375.88/3441.30 c #Conflicts: 1883000 | #Constraints: 48411
3375.88/3441.30 c #Conflicts: 1884000 | #Constraints: 49411
3375.88/3441.30 c #Conflicts: 1885000 | #Constraints: 50411
3375.88/3441.30 c #Conflicts: 1886000 | #Constraints: 51412
3375.88/3441.30 c #Conflicts: 1887000 | #Constraints: 52415
3375.88/3441.30 c #Conflicts: 1888000 | #Constraints: 53420
3375.88/3441.30 c #Conflicts: 1889000 | #Constraints: 54424
3375.88/3441.30 c #Conflicts: 1890000 | #Constraints: 55429
3375.88/3441.30 c #Conflicts: 1891000 | #Constraints: 56431
3375.88/3441.30 c #Conflicts: 1892000 | #Constraints: 57432
3375.88/3441.30 c #Conflicts: 1893000 | #Constraints: 58434
3375.88/3441.30 c #Conflicts: 1894000 | #Constraints: 59436
3375.88/3441.30 c #Conflicts: 1895000 | #Constraints: 60437
3375.88/3441.30 c #Conflicts: 1896000 | #Constraints: 61437
3375.88/3441.30 c #Conflicts: 1897000 | #Constraints: 62437
3375.88/3441.30 c #Conflicts: 1898000 | #Constraints: 63438
3375.88/3441.30 c #Conflicts: 1899000 | #Constraints: 64439
3375.88/3441.30 c #Conflicts: 1900000 | #Constraints: 65439
3375.88/3441.30 c #Conflicts: 1901000 | #Constraints: 66440
3375.88/3441.30 c #Conflicts: 1902000 | #Constraints: 67441
3375.88/3441.30 c #Conflicts: 1903000 | #Constraints: 68443
3375.88/3441.30 c #Conflicts: 1904000 | #Constraints: 69443
3375.88/3441.30 c #Conflicts: 1905000 | #Constraints: 70443
3375.88/3441.30 c #Conflicts: 1906000 | #Constraints: 71444
3375.88/3441.30 c #Conflicts: 1907000 | #Constraints: 72445
3375.88/3441.30 c #Conflicts: 1908000 | #Constraints: 73445
3375.88/3441.30 c #Conflicts: 1909000 | #Constraints: 74446
3375.88/3441.30 c INPROCESSING
3375.88/3441.30 c GARBAGE COLLECT
3375.88/3441.30 c rational objective 6
3440.83/3507.09 c #Conflicts: 1910000 | #Constraints: 48012
3440.83/3507.09 c #Conflicts: 1911000 | #Constraints: 49012
3440.83/3507.09 c #Conflicts: 1912000 | #Constraints: 50015
3440.83/3507.09 c #Conflicts: 1913000 | #Constraints: 51025
3440.83/3507.09 c #Conflicts: 1914000 | #Constraints: 52032
3440.83/3507.09 c #Conflicts: 1915000 | #Constraints: 53038
3440.83/3507.09 c #Conflicts: 1916000 | #Constraints: 54046
3440.83/3507.09 c #Conflicts: 1917000 | #Constraints: 55047
3440.83/3507.09 c #Conflicts: 1918000 | #Constraints: 56049
3440.83/3507.09 c #Conflicts: 1919000 | #Constraints: 57050
3440.83/3507.09 c #Conflicts: 1920000 | #Constraints: 58053
3440.83/3507.09 c #Conflicts: 1921000 | #Constraints: 59054
3440.83/3507.09 c #Conflicts: 1922000 | #Constraints: 60056
3440.83/3507.09 c #Conflicts: 1923000 | #Constraints: 61060
3440.83/3507.09 c #Conflicts: 1924000 | #Constraints: 62062
3440.83/3507.09 c #Conflicts: 1925000 | #Constraints: 63063
3440.83/3507.09 c #Conflicts: 1926000 | #Constraints: 64064
3440.83/3507.09 c #Conflicts: 1927000 | #Constraints: 65064
3440.83/3507.09 c #Conflicts: 1928000 | #Constraints: 66065
3440.83/3507.09 c #Conflicts: 1929000 | #Constraints: 67065
3440.83/3507.09 c #Conflicts: 1930000 | #Constraints: 68065
3440.83/3507.09 c #Conflicts: 1931000 | #Constraints: 69066
3440.83/3507.09 c #Conflicts: 1932000 | #Constraints: 70066
3440.83/3507.09 c #Conflicts: 1933000 | #Constraints: 71067
3440.83/3507.09 c #Conflicts: 1934000 | #Constraints: 72067
3440.83/3507.09 c #Conflicts: 1935000 | #Constraints: 73067
3440.83/3507.09 c #Conflicts: 1936000 | #Constraints: 74067
3440.83/3507.09 c #Conflicts: 1937000 | #Constraints: 75070
3440.83/3507.09 c INPROCESSING
3440.83/3507.09 c GARBAGE COLLECT
3440.83/3507.09 c rational objective 6
3504.21/3571.58 c #Conflicts: 1938000 | #Constraints: 48403
3504.21/3571.58 c #Conflicts: 1939000 | #Constraints: 49403
3504.21/3571.58 c #Conflicts: 1940000 | #Constraints: 50403
3504.21/3571.58 c #Conflicts: 1941000 | #Constraints: 51404
3504.21/3571.58 c #Conflicts: 1942000 | #Constraints: 52406
3504.21/3571.58 c #Conflicts: 1943000 | #Constraints: 53410
3504.21/3571.58 c #Conflicts: 1944000 | #Constraints: 54412
3504.21/3571.58 c #Conflicts: 1945000 | #Constraints: 55413
3504.21/3571.58 c #Conflicts: 1946000 | #Constraints: 56415
3504.21/3571.58 c #Conflicts: 1947000 | #Constraints: 57415
3504.21/3571.58 c #Conflicts: 1948000 | #Constraints: 58415
3504.21/3571.58 c #Conflicts: 1949000 | #Constraints: 59416
3504.21/3571.58 c #Conflicts: 1950000 | #Constraints: 60417
3504.21/3571.58 c #Conflicts: 1951000 | #Constraints: 61417
3504.21/3571.58 c #Conflicts: 1952000 | #Constraints: 62418
3504.21/3571.58 c #Conflicts: 1953000 | #Constraints: 63419
3504.21/3571.58 c #Conflicts: 1954000 | #Constraints: 64419
3504.21/3571.58 c #Conflicts: 1955000 | #Constraints: 65420
3504.21/3571.58 c #Conflicts: 1956000 | #Constraints: 66420
3504.21/3571.58 c #Conflicts: 1957000 | #Constraints: 67421
3504.21/3571.58 c #Conflicts: 1958000 | #Constraints: 68421
3504.21/3571.58 c #Conflicts: 1959000 | #Constraints: 69422
3504.21/3571.58 c #Conflicts: 1960000 | #Constraints: 70422
3504.21/3571.58 c #Conflicts: 1961000 | #Constraints: 71422
3504.21/3571.58 c #Conflicts: 1962000 | #Constraints: 72422
3504.21/3571.58 c #Conflicts: 1963000 | #Constraints: 73422
3504.21/3571.58 c #Conflicts: 1964000 | #Constraints: 74422
3504.21/3571.58 c #Conflicts: 1965000 | #Constraints: 75423
3504.21/3571.58 c INPROCESSING
3504.21/3571.58 c GARBAGE COLLECT
3504.21/3571.58 c rational objective 6
3594.51/3663.29 c #Conflicts: 1966000 | #Constraints: 48605
3594.51/3663.29 c #Conflicts: 1967000 | #Constraints: 49606
3594.51/3663.29 c #Conflicts: 1968000 | #Constraints: 50619
3594.51/3663.29 c #Conflicts: 1969000 | #Constraints: 51627
3594.51/3663.29 c #Conflicts: 1970000 | #Constraints: 52636
3594.51/3663.29 c #Conflicts: 1971000 | #Constraints: 53640
3594.51/3663.29 c #Conflicts: 1972000 | #Constraints: 54643
3594.51/3663.29 c #Conflicts: 1973000 | #Constraints: 55647
3594.51/3663.29 c #Conflicts: 1974000 | #Constraints: 56650
3594.51/3663.29 c #Conflicts: 1975000 | #Constraints: 57654
3594.51/3663.29 c #Conflicts: 1976000 | #Constraints: 58659
3594.51/3663.29 c #Conflicts: 1977000 | #Constraints: 59660
3594.51/3663.29 c #Conflicts: 1978000 | #Constraints: 60662
3594.51/3663.29 c #Conflicts: 1979000 | #Constraints: 61663
3594.51/3663.29 c #Conflicts: 1980000 | #Constraints: 62664
3594.51/3663.29 c #Conflicts: 1981000 | #Constraints: 63665
3594.51/3663.29 c #Conflicts: 1982000 | #Constraints: 64665
3594.51/3663.29 c #Conflicts: 1983000 | #Constraints: 65665
3594.51/3663.29 c #Conflicts: 1984000 | #Constraints: 66665
3594.51/3663.29 c #Conflicts: 1985000 | #Constraints: 67665
3594.51/3663.29 c #Conflicts: 1986000 | #Constraints: 68665
3594.51/3663.29 c #Conflicts: 1987000 | #Constraints: 69665
3594.51/3663.29 c #Conflicts: 1988000 | #Constraints: 70666
3594.51/3663.29 c #Conflicts: 1989000 | #Constraints: 71666
3594.51/3663.29 c #Conflicts: 1990000 | #Constraints: 72666
3594.51/3663.29 c #Conflicts: 1991000 | #Constraints: 73666
3594.51/3663.29 c #Conflicts: 1992000 | #Constraints: 74666
3594.51/3663.29 c #Conflicts: 1993000 | #Constraints: 75667
3594.51/3663.29 c INPROCESSING
3594.51/3663.29 c GARBAGE COLLECT
3594.51/3663.29 c rational objective 6
3600.09/3668.80 c #Conflicts: 1994000 | #Constraints: 48618
3600.09/3668.80 c #Conflicts: 1995000 | #Constraints: 49620
3600.09/3668.80 c cpu time 3555.91 s
3600.09/3668.80 c deterministic time 282127115872 2.82e+11
3600.09/3668.80 c optimization time 4.03708 s
3600.09/3668.80 c total solve time 3551.74 s
3600.09/3668.80 c core-guided solve time 1753.33 s
3600.09/3668.80 c propagation time 2382.5 s
3600.09/3668.80 c conflict analysis time 924.741 s
3600.09/3668.80 c propagations 610153410
3600.09/3668.80 c resolve steps 9405552
3600.09/3668.80 c decisions 15638276
3600.09/3668.80 c conflicts 1995735
3600.09/3668.80 c restarts 3913
3600.09/3668.80 c inprocessing phases 132
3600.09/3668.80 c garbage collections 132 ,( 100.00 )
3600.09/3668.80 c input clauses 23803 ,( 98.15 )
3600.09/3668.80 c input cardinalities 64 ,( 0.26 )
3600.09/3668.80 c input general constraints 384 ,( 1.58 )
3600.09/3668.80 c input average constraint length 4.04
3600.09/3668.80 c input average constraint degree 12.23
3600.09/3668.80 c learned clauses 249674 ,( 12.48 )
3600.09/3668.80 c learned cardinalities 31123 ,( 1.56 )
3600.09/3668.80 c learned general constraints 1719410 ,( 85.96 )
3600.09/3668.80 c learned average constraint length 351.92
3600.09/3668.80 c learned average constraint degree 3029114279.77
3600.09/3668.80 c watched CF 32, 64, 128, Arb: 543245 , 0 , 0 , 0
3600.09/3668.80 c counting CF 32, 64, 128, Arb: 1176550 , 0 , 0 , 0
3600.09/3668.80 c watched constraints 543245 ,( 31.59 )
3600.09/3668.80 c counting constraints 1176549 ,( 68.41 )
3600.09/3668.80 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 168678671 , 44720801 , 5539643332 ,( 611812649 , 4927830683 )
3600.09/3668.80 c gcd simplifications 105125
3600.09/3668.80 c detected cardinalities 315
3600.09/3668.80 c weakened non-implied lits 368963438
3600.09/3668.80 c weakened non-implying lits 998770
3600.09/3668.80 c original variables 9988
3600.09/3668.80 c clausal propagations 120179398
3600.09/3668.80 c cardinality propagations 109721998
3600.09/3668.80 c watched propagations 1741160
3600.09/3668.80 c counting propagations 359234707
3600.09/3668.80 c watch lookups 188417951799
3600.09/3668.80 c watch backjump lookups 0
3600.09/3668.80 c watch checks 33832749947
3600.09/3668.80 c propagation checks 55909100398
3600.09/3668.80 c constraint additions 2711545532
3600.09/3668.80 c trail pops 627779187
3600.09/3668.80 c formula constraints 24251
3600.09/3668.80 c learned constraints 1991777
3600.09/3668.80 c bound constraints 0
3600.09/3668.80 c core-guided constraints 0
3600.09/3668.80 c encountered formula constraints 5926876
3600.09/3668.80 c encountered learned constraints 4623024
3600.09/3668.80 c encountered bound constraints 0
3600.09/3668.80 c encountered core-guided constraints 0
3600.09/3668.80 c LP total time 708.926 s
3600.09/3668.80 c LP solve time 647.84 s
3600.09/3668.80 c LP constraints added 26663
3600.09/3668.80 c LP constraints removed 2389
3600.09/3668.80 c LP pivots internal 1995826
3600.09/3668.80 c LP pivots root 201496
3600.09/3668.80 c LP calls 5364
3600.09/3668.80 c LP optimalities 1399
3600.09/3668.80 c LP no pivot count 263
3600.09/3668.80 c LP infeasibilities 3960
3600.09/3668.80 c LP valid Farkas constraints 3958
3600.09/3668.80 c LP learned Farkas constraints 3957
3600.09/3668.80 c LP basis resets 3
3600.09/3668.80 c LP cycling count 0
3600.09/3668.80 c LP singular count 1
3600.09/3668.80 c LP no primal count 0
3600.09/3668.80 c LP no farkas count 2
3600.09/3668.80 c LP other issue count 0
3600.09/3668.80 c LP Gomory cuts 515
3600.09/3668.80 c LP learned cuts 1897
3600.09/3668.80 c LP deleted cuts 2389
3600.09/3668.80 c LP encountered Gomory constraints 11865
3600.09/3668.80 c LP encountered Farkas constraints 745817
3600.09/3668.80 c LP encountered learned Farkas constraints 89748
3600.09/3668.80 c CG auxiliary variables introduced 0
3600.09/3668.80 c CG solutions found 0
3600.09/3668.80 c CG cores constructed 0
3600.09/3668.80 c CG core cardinality constraints returned 0
3600.09/3668.80 c CG unit cores 0
3600.09/3668.80 c CG single cores 0
3600.09/3668.80 c CG blocks removed during cardinality reduction 0
3600.09/3668.80 c CG first core best 0
3600.09/3668.80 c CG decision core best 0
3600.09/3668.80 c CG core reduction tie 0
3600.09/3668.80 c CG core degree average 0.00
3600.09/3668.80 c CG core slack average 0.00
3600.09/3668.80 c CG core upper bound improvements 0
3600.09/3668.80 c STR number of successful calls 0
3600.09/3668.80 c STR number of unsuccessful calls 0
3600.09/3668.80 c STR number of inconclusive calls 0
3600.09/3668.80 c STR number of successful attempts 0
3600.09/3668.80 c STR number of unsuccessful attempts 0
3600.09/3668.80 c STR number of inconclusive attempts 0
3600.09/3668.80 c STR average degree increase per successful call inf
3600.09/3668.80 c STR average degree increase per successful attempt inf
3600.09/3668.80 c STR total number of conflicts for successful attempts 0
3600.09/3668.80 c STR total number of conflicts for unsuccessful attempts 0
3600.09/3668.80 c STR total number of conflicts for inconclusive attempts 0
3600.09/3668.80 c STR average number of conflicts per successful attempt inf
3600.09/3668.80 c STR average number of conflicts per unsuccessful attempt inf
3600.09/3668.80 c STR average number of conflicts per inconclusive attempt inf
3600.09/3668.80 c AVG.sumWPerc 54.83
3600.09/3668.80 c bigint constraints 0
3600.09/3668.80 s UNKNOWN
3600.09/3668.80 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (61171 MiB free)
memory of node 1: 64465 MiB (63370 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4532506-1752596639/watcher-4532506-1752596639 -o /tmp/evaluation-result-4532506-1752596639/solver-4532506-1752596639 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1752596515-131934 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4532506-1752596639.opb PROOFDIR/proof-4532506-1752596639
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=132098, runsolver pid=132095
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 3.90 2.78 3.05 5/398 132100
/proc/meminfo: memFree=127525844/131249996 swapFree=33000896/33010684
[pid=132098] ppid=132095 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/132098/stat : 132098 (run-opt-break-l) S 132095 132098 131924 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 175341803 4292608 768 18446744073709551615 94663898578944 94663899473477 140730726910928 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94663899712528 94663899760272 94663919161344 140730726914323 140730726914524 140730726914524 140730726920128 0
/proc/132098/statm: 1048 768 704 219 0 110 0
[pid=132100] ppid=132098 vsize=22368 memory=13556 CPUtime=0.06 cores=0,2
/proc/132100/stat : 132100 (pbsuma) R 132098 132098 131924 0 -1 4194304 2930 0 0 0 6 0 0 0 20 0 1 0 175341804 22904832 3389 18446744073709551615 4210688 4653049 140733283086480 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 35995648 140733283092705 140733283093040 140733283093040 140733283098607 0
/proc/132100/statm: 5592 3389 992 108 0 3000 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 26560 KiB
Current children cumulated memory: 16628 KiB
[startup+0.20864 s]*
/proc/loadavg: 3.90 2.78 3.05 5/398 132100
/proc/meminfo: memFree=127525844/131249996 swapFree=33000896/33010684
[pid=132098] ppid=132095 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/132098/stat : 132098 (run-opt-break-l) S 132095 132098 131924 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 175341803 4292608 768 18446744073709551615 94663898578944 94663899473477 140730726910928 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94663899712528 94663899760272 94663919161344 140730726914323 140730726914524 140730726914524 140730726920128 0
/proc/132098/statm: 1048 768 704 219 0 110 0
[pid=132100] ppid=132098 vsize=22368 memory=13556 CPUtime=0.17 cores=0,2
/proc/132100/stat : 132100 (pbsuma) R 132098 132098 131924 0 -1 4194304 2930 0 0 0 17 0 0 0 20 0 1 0 175341804 22904832 3389 18446744073709551615 4210688 4653049 140733283086480 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 35995648 140733283092705 140733283093040 140733283093040 140733283098607 0
/proc/132100/statm: 5592 3389 992 108 0 3000 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 26560 KiB
Current children cumulated memory: 16628 KiB
[startup+0.308528 s]*
/proc/loadavg: 3.90 2.78 3.05 5/398 132100
/proc/meminfo: memFree=127509736/131249996 swapFree=33000896/33010684
[pid=132098] ppid=132095 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/132098/stat : 132098 (run-opt-break-l) S 132095 132098 131924 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 175341803 4292608 768 18446744073709551615 94663898578944 94663899473477 140730726910928 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94663899712528 94663899760272 94663919161344 140730726914323 140730726914524 140730726914524 140730726920128 0
/proc/132098/statm: 1048 768 704 219 0 110 0
[pid=132100] ppid=132098 vsize=22668 memory=14652 CPUtime=0.27 cores=0,2
/proc/132100/stat : 132100 (pbsuma) R 132098 132098 131924 0 -1 4194304 3372 0 0 0 26 1 0 0 20 0 1 0 175341804 23212032 3631 18446744073709551615 4210688 4653049 140733283086480 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 35995648 140733283092705 140733283093040 140733283093040 140733283098607 0
/proc/132100/statm: 5667 3663 992 108 0 3075 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 26860 KiB
Current children cumulated memory: 17724 KiB
[startup+0.700155 s]
/proc/loadavg: 3.90 2.78 3.05 4/398 132100
/proc/meminfo: memFree=127502104/131249996 swapFree=33000896/33010684
[pid=132098] ppid=132095 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/132098/stat : 132098 (run-opt-break-l) S 132095 132098 131924 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 175341803 4292608 768 18446744073709551615 94663898578944 94663899473477 140730726910928 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94663899712528 94663899760272 94663919161344 140730726914323 140730726914524 140730726914524 140730726920128 0
/proc/132098/statm: 1048 768 704 219 0 110 0
[pid=132100] ppid=132098 vsize=21896 memory=14544 CPUtime=0.28 cores=0,2
/proc/132100/stat : 132100 (pbsuma) D 132098 132098 131924 0 -1 4194304 3467 0 0 0 26 2 0 0 20 0 1 0 175341804 22421504 3636 18446744073709551615 4210688 4653049 140733283086480 0 0 0 0 0 0 1 0 0 17 0 0 0 0 0 0 4700520 4703148 35995648 140733283092705 140733283093040 140733283093040 140733283098607 0
/proc/132100/statm: 5474 3636 992 108 0 2882 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 26088 KiB
Current children cumulated memory: 17616 KiB
[startup+1.50015 s]
/proc/loadavg: 3.90 2.78 3.05 6/398 132101
/proc/meminfo: memFree=127490596/131249996 swapFree=33000896/33010684
[pid=132098] ppid=132095 vsize=4192 memory=3072 CPUtime=0.28 cores=0,2
/proc/132098/stat : 132098 (run-opt-break-l) S 132095 132098 131924 0 -1 4194304 240 3470 0 0 0 0 26 2 20 0 1 0 175341803 4292608 768 18446744073709551615 94663898578944 94663899473477 140730726910928 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94663899712528 94663899760272 94663919161344 140730726914323 140730726914524 140730726914524 140730726920128 0
/proc/132098/statm: 1048 768 704 219 0 110 0
[pid=132101] ppid=132098 vsize=98848 memory=53984 CPUtime=0.6 cores=0,2
/proc/132101/stat : 132101 (roundingsat) R 132098 132098 131924 0 -1 4194304 9452 0 0 0 56 4 0 0 20 0 1 0 175341890 101220352 13496 18446744073709551615 4227072 8923577 140720412950016 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 27914240 140720412952850 140720412953126 140720412953126 140720412958698 0
/proc/132101/statm: 24712 13496 2432 1147 0 12138 0
Current children cumulated CPU time: 0.88 s
Current children cumulated vsize: 103040 KiB
Current children cumulated memory: 57056 KiB
[startup+3.10806 s]
/proc/loadavg: 3.91 2.80 3.06 6/398 132101
/proc/meminfo: memFree=127368528/131249996 swapFree=33000896/33010684
[pid=132098] ppid=132095 vsize=4192 memory=3072 CPUtime=0.28 cores=0,2
/proc/132098/stat : 132098 (run-opt-break-l) S 132095 132098 131924 0 -1 4194304 240 3470 0 0 0 0 26 2 20 0 1 0 175341803 4292608 768 18446744073709551615 94663898578944 94663899473477 140730726910928 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94663899712528 94663899760272 94663919161344 140730726914323 140730726914524 140730726914524 140730726920128 0
/proc/132098/statm: 1048 768 704 219 0 110 0
[pid=132101] ppid=132098 vsize=117544 memory=70496 CPUtime=2.21 cores=0,2
/proc/132101/stat : 132101 (roundingsat) R 132098 132098 131924 0 -1 4194304 13641 0 0 0 213 8 0 0 20 0 1 0 175341890 120365056 17624 18446744073709551615 4227072 8923577 140720412950016 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 27914240 140720412952850 140720412953126 140720412953126 140720412958698 0
/proc/132101/statm: 29386 17624 2432 1147 0 16812 0
Current children cumulated CPU time: 2.49 s
Current children cumulated vsize: 121736 KiB
Current children cumulated memory: 73568 KiB
[startup+6.30015 s]
/proc/loadavg: 3.91 2.80 3.06 6/398 132101
/proc/meminfo: memFree=127269356/131249996 swapFree=33000896/33010684
[pid=132098] ppid=132095 vsize=4192 memory=3072 CPUtime=0.28 cores=0,2
/proc/132098/stat : 132098 (run-opt-break-l) S 132095 132098 131924 0 -1 4194304 240 3470 0 0 0 0 26 2 20 0 1 0 175341803 4292608 768 18446744073709551615 94663898578944 94663899473477 140730726910928 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94663899712528 94663899760272 94663919161344 140730726914323 140730726914524 140730726914524 140730726920128 0
/proc/132098/statm: 1048 768 704 219 0 110 0
[pid=132101] ppid=132098 vsize=143044 memory=89828 CPUtime=5.39 cores=0,2
/proc/132101/stat : 132101 (roundingsat) R 132098 132098 131924 0 -1 4194304 17957 0 0 0 526 13 0 0 20 0 1 0 175341890 146477056 22457 18446744073709551615 4227072 8923577 140720412950016 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 27914240 140720412952850 140720412953126 140720412953126 140720412958698 0
/proc/132101/statm: 35761 22457 2432 1147 0 23187 0
Current children cumulated CPU time: 5.67 s
Current children cumulated vsize: 147236 KiB
Current children cumulated memory: 92900 KiB
[startup+12.7002 s]
/proc/loadavg: 3.92 2.82 3.06 4/398 132101
/proc/meminfo: memFree=127065384/131249996 swapFree=33000896/33010684
[pid=132098] ppid=132095 vsize=4192 memory=3072 CPUtime=0.28 cores=0,2
/proc/132098/stat : 132098 (run-opt-break-l) S 132095 132098 131924 0 -1 4194304 240 3470 0 0 0 0 26 2 20 0 1 0 175341803 4292608 768 18446744073709551615 94663898578944 94663899473477 140730726910928 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94663899712528 94663899760272 94663919161344 140730726914323 140730726914524 140730726914524 140730726920128 0
/proc/132098/statm: 1048 768 704 219 0 110 0
[pid=132101] ppid=132098 vsize=166964 memory=116768 CPUtime=11.77 cores=0,2
/proc/132101/stat : 132101 (roundingsat) R 132098 132098 131924 0 -1 4194304 23697 0 0 0 1152 25 0 0 20 0 1 0 175341890 170971136 29192 18446744073709551615 4227072 8923577 140720412950016 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 27914240 140720412952850 140720412953126 140720412953126 140720412958698 0
/proc/132101/statm: 41741 29192 2432 1147 0 29167 0
Current children cumulated CPU time: 12.05 s
Current children cumulated vsize: 171156 KiB
Current children cumulated memory: 119840 KiB
[startup+25.5002 s]
/proc/loadavg: 3.93 2.88 3.08 5/398 132101
/proc/meminfo: memFree=126908900/131249996 swapFree=33000896/33010684
[pid=132098] ppid=132095 vsize=4192 memory=3072 CPUtime=0.28 cores=0,2
/proc/132098/stat : 132098 (run-opt-break-l) S 132095 132098 131924 0 -1 4194304 240 3470 0 0 0 0 26 2 20 0 1 0 175341803 4292608 768 18446744073709551615 94663898578944 94663899473477 140730726910928 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94663899712528 94663899760272 94663919161344 140730726914323 140730726914524 140730726914524 140730726920128 0
/proc/132098/statm: 1048 768 704 219 0 110 0
[pid=132101] ppid=132098 vsize=194740 memory=143648 CPUtime=24.53 cores=0,2
/proc/132101/stat : 132101 (roundingsat) R 132098 132098 131924 0 -1 4194304 30471 0 0 0 2404 49 0 0 20 0 1 0 175341890 199413760 35912 18446744073709551615 4227072 8923577 140720412950016 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 27914240 140720412952850 140720412953126 140720412953126 140720412958698 0
/proc/132101/statm: 48685 35912 2432 1147 0 36111 0
Current children cumulated CPU time: 24.81 s
Current children cumulated vsize: 198932 KiB
Current children cumulated memory: 146720 KiB
[startup+51.1087 s]
/proc/loadavg: 3.97 2.97 3.11 5/393 132129
/proc/meminfo: memFree=128047528/131249996 swapFree=33000896/33010684
[pid=132098] ppid=132095 vsize=4192 memory=3072 CPUtime=0.28 cores=0,2
/proc/132098/stat : 132098 (run-opt-break-l) S 132095 132098 131924 0 -1 4194304 240 3470 0 0 0 0 26 2 20 0 1 0 175341803 4292608 768 18446744073709551615 94663898578944 94663899473477 140730726910928 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94663899712528 94663899760272 94663919161344 140730726914323 140730726914524 140730726914524 140730726920128 0
/proc/132098/statm: 1048 768 704 219 0 110 0
[pid=132101] ppid=132098 vsize=230148 memory=168272 CPUtime=43.44 cores=0,2
/proc/132101/stat : 132101 (roundingsat) R 132098 132098 131924 0 -1 4194304 36188 0 0 0 4261 83 0 0 20 0 1 0 175341890 235671552 42068 18446744073709551615 4227072 8923577 140720412950016 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 27914240 140720412952850 140720412953126 140720412953126 140720412958698 0
/proc/132101/statm: 57537 42068 2432 1147 0 44963 0
Current children cumulated CPU time: 43.72 s
Current children cumulated vsize: 234340 KiB
Current children cumulated memory: 171344 KiB
[startup+102.3 s]
/proc/loadavg: 3.99 3.13 3.15 6/393 132132
/proc/meminfo: memFree=126468868/131249996 swapFree=33000896/33010684
[pid=132098] ppid=132095 vsize=4192 memory=3072 CPUtime=0.28 cores=0,2
/proc/132098/stat : 132098 (run-opt-break-l) S 132095 132098 131924 0 -1 4194304 240 3470 0 0 0 0 26 2 20 0 1 0 175341803 4292608 768 18446744073709551615 94663898578944 94663899473477 140730726910928 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94663899712528 94663899760272 94663919161344 140730726914323 140730726914524 140730726914524 140730726920128 0
/proc/132098/statm: 1048 768 704 219 0 110 0
[pid=132101] ppid=132098 vsize=333128 memory=258936 CPUtime=94.47 cores=0,2
/proc/132101/stat : 132101 (roundingsat) R 132098 132098 131924 0 -1 4194304 54903 0 0 0 9282 165 0 0 20 0 1 0 175341890 341123072 64734 18446744073709551615 4227072 8923577 140720412950016 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 27914240 140720412952850 140720412953126 140720412953126 140720412958698 0
/proc/132101/statm: 83282 64734 2432 1147 0 70708 0
Current children cumulated CPU time: 94.75 s
Current children cumulated vsize: 337320 KiB
Current children cumulated memory: 262008 KiB
[startup+162.3 s]
/proc/loadavg: 4.04 3.31 3.21 4/399 132250
/proc/meminfo: memFree=125893700/131249996 swapFree=33000896/33010684
[pid=132098] ppid=132095 vsize=4192 memory=3072 CPUtime=0.28 cores=0,2
/proc/132098/stat : 132098 (run-opt-break-l) S 132095 132098 131924 0 -1 4194304 240 3470 0 0 0 0 26 2 20 0 1 0 175341803 4292608 768 18446744073709551615 94663898578944 94663899473477 140730726910928 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94663899712528 94663899760272 94663919161344 140730726914323 140730726914524 140730726914524 140730726920128 0
/proc/132098/statm: 1048 768 704 219 0 110 0
[pid=132101] ppid=132098 vsize=354648 memory=281220 CPUtime=154.27 cores=0,2
/proc/132101/stat : 132101 (roundingsat) R 132098 132098 131924 0 -1 4194304 59841 0 0 0 15165 262 0 0 20 0 1 0 175341890 363159552 70305 18446744073709551615 4227072 8923577 140720412950016 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 27914240 140720412952850 140720412953126 140720412953126 140720412958698 0
/proc/132101/statm: 88662 70305 2432 1147 0 76088 0
Current children cumulated CPU time: 154.55 s
Current children cumulated vsize: 358840 KiB
Current children cumulated memory: 284292 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 3.47 3.28 3/275 132253
/proc/meminfo: memFree=125248844/131249996 swapFree=33000896/33010684
[pid=132098] ppid=132095 vsize=4192 memory=3072 CPUtime=0.28 cores=0,2
/proc/132098/stat : 132098 (run-opt-break-l) S 132095 132098 131924 0 -1 4194304 240 3470 0 0 0 0 26 2 20 0 1 0 175341803 4292608 768 18446744073709551615 94663898578944 94663899473477 140730726910928 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94663899712528 94663899760272 94663919161344 140730726914323 140730726914524 140730726914524 140730726920128 0
/proc/132098/statm: 1048 768 704 219 0 110 0
[pid=132101] ppid=132098 vsize=361564 memory=290436 CPUtime=203.3 cores=0,2
/proc/132101/stat : 132101 (roundingsat) D 132098 132098 131924 0 -1 4194304 61308 0 0 0 20001 329 0 0 20 0 1 0 175341890 370241536 72609 18446744073709551615 4227072 8923577 140720412950016 0 0 0 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9827200 9836688 27914240 140720412952850 140720412953126 140720412953126 140720412958698 0
/proc/132101/statm: 90391 72609 2432 1147 0 77817 0
Current children cumulated CPU time: 203.58 s
################
# More data... #
################
/proc/meminfo: memFree=103475136/131249996 swapFree=33000896/33010684
[pid=132098] ppid=132095 vsize=4192 memory=3072 CPUtime=0.28 cores=0,2
/proc/132098/stat : 132098 (run-opt-break-l) S 132095 132098 131924 0 -1 4194304 240 3470 0 0 0 0 26 2 20 0 1 0 175341803 4292608 768 18446744073709551615 94663898578944 94663899473477 140730726910928 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94663899712528 94663899760272 94663919161344 140730726914323 140730726914524 140730726914524 140730726920128 0
/proc/132098/statm: 1048 768 704 219 0 110 0
[pid=132101] ppid=132098 vsize=1148460 memory=1026928 CPUtime=3217.85 cores=0,2
/proc/132101/stat : 132101 (roundingsat) R 132098 132098 131924 0 -1 4194304 185105 0 0 0 317768 4017 0 0 20 0 1 0 175341890 1176023040 256732 18446744073709551615 4227072 8923577 140720412950016 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 27914240 140720412952850 140720412953126 140720412953126 140720412958698 0
/proc/132101/statm: 287115 256732 2528 1147 0 274541 0
Current children cumulated CPU time: 3218.13 s
Current children cumulated vsize: 1152652 KiB
Current children cumulated memory: 1030000 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/273 132520
/proc/meminfo: memFree=103059744/131249996 swapFree=33000896/33010684
[pid=132098] ppid=132095 vsize=4192 memory=3072 CPUtime=0.28 cores=0,2
/proc/132098/stat : 132098 (run-opt-break-l) S 132095 132098 131924 0 -1 4194304 240 3470 0 0 0 0 26 2 20 0 1 0 175341803 4292608 768 18446744073709551615 94663898578944 94663899473477 140730726910928 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94663899712528 94663899760272 94663919161344 140730726914323 140730726914524 140730726914524 140730726920128 0
/proc/132098/statm: 1048 768 704 219 0 110 0
[pid=132101] ppid=132098 vsize=1168548 memory=1038320 CPUtime=3277.47 cores=0,2
/proc/132101/stat : 132101 (roundingsat) R 132098 132098 131924 0 -1 4194304 187960 0 0 0 323670 4077 0 0 20 0 1 0 175341890 1196593152 259580 18446744073709551615 4227072 8923577 140720412950016 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 27914240 140720412952850 140720412953126 140720412953126 140720412958698 0
/proc/132101/statm: 292137 259580 2528 1147 0 279563 0
Current children cumulated CPU time: 3277.75 s
Current children cumulated vsize: 1172740 KiB
Current children cumulated memory: 1041392 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/273 132522
/proc/meminfo: memFree=102683700/131249996 swapFree=33000896/33010684
[pid=132098] ppid=132095 vsize=4192 memory=3072 CPUtime=0.28 cores=0,2
/proc/132098/stat : 132098 (run-opt-break-l) S 132095 132098 131924 0 -1 4194304 240 3470 0 0 0 0 26 2 20 0 1 0 175341803 4292608 768 18446744073709551615 94663898578944 94663899473477 140730726910928 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94663899712528 94663899760272 94663919161344 140730726914323 140730726914524 140730726914524 140730726920128 0
/proc/132098/statm: 1048 768 704 219 0 110 0
[pid=132101] ppid=132098 vsize=1170084 memory=1039600 CPUtime=3336.87 cores=0,2
/proc/132101/stat : 132101 (roundingsat) R 132098 132098 131924 0 -1 4194304 188280 0 0 0 329556 4131 0 0 20 0 1 0 175341890 1198166016 259900 18446744073709551615 4227072 8923577 140720412950016 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 27914240 140720412952850 140720412953126 140720412953126 140720412958698 0
/proc/132101/statm: 292521 259900 2528 1147 0 279947 0
Current children cumulated CPU time: 3337.15 s
Current children cumulated vsize: 1174276 KiB
Current children cumulated memory: 1042672 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/273 132525
/proc/meminfo: memFree=102273984/131249996 swapFree=33000896/33010684
[pid=132098] ppid=132095 vsize=4192 memory=3072 CPUtime=0.28 cores=0,2
/proc/132098/stat : 132098 (run-opt-break-l) S 132095 132098 131924 0 -1 4194304 240 3470 0 0 0 0 26 2 20 0 1 0 175341803 4292608 768 18446744073709551615 94663898578944 94663899473477 140730726910928 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94663899712528 94663899760272 94663919161344 140730726914323 140730726914524 140730726914524 140730726920128 0
/proc/132098/statm: 1048 768 704 219 0 110 0
[pid=132101] ppid=132098 vsize=1170644 memory=1040240 CPUtime=3396.29 cores=0,2
/proc/132101/stat : 132101 (roundingsat) R 132098 132098 131924 0 -1 4194304 188460 0 0 0 335447 4182 0 0 20 0 1 0 175341890 1198739456 260060 18446744073709551615 4227072 8923577 140720412950016 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 27914240 140720412952850 140720412953126 140720412953126 140720412958698 0
/proc/132101/statm: 292661 260060 2528 1147 0 280087 0
Current children cumulated CPU time: 3396.57 s
Current children cumulated vsize: 1174836 KiB
Current children cumulated memory: 1043312 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/273 132534
/proc/meminfo: memFree=101900672/131249996 swapFree=33000896/33010684
[pid=132098] ppid=132095 vsize=4192 memory=3072 CPUtime=0.28 cores=0,2
/proc/132098/stat : 132098 (run-opt-break-l) S 132095 132098 131924 0 -1 4194304 240 3470 0 0 0 0 26 2 20 0 1 0 175341803 4292608 768 18446744073709551615 94663898578944 94663899473477 140730726910928 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94663899712528 94663899760272 94663919161344 140730726914323 140730726914524 140730726914524 140730726920128 0
/proc/132098/statm: 1048 768 704 219 0 110 0
[pid=132101] ppid=132098 vsize=1178408 memory=1047996 CPUtime=3455.51 cores=0,2
/proc/132101/stat : 132101 (roundingsat) R 132098 132098 131924 0 -1 4194304 189888 0 0 0 341308 4243 0 0 20 0 1 0 175341890 1206689792 261999 18446744073709551615 4227072 8923577 140720412950016 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 27914240 140720412952850 140720412953126 140720412953126 140720412958698 0
/proc/132101/statm: 294602 261999 2528 1147 0 282028 0
Current children cumulated CPU time: 3455.79 s
Current children cumulated vsize: 1182600 KiB
Current children cumulated memory: 1051068 KiB
[startup+3582.3 s]
/proc/loadavg: 3.51 3.95 4.04 3/260 132598
/proc/meminfo: memFree=108383132/131249996 swapFree=33000896/33010684
[pid=132098] ppid=132095 vsize=4192 memory=3072 CPUtime=0.28 cores=0,2
/proc/132098/stat : 132098 (run-opt-break-l) S 132095 132098 131924 0 -1 4194304 240 3470 0 0 0 0 26 2 20 0 1 0 175341803 4292608 768 18446744073709551615 94663898578944 94663899473477 140730726910928 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94663899712528 94663899760272 94663919161344 140730726914323 140730726914524 140730726914524 140730726920128 0
/proc/132098/statm: 1048 768 704 219 0 110 0
[pid=132101] ppid=132098 vsize=1178408 memory=1047996 CPUtime=3514.1 cores=0,2
/proc/132101/stat : 132101 (roundingsat) R 132098 132098 131924 0 -1 4194304 189888 0 0 0 347093 4317 0 0 20 0 1 0 175341890 1206689792 261999 18446744073709551615 4227072 8923577 140720412950016 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 27914240 140720412952850 140720412953126 140720412953126 140720412958698 0
/proc/132101/statm: 294602 261999 2528 1147 0 282028 0
Current children cumulated CPU time: 3514.38 s
Current children cumulated vsize: 1182600 KiB
Current children cumulated memory: 1051068 KiB
[startup+3642.3 s]
/proc/loadavg: 2.64 3.62 3.92 3/260 132600
/proc/meminfo: memFree=108266196/131249996 swapFree=33000896/33010684
[pid=132098] ppid=132095 vsize=4192 memory=3072 CPUtime=0.28 cores=0,2
/proc/132098/stat : 132098 (run-opt-break-l) S 132095 132098 131924 0 -1 4194304 240 3470 0 0 0 0 26 2 20 0 1 0 175341803 4292608 768 18446744073709551615 94663898578944 94663899473477 140730726910928 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94663899712528 94663899760272 94663919161344 140730726914323 140730726914524 140730726914524 140730726920128 0
/proc/132098/statm: 1048 768 704 219 0 110 0
[pid=132101] ppid=132098 vsize=1178408 memory=1047996 CPUtime=3573.67 cores=0,2
/proc/132101/stat : 132101 (roundingsat) R 132098 132098 131924 0 -1 4194304 189888 0 0 0 353001 4366 0 0 20 0 1 0 175341890 1206689792 261999 18446744073709551615 4227072 8923577 140720412950016 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 27914240 140720412952850 140720412953126 140720412953126 140720412958698 0
/proc/132101/statm: 294602 261999 2528 1147 0 282028 0
Current children cumulated CPU time: 3573.95 s
Current children cumulated vsize: 1182600 KiB
Current children cumulated memory: 1051068 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3668.8 s]
/proc/loadavg: 2.48 3.51 3.88 3/260 132601
/proc/meminfo: memFree=108177744/131249996 swapFree=33000896/33010684
[pid=132098] ppid=132095 vsize=4192 memory=3072 CPUtime=0.28 cores=0,2
/proc/132098/stat : 132098 (run-opt-break-l) S 132095 132098 131924 0 -1 4194304 240 3470 0 0 0 0 26 2 20 0 1 0 175341803 4292608 768 18446744073709551615 94663898578944 94663899473477 140730726910928 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94663899712528 94663899760272 94663919161344 140730726914323 140730726914524 140730726914524 140730726920128 0
/proc/132098/statm: 1048 768 704 219 0 110 0
[pid=132101] ppid=132098 vsize=1185296 memory=1052092 CPUtime=3599.81 cores=0,2
/proc/132101/stat : 132101 (roundingsat) R 132098 132098 131924 0 -1 4194304 190914 0 0 0 355591 4390 0 0 20 0 1 0 175341890 1213743104 263023 18446744073709551615 4227072 8923577 140720412950016 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 27914240 140720412952850 140720412953126 140720412953126 140720412958698 0
/proc/132101/statm: 296324 263023 2528 1147 0 283750 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1189488 KiB
Current children cumulated memory: 1055164 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3668.8 s]
# the end of solver process 132098 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.263643 s, system=0.023667 s
Sleeping 2 seconds
[startup+3670.67 s]
# the end of solver process 132101 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3556.18 s, system=43.9502 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+3669.6 s]
/proc/loadavg: 2.45 3.48 3.87 2/259 132601
/proc/meminfo: memFree=108174336/131249996 swapFree=33000896/33010684
[pid=132101] ppid=132095 vsize=1185296 memory=1052220 CPUtime=3599.82 cores=0,2
/proc/132101/stat : 132101 (roundingsat) D 132095 132098 131924 0 -1 4194304 190917 0 0 0 355591 4391 0 0 20 0 1 0 175341890 1213743104 263055 18446744073709551615 4227072 8923577 140720412950016 0 0 0 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9827200 9836688 27914240 140720412952850 140720412953126 140720412953126 140720412958698 0
/proc/132101/statm: 296324 263055 2560 1147 0 283750 0
Current cumulated CPU time of completed processes: 0.28731 s
Current children cumulated CPU time: 3599.82 s
Current children cumulated vsize: 1185296 KiB
Current children cumulated memory: 1052220 KiB
[startup+3670.4 s]
/proc/loadavg: 2.45 3.48 3.87 2/259 132601
/proc/meminfo: memFree=108174304/131249996 swapFree=33000896/33010684
[pid=132101] ppid=132095 vsize=1185296 memory=1052220 CPUtime=3599.82 cores=0,2
/proc/132101/stat : 132101 (roundingsat) D 132095 132098 131924 0 -1 4194304 190917 0 0 0 355591 4391 0 0 20 0 1 0 175341890 1213743104 263055 18446744073709551615 4227072 8923577 140720412950016 0 0 0 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9827200 9836688 27914240 140720412952850 140720412953126 140720412953126 140720412958698 0
/proc/132101/statm: 296324 263055 2560 1147 0 283750 0
Current cumulated CPU time of completed processes: 0.28731 s
Current children cumulated CPU time: 3599.82 s
Current children cumulated vsize: 1185296 KiB
Current children cumulated memory: 1052220 KiB
[startup+3670.6 s]
/proc/loadavg: 2.45 3.48 3.87 2/259 132601
/proc/meminfo: memFree=108174304/131249996 swapFree=33000896/33010684
[pid=132101] ppid=132095 vsize=1185296 memory=1052220 CPUtime=3599.82 cores=0,2
/proc/132101/stat : 132101 (roundingsat) D 132095 132098 131924 0 -1 4194304 190917 0 0 0 355591 4391 0 0 20 0 1 0 175341890 1213743104 263055 18446744073709551615 4227072 8923577 140720412950016 0 0 0 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9827200 9836688 27914240 140720412952850 140720412953126 140720412953126 140720412958698 0
/proc/132101/statm: 296324 263055 2560 1147 0 283750 0
Current cumulated CPU time of completed processes: 0.28731 s
Current children cumulated CPU time: 3599.82 s
Current children cumulated vsize: 1185296 KiB
Current children cumulated memory: 1052220 KiB
Child status: 2
Real time (s): 3670.67
CPU time (s): 3600.13
CPU user time (s): 3556.18
CPU system time (s): 43.9502
CPU usage (%): 98.0783
Max. virtual memory (cumulated for all children) (KiB): 1189488
Max. memory (cumulated for all children) (KiB): 1055164
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3556.18
system time used= 43.9502
maximum resident set size= 1052220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 194643
page faults= 0
swaps= 0
block input operations= 0
block output operations= 36237544
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3744
involuntary context switches= 8716
# summary of solver processes directly reported to runsolver:
# pid: 132098,132101
# total CPU time (s): 3600.13
# total CPU user time (s): 3556.18
# total CPU system time (s): 43.9502
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.87345 second user time and 17.6836 second system time
The end
Begin job on nodeC023 at 2025-07-15 18:23:59
IDJOB=4532506
IDBENCH=148772
IDSOLVER=3393
FILE ID=nodeC023/4532506-1752596639
RUNJOBID= nodeC023-1752596515-131934
SLURM_JOB_ID= 9684372
Free space on /tmp= 432320 MiB
SOLVER NAME= roundingsat+pbsuma-opt-log 0f876b3
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 -w /tmp/evaluation-result-4532506-1752596639/watcher-4532506-1752596639 -o /tmp/evaluation-result-4532506-1752596639/solver-4532506-1752596639 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1752596515-131934 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4532506-1752596639.opb PROOFDIR/proof-4532506-1752596639
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7c2ff02722ff3a09887b085a032d3a00
RANDOM SEED=1731087919
nodeC023 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3596.928
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.887
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.876
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3665.324
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.849
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.892
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.072
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.233
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 127538504 kB
MemAvailable: 129399884 kB
Buffers: 16 kB
Cached: 2609420 kB
SwapCached: 2860 kB
Active: 644304 kB
Inactive: 2323028 kB
Active(anon): 326544 kB
Inactive(anon): 52576 kB
Active(file): 317760 kB
Inactive(file): 2270452 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33000896 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 933800 kB
Writeback: 0 kB
AnonPages: 358524 kB
Mapped: 116488 kB
Shmem: 20804 kB
KReclaimable: 224812 kB
Slab: 351512 kB
SReclaimable: 224812 kB
SUnreclaim: 126700 kB
KernelStack: 6400 kB
PageTables: 3972 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 734048 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 152680 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 69632 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 197332 kB
DirectMap2M: 9011200 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432312 MiB
End job on nodeC023 at 2025-07-15 19:25:10