0.00/0.01 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01 c │ pbsuma -- a PB interface for satsuma │
0.00/0.01 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.01 c │ (c) 2025 Markus Anders │
0.00/0.01 c └────────────────────────────────────────────────────────────────┘
0.00/0.01 c parse 'HOME/instance-4532503-1752588325.opb'
0.00/0.02 c read 0.21MB (7.57ms)
0.00/0.02 c [cnf: #variables 2130 #clauses 2496 #duplicates 0 #arr 22065]
0.00/0.03 c output proof to 'PROOFDIR/proof-4532503-1752588325'
0.00/0.03 c
0.00/0.03 c make graph and approximate orbits
0.00/0.04 c [group: #orbits ~= 36] (6.85ms)
0.00/0.04 c
0.00/0.04 c detect special group actions
0.00/0.04 c probe for Johnson action (limit=64)
0.00/0.05 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.07 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.07 c recursing 150 blocks of candidate 5x852r
0.00/0.08 c found row 9x10, generating row predicate
0.00/0.09 c found row 5x852, generating row predicate
0.00/0.09 c (54.83ms)
0.00/0.09 c
0.00/0.09 c detect symmetries on remainder
0.00/0.09 c [graph: #vertices 12811 #edges 60500]
0.00/0.09 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.07/0.14 c [group: #symmetries 8.48*10^143 #generators 291] (44.71ms)
0.07/0.14 c
0.07/0.14 c optimize generators (opt_passes=64, conjugate_limit=256)
0.07/0.16 c opt it=15, l=8368, m=232, opt=16, avg=187, b=12, gens=291
0.07/0.18 c opt it=31, l=10019, m=466, opt=36, avg=181, b=12, gens=291
0.07/0.20 c opt it=47, l=11667, m=683, opt=52, avg=177, b=12, gens=291
0.07/0.22 c opt it=63, l=13309, m=875, opt=64, avg=173, b=12, gens=291
0.18/0.23 c ran it=0, +gens=37
0.27/0.35 c con best_support=12, best_gens=240, +gens=251
0.27/0.35 c (214.14ms)
0.27/0.35 c
0.27/0.35 c finalize break order and special generators
0.27/0.35 c
0.27/0.35 c add generic predicates (break_depth=20)
0.27/0.35 c added predicates for 579 generators (2.80ms)
0.57/0.62 c
0.57/0.62 c generation finished
0.57/0.62 c [sbp: #constraints 19508 #add_vars 6385]
0.57/0.62 c
0.57/0.62 c write result to 'HOME/instance-4532503-1752588325.opb.pre'
0.57/0.63 c wrote 0.90MB (6.00ms)
0.57/0.63 c ------------------------------------------------------------------
0.57/0.63 c 277.09ms 44.99% other
0.57/0.63 c 214.14ms 34.77% optimize_gens
0.57/0.63 c 54.83ms 8.90% detect_special
0.57/0.63 c 44.71ms 7.26% detect_generic
0.57/0.63 c 7.56ms 1.23% parse
0.57/0.63 c 6.85ms 1.11% approx_orbits
0.57/0.63 c 6.00ms 0.97% output
0.57/0.63 c 2.80ms 0.46% break_generic
0.57/0.63 c 1.91ms 0.31% finalize_order
0.57/0.63 c ───────────────────────────────────────────────
0.57/0.63 c 615.90ms 100% total
0.57/0.63 c ------------------------------------------------------------------
0.60/2.59 c RoundingSat 2
0.60/2.59 c branch pb25
0.60/2.59 c commit 0f876b3
0.98/3.30 c #variables 8515 #constraints 22036
0.98/3.30 c objective is ce32
0.98/3.30 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.98/3.30 c initial counting CF 32, 64, 128, Arb: 321 , 0 , 0 , 0
0.98/3.30 c bounds - >= 0 @ 0.336023
2.47/4.85 c #Conflicts: 1000 | #Constraints: 23035
2.47/4.85 c #Conflicts: 2000 | #Constraints: 24035
2.47/4.85 c INPROCESSING
2.47/4.85 c GARBAGE COLLECT
2.47/4.85 c rational objective 5
4.56/6.92 c #Conflicts: 3000 | #Constraints: 21851
4.56/6.92 c #Conflicts: 4000 | #Constraints: 22852
4.56/6.92 c INPROCESSING
4.56/6.92 c GARBAGE COLLECT
4.56/6.92 c rational objective 5
6.06/8.49 c #Conflicts: 5000 | #Constraints: 22267
6.06/8.49 c #Conflicts: 6000 | #Constraints: 23270
6.06/8.49 c INPROCESSING
6.06/8.49 c GARBAGE COLLECT
6.06/8.49 c rational objective 5
7.96/10.39 c #Conflicts: 7000 | #Constraints: 22191
7.96/10.39 c #Conflicts: 8000 | #Constraints: 23191
7.96/10.39 c #Conflicts: 9000 | #Constraints: 24192
7.96/10.39 c INPROCESSING
7.96/10.39 c GARBAGE COLLECT
7.96/10.39 c rational objective 5
10.15/12.55 c #Conflicts: 10000 | #Constraints: 22838
10.15/12.55 c #Conflicts: 11000 | #Constraints: 23838
10.15/12.55 c #Conflicts: 12000 | #Constraints: 24838
10.15/12.55 c INPROCESSING
10.15/12.55 c GARBAGE COLLECT
10.15/12.55 c rational objective 5
12.76/15.17 c #Conflicts: 13000 | #Constraints: 23279
12.76/15.17 c #Conflicts: 14000 | #Constraints: 24280
12.76/15.17 c #Conflicts: 15000 | #Constraints: 25281
12.76/15.17 c INPROCESSING
12.76/15.17 c GARBAGE COLLECT
12.76/15.17 c rational objective 5
15.43/17.86 c #Conflicts: 16000 | #Constraints: 23512
15.43/17.86 c #Conflicts: 17000 | #Constraints: 24513
15.43/17.86 c #Conflicts: 18000 | #Constraints: 25514
15.43/17.86 c INPROCESSING
15.43/17.86 c GARBAGE COLLECT
15.43/17.86 c rational objective 5
18.73/21.11 c #Conflicts: 19000 | #Constraints: 23532
18.73/21.11 c #Conflicts: 20000 | #Constraints: 24533
18.73/21.11 c #Conflicts: 21000 | #Constraints: 25533
18.73/21.11 c INPROCESSING
18.73/21.11 c GARBAGE COLLECT
18.73/21.11 c rational objective 5
21.12/23.55 c #Conflicts: 22000 | #Constraints: 23199
21.12/23.55 c #Conflicts: 23000 | #Constraints: 24200
21.12/23.55 c #Conflicts: 24000 | #Constraints: 25203
21.12/23.55 c #Conflicts: 25000 | #Constraints: 26205
21.12/23.55 c INPROCESSING
21.12/23.55 c GARBAGE COLLECT
21.12/23.55 c rational objective 5
24.61/27.10 c #Conflicts: 26000 | #Constraints: 23647
24.61/27.10 c #Conflicts: 27000 | #Constraints: 24648
24.61/27.10 c #Conflicts: 28000 | #Constraints: 25649
24.61/27.10 c #Conflicts: 29000 | #Constraints: 26651
24.61/27.10 c INPROCESSING
24.61/27.10 c GARBAGE COLLECT
24.61/27.10 c rational objective 5
29.08/31.59 c #Conflicts: 30000 | #Constraints: 24037
29.08/31.59 c #Conflicts: 31000 | #Constraints: 25038
29.08/31.59 c #Conflicts: 32000 | #Constraints: 26039
29.08/31.59 c #Conflicts: 33000 | #Constraints: 27040
29.08/31.59 c INPROCESSING
29.08/31.59 c GARBAGE COLLECT
29.08/31.59 c rational objective 5
32.87/35.37 c #Conflicts: 34000 | #Constraints: 24236
32.87/35.37 c #Conflicts: 35000 | #Constraints: 25236
32.87/35.37 c #Conflicts: 36000 | #Constraints: 26237
32.87/35.37 c #Conflicts: 37000 | #Constraints: 27238
32.87/35.37 c INPROCESSING
32.87/35.37 c GARBAGE COLLECT
32.87/35.37 c rational objective 5
36.58/39.02 c #Conflicts: 38000 | #Constraints: 24260
36.58/39.02 c #Conflicts: 39000 | #Constraints: 25260
36.58/39.02 c #Conflicts: 40000 | #Constraints: 26260
36.58/39.02 c #Conflicts: 41000 | #Constraints: 27261
36.58/39.02 c INPROCESSING
36.58/39.02 c GARBAGE COLLECT
36.58/39.02 c rational objective 5
40.56/43.10 c #Conflicts: 42000 | #Constraints: 24055
40.56/43.10 c #Conflicts: 43000 | #Constraints: 25055
40.56/43.10 c #Conflicts: 44000 | #Constraints: 26060
40.56/43.10 c #Conflicts: 45000 | #Constraints: 27061
40.56/43.10 c #Conflicts: 46000 | #Constraints: 28062
40.56/43.10 c INPROCESSING
40.56/43.10 c GARBAGE COLLECT
40.56/43.10 c rational objective 5
44.82/47.33 c #Conflicts: 47000 | #Constraints: 24618
44.82/47.33 c #Conflicts: 48000 | #Constraints: 25618
44.82/47.33 c #Conflicts: 49000 | #Constraints: 26621
44.82/47.33 c #Conflicts: 50000 | #Constraints: 27623
44.82/47.33 c #Conflicts: 51000 | #Constraints: 28626
44.82/47.33 c INPROCESSING
44.82/47.33 c GARBAGE COLLECT
44.82/47.33 c rational objective 5
49.41/51.93 c #Conflicts: 52000 | #Constraints: 25026
49.41/51.93 c #Conflicts: 53000 | #Constraints: 26027
49.41/51.93 c #Conflicts: 54000 | #Constraints: 27028
49.41/51.93 c #Conflicts: 55000 | #Constraints: 28028
49.41/51.93 c #Conflicts: 56000 | #Constraints: 29028
49.41/51.93 c INPROCESSING
49.41/51.93 c GARBAGE COLLECT
49.41/51.93 c rational objective 5
55.50/58.07 c #Conflicts: 57000 | #Constraints: 25216
55.50/58.07 c #Conflicts: 58000 | #Constraints: 26216
55.50/58.07 c #Conflicts: 59000 | #Constraints: 27217
55.50/58.07 c #Conflicts: 60000 | #Constraints: 28217
55.50/58.07 c #Conflicts: 61000 | #Constraints: 29218
55.50/58.07 c INPROCESSING
55.50/58.07 c GARBAGE COLLECT
55.50/58.07 c rational objective 5
60.27/62.81 c #Conflicts: 62000 | #Constraints: 25193
60.27/62.81 c #Conflicts: 63000 | #Constraints: 26194
60.27/62.81 c #Conflicts: 64000 | #Constraints: 27195
60.27/62.81 c #Conflicts: 65000 | #Constraints: 28197
60.27/62.81 c #Conflicts: 66000 | #Constraints: 29202
60.27/62.81 c INPROCESSING
60.27/62.81 c GARBAGE COLLECT
60.27/62.81 c rational objective 5
65.24/67.82 c #Conflicts: 67000 | #Constraints: 24952
65.24/67.82 c #Conflicts: 68000 | #Constraints: 25953
65.24/67.82 c #Conflicts: 69000 | #Constraints: 26955
65.24/67.82 c #Conflicts: 70000 | #Constraints: 27957
65.24/67.82 c #Conflicts: 71000 | #Constraints: 28959
65.24/67.82 c #Conflicts: 72000 | #Constraints: 29964
65.24/67.82 c INPROCESSING
65.24/67.82 c GARBAGE COLLECT
65.24/67.82 c rational objective 5
69.92/72.54 c #Conflicts: 73000 | #Constraints: 25535
69.92/72.54 c #Conflicts: 74000 | #Constraints: 26535
69.92/72.54 c #Conflicts: 75000 | #Constraints: 27535
69.92/72.54 c #Conflicts: 76000 | #Constraints: 28535
69.92/72.54 c #Conflicts: 77000 | #Constraints: 29536
69.92/72.54 c #Conflicts: 78000 | #Constraints: 30536
69.92/72.54 c INPROCESSING
69.92/72.54 c GARBAGE COLLECT
69.92/72.54 c rational objective 5
74.90/77.52 c #Conflicts: 79000 | #Constraints: 25940
74.90/77.52 c #Conflicts: 80000 | #Constraints: 26940
74.90/77.52 c #Conflicts: 81000 | #Constraints: 27940
74.90/77.52 c #Conflicts: 82000 | #Constraints: 28940
74.90/77.52 c #Conflicts: 83000 | #Constraints: 29943
74.90/77.52 c #Conflicts: 84000 | #Constraints: 30944
74.90/77.52 c INPROCESSING
74.90/77.52 c GARBAGE COLLECT
74.90/77.52 c rational objective 5
81.05/83.71 c #Conflicts: 85000 | #Constraints: 26115
81.05/83.71 c #Conflicts: 86000 | #Constraints: 27115
81.05/83.71 c #Conflicts: 87000 | #Constraints: 28117
81.05/83.71 c #Conflicts: 88000 | #Constraints: 29121
81.05/83.71 c #Conflicts: 89000 | #Constraints: 30122
81.05/83.71 c #Conflicts: 90000 | #Constraints: 31126
81.05/83.71 c INPROCESSING
81.05/83.71 c GARBAGE COLLECT
81.05/83.71 c rational objective 5
89.10/91.86 c #Conflicts: 91000 | #Constraints: 26101
89.10/91.86 c #Conflicts: 92000 | #Constraints: 27101
89.10/91.86 c #Conflicts: 93000 | #Constraints: 28103
89.10/91.86 c #Conflicts: 94000 | #Constraints: 29105
89.10/91.86 c #Conflicts: 95000 | #Constraints: 30106
89.10/91.86 c #Conflicts: 96000 | #Constraints: 31106
89.10/91.86 c INPROCESSING
89.10/91.86 c GARBAGE COLLECT
89.10/91.86 c rational objective 5
96.95/99.73 c #Conflicts: 97000 | #Constraints: 25839
96.95/99.73 c #Conflicts: 98000 | #Constraints: 26842
96.95/99.73 c #Conflicts: 99000 | #Constraints: 27845
96.95/99.73 c #Conflicts: 100000 | #Constraints: 28847
96.95/99.73 c #Conflicts: 101000 | #Constraints: 29850
96.95/99.73 c #Conflicts: 102000 | #Constraints: 30852
96.95/99.73 c #Conflicts: 103000 | #Constraints: 31855
96.95/99.73 c INPROCESSING
96.95/99.73 c GARBAGE COLLECT
96.95/99.73 c rational objective 5
103.59/106.46 c #Conflicts: 104000 | #Constraints: 26391
103.59/106.46 c #Conflicts: 105000 | #Constraints: 27393
103.59/106.46 c #Conflicts: 106000 | #Constraints: 28395
103.59/106.46 c #Conflicts: 107000 | #Constraints: 29396
103.59/106.46 c #Conflicts: 108000 | #Constraints: 30398
103.59/106.46 c #Conflicts: 109000 | #Constraints: 31399
103.59/106.46 c #Conflicts: 110000 | #Constraints: 32400
103.59/106.46 c INPROCESSING
103.59/106.46 c GARBAGE COLLECT
103.59/106.46 c rational objective 5
111.60/114.58 c #Conflicts: 111000 | #Constraints: 26778
111.60/114.58 c #Conflicts: 112000 | #Constraints: 27779
111.60/114.58 c #Conflicts: 113000 | #Constraints: 28779
111.60/114.58 c #Conflicts: 114000 | #Constraints: 29782
111.60/114.58 c #Conflicts: 115000 | #Constraints: 30786
111.60/114.58 c #Conflicts: 116000 | #Constraints: 31787
111.60/114.58 c #Conflicts: 117000 | #Constraints: 32790
111.60/114.58 c INPROCESSING
111.60/114.58 c GARBAGE COLLECT
111.60/114.58 c rational objective 5
120.27/123.27 c #Conflicts: 118000 | #Constraints: 26951
120.27/123.27 c #Conflicts: 119000 | #Constraints: 27953
120.27/123.27 c #Conflicts: 120000 | #Constraints: 28957
120.27/123.27 c #Conflicts: 121000 | #Constraints: 29962
120.27/123.27 c #Conflicts: 122000 | #Constraints: 30964
120.27/123.27 c #Conflicts: 123000 | #Constraints: 31965
120.27/123.27 c #Conflicts: 124000 | #Constraints: 32965
120.27/123.27 c INPROCESSING
120.27/123.27 c GARBAGE COLLECT
120.27/123.27 c rational objective 5
127.06/130.04 c #Conflicts: 125000 | #Constraints: 26853
127.06/130.04 c #Conflicts: 126000 | #Constraints: 27855
127.06/130.04 c #Conflicts: 127000 | #Constraints: 28857
127.06/130.04 c #Conflicts: 128000 | #Constraints: 29861
127.06/130.04 c #Conflicts: 129000 | #Constraints: 30864
127.06/130.04 c #Conflicts: 130000 | #Constraints: 31868
127.06/130.04 c #Conflicts: 131000 | #Constraints: 32869
127.06/130.04 c INPROCESSING
127.06/130.04 c GARBAGE COLLECT
127.06/130.04 c rational objective 5
134.14/137.15 c #Conflicts: 132000 | #Constraints: 26576
134.14/137.15 c #Conflicts: 133000 | #Constraints: 27576
134.14/137.15 c #Conflicts: 134000 | #Constraints: 28576
134.14/137.15 c #Conflicts: 135000 | #Constraints: 29578
134.14/137.15 c #Conflicts: 136000 | #Constraints: 30581
134.14/137.15 c #Conflicts: 137000 | #Constraints: 31583
134.14/137.15 c #Conflicts: 138000 | #Constraints: 32587
134.14/137.15 c #Conflicts: 139000 | #Constraints: 33590
134.14/137.15 c INPROCESSING
134.14/137.15 c GARBAGE COLLECT
134.14/137.15 c rational objective 5
145.48/148.59 c #Conflicts: 140000 | #Constraints: 27171
145.48/148.59 c #Conflicts: 141000 | #Constraints: 28175
145.48/148.59 c #Conflicts: 142000 | #Constraints: 29177
145.48/148.59 c #Conflicts: 143000 | #Constraints: 30178
145.48/148.59 c #Conflicts: 144000 | #Constraints: 31180
145.48/148.59 c #Conflicts: 145000 | #Constraints: 32181
145.48/148.59 c #Conflicts: 146000 | #Constraints: 33181
145.48/148.59 c #Conflicts: 147000 | #Constraints: 34182
145.48/148.59 c INPROCESSING
145.48/148.59 c GARBAGE COLLECT
145.48/148.59 c rational objective 5
154.06/157.15 c #Conflicts: 148000 | #Constraints: 27630
154.06/157.15 c #Conflicts: 149000 | #Constraints: 28631
154.06/157.15 c #Conflicts: 150000 | #Constraints: 29635
154.06/157.15 c #Conflicts: 151000 | #Constraints: 30641
154.06/157.15 c #Conflicts: 152000 | #Constraints: 31643
154.06/157.15 c #Conflicts: 153000 | #Constraints: 32646
154.06/157.15 c #Conflicts: 154000 | #Constraints: 33647
154.06/157.15 c #Conflicts: 155000 | #Constraints: 34647
154.06/157.15 c INPROCESSING
154.06/157.15 c GARBAGE COLLECT
154.06/157.15 c rational objective 5
162.03/165.17 c #Conflicts: 156000 | #Constraints: 27709
162.03/165.17 c #Conflicts: 157000 | #Constraints: 28710
162.03/165.17 c #Conflicts: 158000 | #Constraints: 29712
162.03/165.17 c #Conflicts: 159000 | #Constraints: 30715
162.03/165.17 c #Conflicts: 160000 | #Constraints: 31715
162.03/165.17 c #Conflicts: 161000 | #Constraints: 32717
162.03/165.17 c #Conflicts: 162000 | #Constraints: 33718
162.03/165.17 c #Conflicts: 163000 | #Constraints: 34720
162.03/165.17 c INPROCESSING
162.03/165.17 c GARBAGE COLLECT
162.03/165.17 c rational objective 5
173.00/176.20 c #Conflicts: 164000 | #Constraints: 27690
173.00/176.20 c #Conflicts: 165000 | #Constraints: 28691
173.00/176.20 c #Conflicts: 166000 | #Constraints: 29692
173.00/176.20 c #Conflicts: 167000 | #Constraints: 30693
173.00/176.20 c #Conflicts: 168000 | #Constraints: 31695
173.00/176.20 c #Conflicts: 169000 | #Constraints: 32695
173.00/176.20 c #Conflicts: 170000 | #Constraints: 33695
173.00/176.20 c #Conflicts: 171000 | #Constraints: 34696
173.00/176.20 c INPROCESSING
173.00/176.20 c GARBAGE COLLECT
173.00/176.20 c rational objective 5
182.94/186.27 c #Conflicts: 172000 | #Constraints: 27457
182.94/186.27 c #Conflicts: 173000 | #Constraints: 28458
182.94/186.27 c #Conflicts: 174000 | #Constraints: 29459
182.94/186.27 c #Conflicts: 175000 | #Constraints: 30459
182.94/186.27 c #Conflicts: 176000 | #Constraints: 31460
182.94/186.27 c #Conflicts: 177000 | #Constraints: 32461
182.94/186.27 c #Conflicts: 178000 | #Constraints: 33463
182.94/186.27 c #Conflicts: 179000 | #Constraints: 34463
182.94/186.27 c #Conflicts: 180000 | #Constraints: 35464
182.94/186.27 c INPROCESSING
182.94/186.27 c GARBAGE COLLECT
182.94/186.27 c rational objective 5
193.40/196.78 c #Conflicts: 181000 | #Constraints: 28027
193.40/196.78 c #Conflicts: 182000 | #Constraints: 29028
193.40/196.78 c #Conflicts: 183000 | #Constraints: 30028
193.40/196.78 c #Conflicts: 184000 | #Constraints: 31030
193.40/196.78 c #Conflicts: 185000 | #Constraints: 32034
193.40/196.78 c #Conflicts: 186000 | #Constraints: 33036
193.40/196.78 c #Conflicts: 187000 | #Constraints: 34038
193.40/196.78 c #Conflicts: 188000 | #Constraints: 35040
193.40/196.78 c #Conflicts: 189000 | #Constraints: 36040
193.40/196.78 c INPROCESSING
193.40/196.78 c GARBAGE COLLECT
193.40/196.78 c rational objective 5
202.86/206.24 c #Conflicts: 190000 | #Constraints: 28416
202.86/206.24 c #Conflicts: 191000 | #Constraints: 29419
202.86/206.24 c #Conflicts: 192000 | #Constraints: 30420
202.86/206.24 c #Conflicts: 193000 | #Constraints: 31422
202.86/206.24 c #Conflicts: 194000 | #Constraints: 32423
202.86/206.24 c #Conflicts: 195000 | #Constraints: 33423
202.86/206.24 c #Conflicts: 196000 | #Constraints: 34424
202.86/206.24 c #Conflicts: 197000 | #Constraints: 35427
202.86/206.24 c #Conflicts: 198000 | #Constraints: 36428
202.86/206.24 c INPROCESSING
202.86/206.24 c GARBAGE COLLECT
202.86/206.24 c rational objective 5
214.03/217.48 c #Conflicts: 199000 | #Constraints: 28621
214.03/217.48 c #Conflicts: 200000 | #Constraints: 29622
214.03/217.48 c #Conflicts: 201000 | #Constraints: 30623
214.03/217.48 c #Conflicts: 202000 | #Constraints: 31625
214.03/217.48 c #Conflicts: 203000 | #Constraints: 32626
214.03/217.48 c #Conflicts: 204000 | #Constraints: 33629
214.03/217.48 c #Conflicts: 205000 | #Constraints: 34630
214.03/217.48 c #Conflicts: 206000 | #Constraints: 35633
214.03/217.48 c #Conflicts: 207000 | #Constraints: 36636
214.03/217.48 c INPROCESSING
214.03/217.48 c GARBAGE COLLECT
214.03/217.48 c rational objective 5
224.78/228.23 c #Conflicts: 208000 | #Constraints: 28627
224.78/228.23 c #Conflicts: 209000 | #Constraints: 29627
224.78/228.23 c #Conflicts: 210000 | #Constraints: 30628
224.78/228.23 c #Conflicts: 211000 | #Constraints: 31630
224.78/228.23 c #Conflicts: 212000 | #Constraints: 32633
224.78/228.23 c #Conflicts: 213000 | #Constraints: 33637
224.78/228.23 c #Conflicts: 214000 | #Constraints: 34638
224.78/228.23 c #Conflicts: 215000 | #Constraints: 35640
224.78/228.23 c #Conflicts: 216000 | #Constraints: 36642
224.78/228.23 c INPROCESSING
224.78/228.23 c GARBAGE COLLECT
224.78/228.23 c rational objective 5
250.69/254.21 c #Conflicts: 217000 | #Constraints: 28485
250.69/254.21 c #Conflicts: 218000 | #Constraints: 29487
250.69/254.21 c #Conflicts: 219000 | #Constraints: 30488
250.69/254.21 c #Conflicts: 220000 | #Constraints: 31488
250.69/254.21 c #Conflicts: 221000 | #Constraints: 32488
250.69/254.21 c #Conflicts: 222000 | #Constraints: 33489
250.69/254.21 c #Conflicts: 223000 | #Constraints: 34490
250.69/254.21 c #Conflicts: 224000 | #Constraints: 35490
250.69/254.21 c #Conflicts: 225000 | #Constraints: 36490
250.69/254.21 c #Conflicts: 226000 | #Constraints: 37491
250.69/254.21 c INPROCESSING
250.69/254.21 c GARBAGE COLLECT
250.69/254.21 c #Conflicts: 227000 | #Constraints: 28981
250.69/254.21 c #Conflicts: 228000 | #Constraints: 29981
250.69/254.21 c #Conflicts: 229000 | #Constraints: 30981
250.69/254.21 c #Conflicts: 230000 | #Constraints: 31982
250.69/254.21 c #Conflicts: 231000 | #Constraints: 32982
250.69/254.21 c #Conflicts: 232000 | #Constraints: 33982
250.69/254.21 c #Conflicts: 233000 | #Constraints: 34982
250.69/254.21 c #Conflicts: 234000 | #Constraints: 35982
250.69/254.21 c #Conflicts: 235000 | #Constraints: 36982
250.69/254.21 c #Conflicts: 236000 | #Constraints: 37983
250.69/254.21 c INPROCESSING
250.69/254.21 c GARBAGE COLLECT
250.69/254.21 c rational objective 5
260.05/263.66 c #Conflicts: 237000 | #Constraints: 29344
260.05/263.66 c #Conflicts: 238000 | #Constraints: 30344
260.05/263.66 c #Conflicts: 239000 | #Constraints: 31344
260.05/263.66 c #Conflicts: 240000 | #Constraints: 32344
260.05/263.66 c #Conflicts: 241000 | #Constraints: 33344
260.05/263.66 c #Conflicts: 242000 | #Constraints: 34345
260.05/263.66 c #Conflicts: 243000 | #Constraints: 35348
260.05/263.66 c #Conflicts: 244000 | #Constraints: 36349
260.05/263.66 c #Conflicts: 245000 | #Constraints: 37353
260.05/263.66 c #Conflicts: 246000 | #Constraints: 38356
260.05/263.66 c INPROCESSING
260.05/263.66 c GARBAGE COLLECT
260.05/263.66 c rational objective 5
272.51/276.11 c #Conflicts: 247000 | #Constraints: 29525
272.51/276.11 c #Conflicts: 248000 | #Constraints: 30530
272.51/276.11 c #Conflicts: 249000 | #Constraints: 31532
272.51/276.11 c #Conflicts: 250000 | #Constraints: 32534
272.51/276.11 c #Conflicts: 251000 | #Constraints: 33535
272.51/276.11 c #Conflicts: 252000 | #Constraints: 34536
272.51/276.11 c #Conflicts: 253000 | #Constraints: 35538
272.51/276.11 c #Conflicts: 254000 | #Constraints: 36540
272.51/276.11 c #Conflicts: 255000 | #Constraints: 37541
272.51/276.11 c #Conflicts: 256000 | #Constraints: 38541
272.51/276.11 c INPROCESSING
272.51/276.11 c GARBAGE COLLECT
272.51/276.11 c rational objective 5
284.75/288.41 c #Conflicts: 257000 | #Constraints: 29328
284.75/288.41 c #Conflicts: 258000 | #Constraints: 30328
284.75/288.41 c #Conflicts: 259000 | #Constraints: 31332
284.75/288.41 c #Conflicts: 260000 | #Constraints: 32333
284.75/288.41 c #Conflicts: 261000 | #Constraints: 33334
284.75/288.41 c #Conflicts: 262000 | #Constraints: 34335
284.75/288.41 c #Conflicts: 263000 | #Constraints: 35336
284.75/288.41 c #Conflicts: 264000 | #Constraints: 36340
284.75/288.41 c #Conflicts: 265000 | #Constraints: 37343
284.75/288.41 c #Conflicts: 266000 | #Constraints: 38344
284.75/288.41 c INPROCESSING
284.75/288.41 c GARBAGE COLLECT
284.75/288.41 c rational objective 5
294.62/298.38 c #Conflicts: 267000 | #Constraints: 29025
294.62/298.38 c #Conflicts: 268000 | #Constraints: 30025
294.62/298.38 c #Conflicts: 269000 | #Constraints: 31025
294.62/298.38 c #Conflicts: 270000 | #Constraints: 32027
294.62/298.38 c #Conflicts: 271000 | #Constraints: 33027
294.62/298.38 c #Conflicts: 272000 | #Constraints: 34030
294.62/298.38 c #Conflicts: 273000 | #Constraints: 35030
294.62/298.38 c #Conflicts: 274000 | #Constraints: 36031
294.62/298.38 c #Conflicts: 275000 | #Constraints: 37032
294.62/298.38 c #Conflicts: 276000 | #Constraints: 38033
294.62/298.38 c #Conflicts: 277000 | #Constraints: 39035
294.62/298.38 c INPROCESSING
294.62/298.38 c GARBAGE COLLECT
294.62/298.38 c rational objective 5
305.38/309.15 c #Conflicts: 278000 | #Constraints: 29610
305.38/309.15 c #Conflicts: 279000 | #Constraints: 30610
305.38/309.15 c #Conflicts: 280000 | #Constraints: 31616
305.38/309.15 c #Conflicts: 281000 | #Constraints: 32621
305.38/309.15 c #Conflicts: 282000 | #Constraints: 33630
305.38/309.15 c #Conflicts: 283000 | #Constraints: 34635
305.38/309.15 c #Conflicts: 284000 | #Constraints: 35644
305.38/309.15 c #Conflicts: 285000 | #Constraints: 36646
305.38/309.15 c #Conflicts: 286000 | #Constraints: 37647
305.38/309.15 c #Conflicts: 287000 | #Constraints: 38650
305.38/309.15 c #Conflicts: 288000 | #Constraints: 39654
305.38/309.15 c INPROCESSING
305.38/309.15 c GARBAGE COLLECT
305.38/309.15 c rational objective 5
321.51/325.34 c #Conflicts: 289000 | #Constraints: 30029
321.51/325.34 c #Conflicts: 290000 | #Constraints: 31030
321.51/325.34 c #Conflicts: 291000 | #Constraints: 32031
321.51/325.34 c #Conflicts: 292000 | #Constraints: 33033
321.51/325.34 c #Conflicts: 293000 | #Constraints: 34035
321.51/325.34 c #Conflicts: 294000 | #Constraints: 35038
321.51/325.34 c #Conflicts: 295000 | #Constraints: 36038
321.51/325.34 c #Conflicts: 296000 | #Constraints: 37040
321.51/325.34 c #Conflicts: 297000 | #Constraints: 38040
321.51/325.34 c #Conflicts: 298000 | #Constraints: 39042
321.51/325.34 c #Conflicts: 299000 | #Constraints: 40044
321.51/325.34 c INPROCESSING
321.51/325.34 c GARBAGE COLLECT
321.51/325.34 c rational objective 5
334.05/337.98 c #Conflicts: 300000 | #Constraints: 30203
334.05/337.98 c #Conflicts: 301000 | #Constraints: 31203
334.05/337.98 c #Conflicts: 302000 | #Constraints: 32206
334.05/337.98 c #Conflicts: 303000 | #Constraints: 33209
334.05/337.98 c #Conflicts: 304000 | #Constraints: 34214
334.05/337.98 c #Conflicts: 305000 | #Constraints: 35217
334.05/337.98 c #Conflicts: 306000 | #Constraints: 36218
334.05/337.98 c #Conflicts: 307000 | #Constraints: 37219
334.05/337.98 c #Conflicts: 308000 | #Constraints: 38220
334.05/337.98 c #Conflicts: 309000 | #Constraints: 39221
334.05/337.98 c #Conflicts: 310000 | #Constraints: 40221
334.05/337.98 c INPROCESSING
334.05/337.98 c GARBAGE COLLECT
334.05/337.98 c rational objective 5
349.49/353.42 c #Conflicts: 311000 | #Constraints: 30222
349.49/353.42 c #Conflicts: 312000 | #Constraints: 31222
349.49/353.42 c #Conflicts: 313000 | #Constraints: 32223
349.49/353.42 c #Conflicts: 314000 | #Constraints: 33223
349.49/353.42 c #Conflicts: 315000 | #Constraints: 34223
349.49/353.42 c #Conflicts: 316000 | #Constraints: 35224
349.49/353.42 c #Conflicts: 317000 | #Constraints: 36227
349.49/353.42 c #Conflicts: 318000 | #Constraints: 37229
349.49/353.42 c #Conflicts: 319000 | #Constraints: 38230
349.49/353.42 c #Conflicts: 320000 | #Constraints: 39231
349.49/353.42 c #Conflicts: 321000 | #Constraints: 40233
349.49/353.42 c INPROCESSING
349.49/353.42 c GARBAGE COLLECT
349.49/353.42 c rational objective 5
361.34/365.36 c #Conflicts: 322000 | #Constraints: 29995
361.34/365.36 c #Conflicts: 323000 | #Constraints: 30995
361.34/365.36 c #Conflicts: 324000 | #Constraints: 31996
361.34/365.36 c #Conflicts: 325000 | #Constraints: 32998
361.34/365.36 c #Conflicts: 326000 | #Constraints: 34001
361.34/365.36 c #Conflicts: 327000 | #Constraints: 35004
361.34/365.36 c #Conflicts: 328000 | #Constraints: 36009
361.34/365.36 c #Conflicts: 329000 | #Constraints: 37010
361.34/365.36 c #Conflicts: 330000 | #Constraints: 38013
361.34/365.36 c #Conflicts: 331000 | #Constraints: 39013
361.34/365.36 c #Conflicts: 332000 | #Constraints: 40015
361.34/365.36 c #Conflicts: 333000 | #Constraints: 41016
361.34/365.36 c INPROCESSING
361.34/365.36 c GARBAGE COLLECT
361.34/365.36 c rational objective 5
374.79/378.85 c #Conflicts: 334000 | #Constraints: 30586
374.79/378.85 c #Conflicts: 335000 | #Constraints: 31587
374.79/378.85 c #Conflicts: 336000 | #Constraints: 32592
374.79/378.85 c #Conflicts: 337000 | #Constraints: 33599
374.79/378.85 c #Conflicts: 338000 | #Constraints: 34602
374.79/378.85 c #Conflicts: 339000 | #Constraints: 35603
374.79/378.85 c #Conflicts: 340000 | #Constraints: 36603
374.79/378.85 c #Conflicts: 341000 | #Constraints: 37610
374.79/378.85 c #Conflicts: 342000 | #Constraints: 38613
374.79/378.85 c #Conflicts: 343000 | #Constraints: 39614
374.79/378.85 c #Conflicts: 344000 | #Constraints: 40616
374.79/378.85 c #Conflicts: 345000 | #Constraints: 41618
374.79/378.85 c INPROCESSING
374.79/378.85 c GARBAGE COLLECT
374.79/378.85 c rational objective 5
393.41/397.57 c #Conflicts: 346000 | #Constraints: 30984
393.41/397.57 c #Conflicts: 347000 | #Constraints: 31985
393.41/397.57 c #Conflicts: 348000 | #Constraints: 32987
393.41/397.57 c #Conflicts: 349000 | #Constraints: 33989
393.41/397.57 c #Conflicts: 350000 | #Constraints: 34989
393.41/397.57 c #Conflicts: 351000 | #Constraints: 35990
393.41/397.57 c #Conflicts: 352000 | #Constraints: 36991
393.41/397.57 c #Conflicts: 353000 | #Constraints: 37992
393.41/397.57 c #Conflicts: 354000 | #Constraints: 38992
393.41/397.57 c #Conflicts: 355000 | #Constraints: 39993
393.41/397.57 c #Conflicts: 356000 | #Constraints: 40994
393.41/397.57 c #Conflicts: 357000 | #Constraints: 41995
393.41/397.57 c INPROCESSING
393.41/397.57 c GARBAGE COLLECT
393.41/397.57 c rational objective 5
408.36/412.57 c #Conflicts: 358000 | #Constraints: 31177
408.36/412.57 c #Conflicts: 359000 | #Constraints: 32180
408.36/412.57 c #Conflicts: 360000 | #Constraints: 33185
408.36/412.57 c #Conflicts: 361000 | #Constraints: 34188
408.36/412.57 c #Conflicts: 362000 | #Constraints: 35189
408.36/412.57 c #Conflicts: 363000 | #Constraints: 36190
408.36/412.57 c #Conflicts: 364000 | #Constraints: 37192
408.36/412.57 c #Conflicts: 365000 | #Constraints: 38192
408.36/412.57 c #Conflicts: 366000 | #Constraints: 39193
408.36/412.57 c #Conflicts: 367000 | #Constraints: 40194
408.36/412.57 c #Conflicts: 368000 | #Constraints: 41195
408.36/412.57 c #Conflicts: 369000 | #Constraints: 42196
408.36/412.57 c INPROCESSING
408.36/412.57 c GARBAGE COLLECT
408.36/412.57 c rational objective 5
427.37/431.60 c #Conflicts: 370000 | #Constraints: 31176
427.37/431.60 c #Conflicts: 371000 | #Constraints: 32178
427.37/431.60 c #Conflicts: 372000 | #Constraints: 33182
427.37/431.60 c #Conflicts: 373000 | #Constraints: 34186
427.37/431.60 c #Conflicts: 374000 | #Constraints: 35190
427.37/431.60 c #Conflicts: 375000 | #Constraints: 36194
427.37/431.60 c #Conflicts: 376000 | #Constraints: 37196
427.37/431.60 c #Conflicts: 377000 | #Constraints: 38200
427.37/431.60 c #Conflicts: 378000 | #Constraints: 39204
427.37/431.60 c #Conflicts: 379000 | #Constraints: 40207
427.37/431.60 c #Conflicts: 380000 | #Constraints: 41210
427.37/431.60 c #Conflicts: 381000 | #Constraints: 42211
427.37/431.60 c INPROCESSING
427.37/431.60 c GARBAGE COLLECT
427.37/431.60 c rational objective 5
440.63/444.91 c #Conflicts: 382000 | #Constraints: 30961
440.63/444.91 c #Conflicts: 383000 | #Constraints: 31961
440.63/444.91 c #Conflicts: 384000 | #Constraints: 32961
440.63/444.91 c #Conflicts: 385000 | #Constraints: 33961
440.63/444.91 c #Conflicts: 386000 | #Constraints: 34962
440.63/444.91 c #Conflicts: 387000 | #Constraints: 35964
440.63/444.91 c #Conflicts: 388000 | #Constraints: 36966
440.63/444.91 c #Conflicts: 389000 | #Constraints: 37972
440.63/444.91 c #Conflicts: 390000 | #Constraints: 38973
440.63/444.91 c #Conflicts: 391000 | #Constraints: 39974
440.63/444.91 c #Conflicts: 392000 | #Constraints: 40978
440.63/444.91 c #Conflicts: 393000 | #Constraints: 41979
440.63/444.91 c #Conflicts: 394000 | #Constraints: 42981
440.63/444.91 c INPROCESSING
440.63/444.91 c GARBAGE COLLECT
440.63/444.91 c rational objective 5
459.16/463.57 c #Conflicts: 395000 | #Constraints: 31572
459.16/463.57 c #Conflicts: 396000 | #Constraints: 32575
459.16/463.57 c #Conflicts: 397000 | #Constraints: 33580
459.16/463.57 c #Conflicts: 398000 | #Constraints: 34584
459.16/463.57 c #Conflicts: 399000 | #Constraints: 35588
459.16/463.57 c #Conflicts: 400000 | #Constraints: 36595
459.16/463.57 c #Conflicts: 401000 | #Constraints: 37599
459.16/463.57 c #Conflicts: 402000 | #Constraints: 38600
459.16/463.57 c #Conflicts: 403000 | #Constraints: 39600
459.16/463.57 c #Conflicts: 404000 | #Constraints: 40602
459.16/463.57 c #Conflicts: 405000 | #Constraints: 41603
459.16/463.57 c #Conflicts: 406000 | #Constraints: 42606
459.16/463.57 c #Conflicts: 407000 | #Constraints: 43608
459.16/463.57 c INPROCESSING
459.16/463.57 c GARBAGE COLLECT
459.16/463.57 c rational objective 5
480.06/484.52 c #Conflicts: 408000 | #Constraints: 31949
480.06/484.52 c #Conflicts: 409000 | #Constraints: 32954
480.06/484.52 c #Conflicts: 410000 | #Constraints: 33954
480.06/484.52 c #Conflicts: 411000 | #Constraints: 34957
480.06/484.52 c #Conflicts: 412000 | #Constraints: 35958
480.06/484.52 c #Conflicts: 413000 | #Constraints: 36960
480.06/484.52 c #Conflicts: 414000 | #Constraints: 37960
480.06/484.52 c #Conflicts: 415000 | #Constraints: 38962
480.06/484.52 c #Conflicts: 416000 | #Constraints: 39964
480.06/484.52 c #Conflicts: 417000 | #Constraints: 40964
480.06/484.52 c #Conflicts: 418000 | #Constraints: 41965
480.06/484.52 c #Conflicts: 419000 | #Constraints: 42967
480.06/484.52 c #Conflicts: 420000 | #Constraints: 43968
480.06/484.52 c INPROCESSING
480.06/484.52 c GARBAGE COLLECT
480.06/484.52 c rational objective 5
497.70/502.27 c #Conflicts: 421000 | #Constraints: 32035
497.70/502.27 c #Conflicts: 422000 | #Constraints: 33036
497.70/502.27 c #Conflicts: 423000 | #Constraints: 34038
497.70/502.27 c #Conflicts: 424000 | #Constraints: 35040
497.70/502.27 c #Conflicts: 425000 | #Constraints: 36042
497.70/502.27 c #Conflicts: 426000 | #Constraints: 37042
497.70/502.27 c #Conflicts: 427000 | #Constraints: 38044
497.70/502.27 c #Conflicts: 428000 | #Constraints: 39044
497.70/502.27 c #Conflicts: 429000 | #Constraints: 40045
497.70/502.27 c #Conflicts: 430000 | #Constraints: 41046
497.70/502.27 c #Conflicts: 431000 | #Constraints: 42047
497.70/502.27 c #Conflicts: 432000 | #Constraints: 43048
497.70/502.27 c #Conflicts: 433000 | #Constraints: 44048
497.70/502.27 c INPROCESSING
497.70/502.27 c GARBAGE COLLECT
497.70/502.27 c rational objective 5
519.61/524.27 c #Conflicts: 434000 | #Constraints: 32037
519.61/524.27 c #Conflicts: 435000 | #Constraints: 33038
519.61/524.27 c #Conflicts: 436000 | #Constraints: 34041
519.61/524.27 c #Conflicts: 437000 | #Constraints: 35043
519.61/524.27 c #Conflicts: 438000 | #Constraints: 36045
519.61/524.27 c #Conflicts: 439000 | #Constraints: 37046
519.61/524.27 c #Conflicts: 440000 | #Constraints: 38047
519.61/524.27 c #Conflicts: 441000 | #Constraints: 39050
519.61/524.27 c #Conflicts: 442000 | #Constraints: 40052
519.61/524.27 c #Conflicts: 443000 | #Constraints: 41052
519.61/524.27 c #Conflicts: 444000 | #Constraints: 42053
519.61/524.27 c #Conflicts: 445000 | #Constraints: 43055
519.61/524.27 c #Conflicts: 446000 | #Constraints: 44057
519.61/524.27 c INPROCESSING
519.61/524.27 c GARBAGE COLLECT
519.61/524.27 c rational objective 5
533.48/538.18 c #Conflicts: 447000 | #Constraints: 31843
533.48/538.18 c #Conflicts: 448000 | #Constraints: 32843
533.48/538.18 c #Conflicts: 449000 | #Constraints: 33844
533.48/538.18 c #Conflicts: 450000 | #Constraints: 34846
533.48/538.18 c #Conflicts: 451000 | #Constraints: 35847
533.48/538.18 c #Conflicts: 452000 | #Constraints: 36848
533.48/538.18 c #Conflicts: 453000 | #Constraints: 37849
533.48/538.18 c #Conflicts: 454000 | #Constraints: 38850
533.48/538.18 c #Conflicts: 455000 | #Constraints: 39850
533.48/538.18 c #Conflicts: 456000 | #Constraints: 40851
533.48/538.18 c #Conflicts: 457000 | #Constraints: 41853
533.48/538.18 c #Conflicts: 458000 | #Constraints: 42856
533.48/538.18 c #Conflicts: 459000 | #Constraints: 43859
533.48/538.18 c #Conflicts: 460000 | #Constraints: 44859
533.48/538.18 c INPROCESSING
533.48/538.18 c GARBAGE COLLECT
533.48/538.18 c rational objective 5
553.89/558.67 c #Conflicts: 461000 | #Constraints: 32448
553.89/558.67 c #Conflicts: 462000 | #Constraints: 33448
553.89/558.67 c #Conflicts: 463000 | #Constraints: 34449
553.89/558.67 c #Conflicts: 464000 | #Constraints: 35450
553.89/558.67 c #Conflicts: 465000 | #Constraints: 36454
553.89/558.67 c #Conflicts: 466000 | #Constraints: 37455
553.89/558.67 c #Conflicts: 467000 | #Constraints: 38456
553.89/558.67 c #Conflicts: 468000 | #Constraints: 39458
553.89/558.67 c #Conflicts: 469000 | #Constraints: 40461
553.89/558.67 c #Conflicts: 470000 | #Constraints: 41461
553.89/558.67 c #Conflicts: 471000 | #Constraints: 42463
553.89/558.67 c #Conflicts: 472000 | #Constraints: 43465
553.89/558.67 c #Conflicts: 473000 | #Constraints: 44467
553.89/558.67 c #Conflicts: 474000 | #Constraints: 45469
553.89/558.67 c INPROCESSING
553.89/558.67 c GARBAGE COLLECT
553.89/558.67 c rational objective 5
568.63/573.46 c #Conflicts: 475000 | #Constraints: 32855
568.63/573.46 c #Conflicts: 476000 | #Constraints: 33855
568.63/573.46 c #Conflicts: 477000 | #Constraints: 34855
568.63/573.46 c #Conflicts: 478000 | #Constraints: 35857
568.63/573.46 c #Conflicts: 479000 | #Constraints: 36859
568.63/573.46 c #Conflicts: 480000 | #Constraints: 37860
568.63/573.46 c #Conflicts: 481000 | #Constraints: 38863
568.63/573.46 c #Conflicts: 482000 | #Constraints: 39870
568.63/573.46 c #Conflicts: 483000 | #Constraints: 40872
568.63/573.46 c #Conflicts: 484000 | #Constraints: 41874
568.63/573.46 c #Conflicts: 485000 | #Constraints: 42875
568.63/573.46 c #Conflicts: 486000 | #Constraints: 43876
568.63/573.46 c #Conflicts: 487000 | #Constraints: 44877
568.63/573.46 c #Conflicts: 488000 | #Constraints: 45878
568.63/573.46 c INPROCESSING
568.63/573.46 c GARBAGE COLLECT
568.63/573.46 c rational objective 5
593.02/597.91 c #Conflicts: 489000 | #Constraints: 33035
593.02/597.91 c #Conflicts: 490000 | #Constraints: 34039
593.02/597.91 c #Conflicts: 491000 | #Constraints: 35042
593.02/597.91 c #Conflicts: 492000 | #Constraints: 36047
593.02/597.91 c #Conflicts: 493000 | #Constraints: 37050
593.02/597.91 c #Conflicts: 494000 | #Constraints: 38051
593.02/597.91 c #Conflicts: 495000 | #Constraints: 39054
593.02/597.91 c #Conflicts: 496000 | #Constraints: 40055
593.02/597.91 c #Conflicts: 497000 | #Constraints: 41057
593.02/597.91 c #Conflicts: 498000 | #Constraints: 42059
593.02/597.91 c #Conflicts: 499000 | #Constraints: 43060
593.02/597.91 c #Conflicts: 500000 | #Constraints: 44062
593.02/597.91 c #Conflicts: 501000 | #Constraints: 45066
593.02/597.91 c #Conflicts: 502000 | #Constraints: 46067
593.02/597.91 c INPROCESSING
593.02/597.91 c GARBAGE COLLECT
593.02/597.91 c rational objective 5
613.55/618.59 c #Conflicts: 503000 | #Constraints: 33083
613.55/618.59 c #Conflicts: 504000 | #Constraints: 34087
613.55/618.59 c #Conflicts: 505000 | #Constraints: 35092
613.55/618.59 c #Conflicts: 506000 | #Constraints: 36092
613.55/618.59 c #Conflicts: 507000 | #Constraints: 37093
613.55/618.59 c #Conflicts: 508000 | #Constraints: 38095
613.55/618.59 c #Conflicts: 509000 | #Constraints: 39097
613.55/618.59 c #Conflicts: 510000 | #Constraints: 40098
613.55/618.59 c #Conflicts: 511000 | #Constraints: 41100
613.55/618.59 c #Conflicts: 512000 | #Constraints: 42102
613.55/618.59 c #Conflicts: 513000 | #Constraints: 43105
613.55/618.59 c #Conflicts: 514000 | #Constraints: 44106
613.55/618.59 c #Conflicts: 515000 | #Constraints: 45109
613.55/618.59 c #Conflicts: 516000 | #Constraints: 46113
613.55/618.59 c INPROCESSING
613.55/618.59 c GARBAGE COLLECT
613.55/618.59 c rational objective 5
636.19/641.25 c #Conflicts: 517000 | #Constraints: 32871
636.19/641.25 c #Conflicts: 518000 | #Constraints: 33872
636.19/641.25 c #Conflicts: 519000 | #Constraints: 34872
636.19/641.25 c #Conflicts: 520000 | #Constraints: 35872
636.19/641.25 c #Conflicts: 521000 | #Constraints: 36874
636.19/641.25 c #Conflicts: 522000 | #Constraints: 37877
636.19/641.25 c #Conflicts: 523000 | #Constraints: 38877
636.19/641.25 c #Conflicts: 524000 | #Constraints: 39880
636.19/641.25 c #Conflicts: 525000 | #Constraints: 40881
636.19/641.25 c #Conflicts: 526000 | #Constraints: 41882
636.19/641.25 c #Conflicts: 527000 | #Constraints: 42883
636.19/641.25 c #Conflicts: 528000 | #Constraints: 43883
636.19/641.25 c #Conflicts: 529000 | #Constraints: 44883
636.19/641.25 c #Conflicts: 530000 | #Constraints: 45884
636.19/641.25 c #Conflicts: 531000 | #Constraints: 46884
636.19/641.25 c INPROCESSING
636.19/641.25 c GARBAGE COLLECT
636.19/641.25 c rational objective 5
657.41/662.50 c #Conflicts: 532000 | #Constraints: 33465
657.41/662.50 c #Conflicts: 533000 | #Constraints: 34465
657.41/662.50 c #Conflicts: 534000 | #Constraints: 35469
657.41/662.50 c #Conflicts: 535000 | #Constraints: 36472
657.41/662.50 c #Conflicts: 536000 | #Constraints: 37476
657.41/662.50 c #Conflicts: 537000 | #Constraints: 38478
657.41/662.50 c #Conflicts: 538000 | #Constraints: 39481
657.41/662.50 c #Conflicts: 539000 | #Constraints: 40486
657.41/662.50 c #Conflicts: 540000 | #Constraints: 41487
657.41/662.50 c #Conflicts: 541000 | #Constraints: 42488
657.41/662.50 c #Conflicts: 542000 | #Constraints: 43489
657.41/662.50 c #Conflicts: 543000 | #Constraints: 44491
657.41/662.50 c #Conflicts: 544000 | #Constraints: 45492
657.41/662.50 c #Conflicts: 545000 | #Constraints: 46493
657.41/662.50 c #Conflicts: 546000 | #Constraints: 47493
657.41/662.50 c INPROCESSING
657.41/662.50 c GARBAGE COLLECT
657.41/662.50 c rational objective 5
686.33/691.56 c #Conflicts: 547000 | #Constraints: 33847
686.33/691.56 c #Conflicts: 548000 | #Constraints: 34850
686.33/691.56 c #Conflicts: 549000 | #Constraints: 35853
686.33/691.56 c #Conflicts: 550000 | #Constraints: 36856
686.33/691.56 c #Conflicts: 551000 | #Constraints: 37858
686.33/691.56 c #Conflicts: 552000 | #Constraints: 38861
686.33/691.56 c #Conflicts: 553000 | #Constraints: 39868
686.33/691.56 c #Conflicts: 554000 | #Constraints: 40871
686.33/691.56 c #Conflicts: 555000 | #Constraints: 41875
686.33/691.56 c #Conflicts: 556000 | #Constraints: 42880
686.33/691.56 c #Conflicts: 557000 | #Constraints: 43882
686.33/691.56 c #Conflicts: 558000 | #Constraints: 44884
686.33/691.56 c #Conflicts: 559000 | #Constraints: 45885
686.33/691.56 c #Conflicts: 560000 | #Constraints: 46885
686.33/691.56 c #Conflicts: 561000 | #Constraints: 47885
686.33/691.56 c INPROCESSING
686.33/691.56 c GARBAGE COLLECT
686.33/691.56 c rational objective 5
707.36/712.60 c #Conflicts: 562000 | #Constraints: 34027
707.36/712.60 c #Conflicts: 563000 | #Constraints: 35027
707.36/712.60 c #Conflicts: 564000 | #Constraints: 36027
707.36/712.60 c #Conflicts: 565000 | #Constraints: 37029
707.36/712.60 c #Conflicts: 566000 | #Constraints: 38032
707.36/712.60 c #Conflicts: 567000 | #Constraints: 39034
707.36/712.60 c #Conflicts: 568000 | #Constraints: 40036
707.36/712.60 c #Conflicts: 569000 | #Constraints: 41036
707.36/712.60 c #Conflicts: 570000 | #Constraints: 42036
707.36/712.60 c #Conflicts: 571000 | #Constraints: 43036
707.36/712.60 c #Conflicts: 572000 | #Constraints: 44037
707.36/712.60 c #Conflicts: 573000 | #Constraints: 45038
707.36/712.60 c #Conflicts: 574000 | #Constraints: 46039
707.36/712.60 c #Conflicts: 575000 | #Constraints: 47040
707.36/712.60 c #Conflicts: 576000 | #Constraints: 48041
707.36/712.60 c INPROCESSING
707.36/712.60 c GARBAGE COLLECT
707.36/712.60 c rational objective 5
730.97/736.35 c #Conflicts: 577000 | #Constraints: 34029
730.97/736.35 c #Conflicts: 578000 | #Constraints: 35032
730.97/736.35 c #Conflicts: 579000 | #Constraints: 36036
730.97/736.35 c #Conflicts: 580000 | #Constraints: 37038
730.97/736.35 c #Conflicts: 581000 | #Constraints: 38041
730.97/736.35 c #Conflicts: 582000 | #Constraints: 39043
730.97/736.35 c #Conflicts: 583000 | #Constraints: 40046
730.97/736.35 c #Conflicts: 584000 | #Constraints: 41049
730.97/736.35 c #Conflicts: 585000 | #Constraints: 42050
730.97/736.35 c #Conflicts: 586000 | #Constraints: 43051
730.97/736.35 c #Conflicts: 587000 | #Constraints: 44052
730.97/736.35 c #Conflicts: 588000 | #Constraints: 45053
730.97/736.35 c #Conflicts: 589000 | #Constraints: 46054
730.97/736.35 c #Conflicts: 590000 | #Constraints: 47056
730.97/736.35 c #Conflicts: 591000 | #Constraints: 48057
730.97/736.35 c INPROCESSING
730.97/736.35 c GARBAGE COLLECT
730.97/736.35 c rational objective 5
753.88/759.36 c #Conflicts: 592000 | #Constraints: 33823
753.88/759.36 c #Conflicts: 593000 | #Constraints: 34824
753.88/759.36 c #Conflicts: 594000 | #Constraints: 35827
753.88/759.36 c #Conflicts: 595000 | #Constraints: 36831
753.88/759.36 c #Conflicts: 596000 | #Constraints: 37834
753.88/759.36 c #Conflicts: 597000 | #Constraints: 38836
753.88/759.36 c #Conflicts: 598000 | #Constraints: 39837
753.88/759.36 c #Conflicts: 599000 | #Constraints: 40838
753.88/759.36 c #Conflicts: 600000 | #Constraints: 41840
753.88/759.36 c #Conflicts: 601000 | #Constraints: 42841
753.88/759.36 c #Conflicts: 602000 | #Constraints: 43842
753.88/759.36 c #Conflicts: 603000 | #Constraints: 44844
753.88/759.36 c #Conflicts: 604000 | #Constraints: 45846
753.88/759.36 c #Conflicts: 605000 | #Constraints: 46846
753.88/759.36 c #Conflicts: 606000 | #Constraints: 47848
753.88/759.36 c #Conflicts: 607000 | #Constraints: 48848
753.88/759.36 c INPROCESSING
753.88/759.36 c GARBAGE COLLECT
753.88/759.36 c rational objective 5
775.13/785.26 c #Conflicts: 608000 | #Constraints: 34431
775.13/785.26 c #Conflicts: 609000 | #Constraints: 35431
775.13/785.26 c #Conflicts: 610000 | #Constraints: 36432
775.13/785.26 c #Conflicts: 611000 | #Constraints: 37434
775.13/785.26 c #Conflicts: 612000 | #Constraints: 38436
775.13/785.26 c #Conflicts: 613000 | #Constraints: 39437
775.13/785.26 c #Conflicts: 614000 | #Constraints: 40437
775.13/785.26 c #Conflicts: 615000 | #Constraints: 41437
775.13/785.26 c #Conflicts: 616000 | #Constraints: 42440
775.13/785.26 c #Conflicts: 617000 | #Constraints: 43441
775.13/785.26 c #Conflicts: 618000 | #Constraints: 44442
775.13/785.26 c #Conflicts: 619000 | #Constraints: 45443
775.13/785.26 c #Conflicts: 620000 | #Constraints: 46444
775.13/785.26 c #Conflicts: 621000 | #Constraints: 47444
775.13/785.26 c #Conflicts: 622000 | #Constraints: 48445
775.13/785.26 c #Conflicts: 623000 | #Constraints: 49446
775.13/785.26 c INPROCESSING
775.13/785.26 c GARBAGE COLLECT
775.13/785.26 c rational objective 5
799.93/811.12 c #Conflicts: 624000 | #Constraints: 34813
799.93/811.12 c #Conflicts: 625000 | #Constraints: 35813
799.93/811.12 c #Conflicts: 626000 | #Constraints: 36817
799.93/811.12 c #Conflicts: 627000 | #Constraints: 37821
799.93/811.12 c #Conflicts: 628000 | #Constraints: 38823
799.93/811.12 c #Conflicts: 629000 | #Constraints: 39823
799.93/811.12 c #Conflicts: 630000 | #Constraints: 40826
799.93/811.12 c #Conflicts: 631000 | #Constraints: 41828
799.93/811.12 c #Conflicts: 632000 | #Constraints: 42829
799.93/811.12 c #Conflicts: 633000 | #Constraints: 43830
799.93/811.12 c #Conflicts: 634000 | #Constraints: 44830
799.93/811.12 c #Conflicts: 635000 | #Constraints: 45830
799.93/811.12 c #Conflicts: 636000 | #Constraints: 46830
799.93/811.12 c #Conflicts: 637000 | #Constraints: 47831
799.93/811.12 c #Conflicts: 638000 | #Constraints: 48831
799.93/811.12 c #Conflicts: 639000 | #Constraints: 49833
799.93/811.12 c INPROCESSING
799.93/811.12 c GARBAGE COLLECT
799.93/811.12 c rational objective 5
824.87/845.80 c #Conflicts: 640000 | #Constraints: 34869
824.87/845.80 c #Conflicts: 641000 | #Constraints: 35869
824.87/845.80 c #Conflicts: 642000 | #Constraints: 36870
824.87/845.80 c #Conflicts: 643000 | #Constraints: 37872
824.87/845.80 c #Conflicts: 644000 | #Constraints: 38873
824.87/845.80 c #Conflicts: 645000 | #Constraints: 39875
824.87/845.80 c #Conflicts: 646000 | #Constraints: 40878
824.87/845.80 c #Conflicts: 647000 | #Constraints: 41879
824.87/845.80 c #Conflicts: 648000 | #Constraints: 42882
824.87/845.80 c #Conflicts: 649000 | #Constraints: 43883
824.87/845.80 c #Conflicts: 650000 | #Constraints: 44886
824.87/845.80 c #Conflicts: 651000 | #Constraints: 45888
824.87/845.80 c #Conflicts: 652000 | #Constraints: 46889
824.87/845.80 c #Conflicts: 653000 | #Constraints: 47891
824.87/845.80 c #Conflicts: 654000 | #Constraints: 48892
824.87/845.80 c #Conflicts: 655000 | #Constraints: 49896
824.87/845.80 c INPROCESSING
824.87/845.80 c GARBAGE COLLECT
824.87/845.80 c rational objective 5
850.38/871.50 c #Conflicts: 656000 | #Constraints: 34883
850.38/871.50 c #Conflicts: 657000 | #Constraints: 35886
850.38/871.50 c #Conflicts: 658000 | #Constraints: 36892
850.38/871.50 c #Conflicts: 659000 | #Constraints: 37898
850.38/871.50 c #Conflicts: 660000 | #Constraints: 38906
850.38/871.50 c #Conflicts: 661000 | #Constraints: 39909
850.38/871.50 c #Conflicts: 662000 | #Constraints: 40912
850.38/871.50 c #Conflicts: 663000 | #Constraints: 41916
850.38/871.50 c #Conflicts: 664000 | #Constraints: 42919
850.38/871.50 c #Conflicts: 665000 | #Constraints: 43921
850.38/871.50 c #Conflicts: 666000 | #Constraints: 44922
850.38/871.50 c #Conflicts: 667000 | #Constraints: 45925
850.38/871.50 c #Conflicts: 668000 | #Constraints: 46927
850.38/871.50 c #Conflicts: 669000 | #Constraints: 47929
850.38/871.50 c #Conflicts: 670000 | #Constraints: 48931
850.38/871.50 c #Conflicts: 671000 | #Constraints: 49932
850.38/871.50 c INPROCESSING
850.38/871.50 c GARBAGE COLLECT
850.38/871.50 c rational objective 5
874.64/896.02 c #Conflicts: 672000 | #Constraints: 34679
874.64/896.02 c #Conflicts: 673000 | #Constraints: 35679
874.64/896.02 c #Conflicts: 674000 | #Constraints: 36679
874.64/896.02 c #Conflicts: 675000 | #Constraints: 37681
874.64/896.02 c #Conflicts: 676000 | #Constraints: 38686
874.64/896.02 c #Conflicts: 677000 | #Constraints: 39692
874.64/896.02 c #Conflicts: 678000 | #Constraints: 40695
874.64/896.02 c #Conflicts: 679000 | #Constraints: 41697
874.64/896.02 c #Conflicts: 680000 | #Constraints: 42702
874.64/896.02 c #Conflicts: 681000 | #Constraints: 43704
874.64/896.02 c #Conflicts: 682000 | #Constraints: 44706
874.64/896.02 c #Conflicts: 683000 | #Constraints: 45707
874.64/896.02 c #Conflicts: 684000 | #Constraints: 46709
874.64/896.02 c #Conflicts: 685000 | #Constraints: 47713
874.64/896.02 c #Conflicts: 686000 | #Constraints: 48716
874.64/896.02 c #Conflicts: 687000 | #Constraints: 49719
874.64/896.02 c #Conflicts: 688000 | #Constraints: 50723
874.64/896.02 c INPROCESSING
874.64/896.02 c GARBAGE COLLECT
874.64/896.02 c rational objective 5
900.79/922.63 c #Conflicts: 689000 | #Constraints: 35182
900.79/922.63 c #Conflicts: 690000 | #Constraints: 36183
900.79/922.63 c #Conflicts: 691000 | #Constraints: 37187
900.79/922.63 c #Conflicts: 692000 | #Constraints: 38190
900.79/922.63 c #Conflicts: 693000 | #Constraints: 39192
900.79/922.63 c #Conflicts: 694000 | #Constraints: 40196
900.79/922.63 c #Conflicts: 695000 | #Constraints: 41205
900.79/922.63 c #Conflicts: 696000 | #Constraints: 42209
900.79/922.63 c #Conflicts: 697000 | #Constraints: 43213
900.79/922.63 c #Conflicts: 698000 | #Constraints: 44218
900.79/922.63 c #Conflicts: 699000 | #Constraints: 45222
900.79/922.63 c #Conflicts: 700000 | #Constraints: 46225
900.79/922.63 c #Conflicts: 701000 | #Constraints: 47230
900.79/922.63 c #Conflicts: 702000 | #Constraints: 48234
900.79/922.63 c #Conflicts: 703000 | #Constraints: 49238
900.79/922.63 c #Conflicts: 704000 | #Constraints: 50240
900.79/922.63 c #Conflicts: 705000 | #Constraints: 51242
900.79/922.63 c INPROCESSING
900.79/922.63 c GARBAGE COLLECT
900.79/922.63 c rational objective 5
919.52/941.42 c #Conflicts: 706000 | #Constraints: 35578
919.52/941.42 c #Conflicts: 707000 | #Constraints: 36578
919.52/941.42 c #Conflicts: 708000 | #Constraints: 37582
919.52/941.42 c #Conflicts: 709000 | #Constraints: 38588
919.52/941.42 c #Conflicts: 710000 | #Constraints: 39590
919.52/941.42 c #Conflicts: 711000 | #Constraints: 40593
919.52/941.42 c #Conflicts: 712000 | #Constraints: 41593
919.52/941.42 c #Conflicts: 713000 | #Constraints: 42594
919.52/941.42 c #Conflicts: 714000 | #Constraints: 43596
919.52/941.42 c #Conflicts: 715000 | #Constraints: 44597
919.52/941.42 c #Conflicts: 716000 | #Constraints: 45599
919.52/941.42 c #Conflicts: 717000 | #Constraints: 46599
919.52/941.42 c #Conflicts: 718000 | #Constraints: 47600
919.52/941.42 c #Conflicts: 719000 | #Constraints: 48602
919.52/941.42 c #Conflicts: 720000 | #Constraints: 49603
919.52/941.42 c #Conflicts: 721000 | #Constraints: 50604
919.52/941.42 c #Conflicts: 722000 | #Constraints: 51604
919.52/941.42 c INPROCESSING
919.52/941.42 c GARBAGE COLLECT
919.52/941.42 c rational objective 5
949.81/971.87 c #Conflicts: 723000 | #Constraints: 35774
949.81/971.87 c #Conflicts: 724000 | #Constraints: 36774
949.81/971.87 c #Conflicts: 725000 | #Constraints: 37774
949.81/971.87 c #Conflicts: 726000 | #Constraints: 38775
949.81/971.87 c #Conflicts: 727000 | #Constraints: 39777
949.81/971.87 c #Conflicts: 728000 | #Constraints: 40780
949.81/971.87 c #Conflicts: 729000 | #Constraints: 41782
949.81/971.87 c #Conflicts: 730000 | #Constraints: 42785
949.81/971.87 c #Conflicts: 731000 | #Constraints: 43789
949.81/971.87 c #Conflicts: 732000 | #Constraints: 44793
949.81/971.87 c #Conflicts: 733000 | #Constraints: 45795
949.81/971.87 c #Conflicts: 734000 | #Constraints: 46799
949.81/971.87 c #Conflicts: 735000 | #Constraints: 47802
949.81/971.87 c #Conflicts: 736000 | #Constraints: 48803
949.81/971.87 c #Conflicts: 737000 | #Constraints: 49805
949.81/971.87 c #Conflicts: 738000 | #Constraints: 50810
949.81/971.87 c #Conflicts: 739000 | #Constraints: 51812
949.81/971.87 c INPROCESSING
949.81/971.87 c GARBAGE COLLECT
949.81/971.87 c rational objective 5
977.60/999.79 c #Conflicts: 740000 | #Constraints: 35804
977.60/999.79 c #Conflicts: 741000 | #Constraints: 36804
977.60/999.79 c #Conflicts: 742000 | #Constraints: 37805
977.60/999.79 c #Conflicts: 743000 | #Constraints: 38807
977.60/999.79 c #Conflicts: 744000 | #Constraints: 39810
977.60/999.79 c #Conflicts: 745000 | #Constraints: 40811
977.60/999.79 c #Conflicts: 746000 | #Constraints: 41814
977.60/999.79 c #Conflicts: 747000 | #Constraints: 42815
977.60/999.79 c #Conflicts: 748000 | #Constraints: 43816
977.60/999.79 c #Conflicts: 749000 | #Constraints: 44817
977.60/999.79 c #Conflicts: 750000 | #Constraints: 45817
977.60/999.79 c #Conflicts: 751000 | #Constraints: 46817
977.60/999.79 c #Conflicts: 752000 | #Constraints: 47818
977.60/999.79 c #Conflicts: 753000 | #Constraints: 48819
977.60/999.79 c #Conflicts: 754000 | #Constraints: 49819
977.60/999.79 c #Conflicts: 755000 | #Constraints: 50819
977.60/999.79 c #Conflicts: 756000 | #Constraints: 51820
977.60/999.79 c INPROCESSING
977.60/999.79 c GARBAGE COLLECT
977.60/999.79 c rational objective 5
1002.02/1024.28 c #Conflicts: 757000 | #Constraints: 35552
1002.02/1024.28 c #Conflicts: 758000 | #Constraints: 36553
1002.02/1024.28 c #Conflicts: 759000 | #Constraints: 37553
1002.02/1024.28 c #Conflicts: 760000 | #Constraints: 38557
1002.02/1024.28 c #Conflicts: 761000 | #Constraints: 39562
1002.02/1024.28 c #Conflicts: 762000 | #Constraints: 40566
1002.02/1024.28 c #Conflicts: 763000 | #Constraints: 41568
1002.02/1024.28 c #Conflicts: 764000 | #Constraints: 42569
1002.02/1024.28 c #Conflicts: 765000 | #Constraints: 43573
1002.02/1024.28 c #Conflicts: 766000 | #Constraints: 44575
1002.02/1024.28 c #Conflicts: 767000 | #Constraints: 45575
1002.02/1024.28 c #Conflicts: 768000 | #Constraints: 46576
1002.02/1024.28 c #Conflicts: 769000 | #Constraints: 47577
1002.02/1024.28 c #Conflicts: 770000 | #Constraints: 48577
1002.02/1024.28 c #Conflicts: 771000 | #Constraints: 49577
1002.02/1024.28 c #Conflicts: 772000 | #Constraints: 50577
1002.02/1024.28 c #Conflicts: 773000 | #Constraints: 51577
1002.02/1024.28 c #Conflicts: 774000 | #Constraints: 52577
1002.02/1024.28 c INPROCESSING
1002.02/1024.28 c GARBAGE COLLECT
1002.02/1024.28 c rational objective 5
1035.46/1059.25 c #Conflicts: 775000 | #Constraints: 36155
1035.46/1059.25 c #Conflicts: 776000 | #Constraints: 37156
1035.46/1059.25 c #Conflicts: 777000 | #Constraints: 38158
1035.46/1059.25 c #Conflicts: 778000 | #Constraints: 39160
1035.46/1059.25 c #Conflicts: 779000 | #Constraints: 40163
1035.46/1059.25 c #Conflicts: 780000 | #Constraints: 41170
1035.46/1059.25 c #Conflicts: 781000 | #Constraints: 42173
1035.46/1059.25 c #Conflicts: 782000 | #Constraints: 43175
1035.46/1059.25 c #Conflicts: 783000 | #Constraints: 44176
1035.46/1059.25 c #Conflicts: 784000 | #Constraints: 45179
1035.46/1059.25 c #Conflicts: 785000 | #Constraints: 46180
1035.46/1059.25 c #Conflicts: 786000 | #Constraints: 47182
1035.46/1059.25 c #Conflicts: 787000 | #Constraints: 48182
1035.46/1059.25 c #Conflicts: 788000 | #Constraints: 49184
1035.46/1059.25 c #Conflicts: 789000 | #Constraints: 50185
1035.46/1059.25 c #Conflicts: 790000 | #Constraints: 51186
1035.46/1059.25 c #Conflicts: 791000 | #Constraints: 52186
1035.46/1059.25 c #Conflicts: 792000 | #Constraints: 53187
1035.46/1059.25 c INPROCESSING
1035.46/1059.25 c GARBAGE COLLECT
1035.46/1059.25 c rational objective 5
1066.83/1092.61 c #Conflicts: 793000 | #Constraints: 36547
1066.83/1092.61 c #Conflicts: 794000 | #Constraints: 37549
1066.83/1092.61 c #Conflicts: 795000 | #Constraints: 38552
1066.83/1092.61 c #Conflicts: 796000 | #Constraints: 39557
1066.83/1092.61 c #Conflicts: 797000 | #Constraints: 40559
1066.83/1092.61 c #Conflicts: 798000 | #Constraints: 41561
1066.83/1092.61 c #Conflicts: 799000 | #Constraints: 42563
1066.83/1092.61 c #Conflicts: 800000 | #Constraints: 43566
1066.83/1092.61 c #Conflicts: 801000 | #Constraints: 44569
1066.83/1092.61 c #Conflicts: 802000 | #Constraints: 45570
1066.83/1092.61 c #Conflicts: 803000 | #Constraints: 46570
1066.83/1092.61 c #Conflicts: 804000 | #Constraints: 47573
1066.83/1092.61 c #Conflicts: 805000 | #Constraints: 48575
1066.83/1092.61 c #Conflicts: 806000 | #Constraints: 49577
1066.83/1092.61 c #Conflicts: 807000 | #Constraints: 50580
1066.83/1092.61 c #Conflicts: 808000 | #Constraints: 51581
1066.83/1092.61 c #Conflicts: 809000 | #Constraints: 52583
1066.83/1092.61 c #Conflicts: 810000 | #Constraints: 53584
1066.83/1092.61 c INPROCESSING
1066.83/1092.61 c GARBAGE COLLECT
1066.83/1092.61 c rational objective 5
1093.71/1119.74 c #Conflicts: 811000 | #Constraints: 36750
1093.71/1119.74 c #Conflicts: 812000 | #Constraints: 37750
1093.71/1119.74 c #Conflicts: 813000 | #Constraints: 38755
1093.71/1119.74 c #Conflicts: 814000 | #Constraints: 39757
1093.71/1119.74 c #Conflicts: 815000 | #Constraints: 40759
1093.71/1119.74 c #Conflicts: 816000 | #Constraints: 41763
1093.71/1119.74 c #Conflicts: 817000 | #Constraints: 42768
1093.71/1119.74 c #Conflicts: 818000 | #Constraints: 43771
1093.71/1119.74 c #Conflicts: 819000 | #Constraints: 44772
1093.71/1119.74 c #Conflicts: 820000 | #Constraints: 45776
1093.71/1119.74 c #Conflicts: 821000 | #Constraints: 46779
1093.71/1119.74 c #Conflicts: 822000 | #Constraints: 47783
1093.71/1119.74 c #Conflicts: 823000 | #Constraints: 48786
1093.71/1119.74 c #Conflicts: 824000 | #Constraints: 49787
1093.71/1119.74 c #Conflicts: 825000 | #Constraints: 50789
1093.71/1119.74 c #Conflicts: 826000 | #Constraints: 51790
1093.71/1119.74 c #Conflicts: 827000 | #Constraints: 52790
1093.71/1119.74 c #Conflicts: 828000 | #Constraints: 53792
1093.71/1119.74 c INPROCESSING
1093.71/1119.74 c GARBAGE COLLECT
1093.71/1119.74 c rational objective 5
1121.93/1148.10 c #Conflicts: 829000 | #Constraints: 36737
1121.93/1148.10 c #Conflicts: 830000 | #Constraints: 37737
1121.93/1148.10 c #Conflicts: 831000 | #Constraints: 38738
1121.93/1148.10 c #Conflicts: 832000 | #Constraints: 39739
1121.93/1148.10 c #Conflicts: 833000 | #Constraints: 40739
1121.93/1148.10 c #Conflicts: 834000 | #Constraints: 41739
1121.93/1148.10 c #Conflicts: 835000 | #Constraints: 42741
1121.93/1148.10 c #Conflicts: 836000 | #Constraints: 43741
1121.93/1148.10 c #Conflicts: 837000 | #Constraints: 44742
1121.93/1148.10 c #Conflicts: 838000 | #Constraints: 45744
1121.93/1148.10 c #Conflicts: 839000 | #Constraints: 46744
1121.93/1148.10 c #Conflicts: 840000 | #Constraints: 47744
1121.93/1148.10 c #Conflicts: 841000 | #Constraints: 48745
1121.93/1148.10 c #Conflicts: 842000 | #Constraints: 49745
1121.93/1148.10 c #Conflicts: 843000 | #Constraints: 50746
1121.93/1148.10 c #Conflicts: 844000 | #Constraints: 51748
1121.93/1148.10 c #Conflicts: 845000 | #Constraints: 52749
1121.93/1148.10 c #Conflicts: 846000 | #Constraints: 53750
1121.93/1148.10 c INPROCESSING
1121.93/1148.10 c GARBAGE COLLECT
1121.93/1148.10 c rational objective 5
1152.23/1180.49 c #Conflicts: 847000 | #Constraints: 36509
1152.23/1180.49 c #Conflicts: 848000 | #Constraints: 37509
1152.23/1180.49 c #Conflicts: 849000 | #Constraints: 38511
1152.23/1180.49 c #Conflicts: 850000 | #Constraints: 39514
1152.23/1180.49 c #Conflicts: 851000 | #Constraints: 40515
1152.23/1180.49 c #Conflicts: 852000 | #Constraints: 41517
1152.23/1180.49 c #Conflicts: 853000 | #Constraints: 42522
1152.23/1180.49 c #Conflicts: 854000 | #Constraints: 43529
1152.23/1180.49 c #Conflicts: 855000 | #Constraints: 44531
1152.23/1180.49 c #Conflicts: 856000 | #Constraints: 45537
1152.23/1180.49 c #Conflicts: 857000 | #Constraints: 46540
1152.23/1180.49 c #Conflicts: 858000 | #Constraints: 47543
1152.23/1180.49 c #Conflicts: 859000 | #Constraints: 48545
1152.23/1180.49 c #Conflicts: 860000 | #Constraints: 49547
1152.23/1180.49 c #Conflicts: 861000 | #Constraints: 50552
1152.23/1180.49 c #Conflicts: 862000 | #Constraints: 51555
1152.23/1180.49 c #Conflicts: 863000 | #Constraints: 52559
1152.23/1180.49 c #Conflicts: 864000 | #Constraints: 53561
1152.23/1180.49 c #Conflicts: 865000 | #Constraints: 54564
1152.23/1180.49 c INPROCESSING
1152.23/1180.49 c GARBAGE COLLECT
1152.23/1180.49 c rational objective 5
1183.34/1212.15 c #Conflicts: 866000 | #Constraints: 37102
1183.34/1212.15 c #Conflicts: 867000 | #Constraints: 38102
1183.34/1212.15 c #Conflicts: 868000 | #Constraints: 39103
1183.34/1212.15 c #Conflicts: 869000 | #Constraints: 40105
1183.34/1212.15 c #Conflicts: 870000 | #Constraints: 41107
1183.34/1212.15 c #Conflicts: 871000 | #Constraints: 42109
1183.34/1212.15 c #Conflicts: 872000 | #Constraints: 43110
1183.34/1212.15 c #Conflicts: 873000 | #Constraints: 44111
1183.34/1212.15 c #Conflicts: 874000 | #Constraints: 45113
1183.34/1212.15 c #Conflicts: 875000 | #Constraints: 46114
1183.34/1212.15 c #Conflicts: 876000 | #Constraints: 47116
1183.34/1212.15 c #Conflicts: 877000 | #Constraints: 48117
1183.34/1212.15 c #Conflicts: 878000 | #Constraints: 49118
1183.34/1212.15 c #Conflicts: 879000 | #Constraints: 50120
1183.34/1212.15 c #Conflicts: 880000 | #Constraints: 51120
1183.34/1212.15 c #Conflicts: 881000 | #Constraints: 52121
1183.34/1212.15 c #Conflicts: 882000 | #Constraints: 53122
1183.34/1212.15 c #Conflicts: 883000 | #Constraints: 54124
1183.34/1212.15 c #Conflicts: 884000 | #Constraints: 55125
1183.34/1212.15 c INPROCESSING
1183.34/1212.15 c GARBAGE COLLECT
1183.34/1212.15 c rational objective 5
1224.63/1254.61 c #Conflicts: 885000 | #Constraints: 37495
1224.63/1254.61 c #Conflicts: 886000 | #Constraints: 38495
1224.63/1254.61 c #Conflicts: 887000 | #Constraints: 39496
1224.63/1254.61 c #Conflicts: 888000 | #Constraints: 40498
1224.63/1254.61 c #Conflicts: 889000 | #Constraints: 41500
1224.63/1254.61 c #Conflicts: 890000 | #Constraints: 42503
1224.63/1254.61 c #Conflicts: 891000 | #Constraints: 43506
1224.63/1254.61 c #Conflicts: 892000 | #Constraints: 44507
1224.63/1254.61 c #Conflicts: 893000 | #Constraints: 45508
1224.63/1254.61 c #Conflicts: 894000 | #Constraints: 46509
1224.63/1254.61 c #Conflicts: 895000 | #Constraints: 47509
1224.63/1254.61 c #Conflicts: 896000 | #Constraints: 48509
1224.63/1254.61 c #Conflicts: 897000 | #Constraints: 49511
1224.63/1254.61 c #Conflicts: 898000 | #Constraints: 50512
1224.63/1254.61 c #Conflicts: 899000 | #Constraints: 51514
1224.63/1254.61 c #Conflicts: 900000 | #Constraints: 52515
1224.63/1254.61 c #Conflicts: 901000 | #Constraints: 53516
1224.63/1254.61 c #Conflicts: 902000 | #Constraints: 54517
1224.63/1254.61 c #Conflicts: 903000 | #Constraints: 55518
1224.63/1254.61 c INPROCESSING
1224.63/1254.61 c GARBAGE COLLECT
1224.63/1254.61 c rational objective 5
1254.34/1286.66 c #Conflicts: 904000 | #Constraints: 37672
1254.34/1286.66 c #Conflicts: 905000 | #Constraints: 38672
1254.34/1286.66 c #Conflicts: 906000 | #Constraints: 39673
1254.34/1286.66 c #Conflicts: 907000 | #Constraints: 40674
1254.34/1286.66 c #Conflicts: 908000 | #Constraints: 41675
1254.34/1286.66 c #Conflicts: 909000 | #Constraints: 42678
1254.34/1286.66 c #Conflicts: 910000 | #Constraints: 43680
1254.34/1286.66 c #Conflicts: 911000 | #Constraints: 44682
1254.34/1286.66 c #Conflicts: 912000 | #Constraints: 45684
1254.34/1286.66 c #Conflicts: 913000 | #Constraints: 46685
1254.34/1286.66 c #Conflicts: 914000 | #Constraints: 47687
1254.34/1286.66 c #Conflicts: 915000 | #Constraints: 48690
1254.34/1286.66 c #Conflicts: 916000 | #Constraints: 49691
1254.34/1286.66 c #Conflicts: 917000 | #Constraints: 50692
1254.34/1286.66 c #Conflicts: 918000 | #Constraints: 51693
1254.34/1286.66 c #Conflicts: 919000 | #Constraints: 52694
1254.34/1286.66 c #Conflicts: 920000 | #Constraints: 53696
1254.34/1286.66 c #Conflicts: 921000 | #Constraints: 54697
1254.34/1286.66 c #Conflicts: 922000 | #Constraints: 55700
1254.34/1286.66 c INPROCESSING
1254.34/1286.66 c GARBAGE COLLECT
1254.34/1286.66 c rational objective 5
1283.12/1316.36 c #Conflicts: 923000 | #Constraints: 37649
1283.12/1316.36 c #Conflicts: 924000 | #Constraints: 38653
1283.12/1316.36 c #Conflicts: 925000 | #Constraints: 39659
1283.12/1316.36 c #Conflicts: 926000 | #Constraints: 40661
1283.12/1316.36 c #Conflicts: 927000 | #Constraints: 41666
1283.12/1316.36 c #Conflicts: 928000 | #Constraints: 42670
1283.12/1316.36 c #Conflicts: 929000 | #Constraints: 43675
1283.12/1316.36 c #Conflicts: 930000 | #Constraints: 44679
1283.12/1316.36 c #Conflicts: 931000 | #Constraints: 45681
1283.12/1316.36 c #Conflicts: 932000 | #Constraints: 46682
1283.12/1316.36 c #Conflicts: 933000 | #Constraints: 47684
1283.12/1316.36 c #Conflicts: 934000 | #Constraints: 48688
1283.12/1316.36 c #Conflicts: 935000 | #Constraints: 49691
1283.12/1316.36 c #Conflicts: 936000 | #Constraints: 50694
1283.12/1316.36 c #Conflicts: 937000 | #Constraints: 51697
1283.12/1316.36 c #Conflicts: 938000 | #Constraints: 52699
1283.12/1316.36 c #Conflicts: 939000 | #Constraints: 53700
1283.12/1316.36 c #Conflicts: 940000 | #Constraints: 54702
1283.12/1316.36 c #Conflicts: 941000 | #Constraints: 55704
1283.12/1316.36 c INPROCESSING
1283.12/1316.36 c GARBAGE COLLECT
1283.12/1316.36 c rational objective 5
1321.42/1355.73 c #Conflicts: 942000 | #Constraints: 37497
1321.42/1355.73 c #Conflicts: 943000 | #Constraints: 38498
1321.42/1355.73 c #Conflicts: 944000 | #Constraints: 39499
1321.42/1355.73 c #Conflicts: 945000 | #Constraints: 40501
1321.42/1355.73 c #Conflicts: 946000 | #Constraints: 41503
1321.42/1355.73 c #Conflicts: 947000 | #Constraints: 42503
1321.42/1355.73 c #Conflicts: 948000 | #Constraints: 43504
1321.42/1355.73 c #Conflicts: 949000 | #Constraints: 44506
1321.42/1355.73 c #Conflicts: 950000 | #Constraints: 45508
1321.42/1355.73 c #Conflicts: 951000 | #Constraints: 46510
1321.42/1355.73 c #Conflicts: 952000 | #Constraints: 47511
1321.42/1355.73 c #Conflicts: 953000 | #Constraints: 48513
1321.42/1355.73 c #Conflicts: 954000 | #Constraints: 49516
1321.42/1355.73 c #Conflicts: 955000 | #Constraints: 50518
1321.42/1355.73 c #Conflicts: 956000 | #Constraints: 51520
1321.42/1355.73 c #Conflicts: 957000 | #Constraints: 52522
1321.42/1355.73 c #Conflicts: 958000 | #Constraints: 53523
1321.42/1355.73 c #Conflicts: 959000 | #Constraints: 54525
1321.42/1355.73 c #Conflicts: 960000 | #Constraints: 55526
1321.42/1355.73 c #Conflicts: 961000 | #Constraints: 56527
1321.42/1355.73 c INPROCESSING
1321.42/1355.73 c GARBAGE COLLECT
1321.42/1355.73 c rational objective 5
1367.94/1405.53 c #Conflicts: 962000 | #Constraints: 38110
1367.94/1405.53 c #Conflicts: 963000 | #Constraints: 39111
1367.94/1405.53 c #Conflicts: 964000 | #Constraints: 40115
1367.94/1405.53 c #Conflicts: 965000 | #Constraints: 41120
1367.94/1405.53 c #Conflicts: 966000 | #Constraints: 42124
1367.94/1405.53 c #Conflicts: 967000 | #Constraints: 43130
1367.94/1405.53 c #Conflicts: 968000 | #Constraints: 44133
1367.94/1405.53 c #Conflicts: 969000 | #Constraints: 45137
1367.94/1405.53 c #Conflicts: 970000 | #Constraints: 46140
1367.94/1405.53 c #Conflicts: 971000 | #Constraints: 47143
1367.94/1405.53 c #Conflicts: 972000 | #Constraints: 48147
1367.94/1405.53 c #Conflicts: 973000 | #Constraints: 49149
1367.94/1405.53 c #Conflicts: 974000 | #Constraints: 50153
1367.94/1405.53 c #Conflicts: 975000 | #Constraints: 51157
1367.94/1405.53 c #Conflicts: 976000 | #Constraints: 52160
1367.94/1405.53 c #Conflicts: 977000 | #Constraints: 53164
1367.94/1405.53 c #Conflicts: 978000 | #Constraints: 54167
1367.94/1405.53 c #Conflicts: 979000 | #Constraints: 55170
1367.94/1405.53 c #Conflicts: 980000 | #Constraints: 56173
1367.94/1405.53 c #Conflicts: 981000 | #Constraints: 57176
1367.94/1405.53 c INPROCESSING
1367.94/1405.53 c GARBAGE COLLECT
1367.94/1405.53 c rational objective 5
1407.95/1447.85 c #Conflicts: 982000 | #Constraints: 38541
1407.95/1447.85 c #Conflicts: 983000 | #Constraints: 39542
1407.95/1447.85 c #Conflicts: 984000 | #Constraints: 40542
1407.95/1447.85 c #Conflicts: 985000 | #Constraints: 41543
1407.95/1447.85 c #Conflicts: 986000 | #Constraints: 42545
1407.95/1447.85 c #Conflicts: 987000 | #Constraints: 43545
1407.95/1447.85 c #Conflicts: 988000 | #Constraints: 44546
1407.95/1447.85 c #Conflicts: 989000 | #Constraints: 45546
1407.95/1447.85 c #Conflicts: 990000 | #Constraints: 46547
1407.95/1447.85 c #Conflicts: 991000 | #Constraints: 47547
1407.95/1447.85 c #Conflicts: 992000 | #Constraints: 48547
1407.95/1447.85 c #Conflicts: 993000 | #Constraints: 49548
1407.95/1447.85 c #Conflicts: 994000 | #Constraints: 50549
1407.95/1447.85 c #Conflicts: 995000 | #Constraints: 51549
1407.95/1447.85 c #Conflicts: 996000 | #Constraints: 52550
1407.95/1447.85 c #Conflicts: 997000 | #Constraints: 53550
1407.95/1447.85 c #Conflicts: 998000 | #Constraints: 54553
1407.95/1447.85 c #Conflicts: 999000 | #Constraints: 55553
1407.95/1447.85 c #Conflicts: 1000000 | #Constraints: 56554
1407.95/1447.85 c #Conflicts: 1001000 | #Constraints: 57556
1407.95/1447.85 c INPROCESSING
1407.95/1447.85 c GARBAGE COLLECT
1407.95/1447.85 c rational objective 5
1452.91/1495.40 c #Conflicts: 1002000 | #Constraints: 38720
1452.91/1495.40 c #Conflicts: 1003000 | #Constraints: 39720
1452.91/1495.40 c #Conflicts: 1004000 | #Constraints: 40722
1452.91/1495.40 c #Conflicts: 1005000 | #Constraints: 41722
1452.91/1495.40 c #Conflicts: 1006000 | #Constraints: 42725
1452.91/1495.40 c #Conflicts: 1007000 | #Constraints: 43729
1452.91/1495.40 c #Conflicts: 1008000 | #Constraints: 44729
1452.91/1495.40 c #Conflicts: 1009000 | #Constraints: 45730
1452.91/1495.40 c #Conflicts: 1010000 | #Constraints: 46731
1452.91/1495.40 c #Conflicts: 1011000 | #Constraints: 47731
1452.91/1495.40 c #Conflicts: 1012000 | #Constraints: 48733
1452.91/1495.40 c #Conflicts: 1013000 | #Constraints: 49733
1452.91/1495.40 c #Conflicts: 1014000 | #Constraints: 50734
1452.91/1495.40 c #Conflicts: 1015000 | #Constraints: 51734
1452.91/1495.40 c #Conflicts: 1016000 | #Constraints: 52736
1452.91/1495.40 c #Conflicts: 1017000 | #Constraints: 53738
1452.91/1495.40 c #Conflicts: 1018000 | #Constraints: 54740
1452.91/1495.40 c #Conflicts: 1019000 | #Constraints: 55740
1452.91/1495.40 c #Conflicts: 1020000 | #Constraints: 56740
1452.91/1495.40 c #Conflicts: 1021000 | #Constraints: 57741
1452.91/1495.40 c INPROCESSING
1452.91/1495.40 c GARBAGE COLLECT
1452.91/1495.40 c rational objective 5
1507.25/1556.74 c #Conflicts: 1022000 | #Constraints: 38734
1507.25/1556.74 c #Conflicts: 1023000 | #Constraints: 39734
1507.25/1556.74 c #Conflicts: 1024000 | #Constraints: 40740
1507.25/1556.74 c #Conflicts: 1025000 | #Constraints: 41750
1507.25/1556.74 c #Conflicts: 1026000 | #Constraints: 42753
1507.25/1556.74 c #Conflicts: 1027000 | #Constraints: 43756
1507.25/1556.74 c #Conflicts: 1028000 | #Constraints: 44760
1507.25/1556.74 c #Conflicts: 1029000 | #Constraints: 45763
1507.25/1556.74 c #Conflicts: 1030000 | #Constraints: 46766
1507.25/1556.74 c #Conflicts: 1031000 | #Constraints: 47769
1507.25/1556.74 c #Conflicts: 1032000 | #Constraints: 48769
1507.25/1556.74 c #Conflicts: 1033000 | #Constraints: 49770
1507.25/1556.74 c #Conflicts: 1034000 | #Constraints: 50774
1507.25/1556.74 c #Conflicts: 1035000 | #Constraints: 51775
1507.25/1556.74 c #Conflicts: 1036000 | #Constraints: 52777
1507.25/1556.74 c #Conflicts: 1037000 | #Constraints: 53777
1507.25/1556.74 c #Conflicts: 1038000 | #Constraints: 54779
1507.25/1556.74 c #Conflicts: 1039000 | #Constraints: 55779
1507.25/1556.74 c #Conflicts: 1040000 | #Constraints: 56779
1507.25/1556.74 c #Conflicts: 1041000 | #Constraints: 57781
1507.25/1556.74 c INPROCESSING
1507.25/1556.74 c GARBAGE COLLECT
1507.25/1556.74 c rational objective 5
1538.79/1588.56 c #Conflicts: 1042000 | #Constraints: 38528
1538.79/1588.56 c #Conflicts: 1043000 | #Constraints: 39529
1538.79/1588.56 c #Conflicts: 1044000 | #Constraints: 40533
1538.79/1588.56 c #Conflicts: 1045000 | #Constraints: 41535
1538.79/1588.56 c #Conflicts: 1046000 | #Constraints: 42540
1538.79/1588.56 c #Conflicts: 1047000 | #Constraints: 43543
1538.79/1588.56 c #Conflicts: 1048000 | #Constraints: 44546
1538.79/1588.56 c #Conflicts: 1049000 | #Constraints: 45551
1538.79/1588.56 c #Conflicts: 1050000 | #Constraints: 46553
1538.79/1588.56 c #Conflicts: 1051000 | #Constraints: 47558
1538.79/1588.56 c #Conflicts: 1052000 | #Constraints: 48559
1538.79/1588.56 c #Conflicts: 1053000 | #Constraints: 49560
1538.79/1588.56 c #Conflicts: 1054000 | #Constraints: 50563
1538.79/1588.56 c #Conflicts: 1055000 | #Constraints: 51569
1538.79/1588.56 c #Conflicts: 1056000 | #Constraints: 52574
1538.79/1588.56 c #Conflicts: 1057000 | #Constraints: 53578
1538.79/1588.56 c #Conflicts: 1058000 | #Constraints: 54583
1538.79/1588.56 c #Conflicts: 1059000 | #Constraints: 55584
1538.79/1588.56 c #Conflicts: 1060000 | #Constraints: 56584
1538.79/1588.56 c #Conflicts: 1061000 | #Constraints: 57584
1538.79/1588.56 c #Conflicts: 1062000 | #Constraints: 58585
1538.79/1588.56 c INPROCESSING
1538.79/1588.56 c GARBAGE COLLECT
1538.79/1588.56 c rational objective 5
1587.98/1638.41 c #Conflicts: 1063000 | #Constraints: 39106
1587.98/1638.41 c #Conflicts: 1064000 | #Constraints: 40106
1587.98/1638.41 c #Conflicts: 1065000 | #Constraints: 41112
1587.98/1638.41 c #Conflicts: 1066000 | #Constraints: 42117
1587.98/1638.41 c #Conflicts: 1067000 | #Constraints: 43121
1587.98/1638.41 c #Conflicts: 1068000 | #Constraints: 44127
1587.98/1638.41 c #Conflicts: 1069000 | #Constraints: 45130
1587.98/1638.41 c #Conflicts: 1070000 | #Constraints: 46134
1587.98/1638.41 c #Conflicts: 1071000 | #Constraints: 47136
1587.98/1638.41 c #Conflicts: 1072000 | #Constraints: 48139
1587.98/1638.41 c #Conflicts: 1073000 | #Constraints: 49142
1587.98/1638.41 c #Conflicts: 1074000 | #Constraints: 50144
1587.98/1638.41 c #Conflicts: 1075000 | #Constraints: 51148
1587.98/1638.41 c #Conflicts: 1076000 | #Constraints: 52150
1587.98/1638.41 c #Conflicts: 1077000 | #Constraints: 53154
1587.98/1638.41 c #Conflicts: 1078000 | #Constraints: 54155
1587.98/1638.41 c #Conflicts: 1079000 | #Constraints: 55157
1587.98/1638.41 c #Conflicts: 1080000 | #Constraints: 56159
1587.98/1638.41 c #Conflicts: 1081000 | #Constraints: 57160
1587.98/1638.41 c #Conflicts: 1082000 | #Constraints: 58161
1587.98/1638.41 c #Conflicts: 1083000 | #Constraints: 59162
1587.98/1638.41 c INPROCESSING
1587.98/1638.41 c GARBAGE COLLECT
1587.98/1638.41 c rational objective 5
1615.55/1666.50 c #Conflicts: 1084000 | #Constraints: 39493
1615.55/1666.50 c #Conflicts: 1085000 | #Constraints: 40494
1615.55/1666.50 c #Conflicts: 1086000 | #Constraints: 41495
1615.55/1666.50 c #Conflicts: 1087000 | #Constraints: 42497
1615.55/1666.50 c #Conflicts: 1088000 | #Constraints: 43498
1615.55/1666.50 c #Conflicts: 1089000 | #Constraints: 44500
1615.55/1666.50 c #Conflicts: 1090000 | #Constraints: 45501
1615.55/1666.50 c #Conflicts: 1091000 | #Constraints: 46502
1615.55/1666.50 c #Conflicts: 1092000 | #Constraints: 47503
1615.55/1666.50 c #Conflicts: 1093000 | #Constraints: 48504
1615.55/1666.50 c #Conflicts: 1094000 | #Constraints: 49504
1615.55/1666.50 c #Conflicts: 1095000 | #Constraints: 50504
1615.55/1666.50 c #Conflicts: 1096000 | #Constraints: 51506
1615.55/1666.50 c #Conflicts: 1097000 | #Constraints: 52507
1615.55/1666.50 c #Conflicts: 1098000 | #Constraints: 53507
1615.55/1666.50 c #Conflicts: 1099000 | #Constraints: 54507
1615.55/1666.50 c #Conflicts: 1100000 | #Constraints: 55508
1615.55/1666.50 c #Conflicts: 1101000 | #Constraints: 56509
1615.55/1666.50 c #Conflicts: 1102000 | #Constraints: 57509
1615.55/1666.50 c #Conflicts: 1103000 | #Constraints: 58510
1615.55/1666.50 c #Conflicts: 1104000 | #Constraints: 59510
1615.55/1666.50 c INPROCESSING
1615.55/1666.50 c GARBAGE COLLECT
1615.55/1666.50 c rational objective 5
1666.34/1723.96 c #Conflicts: 1105000 | #Constraints: 39693
1666.34/1723.96 c #Conflicts: 1106000 | #Constraints: 40699
1666.34/1723.96 c #Conflicts: 1107000 | #Constraints: 41704
1666.34/1723.96 c #Conflicts: 1108000 | #Constraints: 42710
1666.34/1723.96 c #Conflicts: 1109000 | #Constraints: 43716
1666.34/1723.96 c #Conflicts: 1110000 | #Constraints: 44718
1666.34/1723.96 c #Conflicts: 1111000 | #Constraints: 45721
1666.34/1723.96 c #Conflicts: 1112000 | #Constraints: 46725
1666.34/1723.96 c #Conflicts: 1113000 | #Constraints: 47727
1666.34/1723.96 c #Conflicts: 1114000 | #Constraints: 48731
1666.34/1723.96 c #Conflicts: 1115000 | #Constraints: 49734
1666.34/1723.96 c #Conflicts: 1116000 | #Constraints: 50735
1666.34/1723.96 c #Conflicts: 1117000 | #Constraints: 51737
1666.34/1723.96 c #Conflicts: 1118000 | #Constraints: 52738
1666.34/1723.96 c #Conflicts: 1119000 | #Constraints: 53740
1666.34/1723.96 c #Conflicts: 1120000 | #Constraints: 54740
1666.34/1723.96 c #Conflicts: 1121000 | #Constraints: 55741
1666.34/1723.96 c #Conflicts: 1122000 | #Constraints: 56743
1666.34/1723.96 c #Conflicts: 1123000 | #Constraints: 57746
1666.34/1723.96 c #Conflicts: 1124000 | #Constraints: 58747
1666.34/1723.96 c #Conflicts: 1125000 | #Constraints: 59747
1666.34/1723.96 c INPROCESSING
1666.34/1723.96 c GARBAGE COLLECT
1666.34/1723.96 c rational objective 5
1715.81/1774.19 c #Conflicts: 1126000 | #Constraints: 39786
1715.81/1774.19 c #Conflicts: 1127000 | #Constraints: 40789
1715.81/1774.19 c #Conflicts: 1128000 | #Constraints: 41789
1715.81/1774.19 c #Conflicts: 1129000 | #Constraints: 42790
1715.81/1774.19 c #Conflicts: 1130000 | #Constraints: 43790
1715.81/1774.19 c #Conflicts: 1131000 | #Constraints: 44791
1715.81/1774.19 c #Conflicts: 1132000 | #Constraints: 45793
1715.81/1774.19 c #Conflicts: 1133000 | #Constraints: 46794
1715.81/1774.19 c #Conflicts: 1134000 | #Constraints: 47795
1715.81/1774.19 c #Conflicts: 1135000 | #Constraints: 48797
1715.81/1774.19 c #Conflicts: 1136000 | #Constraints: 49797
1715.81/1774.19 c #Conflicts: 1137000 | #Constraints: 50797
1715.81/1774.19 c #Conflicts: 1138000 | #Constraints: 51798
1715.81/1774.19 c #Conflicts: 1139000 | #Constraints: 52799
1715.81/1774.19 c #Conflicts: 1140000 | #Constraints: 53800
1715.81/1774.19 c #Conflicts: 1141000 | #Constraints: 54801
1715.81/1774.19 c #Conflicts: 1142000 | #Constraints: 55801
1715.81/1774.19 c #Conflicts: 1143000 | #Constraints: 56801
1715.81/1774.19 c #Conflicts: 1144000 | #Constraints: 57802
1715.81/1774.19 c #Conflicts: 1145000 | #Constraints: 58803
1715.81/1774.19 c #Conflicts: 1146000 | #Constraints: 59803
1715.81/1774.19 c INPROCESSING
1715.81/1774.19 c GARBAGE COLLECT
1715.81/1774.19 c rational objective 5
1757.92/1817.53 c #Conflicts: 1147000 | #Constraints: 39493
1757.92/1817.53 c #Conflicts: 1148000 | #Constraints: 40493
1757.92/1817.53 c #Conflicts: 1149000 | #Constraints: 41493
1757.92/1817.53 c #Conflicts: 1150000 | #Constraints: 42494
1757.92/1817.53 c #Conflicts: 1151000 | #Constraints: 43494
1757.92/1817.53 c #Conflicts: 1152000 | #Constraints: 44497
1757.92/1817.53 c #Conflicts: 1153000 | #Constraints: 45501
1757.92/1817.53 c #Conflicts: 1154000 | #Constraints: 46505
1757.92/1817.53 c #Conflicts: 1155000 | #Constraints: 47508
1757.92/1817.53 c #Conflicts: 1156000 | #Constraints: 48511
1757.92/1817.53 c #Conflicts: 1157000 | #Constraints: 49512
1757.92/1817.53 c #Conflicts: 1158000 | #Constraints: 50516
1757.92/1817.53 c #Conflicts: 1159000 | #Constraints: 51521
1757.92/1817.53 c #Conflicts: 1160000 | #Constraints: 52524
1757.92/1817.53 c #Conflicts: 1161000 | #Constraints: 53526
1757.92/1817.53 c #Conflicts: 1162000 | #Constraints: 54529
1757.92/1817.53 c #Conflicts: 1163000 | #Constraints: 55530
1757.92/1817.53 c #Conflicts: 1164000 | #Constraints: 56530
1757.92/1817.53 c #Conflicts: 1165000 | #Constraints: 57532
1757.92/1817.53 c #Conflicts: 1166000 | #Constraints: 58536
1757.92/1817.53 c #Conflicts: 1167000 | #Constraints: 59537
1757.92/1817.53 c #Conflicts: 1168000 | #Constraints: 60540
1757.92/1817.53 c INPROCESSING
1757.92/1817.53 c GARBAGE COLLECT
1757.92/1817.53 c rational objective 5
1806.21/1867.70 c #Conflicts: 1169000 | #Constraints: 40068
1806.21/1867.70 c #Conflicts: 1170000 | #Constraints: 41070
1806.21/1867.70 c #Conflicts: 1171000 | #Constraints: 42075
1806.21/1867.70 c #Conflicts: 1172000 | #Constraints: 43078
1806.21/1867.70 c #Conflicts: 1173000 | #Constraints: 44082
1806.21/1867.70 c #Conflicts: 1174000 | #Constraints: 45084
1806.21/1867.70 c #Conflicts: 1175000 | #Constraints: 46087
1806.21/1867.70 c #Conflicts: 1176000 | #Constraints: 47094
1806.21/1867.70 c #Conflicts: 1177000 | #Constraints: 48095
1806.21/1867.70 c #Conflicts: 1178000 | #Constraints: 49098
1806.21/1867.70 c #Conflicts: 1179000 | #Constraints: 50099
1806.21/1867.70 c #Conflicts: 1180000 | #Constraints: 51102
1806.21/1867.70 c #Conflicts: 1181000 | #Constraints: 52103
1806.21/1867.70 c #Conflicts: 1182000 | #Constraints: 53103
1806.21/1867.70 c #Conflicts: 1183000 | #Constraints: 54105
1806.21/1867.70 c #Conflicts: 1184000 | #Constraints: 55107
1806.21/1867.70 c #Conflicts: 1185000 | #Constraints: 56109
1806.21/1867.70 c #Conflicts: 1186000 | #Constraints: 57110
1806.21/1867.70 c #Conflicts: 1187000 | #Constraints: 58112
1806.21/1867.70 c #Conflicts: 1188000 | #Constraints: 59113
1806.21/1867.70 c #Conflicts: 1189000 | #Constraints: 60113
1806.21/1867.70 c #Conflicts: 1190000 | #Constraints: 61113
1806.21/1867.70 c INPROCESSING
1806.21/1867.70 c GARBAGE COLLECT
1806.21/1867.70 c rational objective 5
1851.83/1914.47 c #Conflicts: 1191000 | #Constraints: 40458
1851.83/1914.47 c #Conflicts: 1192000 | #Constraints: 41462
1851.83/1914.47 c #Conflicts: 1193000 | #Constraints: 42464
1851.83/1914.47 c #Conflicts: 1194000 | #Constraints: 43467
1851.83/1914.47 c #Conflicts: 1195000 | #Constraints: 44469
1851.83/1914.47 c #Conflicts: 1196000 | #Constraints: 45472
1851.83/1914.47 c #Conflicts: 1197000 | #Constraints: 46479
1851.83/1914.47 c #Conflicts: 1198000 | #Constraints: 47482
1851.83/1914.47 c #Conflicts: 1199000 | #Constraints: 48483
1851.83/1914.47 c #Conflicts: 1200000 | #Constraints: 49483
1851.83/1914.47 c #Conflicts: 1201000 | #Constraints: 50485
1851.83/1914.47 c #Conflicts: 1202000 | #Constraints: 51489
1851.83/1914.47 c #Conflicts: 1203000 | #Constraints: 52490
1851.83/1914.47 c #Conflicts: 1204000 | #Constraints: 53492
1851.83/1914.47 c #Conflicts: 1205000 | #Constraints: 54493
1851.83/1914.47 c #Conflicts: 1206000 | #Constraints: 55496
1851.83/1914.47 c #Conflicts: 1207000 | #Constraints: 56498
1851.83/1914.47 c #Conflicts: 1208000 | #Constraints: 57500
1851.83/1914.47 c #Conflicts: 1209000 | #Constraints: 58501
1851.83/1914.47 c #Conflicts: 1210000 | #Constraints: 59503
1851.83/1914.47 c #Conflicts: 1211000 | #Constraints: 60504
1851.83/1914.47 c #Conflicts: 1212000 | #Constraints: 61505
1851.83/1914.47 c INPROCESSING
1851.83/1914.47 c GARBAGE COLLECT
1851.83/1914.47 c rational objective 5
1889.13/1952.02 c #Conflicts: 1213000 | #Constraints: 40650
1889.13/1952.02 c #Conflicts: 1214000 | #Constraints: 41650
1889.13/1952.02 c #Conflicts: 1215000 | #Constraints: 42651
1889.13/1952.02 c #Conflicts: 1216000 | #Constraints: 43652
1889.13/1952.02 c #Conflicts: 1217000 | #Constraints: 44652
1889.13/1952.02 c #Conflicts: 1218000 | #Constraints: 45653
1889.13/1952.02 c #Conflicts: 1219000 | #Constraints: 46654
1889.13/1952.02 c #Conflicts: 1220000 | #Constraints: 47654
1889.13/1952.02 c #Conflicts: 1221000 | #Constraints: 48655
1889.13/1952.02 c #Conflicts: 1222000 | #Constraints: 49655
1889.13/1952.02 c #Conflicts: 1223000 | #Constraints: 50655
1889.13/1952.02 c #Conflicts: 1224000 | #Constraints: 51655
1889.13/1952.02 c #Conflicts: 1225000 | #Constraints: 52656
1889.13/1952.02 c #Conflicts: 1226000 | #Constraints: 53656
1889.13/1952.02 c #Conflicts: 1227000 | #Constraints: 54656
1889.13/1952.02 c #Conflicts: 1228000 | #Constraints: 55656
1889.13/1952.02 c #Conflicts: 1229000 | #Constraints: 56656
1889.13/1952.02 c #Conflicts: 1230000 | #Constraints: 57656
1889.13/1952.02 c #Conflicts: 1231000 | #Constraints: 58656
1889.13/1952.02 c #Conflicts: 1232000 | #Constraints: 59656
1889.13/1952.02 c #Conflicts: 1233000 | #Constraints: 60656
1889.13/1952.02 c #Conflicts: 1234000 | #Constraints: 61657
1889.13/1952.02 c INPROCESSING
1889.13/1952.02 c GARBAGE COLLECT
1889.13/1952.02 c rational objective 5
1937.11/2001.69 c #Conflicts: 1235000 | #Constraints: 40605
1937.11/2001.69 c #Conflicts: 1236000 | #Constraints: 41605
1937.11/2001.69 c #Conflicts: 1237000 | #Constraints: 42610
1937.11/2001.69 c #Conflicts: 1238000 | #Constraints: 43612
1937.11/2001.69 c #Conflicts: 1239000 | #Constraints: 44613
1937.11/2001.69 c #Conflicts: 1240000 | #Constraints: 45615
1937.11/2001.69 c #Conflicts: 1241000 | #Constraints: 46616
1937.11/2001.69 c #Conflicts: 1242000 | #Constraints: 47617
1937.11/2001.69 c #Conflicts: 1243000 | #Constraints: 48617
1937.11/2001.69 c #Conflicts: 1244000 | #Constraints: 49617
1937.11/2001.69 c #Conflicts: 1245000 | #Constraints: 50618
1937.11/2001.69 c #Conflicts: 1246000 | #Constraints: 51619
1937.11/2001.69 c #Conflicts: 1247000 | #Constraints: 52621
1937.11/2001.69 c #Conflicts: 1248000 | #Constraints: 53622
1937.11/2001.69 c #Conflicts: 1249000 | #Constraints: 54622
1937.11/2001.69 c #Conflicts: 1250000 | #Constraints: 55622
1937.11/2001.69 c #Conflicts: 1251000 | #Constraints: 56625
1937.11/2001.69 c #Conflicts: 1252000 | #Constraints: 57625
1937.11/2001.69 c #Conflicts: 1253000 | #Constraints: 58627
1937.11/2001.69 c #Conflicts: 1254000 | #Constraints: 59628
1937.11/2001.69 c #Conflicts: 1255000 | #Constraints: 60629
1937.11/2001.69 c #Conflicts: 1256000 | #Constraints: 61629
1937.11/2001.69 c INPROCESSING
1937.11/2001.69 c GARBAGE COLLECT
1937.11/2001.69 c rational objective 5
1992.00/2057.28 c #Conflicts: 1257000 | #Constraints: 40407
1992.00/2057.28 c #Conflicts: 1258000 | #Constraints: 41408
1992.00/2057.28 c #Conflicts: 1259000 | #Constraints: 42408
1992.00/2057.28 c #Conflicts: 1260000 | #Constraints: 43415
1992.00/2057.28 c #Conflicts: 1261000 | #Constraints: 44416
1992.00/2057.28 c #Conflicts: 1262000 | #Constraints: 45420
1992.00/2057.28 c #Conflicts: 1263000 | #Constraints: 46422
1992.00/2057.28 c #Conflicts: 1264000 | #Constraints: 47424
1992.00/2057.28 c #Conflicts: 1265000 | #Constraints: 48428
1992.00/2057.28 c #Conflicts: 1266000 | #Constraints: 49429
1992.00/2057.28 c #Conflicts: 1267000 | #Constraints: 50431
1992.00/2057.28 c #Conflicts: 1268000 | #Constraints: 51434
1992.00/2057.28 c #Conflicts: 1269000 | #Constraints: 52434
1992.00/2057.28 c #Conflicts: 1270000 | #Constraints: 53435
1992.00/2057.28 c #Conflicts: 1271000 | #Constraints: 54435
1992.00/2057.28 c #Conflicts: 1272000 | #Constraints: 55435
1992.00/2057.28 c #Conflicts: 1273000 | #Constraints: 56436
1992.00/2057.28 c #Conflicts: 1274000 | #Constraints: 57436
1992.00/2057.28 c #Conflicts: 1275000 | #Constraints: 58438
1992.00/2057.28 c #Conflicts: 1276000 | #Constraints: 59438
1992.00/2057.28 c #Conflicts: 1277000 | #Constraints: 60440
1992.00/2057.28 c #Conflicts: 1278000 | #Constraints: 61440
1992.00/2057.28 c #Conflicts: 1279000 | #Constraints: 62440
1992.00/2057.28 c INPROCESSING
1992.00/2057.28 c GARBAGE COLLECT
1992.00/2057.28 c rational objective 5
2038.33/2104.40 c #Conflicts: 1280000 | #Constraints: 40983
2038.33/2104.40 c #Conflicts: 1281000 | #Constraints: 41985
2038.33/2104.40 c #Conflicts: 1282000 | #Constraints: 42987
2038.33/2104.40 c #Conflicts: 1283000 | #Constraints: 43990
2038.33/2104.40 c #Conflicts: 1284000 | #Constraints: 44991
2038.33/2104.40 c #Conflicts: 1285000 | #Constraints: 45993
2038.33/2104.40 c #Conflicts: 1286000 | #Constraints: 46994
2038.33/2104.40 c #Conflicts: 1287000 | #Constraints: 47995
2038.33/2104.40 c #Conflicts: 1288000 | #Constraints: 48995
2038.33/2104.40 c #Conflicts: 1289000 | #Constraints: 49996
2038.33/2104.40 c #Conflicts: 1290000 | #Constraints: 50996
2038.33/2104.40 c #Conflicts: 1291000 | #Constraints: 51997
2038.33/2104.40 c #Conflicts: 1292000 | #Constraints: 52999
2038.33/2104.40 c #Conflicts: 1293000 | #Constraints: 54000
2038.33/2104.40 c #Conflicts: 1294000 | #Constraints: 55000
2038.33/2104.40 c #Conflicts: 1295000 | #Constraints: 56001
2038.33/2104.40 c #Conflicts: 1296000 | #Constraints: 57001
2038.33/2104.40 c #Conflicts: 1297000 | #Constraints: 58001
2038.33/2104.40 c #Conflicts: 1298000 | #Constraints: 59002
2038.33/2104.40 c #Conflicts: 1299000 | #Constraints: 60002
2038.33/2104.40 c #Conflicts: 1300000 | #Constraints: 61003
2038.33/2104.40 c #Conflicts: 1301000 | #Constraints: 62004
2038.33/2104.40 c #Conflicts: 1302000 | #Constraints: 63005
2038.33/2104.40 c INPROCESSING
2038.33/2104.40 c GARBAGE COLLECT
2038.33/2104.40 c rational objective 5
2081.12/2148.10 c #Conflicts: 1303000 | #Constraints: 41381
2081.12/2148.10 c #Conflicts: 1304000 | #Constraints: 42382
2081.12/2148.10 c #Conflicts: 1305000 | #Constraints: 43383
2081.12/2148.10 c #Conflicts: 1306000 | #Constraints: 44385
2081.12/2148.10 c #Conflicts: 1307000 | #Constraints: 45388
2081.12/2148.10 c #Conflicts: 1308000 | #Constraints: 46390
2081.12/2148.10 c #Conflicts: 1309000 | #Constraints: 47390
2081.12/2148.10 c #Conflicts: 1310000 | #Constraints: 48392
2081.12/2148.10 c #Conflicts: 1311000 | #Constraints: 49394
2081.12/2148.10 c #Conflicts: 1312000 | #Constraints: 50395
2081.12/2148.10 c #Conflicts: 1313000 | #Constraints: 51397
2081.12/2148.10 c #Conflicts: 1314000 | #Constraints: 52398
2081.12/2148.10 c #Conflicts: 1315000 | #Constraints: 53400
2081.12/2148.10 c #Conflicts: 1316000 | #Constraints: 54401
2081.12/2148.10 c #Conflicts: 1317000 | #Constraints: 55402
2081.12/2148.10 c #Conflicts: 1318000 | #Constraints: 56402
2081.12/2148.10 c #Conflicts: 1319000 | #Constraints: 57403
2081.12/2148.10 c #Conflicts: 1320000 | #Constraints: 58403
2081.12/2148.10 c #Conflicts: 1321000 | #Constraints: 59403
2081.12/2148.10 c #Conflicts: 1322000 | #Constraints: 60404
2081.12/2148.10 c #Conflicts: 1323000 | #Constraints: 61404
2081.12/2148.10 c #Conflicts: 1324000 | #Constraints: 62405
2081.12/2148.10 c #Conflicts: 1325000 | #Constraints: 63406
2081.12/2148.10 c INPROCESSING
2081.12/2148.10 c GARBAGE COLLECT
2081.12/2148.10 c rational objective 5
2127.22/2195.38 c #Conflicts: 1326000 | #Constraints: 41548
2127.22/2195.38 c #Conflicts: 1327000 | #Constraints: 42550
2127.22/2195.38 c #Conflicts: 1328000 | #Constraints: 43552
2127.22/2195.38 c #Conflicts: 1329000 | #Constraints: 44554
2127.22/2195.38 c #Conflicts: 1330000 | #Constraints: 45556
2127.22/2195.38 c #Conflicts: 1331000 | #Constraints: 46558
2127.22/2195.38 c #Conflicts: 1332000 | #Constraints: 47560
2127.22/2195.38 c #Conflicts: 1333000 | #Constraints: 48561
2127.22/2195.38 c #Conflicts: 1334000 | #Constraints: 49563
2127.22/2195.38 c #Conflicts: 1335000 | #Constraints: 50565
2127.22/2195.38 c #Conflicts: 1336000 | #Constraints: 51565
2127.22/2195.38 c #Conflicts: 1337000 | #Constraints: 52565
2127.22/2195.38 c #Conflicts: 1338000 | #Constraints: 53565
2127.22/2195.38 c #Conflicts: 1339000 | #Constraints: 54566
2127.22/2195.38 c #Conflicts: 1340000 | #Constraints: 55567
2127.22/2195.38 c #Conflicts: 1341000 | #Constraints: 56568
2127.22/2195.38 c #Conflicts: 1342000 | #Constraints: 57569
2127.22/2195.38 c #Conflicts: 1343000 | #Constraints: 58569
2127.22/2195.38 c #Conflicts: 1344000 | #Constraints: 59569
2127.22/2195.38 c #Conflicts: 1345000 | #Constraints: 60570
2127.22/2195.38 c #Conflicts: 1346000 | #Constraints: 61570
2127.22/2195.38 c #Conflicts: 1347000 | #Constraints: 62570
2127.22/2195.38 c #Conflicts: 1348000 | #Constraints: 63571
2127.22/2195.38 c INPROCESSING
2127.22/2195.38 c GARBAGE COLLECT
2127.22/2195.38 c rational objective 5
2188.60/2262.52 c #Conflicts: 1349000 | #Constraints: 41536
2188.60/2262.52 c #Conflicts: 1350000 | #Constraints: 42536
2188.60/2262.52 c #Conflicts: 1351000 | #Constraints: 43539
2188.60/2262.52 c #Conflicts: 1352000 | #Constraints: 44543
2188.60/2262.52 c #Conflicts: 1353000 | #Constraints: 45546
2188.60/2262.52 c #Conflicts: 1354000 | #Constraints: 46548
2188.60/2262.52 c #Conflicts: 1355000 | #Constraints: 47550
2188.60/2262.52 c #Conflicts: 1356000 | #Constraints: 48552
2188.60/2262.52 c #Conflicts: 1357000 | #Constraints: 49555
2188.60/2262.52 c #Conflicts: 1358000 | #Constraints: 50559
2188.60/2262.52 c #Conflicts: 1359000 | #Constraints: 51560
2188.60/2262.52 c #Conflicts: 1360000 | #Constraints: 52560
2188.60/2262.52 c #Conflicts: 1361000 | #Constraints: 53561
2188.60/2262.52 c #Conflicts: 1362000 | #Constraints: 54563
2188.60/2262.52 c #Conflicts: 1363000 | #Constraints: 55563
2188.60/2262.52 c #Conflicts: 1364000 | #Constraints: 56564
2188.60/2262.52 c #Conflicts: 1365000 | #Constraints: 57565
2188.60/2262.52 c #Conflicts: 1366000 | #Constraints: 58567
2188.60/2262.52 c #Conflicts: 1367000 | #Constraints: 59569
2188.60/2262.52 c #Conflicts: 1368000 | #Constraints: 60571
2188.60/2262.52 c #Conflicts: 1369000 | #Constraints: 61572
2188.60/2262.52 c #Conflicts: 1370000 | #Constraints: 62572
2188.60/2262.52 c #Conflicts: 1371000 | #Constraints: 63573
2188.60/2262.52 c INPROCESSING
2188.60/2262.52 c GARBAGE COLLECT
2188.60/2262.52 c rational objective 5
2235.43/2315.44 c #Conflicts: 1372000 | #Constraints: 41308
2235.43/2315.44 c #Conflicts: 1373000 | #Constraints: 42308
2235.43/2315.44 c #Conflicts: 1374000 | #Constraints: 43308
2235.43/2315.44 c #Conflicts: 1375000 | #Constraints: 44309
2235.43/2315.44 c #Conflicts: 1376000 | #Constraints: 45310
2235.43/2315.44 c #Conflicts: 1377000 | #Constraints: 46312
2235.43/2315.44 c #Conflicts: 1378000 | #Constraints: 47316
2235.43/2315.44 c #Conflicts: 1379000 | #Constraints: 48318
2235.43/2315.44 c #Conflicts: 1380000 | #Constraints: 49320
2235.43/2315.44 c #Conflicts: 1381000 | #Constraints: 50324
2235.43/2315.44 c #Conflicts: 1382000 | #Constraints: 51326
2235.43/2315.44 c #Conflicts: 1383000 | #Constraints: 52328
2235.43/2315.44 c #Conflicts: 1384000 | #Constraints: 53330
2235.43/2315.44 c #Conflicts: 1385000 | #Constraints: 54334
2235.43/2315.44 c #Conflicts: 1386000 | #Constraints: 55336
2235.43/2315.44 c #Conflicts: 1387000 | #Constraints: 56340
2235.43/2315.44 c #Conflicts: 1388000 | #Constraints: 57341
2235.43/2315.44 c #Conflicts: 1389000 | #Constraints: 58343
2235.43/2315.44 c #Conflicts: 1390000 | #Constraints: 59344
2235.43/2315.44 c #Conflicts: 1391000 | #Constraints: 60346
2235.43/2315.44 c #Conflicts: 1392000 | #Constraints: 61352
2235.43/2315.44 c #Conflicts: 1393000 | #Constraints: 62354
2235.43/2315.44 c #Conflicts: 1394000 | #Constraints: 63354
2235.43/2315.44 c #Conflicts: 1395000 | #Constraints: 64355
2235.43/2315.44 c INPROCESSING
2235.43/2315.44 c GARBAGE COLLECT
2235.43/2315.44 c rational objective 5
2294.58/2387.93 c #Conflicts: 1396000 | #Constraints: 41915
2294.58/2387.93 c #Conflicts: 1397000 | #Constraints: 42915
2294.58/2387.93 c #Conflicts: 1398000 | #Constraints: 43919
2294.58/2387.93 c #Conflicts: 1399000 | #Constraints: 44921
2294.58/2387.93 c #Conflicts: 1400000 | #Constraints: 45923
2294.58/2387.93 c #Conflicts: 1401000 | #Constraints: 46925
2294.58/2387.93 c #Conflicts: 1402000 | #Constraints: 47930
2294.58/2387.93 c #Conflicts: 1403000 | #Constraints: 48932
2294.58/2387.93 c #Conflicts: 1404000 | #Constraints: 49935
2294.58/2387.93 c #Conflicts: 1405000 | #Constraints: 50937
2294.58/2387.93 c #Conflicts: 1406000 | #Constraints: 51939
2294.58/2387.93 c #Conflicts: 1407000 | #Constraints: 52942
2294.58/2387.93 c #Conflicts: 1408000 | #Constraints: 53945
2294.58/2387.93 c #Conflicts: 1409000 | #Constraints: 54947
2294.58/2387.93 c #Conflicts: 1410000 | #Constraints: 55950
2294.58/2387.93 c #Conflicts: 1411000 | #Constraints: 56952
2294.58/2387.93 c #Conflicts: 1412000 | #Constraints: 57953
2294.58/2387.93 c #Conflicts: 1413000 | #Constraints: 58955
2294.58/2387.93 c #Conflicts: 1414000 | #Constraints: 59955
2294.58/2387.93 c #Conflicts: 1415000 | #Constraints: 60955
2294.58/2387.93 c #Conflicts: 1416000 | #Constraints: 61956
2294.58/2387.93 c #Conflicts: 1417000 | #Constraints: 62957
2294.58/2387.93 c #Conflicts: 1418000 | #Constraints: 63958
2294.58/2387.93 c #Conflicts: 1419000 | #Constraints: 64958
2294.58/2387.93 c INPROCESSING
2294.58/2387.93 c GARBAGE COLLECT
2294.58/2387.93 c rational objective 5
2343.98/2445.54 c #Conflicts: 1420000 | #Constraints: 42340
2343.98/2445.54 c #Conflicts: 1421000 | #Constraints: 43341
2343.98/2445.54 c #Conflicts: 1422000 | #Constraints: 44345
2343.98/2445.54 c #Conflicts: 1423000 | #Constraints: 45350
2343.98/2445.54 c #Conflicts: 1424000 | #Constraints: 46352
2343.98/2445.54 c #Conflicts: 1425000 | #Constraints: 47353
2343.98/2445.54 c #Conflicts: 1426000 | #Constraints: 48356
2343.98/2445.54 c #Conflicts: 1427000 | #Constraints: 49356
2343.98/2445.54 c #Conflicts: 1428000 | #Constraints: 50357
2343.98/2445.54 c #Conflicts: 1429000 | #Constraints: 51357
2343.98/2445.54 c #Conflicts: 1430000 | #Constraints: 52359
2343.98/2445.54 c #Conflicts: 1431000 | #Constraints: 53360
2343.98/2445.54 c #Conflicts: 1432000 | #Constraints: 54361
2343.98/2445.54 c #Conflicts: 1433000 | #Constraints: 55362
2343.98/2445.54 c #Conflicts: 1434000 | #Constraints: 56362
2343.98/2445.54 c #Conflicts: 1435000 | #Constraints: 57363
2343.98/2445.54 c #Conflicts: 1436000 | #Constraints: 58363
2343.98/2445.54 c #Conflicts: 1437000 | #Constraints: 59363
2343.98/2445.54 c #Conflicts: 1438000 | #Constraints: 60363
2343.98/2445.54 c #Conflicts: 1439000 | #Constraints: 61363
2343.98/2445.54 c #Conflicts: 1440000 | #Constraints: 62363
2343.98/2445.54 c #Conflicts: 1441000 | #Constraints: 63363
2343.98/2445.54 c #Conflicts: 1442000 | #Constraints: 64364
2343.98/2445.54 c #Conflicts: 1443000 | #Constraints: 65365
2343.98/2445.54 c INPROCESSING
2343.98/2445.54 c GARBAGE COLLECT
2343.98/2445.54 c rational objective 5
2388.94/2490.67 c #Conflicts: 1444000 | #Constraints: 42511
2388.94/2490.67 c #Conflicts: 1445000 | #Constraints: 43511
2388.94/2490.67 c #Conflicts: 1446000 | #Constraints: 44511
2388.94/2490.67 c #Conflicts: 1447000 | #Constraints: 45514
2388.94/2490.67 c #Conflicts: 1448000 | #Constraints: 46516
2388.94/2490.67 c #Conflicts: 1449000 | #Constraints: 47520
2388.94/2490.67 c #Conflicts: 1450000 | #Constraints: 48522
2388.94/2490.67 c #Conflicts: 1451000 | #Constraints: 49523
2388.94/2490.67 c #Conflicts: 1452000 | #Constraints: 50525
2388.94/2490.67 c #Conflicts: 1453000 | #Constraints: 51526
2388.94/2490.67 c #Conflicts: 1454000 | #Constraints: 52527
2388.94/2490.67 c #Conflicts: 1455000 | #Constraints: 53528
2388.94/2490.67 c #Conflicts: 1456000 | #Constraints: 54529
2388.94/2490.67 c #Conflicts: 1457000 | #Constraints: 55531
2388.94/2490.67 c #Conflicts: 1458000 | #Constraints: 56532
2388.94/2490.67 c #Conflicts: 1459000 | #Constraints: 57532
2388.94/2490.67 c #Conflicts: 1460000 | #Constraints: 58533
2388.94/2490.67 c #Conflicts: 1461000 | #Constraints: 59533
2388.94/2490.67 c #Conflicts: 1462000 | #Constraints: 60535
2388.94/2490.67 c #Conflicts: 1463000 | #Constraints: 61536
2388.94/2490.67 c #Conflicts: 1464000 | #Constraints: 62537
2388.94/2490.67 c #Conflicts: 1465000 | #Constraints: 63538
2388.94/2490.67 c #Conflicts: 1466000 | #Constraints: 64540
2388.94/2490.67 c #Conflicts: 1467000 | #Constraints: 65540
2388.94/2490.67 c INPROCESSING
2388.94/2490.67 c GARBAGE COLLECT
2388.94/2490.67 c rational objective 5
2433.90/2535.73 c #Conflicts: 1468000 | #Constraints: 42455
2433.90/2535.73 c #Conflicts: 1469000 | #Constraints: 43455
2433.90/2535.73 c #Conflicts: 1470000 | #Constraints: 44455
2433.90/2535.73 c #Conflicts: 1471000 | #Constraints: 45457
2433.90/2535.73 c #Conflicts: 1472000 | #Constraints: 46460
2433.90/2535.73 c #Conflicts: 1473000 | #Constraints: 47461
2433.90/2535.73 c #Conflicts: 1474000 | #Constraints: 48466
2433.90/2535.73 c #Conflicts: 1475000 | #Constraints: 49476
2433.90/2535.73 c #Conflicts: 1476000 | #Constraints: 50485
2433.90/2535.73 c #Conflicts: 1477000 | #Constraints: 51488
2433.90/2535.73 c #Conflicts: 1478000 | #Constraints: 52489
2433.90/2535.73 c #Conflicts: 1479000 | #Constraints: 53495
2433.90/2535.73 c #Conflicts: 1480000 | #Constraints: 54497
2433.90/2535.73 c #Conflicts: 1481000 | #Constraints: 55499
2433.90/2535.73 c #Conflicts: 1482000 | #Constraints: 56501
2433.90/2535.73 c #Conflicts: 1483000 | #Constraints: 57504
2433.90/2535.73 c #Conflicts: 1484000 | #Constraints: 58505
2433.90/2535.73 c #Conflicts: 1485000 | #Constraints: 59507
2433.90/2535.73 c #Conflicts: 1486000 | #Constraints: 60507
2433.90/2535.73 c #Conflicts: 1487000 | #Constraints: 61508
2433.90/2535.73 c #Conflicts: 1488000 | #Constraints: 62508
2433.90/2535.73 c #Conflicts: 1489000 | #Constraints: 63508
2433.90/2535.73 c #Conflicts: 1490000 | #Constraints: 64509
2433.90/2535.73 c #Conflicts: 1491000 | #Constraints: 65510
2433.90/2535.73 c INPROCESSING
2433.90/2535.73 c GARBAGE COLLECT
2433.90/2535.73 c rational objective 5
2482.34/2584.38 c #Conflicts: 1492000 | #Constraints: 42250
2482.34/2584.38 c #Conflicts: 1493000 | #Constraints: 43251
2482.34/2584.38 c #Conflicts: 1494000 | #Constraints: 44254
2482.34/2584.38 c #Conflicts: 1495000 | #Constraints: 45256
2482.34/2584.38 c #Conflicts: 1496000 | #Constraints: 46257
2482.34/2584.38 c #Conflicts: 1497000 | #Constraints: 47259
2482.34/2584.38 c #Conflicts: 1498000 | #Constraints: 48261
2482.34/2584.38 c #Conflicts: 1499000 | #Constraints: 49262
2482.34/2584.38 c #Conflicts: 1500000 | #Constraints: 50263
2482.34/2584.38 c #Conflicts: 1501000 | #Constraints: 51264
2482.34/2584.38 c #Conflicts: 1502000 | #Constraints: 52265
2482.34/2584.38 c #Conflicts: 1503000 | #Constraints: 53266
2482.34/2584.38 c #Conflicts: 1504000 | #Constraints: 54266
2482.34/2584.38 c #Conflicts: 1505000 | #Constraints: 55267
2482.34/2584.38 c #Conflicts: 1506000 | #Constraints: 56269
2482.34/2584.38 c #Conflicts: 1507000 | #Constraints: 57271
2482.34/2584.38 c #Conflicts: 1508000 | #Constraints: 58273
2482.34/2584.38 c #Conflicts: 1509000 | #Constraints: 59273
2482.34/2584.38 c #Conflicts: 1510000 | #Constraints: 60273
2482.34/2584.38 c #Conflicts: 1511000 | #Constraints: 61273
2482.34/2584.38 c #Conflicts: 1512000 | #Constraints: 62274
2482.34/2584.38 c #Conflicts: 1513000 | #Constraints: 63275
2482.34/2584.38 c #Conflicts: 1514000 | #Constraints: 64277
2482.34/2584.38 c #Conflicts: 1515000 | #Constraints: 65278
2482.34/2584.38 c #Conflicts: 1516000 | #Constraints: 66279
2482.34/2584.38 c INPROCESSING
2482.34/2584.38 c GARBAGE COLLECT
2482.34/2584.38 c rational objective 5
2527.90/2630.01 c #Conflicts: 1517000 | #Constraints: 42829
2527.90/2630.01 c #Conflicts: 1518000 | #Constraints: 43829
2527.90/2630.01 c #Conflicts: 1519000 | #Constraints: 44831
2527.90/2630.01 c #Conflicts: 1520000 | #Constraints: 45831
2527.90/2630.01 c #Conflicts: 1521000 | #Constraints: 46832
2527.90/2630.01 c #Conflicts: 1522000 | #Constraints: 47832
2527.90/2630.01 c #Conflicts: 1523000 | #Constraints: 48833
2527.90/2630.01 c #Conflicts: 1524000 | #Constraints: 49835
2527.90/2630.01 c #Conflicts: 1525000 | #Constraints: 50836
2527.90/2630.01 c #Conflicts: 1526000 | #Constraints: 51837
2527.90/2630.01 c #Conflicts: 1527000 | #Constraints: 52838
2527.90/2630.01 c #Conflicts: 1528000 | #Constraints: 53839
2527.90/2630.01 c #Conflicts: 1529000 | #Constraints: 54841
2527.90/2630.01 c #Conflicts: 1530000 | #Constraints: 55842
2527.90/2630.01 c #Conflicts: 1531000 | #Constraints: 56843
2527.90/2630.01 c #Conflicts: 1532000 | #Constraints: 57843
2527.90/2630.01 c #Conflicts: 1533000 | #Constraints: 58844
2527.90/2630.01 c #Conflicts: 1534000 | #Constraints: 59844
2527.90/2630.01 c #Conflicts: 1535000 | #Constraints: 60844
2527.90/2630.01 c #Conflicts: 1536000 | #Constraints: 61845
2527.90/2630.01 c #Conflicts: 1537000 | #Constraints: 62846
2527.90/2630.01 c #Conflicts: 1538000 | #Constraints: 63846
2527.90/2630.01 c #Conflicts: 1539000 | #Constraints: 64848
2527.90/2630.01 c #Conflicts: 1540000 | #Constraints: 65849
2527.90/2630.01 c #Conflicts: 1541000 | #Constraints: 66849
2527.90/2630.01 c INPROCESSING
2527.90/2630.01 c GARBAGE COLLECT
2527.90/2630.01 c rational objective 5
2592.99/2695.33 c #Conflicts: 1542000 | #Constraints: 43256
2592.99/2695.33 c #Conflicts: 1543000 | #Constraints: 44256
2592.99/2695.33 c #Conflicts: 1544000 | #Constraints: 45256
2592.99/2695.33 c #Conflicts: 1545000 | #Constraints: 46258
2592.99/2695.33 c #Conflicts: 1546000 | #Constraints: 47261
2592.99/2695.33 c #Conflicts: 1547000 | #Constraints: 48262
2592.99/2695.33 c #Conflicts: 1548000 | #Constraints: 49265
2592.99/2695.33 c #Conflicts: 1549000 | #Constraints: 50266
2592.99/2695.33 c #Conflicts: 1550000 | #Constraints: 51269
2592.99/2695.33 c #Conflicts: 1551000 | #Constraints: 52269
2592.99/2695.33 c #Conflicts: 1552000 | #Constraints: 53273
2592.99/2695.33 c #Conflicts: 1553000 | #Constraints: 54275
2592.99/2695.33 c #Conflicts: 1554000 | #Constraints: 55279
2592.99/2695.33 c #Conflicts: 1555000 | #Constraints: 56281
2592.99/2695.33 c #Conflicts: 1556000 | #Constraints: 57283
2592.99/2695.33 c #Conflicts: 1557000 | #Constraints: 58285
2592.99/2695.33 c #Conflicts: 1558000 | #Constraints: 59286
2592.99/2695.33 c #Conflicts: 1559000 | #Constraints: 60287
2592.99/2695.33 c #Conflicts: 1560000 | #Constraints: 61290
2592.99/2695.33 c #Conflicts: 1561000 | #Constraints: 62291
2592.99/2695.33 c #Conflicts: 1562000 | #Constraints: 63292
2592.99/2695.33 c #Conflicts: 1563000 | #Constraints: 64294
2592.99/2695.33 c #Conflicts: 1564000 | #Constraints: 65296
2592.99/2695.33 c #Conflicts: 1565000 | #Constraints: 66297
2592.99/2695.33 c #Conflicts: 1566000 | #Constraints: 67299
2592.99/2695.33 c INPROCESSING
2592.99/2695.33 c GARBAGE COLLECT
2592.99/2695.33 c rational objective 5
2666.33/2768.90 c #Conflicts: 1567000 | #Constraints: 43466
2666.33/2768.90 c #Conflicts: 1568000 | #Constraints: 44471
2666.33/2768.90 c #Conflicts: 1569000 | #Constraints: 45474
2666.33/2768.90 c #Conflicts: 1570000 | #Constraints: 46480
2666.33/2768.90 c #Conflicts: 1571000 | #Constraints: 47482
2666.33/2768.90 c #Conflicts: 1572000 | #Constraints: 48484
2666.33/2768.90 c #Conflicts: 1573000 | #Constraints: 49489
2666.33/2768.90 c #Conflicts: 1574000 | #Constraints: 50492
2666.33/2768.90 c #Conflicts: 1575000 | #Constraints: 51494
2666.33/2768.90 c #Conflicts: 1576000 | #Constraints: 52494
2666.33/2768.90 c #Conflicts: 1577000 | #Constraints: 53495
2666.33/2768.90 c #Conflicts: 1578000 | #Constraints: 54496
2666.33/2768.90 c #Conflicts: 1579000 | #Constraints: 55498
2666.33/2768.90 c #Conflicts: 1580000 | #Constraints: 56500
2666.33/2768.90 c #Conflicts: 1581000 | #Constraints: 57502
2666.33/2768.90 c #Conflicts: 1582000 | #Constraints: 58504
2666.33/2768.90 c #Conflicts: 1583000 | #Constraints: 59506
2666.33/2768.90 c #Conflicts: 1584000 | #Constraints: 60509
2666.33/2768.90 c #Conflicts: 1585000 | #Constraints: 61511
2666.33/2768.90 c #Conflicts: 1586000 | #Constraints: 62513
2666.33/2768.90 c #Conflicts: 1587000 | #Constraints: 63516
2666.33/2768.90 c #Conflicts: 1588000 | #Constraints: 64517
2666.33/2768.90 c #Conflicts: 1589000 | #Constraints: 65517
2666.33/2768.90 c #Conflicts: 1590000 | #Constraints: 66518
2666.33/2768.90 c #Conflicts: 1591000 | #Constraints: 67519
2666.33/2768.90 c INPROCESSING
2666.33/2768.90 c GARBAGE COLLECT
2666.33/2768.90 c rational objective 5
2744.01/2846.93 c #Conflicts: 1592000 | #Constraints: 43473
2744.01/2846.93 c #Conflicts: 1593000 | #Constraints: 44473
2744.01/2846.93 c #Conflicts: 1594000 | #Constraints: 45475
2744.01/2846.93 c #Conflicts: 1595000 | #Constraints: 46483
2744.01/2846.93 c #Conflicts: 1596000 | #Constraints: 47489
2744.01/2846.93 c #Conflicts: 1597000 | #Constraints: 48494
2744.01/2846.93 c #Conflicts: 1598000 | #Constraints: 49496
2744.01/2846.93 c #Conflicts: 1599000 | #Constraints: 50499
2744.01/2846.93 c #Conflicts: 1600000 | #Constraints: 51501
2744.01/2846.93 c #Conflicts: 1601000 | #Constraints: 52504
2744.01/2846.93 c #Conflicts: 1602000 | #Constraints: 53505
2744.01/2846.93 c #Conflicts: 1603000 | #Constraints: 54507
2744.01/2846.93 c #Conflicts: 1604000 | #Constraints: 55509
2744.01/2846.93 c #Conflicts: 1605000 | #Constraints: 56509
2744.01/2846.93 c #Conflicts: 1606000 | #Constraints: 57510
2744.01/2846.93 c #Conflicts: 1607000 | #Constraints: 58511
2744.01/2846.93 c #Conflicts: 1608000 | #Constraints: 59512
2744.01/2846.93 c #Conflicts: 1609000 | #Constraints: 60512
2744.01/2846.93 c #Conflicts: 1610000 | #Constraints: 61513
2744.01/2846.93 c #Conflicts: 1611000 | #Constraints: 62514
2744.01/2846.93 c #Conflicts: 1612000 | #Constraints: 63515
2744.01/2846.93 c #Conflicts: 1613000 | #Constraints: 64516
2744.01/2846.93 c #Conflicts: 1614000 | #Constraints: 65516
2744.01/2846.93 c #Conflicts: 1615000 | #Constraints: 66518
2744.01/2846.93 c #Conflicts: 1616000 | #Constraints: 67519
2744.01/2846.93 c INPROCESSING
2744.01/2846.93 c GARBAGE COLLECT
2744.01/2846.93 c rational objective 5
2820.43/2923.61 c #Conflicts: 1617000 | #Constraints: 43321
2820.43/2923.61 c #Conflicts: 1618000 | #Constraints: 44323
2820.43/2923.61 c #Conflicts: 1619000 | #Constraints: 45326
2820.43/2923.61 c #Conflicts: 1620000 | #Constraints: 46328
2820.43/2923.61 c #Conflicts: 1621000 | #Constraints: 47331
2820.43/2923.61 c #Conflicts: 1622000 | #Constraints: 48335
2820.43/2923.61 c #Conflicts: 1623000 | #Constraints: 49338
2820.43/2923.61 c #Conflicts: 1624000 | #Constraints: 50340
2820.43/2923.61 c #Conflicts: 1625000 | #Constraints: 51342
2820.43/2923.61 c #Conflicts: 1626000 | #Constraints: 52343
2820.43/2923.61 c #Conflicts: 1627000 | #Constraints: 53344
2820.43/2923.61 c #Conflicts: 1628000 | #Constraints: 54347
2820.43/2923.61 c #Conflicts: 1629000 | #Constraints: 55349
2820.43/2923.61 c #Conflicts: 1630000 | #Constraints: 56352
2820.43/2923.61 c #Conflicts: 1631000 | #Constraints: 57355
2820.43/2923.61 c #Conflicts: 1632000 | #Constraints: 58355
2820.43/2923.61 c #Conflicts: 1633000 | #Constraints: 59355
2820.43/2923.61 c #Conflicts: 1634000 | #Constraints: 60355
2820.43/2923.61 c #Conflicts: 1635000 | #Constraints: 61355
2820.43/2923.61 c #Conflicts: 1636000 | #Constraints: 62355
2820.43/2923.61 c #Conflicts: 1637000 | #Constraints: 63355
2820.43/2923.61 c #Conflicts: 1638000 | #Constraints: 64355
2820.43/2923.61 c #Conflicts: 1639000 | #Constraints: 65355
2820.43/2923.61 c #Conflicts: 1640000 | #Constraints: 66355
2820.43/2923.61 c #Conflicts: 1641000 | #Constraints: 67355
2820.43/2923.61 c #Conflicts: 1642000 | #Constraints: 68356
2820.43/2923.61 c INPROCESSING
2820.43/2923.61 c GARBAGE COLLECT
2820.43/2923.61 c rational objective 5
2878.02/2981.40 c #Conflicts: 1643000 | #Constraints: 43871
2878.02/2981.40 c #Conflicts: 1644000 | #Constraints: 44871
2878.02/2981.40 c #Conflicts: 1645000 | #Constraints: 45871
2878.02/2981.40 c #Conflicts: 1646000 | #Constraints: 46874
2878.02/2981.40 c #Conflicts: 1647000 | #Constraints: 47879
2878.02/2981.40 c #Conflicts: 1648000 | #Constraints: 48886
2878.02/2981.40 c #Conflicts: 1649000 | #Constraints: 49893
2878.02/2981.40 c #Conflicts: 1650000 | #Constraints: 50897
2878.02/2981.40 c #Conflicts: 1651000 | #Constraints: 51901
2878.02/2981.40 c #Conflicts: 1652000 | #Constraints: 52903
2878.02/2981.40 c #Conflicts: 1653000 | #Constraints: 53909
2878.02/2981.40 c #Conflicts: 1654000 | #Constraints: 54913
2878.02/2981.40 c #Conflicts: 1655000 | #Constraints: 55914
2878.02/2981.40 c #Conflicts: 1656000 | #Constraints: 56918
2878.02/2981.40 c #Conflicts: 1657000 | #Constraints: 57924
2878.02/2981.40 c #Conflicts: 1658000 | #Constraints: 58929
2878.02/2981.40 c #Conflicts: 1659000 | #Constraints: 59931
2878.02/2981.40 c #Conflicts: 1660000 | #Constraints: 60934
2878.02/2981.40 c #Conflicts: 1661000 | #Constraints: 61934
2878.02/2981.40 c #Conflicts: 1662000 | #Constraints: 62938
2878.02/2981.40 c #Conflicts: 1663000 | #Constraints: 63939
2878.02/2981.40 c #Conflicts: 1664000 | #Constraints: 64942
2878.02/2981.40 c #Conflicts: 1665000 | #Constraints: 65944
2878.02/2981.40 c #Conflicts: 1666000 | #Constraints: 66945
2878.02/2981.40 c #Conflicts: 1667000 | #Constraints: 67947
2878.02/2981.40 c #Conflicts: 1668000 | #Constraints: 68949
2878.02/2981.40 c INPROCESSING
2878.02/2981.40 c GARBAGE COLLECT
2878.02/2981.40 c rational objective 5
2937.41/3041.03 c #Conflicts: 1669000 | #Constraints: 44255
2937.41/3041.03 c #Conflicts: 1670000 | #Constraints: 45256
2937.41/3041.03 c #Conflicts: 1671000 | #Constraints: 46256
2937.41/3041.03 c #Conflicts: 1672000 | #Constraints: 47258
2937.41/3041.03 c #Conflicts: 1673000 | #Constraints: 48260
2937.41/3041.03 c #Conflicts: 1674000 | #Constraints: 49260
2937.41/3041.03 c #Conflicts: 1675000 | #Constraints: 50261
2937.41/3041.03 c #Conflicts: 1676000 | #Constraints: 51262
2937.41/3041.03 c #Conflicts: 1677000 | #Constraints: 52266
2937.41/3041.03 c #Conflicts: 1678000 | #Constraints: 53270
2937.41/3041.03 c #Conflicts: 1679000 | #Constraints: 54272
2937.41/3041.03 c #Conflicts: 1680000 | #Constraints: 55274
2937.41/3041.03 c #Conflicts: 1681000 | #Constraints: 56274
2937.41/3041.03 c #Conflicts: 1682000 | #Constraints: 57274
2937.41/3041.03 c #Conflicts: 1683000 | #Constraints: 58274
2937.41/3041.03 c #Conflicts: 1684000 | #Constraints: 59275
2937.41/3041.03 c #Conflicts: 1685000 | #Constraints: 60276
2937.41/3041.03 c #Conflicts: 1686000 | #Constraints: 61276
2937.41/3041.03 c #Conflicts: 1687000 | #Constraints: 62278
2937.41/3041.03 c #Conflicts: 1688000 | #Constraints: 63278
2937.41/3041.03 c #Conflicts: 1689000 | #Constraints: 64278
2937.41/3041.03 c #Conflicts: 1690000 | #Constraints: 65279
2937.41/3041.03 c #Conflicts: 1691000 | #Constraints: 66280
2937.41/3041.03 c #Conflicts: 1692000 | #Constraints: 67281
2937.41/3041.03 c #Conflicts: 1693000 | #Constraints: 68281
2937.41/3041.03 c #Conflicts: 1694000 | #Constraints: 69282
2937.41/3041.03 c INPROCESSING
2937.41/3041.03 c GARBAGE COLLECT
2937.41/3041.03 c rational objective 5
2999.58/3103.42 c #Conflicts: 1695000 | #Constraints: 44419
2999.58/3103.42 c #Conflicts: 1696000 | #Constraints: 45419
2999.58/3103.42 c #Conflicts: 1697000 | #Constraints: 46422
2999.58/3103.42 c #Conflicts: 1698000 | #Constraints: 47423
2999.58/3103.42 c #Conflicts: 1699000 | #Constraints: 48425
2999.58/3103.42 c #Conflicts: 1700000 | #Constraints: 49426
2999.58/3103.42 c #Conflicts: 1701000 | #Constraints: 50428
2999.58/3103.42 c #Conflicts: 1702000 | #Constraints: 51430
2999.58/3103.42 c #Conflicts: 1703000 | #Constraints: 52433
2999.58/3103.42 c #Conflicts: 1704000 | #Constraints: 53435
2999.58/3103.42 c #Conflicts: 1705000 | #Constraints: 54436
2999.58/3103.42 c #Conflicts: 1706000 | #Constraints: 55436
2999.58/3103.42 c #Conflicts: 1707000 | #Constraints: 56438
2999.58/3103.42 c #Conflicts: 1708000 | #Constraints: 57439
2999.58/3103.42 c #Conflicts: 1709000 | #Constraints: 58440
2999.58/3103.42 c #Conflicts: 1710000 | #Constraints: 59440
2999.58/3103.42 c #Conflicts: 1711000 | #Constraints: 60441
2999.58/3103.42 c #Conflicts: 1712000 | #Constraints: 61442
2999.58/3103.42 c #Conflicts: 1713000 | #Constraints: 62443
2999.58/3103.42 c #Conflicts: 1714000 | #Constraints: 63443
2999.58/3103.42 c #Conflicts: 1715000 | #Constraints: 64443
2999.58/3103.42 c #Conflicts: 1716000 | #Constraints: 65443
2999.58/3103.42 c #Conflicts: 1717000 | #Constraints: 66444
2999.58/3103.42 c #Conflicts: 1718000 | #Constraints: 67445
2999.58/3103.42 c #Conflicts: 1719000 | #Constraints: 68445
2999.58/3103.42 c #Conflicts: 1720000 | #Constraints: 69445
2999.58/3103.42 c INPROCESSING
2999.58/3103.42 c GARBAGE COLLECT
2999.58/3103.42 c rational objective 5
3071.93/3176.10 c #Conflicts: 1721000 | #Constraints: 44377
3071.93/3176.10 c #Conflicts: 1722000 | #Constraints: 45381
3071.93/3176.10 c #Conflicts: 1723000 | #Constraints: 46385
3071.93/3176.10 c #Conflicts: 1724000 | #Constraints: 47388
3071.93/3176.10 c #Conflicts: 1725000 | #Constraints: 48389
3071.93/3176.10 c #Conflicts: 1726000 | #Constraints: 49389
3071.93/3176.10 c #Conflicts: 1727000 | #Constraints: 50391
3071.93/3176.10 c #Conflicts: 1728000 | #Constraints: 51392
3071.93/3176.10 c #Conflicts: 1729000 | #Constraints: 52393
3071.93/3176.10 c #Conflicts: 1730000 | #Constraints: 53395
3071.93/3176.10 c #Conflicts: 1731000 | #Constraints: 54395
3071.93/3176.10 c #Conflicts: 1732000 | #Constraints: 55396
3071.93/3176.10 c #Conflicts: 1733000 | #Constraints: 56396
3071.93/3176.10 c #Conflicts: 1734000 | #Constraints: 57397
3071.93/3176.10 c #Conflicts: 1735000 | #Constraints: 58397
3071.93/3176.10 c #Conflicts: 1736000 | #Constraints: 59398
3071.93/3176.10 c #Conflicts: 1737000 | #Constraints: 60398
3071.93/3176.10 c #Conflicts: 1738000 | #Constraints: 61399
3071.93/3176.10 c #Conflicts: 1739000 | #Constraints: 62400
3071.93/3176.10 c #Conflicts: 1740000 | #Constraints: 63400
3071.93/3176.10 c #Conflicts: 1741000 | #Constraints: 64400
3071.93/3176.10 c #Conflicts: 1742000 | #Constraints: 65401
3071.93/3176.10 c #Conflicts: 1743000 | #Constraints: 66401
3071.93/3176.10 c #Conflicts: 1744000 | #Constraints: 67402
3071.93/3176.10 c #Conflicts: 1745000 | #Constraints: 68403
3071.93/3176.10 c #Conflicts: 1746000 | #Constraints: 69403
3071.93/3176.10 c INPROCESSING
3071.93/3176.10 c GARBAGE COLLECT
3071.93/3176.10 c rational objective 5
3130.59/3234.92 c #Conflicts: 1747000 | #Constraints: 44181
3130.59/3234.92 c #Conflicts: 1748000 | #Constraints: 45181
3130.59/3234.92 c #Conflicts: 1749000 | #Constraints: 46181
3130.59/3234.92 c #Conflicts: 1750000 | #Constraints: 47182
3130.59/3234.92 c #Conflicts: 1751000 | #Constraints: 48183
3130.59/3234.92 c #Conflicts: 1752000 | #Constraints: 49185
3130.59/3234.92 c #Conflicts: 1753000 | #Constraints: 50189
3130.59/3234.92 c #Conflicts: 1754000 | #Constraints: 51193
3130.59/3234.92 c #Conflicts: 1755000 | #Constraints: 52194
3130.59/3234.92 c #Conflicts: 1756000 | #Constraints: 53198
3130.59/3234.92 c #Conflicts: 1757000 | #Constraints: 54202
3130.59/3234.92 c #Conflicts: 1758000 | #Constraints: 55204
3130.59/3234.92 c #Conflicts: 1759000 | #Constraints: 56208
3130.59/3234.92 c #Conflicts: 1760000 | #Constraints: 57214
3130.59/3234.92 c #Conflicts: 1761000 | #Constraints: 58216
3130.59/3234.92 c #Conflicts: 1762000 | #Constraints: 59221
3130.59/3234.92 c #Conflicts: 1763000 | #Constraints: 60223
3130.59/3234.92 c #Conflicts: 1764000 | #Constraints: 61224
3130.59/3234.92 c #Conflicts: 1765000 | #Constraints: 62229
3130.59/3234.92 c #Conflicts: 1766000 | #Constraints: 63232
3130.59/3234.92 c #Conflicts: 1767000 | #Constraints: 64234
3130.59/3234.92 c #Conflicts: 1768000 | #Constraints: 65236
3130.59/3234.92 c #Conflicts: 1769000 | #Constraints: 66237
3130.59/3234.92 c #Conflicts: 1770000 | #Constraints: 67238
3130.59/3234.92 c #Conflicts: 1771000 | #Constraints: 68240
3130.59/3234.92 c #Conflicts: 1772000 | #Constraints: 69241
3130.59/3234.92 c #Conflicts: 1773000 | #Constraints: 70241
3130.59/3234.92 c INPROCESSING
3130.59/3234.92 c GARBAGE COLLECT
3130.59/3234.92 c rational objective 5
3190.05/3294.65 c #Conflicts: 1774000 | #Constraints: 44793
3190.05/3294.65 c #Conflicts: 1775000 | #Constraints: 45793
3190.05/3294.65 c #Conflicts: 1776000 | #Constraints: 46794
3190.05/3294.65 c #Conflicts: 1777000 | #Constraints: 47796
3190.05/3294.65 c #Conflicts: 1778000 | #Constraints: 48797
3190.05/3294.65 c #Conflicts: 1779000 | #Constraints: 49800
3190.05/3294.65 c #Conflicts: 1780000 | #Constraints: 50803
3190.05/3294.65 c #Conflicts: 1781000 | #Constraints: 51806
3190.05/3294.65 c #Conflicts: 1782000 | #Constraints: 52807
3190.05/3294.65 c #Conflicts: 1783000 | #Constraints: 53808
3190.05/3294.65 c #Conflicts: 1784000 | #Constraints: 54808
3190.05/3294.65 c #Conflicts: 1785000 | #Constraints: 55809
3190.05/3294.65 c #Conflicts: 1786000 | #Constraints: 56810
3190.05/3294.65 c #Conflicts: 1787000 | #Constraints: 57811
3190.05/3294.65 c #Conflicts: 1788000 | #Constraints: 58811
3190.05/3294.65 c #Conflicts: 1789000 | #Constraints: 59811
3190.05/3294.65 c #Conflicts: 1790000 | #Constraints: 60812
3190.05/3294.65 c #Conflicts: 1791000 | #Constraints: 61813
3190.05/3294.65 c #Conflicts: 1792000 | #Constraints: 62813
3190.05/3294.65 c #Conflicts: 1793000 | #Constraints: 63813
3190.05/3294.65 c #Conflicts: 1794000 | #Constraints: 64814
3190.05/3294.65 c #Conflicts: 1795000 | #Constraints: 65814
3190.05/3294.65 c #Conflicts: 1796000 | #Constraints: 66815
3190.05/3294.65 c #Conflicts: 1797000 | #Constraints: 67816
3190.05/3294.65 c #Conflicts: 1798000 | #Constraints: 68817
3190.05/3294.65 c #Conflicts: 1799000 | #Constraints: 69817
3190.05/3294.65 c #Conflicts: 1800000 | #Constraints: 70818
3190.05/3294.65 c INPROCESSING
3190.05/3294.65 c GARBAGE COLLECT
3190.05/3294.65 c rational objective 5
3249.71/3354.51 c #Conflicts: 1801000 | #Constraints: 45212
3249.71/3354.51 c #Conflicts: 1802000 | #Constraints: 46212
3249.71/3354.51 c #Conflicts: 1803000 | #Constraints: 47213
3249.71/3354.51 c #Conflicts: 1804000 | #Constraints: 48213
3249.71/3354.51 c #Conflicts: 1805000 | #Constraints: 49213
3249.71/3354.51 c #Conflicts: 1806000 | #Constraints: 50214
3249.71/3354.51 c #Conflicts: 1807000 | #Constraints: 51215
3249.71/3354.51 c #Conflicts: 1808000 | #Constraints: 52216
3249.71/3354.51 c #Conflicts: 1809000 | #Constraints: 53217
3249.71/3354.51 c #Conflicts: 1810000 | #Constraints: 54218
3249.71/3354.51 c #Conflicts: 1811000 | #Constraints: 55219
3249.71/3354.51 c #Conflicts: 1812000 | #Constraints: 56221
3249.71/3354.51 c #Conflicts: 1813000 | #Constraints: 57222
3249.71/3354.51 c #Conflicts: 1814000 | #Constraints: 58223
3249.71/3354.51 c #Conflicts: 1815000 | #Constraints: 59223
3249.71/3354.51 c #Conflicts: 1816000 | #Constraints: 60223
3249.71/3354.51 c #Conflicts: 1817000 | #Constraints: 61223
3249.71/3354.51 c #Conflicts: 1818000 | #Constraints: 62223
3249.71/3354.51 c #Conflicts: 1819000 | #Constraints: 63223
3249.71/3354.51 c #Conflicts: 1820000 | #Constraints: 64223
3249.71/3354.51 c #Conflicts: 1821000 | #Constraints: 65224
3249.71/3354.51 c #Conflicts: 1822000 | #Constraints: 66224
3249.71/3354.51 c #Conflicts: 1823000 | #Constraints: 67225
3249.71/3354.51 c #Conflicts: 1824000 | #Constraints: 68225
3249.71/3354.51 c #Conflicts: 1825000 | #Constraints: 69225
3249.71/3354.51 c #Conflicts: 1826000 | #Constraints: 70226
3249.71/3354.51 c #Conflicts: 1827000 | #Constraints: 71226
3249.71/3354.51 c INPROCESSING
3249.71/3354.51 c GARBAGE COLLECT
3249.71/3354.51 c rational objective 5
3348.94/3454.17 c #Conflicts: 1828000 | #Constraints: 45407
3348.94/3454.17 c #Conflicts: 1829000 | #Constraints: 46410
3348.94/3454.17 c #Conflicts: 1830000 | #Constraints: 47412
3348.94/3454.17 c #Conflicts: 1831000 | #Constraints: 48415
3348.94/3454.17 c #Conflicts: 1832000 | #Constraints: 49419
3348.94/3454.17 c #Conflicts: 1833000 | #Constraints: 50421
3348.94/3454.17 c #Conflicts: 1834000 | #Constraints: 51424
3348.94/3454.17 c #Conflicts: 1835000 | #Constraints: 52426
3348.94/3454.17 c #Conflicts: 1836000 | #Constraints: 53429
3348.94/3454.17 c #Conflicts: 1837000 | #Constraints: 54431
3348.94/3454.17 c #Conflicts: 1838000 | #Constraints: 55433
3348.94/3454.17 c #Conflicts: 1839000 | #Constraints: 56435
3348.94/3454.17 c #Conflicts: 1840000 | #Constraints: 57437
3348.94/3454.17 c #Conflicts: 1841000 | #Constraints: 58439
3348.94/3454.17 c #Conflicts: 1842000 | #Constraints: 59439
3348.94/3454.17 c #Conflicts: 1843000 | #Constraints: 60439
3348.94/3454.17 c #Conflicts: 1844000 | #Constraints: 61443
3348.94/3454.17 c #Conflicts: 1845000 | #Constraints: 62446
3348.94/3454.17 c #Conflicts: 1846000 | #Constraints: 63447
3348.94/3454.17 c #Conflicts: 1847000 | #Constraints: 64447
3348.94/3454.17 c #Conflicts: 1848000 | #Constraints: 65447
3348.94/3454.17 c #Conflicts: 1849000 | #Constraints: 66448
3348.94/3454.17 c #Conflicts: 1850000 | #Constraints: 67448
3348.94/3454.17 c #Conflicts: 1851000 | #Constraints: 68448
3348.94/3454.17 c #Conflicts: 1852000 | #Constraints: 69449
3348.94/3454.17 c #Conflicts: 1853000 | #Constraints: 70449
3348.94/3454.17 c #Conflicts: 1854000 | #Constraints: 71449
3348.94/3454.17 c INPROCESSING
3348.94/3454.17 c GARBAGE COLLECT
3348.94/3454.17 c rational objective 5
3421.84/3527.32 c #Conflicts: 1855000 | #Constraints: 45412
3421.84/3527.32 c #Conflicts: 1856000 | #Constraints: 46412
3421.84/3527.32 c #Conflicts: 1857000 | #Constraints: 47415
3421.84/3527.32 c #Conflicts: 1858000 | #Constraints: 48417
3421.84/3527.32 c #Conflicts: 1859000 | #Constraints: 49417
3421.84/3527.32 c #Conflicts: 1860000 | #Constraints: 50418
3421.84/3527.32 c #Conflicts: 1861000 | #Constraints: 51420
3421.84/3527.32 c #Conflicts: 1862000 | #Constraints: 52421
3421.84/3527.32 c #Conflicts: 1863000 | #Constraints: 53422
3421.84/3527.32 c #Conflicts: 1864000 | #Constraints: 54427
3421.84/3527.32 c #Conflicts: 1865000 | #Constraints: 55430
3421.84/3527.32 c #Conflicts: 1866000 | #Constraints: 56431
3421.84/3527.32 c #Conflicts: 1867000 | #Constraints: 57431
3421.84/3527.32 c #Conflicts: 1868000 | #Constraints: 58432
3421.84/3527.32 c #Conflicts: 1869000 | #Constraints: 59434
3421.84/3527.32 c #Conflicts: 1870000 | #Constraints: 60434
3421.84/3527.32 c #Conflicts: 1871000 | #Constraints: 61436
3421.84/3527.32 c #Conflicts: 1872000 | #Constraints: 62437
3421.84/3527.32 c #Conflicts: 1873000 | #Constraints: 63438
3421.84/3527.32 c #Conflicts: 1874000 | #Constraints: 64439
3421.84/3527.32 c #Conflicts: 1875000 | #Constraints: 65442
3421.84/3527.32 c #Conflicts: 1876000 | #Constraints: 66443
3421.84/3527.32 c #Conflicts: 1877000 | #Constraints: 67443
3421.84/3527.32 c #Conflicts: 1878000 | #Constraints: 68444
3421.84/3527.32 c #Conflicts: 1879000 | #Constraints: 69444
3421.84/3527.32 c #Conflicts: 1880000 | #Constraints: 70445
3421.84/3527.32 c #Conflicts: 1881000 | #Constraints: 71446
3421.84/3527.32 c INPROCESSING
3421.84/3527.32 c GARBAGE COLLECT
3421.84/3527.32 c rational objective 5
3493.06/3598.89 c #Conflicts: 1882000 | #Constraints: 45197
3493.06/3598.89 c #Conflicts: 1883000 | #Constraints: 46197
3493.06/3598.89 c #Conflicts: 1884000 | #Constraints: 47198
3493.06/3598.89 c #Conflicts: 1885000 | #Constraints: 48202
3493.06/3598.89 c #Conflicts: 1886000 | #Constraints: 49209
3493.06/3598.89 c #Conflicts: 1887000 | #Constraints: 50213
3493.06/3598.89 c #Conflicts: 1888000 | #Constraints: 51215
3493.06/3598.89 c #Conflicts: 1889000 | #Constraints: 52218
3493.06/3598.89 c #Conflicts: 1890000 | #Constraints: 53223
3493.06/3598.89 c #Conflicts: 1891000 | #Constraints: 54224
3493.06/3598.89 c #Conflicts: 1892000 | #Constraints: 55224
3493.06/3598.89 c #Conflicts: 1893000 | #Constraints: 56227
3493.06/3598.89 c #Conflicts: 1894000 | #Constraints: 57230
3493.06/3598.89 c #Conflicts: 1895000 | #Constraints: 58232
3493.06/3598.89 c #Conflicts: 1896000 | #Constraints: 59236
3493.06/3598.89 c #Conflicts: 1897000 | #Constraints: 60238
3493.06/3598.89 c #Conflicts: 1898000 | #Constraints: 61240
3493.06/3598.89 c #Conflicts: 1899000 | #Constraints: 62241
3493.06/3598.89 c #Conflicts: 1900000 | #Constraints: 63243
3493.06/3598.89 c #Conflicts: 1901000 | #Constraints: 64245
3493.06/3598.89 c #Conflicts: 1902000 | #Constraints: 65247
3493.06/3598.89 c #Conflicts: 1903000 | #Constraints: 66248
3493.06/3598.89 c #Conflicts: 1904000 | #Constraints: 67249
3493.06/3598.89 c #Conflicts: 1905000 | #Constraints: 68251
3493.06/3598.89 c #Conflicts: 1906000 | #Constraints: 69252
3493.06/3598.89 c #Conflicts: 1907000 | #Constraints: 70254
3493.06/3598.89 c #Conflicts: 1908000 | #Constraints: 71255
3493.06/3598.89 c #Conflicts: 1909000 | #Constraints: 72256
3493.06/3598.89 c INPROCESSING
3493.06/3598.89 c GARBAGE COLLECT
3493.06/3598.89 c rational objective 5
3553.21/3675.78 c #Conflicts: 1910000 | #Constraints: 45820
3553.21/3675.78 c #Conflicts: 1911000 | #Constraints: 46821
3553.21/3675.78 c #Conflicts: 1912000 | #Constraints: 47825
3553.21/3675.78 c #Conflicts: 1913000 | #Constraints: 48825
3553.21/3675.78 c #Conflicts: 1914000 | #Constraints: 49825
3553.21/3675.78 c #Conflicts: 1915000 | #Constraints: 50825
3553.21/3675.78 c #Conflicts: 1916000 | #Constraints: 51825
3553.21/3675.78 c #Conflicts: 1917000 | #Constraints: 52826
3553.21/3675.78 c #Conflicts: 1918000 | #Constraints: 53826
3553.21/3675.78 c #Conflicts: 1919000 | #Constraints: 54827
3553.21/3675.78 c #Conflicts: 1920000 | #Constraints: 55829
3553.21/3675.78 c #Conflicts: 1921000 | #Constraints: 56830
3553.21/3675.78 c #Conflicts: 1922000 | #Constraints: 57830
3553.21/3675.78 c #Conflicts: 1923000 | #Constraints: 58830
3553.21/3675.78 c #Conflicts: 1924000 | #Constraints: 59830
3553.21/3675.78 c #Conflicts: 1925000 | #Constraints: 60830
3553.21/3675.78 c #Conflicts: 1926000 | #Constraints: 61830
3553.21/3675.78 c #Conflicts: 1927000 | #Constraints: 62830
3553.21/3675.78 c #Conflicts: 1928000 | #Constraints: 63830
3553.21/3675.78 c #Conflicts: 1929000 | #Constraints: 64831
3553.21/3675.78 c #Conflicts: 1930000 | #Constraints: 65832
3553.21/3675.78 c #Conflicts: 1931000 | #Constraints: 66833
3553.21/3675.78 c #Conflicts: 1932000 | #Constraints: 67833
3553.21/3675.78 c #Conflicts: 1933000 | #Constraints: 68833
3553.21/3675.78 c #Conflicts: 1934000 | #Constraints: 69833
3553.21/3675.78 c #Conflicts: 1935000 | #Constraints: 70833
3553.21/3675.78 c #Conflicts: 1936000 | #Constraints: 71835
3553.21/3675.78 c #Conflicts: 1937000 | #Constraints: 72836
3553.21/3675.78 c INPROCESSING
3553.21/3675.78 c GARBAGE COLLECT
3553.21/3675.78 c rational objective 5
3569.08/3700.01 c #Conflicts: 1938000 | #Constraints: 46170
3569.08/3700.01 c #Conflicts: 1939000 | #Constraints: 47172
3569.08/3700.01 c #Conflicts: 1940000 | #Constraints: 48173
3569.08/3700.01 c #Conflicts: 1941000 | #Constraints: 49173
3569.08/3700.01 c #Conflicts: 1942000 | #Constraints: 50174
3569.08/3700.01 c #Conflicts: 1943000 | #Constraints: 51176
3569.08/3700.01 c #Conflicts: 1944000 | #Constraints: 52177
3569.08/3700.01 c #Conflicts: 1945000 | #Constraints: 53182
3569.08/3700.01 c #Conflicts: 1946000 | #Constraints: 54184
3569.08/3700.01 c #Conflicts: 1947000 | #Constraints: 55186
3569.08/3700.01 c #Conflicts: 1948000 | #Constraints: 56187
3569.08/3700.01 c cpu time 3536.42 s
3569.08/3700.01 c deterministic time 284328292273 2.84e+11
3569.08/3700.01 c optimization time 15.4271 s
3569.08/3700.01 c total solve time 3520.66 s
3569.08/3700.01 c core-guided solve time 1768.42 s
3569.08/3700.01 c propagation time 2306.25 s
3569.08/3700.01 c conflict analysis time 1032.05 s
3569.08/3700.01 c propagations 591554480
3569.08/3700.01 c resolve steps 20600347
3569.08/3700.01 c decisions 5366782
3569.08/3700.01 c conflicts 1948547
3569.08/3700.01 c restarts 3829
3569.08/3700.01 c inprocessing phases 130
3569.08/3700.01 c garbage collections 130 ,( 100.00 )
3569.08/3700.01 c input clauses 21666 ,( 98.32 )
3569.08/3700.01 c input cardinalities 50 ,( 0.23 )
3569.08/3700.01 c input general constraints 320 ,( 1.45 )
3569.08/3700.01 c input average constraint length 3.70
3569.08/3700.01 c input average constraint degree 9.09
3569.08/3700.01 c learned clauses 336527 ,( 17.24 )
3569.08/3700.01 c learned cardinalities 10551 ,( 0.54 )
3569.08/3700.01 c learned general constraints 1605003 ,( 82.22 )
3569.08/3700.01 c learned average constraint length 351.14
3569.08/3700.01 c learned average constraint degree 2606604677.92
3569.08/3700.01 c watched CF 32, 64, 128, Arb: 533298 , 0 , 0 , 0
3569.08/3700.01 c counting CF 32, 64, 128, Arb: 1072026 , 0 , 0 , 0
3569.08/3700.01 c watched constraints 533298 ,( 33.22 )
3569.08/3700.01 c counting constraints 1072025 ,( 66.78 )
3569.08/3700.01 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 340354100 , 58104843 , 4397183756 ,( 302877245 , 4094306511 )
3569.08/3700.01 c gcd simplifications 200026
3569.08/3700.01 c detected cardinalities 547
3569.08/3700.01 c weakened non-implied lits 222668099
3569.08/3700.01 c weakened non-implying lits 920888
3569.08/3700.01 c original variables 8515
3569.08/3700.01 c clausal propagations 256228396
3569.08/3700.01 c cardinality propagations 22204338
3569.08/3700.01 c watched propagations 2018787
3569.08/3700.01 c counting propagations 304991278
3569.08/3700.01 c watch lookups 203584569205
3569.08/3700.01 c watch backjump lookups 0
3569.08/3700.01 c watch checks 20452355790
3569.08/3700.01 c propagation checks 56656462635
3569.08/3700.01 c constraint additions 2437019758
3569.08/3700.01 c trail pops 598864364
3569.08/3700.01 c formula constraints 22036
3569.08/3700.01 c learned constraints 1945333
3569.08/3700.01 c bound constraints 0
3569.08/3700.01 c core-guided constraints 0
3569.08/3700.01 c encountered formula constraints 13087377
3569.08/3700.01 c encountered learned constraints 8880857
3569.08/3700.01 c encountered bound constraints 0
3569.08/3700.01 c encountered core-guided constraints 0
3569.08/3700.01 c LP total time 539.45 s
3569.08/3700.01 c LP solve time 474.88 s
3569.08/3700.01 c LP constraints added 24915
3569.08/3700.01 c LP constraints removed 2821
3569.08/3700.01 c LP pivots internal 1949065
3569.08/3700.01 c LP pivots root 150193
3569.08/3700.01 c LP calls 4551
3569.08/3700.01 c LP optimalities 1331
3569.08/3700.01 c LP no pivot count 63
3569.08/3700.01 c LP infeasibilities 3217
3569.08/3700.01 c LP valid Farkas constraints 3215
3569.08/3700.01 c LP learned Farkas constraints 3214
3569.08/3700.01 c LP basis resets 2
3569.08/3700.01 c LP cycling count 0
3569.08/3700.01 c LP singular count 0
3569.08/3700.01 c LP no primal count 0
3569.08/3700.01 c LP no farkas count 2
3569.08/3700.01 c LP other issue count 0
3569.08/3700.01 c LP Gomory cuts 319
3569.08/3700.01 c LP learned cuts 2560
3569.08/3700.01 c LP deleted cuts 2821
3569.08/3700.01 c LP encountered Gomory constraints 46724
3569.08/3700.01 c LP encountered Farkas constraints 494267
3569.08/3700.01 c LP encountered learned Farkas constraints 36455
3569.08/3700.01 c CG auxiliary variables introduced 0
3569.08/3700.01 c CG solutions found 0
3569.08/3700.01 c CG cores constructed 0
3569.08/3700.01 c CG core cardinality constraints returned 0
3569.08/3700.01 c CG unit cores 0
3569.08/3700.01 c CG single cores 0
3569.08/3700.01 c CG blocks removed during cardinality reduction 0
3569.08/3700.01 c CG first core best 0
3569.08/3700.01 c CG decision core best 0
3569.08/3700.01 c CG core reduction tie 0
3569.08/3700.01 c CG core degree average 0.00
3569.08/3700.01 c CG core slack average 0.00
3569.08/3700.01 c CG core upper bound improvements 0
3569.08/3700.01 c STR number of successful calls 0
3569.08/3700.01 c STR number of unsuccessful calls 0
3569.08/3700.01 c STR number of inconclusive calls 0
3569.08/3700.01 c STR number of successful attempts 0
3569.08/3700.01 c STR number of unsuccessful attempts 0
3569.08/3700.01 c STR number of inconclusive attempts 0
3569.08/3700.01 c STR average degree increase per successful call inf
3569.08/3700.01 c STR average degree increase per successful attempt inf
3569.08/3700.01 c STR total number of conflicts for successful attempts 0
3569.08/3700.01 c STR total number of conflicts for unsuccessful attempts 0
3569.08/3700.01 c STR total number of conflicts for inconclusive attempts 0
3569.08/3700.01 c STR average number of conflicts per successful attempt inf
3569.08/3700.01 c STR average number of conflicts per unsuccessful attempt inf
3569.08/3700.01 c STR average number of conflicts per inconclusive attempt inf
3569.08/3700.01 c AVG.sumWPerc 54.59
3569.08/3700.01 c bigint constraints 0
3569.08/3700.01 s UNKNOWN
3569.08/3700.01 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63794 MiB (58504 MiB free)
memory of node 1: 64507 MiB (61936 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4532503-1752588325/watcher-4532503-1752588325 -o /tmp/evaluation-result-4532503-1752588325/solver-4532503-1752588325 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1752584602-135677 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4532503-1752588325.opb PROOFDIR/proof-4532503-1752588325
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=136276, runsolver pid=136273
[startup+0.100071 s]*
/proc/loadavg: 4.14 4.12 4.10 5/259 136278
/proc/meminfo: memFree=123325040/131382116 swapFree=33010684/33010684
[pid=136276] ppid=136273 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/136276/stat : 136276 (run-opt-break-l) S 136273 136276 135664 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 174512247 4292608 736 18446744073709551615 94808962428928 94808963323461 140725962978320 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94808963562512 94808963610256 94808988495872 140725962979603 140725962979804 140725962979804 140725962985408 0
/proc/136276/statm: 1048 736 672 219 0 110 0
[pid=136278] ppid=136276 vsize=18364 memory=9920 CPUtime=0.07 cores=5,7
/proc/136278/stat : 136278 (pbsuma) R 136276 136276 135664 0 -1 4194304 2257 0 0 0 7 0 0 0 20 0 1 0 174512248 18804736 2480 18446744073709551615 4210688 4653049 140724434646080 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 4700520 4703148 7393280 140724434651361 140724434651696 140724434651696 140724434657263 0
/proc/136278/statm: 4591 2480 992 108 0 1999 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 22556 KiB
Current children cumulated memory: 12864 KiB
[startup+0.216893 s]*
/proc/loadavg: 4.14 4.12 4.10 5/259 136278
/proc/meminfo: memFree=123316976/131382116 swapFree=33010684/33010684
[pid=136276] ppid=136273 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/136276/stat : 136276 (run-opt-break-l) S 136273 136276 135664 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 174512247 4292608 736 18446744073709551615 94808962428928 94808963323461 140725962978320 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94808963562512 94808963610256 94808988495872 140725962979603 140725962979804 140725962979804 140725962985408 0
/proc/136276/statm: 1048 736 672 219 0 110 0
[pid=136278] ppid=136276 vsize=16648 memory=9060 CPUtime=0.18 cores=5,7
/proc/136278/stat : 136278 (pbsuma) R 136276 136276 135664 0 -1 4194304 2344 0 0 0 18 0 0 0 20 0 1 0 174512248 17047552 2265 18446744073709551615 4210688 4653049 140724434646080 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 7393280 140724434651361 140724434651696 140724434651696 140724434657263 0
/proc/136278/statm: 4162 2265 992 108 0 1570 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 20840 KiB
Current children cumulated memory: 12004 KiB
[startup+0.313488 s]*
/proc/loadavg: 4.14 4.12 4.10 5/259 136278
/proc/meminfo: memFree=123316976/131382116 swapFree=33010684/33010684
[pid=136276] ppid=136273 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/136276/stat : 136276 (run-opt-break-l) S 136273 136276 135664 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 174512247 4292608 736 18446744073709551615 94808962428928 94808963323461 140725962978320 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94808963562512 94808963610256 94808988495872 140725962979603 140725962979804 140725962979804 140725962985408 0
/proc/136276/statm: 1048 736 672 219 0 110 0
[pid=136278] ppid=136276 vsize=16648 memory=9060 CPUtime=0.27 cores=5,7
/proc/136278/stat : 136278 (pbsuma) R 136276 136276 135664 0 -1 4194304 2344 0 0 0 27 0 0 0 20 0 1 0 174512248 17047552 2265 18446744073709551615 4210688 4653049 140724434646080 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 7393280 140724434651361 140724434651696 140724434651696 140724434657263 0
/proc/136278/statm: 4162 2265 992 108 0 1570 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 20840 KiB
Current children cumulated memory: 12004 KiB
[startup+0.700398 s]
/proc/loadavg: 4.14 4.12 4.10 5/259 136278
/proc/meminfo: memFree=123288184/131382116 swapFree=33010684/33010684
[pid=136276] ppid=136273 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/136276/stat : 136276 (run-opt-break-l) S 136273 136276 135664 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 174512247 4292608 736 18446744073709551615 94808962428928 94808963323461 140725962978320 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94808963562512 94808963610256 94808988495872 140725962979603 140725962979804 140725962979804 140725962985408 0
/proc/136276/statm: 1048 736 672 219 0 110 0
[pid=136278] ppid=136276 vsize=17612 memory=10604 CPUtime=0.6 cores=5,7
/proc/136278/stat : 136278 (pbsuma) D 136276 136276 135664 0 -1 4194304 3042 0 0 0 52 8 0 0 20 0 1 0 174512248 18034688 2651 18446744073709551615 4210688 4653049 140724434646080 0 0 0 0 0 0 1 0 0 17 7 0 0 0 0 0 4700520 4703148 7393280 140724434651361 140724434651696 140724434651696 140724434657263 0
/proc/136278/statm: 4403 2651 992 108 0 1811 0
Current children cumulated CPU time: 0.6 s
Current children cumulated vsize: 21804 KiB
Current children cumulated memory: 13548 KiB
[startup+1.50037 s]
/proc/loadavg: 4.14 4.12 4.10 4/259 136278
/proc/meminfo: memFree=123240808/131382116 swapFree=33010684/33010684
[pid=136276] ppid=136273 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/136276/stat : 136276 (run-opt-break-l) S 136273 136276 135664 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 174512247 4292608 736 18446744073709551615 94808962428928 94808963323461 140725962978320 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94808963562512 94808963610256 94808988495872 140725962979603 140725962979804 140725962979804 140725962985408 0
/proc/136276/statm: 1048 736 672 219 0 110 0
[pid=136278] ppid=136276 vsize=17612 memory=10604 CPUtime=0.6 cores=5,7
/proc/136278/stat : 136278 (pbsuma) D 136276 136276 135664 0 -1 4194304 3042 0 0 0 52 8 0 0 20 0 1 0 174512248 18034688 2651 18446744073709551615 4210688 4653049 140724434646080 0 0 0 0 0 0 1 0 0 17 5 0 0 0 0 0 4700520 4703148 7393280 140724434651361 140724434651696 140724434651696 140724434657263 0
/proc/136278/statm: 4403 2651 992 108 0 1811 0
Current children cumulated CPU time: 0.6 s
Current children cumulated vsize: 21804 KiB
Current children cumulated memory: 13548 KiB
[startup+3.11311 s]
/proc/loadavg: 4.13 4.12 4.10 5/259 136279
/proc/meminfo: memFree=123094976/131382116 swapFree=33010684/33010684
[pid=136276] ppid=136273 vsize=4192 memory=2944 CPUtime=0.6 cores=5,7
/proc/136276/stat : 136276 (run-opt-break-l) S 136273 136276 135664 0 -1 4194304 241 3045 0 0 0 0 52 8 20 0 1 0 174512247 4292608 736 18446744073709551615 94808962428928 94808963323461 140725962978320 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94808963562512 94808963610256 94808988495872 140725962979603 140725962979804 140725962979804 140725962985408 0
/proc/136276/statm: 1048 736 672 219 0 110 0
[pid=136279] ppid=136276 vsize=59156 memory=14280 CPUtime=0.19 cores=5,7
/proc/136279/stat : 136279 (roundingsat) R 136276 136276 135664 0 -1 4194304 1358 0 0 0 16 3 0 0 20 0 1 0 174512505 60575744 3570 18446744073709551615 4227072 8923577 140723262663632 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 33054720 140723262671122 140723262671398 140723262671398 140723262676970 0
/proc/136279/statm: 14789 3570 1920 1147 0 2215 0
Current children cumulated CPU time: 0.79 s
Current children cumulated vsize: 63348 KiB
Current children cumulated memory: 17224 KiB
heavy processes:
[startup+6.30036 s]
/proc/loadavg: 4.13 4.12 4.10 5/259 136279
/proc/meminfo: memFree=122880084/131382116 swapFree=33010684/33010684
[pid=136276] ppid=136273 vsize=4192 memory=2944 CPUtime=0.6 cores=5,7
/proc/136276/stat : 136276 (run-opt-break-l) S 136273 136276 135664 0 -1 4194304 241 3045 0 0 0 0 52 8 20 0 1 0 174512247 4292608 736 18446744073709551615 94808962428928 94808963323461 140725962978320 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94808963562512 94808963610256 94808988495872 140725962979603 140725962979804 140725962979804 140725962985408 0
/proc/136276/statm: 1048 736 672 219 0 110 0
[pid=136279] ppid=136276 vsize=117876 memory=67292 CPUtime=3.37 cores=5,7
/proc/136279/stat : 136279 (roundingsat) R 136276 136276 135664 0 -1 4194304 12822 0 0 0 324 13 0 0 20 0 1 0 174512505 120705024 16823 18446744073709551615 4227072 8923577 140723262663632 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 33054720 140723262671122 140723262671398 140723262671398 140723262676970 0
/proc/136279/statm: 29469 16823 2336 1147 0 16895 0
Current children cumulated CPU time: 3.97 s
Current children cumulated vsize: 122068 KiB
Current children cumulated memory: 70236 KiB
heavy processes:
[startup+12.7003 s]
/proc/loadavg: 4.11 4.12 4.10 5/259 136279
/proc/meminfo: memFree=122606044/131382116 swapFree=33010684/33010684
[pid=136276] ppid=136273 vsize=4192 memory=2944 CPUtime=0.6 cores=5,7
/proc/136276/stat : 136276 (run-opt-break-l) S 136273 136276 135664 0 -1 4194304 241 3045 0 0 0 0 52 8 20 0 1 0 174512247 4292608 736 18446744073709551615 94808962428928 94808963323461 140725962978320 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94808963562512 94808963610256 94808988495872 140725962979603 140725962979804 140725962979804 140725962985408 0
/proc/136276/statm: 1048 736 672 219 0 110 0
[pid=136279] ppid=136276 vsize=133832 memory=84216 CPUtime=9.75 cores=5,7
/proc/136279/stat : 136279 (roundingsat) R 136276 136276 135664 0 -1 4194304 16523 0 0 0 950 25 0 0 20 0 1 0 174512505 137043968 21054 18446744073709551615 4227072 8923577 140723262663632 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 33054720 140723262671122 140723262671398 140723262671398 140723262676970 0
/proc/136279/statm: 33458 21054 2336 1147 0 20884 0
Current children cumulated CPU time: 10.35 s
Current children cumulated vsize: 138024 KiB
Current children cumulated memory: 87160 KiB
[startup+25.5004 s]
/proc/loadavg: 4.09 4.11 4.09 5/259 136279
/proc/meminfo: memFree=122408944/131382116 swapFree=33010684/33010684
[pid=136276] ppid=136273 vsize=4192 memory=2944 CPUtime=0.6 cores=5,7
/proc/136276/stat : 136276 (run-opt-break-l) S 136273 136276 135664 0 -1 4194304 241 3045 0 0 0 0 52 8 20 0 1 0 174512247 4292608 736 18446744073709551615 94808962428928 94808963323461 140725962978320 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94808963562512 94808963610256 94808988495872 140725962979603 140725962979804 140725962979804 140725962985408 0
/proc/136276/statm: 1048 736 672 219 0 110 0
[pid=136279] ppid=136276 vsize=143488 memory=94496 CPUtime=22.51 cores=5,7
/proc/136279/stat : 136279 (roundingsat) R 136276 136276 135664 0 -1 4194304 18596 0 0 0 2207 44 0 0 20 0 1 0 174512505 146931712 23624 18446744073709551615 4227072 8923577 140723262663632 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 33054720 140723262671122 140723262671398 140723262671398 140723262676970 0
/proc/136279/statm: 35872 23624 2336 1147 0 23298 0
Current children cumulated CPU time: 23.11 s
Current children cumulated vsize: 147680 KiB
Current children cumulated memory: 97440 KiB
[startup+51.1136 s]
/proc/loadavg: 4.13 4.12 4.09 5/259 136279
/proc/meminfo: memFree=121891376/131382116 swapFree=33010684/33010684
[pid=136276] ppid=136273 vsize=4192 memory=2944 CPUtime=0.6 cores=5,7
/proc/136276/stat : 136276 (run-opt-break-l) S 136273 136276 135664 0 -1 4194304 241 3045 0 0 0 0 52 8 20 0 1 0 174512247 4292608 736 18446744073709551615 94808962428928 94808963323461 140725962978320 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94808963562512 94808963610256 94808988495872 140725962979603 140725962979804 140725962979804 140725962985408 0
/proc/136276/statm: 1048 736 672 219 0 110 0
[pid=136279] ppid=136276 vsize=164296 memory=113888 CPUtime=48.02 cores=5,7
/proc/136279/stat : 136279 (roundingsat) R 136276 136276 135664 0 -1 4194304 21938 0 0 0 4716 86 0 0 20 0 1 0 174512505 168239104 28472 18446744073709551615 4227072 8923577 140723262663632 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 33054720 140723262671122 140723262671398 140723262671398 140723262676970 0
/proc/136279/statm: 41074 28472 2336 1147 0 28500 0
Current children cumulated CPU time: 48.62 s
Current children cumulated vsize: 168488 KiB
Current children cumulated memory: 116832 KiB
[startup+102.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/255 136349
/proc/meminfo: memFree=121470148/131382116 swapFree=33010684/33010684
[pid=136276] ppid=136273 vsize=4192 memory=2944 CPUtime=0.6 cores=5,7
/proc/136276/stat : 136276 (run-opt-break-l) S 136273 136276 135664 0 -1 4194304 241 3045 0 0 0 0 52 8 20 0 1 0 174512247 4292608 736 18446744073709551615 94808962428928 94808963323461 140725962978320 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94808963562512 94808963610256 94808988495872 140725962979603 140725962979804 140725962979804 140725962985408 0
/proc/136276/statm: 1048 736 672 219 0 110 0
[pid=136279] ppid=136276 vsize=220912 memory=162240 CPUtime=98.92 cores=5,7
/proc/136279/stat : 136279 (roundingsat) R 136276 136276 135664 0 -1 4194304 32000 0 0 0 9713 179 0 0 20 0 1 0 174512505 226213888 40560 18446744073709551615 4227072 8923577 140723262663632 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 33054720 140723262671122 140723262671398 140723262671398 140723262676970 0
/proc/136279/statm: 55228 40560 2336 1147 0 42654 0
Current children cumulated CPU time: 99.52 s
Current children cumulated vsize: 225104 KiB
Current children cumulated memory: 165184 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.11 4.09 4/254 136549
/proc/meminfo: memFree=119890416/131382116 swapFree=33010684/33010684
[pid=136276] ppid=136273 vsize=4192 memory=2944 CPUtime=0.6 cores=5,7
/proc/136276/stat : 136276 (run-opt-break-l) S 136273 136276 135664 0 -1 4194304 241 3045 0 0 0 0 52 8 20 0 1 0 174512247 4292608 736 18446744073709551615 94808962428928 94808963323461 140725962978320 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94808963562512 94808963610256 94808988495872 140725962979603 140725962979804 140725962979804 140725962985408 0
/proc/136276/statm: 1048 736 672 219 0 110 0
[pid=136279] ppid=136276 vsize=253880 memory=178916 CPUtime=158.64 cores=5,7
/proc/136279/stat : 136279 (roundingsat) R 136276 136276 135664 0 -1 4194304 35715 0 0 0 15597 267 0 0 20 0 1 0 174512505 259973120 44729 18446744073709551615 4227072 8923577 140723262663632 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 33054720 140723262671122 140723262671398 140723262671398 140723262676970 0
/proc/136279/statm: 63470 44729 2336 1147 0 50896 0
Current children cumulated CPU time: 159.24 s
Current children cumulated vsize: 258072 KiB
Current children cumulated memory: 181860 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/260 136769
/proc/meminfo: memFree=118833468/131382116 swapFree=33010684/33010684
[pid=136276] ppid=136273 vsize=4192 memory=2944 CPUtime=0.6 cores=5,7
/proc/136276/stat : 136276 (run-opt-break-l) S 136273 136276 135664 0 -1 4194304 241 3045 0 0 0 0 52 8 20 0 1 0 174512247 4292608 736 18446744073709551615 94808962428928 94808963323461 140725962978320 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94808963562512 94808963610256 94808988495872 140725962979603 140725962979804 140725962979804 140725962985408 0
/proc/136276/statm: 1048 736 672 219 0 110 0
[pid=136279] ppid=136276 vsize=272392 memory=194404 CPUtime=218.3 cores=5,7
/proc/136279/stat : 136279 (roundingsat) R 136276 136276 135664 0 -1 4194304 39598 0 0 0 21484 346 0 0 20 0 1 0 174512505 278929408 48601 18446744073709551615 4227072 8923577 140723262663632 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 33054720 140723262671122 140723262671398 140723262671398 140723262676970 0
################
# More data... #
################
/proc/136276/stat : 136276 (run-opt-break-l) S 136273 136276 135664 0 -1 4194304 241 3045 0 0 0 0 52 8 20 0 1 0 174512247 4292608 736 18446744073709551615 94808962428928 94808963323461 140725962978320 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94808963562512 94808963610256 94808988495872 140725962979603 140725962979804 140725962979804 140725962985408 0
/proc/136276/statm: 1048 736 672 219 0 110 0
[pid=136279] ppid=136276 vsize=728580 memory=653664 CPUtime=3177.2 cores=5,7
/proc/136279/stat : 136279 (roundingsat) R 136276 136276 135664 0 -1 4194304 113842 0 0 0 314777 2943 0 0 20 0 1 0 174512505 746065920 163416 18446744073709551615 4227072 8923577 140723262663632 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 33054720 140723262671122 140723262671398 140723262671398 140723262676970 0
/proc/136279/statm: 182145 163416 2336 1147 0 169571 0
Current children cumulated CPU time: 3177.8 s
Current children cumulated vsize: 732772 KiB
Current children cumulated memory: 656608 KiB
[startup+3342.3 s]
/proc/loadavg: 4.35 4.28 4.21 3/256 136998
/proc/meminfo: memFree=74990700/131382116 swapFree=33010684/33010684
[pid=136276] ppid=136273 vsize=4192 memory=2944 CPUtime=0.6 cores=5,7
/proc/136276/stat : 136276 (run-opt-break-l) S 136273 136276 135664 0 -1 4194304 241 3045 0 0 0 0 52 8 20 0 1 0 174512247 4292608 736 18446744073709551615 94808962428928 94808963323461 140725962978320 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94808963562512 94808963610256 94808988495872 140725962979603 140725962979804 140725962979804 140725962985408 0
/proc/136276/statm: 1048 736 672 219 0 110 0
[pid=136279] ppid=136276 vsize=728580 memory=653664 CPUtime=3236.96 cores=5,7
/proc/136279/stat : 136279 (roundingsat) R 136276 136276 135664 0 -1 4194304 113866 0 0 0 320710 2986 0 0 20 0 1 0 174512505 746065920 163416 18446744073709551615 4227072 8923577 140723262663632 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 33054720 140723262671122 140723262671398 140723262671398 140723262676970 0
/proc/136279/statm: 182145 163416 2336 1147 0 169571 0
Current children cumulated CPU time: 3237.56 s
Current children cumulated vsize: 732772 KiB
Current children cumulated memory: 656608 KiB
[startup+3402.3 s]
/proc/loadavg: 4.20 4.24 4.20 3/257 137001
/proc/meminfo: memFree=74410628/131382116 swapFree=33010684/33010684
[pid=136276] ppid=136273 vsize=4192 memory=2944 CPUtime=0.6 cores=5,7
/proc/136276/stat : 136276 (run-opt-break-l) S 136273 136276 135664 0 -1 4194304 241 3045 0 0 0 0 52 8 20 0 1 0 174512247 4292608 736 18446744073709551615 94808962428928 94808963323461 140725962978320 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94808963562512 94808963610256 94808988495872 140725962979603 140725962979804 140725962979804 140725962985408 0
/proc/136276/statm: 1048 736 672 219 0 110 0
[pid=136279] ppid=136276 vsize=728580 memory=653664 CPUtime=3296.73 cores=5,7
/proc/136279/stat : 136279 (roundingsat) R 136276 136276 135664 0 -1 4194304 113868 0 0 0 326643 3030 0 0 20 0 1 0 174512505 746065920 163416 18446744073709551615 4227072 8923577 140723262663632 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 33054720 140723262671122 140723262671398 140723262671398 140723262676970 0
/proc/136279/statm: 182145 163416 2336 1147 0 169571 0
Current children cumulated CPU time: 3297.33 s
Current children cumulated vsize: 732772 KiB
Current children cumulated memory: 656608 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.21 4.19 3/257 137003
/proc/meminfo: memFree=73787812/131382116 swapFree=33010684/33010684
[pid=136276] ppid=136273 vsize=4192 memory=2944 CPUtime=0.6 cores=5,7
/proc/136276/stat : 136276 (run-opt-break-l) S 136273 136276 135664 0 -1 4194304 241 3045 0 0 0 0 52 8 20 0 1 0 174512247 4292608 736 18446744073709551615 94808962428928 94808963323461 140725962978320 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94808963562512 94808963610256 94808988495872 140725962979603 140725962979804 140725962979804 140725962985408 0
/proc/136276/statm: 1048 736 672 219 0 110 0
[pid=136279] ppid=136276 vsize=729160 memory=654176 CPUtime=3356.49 cores=5,7
/proc/136279/stat : 136279 (roundingsat) R 136276 136276 135664 0 -1 4194304 114041 0 0 0 332592 3057 0 0 20 0 1 0 174512505 746659840 163544 18446744073709551615 4227072 8923577 140723262663632 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 33054720 140723262671122 140723262671398 140723262671398 140723262676970 0
/proc/136279/statm: 182290 163544 2336 1147 0 169716 0
Current children cumulated CPU time: 3357.09 s
Current children cumulated vsize: 733352 KiB
Current children cumulated memory: 657120 KiB
[startup+3522.3 s]
/proc/loadavg: 4.38 4.25 4.20 3/256 137005
/proc/meminfo: memFree=73076556/131382116 swapFree=33010684/33010684
[pid=136276] ppid=136273 vsize=4192 memory=2944 CPUtime=0.6 cores=5,7
/proc/136276/stat : 136276 (run-opt-break-l) S 136273 136276 135664 0 -1 4194304 241 3045 0 0 0 0 52 8 20 0 1 0 174512247 4292608 736 18446744073709551615 94808962428928 94808963323461 140725962978320 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94808963562512 94808963610256 94808988495872 140725962979603 140725962979804 140725962979804 140725962985408 0
/proc/136276/statm: 1048 736 672 219 0 110 0
[pid=136279] ppid=136276 vsize=729160 memory=654176 CPUtime=3416.25 cores=5,7
/proc/136279/stat : 136279 (roundingsat) R 136276 136276 135664 0 -1 4194304 114041 0 0 0 338531 3094 0 0 20 0 1 0 174512505 746659840 163544 18446744073709551615 4227072 8923577 140723262663632 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 33054720 140723262671122 140723262671398 140723262671398 140723262676970 0
/proc/136279/statm: 182290 163544 2336 1147 0 169716 0
Current children cumulated CPU time: 3416.85 s
Current children cumulated vsize: 733352 KiB
Current children cumulated memory: 657120 KiB
[startup+3582.3 s]
/proc/loadavg: 4.58 4.35 4.24 3/258 137009
/proc/meminfo: memFree=72616876/131382116 swapFree=33010684/33010684
[pid=136276] ppid=136273 vsize=4192 memory=2944 CPUtime=0.6 cores=5,7
/proc/136276/stat : 136276 (run-opt-break-l) S 136273 136276 135664 0 -1 4194304 241 3045 0 0 0 0 52 8 20 0 1 0 174512247 4292608 736 18446744073709551615 94808962428928 94808963323461 140725962978320 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94808963562512 94808963610256 94808988495872 140725962979603 140725962979804 140725962979804 140725962985408 0
/proc/136276/statm: 1048 736 672 219 0 110 0
[pid=136279] ppid=136276 vsize=730344 memory=655456 CPUtime=3476.02 cores=5,7
/proc/136279/stat : 136279 (roundingsat) R 136276 136276 135664 0 -1 4194304 114337 0 0 0 344467 3135 0 0 20 0 1 0 174512505 747872256 163864 18446744073709551615 4227072 8923577 140723262663632 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 33054720 140723262671122 140723262671398 140723262671398 140723262676970 0
/proc/136279/statm: 182586 163864 2336 1147 0 170012 0
Current children cumulated CPU time: 3476.62 s
Current children cumulated vsize: 734536 KiB
Current children cumulated memory: 658400 KiB
[startup+3642.3 s]
/proc/loadavg: 4.31 4.32 4.23 2/258 137014
/proc/meminfo: memFree=72010236/131382116 swapFree=33010684/33010684
[pid=136276] ppid=136273 vsize=4192 memory=2944 CPUtime=0.6 cores=5,7
/proc/136276/stat : 136276 (run-opt-break-l) S 136273 136276 135664 0 -1 4194304 241 3045 0 0 0 0 52 8 20 0 1 0 174512247 4292608 736 18446744073709551615 94808962428928 94808963323461 140725962978320 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94808963562512 94808963610256 94808988495872 140725962979603 140725962979804 140725962979804 140725962985408 0
/proc/136276/statm: 1048 736 672 219 0 110 0
[pid=136279] ppid=136276 vsize=730344 memory=655456 CPUtime=3529.78 cores=5,7
/proc/136279/stat : 136279 (roundingsat) D 136276 136276 135664 0 -1 4194304 114356 0 0 0 349802 3176 0 0 20 0 1 0 174512505 747872256 163864 18446744073709551615 4227072 8923577 140723262663632 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9827200 9836688 33054720 140723262671122 140723262671398 140723262671398 140723262676970 0
/proc/136279/statm: 182586 163864 2336 1147 0 170012 0
Current children cumulated CPU time: 3530.38 s
Current children cumulated vsize: 734536 KiB
Current children cumulated memory: 658400 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+3700 s]*
/proc/loadavg: 4.23 4.29 4.23 3/261 137063
/proc/meminfo: memFree=77283356/131382116 swapFree=33010684/33010684
[pid=136276] ppid=136273 vsize=4192 memory=2944 CPUtime=0.6 cores=5,7
/proc/136276/stat : 136276 (run-opt-break-l) S 136273 136276 135664 0 -1 4194304 241 3045 0 0 0 0 52 8 20 0 1 0 174512247 4292608 736 18446744073709551615 94808962428928 94808963323461 140725962978320 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94808963562512 94808963610256 94808988495872 140725962979603 140725962979804 140725962979804 140725962985408 0
/proc/136276/statm: 1048 736 672 219 0 110 0
[pid=136279] ppid=136276 vsize=730344 memory=655584 CPUtime=3568.48 cores=5,7
/proc/136279/stat : 136279 (roundingsat) R 136276 136276 135664 0 -1 4194304 114368 0 0 0 353642 3206 0 0 20 0 1 0 174512505 747872256 163896 18446744073709551615 4227072 8923577 140723262663632 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 33054720 140723262671122 140723262671398 140723262671398 140723262676970 0
/proc/136279/statm: 182586 163896 2336 1147 0 170012 0
Current children cumulated CPU time: 3569.08 s
Current children cumulated vsize: 734536 KiB
Current children cumulated memory: 658528 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3700.02 s]
# the end of solver process 136276 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.530665 s, system=0.092482 s
Sending SIGKILL to process tree (bottom up)
[startup+3702.02 s]
# the end of solver process 136279 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3536.96 s, system=32.166 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3700.8 s]
/proc/loadavg: 4.23 4.29 4.23 2/260 137063
/proc/meminfo: memFree=77281340/131382116 swapFree=33010684/33010684
[pid=136279] ppid=136273 vsize=730344 memory=655968 CPUtime=3568.48 cores=5,7
/proc/136279/stat : 136279 (roundingsat) D 136273 136276 135664 0 -1 4194304 114373 0 0 0 353642 3206 0 0 20 0 1 0 174512505 747872256 163992 18446744073709551615 4227072 8923577 140723262663632 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9827200 9836688 33054720 140723262671122 140723262671398 140723262671398 140723262676970 0
/proc/136279/statm: 182586 163992 2432 1147 0 170012 0
Current cumulated CPU time of completed processes: 0.623147 s
Current children cumulated CPU time: 3568.48 s
Current children cumulated vsize: 730344 KiB
Current children cumulated memory: 655968 KiB
[startup+3701.6 s]
/proc/loadavg: 4.23 4.29 4.23 2/260 137063
/proc/meminfo: memFree=77269124/131382116 swapFree=33010684/33010684
[pid=136279] ppid=136273 vsize=730344 memory=655968 CPUtime=3568.48 cores=5,7
/proc/136279/stat : 136279 (roundingsat) D 136273 136276 135664 0 -1 4194304 114373 0 0 0 353642 3206 0 0 20 0 1 0 174512505 747872256 163992 18446744073709551615 4227072 8923577 140723262663632 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9827200 9836688 33054720 140723262671122 140723262671398 140723262671398 140723262676970 0
/proc/136279/statm: 182586 163992 2432 1147 0 170012 0
Current cumulated CPU time of completed processes: 0.623147 s
Current children cumulated CPU time: 3568.48 s
Current children cumulated vsize: 730344 KiB
Current children cumulated memory: 655968 KiB
[startup+3702 s]*
/proc/loadavg: 4.23 4.29 4.23 3/260 137063
/proc/meminfo: memFree=77263976/131382116 swapFree=33010684/33010684
[pid=136279] ppid=136273 vsize=730344 memory=655968 CPUtime=3568.48 cores=5,7
/proc/136279/stat : 136279 (roundingsat) D 136273 136276 135664 0 -1 4194304 114373 0 0 0 353642 3206 0 0 20 0 1 0 174512505 747872256 163992 18446744073709551615 4227072 8923577 140723262663632 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9827200 9836688 33054720 140723262671122 140723262671398 140723262671398 140723262676970 0
/proc/136279/statm: 182586 163992 2432 1147 0 170012 0
Current cumulated CPU time of completed processes: 0.623147 s
Current children cumulated CPU time: 3568.48 s
Current children cumulated vsize: 730344 KiB
Current children cumulated memory: 655968 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3702.02
CPU time (s): 3569.12
CPU user time (s): 3536.96
CPU system time (s): 32.166
CPU usage (%): 96.41
Max. virtual memory (cumulated for all children) (KiB): 734536
Max. memory (cumulated for all children) (KiB): 658528
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3536.96
system time used= 32.166
maximum resident set size= 655968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 117659
page faults= 0
swaps= 0
block input operations= 0
block output operations= 23058472
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2219
involuntary context switches= 25927
# summary of solver processes directly reported to runsolver:
# pid: 136276,136279
# total CPU time (s): 3569.12
# total CPU user time (s): 3536.96
# total CPU system time (s): 32.166
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.5532 second user time and 37.1516 second system time
The end
Begin job on nodeC011 at 2025-07-15 16:05:25
IDJOB=4532503
IDBENCH=148770
IDSOLVER=3393
FILE ID=nodeC011/4532503-1752588325
RUNJOBID= nodeC011-1752584602-135677
SLURM_JOB_ID= 9684341
Free space on /tmp= 432364 MiB
SOLVER NAME= roundingsat+pbsuma-opt-log 0f876b3
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx49.opb
COMMAND LINE= run-opt-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4532503-1752588325/watcher-4532503-1752588325 -o /tmp/evaluation-result-4532503-1752588325/solver-4532503-1752588325 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1752584602-135677 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4532503-1752588325.opb PROOFDIR/proof-4532503-1752588325
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= bb00c8681178995acecbc2b6e4ec1a1a
RANDOM SEED=1041866726
nodeC011 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.599
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3657.394
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.784
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.773
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.638
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.292
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.445
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.762
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 123350492 kB
MemAvailable: 128977612 kB
Buffers: 3276 kB
Cached: 6406136 kB
SwapCached: 0 kB
Active: 1428944 kB
Inactive: 5952536 kB
Active(anon): 996228 kB
Inactive(anon): 2076 kB
Active(file): 432716 kB
Inactive(file): 5950460 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 489080 kB
Writeback: 4 kB
AnonPages: 975236 kB
Mapped: 120480 kB
Shmem: 26152 kB
KReclaimable: 166760 kB
Slab: 271332 kB
SReclaimable: 166760 kB
SUnreclaim: 104572 kB
KernelStack: 4160 kB
PageTables: 5192 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 1382576 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149528 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 444416 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: 191304 kB
DirectMap2M: 8099840 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432192 MiB
End job on nodeC011 at 2025-07-15 17:07:07