0.00/0.02 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.02 c │ pbsuma -- a PB interface for satsuma │
0.00/0.02 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.02 c │ (c) 2025 Markus Anders │
0.00/0.02 c └────────────────────────────────────────────────────────────────┘
0.00/0.02 c parse 'HOME/instance-4519655-1751555170.opb'
0.00/0.02 c read 0.12MB (1.75ms)
0.00/0.02 c [cnf: #variables 4160 #clauses 1745 #duplicates 0 #arr 11904]
0.00/0.19 c output proof to 'PROOFDIR/proof-4519655-1751555170'
0.00/0.19 c
0.00/0.19 c make graph and approximate orbits
0.00/0.19 c [group: #orbits ~= 14] (2.66ms)
0.00/0.19 c
0.00/0.19 c detect special group actions
0.00/0.19 c probe for Johnson action (limit=64)
0.00/0.19 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.20 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.20 c recursing 192 blocks of candidate 32x194r
0.00/0.20 c found row 32x2, generating row predicate
0.00/0.20 c (8.85ms)
0.00/0.20 c
0.00/0.20 c detect symmetries on remainder
0.00/0.20 c [graph: #vertices 17361 #edges 46720]
0.00/0.20 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.01/0.22 c [group: #symmetries 4.80*10^1180 #generators 984] (18.44ms)
0.01/0.22 c
0.01/0.22 c optimize generators (opt_passes=64, conjugate_limit=2528)
0.01/0.22 c ran it=0, +gens=40
0.59/0.89 c con best_support=4, best_gens=961, +gens=2526
0.59/0.89 c (674.86ms)
0.59/0.89 c
0.59/0.89 c finalize break order and special generators
0.59/0.89 c
0.59/0.89 c add generic predicates (break_depth=20)
0.59/0.89 c added predicates for 3550 generators (0.76ms)
0.79/1.01 c
0.79/1.01 c generation finished
0.79/1.01 c [sbp: #constraints 213 #add_vars 0]
0.79/1.01 c
0.79/1.01 c write result to 'HOME/instance-4519655-1751555170.opb.pre'
0.79/1.01 c wrote 0.12MB (0.40ms)
0.79/1.01 c ------------------------------------------------------------------
0.79/1.01 c 674.86ms 68.07% optimize_gens
0.79/1.01 c 283.08ms 28.55% other
0.79/1.01 c 18.44ms 1.86% detect_generic
0.79/1.01 c 8.85ms 0.89% detect_special
0.79/1.01 c 2.66ms 0.27% approx_orbits
0.79/1.01 c 1.75ms 0.18% parse
0.79/1.01 c 0.76ms 0.08% break_generic
0.79/1.01 c 0.59ms 0.06% finalize_order
0.79/1.01 c 0.40ms 0.04% output
0.79/1.01 c ───────────────────────────────────────────────
0.79/1.01 c 991.39ms 100% total
0.79/1.01 c ------------------------------------------------------------------
0.79/1.03 c RoundingSat 2
0.79/1.03 c branch pb25
0.79/1.03 c commit 63f22ad
0.79/1.05 c #variables 4160 #constraints 1957
0.79/1.05 c objective is ce32
0.79/1.07 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.79/1.07 c initial counting CF 32, 64, 128, Arb: 65 , 0 , 0 , 0
0.79/1.07 c bounds -16 >= -1024 @ 0.029342
0.79/1.07 c rational objective -32
0.79/1.94 c #Conflicts: 1000 | #Constraints: 2999
0.79/1.94 c #Conflicts: 2000 | #Constraints: 4015
0.79/1.94 c INPROCESSING
0.79/1.94 c GARBAGE COLLECT
0.79/1.94 c rational objective -32
0.79/1.98 c bounds -16 >= -970 @ 0.888573
0.79/1.98 c bounds -16 >= -939 @ 0.88865
0.79/1.98 c bounds -16 >= -908 @ 0.888658
0.79/1.98 c bounds -16 >= -877 @ 0.888982
0.79/1.98 c bounds -16 >= -846 @ 0.8893
0.79/1.98 c bounds -16 >= -815 @ 0.889608
0.79/1.98 c bounds -16 >= -784 @ 0.88993
0.79/1.98 c bounds -16 >= -753 @ 0.890229
0.79/1.98 c bounds -16 >= -722 @ 0.890528
0.79/1.98 c bounds -16 >= -691 @ 0.89082
0.79/1.98 c bounds -16 >= -660 @ 0.891108
0.79/1.98 c bounds -16 >= -629 @ 0.891388
0.79/1.98 c bounds -16 >= -598 @ 0.891661
0.79/1.98 c bounds -16 >= -567 @ 0.891931
0.79/1.98 c bounds -16 >= -536 @ 0.892188
0.79/1.98 c bounds -16 >= -505 @ 0.892454
0.79/1.99 c bounds -16 >= -474 @ 0.892711
0.79/1.99 c bounds -16 >= -443 @ 0.892953
0.79/1.99 c bounds -16 >= -412 @ 0.893195
0.79/1.99 c bounds -16 >= -381 @ 0.893436
0.79/1.99 c bounds -16 >= -350 @ 0.893667
0.79/1.99 c bounds -16 >= -319 @ 0.893891
0.79/1.99 c bounds -16 >= -288 @ 0.894105
0.79/1.99 c bounds -16 >= -257 @ 0.894312
0.79/1.99 c bounds -16 >= -226 @ 0.894515
0.79/1.99 c bounds -16 >= -195 @ 0.894711
0.79/1.99 c bounds -16 >= -164 @ 0.894917
0.79/1.99 c bounds -16 >= -133 @ 0.89511
0.79/1.99 c bounds -16 >= -103 @ 0.895306
0.79/1.99 c bounds -16 >= -72 @ 0.895489
0.79/1.99 c bounds -16 >= -41 @ 0.895678
0.79/1.99 c bounds -16 >= -33 @ 0.895841
0.79/1.99 c bounds -16 >= -32 @ 0.896023
2.33/2.62 c #Conflicts: 3000 | #Constraints: 4061
2.33/2.62 c #Conflicts: 4000 | #Constraints: 5067
2.33/2.62 c INPROCESSING
2.33/2.62 c GARBAGE COLLECT
2.33/2.62 c rational objective -32
3.33/3.64 c #Conflicts: 5000 | #Constraints: 4414
3.33/3.64 c #Conflicts: 6000 | #Constraints: 5416
3.33/3.64 c INPROCESSING
3.33/3.64 c GARBAGE COLLECT
3.33/3.64 c rational objective -32
5.02/5.36 c #Conflicts: 7000 | #Constraints: 4426
5.02/5.36 c #Conflicts: 8000 | #Constraints: 5433
5.02/5.36 c #Conflicts: 9000 | #Constraints: 6441
5.02/5.36 c INPROCESSING
5.02/5.36 c GARBAGE COLLECT
5.02/5.36 c rational objective -32
6.42/6.72 c #Conflicts: 10000 | #Constraints: 5125
6.42/6.72 c #Conflicts: 11000 | #Constraints: 6129
6.42/6.72 c #Conflicts: 12000 | #Constraints: 7143
6.42/6.72 c INPROCESSING
6.42/6.72 c GARBAGE COLLECT
6.42/6.72 c rational objective -32
8.02/8.38 c #Conflicts: 13000 | #Constraints: 5580
8.02/8.38 c #Conflicts: 14000 | #Constraints: 6584
8.02/8.38 c #Conflicts: 15000 | #Constraints: 7596
8.02/8.38 c INPROCESSING
8.02/8.38 c GARBAGE COLLECT
8.02/8.38 c rational objective -32
9.91/10.29 c #Conflicts: 16000 | #Constraints: 5826
9.91/10.29 c #Conflicts: 17000 | #Constraints: 6835
9.91/10.29 c #Conflicts: 18000 | #Constraints: 7861
9.91/10.29 c INPROCESSING
9.91/10.29 c GARBAGE COLLECT
9.91/10.29 c rational objective -32
11.51/11.87 c #Conflicts: 19000 | #Constraints: 5864
11.51/11.87 c #Conflicts: 20000 | #Constraints: 6880
11.51/11.87 c #Conflicts: 21000 | #Constraints: 7891
11.51/11.87 c INPROCESSING
11.51/11.87 c GARBAGE COLLECT
11.51/11.87 c rational objective -32
13.81/14.13 c #Conflicts: 22000 | #Constraints: 5657
13.81/14.13 c #Conflicts: 23000 | #Constraints: 6661
13.81/14.13 c #Conflicts: 24000 | #Constraints: 7663
13.81/14.13 c #Conflicts: 25000 | #Constraints: 8673
13.81/14.13 c INPROCESSING
13.81/14.13 c GARBAGE COLLECT
13.81/14.13 c rational objective -32
15.90/16.21 c #Conflicts: 26000 | #Constraints: 6179
15.90/16.21 c #Conflicts: 27000 | #Constraints: 7186
15.90/16.21 c #Conflicts: 28000 | #Constraints: 8196
15.90/16.21 c #Conflicts: 29000 | #Constraints: 9199
15.90/16.21 c INPROCESSING
15.90/16.21 c GARBAGE COLLECT
15.90/16.21 c rational objective -32
17.70/18.02 c #Conflicts: 30000 | #Constraints: 6589
17.70/18.02 c #Conflicts: 31000 | #Constraints: 7598
17.70/18.02 c #Conflicts: 32000 | #Constraints: 8601
17.70/18.02 c #Conflicts: 33000 | #Constraints: 9611
17.70/18.02 c INPROCESSING
17.70/18.02 c GARBAGE COLLECT
17.70/18.02 c rational objective -32
20.99/21.30 c #Conflicts: 34000 | #Constraints: 6785
20.99/21.30 c #Conflicts: 35000 | #Constraints: 7791
20.99/21.30 c #Conflicts: 36000 | #Constraints: 8802
20.99/21.30 c #Conflicts: 37000 | #Constraints: 9818
20.99/21.30 c INPROCESSING
20.99/21.30 c GARBAGE COLLECT
20.99/21.30 c rational objective -32
22.98/23.36 c #Conflicts: 38000 | #Constraints: 6797
22.98/23.36 c #Conflicts: 39000 | #Constraints: 7804
22.98/23.36 c #Conflicts: 40000 | #Constraints: 8810
22.98/23.36 c #Conflicts: 41000 | #Constraints: 9817
22.98/23.36 c INPROCESSING
22.98/23.36 c GARBAGE COLLECT
22.98/23.36 c rational objective -32
25.87/26.26 c #Conflicts: 42000 | #Constraints: 6622
25.87/26.26 c #Conflicts: 43000 | #Constraints: 7632
25.87/26.26 c #Conflicts: 44000 | #Constraints: 8645
25.87/26.26 c #Conflicts: 45000 | #Constraints: 9648
25.87/26.26 c #Conflicts: 46000 | #Constraints: 10655
25.87/26.26 c INPROCESSING
25.87/26.26 c GARBAGE COLLECT
25.87/26.26 c rational objective -32
28.26/28.67 c #Conflicts: 47000 | #Constraints: 7210
28.26/28.67 c #Conflicts: 48000 | #Constraints: 8219
28.26/28.67 c #Conflicts: 49000 | #Constraints: 9234
28.26/28.67 c #Conflicts: 50000 | #Constraints: 10243
28.26/28.67 c #Conflicts: 51000 | #Constraints: 11248
28.26/28.67 c INPROCESSING
28.26/28.67 c GARBAGE COLLECT
28.26/28.67 c rational objective -32
32.42/40.93 c #Conflicts: 52000 | #Constraints: 7612
32.42/40.93 c #Conflicts: 53000 | #Constraints: 8637
32.42/40.93 c #Conflicts: 54000 | #Constraints: 9647
32.42/40.93 c #Conflicts: 55000 | #Constraints: 10655
32.42/40.93 c #Conflicts: 56000 | #Constraints: 11664
32.42/40.93 c INPROCESSING
32.42/40.93 c GARBAGE COLLECT
32.42/40.93 c rational objective -32
34.71/43.27 c #Conflicts: 57000 | #Constraints: 7813
34.71/43.27 c #Conflicts: 58000 | #Constraints: 8816
34.71/43.27 c #Conflicts: 59000 | #Constraints: 9831
34.71/43.27 c #Conflicts: 60000 | #Constraints: 10838
34.71/43.27 c #Conflicts: 61000 | #Constraints: 11846
34.71/43.27 c INPROCESSING
34.71/43.27 c GARBAGE COLLECT
34.71/43.27 c rational objective -32
38.11/46.63 c #Conflicts: 62000 | #Constraints: 7798
38.11/46.63 c #Conflicts: 63000 | #Constraints: 8805
38.11/46.63 c #Conflicts: 64000 | #Constraints: 9809
38.11/46.63 c #Conflicts: 65000 | #Constraints: 10821
38.11/46.63 c #Conflicts: 66000 | #Constraints: 11835
38.11/46.63 c INPROCESSING
38.11/46.63 c GARBAGE COLLECT
38.11/46.63 c rational objective -32
42.59/51.15 c #Conflicts: 67000 | #Constraints: 7606
42.59/51.15 c #Conflicts: 68000 | #Constraints: 8614
42.59/51.15 c #Conflicts: 69000 | #Constraints: 9622
42.59/51.15 c #Conflicts: 70000 | #Constraints: 10632
42.59/51.15 c #Conflicts: 71000 | #Constraints: 11647
42.59/51.15 c #Conflicts: 72000 | #Constraints: 12651
42.59/51.15 c INPROCESSING
42.59/51.15 c GARBAGE COLLECT
42.59/51.15 c rational objective -32
45.68/54.22 c #Conflicts: 73000 | #Constraints: 8217
45.68/54.22 c #Conflicts: 74000 | #Constraints: 9219
45.68/54.22 c #Conflicts: 75000 | #Constraints: 10223
45.68/54.22 c #Conflicts: 76000 | #Constraints: 11230
45.68/54.22 c #Conflicts: 77000 | #Constraints: 12235
45.68/54.22 c #Conflicts: 78000 | #Constraints: 13239
45.68/54.22 c INPROCESSING
45.68/54.22 c GARBAGE COLLECT
45.68/54.22 c rational objective -32
49.67/58.20 c #Conflicts: 79000 | #Constraints: 8606
49.67/58.20 c #Conflicts: 80000 | #Constraints: 9615
49.67/58.20 c #Conflicts: 81000 | #Constraints: 10617
49.67/58.20 c #Conflicts: 82000 | #Constraints: 11635
49.67/58.20 c #Conflicts: 83000 | #Constraints: 12669
49.67/58.20 c #Conflicts: 84000 | #Constraints: 13672
49.67/58.20 c INPROCESSING
49.67/58.20 c GARBAGE COLLECT
49.67/58.20 c rational objective -32
53.76/62.34 c #Conflicts: 85000 | #Constraints: 8859
53.76/62.34 c #Conflicts: 86000 | #Constraints: 9869
53.76/62.34 c #Conflicts: 87000 | #Constraints: 10884
53.76/62.34 c #Conflicts: 88000 | #Constraints: 11890
53.76/62.34 c #Conflicts: 89000 | #Constraints: 12902
53.76/62.34 c #Conflicts: 90000 | #Constraints: 13917
53.76/62.34 c INPROCESSING
53.76/62.34 c GARBAGE COLLECT
53.76/62.34 c rational objective -32
69.44/78.26 c #Conflicts: 91000 | #Constraints: 8818
69.44/78.26 c #Conflicts: 92000 | #Constraints: 9825
69.44/78.26 c #Conflicts: 93000 | #Constraints: 10839
69.44/78.26 c #Conflicts: 94000 | #Constraints: 11854
69.44/78.26 c #Conflicts: 95000 | #Constraints: 12856
69.44/78.26 c #Conflicts: 96000 | #Constraints: 13865
69.44/78.26 c INPROCESSING
69.44/78.26 c GARBAGE COLLECT
69.44/78.26 c rational objective -32
74.03/82.85 c #Conflicts: 97000 | #Constraints: 8647
74.03/82.85 c #Conflicts: 98000 | #Constraints: 9668
74.03/82.85 c #Conflicts: 99000 | #Constraints: 10680
74.03/82.85 c #Conflicts: 100000 | #Constraints: 11688
74.03/82.85 c #Conflicts: 101000 | #Constraints: 12702
74.03/82.85 c #Conflicts: 102000 | #Constraints: 13709
74.03/82.85 c #Conflicts: 103000 | #Constraints: 14716
74.03/82.85 c INPROCESSING
74.03/82.85 c GARBAGE COLLECT
74.03/82.85 c rational objective -32
77.52/86.30 c #Conflicts: 104000 | #Constraints: 9248
77.52/86.30 c #Conflicts: 105000 | #Constraints: 10257
77.52/86.30 c #Conflicts: 106000 | #Constraints: 11265
77.52/86.30 c #Conflicts: 107000 | #Constraints: 12273
77.52/86.30 c #Conflicts: 108000 | #Constraints: 13280
77.52/86.30 c #Conflicts: 109000 | #Constraints: 14285
77.52/86.30 c #Conflicts: 110000 | #Constraints: 15298
77.52/86.30 c INPROCESSING
77.52/86.30 c GARBAGE COLLECT
77.52/86.30 c rational objective -32
81.90/90.78 c #Conflicts: 111000 | #Constraints: 9613
81.90/90.78 c #Conflicts: 112000 | #Constraints: 10629
81.90/90.78 c #Conflicts: 113000 | #Constraints: 11635
81.90/90.78 c #Conflicts: 114000 | #Constraints: 12645
81.90/90.78 c #Conflicts: 115000 | #Constraints: 13662
81.90/90.78 c #Conflicts: 116000 | #Constraints: 14676
81.90/90.78 c #Conflicts: 117000 | #Constraints: 15695
81.90/90.78 c INPROCESSING
81.90/90.78 c GARBAGE COLLECT
81.90/90.78 c rational objective -32
87.10/95.96 c #Conflicts: 118000 | #Constraints: 9820
87.10/95.96 c #Conflicts: 119000 | #Constraints: 10834
87.10/95.96 c #Conflicts: 120000 | #Constraints: 11847
87.10/95.96 c #Conflicts: 121000 | #Constraints: 12864
87.10/95.96 c #Conflicts: 122000 | #Constraints: 13877
87.10/95.96 c #Conflicts: 123000 | #Constraints: 14882
87.10/95.96 c #Conflicts: 124000 | #Constraints: 15887
87.10/95.96 c INPROCESSING
87.10/95.96 c GARBAGE COLLECT
87.10/95.96 c rational objective -32
94.28/103.12 c #Conflicts: 125000 | #Constraints: 9821
94.28/103.12 c #Conflicts: 126000 | #Constraints: 10833
94.28/103.12 c #Conflicts: 127000 | #Constraints: 11846
94.28/103.12 c #Conflicts: 128000 | #Constraints: 12859
94.28/103.12 c #Conflicts: 129000 | #Constraints: 13864
94.28/103.12 c #Conflicts: 130000 | #Constraints: 14896
94.28/103.12 c #Conflicts: 131000 | #Constraints: 15906
94.28/103.12 c INPROCESSING
94.28/103.12 c GARBAGE COLLECT
94.28/103.12 c rational objective -32
98.03/107.14 c #Conflicts: 132000 | #Constraints: 9625
98.03/107.14 c #Conflicts: 133000 | #Constraints: 10626
98.03/107.14 c #Conflicts: 134000 | #Constraints: 11628
98.03/107.14 c #Conflicts: 135000 | #Constraints: 12633
98.03/107.14 c #Conflicts: 136000 | #Constraints: 13639
98.03/107.14 c #Conflicts: 137000 | #Constraints: 14648
98.03/107.14 c #Conflicts: 138000 | #Constraints: 15660
98.03/107.14 c #Conflicts: 139000 | #Constraints: 16670
98.03/107.14 c INPROCESSING
98.03/107.14 c GARBAGE COLLECT
98.03/107.14 c rational objective -32
109.01/118.17 c #Conflicts: 140000 | #Constraints: 10205
109.01/118.17 c #Conflicts: 141000 | #Constraints: 11220
109.01/118.17 c #Conflicts: 142000 | #Constraints: 12226
109.01/118.17 c #Conflicts: 143000 | #Constraints: 13232
109.01/118.17 c #Conflicts: 144000 | #Constraints: 14257
109.01/118.17 c #Conflicts: 145000 | #Constraints: 15270
109.01/118.17 c #Conflicts: 146000 | #Constraints: 16299
109.01/118.17 c #Conflicts: 147000 | #Constraints: 17316
109.01/118.17 c INPROCESSING
109.01/118.17 c GARBAGE COLLECT
109.01/118.17 c rational objective -32
113.38/122.53 c #Conflicts: 148000 | #Constraints: 10658
113.38/122.53 c #Conflicts: 149000 | #Constraints: 11664
113.38/122.53 c #Conflicts: 150000 | #Constraints: 12667
113.38/122.53 c #Conflicts: 151000 | #Constraints: 13671
113.38/122.53 c #Conflicts: 152000 | #Constraints: 14684
113.38/122.53 c #Conflicts: 153000 | #Constraints: 15697
113.38/122.53 c #Conflicts: 154000 | #Constraints: 16706
113.38/122.53 c bounds -16 >= -31 @ 110.635
113.89/123.01 c #Conflicts: 155000 | #Constraints: 17711
113.89/123.01 c INPROCESSING
113.89/123.01 c GARBAGE COLLECT
113.89/123.01 c rational objective -31
120.37/129.59 c #Conflicts: 156000 | #Constraints: 10822
120.37/129.59 c #Conflicts: 157000 | #Constraints: 11824
120.37/129.59 c #Conflicts: 158000 | #Constraints: 12829
120.37/129.59 c #Conflicts: 159000 | #Constraints: 13835
120.37/129.59 c #Conflicts: 160000 | #Constraints: 14838
120.37/129.59 c #Conflicts: 161000 | #Constraints: 15848
120.37/129.59 c #Conflicts: 162000 | #Constraints: 16851
120.37/129.59 c #Conflicts: 163000 | #Constraints: 17854
120.37/129.59 c INPROCESSING
120.37/129.59 c GARBAGE COLLECT
120.37/129.59 c rational objective -31
128.80/138.33 c #Conflicts: 164000 | #Constraints: 10788
128.80/138.33 c #Conflicts: 165000 | #Constraints: 11796
128.80/138.33 c #Conflicts: 166000 | #Constraints: 12810
128.80/138.33 c #Conflicts: 167000 | #Constraints: 13824
128.80/138.33 c #Conflicts: 168000 | #Constraints: 14837
128.80/138.33 c #Conflicts: 169000 | #Constraints: 15842
128.80/138.33 c #Conflicts: 170000 | #Constraints: 16843
128.80/138.33 c #Conflicts: 171000 | #Constraints: 17848
128.80/138.33 c INPROCESSING
128.80/138.33 c GARBAGE COLLECT
128.80/138.33 c rational objective -31
136.97/146.55 c #Conflicts: 172000 | #Constraints: 10613
136.97/146.55 c #Conflicts: 173000 | #Constraints: 11632
136.97/146.55 c #Conflicts: 174000 | #Constraints: 12653
136.97/146.55 c #Conflicts: 175000 | #Constraints: 13664
136.97/146.55 c #Conflicts: 176000 | #Constraints: 14667
136.97/146.55 c #Conflicts: 177000 | #Constraints: 15670
136.97/146.55 c #Conflicts: 178000 | #Constraints: 16676
136.97/146.55 c #Conflicts: 179000 | #Constraints: 17686
136.97/146.55 c #Conflicts: 180000 | #Constraints: 18706
136.97/146.55 c INPROCESSING
136.97/146.55 c GARBAGE COLLECT
136.97/146.55 c rational objective -31
143.46/153.07 c #Conflicts: 181000 | #Constraints: 11220
143.46/153.07 c #Conflicts: 182000 | #Constraints: 12225
143.46/153.07 c #Conflicts: 183000 | #Constraints: 13235
143.46/153.07 c #Conflicts: 184000 | #Constraints: 14252
143.46/153.07 c #Conflicts: 185000 | #Constraints: 15270
143.46/153.07 c #Conflicts: 186000 | #Constraints: 16286
143.46/153.07 c #Conflicts: 187000 | #Constraints: 17294
143.46/153.07 c #Conflicts: 188000 | #Constraints: 18309
143.46/153.07 c #Conflicts: 189000 | #Constraints: 19319
143.46/153.07 c INPROCESSING
143.46/153.07 c GARBAGE COLLECT
143.46/153.07 c rational objective -31
151.52/161.13 c #Conflicts: 190000 | #Constraints: 11632
151.52/161.13 c #Conflicts: 191000 | #Constraints: 12644
151.52/161.13 c #Conflicts: 192000 | #Constraints: 13661
151.52/161.13 c #Conflicts: 193000 | #Constraints: 14681
151.52/161.13 c #Conflicts: 194000 | #Constraints: 15692
151.52/161.13 c #Conflicts: 195000 | #Constraints: 16715
151.52/161.13 c #Conflicts: 196000 | #Constraints: 17736
151.52/161.13 c #Conflicts: 197000 | #Constraints: 18752
151.52/161.13 c #Conflicts: 198000 | #Constraints: 19772
151.52/161.13 c INPROCESSING
151.52/161.13 c GARBAGE COLLECT
151.52/161.13 c rational objective -31
159.27/176.37 c #Conflicts: 199000 | #Constraints: 11868
159.27/176.37 c #Conflicts: 200000 | #Constraints: 12874
159.27/176.37 c #Conflicts: 201000 | #Constraints: 13882
159.27/176.37 c #Conflicts: 202000 | #Constraints: 14897
159.27/176.37 c #Conflicts: 203000 | #Constraints: 15910
159.27/176.37 c #Conflicts: 204000 | #Constraints: 16923
159.27/176.37 c #Conflicts: 205000 | #Constraints: 17934
159.27/176.37 c #Conflicts: 206000 | #Constraints: 18945
159.27/176.37 c #Conflicts: 207000 | #Constraints: 19955
159.27/176.37 c INPROCESSING
159.27/176.37 c GARBAGE COLLECT
159.27/176.37 c rational objective -31
168.54/185.65 c #Conflicts: 208000 | #Constraints: 11809
168.54/185.65 c #Conflicts: 209000 | #Constraints: 12814
168.54/185.65 c #Conflicts: 210000 | #Constraints: 13820
168.54/185.65 c #Conflicts: 211000 | #Constraints: 14826
168.54/185.65 c #Conflicts: 212000 | #Constraints: 15831
168.54/185.65 c #Conflicts: 213000 | #Constraints: 16835
168.54/185.65 c #Conflicts: 214000 | #Constraints: 17841
168.54/185.65 c #Conflicts: 215000 | #Constraints: 18851
168.54/185.65 c #Conflicts: 216000 | #Constraints: 19858
168.54/185.65 c INPROCESSING
168.54/185.65 c GARBAGE COLLECT
168.54/185.65 c rational objective -31
177.11/194.22 c #Conflicts: 217000 | #Constraints: 11581
177.11/194.22 c #Conflicts: 218000 | #Constraints: 12590
177.11/194.22 c #Conflicts: 219000 | #Constraints: 13607
177.11/194.22 c #Conflicts: 220000 | #Constraints: 14619
177.11/194.22 c #Conflicts: 221000 | #Constraints: 15628
177.11/194.22 c #Conflicts: 222000 | #Constraints: 16638
177.11/194.22 c #Conflicts: 223000 | #Constraints: 17651
177.11/194.22 c #Conflicts: 224000 | #Constraints: 18664
177.11/194.22 c #Conflicts: 225000 | #Constraints: 19677
177.11/194.22 c #Conflicts: 226000 | #Constraints: 20683
177.11/194.22 c INPROCESSING
177.11/194.22 c GARBAGE COLLECT
177.11/194.22 c rational objective -31
184.44/201.74 c #Conflicts: 227000 | #Constraints: 12196
184.44/201.74 c #Conflicts: 228000 | #Constraints: 13208
184.44/201.74 c #Conflicts: 229000 | #Constraints: 14227
184.44/201.74 c #Conflicts: 230000 | #Constraints: 15237
184.44/201.74 c #Conflicts: 231000 | #Constraints: 16248
184.44/201.74 c #Conflicts: 232000 | #Constraints: 17264
184.44/201.74 c #Conflicts: 233000 | #Constraints: 18277
184.44/201.74 c #Conflicts: 234000 | #Constraints: 19286
184.44/201.74 c #Conflicts: 235000 | #Constraints: 20288
184.44/201.74 c #Conflicts: 236000 | #Constraints: 21304
184.44/201.74 c INPROCESSING
184.44/201.74 c GARBAGE COLLECT
184.44/201.74 c rational objective -31
195.41/212.75 c #Conflicts: 237000 | #Constraints: 12596
195.41/212.75 c #Conflicts: 238000 | #Constraints: 13612
195.41/212.75 c #Conflicts: 239000 | #Constraints: 14640
195.41/212.75 c #Conflicts: 240000 | #Constraints: 15643
195.41/212.75 c #Conflicts: 241000 | #Constraints: 16644
195.41/212.75 c #Conflicts: 242000 | #Constraints: 17653
195.41/212.75 c #Conflicts: 243000 | #Constraints: 18666
195.41/212.75 c #Conflicts: 244000 | #Constraints: 19670
195.41/212.75 c #Conflicts: 245000 | #Constraints: 20680
195.41/212.75 c #Conflicts: 246000 | #Constraints: 21692
195.41/212.75 c INPROCESSING
195.41/212.75 c GARBAGE COLLECT
195.41/212.75 c rational objective -31
203.56/221.00 c #Conflicts: 247000 | #Constraints: 12806
203.56/221.00 c #Conflicts: 248000 | #Constraints: 13815
203.56/221.00 c #Conflicts: 249000 | #Constraints: 14823
203.56/221.00 c #Conflicts: 250000 | #Constraints: 15831
203.56/221.00 c #Conflicts: 251000 | #Constraints: 16852
203.56/221.00 c #Conflicts: 252000 | #Constraints: 17875
203.56/221.00 c #Conflicts: 253000 | #Constraints: 18883
203.56/221.00 c #Conflicts: 254000 | #Constraints: 19888
203.56/221.00 c #Conflicts: 255000 | #Constraints: 20889
203.56/221.00 c #Conflicts: 256000 | #Constraints: 21893
203.56/221.00 c INPROCESSING
203.56/221.00 c GARBAGE COLLECT
203.56/221.00 c rational objective -31
212.92/230.52 c #Conflicts: 257000 | #Constraints: 12805
212.92/230.52 c #Conflicts: 258000 | #Constraints: 13815
212.92/230.52 c #Conflicts: 259000 | #Constraints: 14838
212.92/230.52 c #Conflicts: 260000 | #Constraints: 15840
212.92/230.52 c #Conflicts: 261000 | #Constraints: 16853
212.92/230.52 c #Conflicts: 262000 | #Constraints: 17874
212.92/230.52 c #Conflicts: 263000 | #Constraints: 18897
212.92/230.52 c #Conflicts: 264000 | #Constraints: 19915
212.92/230.52 c #Conflicts: 265000 | #Constraints: 20924
212.92/230.52 c #Conflicts: 266000 | #Constraints: 21940
212.92/230.52 c INPROCESSING
212.92/230.52 c GARBAGE COLLECT
212.92/230.52 c rational objective -31
219.97/237.63 c #Conflicts: 267000 | #Constraints: 12663
219.97/237.63 c #Conflicts: 268000 | #Constraints: 13667
219.97/237.63 c #Conflicts: 269000 | #Constraints: 14671
219.97/237.63 c #Conflicts: 270000 | #Constraints: 15689
219.97/237.63 c #Conflicts: 271000 | #Constraints: 16705
219.97/237.63 c #Conflicts: 272000 | #Constraints: 17720
219.97/237.63 c #Conflicts: 273000 | #Constraints: 18733
219.97/237.63 c #Conflicts: 274000 | #Constraints: 19756
219.97/237.63 c #Conflicts: 275000 | #Constraints: 20766
219.97/237.63 c #Conflicts: 276000 | #Constraints: 21772
219.97/237.63 c #Conflicts: 277000 | #Constraints: 22783
219.97/237.63 c INPROCESSING
219.97/237.63 c GARBAGE COLLECT
219.97/237.63 c rational objective -31
229.10/246.84 c #Conflicts: 278000 | #Constraints: 13251
229.10/246.84 c #Conflicts: 279000 | #Constraints: 14255
229.10/246.84 c #Conflicts: 280000 | #Constraints: 15258
229.10/246.84 c #Conflicts: 281000 | #Constraints: 16264
229.10/246.84 c #Conflicts: 282000 | #Constraints: 17273
229.10/246.84 c #Conflicts: 283000 | #Constraints: 18276
229.10/246.84 c #Conflicts: 284000 | #Constraints: 19279
229.10/246.84 c #Conflicts: 285000 | #Constraints: 20294
229.10/246.84 c #Conflicts: 286000 | #Constraints: 21302
229.10/246.84 c #Conflicts: 287000 | #Constraints: 22306
229.10/246.84 c #Conflicts: 288000 | #Constraints: 23308
229.10/246.84 c INPROCESSING
229.10/246.84 c GARBAGE COLLECT
229.10/246.84 c rational objective -31
240.06/257.89 c #Conflicts: 289000 | #Constraints: 13612
240.06/257.89 c #Conflicts: 290000 | #Constraints: 14623
240.06/257.89 c #Conflicts: 291000 | #Constraints: 15647
240.06/257.89 c #Conflicts: 292000 | #Constraints: 16656
240.06/257.89 c #Conflicts: 293000 | #Constraints: 17663
240.06/257.89 c #Conflicts: 294000 | #Constraints: 18676
240.06/257.89 c #Conflicts: 295000 | #Constraints: 19700
240.06/257.89 c #Conflicts: 296000 | #Constraints: 20718
240.06/257.89 c #Conflicts: 297000 | #Constraints: 21728
240.06/257.89 c #Conflicts: 298000 | #Constraints: 22734
240.06/257.89 c #Conflicts: 299000 | #Constraints: 23751
240.06/257.89 c INPROCESSING
240.06/257.89 c GARBAGE COLLECT
240.06/257.89 c rational objective -31
250.82/268.63 c #Conflicts: 300000 | #Constraints: 13817
250.82/268.63 c #Conflicts: 301000 | #Constraints: 14827
250.82/268.63 c #Conflicts: 302000 | #Constraints: 15832
250.82/268.63 c #Conflicts: 303000 | #Constraints: 16841
250.82/268.63 c #Conflicts: 304000 | #Constraints: 17843
250.82/268.63 c #Conflicts: 305000 | #Constraints: 18854
250.82/268.63 c #Conflicts: 306000 | #Constraints: 19861
250.82/268.63 c #Conflicts: 307000 | #Constraints: 20866
250.82/268.63 c #Conflicts: 308000 | #Constraints: 21869
250.82/268.63 c #Conflicts: 309000 | #Constraints: 22882
250.82/268.63 c #Conflicts: 310000 | #Constraints: 23891
250.82/268.63 c INPROCESSING
250.82/268.63 c GARBAGE COLLECT
250.82/268.63 c rational objective -31
265.77/283.61 c #Conflicts: 311000 | #Constraints: 13796
265.77/283.61 c #Conflicts: 312000 | #Constraints: 14801
265.77/283.61 c #Conflicts: 313000 | #Constraints: 15827
265.77/283.61 c #Conflicts: 314000 | #Constraints: 16838
265.77/283.61 c #Conflicts: 315000 | #Constraints: 17848
265.77/283.61 c #Conflicts: 316000 | #Constraints: 18860
265.77/283.61 c #Conflicts: 317000 | #Constraints: 19872
265.77/283.61 c #Conflicts: 318000 | #Constraints: 20904
265.77/283.61 c #Conflicts: 319000 | #Constraints: 21932
265.77/283.61 c #Conflicts: 320000 | #Constraints: 22947
265.77/283.61 c #Conflicts: 321000 | #Constraints: 23962
265.77/283.61 c INPROCESSING
265.77/283.61 c GARBAGE COLLECT
265.77/283.61 c rational objective -31
279.14/297.06 c #Conflicts: 322000 | #Constraints: 13655
279.14/297.06 c #Conflicts: 323000 | #Constraints: 14672
279.14/297.06 c #Conflicts: 324000 | #Constraints: 15682
279.14/297.06 c #Conflicts: 325000 | #Constraints: 16694
279.14/297.06 c #Conflicts: 326000 | #Constraints: 17709
279.14/297.06 c #Conflicts: 327000 | #Constraints: 18724
279.14/297.06 c #Conflicts: 328000 | #Constraints: 19737
279.14/297.06 c #Conflicts: 329000 | #Constraints: 20758
279.14/297.06 c #Conflicts: 330000 | #Constraints: 21781
279.14/297.06 c #Conflicts: 331000 | #Constraints: 22786
279.14/297.06 c #Conflicts: 332000 | #Constraints: 23799
279.14/297.06 c #Conflicts: 333000 | #Constraints: 24816
279.14/297.06 c INPROCESSING
279.14/297.06 c GARBAGE COLLECT
279.14/297.06 c rational objective -31
290.80/308.70 c #Conflicts: 334000 | #Constraints: 14288
290.80/308.70 c #Conflicts: 335000 | #Constraints: 15305
290.80/308.70 c #Conflicts: 336000 | #Constraints: 16320
290.80/308.70 c #Conflicts: 337000 | #Constraints: 17330
290.80/308.70 c #Conflicts: 338000 | #Constraints: 18346
290.80/308.70 c #Conflicts: 339000 | #Constraints: 19376
290.80/308.70 c #Conflicts: 340000 | #Constraints: 20380
290.80/308.70 c #Conflicts: 341000 | #Constraints: 21399
290.80/308.70 c #Conflicts: 342000 | #Constraints: 22411
290.80/308.70 c #Conflicts: 343000 | #Constraints: 23416
290.80/308.70 c #Conflicts: 344000 | #Constraints: 24452
290.80/308.70 c #Conflicts: 345000 | #Constraints: 25468
290.80/308.70 c INPROCESSING
290.80/308.70 c GARBAGE COLLECT
290.80/308.70 c rational objective -31
301.94/320.04 c #Conflicts: 346000 | #Constraints: 14694
301.94/320.04 c #Conflicts: 347000 | #Constraints: 15710
301.94/320.04 c #Conflicts: 348000 | #Constraints: 16716
301.94/320.04 c #Conflicts: 349000 | #Constraints: 17727
301.94/320.04 c #Conflicts: 350000 | #Constraints: 18730
301.94/320.04 c #Conflicts: 351000 | #Constraints: 19739
301.94/320.04 c #Conflicts: 352000 | #Constraints: 20747
301.94/320.04 c #Conflicts: 353000 | #Constraints: 21771
301.94/320.04 c #Conflicts: 354000 | #Constraints: 22789
301.94/320.04 c #Conflicts: 355000 | #Constraints: 23801
301.94/320.04 c #Conflicts: 356000 | #Constraints: 24809
301.94/320.04 c #Conflicts: 357000 | #Constraints: 25821
301.94/320.04 c INPROCESSING
301.94/320.04 c GARBAGE COLLECT
301.94/320.04 c rational objective -31
314.70/332.85 c #Conflicts: 358000 | #Constraints: 14880
314.70/332.85 c #Conflicts: 359000 | #Constraints: 15895
314.70/332.85 c #Conflicts: 360000 | #Constraints: 16907
314.70/332.85 c #Conflicts: 361000 | #Constraints: 17915
314.70/332.85 c #Conflicts: 362000 | #Constraints: 18922
314.70/332.85 c #Conflicts: 363000 | #Constraints: 19924
314.70/332.85 c #Conflicts: 364000 | #Constraints: 20931
314.70/332.85 c #Conflicts: 365000 | #Constraints: 21935
314.70/332.85 c #Conflicts: 366000 | #Constraints: 22952
314.70/332.85 c #Conflicts: 367000 | #Constraints: 23977
314.70/332.85 c #Conflicts: 368000 | #Constraints: 24993
314.70/332.85 c #Conflicts: 369000 | #Constraints: 26002
314.70/332.85 c INPROCESSING
314.70/332.85 c GARBAGE COLLECT
314.70/332.85 c rational objective -31
324.57/342.79 c #Conflicts: 370000 | #Constraints: 14878
324.57/342.79 c #Conflicts: 371000 | #Constraints: 15885
324.57/342.79 c #Conflicts: 372000 | #Constraints: 16892
324.57/342.79 c #Conflicts: 373000 | #Constraints: 17901
324.57/342.79 c #Conflicts: 374000 | #Constraints: 18904
324.57/342.79 c #Conflicts: 375000 | #Constraints: 19920
324.57/342.79 c #Conflicts: 376000 | #Constraints: 20939
324.57/342.79 c #Conflicts: 377000 | #Constraints: 21949
324.57/342.79 c #Conflicts: 378000 | #Constraints: 22964
324.57/342.79 c #Conflicts: 379000 | #Constraints: 23979
324.57/342.79 c #Conflicts: 380000 | #Constraints: 24996
324.57/342.79 c #Conflicts: 381000 | #Constraints: 26015
324.57/342.79 c INPROCESSING
324.57/342.79 c GARBAGE COLLECT
324.57/342.79 c rational objective -31
337.63/370.23 c #Conflicts: 382000 | #Constraints: 14660
337.63/370.23 c #Conflicts: 383000 | #Constraints: 15664
337.63/370.23 c #Conflicts: 384000 | #Constraints: 16666
337.63/370.23 c #Conflicts: 385000 | #Constraints: 17672
337.63/370.23 c #Conflicts: 386000 | #Constraints: 18675
337.63/370.23 c #Conflicts: 387000 | #Constraints: 19683
337.63/370.23 c #Conflicts: 388000 | #Constraints: 20711
337.63/370.23 c #Conflicts: 389000 | #Constraints: 21723
337.63/370.23 c #Conflicts: 390000 | #Constraints: 22736
337.63/370.23 c #Conflicts: 391000 | #Constraints: 23742
337.63/370.23 c #Conflicts: 392000 | #Constraints: 24749
337.63/370.23 c #Conflicts: 393000 | #Constraints: 25754
337.63/370.23 c #Conflicts: 394000 | #Constraints: 26756
337.63/370.23 c INPROCESSING
337.63/370.23 c GARBAGE COLLECT
337.63/370.23 c rational objective -31
349.90/382.55 c #Conflicts: 395000 | #Constraints: 15249
349.90/382.55 c #Conflicts: 396000 | #Constraints: 16270
349.90/382.55 c #Conflicts: 397000 | #Constraints: 17281
349.90/382.55 c #Conflicts: 398000 | #Constraints: 18298
349.90/382.55 c #Conflicts: 399000 | #Constraints: 19331
349.90/382.55 c #Conflicts: 400000 | #Constraints: 20355
349.90/382.55 c #Conflicts: 401000 | #Constraints: 21366
349.90/382.55 c #Conflicts: 402000 | #Constraints: 22390
349.90/382.55 c #Conflicts: 403000 | #Constraints: 23399
349.90/382.55 c #Conflicts: 404000 | #Constraints: 24411
349.90/382.55 c #Conflicts: 405000 | #Constraints: 25424
349.90/382.55 c #Conflicts: 406000 | #Constraints: 26439
349.90/382.55 c #Conflicts: 407000 | #Constraints: 27464
349.90/382.55 c INPROCESSING
349.90/382.55 c GARBAGE COLLECT
349.90/382.55 c rational objective -31
361.07/393.73 c #Conflicts: 408000 | #Constraints: 15700
361.07/393.73 c #Conflicts: 409000 | #Constraints: 16705
361.07/393.73 c #Conflicts: 410000 | #Constraints: 17717
361.07/393.73 c #Conflicts: 411000 | #Constraints: 18720
361.07/393.73 c #Conflicts: 412000 | #Constraints: 19729
361.07/393.73 c #Conflicts: 413000 | #Constraints: 20731
361.07/393.73 c #Conflicts: 414000 | #Constraints: 21737
361.07/393.73 c #Conflicts: 415000 | #Constraints: 22751
361.07/393.73 c #Conflicts: 416000 | #Constraints: 23765
361.07/393.73 c #Conflicts: 417000 | #Constraints: 24775
361.07/393.73 c #Conflicts: 418000 | #Constraints: 25797
361.07/393.73 c #Conflicts: 419000 | #Constraints: 26809
361.07/393.73 c #Conflicts: 420000 | #Constraints: 27820
361.07/393.73 c INPROCESSING
361.07/393.73 c GARBAGE COLLECT
361.07/393.73 c rational objective -31
375.55/408.31 c #Conflicts: 421000 | #Constraints: 15879
375.55/408.31 c #Conflicts: 422000 | #Constraints: 16892
375.55/408.31 c #Conflicts: 423000 | #Constraints: 17910
375.55/408.31 c #Conflicts: 424000 | #Constraints: 18936
375.55/408.31 c #Conflicts: 425000 | #Constraints: 19946
375.55/408.31 c #Conflicts: 426000 | #Constraints: 20957
375.55/408.31 c #Conflicts: 427000 | #Constraints: 21968
375.55/408.31 c #Conflicts: 428000 | #Constraints: 22969
375.55/408.31 c #Conflicts: 429000 | #Constraints: 23972
375.55/408.31 c #Conflicts: 430000 | #Constraints: 24981
375.55/408.31 c #Conflicts: 431000 | #Constraints: 26000
375.55/408.31 c #Conflicts: 432000 | #Constraints: 27005
375.55/408.31 c #Conflicts: 433000 | #Constraints: 28018
375.55/408.31 c INPROCESSING
375.55/408.31 c GARBAGE COLLECT
375.55/408.31 c rational objective -31
390.02/422.89 c #Conflicts: 434000 | #Constraints: 15913
390.02/422.89 c #Conflicts: 435000 | #Constraints: 16929
390.02/422.89 c #Conflicts: 436000 | #Constraints: 17944
390.02/422.89 c #Conflicts: 437000 | #Constraints: 18963
390.02/422.89 c #Conflicts: 438000 | #Constraints: 19975
390.02/422.89 c #Conflicts: 439000 | #Constraints: 20987
390.02/422.89 c #Conflicts: 440000 | #Constraints: 22001
390.02/422.89 c #Conflicts: 441000 | #Constraints: 23006
390.02/422.89 c #Conflicts: 442000 | #Constraints: 24022
390.02/422.89 c #Conflicts: 443000 | #Constraints: 25043
390.02/422.89 c #Conflicts: 444000 | #Constraints: 26055
390.02/422.89 c #Conflicts: 445000 | #Constraints: 27070
390.02/422.89 c #Conflicts: 446000 | #Constraints: 28078
390.02/422.89 c INPROCESSING
390.02/422.89 c GARBAGE COLLECT
390.02/422.89 c rational objective -31
404.48/437.43 c #Conflicts: 447000 | #Constraints: 15702
404.48/437.43 c #Conflicts: 448000 | #Constraints: 16711
404.48/437.43 c #Conflicts: 449000 | #Constraints: 17717
404.48/437.43 c #Conflicts: 450000 | #Constraints: 18728
404.48/437.43 c #Conflicts: 451000 | #Constraints: 19738
404.48/437.43 c #Conflicts: 452000 | #Constraints: 20740
404.48/437.43 c #Conflicts: 453000 | #Constraints: 21740
404.48/437.43 c #Conflicts: 454000 | #Constraints: 22741
404.48/437.43 c #Conflicts: 455000 | #Constraints: 23742
404.48/437.43 c #Conflicts: 456000 | #Constraints: 24744
404.48/437.43 c #Conflicts: 457000 | #Constraints: 25744
404.48/437.43 c #Conflicts: 458000 | #Constraints: 26746
404.48/437.43 c #Conflicts: 459000 | #Constraints: 27746
404.48/437.43 c #Conflicts: 460000 | #Constraints: 28746
404.48/437.43 c INPROCESSING
404.48/437.43 c GARBAGE COLLECT
404.48/437.43 c rational objective -31
417.65/450.64 c #Conflicts: 461000 | #Constraints: 16230
417.65/450.64 c #Conflicts: 462000 | #Constraints: 17237
417.65/450.64 c #Conflicts: 463000 | #Constraints: 18241
417.65/450.64 c #Conflicts: 464000 | #Constraints: 19248
417.65/450.64 c #Conflicts: 465000 | #Constraints: 20256
417.65/450.64 c #Conflicts: 466000 | #Constraints: 21267
417.65/450.64 c #Conflicts: 467000 | #Constraints: 22282
417.65/450.64 c #Conflicts: 468000 | #Constraints: 23295
417.65/450.64 c #Conflicts: 469000 | #Constraints: 24303
417.65/450.64 c #Conflicts: 470000 | #Constraints: 25309
417.65/450.64 c #Conflicts: 471000 | #Constraints: 26320
417.65/450.64 c #Conflicts: 472000 | #Constraints: 27333
417.65/450.64 c #Conflicts: 473000 | #Constraints: 28336
417.65/450.64 c #Conflicts: 474000 | #Constraints: 29341
417.65/450.64 c INPROCESSING
417.65/450.64 c GARBAGE COLLECT
417.65/450.64 c rational objective -31
426.68/478.86 c #Conflicts: 475000 | #Constraints: 16634
426.68/478.86 c #Conflicts: 476000 | #Constraints: 17641
426.68/478.86 c #Conflicts: 477000 | #Constraints: 18649
426.68/478.86 c #Conflicts: 478000 | #Constraints: 19652
426.68/478.86 c #Conflicts: 479000 | #Constraints: 20657
426.68/478.86 c #Conflicts: 480000 | #Constraints: 21659
426.68/478.86 c #Conflicts: 481000 | #Constraints: 22665
426.68/478.86 c #Conflicts: 482000 | #Constraints: 23670
426.68/478.86 c #Conflicts: 483000 | #Constraints: 24675
426.68/478.86 c #Conflicts: 484000 | #Constraints: 25675
426.68/478.86 c #Conflicts: 485000 | #Constraints: 26678
426.68/478.86 c #Conflicts: 486000 | #Constraints: 27687
426.68/478.86 c #Conflicts: 487000 | #Constraints: 28692
426.68/478.86 c #Conflicts: 488000 | #Constraints: 29693
426.68/478.86 c INPROCESSING
426.68/478.86 c GARBAGE COLLECT
426.68/478.86 c rational objective -31
445.08/497.35 c #Conflicts: 489000 | #Constraints: 16802
445.08/497.35 c #Conflicts: 490000 | #Constraints: 17816
445.08/497.35 c #Conflicts: 491000 | #Constraints: 18838
445.08/497.35 c #Conflicts: 492000 | #Constraints: 19850
445.08/497.35 c #Conflicts: 493000 | #Constraints: 20864
445.08/497.35 c #Conflicts: 494000 | #Constraints: 21876
445.08/497.35 c #Conflicts: 495000 | #Constraints: 22880
445.08/497.35 c #Conflicts: 496000 | #Constraints: 23891
445.08/497.35 c #Conflicts: 497000 | #Constraints: 24896
445.08/497.35 c #Conflicts: 498000 | #Constraints: 25911
445.08/497.35 c #Conflicts: 499000 | #Constraints: 26923
445.08/497.35 c #Conflicts: 500000 | #Constraints: 27932
445.08/497.35 c #Conflicts: 501000 | #Constraints: 28940
445.08/497.35 c #Conflicts: 502000 | #Constraints: 29971
445.08/497.35 c INPROCESSING
445.08/497.35 c GARBAGE COLLECT
445.08/497.35 c rational objective -31
458.16/510.88 c #Conflicts: 503000 | #Constraints: 16850
458.16/510.88 c #Conflicts: 504000 | #Constraints: 17858
458.16/510.88 c #Conflicts: 505000 | #Constraints: 18864
458.16/510.88 c #Conflicts: 506000 | #Constraints: 19874
458.16/510.88 c #Conflicts: 507000 | #Constraints: 20881
458.16/510.88 c #Conflicts: 508000 | #Constraints: 21885
458.16/510.88 c #Conflicts: 509000 | #Constraints: 22895
458.16/510.88 c #Conflicts: 510000 | #Constraints: 23903
458.16/510.88 c #Conflicts: 511000 | #Constraints: 24910
458.16/510.88 c #Conflicts: 512000 | #Constraints: 25919
458.16/510.88 c #Conflicts: 513000 | #Constraints: 26924
458.16/510.88 c #Conflicts: 514000 | #Constraints: 27936
458.16/510.88 c #Conflicts: 515000 | #Constraints: 28940
458.16/510.88 c #Conflicts: 516000 | #Constraints: 29958
458.16/510.88 c INPROCESSING
458.16/510.88 c GARBAGE COLLECT
458.16/510.88 c rational objective -31
475.92/528.67 c #Conflicts: 517000 | #Constraints: 16630
475.92/528.67 c #Conflicts: 518000 | #Constraints: 17631
475.92/528.67 c #Conflicts: 519000 | #Constraints: 18634
475.92/528.67 c #Conflicts: 520000 | #Constraints: 19641
475.92/528.67 c #Conflicts: 521000 | #Constraints: 20651
475.92/528.67 c #Conflicts: 522000 | #Constraints: 21657
475.92/528.67 c #Conflicts: 523000 | #Constraints: 22661
475.92/528.67 c #Conflicts: 524000 | #Constraints: 23669
475.92/528.67 c #Conflicts: 525000 | #Constraints: 24671
475.92/528.67 c #Conflicts: 526000 | #Constraints: 25672
475.92/528.67 c #Conflicts: 527000 | #Constraints: 26680
475.92/528.67 c #Conflicts: 528000 | #Constraints: 27685
475.92/528.67 c #Conflicts: 529000 | #Constraints: 28688
475.92/528.67 c #Conflicts: 530000 | #Constraints: 29689
475.92/528.67 c #Conflicts: 531000 | #Constraints: 30697
475.92/528.67 c INPROCESSING
475.92/528.67 c GARBAGE COLLECT
475.92/528.67 c rational objective -31
490.92/543.80 c #Conflicts: 532000 | #Constraints: 17226
490.92/543.80 c #Conflicts: 533000 | #Constraints: 18245
490.92/543.80 c #Conflicts: 534000 | #Constraints: 19254
490.92/543.80 c #Conflicts: 535000 | #Constraints: 20260
490.92/543.80 c #Conflicts: 536000 | #Constraints: 21272
490.92/543.80 c #Conflicts: 537000 | #Constraints: 22298
490.92/543.80 c #Conflicts: 538000 | #Constraints: 23312
490.92/543.80 c #Conflicts: 539000 | #Constraints: 24332
490.92/543.80 c #Conflicts: 540000 | #Constraints: 25355
490.92/543.80 c #Conflicts: 541000 | #Constraints: 26366
490.92/543.80 c #Conflicts: 542000 | #Constraints: 27378
490.92/543.80 c #Conflicts: 543000 | #Constraints: 28383
490.92/543.80 c #Conflicts: 544000 | #Constraints: 29394
490.92/543.80 c #Conflicts: 545000 | #Constraints: 30405
490.92/543.80 c #Conflicts: 546000 | #Constraints: 31429
490.92/543.80 c INPROCESSING
490.92/543.80 c GARBAGE COLLECT
490.92/543.80 c rational objective -31
514.36/567.32 c #Conflicts: 547000 | #Constraints: 17692
514.36/567.32 c #Conflicts: 548000 | #Constraints: 18711
514.36/567.32 c #Conflicts: 549000 | #Constraints: 19732
514.36/567.32 c #Conflicts: 550000 | #Constraints: 20752
514.36/567.32 c #Conflicts: 551000 | #Constraints: 21771
514.36/567.32 c #Conflicts: 552000 | #Constraints: 22787
514.36/567.32 c #Conflicts: 553000 | #Constraints: 23790
514.36/567.32 c #Conflicts: 554000 | #Constraints: 24827
514.36/567.32 c #Conflicts: 555000 | #Constraints: 25858
514.36/567.32 c #Conflicts: 556000 | #Constraints: 26859
514.36/567.32 c #Conflicts: 557000 | #Constraints: 27859
514.36/567.32 c #Conflicts: 558000 | #Constraints: 28870
514.36/567.32 c #Conflicts: 559000 | #Constraints: 30197
514.36/567.32 c #Conflicts: 560000 | #Constraints: 31717
514.36/567.32 c #Conflicts: 561000 | #Constraints: 33170
514.36/567.32 c INPROCESSING
514.36/567.32 c GARBAGE COLLECT
514.36/567.32 c rational objective -31
538.80/602.52 c #Conflicts: 562000 | #Constraints: 18578
538.80/602.52 c #Conflicts: 563000 | #Constraints: 19602
538.80/602.52 c #Conflicts: 564000 | #Constraints: 20675
538.80/602.52 c #Conflicts: 565000 | #Constraints: 21754
538.80/602.52 c #Conflicts: 566000 | #Constraints: 22793
538.80/602.52 c #Conflicts: 567000 | #Constraints: 23807
538.80/602.52 c #Conflicts: 568000 | #Constraints: 25000
538.80/602.52 c #Conflicts: 569000 | #Constraints: 26392
538.80/602.52 c #Conflicts: 570000 | #Constraints: 27778
538.80/602.52 c #Conflicts: 571000 | #Constraints: 29054
538.80/602.52 c #Conflicts: 572000 | #Constraints: 30275
538.80/602.52 c #Conflicts: 573000 | #Constraints: 31581
538.80/602.52 c #Conflicts: 574000 | #Constraints: 32920
538.80/602.52 c #Conflicts: 575000 | #Constraints: 34162
538.80/602.52 c #Conflicts: 576000 | #Constraints: 35436
538.80/602.52 c INPROCESSING
538.80/602.52 c GARBAGE COLLECT
538.80/602.52 c rational objective -31
558.99/622.97 c #Conflicts: 577000 | #Constraints: 19944
558.99/622.97 c #Conflicts: 578000 | #Constraints: 21239
558.99/622.97 c #Conflicts: 579000 | #Constraints: 22450
558.99/622.97 c #Conflicts: 580000 | #Constraints: 23624
558.99/622.97 c #Conflicts: 581000 | #Constraints: 24768
558.99/622.97 c #Conflicts: 582000 | #Constraints: 26071
558.99/622.97 c #Conflicts: 583000 | #Constraints: 27292
558.99/622.97 c #Conflicts: 584000 | #Constraints: 28636
558.99/622.97 c #Conflicts: 585000 | #Constraints: 29938
558.99/622.97 c #Conflicts: 586000 | #Constraints: 31236
558.99/622.97 c #Conflicts: 587000 | #Constraints: 32462
558.99/622.97 c #Conflicts: 588000 | #Constraints: 33926
558.99/622.97 c #Conflicts: 589000 | #Constraints: 35264
558.99/622.97 c #Conflicts: 590000 | #Constraints: 36514
558.99/622.97 c #Conflicts: 591000 | #Constraints: 37751
558.99/622.97 c INPROCESSING
558.99/622.97 c GARBAGE COLLECT
558.99/622.97 c rational objective -31
575.55/639.59 c #Conflicts: 592000 | #Constraints: 20784
575.55/639.59 c #Conflicts: 593000 | #Constraints: 22147
575.55/639.59 c #Conflicts: 594000 | #Constraints: 23450
575.55/639.59 c #Conflicts: 595000 | #Constraints: 24828
575.55/639.59 c #Conflicts: 596000 | #Constraints: 25875
575.55/639.59 c #Conflicts: 597000 | #Constraints: 26881
575.55/639.59 c #Conflicts: 598000 | #Constraints: 27902
575.55/639.59 c #Conflicts: 599000 | #Constraints: 28925
575.55/639.59 c #Conflicts: 600000 | #Constraints: 29938
575.55/639.59 c #Conflicts: 601000 | #Constraints: 30959
575.55/639.59 c #Conflicts: 602000 | #Constraints: 31987
575.55/639.59 c #Conflicts: 603000 | #Constraints: 32999
575.55/639.59 c #Conflicts: 604000 | #Constraints: 34016
575.55/639.59 c #Conflicts: 605000 | #Constraints: 35033
575.55/639.59 c #Conflicts: 606000 | #Constraints: 36043
575.55/639.59 c #Conflicts: 607000 | #Constraints: 37055
575.55/639.59 c INPROCESSING
575.55/639.59 c GARBAGE COLLECT
575.55/639.59 c rational objective -31
595.65/659.82 c #Conflicts: 608000 | #Constraints: 20407
595.65/659.82 c #Conflicts: 609000 | #Constraints: 21417
595.65/659.82 c #Conflicts: 610000 | #Constraints: 22423
595.65/659.82 c #Conflicts: 611000 | #Constraints: 23431
595.65/659.82 c #Conflicts: 612000 | #Constraints: 24495
595.65/659.82 c #Conflicts: 613000 | #Constraints: 25513
595.65/659.82 c #Conflicts: 614000 | #Constraints: 26534
595.65/659.82 c #Conflicts: 615000 | #Constraints: 27550
595.65/659.82 c #Conflicts: 616000 | #Constraints: 28619
595.65/659.82 c #Conflicts: 617000 | #Constraints: 29637
595.65/659.82 c #Conflicts: 618000 | #Constraints: 30650
595.65/659.82 c #Conflicts: 619000 | #Constraints: 31673
595.65/659.82 c #Conflicts: 620000 | #Constraints: 32925
595.65/659.82 c #Conflicts: 621000 | #Constraints: 34042
595.65/659.82 c #Conflicts: 622000 | #Constraints: 35090
595.65/659.82 c #Conflicts: 623000 | #Constraints: 36407
595.65/659.82 c INPROCESSING
595.65/659.82 c GARBAGE COLLECT
595.65/659.82 c rational objective -31
609.30/680.64 c #Conflicts: 624000 | #Constraints: 20160
609.30/680.64 c #Conflicts: 625000 | #Constraints: 21164
609.30/680.64 c #Conflicts: 626000 | #Constraints: 22174
609.30/680.64 c #Conflicts: 627000 | #Constraints: 23182
609.30/680.64 c #Conflicts: 628000 | #Constraints: 24191
609.30/680.64 c #Conflicts: 629000 | #Constraints: 25199
609.30/680.64 c #Conflicts: 630000 | #Constraints: 26203
609.30/680.64 c #Conflicts: 631000 | #Constraints: 27207
609.30/680.64 c #Conflicts: 632000 | #Constraints: 28210
609.30/680.64 c #Conflicts: 633000 | #Constraints: 29216
609.30/680.64 c #Conflicts: 634000 | #Constraints: 30226
609.30/680.64 c #Conflicts: 635000 | #Constraints: 31236
609.30/680.64 c #Conflicts: 636000 | #Constraints: 32246
609.30/680.64 c #Conflicts: 637000 | #Constraints: 33268
609.30/680.64 c #Conflicts: 638000 | #Constraints: 34286
609.30/680.64 c #Conflicts: 639000 | #Constraints: 35297
609.30/680.64 c INPROCESSING
609.30/680.64 c GARBAGE COLLECT
609.30/680.64 c rational objective -31
623.67/695.02 c #Conflicts: 640000 | #Constraints: 19616
623.67/695.02 c #Conflicts: 641000 | #Constraints: 20619
623.67/695.02 c #Conflicts: 642000 | #Constraints: 21642
623.67/695.02 c #Conflicts: 643000 | #Constraints: 22651
623.67/695.02 c #Conflicts: 644000 | #Constraints: 23661
623.67/695.02 c #Conflicts: 645000 | #Constraints: 24676
623.67/695.02 c #Conflicts: 646000 | #Constraints: 25692
623.67/695.02 c #Conflicts: 647000 | #Constraints: 26703
623.67/695.02 c #Conflicts: 648000 | #Constraints: 27707
623.67/695.02 c #Conflicts: 649000 | #Constraints: 28719
623.67/695.02 c #Conflicts: 650000 | #Constraints: 29733
623.67/695.02 c #Conflicts: 651000 | #Constraints: 30746
623.67/695.02 c #Conflicts: 652000 | #Constraints: 31763
623.67/695.02 c #Conflicts: 653000 | #Constraints: 32768
623.67/695.02 c #Conflicts: 654000 | #Constraints: 33777
623.67/695.02 c #Conflicts: 655000 | #Constraints: 34799
623.67/695.02 c INPROCESSING
623.67/695.02 c GARBAGE COLLECT
623.67/695.02 c rational objective -31
635.23/706.64 c #Conflicts: 656000 | #Constraints: 19267
635.23/706.64 c #Conflicts: 657000 | #Constraints: 20298
635.23/706.64 c #Conflicts: 658000 | #Constraints: 21309
635.23/706.64 c #Conflicts: 659000 | #Constraints: 22322
635.23/706.64 c #Conflicts: 660000 | #Constraints: 23350
635.23/706.64 c #Conflicts: 661000 | #Constraints: 24369
635.23/706.64 c #Conflicts: 662000 | #Constraints: 25380
635.23/706.64 c #Conflicts: 663000 | #Constraints: 26392
635.23/706.64 c #Conflicts: 664000 | #Constraints: 27414
635.23/706.64 c #Conflicts: 665000 | #Constraints: 28426
635.23/706.64 c #Conflicts: 666000 | #Constraints: 29434
635.23/706.64 c #Conflicts: 667000 | #Constraints: 30450
635.23/706.64 c #Conflicts: 668000 | #Constraints: 31457
635.23/706.64 c #Conflicts: 669000 | #Constraints: 32471
635.23/706.64 c #Conflicts: 670000 | #Constraints: 33491
635.23/706.64 c #Conflicts: 671000 | #Constraints: 34501
635.23/706.64 c INPROCESSING
635.23/706.64 c GARBAGE COLLECT
635.23/706.64 c rational objective -31
653.62/725.38 c #Conflicts: 672000 | #Constraints: 18918
653.62/725.38 c #Conflicts: 673000 | #Constraints: 19925
653.62/725.38 c #Conflicts: 674000 | #Constraints: 20932
653.62/725.38 c #Conflicts: 675000 | #Constraints: 21937
653.62/725.38 c #Conflicts: 676000 | #Constraints: 22943
653.62/725.38 c #Conflicts: 677000 | #Constraints: 23947
653.62/725.38 c #Conflicts: 678000 | #Constraints: 24953
653.62/725.38 c #Conflicts: 679000 | #Constraints: 25959
653.62/725.38 c #Conflicts: 680000 | #Constraints: 26965
653.62/725.38 c #Conflicts: 681000 | #Constraints: 27983
653.62/725.38 c #Conflicts: 682000 | #Constraints: 28997
653.62/725.38 c #Conflicts: 683000 | #Constraints: 30021
653.62/725.38 c #Conflicts: 684000 | #Constraints: 31029
653.62/725.38 c #Conflicts: 685000 | #Constraints: 32034
653.62/725.38 c #Conflicts: 686000 | #Constraints: 33037
653.62/725.38 c #Conflicts: 687000 | #Constraints: 34045
653.62/725.38 c #Conflicts: 688000 | #Constraints: 35053
653.62/725.38 c INPROCESSING
653.62/725.38 c GARBAGE COLLECT
653.62/725.38 c rational objective -31
675.57/747.50 c #Conflicts: 689000 | #Constraints: 19396
675.57/747.50 c #Conflicts: 690000 | #Constraints: 20397
675.57/747.50 c #Conflicts: 691000 | #Constraints: 21406
675.57/747.50 c #Conflicts: 692000 | #Constraints: 22423
675.57/747.50 c #Conflicts: 693000 | #Constraints: 23445
675.57/747.50 c #Conflicts: 694000 | #Constraints: 24450
675.57/747.50 c #Conflicts: 695000 | #Constraints: 25462
675.57/747.50 c #Conflicts: 696000 | #Constraints: 26464
675.57/747.50 c #Conflicts: 697000 | #Constraints: 27481
675.57/747.50 c #Conflicts: 698000 | #Constraints: 28499
675.57/747.50 c #Conflicts: 699000 | #Constraints: 29506
675.57/747.50 c #Conflicts: 700000 | #Constraints: 30525
675.57/747.50 c #Conflicts: 701000 | #Constraints: 31554
675.57/747.50 c #Conflicts: 702000 | #Constraints: 32579
675.57/747.50 c #Conflicts: 703000 | #Constraints: 33589
675.57/747.50 c #Conflicts: 704000 | #Constraints: 34604
675.57/747.50 c #Conflicts: 705000 | #Constraints: 35604
675.57/747.50 c INPROCESSING
675.57/747.50 c GARBAGE COLLECT
675.57/747.50 c rational objective -31
693.82/765.77 c #Conflicts: 706000 | #Constraints: 19795
693.82/765.77 c #Conflicts: 707000 | #Constraints: 20797
693.82/765.77 c #Conflicts: 708000 | #Constraints: 21804
693.82/765.77 c #Conflicts: 709000 | #Constraints: 22822
693.82/765.77 c #Conflicts: 710000 | #Constraints: 23843
693.82/765.77 c #Conflicts: 711000 | #Constraints: 24858
693.82/765.77 c #Conflicts: 712000 | #Constraints: 25880
693.82/765.77 c #Conflicts: 713000 | #Constraints: 26896
693.82/765.77 c #Conflicts: 714000 | #Constraints: 27913
693.82/765.77 c #Conflicts: 715000 | #Constraints: 28923
693.82/765.77 c #Conflicts: 716000 | #Constraints: 29932
693.82/765.77 c #Conflicts: 717000 | #Constraints: 30941
693.82/765.77 c #Conflicts: 718000 | #Constraints: 31948
693.82/765.77 c #Conflicts: 719000 | #Constraints: 32955
693.82/765.77 c #Conflicts: 720000 | #Constraints: 33959
693.82/765.77 c #Conflicts: 721000 | #Constraints: 34972
693.82/765.77 c #Conflicts: 722000 | #Constraints: 35978
693.82/765.77 c INPROCESSING
693.82/765.77 c GARBAGE COLLECT
693.82/765.77 c rational objective -31
712.96/786.18 c #Conflicts: 723000 | #Constraints: 19953
712.96/786.18 c #Conflicts: 724000 | #Constraints: 20955
712.96/786.18 c #Conflicts: 725000 | #Constraints: 21958
712.96/786.18 c #Conflicts: 726000 | #Constraints: 22963
712.96/786.18 c #Conflicts: 727000 | #Constraints: 23963
712.96/786.18 c #Conflicts: 728000 | #Constraints: 24964
712.96/786.18 c #Conflicts: 729000 | #Constraints: 25964
712.96/786.18 c #Conflicts: 730000 | #Constraints: 26964
712.96/786.18 c #Conflicts: 731000 | #Constraints: 27964
712.96/786.18 c #Conflicts: 732000 | #Constraints: 28964
712.96/786.18 c #Conflicts: 733000 | #Constraints: 29964
712.96/786.18 c #Conflicts: 734000 | #Constraints: 30964
712.96/786.18 c #Conflicts: 735000 | #Constraints: 31964
712.96/786.18 c #Conflicts: 736000 | #Constraints: 32964
712.96/786.18 c #Conflicts: 737000 | #Constraints: 33964
712.96/786.18 c #Conflicts: 738000 | #Constraints: 34964
712.96/786.18 c #Conflicts: 739000 | #Constraints: 35964
712.96/786.18 c INPROCESSING
712.96/786.18 c GARBAGE COLLECT
712.96/786.18 c rational objective -31
728.82/802.01 c #Conflicts: 740000 | #Constraints: 19847
728.82/802.01 c #Conflicts: 741000 | #Constraints: 20852
728.82/802.01 c #Conflicts: 742000 | #Constraints: 21861
728.82/802.01 c #Conflicts: 743000 | #Constraints: 22872
728.82/802.01 c #Conflicts: 744000 | #Constraints: 23889
728.82/802.01 c #Conflicts: 745000 | #Constraints: 24899
728.82/802.01 c #Conflicts: 746000 | #Constraints: 25914
728.82/802.01 c #Conflicts: 747000 | #Constraints: 26929
728.82/802.01 c #Conflicts: 748000 | #Constraints: 27942
728.82/802.01 c #Conflicts: 749000 | #Constraints: 28946
728.82/802.01 c #Conflicts: 750000 | #Constraints: 29947
728.82/802.01 c #Conflicts: 751000 | #Constraints: 30962
728.82/802.01 c #Conflicts: 752000 | #Constraints: 31975
728.82/802.01 c #Conflicts: 753000 | #Constraints: 32984
728.82/802.01 c #Conflicts: 754000 | #Constraints: 33990
728.82/802.01 c #Conflicts: 755000 | #Constraints: 35005
728.82/802.01 c #Conflicts: 756000 | #Constraints: 36013
728.82/802.01 c INPROCESSING
728.82/802.01 c GARBAGE COLLECT
728.82/802.01 c rational objective -31
753.57/836.58 c #Conflicts: 757000 | #Constraints: 19681
753.57/836.58 c #Conflicts: 758000 | #Constraints: 20690
753.57/836.58 c #Conflicts: 759000 | #Constraints: 21703
753.57/836.58 c #Conflicts: 760000 | #Constraints: 22725
753.57/836.58 c #Conflicts: 761000 | #Constraints: 23741
753.57/836.58 c #Conflicts: 762000 | #Constraints: 24763
753.57/836.58 c #Conflicts: 763000 | #Constraints: 25783
753.57/836.58 c #Conflicts: 764000 | #Constraints: 26804
753.57/836.58 c #Conflicts: 765000 | #Constraints: 27819
753.57/836.58 c #Conflicts: 766000 | #Constraints: 28827
753.57/836.58 c #Conflicts: 767000 | #Constraints: 29838
753.57/836.58 c #Conflicts: 768000 | #Constraints: 30845
753.57/836.58 c #Conflicts: 769000 | #Constraints: 31857
753.57/836.58 c #Conflicts: 770000 | #Constraints: 32875
753.57/836.58 c #Conflicts: 771000 | #Constraints: 33892
753.57/836.58 c #Conflicts: 772000 | #Constraints: 34904
753.57/836.58 c #Conflicts: 773000 | #Constraints: 35921
753.57/836.58 c #Conflicts: 774000 | #Constraints: 36946
753.57/836.58 c INPROCESSING
753.57/836.58 c GARBAGE COLLECT
753.57/836.58 c rational objective -31
771.14/854.38 c #Conflicts: 775000 | #Constraints: 20348
771.14/854.38 c #Conflicts: 776000 | #Constraints: 21354
771.14/854.38 c #Conflicts: 777000 | #Constraints: 22359
771.14/854.38 c #Conflicts: 778000 | #Constraints: 23364
771.14/854.38 c #Conflicts: 779000 | #Constraints: 24366
771.14/854.38 c #Conflicts: 780000 | #Constraints: 25370
771.14/854.38 c #Conflicts: 781000 | #Constraints: 26379
771.14/854.38 c #Conflicts: 782000 | #Constraints: 27387
771.14/854.38 c #Conflicts: 783000 | #Constraints: 28394
771.14/854.38 c #Conflicts: 784000 | #Constraints: 29399
771.14/854.38 c #Conflicts: 785000 | #Constraints: 30406
771.14/854.38 c #Conflicts: 786000 | #Constraints: 31425
771.14/854.38 c #Conflicts: 787000 | #Constraints: 32440
771.14/854.38 c #Conflicts: 788000 | #Constraints: 33454
771.14/854.38 c #Conflicts: 789000 | #Constraints: 34464
771.14/854.38 c #Conflicts: 790000 | #Constraints: 35481
771.14/854.38 c #Conflicts: 791000 | #Constraints: 36498
771.14/854.38 c #Conflicts: 792000 | #Constraints: 37525
771.14/854.38 c INPROCESSING
771.14/854.38 c GARBAGE COLLECT
771.14/854.38 c rational objective -31
790.78/874.11 c #Conflicts: 793000 | #Constraints: 20727
790.78/874.11 c #Conflicts: 794000 | #Constraints: 21735
790.78/874.11 c #Conflicts: 795000 | #Constraints: 22737
790.78/874.11 c #Conflicts: 796000 | #Constraints: 23741
790.78/874.11 c #Conflicts: 797000 | #Constraints: 24751
790.78/874.11 c #Conflicts: 798000 | #Constraints: 25762
790.78/874.11 c #Conflicts: 799000 | #Constraints: 26770
790.78/874.11 c #Conflicts: 800000 | #Constraints: 27779
790.78/874.11 c #Conflicts: 801000 | #Constraints: 28793
790.78/874.11 c #Conflicts: 802000 | #Constraints: 29819
790.78/874.11 c #Conflicts: 803000 | #Constraints: 30828
790.78/874.11 c #Conflicts: 804000 | #Constraints: 31835
790.78/874.11 c #Conflicts: 805000 | #Constraints: 32844
790.78/874.11 c #Conflicts: 806000 | #Constraints: 33849
790.78/874.11 c #Conflicts: 807000 | #Constraints: 34862
790.78/874.11 c #Conflicts: 808000 | #Constraints: 35871
790.78/874.11 c #Conflicts: 809000 | #Constraints: 36886
790.78/874.11 c #Conflicts: 810000 | #Constraints: 37905
790.78/874.11 c INPROCESSING
790.78/874.11 c GARBAGE COLLECT
790.78/874.11 c rational objective -31
808.51/892.17 c #Conflicts: 811000 | #Constraints: 20933
808.51/892.17 c #Conflicts: 812000 | #Constraints: 21942
808.51/892.17 c #Conflicts: 813000 | #Constraints: 22960
808.51/892.17 c #Conflicts: 814000 | #Constraints: 23968
808.51/892.17 c #Conflicts: 815000 | #Constraints: 24978
808.51/892.17 c #Conflicts: 816000 | #Constraints: 25989
808.51/892.17 c #Conflicts: 817000 | #Constraints: 26998
808.51/892.17 c #Conflicts: 818000 | #Constraints: 28005
808.51/892.17 c #Conflicts: 819000 | #Constraints: 29024
808.51/892.17 c #Conflicts: 820000 | #Constraints: 30051
808.51/892.17 c #Conflicts: 821000 | #Constraints: 31074
808.51/892.17 c #Conflicts: 822000 | #Constraints: 32083
808.51/892.17 c #Conflicts: 823000 | #Constraints: 33104
808.51/892.17 c #Conflicts: 824000 | #Constraints: 34116
808.51/892.17 c #Conflicts: 825000 | #Constraints: 35131
808.51/892.17 c #Conflicts: 826000 | #Constraints: 36146
808.51/892.17 c #Conflicts: 827000 | #Constraints: 37165
808.51/892.17 c #Conflicts: 828000 | #Constraints: 38168
808.51/892.17 c INPROCESSING
808.51/892.17 c GARBAGE COLLECT
808.51/892.17 c rational objective -31
827.86/920.86 c #Conflicts: 829000 | #Constraints: 20970
827.86/920.86 c #Conflicts: 830000 | #Constraints: 21978
827.86/920.86 c #Conflicts: 831000 | #Constraints: 22988
827.86/920.86 c #Conflicts: 832000 | #Constraints: 24009
827.86/920.86 c #Conflicts: 833000 | #Constraints: 25025
827.86/920.86 c #Conflicts: 834000 | #Constraints: 26043
827.86/920.86 c #Conflicts: 835000 | #Constraints: 27054
827.86/920.86 c #Conflicts: 836000 | #Constraints: 28063
827.86/920.86 c #Conflicts: 837000 | #Constraints: 29071
827.86/920.86 c #Conflicts: 838000 | #Constraints: 30080
827.86/920.86 c #Conflicts: 839000 | #Constraints: 31093
827.86/920.86 c #Conflicts: 840000 | #Constraints: 32107
827.86/920.86 c #Conflicts: 841000 | #Constraints: 33119
827.86/920.86 c #Conflicts: 842000 | #Constraints: 34136
827.86/920.86 c #Conflicts: 843000 | #Constraints: 35155
827.86/920.86 c #Conflicts: 844000 | #Constraints: 36167
827.86/920.86 c #Conflicts: 845000 | #Constraints: 37177
827.86/920.86 c #Conflicts: 846000 | #Constraints: 38180
827.86/920.86 c INPROCESSING
827.86/920.86 c GARBAGE COLLECT
827.86/920.86 c rational objective -31
844.61/937.65 c #Conflicts: 847000 | #Constraints: 20759
844.61/937.65 c #Conflicts: 848000 | #Constraints: 21769
844.61/937.65 c #Conflicts: 849000 | #Constraints: 22772
844.61/937.65 c #Conflicts: 850000 | #Constraints: 23777
844.61/937.65 c #Conflicts: 851000 | #Constraints: 24777
844.61/937.65 c #Conflicts: 852000 | #Constraints: 25782
844.61/937.65 c #Conflicts: 853000 | #Constraints: 26804
844.61/937.65 c #Conflicts: 854000 | #Constraints: 27814
844.61/937.65 c #Conflicts: 855000 | #Constraints: 28836
844.61/937.65 c #Conflicts: 856000 | #Constraints: 29860
844.61/937.65 c #Conflicts: 857000 | #Constraints: 30882
844.61/937.65 c #Conflicts: 858000 | #Constraints: 31917
844.61/937.65 c #Conflicts: 859000 | #Constraints: 32937
844.61/937.65 c #Conflicts: 860000 | #Constraints: 33948
844.61/937.65 c #Conflicts: 861000 | #Constraints: 34972
844.61/937.65 c #Conflicts: 862000 | #Constraints: 35990
844.61/937.65 c #Conflicts: 863000 | #Constraints: 37010
844.61/937.65 c #Conflicts: 864000 | #Constraints: 38029
844.61/937.65 c #Conflicts: 865000 | #Constraints: 39047
844.61/937.65 c INPROCESSING
844.61/937.65 c GARBAGE COLLECT
844.61/937.65 c rational objective -31
863.67/957.05 c #Conflicts: 866000 | #Constraints: 21408
863.67/957.05 c #Conflicts: 867000 | #Constraints: 22416
863.67/957.05 c #Conflicts: 868000 | #Constraints: 23426
863.67/957.05 c #Conflicts: 869000 | #Constraints: 24436
863.67/957.05 c #Conflicts: 870000 | #Constraints: 25448
863.67/957.05 c #Conflicts: 871000 | #Constraints: 26462
863.67/957.05 c #Conflicts: 872000 | #Constraints: 27470
863.67/957.05 c #Conflicts: 873000 | #Constraints: 28476
863.67/957.05 c #Conflicts: 874000 | #Constraints: 29486
863.67/957.05 c #Conflicts: 875000 | #Constraints: 30503
863.67/957.05 c #Conflicts: 876000 | #Constraints: 31515
863.67/957.05 c #Conflicts: 877000 | #Constraints: 32522
863.67/957.05 c #Conflicts: 878000 | #Constraints: 33540
863.67/957.05 c #Conflicts: 879000 | #Constraints: 34557
863.67/957.05 c #Conflicts: 880000 | #Constraints: 35566
863.67/957.05 c #Conflicts: 881000 | #Constraints: 36570
863.67/957.05 c #Conflicts: 882000 | #Constraints: 37572
863.67/957.05 c #Conflicts: 883000 | #Constraints: 38578
863.67/957.05 c #Conflicts: 884000 | #Constraints: 39582
863.67/957.05 c INPROCESSING
863.67/957.05 c GARBAGE COLLECT
863.67/957.05 c rational objective -31
885.94/979.40 c #Conflicts: 885000 | #Constraints: 21758
885.94/979.40 c #Conflicts: 886000 | #Constraints: 22772
885.94/979.40 c #Conflicts: 887000 | #Constraints: 23811
885.94/979.40 c #Conflicts: 888000 | #Constraints: 24824
885.94/979.40 c #Conflicts: 889000 | #Constraints: 25835
885.94/979.40 c #Conflicts: 890000 | #Constraints: 26837
885.94/979.40 c #Conflicts: 891000 | #Constraints: 27840
885.94/979.40 c #Conflicts: 892000 | #Constraints: 28846
885.94/979.40 c #Conflicts: 893000 | #Constraints: 29846
885.94/979.40 c #Conflicts: 894000 | #Constraints: 30853
885.94/979.40 c #Conflicts: 895000 | #Constraints: 31857
885.94/979.40 c #Conflicts: 896000 | #Constraints: 32864
885.94/979.40 c #Conflicts: 897000 | #Constraints: 33871
885.94/979.40 c #Conflicts: 898000 | #Constraints: 34883
885.94/979.40 c #Conflicts: 899000 | #Constraints: 35906
885.94/979.40 c #Conflicts: 900000 | #Constraints: 36908
885.94/979.40 c #Conflicts: 901000 | #Constraints: 37913
885.94/979.40 c #Conflicts: 902000 | #Constraints: 38926
885.94/979.40 c #Conflicts: 903000 | #Constraints: 39930
885.94/979.40 c INPROCESSING
885.94/979.40 c GARBAGE COLLECT
885.94/979.40 c rational objective -31
905.35/999.01 c #Conflicts: 904000 | #Constraints: 21935
905.35/999.01 c #Conflicts: 905000 | #Constraints: 22948
905.35/999.01 c #Conflicts: 906000 | #Constraints: 23951
905.35/999.01 c #Conflicts: 907000 | #Constraints: 24957
905.35/999.01 c #Conflicts: 908000 | #Constraints: 25964
905.35/999.01 c #Conflicts: 909000 | #Constraints: 26978
905.35/999.01 c #Conflicts: 910000 | #Constraints: 27982
905.35/999.01 c #Conflicts: 911000 | #Constraints: 29001
905.35/999.01 c #Conflicts: 912000 | #Constraints: 30012
905.35/999.01 c #Conflicts: 913000 | #Constraints: 31028
905.35/999.01 c #Conflicts: 914000 | #Constraints: 32041
905.35/999.01 c #Conflicts: 915000 | #Constraints: 33046
905.35/999.01 c #Conflicts: 916000 | #Constraints: 34048
905.35/999.01 c #Conflicts: 917000 | #Constraints: 35058
905.35/999.01 c #Conflicts: 918000 | #Constraints: 36065
905.35/999.01 c #Conflicts: 919000 | #Constraints: 37072
905.35/999.01 c #Conflicts: 920000 | #Constraints: 38088
905.35/999.01 c #Conflicts: 921000 | #Constraints: 39095
905.35/999.01 c #Conflicts: 922000 | #Constraints: 40104
905.35/999.01 c INPROCESSING
905.35/999.01 c GARBAGE COLLECT
905.35/999.01 c rational objective -31
935.38/1040.74 c #Conflicts: 923000 | #Constraints: 21942
935.38/1040.74 c #Conflicts: 924000 | #Constraints: 22959
935.38/1040.74 c #Conflicts: 925000 | #Constraints: 23966
935.38/1040.74 c #Conflicts: 926000 | #Constraints: 24980
935.38/1040.74 c #Conflicts: 927000 | #Constraints: 25991
935.38/1040.74 c #Conflicts: 928000 | #Constraints: 27008
935.38/1040.74 c #Conflicts: 929000 | #Constraints: 28029
935.38/1040.74 c #Conflicts: 930000 | #Constraints: 29041
935.38/1040.74 c #Conflicts: 931000 | #Constraints: 30065
935.38/1040.74 c #Conflicts: 932000 | #Constraints: 31065
935.38/1040.74 c #Conflicts: 933000 | #Constraints: 32076
935.38/1040.74 c #Conflicts: 934000 | #Constraints: 33090
935.38/1040.74 c #Conflicts: 935000 | #Constraints: 34097
935.38/1040.74 c #Conflicts: 936000 | #Constraints: 35115
935.38/1040.74 c #Conflicts: 937000 | #Constraints: 36123
935.38/1040.74 c #Conflicts: 938000 | #Constraints: 37124
935.38/1040.74 c #Conflicts: 939000 | #Constraints: 38128
935.38/1040.74 c #Conflicts: 940000 | #Constraints: 39131
935.38/1040.74 c #Conflicts: 941000 | #Constraints: 40132
935.38/1040.74 c INPROCESSING
935.38/1040.74 c GARBAGE COLLECT
935.38/1040.74 c rational objective -31
957.30/1063.08 c #Conflicts: 942000 | #Constraints: 21741
957.30/1063.08 c #Conflicts: 943000 | #Constraints: 22750
957.30/1063.08 c #Conflicts: 944000 | #Constraints: 23761
957.30/1063.08 c #Conflicts: 945000 | #Constraints: 24775
957.30/1063.08 c #Conflicts: 946000 | #Constraints: 25785
957.30/1063.08 c #Conflicts: 947000 | #Constraints: 26795
957.30/1063.08 c #Conflicts: 948000 | #Constraints: 27809
957.30/1063.08 c #Conflicts: 949000 | #Constraints: 28818
957.30/1063.08 c #Conflicts: 950000 | #Constraints: 29830
957.30/1063.08 c #Conflicts: 951000 | #Constraints: 30842
957.30/1063.08 c #Conflicts: 952000 | #Constraints: 31847
957.30/1063.08 c #Conflicts: 953000 | #Constraints: 32856
957.30/1063.08 c #Conflicts: 954000 | #Constraints: 33871
957.30/1063.08 c #Conflicts: 955000 | #Constraints: 34884
957.30/1063.08 c #Conflicts: 956000 | #Constraints: 35896
957.30/1063.08 c #Conflicts: 957000 | #Constraints: 36901
957.30/1063.08 c #Conflicts: 958000 | #Constraints: 37907
957.30/1063.08 c #Conflicts: 959000 | #Constraints: 38914
957.30/1063.08 c #Conflicts: 960000 | #Constraints: 39923
957.30/1063.08 c #Conflicts: 961000 | #Constraints: 40937
957.30/1063.08 c INPROCESSING
957.30/1063.08 c GARBAGE COLLECT
957.30/1063.08 c rational objective -31
979.96/1085.89 c #Conflicts: 962000 | #Constraints: 22311
979.96/1085.89 c #Conflicts: 963000 | #Constraints: 23317
979.96/1085.89 c #Conflicts: 964000 | #Constraints: 24328
979.96/1085.89 c #Conflicts: 965000 | #Constraints: 25340
979.96/1085.89 c #Conflicts: 966000 | #Constraints: 26346
979.96/1085.89 c #Conflicts: 967000 | #Constraints: 27352
979.96/1085.89 c #Conflicts: 968000 | #Constraints: 28359
979.96/1085.89 c #Conflicts: 969000 | #Constraints: 29365
979.96/1085.89 c #Conflicts: 970000 | #Constraints: 30371
979.96/1085.89 c #Conflicts: 971000 | #Constraints: 31373
979.96/1085.89 c #Conflicts: 972000 | #Constraints: 32376
979.96/1085.89 c #Conflicts: 973000 | #Constraints: 33380
979.96/1085.89 c #Conflicts: 974000 | #Constraints: 34384
979.96/1085.89 c #Conflicts: 975000 | #Constraints: 35385
979.96/1085.89 c #Conflicts: 976000 | #Constraints: 36387
979.96/1085.89 c #Conflicts: 977000 | #Constraints: 37387
979.96/1085.89 c #Conflicts: 978000 | #Constraints: 38388
979.96/1085.89 c #Conflicts: 979000 | #Constraints: 39388
979.96/1085.89 c #Conflicts: 980000 | #Constraints: 40388
979.96/1085.89 c #Conflicts: 981000 | #Constraints: 41396
979.96/1085.89 c INPROCESSING
979.96/1085.89 c GARBAGE COLLECT
979.96/1085.89 c rational objective -31
1002.74/1109.09 c #Conflicts: 982000 | #Constraints: 22655
1002.74/1109.09 c #Conflicts: 983000 | #Constraints: 23666
1002.74/1109.09 c #Conflicts: 984000 | #Constraints: 24672
1002.74/1109.09 c #Conflicts: 985000 | #Constraints: 25683
1002.74/1109.09 c #Conflicts: 986000 | #Constraints: 26694
1002.74/1109.09 c #Conflicts: 987000 | #Constraints: 27702
1002.74/1109.09 c #Conflicts: 988000 | #Constraints: 28708
1002.74/1109.09 c #Conflicts: 989000 | #Constraints: 29712
1002.74/1109.09 c #Conflicts: 990000 | #Constraints: 30719
1002.74/1109.09 c #Conflicts: 991000 | #Constraints: 31723
1002.74/1109.09 c #Conflicts: 992000 | #Constraints: 32728
1002.74/1109.09 c #Conflicts: 993000 | #Constraints: 33741
1002.74/1109.09 c #Conflicts: 994000 | #Constraints: 34746
1002.74/1109.09 c #Conflicts: 995000 | #Constraints: 35749
1002.74/1109.09 c #Conflicts: 996000 | #Constraints: 36755
1002.74/1109.09 c #Conflicts: 997000 | #Constraints: 37756
1002.74/1109.09 c #Conflicts: 998000 | #Constraints: 38757
1002.74/1109.09 c #Conflicts: 999000 | #Constraints: 39762
1002.74/1109.09 c #Conflicts: 1000000 | #Constraints: 40772
1002.74/1109.09 c #Conflicts: 1001000 | #Constraints: 41778
1002.74/1109.09 c INPROCESSING
1002.74/1109.09 c GARBAGE COLLECT
1002.74/1109.09 c rational objective -31
1071.36/1178.31 c #Conflicts: 1002000 | #Constraints: 22842
1071.36/1178.31 c #Conflicts: 1003000 | #Constraints: 23850
1071.36/1178.31 c #Conflicts: 1004000 | #Constraints: 24854
1071.36/1178.31 c #Conflicts: 1005000 | #Constraints: 25863
1071.36/1178.31 c #Conflicts: 1006000 | #Constraints: 26874
1071.36/1178.31 c #Conflicts: 1007000 | #Constraints: 27883
1071.36/1178.31 c #Conflicts: 1008000 | #Constraints: 28894
1071.36/1178.31 c #Conflicts: 1009000 | #Constraints: 29899
1071.36/1178.31 c #Conflicts: 1010000 | #Constraints: 30906
1071.36/1178.31 c #Conflicts: 1011000 | #Constraints: 31918
1071.36/1178.31 c #Conflicts: 1012000 | #Constraints: 32926
1071.36/1178.31 c #Conflicts: 1013000 | #Constraints: 33931
1071.36/1178.31 c #Conflicts: 1014000 | #Constraints: 34931
1071.36/1178.31 c #Conflicts: 1015000 | #Constraints: 35937
1071.36/1178.31 c #Conflicts: 1016000 | #Constraints: 36941
1071.36/1178.31 c #Conflicts: 1017000 | #Constraints: 37943
1071.36/1178.31 c #Conflicts: 1018000 | #Constraints: 38945
1071.36/1178.31 c #Conflicts: 1019000 | #Constraints: 39948
1071.36/1178.31 c #Conflicts: 1020000 | #Constraints: 40954
1071.36/1178.31 c #Conflicts: 1021000 | #Constraints: 41963
1071.36/1178.31 c INPROCESSING
1071.36/1178.31 c GARBAGE COLLECT
1071.36/1178.31 c rational objective -31
1096.07/1203.14 c #Conflicts: 1022000 | #Constraints: 22890
1096.07/1203.14 c #Conflicts: 1023000 | #Constraints: 23913
1096.07/1203.14 c #Conflicts: 1024000 | #Constraints: 24925
1096.07/1203.14 c #Conflicts: 1025000 | #Constraints: 25937
1096.07/1203.14 c #Conflicts: 1026000 | #Constraints: 26945
1096.07/1203.14 c #Conflicts: 1027000 | #Constraints: 27952
1096.07/1203.14 c #Conflicts: 1028000 | #Constraints: 28963
1096.07/1203.14 c #Conflicts: 1029000 | #Constraints: 29978
1096.07/1203.14 c #Conflicts: 1030000 | #Constraints: 30993
1096.07/1203.14 c #Conflicts: 1031000 | #Constraints: 31997
1096.07/1203.14 c #Conflicts: 1032000 | #Constraints: 33011
1096.07/1203.14 c #Conflicts: 1033000 | #Constraints: 34021
1096.07/1203.14 c #Conflicts: 1034000 | #Constraints: 35026
1096.07/1203.14 c #Conflicts: 1035000 | #Constraints: 36029
1096.07/1203.14 c #Conflicts: 1036000 | #Constraints: 37032
1096.07/1203.14 c #Conflicts: 1037000 | #Constraints: 38032
1096.07/1203.14 c #Conflicts: 1038000 | #Constraints: 39033
1096.07/1203.14 c #Conflicts: 1039000 | #Constraints: 40038
1096.07/1203.14 c #Conflicts: 1040000 | #Constraints: 41041
1096.07/1203.14 c #Conflicts: 1041000 | #Constraints: 42042
1096.07/1203.14 c INPROCESSING
1096.07/1203.14 c GARBAGE COLLECT
1096.07/1203.14 c rational objective -31
1114.67/1221.83 c #Conflicts: 1042000 | #Constraints: 22680
1114.67/1221.83 c #Conflicts: 1043000 | #Constraints: 23705
1114.67/1221.83 c #Conflicts: 1044000 | #Constraints: 24726
1114.67/1221.83 c #Conflicts: 1045000 | #Constraints: 25746
1114.67/1221.83 c #Conflicts: 1046000 | #Constraints: 26764
1114.67/1221.83 c #Conflicts: 1047000 | #Constraints: 27767
1114.67/1221.83 c #Conflicts: 1048000 | #Constraints: 28767
1114.67/1221.83 c #Conflicts: 1049000 | #Constraints: 29797
1114.67/1221.83 c #Conflicts: 1050000 | #Constraints: 30845
1114.67/1221.83 c #Conflicts: 1051000 | #Constraints: 31849
1114.67/1221.83 c #Conflicts: 1052000 | #Constraints: 32849
1114.67/1221.83 c #Conflicts: 1053000 | #Constraints: 33849
1114.67/1221.83 c #Conflicts: 1054000 | #Constraints: 34849
1114.67/1221.83 c #Conflicts: 1055000 | #Constraints: 35849
1114.67/1221.83 c #Conflicts: 1056000 | #Constraints: 36849
1114.67/1221.83 c #Conflicts: 1057000 | #Constraints: 37849
1114.67/1221.83 c #Conflicts: 1058000 | #Constraints: 38893
1114.67/1221.83 c #Conflicts: 1059000 | #Constraints: 39940
1114.67/1221.83 c #Conflicts: 1060000 | #Constraints: 40972
1114.67/1221.83 c #Conflicts: 1061000 | #Constraints: 41981
1114.67/1221.83 c #Conflicts: 1062000 | #Constraints: 42981
1114.67/1221.83 c INPROCESSING
1114.67/1221.83 c GARBAGE COLLECT
1114.67/1221.83 c rational objective -31
1136.12/1257.15 c #Conflicts: 1063000 | #Constraints: 23413
1136.12/1257.15 c #Conflicts: 1064000 | #Constraints: 24435
1136.12/1257.15 c #Conflicts: 1065000 | #Constraints: 25459
1136.12/1257.15 c #Conflicts: 1066000 | #Constraints: 26476
1136.12/1257.15 c #Conflicts: 1067000 | #Constraints: 27478
1136.12/1257.15 c #Conflicts: 1068000 | #Constraints: 28478
1136.12/1257.15 c #Conflicts: 1069000 | #Constraints: 29478
1136.12/1257.15 c #Conflicts: 1070000 | #Constraints: 30479
1136.12/1257.15 c #Conflicts: 1071000 | #Constraints: 31480
1136.12/1257.15 c #Conflicts: 1072000 | #Constraints: 32496
1136.12/1257.15 c #Conflicts: 1073000 | #Constraints: 33524
1136.12/1257.15 c #Conflicts: 1074000 | #Constraints: 34570
1136.12/1257.15 c #Conflicts: 1075000 | #Constraints: 35585
1136.12/1257.15 c #Conflicts: 1076000 | #Constraints: 36586
1136.12/1257.15 c #Conflicts: 1077000 | #Constraints: 37615
1136.12/1257.15 c #Conflicts: 1078000 | #Constraints: 38618
1136.12/1257.15 c #Conflicts: 1079000 | #Constraints: 39621
1136.12/1257.15 c #Conflicts: 1080000 | #Constraints: 40624
1136.12/1257.15 c #Conflicts: 1081000 | #Constraints: 41626
1136.12/1257.15 c #Conflicts: 1082000 | #Constraints: 42627
1136.12/1257.15 c #Conflicts: 1083000 | #Constraints: 43628
1136.12/1257.15 c INPROCESSING
1136.12/1257.15 c GARBAGE COLLECT
1136.12/1257.15 c rational objective -31
1158.26/1279.36 c #Conflicts: 1084000 | #Constraints: 23793
1158.26/1279.36 c #Conflicts: 1085000 | #Constraints: 24794
1158.26/1279.36 c #Conflicts: 1086000 | #Constraints: 25795
1158.26/1279.36 c #Conflicts: 1087000 | #Constraints: 26795
1158.26/1279.36 c #Conflicts: 1088000 | #Constraints: 27795
1158.26/1279.36 c #Conflicts: 1089000 | #Constraints: 28795
1158.26/1279.36 c #Conflicts: 1090000 | #Constraints: 29795
1158.26/1279.36 c #Conflicts: 1091000 | #Constraints: 30795
1158.26/1279.36 c #Conflicts: 1092000 | #Constraints: 31795
1158.26/1279.36 c #Conflicts: 1093000 | #Constraints: 32795
1158.26/1279.36 c #Conflicts: 1094000 | #Constraints: 33795
1158.26/1279.36 c #Conflicts: 1095000 | #Constraints: 34795
1158.26/1279.36 c #Conflicts: 1096000 | #Constraints: 35795
1158.26/1279.36 c #Conflicts: 1097000 | #Constraints: 36795
1158.26/1279.36 c #Conflicts: 1098000 | #Constraints: 37795
1158.26/1279.36 c #Conflicts: 1099000 | #Constraints: 38795
1158.26/1279.36 c #Conflicts: 1100000 | #Constraints: 39795
1158.26/1279.36 c #Conflicts: 1101000 | #Constraints: 40795
1158.26/1279.36 c #Conflicts: 1102000 | #Constraints: 41795
1158.26/1279.36 c #Conflicts: 1103000 | #Constraints: 42795
1158.26/1279.36 c #Conflicts: 1104000 | #Constraints: 43795
1158.26/1279.36 c INPROCESSING
1158.26/1279.36 c GARBAGE COLLECT
1158.26/1279.36 c rational objective -31
1197.42/1318.75 c #Conflicts: 1105000 | #Constraints: 23870
1197.42/1318.75 c #Conflicts: 1106000 | #Constraints: 24870
1197.42/1318.75 c #Conflicts: 1107000 | #Constraints: 25891
1197.42/1318.75 c #Conflicts: 1108000 | #Constraints: 26902
1197.42/1318.75 c #Conflicts: 1109000 | #Constraints: 27914
1197.42/1318.75 c #Conflicts: 1110000 | #Constraints: 28932
1197.42/1318.75 c #Conflicts: 1111000 | #Constraints: 29947
1197.42/1318.75 c #Conflicts: 1112000 | #Constraints: 30961
1197.42/1318.75 c #Conflicts: 1113000 | #Constraints: 31977
1197.42/1318.75 c #Conflicts: 1114000 | #Constraints: 32985
1197.42/1318.75 c #Conflicts: 1115000 | #Constraints: 33996
1197.42/1318.75 c #Conflicts: 1116000 | #Constraints: 35007
1197.42/1318.75 c #Conflicts: 1117000 | #Constraints: 36018
1197.42/1318.75 c #Conflicts: 1118000 | #Constraints: 37029
1197.42/1318.75 c #Conflicts: 1119000 | #Constraints: 38031
1197.42/1318.75 c #Conflicts: 1120000 | #Constraints: 39036
1197.42/1318.75 c #Conflicts: 1121000 | #Constraints: 40039
1197.42/1318.75 c #Conflicts: 1122000 | #Constraints: 41041
1197.42/1318.75 c #Conflicts: 1123000 | #Constraints: 42042
1197.42/1318.75 c #Conflicts: 1124000 | #Constraints: 43045
1197.42/1318.75 c #Conflicts: 1125000 | #Constraints: 44047
1197.42/1318.75 c INPROCESSING
1197.42/1318.75 c GARBAGE COLLECT
1197.42/1318.75 c rational objective -31
1222.59/1344.33 c #Conflicts: 1126000 | #Constraints: 23901
1222.59/1344.33 c #Conflicts: 1127000 | #Constraints: 24907
1222.59/1344.33 c #Conflicts: 1128000 | #Constraints: 25922
1222.59/1344.33 c #Conflicts: 1129000 | #Constraints: 26944
1222.59/1344.33 c #Conflicts: 1130000 | #Constraints: 27963
1222.59/1344.33 c #Conflicts: 1131000 | #Constraints: 28981
1222.59/1344.33 c #Conflicts: 1132000 | #Constraints: 29994
1222.59/1344.33 c #Conflicts: 1133000 | #Constraints: 31008
1222.59/1344.33 c #Conflicts: 1134000 | #Constraints: 32020
1222.59/1344.33 c #Conflicts: 1135000 | #Constraints: 33027
1222.59/1344.33 c #Conflicts: 1136000 | #Constraints: 34037
1222.59/1344.33 c #Conflicts: 1137000 | #Constraints: 35045
1222.59/1344.33 c #Conflicts: 1138000 | #Constraints: 36054
1222.59/1344.33 c #Conflicts: 1139000 | #Constraints: 37061
1222.59/1344.33 c #Conflicts: 1140000 | #Constraints: 38063
1222.59/1344.33 c #Conflicts: 1141000 | #Constraints: 39069
1222.59/1344.33 c #Conflicts: 1142000 | #Constraints: 40092
1222.59/1344.33 c #Conflicts: 1143000 | #Constraints: 41096
1222.59/1344.33 c #Conflicts: 1144000 | #Constraints: 42105
1222.59/1344.33 c #Conflicts: 1145000 | #Constraints: 43106
1222.59/1344.33 c #Conflicts: 1146000 | #Constraints: 44109
1222.59/1344.33 c INPROCESSING
1222.59/1344.33 c GARBAGE COLLECT
1222.59/1344.33 c rational objective -31
1246.87/1368.79 c #Conflicts: 1147000 | #Constraints: 23726
1246.87/1368.79 c #Conflicts: 1148000 | #Constraints: 24731
1246.87/1368.79 c #Conflicts: 1149000 | #Constraints: 25741
1246.87/1368.79 c #Conflicts: 1150000 | #Constraints: 26752
1246.87/1368.79 c #Conflicts: 1151000 | #Constraints: 27768
1246.87/1368.79 c #Conflicts: 1152000 | #Constraints: 28777
1246.87/1368.79 c #Conflicts: 1153000 | #Constraints: 29779
1246.87/1368.79 c #Conflicts: 1154000 | #Constraints: 30792
1246.87/1368.79 c #Conflicts: 1155000 | #Constraints: 31804
1246.87/1368.79 c #Conflicts: 1156000 | #Constraints: 32809
1246.87/1368.79 c #Conflicts: 1157000 | #Constraints: 33818
1246.87/1368.79 c #Conflicts: 1158000 | #Constraints: 34824
1246.87/1368.79 c #Conflicts: 1159000 | #Constraints: 35832
1246.87/1368.79 c #Conflicts: 1160000 | #Constraints: 36848
1246.87/1368.79 c #Conflicts: 1161000 | #Constraints: 37859
1246.87/1368.79 c #Conflicts: 1162000 | #Constraints: 38872
1246.87/1368.79 c #Conflicts: 1163000 | #Constraints: 39881
1246.87/1368.79 c #Conflicts: 1164000 | #Constraints: 40897
1246.87/1368.79 c #Conflicts: 1165000 | #Constraints: 41909
1246.87/1368.79 c #Conflicts: 1166000 | #Constraints: 42916
1246.87/1368.79 c #Conflicts: 1167000 | #Constraints: 43930
1246.87/1368.79 c #Conflicts: 1168000 | #Constraints: 44940
1246.87/1368.79 c INPROCESSING
1246.87/1368.79 c GARBAGE COLLECT
1246.87/1368.79 c rational objective -31
1268.89/1399.38 c #Conflicts: 1169000 | #Constraints: 24335
1268.89/1399.38 c #Conflicts: 1170000 | #Constraints: 25358
1268.89/1399.38 c #Conflicts: 1171000 | #Constraints: 26388
1268.89/1399.38 c #Conflicts: 1172000 | #Constraints: 27407
1268.89/1399.38 c #Conflicts: 1173000 | #Constraints: 28423
1268.89/1399.38 c #Conflicts: 1174000 | #Constraints: 29445
1268.89/1399.38 c #Conflicts: 1175000 | #Constraints: 30464
1268.89/1399.38 c #Conflicts: 1176000 | #Constraints: 31484
1268.89/1399.38 c #Conflicts: 1177000 | #Constraints: 32499
1268.89/1399.38 c #Conflicts: 1178000 | #Constraints: 33511
1268.89/1399.38 c #Conflicts: 1179000 | #Constraints: 34525
1268.89/1399.38 c #Conflicts: 1180000 | #Constraints: 35542
1268.89/1399.38 c #Conflicts: 1181000 | #Constraints: 36570
1268.89/1399.38 c #Conflicts: 1182000 | #Constraints: 37586
1268.89/1399.38 c #Conflicts: 1183000 | #Constraints: 38600
1268.89/1399.38 c #Conflicts: 1184000 | #Constraints: 39623
1268.89/1399.38 c #Conflicts: 1185000 | #Constraints: 40638
1268.89/1399.38 c #Conflicts: 1186000 | #Constraints: 41652
1268.89/1399.38 c #Conflicts: 1187000 | #Constraints: 42665
1268.89/1399.38 c #Conflicts: 1188000 | #Constraints: 43678
1268.89/1399.38 c #Conflicts: 1189000 | #Constraints: 44709
1268.89/1399.38 c #Conflicts: 1190000 | #Constraints: 45731
1268.89/1399.38 c INPROCESSING
1268.89/1399.38 c GARBAGE COLLECT
1268.89/1399.38 c rational objective -31
1299.06/1429.61 c #Conflicts: 1191000 | #Constraints: 24835
1299.06/1429.61 c #Conflicts: 1192000 | #Constraints: 25837
1299.06/1429.61 c #Conflicts: 1193000 | #Constraints: 26841
1299.06/1429.61 c #Conflicts: 1194000 | #Constraints: 27857
1299.06/1429.61 c #Conflicts: 1195000 | #Constraints: 28866
1299.06/1429.61 c #Conflicts: 1196000 | #Constraints: 29874
1299.06/1429.61 c #Conflicts: 1197000 | #Constraints: 30888
1299.06/1429.61 c #Conflicts: 1198000 | #Constraints: 31905
1299.06/1429.61 c #Conflicts: 1199000 | #Constraints: 32923
1299.06/1429.61 c #Conflicts: 1200000 | #Constraints: 33926
1299.06/1429.61 c #Conflicts: 1201000 | #Constraints: 34931
1299.06/1429.61 c #Conflicts: 1202000 | #Constraints: 35942
1299.06/1429.61 c #Conflicts: 1203000 | #Constraints: 36951
1299.06/1429.61 c #Conflicts: 1204000 | #Constraints: 37962
1299.06/1429.61 c #Conflicts: 1205000 | #Constraints: 38967
1299.06/1429.61 c #Conflicts: 1206000 | #Constraints: 39985
1299.06/1429.61 c #Conflicts: 1207000 | #Constraints: 41002
1299.06/1429.61 c #Conflicts: 1208000 | #Constraints: 42005
1299.06/1429.61 c #Conflicts: 1209000 | #Constraints: 43015
1299.06/1429.61 c #Conflicts: 1210000 | #Constraints: 44030
1299.06/1429.61 c #Conflicts: 1211000 | #Constraints: 45043
1299.06/1429.61 c #Conflicts: 1212000 | #Constraints: 46050
1299.06/1429.61 c INPROCESSING
1299.06/1429.61 c GARBAGE COLLECT
1299.06/1429.61 c rational objective -31
1339.81/1473.37 c #Conflicts: 1213000 | #Constraints: 24991
1339.81/1473.37 c #Conflicts: 1214000 | #Constraints: 25999
1339.81/1473.37 c #Conflicts: 1215000 | #Constraints: 27007
1339.81/1473.37 c #Conflicts: 1216000 | #Constraints: 28015
1339.81/1473.37 c #Conflicts: 1217000 | #Constraints: 29021
1339.81/1473.37 c #Conflicts: 1218000 | #Constraints: 30032
1339.81/1473.37 c #Conflicts: 1219000 | #Constraints: 31057
1339.81/1473.37 c #Conflicts: 1220000 | #Constraints: 32084
1339.81/1473.37 c #Conflicts: 1221000 | #Constraints: 33103
1339.81/1473.37 c #Conflicts: 1222000 | #Constraints: 34123
1339.81/1473.37 c #Conflicts: 1223000 | #Constraints: 35136
1339.81/1473.37 c #Conflicts: 1224000 | #Constraints: 36151
1339.81/1473.37 c #Conflicts: 1225000 | #Constraints: 37180
1339.81/1473.37 c #Conflicts: 1226000 | #Constraints: 38184
1339.81/1473.37 c #Conflicts: 1227000 | #Constraints: 39184
1339.81/1473.37 c #Conflicts: 1228000 | #Constraints: 40189
1339.81/1473.37 c #Conflicts: 1229000 | #Constraints: 41191
1339.81/1473.37 c #Conflicts: 1230000 | #Constraints: 42191
1339.81/1473.37 c #Conflicts: 1231000 | #Constraints: 43199
1339.81/1473.37 c #Conflicts: 1232000 | #Constraints: 44206
1339.81/1473.37 c #Conflicts: 1233000 | #Constraints: 45208
1339.81/1473.37 c #Conflicts: 1234000 | #Constraints: 46208
1339.81/1473.37 c INPROCESSING
1339.81/1473.37 c GARBAGE COLLECT
1339.81/1473.37 c rational objective -31
1375.33/1510.92 c #Conflicts: 1235000 | #Constraints: 24994
1375.33/1510.92 c #Conflicts: 1236000 | #Constraints: 26000
1375.33/1510.92 c #Conflicts: 1237000 | #Constraints: 27017
1375.33/1510.92 c #Conflicts: 1238000 | #Constraints: 28027
1375.33/1510.92 c #Conflicts: 1239000 | #Constraints: 29029
1375.33/1510.92 c #Conflicts: 1240000 | #Constraints: 30036
1375.33/1510.92 c #Conflicts: 1241000 | #Constraints: 31049
1375.33/1510.92 c #Conflicts: 1242000 | #Constraints: 32054
1375.33/1510.92 c #Conflicts: 1243000 | #Constraints: 33063
1375.33/1510.92 c #Conflicts: 1244000 | #Constraints: 34069
1375.33/1510.92 c #Conflicts: 1245000 | #Constraints: 35080
1375.33/1510.92 c #Conflicts: 1246000 | #Constraints: 36097
1375.33/1510.92 c #Conflicts: 1247000 | #Constraints: 37106
1375.33/1510.92 c #Conflicts: 1248000 | #Constraints: 38111
1375.33/1510.92 c #Conflicts: 1249000 | #Constraints: 39120
1375.33/1510.92 c #Conflicts: 1250000 | #Constraints: 40126
1375.33/1510.92 c #Conflicts: 1251000 | #Constraints: 41141
1375.33/1510.92 c #Conflicts: 1252000 | #Constraints: 42161
1375.33/1510.92 c #Conflicts: 1253000 | #Constraints: 43179
1375.33/1510.92 c #Conflicts: 1254000 | #Constraints: 44190
1375.33/1510.92 c #Conflicts: 1255000 | #Constraints: 45200
1375.33/1510.92 c #Conflicts: 1256000 | #Constraints: 46210
1375.33/1510.92 c INPROCESSING
1375.33/1510.92 c GARBAGE COLLECT
1375.33/1510.92 c rational objective -31
1401.07/1536.79 c #Conflicts: 1257000 | #Constraints: 24771
1401.07/1536.79 c #Conflicts: 1258000 | #Constraints: 25785
1401.07/1536.79 c #Conflicts: 1259000 | #Constraints: 26807
1401.07/1536.79 c #Conflicts: 1260000 | #Constraints: 27825
1401.07/1536.79 c #Conflicts: 1261000 | #Constraints: 28837
1401.07/1536.79 c #Conflicts: 1262000 | #Constraints: 29852
1401.07/1536.79 c #Conflicts: 1263000 | #Constraints: 30867
1401.07/1536.79 c #Conflicts: 1264000 | #Constraints: 31901
1401.07/1536.79 c #Conflicts: 1265000 | #Constraints: 32926
1401.07/1536.79 c #Conflicts: 1266000 | #Constraints: 33947
1401.07/1536.79 c #Conflicts: 1267000 | #Constraints: 34957
1401.07/1536.79 c #Conflicts: 1268000 | #Constraints: 35988
1401.07/1536.79 c #Conflicts: 1269000 | #Constraints: 37004
1401.07/1536.79 c #Conflicts: 1270000 | #Constraints: 38024
1401.07/1536.79 c #Conflicts: 1271000 | #Constraints: 39046
1401.07/1536.79 c #Conflicts: 1272000 | #Constraints: 40058
1401.07/1536.79 c #Conflicts: 1273000 | #Constraints: 41073
1401.07/1536.79 c #Conflicts: 1274000 | #Constraints: 42095
1401.07/1536.79 c #Conflicts: 1275000 | #Constraints: 43119
1401.07/1536.79 c #Conflicts: 1276000 | #Constraints: 44140
1401.07/1536.79 c #Conflicts: 1277000 | #Constraints: 45152
1401.07/1536.79 c #Conflicts: 1278000 | #Constraints: 46154
1401.07/1536.79 c #Conflicts: 1279000 | #Constraints: 47157
1401.07/1536.79 c INPROCESSING
1401.07/1536.79 c GARBAGE COLLECT
1401.07/1536.79 c rational objective -31
1435.47/1571.63 c #Conflicts: 1280000 | #Constraints: 25444
1435.47/1571.63 c #Conflicts: 1281000 | #Constraints: 26451
1435.47/1571.63 c #Conflicts: 1282000 | #Constraints: 27465
1435.47/1571.63 c #Conflicts: 1283000 | #Constraints: 28475
1435.47/1571.63 c #Conflicts: 1284000 | #Constraints: 29482
1435.47/1571.63 c #Conflicts: 1285000 | #Constraints: 30491
1435.47/1571.63 c #Conflicts: 1286000 | #Constraints: 31502
1435.47/1571.63 c #Conflicts: 1287000 | #Constraints: 32508
1435.47/1571.63 c #Conflicts: 1288000 | #Constraints: 33523
1435.47/1571.63 c #Conflicts: 1289000 | #Constraints: 34526
1435.47/1571.63 c #Conflicts: 1290000 | #Constraints: 35542
1435.47/1571.63 c #Conflicts: 1291000 | #Constraints: 36557
1435.47/1571.63 c #Conflicts: 1292000 | #Constraints: 37564
1435.47/1571.63 c #Conflicts: 1293000 | #Constraints: 38578
1435.47/1571.63 c #Conflicts: 1294000 | #Constraints: 39591
1435.47/1571.63 c #Conflicts: 1295000 | #Constraints: 40604
1435.47/1571.63 c #Conflicts: 1296000 | #Constraints: 41605
1435.47/1571.63 c #Conflicts: 1297000 | #Constraints: 42606
1435.47/1571.63 c #Conflicts: 1298000 | #Constraints: 43618
1435.47/1571.63 c #Conflicts: 1299000 | #Constraints: 44644
1435.47/1571.63 c #Conflicts: 1300000 | #Constraints: 45660
1435.47/1571.63 c #Conflicts: 1301000 | #Constraints: 46674
1435.47/1571.63 c #Conflicts: 1302000 | #Constraints: 47684
1435.47/1571.63 c INPROCESSING
1435.47/1571.63 c GARBAGE COLLECT
1435.47/1571.63 c rational objective -31
1461.99/1598.23 c #Conflicts: 1303000 | #Constraints: 25800
1461.99/1598.23 c #Conflicts: 1304000 | #Constraints: 26813
1461.99/1598.23 c #Conflicts: 1305000 | #Constraints: 27827
1461.99/1598.23 c #Conflicts: 1306000 | #Constraints: 28836
1461.99/1598.23 c #Conflicts: 1307000 | #Constraints: 29854
1461.99/1598.23 c #Conflicts: 1308000 | #Constraints: 30891
1461.99/1598.23 c #Conflicts: 1309000 | #Constraints: 31914
1461.99/1598.23 c #Conflicts: 1310000 | #Constraints: 32914
1461.99/1598.23 c #Conflicts: 1311000 | #Constraints: 33924
1461.99/1598.23 c #Conflicts: 1312000 | #Constraints: 34931
1461.99/1598.23 c #Conflicts: 1313000 | #Constraints: 35944
1461.99/1598.23 c #Conflicts: 1314000 | #Constraints: 36948
1461.99/1598.23 c #Conflicts: 1315000 | #Constraints: 37966
1461.99/1598.23 c #Conflicts: 1316000 | #Constraints: 38987
1461.99/1598.23 c #Conflicts: 1317000 | #Constraints: 40015
1461.99/1598.23 c #Conflicts: 1318000 | #Constraints: 41042
1461.99/1598.23 c #Conflicts: 1319000 | #Constraints: 42054
1461.99/1598.23 c #Conflicts: 1320000 | #Constraints: 43057
1461.99/1598.23 c #Conflicts: 1321000 | #Constraints: 44059
1461.99/1598.23 c #Conflicts: 1322000 | #Constraints: 45072
1461.99/1598.23 c #Conflicts: 1323000 | #Constraints: 46097
1461.99/1598.23 c #Conflicts: 1324000 | #Constraints: 47112
1461.99/1598.23 c #Conflicts: 1325000 | #Constraints: 48124
1461.99/1598.23 c INPROCESSING
1461.99/1598.23 c GARBAGE COLLECT
1461.99/1598.23 c rational objective -31
1489.42/1631.52 c #Conflicts: 1326000 | #Constraints: 26040
1489.42/1631.52 c #Conflicts: 1327000 | #Constraints: 27057
1489.42/1631.52 c #Conflicts: 1328000 | #Constraints: 28078
1489.42/1631.52 c #Conflicts: 1329000 | #Constraints: 29085
1489.42/1631.52 c #Conflicts: 1330000 | #Constraints: 30112
1489.42/1631.52 c #Conflicts: 1331000 | #Constraints: 31130
1489.42/1631.52 c #Conflicts: 1332000 | #Constraints: 32143
1489.42/1631.52 c #Conflicts: 1333000 | #Constraints: 33167
1489.42/1631.52 c #Conflicts: 1334000 | #Constraints: 34188
1489.42/1631.52 c #Conflicts: 1335000 | #Constraints: 35202
1489.42/1631.52 c #Conflicts: 1336000 | #Constraints: 36217
1489.42/1631.52 c #Conflicts: 1337000 | #Constraints: 37238
1489.42/1631.52 c #Conflicts: 1338000 | #Constraints: 38248
1489.42/1631.52 c #Conflicts: 1339000 | #Constraints: 39261
1489.42/1631.52 c #Conflicts: 1340000 | #Constraints: 40275
1489.42/1631.52 c #Conflicts: 1341000 | #Constraints: 41281
1489.42/1631.52 c #Conflicts: 1342000 | #Constraints: 42294
1489.42/1631.52 c #Conflicts: 1343000 | #Constraints: 43314
1489.42/1631.52 c #Conflicts: 1344000 | #Constraints: 44318
1489.42/1631.52 c #Conflicts: 1345000 | #Constraints: 45323
1489.42/1631.52 c #Conflicts: 1346000 | #Constraints: 46326
1489.42/1631.52 c #Conflicts: 1347000 | #Constraints: 47332
1489.42/1631.52 c #Conflicts: 1348000 | #Constraints: 48340
1489.42/1631.52 c INPROCESSING
1489.42/1631.52 c GARBAGE COLLECT
1489.42/1631.52 c rational objective -31
1527.70/1673.40 c #Conflicts: 1349000 | #Constraints: 26056
1527.70/1673.40 c #Conflicts: 1350000 | #Constraints: 27073
1527.70/1673.40 c #Conflicts: 1351000 | #Constraints: 28098
1527.70/1673.40 c #Conflicts: 1352000 | #Constraints: 29117
1527.70/1673.40 c #Conflicts: 1353000 | #Constraints: 30139
1527.70/1673.40 c #Conflicts: 1354000 | #Constraints: 31151
1527.70/1673.40 c #Conflicts: 1355000 | #Constraints: 32162
1527.70/1673.40 c #Conflicts: 1356000 | #Constraints: 33175
1527.70/1673.40 c #Conflicts: 1357000 | #Constraints: 34182
1527.70/1673.40 c #Conflicts: 1358000 | #Constraints: 35192
1527.70/1673.40 c #Conflicts: 1359000 | #Constraints: 36205
1527.70/1673.40 c #Conflicts: 1360000 | #Constraints: 37215
1527.70/1673.40 c #Conflicts: 1361000 | #Constraints: 38223
1527.70/1673.40 c #Conflicts: 1362000 | #Constraints: 39238
1527.70/1673.40 c #Conflicts: 1363000 | #Constraints: 40246
1527.70/1673.40 c #Conflicts: 1364000 | #Constraints: 41253
1527.70/1673.40 c #Conflicts: 1365000 | #Constraints: 42259
1527.70/1673.40 c #Conflicts: 1366000 | #Constraints: 43266
1527.70/1673.40 c #Conflicts: 1367000 | #Constraints: 44271
1527.70/1673.40 c #Conflicts: 1368000 | #Constraints: 45284
1527.70/1673.40 c #Conflicts: 1369000 | #Constraints: 46300
1527.70/1673.40 c #Conflicts: 1370000 | #Constraints: 47308
1527.70/1673.40 c #Conflicts: 1371000 | #Constraints: 48329
1527.70/1673.40 c INPROCESSING
1527.70/1673.40 c GARBAGE COLLECT
1527.70/1673.40 c rational objective -31
1566.32/1729.29 c #Conflicts: 1372000 | #Constraints: 25835
1566.32/1729.29 c #Conflicts: 1373000 | #Constraints: 26838
1566.32/1729.29 c #Conflicts: 1374000 | #Constraints: 27841
1566.32/1729.29 c #Conflicts: 1375000 | #Constraints: 28853
1566.32/1729.29 c #Conflicts: 1376000 | #Constraints: 29861
1566.32/1729.29 c #Conflicts: 1377000 | #Constraints: 30864
1566.32/1729.29 c #Conflicts: 1378000 | #Constraints: 31871
1566.32/1729.29 c #Conflicts: 1379000 | #Constraints: 32876
1566.32/1729.29 c #Conflicts: 1380000 | #Constraints: 33880
1566.32/1729.29 c #Conflicts: 1381000 | #Constraints: 34893
1566.32/1729.29 c #Conflicts: 1382000 | #Constraints: 35905
1566.32/1729.29 c #Conflicts: 1383000 | #Constraints: 36920
1566.32/1729.29 c #Conflicts: 1384000 | #Constraints: 37934
1566.32/1729.29 c #Conflicts: 1385000 | #Constraints: 38950
1566.32/1729.29 c #Conflicts: 1386000 | #Constraints: 39957
1566.32/1729.29 c #Conflicts: 1387000 | #Constraints: 40969
1566.32/1729.29 c #Conflicts: 1388000 | #Constraints: 41979
1566.32/1729.29 c #Conflicts: 1389000 | #Constraints: 42987
1566.32/1729.29 c #Conflicts: 1390000 | #Constraints: 43994
1566.32/1729.29 c #Conflicts: 1391000 | #Constraints: 44999
1566.32/1729.29 c #Conflicts: 1392000 | #Constraints: 46007
1566.32/1729.29 c #Conflicts: 1393000 | #Constraints: 47013
1566.32/1729.29 c #Conflicts: 1394000 | #Constraints: 48027
1566.32/1729.29 c #Conflicts: 1395000 | #Constraints: 49035
1566.32/1729.29 c INPROCESSING
1566.32/1729.29 c GARBAGE COLLECT
1566.32/1729.29 c rational objective -31
1597.66/1767.19 c #Conflicts: 1396000 | #Constraints: 26386
1597.66/1767.19 c #Conflicts: 1397000 | #Constraints: 27399
1597.66/1767.19 c #Conflicts: 1398000 | #Constraints: 28407
1597.66/1767.19 c #Conflicts: 1399000 | #Constraints: 29436
1597.66/1767.19 c #Conflicts: 1400000 | #Constraints: 30455
1597.66/1767.19 c #Conflicts: 1401000 | #Constraints: 31468
1597.66/1767.19 c #Conflicts: 1402000 | #Constraints: 32491
1597.66/1767.19 c #Conflicts: 1403000 | #Constraints: 33504
1597.66/1767.19 c #Conflicts: 1404000 | #Constraints: 34527
1597.66/1767.19 c #Conflicts: 1405000 | #Constraints: 35563
1597.66/1767.19 c #Conflicts: 1406000 | #Constraints: 36588
1597.66/1767.19 c #Conflicts: 1407000 | #Constraints: 37600
1597.66/1767.19 c #Conflicts: 1408000 | #Constraints: 38607
1597.66/1767.19 c #Conflicts: 1409000 | #Constraints: 39616
1597.66/1767.19 c #Conflicts: 1410000 | #Constraints: 40617
1597.66/1767.19 c #Conflicts: 1411000 | #Constraints: 41617
1597.66/1767.19 c #Conflicts: 1412000 | #Constraints: 42618
1597.66/1767.19 c #Conflicts: 1413000 | #Constraints: 43634
1597.66/1767.19 c #Conflicts: 1414000 | #Constraints: 44646
1597.66/1767.19 c #Conflicts: 1415000 | #Constraints: 45658
1597.66/1767.19 c #Conflicts: 1416000 | #Constraints: 46671
1597.66/1767.19 c #Conflicts: 1417000 | #Constraints: 47681
1597.66/1767.19 c #Conflicts: 1418000 | #Constraints: 48704
1597.66/1767.19 c #Conflicts: 1419000 | #Constraints: 49739
1597.66/1767.19 c INPROCESSING
1597.66/1767.19 c GARBAGE COLLECT
1597.66/1767.19 c rational objective -31
1635.70/1813.07 c #Conflicts: 1420000 | #Constraints: 26854
1635.70/1813.07 c #Conflicts: 1421000 | #Constraints: 27856
1635.70/1813.07 c #Conflicts: 1422000 | #Constraints: 28859
1635.70/1813.07 c #Conflicts: 1423000 | #Constraints: 29866
1635.70/1813.07 c #Conflicts: 1424000 | #Constraints: 30869
1635.70/1813.07 c #Conflicts: 1425000 | #Constraints: 31879
1635.70/1813.07 c #Conflicts: 1426000 | #Constraints: 32884
1635.70/1813.07 c #Conflicts: 1427000 | #Constraints: 33900
1635.70/1813.07 c #Conflicts: 1428000 | #Constraints: 34909
1635.70/1813.07 c #Conflicts: 1429000 | #Constraints: 35917
1635.70/1813.07 c #Conflicts: 1430000 | #Constraints: 36929
1635.70/1813.07 c #Conflicts: 1431000 | #Constraints: 37939
1635.70/1813.07 c #Conflicts: 1432000 | #Constraints: 38948
1635.70/1813.07 c #Conflicts: 1433000 | #Constraints: 39956
1635.70/1813.07 c #Conflicts: 1434000 | #Constraints: 40964
1635.70/1813.07 c #Conflicts: 1435000 | #Constraints: 41975
1635.70/1813.07 c #Conflicts: 1436000 | #Constraints: 42989
1635.70/1813.07 c #Conflicts: 1437000 | #Constraints: 44003
1635.70/1813.07 c #Conflicts: 1438000 | #Constraints: 45018
1635.70/1813.07 c #Conflicts: 1439000 | #Constraints: 46027
1635.70/1813.07 c #Conflicts: 1440000 | #Constraints: 47041
1635.70/1813.07 c #Conflicts: 1441000 | #Constraints: 48051
1635.70/1813.07 c #Conflicts: 1442000 | #Constraints: 49061
1635.70/1813.07 c #Conflicts: 1443000 | #Constraints: 50071
1635.70/1813.07 c INPROCESSING
1635.70/1813.07 c GARBAGE COLLECT
1635.70/1813.07 c rational objective -31
1681.73/1859.27 c #Conflicts: 1444000 | #Constraints: 26987
1681.73/1859.27 c #Conflicts: 1445000 | #Constraints: 27997
1681.73/1859.27 c #Conflicts: 1446000 | #Constraints: 29004
1681.73/1859.27 c #Conflicts: 1447000 | #Constraints: 30008
1681.73/1859.27 c #Conflicts: 1448000 | #Constraints: 31043
1681.73/1859.27 c #Conflicts: 1449000 | #Constraints: 32068
1681.73/1859.27 c #Conflicts: 1450000 | #Constraints: 33081
1681.73/1859.27 c #Conflicts: 1451000 | #Constraints: 34091
1681.73/1859.27 c #Conflicts: 1452000 | #Constraints: 35103
1681.73/1859.27 c #Conflicts: 1453000 | #Constraints: 36126
1681.73/1859.27 c #Conflicts: 1454000 | #Constraints: 37138
1681.73/1859.27 c #Conflicts: 1455000 | #Constraints: 38138
1681.73/1859.27 c #Conflicts: 1456000 | #Constraints: 39138
1681.73/1859.27 c #Conflicts: 1457000 | #Constraints: 40138
1681.73/1859.27 c #Conflicts: 1458000 | #Constraints: 41149
1681.73/1859.27 c #Conflicts: 1459000 | #Constraints: 42165
1681.73/1859.27 c #Conflicts: 1460000 | #Constraints: 43167
1681.73/1859.27 c #Conflicts: 1461000 | #Constraints: 44176
1681.73/1859.27 c #Conflicts: 1462000 | #Constraints: 45184
1681.73/1859.27 c #Conflicts: 1463000 | #Constraints: 46201
1681.73/1859.27 c #Conflicts: 1464000 | #Constraints: 47207
1681.73/1859.27 c #Conflicts: 1465000 | #Constraints: 48216
1681.73/1859.27 c #Conflicts: 1466000 | #Constraints: 49234
1681.73/1859.27 c #Conflicts: 1467000 | #Constraints: 50247
1681.73/1859.27 c INPROCESSING
1681.73/1859.27 c GARBAGE COLLECT
1681.73/1859.27 c rational objective -31
1718.57/1896.22 c #Conflicts: 1468000 | #Constraints: 26997
1718.57/1896.22 c #Conflicts: 1469000 | #Constraints: 28007
1718.57/1896.22 c #Conflicts: 1470000 | #Constraints: 29019
1718.57/1896.22 c #Conflicts: 1471000 | #Constraints: 30034
1718.57/1896.22 c #Conflicts: 1472000 | #Constraints: 31049
1718.57/1896.22 c #Conflicts: 1473000 | #Constraints: 32057
1718.57/1896.22 c #Conflicts: 1474000 | #Constraints: 33063
1718.57/1896.22 c #Conflicts: 1475000 | #Constraints: 34067
1718.57/1896.22 c #Conflicts: 1476000 | #Constraints: 35080
1718.57/1896.22 c #Conflicts: 1477000 | #Constraints: 36097
1718.57/1896.22 c #Conflicts: 1478000 | #Constraints: 37116
1718.57/1896.22 c #Conflicts: 1479000 | #Constraints: 38137
1718.57/1896.22 c #Conflicts: 1480000 | #Constraints: 39147
1718.57/1896.22 c #Conflicts: 1481000 | #Constraints: 40157
1718.57/1896.22 c #Conflicts: 1482000 | #Constraints: 41166
1718.57/1896.22 c #Conflicts: 1483000 | #Constraints: 42184
1718.57/1896.22 c #Conflicts: 1484000 | #Constraints: 43198
1718.57/1896.22 c #Conflicts: 1485000 | #Constraints: 44213
1718.57/1896.22 c #Conflicts: 1486000 | #Constraints: 45227
1718.57/1896.22 c #Conflicts: 1487000 | #Constraints: 46248
1718.57/1896.22 c #Conflicts: 1488000 | #Constraints: 47258
1718.57/1896.22 c #Conflicts: 1489000 | #Constraints: 48270
1718.57/1896.22 c #Conflicts: 1490000 | #Constraints: 49285
1718.57/1896.22 c #Conflicts: 1491000 | #Constraints: 50300
1718.57/1896.22 c INPROCESSING
1718.57/1896.22 c GARBAGE COLLECT
1718.57/1896.22 c rational objective -31
1754.42/1932.29 c #Conflicts: 1492000 | #Constraints: 26820
1754.42/1932.29 c #Conflicts: 1493000 | #Constraints: 27828
1754.42/1932.29 c #Conflicts: 1494000 | #Constraints: 28830
1754.42/1932.29 c #Conflicts: 1495000 | #Constraints: 29834
1754.42/1932.29 c #Conflicts: 1496000 | #Constraints: 30842
1754.42/1932.29 c #Conflicts: 1497000 | #Constraints: 31851
1754.42/1932.29 c #Conflicts: 1498000 | #Constraints: 32864
1754.42/1932.29 c #Conflicts: 1499000 | #Constraints: 33869
1754.42/1932.29 c #Conflicts: 1500000 | #Constraints: 34873
1754.42/1932.29 c #Conflicts: 1501000 | #Constraints: 35886
1754.42/1932.29 c #Conflicts: 1502000 | #Constraints: 36900
1754.42/1932.29 c #Conflicts: 1503000 | #Constraints: 37910
1754.42/1932.29 c #Conflicts: 1504000 | #Constraints: 38911
1754.42/1932.29 c #Conflicts: 1505000 | #Constraints: 39922
1754.42/1932.29 c #Conflicts: 1506000 | #Constraints: 40948
1754.42/1932.29 c #Conflicts: 1507000 | #Constraints: 41963
1754.42/1932.29 c #Conflicts: 1508000 | #Constraints: 42991
1754.42/1932.29 c #Conflicts: 1509000 | #Constraints: 44016
1754.42/1932.29 c #Conflicts: 1510000 | #Constraints: 45037
1754.42/1932.29 c #Conflicts: 1511000 | #Constraints: 46052
1754.42/1932.29 c #Conflicts: 1512000 | #Constraints: 47069
1754.42/1932.29 c #Conflicts: 1513000 | #Constraints: 48083
1754.42/1932.29 c #Conflicts: 1514000 | #Constraints: 49099
1754.42/1932.29 c #Conflicts: 1515000 | #Constraints: 50110
1754.42/1932.29 c #Conflicts: 1516000 | #Constraints: 51117
1754.42/1932.29 c INPROCESSING
1754.42/1932.29 c GARBAGE COLLECT
1754.42/1932.29 c rational objective -31
1783.17/1967.86 c #Conflicts: 1517000 | #Constraints: 27441
1783.17/1967.86 c #Conflicts: 1518000 | #Constraints: 28453
1783.17/1967.86 c #Conflicts: 1519000 | #Constraints: 29457
1783.17/1967.86 c #Conflicts: 1520000 | #Constraints: 30472
1783.17/1967.86 c #Conflicts: 1521000 | #Constraints: 31496
1783.17/1967.86 c #Conflicts: 1522000 | #Constraints: 32557
1783.17/1967.86 c #Conflicts: 1523000 | #Constraints: 33867
1783.17/1967.86 c #Conflicts: 1524000 | #Constraints: 35246
1783.17/1967.86 c #Conflicts: 1525000 | #Constraints: 36247
1783.17/1967.86 c #Conflicts: 1526000 | #Constraints: 37444
1783.17/1967.86 c #Conflicts: 1527000 | #Constraints: 38563
1783.17/1967.86 c #Conflicts: 1528000 | #Constraints: 39763
1783.17/1967.86 c #Conflicts: 1529000 | #Constraints: 41048
1783.17/1967.86 c #Conflicts: 1530000 | #Constraints: 42286
1783.17/1967.86 c #Conflicts: 1531000 | #Constraints: 43651
1783.17/1967.86 c #Conflicts: 1532000 | #Constraints: 45037
1783.17/1967.86 c #Conflicts: 1533000 | #Constraints: 46513
1783.17/1967.86 c #Conflicts: 1534000 | #Constraints: 48021
1783.17/1967.86 c #Conflicts: 1535000 | #Constraints: 49496
1783.17/1967.86 c #Conflicts: 1536000 | #Constraints: 50838
1783.17/1967.86 c #Conflicts: 1537000 | #Constraints: 52227
1783.17/1967.86 c #Conflicts: 1538000 | #Constraints: 53590
1783.17/1967.86 c #Conflicts: 1539000 | #Constraints: 54927
1783.17/1967.86 c #Conflicts: 1540000 | #Constraints: 56207
1783.17/1967.86 c #Conflicts: 1541000 | #Constraints: 57295
1783.17/1967.86 c INPROCESSING
1783.17/1967.86 c GARBAGE COLLECT
1783.17/1967.86 c rational objective -31
1831.77/2026.22 c #Conflicts: 1542000 | #Constraints: 30618
1831.77/2026.22 c #Conflicts: 1543000 | #Constraints: 31632
1831.77/2026.22 c #Conflicts: 1544000 | #Constraints: 32641
1831.77/2026.22 c #Conflicts: 1545000 | #Constraints: 33642
1831.77/2026.22 c #Conflicts: 1546000 | #Constraints: 34645
1831.77/2026.22 c #Conflicts: 1547000 | #Constraints: 35648
1831.77/2026.22 c #Conflicts: 1548000 | #Constraints: 36648
1831.77/2026.22 c #Conflicts: 1549000 | #Constraints: 37652
1831.77/2026.22 c #Conflicts: 1550000 | #Constraints: 38665
1831.77/2026.22 c #Conflicts: 1551000 | #Constraints: 39680
1831.77/2026.22 c #Conflicts: 1552000 | #Constraints: 40686
1831.77/2026.22 c #Conflicts: 1553000 | #Constraints: 41690
1831.77/2026.22 c #Conflicts: 1554000 | #Constraints: 42693
1831.77/2026.22 c #Conflicts: 1555000 | #Constraints: 43711
1831.77/2026.22 c #Conflicts: 1556000 | #Constraints: 44731
1831.77/2026.22 c #Conflicts: 1557000 | #Constraints: 45840
1831.77/2026.22 c #Conflicts: 1558000 | #Constraints: 46862
1831.77/2026.22 c #Conflicts: 1559000 | #Constraints: 47872
1831.77/2026.22 c #Conflicts: 1560000 | #Constraints: 48877
1831.77/2026.22 c #Conflicts: 1561000 | #Constraints: 49881
1831.77/2026.22 c #Conflicts: 1562000 | #Constraints: 50883
1831.77/2026.22 c #Conflicts: 1563000 | #Constraints: 51916
1831.77/2026.22 c #Conflicts: 1564000 | #Constraints: 52932
1831.77/2026.22 c #Conflicts: 1565000 | #Constraints: 53959
1831.77/2026.22 c #Conflicts: 1566000 | #Constraints: 54983
1831.77/2026.22 c INPROCESSING
1831.77/2026.22 c GARBAGE COLLECT
1831.77/2026.22 c rational objective -31
1865.19/2059.86 c #Conflicts: 1567000 | #Constraints: 29451
1865.19/2059.86 c #Conflicts: 1568000 | #Constraints: 30456
1865.19/2059.86 c #Conflicts: 1569000 | #Constraints: 31473
1865.19/2059.86 c #Conflicts: 1570000 | #Constraints: 32486
1865.19/2059.86 c #Conflicts: 1571000 | #Constraints: 33500
1865.19/2059.86 c #Conflicts: 1572000 | #Constraints: 34502
1865.19/2059.86 c #Conflicts: 1573000 | #Constraints: 35519
1865.19/2059.86 c #Conflicts: 1574000 | #Constraints: 36532
1865.19/2059.86 c #Conflicts: 1575000 | #Constraints: 37545
1865.19/2059.86 c #Conflicts: 1576000 | #Constraints: 38557
1865.19/2059.86 c #Conflicts: 1577000 | #Constraints: 39575
1865.19/2059.86 c #Conflicts: 1578000 | #Constraints: 40589
1865.19/2059.86 c #Conflicts: 1579000 | #Constraints: 41597
1865.19/2059.86 c #Conflicts: 1580000 | #Constraints: 42601
1865.19/2059.86 c #Conflicts: 1581000 | #Constraints: 43612
1865.19/2059.86 c #Conflicts: 1582000 | #Constraints: 44627
1865.19/2059.86 c #Conflicts: 1583000 | #Constraints: 45635
1865.19/2059.86 c #Conflicts: 1584000 | #Constraints: 46647
1865.19/2059.86 c #Conflicts: 1585000 | #Constraints: 47658
1865.19/2059.86 c #Conflicts: 1586000 | #Constraints: 48670
1865.19/2059.86 c #Conflicts: 1587000 | #Constraints: 49675
1865.19/2059.86 c #Conflicts: 1588000 | #Constraints: 50684
1865.19/2059.86 c #Conflicts: 1589000 | #Constraints: 51694
1865.19/2059.86 c #Conflicts: 1590000 | #Constraints: 52697
1865.19/2059.86 c #Conflicts: 1591000 | #Constraints: 53700
1865.19/2059.86 c INPROCESSING
1865.19/2059.86 c GARBAGE COLLECT
1865.19/2059.86 c rational objective -31
1991.80/2189.31 c #Conflicts: 1592000 | #Constraints: 28710
1991.80/2189.31 c #Conflicts: 1593000 | #Constraints: 29733
1991.80/2189.31 c #Conflicts: 1594000 | #Constraints: 30748
1991.80/2189.31 c #Conflicts: 1595000 | #Constraints: 31752
1991.80/2189.31 c #Conflicts: 1596000 | #Constraints: 32765
1991.80/2189.31 c #Conflicts: 1597000 | #Constraints: 33772
1991.80/2189.31 c #Conflicts: 1598000 | #Constraints: 34788
1991.80/2189.31 c #Conflicts: 1599000 | #Constraints: 35803
1991.80/2189.31 c #Conflicts: 1600000 | #Constraints: 36827
1991.80/2189.31 c #Conflicts: 1601000 | #Constraints: 37844
1991.80/2189.31 c #Conflicts: 1602000 | #Constraints: 38875
1991.80/2189.31 c #Conflicts: 1603000 | #Constraints: 39917
1991.80/2189.31 c #Conflicts: 1604000 | #Constraints: 40935
1991.80/2189.31 c #Conflicts: 1605000 | #Constraints: 41960
1991.80/2189.31 c #Conflicts: 1606000 | #Constraints: 42984
1991.80/2189.31 c #Conflicts: 1607000 | #Constraints: 43989
1991.80/2189.31 c #Conflicts: 1608000 | #Constraints: 44998
1991.80/2189.31 c #Conflicts: 1609000 | #Constraints: 46010
1991.80/2189.31 c #Conflicts: 1610000 | #Constraints: 47028
1991.80/2189.31 c #Conflicts: 1611000 | #Constraints: 48036
1991.80/2189.31 c #Conflicts: 1612000 | #Constraints: 49049
1991.80/2189.31 c #Conflicts: 1613000 | #Constraints: 50058
1991.80/2189.31 c #Conflicts: 1614000 | #Constraints: 51065
1991.80/2189.31 c #Conflicts: 1615000 | #Constraints: 52074
1991.80/2189.31 c #Conflicts: 1616000 | #Constraints: 53074
1991.80/2189.31 c INPROCESSING
1991.80/2189.31 c GARBAGE COLLECT
1991.80/2189.31 c rational objective -31
2027.96/2226.07 c #Conflicts: 1617000 | #Constraints: 28251
2027.96/2226.07 c #Conflicts: 1618000 | #Constraints: 29256
2027.96/2226.07 c #Conflicts: 1619000 | #Constraints: 30272
2027.96/2226.07 c #Conflicts: 1620000 | #Constraints: 31289
2027.96/2226.07 c #Conflicts: 1621000 | #Constraints: 32302
2027.96/2226.07 c #Conflicts: 1622000 | #Constraints: 33311
2027.96/2226.07 c #Conflicts: 1623000 | #Constraints: 34327
2027.96/2226.07 c #Conflicts: 1624000 | #Constraints: 35338
2027.96/2226.07 c #Conflicts: 1625000 | #Constraints: 36351
2027.96/2226.07 c #Conflicts: 1626000 | #Constraints: 37360
2027.96/2226.07 c #Conflicts: 1627000 | #Constraints: 38369
2027.96/2226.07 c #Conflicts: 1628000 | #Constraints: 39379
2027.96/2226.07 c #Conflicts: 1629000 | #Constraints: 40388
2027.96/2226.07 c #Conflicts: 1630000 | #Constraints: 41398
2027.96/2226.07 c #Conflicts: 1631000 | #Constraints: 42415
2027.96/2226.07 c #Conflicts: 1632000 | #Constraints: 43423
2027.96/2226.07 c #Conflicts: 1633000 | #Constraints: 44431
2027.96/2226.07 c #Conflicts: 1634000 | #Constraints: 45443
2027.96/2226.07 c #Conflicts: 1635000 | #Constraints: 46451
2027.96/2226.07 c #Conflicts: 1636000 | #Constraints: 47462
2027.96/2226.07 c #Conflicts: 1637000 | #Constraints: 48469
2027.96/2226.07 c #Conflicts: 1638000 | #Constraints: 49476
2027.96/2226.07 c #Conflicts: 1639000 | #Constraints: 50484
2027.96/2226.07 c #Conflicts: 1640000 | #Constraints: 51494
2027.96/2226.07 c #Conflicts: 1641000 | #Constraints: 52506
2027.96/2226.07 c #Conflicts: 1642000 | #Constraints: 53513
2027.96/2226.07 c INPROCESSING
2027.96/2226.07 c GARBAGE COLLECT
2027.96/2226.07 c rational objective -31
2052.52/2250.73 c #Conflicts: 1643000 | #Constraints: 28658
2052.52/2250.73 c #Conflicts: 1644000 | #Constraints: 29663
2052.52/2250.73 c #Conflicts: 1645000 | #Constraints: 30671
2052.52/2250.73 c #Conflicts: 1646000 | #Constraints: 31682
2052.52/2250.73 c #Conflicts: 1647000 | #Constraints: 32692
2052.52/2250.73 c #Conflicts: 1648000 | #Constraints: 33697
2052.52/2250.73 c #Conflicts: 1649000 | #Constraints: 34700
2052.52/2250.73 c #Conflicts: 1650000 | #Constraints: 35717
2052.52/2250.73 c #Conflicts: 1651000 | #Constraints: 36724
2052.52/2250.73 c #Conflicts: 1652000 | #Constraints: 37726
2052.52/2250.73 c #Conflicts: 1653000 | #Constraints: 38731
2052.52/2250.73 c #Conflicts: 1654000 | #Constraints: 39736
2052.52/2250.73 c #Conflicts: 1655000 | #Constraints: 40746
2052.52/2250.73 c #Conflicts: 1656000 | #Constraints: 41759
2052.52/2250.73 c #Conflicts: 1657000 | #Constraints: 42770
2052.52/2250.73 c #Conflicts: 1658000 | #Constraints: 43778
2052.52/2250.73 c #Conflicts: 1659000 | #Constraints: 44790
2052.52/2250.73 c #Conflicts: 1660000 | #Constraints: 45798
2052.52/2250.73 c #Conflicts: 1661000 | #Constraints: 46808
2052.52/2250.73 c #Conflicts: 1662000 | #Constraints: 47823
2052.52/2250.73 c #Conflicts: 1663000 | #Constraints: 48835
2052.52/2250.73 c #Conflicts: 1664000 | #Constraints: 49840
2052.52/2250.73 c #Conflicts: 1665000 | #Constraints: 50854
2052.52/2250.73 c #Conflicts: 1666000 | #Constraints: 51869
2052.52/2250.73 c #Conflicts: 1667000 | #Constraints: 52878
2052.52/2250.73 c #Conflicts: 1668000 | #Constraints: 53893
2052.52/2250.73 c INPROCESSING
2052.52/2250.73 c GARBAGE COLLECT
2052.52/2250.73 c rational objective -31
2103.91/2302.31 c #Conflicts: 1669000 | #Constraints: 28930
2103.91/2302.31 c #Conflicts: 1670000 | #Constraints: 29941
2103.91/2302.31 c #Conflicts: 1671000 | #Constraints: 30944
2103.91/2302.31 c #Conflicts: 1672000 | #Constraints: 31952
2103.91/2302.31 c #Conflicts: 1673000 | #Constraints: 32957
2103.91/2302.31 c #Conflicts: 1674000 | #Constraints: 33966
2103.91/2302.31 c #Conflicts: 1675000 | #Constraints: 34971
2103.91/2302.31 c #Conflicts: 1676000 | #Constraints: 35972
2103.91/2302.31 c #Conflicts: 1677000 | #Constraints: 36974
2103.91/2302.31 c #Conflicts: 1678000 | #Constraints: 37988
2103.91/2302.31 c #Conflicts: 1679000 | #Constraints: 38998
2103.91/2302.31 c #Conflicts: 1680000 | #Constraints: 40004
2103.91/2302.31 c #Conflicts: 1681000 | #Constraints: 41018
2103.91/2302.31 c #Conflicts: 1682000 | #Constraints: 42026
2103.91/2302.31 c #Conflicts: 1683000 | #Constraints: 43034
2103.91/2302.31 c #Conflicts: 1684000 | #Constraints: 44038
2103.91/2302.31 c #Conflicts: 1685000 | #Constraints: 45048
2103.91/2302.31 c #Conflicts: 1686000 | #Constraints: 46065
2103.91/2302.31 c #Conflicts: 1687000 | #Constraints: 47081
2103.91/2302.31 c #Conflicts: 1688000 | #Constraints: 48098
2103.91/2302.31 c #Conflicts: 1689000 | #Constraints: 49117
2103.91/2302.31 c #Conflicts: 1690000 | #Constraints: 50135
2103.91/2302.31 c #Conflicts: 1691000 | #Constraints: 51150
2103.91/2302.31 c #Conflicts: 1692000 | #Constraints: 52162
2103.91/2302.31 c #Conflicts: 1693000 | #Constraints: 53168
2103.91/2302.31 c #Conflicts: 1694000 | #Constraints: 54174
2103.91/2302.31 c INPROCESSING
2103.91/2302.31 c GARBAGE COLLECT
2103.91/2302.31 c rational objective -31
2135.57/2344.08 c #Conflicts: 1695000 | #Constraints: 29046
2135.57/2344.08 c #Conflicts: 1696000 | #Constraints: 30051
2135.57/2344.08 c #Conflicts: 1697000 | #Constraints: 31071
2135.57/2344.08 c #Conflicts: 1698000 | #Constraints: 32085
2135.57/2344.08 c #Conflicts: 1699000 | #Constraints: 33097
2135.57/2344.08 c #Conflicts: 1700000 | #Constraints: 34108
2135.57/2344.08 c #Conflicts: 1701000 | #Constraints: 35127
2135.57/2344.08 c #Conflicts: 1702000 | #Constraints: 36132
2135.57/2344.08 c #Conflicts: 1703000 | #Constraints: 37150
2135.57/2344.08 c #Conflicts: 1704000 | #Constraints: 38168
2135.57/2344.08 c #Conflicts: 1705000 | #Constraints: 39184
2135.57/2344.08 c #Conflicts: 1706000 | #Constraints: 40189
2135.57/2344.08 c #Conflicts: 1707000 | #Constraints: 41205
2135.57/2344.08 c #Conflicts: 1708000 | #Constraints: 42210
2135.57/2344.08 c #Conflicts: 1709000 | #Constraints: 43232
2135.57/2344.08 c #Conflicts: 1710000 | #Constraints: 44245
2135.57/2344.08 c #Conflicts: 1711000 | #Constraints: 45268
2135.57/2344.08 c #Conflicts: 1712000 | #Constraints: 46285
2135.57/2344.08 c #Conflicts: 1713000 | #Constraints: 47323
2135.57/2344.08 c #Conflicts: 1714000 | #Constraints: 48358
2135.57/2344.08 c #Conflicts: 1715000 | #Constraints: 49380
2135.57/2344.08 c #Conflicts: 1716000 | #Constraints: 50396
2135.57/2344.08 c #Conflicts: 1717000 | #Constraints: 51414
2135.57/2344.08 c #Conflicts: 1718000 | #Constraints: 52426
2135.57/2344.08 c #Conflicts: 1719000 | #Constraints: 53439
2135.57/2344.08 c #Conflicts: 1720000 | #Constraints: 54454
2135.57/2344.08 c INPROCESSING
2135.57/2344.08 c GARBAGE COLLECT
2135.57/2344.08 c rational objective -31
2171.71/2380.30 c #Conflicts: 1721000 | #Constraints: 29106
2171.71/2380.30 c #Conflicts: 1722000 | #Constraints: 30122
2171.71/2380.30 c #Conflicts: 1723000 | #Constraints: 31162
2171.71/2380.30 c #Conflicts: 1724000 | #Constraints: 32172
2171.71/2380.30 c #Conflicts: 1725000 | #Constraints: 33183
2171.71/2380.30 c #Conflicts: 1726000 | #Constraints: 34235
2171.71/2380.30 c #Conflicts: 1727000 | #Constraints: 35246
2171.71/2380.30 c #Conflicts: 1728000 | #Constraints: 36261
2171.71/2380.30 c #Conflicts: 1729000 | #Constraints: 37271
2171.71/2380.30 c #Conflicts: 1730000 | #Constraints: 38288
2171.71/2380.30 c #Conflicts: 1731000 | #Constraints: 39301
2171.71/2380.30 c #Conflicts: 1732000 | #Constraints: 40317
2171.71/2380.30 c #Conflicts: 1733000 | #Constraints: 41328
2171.71/2380.30 c #Conflicts: 1734000 | #Constraints: 42338
2171.71/2380.30 c #Conflicts: 1735000 | #Constraints: 43348
2171.71/2380.30 c #Conflicts: 1736000 | #Constraints: 44362
2171.71/2380.30 c #Conflicts: 1737000 | #Constraints: 45366
2171.71/2380.30 c #Conflicts: 1738000 | #Constraints: 46379
2171.71/2380.30 c #Conflicts: 1739000 | #Constraints: 47384
2171.71/2380.30 c #Conflicts: 1740000 | #Constraints: 48384
2171.71/2380.30 c #Conflicts: 1741000 | #Constraints: 49395
2171.71/2380.30 c #Conflicts: 1742000 | #Constraints: 50496
2171.71/2380.30 c #Conflicts: 1743000 | #Constraints: 51543
2171.71/2380.30 c #Conflicts: 1744000 | #Constraints: 52921
2171.71/2380.30 c #Conflicts: 1745000 | #Constraints: 53946
2171.71/2380.30 c #Conflicts: 1746000 | #Constraints: 54951
2171.71/2380.30 c INPROCESSING
2171.71/2380.30 c GARBAGE COLLECT
2171.71/2380.30 c rational objective -31
2211.25/2420.08 c #Conflicts: 1747000 | #Constraints: 29199
2211.25/2420.08 c #Conflicts: 1748000 | #Constraints: 30200
2211.25/2420.08 c #Conflicts: 1749000 | #Constraints: 31206
2211.25/2420.08 c #Conflicts: 1750000 | #Constraints: 32214
2211.25/2420.08 c #Conflicts: 1751000 | #Constraints: 33234
2211.25/2420.08 c #Conflicts: 1752000 | #Constraints: 34247
2211.25/2420.08 c #Conflicts: 1753000 | #Constraints: 35261
2211.25/2420.08 c #Conflicts: 1754000 | #Constraints: 36272
2211.25/2420.08 c #Conflicts: 1755000 | #Constraints: 37278
2211.25/2420.08 c #Conflicts: 1756000 | #Constraints: 38281
2211.25/2420.08 c #Conflicts: 1757000 | #Constraints: 39288
2211.25/2420.08 c #Conflicts: 1758000 | #Constraints: 40295
2211.25/2420.08 c #Conflicts: 1759000 | #Constraints: 41297
2211.25/2420.08 c #Conflicts: 1760000 | #Constraints: 42304
2211.25/2420.08 c #Conflicts: 1761000 | #Constraints: 43319
2211.25/2420.08 c #Conflicts: 1762000 | #Constraints: 44344
2211.25/2420.08 c #Conflicts: 1763000 | #Constraints: 45347
2211.25/2420.08 c #Conflicts: 1764000 | #Constraints: 46351
2211.25/2420.08 c #Conflicts: 1765000 | #Constraints: 47355
2211.25/2420.08 c #Conflicts: 1766000 | #Constraints: 48359
2211.25/2420.08 c #Conflicts: 1767000 | #Constraints: 49368
2211.25/2420.08 c #Conflicts: 1768000 | #Constraints: 50373
2211.25/2420.08 c #Conflicts: 1769000 | #Constraints: 51381
2211.25/2420.08 c #Conflicts: 1770000 | #Constraints: 52393
2211.25/2420.08 c #Conflicts: 1771000 | #Constraints: 53399
2211.25/2420.08 c #Conflicts: 1772000 | #Constraints: 54414
2211.25/2420.08 c #Conflicts: 1773000 | #Constraints: 55429
2211.25/2420.08 c INPROCESSING
2211.25/2420.08 c GARBAGE COLLECT
2211.25/2420.08 c rational objective -31
2258.22/2467.19 c #Conflicts: 1774000 | #Constraints: 29584
2258.22/2467.19 c #Conflicts: 1775000 | #Constraints: 30591
2258.22/2467.19 c #Conflicts: 1776000 | #Constraints: 31605
2258.22/2467.19 c #Conflicts: 1777000 | #Constraints: 32610
2258.22/2467.19 c #Conflicts: 1778000 | #Constraints: 33637
2258.22/2467.19 c #Conflicts: 1779000 | #Constraints: 34856
2258.22/2467.19 c #Conflicts: 1780000 | #Constraints: 36115
2258.22/2467.19 c #Conflicts: 1781000 | #Constraints: 37291
2258.22/2467.19 c #Conflicts: 1782000 | #Constraints: 38312
2258.22/2467.19 c #Conflicts: 1783000 | #Constraints: 39328
2258.22/2467.19 c #Conflicts: 1784000 | #Constraints: 40347
2258.22/2467.19 c #Conflicts: 1785000 | #Constraints: 41368
2258.22/2467.19 c #Conflicts: 1786000 | #Constraints: 42385
2258.22/2467.19 c #Conflicts: 1787000 | #Constraints: 43398
2258.22/2467.19 c #Conflicts: 1788000 | #Constraints: 44411
2258.22/2467.19 c #Conflicts: 1789000 | #Constraints: 45426
2258.22/2467.19 c #Conflicts: 1790000 | #Constraints: 46444
2258.22/2467.19 c #Conflicts: 1791000 | #Constraints: 47459
2258.22/2467.19 c #Conflicts: 1792000 | #Constraints: 48478
2258.22/2467.19 c #Conflicts: 1793000 | #Constraints: 49508
2258.22/2467.19 c #Conflicts: 1794000 | #Constraints: 50514
2258.22/2467.19 c #Conflicts: 1795000 | #Constraints: 51523
2258.22/2467.19 c #Conflicts: 1796000 | #Constraints: 52526
2258.22/2467.19 c #Conflicts: 1797000 | #Constraints: 53532
2258.22/2467.19 c #Conflicts: 1798000 | #Constraints: 54532
2258.22/2467.19 c #Conflicts: 1799000 | #Constraints: 55534
2258.22/2467.19 c #Conflicts: 1800000 | #Constraints: 56540
2258.22/2467.19 c INPROCESSING
2258.22/2467.19 c GARBAGE COLLECT
2258.22/2467.19 c rational objective -31
2307.12/2516.29 c #Conflicts: 1801000 | #Constraints: 30243
2307.12/2516.29 c #Conflicts: 1802000 | #Constraints: 31246
2307.12/2516.29 c #Conflicts: 1803000 | #Constraints: 32254
2307.12/2516.29 c #Conflicts: 1804000 | #Constraints: 33259
2307.12/2516.29 c #Conflicts: 1805000 | #Constraints: 34263
2307.12/2516.29 c #Conflicts: 1806000 | #Constraints: 35272
2307.12/2516.29 c #Conflicts: 1807000 | #Constraints: 36300
2307.12/2516.29 c #Conflicts: 1808000 | #Constraints: 37303
2307.12/2516.29 c #Conflicts: 1809000 | #Constraints: 38310
2307.12/2516.29 c #Conflicts: 1810000 | #Constraints: 39316
2307.12/2516.29 c #Conflicts: 1811000 | #Constraints: 40322
2307.12/2516.29 c #Conflicts: 1812000 | #Constraints: 41334
2307.12/2516.29 c #Conflicts: 1813000 | #Constraints: 42355
2307.12/2516.29 c #Conflicts: 1814000 | #Constraints: 43369
2307.12/2516.29 c #Conflicts: 1815000 | #Constraints: 44382
2307.12/2516.29 c #Conflicts: 1816000 | #Constraints: 45399
2307.12/2516.29 c #Conflicts: 1817000 | #Constraints: 46409
2307.12/2516.29 c #Conflicts: 1818000 | #Constraints: 47417
2307.12/2516.29 c #Conflicts: 1819000 | #Constraints: 48427
2307.12/2516.29 c #Conflicts: 1820000 | #Constraints: 49429
2307.12/2516.29 c #Conflicts: 1821000 | #Constraints: 50433
2307.12/2516.29 c #Conflicts: 1822000 | #Constraints: 51436
2307.12/2516.29 c #Conflicts: 1823000 | #Constraints: 52442
2307.12/2516.29 c #Conflicts: 1824000 | #Constraints: 53447
2307.12/2516.29 c #Conflicts: 1825000 | #Constraints: 54466
2307.12/2516.29 c #Conflicts: 1826000 | #Constraints: 55478
2307.12/2516.29 c #Conflicts: 1827000 | #Constraints: 56484
2307.12/2516.29 c INPROCESSING
2307.12/2516.29 c GARBAGE COLLECT
2307.12/2516.29 c rational objective -31
2343.86/2553.14 c #Conflicts: 1828000 | #Constraints: 30219
2343.86/2553.14 c #Conflicts: 1829000 | #Constraints: 31243
2343.86/2553.14 c #Conflicts: 1830000 | #Constraints: 32275
2343.86/2553.14 c #Conflicts: 1831000 | #Constraints: 33280
2343.86/2553.14 c #Conflicts: 1832000 | #Constraints: 34297
2343.86/2553.14 c #Conflicts: 1833000 | #Constraints: 35317
2343.86/2553.14 c #Conflicts: 1834000 | #Constraints: 36331
2343.86/2553.14 c #Conflicts: 1835000 | #Constraints: 37337
2343.86/2553.14 c #Conflicts: 1836000 | #Constraints: 38337
2343.86/2553.14 c #Conflicts: 1837000 | #Constraints: 39337
2343.86/2553.14 c #Conflicts: 1838000 | #Constraints: 40352
2343.86/2553.14 c #Conflicts: 1839000 | #Constraints: 41372
2343.86/2553.14 c #Conflicts: 1840000 | #Constraints: 42382
2343.86/2553.14 c #Conflicts: 1841000 | #Constraints: 43420
2343.86/2553.14 c #Conflicts: 1842000 | #Constraints: 44452
2343.86/2553.14 c #Conflicts: 1843000 | #Constraints: 45462
2343.86/2553.14 c #Conflicts: 1844000 | #Constraints: 46487
2343.86/2553.14 c #Conflicts: 1845000 | #Constraints: 47501
2343.86/2553.14 c #Conflicts: 1846000 | #Constraints: 48505
2343.86/2553.14 c #Conflicts: 1847000 | #Constraints: 49506
2343.86/2553.14 c #Conflicts: 1848000 | #Constraints: 50509
2343.86/2553.14 c #Conflicts: 1849000 | #Constraints: 51510
2343.86/2553.14 c #Conflicts: 1850000 | #Constraints: 52513
2343.86/2553.14 c #Conflicts: 1851000 | #Constraints: 53516
2343.86/2553.14 c #Conflicts: 1852000 | #Constraints: 54532
2343.86/2553.14 c #Conflicts: 1853000 | #Constraints: 55537
2343.86/2553.14 c #Conflicts: 1854000 | #Constraints: 56553
2343.86/2553.14 c INPROCESSING
2343.86/2553.14 c GARBAGE COLLECT
2343.86/2553.14 c rational objective -31
2383.44/2592.96 c #Conflicts: 1855000 | #Constraints: 30168
2383.44/2592.96 c #Conflicts: 1856000 | #Constraints: 31173
2383.44/2592.96 c #Conflicts: 1857000 | #Constraints: 32181
2383.44/2592.96 c #Conflicts: 1858000 | #Constraints: 33190
2383.44/2592.96 c #Conflicts: 1859000 | #Constraints: 34208
2383.44/2592.96 c #Conflicts: 1860000 | #Constraints: 35219
2383.44/2592.96 c #Conflicts: 1861000 | #Constraints: 36225
2383.44/2592.96 c #Conflicts: 1862000 | #Constraints: 37231
2383.44/2592.96 c #Conflicts: 1863000 | #Constraints: 38240
2383.44/2592.96 c #Conflicts: 1864000 | #Constraints: 39247
2383.44/2592.96 c #Conflicts: 1865000 | #Constraints: 40261
2383.44/2592.96 c #Conflicts: 1866000 | #Constraints: 41280
2383.44/2592.96 c #Conflicts: 1867000 | #Constraints: 42291
2383.44/2592.96 c #Conflicts: 1868000 | #Constraints: 43303
2383.44/2592.96 c #Conflicts: 1869000 | #Constraints: 44307
2383.44/2592.96 c #Conflicts: 1870000 | #Constraints: 45312
2383.44/2592.96 c #Conflicts: 1871000 | #Constraints: 46322
2383.44/2592.96 c #Conflicts: 1872000 | #Constraints: 47329
2383.44/2592.96 c #Conflicts: 1873000 | #Constraints: 48336
2383.44/2592.96 c #Conflicts: 1874000 | #Constraints: 49352
2383.44/2592.96 c #Conflicts: 1875000 | #Constraints: 50360
2383.44/2592.96 c #Conflicts: 1876000 | #Constraints: 51366
2383.44/2592.96 c #Conflicts: 1877000 | #Constraints: 52386
2383.44/2592.96 c #Conflicts: 1878000 | #Constraints: 53401
2383.44/2592.96 c #Conflicts: 1879000 | #Constraints: 54412
2383.44/2592.96 c #Conflicts: 1880000 | #Constraints: 55421
2383.44/2592.96 c #Conflicts: 1881000 | #Constraints: 56430
2383.44/2592.96 c INPROCESSING
2383.44/2592.96 c GARBAGE COLLECT
2383.44/2592.96 c rational objective -31
2421.91/2631.63 c #Conflicts: 1882000 | #Constraints: 29910
2421.91/2631.63 c #Conflicts: 1883000 | #Constraints: 30917
2421.91/2631.63 c #Conflicts: 1884000 | #Constraints: 31929
2421.91/2631.63 c #Conflicts: 1885000 | #Constraints: 32946
2421.91/2631.63 c #Conflicts: 1886000 | #Constraints: 33971
2421.91/2631.63 c #Conflicts: 1887000 | #Constraints: 34987
2421.91/2631.63 c #Conflicts: 1888000 | #Constraints: 36001
2421.91/2631.63 c #Conflicts: 1889000 | #Constraints: 37026
2421.91/2631.63 c #Conflicts: 1890000 | #Constraints: 38057
2421.91/2631.63 c #Conflicts: 1891000 | #Constraints: 39077
2421.91/2631.63 c #Conflicts: 1892000 | #Constraints: 40082
2421.91/2631.63 c #Conflicts: 1893000 | #Constraints: 41096
2421.91/2631.63 c #Conflicts: 1894000 | #Constraints: 42102
2421.91/2631.63 c #Conflicts: 1895000 | #Constraints: 43124
2421.91/2631.63 c #Conflicts: 1896000 | #Constraints: 44142
2421.91/2631.63 c #Conflicts: 1897000 | #Constraints: 45155
2421.91/2631.63 c #Conflicts: 1898000 | #Constraints: 46175
2421.91/2631.63 c #Conflicts: 1899000 | #Constraints: 47190
2421.91/2631.63 c #Conflicts: 1900000 | #Constraints: 48196
2421.91/2631.63 c #Conflicts: 1901000 | #Constraints: 49197
2421.91/2631.63 c #Conflicts: 1902000 | #Constraints: 50200
2421.91/2631.63 c #Conflicts: 1903000 | #Constraints: 51219
2421.91/2631.63 c #Conflicts: 1904000 | #Constraints: 52237
2421.91/2631.63 c #Conflicts: 1905000 | #Constraints: 53250
2421.91/2631.63 c #Conflicts: 1906000 | #Constraints: 54264
2421.91/2631.63 c #Conflicts: 1907000 | #Constraints: 55279
2421.91/2631.63 c #Conflicts: 1908000 | #Constraints: 56292
2421.91/2631.63 c #Conflicts: 1909000 | #Constraints: 57305
2421.91/2631.63 c INPROCESSING
2421.91/2631.63 c GARBAGE COLLECT
2421.91/2631.63 c rational objective -31
2462.34/2672.23 c #Conflicts: 1910000 | #Constraints: 30539
2462.34/2672.23 c #Conflicts: 1911000 | #Constraints: 31542
2462.34/2672.23 c #Conflicts: 1912000 | #Constraints: 32549
2462.34/2672.23 c #Conflicts: 1913000 | #Constraints: 33557
2462.34/2672.23 c #Conflicts: 1914000 | #Constraints: 34561
2462.34/2672.23 c #Conflicts: 1915000 | #Constraints: 35565
2462.34/2672.23 c #Conflicts: 1916000 | #Constraints: 36569
2462.34/2672.23 c #Conflicts: 1917000 | #Constraints: 37581
2462.34/2672.23 c #Conflicts: 1918000 | #Constraints: 38589
2462.34/2672.23 c #Conflicts: 1919000 | #Constraints: 39594
2462.34/2672.23 c #Conflicts: 1920000 | #Constraints: 40610
2462.34/2672.23 c #Conflicts: 1921000 | #Constraints: 41621
2462.34/2672.23 c #Conflicts: 1922000 | #Constraints: 42630
2462.34/2672.23 c #Conflicts: 1923000 | #Constraints: 43639
2462.34/2672.23 c #Conflicts: 1924000 | #Constraints: 44648
2462.34/2672.23 c #Conflicts: 1925000 | #Constraints: 45651
2462.34/2672.23 c #Conflicts: 1926000 | #Constraints: 46652
2462.34/2672.23 c #Conflicts: 1927000 | #Constraints: 47653
2462.34/2672.23 c #Conflicts: 1928000 | #Constraints: 48656
2462.34/2672.23 c #Conflicts: 1929000 | #Constraints: 49665
2462.34/2672.23 c #Conflicts: 1930000 | #Constraints: 50668
2462.34/2672.23 c #Conflicts: 1931000 | #Constraints: 51674
2462.34/2672.23 c #Conflicts: 1932000 | #Constraints: 52678
2462.34/2672.23 c #Conflicts: 1933000 | #Constraints: 53683
2462.34/2672.23 c #Conflicts: 1934000 | #Constraints: 54690
2462.34/2672.23 c #Conflicts: 1935000 | #Constraints: 55696
2462.34/2672.23 c #Conflicts: 1936000 | #Constraints: 56717
2462.34/2672.23 c #Conflicts: 1937000 | #Constraints: 57719
2462.34/2672.23 c INPROCESSING
2462.34/2672.23 c GARBAGE COLLECT
2462.34/2672.23 c rational objective -31
2501.54/2711.62 c #Conflicts: 1938000 | #Constraints: 30835
2501.54/2711.62 c #Conflicts: 1939000 | #Constraints: 31848
2501.54/2711.62 c #Conflicts: 1940000 | #Constraints: 32857
2501.54/2711.62 c #Conflicts: 1941000 | #Constraints: 33869
2501.54/2711.62 c #Conflicts: 1942000 | #Constraints: 34879
2501.54/2711.62 c #Conflicts: 1943000 | #Constraints: 35898
2501.54/2711.62 c #Conflicts: 1944000 | #Constraints: 36915
2501.54/2711.62 c #Conflicts: 1945000 | #Constraints: 37917
2501.54/2711.62 c #Conflicts: 1946000 | #Constraints: 38919
2501.54/2711.62 c #Conflicts: 1947000 | #Constraints: 39920
2501.54/2711.62 c #Conflicts: 1948000 | #Constraints: 40928
2501.54/2711.62 c #Conflicts: 1949000 | #Constraints: 41948
2501.54/2711.62 c #Conflicts: 1950000 | #Constraints: 42959
2501.54/2711.62 c #Conflicts: 1951000 | #Constraints: 43964
2501.54/2711.62 c #Conflicts: 1952000 | #Constraints: 44978
2501.54/2711.62 c #Conflicts: 1953000 | #Constraints: 45987
2501.54/2711.62 c #Conflicts: 1954000 | #Constraints: 47003
2501.54/2711.62 c #Conflicts: 1955000 | #Constraints: 48011
2501.54/2711.62 c #Conflicts: 1956000 | #Constraints: 49020
2501.54/2711.62 c #Conflicts: 1957000 | #Constraints: 50030
2501.54/2711.62 c #Conflicts: 1958000 | #Constraints: 51035
2501.54/2711.62 c #Conflicts: 1959000 | #Constraints: 52042
2501.54/2711.62 c #Conflicts: 1960000 | #Constraints: 53052
2501.54/2711.62 c #Conflicts: 1961000 | #Constraints: 54071
2501.54/2711.62 c #Conflicts: 1962000 | #Constraints: 55073
2501.54/2711.62 c #Conflicts: 1963000 | #Constraints: 56105
2501.54/2711.62 c #Conflicts: 1964000 | #Constraints: 57122
2501.54/2711.62 c #Conflicts: 1965000 | #Constraints: 58124
2501.54/2711.62 c INPROCESSING
2501.54/2711.62 c GARBAGE COLLECT
2501.54/2711.62 c rational objective -31
2542.11/2752.55 c #Conflicts: 1966000 | #Constraints: 31034
2542.11/2752.55 c #Conflicts: 1967000 | #Constraints: 32041
2542.11/2752.55 c #Conflicts: 1968000 | #Constraints: 33051
2542.11/2752.55 c #Conflicts: 1969000 | #Constraints: 34065
2542.11/2752.55 c #Conflicts: 1970000 | #Constraints: 35079
2542.11/2752.55 c #Conflicts: 1971000 | #Constraints: 36087
2542.11/2752.55 c #Conflicts: 1972000 | #Constraints: 37098
2542.11/2752.55 c #Conflicts: 1973000 | #Constraints: 38110
2542.11/2752.55 c #Conflicts: 1974000 | #Constraints: 39127
2542.11/2752.55 c #Conflicts: 1975000 | #Constraints: 40147
2542.11/2752.55 c #Conflicts: 1976000 | #Constraints: 41159
2542.11/2752.55 c #Conflicts: 1977000 | #Constraints: 42171
2542.11/2752.55 c #Conflicts: 1978000 | #Constraints: 43190
2542.11/2752.55 c #Conflicts: 1979000 | #Constraints: 44203
2542.11/2752.55 c #Conflicts: 1980000 | #Constraints: 45211
2542.11/2752.55 c #Conflicts: 1981000 | #Constraints: 46220
2542.11/2752.55 c #Conflicts: 1982000 | #Constraints: 47245
2542.11/2752.55 c #Conflicts: 1983000 | #Constraints: 48253
2542.11/2752.55 c #Conflicts: 1984000 | #Constraints: 49265
2542.11/2752.55 c #Conflicts: 1985000 | #Constraints: 50269
2542.11/2752.55 c #Conflicts: 1986000 | #Constraints: 51274
2542.11/2752.55 c #Conflicts: 1987000 | #Constraints: 52278
2542.11/2752.55 c #Conflicts: 1988000 | #Constraints: 53281
2542.11/2752.55 c #Conflicts: 1989000 | #Constraints: 54284
2542.11/2752.55 c #Conflicts: 1990000 | #Constraints: 55287
2542.11/2752.55 c #Conflicts: 1991000 | #Constraints: 56291
2542.11/2752.55 c #Conflicts: 1992000 | #Constraints: 57294
2542.11/2752.55 c #Conflicts: 1993000 | #Constraints: 58310
2542.11/2752.55 c INPROCESSING
2542.11/2752.55 c GARBAGE COLLECT
2542.11/2752.55 c rational objective -31
2581.88/2792.59 c #Conflicts: 1994000 | #Constraints: 31029
2581.88/2792.59 c #Conflicts: 1995000 | #Constraints: 32041
2581.88/2792.59 c #Conflicts: 1996000 | #Constraints: 33055
2581.88/2792.59 c #Conflicts: 1997000 | #Constraints: 34078
2581.88/2792.59 c #Conflicts: 1998000 | #Constraints: 35092
2581.88/2792.59 c #Conflicts: 1999000 | #Constraints: 36110
2581.88/2792.59 c #Conflicts: 2000000 | #Constraints: 37136
2581.88/2792.59 c #Conflicts: 2001000 | #Constraints: 38155
2581.88/2792.59 c #Conflicts: 2002000 | #Constraints: 39173
2581.88/2792.59 c #Conflicts: 2003000 | #Constraints: 40178
2581.88/2792.59 c #Conflicts: 2004000 | #Constraints: 41181
2581.88/2792.59 c #Conflicts: 2005000 | #Constraints: 42185
2581.88/2792.59 c #Conflicts: 2006000 | #Constraints: 43199
2581.88/2792.59 c #Conflicts: 2007000 | #Constraints: 44208
2581.88/2792.59 c #Conflicts: 2008000 | #Constraints: 45220
2581.88/2792.59 c #Conflicts: 2009000 | #Constraints: 46228
2581.88/2792.59 c #Conflicts: 2010000 | #Constraints: 47237
2581.88/2792.59 c #Conflicts: 2011000 | #Constraints: 48249
2581.88/2792.59 c #Conflicts: 2012000 | #Constraints: 49280
2581.88/2792.59 c #Conflicts: 2013000 | #Constraints: 50306
2581.88/2792.60 c #Conflicts: 2014000 | #Constraints: 51312
2581.88/2792.60 c #Conflicts: 2015000 | #Constraints: 52323
2581.88/2792.60 c #Conflicts: 2016000 | #Constraints: 53331
2581.88/2792.60 c #Conflicts: 2017000 | #Constraints: 54336
2581.88/2792.60 c #Conflicts: 2018000 | #Constraints: 55348
2581.88/2792.60 c #Conflicts: 2019000 | #Constraints: 56362
2581.88/2792.60 c #Conflicts: 2020000 | #Constraints: 57391
2581.88/2792.60 c #Conflicts: 2021000 | #Constraints: 58391
2581.88/2792.60 c INPROCESSING
2581.88/2792.60 c GARBAGE COLLECT
2581.88/2792.60 c rational objective -31
2627.20/2838.51 c #Conflicts: 2022000 | #Constraints: 30850
2627.20/2838.51 c #Conflicts: 2023000 | #Constraints: 31861
2627.20/2838.51 c #Conflicts: 2024000 | #Constraints: 32884
2627.20/2838.51 c #Conflicts: 2025000 | #Constraints: 33898
2627.20/2838.51 c #Conflicts: 2026000 | #Constraints: 34913
2627.20/2838.51 c #Conflicts: 2027000 | #Constraints: 35920
2627.20/2838.51 c #Conflicts: 2028000 | #Constraints: 36932
2627.20/2838.51 c #Conflicts: 2029000 | #Constraints: 37950
2627.20/2838.51 c #Conflicts: 2030000 | #Constraints: 38964
2627.20/2838.51 c #Conflicts: 2031000 | #Constraints: 39971
2627.20/2838.51 c #Conflicts: 2032000 | #Constraints: 40975
2627.20/2838.51 c #Conflicts: 2033000 | #Constraints: 41979
2627.20/2838.51 c #Conflicts: 2034000 | #Constraints: 42988
2627.20/2838.51 c #Conflicts: 2035000 | #Constraints: 43993
2627.20/2838.51 c #Conflicts: 2036000 | #Constraints: 44998
2627.20/2838.51 c #Conflicts: 2037000 | #Constraints: 46005
2627.20/2838.51 c #Conflicts: 2038000 | #Constraints: 47015
2627.20/2838.51 c #Conflicts: 2039000 | #Constraints: 48022
2627.20/2838.51 c #Conflicts: 2040000 | #Constraints: 49029
2627.20/2838.51 c #Conflicts: 2041000 | #Constraints: 50036
2627.20/2838.51 c #Conflicts: 2042000 | #Constraints: 51036
2627.20/2838.51 c #Conflicts: 2043000 | #Constraints: 52043
2627.20/2838.51 c #Conflicts: 2044000 | #Constraints: 53046
2627.20/2838.51 c #Conflicts: 2045000 | #Constraints: 54055
2627.20/2838.51 c #Conflicts: 2046000 | #Constraints: 55067
2627.20/2838.51 c #Conflicts: 2047000 | #Constraints: 56085
2627.20/2838.51 c #Conflicts: 2048000 | #Constraints: 57099
2627.20/2838.51 c #Conflicts: 2049000 | #Constraints: 58115
2627.20/2838.51 c #Conflicts: 2050000 | #Constraints: 59124
2627.20/2838.51 c INPROCESSING
2627.20/2838.51 c GARBAGE COLLECT
2627.20/2838.51 c rational objective -31
2674.39/2886.48 c #Conflicts: 2051000 | #Constraints: 31422
2674.39/2886.48 c #Conflicts: 2052000 | #Constraints: 32426
2674.39/2886.48 c #Conflicts: 2053000 | #Constraints: 33448
2674.39/2886.48 c #Conflicts: 2054000 | #Constraints: 34472
2674.39/2886.48 c #Conflicts: 2055000 | #Constraints: 35489
2674.39/2886.48 c #Conflicts: 2056000 | #Constraints: 36512
2674.39/2886.48 c #Conflicts: 2057000 | #Constraints: 37523
2674.39/2886.48 c #Conflicts: 2058000 | #Constraints: 38539
2674.39/2886.48 c #Conflicts: 2059000 | #Constraints: 39554
2674.39/2886.48 c #Conflicts: 2060000 | #Constraints: 40558
2674.39/2886.48 c #Conflicts: 2061000 | #Constraints: 41573
2674.39/2886.48 c #Conflicts: 2062000 | #Constraints: 42574
2674.39/2886.48 c #Conflicts: 2063000 | #Constraints: 43591
2674.39/2886.48 c #Conflicts: 2064000 | #Constraints: 44616
2674.39/2886.48 c #Conflicts: 2065000 | #Constraints: 45633
2674.39/2886.48 c #Conflicts: 2066000 | #Constraints: 46673
2674.39/2886.48 c #Conflicts: 2067000 | #Constraints: 47695
2674.39/2886.48 c #Conflicts: 2068000 | #Constraints: 48713
2674.39/2886.48 c #Conflicts: 2069000 | #Constraints: 49736
2674.39/2886.48 c #Conflicts: 2070000 | #Constraints: 50762
2674.39/2886.48 c #Conflicts: 2071000 | #Constraints: 51766
2674.39/2886.48 c #Conflicts: 2072000 | #Constraints: 52767
2674.39/2886.48 c #Conflicts: 2073000 | #Constraints: 53768
2674.39/2886.48 c #Conflicts: 2074000 | #Constraints: 54769
2674.39/2886.48 c #Conflicts: 2075000 | #Constraints: 55769
2674.39/2886.48 c #Conflicts: 2076000 | #Constraints: 56772
2674.39/2886.48 c #Conflicts: 2077000 | #Constraints: 57789
2674.39/2886.48 c #Conflicts: 2078000 | #Constraints: 58815
2674.39/2886.48 c #Conflicts: 2079000 | #Constraints: 59824
2674.39/2886.48 c INPROCESSING
2674.39/2886.48 c GARBAGE COLLECT
2674.39/2886.48 c rational objective -31
2724.64/2937.03 c #Conflicts: 2080000 | #Constraints: 31890
2724.64/2937.03 c #Conflicts: 2081000 | #Constraints: 32896
2724.64/2937.03 c #Conflicts: 2082000 | #Constraints: 33902
2724.64/2937.03 c #Conflicts: 2083000 | #Constraints: 34906
2724.64/2937.03 c #Conflicts: 2084000 | #Constraints: 35910
2724.64/2937.03 c #Conflicts: 2085000 | #Constraints: 36911
2724.64/2937.03 c #Conflicts: 2086000 | #Constraints: 37921
2724.64/2937.03 c #Conflicts: 2087000 | #Constraints: 38937
2724.64/2937.03 c #Conflicts: 2088000 | #Constraints: 39954
2724.64/2937.03 c #Conflicts: 2089000 | #Constraints: 40965
2724.64/2937.03 c #Conflicts: 2090000 | #Constraints: 41970
2724.64/2937.03 c #Conflicts: 2091000 | #Constraints: 42992
2724.64/2937.03 c #Conflicts: 2092000 | #Constraints: 44009
2724.64/2937.03 c #Conflicts: 2093000 | #Constraints: 45025
2724.64/2937.03 c #Conflicts: 2094000 | #Constraints: 46043
2724.64/2937.03 c #Conflicts: 2095000 | #Constraints: 47057
2724.64/2937.03 c #Conflicts: 2096000 | #Constraints: 48072
2724.64/2937.03 c #Conflicts: 2097000 | #Constraints: 49085
2724.64/2937.03 c #Conflicts: 2098000 | #Constraints: 50102
2724.64/2937.03 c #Conflicts: 2099000 | #Constraints: 51132
2724.64/2937.03 c #Conflicts: 2100000 | #Constraints: 52151
2724.64/2937.03 c #Conflicts: 2101000 | #Constraints: 53166
2724.64/2937.03 c #Conflicts: 2102000 | #Constraints: 54184
2724.64/2937.03 c #Conflicts: 2103000 | #Constraints: 55198
2724.64/2937.03 c #Conflicts: 2104000 | #Constraints: 56218
2724.64/2937.03 c #Conflicts: 2105000 | #Constraints: 57235
2724.64/2937.03 c #Conflicts: 2106000 | #Constraints: 58253
2724.64/2937.03 c #Conflicts: 2107000 | #Constraints: 59269
2724.64/2937.03 c #Conflicts: 2108000 | #Constraints: 60286
2724.64/2937.03 c INPROCESSING
2724.64/2937.03 c GARBAGE COLLECT
2724.64/2937.03 c rational objective -31
2756.31/2968.89 c #Conflicts: 2109000 | #Constraints: 32152
2756.31/2968.89 c #Conflicts: 2110000 | #Constraints: 33155
2756.31/2968.89 c #Conflicts: 2111000 | #Constraints: 34157
2756.31/2968.89 c #Conflicts: 2112000 | #Constraints: 35161
2756.31/2968.89 c #Conflicts: 2113000 | #Constraints: 36168
2756.31/2968.89 c #Conflicts: 2114000 | #Constraints: 37170
2756.31/2968.89 c #Conflicts: 2115000 | #Constraints: 38171
2756.31/2968.89 c #Conflicts: 2116000 | #Constraints: 39171
2756.31/2968.89 c #Conflicts: 2117000 | #Constraints: 40171
2756.31/2968.89 c #Conflicts: 2118000 | #Constraints: 41171
2756.31/2968.89 c #Conflicts: 2119000 | #Constraints: 42171
2756.31/2968.89 c #Conflicts: 2120000 | #Constraints: 43174
2756.31/2968.89 c #Conflicts: 2121000 | #Constraints: 44176
2756.31/2968.89 c #Conflicts: 2122000 | #Constraints: 45176
2756.31/2968.89 c #Conflicts: 2123000 | #Constraints: 46176
2756.31/2968.89 c #Conflicts: 2124000 | #Constraints: 47179
2756.31/2968.89 c #Conflicts: 2125000 | #Constraints: 48180
2756.31/2968.89 c #Conflicts: 2126000 | #Constraints: 49180
2756.31/2968.89 c #Conflicts: 2127000 | #Constraints: 50180
2756.31/2968.89 c #Conflicts: 2128000 | #Constraints: 51185
2756.31/2968.89 c #Conflicts: 2129000 | #Constraints: 52185
2756.31/2968.89 c #Conflicts: 2130000 | #Constraints: 53185
2756.31/2968.89 c #Conflicts: 2131000 | #Constraints: 54185
2756.31/2968.89 c #Conflicts: 2132000 | #Constraints: 55185
2756.31/2968.89 c #Conflicts: 2133000 | #Constraints: 56185
2756.31/2968.89 c #Conflicts: 2134000 | #Constraints: 57185
2756.31/2968.89 c #Conflicts: 2135000 | #Constraints: 58185
2756.31/2968.89 c #Conflicts: 2136000 | #Constraints: 59189
2756.31/2968.89 c #Conflicts: 2137000 | #Constraints: 60195
2756.31/2968.89 c INPROCESSING
2756.31/2968.89 c GARBAGE COLLECT
2756.31/2968.89 c rational objective -31
2941.78/3161.50 c #Conflicts: 2138000 | #Constraints: 31996
2941.78/3161.50 c #Conflicts: 2139000 | #Constraints: 33000
2941.78/3161.50 c #Conflicts: 2140000 | #Constraints: 34003
2941.78/3161.50 c #Conflicts: 2141000 | #Constraints: 35006
2941.78/3161.50 c #Conflicts: 2142000 | #Constraints: 36011
2941.78/3161.50 c #Conflicts: 2143000 | #Constraints: 37020
2941.78/3161.50 c #Conflicts: 2144000 | #Constraints: 38029
2941.78/3161.50 c #Conflicts: 2145000 | #Constraints: 39032
2941.78/3161.50 c #Conflicts: 2146000 | #Constraints: 40036
2941.78/3161.50 c #Conflicts: 2147000 | #Constraints: 41044
2941.78/3161.50 c #Conflicts: 2148000 | #Constraints: 42052
2941.78/3161.50 c #Conflicts: 2149000 | #Constraints: 43057
2941.78/3161.50 c #Conflicts: 2150000 | #Constraints: 44060
2941.78/3161.50 c #Conflicts: 2151000 | #Constraints: 45066
2941.78/3161.50 c #Conflicts: 2152000 | #Constraints: 46073
2941.78/3161.50 c #Conflicts: 2153000 | #Constraints: 47078
2941.78/3161.50 c #Conflicts: 2154000 | #Constraints: 48081
2941.78/3161.50 c #Conflicts: 2155000 | #Constraints: 49087
2941.78/3161.50 c #Conflicts: 2156000 | #Constraints: 50089
2941.78/3161.50 c #Conflicts: 2157000 | #Constraints: 51092
2941.78/3161.50 c #Conflicts: 2158000 | #Constraints: 52099
2941.78/3161.50 c #Conflicts: 2159000 | #Constraints: 53106
2941.78/3161.50 c #Conflicts: 2160000 | #Constraints: 54115
2941.78/3161.50 c #Conflicts: 2161000 | #Constraints: 55119
2941.78/3161.50 c #Conflicts: 2162000 | #Constraints: 56121
2941.78/3161.50 c #Conflicts: 2163000 | #Constraints: 57125
2941.78/3161.50 c #Conflicts: 2164000 | #Constraints: 58128
2941.78/3161.50 c #Conflicts: 2165000 | #Constraints: 59131
2941.78/3161.50 c #Conflicts: 2166000 | #Constraints: 60133
2941.78/3161.50 c INPROCESSING
2941.78/3161.50 c GARBAGE COLLECT
2941.78/3161.50 c rational objective -31
3024.50/3245.11 c #Conflicts: 2167000 | #Constraints: 31750
3024.50/3245.11 c #Conflicts: 2168000 | #Constraints: 32751
3024.50/3245.11 c #Conflicts: 2169000 | #Constraints: 33754
3024.50/3245.11 c #Conflicts: 2170000 | #Constraints: 34757
3024.50/3245.11 c #Conflicts: 2171000 | #Constraints: 35761
3024.50/3245.11 c #Conflicts: 2172000 | #Constraints: 36762
3024.50/3245.11 c #Conflicts: 2173000 | #Constraints: 37763
3024.50/3245.11 c #Conflicts: 2174000 | #Constraints: 38769
3024.50/3245.11 c #Conflicts: 2175000 | #Constraints: 39780
3024.50/3245.11 c #Conflicts: 2176000 | #Constraints: 40786
3024.50/3245.11 c #Conflicts: 2177000 | #Constraints: 41798
3024.50/3245.11 c #Conflicts: 2178000 | #Constraints: 42811
3024.50/3245.11 c #Conflicts: 2179000 | #Constraints: 43818
3024.50/3245.11 c #Conflicts: 2180000 | #Constraints: 44824
3024.50/3245.11 c #Conflicts: 2181000 | #Constraints: 45833
3024.50/3245.11 c #Conflicts: 2182000 | #Constraints: 46835
3024.50/3245.11 c #Conflicts: 2183000 | #Constraints: 47838
3024.50/3245.11 c #Conflicts: 2184000 | #Constraints: 48854
3024.50/3245.11 c #Conflicts: 2185000 | #Constraints: 49858
3024.50/3245.11 c #Conflicts: 2186000 | #Constraints: 50866
3024.50/3245.11 c #Conflicts: 2187000 | #Constraints: 51877
3024.50/3245.11 c #Conflicts: 2188000 | #Constraints: 52884
3024.50/3245.11 c #Conflicts: 2189000 | #Constraints: 53898
3024.50/3245.11 c #Conflicts: 2190000 | #Constraints: 54903
3024.50/3245.11 c #Conflicts: 2191000 | #Constraints: 55914
3024.50/3245.11 c #Conflicts: 2192000 | #Constraints: 56921
3024.50/3245.11 c #Conflicts: 2193000 | #Constraints: 57935
3024.50/3245.11 c #Conflicts: 2194000 | #Constraints: 58942
3024.50/3245.11 c #Conflicts: 2195000 | #Constraints: 59951
3024.50/3245.11 c #Conflicts: 2196000 | #Constraints: 60954
3024.50/3245.11 c INPROCESSING
3024.50/3245.11 c GARBAGE COLLECT
3024.50/3245.11 c rational objective -31
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 (62611 MiB free)
memory of node 1: 64465 MiB (63907 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4519655-1751555170/watcher-4519655-1751555170 -o /tmp/evaluation-result-4519655-1751555170/solver-4519655-1751555170 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751555170-93570 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4519655-1751555170.opb PROOFDIR/proof-4519655-1751555170
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=93615, runsolver pid=93609
[startup+0.100064 s]*
/proc/loadavg: 0.27 0.81 1.37 1/269 93632
/proc/meminfo: memFree=129549720/131250000 swapFree=33010160/33010684
[pid=93615] ppid=93609 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/93615/stat : 93615 (run-opt-ls-log.) S 93609 93615 93530 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 71194593 4292608 736 18446744073709551615 94417331990528 94417332885061 140735021557392 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94417333124112 94417333171856 94417363832832 140735021566235 140735021566433 140735021566433 140735021572035 0
/proc/93615/statm: 1048 736 672 219 0 110 0
[pid=93621] ppid=93615 vsize=11820 memory=5120 CPUtime=0 cores=4,6
/proc/93621/stat : 93621 (pbsuma) D 93615 93615 93530 0 -1 4456448 392 0 0 0 0 0 0 0 20 0 1 0 71194594 12103680 1280 18446744073709551615 4210688 4653049 140726772757616 0 0 0 0 0 0 1 0 0 17 6 0 0 0 0 0 4700520 4703148 24911872 140726772762851 140726772763186 140726772763186 140726772768751 0
/proc/93621/statm: 2955 1280 1024 108 0 363 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 16012 KiB
Current children cumulated memory: 8064 KiB
[startup+0.205947 s]*
/proc/loadavg: 0.27 0.81 1.37 2/269 93632
/proc/meminfo: memFree=129547732/131250000 swapFree=33010160/33010684
[pid=93615] ppid=93609 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/93615/stat : 93615 (run-opt-ls-log.) S 93609 93615 93530 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 71194593 4292608 736 18446744073709551615 94417331990528 94417332885061 140735021557392 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94417333124112 94417333171856 94417363832832 140735021566235 140735021566433 140735021566433 140735021572035 0
/proc/93615/statm: 1048 736 672 219 0 110 0
[pid=93621] ppid=93615 vsize=19624 memory=11088 CPUtime=0.01 cores=4,6
/proc/93621/stat : 93621 (pbsuma) R 93615 93615 93530 0 -1 4194304 2163 0 0 0 1 0 0 0 20 0 1 0 71194594 20094976 2772 18446744073709551615 4210688 4653049 140726772757616 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 4700520 4703148 24911872 140726772762851 140726772763186 140726772763186 140726772768751 0
/proc/93621/statm: 4906 2772 1056 108 0 2314 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 23816 KiB
Current children cumulated memory: 14032 KiB
[startup+0.305319 s]*
/proc/loadavg: 0.27 0.81 1.37 3/269 93632
/proc/meminfo: memFree=129539416/131250000 swapFree=33010160/33010684
[pid=93615] ppid=93609 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/93615/stat : 93615 (run-opt-ls-log.) S 93609 93615 93530 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 71194593 4292608 736 18446744073709551615 94417331990528 94417332885061 140735021557392 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94417333124112 94417333171856 94417363832832 140735021566235 140735021566433 140735021566433 140735021572035 0
/proc/93615/statm: 1048 736 672 219 0 110 0
[pid=93621] ppid=93615 vsize=19392 memory=11548 CPUtime=0.1 cores=4,6
/proc/93621/stat : 93621 (pbsuma) R 93615 93615 93530 0 -1 4194304 2545 0 0 0 10 0 0 0 20 0 1 0 71194594 19857408 2887 18446744073709551615 4210688 4653049 140726772757616 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 4700520 4703148 24911872 140726772762851 140726772763186 140726772763186 140726772768751 0
/proc/93621/statm: 4848 2887 1056 108 0 2256 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 23584 KiB
Current children cumulated memory: 14492 KiB
[startup+0.700129 s]
/proc/loadavg: 0.27 0.81 1.37 5/269 93632
/proc/meminfo: memFree=129530848/131250000 swapFree=33010160/33010684
[pid=93615] ppid=93609 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/93615/stat : 93615 (run-opt-ls-log.) S 93609 93615 93530 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 71194593 4292608 736 18446744073709551615 94417331990528 94417332885061 140735021557392 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94417333124112 94417333171856 94417363832832 140735021566235 140735021566433 140735021566433 140735021572035 0
/proc/93615/statm: 1048 736 672 219 0 110 0
[pid=93621] ppid=93615 vsize=19392 memory=11548 CPUtime=0.49 cores=4,6
/proc/93621/stat : 93621 (pbsuma) R 93615 93615 93530 0 -1 4194304 2545 0 0 0 49 0 0 0 20 0 1 0 71194594 19857408 2887 18446744073709551615 4210688 4653049 140726772757616 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 24911872 140726772762851 140726772763186 140726772763186 140726772768751 0
/proc/93621/statm: 4848 2887 1056 108 0 2256 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 23584 KiB
Current children cumulated memory: 14492 KiB
[startup+1.50018 s]
/proc/loadavg: 0.27 0.81 1.37 5/269 93634
/proc/meminfo: memFree=129503960/131250000 swapFree=33010160/33010684
[pid=93615] ppid=93609 vsize=4192 memory=2944 CPUtime=0.79 cores=4,6
/proc/93615/stat : 93615 (run-opt-ls-log.) S 93609 93615 93530 0 -1 4194304 245 2861 0 0 0 0 79 0 20 0 1 0 71194593 4292608 736 18446744073709551615 94417331990528 94417332885061 140735021557392 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94417333124112 94417333171856 94417363832832 140735021566235 140735021566433 140735021566433 140735021572035 0
/proc/93615/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 0.79 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB
[startup+3.10574 s]
/proc/loadavg: 0.56 0.86 1.38 4/264 93644
/proc/meminfo: memFree=129411724/131250000 swapFree=33010160/33010684
[pid=93615] ppid=93609 vsize=4192 memory=2944 CPUtime=0.79 cores=4,6
/proc/93615/stat : 93615 (run-opt-ls-log.) S 93609 93615 93530 0 -1 4194304 245 2861 0 0 0 0 79 0 20 0 1 0 71194593 4292608 736 18446744073709551615 94417331990528 94417332885061 140735021557392 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94417333124112 94417333171856 94417363832832 140735021566235 140735021566433 140735021566433 140735021572035 0
/proc/93615/statm: 1048 736 672 219 0 110 0
[pid=93635] ppid=93615 vsize=99068 memory=54696 CPUtime=2.04 cores=4,6
/proc/93635/stat : 93635 (roundingsat) R 93615 93615 93530 0 -1 4194304 10343 0 0 0 194 10 0 0 20 0 1 0 71194696 101445632 13674 18446744073709551615 4227072 8923433 140724510809600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24481792 140724510812406 140724510812712 140724510812712 140724510818282 0
/proc/93635/statm: 24767 13674 2432 1147 0 12194 0
Current children cumulated CPU time: 2.83 s
Current children cumulated vsize: 103260 KiB
Current children cumulated memory: 57640 KiB
[startup+6.30019 s]
/proc/loadavg: 0.56 0.86 1.38 5/269 93731
/proc/meminfo: memFree=129304100/131250000 swapFree=33010160/33010684
[pid=93615] ppid=93609 vsize=4192 memory=2944 CPUtime=0.79 cores=4,6
/proc/93615/stat : 93615 (run-opt-ls-log.) S 93609 93615 93530 0 -1 4194304 245 2861 0 0 0 0 79 0 20 0 1 0 71194593 4292608 736 18446744073709551615 94417331990528 94417332885061 140735021557392 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94417333124112 94417333171856 94417363832832 140735021566235 140735021566433 140735021566433 140735021572035 0
/proc/93615/statm: 1048 736 672 219 0 110 0
[pid=93635] ppid=93615 vsize=115220 memory=67472 CPUtime=5.23 cores=4,6
/proc/93635/stat : 93635 (roundingsat) R 93615 93615 93530 0 -1 4194304 13025 0 0 0 506 17 0 0 20 0 1 0 71194696 117985280 16868 18446744073709551615 4227072 8923433 140724510809600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24481792 140724510812406 140724510812712 140724510812712 140724510818282 0
/proc/93635/statm: 28805 16868 2432 1147 0 16232 0
Current children cumulated CPU time: 6.02 s
Current children cumulated vsize: 119412 KiB
Current children cumulated memory: 70416 KiB
[startup+12.7002 s]
/proc/loadavg: 1.09 0.97 1.41 5/269 93731
/proc/meminfo: memFree=129163824/131250000 swapFree=33010160/33010684
[pid=93615] ppid=93609 vsize=4192 memory=2944 CPUtime=0.79 cores=4,6
/proc/93615/stat : 93615 (run-opt-ls-log.) S 93609 93615 93530 0 -1 4194304 245 2861 0 0 0 0 79 0 20 0 1 0 71194593 4292608 736 18446744073709551615 94417331990528 94417332885061 140735021557392 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94417333124112 94417333171856 94417363832832 140735021566235 140735021566433 140735021566433 140735021572035 0
/proc/93615/statm: 1048 736 672 219 0 110 0
[pid=93635] ppid=93615 vsize=126448 memory=79552 CPUtime=11.62 cores=4,6
/proc/93635/stat : 93635 (roundingsat) R 93615 93615 93530 0 -1 4194304 15534 0 0 0 1131 31 0 0 20 0 1 0 71194696 129482752 19888 18446744073709551615 4227072 8923433 140724510809600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24481792 140724510812406 140724510812712 140724510812712 140724510818282 0
/proc/93635/statm: 31612 19888 2432 1147 0 19039 0
Current children cumulated CPU time: 12.41 s
Current children cumulated vsize: 130640 KiB
Current children cumulated memory: 82496 KiB
[startup+25.5002 s]
/proc/loadavg: 1.61 1.08 1.44 5/269 93731
/proc/meminfo: memFree=128920972/131250000 swapFree=33010160/33010684
[pid=93615] ppid=93609 vsize=4192 memory=2944 CPUtime=0.79 cores=4,6
/proc/93615/stat : 93615 (run-opt-ls-log.) S 93609 93615 93530 0 -1 4194304 245 2861 0 0 0 0 79 0 20 0 1 0 71194593 4292608 736 18446744073709551615 94417331990528 94417332885061 140735021557392 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94417333124112 94417333171856 94417363832832 140735021566235 140735021566433 140735021566433 140735021572035 0
/proc/93615/statm: 1048 736 672 219 0 110 0
[pid=93635] ppid=93615 vsize=153392 memory=99884 CPUtime=24.38 cores=4,6
/proc/93635/stat : 93635 (roundingsat) R 93615 93615 93530 0 -1 4194304 19608 0 0 0 2380 58 0 0 20 0 1 0 71194696 157073408 24971 18446744073709551615 4227072 8923433 140724510809600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24481792 140724510812406 140724510812712 140724510812712 140724510818282 0
/proc/93635/statm: 38348 24971 2432 1147 0 25775 0
Current children cumulated CPU time: 25.17 s
Current children cumulated vsize: 157584 KiB
Current children cumulated memory: 102828 KiB
[startup+51.1059 s]
/proc/loadavg: 2.43 1.32 1.51 5/273 93737
/proc/meminfo: memFree=128082572/131250000 swapFree=33010160/33010684
[pid=93615] ppid=93609 vsize=4192 memory=2944 CPUtime=0.79 cores=4,6
/proc/93615/stat : 93615 (run-opt-ls-log.) S 93609 93615 93530 0 -1 4194304 245 2861 0 0 0 0 79 0 20 0 1 0 71194593 4292608 736 18446744073709551615 94417331990528 94417332885061 140735021557392 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94417333124112 94417333171856 94417363832832 140735021566235 140735021566433 140735021566433 140735021572035 0
/proc/93615/statm: 1048 736 672 219 0 110 0
[pid=93635] ppid=93615 vsize=172564 memory=121448 CPUtime=41.8 cores=4,6
/proc/93635/stat : 93635 (roundingsat) R 93615 93615 93530 0 -1 4194304 23985 0 0 0 4086 94 0 0 20 0 1 0 71194696 176705536 30362 18446744073709551615 4227072 8923433 140724510809600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24481792 140724510812406 140724510812712 140724510812712 140724510818282 0
/proc/93635/statm: 43141 30362 2432 1147 0 30568 0
Current children cumulated CPU time: 42.59 s
Current children cumulated vsize: 176756 KiB
Current children cumulated memory: 124392 KiB
[startup+102.3 s]
/proc/loadavg: 3.42 1.79 1.66 5/274 93788
/proc/meminfo: memFree=127513500/131250000 swapFree=33010160/33010684
[pid=93615] ppid=93609 vsize=4192 memory=2944 CPUtime=0.79 cores=4,6
/proc/93615/stat : 93615 (run-opt-ls-log.) S 93609 93615 93530 0 -1 4194304 245 2861 0 0 0 0 79 0 20 0 1 0 71194593 4292608 736 18446744073709551615 94417331990528 94417332885061 140735021557392 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94417333124112 94417333171856 94417363832832 140735021566235 140735021566433 140735021566433 140735021572035 0
/proc/93615/statm: 1048 736 672 219 0 110 0
[pid=93635] ppid=93615 vsize=237096 memory=177420 CPUtime=92.69 cores=4,6
/proc/93635/stat : 93635 (roundingsat) R 93615 93615 93530 0 -1 4194304 34381 0 0 0 9093 176 0 0 20 0 1 0 71194696 242786304 44355 18446744073709551615 4227072 8923433 140724510809600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24481792 140724510812406 140724510812712 140724510812712 140724510818282 0
/proc/93635/statm: 59274 44355 2432 1147 0 46701 0
Current children cumulated CPU time: 93.48 s
Current children cumulated vsize: 241288 KiB
Current children cumulated memory: 180364 KiB
[startup+162.3 s]
/proc/loadavg: 3.81 2.21 1.82 4/269 94008
/proc/meminfo: memFree=126802108/131250000 swapFree=33010160/33010684
[pid=93615] ppid=93609 vsize=4192 memory=2944 CPUtime=0.79 cores=4,6
/proc/93615/stat : 93615 (run-opt-ls-log.) S 93609 93615 93530 0 -1 4194304 245 2861 0 0 0 0 79 0 20 0 1 0 71194593 4292608 736 18446744073709551615 94417331990528 94417332885061 140735021557392 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94417333124112 94417333171856 94417363832832 140735021566235 140735021566433 140735021566433 140735021572035 0
/proc/93615/statm: 1048 736 672 219 0 110 0
[pid=93635] ppid=93615 vsize=251964 memory=189324 CPUtime=151.93 cores=4,6
/proc/93635/stat : 93635 (roundingsat) R 93615 93615 93530 0 -1 4194304 37381 0 0 0 14935 258 0 0 20 0 1 0 71194696 258011136 47331 18446744073709551615 4227072 8923433 140724510809600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24481792 140724510812406 140724510812712 140724510812712 140724510818282 0
/proc/93635/statm: 62991 47331 2432 1147 0 50418 0
Current children cumulated CPU time: 152.72 s
Current children cumulated vsize: 256156 KiB
Current children cumulated memory: 192268 KiB
[startup+222.3 s]
/proc/loadavg: 4.03 2.57 1.97 6/269 94105
/proc/meminfo: memFree=125693040/131250000 swapFree=33010160/33010684
[pid=93615] ppid=93609 vsize=4192 memory=2944 CPUtime=0.79 cores=4,6
/proc/93615/stat : 93615 (run-opt-ls-log.) S 93609 93615 93530 0 -1 4194304 245 2861 0 0 0 0 79 0 20 0 1 0 71194593 4292608 736 18446744073709551615 94417331990528 94417332885061 140735021557392 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94417333124112 94417333171856 94417363832832 140735021566235 140735021566433 140735021566433 140735021572035 0
/proc/93615/statm: 1048 736 672 219 0 110 0
[pid=93635] ppid=93615 vsize=282316 memory=214228 CPUtime=204.15 cores=4,6
/proc/93635/stat : 93635 (roundingsat) R 93615 93615 93530 0 -1 4194304 43370 0 0 0 20076 339 0 0 20 0 1 0 71194696 289091584 53557 18446744073709551615 4227072 8923433 140724510809600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24481792 140724510812406 140724510812712 140724510812712 140724510818282 0
/proc/93635/statm: 70579 53557 2432 1147 0 58006 0
Current children cumulated CPU time: 204.94 s
Current children cumulated vsize: 286508 KiB
Current children cumulated memory: 217172 KiB
################
# More data... #
################
[startup+3342.3 s]
/proc/loadavg: 4.14 4.12 4.04 5/279 94894
/proc/meminfo: memFree=99127840/131250000 swapFree=33010160/33010684
[pid=93615] ppid=93609 vsize=4192 memory=2944 CPUtime=0.79 cores=4,6
/proc/93615/stat : 93615 (run-opt-ls-log.) S 93609 93615 93530 0 -1 4194304 245 2861 0 0 0 0 79 0 20 0 1 0 71194593 4292608 736 18446744073709551615 94417331990528 94417332885061 140735021557392 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94417333124112 94417333171856 94417363832832 140735021566235 140735021566433 140735021566433 140735021572035 0
/proc/93615/statm: 1048 736 672 219 0 110 0
[pid=93635] ppid=93615 vsize=774360 memory=641552 CPUtime=3120.66 cores=4,6
/proc/93635/stat : 93635 (roundingsat) R 93615 93615 93530 0 -1 4194304 120901 0 0 0 308883 3183 0 0 20 0 1 0 71194696 792944640 160388 18446744073709551615 4227072 8923433 140724510809600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24481792 140724510812406 140724510812712 140724510812712 140724510818282 0
/proc/93635/statm: 193590 160388 2432 1147 0 181017 0
Current children cumulated CPU time: 3121.45 s
Current children cumulated vsize: 778552 KiB
Current children cumulated memory: 644496 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.11 4.04 5/277 94897
/proc/meminfo: memFree=97743980/131250000 swapFree=33010160/33010684
[pid=93615] ppid=93609 vsize=4192 memory=2944 CPUtime=0.79 cores=4,6
/proc/93615/stat : 93615 (run-opt-ls-log.) S 93609 93615 93530 0 -1 4194304 245 2861 0 0 0 0 79 0 20 0 1 0 71194593 4292608 736 18446744073709551615 94417331990528 94417332885061 140735021557392 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94417333124112 94417333171856 94417363832832 140735021566235 140735021566433 140735021566433 140735021572035 0
/proc/93615/statm: 1048 736 672 219 0 110 0
[pid=93635] ppid=93615 vsize=817884 memory=697048 CPUtime=3180.49 cores=4,6
/proc/93635/stat : 93635 (roundingsat) R 93615 93615 93530 0 -1 4194304 131207 0 0 0 314854 3195 0 0 20 0 1 0 71194696 837513216 174262 18446744073709551615 4227072 8923433 140724510809600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24481792 140724510812406 140724510812712 140724510812712 140724510818282 0
/proc/93635/statm: 204471 174262 2432 1147 0 191898 0
Current children cumulated CPU time: 3181.28 s
Current children cumulated vsize: 822076 KiB
Current children cumulated memory: 699992 KiB
[startup+3462.3 s]
/proc/loadavg: 4.40 4.21 4.08 5/277 94899
/proc/meminfo: memFree=97591864/131250000 swapFree=33010160/33010684
[pid=93615] ppid=93609 vsize=4192 memory=2944 CPUtime=0.79 cores=4,6
/proc/93615/stat : 93615 (run-opt-ls-log.) S 93609 93615 93530 0 -1 4194304 245 2861 0 0 0 0 79 0 20 0 1 0 71194593 4292608 736 18446744073709551615 94417331990528 94417332885061 140735021557392 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94417333124112 94417333171856 94417363832832 140735021566235 140735021566433 140735021566433 140735021572035 0
/proc/93615/statm: 1048 736 672 219 0 110 0
[pid=93635] ppid=93615 vsize=926920 memory=743964 CPUtime=3240.3 cores=4,6
/proc/93635/stat : 93635 (roundingsat) R 93615 93615 93530 0 -1 4194304 138847 0 0 0 320825 3205 0 0 20 0 1 0 71194696 949166080 185991 18446744073709551615 4227072 8923433 140724510809600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24481792 140724510812406 140724510812712 140724510812712 140724510818282 0
/proc/93635/statm: 231730 185991 2432 1147 0 219157 0
Current children cumulated CPU time: 3241.09 s
Current children cumulated vsize: 931112 KiB
Current children cumulated memory: 746908 KiB
[startup+3522.3 s]
/proc/loadavg: 4.21 4.18 4.08 5/277 94901
/proc/meminfo: memFree=97536364/131250000 swapFree=33010160/33010684
[pid=93615] ppid=93609 vsize=4192 memory=2944 CPUtime=0.79 cores=4,6
/proc/93615/stat : 93615 (run-opt-ls-log.) S 93609 93615 93530 0 -1 4194304 245 2861 0 0 0 0 79 0 20 0 1 0 71194593 4292608 736 18446744073709551615 94417331990528 94417332885061 140735021557392 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94417333124112 94417333171856 94417363832832 140735021566235 140735021566433 140735021566433 140735021572035 0
/proc/93615/statm: 1048 736 672 219 0 110 0
[pid=93635] ppid=93615 vsize=953804 memory=784092 CPUtime=3300.12 cores=4,6
/proc/93635/stat : 93635 (roundingsat) R 93615 93615 93530 0 -1 4194304 145307 0 0 0 326797 3215 0 0 20 0 1 0 71194696 976695296 196023 18446744073709551615 4227072 8923433 140724510809600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24481792 140724510812406 140724510812712 140724510812712 140724510818282 0
/proc/93635/statm: 238451 196023 2432 1147 0 225878 0
Current children cumulated CPU time: 3300.91 s
Current children cumulated vsize: 957996 KiB
Current children cumulated memory: 787036 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.16 4.08 5/278 94906
/proc/meminfo: memFree=97048220/131250000 swapFree=33010160/33010684
[pid=93615] ppid=93609 vsize=4192 memory=2944 CPUtime=0.79 cores=4,6
/proc/93615/stat : 93615 (run-opt-ls-log.) S 93609 93615 93530 0 -1 4194304 245 2861 0 0 0 0 79 0 20 0 1 0 71194593 4292608 736 18446744073709551615 94417331990528 94417332885061 140735021557392 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94417333124112 94417333171856 94417363832832 140735021566235 140735021566433 140735021566433 140735021572035 0
/proc/93615/statm: 1048 736 672 219 0 110 0
[pid=93635] ppid=93615 vsize=972492 memory=816868 CPUtime=3356.86 cores=4,6
/proc/93635/stat : 93635 (roundingsat) R 93615 93615 93530 0 -1 4194304 150429 0 0 0 332464 3222 0 0 20 0 1 0 71194696 995831808 204217 18446744073709551615 4227072 8923433 140724510809600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24481792 140724510812406 140724510812712 140724510812712 140724510818282 0
/proc/93635/statm: 243123 204217 2432 1147 0 230550 0
Current children cumulated CPU time: 3357.65 s
Current children cumulated vsize: 976684 KiB
Current children cumulated memory: 819812 KiB
[startup+3642.3 s]
/proc/loadavg: 4.16 4.16 4.09 5/276 94909
/proc/meminfo: memFree=96782476/131250000 swapFree=33010160/33010684
[pid=93615] ppid=93609 vsize=4192 memory=2944 CPUtime=0.79 cores=4,6
/proc/93615/stat : 93615 (run-opt-ls-log.) S 93609 93615 93530 0 -1 4194304 245 2861 0 0 0 0 79 0 20 0 1 0 71194593 4292608 736 18446744073709551615 94417331990528 94417332885061 140735021557392 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94417333124112 94417333171856 94417363832832 140735021566235 140735021566433 140735021566433 140735021572035 0
/proc/93615/statm: 1048 736 672 219 0 110 0
[pid=93635] ppid=93615 vsize=991436 memory=842824 CPUtime=3416.71 cores=4,6
/proc/93635/stat : 93635 (roundingsat) R 93615 93615 93530 0 -1 4194304 153830 0 0 0 338441 3230 0 0 20 0 1 0 71194696 1015230464 210706 18446744073709551615 4227072 8923433 140724510809600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24481792 140724510812406 140724510812712 140724510812712 140724510818282 0
/proc/93635/statm: 247859 210706 2432 1147 0 235286 0
Current children cumulated CPU time: 3417.5 s
Current children cumulated vsize: 995628 KiB
Current children cumulated memory: 845768 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+3700 s]*
/proc/loadavg: 4.11 4.15 4.09 4/274 94917
/proc/meminfo: memFree=96302936/131250000 swapFree=33010160/33010684
[pid=93615] ppid=93609 vsize=4192 memory=2944 CPUtime=0.79 cores=4,6
/proc/93615/stat : 93615 (run-opt-ls-log.) S 93609 93615 93530 0 -1 4194304 245 2861 0 0 0 0 79 0 20 0 1 0 71194593 4292608 736 18446744073709551615 94417331990528 94417332885061 140735021557392 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94417333124112 94417333171856 94417363832832 140735021566235 140735021566433 140735021566433 140735021572035 0
/proc/93615/statm: 1048 736 672 219 0 110 0
[pid=93635] ppid=93615 vsize=1003724 memory=856308 CPUtime=3471.81 cores=4,6
/proc/93635/stat : 93635 (roundingsat) D 93615 93615 93530 0 -1 4194304 155687 0 0 0 343945 3236 0 0 20 0 1 0 71194696 1027813376 214077 18446744073709551615 4227072 8923433 140724510809600 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9823104 9832592 24481792 140724510812406 140724510812712 140724510812712 140724510818282 0
/proc/93635/statm: 250931 214077 2432 1147 0 238358 0
Current children cumulated CPU time: 3472.6 s
Current children cumulated vsize: 1007916 KiB
Current children cumulated memory: 859252 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3700.01 s]
# the end of solver process 93615 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.800084 s, system=0.011541 s
Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:
[startup+0 s]*
/proc/loadavg: 4.11 4.15 4.09 4/273 94917
/proc/meminfo: memFree=96286808/131250000 swapFree=33010160/33010684
[pid=93635] ppid=93609 vsize=1003724 memory=856308 CPUtime=3471.81 cores=4,6
/proc/93635/stat : 93635 (roundingsat) D 93609 93615 93530 0 -1 4194304 155687 0 0 0 343945 3236 0 0 20 0 1 0 71194696 1027813376 214077 18446744073709551615 4227072 8923433 140724510809600 0 0 256 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9823104 9832592 24481792 140724510812406 140724510812712 140724510812712 140724510818282 9
/proc/93635/statm: 250931 214077 2432 1147 0 238358 0
??? kill 93635 sig 9
??? end of watcher thread
[startup+3704.78 s]
# the end of solver process 93635 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3440.25 s, system=32.3953 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
Dumping a history of the last processes samples
[startup+3700.8 s]
/proc/loadavg: 4.11 4.15 4.09 4/273 94917
/proc/meminfo: memFree=96294872/131250000 swapFree=33010160/33010684
[pid=93635] ppid=93609 vsize=1003724 memory=856308 CPUtime=3471.81 cores=4,6
/proc/93635/stat : 93635 (roundingsat) D 93609 93615 93530 0 -1 4194304 155687 0 0 0 343945 3236 0 0 20 0 1 0 71194696 1027813376 214077 18446744073709551615 4227072 8923433 140724510809600 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9823104 9832592 24481792 140724510812406 140724510812712 140724510812712 140724510818282 0
/proc/93635/statm: 250931 214077 2432 1147 0 238358 0
Current cumulated CPU time of completed processes: 0.811625 s
Current children cumulated CPU time: 3471.81 s
Current children cumulated vsize: 1003724 KiB
Current children cumulated memory: 856308 KiB
[startup+3701.6 s]
/proc/loadavg: 4.11 4.15 4.09 4/273 94917
/proc/meminfo: memFree=96294620/131250000 swapFree=33010160/33010684
[pid=93635] ppid=93609 vsize=1003724 memory=856308 CPUtime=3471.81 cores=4,6
/proc/93635/stat : 93635 (roundingsat) D 93609 93615 93530 0 -1 4194304 155687 0 0 0 343945 3236 0 0 20 0 1 0 71194696 1027813376 214077 18446744073709551615 4227072 8923433 140724510809600 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9823104 9832592 24481792 140724510812406 140724510812712 140724510812712 140724510818282 0
/proc/93635/statm: 250931 214077 2432 1147 0 238358 0
Current cumulated CPU time of completed processes: 0.811625 s
Current children cumulated CPU time: 3471.81 s
Current children cumulated vsize: 1003724 KiB
Current children cumulated memory: 856308 KiB
[startup+3702 s]*
/proc/loadavg: 4.11 4.15 4.09 4/273 94917
/proc/meminfo: memFree=96286808/131250000 swapFree=33010160/33010684
[pid=93635] ppid=93609 vsize=1003724 memory=856308 CPUtime=3471.81 cores=4,6
/proc/93635/stat : 93635 (roundingsat) D 93609 93615 93530 0 -1 4194304 155687 0 0 0 343945 3236 0 0 20 0 1 0 71194696 1027813376 214077 18446744073709551615 4227072 8923433 140724510809600 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9823104 9832592 24481792 140724510812406 140724510812712 140724510812712 140724510818282 0
/proc/93635/statm: 250931 214077 2432 1147 0 238358 0
Current cumulated CPU time of completed processes: 0.811625 s
Current children cumulated CPU time: 3471.81 s
Current children cumulated vsize: 1003724 KiB
Current children cumulated memory: 856308 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3704.78
CPU time (s): 3472.65
CPU user time (s): 3440.25
CPU system time (s): 32.3953
CPU usage (%): 93.7341
Max. virtual memory (cumulated for all children) (KiB): 1007916
Max. memory (cumulated for all children) (KiB): 859252
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3440.25
system time used= 32.3953
maximum resident set size= 856308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 158793
page faults= 0
swaps= 0
block input operations= 0
block output operations= 12003912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 655
involuntary context switches= 6818
# summary of solver processes directly reported to runsolver:
# pid: 93615,93635
# total CPU time (s): 3472.65
# total CPU user time (s): 3440.25
# total CPU system time (s): 32.3953
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.16428 second user time and 16.9142 second system time
The end
Begin job on nodeC016 at 2025-07-03 17:06:10
IDJOB=4519655
IDBENCH=177345
IDSOLVER=3356
FILE ID=nodeC016/4519655-1751555170
RUNJOBID= nodeC016-1751555170-93570
SLURM_JOB_ID= 9598745
Free space on /tmp= 432884 MiB
SOLVER NAME= roundingsat-ls+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxfirst_lastlayerdiv2/normalized-injcomp_opt_4layers_maxfirst_lastlayerdiv2_size_32.opb
COMMAND LINE= run-opt-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4519655-1751555170/watcher-4519655-1751555170 -o /tmp/evaluation-result-4519655-1751555170/solver-4519655-1751555170 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751555170-93570 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4519655-1751555170.opb PROOFDIR/proof-4519655-1751555170
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4558152054a2b5e07a56681a0171fc0f
RANDOM SEED=184778046
nodeC016 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 : 3602.115
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.48
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.714
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.48
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.744
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.48
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 : 3754.259
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.48
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 : 3656.487
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.48
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.776
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.48
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 : 3599.732
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.48
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 : 3653.831
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.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 129556960 kB
MemAvailable: 129714608 kB
Buffers: 2144 kB
Cached: 925664 kB
SwapCached: 28 kB
Active: 692968 kB
Inactive: 305800 kB
Active(anon): 83816 kB
Inactive(anon): 5288 kB
Active(file): 609152 kB
Inactive(file): 300512 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 29724 kB
Writeback: 0 kB
AnonPages: 74112 kB
Mapped: 104328 kB
Shmem: 18044 kB
KReclaimable: 174448 kB
Slab: 267168 kB
SReclaimable: 174448 kB
SUnreclaim: 92720 kB
KernelStack: 4096 kB
PageTables: 2940 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 334348 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150360 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 18432 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: 201428 kB
DirectMap2M: 7958528 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432852 MiB
End job on nodeC016 at 2025-07-03 18:07:55