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-4499170-1751405295.opb'
0.00/0.01 c read 0.32MB (3.99ms)
0.00/0.01 c [cnf: #variables 3216 #clauses 3659 #duplicates 0 #arr 33834]
0.00/0.01 c
0.00/0.01 c make graph and approximate orbits
0.00/0.01 c [group: #orbits ~= 38] (4.11ms)
0.00/0.01 c
0.00/0.01 c detect special group actions
0.00/0.01 c probe for Johnson action (limit=64)
0.00/0.02 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.04 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.04 c recursing 216 blocks of candidate 6x1072r
0.00/0.04 c found row 3x12, generating row predicate
0.00/0.04 c found row 10x12, generating row predicate
0.00/0.05 c found row 6x1072, generating row predicate
0.00/0.05 c (36.21ms)
0.00/0.05 c
0.00/0.05 c detect symmetries on remainder
0.00/0.05 c [graph: #vertices 19325 #edges 92568]
0.00/0.05 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.07 c [group: #symmetries 4.80*10^130 #generators 353] (20.08ms)
0.00/0.07 c
0.00/0.07 c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.09 c opt it=15, l=10538, m=252, opt=10, avg=281, b=12, gens=353
0.08/0.10 c opt it=31, l=15703, m=530, opt=25, avg=274, b=12, gens=353
0.08/0.12 c opt it=47, l=20868, m=788, opt=38, avg=269, b=12, gens=353
0.08/0.13 c opt it=63, l=26030, m=1046, opt=50, avg=264, b=12, gens=353
0.08/0.13 c ran it=0, +gens=44
0.08/0.20 c con best_support=12, best_gens=192, +gens=244
0.08/0.20 c (127.74ms)
0.08/0.20 c
0.08/0.20 c finalize break order and special generators
0.08/0.20 c
0.08/0.20 c add generic predicates (break_depth=20)
0.19/0.21 c added predicates for 641 generators (6.97ms)
0.19/0.21 c
0.19/0.21 c generation finished
0.19/0.21 c [sbp: #constraints 33540 #add_vars 10961]
0.19/0.21 c
0.19/0.21 c write result to 'HOME/instance-4499170-1751405295.opb.pre'
0.19/0.21 c wrote 1.54MB (3.48ms)
0.19/0.21 c ------------------------------------------------------------------
0.19/0.21 c 127.74ms 62.42% optimize_gens
0.19/0.21 c 36.21ms 17.69% detect_special
0.19/0.21 c 20.08ms 9.81% detect_generic
0.19/0.21 c 6.97ms 3.40% break_generic
0.19/0.21 c 4.11ms 2.01% approx_orbits
0.19/0.21 c 3.99ms 1.95% parse
0.19/0.21 c 3.48ms 1.70% output
0.19/0.21 c 1.26ms 0.62% finalize_order
0.19/0.21 c 0.81ms 0.40% other
0.19/0.21 c ───────────────────────────────────────────────
0.19/0.21 c 204.65ms 100% total
0.19/0.21 c ------------------------------------------------------------------
0.19/0.22 c RoundingSat 2
0.19/0.22 c branch pb25
0.19/0.22 c commit 63f22ad
0.27/0.39 c #variables 14177 #constraints 37241
0.27/0.39 c objective is ce32
0.27/0.39 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.27/0.39 c initial counting CF 32, 64, 128, Arb: 385 , 0 , 0 , 0
0.27/0.39 c bounds - >= 0 @ 0.120298
1.15/1.25 c #Conflicts: 1000 | #Constraints: 38240
1.15/1.25 c #Conflicts: 2000 | #Constraints: 39240
1.15/1.25 c INPROCESSING
1.15/1.25 c GARBAGE COLLECT
1.15/1.25 c rational objective 6
2.54/2.64 c #Conflicts: 3000 | #Constraints: 36025
2.54/2.64 c #Conflicts: 4000 | #Constraints: 37026
2.54/2.64 c INPROCESSING
2.54/2.64 c GARBAGE COLLECT
2.54/2.64 c rational objective 6
3.95/4.05 c #Conflicts: 5000 | #Constraints: 36439
3.95/4.05 c #Conflicts: 6000 | #Constraints: 37439
3.95/4.05 c INPROCESSING
3.95/4.05 c GARBAGE COLLECT
3.95/4.05 c rational objective 6
5.24/5.34 c #Conflicts: 7000 | #Constraints: 36382
5.24/5.34 c #Conflicts: 8000 | #Constraints: 37382
5.24/5.34 c #Conflicts: 9000 | #Constraints: 38383
5.24/5.34 c INPROCESSING
5.24/5.34 c GARBAGE COLLECT
5.24/5.34 c rational objective 6
6.84/6.92 c #Conflicts: 10000 | #Constraints: 37080
6.84/6.92 c #Conflicts: 11000 | #Constraints: 38080
6.84/6.92 c #Conflicts: 12000 | #Constraints: 39081
6.84/6.92 c INPROCESSING
6.84/6.92 c GARBAGE COLLECT
6.84/6.92 c rational objective 6
8.33/8.49 c #Conflicts: 13000 | #Constraints: 37514
8.33/8.49 c #Conflicts: 14000 | #Constraints: 38514
8.33/8.49 c #Conflicts: 15000 | #Constraints: 39514
8.33/8.49 c INPROCESSING
8.33/8.49 c GARBAGE COLLECT
8.33/8.49 c rational objective 6
10.23/10.34 c #Conflicts: 16000 | #Constraints: 37729
10.23/10.34 c #Conflicts: 17000 | #Constraints: 38729
10.23/10.34 c #Conflicts: 18000 | #Constraints: 39729
10.23/10.34 c INPROCESSING
10.23/10.34 c GARBAGE COLLECT
10.23/10.34 c rational objective 6
12.42/12.55 c #Conflicts: 19000 | #Constraints: 37756
12.42/12.55 c #Conflicts: 20000 | #Constraints: 38756
12.42/12.55 c #Conflicts: 21000 | #Constraints: 39756
12.42/12.55 c INPROCESSING
12.42/12.55 c GARBAGE COLLECT
12.42/12.55 c rational objective 6
14.92/15.08 c #Conflicts: 22000 | #Constraints: 37499
14.92/15.08 c #Conflicts: 23000 | #Constraints: 38499
14.92/15.08 c #Conflicts: 24000 | #Constraints: 39500
14.92/15.08 c #Conflicts: 25000 | #Constraints: 40500
14.92/15.08 c INPROCESSING
14.92/15.08 c GARBAGE COLLECT
14.92/15.08 c rational objective 6
16.51/16.65 c #Conflicts: 26000 | #Constraints: 38105
16.51/16.65 c #Conflicts: 27000 | #Constraints: 39105
16.51/16.65 c #Conflicts: 28000 | #Constraints: 40105
16.51/16.65 c #Conflicts: 29000 | #Constraints: 41106
16.51/16.65 c INPROCESSING
16.51/16.65 c GARBAGE COLLECT
16.51/16.65 c rational objective 6
18.91/19.09 c #Conflicts: 30000 | #Constraints: 38505
18.91/19.09 c #Conflicts: 31000 | #Constraints: 39505
18.91/19.09 c #Conflicts: 32000 | #Constraints: 40506
18.91/19.09 c #Conflicts: 33000 | #Constraints: 41506
18.91/19.09 c INPROCESSING
18.91/19.09 c GARBAGE COLLECT
18.91/19.09 c rational objective 6
21.69/21.85 c #Conflicts: 34000 | #Constraints: 38697
21.69/21.85 c #Conflicts: 35000 | #Constraints: 39698
21.69/21.85 c #Conflicts: 36000 | #Constraints: 40698
21.69/21.85 c #Conflicts: 37000 | #Constraints: 41698
21.69/21.85 c INPROCESSING
21.69/21.85 c GARBAGE COLLECT
21.69/21.85 c rational objective 6
25.99/26.18 c #Conflicts: 38000 | #Constraints: 38709
25.99/26.18 c #Conflicts: 39000 | #Constraints: 39709
25.99/26.18 c #Conflicts: 40000 | #Constraints: 40709
25.99/26.18 c #Conflicts: 41000 | #Constraints: 41710
25.99/26.18 c INPROCESSING
25.99/26.18 c GARBAGE COLLECT
25.99/26.18 c rational objective 6
28.98/29.16 c #Conflicts: 42000 | #Constraints: 38513
28.98/29.16 c #Conflicts: 43000 | #Constraints: 39513
28.98/29.16 c #Conflicts: 44000 | #Constraints: 40514
28.98/29.16 c #Conflicts: 45000 | #Constraints: 41514
28.98/29.16 c #Conflicts: 46000 | #Constraints: 42514
28.98/29.16 c INPROCESSING
28.98/29.16 c GARBAGE COLLECT
28.98/29.16 c rational objective 6
31.67/31.80 c #Conflicts: 47000 | #Constraints: 39089
31.67/31.80 c #Conflicts: 48000 | #Constraints: 40090
31.67/31.80 c #Conflicts: 49000 | #Constraints: 41090
31.67/31.80 c #Conflicts: 50000 | #Constraints: 42091
31.67/31.80 c #Conflicts: 51000 | #Constraints: 43091
31.67/31.80 c INPROCESSING
31.67/31.80 c GARBAGE COLLECT
31.67/31.80 c rational objective 6
34.87/35.01 c #Conflicts: 52000 | #Constraints: 39465
34.87/35.01 c #Conflicts: 53000 | #Constraints: 40465
34.87/35.01 c #Conflicts: 54000 | #Constraints: 41465
34.87/35.01 c #Conflicts: 55000 | #Constraints: 42465
34.87/35.01 c #Conflicts: 56000 | #Constraints: 43465
34.87/35.01 c INPROCESSING
34.87/35.01 c GARBAGE COLLECT
34.87/35.01 c rational objective 6
41.74/41.93 c #Conflicts: 57000 | #Constraints: 39657
41.74/41.93 c #Conflicts: 58000 | #Constraints: 40658
41.74/41.93 c #Conflicts: 59000 | #Constraints: 41659
41.74/41.93 c #Conflicts: 60000 | #Constraints: 42659
41.74/41.93 c #Conflicts: 61000 | #Constraints: 43660
41.74/41.93 c INPROCESSING
41.74/41.93 c GARBAGE COLLECT
41.74/41.93 c rational objective 6
44.34/44.58 c #Conflicts: 62000 | #Constraints: 39555
44.34/44.58 c #Conflicts: 63000 | #Constraints: 40555
44.34/44.58 c #Conflicts: 64000 | #Constraints: 41555
44.34/44.58 c #Conflicts: 65000 | #Constraints: 42556
44.34/44.58 c #Conflicts: 66000 | #Constraints: 43556
44.34/44.58 c INPROCESSING
44.34/44.58 c GARBAGE COLLECT
44.34/44.58 c rational objective 6
50.42/50.62 c #Conflicts: 67000 | #Constraints: 39355
50.42/50.62 c #Conflicts: 68000 | #Constraints: 40355
50.42/50.62 c #Conflicts: 69000 | #Constraints: 41355
50.42/50.62 c #Conflicts: 70000 | #Constraints: 42355
50.42/50.62 c #Conflicts: 71000 | #Constraints: 43356
50.42/50.62 c #Conflicts: 72000 | #Constraints: 44357
50.42/50.62 c INPROCESSING
50.42/50.62 c GARBAGE COLLECT
50.42/50.62 c rational objective 6
55.70/55.91 c #Conflicts: 73000 | #Constraints: 39950
55.70/55.91 c #Conflicts: 74000 | #Constraints: 40951
55.70/55.91 c #Conflicts: 75000 | #Constraints: 41951
55.70/55.91 c #Conflicts: 76000 | #Constraints: 42951
55.70/55.91 c #Conflicts: 77000 | #Constraints: 43953
55.70/55.91 c #Conflicts: 78000 | #Constraints: 44954
55.70/55.91 c INPROCESSING
55.70/55.91 c GARBAGE COLLECT
55.70/55.91 c rational objective 6
62.28/62.58 c #Conflicts: 79000 | #Constraints: 40358
62.28/62.58 c #Conflicts: 80000 | #Constraints: 41358
62.28/62.58 c #Conflicts: 81000 | #Constraints: 42358
62.28/62.58 c #Conflicts: 82000 | #Constraints: 43358
62.28/62.58 c #Conflicts: 83000 | #Constraints: 44358
62.28/62.58 c #Conflicts: 84000 | #Constraints: 45360
62.28/62.58 c INPROCESSING
62.28/62.58 c GARBAGE COLLECT
62.28/62.58 c rational objective 6
67.88/68.11 c #Conflicts: 85000 | #Constraints: 40488
67.88/68.11 c #Conflicts: 86000 | #Constraints: 41488
67.88/68.11 c #Conflicts: 87000 | #Constraints: 42488
67.88/68.11 c #Conflicts: 88000 | #Constraints: 43488
67.88/68.11 c #Conflicts: 89000 | #Constraints: 44489
67.88/68.11 c #Conflicts: 90000 | #Constraints: 45489
67.88/68.11 c INPROCESSING
67.88/68.11 c GARBAGE COLLECT
67.88/68.11 c rational objective 6
72.55/72.88 c #Conflicts: 91000 | #Constraints: 39221
72.55/72.88 c #Conflicts: 92000 | #Constraints: 40222
72.55/72.88 c #Conflicts: 93000 | #Constraints: 41222
72.55/72.88 c #Conflicts: 94000 | #Constraints: 42222
72.55/72.88 c #Conflicts: 95000 | #Constraints: 43222
72.55/72.88 c #Conflicts: 96000 | #Constraints: 44224
72.55/72.88 c INPROCESSING
72.55/72.88 c GARBAGE COLLECT
72.55/72.88 c rational objective 6
78.04/78.31 c #Conflicts: 97000 | #Constraints: 38811
78.04/78.31 c #Conflicts: 98000 | #Constraints: 39812
78.04/78.31 c #Conflicts: 99000 | #Constraints: 40812
78.04/78.31 c #Conflicts: 100000 | #Constraints: 41812
78.04/78.31 c #Conflicts: 101000 | #Constraints: 42812
78.04/78.31 c #Conflicts: 102000 | #Constraints: 43812
78.04/78.31 c #Conflicts: 103000 | #Constraints: 44814
78.04/78.31 c INPROCESSING
78.04/78.31 c GARBAGE COLLECT
78.04/78.31 c rational objective 6
84.02/84.38 c #Conflicts: 104000 | #Constraints: 39385
84.02/84.38 c #Conflicts: 105000 | #Constraints: 40385
84.02/84.38 c #Conflicts: 106000 | #Constraints: 41385
84.02/84.38 c #Conflicts: 107000 | #Constraints: 42385
84.02/84.38 c #Conflicts: 108000 | #Constraints: 43391
84.02/84.38 c #Conflicts: 109000 | #Constraints: 44392
84.02/84.38 c #Conflicts: 110000 | #Constraints: 45393
84.02/84.38 c INPROCESSING
84.02/84.38 c GARBAGE COLLECT
84.02/84.38 c rational objective 6
90.21/90.56 c #Conflicts: 111000 | #Constraints: 39756
90.21/90.56 c #Conflicts: 112000 | #Constraints: 40756
90.21/90.56 c #Conflicts: 113000 | #Constraints: 41756
90.21/90.56 c #Conflicts: 114000 | #Constraints: 42756
90.21/90.56 c #Conflicts: 115000 | #Constraints: 43756
90.21/90.56 c #Conflicts: 116000 | #Constraints: 44757
90.21/90.56 c #Conflicts: 117000 | #Constraints: 45758
90.21/90.56 c INPROCESSING
90.21/90.56 c GARBAGE COLLECT
90.21/90.56 c rational objective 6
98.98/99.37 c #Conflicts: 118000 | #Constraints: 39853
98.98/99.37 c #Conflicts: 119000 | #Constraints: 40854
98.98/99.37 c #Conflicts: 120000 | #Constraints: 41857
98.98/99.37 c #Conflicts: 121000 | #Constraints: 42863
98.98/99.37 c #Conflicts: 122000 | #Constraints: 43866
98.98/99.37 c #Conflicts: 123000 | #Constraints: 44868
98.98/99.37 c #Conflicts: 124000 | #Constraints: 45869
98.98/99.37 c INPROCESSING
98.98/99.37 c GARBAGE COLLECT
98.98/99.37 c rational objective 6
104.16/104.58 c #Conflicts: 125000 | #Constraints: 39589
104.16/104.58 c #Conflicts: 126000 | #Constraints: 40589
104.16/104.58 c #Conflicts: 127000 | #Constraints: 41589
104.16/104.58 c #Conflicts: 128000 | #Constraints: 42589
104.16/104.58 c #Conflicts: 129000 | #Constraints: 43589
104.16/104.58 c #Conflicts: 130000 | #Constraints: 44589
104.16/104.58 c #Conflicts: 131000 | #Constraints: 45590
104.16/104.58 c INPROCESSING
104.16/104.58 c GARBAGE COLLECT
104.16/104.58 c rational objective 6
111.65/112.08 c #Conflicts: 132000 | #Constraints: 39390
111.65/112.08 c #Conflicts: 133000 | #Constraints: 40391
111.65/112.08 c #Conflicts: 134000 | #Constraints: 41391
111.65/112.08 c #Conflicts: 135000 | #Constraints: 42391
111.65/112.08 c #Conflicts: 136000 | #Constraints: 43392
111.65/112.08 c #Conflicts: 137000 | #Constraints: 44394
111.65/112.08 c #Conflicts: 138000 | #Constraints: 45395
111.65/112.08 c #Conflicts: 139000 | #Constraints: 46395
111.65/112.08 c INPROCESSING
111.65/112.08 c GARBAGE COLLECT
111.65/112.08 c rational objective 6
119.03/119.49 c #Conflicts: 140000 | #Constraints: 39954
119.03/119.49 c #Conflicts: 141000 | #Constraints: 40955
119.03/119.49 c #Conflicts: 142000 | #Constraints: 41955
119.03/119.49 c #Conflicts: 143000 | #Constraints: 42955
119.03/119.49 c #Conflicts: 144000 | #Constraints: 43955
119.03/119.49 c #Conflicts: 145000 | #Constraints: 44956
119.03/119.49 c #Conflicts: 146000 | #Constraints: 45957
119.03/119.49 c #Conflicts: 147000 | #Constraints: 46957
119.03/119.49 c INPROCESSING
119.03/119.49 c GARBAGE COLLECT
119.03/119.49 c rational objective 6
125.91/126.31 c #Conflicts: 148000 | #Constraints: 40381
125.91/126.31 c #Conflicts: 149000 | #Constraints: 41381
125.91/126.31 c #Conflicts: 150000 | #Constraints: 42381
125.91/126.31 c #Conflicts: 151000 | #Constraints: 43381
125.91/126.31 c #Conflicts: 152000 | #Constraints: 44382
125.91/126.31 c #Conflicts: 153000 | #Constraints: 45383
125.91/126.31 c #Conflicts: 154000 | #Constraints: 46384
125.91/126.31 c #Conflicts: 155000 | #Constraints: 47386
125.91/126.31 c INPROCESSING
125.91/126.31 c GARBAGE COLLECT
125.91/126.31 c rational objective 6
135.19/135.65 c #Conflicts: 156000 | #Constraints: 40557
135.19/135.65 c #Conflicts: 157000 | #Constraints: 41558
135.19/135.65 c #Conflicts: 158000 | #Constraints: 42559
135.19/135.65 c #Conflicts: 159000 | #Constraints: 43561
135.19/135.65 c #Conflicts: 160000 | #Constraints: 44562
135.19/135.65 c #Conflicts: 161000 | #Constraints: 45564
135.19/135.65 c #Conflicts: 162000 | #Constraints: 46565
135.19/135.65 c #Conflicts: 163000 | #Constraints: 47567
135.19/135.65 c INPROCESSING
135.19/135.65 c GARBAGE COLLECT
135.19/135.65 c rational objective 6
145.75/146.23 c #Conflicts: 164000 | #Constraints: 40519
145.75/146.23 c #Conflicts: 165000 | #Constraints: 41519
145.75/146.23 c #Conflicts: 166000 | #Constraints: 42520
145.75/146.23 c #Conflicts: 167000 | #Constraints: 43521
145.75/146.23 c #Conflicts: 168000 | #Constraints: 44522
145.75/146.23 c #Conflicts: 169000 | #Constraints: 45523
145.75/146.23 c #Conflicts: 170000 | #Constraints: 46523
145.75/146.23 c #Conflicts: 171000 | #Constraints: 47524
145.75/146.23 c INPROCESSING
145.75/146.23 c GARBAGE COLLECT
145.75/146.23 c rational objective 6
153.63/154.10 c #Conflicts: 172000 | #Constraints: 40237
153.63/154.10 c #Conflicts: 173000 | #Constraints: 41238
153.63/154.10 c #Conflicts: 174000 | #Constraints: 42238
153.63/154.10 c #Conflicts: 175000 | #Constraints: 43239
153.63/154.10 c #Conflicts: 176000 | #Constraints: 44241
153.63/154.10 c #Conflicts: 177000 | #Constraints: 45242
153.63/154.10 c #Conflicts: 178000 | #Constraints: 46242
153.63/154.10 c #Conflicts: 179000 | #Constraints: 47243
153.63/154.10 c #Conflicts: 180000 | #Constraints: 48247
153.63/154.10 c INPROCESSING
153.63/154.10 c GARBAGE COLLECT
153.63/154.10 c rational objective 6
163.21/163.73 c #Conflicts: 181000 | #Constraints: 40784
163.21/163.73 c #Conflicts: 182000 | #Constraints: 41784
163.21/163.73 c #Conflicts: 183000 | #Constraints: 42784
163.21/163.73 c #Conflicts: 184000 | #Constraints: 43785
163.21/163.73 c #Conflicts: 185000 | #Constraints: 44786
163.21/163.73 c #Conflicts: 186000 | #Constraints: 45787
163.21/163.73 c #Conflicts: 187000 | #Constraints: 46790
163.21/163.73 c #Conflicts: 188000 | #Constraints: 47792
163.21/163.73 c #Conflicts: 189000 | #Constraints: 48792
163.21/163.73 c INPROCESSING
163.21/163.73 c GARBAGE COLLECT
163.21/163.73 c rational objective 6
171.48/172.03 c #Conflicts: 190000 | #Constraints: 41183
171.48/172.03 c #Conflicts: 191000 | #Constraints: 42183
171.48/172.03 c #Conflicts: 192000 | #Constraints: 43183
171.48/172.03 c #Conflicts: 193000 | #Constraints: 44183
171.48/172.03 c #Conflicts: 194000 | #Constraints: 45183
171.48/172.03 c #Conflicts: 195000 | #Constraints: 46183
171.48/172.03 c #Conflicts: 196000 | #Constraints: 47184
171.48/172.03 c #Conflicts: 197000 | #Constraints: 48185
171.48/172.03 c #Conflicts: 198000 | #Constraints: 49186
171.48/172.03 c INPROCESSING
171.48/172.03 c GARBAGE COLLECT
171.48/172.03 c rational objective 6
177.97/178.51 c #Conflicts: 199000 | #Constraints: 41335
177.97/178.51 c #Conflicts: 200000 | #Constraints: 42335
177.97/178.51 c #Conflicts: 201000 | #Constraints: 43335
177.97/178.51 c #Conflicts: 202000 | #Constraints: 44336
177.97/178.51 c #Conflicts: 203000 | #Constraints: 45337
177.97/178.51 c #Conflicts: 204000 | #Constraints: 46341
177.97/178.51 c #Conflicts: 205000 | #Constraints: 47342
177.97/178.51 c #Conflicts: 206000 | #Constraints: 48342
177.97/178.51 c #Conflicts: 207000 | #Constraints: 49342
177.97/178.51 c INPROCESSING
177.97/178.51 c GARBAGE COLLECT
177.97/178.51 c rational objective 6
189.83/190.44 c #Conflicts: 208000 | #Constraints: 41281
189.83/190.44 c #Conflicts: 209000 | #Constraints: 42282
189.83/190.44 c #Conflicts: 210000 | #Constraints: 43282
189.83/190.44 c #Conflicts: 211000 | #Constraints: 44284
189.83/190.44 c #Conflicts: 212000 | #Constraints: 45285
189.83/190.44 c #Conflicts: 213000 | #Constraints: 46286
189.83/190.44 c #Conflicts: 214000 | #Constraints: 47287
189.83/190.44 c #Conflicts: 215000 | #Constraints: 48288
189.83/190.44 c #Conflicts: 216000 | #Constraints: 49289
189.83/190.44 c INPROCESSING
189.83/190.44 c GARBAGE COLLECT
189.83/190.44 c rational objective 6
198.80/199.40 c #Conflicts: 217000 | #Constraints: 41071
198.80/199.40 c #Conflicts: 218000 | #Constraints: 42071
198.80/199.40 c #Conflicts: 219000 | #Constraints: 43071
198.80/199.40 c #Conflicts: 220000 | #Constraints: 44072
198.80/199.40 c #Conflicts: 221000 | #Constraints: 45075
198.80/199.40 c #Conflicts: 222000 | #Constraints: 46077
198.80/199.40 c #Conflicts: 223000 | #Constraints: 47079
198.80/199.40 c #Conflicts: 224000 | #Constraints: 48081
198.80/199.40 c #Conflicts: 225000 | #Constraints: 49082
198.80/199.40 c #Conflicts: 226000 | #Constraints: 50082
198.80/199.40 c INPROCESSING
198.80/199.40 c GARBAGE COLLECT
198.80/199.40 c rational objective 6
211.48/212.11 c #Conflicts: 227000 | #Constraints: 41663
211.48/212.11 c #Conflicts: 228000 | #Constraints: 42664
211.48/212.11 c #Conflicts: 229000 | #Constraints: 43664
211.48/212.11 c #Conflicts: 230000 | #Constraints: 44664
211.48/212.11 c #Conflicts: 231000 | #Constraints: 45665
211.48/212.11 c #Conflicts: 232000 | #Constraints: 46667
211.48/212.11 c #Conflicts: 233000 | #Constraints: 47668
211.48/212.11 c #Conflicts: 234000 | #Constraints: 48670
211.48/212.11 c #Conflicts: 235000 | #Constraints: 49671
211.48/212.11 c #Conflicts: 236000 | #Constraints: 50672
211.48/212.11 c INPROCESSING
211.48/212.11 c GARBAGE COLLECT
211.48/212.11 c rational objective 6
221.94/222.67 c #Conflicts: 237000 | #Constraints: 41942
221.94/222.67 c #Conflicts: 238000 | #Constraints: 42943
221.94/222.67 c #Conflicts: 239000 | #Constraints: 43943
221.94/222.67 c #Conflicts: 240000 | #Constraints: 44943
221.94/222.67 c #Conflicts: 241000 | #Constraints: 45947
221.94/222.67 c #Conflicts: 242000 | #Constraints: 46950
221.94/222.67 c #Conflicts: 243000 | #Constraints: 47950
221.94/222.67 c #Conflicts: 244000 | #Constraints: 48952
221.94/222.67 c #Conflicts: 245000 | #Constraints: 49952
221.94/222.67 c #Conflicts: 246000 | #Constraints: 50953
221.94/222.67 c INPROCESSING
221.94/222.67 c GARBAGE COLLECT
221.94/222.67 c rational objective 6
232.21/233.00 c #Conflicts: 247000 | #Constraints: 41999
232.21/233.00 c #Conflicts: 248000 | #Constraints: 42999
232.21/233.00 c #Conflicts: 249000 | #Constraints: 43999
232.21/233.00 c #Conflicts: 250000 | #Constraints: 44999
232.21/233.00 c #Conflicts: 251000 | #Constraints: 46001
232.21/233.00 c #Conflicts: 252000 | #Constraints: 47002
232.21/233.00 c #Conflicts: 253000 | #Constraints: 48003
232.21/233.00 c #Conflicts: 254000 | #Constraints: 49005
232.21/233.00 c #Conflicts: 255000 | #Constraints: 50005
232.21/233.00 c #Conflicts: 256000 | #Constraints: 51006
232.21/233.00 c INPROCESSING
232.21/233.00 c GARBAGE COLLECT
232.21/233.00 c rational objective 6
244.18/244.95 c #Conflicts: 257000 | #Constraints: 41754
244.18/244.95 c #Conflicts: 258000 | #Constraints: 42755
244.18/244.95 c #Conflicts: 259000 | #Constraints: 43755
244.18/244.95 c #Conflicts: 260000 | #Constraints: 44755
244.18/244.95 c #Conflicts: 261000 | #Constraints: 45755
244.18/244.95 c #Conflicts: 262000 | #Constraints: 46756
244.18/244.95 c #Conflicts: 263000 | #Constraints: 47758
244.18/244.95 c #Conflicts: 264000 | #Constraints: 48759
244.18/244.95 c #Conflicts: 265000 | #Constraints: 49760
244.18/244.95 c #Conflicts: 266000 | #Constraints: 50762
244.18/244.95 c INPROCESSING
244.18/244.95 c GARBAGE COLLECT
244.18/244.95 c rational objective 6
262.53/263.39 c #Conflicts: 267000 | #Constraints: 41536
262.53/263.39 c #Conflicts: 268000 | #Constraints: 42537
262.53/263.39 c #Conflicts: 269000 | #Constraints: 43537
262.53/263.39 c #Conflicts: 270000 | #Constraints: 44539
262.53/263.39 c #Conflicts: 271000 | #Constraints: 45543
262.53/263.39 c #Conflicts: 272000 | #Constraints: 46547
262.53/263.39 c #Conflicts: 273000 | #Constraints: 47549
262.53/263.39 c #Conflicts: 274000 | #Constraints: 48550
262.53/263.39 c #Conflicts: 275000 | #Constraints: 49551
262.53/263.39 c #Conflicts: 276000 | #Constraints: 50552
262.53/263.39 c #Conflicts: 277000 | #Constraints: 51554
262.53/263.39 c INPROCESSING
262.53/263.39 c GARBAGE COLLECT
262.53/263.39 c rational objective 6
277.19/278.06 c #Conflicts: 278000 | #Constraints: 42027
277.19/278.06 c #Conflicts: 279000 | #Constraints: 43027
277.19/278.06 c #Conflicts: 280000 | #Constraints: 44027
277.19/278.06 c #Conflicts: 281000 | #Constraints: 45028
277.19/278.06 c #Conflicts: 282000 | #Constraints: 46031
277.19/278.06 c #Conflicts: 283000 | #Constraints: 47038
277.19/278.06 c #Conflicts: 284000 | #Constraints: 48039
277.19/278.06 c #Conflicts: 285000 | #Constraints: 49041
277.19/278.06 c #Conflicts: 286000 | #Constraints: 50044
277.19/278.06 c #Conflicts: 287000 | #Constraints: 51046
277.19/278.06 c #Conflicts: 288000 | #Constraints: 52048
277.19/278.06 c INPROCESSING
277.19/278.06 c GARBAGE COLLECT
277.19/278.06 c rational objective 6
290.95/291.89 c #Conflicts: 289000 | #Constraints: 42344
290.95/291.89 c #Conflicts: 290000 | #Constraints: 43344
290.95/291.89 c #Conflicts: 291000 | #Constraints: 44345
290.95/291.89 c #Conflicts: 292000 | #Constraints: 45346
290.95/291.89 c #Conflicts: 293000 | #Constraints: 46347
290.95/291.89 c #Conflicts: 294000 | #Constraints: 47348
290.95/291.89 c #Conflicts: 295000 | #Constraints: 48349
290.95/291.89 c #Conflicts: 296000 | #Constraints: 49350
290.95/291.89 c #Conflicts: 297000 | #Constraints: 50353
290.95/291.89 c #Conflicts: 298000 | #Constraints: 51355
290.95/291.89 c #Conflicts: 299000 | #Constraints: 52356
290.95/291.89 c INPROCESSING
290.95/291.89 c GARBAGE COLLECT
290.95/291.89 c rational objective 6
304.61/305.53 c #Conflicts: 300000 | #Constraints: 42433
304.61/305.53 c #Conflicts: 301000 | #Constraints: 43433
304.61/305.53 c #Conflicts: 302000 | #Constraints: 44433
304.61/305.53 c #Conflicts: 303000 | #Constraints: 45434
304.61/305.53 c #Conflicts: 304000 | #Constraints: 46435
304.61/305.53 c #Conflicts: 305000 | #Constraints: 47436
304.61/305.53 c #Conflicts: 306000 | #Constraints: 48437
304.61/305.53 c #Conflicts: 307000 | #Constraints: 49438
304.61/305.53 c #Conflicts: 308000 | #Constraints: 50439
304.61/305.53 c #Conflicts: 309000 | #Constraints: 51441
304.61/305.53 c #Conflicts: 310000 | #Constraints: 52442
304.61/305.53 c INPROCESSING
304.61/305.53 c GARBAGE COLLECT
304.61/305.53 c rational objective 6
320.06/321.08 c #Conflicts: 311000 | #Constraints: 42453
320.06/321.08 c #Conflicts: 312000 | #Constraints: 43454
320.06/321.08 c #Conflicts: 313000 | #Constraints: 44454
320.06/321.08 c #Conflicts: 314000 | #Constraints: 45454
320.06/321.08 c #Conflicts: 315000 | #Constraints: 46455
320.06/321.08 c #Conflicts: 316000 | #Constraints: 47455
320.06/321.08 c #Conflicts: 317000 | #Constraints: 48456
320.06/321.08 c #Conflicts: 318000 | #Constraints: 49457
320.06/321.08 c #Conflicts: 319000 | #Constraints: 50459
320.06/321.08 c #Conflicts: 320000 | #Constraints: 51460
320.06/321.08 c #Conflicts: 321000 | #Constraints: 52461
320.06/321.08 c INPROCESSING
320.06/321.08 c GARBAGE COLLECT
320.06/321.08 c rational objective 6
338.41/339.47 c #Conflicts: 322000 | #Constraints: 42249
338.41/339.47 c #Conflicts: 323000 | #Constraints: 43249
338.41/339.47 c #Conflicts: 324000 | #Constraints: 44250
338.41/339.47 c #Conflicts: 325000 | #Constraints: 45251
338.41/339.47 c #Conflicts: 326000 | #Constraints: 46252
338.41/339.47 c #Conflicts: 327000 | #Constraints: 47252
338.41/339.47 c #Conflicts: 328000 | #Constraints: 48254
338.41/339.47 c #Conflicts: 329000 | #Constraints: 49255
338.41/339.47 c #Conflicts: 330000 | #Constraints: 50256
338.41/339.47 c #Conflicts: 331000 | #Constraints: 51256
338.41/339.47 c #Conflicts: 332000 | #Constraints: 52258
338.41/339.47 c #Conflicts: 333000 | #Constraints: 53259
338.41/339.47 c INPROCESSING
338.41/339.47 c GARBAGE COLLECT
338.41/339.47 c rational objective 6
356.56/357.66 c #Conflicts: 334000 | #Constraints: 42807
356.56/357.66 c #Conflicts: 335000 | #Constraints: 43808
356.56/357.66 c #Conflicts: 336000 | #Constraints: 44808
356.56/357.66 c #Conflicts: 337000 | #Constraints: 45808
356.56/357.66 c #Conflicts: 338000 | #Constraints: 46809
356.56/357.66 c #Conflicts: 339000 | #Constraints: 47812
356.56/357.66 c #Conflicts: 340000 | #Constraints: 48813
356.56/357.66 c #Conflicts: 341000 | #Constraints: 49814
356.56/357.66 c #Conflicts: 342000 | #Constraints: 50815
356.56/357.66 c #Conflicts: 343000 | #Constraints: 51816
356.56/357.66 c #Conflicts: 344000 | #Constraints: 52818
356.56/357.66 c #Conflicts: 345000 | #Constraints: 53820
356.56/357.66 c INPROCESSING
356.56/357.66 c GARBAGE COLLECT
356.56/357.66 c rational objective 6
372.61/373.70 c #Conflicts: 346000 | #Constraints: 43152
372.61/373.70 c #Conflicts: 347000 | #Constraints: 44152
372.61/373.70 c #Conflicts: 348000 | #Constraints: 45152
372.61/373.70 c #Conflicts: 349000 | #Constraints: 46152
372.61/373.70 c #Conflicts: 350000 | #Constraints: 47153
372.61/373.70 c #Conflicts: 351000 | #Constraints: 48154
372.61/373.70 c #Conflicts: 352000 | #Constraints: 49155
372.61/373.70 c #Conflicts: 353000 | #Constraints: 50156
372.61/373.70 c #Conflicts: 354000 | #Constraints: 51156
372.61/373.70 c #Conflicts: 355000 | #Constraints: 52157
372.61/373.70 c #Conflicts: 356000 | #Constraints: 53158
372.61/373.70 c #Conflicts: 357000 | #Constraints: 54158
372.61/373.70 c INPROCESSING
372.61/373.70 c GARBAGE COLLECT
372.61/373.70 c rational objective 6
387.88/389.00 c #Conflicts: 358000 | #Constraints: 43361
387.88/389.00 c #Conflicts: 359000 | #Constraints: 44361
387.88/389.00 c #Conflicts: 360000 | #Constraints: 45361
387.88/389.00 c #Conflicts: 361000 | #Constraints: 46362
387.88/389.00 c #Conflicts: 362000 | #Constraints: 47364
387.88/389.00 c #Conflicts: 363000 | #Constraints: 48365
387.88/389.00 c #Conflicts: 364000 | #Constraints: 49366
387.88/389.00 c #Conflicts: 365000 | #Constraints: 50367
387.88/389.00 c #Conflicts: 366000 | #Constraints: 51368
387.88/389.00 c #Conflicts: 367000 | #Constraints: 52369
387.88/389.00 c #Conflicts: 368000 | #Constraints: 53369
387.88/389.00 c #Conflicts: 369000 | #Constraints: 54370
387.88/389.00 c INPROCESSING
387.88/389.00 c GARBAGE COLLECT
387.88/389.00 c rational objective 6
402.64/403.87 c #Conflicts: 370000 | #Constraints: 43344
402.64/403.87 c #Conflicts: 371000 | #Constraints: 44344
402.64/403.87 c #Conflicts: 372000 | #Constraints: 45344
402.64/403.87 c #Conflicts: 373000 | #Constraints: 46344
402.64/403.87 c #Conflicts: 374000 | #Constraints: 47344
402.64/403.87 c #Conflicts: 375000 | #Constraints: 48346
402.64/403.87 c #Conflicts: 376000 | #Constraints: 49349
402.64/403.87 c #Conflicts: 377000 | #Constraints: 50352
402.64/403.87 c #Conflicts: 378000 | #Constraints: 51354
402.64/403.87 c #Conflicts: 379000 | #Constraints: 52355
402.64/403.87 c #Conflicts: 380000 | #Constraints: 53358
402.64/403.87 c #Conflicts: 381000 | #Constraints: 54359
402.64/403.87 c INPROCESSING
402.64/403.87 c GARBAGE COLLECT
402.64/403.87 c rational objective 6
419.18/420.48 c #Conflicts: 382000 | #Constraints: 42983
419.18/420.48 c #Conflicts: 383000 | #Constraints: 43984
419.18/420.48 c #Conflicts: 384000 | #Constraints: 44984
419.18/420.48 c #Conflicts: 385000 | #Constraints: 45985
419.18/420.48 c #Conflicts: 386000 | #Constraints: 46987
419.18/420.48 c #Conflicts: 387000 | #Constraints: 47988
419.18/420.48 c #Conflicts: 388000 | #Constraints: 48989
419.18/420.48 c #Conflicts: 389000 | #Constraints: 49990
419.18/420.48 c #Conflicts: 390000 | #Constraints: 50990
419.18/420.48 c #Conflicts: 391000 | #Constraints: 51991
419.18/420.48 c #Conflicts: 392000 | #Constraints: 52991
419.18/420.48 c #Conflicts: 393000 | #Constraints: 53991
419.18/420.48 c #Conflicts: 394000 | #Constraints: 54992
419.18/420.48 c INPROCESSING
419.18/420.48 c GARBAGE COLLECT
419.18/420.48 c rational objective 6
434.94/436.27 c #Conflicts: 395000 | #Constraints: 43581
434.94/436.27 c #Conflicts: 396000 | #Constraints: 44582
434.94/436.27 c #Conflicts: 397000 | #Constraints: 45582
434.94/436.27 c #Conflicts: 398000 | #Constraints: 46582
434.94/436.27 c #Conflicts: 399000 | #Constraints: 47583
434.94/436.27 c #Conflicts: 400000 | #Constraints: 48585
434.94/436.27 c #Conflicts: 401000 | #Constraints: 49587
434.94/436.27 c #Conflicts: 402000 | #Constraints: 50589
434.94/436.27 c #Conflicts: 403000 | #Constraints: 51591
434.94/436.27 c #Conflicts: 404000 | #Constraints: 52592
434.94/436.27 c #Conflicts: 405000 | #Constraints: 53592
434.94/436.27 c #Conflicts: 406000 | #Constraints: 54592
434.94/436.27 c #Conflicts: 407000 | #Constraints: 55593
434.94/436.27 c INPROCESSING
434.94/436.27 c GARBAGE COLLECT
434.94/436.27 c rational objective 6
454.39/455.74 c #Conflicts: 408000 | #Constraints: 43873
454.39/455.74 c #Conflicts: 409000 | #Constraints: 44873
454.39/455.74 c #Conflicts: 410000 | #Constraints: 45873
454.39/455.74 c #Conflicts: 411000 | #Constraints: 46874
454.39/455.74 c #Conflicts: 412000 | #Constraints: 47877
454.39/455.74 c #Conflicts: 413000 | #Constraints: 48879
454.39/455.74 c #Conflicts: 414000 | #Constraints: 49883
454.39/455.74 c #Conflicts: 415000 | #Constraints: 50887
454.39/455.74 c #Conflicts: 416000 | #Constraints: 51889
454.39/455.74 c #Conflicts: 417000 | #Constraints: 52890
454.39/455.74 c #Conflicts: 418000 | #Constraints: 53892
454.39/455.74 c #Conflicts: 419000 | #Constraints: 54893
454.39/455.74 c #Conflicts: 420000 | #Constraints: 55895
454.39/455.74 c INPROCESSING
454.39/455.74 c GARBAGE COLLECT
454.39/455.74 c rational objective 6
473.14/474.58 c #Conflicts: 421000 | #Constraints: 44079
473.14/474.58 c #Conflicts: 422000 | #Constraints: 45080
473.14/474.58 c #Conflicts: 423000 | #Constraints: 46080
473.14/474.58 c #Conflicts: 424000 | #Constraints: 47080
473.14/474.58 c #Conflicts: 425000 | #Constraints: 48084
473.14/474.58 c #Conflicts: 426000 | #Constraints: 49086
473.14/474.58 c #Conflicts: 427000 | #Constraints: 50089
473.14/474.58 c #Conflicts: 428000 | #Constraints: 51092
473.14/474.58 c #Conflicts: 429000 | #Constraints: 52094
473.14/474.58 c #Conflicts: 430000 | #Constraints: 53094
473.14/474.58 c #Conflicts: 431000 | #Constraints: 54096
473.14/474.58 c #Conflicts: 432000 | #Constraints: 55097
473.14/474.58 c #Conflicts: 433000 | #Constraints: 56098
473.14/474.58 c INPROCESSING
473.14/474.58 c GARBAGE COLLECT
473.14/474.58 c rational objective 6
487.89/489.30 c #Conflicts: 434000 | #Constraints: 44018
487.89/489.30 c #Conflicts: 435000 | #Constraints: 45018
487.89/489.30 c #Conflicts: 436000 | #Constraints: 46018
487.89/489.30 c #Conflicts: 437000 | #Constraints: 47019
487.89/489.30 c #Conflicts: 438000 | #Constraints: 48025
487.89/489.30 c #Conflicts: 439000 | #Constraints: 49029
487.89/489.30 c #Conflicts: 440000 | #Constraints: 50031
487.89/489.30 c #Conflicts: 441000 | #Constraints: 51031
487.89/489.30 c #Conflicts: 442000 | #Constraints: 52033
487.89/489.30 c #Conflicts: 443000 | #Constraints: 53034
487.89/489.30 c #Conflicts: 444000 | #Constraints: 54034
487.89/489.30 c #Conflicts: 445000 | #Constraints: 55035
487.89/489.30 c #Conflicts: 446000 | #Constraints: 56036
487.89/489.30 c INPROCESSING
487.89/489.30 c GARBAGE COLLECT
487.89/489.30 c rational objective 6
511.23/512.77 c #Conflicts: 447000 | #Constraints: 43787
511.23/512.77 c #Conflicts: 448000 | #Constraints: 44788
511.23/512.77 c #Conflicts: 449000 | #Constraints: 45788
511.23/512.77 c #Conflicts: 450000 | #Constraints: 46788
511.23/512.77 c #Conflicts: 451000 | #Constraints: 47790
511.23/512.77 c #Conflicts: 452000 | #Constraints: 48793
511.23/512.77 c #Conflicts: 453000 | #Constraints: 49793
511.23/512.77 c #Conflicts: 454000 | #Constraints: 50794
511.23/512.77 c #Conflicts: 455000 | #Constraints: 51795
511.23/512.77 c #Conflicts: 456000 | #Constraints: 52796
511.23/512.77 c #Conflicts: 457000 | #Constraints: 53797
511.23/512.77 c #Conflicts: 458000 | #Constraints: 54797
511.23/512.77 c #Conflicts: 459000 | #Constraints: 55797
511.23/512.77 c #Conflicts: 460000 | #Constraints: 56797
511.23/512.77 c INPROCESSING
511.23/512.77 c GARBAGE COLLECT
511.23/512.77 c rational objective 6
527.98/529.56 c #Conflicts: 461000 | #Constraints: 44398
527.98/529.56 c #Conflicts: 462000 | #Constraints: 45398
527.98/529.56 c #Conflicts: 463000 | #Constraints: 46398
527.98/529.56 c #Conflicts: 464000 | #Constraints: 47398
527.98/529.56 c #Conflicts: 465000 | #Constraints: 48398
527.98/529.56 c #Conflicts: 466000 | #Constraints: 49399
527.98/529.56 c #Conflicts: 467000 | #Constraints: 50400
527.98/529.56 c #Conflicts: 468000 | #Constraints: 51401
527.98/529.56 c #Conflicts: 469000 | #Constraints: 52402
527.98/529.56 c #Conflicts: 470000 | #Constraints: 53403
527.98/529.56 c #Conflicts: 471000 | #Constraints: 54405
527.98/529.56 c #Conflicts: 472000 | #Constraints: 55405
527.98/529.56 c #Conflicts: 473000 | #Constraints: 56406
527.98/529.56 c #Conflicts: 474000 | #Constraints: 57407
527.98/529.56 c INPROCESSING
527.98/529.56 c GARBAGE COLLECT
527.98/529.56 c rational objective 6
544.94/546.51 c #Conflicts: 475000 | #Constraints: 44786
544.94/546.51 c #Conflicts: 476000 | #Constraints: 45787
544.94/546.51 c #Conflicts: 477000 | #Constraints: 46792
544.94/546.51 c #Conflicts: 478000 | #Constraints: 47794
544.94/546.51 c #Conflicts: 479000 | #Constraints: 48795
544.94/546.51 c #Conflicts: 480000 | #Constraints: 49799
544.94/546.51 c #Conflicts: 481000 | #Constraints: 50802
544.94/546.51 c #Conflicts: 482000 | #Constraints: 51802
544.94/546.51 c #Conflicts: 483000 | #Constraints: 52803
544.94/546.51 c #Conflicts: 484000 | #Constraints: 53804
544.94/546.51 c #Conflicts: 485000 | #Constraints: 54806
544.94/546.51 c #Conflicts: 486000 | #Constraints: 55807
544.94/546.51 c #Conflicts: 487000 | #Constraints: 56808
544.94/546.51 c #Conflicts: 488000 | #Constraints: 57809
544.94/546.51 c INPROCESSING
544.94/546.51 c GARBAGE COLLECT
544.94/546.51 c rational objective 6
561.19/562.82 c #Conflicts: 489000 | #Constraints: 44986
561.19/562.82 c #Conflicts: 490000 | #Constraints: 45986
561.19/562.82 c #Conflicts: 491000 | #Constraints: 46986
561.19/562.82 c #Conflicts: 492000 | #Constraints: 47986
561.19/562.82 c #Conflicts: 493000 | #Constraints: 48987
561.19/562.82 c #Conflicts: 494000 | #Constraints: 49989
561.19/562.82 c #Conflicts: 495000 | #Constraints: 50990
561.19/562.82 c #Conflicts: 496000 | #Constraints: 51991
561.19/562.82 c #Conflicts: 497000 | #Constraints: 52991
561.19/562.82 c #Conflicts: 498000 | #Constraints: 53993
561.19/562.82 c #Conflicts: 499000 | #Constraints: 54998
561.19/562.82 c #Conflicts: 500000 | #Constraints: 55999
561.19/562.82 c #Conflicts: 501000 | #Constraints: 57001
561.19/562.82 c #Conflicts: 502000 | #Constraints: 58001
561.19/562.82 c INPROCESSING
561.19/562.82 c GARBAGE COLLECT
561.19/562.82 c rational objective 6
579.84/581.51 c #Conflicts: 503000 | #Constraints: 44932
579.84/581.51 c #Conflicts: 504000 | #Constraints: 45932
579.84/581.51 c #Conflicts: 505000 | #Constraints: 46932
579.84/581.51 c #Conflicts: 506000 | #Constraints: 47932
579.84/581.51 c #Conflicts: 507000 | #Constraints: 48932
579.84/581.51 c #Conflicts: 508000 | #Constraints: 49934
579.84/581.51 c #Conflicts: 509000 | #Constraints: 50936
579.84/581.51 c #Conflicts: 510000 | #Constraints: 51937
579.84/581.51 c #Conflicts: 511000 | #Constraints: 52938
579.84/581.51 c #Conflicts: 512000 | #Constraints: 53940
579.84/581.51 c #Conflicts: 513000 | #Constraints: 54942
579.84/581.51 c #Conflicts: 514000 | #Constraints: 55943
579.84/581.51 c #Conflicts: 515000 | #Constraints: 56943
579.84/581.51 c #Conflicts: 516000 | #Constraints: 57944
579.84/581.51 c INPROCESSING
579.84/581.51 c GARBAGE COLLECT
579.84/581.51 c rational objective 6
598.79/600.54 c #Conflicts: 517000 | #Constraints: 44695
598.79/600.54 c #Conflicts: 518000 | #Constraints: 45697
598.79/600.54 c #Conflicts: 519000 | #Constraints: 46697
598.79/600.54 c #Conflicts: 520000 | #Constraints: 47698
598.79/600.54 c #Conflicts: 521000 | #Constraints: 48700
598.79/600.54 c #Conflicts: 522000 | #Constraints: 49701
598.79/600.54 c #Conflicts: 523000 | #Constraints: 50702
598.79/600.54 c #Conflicts: 524000 | #Constraints: 51704
598.79/600.54 c #Conflicts: 525000 | #Constraints: 52705
598.79/600.54 c #Conflicts: 526000 | #Constraints: 53706
598.79/600.54 c #Conflicts: 527000 | #Constraints: 54709
598.79/600.54 c #Conflicts: 528000 | #Constraints: 55711
598.79/600.54 c #Conflicts: 529000 | #Constraints: 56713
598.79/600.54 c #Conflicts: 530000 | #Constraints: 57714
598.79/600.54 c #Conflicts: 531000 | #Constraints: 58715
598.79/600.54 c INPROCESSING
598.79/600.54 c GARBAGE COLLECT
598.79/600.54 c rational objective 6
619.33/621.18 c #Conflicts: 532000 | #Constraints: 45278
619.33/621.18 c #Conflicts: 533000 | #Constraints: 46278
619.33/621.18 c #Conflicts: 534000 | #Constraints: 47278
619.33/621.18 c #Conflicts: 535000 | #Constraints: 48278
619.33/621.18 c #Conflicts: 536000 | #Constraints: 49278
619.33/621.18 c #Conflicts: 537000 | #Constraints: 50281
619.33/621.18 c #Conflicts: 538000 | #Constraints: 51284
619.33/621.18 c #Conflicts: 539000 | #Constraints: 52284
619.33/621.18 c #Conflicts: 540000 | #Constraints: 53286
619.33/621.18 c #Conflicts: 541000 | #Constraints: 54288
619.33/621.18 c #Conflicts: 542000 | #Constraints: 55289
619.33/621.18 c #Conflicts: 543000 | #Constraints: 56291
619.33/621.18 c #Conflicts: 544000 | #Constraints: 57293
619.33/621.18 c #Conflicts: 545000 | #Constraints: 58294
619.33/621.18 c #Conflicts: 546000 | #Constraints: 59294
619.33/621.18 c INPROCESSING
619.33/621.18 c GARBAGE COLLECT
619.33/621.18 c rational objective 6
649.25/651.13 c #Conflicts: 547000 | #Constraints: 45633
649.25/651.13 c #Conflicts: 548000 | #Constraints: 46633
649.25/651.13 c #Conflicts: 549000 | #Constraints: 47633
649.25/651.13 c #Conflicts: 550000 | #Constraints: 48633
649.25/651.13 c #Conflicts: 551000 | #Constraints: 49635
649.25/651.13 c #Conflicts: 552000 | #Constraints: 50636
649.25/651.13 c #Conflicts: 553000 | #Constraints: 51637
649.25/651.13 c #Conflicts: 554000 | #Constraints: 52638
649.25/651.13 c #Conflicts: 555000 | #Constraints: 53639
649.25/651.13 c #Conflicts: 556000 | #Constraints: 54640
649.25/651.13 c #Conflicts: 557000 | #Constraints: 55641
649.25/651.13 c #Conflicts: 558000 | #Constraints: 56641
649.25/651.13 c #Conflicts: 559000 | #Constraints: 57641
649.25/651.13 c #Conflicts: 560000 | #Constraints: 58642
649.25/651.13 c #Conflicts: 561000 | #Constraints: 59643
649.25/651.13 c INPROCESSING
649.25/651.13 c GARBAGE COLLECT
649.25/651.13 c rational objective 6
670.48/672.46 c #Conflicts: 562000 | #Constraints: 45836
670.48/672.46 c #Conflicts: 563000 | #Constraints: 46836
670.48/672.46 c #Conflicts: 564000 | #Constraints: 47837
670.48/672.46 c #Conflicts: 565000 | #Constraints: 48837
670.48/672.46 c #Conflicts: 566000 | #Constraints: 49837
670.48/672.46 c #Conflicts: 567000 | #Constraints: 50838
670.48/672.46 c #Conflicts: 568000 | #Constraints: 51839
670.48/672.46 c #Conflicts: 569000 | #Constraints: 52841
670.48/672.46 c #Conflicts: 570000 | #Constraints: 53843
670.48/672.46 c #Conflicts: 571000 | #Constraints: 54843
670.48/672.46 c #Conflicts: 572000 | #Constraints: 55843
670.48/672.46 c #Conflicts: 573000 | #Constraints: 56843
670.48/672.46 c #Conflicts: 574000 | #Constraints: 57844
670.48/672.46 c #Conflicts: 575000 | #Constraints: 58844
670.48/672.46 c #Conflicts: 576000 | #Constraints: 59845
670.48/672.46 c INPROCESSING
670.48/672.46 c GARBAGE COLLECT
670.48/672.46 c rational objective 6
691.83/693.81 c #Conflicts: 577000 | #Constraints: 45806
691.83/693.81 c #Conflicts: 578000 | #Constraints: 46806
691.83/693.81 c #Conflicts: 579000 | #Constraints: 47806
691.83/693.81 c #Conflicts: 580000 | #Constraints: 48807
691.83/693.81 c #Conflicts: 581000 | #Constraints: 49808
691.83/693.81 c #Conflicts: 582000 | #Constraints: 50809
691.83/693.81 c #Conflicts: 583000 | #Constraints: 51811
691.83/693.81 c #Conflicts: 584000 | #Constraints: 52813
691.83/693.81 c #Conflicts: 585000 | #Constraints: 53814
691.83/693.81 c #Conflicts: 586000 | #Constraints: 54815
691.83/693.81 c #Conflicts: 587000 | #Constraints: 55817
691.83/693.81 c #Conflicts: 588000 | #Constraints: 56817
691.83/693.81 c #Conflicts: 589000 | #Constraints: 57818
691.83/693.81 c #Conflicts: 590000 | #Constraints: 58819
691.83/693.81 c #Conflicts: 591000 | #Constraints: 59821
691.83/693.81 c INPROCESSING
691.83/693.81 c GARBAGE COLLECT
691.83/693.81 c rational objective 6
712.77/714.82 c #Conflicts: 592000 | #Constraints: 45582
712.77/714.82 c #Conflicts: 593000 | #Constraints: 46583
712.77/714.82 c #Conflicts: 594000 | #Constraints: 47583
712.77/714.82 c #Conflicts: 595000 | #Constraints: 48583
712.77/714.82 c #Conflicts: 596000 | #Constraints: 49583
712.77/714.82 c #Conflicts: 597000 | #Constraints: 50584
712.77/714.82 c #Conflicts: 598000 | #Constraints: 51585
712.77/714.82 c #Conflicts: 599000 | #Constraints: 52586
712.77/714.82 c #Conflicts: 600000 | #Constraints: 53587
712.77/714.82 c #Conflicts: 601000 | #Constraints: 54588
712.77/714.82 c #Conflicts: 602000 | #Constraints: 55590
712.77/714.82 c #Conflicts: 603000 | #Constraints: 56592
712.77/714.82 c #Conflicts: 604000 | #Constraints: 57595
712.77/714.82 c #Conflicts: 605000 | #Constraints: 58596
712.77/714.82 c #Conflicts: 606000 | #Constraints: 59597
712.77/714.82 c #Conflicts: 607000 | #Constraints: 60598
712.77/714.82 c INPROCESSING
712.77/714.82 c GARBAGE COLLECT
712.77/714.82 c rational objective 6
736.00/738.19 c #Conflicts: 608000 | #Constraints: 46159
736.00/738.19 c #Conflicts: 609000 | #Constraints: 47160
736.00/738.19 c #Conflicts: 610000 | #Constraints: 48160
736.00/738.19 c #Conflicts: 611000 | #Constraints: 49160
736.00/738.19 c #Conflicts: 612000 | #Constraints: 50161
736.00/738.19 c #Conflicts: 613000 | #Constraints: 51163
736.00/738.19 c #Conflicts: 614000 | #Constraints: 52164
736.00/738.19 c #Conflicts: 615000 | #Constraints: 53167
736.00/738.19 c #Conflicts: 616000 | #Constraints: 54169
736.00/738.19 c #Conflicts: 617000 | #Constraints: 55171
736.00/738.19 c #Conflicts: 618000 | #Constraints: 56173
736.00/738.19 c #Conflicts: 619000 | #Constraints: 57173
736.00/738.19 c #Conflicts: 620000 | #Constraints: 58174
736.00/738.19 c #Conflicts: 621000 | #Constraints: 59175
736.00/738.19 c #Conflicts: 622000 | #Constraints: 60176
736.00/738.19 c #Conflicts: 623000 | #Constraints: 61176
736.00/738.19 c INPROCESSING
736.00/738.19 c GARBAGE COLLECT
736.00/738.19 c rational objective 6
764.61/766.82 c #Conflicts: 624000 | #Constraints: 46553
764.61/766.82 c #Conflicts: 625000 | #Constraints: 47553
764.61/766.82 c #Conflicts: 626000 | #Constraints: 48553
764.61/766.82 c #Conflicts: 627000 | #Constraints: 49553
764.61/766.82 c #Conflicts: 628000 | #Constraints: 50553
764.61/766.82 c #Conflicts: 629000 | #Constraints: 51554
764.61/766.82 c #Conflicts: 630000 | #Constraints: 52555
764.61/766.82 c #Conflicts: 631000 | #Constraints: 53556
764.61/766.82 c #Conflicts: 632000 | #Constraints: 54557
764.61/766.82 c #Conflicts: 633000 | #Constraints: 55559
764.61/766.82 c #Conflicts: 634000 | #Constraints: 56560
764.61/766.82 c #Conflicts: 635000 | #Constraints: 57563
764.61/766.82 c #Conflicts: 636000 | #Constraints: 58563
764.61/766.82 c #Conflicts: 637000 | #Constraints: 59565
764.61/766.82 c #Conflicts: 638000 | #Constraints: 60565
764.61/766.82 c #Conflicts: 639000 | #Constraints: 61565
764.61/766.82 c INPROCESSING
764.61/766.82 c GARBAGE COLLECT
764.61/766.82 c rational objective 6
790.53/792.82 c #Conflicts: 640000 | #Constraints: 46721
790.53/792.82 c #Conflicts: 641000 | #Constraints: 47721
790.53/792.82 c #Conflicts: 642000 | #Constraints: 48721
790.53/792.82 c #Conflicts: 643000 | #Constraints: 49722
790.53/792.82 c #Conflicts: 644000 | #Constraints: 50722
790.53/792.82 c #Conflicts: 645000 | #Constraints: 51722
790.53/792.82 c #Conflicts: 646000 | #Constraints: 52722
790.53/792.82 c #Conflicts: 647000 | #Constraints: 53723
790.53/792.82 c #Conflicts: 648000 | #Constraints: 54724
790.53/792.82 c #Conflicts: 649000 | #Constraints: 55725
790.53/792.82 c #Conflicts: 650000 | #Constraints: 56727
790.53/792.82 c #Conflicts: 651000 | #Constraints: 57730
790.53/792.82 c #Conflicts: 652000 | #Constraints: 58733
790.53/792.82 c #Conflicts: 653000 | #Constraints: 59733
790.53/792.82 c #Conflicts: 654000 | #Constraints: 60735
790.53/792.82 c #Conflicts: 655000 | #Constraints: 61736
790.53/792.82 c INPROCESSING
790.53/792.82 c GARBAGE COLLECT
790.53/792.82 c rational objective 6
825.52/827.90 c #Conflicts: 656000 | #Constraints: 46665
825.52/827.90 c #Conflicts: 657000 | #Constraints: 47665
825.52/827.90 c #Conflicts: 658000 | #Constraints: 48666
825.52/827.90 c #Conflicts: 659000 | #Constraints: 49667
825.52/827.90 c #Conflicts: 660000 | #Constraints: 50669
825.52/827.90 c #Conflicts: 661000 | #Constraints: 51670
825.52/827.90 c #Conflicts: 662000 | #Constraints: 52672
825.52/827.90 c #Conflicts: 663000 | #Constraints: 53674
825.52/827.90 c #Conflicts: 664000 | #Constraints: 54675
825.52/827.90 c #Conflicts: 665000 | #Constraints: 55676
825.52/827.90 c #Conflicts: 666000 | #Constraints: 56678
825.52/827.90 c #Conflicts: 667000 | #Constraints: 57679
825.52/827.90 c #Conflicts: 668000 | #Constraints: 58680
825.52/827.90 c #Conflicts: 669000 | #Constraints: 59680
825.52/827.90 c #Conflicts: 670000 | #Constraints: 60681
825.52/827.90 c #Conflicts: 671000 | #Constraints: 61682
825.52/827.90 c INPROCESSING
825.52/827.90 c GARBAGE COLLECT
825.52/827.90 c rational objective 6
855.33/857.85 c #Conflicts: 672000 | #Constraints: 46457
855.33/857.85 c #Conflicts: 673000 | #Constraints: 47457
855.33/857.85 c #Conflicts: 674000 | #Constraints: 48457
855.33/857.85 c #Conflicts: 675000 | #Constraints: 49457
855.33/857.85 c #Conflicts: 676000 | #Constraints: 50457
855.33/857.85 c #Conflicts: 677000 | #Constraints: 51459
855.33/857.85 c #Conflicts: 678000 | #Constraints: 52459
855.33/857.85 c #Conflicts: 679000 | #Constraints: 53460
855.33/857.85 c #Conflicts: 680000 | #Constraints: 54464
855.33/857.85 c #Conflicts: 681000 | #Constraints: 55467
855.33/857.85 c #Conflicts: 682000 | #Constraints: 56468
855.33/857.85 c #Conflicts: 683000 | #Constraints: 57470
855.33/857.85 c #Conflicts: 684000 | #Constraints: 58471
855.33/857.85 c #Conflicts: 685000 | #Constraints: 59471
855.33/857.85 c #Conflicts: 686000 | #Constraints: 60471
855.33/857.85 c #Conflicts: 687000 | #Constraints: 61472
855.33/857.85 c #Conflicts: 688000 | #Constraints: 62473
855.33/857.85 c INPROCESSING
855.33/857.85 c GARBAGE COLLECT
855.33/857.85 c rational objective 6
878.66/881.26 c #Conflicts: 689000 | #Constraints: 47052
878.66/881.26 c #Conflicts: 690000 | #Constraints: 48052
878.66/881.26 c #Conflicts: 691000 | #Constraints: 49052
878.66/881.26 c #Conflicts: 692000 | #Constraints: 50055
878.66/881.26 c #Conflicts: 693000 | #Constraints: 51058
878.66/881.26 c #Conflicts: 694000 | #Constraints: 52061
878.66/881.26 c #Conflicts: 695000 | #Constraints: 53065
878.66/881.26 c #Conflicts: 696000 | #Constraints: 54068
878.66/881.26 c #Conflicts: 697000 | #Constraints: 55068
878.66/881.26 c #Conflicts: 698000 | #Constraints: 56069
878.66/881.26 c #Conflicts: 699000 | #Constraints: 57070
878.66/881.26 c #Conflicts: 700000 | #Constraints: 58071
878.66/881.26 c #Conflicts: 701000 | #Constraints: 59072
878.66/881.26 c #Conflicts: 702000 | #Constraints: 60073
878.66/881.26 c #Conflicts: 703000 | #Constraints: 61075
878.66/881.26 c #Conflicts: 704000 | #Constraints: 62076
878.66/881.26 c #Conflicts: 705000 | #Constraints: 63077
878.66/881.26 c INPROCESSING
878.66/881.26 c GARBAGE COLLECT
878.66/881.26 c rational objective 6
896.90/899.51 c #Conflicts: 706000 | #Constraints: 47430
896.90/899.51 c #Conflicts: 707000 | #Constraints: 48431
896.90/899.51 c #Conflicts: 708000 | #Constraints: 49431
896.90/899.51 c #Conflicts: 709000 | #Constraints: 50431
896.90/899.51 c #Conflicts: 710000 | #Constraints: 51431
896.90/899.51 c #Conflicts: 711000 | #Constraints: 52432
896.90/899.51 c #Conflicts: 712000 | #Constraints: 53436
896.90/899.51 c #Conflicts: 713000 | #Constraints: 54438
896.90/899.51 c #Conflicts: 714000 | #Constraints: 55440
896.90/899.51 c #Conflicts: 715000 | #Constraints: 56442
896.90/899.51 c #Conflicts: 716000 | #Constraints: 57443
896.90/899.51 c #Conflicts: 717000 | #Constraints: 58444
896.90/899.51 c #Conflicts: 718000 | #Constraints: 59444
896.90/899.51 c #Conflicts: 719000 | #Constraints: 60445
896.90/899.51 c #Conflicts: 720000 | #Constraints: 61446
896.90/899.51 c #Conflicts: 721000 | #Constraints: 62447
896.90/899.51 c #Conflicts: 722000 | #Constraints: 63448
896.90/899.51 c INPROCESSING
896.90/899.51 c GARBAGE COLLECT
896.90/899.51 c rational objective 6
952.34/955.15 c #Conflicts: 723000 | #Constraints: 47622
952.34/955.15 c #Conflicts: 724000 | #Constraints: 48622
952.34/955.15 c #Conflicts: 725000 | #Constraints: 49622
952.34/955.15 c #Conflicts: 726000 | #Constraints: 50622
952.34/955.15 c #Conflicts: 727000 | #Constraints: 51622
952.34/955.15 c #Conflicts: 728000 | #Constraints: 52624
952.34/955.15 c #Conflicts: 729000 | #Constraints: 53625
952.34/955.15 c #Conflicts: 730000 | #Constraints: 54626
952.34/955.15 c #Conflicts: 731000 | #Constraints: 55628
952.34/955.15 c #Conflicts: 732000 | #Constraints: 56629
952.34/955.15 c #Conflicts: 733000 | #Constraints: 57630
952.34/955.15 c #Conflicts: 734000 | #Constraints: 58630
952.34/955.15 c #Conflicts: 735000 | #Constraints: 59631
952.34/955.15 c #Conflicts: 736000 | #Constraints: 60631
952.34/955.15 c #Conflicts: 737000 | #Constraints: 61632
952.34/955.15 c #Conflicts: 738000 | #Constraints: 62633
952.34/955.15 c #Conflicts: 739000 | #Constraints: 63633
952.34/955.15 c INPROCESSING
952.34/955.15 c GARBAGE COLLECT
952.34/955.15 c rational objective 6
975.36/978.22 c #Conflicts: 740000 | #Constraints: 47678
975.36/978.22 c #Conflicts: 741000 | #Constraints: 48678
975.36/978.22 c #Conflicts: 742000 | #Constraints: 49678
975.36/978.22 c #Conflicts: 743000 | #Constraints: 50678
975.36/978.22 c #Conflicts: 744000 | #Constraints: 51679
975.36/978.22 c #Conflicts: 745000 | #Constraints: 52679
975.36/978.22 c #Conflicts: 746000 | #Constraints: 53679
975.36/978.22 c #Conflicts: 747000 | #Constraints: 54680
975.36/978.22 c #Conflicts: 748000 | #Constraints: 55681
975.36/978.22 c #Conflicts: 749000 | #Constraints: 56682
975.36/978.22 c #Conflicts: 750000 | #Constraints: 57682
975.36/978.22 c #Conflicts: 751000 | #Constraints: 58683
975.36/978.22 c #Conflicts: 752000 | #Constraints: 59684
975.36/978.22 c #Conflicts: 753000 | #Constraints: 60684
975.36/978.22 c #Conflicts: 754000 | #Constraints: 61685
975.36/978.22 c #Conflicts: 755000 | #Constraints: 62685
975.36/978.22 c #Conflicts: 756000 | #Constraints: 63686
975.36/978.22 c INPROCESSING
975.36/978.22 c GARBAGE COLLECT
975.36/978.22 c rational objective 6
1009.36/1012.31 c #Conflicts: 757000 | #Constraints: 47458
1009.36/1012.31 c #Conflicts: 758000 | #Constraints: 48459
1009.36/1012.31 c #Conflicts: 759000 | #Constraints: 49459
1009.36/1012.31 c #Conflicts: 760000 | #Constraints: 50461
1009.36/1012.31 c #Conflicts: 761000 | #Constraints: 51462
1009.36/1012.31 c #Conflicts: 762000 | #Constraints: 52463
1009.36/1012.31 c #Conflicts: 763000 | #Constraints: 53464
1009.36/1012.31 c #Conflicts: 764000 | #Constraints: 54467
1009.36/1012.31 c #Conflicts: 765000 | #Constraints: 55468
1009.36/1012.31 c #Conflicts: 766000 | #Constraints: 56471
1009.36/1012.31 c #Conflicts: 767000 | #Constraints: 57471
1009.36/1012.31 c #Conflicts: 768000 | #Constraints: 58473
1009.36/1012.31 c #Conflicts: 769000 | #Constraints: 59473
1009.36/1012.31 c #Conflicts: 770000 | #Constraints: 60474
1009.36/1012.31 c #Conflicts: 771000 | #Constraints: 61474
1009.36/1012.31 c #Conflicts: 772000 | #Constraints: 62475
1009.36/1012.31 c #Conflicts: 773000 | #Constraints: 63476
1009.36/1012.31 c #Conflicts: 774000 | #Constraints: 64476
1009.36/1012.31 c INPROCESSING
1009.36/1012.31 c GARBAGE COLLECT
1009.36/1012.31 c rational objective 6
1049.14/1052.28 c #Conflicts: 775000 | #Constraints: 47986
1049.14/1052.28 c #Conflicts: 776000 | #Constraints: 48986
1049.14/1052.28 c #Conflicts: 777000 | #Constraints: 49986
1049.14/1052.28 c #Conflicts: 778000 | #Constraints: 50987
1049.14/1052.28 c #Conflicts: 779000 | #Constraints: 51988
1049.14/1052.28 c #Conflicts: 780000 | #Constraints: 52990
1049.14/1052.28 c #Conflicts: 781000 | #Constraints: 53993
1049.14/1052.28 c #Conflicts: 782000 | #Constraints: 54995
1049.14/1052.28 c #Conflicts: 783000 | #Constraints: 55997
1049.14/1052.28 c #Conflicts: 784000 | #Constraints: 56997
1049.14/1052.28 c #Conflicts: 785000 | #Constraints: 57998
1049.14/1052.28 c #Conflicts: 786000 | #Constraints: 58998
1049.14/1052.28 c #Conflicts: 787000 | #Constraints: 59999
1049.14/1052.28 c #Conflicts: 788000 | #Constraints: 60999
1049.14/1052.28 c #Conflicts: 789000 | #Constraints: 61999
1049.14/1052.28 c #Conflicts: 790000 | #Constraints: 63000
1049.14/1052.28 c #Conflicts: 791000 | #Constraints: 64000
1049.14/1052.28 c #Conflicts: 792000 | #Constraints: 65001
1049.14/1052.28 c INPROCESSING
1049.14/1052.28 c GARBAGE COLLECT
1049.14/1052.28 c rational objective 6
1079.34/1082.50 c #Conflicts: 793000 | #Constraints: 48378
1079.34/1082.50 c #Conflicts: 794000 | #Constraints: 49378
1079.34/1082.50 c #Conflicts: 795000 | #Constraints: 50378
1079.34/1082.50 c #Conflicts: 796000 | #Constraints: 51378
1079.34/1082.50 c #Conflicts: 797000 | #Constraints: 52380
1079.34/1082.50 c #Conflicts: 798000 | #Constraints: 53381
1079.34/1082.50 c #Conflicts: 799000 | #Constraints: 54383
1079.34/1082.50 c #Conflicts: 800000 | #Constraints: 55385
1079.34/1082.50 c #Conflicts: 801000 | #Constraints: 56385
1079.34/1082.50 c #Conflicts: 802000 | #Constraints: 57387
1079.34/1082.50 c #Conflicts: 803000 | #Constraints: 58387
1079.34/1082.50 c #Conflicts: 804000 | #Constraints: 59389
1079.34/1082.50 c #Conflicts: 805000 | #Constraints: 60390
1079.34/1082.50 c #Conflicts: 806000 | #Constraints: 61393
1079.34/1082.50 c #Conflicts: 807000 | #Constraints: 62394
1079.34/1082.50 c #Conflicts: 808000 | #Constraints: 63395
1079.34/1082.50 c #Conflicts: 809000 | #Constraints: 64396
1079.34/1082.50 c #Conflicts: 810000 | #Constraints: 65397
1079.34/1082.50 c INPROCESSING
1079.34/1082.50 c GARBAGE COLLECT
1079.34/1082.50 c rational objective 6
1115.63/1118.99 c #Conflicts: 811000 | #Constraints: 48577
1115.63/1118.99 c #Conflicts: 812000 | #Constraints: 49577
1115.63/1118.99 c #Conflicts: 813000 | #Constraints: 50578
1115.63/1118.99 c #Conflicts: 814000 | #Constraints: 51578
1115.63/1118.99 c #Conflicts: 815000 | #Constraints: 52578
1115.63/1118.99 c #Conflicts: 816000 | #Constraints: 53579
1115.63/1118.99 c #Conflicts: 817000 | #Constraints: 54580
1115.63/1118.99 c #Conflicts: 818000 | #Constraints: 55582
1115.63/1118.99 c #Conflicts: 819000 | #Constraints: 56582
1115.63/1118.99 c #Conflicts: 820000 | #Constraints: 57584
1115.63/1118.99 c #Conflicts: 821000 | #Constraints: 58585
1115.63/1118.99 c #Conflicts: 822000 | #Constraints: 59587
1115.63/1118.99 c #Conflicts: 823000 | #Constraints: 60588
1115.63/1118.99 c #Conflicts: 824000 | #Constraints: 61589
1115.63/1118.99 c #Conflicts: 825000 | #Constraints: 62589
1115.63/1118.99 c #Conflicts: 826000 | #Constraints: 63589
1115.63/1118.99 c #Conflicts: 827000 | #Constraints: 64590
1115.63/1118.99 c #Conflicts: 828000 | #Constraints: 65590
1115.63/1118.99 c INPROCESSING
1115.63/1118.99 c GARBAGE COLLECT
1115.63/1118.99 c rational objective 6
1150.63/1154.07 c #Conflicts: 829000 | #Constraints: 48547
1150.63/1154.07 c #Conflicts: 830000 | #Constraints: 49548
1150.63/1154.07 c #Conflicts: 831000 | #Constraints: 50549
1150.63/1154.07 c #Conflicts: 832000 | #Constraints: 51553
1150.63/1154.07 c #Conflicts: 833000 | #Constraints: 52559
1150.63/1154.07 c #Conflicts: 834000 | #Constraints: 53563
1150.63/1154.07 c #Conflicts: 835000 | #Constraints: 54563
1150.63/1154.07 c #Conflicts: 836000 | #Constraints: 55565
1150.63/1154.07 c #Conflicts: 837000 | #Constraints: 56566
1150.63/1154.07 c #Conflicts: 838000 | #Constraints: 57566
1150.63/1154.07 c #Conflicts: 839000 | #Constraints: 58566
1150.63/1154.07 c #Conflicts: 840000 | #Constraints: 59567
1150.63/1154.07 c #Conflicts: 841000 | #Constraints: 60567
1150.63/1154.07 c #Conflicts: 842000 | #Constraints: 61568
1150.63/1154.07 c #Conflicts: 843000 | #Constraints: 62568
1150.63/1154.07 c #Conflicts: 844000 | #Constraints: 63569
1150.63/1154.07 c #Conflicts: 845000 | #Constraints: 64569
1150.63/1154.07 c #Conflicts: 846000 | #Constraints: 65570
1150.63/1154.07 c INPROCESSING
1150.63/1154.07 c GARBAGE COLLECT
1150.63/1154.07 c rational objective 6
1180.34/1183.86 c #Conflicts: 847000 | #Constraints: 48346
1180.34/1183.86 c #Conflicts: 848000 | #Constraints: 49347
1180.34/1183.86 c #Conflicts: 849000 | #Constraints: 50347
1180.34/1183.86 c #Conflicts: 850000 | #Constraints: 51347
1180.34/1183.86 c #Conflicts: 851000 | #Constraints: 52347
1180.34/1183.86 c #Conflicts: 852000 | #Constraints: 53348
1180.34/1183.86 c #Conflicts: 853000 | #Constraints: 54349
1180.34/1183.86 c #Conflicts: 854000 | #Constraints: 55352
1180.34/1183.86 c #Conflicts: 855000 | #Constraints: 56353
1180.34/1183.86 c #Conflicts: 856000 | #Constraints: 57355
1180.34/1183.86 c #Conflicts: 857000 | #Constraints: 58357
1180.34/1183.86 c #Conflicts: 858000 | #Constraints: 59357
1180.34/1183.86 c #Conflicts: 859000 | #Constraints: 60358
1180.34/1183.86 c #Conflicts: 860000 | #Constraints: 61358
1180.34/1183.86 c #Conflicts: 861000 | #Constraints: 62359
1180.34/1183.86 c #Conflicts: 862000 | #Constraints: 63360
1180.34/1183.86 c #Conflicts: 863000 | #Constraints: 64362
1180.34/1183.86 c #Conflicts: 864000 | #Constraints: 65363
1180.34/1183.86 c #Conflicts: 865000 | #Constraints: 66364
1180.34/1183.86 c INPROCESSING
1180.34/1183.86 c GARBAGE COLLECT
1180.34/1183.86 c rational objective 6
1209.45/1213.07 c #Conflicts: 866000 | #Constraints: 48910
1209.45/1213.07 c #Conflicts: 867000 | #Constraints: 49910
1209.45/1213.07 c #Conflicts: 868000 | #Constraints: 50911
1209.45/1213.07 c #Conflicts: 869000 | #Constraints: 51911
1209.45/1213.07 c #Conflicts: 870000 | #Constraints: 52911
1209.45/1213.07 c #Conflicts: 871000 | #Constraints: 53912
1209.45/1213.07 c #Conflicts: 872000 | #Constraints: 54913
1209.45/1213.07 c #Conflicts: 873000 | #Constraints: 55915
1209.45/1213.07 c #Conflicts: 874000 | #Constraints: 56917
1209.45/1213.07 c #Conflicts: 875000 | #Constraints: 57919
1209.45/1213.07 c #Conflicts: 876000 | #Constraints: 58922
1209.45/1213.07 c #Conflicts: 877000 | #Constraints: 59923
1209.45/1213.07 c #Conflicts: 878000 | #Constraints: 60924
1209.45/1213.07 c #Conflicts: 879000 | #Constraints: 61925
1209.45/1213.07 c #Conflicts: 880000 | #Constraints: 62927
1209.45/1213.07 c #Conflicts: 881000 | #Constraints: 63929
1209.45/1213.07 c #Conflicts: 882000 | #Constraints: 64931
1209.45/1213.07 c #Conflicts: 883000 | #Constraints: 65931
1209.45/1213.07 c #Conflicts: 884000 | #Constraints: 66931
1209.45/1213.07 c INPROCESSING
1209.45/1213.07 c GARBAGE COLLECT
1209.45/1213.07 c rational objective 6
1239.56/1243.26 c #Conflicts: 885000 | #Constraints: 49319
1239.56/1243.26 c #Conflicts: 886000 | #Constraints: 50319
1239.56/1243.26 c #Conflicts: 887000 | #Constraints: 51319
1239.56/1243.26 c #Conflicts: 888000 | #Constraints: 52320
1239.56/1243.26 c #Conflicts: 889000 | #Constraints: 53323
1239.56/1243.26 c #Conflicts: 890000 | #Constraints: 54324
1239.56/1243.26 c #Conflicts: 891000 | #Constraints: 55326
1239.56/1243.26 c #Conflicts: 892000 | #Constraints: 56327
1239.56/1243.26 c #Conflicts: 893000 | #Constraints: 57329
1239.56/1243.26 c #Conflicts: 894000 | #Constraints: 58331
1239.56/1243.26 c #Conflicts: 895000 | #Constraints: 59332
1239.56/1243.26 c #Conflicts: 896000 | #Constraints: 60332
1239.56/1243.26 c #Conflicts: 897000 | #Constraints: 61332
1239.56/1243.26 c #Conflicts: 898000 | #Constraints: 62332
1239.56/1243.26 c #Conflicts: 899000 | #Constraints: 63332
1239.56/1243.26 c #Conflicts: 900000 | #Constraints: 64332
1239.56/1243.26 c #Conflicts: 901000 | #Constraints: 65333
1239.56/1243.26 c #Conflicts: 902000 | #Constraints: 66334
1239.56/1243.26 c #Conflicts: 903000 | #Constraints: 67334
1239.56/1243.26 c INPROCESSING
1239.56/1243.26 c GARBAGE COLLECT
1239.56/1243.26 c rational objective 6
1265.77/1269.56 c #Conflicts: 904000 | #Constraints: 49347
1265.77/1269.56 c #Conflicts: 905000 | #Constraints: 50347
1265.77/1269.56 c #Conflicts: 906000 | #Constraints: 51347
1265.77/1269.56 c #Conflicts: 907000 | #Constraints: 52348
1265.77/1269.56 c #Conflicts: 908000 | #Constraints: 53351
1265.77/1269.56 c #Conflicts: 909000 | #Constraints: 54360
1265.77/1269.56 c #Conflicts: 910000 | #Constraints: 55364
1265.77/1269.56 c #Conflicts: 911000 | #Constraints: 56367
1265.77/1269.56 c #Conflicts: 912000 | #Constraints: 57369
1265.77/1269.56 c #Conflicts: 913000 | #Constraints: 58370
1265.77/1269.56 c #Conflicts: 914000 | #Constraints: 59371
1265.77/1269.56 c #Conflicts: 915000 | #Constraints: 60373
1265.77/1269.56 c #Conflicts: 916000 | #Constraints: 61374
1265.77/1269.56 c #Conflicts: 917000 | #Constraints: 62375
1265.77/1269.56 c #Conflicts: 918000 | #Constraints: 63375
1265.77/1269.56 c #Conflicts: 919000 | #Constraints: 64376
1265.77/1269.56 c #Conflicts: 920000 | #Constraints: 65376
1265.77/1269.56 c #Conflicts: 921000 | #Constraints: 66376
1265.77/1269.56 c #Conflicts: 922000 | #Constraints: 67377
1265.77/1269.56 c INPROCESSING
1265.77/1269.56 c GARBAGE COLLECT
1265.77/1269.56 c rational objective 6
1290.40/1294.20 c #Conflicts: 923000 | #Constraints: 49354
1290.40/1294.20 c #Conflicts: 924000 | #Constraints: 50355
1290.40/1294.20 c #Conflicts: 925000 | #Constraints: 51355
1290.40/1294.20 c #Conflicts: 926000 | #Constraints: 52355
1290.40/1294.20 c #Conflicts: 927000 | #Constraints: 53355
1290.40/1294.20 c #Conflicts: 928000 | #Constraints: 54356
1290.40/1294.20 c #Conflicts: 929000 | #Constraints: 55359
1290.40/1294.20 c #Conflicts: 930000 | #Constraints: 56359
1290.40/1294.20 c #Conflicts: 931000 | #Constraints: 57360
1290.40/1294.20 c #Conflicts: 932000 | #Constraints: 58362
1290.40/1294.20 c #Conflicts: 933000 | #Constraints: 59363
1290.40/1294.20 c #Conflicts: 934000 | #Constraints: 60363
1290.40/1294.20 c #Conflicts: 935000 | #Constraints: 61363
1290.40/1294.20 c #Conflicts: 936000 | #Constraints: 62364
1290.40/1294.20 c #Conflicts: 937000 | #Constraints: 63364
1290.40/1294.20 c #Conflicts: 938000 | #Constraints: 64364
1290.40/1294.20 c #Conflicts: 939000 | #Constraints: 65365
1290.40/1294.20 c #Conflicts: 940000 | #Constraints: 66365
1290.40/1294.20 c #Conflicts: 941000 | #Constraints: 67366
1290.40/1294.20 c INPROCESSING
1290.40/1294.20 c GARBAGE COLLECT
1290.40/1294.20 c rational objective 6
1317.92/1321.84 c #Conflicts: 942000 | #Constraints: 49048
1317.92/1321.84 c #Conflicts: 943000 | #Constraints: 50049
1317.92/1321.84 c #Conflicts: 944000 | #Constraints: 51049
1317.92/1321.84 c #Conflicts: 945000 | #Constraints: 52049
1317.92/1321.84 c #Conflicts: 946000 | #Constraints: 53052
1317.92/1321.84 c #Conflicts: 947000 | #Constraints: 54053
1317.92/1321.84 c #Conflicts: 948000 | #Constraints: 55057
1317.92/1321.84 c #Conflicts: 949000 | #Constraints: 56060
1317.92/1321.84 c #Conflicts: 950000 | #Constraints: 57061
1317.92/1321.84 c #Conflicts: 951000 | #Constraints: 58062
1317.92/1321.84 c #Conflicts: 952000 | #Constraints: 59063
1317.92/1321.84 c #Conflicts: 953000 | #Constraints: 60063
1317.92/1321.84 c #Conflicts: 954000 | #Constraints: 61064
1317.92/1321.84 c #Conflicts: 955000 | #Constraints: 62065
1317.92/1321.84 c #Conflicts: 956000 | #Constraints: 63066
1317.92/1321.84 c #Conflicts: 957000 | #Constraints: 64067
1317.92/1321.84 c #Conflicts: 958000 | #Constraints: 65068
1317.92/1321.84 c #Conflicts: 959000 | #Constraints: 66069
1317.92/1321.84 c #Conflicts: 960000 | #Constraints: 67070
1317.92/1321.84 c #Conflicts: 961000 | #Constraints: 68070
1317.92/1321.84 c INPROCESSING
1317.92/1321.84 c GARBAGE COLLECT
1317.92/1321.84 c rational objective 6
1364.18/1368.29 c #Conflicts: 962000 | #Constraints: 49615
1364.18/1368.29 c #Conflicts: 963000 | #Constraints: 50615
1364.18/1368.29 c #Conflicts: 964000 | #Constraints: 51615
1364.18/1368.29 c #Conflicts: 965000 | #Constraints: 52616
1364.18/1368.29 c #Conflicts: 966000 | #Constraints: 53617
1364.18/1368.29 c #Conflicts: 967000 | #Constraints: 54617
1364.18/1368.29 c #Conflicts: 968000 | #Constraints: 55618
1364.18/1368.29 c #Conflicts: 969000 | #Constraints: 56619
1364.18/1368.29 c #Conflicts: 970000 | #Constraints: 57619
1364.18/1368.29 c #Conflicts: 971000 | #Constraints: 58620
1364.18/1368.29 c #Conflicts: 972000 | #Constraints: 59620
1364.18/1368.29 c #Conflicts: 973000 | #Constraints: 60621
1364.18/1368.29 c #Conflicts: 974000 | #Constraints: 61622
1364.18/1368.29 c #Conflicts: 975000 | #Constraints: 62622
1364.18/1368.29 c #Conflicts: 976000 | #Constraints: 63622
1364.18/1368.29 c #Conflicts: 977000 | #Constraints: 64623
1364.18/1368.29 c #Conflicts: 978000 | #Constraints: 65623
1364.18/1368.29 c #Conflicts: 979000 | #Constraints: 66623
1364.18/1368.29 c #Conflicts: 980000 | #Constraints: 67623
1364.18/1368.29 c #Conflicts: 981000 | #Constraints: 68623
1364.18/1368.29 c INPROCESSING
1364.18/1368.29 c GARBAGE COLLECT
1364.18/1368.29 c rational objective 6
1411.74/1415.93 c #Conflicts: 982000 | #Constraints: 49942
1411.74/1415.93 c #Conflicts: 983000 | #Constraints: 50942
1411.74/1415.93 c #Conflicts: 984000 | #Constraints: 51943
1411.74/1415.93 c #Conflicts: 985000 | #Constraints: 52943
1411.74/1415.93 c #Conflicts: 986000 | #Constraints: 53943
1411.74/1415.93 c #Conflicts: 987000 | #Constraints: 54944
1411.74/1415.93 c #Conflicts: 988000 | #Constraints: 55946
1411.74/1415.93 c #Conflicts: 989000 | #Constraints: 56948
1411.74/1415.93 c #Conflicts: 990000 | #Constraints: 57949
1411.74/1415.93 c #Conflicts: 991000 | #Constraints: 58950
1411.74/1415.93 c #Conflicts: 992000 | #Constraints: 59953
1411.74/1415.93 c #Conflicts: 993000 | #Constraints: 60955
1411.74/1415.93 c #Conflicts: 994000 | #Constraints: 61957
1411.74/1415.93 c #Conflicts: 995000 | #Constraints: 62958
1411.74/1415.93 c #Conflicts: 996000 | #Constraints: 63959
1411.74/1415.93 c #Conflicts: 997000 | #Constraints: 64961
1411.74/1415.93 c #Conflicts: 998000 | #Constraints: 65962
1411.74/1415.93 c #Conflicts: 999000 | #Constraints: 66963
1411.74/1415.93 c #Conflicts: 1000000 | #Constraints: 67964
1411.74/1415.93 c #Conflicts: 1001000 | #Constraints: 68964
1411.74/1415.93 c INPROCESSING
1411.74/1415.93 c GARBAGE COLLECT
1411.74/1415.93 c rational objective 6
1438.88/1443.14 c #Conflicts: 1002000 | #Constraints: 50127
1438.88/1443.14 c #Conflicts: 1003000 | #Constraints: 51127
1438.88/1443.14 c #Conflicts: 1004000 | #Constraints: 52127
1438.88/1443.14 c #Conflicts: 1005000 | #Constraints: 53127
1438.88/1443.14 c #Conflicts: 1006000 | #Constraints: 54127
1438.88/1443.14 c #Conflicts: 1007000 | #Constraints: 55129
1438.88/1443.14 c #Conflicts: 1008000 | #Constraints: 56129
1438.88/1443.14 c #Conflicts: 1009000 | #Constraints: 57130
1438.88/1443.14 c #Conflicts: 1010000 | #Constraints: 58131
1438.88/1443.14 c #Conflicts: 1011000 | #Constraints: 59131
1438.88/1443.14 c #Conflicts: 1012000 | #Constraints: 60132
1438.88/1443.14 c #Conflicts: 1013000 | #Constraints: 61132
1438.88/1443.14 c #Conflicts: 1014000 | #Constraints: 62133
1438.88/1443.14 c #Conflicts: 1015000 | #Constraints: 63133
1438.88/1443.14 c #Conflicts: 1016000 | #Constraints: 64133
1438.88/1443.14 c #Conflicts: 1017000 | #Constraints: 65133
1438.88/1443.14 c #Conflicts: 1018000 | #Constraints: 66134
1438.88/1443.14 c #Conflicts: 1019000 | #Constraints: 67134
1438.88/1443.14 c #Conflicts: 1020000 | #Constraints: 68134
1438.88/1443.14 c #Conflicts: 1021000 | #Constraints: 69135
1438.88/1443.14 c INPROCESSING
1438.88/1443.14 c GARBAGE COLLECT
1438.88/1443.14 c rational objective 6
1459.72/1464.07 c #Conflicts: 1022000 | #Constraints: 50151
1459.72/1464.07 c #Conflicts: 1023000 | #Constraints: 51151
1459.72/1464.07 c #Conflicts: 1024000 | #Constraints: 52151
1459.72/1464.07 c #Conflicts: 1025000 | #Constraints: 53151
1459.72/1464.07 c #Conflicts: 1026000 | #Constraints: 54151
1459.72/1464.07 c #Conflicts: 1027000 | #Constraints: 55152
1459.72/1464.07 c #Conflicts: 1028000 | #Constraints: 56152
1459.72/1464.07 c #Conflicts: 1029000 | #Constraints: 57152
1459.72/1464.07 c #Conflicts: 1030000 | #Constraints: 58152
1459.72/1464.07 c #Conflicts: 1031000 | #Constraints: 59152
1459.72/1464.07 c #Conflicts: 1032000 | #Constraints: 60153
1459.72/1464.07 c #Conflicts: 1033000 | #Constraints: 61154
1459.72/1464.07 c #Conflicts: 1034000 | #Constraints: 62154
1459.72/1464.07 c #Conflicts: 1035000 | #Constraints: 63154
1459.72/1464.07 c #Conflicts: 1036000 | #Constraints: 64155
1459.72/1464.07 c #Conflicts: 1037000 | #Constraints: 65156
1459.72/1464.07 c #Conflicts: 1038000 | #Constraints: 66156
1459.72/1464.07 c #Conflicts: 1039000 | #Constraints: 67157
1459.72/1464.07 c #Conflicts: 1040000 | #Constraints: 68157
1459.72/1464.07 c #Conflicts: 1041000 | #Constraints: 69158
1459.72/1464.07 c INPROCESSING
1459.72/1464.07 c GARBAGE COLLECT
1459.72/1464.07 c rational objective 6
1480.66/1485.01 c #Conflicts: 1042000 | #Constraints: 49979
1480.66/1485.01 c #Conflicts: 1043000 | #Constraints: 50979
1480.66/1485.01 c #Conflicts: 1044000 | #Constraints: 51979
1480.66/1485.01 c #Conflicts: 1045000 | #Constraints: 52979
1480.66/1485.01 c #Conflicts: 1046000 | #Constraints: 53979
1480.66/1485.01 c #Conflicts: 1047000 | #Constraints: 54980
1480.66/1485.01 c #Conflicts: 1048000 | #Constraints: 55980
1480.66/1485.01 c #Conflicts: 1049000 | #Constraints: 56982
1480.66/1485.01 c #Conflicts: 1050000 | #Constraints: 57984
1480.66/1485.01 c #Conflicts: 1051000 | #Constraints: 58984
1480.66/1485.01 c #Conflicts: 1052000 | #Constraints: 59986
1480.66/1485.01 c #Conflicts: 1053000 | #Constraints: 60987
1480.66/1485.01 c #Conflicts: 1054000 | #Constraints: 61990
1480.66/1485.01 c #Conflicts: 1055000 | #Constraints: 62994
1480.66/1485.01 c #Conflicts: 1056000 | #Constraints: 63996
1480.66/1485.01 c #Conflicts: 1057000 | #Constraints: 64998
1480.66/1485.01 c #Conflicts: 1058000 | #Constraints: 66002
1480.66/1485.01 c #Conflicts: 1059000 | #Constraints: 67006
1480.66/1485.01 c #Conflicts: 1060000 | #Constraints: 68014
1480.66/1485.01 c #Conflicts: 1061000 | #Constraints: 69017
1480.66/1485.01 c #Conflicts: 1062000 | #Constraints: 70019
1480.66/1485.01 c INPROCESSING
1480.66/1485.01 c GARBAGE COLLECT
1480.66/1485.01 c rational objective 6
1504.88/1509.33 c #Conflicts: 1063000 | #Constraints: 50580
1504.88/1509.33 c #Conflicts: 1064000 | #Constraints: 51580
1504.88/1509.33 c #Conflicts: 1065000 | #Constraints: 52580
1504.88/1509.33 c #Conflicts: 1066000 | #Constraints: 53580
1504.88/1509.33 c #Conflicts: 1067000 | #Constraints: 54580
1504.88/1509.33 c #Conflicts: 1068000 | #Constraints: 55581
1504.88/1509.33 c #Conflicts: 1069000 | #Constraints: 56582
1504.88/1509.33 c #Conflicts: 1070000 | #Constraints: 57583
1504.88/1509.33 c #Conflicts: 1071000 | #Constraints: 58583
1504.88/1509.33 c #Conflicts: 1072000 | #Constraints: 59584
1504.88/1509.33 c #Conflicts: 1073000 | #Constraints: 60585
1504.88/1509.33 c #Conflicts: 1074000 | #Constraints: 61586
1504.88/1509.33 c #Conflicts: 1075000 | #Constraints: 62587
1504.88/1509.33 c #Conflicts: 1076000 | #Constraints: 63588
1504.88/1509.33 c #Conflicts: 1077000 | #Constraints: 64588
1504.88/1509.33 c #Conflicts: 1078000 | #Constraints: 65589
1504.88/1509.33 c #Conflicts: 1079000 | #Constraints: 66590
1504.88/1509.33 c #Conflicts: 1080000 | #Constraints: 67591
1504.88/1509.33 c #Conflicts: 1081000 | #Constraints: 68591
1504.88/1509.33 c #Conflicts: 1082000 | #Constraints: 69591
1504.88/1509.33 c #Conflicts: 1083000 | #Constraints: 70592
1504.88/1509.33 c INPROCESSING
1504.88/1509.33 c GARBAGE COLLECT
1504.88/1509.33 c rational objective 6
1543.48/1548.10 c #Conflicts: 1084000 | #Constraints: 50849
1543.48/1548.10 c #Conflicts: 1085000 | #Constraints: 51849
1543.48/1548.10 c #Conflicts: 1086000 | #Constraints: 52850
1543.48/1548.10 c #Conflicts: 1087000 | #Constraints: 53850
1543.48/1548.10 c #Conflicts: 1088000 | #Constraints: 54851
1543.48/1548.10 c #Conflicts: 1089000 | #Constraints: 55853
1543.48/1548.10 c #Conflicts: 1090000 | #Constraints: 56854
1543.48/1548.10 c #Conflicts: 1091000 | #Constraints: 57857
1543.48/1548.10 c #Conflicts: 1092000 | #Constraints: 58857
1543.48/1548.10 c #Conflicts: 1093000 | #Constraints: 59859
1543.48/1548.10 c #Conflicts: 1094000 | #Constraints: 60862
1543.48/1548.10 c #Conflicts: 1095000 | #Constraints: 61863
1543.48/1548.10 c #Conflicts: 1096000 | #Constraints: 62865
1543.48/1548.10 c #Conflicts: 1097000 | #Constraints: 63867
1543.48/1548.10 c #Conflicts: 1098000 | #Constraints: 64868
1543.48/1548.10 c #Conflicts: 1099000 | #Constraints: 65869
1543.48/1548.10 c #Conflicts: 1100000 | #Constraints: 66870
1543.48/1548.10 c #Conflicts: 1101000 | #Constraints: 67871
1543.48/1548.10 c #Conflicts: 1102000 | #Constraints: 68872
1543.48/1548.10 c #Conflicts: 1103000 | #Constraints: 69874
1543.48/1548.10 c #Conflicts: 1104000 | #Constraints: 70875
1543.48/1548.10 c INPROCESSING
1543.48/1548.10 c GARBAGE COLLECT
1543.48/1548.10 c rational objective 6
1620.16/1624.94 c #Conflicts: 1105000 | #Constraints: 51068
1620.16/1624.94 c #Conflicts: 1106000 | #Constraints: 52068
1620.16/1624.94 c #Conflicts: 1107000 | #Constraints: 53068
1620.16/1624.94 c #Conflicts: 1108000 | #Constraints: 54068
1620.16/1624.94 c #Conflicts: 1109000 | #Constraints: 55073
1620.16/1624.94 c #Conflicts: 1110000 | #Constraints: 56075
1620.16/1624.94 c #Conflicts: 1111000 | #Constraints: 57078
1620.16/1624.94 c #Conflicts: 1112000 | #Constraints: 58080
1620.16/1624.94 c #Conflicts: 1113000 | #Constraints: 59081
1620.16/1624.94 c #Conflicts: 1114000 | #Constraints: 60082
1620.16/1624.94 c #Conflicts: 1115000 | #Constraints: 61083
1620.16/1624.94 c #Conflicts: 1116000 | #Constraints: 62084
1620.16/1624.94 c #Conflicts: 1117000 | #Constraints: 63085
1620.16/1624.94 c #Conflicts: 1118000 | #Constraints: 64086
1620.16/1624.94 c #Conflicts: 1119000 | #Constraints: 65087
1620.16/1624.94 c #Conflicts: 1120000 | #Constraints: 66087
1620.16/1624.94 c #Conflicts: 1121000 | #Constraints: 67088
1620.16/1624.94 c #Conflicts: 1122000 | #Constraints: 68088
1620.16/1624.94 c #Conflicts: 1123000 | #Constraints: 69089
1620.16/1624.94 c #Conflicts: 1124000 | #Constraints: 70089
1620.16/1624.94 c #Conflicts: 1125000 | #Constraints: 71089
1620.16/1624.94 c INPROCESSING
1620.16/1624.94 c GARBAGE COLLECT
1620.16/1624.94 c rational objective 6
1651.78/1656.69 c #Conflicts: 1126000 | #Constraints: 51046
1651.78/1656.69 c #Conflicts: 1127000 | #Constraints: 52047
1651.78/1656.69 c #Conflicts: 1128000 | #Constraints: 53047
1651.78/1656.69 c #Conflicts: 1129000 | #Constraints: 54047
1651.78/1656.69 c #Conflicts: 1130000 | #Constraints: 55047
1651.78/1656.69 c #Conflicts: 1131000 | #Constraints: 56047
1651.78/1656.69 c #Conflicts: 1132000 | #Constraints: 57050
1651.78/1656.69 c #Conflicts: 1133000 | #Constraints: 58051
1651.78/1656.69 c #Conflicts: 1134000 | #Constraints: 59053
1651.78/1656.69 c #Conflicts: 1135000 | #Constraints: 60054
1651.78/1656.69 c #Conflicts: 1136000 | #Constraints: 61055
1651.78/1656.69 c #Conflicts: 1137000 | #Constraints: 62056
1651.78/1656.69 c #Conflicts: 1138000 | #Constraints: 63057
1651.78/1656.69 c #Conflicts: 1139000 | #Constraints: 64058
1651.78/1656.69 c #Conflicts: 1140000 | #Constraints: 65059
1651.78/1656.69 c #Conflicts: 1141000 | #Constraints: 66059
1651.78/1656.69 c #Conflicts: 1142000 | #Constraints: 67060
1651.78/1656.69 c #Conflicts: 1143000 | #Constraints: 68061
1651.78/1656.69 c #Conflicts: 1144000 | #Constraints: 69061
1651.78/1656.69 c #Conflicts: 1145000 | #Constraints: 70061
1651.78/1656.69 c #Conflicts: 1146000 | #Constraints: 71061
1651.78/1656.69 c INPROCESSING
1651.78/1656.69 c GARBAGE COLLECT
1651.78/1656.69 c rational objective 6
1687.97/1692.95 c #Conflicts: 1147000 | #Constraints: 50864
1687.97/1692.95 c #Conflicts: 1148000 | #Constraints: 51864
1687.97/1692.95 c #Conflicts: 1149000 | #Constraints: 52864
1687.97/1692.95 c #Conflicts: 1150000 | #Constraints: 53864
1687.97/1692.95 c #Conflicts: 1151000 | #Constraints: 54864
1687.97/1692.95 c #Conflicts: 1152000 | #Constraints: 55865
1687.97/1692.95 c #Conflicts: 1153000 | #Constraints: 56865
1687.97/1692.95 c #Conflicts: 1154000 | #Constraints: 57866
1687.97/1692.95 c #Conflicts: 1155000 | #Constraints: 58869
1687.97/1692.95 c #Conflicts: 1156000 | #Constraints: 59870
1687.97/1692.95 c #Conflicts: 1157000 | #Constraints: 60871
1687.97/1692.95 c #Conflicts: 1158000 | #Constraints: 61873
1687.97/1692.95 c #Conflicts: 1159000 | #Constraints: 62874
1687.97/1692.95 c #Conflicts: 1160000 | #Constraints: 63875
1687.97/1692.95 c #Conflicts: 1161000 | #Constraints: 64876
1687.97/1692.95 c #Conflicts: 1162000 | #Constraints: 65876
1687.97/1692.95 c #Conflicts: 1163000 | #Constraints: 66877
1687.97/1692.95 c #Conflicts: 1164000 | #Constraints: 67878
1687.97/1692.95 c #Conflicts: 1165000 | #Constraints: 68878
1687.97/1692.95 c #Conflicts: 1166000 | #Constraints: 69878
1687.97/1692.95 c #Conflicts: 1167000 | #Constraints: 70879
1687.97/1692.95 c #Conflicts: 1168000 | #Constraints: 71879
1687.97/1692.95 c INPROCESSING
1687.97/1692.95 c GARBAGE COLLECT
1687.97/1692.95 c rational objective 6
1720.99/1726.10 c #Conflicts: 1169000 | #Constraints: 51350
1720.99/1726.10 c #Conflicts: 1170000 | #Constraints: 52351
1720.99/1726.10 c #Conflicts: 1171000 | #Constraints: 53353
1720.99/1726.10 c #Conflicts: 1172000 | #Constraints: 54357
1720.99/1726.10 c #Conflicts: 1173000 | #Constraints: 55362
1720.99/1726.10 c #Conflicts: 1174000 | #Constraints: 56363
1720.99/1726.10 c #Conflicts: 1175000 | #Constraints: 57365
1720.99/1726.10 c #Conflicts: 1176000 | #Constraints: 58366
1720.99/1726.10 c #Conflicts: 1177000 | #Constraints: 59366
1720.99/1726.10 c #Conflicts: 1178000 | #Constraints: 60367
1720.99/1726.10 c #Conflicts: 1179000 | #Constraints: 61368
1720.99/1726.10 c #Conflicts: 1180000 | #Constraints: 62371
1720.99/1726.10 c #Conflicts: 1181000 | #Constraints: 63372
1720.99/1726.10 c #Conflicts: 1182000 | #Constraints: 64373
1720.99/1726.10 c #Conflicts: 1183000 | #Constraints: 65373
1720.99/1726.10 c #Conflicts: 1184000 | #Constraints: 66374
1720.99/1726.10 c #Conflicts: 1185000 | #Constraints: 67374
1720.99/1726.10 c #Conflicts: 1186000 | #Constraints: 68374
1720.99/1726.10 c #Conflicts: 1187000 | #Constraints: 69374
1720.99/1726.10 c #Conflicts: 1188000 | #Constraints: 70375
1720.99/1726.10 c #Conflicts: 1189000 | #Constraints: 71375
1720.99/1726.10 c #Conflicts: 1190000 | #Constraints: 72375
1720.99/1726.10 c INPROCESSING
1720.99/1726.10 c GARBAGE COLLECT
1720.99/1726.10 c rational objective 6
1754.69/1759.83 c #Conflicts: 1191000 | #Constraints: 51719
1754.69/1759.83 c #Conflicts: 1192000 | #Constraints: 52719
1754.69/1759.83 c #Conflicts: 1193000 | #Constraints: 53720
1754.69/1759.83 c #Conflicts: 1194000 | #Constraints: 54720
1754.69/1759.83 c #Conflicts: 1195000 | #Constraints: 55720
1754.69/1759.83 c #Conflicts: 1196000 | #Constraints: 56720
1754.69/1759.83 c #Conflicts: 1197000 | #Constraints: 57720
1754.69/1759.83 c #Conflicts: 1198000 | #Constraints: 58723
1754.69/1759.83 c #Conflicts: 1199000 | #Constraints: 59724
1754.69/1759.83 c #Conflicts: 1200000 | #Constraints: 60725
1754.69/1759.83 c #Conflicts: 1201000 | #Constraints: 61725
1754.69/1759.83 c #Conflicts: 1202000 | #Constraints: 62727
1754.69/1759.83 c #Conflicts: 1203000 | #Constraints: 63728
1754.69/1759.83 c #Conflicts: 1204000 | #Constraints: 64728
1754.69/1759.83 c #Conflicts: 1205000 | #Constraints: 65729
1754.69/1759.83 c #Conflicts: 1206000 | #Constraints: 66730
1754.69/1759.83 c #Conflicts: 1207000 | #Constraints: 67732
1754.69/1759.83 c #Conflicts: 1208000 | #Constraints: 68734
1754.69/1759.83 c #Conflicts: 1209000 | #Constraints: 69735
1754.69/1759.83 c #Conflicts: 1210000 | #Constraints: 70736
1754.69/1759.83 c #Conflicts: 1211000 | #Constraints: 71737
1754.69/1759.83 c #Conflicts: 1212000 | #Constraints: 72738
1754.69/1759.83 c INPROCESSING
1754.69/1759.83 c GARBAGE COLLECT
1754.69/1759.83 c rational objective 6
1790.80/1796.08 c #Conflicts: 1213000 | #Constraints: 51878
1790.80/1796.08 c #Conflicts: 1214000 | #Constraints: 52878
1790.80/1796.08 c #Conflicts: 1215000 | #Constraints: 53878
1790.80/1796.08 c #Conflicts: 1216000 | #Constraints: 54879
1790.80/1796.08 c #Conflicts: 1217000 | #Constraints: 55882
1790.80/1796.08 c #Conflicts: 1218000 | #Constraints: 56883
1790.80/1796.08 c #Conflicts: 1219000 | #Constraints: 57883
1790.80/1796.08 c #Conflicts: 1220000 | #Constraints: 58884
1790.80/1796.08 c #Conflicts: 1221000 | #Constraints: 59885
1790.80/1796.08 c #Conflicts: 1222000 | #Constraints: 60888
1790.80/1796.08 c #Conflicts: 1223000 | #Constraints: 61889
1790.80/1796.08 c #Conflicts: 1224000 | #Constraints: 62890
1790.80/1796.08 c #Conflicts: 1225000 | #Constraints: 63891
1790.80/1796.08 c #Conflicts: 1226000 | #Constraints: 64891
1790.80/1796.08 c #Conflicts: 1227000 | #Constraints: 65893
1790.80/1796.08 c #Conflicts: 1228000 | #Constraints: 66894
1790.80/1796.08 c #Conflicts: 1229000 | #Constraints: 67895
1790.80/1796.08 c #Conflicts: 1230000 | #Constraints: 68896
1790.80/1796.08 c #Conflicts: 1231000 | #Constraints: 69897
1790.80/1796.08 c #Conflicts: 1232000 | #Constraints: 70898
1790.80/1796.08 c #Conflicts: 1233000 | #Constraints: 71898
1790.80/1796.08 c #Conflicts: 1234000 | #Constraints: 72898
1790.80/1796.08 c INPROCESSING
1790.80/1796.08 c GARBAGE COLLECT
1790.80/1796.08 c rational objective 6
1821.72/1827.03 c #Conflicts: 1235000 | #Constraints: 51944
1821.72/1827.03 c #Conflicts: 1236000 | #Constraints: 52944
1821.72/1827.03 c #Conflicts: 1237000 | #Constraints: 53944
1821.72/1827.03 c #Conflicts: 1238000 | #Constraints: 54944
1821.72/1827.03 c #Conflicts: 1239000 | #Constraints: 55945
1821.72/1827.03 c #Conflicts: 1240000 | #Constraints: 56948
1821.72/1827.03 c #Conflicts: 1241000 | #Constraints: 57948
1821.72/1827.03 c #Conflicts: 1242000 | #Constraints: 58949
1821.72/1827.03 c #Conflicts: 1243000 | #Constraints: 59950
1821.72/1827.03 c #Conflicts: 1244000 | #Constraints: 60951
1821.72/1827.03 c #Conflicts: 1245000 | #Constraints: 61951
1821.72/1827.03 c #Conflicts: 1246000 | #Constraints: 62952
1821.72/1827.03 c #Conflicts: 1247000 | #Constraints: 63952
1821.72/1827.03 c #Conflicts: 1248000 | #Constraints: 64952
1821.72/1827.03 c #Conflicts: 1249000 | #Constraints: 65952
1821.72/1827.03 c #Conflicts: 1250000 | #Constraints: 66952
1821.72/1827.03 c #Conflicts: 1251000 | #Constraints: 67952
1821.72/1827.03 c #Conflicts: 1252000 | #Constraints: 68953
1821.72/1827.03 c #Conflicts: 1253000 | #Constraints: 69953
1821.72/1827.03 c #Conflicts: 1254000 | #Constraints: 70954
1821.72/1827.03 c #Conflicts: 1255000 | #Constraints: 71954
1821.72/1827.03 c #Conflicts: 1256000 | #Constraints: 72954
1821.72/1827.03 c INPROCESSING
1821.72/1827.03 c GARBAGE COLLECT
1821.72/1827.03 c rational objective 6
1853.64/1859.04 c #Conflicts: 1257000 | #Constraints: 51723
1853.64/1859.04 c #Conflicts: 1258000 | #Constraints: 52724
1853.64/1859.04 c #Conflicts: 1259000 | #Constraints: 53724
1853.64/1859.04 c #Conflicts: 1260000 | #Constraints: 54724
1853.64/1859.04 c #Conflicts: 1261000 | #Constraints: 55724
1853.64/1859.04 c #Conflicts: 1262000 | #Constraints: 56725
1853.64/1859.04 c #Conflicts: 1263000 | #Constraints: 57726
1853.64/1859.04 c #Conflicts: 1264000 | #Constraints: 58727
1853.64/1859.04 c #Conflicts: 1265000 | #Constraints: 59730
1853.64/1859.04 c #Conflicts: 1266000 | #Constraints: 60736
1853.64/1859.04 c #Conflicts: 1267000 | #Constraints: 61737
1853.64/1859.04 c #Conflicts: 1268000 | #Constraints: 62738
1853.64/1859.04 c #Conflicts: 1269000 | #Constraints: 63739
1853.64/1859.04 c #Conflicts: 1270000 | #Constraints: 64740
1853.64/1859.04 c #Conflicts: 1271000 | #Constraints: 65740
1853.64/1859.04 c #Conflicts: 1272000 | #Constraints: 66740
1853.64/1859.04 c #Conflicts: 1273000 | #Constraints: 67740
1853.64/1859.04 c #Conflicts: 1274000 | #Constraints: 68740
1853.64/1859.04 c #Conflicts: 1275000 | #Constraints: 69740
1853.64/1859.04 c #Conflicts: 1276000 | #Constraints: 70741
1853.64/1859.04 c #Conflicts: 1277000 | #Constraints: 71741
1853.64/1859.04 c #Conflicts: 1278000 | #Constraints: 72741
1853.64/1859.04 c #Conflicts: 1279000 | #Constraints: 73742
1853.64/1859.04 c INPROCESSING
1853.64/1859.04 c GARBAGE COLLECT
1853.64/1859.04 c rational objective 6
1884.65/1890.14 c #Conflicts: 1280000 | #Constraints: 52329
1884.65/1890.14 c #Conflicts: 1281000 | #Constraints: 53330
1884.65/1890.14 c #Conflicts: 1282000 | #Constraints: 54330
1884.65/1890.14 c #Conflicts: 1283000 | #Constraints: 55331
1884.65/1890.14 c #Conflicts: 1284000 | #Constraints: 56332
1884.65/1890.14 c #Conflicts: 1285000 | #Constraints: 57334
1884.65/1890.14 c #Conflicts: 1286000 | #Constraints: 58335
1884.65/1890.14 c #Conflicts: 1287000 | #Constraints: 59336
1884.65/1890.14 c #Conflicts: 1288000 | #Constraints: 60337
1884.65/1890.14 c #Conflicts: 1289000 | #Constraints: 61337
1884.65/1890.14 c #Conflicts: 1290000 | #Constraints: 62338
1884.65/1890.14 c #Conflicts: 1291000 | #Constraints: 63339
1884.65/1890.14 c #Conflicts: 1292000 | #Constraints: 64340
1884.65/1890.14 c #Conflicts: 1293000 | #Constraints: 65341
1884.65/1890.14 c #Conflicts: 1294000 | #Constraints: 66343
1884.65/1890.14 c #Conflicts: 1295000 | #Constraints: 67344
1884.65/1890.14 c #Conflicts: 1296000 | #Constraints: 68345
1884.65/1890.14 c #Conflicts: 1297000 | #Constraints: 69345
1884.65/1890.14 c #Conflicts: 1298000 | #Constraints: 70345
1884.65/1890.14 c #Conflicts: 1299000 | #Constraints: 71347
1884.65/1890.14 c #Conflicts: 1300000 | #Constraints: 72347
1884.65/1890.14 c #Conflicts: 1301000 | #Constraints: 73347
1884.65/1890.14 c #Conflicts: 1302000 | #Constraints: 74348
1884.65/1890.14 c INPROCESSING
1884.65/1890.14 c GARBAGE COLLECT
1884.65/1890.14 c rational objective 6
1921.25/1926.82 c #Conflicts: 1303000 | #Constraints: 52672
1921.25/1926.82 c #Conflicts: 1304000 | #Constraints: 53673
1921.25/1926.82 c #Conflicts: 1305000 | #Constraints: 54673
1921.25/1926.82 c #Conflicts: 1306000 | #Constraints: 55673
1921.25/1926.82 c #Conflicts: 1307000 | #Constraints: 56673
1921.25/1926.82 c #Conflicts: 1308000 | #Constraints: 57674
1921.25/1926.82 c #Conflicts: 1309000 | #Constraints: 58675
1921.25/1926.82 c #Conflicts: 1310000 | #Constraints: 59676
1921.25/1926.82 c #Conflicts: 1311000 | #Constraints: 60678
1921.25/1926.82 c #Conflicts: 1312000 | #Constraints: 61681
1921.25/1926.82 c #Conflicts: 1313000 | #Constraints: 62681
1921.25/1926.82 c #Conflicts: 1314000 | #Constraints: 63682
1921.25/1926.82 c #Conflicts: 1315000 | #Constraints: 64685
1921.25/1926.82 c #Conflicts: 1316000 | #Constraints: 65689
1921.25/1926.82 c #Conflicts: 1317000 | #Constraints: 66690
1921.25/1926.82 c #Conflicts: 1318000 | #Constraints: 67691
1921.25/1926.82 c #Conflicts: 1319000 | #Constraints: 68693
1921.25/1926.82 c #Conflicts: 1320000 | #Constraints: 69693
1921.25/1926.82 c #Conflicts: 1321000 | #Constraints: 70695
1921.25/1926.82 c #Conflicts: 1322000 | #Constraints: 71697
1921.25/1926.82 c #Conflicts: 1323000 | #Constraints: 72698
1921.25/1926.82 c #Conflicts: 1324000 | #Constraints: 73698
1921.25/1926.82 c #Conflicts: 1325000 | #Constraints: 74699
1921.25/1926.82 c INPROCESSING
1921.25/1926.82 c GARBAGE COLLECT
1921.25/1926.82 c rational objective 6
1962.15/1967.81 c #Conflicts: 1326000 | #Constraints: 52765
1962.15/1967.81 c #Conflicts: 1327000 | #Constraints: 53765
1962.15/1967.81 c #Conflicts: 1328000 | #Constraints: 54765
1962.15/1967.81 c #Conflicts: 1329000 | #Constraints: 55766
1962.15/1967.81 c #Conflicts: 1330000 | #Constraints: 56768
1962.15/1967.81 c #Conflicts: 1331000 | #Constraints: 57771
1962.15/1967.81 c #Conflicts: 1332000 | #Constraints: 58772
1962.15/1967.81 c #Conflicts: 1333000 | #Constraints: 59773
1962.15/1967.81 c #Conflicts: 1334000 | #Constraints: 60774
1962.15/1967.81 c #Conflicts: 1335000 | #Constraints: 61779
1962.15/1967.81 c #Conflicts: 1336000 | #Constraints: 62782
1962.15/1967.81 c #Conflicts: 1337000 | #Constraints: 63783
1962.15/1967.81 c #Conflicts: 1338000 | #Constraints: 64784
1962.15/1967.81 c #Conflicts: 1339000 | #Constraints: 65784
1962.15/1967.81 c #Conflicts: 1340000 | #Constraints: 66785
1962.15/1967.81 c #Conflicts: 1341000 | #Constraints: 67787
1962.15/1967.81 c #Conflicts: 1342000 | #Constraints: 68787
1962.15/1967.81 c #Conflicts: 1343000 | #Constraints: 69788
1962.15/1967.81 c #Conflicts: 1344000 | #Constraints: 70789
1962.15/1967.81 c #Conflicts: 1345000 | #Constraints: 71790
1962.15/1967.81 c #Conflicts: 1346000 | #Constraints: 72790
1962.15/1967.81 c #Conflicts: 1347000 | #Constraints: 73790
1962.15/1967.81 c #Conflicts: 1348000 | #Constraints: 74790
1962.15/1967.81 c INPROCESSING
1962.15/1967.81 c GARBAGE COLLECT
1962.15/1967.81 c rational objective 6
1999.45/2005.27 c #Conflicts: 1349000 | #Constraints: 52719
1999.45/2005.27 c #Conflicts: 1350000 | #Constraints: 53720
1999.45/2005.27 c #Conflicts: 1351000 | #Constraints: 54720
1999.45/2005.27 c #Conflicts: 1352000 | #Constraints: 55720
1999.45/2005.27 c #Conflicts: 1353000 | #Constraints: 56720
1999.45/2005.27 c #Conflicts: 1354000 | #Constraints: 57720
1999.45/2005.27 c #Conflicts: 1355000 | #Constraints: 58720
1999.45/2005.27 c #Conflicts: 1356000 | #Constraints: 59722
1999.45/2005.27 c #Conflicts: 1357000 | #Constraints: 60722
1999.45/2005.27 c #Conflicts: 1358000 | #Constraints: 61723
1999.45/2005.27 c #Conflicts: 1359000 | #Constraints: 62723
1999.45/2005.27 c #Conflicts: 1360000 | #Constraints: 63724
1999.45/2005.27 c #Conflicts: 1361000 | #Constraints: 64725
1999.45/2005.27 c #Conflicts: 1362000 | #Constraints: 65725
1999.45/2005.27 c #Conflicts: 1363000 | #Constraints: 66726
1999.45/2005.27 c #Conflicts: 1364000 | #Constraints: 67726
1999.45/2005.27 c #Conflicts: 1365000 | #Constraints: 68726
1999.45/2005.27 c #Conflicts: 1366000 | #Constraints: 69727
1999.45/2005.27 c #Conflicts: 1367000 | #Constraints: 70727
1999.45/2005.27 c #Conflicts: 1368000 | #Constraints: 71727
1999.45/2005.27 c #Conflicts: 1369000 | #Constraints: 72727
1999.45/2005.27 c #Conflicts: 1370000 | #Constraints: 73727
1999.45/2005.27 c #Conflicts: 1371000 | #Constraints: 74727
1999.45/2005.27 c INPROCESSING
1999.45/2005.27 c GARBAGE COLLECT
1999.45/2005.27 c rational objective 6
2031.56/2037.47 c #Conflicts: 1372000 | #Constraints: 52501
2031.56/2037.47 c #Conflicts: 1373000 | #Constraints: 53501
2031.56/2037.47 c #Conflicts: 1374000 | #Constraints: 54502
2031.56/2037.47 c #Conflicts: 1375000 | #Constraints: 55502
2031.56/2037.47 c #Conflicts: 1376000 | #Constraints: 56502
2031.56/2037.47 c #Conflicts: 1377000 | #Constraints: 57502
2031.56/2037.47 c #Conflicts: 1378000 | #Constraints: 58502
2031.56/2037.47 c #Conflicts: 1379000 | #Constraints: 59502
2031.56/2037.47 c #Conflicts: 1380000 | #Constraints: 60503
2031.56/2037.47 c #Conflicts: 1381000 | #Constraints: 61503
2031.56/2037.47 c #Conflicts: 1382000 | #Constraints: 62505
2031.56/2037.47 c #Conflicts: 1383000 | #Constraints: 63506
2031.56/2037.47 c #Conflicts: 1384000 | #Constraints: 64507
2031.56/2037.47 c #Conflicts: 1385000 | #Constraints: 65507
2031.56/2037.47 c #Conflicts: 1386000 | #Constraints: 66508
2031.56/2037.47 c #Conflicts: 1387000 | #Constraints: 67509
2031.56/2037.47 c #Conflicts: 1388000 | #Constraints: 68509
2031.56/2037.47 c #Conflicts: 1389000 | #Constraints: 69509
2031.56/2037.47 c #Conflicts: 1390000 | #Constraints: 70509
2031.56/2037.47 c #Conflicts: 1391000 | #Constraints: 71510
2031.56/2037.47 c #Conflicts: 1392000 | #Constraints: 72510
2031.56/2037.47 c #Conflicts: 1393000 | #Constraints: 73511
2031.56/2037.47 c #Conflicts: 1394000 | #Constraints: 74511
2031.56/2037.47 c #Conflicts: 1395000 | #Constraints: 75512
2031.56/2037.47 c INPROCESSING
2031.56/2037.47 c GARBAGE COLLECT
2031.56/2037.47 c rational objective 6
2072.55/2078.57 c #Conflicts: 1396000 | #Constraints: 53089
2072.55/2078.57 c #Conflicts: 1397000 | #Constraints: 54089
2072.55/2078.57 c #Conflicts: 1398000 | #Constraints: 55090
2072.55/2078.57 c #Conflicts: 1399000 | #Constraints: 56090
2072.55/2078.57 c #Conflicts: 1400000 | #Constraints: 57090
2072.55/2078.57 c #Conflicts: 1401000 | #Constraints: 58090
2072.55/2078.57 c #Conflicts: 1402000 | #Constraints: 59090
2072.55/2078.57 c #Conflicts: 1403000 | #Constraints: 60091
2072.55/2078.57 c #Conflicts: 1404000 | #Constraints: 61092
2072.55/2078.57 c #Conflicts: 1405000 | #Constraints: 62093
2072.55/2078.57 c #Conflicts: 1406000 | #Constraints: 63094
2072.55/2078.57 c #Conflicts: 1407000 | #Constraints: 64095
2072.55/2078.57 c #Conflicts: 1408000 | #Constraints: 65096
2072.55/2078.57 c #Conflicts: 1409000 | #Constraints: 66097
2072.55/2078.57 c #Conflicts: 1410000 | #Constraints: 67098
2072.55/2078.57 c #Conflicts: 1411000 | #Constraints: 68099
2072.55/2078.57 c #Conflicts: 1412000 | #Constraints: 69100
2072.55/2078.57 c #Conflicts: 1413000 | #Constraints: 70100
2072.55/2078.57 c #Conflicts: 1414000 | #Constraints: 71100
2072.55/2078.57 c #Conflicts: 1415000 | #Constraints: 72101
2072.55/2078.57 c #Conflicts: 1416000 | #Constraints: 73101
2072.55/2078.57 c #Conflicts: 1417000 | #Constraints: 74102
2072.55/2078.57 c #Conflicts: 1418000 | #Constraints: 75103
2072.55/2078.57 c #Conflicts: 1419000 | #Constraints: 76103
2072.55/2078.57 c INPROCESSING
2072.55/2078.57 c GARBAGE COLLECT
2072.55/2078.57 c rational objective 6
2105.96/2112.09 c #Conflicts: 1420000 | #Constraints: 53417
2105.96/2112.09 c #Conflicts: 1421000 | #Constraints: 54418
2105.96/2112.09 c #Conflicts: 1422000 | #Constraints: 55418
2105.96/2112.09 c #Conflicts: 1423000 | #Constraints: 56418
2105.96/2112.09 c #Conflicts: 1424000 | #Constraints: 57418
2105.96/2112.09 c #Conflicts: 1425000 | #Constraints: 58419
2105.96/2112.09 c #Conflicts: 1426000 | #Constraints: 59420
2105.96/2112.09 c #Conflicts: 1427000 | #Constraints: 60421
2105.96/2112.09 c #Conflicts: 1428000 | #Constraints: 61423
2105.96/2112.09 c #Conflicts: 1429000 | #Constraints: 62424
2105.96/2112.09 c #Conflicts: 1430000 | #Constraints: 63424
2105.96/2112.09 c #Conflicts: 1431000 | #Constraints: 64425
2105.96/2112.09 c #Conflicts: 1432000 | #Constraints: 65426
2105.96/2112.09 c #Conflicts: 1433000 | #Constraints: 66427
2105.96/2112.09 c #Conflicts: 1434000 | #Constraints: 67427
2105.96/2112.09 c #Conflicts: 1435000 | #Constraints: 68428
2105.96/2112.09 c #Conflicts: 1436000 | #Constraints: 69428
2105.96/2112.09 c #Conflicts: 1437000 | #Constraints: 70429
2105.96/2112.09 c #Conflicts: 1438000 | #Constraints: 71429
2105.96/2112.09 c #Conflicts: 1439000 | #Constraints: 72429
2105.96/2112.09 c #Conflicts: 1440000 | #Constraints: 73429
2105.96/2112.09 c #Conflicts: 1441000 | #Constraints: 74429
2105.96/2112.09 c #Conflicts: 1442000 | #Constraints: 75429
2105.96/2112.09 c #Conflicts: 1443000 | #Constraints: 76430
2105.96/2112.09 c INPROCESSING
2105.96/2112.09 c GARBAGE COLLECT
2105.96/2112.09 c rational objective 6
2145.55/2151.75 c #Conflicts: 1444000 | #Constraints: 53611
2145.55/2151.75 c #Conflicts: 1445000 | #Constraints: 54611
2145.55/2151.75 c #Conflicts: 1446000 | #Constraints: 55612
2145.55/2151.75 c #Conflicts: 1447000 | #Constraints: 56612
2145.55/2151.75 c #Conflicts: 1448000 | #Constraints: 57612
2145.55/2151.75 c #Conflicts: 1449000 | #Constraints: 58612
2145.55/2151.75 c #Conflicts: 1450000 | #Constraints: 59612
2145.55/2151.75 c #Conflicts: 1451000 | #Constraints: 60613
2145.55/2151.75 c #Conflicts: 1452000 | #Constraints: 61614
2145.55/2151.75 c #Conflicts: 1453000 | #Constraints: 62614
2145.55/2151.75 c #Conflicts: 1454000 | #Constraints: 63615
2145.55/2151.75 c #Conflicts: 1455000 | #Constraints: 64616
2145.55/2151.75 c #Conflicts: 1456000 | #Constraints: 65617
2145.55/2151.75 c #Conflicts: 1457000 | #Constraints: 66617
2145.55/2151.75 c #Conflicts: 1458000 | #Constraints: 67618
2145.55/2151.75 c #Conflicts: 1459000 | #Constraints: 68618
2145.55/2151.75 c #Conflicts: 1460000 | #Constraints: 69618
2145.55/2151.75 c #Conflicts: 1461000 | #Constraints: 70619
2145.55/2151.75 c #Conflicts: 1462000 | #Constraints: 71619
2145.55/2151.75 c #Conflicts: 1463000 | #Constraints: 72619
2145.55/2151.75 c #Conflicts: 1464000 | #Constraints: 73620
2145.55/2151.75 c #Conflicts: 1465000 | #Constraints: 74620
2145.55/2151.75 c #Conflicts: 1466000 | #Constraints: 75620
2145.55/2151.75 c #Conflicts: 1467000 | #Constraints: 76620
2145.55/2151.75 c INPROCESSING
2145.55/2151.75 c GARBAGE COLLECT
2145.55/2151.75 c rational objective 6
2182.85/2189.17 c #Conflicts: 1468000 | #Constraints: 53606
2182.85/2189.17 c #Conflicts: 1469000 | #Constraints: 54606
2182.85/2189.17 c #Conflicts: 1470000 | #Constraints: 55606
2182.85/2189.17 c #Conflicts: 1471000 | #Constraints: 56608
2182.85/2189.17 c #Conflicts: 1472000 | #Constraints: 57609
2182.85/2189.17 c #Conflicts: 1473000 | #Constraints: 58609
2182.85/2189.17 c #Conflicts: 1474000 | #Constraints: 59611
2182.85/2189.17 c #Conflicts: 1475000 | #Constraints: 60611
2182.85/2189.17 c #Conflicts: 1476000 | #Constraints: 61611
2182.85/2189.17 c #Conflicts: 1477000 | #Constraints: 62611
2182.85/2189.17 c #Conflicts: 1478000 | #Constraints: 63612
2182.85/2189.17 c #Conflicts: 1479000 | #Constraints: 64613
2182.85/2189.17 c #Conflicts: 1480000 | #Constraints: 65614
2182.85/2189.17 c #Conflicts: 1481000 | #Constraints: 66614
2182.85/2189.17 c #Conflicts: 1482000 | #Constraints: 67615
2182.85/2189.17 c #Conflicts: 1483000 | #Constraints: 68615
2182.85/2189.17 c #Conflicts: 1484000 | #Constraints: 69616
2182.85/2189.17 c #Conflicts: 1485000 | #Constraints: 70616
2182.85/2189.17 c #Conflicts: 1486000 | #Constraints: 71616
2182.85/2189.17 c #Conflicts: 1487000 | #Constraints: 72617
2182.85/2189.17 c #Conflicts: 1488000 | #Constraints: 73617
2182.85/2189.17 c #Conflicts: 1489000 | #Constraints: 74617
2182.85/2189.17 c #Conflicts: 1490000 | #Constraints: 75617
2182.85/2189.17 c #Conflicts: 1491000 | #Constraints: 76618
2182.85/2189.17 c INPROCESSING
2182.85/2189.17 c GARBAGE COLLECT
2182.85/2189.17 c rational objective 6
2245.38/2251.87 c #Conflicts: 1492000 | #Constraints: 53384
2245.38/2251.87 c #Conflicts: 1493000 | #Constraints: 54385
2245.38/2251.87 c #Conflicts: 1494000 | #Constraints: 55385
2245.38/2251.87 c #Conflicts: 1495000 | #Constraints: 56385
2245.38/2251.87 c #Conflicts: 1496000 | #Constraints: 57385
2245.38/2251.87 c #Conflicts: 1497000 | #Constraints: 58385
2245.38/2251.87 c #Conflicts: 1498000 | #Constraints: 59386
2245.38/2251.87 c #Conflicts: 1499000 | #Constraints: 60389
2245.38/2251.87 c #Conflicts: 1500000 | #Constraints: 61390
2245.38/2251.87 c #Conflicts: 1501000 | #Constraints: 62392
2245.38/2251.87 c #Conflicts: 1502000 | #Constraints: 63393
2245.38/2251.87 c #Conflicts: 1503000 | #Constraints: 64394
2245.38/2251.87 c #Conflicts: 1504000 | #Constraints: 65395
2245.38/2251.87 c #Conflicts: 1505000 | #Constraints: 66397
2245.38/2251.87 c #Conflicts: 1506000 | #Constraints: 67398
2245.38/2251.87 c #Conflicts: 1507000 | #Constraints: 68399
2245.38/2251.87 c #Conflicts: 1508000 | #Constraints: 69399
2245.38/2251.87 c #Conflicts: 1509000 | #Constraints: 70400
2245.38/2251.87 c #Conflicts: 1510000 | #Constraints: 71401
2245.38/2251.87 c #Conflicts: 1511000 | #Constraints: 72401
2245.38/2251.87 c #Conflicts: 1512000 | #Constraints: 73402
2245.38/2251.87 c #Conflicts: 1513000 | #Constraints: 74402
2245.38/2251.87 c #Conflicts: 1514000 | #Constraints: 75403
2245.38/2251.87 c #Conflicts: 1515000 | #Constraints: 76403
2245.38/2251.87 c #Conflicts: 1516000 | #Constraints: 77403
2245.38/2251.87 c INPROCESSING
2245.38/2251.87 c GARBAGE COLLECT
2245.38/2251.87 c rational objective 6
2294.25/2300.80 c #Conflicts: 1517000 | #Constraints: 53987
2294.25/2300.80 c #Conflicts: 1518000 | #Constraints: 54987
2294.25/2300.80 c #Conflicts: 1519000 | #Constraints: 55987
2294.25/2300.80 c #Conflicts: 1520000 | #Constraints: 56987
2294.25/2300.80 c #Conflicts: 1521000 | #Constraints: 57987
2294.25/2300.80 c #Conflicts: 1522000 | #Constraints: 58987
2294.25/2300.80 c #Conflicts: 1523000 | #Constraints: 59988
2294.25/2300.80 c #Conflicts: 1524000 | #Constraints: 60988
2294.25/2300.80 c #Conflicts: 1525000 | #Constraints: 61989
2294.25/2300.80 c #Conflicts: 1526000 | #Constraints: 62992
2294.25/2300.80 c #Conflicts: 1527000 | #Constraints: 63995
2294.25/2300.80 c #Conflicts: 1528000 | #Constraints: 65002
2294.25/2300.80 c #Conflicts: 1529000 | #Constraints: 66003
2294.25/2300.80 c #Conflicts: 1530000 | #Constraints: 67003
2294.25/2300.80 c #Conflicts: 1531000 | #Constraints: 68004
2294.25/2300.80 c #Conflicts: 1532000 | #Constraints: 69005
2294.25/2300.80 c #Conflicts: 1533000 | #Constraints: 70005
2294.25/2300.80 c #Conflicts: 1534000 | #Constraints: 71006
2294.25/2300.80 c #Conflicts: 1535000 | #Constraints: 72006
2294.25/2300.80 c #Conflicts: 1536000 | #Constraints: 73007
2294.25/2300.80 c #Conflicts: 1537000 | #Constraints: 74007
2294.25/2300.80 c #Conflicts: 1538000 | #Constraints: 75008
2294.25/2300.80 c #Conflicts: 1539000 | #Constraints: 76009
2294.25/2300.80 c #Conflicts: 1540000 | #Constraints: 77009
2294.25/2300.80 c #Conflicts: 1541000 | #Constraints: 78010
2294.25/2300.80 c INPROCESSING
2294.25/2300.80 c GARBAGE COLLECT
2294.25/2300.80 c rational objective 6
2339.22/2345.97 c #Conflicts: 1542000 | #Constraints: 54297
2339.22/2345.97 c #Conflicts: 1543000 | #Constraints: 55297
2339.22/2345.97 c #Conflicts: 1544000 | #Constraints: 56297
2339.22/2345.97 c #Conflicts: 1545000 | #Constraints: 57297
2339.22/2345.97 c #Conflicts: 1546000 | #Constraints: 58298
2339.22/2345.97 c #Conflicts: 1547000 | #Constraints: 59298
2339.22/2345.97 c #Conflicts: 1548000 | #Constraints: 60298
2339.22/2345.97 c #Conflicts: 1549000 | #Constraints: 61300
2339.22/2345.97 c #Conflicts: 1550000 | #Constraints: 62300
2339.22/2345.97 c #Conflicts: 1551000 | #Constraints: 63301
2339.22/2345.97 c #Conflicts: 1552000 | #Constraints: 64302
2339.22/2345.97 c #Conflicts: 1553000 | #Constraints: 65304
2339.22/2345.97 c #Conflicts: 1554000 | #Constraints: 66305
2339.22/2345.97 c #Conflicts: 1555000 | #Constraints: 67306
2339.22/2345.97 c #Conflicts: 1556000 | #Constraints: 68308
2339.22/2345.97 c #Conflicts: 1557000 | #Constraints: 69308
2339.22/2345.97 c #Conflicts: 1558000 | #Constraints: 70309
2339.22/2345.97 c #Conflicts: 1559000 | #Constraints: 71309
2339.22/2345.97 c #Conflicts: 1560000 | #Constraints: 72310
2339.22/2345.97 c #Conflicts: 1561000 | #Constraints: 73310
2339.22/2345.97 c #Conflicts: 1562000 | #Constraints: 74311
2339.22/2345.97 c #Conflicts: 1563000 | #Constraints: 75311
2339.22/2345.97 c #Conflicts: 1564000 | #Constraints: 76311
2339.22/2345.97 c #Conflicts: 1565000 | #Constraints: 77312
2339.22/2345.97 c #Conflicts: 1566000 | #Constraints: 78313
2339.22/2345.97 c INPROCESSING
2339.22/2345.97 c GARBAGE COLLECT
2339.22/2345.97 c rational objective 6
2390.19/2397.04 c #Conflicts: 1567000 | #Constraints: 54457
2390.19/2397.04 c #Conflicts: 1568000 | #Constraints: 55457
2390.19/2397.04 c #Conflicts: 1569000 | #Constraints: 56457
2390.19/2397.04 c #Conflicts: 1570000 | #Constraints: 57457
2390.19/2397.04 c #Conflicts: 1571000 | #Constraints: 58457
2390.19/2397.04 c #Conflicts: 1572000 | #Constraints: 59458
2390.19/2397.04 c #Conflicts: 1573000 | #Constraints: 60458
2390.19/2397.04 c #Conflicts: 1574000 | #Constraints: 61464
2390.19/2397.04 c #Conflicts: 1575000 | #Constraints: 62468
2390.19/2397.04 c #Conflicts: 1576000 | #Constraints: 63470
2390.19/2397.04 c #Conflicts: 1577000 | #Constraints: 64471
2390.19/2397.04 c #Conflicts: 1578000 | #Constraints: 65472
2390.19/2397.04 c #Conflicts: 1579000 | #Constraints: 66474
2390.19/2397.04 c #Conflicts: 1580000 | #Constraints: 67475
2390.19/2397.04 c #Conflicts: 1581000 | #Constraints: 68477
2390.19/2397.04 c #Conflicts: 1582000 | #Constraints: 69478
2390.19/2397.04 c #Conflicts: 1583000 | #Constraints: 70480
2390.19/2397.04 c #Conflicts: 1584000 | #Constraints: 71482
2390.19/2397.04 c #Conflicts: 1585000 | #Constraints: 72483
2390.19/2397.04 c #Conflicts: 1586000 | #Constraints: 73483
2390.19/2397.04 c #Conflicts: 1587000 | #Constraints: 74483
2390.19/2397.04 c #Conflicts: 1588000 | #Constraints: 75484
2390.19/2397.04 c #Conflicts: 1589000 | #Constraints: 76484
2390.19/2397.04 c #Conflicts: 1590000 | #Constraints: 77485
2390.19/2397.04 c #Conflicts: 1591000 | #Constraints: 78485
2390.19/2397.04 c INPROCESSING
2390.19/2397.04 c GARBAGE COLLECT
2390.19/2397.04 c rational objective 6
2440.95/2447.97 c #Conflicts: 1592000 | #Constraints: 54446
2440.95/2447.97 c #Conflicts: 1593000 | #Constraints: 55446
2440.95/2447.97 c #Conflicts: 1594000 | #Constraints: 56446
2440.95/2447.97 c #Conflicts: 1595000 | #Constraints: 57446
2440.95/2447.97 c #Conflicts: 1596000 | #Constraints: 58446
2440.95/2447.97 c #Conflicts: 1597000 | #Constraints: 59446
2440.95/2447.97 c #Conflicts: 1598000 | #Constraints: 60447
2440.95/2447.97 c #Conflicts: 1599000 | #Constraints: 61448
2440.95/2447.97 c #Conflicts: 1600000 | #Constraints: 62448
2440.95/2447.97 c #Conflicts: 1601000 | #Constraints: 63449
2440.95/2447.97 c #Conflicts: 1602000 | #Constraints: 64449
2440.95/2447.97 c #Conflicts: 1603000 | #Constraints: 65450
2440.95/2447.97 c #Conflicts: 1604000 | #Constraints: 66450
2440.95/2447.97 c #Conflicts: 1605000 | #Constraints: 67451
2440.95/2447.97 c #Conflicts: 1606000 | #Constraints: 68451
2440.95/2447.97 c #Conflicts: 1607000 | #Constraints: 69451
2440.95/2447.97 c #Conflicts: 1608000 | #Constraints: 70451
2440.95/2447.97 c #Conflicts: 1609000 | #Constraints: 71452
2440.95/2447.97 c #Conflicts: 1610000 | #Constraints: 72453
2440.95/2447.97 c #Conflicts: 1611000 | #Constraints: 73453
2440.95/2447.97 c #Conflicts: 1612000 | #Constraints: 74454
2440.95/2447.97 c #Conflicts: 1613000 | #Constraints: 75454
2440.95/2447.97 c #Conflicts: 1614000 | #Constraints: 76454
2440.95/2447.97 c #Conflicts: 1615000 | #Constraints: 77454
2440.95/2447.97 c #Conflicts: 1616000 | #Constraints: 78454
2440.95/2447.97 c INPROCESSING
2440.95/2447.97 c GARBAGE COLLECT
2440.95/2447.97 c rational objective 6
2473.56/2480.69 c #Conflicts: 1617000 | #Constraints: 54274
2473.56/2480.69 c #Conflicts: 1618000 | #Constraints: 55274
2473.56/2480.69 c #Conflicts: 1619000 | #Constraints: 56274
2473.56/2480.69 c #Conflicts: 1620000 | #Constraints: 57275
2473.56/2480.69 c #Conflicts: 1621000 | #Constraints: 58275
2473.56/2480.69 c #Conflicts: 1622000 | #Constraints: 59275
2473.56/2480.69 c #Conflicts: 1623000 | #Constraints: 60275
2473.56/2480.69 c #Conflicts: 1624000 | #Constraints: 61275
2473.56/2480.69 c #Conflicts: 1625000 | #Constraints: 62277
2473.56/2480.69 c #Conflicts: 1626000 | #Constraints: 63279
2473.56/2480.69 c #Conflicts: 1627000 | #Constraints: 64280
2473.56/2480.69 c #Conflicts: 1628000 | #Constraints: 65280
2473.56/2480.69 c #Conflicts: 1629000 | #Constraints: 66280
2473.56/2480.69 c #Conflicts: 1630000 | #Constraints: 67281
2473.56/2480.69 c #Conflicts: 1631000 | #Constraints: 68282
2473.56/2480.69 c #Conflicts: 1632000 | #Constraints: 69282
2473.56/2480.69 c #Conflicts: 1633000 | #Constraints: 70282
2473.56/2480.69 c #Conflicts: 1634000 | #Constraints: 71283
2473.56/2480.69 c #Conflicts: 1635000 | #Constraints: 72283
2473.56/2480.69 c #Conflicts: 1636000 | #Constraints: 73284
2473.56/2480.69 c #Conflicts: 1637000 | #Constraints: 74285
2473.56/2480.69 c #Conflicts: 1638000 | #Constraints: 75286
2473.56/2480.69 c #Conflicts: 1639000 | #Constraints: 76287
2473.56/2480.69 c #Conflicts: 1640000 | #Constraints: 77288
2473.56/2480.69 c #Conflicts: 1641000 | #Constraints: 78288
2473.56/2480.69 c #Conflicts: 1642000 | #Constraints: 79289
2473.56/2480.69 c INPROCESSING
2473.56/2480.69 c GARBAGE COLLECT
2473.56/2480.69 c rational objective 6
2524.22/2531.49 c #Conflicts: 1643000 | #Constraints: 54856
2524.22/2531.49 c #Conflicts: 1644000 | #Constraints: 55856
2524.22/2531.49 c #Conflicts: 1645000 | #Constraints: 56856
2524.22/2531.49 c #Conflicts: 1646000 | #Constraints: 57857
2524.22/2531.49 c #Conflicts: 1647000 | #Constraints: 58858
2524.22/2531.49 c #Conflicts: 1648000 | #Constraints: 59858
2524.22/2531.49 c #Conflicts: 1649000 | #Constraints: 60858
2524.22/2531.49 c #Conflicts: 1650000 | #Constraints: 61859
2524.22/2531.49 c #Conflicts: 1651000 | #Constraints: 62860
2524.22/2531.49 c #Conflicts: 1652000 | #Constraints: 63860
2524.22/2531.49 c #Conflicts: 1653000 | #Constraints: 64861
2524.22/2531.49 c #Conflicts: 1654000 | #Constraints: 65862
2524.22/2531.49 c #Conflicts: 1655000 | #Constraints: 66862
2524.22/2531.49 c #Conflicts: 1656000 | #Constraints: 67863
2524.22/2531.49 c #Conflicts: 1657000 | #Constraints: 68864
2524.22/2531.49 c #Conflicts: 1658000 | #Constraints: 69866
2524.22/2531.49 c #Conflicts: 1659000 | #Constraints: 70868
2524.22/2531.49 c #Conflicts: 1660000 | #Constraints: 71869
2524.22/2531.49 c #Conflicts: 1661000 | #Constraints: 72869
2524.22/2531.49 c #Conflicts: 1662000 | #Constraints: 73870
2524.22/2531.49 c #Conflicts: 1663000 | #Constraints: 74871
2524.22/2531.49 c #Conflicts: 1664000 | #Constraints: 75872
2524.22/2531.49 c #Conflicts: 1665000 | #Constraints: 76872
2524.22/2531.49 c #Conflicts: 1666000 | #Constraints: 77872
2524.22/2531.49 c #Conflicts: 1667000 | #Constraints: 78873
2524.22/2531.49 c #Conflicts: 1668000 | #Constraints: 79873
2524.22/2531.49 c INPROCESSING
2524.22/2531.49 c GARBAGE COLLECT
2524.22/2531.49 c rational objective 6
2585.35/2592.72 c #Conflicts: 1669000 | #Constraints: 55250
2585.35/2592.72 c #Conflicts: 1670000 | #Constraints: 56251
2585.35/2592.72 c #Conflicts: 1671000 | #Constraints: 57251
2585.35/2592.72 c #Conflicts: 1672000 | #Constraints: 58251
2585.35/2592.72 c #Conflicts: 1673000 | #Constraints: 59251
2585.35/2592.72 c #Conflicts: 1674000 | #Constraints: 60251
2585.35/2592.72 c #Conflicts: 1675000 | #Constraints: 61253
2585.35/2592.72 c #Conflicts: 1676000 | #Constraints: 62255
2585.35/2592.72 c #Conflicts: 1677000 | #Constraints: 63256
2585.35/2592.72 c #Conflicts: 1678000 | #Constraints: 64258
2585.35/2592.72 c #Conflicts: 1679000 | #Constraints: 65260
2585.35/2592.72 c #Conflicts: 1680000 | #Constraints: 66262
2585.35/2592.72 c #Conflicts: 1681000 | #Constraints: 67264
2585.35/2592.72 c #Conflicts: 1682000 | #Constraints: 68266
2585.35/2592.72 c #Conflicts: 1683000 | #Constraints: 69268
2585.35/2592.72 c #Conflicts: 1684000 | #Constraints: 70271
2585.35/2592.72 c #Conflicts: 1685000 | #Constraints: 71276
2585.35/2592.72 c #Conflicts: 1686000 | #Constraints: 72277
2585.35/2592.72 c #Conflicts: 1687000 | #Constraints: 73279
2585.35/2592.72 c #Conflicts: 1688000 | #Constraints: 74279
2585.35/2592.72 c #Conflicts: 1689000 | #Constraints: 75280
2585.35/2592.72 c #Conflicts: 1690000 | #Constraints: 76281
2585.35/2592.72 c #Conflicts: 1691000 | #Constraints: 77281
2585.35/2592.72 c #Conflicts: 1692000 | #Constraints: 78282
2585.35/2592.72 c #Conflicts: 1693000 | #Constraints: 79282
2585.35/2592.72 c #Conflicts: 1694000 | #Constraints: 80282
2585.35/2592.72 c INPROCESSING
2585.35/2592.72 c GARBAGE COLLECT
2585.35/2592.72 c rational objective 6
2632.93/2640.43 c #Conflicts: 1695000 | #Constraints: 55463
2632.93/2640.43 c #Conflicts: 1696000 | #Constraints: 56463
2632.93/2640.43 c #Conflicts: 1697000 | #Constraints: 57463
2632.93/2640.43 c #Conflicts: 1698000 | #Constraints: 58463
2632.93/2640.43 c #Conflicts: 1699000 | #Constraints: 59464
2632.93/2640.43 c #Conflicts: 1700000 | #Constraints: 60465
2632.93/2640.43 c #Conflicts: 1701000 | #Constraints: 61466
2632.93/2640.43 c #Conflicts: 1702000 | #Constraints: 62467
2632.93/2640.43 c #Conflicts: 1703000 | #Constraints: 63468
2632.93/2640.43 c #Conflicts: 1704000 | #Constraints: 64469
2632.93/2640.43 c #Conflicts: 1705000 | #Constraints: 65470
2632.93/2640.43 c #Conflicts: 1706000 | #Constraints: 66470
2632.93/2640.43 c #Conflicts: 1707000 | #Constraints: 67471
2632.93/2640.43 c #Conflicts: 1708000 | #Constraints: 68471
2632.93/2640.43 c #Conflicts: 1709000 | #Constraints: 69472
2632.93/2640.43 c #Conflicts: 1710000 | #Constraints: 70472
2632.93/2640.43 c #Conflicts: 1711000 | #Constraints: 71473
2632.93/2640.43 c #Conflicts: 1712000 | #Constraints: 72474
2632.93/2640.43 c #Conflicts: 1713000 | #Constraints: 73475
2632.93/2640.43 c #Conflicts: 1714000 | #Constraints: 74475
2632.93/2640.43 c #Conflicts: 1715000 | #Constraints: 75476
2632.93/2640.43 c #Conflicts: 1716000 | #Constraints: 76476
2632.93/2640.43 c #Conflicts: 1717000 | #Constraints: 77476
2632.93/2640.43 c #Conflicts: 1718000 | #Constraints: 78477
2632.93/2640.43 c #Conflicts: 1719000 | #Constraints: 79477
2632.93/2640.43 c #Conflicts: 1720000 | #Constraints: 80477
2632.93/2640.43 c INPROCESSING
2632.93/2640.43 c GARBAGE COLLECT
2632.93/2640.43 c rational objective 6
2683.99/2691.67 c #Conflicts: 1721000 | #Constraints: 55462
2683.99/2691.67 c #Conflicts: 1722000 | #Constraints: 56462
2683.99/2691.67 c #Conflicts: 1723000 | #Constraints: 57462
2683.99/2691.67 c #Conflicts: 1724000 | #Constraints: 58462
2683.99/2691.67 c #Conflicts: 1725000 | #Constraints: 59462
2683.99/2691.67 c #Conflicts: 1726000 | #Constraints: 60471
2683.99/2691.67 c #Conflicts: 1727000 | #Constraints: 61477
2683.99/2691.67 c #Conflicts: 1728000 | #Constraints: 62480
2683.99/2691.67 c #Conflicts: 1729000 | #Constraints: 63481
2683.99/2691.67 c #Conflicts: 1730000 | #Constraints: 64483
2683.99/2691.67 c #Conflicts: 1731000 | #Constraints: 65485
2683.99/2691.67 c #Conflicts: 1732000 | #Constraints: 66487
2683.99/2691.67 c #Conflicts: 1733000 | #Constraints: 67488
2683.99/2691.67 c #Conflicts: 1734000 | #Constraints: 68490
2683.99/2691.67 c #Conflicts: 1735000 | #Constraints: 69491
2683.99/2691.67 c #Conflicts: 1736000 | #Constraints: 70491
2683.99/2691.67 c #Conflicts: 1737000 | #Constraints: 71492
2683.99/2691.67 c #Conflicts: 1738000 | #Constraints: 72494
2683.99/2691.67 c #Conflicts: 1739000 | #Constraints: 73495
2683.99/2691.67 c #Conflicts: 1740000 | #Constraints: 74496
2683.99/2691.67 c #Conflicts: 1741000 | #Constraints: 75498
2683.99/2691.67 c #Conflicts: 1742000 | #Constraints: 76499
2683.99/2691.67 c #Conflicts: 1743000 | #Constraints: 77500
2683.99/2691.67 c #Conflicts: 1744000 | #Constraints: 78502
2683.99/2691.67 c #Conflicts: 1745000 | #Constraints: 79503
2683.99/2691.67 c #Conflicts: 1746000 | #Constraints: 80503
2683.99/2691.67 c INPROCESSING
2683.99/2691.67 c GARBAGE COLLECT
2683.99/2691.67 c rational objective 6
2724.78/2732.52 c #Conflicts: 1747000 | #Constraints: 55176
2724.78/2732.52 c #Conflicts: 1748000 | #Constraints: 56177
2724.78/2732.52 c #Conflicts: 1749000 | #Constraints: 57177
2724.78/2732.52 c #Conflicts: 1750000 | #Constraints: 58177
2724.78/2732.52 c #Conflicts: 1751000 | #Constraints: 59177
2724.78/2732.52 c #Conflicts: 1752000 | #Constraints: 60178
2724.78/2732.52 c #Conflicts: 1753000 | #Constraints: 61182
2724.78/2732.52 c #Conflicts: 1754000 | #Constraints: 62183
2724.78/2732.52 c #Conflicts: 1755000 | #Constraints: 63184
2724.78/2732.52 c #Conflicts: 1756000 | #Constraints: 64185
2724.78/2732.52 c #Conflicts: 1757000 | #Constraints: 65186
2724.78/2732.52 c #Conflicts: 1758000 | #Constraints: 66187
2724.78/2732.52 c #Conflicts: 1759000 | #Constraints: 67187
2724.78/2732.52 c #Conflicts: 1760000 | #Constraints: 68187
2724.78/2732.52 c #Conflicts: 1761000 | #Constraints: 69187
2724.78/2732.52 c #Conflicts: 1762000 | #Constraints: 70188
2724.78/2732.52 c #Conflicts: 1763000 | #Constraints: 71189
2724.78/2732.52 c #Conflicts: 1764000 | #Constraints: 72189
2724.78/2732.52 c #Conflicts: 1765000 | #Constraints: 73190
2724.78/2732.52 c #Conflicts: 1766000 | #Constraints: 74191
2724.78/2732.52 c #Conflicts: 1767000 | #Constraints: 75191
2724.78/2732.52 c #Conflicts: 1768000 | #Constraints: 76191
2724.78/2732.52 c #Conflicts: 1769000 | #Constraints: 77192
2724.78/2732.52 c #Conflicts: 1770000 | #Constraints: 78193
2724.78/2732.52 c #Conflicts: 1771000 | #Constraints: 79193
2724.78/2732.52 c #Conflicts: 1772000 | #Constraints: 80193
2724.78/2732.52 c #Conflicts: 1773000 | #Constraints: 81193
2724.78/2732.52 c INPROCESSING
2724.78/2732.52 c GARBAGE COLLECT
2724.78/2732.52 c rational objective 6
2776.15/2784.05 c #Conflicts: 1774000 | #Constraints: 55759
2776.15/2784.05 c #Conflicts: 1775000 | #Constraints: 56759
2776.15/2784.05 c #Conflicts: 1776000 | #Constraints: 57760
2776.15/2784.05 c #Conflicts: 1777000 | #Constraints: 58760
2776.15/2784.05 c #Conflicts: 1778000 | #Constraints: 59760
2776.15/2784.05 c #Conflicts: 1779000 | #Constraints: 60760
2776.15/2784.05 c #Conflicts: 1780000 | #Constraints: 61760
2776.15/2784.05 c #Conflicts: 1781000 | #Constraints: 62761
2776.15/2784.05 c #Conflicts: 1782000 | #Constraints: 63761
2776.15/2784.05 c #Conflicts: 1783000 | #Constraints: 64762
2776.15/2784.05 c #Conflicts: 1784000 | #Constraints: 65763
2776.15/2784.05 c #Conflicts: 1785000 | #Constraints: 66763
2776.15/2784.05 c #Conflicts: 1786000 | #Constraints: 67764
2776.15/2784.05 c #Conflicts: 1787000 | #Constraints: 68765
2776.15/2784.05 c #Conflicts: 1788000 | #Constraints: 69765
2776.15/2784.05 c #Conflicts: 1789000 | #Constraints: 70765
2776.15/2784.05 c #Conflicts: 1790000 | #Constraints: 71766
2776.15/2784.05 c #Conflicts: 1791000 | #Constraints: 72766
2776.15/2784.05 c #Conflicts: 1792000 | #Constraints: 73767
2776.15/2784.05 c #Conflicts: 1793000 | #Constraints: 74767
2776.15/2784.05 c #Conflicts: 1794000 | #Constraints: 75768
2776.15/2784.05 c #Conflicts: 1795000 | #Constraints: 76769
2776.15/2784.05 c #Conflicts: 1796000 | #Constraints: 77770
2776.15/2784.05 c #Conflicts: 1797000 | #Constraints: 78771
2776.15/2784.05 c #Conflicts: 1798000 | #Constraints: 79772
2776.15/2784.05 c #Conflicts: 1799000 | #Constraints: 80773
2776.15/2784.05 c #Conflicts: 1800000 | #Constraints: 81773
2776.15/2784.05 c INPROCESSING
2776.15/2784.05 c GARBAGE COLLECT
2776.15/2784.05 c rational objective 6
2828.89/2836.99 c #Conflicts: 1801000 | #Constraints: 56134
2828.89/2836.99 c #Conflicts: 1802000 | #Constraints: 57135
2828.89/2836.99 c #Conflicts: 1803000 | #Constraints: 58135
2828.89/2836.99 c #Conflicts: 1804000 | #Constraints: 59136
2828.89/2836.99 c #Conflicts: 1805000 | #Constraints: 60138
2828.89/2836.99 c #Conflicts: 1806000 | #Constraints: 61139
2828.89/2836.99 c #Conflicts: 1807000 | #Constraints: 62140
2828.89/2836.99 c #Conflicts: 1808000 | #Constraints: 63140
2828.89/2836.99 c #Conflicts: 1809000 | #Constraints: 64141
2828.89/2836.99 c #Conflicts: 1810000 | #Constraints: 65142
2828.89/2836.99 c #Conflicts: 1811000 | #Constraints: 66142
2828.89/2836.99 c #Conflicts: 1812000 | #Constraints: 67143
2828.89/2836.99 c #Conflicts: 1813000 | #Constraints: 68143
2828.89/2836.99 c #Conflicts: 1814000 | #Constraints: 69143
2828.89/2836.99 c #Conflicts: 1815000 | #Constraints: 70143
2828.89/2836.99 c #Conflicts: 1816000 | #Constraints: 71143
2828.89/2836.99 c #Conflicts: 1817000 | #Constraints: 72143
2828.89/2836.99 c #Conflicts: 1818000 | #Constraints: 73144
2828.89/2836.99 c #Conflicts: 1819000 | #Constraints: 74144
2828.89/2836.99 c #Conflicts: 1820000 | #Constraints: 75145
2828.89/2836.99 c #Conflicts: 1821000 | #Constraints: 76145
2828.89/2836.99 c #Conflicts: 1822000 | #Constraints: 77145
2828.89/2836.99 c #Conflicts: 1823000 | #Constraints: 78145
2828.89/2836.99 c #Conflicts: 1824000 | #Constraints: 79145
2828.89/2836.99 c #Conflicts: 1825000 | #Constraints: 80146
2828.89/2836.99 c #Conflicts: 1826000 | #Constraints: 81146
2828.89/2836.99 c #Conflicts: 1827000 | #Constraints: 82146
2828.89/2836.99 c INPROCESSING
2828.89/2836.99 c GARBAGE COLLECT
2828.89/2836.99 c rational objective 6
2862.60/2870.78 c #Conflicts: 1828000 | #Constraints: 56276
2862.60/2870.78 c #Conflicts: 1829000 | #Constraints: 57276
2862.60/2870.78 c #Conflicts: 1830000 | #Constraints: 58276
2862.60/2870.78 c #Conflicts: 1831000 | #Constraints: 59276
2862.60/2870.78 c #Conflicts: 1832000 | #Constraints: 60276
2862.60/2870.78 c #Conflicts: 1833000 | #Constraints: 61276
2862.60/2870.78 c #Conflicts: 1834000 | #Constraints: 62276
2862.60/2870.78 c #Conflicts: 1835000 | #Constraints: 63276
2862.60/2870.78 c #Conflicts: 1836000 | #Constraints: 64276
2862.60/2870.78 c #Conflicts: 1837000 | #Constraints: 65276
2862.60/2870.78 c #Conflicts: 1838000 | #Constraints: 66277
2862.60/2870.78 c #Conflicts: 1839000 | #Constraints: 67278
2862.60/2870.78 c #Conflicts: 1840000 | #Constraints: 68279
2862.60/2870.78 c #Conflicts: 1841000 | #Constraints: 69279
2862.60/2870.78 c #Conflicts: 1842000 | #Constraints: 70279
2862.60/2870.78 c #Conflicts: 1843000 | #Constraints: 71280
2862.60/2870.78 c #Conflicts: 1844000 | #Constraints: 72280
2862.60/2870.78 c #Conflicts: 1845000 | #Constraints: 73282
2862.60/2870.78 c #Conflicts: 1846000 | #Constraints: 74282
2862.60/2870.78 c #Conflicts: 1847000 | #Constraints: 75283
2862.60/2870.78 c #Conflicts: 1848000 | #Constraints: 76284
2862.60/2870.78 c #Conflicts: 1849000 | #Constraints: 77286
2862.60/2870.78 c #Conflicts: 1850000 | #Constraints: 78287
2862.60/2870.78 c #Conflicts: 1851000 | #Constraints: 79287
2862.60/2870.78 c #Conflicts: 1852000 | #Constraints: 80288
2862.60/2870.78 c #Conflicts: 1853000 | #Constraints: 81289
2862.60/2870.78 c #Conflicts: 1854000 | #Constraints: 82291
2862.60/2870.78 c INPROCESSING
2862.60/2870.78 c GARBAGE COLLECT
2862.60/2870.78 c rational objective 6
2973.70/2982.18 c #Conflicts: 1855000 | #Constraints: 56284
2973.70/2982.18 c #Conflicts: 1856000 | #Constraints: 57284
2973.70/2982.18 c #Conflicts: 1857000 | #Constraints: 58284
2973.70/2982.18 c #Conflicts: 1858000 | #Constraints: 59287
2973.70/2982.18 c #Conflicts: 1859000 | #Constraints: 60287
2973.70/2982.18 c #Conflicts: 1860000 | #Constraints: 61289
2973.70/2982.18 c #Conflicts: 1861000 | #Constraints: 62291
2973.70/2982.18 c #Conflicts: 1862000 | #Constraints: 63293
2973.70/2982.18 c #Conflicts: 1863000 | #Constraints: 64294
2973.70/2982.18 c #Conflicts: 1864000 | #Constraints: 65296
2973.70/2982.18 c #Conflicts: 1865000 | #Constraints: 66297
2973.70/2982.18 c #Conflicts: 1866000 | #Constraints: 67299
2973.70/2982.18 c #Conflicts: 1867000 | #Constraints: 68300
2973.70/2982.18 c #Conflicts: 1868000 | #Constraints: 69300
2973.70/2982.18 c #Conflicts: 1869000 | #Constraints: 70301
2973.70/2982.18 c #Conflicts: 1870000 | #Constraints: 71303
2973.70/2982.18 c #Conflicts: 1871000 | #Constraints: 72304
2973.70/2982.18 c #Conflicts: 1872000 | #Constraints: 73304
2973.70/2982.18 c #Conflicts: 1873000 | #Constraints: 74304
2973.70/2982.18 c #Conflicts: 1874000 | #Constraints: 75304
2973.70/2982.18 c #Conflicts: 1875000 | #Constraints: 76305
2973.70/2982.18 c #Conflicts: 1876000 | #Constraints: 77305
2973.70/2982.18 c #Conflicts: 1877000 | #Constraints: 78305
2973.70/2982.18 c #Conflicts: 1878000 | #Constraints: 79306
2973.70/2982.18 c #Conflicts: 1879000 | #Constraints: 80306
2973.70/2982.18 c #Conflicts: 1880000 | #Constraints: 81306
2973.70/2982.18 c #Conflicts: 1881000 | #Constraints: 82306
2973.70/2982.18 c INPROCESSING
2973.70/2982.18 c GARBAGE COLLECT
2973.70/2982.18 c rational objective 6
3029.14/3037.70 c #Conflicts: 1882000 | #Constraints: 56060
3029.14/3037.70 c #Conflicts: 1883000 | #Constraints: 57061
3029.14/3037.70 c #Conflicts: 1884000 | #Constraints: 58061
3029.14/3037.70 c #Conflicts: 1885000 | #Constraints: 59061
3029.14/3037.70 c #Conflicts: 1886000 | #Constraints: 60061
3029.14/3037.70 c #Conflicts: 1887000 | #Constraints: 61061
3029.14/3037.70 c #Conflicts: 1888000 | #Constraints: 62061
3029.14/3037.70 c #Conflicts: 1889000 | #Constraints: 63062
3029.14/3037.70 c #Conflicts: 1890000 | #Constraints: 64063
3029.14/3037.70 c #Conflicts: 1891000 | #Constraints: 65064
3029.14/3037.70 c #Conflicts: 1892000 | #Constraints: 66064
3029.14/3037.70 c #Conflicts: 1893000 | #Constraints: 67064
3029.14/3037.70 c #Conflicts: 1894000 | #Constraints: 68064
3029.14/3037.70 c #Conflicts: 1895000 | #Constraints: 69065
3029.14/3037.70 c #Conflicts: 1896000 | #Constraints: 70066
3029.14/3037.70 c #Conflicts: 1897000 | #Constraints: 71066
3029.14/3037.70 c #Conflicts: 1898000 | #Constraints: 72066
3029.14/3037.70 c #Conflicts: 1899000 | #Constraints: 73066
3029.14/3037.70 c #Conflicts: 1900000 | #Constraints: 74067
3029.14/3037.70 c #Conflicts: 1901000 | #Constraints: 75067
3029.14/3037.70 c #Conflicts: 1902000 | #Constraints: 76068
3029.14/3037.70 c #Conflicts: 1903000 | #Constraints: 77068
3029.14/3037.70 c #Conflicts: 1904000 | #Constraints: 78069
3029.14/3037.70 c #Conflicts: 1905000 | #Constraints: 79069
3029.14/3037.70 c #Conflicts: 1906000 | #Constraints: 80069
3029.14/3037.70 c #Conflicts: 1907000 | #Constraints: 81069
3029.14/3037.70 c #Conflicts: 1908000 | #Constraints: 82069
3029.14/3037.70 c #Conflicts: 1909000 | #Constraints: 83069
3029.14/3037.70 c INPROCESSING
3029.14/3037.70 c GARBAGE COLLECT
3029.14/3037.70 c rational objective 6
3079.19/3087.96 c #Conflicts: 1910000 | #Constraints: 56677
3079.19/3087.96 c #Conflicts: 1911000 | #Constraints: 57677
3079.19/3087.96 c #Conflicts: 1912000 | #Constraints: 58677
3079.19/3087.96 c #Conflicts: 1913000 | #Constraints: 59677
3079.19/3087.96 c #Conflicts: 1914000 | #Constraints: 60678
3079.19/3087.96 c #Conflicts: 1915000 | #Constraints: 61678
3079.19/3087.96 c #Conflicts: 1916000 | #Constraints: 62678
3079.19/3087.96 c #Conflicts: 1917000 | #Constraints: 63678
3079.19/3087.96 c #Conflicts: 1918000 | #Constraints: 64678
3079.19/3087.96 c #Conflicts: 1919000 | #Constraints: 65681
3079.19/3087.96 c #Conflicts: 1920000 | #Constraints: 66683
3079.19/3087.96 c #Conflicts: 1921000 | #Constraints: 67684
3079.19/3087.96 c #Conflicts: 1922000 | #Constraints: 68685
3079.19/3087.96 c #Conflicts: 1923000 | #Constraints: 69686
3079.19/3087.96 c #Conflicts: 1924000 | #Constraints: 70686
3079.19/3087.96 c #Conflicts: 1925000 | #Constraints: 71686
3079.19/3087.96 c #Conflicts: 1926000 | #Constraints: 72687
3079.19/3087.96 c #Conflicts: 1927000 | #Constraints: 73688
3079.19/3087.96 c #Conflicts: 1928000 | #Constraints: 74689
3079.19/3087.96 c #Conflicts: 1929000 | #Constraints: 75690
3079.19/3087.96 c #Conflicts: 1930000 | #Constraints: 76690
3079.19/3087.96 c #Conflicts: 1931000 | #Constraints: 77691
3079.19/3087.96 c #Conflicts: 1932000 | #Constraints: 78692
3079.19/3087.96 c #Conflicts: 1933000 | #Constraints: 79694
3079.19/3087.96 c #Conflicts: 1934000 | #Constraints: 80697
3079.19/3087.96 c #Conflicts: 1935000 | #Constraints: 81698
3079.19/3087.96 c #Conflicts: 1936000 | #Constraints: 82700
3079.19/3087.96 c #Conflicts: 1937000 | #Constraints: 83700
3079.19/3087.96 c INPROCESSING
3079.19/3087.96 c GARBAGE COLLECT
3079.19/3087.96 c rational objective 6
3128.95/3137.84 c #Conflicts: 1938000 | #Constraints: 57122
3128.95/3137.84 c #Conflicts: 1939000 | #Constraints: 58122
3128.95/3137.84 c #Conflicts: 1940000 | #Constraints: 59123
3128.95/3137.84 c #Conflicts: 1941000 | #Constraints: 60123
3128.95/3137.84 c #Conflicts: 1942000 | #Constraints: 61123
3128.95/3137.84 c #Conflicts: 1943000 | #Constraints: 62123
3128.95/3137.84 c #Conflicts: 1944000 | #Constraints: 63125
3128.95/3137.84 c #Conflicts: 1945000 | #Constraints: 64126
3128.95/3137.84 c #Conflicts: 1946000 | #Constraints: 65127
3128.95/3137.84 c #Conflicts: 1947000 | #Constraints: 66129
3128.95/3137.84 c #Conflicts: 1948000 | #Constraints: 67130
3128.95/3137.84 c #Conflicts: 1949000 | #Constraints: 68130
3128.95/3137.84 c #Conflicts: 1950000 | #Constraints: 69130
3128.95/3137.84 c #Conflicts: 1951000 | #Constraints: 70131
3128.95/3137.84 c #Conflicts: 1952000 | #Constraints: 71131
3128.95/3137.84 c #Conflicts: 1953000 | #Constraints: 72132
3128.95/3137.84 c #Conflicts: 1954000 | #Constraints: 73132
3128.95/3137.84 c #Conflicts: 1955000 | #Constraints: 74132
3128.95/3137.84 c #Conflicts: 1956000 | #Constraints: 75133
3128.95/3137.84 c #Conflicts: 1957000 | #Constraints: 76134
3128.95/3137.84 c #Conflicts: 1958000 | #Constraints: 77136
3128.95/3137.84 c #Conflicts: 1959000 | #Constraints: 78137
3128.95/3137.84 c #Conflicts: 1960000 | #Constraints: 79138
3128.95/3137.84 c #Conflicts: 1961000 | #Constraints: 80139
3128.95/3137.84 c #Conflicts: 1962000 | #Constraints: 81140
3128.95/3137.84 c #Conflicts: 1963000 | #Constraints: 82142
3128.95/3137.84 c #Conflicts: 1964000 | #Constraints: 83143
3128.95/3137.84 c #Conflicts: 1965000 | #Constraints: 84143
3128.95/3137.84 c INPROCESSING
3128.95/3137.84 c GARBAGE COLLECT
3128.95/3137.84 c rational objective 6
3205.44/3214.56 c #Conflicts: 1966000 | #Constraints: 57305
3205.44/3214.56 c #Conflicts: 1967000 | #Constraints: 58305
3205.44/3214.56 c #Conflicts: 1968000 | #Constraints: 59308
3205.44/3214.56 c #Conflicts: 1969000 | #Constraints: 60311
3205.44/3214.56 c #Conflicts: 1970000 | #Constraints: 61314
3205.44/3214.56 c #Conflicts: 1971000 | #Constraints: 62319
3205.44/3214.56 c #Conflicts: 1972000 | #Constraints: 63320
3205.44/3214.56 c #Conflicts: 1973000 | #Constraints: 64322
3205.44/3214.56 c #Conflicts: 1974000 | #Constraints: 65325
3205.44/3214.56 c #Conflicts: 1975000 | #Constraints: 66326
3205.44/3214.56 c #Conflicts: 1976000 | #Constraints: 67326
3205.44/3214.56 c #Conflicts: 1977000 | #Constraints: 68327
3205.44/3214.56 c #Conflicts: 1978000 | #Constraints: 69328
3205.44/3214.56 c #Conflicts: 1979000 | #Constraints: 70328
3205.44/3214.56 c #Conflicts: 1980000 | #Constraints: 71329
3205.44/3214.56 c #Conflicts: 1981000 | #Constraints: 72330
3205.44/3214.56 c #Conflicts: 1982000 | #Constraints: 73330
3205.44/3214.56 c #Conflicts: 1983000 | #Constraints: 74331
3205.44/3214.56 c #Conflicts: 1984000 | #Constraints: 75331
3205.44/3214.56 c #Conflicts: 1985000 | #Constraints: 76332
3205.44/3214.56 c #Conflicts: 1986000 | #Constraints: 77332
3205.44/3214.56 c #Conflicts: 1987000 | #Constraints: 78333
3205.44/3214.56 c #Conflicts: 1988000 | #Constraints: 79333
3205.44/3214.56 c #Conflicts: 1989000 | #Constraints: 80333
3205.44/3214.56 c #Conflicts: 1990000 | #Constraints: 81334
3205.44/3214.56 c #Conflicts: 1991000 | #Constraints: 82334
3205.44/3214.56 c #Conflicts: 1992000 | #Constraints: 83334
3205.44/3214.56 c #Conflicts: 1993000 | #Constraints: 84335
3205.44/3214.56 c INPROCESSING
3205.44/3214.56 c GARBAGE COLLECT
3205.44/3214.56 c rational objective 6
3246.22/3255.46 c #Conflicts: 1994000 | #Constraints: 57284
3246.22/3255.46 c #Conflicts: 1995000 | #Constraints: 58284
3246.22/3255.46 c #Conflicts: 1996000 | #Constraints: 59284
3246.22/3255.46 c #Conflicts: 1997000 | #Constraints: 60284
3246.22/3255.46 c #Conflicts: 1998000 | #Constraints: 61284
3246.22/3255.46 c #Conflicts: 1999000 | #Constraints: 62284
3246.22/3255.46 c #Conflicts: 2000000 | #Constraints: 63284
3246.22/3255.46 c #Conflicts: 2001000 | #Constraints: 64284
3246.22/3255.46 c #Conflicts: 2002000 | #Constraints: 65284
3246.22/3255.46 c #Conflicts: 2003000 | #Constraints: 66284
3246.22/3255.46 c #Conflicts: 2004000 | #Constraints: 67284
3246.22/3255.46 c #Conflicts: 2005000 | #Constraints: 68285
3246.22/3255.46 c #Conflicts: 2006000 | #Constraints: 69287
3246.22/3255.46 c #Conflicts: 2007000 | #Constraints: 70288
3246.22/3255.46 c #Conflicts: 2008000 | #Constraints: 71290
3246.22/3255.46 c #Conflicts: 2009000 | #Constraints: 72291
3246.22/3255.46 c #Conflicts: 2010000 | #Constraints: 73293
3246.22/3255.46 c #Conflicts: 2011000 | #Constraints: 74294
3246.22/3255.46 c #Conflicts: 2012000 | #Constraints: 75295
3246.22/3255.46 c #Conflicts: 2013000 | #Constraints: 76295
3246.22/3255.46 c #Conflicts: 2014000 | #Constraints: 77296
3246.22/3255.46 c #Conflicts: 2015000 | #Constraints: 78296
3246.22/3255.46 c #Conflicts: 2016000 | #Constraints: 79299
3246.22/3255.46 c #Conflicts: 2017000 | #Constraints: 80302
3246.22/3255.46 c #Conflicts: 2018000 | #Constraints: 81304
3246.22/3255.46 c #Conflicts: 2019000 | #Constraints: 82309
3246.22/3255.46 c #Conflicts: 2020000 | #Constraints: 83310
3246.22/3255.46 c #Conflicts: 2021000 | #Constraints: 84310
3246.22/3255.46 c INPROCESSING
3246.22/3255.46 c GARBAGE COLLECT
3246.22/3255.46 c rational objective 6
3314.74/3324.11 c #Conflicts: 2022000 | #Constraints: 56968
3314.74/3324.11 c #Conflicts: 2023000 | #Constraints: 57968
3314.74/3324.11 c #Conflicts: 2024000 | #Constraints: 58968
3314.74/3324.11 c #Conflicts: 2025000 | #Constraints: 59968
3314.74/3324.11 c #Conflicts: 2026000 | #Constraints: 60968
3314.74/3324.11 c #Conflicts: 2027000 | #Constraints: 61969
3314.74/3324.11 c #Conflicts: 2028000 | #Constraints: 62970
3314.74/3324.11 c #Conflicts: 2029000 | #Constraints: 63972
3314.74/3324.11 c #Conflicts: 2030000 | #Constraints: 64974
3314.74/3324.11 c #Conflicts: 2031000 | #Constraints: 65978
3314.74/3324.11 c #Conflicts: 2032000 | #Constraints: 66980
3314.74/3324.11 c #Conflicts: 2033000 | #Constraints: 67982
3314.74/3324.11 c #Conflicts: 2034000 | #Constraints: 68984
3314.74/3324.11 c #Conflicts: 2035000 | #Constraints: 69985
3314.74/3324.11 c #Conflicts: 2036000 | #Constraints: 70988
3314.74/3324.11 c #Conflicts: 2037000 | #Constraints: 71990
3314.74/3324.11 c #Conflicts: 2038000 | #Constraints: 72993
3314.74/3324.11 c #Conflicts: 2039000 | #Constraints: 73998
3314.74/3324.11 c #Conflicts: 2040000 | #Constraints: 75000
3314.74/3324.11 c #Conflicts: 2041000 | #Constraints: 76001
3314.74/3324.11 c #Conflicts: 2042000 | #Constraints: 77003
3314.74/3324.11 c #Conflicts: 2043000 | #Constraints: 78005
3314.74/3324.11 c #Conflicts: 2044000 | #Constraints: 79006
3314.74/3324.11 c #Conflicts: 2045000 | #Constraints: 80008
3314.74/3324.11 c #Conflicts: 2046000 | #Constraints: 81008
3314.74/3324.11 c #Conflicts: 2047000 | #Constraints: 82008
3314.74/3324.11 c #Conflicts: 2048000 | #Constraints: 83009
3314.74/3324.11 c #Conflicts: 2049000 | #Constraints: 84009
3314.74/3324.11 c #Conflicts: 2050000 | #Constraints: 85010
3314.74/3324.11 c INPROCESSING
3314.74/3324.11 c GARBAGE COLLECT
3314.74/3324.11 c rational objective 6
3469.60/3479.49 c #Conflicts: 2051000 | #Constraints: 57470
3469.60/3479.49 c #Conflicts: 2052000 | #Constraints: 58471
3469.60/3479.49 c #Conflicts: 2053000 | #Constraints: 59471
3469.60/3479.49 c #Conflicts: 2054000 | #Constraints: 60471
3469.60/3479.49 c #Conflicts: 2055000 | #Constraints: 61471
3469.60/3479.49 c #Conflicts: 2056000 | #Constraints: 62472
3469.60/3479.49 c #Conflicts: 2057000 | #Constraints: 63476
3469.60/3479.49 c #Conflicts: 2058000 | #Constraints: 64477
3469.60/3479.49 c #Conflicts: 2059000 | #Constraints: 65479
3469.60/3479.49 c #Conflicts: 2060000 | #Constraints: 66482
3469.60/3479.49 c #Conflicts: 2061000 | #Constraints: 67484
3469.60/3479.49 c #Conflicts: 2062000 | #Constraints: 68485
3469.60/3479.49 c #Conflicts: 2063000 | #Constraints: 69487
3469.60/3479.49 c #Conflicts: 2064000 | #Constraints: 70487
3469.60/3479.49 c #Conflicts: 2065000 | #Constraints: 71488
3469.60/3479.49 c #Conflicts: 2066000 | #Constraints: 72489
3469.60/3479.49 c #Conflicts: 2067000 | #Constraints: 73490
3469.60/3479.49 c #Conflicts: 2068000 | #Constraints: 74490
3469.60/3479.49 c #Conflicts: 2069000 | #Constraints: 75491
3469.60/3479.49 c #Conflicts: 2070000 | #Constraints: 76491
3469.60/3479.49 c #Conflicts: 2071000 | #Constraints: 77491
3469.60/3479.49 c #Conflicts: 2072000 | #Constraints: 78491
3469.60/3479.49 c #Conflicts: 2073000 | #Constraints: 79491
3469.60/3479.49 c #Conflicts: 2074000 | #Constraints: 80491
3469.60/3479.49 c #Conflicts: 2075000 | #Constraints: 81491
3469.60/3479.49 c #Conflicts: 2076000 | #Constraints: 82491
3469.60/3479.49 c #Conflicts: 2077000 | #Constraints: 83492
3469.60/3479.49 c #Conflicts: 2078000 | #Constraints: 84492
3469.60/3479.49 c #Conflicts: 2079000 | #Constraints: 85492
3469.60/3479.49 c INPROCESSING
3469.60/3479.49 c GARBAGE COLLECT
3469.60/3479.49 c #Conflicts: 2080000 | #Constraints: 57838
3469.60/3479.49 c #Conflicts: 2081000 | #Constraints: 58838
3469.60/3479.49 c #Conflicts: 2082000 | #Constraints: 59838
3469.60/3479.49 c #Conflicts: 2083000 | #Constraints: 60838
3469.60/3479.49 c #Conflicts: 2084000 | #Constraints: 61838
3469.60/3479.49 c #Conflicts: 2085000 | #Constraints: 62838
3469.60/3479.49 c #Conflicts: 2086000 | #Constraints: 63838
3469.60/3479.49 c #Conflicts: 2087000 | #Constraints: 64838
3469.60/3479.49 c #Conflicts: 2088000 | #Constraints: 65838
3469.60/3479.49 c #Conflicts: 2089000 | #Constraints: 66839
3469.60/3479.49 c #Conflicts: 2090000 | #Constraints: 67839
3469.60/3479.49 c #Conflicts: 2091000 | #Constraints: 68839
3469.60/3479.49 c #Conflicts: 2092000 | #Constraints: 69840
3469.60/3479.49 c #Conflicts: 2093000 | #Constraints: 70840
3469.60/3479.49 c #Conflicts: 2094000 | #Constraints: 71840
3469.60/3479.49 c #Conflicts: 2095000 | #Constraints: 72841
3469.60/3479.49 c #Conflicts: 2096000 | #Constraints: 73841
3469.60/3479.49 c #Conflicts: 2097000 | #Constraints: 74841
3469.60/3479.49 c #Conflicts: 2098000 | #Constraints: 75842
3469.60/3479.49 c #Conflicts: 2099000 | #Constraints: 76842
3469.60/3479.49 c #Conflicts: 2100000 | #Constraints: 77842
3469.60/3479.49 c #Conflicts: 2101000 | #Constraints: 78843
3469.60/3479.49 c #Conflicts: 2102000 | #Constraints: 79843
3469.60/3479.49 c #Conflicts: 2103000 | #Constraints: 80844
3469.60/3479.49 c #Conflicts: 2104000 | #Constraints: 81844
3469.60/3479.49 c #Conflicts: 2105000 | #Constraints: 82845
3469.60/3479.49 c #Conflicts: 2106000 | #Constraints: 83845
3469.60/3479.49 c #Conflicts: 2107000 | #Constraints: 84845
3469.60/3479.49 c #Conflicts: 2108000 | #Constraints: 85845
3469.60/3479.49 c INPROCESSING
3469.60/3479.49 c GARBAGE COLLECT
3469.60/3479.49 c rational objective 6
3562.15/3572.22 c #Conflicts: 2109000 | #Constraints: 58016
3562.15/3572.22 c #Conflicts: 2110000 | #Constraints: 59016
3562.15/3572.22 c #Conflicts: 2111000 | #Constraints: 60016
3562.15/3572.22 c #Conflicts: 2112000 | #Constraints: 61016
3562.15/3572.22 c #Conflicts: 2113000 | #Constraints: 62017
3562.15/3572.22 c #Conflicts: 2114000 | #Constraints: 63017
3562.15/3572.22 c #Conflicts: 2115000 | #Constraints: 64017
3562.15/3572.22 c #Conflicts: 2116000 | #Constraints: 65017
3562.15/3572.22 c #Conflicts: 2117000 | #Constraints: 66018
3562.15/3572.22 c #Conflicts: 2118000 | #Constraints: 67019
3562.15/3572.22 c #Conflicts: 2119000 | #Constraints: 68020
3562.15/3572.22 c #Conflicts: 2120000 | #Constraints: 69020
3562.15/3572.22 c #Conflicts: 2121000 | #Constraints: 70020
3562.15/3572.22 c #Conflicts: 2122000 | #Constraints: 71020
3562.15/3572.22 c #Conflicts: 2123000 | #Constraints: 72021
3562.15/3572.22 c #Conflicts: 2124000 | #Constraints: 73021
3562.15/3572.22 c #Conflicts: 2125000 | #Constraints: 74021
3562.15/3572.22 c #Conflicts: 2126000 | #Constraints: 75021
3562.15/3572.22 c #Conflicts: 2127000 | #Constraints: 76021
3562.15/3572.22 c #Conflicts: 2128000 | #Constraints: 77021
3562.15/3572.22 c #Conflicts: 2129000 | #Constraints: 78022
3562.15/3572.22 c #Conflicts: 2130000 | #Constraints: 79022
3562.15/3572.22 c #Conflicts: 2131000 | #Constraints: 80023
3562.15/3572.22 c #Conflicts: 2132000 | #Constraints: 81023
3562.15/3572.22 c #Conflicts: 2133000 | #Constraints: 82023
3562.15/3572.22 c #Conflicts: 2134000 | #Constraints: 83023
3562.15/3572.22 c #Conflicts: 2135000 | #Constraints: 84023
3562.15/3572.22 c #Conflicts: 2136000 | #Constraints: 85023
3562.15/3572.22 c #Conflicts: 2137000 | #Constraints: 86023
3562.15/3572.22 c INPROCESSING
3562.15/3572.22 c GARBAGE COLLECT
3562.15/3572.22 c rational objective 6
3600.05/3610.20 c #Conflicts: 2138000 | #Constraints: 58007
3600.05/3610.20 c #Conflicts: 2139000 | #Constraints: 59007
3600.05/3610.20 c #Conflicts: 2140000 | #Constraints: 60007
3600.05/3610.20 c #Conflicts: 2141000 | #Constraints: 61007
3600.05/3610.20 c #Conflicts: 2142000 | #Constraints: 62007
3600.05/3610.20 c #Conflicts: 2143000 | #Constraints: 63008
3600.05/3610.20 c #Conflicts: 2144000 | #Constraints: 64010
3600.05/3610.20 c #Conflicts: 2145000 | #Constraints: 65011
3600.05/3610.20 c #Conflicts: 2146000 | #Constraints: 66012
3600.05/3610.20 c #Conflicts: 2147000 | #Constraints: 67013
3600.05/3610.20 c #Conflicts: 2148000 | #Constraints: 68013
3600.05/3610.20 c #Conflicts: 2149000 | #Constraints: 69013
3600.05/3610.20 c #Conflicts: 2150000 | #Constraints: 70013
3600.05/3610.20 c #Conflicts: 2151000 | #Constraints: 71014
3600.05/3610.20 c #Conflicts: 2152000 | #Constraints: 72014
3600.05/3610.20 c #Conflicts: 2153000 | #Constraints: 73015
3600.05/3610.20 c #Conflicts: 2154000 | #Constraints: 74016
3600.05/3610.20 c #Conflicts: 2155000 | #Constraints: 75016
3600.05/3610.20 c #Conflicts: 2156000 | #Constraints: 76016
3600.05/3610.20 c #Conflicts: 2157000 | #Constraints: 77017
3600.05/3610.20 c cpu time 3578.55 s
3600.05/3610.20 c deterministic time 281131108670 2.81e+11
3600.05/3610.20 c optimization time 36.8897 s
3600.05/3610.20 c total solve time 3541.54 s
3600.05/3610.20 c core-guided solve time 1682.77 s
3600.05/3610.20 c propagation time 2451.93 s
3600.05/3610.20 c conflict analysis time 809.085 s
3600.05/3610.20 c propagations 894655357
3600.05/3610.20 c resolve steps 15040665
3600.05/3610.20 c decisions 9123909
3600.05/3610.20 c conflicts 2157684
3600.05/3610.20 c restarts 4093
3600.05/3610.20 c inprocessing phases 137
3600.05/3610.20 c garbage collections 137 ,( 100.00 )
3600.05/3610.20 c input clauses 36793 ,( 98.80 )
3600.05/3610.20 c input cardinalities 64 ,( 0.17 )
3600.05/3610.20 c input general constraints 384 ,( 1.03 )
3600.05/3610.20 c input average constraint length 3.64
3600.05/3610.20 c input average constraint degree 8.31
3600.05/3610.20 c learned clauses 347522 ,( 16.09 )
3600.05/3610.20 c learned cardinalities 30371 ,( 1.41 )
3600.05/3610.20 c learned general constraints 1782168 ,( 82.51 )
3600.05/3610.20 c learned average constraint length 380.11
3600.05/3610.20 c learned average constraint degree 3490198465.97
3600.05/3610.20 c watched CF 32, 64, 128, Arb: 533316 , 0 , 0 , 0
3600.05/3610.20 c counting CF 32, 64, 128, Arb: 1249237 , 0 , 0 , 0
3600.05/3610.20 c watched constraints 533316 ,( 29.92 )
3600.05/3610.20 c counting constraints 1249236 ,( 70.08 )
3600.05/3610.20 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 476988645 , 94677062 , 5609608292 ,( 270873304 , 5338734988 )
3600.05/3610.20 c gcd simplifications 160360
3600.05/3610.20 c detected cardinalities 603
3600.05/3610.20 c weakened non-implied lits 348591411
3600.05/3610.20 c weakened non-implying lits 1161199
3600.05/3610.20 c original variables 14177
3600.05/3610.20 c clausal propagations 392722101
3600.05/3610.20 c cardinality propagations 102992168
3600.05/3610.20 c watched propagations 2283898
3600.05/3610.20 c counting propagations 381554867
3600.05/3610.20 c watch lookups 178926335932
3600.05/3610.20 c watch backjump lookups 0
3600.05/3610.20 c watch checks 21137808778
3600.05/3610.20 c propagation checks 76263898009
3600.05/3610.20 c constraint additions 2990845785
3600.05/3610.20 c trail pops 905931771
3600.05/3610.20 c formula constraints 37241
3600.05/3610.20 c learned constraints 2155838
3600.05/3610.20 c bound constraints 0
3600.05/3610.20 c core-guided constraints 0
3600.05/3610.20 c encountered formula constraints 9562965
3600.05/3610.20 c encountered learned constraints 7118928
3600.05/3610.20 c encountered bound constraints 0
3600.05/3610.20 c encountered core-guided constraints 0
3600.05/3610.20 c LP total time 920.295 s
3600.05/3610.20 c LP solve time 874.86 s
3600.05/3610.20 c LP constraints added 41013
3600.05/3610.20 c LP constraints removed 3748
3600.05/3610.20 c LP pivots internal 2159212
3600.05/3610.20 c LP pivots root 349916
3600.05/3610.20 c LP calls 2107
3600.05/3610.20 c LP optimalities 254
3600.05/3610.20 c LP no pivot count 12
3600.05/3610.20 c LP infeasibilities 1849
3600.05/3610.20 c LP valid Farkas constraints 1845
3600.05/3610.20 c LP learned Farkas constraints 1845
3600.05/3610.20 c LP basis resets 4
3600.05/3610.20 c LP cycling count 0
3600.05/3610.20 c LP singular count 0
3600.05/3610.20 c LP no primal count 0
3600.05/3610.20 c LP no farkas count 4
3600.05/3610.20 c LP other issue count 0
3600.05/3610.20 c LP Gomory cuts 533
3600.05/3610.20 c LP learned cuts 3239
3600.05/3610.20 c LP deleted cuts 3748
3600.05/3610.20 c LP encountered Gomory constraints 44576
3600.05/3610.20 c LP encountered Farkas constraints 444159
3600.05/3610.20 c LP encountered learned Farkas constraints 25876
3600.05/3610.20 c CG auxiliary variables introduced 0
3600.05/3610.20 c CG solutions found 0
3600.05/3610.20 c CG cores constructed 0
3600.05/3610.20 c CG core cardinality constraints returned 0
3600.05/3610.20 c CG unit cores 0
3600.05/3610.20 c CG single cores 0
3600.05/3610.20 c CG blocks removed during cardinality reduction 0
3600.05/3610.20 c CG first core best 0
3600.05/3610.20 c CG decision core best 0
3600.05/3610.20 c CG core reduction tie 0
3600.05/3610.20 c CG core degree average 0.00
3600.05/3610.20 c CG core slack average 0.00
3600.05/3610.20 c CG core upper bound improvements 0
3600.05/3610.20 c STR number of successful calls 0
3600.05/3610.20 c STR number of unsuccessful calls 0
3600.05/3610.20 c STR number of inconclusive calls 0
3600.05/3610.20 c STR number of successful attempts 0
3600.05/3610.20 c STR number of unsuccessful attempts 0
3600.05/3610.20 c STR number of inconclusive attempts 0
3600.05/3610.20 c STR average degree increase per successful call inf
3600.05/3610.20 c STR average degree increase per successful attempt inf
3600.05/3610.20 c STR total number of conflicts for successful attempts 0
3600.05/3610.20 c STR total number of conflicts for unsuccessful attempts 0
3600.05/3610.20 c STR total number of conflicts for inconclusive attempts 0
3600.05/3610.20 c STR average number of conflicts per successful attempt inf
3600.05/3610.20 c STR average number of conflicts per unsuccessful attempt inf
3600.05/3610.20 c STR average number of conflicts per inconclusive attempt inf
3600.05/3610.20 c AVG.sumWPerc 57.42
3600.05/3610.20 c bigint constraints 0
3600.05/3610.20 s UNKNOWN
3600.05/3610.20 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (60782 MiB free)
memory of node 1: 64465 MiB (38235 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4499170-1751405295/watcher-4499170-1751405295 -o /tmp/evaluation-result-4499170-1751405295/solver-4499170-1751405295 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751398701-54920 --watchdog 3760 run-opt-break.sh HOME/instance-4499170-1751405295.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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=56130, runsolver pid=56127
[startup+0.100062 s]*
/proc/loadavg: 4.10 4.09 4.09 5/267 56132
/proc/meminfo: memFree=101394116/131250000 swapFree=33010684/33010684
[pid=56130] ppid=56127 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/56130/stat : 56130 (run-opt-break.s) S 56127 56130 54907 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 56152057 4292608 768 18446744073709551615 93900635160576 93900636055109 140727859676128 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93900636294160 93900636341904 93900653445120 140727859681633 140727859681762 140727859681762 140727859687364 0
/proc/56130/statm: 1048 768 704 219 0 110 0
[pid=56132] ppid=56130 vsize=23452 memory=14208 CPUtime=0.08 cores=0,2
/proc/56132/stat : 56132 (pbsuma) R 56130 56130 54907 0 -1 4194304 3095 0 0 0 8 0 0 0 20 0 1 0 56152058 24014848 3552 18446744073709551615 4210688 4653049 140732471419152 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 20099072 140732471421283 140732471421490 140732471421490 140732471427055 0
/proc/56132/statm: 5863 3552 992 108 0 3271 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 27644 KiB
Current children cumulated memory: 17280 KiB
[startup+0.205563 s]*
/proc/loadavg: 4.10 4.09 4.09 5/267 56132
/proc/meminfo: memFree=101394116/131250000 swapFree=33010684/33010684
[pid=56130] ppid=56127 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/56130/stat : 56130 (run-opt-break.s) S 56127 56130 54907 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 56152057 4292608 768 18446744073709551615 93900635160576 93900636055109 140727859676128 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93900636294160 93900636341904 93900653445120 140727859681633 140727859681762 140727859681762 140727859687364 0
/proc/56130/statm: 1048 768 704 219 0 110 0
[pid=56132] ppid=56130 vsize=23452 memory=14592 CPUtime=0.19 cores=0,2
/proc/56132/stat : 56132 (pbsuma) R 56130 56130 54907 0 -1 4194304 3186 0 0 0 19 0 0 0 20 0 1 0 56152058 24014848 3648 18446744073709551615 4210688 4653049 140732471419152 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 20099072 140732471421283 140732471421490 140732471421490 140732471427055 0
/proc/56132/statm: 5863 3648 992 108 0 3271 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 27644 KiB
Current children cumulated memory: 17664 KiB
[startup+0.305413 s]*
/proc/loadavg: 4.10 4.09 4.09 5/267 56133
/proc/meminfo: memFree=101394116/131250000 swapFree=33010684/33010684
[pid=56130] ppid=56127 vsize=4192 memory=3072 CPUtime=0.19 cores=0,2
/proc/56130/stat : 56130 (run-opt-break.s) S 56127 56130 54907 0 -1 4194304 238 3373 0 0 0 0 19 0 20 0 1 0 56152057 4292608 768 18446744073709551615 93900635160576 93900636055109 140727859676128 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93900636294160 93900636341904 93900653445120 140727859681633 140727859681762 140727859681762 140727859687364 0
/proc/56130/statm: 1048 768 704 219 0 110 0
[pid=56133] ppid=56130 vsize=60372 memory=15312 CPUtime=0.08 cores=0,2
/proc/56133/stat : 56133 (roundingsat) R 56130 56130 54907 0 -1 4194304 1675 0 0 0 6 2 0 0 20 0 1 0 56152079 61820928 3828 18446744073709551615 4227072 8923433 140729235363680 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29863936 140729235368292 140729235368488 140729235368488 140729235374058 0
/proc/56133/statm: 15093 3828 1888 1147 0 2520 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 64564 KiB
Current children cumulated memory: 18384 KiB
[startup+0.700202 s]
/proc/loadavg: 4.10 4.09 4.09 5/267 56133
/proc/meminfo: memFree=101345472/131250000 swapFree=33010684/33010684
[pid=56130] ppid=56127 vsize=4192 memory=3072 CPUtime=0.19 cores=0,2
/proc/56130/stat : 56130 (run-opt-break.s) S 56127 56130 54907 0 -1 4194304 238 3373 0 0 0 0 19 0 20 0 1 0 56152057 4292608 768 18446744073709551615 93900635160576 93900636055109 140727859676128 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93900636294160 93900636341904 93900653445120 140727859681633 140727859681762 140727859681762 140727859687364 0
/proc/56130/statm: 1048 768 704 219 0 110 0
[pid=56133] ppid=56130 vsize=121812 memory=65960 CPUtime=0.47 cores=0,2
/proc/56133/stat : 56133 (roundingsat) R 56130 56130 54907 0 -1 4194304 10841 0 0 0 41 6 0 0 20 0 1 0 56152079 124735488 16490 18446744073709551615 4227072 8923433 140729235363680 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29863936 140729235368292 140729235368488 140729235368488 140729235374058 0
/proc/56133/statm: 30453 16490 2336 1147 0 17880 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 126004 KiB
Current children cumulated memory: 69032 KiB
[startup+1.50015 s]
/proc/loadavg: 4.10 4.09 4.09 5/267 56133
/proc/meminfo: memFree=101339928/131250000 swapFree=33010684/33010684
[pid=56130] ppid=56127 vsize=4192 memory=3072 CPUtime=0.19 cores=0,2
/proc/56130/stat : 56130 (run-opt-break.s) S 56127 56130 54907 0 -1 4194304 238 3373 0 0 0 0 19 0 20 0 1 0 56152057 4292608 768 18446744073709551615 93900635160576 93900636055109 140727859676128 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93900636294160 93900636341904 93900653445120 140727859681633 140727859681762 140727859681762 140727859687364 0
/proc/56130/statm: 1048 768 704 219 0 110 0
[pid=56133] ppid=56130 vsize=131316 memory=72872 CPUtime=1.26 cores=0,2
/proc/56133/stat : 56133 (roundingsat) R 56130 56130 54907 0 -1 4194304 12572 0 0 0 119 7 0 0 20 0 1 0 56152079 134467584 18218 18446744073709551615 4227072 8923433 140729235363680 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29863936 140729235368292 140729235368488 140729235368488 140729235374058 0
/proc/56133/statm: 32829 18218 2368 1147 0 20256 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 135508 KiB
Current children cumulated memory: 75944 KiB
[startup+3.10546 s]
/proc/loadavg: 4.10 4.09 4.09 5/267 56133
/proc/meminfo: memFree=101316656/131250000 swapFree=33010684/33010684
[pid=56130] ppid=56127 vsize=4192 memory=3072 CPUtime=0.19 cores=0,2
/proc/56130/stat : 56130 (run-opt-break.s) S 56127 56130 54907 0 -1 4194304 238 3373 0 0 0 0 19 0 20 0 1 0 56152057 4292608 768 18446744073709551615 93900635160576 93900636055109 140727859676128 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93900636294160 93900636341904 93900653445120 140727859681633 140727859681762 140727859681762 140727859687364 0
/proc/56130/statm: 1048 768 704 219 0 110 0
[pid=56133] ppid=56130 vsize=144732 memory=86824 CPUtime=2.86 cores=0,2
/proc/56133/stat : 56133 (roundingsat) R 56130 56130 54907 0 -1 4194304 16059 0 0 0 276 10 0 0 20 0 1 0 56152079 148205568 21706 18446744073709551615 4227072 8923433 140729235363680 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29863936 140729235368292 140729235368488 140729235368488 140729235374058 0
/proc/56133/statm: 36183 21706 2368 1147 0 23610 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 148924 KiB
Current children cumulated memory: 89896 KiB
[startup+6.3002 s]
/proc/loadavg: 4.10 4.09 4.09 5/267 56133
/proc/meminfo: memFree=101316660/131250000 swapFree=33010684/33010684
[pid=56130] ppid=56127 vsize=4192 memory=3072 CPUtime=0.19 cores=0,2
/proc/56130/stat : 56130 (run-opt-break.s) S 56127 56130 54907 0 -1 4194304 238 3373 0 0 0 0 19 0 20 0 1 0 56152057 4292608 768 18446744073709551615 93900635160576 93900636055109 140727859676128 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93900636294160 93900636341904 93900653445120 140727859681633 140727859681762 140727859681762 140727859687364 0
/proc/56130/statm: 1048 768 704 219 0 110 0
[pid=56133] ppid=56130 vsize=152092 memory=92476 CPUtime=6.04 cores=0,2
/proc/56133/stat : 56133 (roundingsat) R 56130 56130 54907 0 -1 4194304 16962 0 0 0 589 15 0 0 20 0 1 0 56152079 155742208 23119 18446744073709551615 4227072 8923433 140729235363680 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29863936 140729235368292 140729235368488 140729235368488 140729235374058 0
/proc/56133/statm: 38023 23119 2368 1147 0 25450 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 156284 KiB
Current children cumulated memory: 95548 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.08 4.09 5/267 56133
/proc/meminfo: memFree=101302868/131250000 swapFree=33010684/33010684
[pid=56130] ppid=56127 vsize=4192 memory=3072 CPUtime=0.19 cores=0,2
/proc/56130/stat : 56130 (run-opt-break.s) S 56127 56130 54907 0 -1 4194304 238 3373 0 0 0 0 19 0 20 0 1 0 56152057 4292608 768 18446744073709551615 93900635160576 93900636055109 140727859676128 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93900636294160 93900636341904 93900653445120 140727859681633 140727859681762 140727859681762 140727859687364 0
/proc/56130/statm: 1048 768 704 219 0 110 0
[pid=56133] ppid=56130 vsize=179860 memory=113968 CPUtime=12.43 cores=0,2
/proc/56133/stat : 56133 (roundingsat) R 56130 56130 54907 0 -1 4194304 21347 0 0 0 1216 27 0 0 20 0 1 0 56152079 184176640 28492 18446744073709551615 4227072 8923433 140729235363680 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29863936 140729235368292 140729235368488 140729235368488 140729235374058 0
/proc/56133/statm: 44965 28492 2368 1147 0 32392 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 184052 KiB
Current children cumulated memory: 117040 KiB
[startup+25.5002 s]
/proc/loadavg: 4.07 4.08 4.09 5/267 56133
/proc/meminfo: memFree=101268560/131250000 swapFree=33010684/33010684
[pid=56130] ppid=56127 vsize=4192 memory=3072 CPUtime=0.19 cores=0,2
/proc/56130/stat : 56130 (run-opt-break.s) S 56127 56130 54907 0 -1 4194304 238 3373 0 0 0 0 19 0 20 0 1 0 56152057 4292608 768 18446744073709551615 93900635160576 93900636055109 140727859676128 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93900636294160 93900636341904 93900653445120 140727859681633 140727859681762 140727859681762 140727859687364 0
/proc/56130/statm: 1048 768 704 219 0 110 0
[pid=56133] ppid=56130 vsize=226488 memory=151228 CPUtime=25.2 cores=0,2
/proc/56133/stat : 56133 (roundingsat) R 56130 56130 54907 0 -1 4194304 29138 0 0 0 2473 47 0 0 20 0 1 0 56152079 231923712 37807 18446744073709551615 4227072 8923433 140729235363680 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29863936 140729235368292 140729235368488 140729235368488 140729235374058 0
/proc/56133/statm: 56622 37807 2368 1147 0 44049 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 230680 KiB
Current children cumulated memory: 154300 KiB
[startup+51.1054 s]
/proc/loadavg: 4.04 4.07 4.08 5/267 56134
/proc/meminfo: memFree=101211116/131250000 swapFree=33010684/33010684
[pid=56130] ppid=56127 vsize=4192 memory=3072 CPUtime=0.19 cores=0,2
/proc/56130/stat : 56130 (run-opt-break.s) S 56127 56130 54907 0 -1 4194304 238 3373 0 0 0 0 19 0 20 0 1 0 56152057 4292608 768 18446744073709551615 93900635160576 93900636055109 140727859676128 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93900636294160 93900636341904 93900653445120 140727859681633 140727859681762 140727859681762 140727859687364 0
/proc/56130/statm: 1048 768 704 219 0 110 0
[pid=56133] ppid=56130 vsize=255672 memory=179364 CPUtime=50.73 cores=0,2
/proc/56133/stat : 56133 (roundingsat) R 56130 56130 54907 0 -1 4194304 35643 0 0 0 4996 77 0 0 20 0 1 0 56152079 261808128 44841 18446744073709551615 4227072 8923433 140729235363680 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29863936 140729235368292 140729235368488 140729235368488 140729235374058 0
/proc/56133/statm: 63918 44841 2368 1147 0 51345 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 259864 KiB
Current children cumulated memory: 182436 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/267 56136
/proc/meminfo: memFree=101161144/131250000 swapFree=33010684/33010684
[pid=56130] ppid=56127 vsize=4192 memory=3072 CPUtime=0.19 cores=0,2
/proc/56130/stat : 56130 (run-opt-break.s) S 56127 56130 54907 0 -1 4194304 238 3373 0 0 0 0 19 0 20 0 1 0 56152057 4292608 768 18446744073709551615 93900635160576 93900636055109 140727859676128 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93900636294160 93900636341904 93900653445120 140727859681633 140727859681762 140727859681762 140727859687364 0
/proc/56130/statm: 1048 768 704 219 0 110 0
[pid=56133] ppid=56130 vsize=318492 memory=231512 CPUtime=101.78 cores=0,2
/proc/56133/stat : 56133 (roundingsat) R 56130 56130 54907 0 -1 4194304 46160 0 0 0 10049 129 0 0 20 0 1 0 56152079 326135808 57878 18446744073709551615 4227072 8923433 140729235363680 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29863936 140729235368292 140729235368488 140729235368488 140729235374058 0
/proc/56133/statm: 79623 57878 2368 1147 0 67050 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 322684 KiB
Current children cumulated memory: 234584 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/267 56150
/proc/meminfo: memFree=101122316/131250000 swapFree=33010684/33010684
[pid=56130] ppid=56127 vsize=4192 memory=3072 CPUtime=0.19 cores=0,2
/proc/56130/stat : 56130 (run-opt-break.s) S 56127 56130 54907 0 -1 4194304 238 3373 0 0 0 0 19 0 20 0 1 0 56152057 4292608 768 18446744073709551615 93900635160576 93900636055109 140727859676128 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93900636294160 93900636341904 93900653445120 140727859681633 140727859681762 140727859681762 140727859687364 0
/proc/56130/statm: 1048 768 704 219 0 110 0
[pid=56133] ppid=56130 vsize=344748 memory=255988 CPUtime=161.61 cores=0,2
/proc/56133/stat : 56133 (roundingsat) R 56130 56130 54907 0 -1 4194304 51763 0 0 0 15975 186 0 0 20 0 1 0 56152079 353021952 63997 18446744073709551615 4227072 8923433 140729235363680 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29863936 140729235368292 140729235368488 140729235368488 140729235374058 0
/proc/56133/statm: 86187 63997 2368 1147 0 73614 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 348940 KiB
Current children cumulated memory: 259060 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/267 56155
/proc/meminfo: memFree=101084412/131250000 swapFree=33010684/33010684
[pid=56130] ppid=56127 vsize=4192 memory=3072 CPUtime=0.19 cores=0,2
/proc/56130/stat : 56130 (run-opt-break.s) S 56127 56130 54907 0 -1 4194304 238 3373 0 0 0 0 19 0 20 0 1 0 56152057 4292608 768 18446744073709551615 93900635160576 93900636055109 140727859676128 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93900636294160 93900636341904 93900653445120 140727859681633 140727859681762 140727859681762 140727859687364 0
/proc/56130/statm: 1048 768 704 219 0 110 0
[pid=56133] ppid=56130 vsize=430288 memory=319236 CPUtime=221.45 cores=0,2
/proc/56133/stat : 56133 (roundingsat) R 56130 56130 54907 0 -1 4194304 64025 0 0 0 21905 240 0 0 20 0 1 0 56152079 440614912 79809 18446744073709551615 4227072 8923433 140729235363680 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29863936 140729235368292 140729235368488 140729235368488 140729235374058 0
/proc/56133/statm: 107572 79809 2368 1147 0 94999 0
Current children cumulated CPU time: 221.64 s
################
# More data... #
################
/proc/56133/statm: 262057 223872 2464 1147 0 249484 0
Current children cumulated CPU time: 3033.72 s
Current children cumulated vsize: 1052420 KiB
Current children cumulated memory: 898560 KiB
[startup+3102.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/267 56647
/proc/meminfo: memFree=127002948/131250000 swapFree=33010684/33010684
[pid=56130] ppid=56127 vsize=4192 memory=3072 CPUtime=0.19 cores=0,2
/proc/56130/stat : 56130 (run-opt-break.s) S 56127 56130 54907 0 -1 4194304 238 3373 0 0 0 0 19 0 20 0 1 0 56152057 4292608 768 18446744073709551615 93900635160576 93900636055109 140727859676128 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93900636294160 93900636341904 93900653445120 140727859681633 140727859681762 140727859681762 140727859687364 0
/proc/56130/statm: 1048 768 704 219 0 110 0
[pid=56133] ppid=56130 vsize=1048228 memory=895488 CPUtime=3093.37 cores=0,2
/proc/56133/stat : 56133 (roundingsat) R 56130 56130 54907 0 -1 4194304 163561 0 0 0 307406 1931 0 0 20 0 1 0 56152079 1073385472 223872 18446744073709551615 4227072 8923433 140729235363680 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29863936 140729235368292 140729235368488 140729235368488 140729235374058 0
/proc/56133/statm: 262057 223872 2464 1147 0 249484 0
Current children cumulated CPU time: 3093.56 s
Current children cumulated vsize: 1052420 KiB
Current children cumulated memory: 898560 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/267 56648
/proc/meminfo: memFree=127006068/131250000 swapFree=33010684/33010684
[pid=56130] ppid=56127 vsize=4192 memory=3072 CPUtime=0.19 cores=0,2
/proc/56130/stat : 56130 (run-opt-break.s) S 56127 56130 54907 0 -1 4194304 238 3373 0 0 0 0 19 0 20 0 1 0 56152057 4292608 768 18446744073709551615 93900635160576 93900636055109 140727859676128 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93900636294160 93900636341904 93900653445120 140727859681633 140727859681762 140727859681762 140727859687364 0
/proc/56130/statm: 1048 768 704 219 0 110 0
[pid=56133] ppid=56130 vsize=1048228 memory=895488 CPUtime=3153.2 cores=0,2
/proc/56133/stat : 56133 (roundingsat) R 56130 56130 54907 0 -1 4194304 163576 0 0 0 313362 1958 0 0 20 0 1 0 56152079 1073385472 223872 18446744073709551615 4227072 8923433 140729235363680 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29863936 140729235368292 140729235368488 140729235368488 140729235374058 0
/proc/56133/statm: 262057 223872 2464 1147 0 249484 0
Current children cumulated CPU time: 3153.39 s
Current children cumulated vsize: 1052420 KiB
Current children cumulated memory: 898560 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/266 56650
/proc/meminfo: memFree=127008192/131250000 swapFree=33010684/33010684
[pid=56130] ppid=56127 vsize=4192 memory=3072 CPUtime=0.19 cores=0,2
/proc/56130/stat : 56130 (run-opt-break.s) S 56127 56130 54907 0 -1 4194304 238 3373 0 0 0 0 19 0 20 0 1 0 56152057 4292608 768 18446744073709551615 93900635160576 93900636055109 140727859676128 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93900636294160 93900636341904 93900653445120 140727859681633 140727859681762 140727859681762 140727859687364 0
/proc/56130/statm: 1048 768 704 219 0 110 0
[pid=56133] ppid=56130 vsize=1048228 memory=895488 CPUtime=3213.02 cores=0,2
/proc/56133/stat : 56133 (roundingsat) R 56130 56130 54907 0 -1 4194304 163576 0 0 0 319322 1980 0 0 20 0 1 0 56152079 1073385472 223872 18446744073709551615 4227072 8923433 140729235363680 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29863936 140729235368292 140729235368488 140729235368488 140729235374058 0
/proc/56133/statm: 262057 223872 2464 1147 0 249484 0
Current children cumulated CPU time: 3213.21 s
Current children cumulated vsize: 1052420 KiB
Current children cumulated memory: 898560 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/267 56653
/proc/meminfo: memFree=127009808/131250000 swapFree=33010684/33010684
[pid=56130] ppid=56127 vsize=4192 memory=3072 CPUtime=0.19 cores=0,2
/proc/56130/stat : 56130 (run-opt-break.s) S 56127 56130 54907 0 -1 4194304 238 3373 0 0 0 0 19 0 20 0 1 0 56152057 4292608 768 18446744073709551615 93900635160576 93900636055109 140727859676128 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93900636294160 93900636341904 93900653445120 140727859681633 140727859681762 140727859681762 140727859687364 0
/proc/56130/statm: 1048 768 704 219 0 110 0
[pid=56133] ppid=56130 vsize=1048228 memory=895744 CPUtime=3272.85 cores=0,2
/proc/56133/stat : 56133 (roundingsat) R 56130 56130 54907 0 -1 4194304 163664 0 0 0 325270 2015 0 0 20 0 1 0 56152079 1073385472 223936 18446744073709551615 4227072 8923433 140729235363680 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29863936 140729235368292 140729235368488 140729235368488 140729235374058 0
/proc/56133/statm: 262057 223936 2464 1147 0 249484 0
Current children cumulated CPU time: 3273.04 s
Current children cumulated vsize: 1052420 KiB
Current children cumulated memory: 898816 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/267 56657
/proc/meminfo: memFree=127003376/131250000 swapFree=33010684/33010684
[pid=56130] ppid=56127 vsize=4192 memory=3072 CPUtime=0.19 cores=0,2
/proc/56130/stat : 56130 (run-opt-break.s) S 56127 56130 54907 0 -1 4194304 238 3373 0 0 0 0 19 0 20 0 1 0 56152057 4292608 768 18446744073709551615 93900635160576 93900636055109 140727859676128 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93900636294160 93900636341904 93900653445120 140727859681633 140727859681762 140727859681762 140727859687364 0
/proc/56130/statm: 1048 768 704 219 0 110 0
[pid=56133] ppid=56130 vsize=1069368 memory=909312 CPUtime=3332.69 cores=0,2
/proc/56133/stat : 56133 (roundingsat) R 56130 56130 54907 0 -1 4194304 167033 0 0 0 331224 2045 0 0 20 0 1 0 56152079 1095032832 227328 18446744073709551615 4227072 8923433 140729235363680 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29863936 140729235368292 140729235368488 140729235368488 140729235374058 0
/proc/56133/statm: 267342 227328 2464 1147 0 254769 0
Current children cumulated CPU time: 3332.88 s
Current children cumulated vsize: 1073560 KiB
Current children cumulated memory: 912384 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/267 56659
/proc/meminfo: memFree=126990408/131250000 swapFree=33010684/33010684
[pid=56130] ppid=56127 vsize=4192 memory=3072 CPUtime=0.19 cores=0,2
/proc/56130/stat : 56130 (run-opt-break.s) S 56127 56130 54907 0 -1 4194304 238 3373 0 0 0 0 19 0 20 0 1 0 56152057 4292608 768 18446744073709551615 93900635160576 93900636055109 140727859676128 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93900636294160 93900636341904 93900653445120 140727859681633 140727859681762 140727859681762 140727859687364 0
/proc/56130/statm: 1048 768 704 219 0 110 0
[pid=56133] ppid=56130 vsize=1069800 memory=909568 CPUtime=3392.53 cores=0,2
/proc/56133/stat : 56133 (roundingsat) R 56130 56130 54907 0 -1 4194304 167131 0 0 0 337195 2058 0 0 20 0 1 0 56152079 1095475200 227392 18446744073709551615 4227072 8923433 140729235363680 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29863936 140729235368292 140729235368488 140729235368488 140729235374058 0
/proc/56133/statm: 267450 227392 2464 1147 0 254877 0
Current children cumulated CPU time: 3392.72 s
Current children cumulated vsize: 1073992 KiB
Current children cumulated memory: 912640 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/267 56661
/proc/meminfo: memFree=126989428/131250000 swapFree=33010684/33010684
[pid=56130] ppid=56127 vsize=4192 memory=3072 CPUtime=0.19 cores=0,2
/proc/56130/stat : 56130 (run-opt-break.s) S 56127 56130 54907 0 -1 4194304 238 3373 0 0 0 0 19 0 20 0 1 0 56152057 4292608 768 18446744073709551615 93900635160576 93900636055109 140727859676128 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93900636294160 93900636341904 93900653445120 140727859681633 140727859681762 140727859681762 140727859687364 0
/proc/56130/statm: 1048 768 704 219 0 110 0
[pid=56133] ppid=56130 vsize=1071576 memory=916352 CPUtime=3452.36 cores=0,2
/proc/56133/stat : 56133 (roundingsat) R 56130 56130 54907 0 -1 4194304 167827 0 0 0 343152 2084 0 0 20 0 1 0 56152079 1097293824 229088 18446744073709551615 4227072 8923433 140729235363680 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29863936 140729235368292 140729235368488 140729235368488 140729235374058 0
/proc/56133/statm: 267894 229088 2464 1147 0 255321 0
Current children cumulated CPU time: 3452.55 s
Current children cumulated vsize: 1075768 KiB
Current children cumulated memory: 919424 KiB
[startup+3522.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/268 56668
/proc/meminfo: memFree=126939388/131250000 swapFree=33010684/33010684
[pid=56130] ppid=56127 vsize=4192 memory=3072 CPUtime=0.19 cores=0,2
/proc/56130/stat : 56130 (run-opt-break.s) S 56127 56130 54907 0 -1 4194304 238 3373 0 0 0 0 19 0 20 0 1 0 56152057 4292608 768 18446744073709551615 93900635160576 93900636055109 140727859676128 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93900636294160 93900636341904 93900653445120 140727859681633 140727859681762 140727859681762 140727859687364 0
/proc/56130/statm: 1048 768 704 219 0 110 0
[pid=56133] ppid=56130 vsize=1085996 memory=951708 CPUtime=3512.2 cores=0,2
/proc/56133/stat : 56133 (roundingsat) R 56130 56130 54907 0 -1 4194304 170416 0 0 0 349115 2105 0 0 20 0 1 0 56152079 1112059904 237927 18446744073709551615 4227072 8923433 140729235363680 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29863936 140729235368292 140729235368488 140729235368488 140729235374058 0
/proc/56133/statm: 271499 237927 2464 1147 0 258926 0
Current children cumulated CPU time: 3512.39 s
Current children cumulated vsize: 1090188 KiB
Current children cumulated memory: 954780 KiB
[startup+3582.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/266 56670
/proc/meminfo: memFree=126930364/131250000 swapFree=33010684/33010684
[pid=56130] ppid=56127 vsize=4192 memory=3072 CPUtime=0.19 cores=0,2
/proc/56130/stat : 56130 (run-opt-break.s) S 56127 56130 54907 0 -1 4194304 238 3373 0 0 0 0 19 0 20 0 1 0 56152057 4292608 768 18446744073709551615 93900635160576 93900636055109 140727859676128 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93900636294160 93900636341904 93900653445120 140727859681633 140727859681762 140727859681762 140727859687364 0
/proc/56130/statm: 1048 768 704 219 0 110 0
[pid=56133] ppid=56130 vsize=1090528 memory=954780 CPUtime=3572.03 cores=0,2
/proc/56133/stat : 56133 (roundingsat) R 56130 56130 54907 0 -1 4194304 171197 0 0 0 355082 2121 0 0 20 0 1 0 56152079 1116700672 238695 18446744073709551615 4227072 8923433 140729235363680 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29863936 140729235368292 140729235368488 140729235368488 140729235374058 0
/proc/56133/statm: 272632 238695 2464 1147 0 260059 0
Current children cumulated CPU time: 3572.22 s
Current children cumulated vsize: 1094720 KiB
Current children cumulated memory: 957852 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.2 s]
/proc/loadavg: 4.09 4.08 4.09 5/266 56672
/proc/meminfo: memFree=126931928/131250000 swapFree=33010684/33010684
[pid=56130] ppid=56127 vsize=4192 memory=3072 CPUtime=0.19 cores=0,2
/proc/56130/stat : 56130 (run-opt-break.s) S 56127 56130 54907 0 -1 4194304 238 3373 0 0 0 0 19 0 20 0 1 0 56152057 4292608 768 18446744073709551615 93900635160576 93900636055109 140727859676128 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93900636294160 93900636341904 93900653445120 140727859681633 140727859681762 140727859681762 140727859687364 0
/proc/56130/statm: 1048 768 704 219 0 110 0
[pid=56133] ppid=56130 vsize=1090528 memory=954908 CPUtime=3599.86 cores=0,2
/proc/56133/stat : 56133 (roundingsat) R 56130 56130 54907 0 -1 4194304 171230 0 0 0 357854 2132 0 0 20 0 1 0 56152079 1116700672 238727 18446744073709551615 4227072 8923433 140729235363680 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29863936 140729235368292 140729235368488 140729235368488 140729235374058 0
/proc/56133/statm: 272632 238727 2464 1147 0 260059 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1094720 KiB
Current children cumulated memory: 957980 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.2 s]
# the end of solver process 56130 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.200442 s, system=0.008001 s
Sleeping 2 seconds
[startup+3610.21 s]
# the end of solver process 56133 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3578.75 s, system=21.3325 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
Child status: 2
Real time (s): 3610.21
CPU time (s): 3600.09
CPU user time (s): 3578.75
CPU system time (s): 21.3325
CPU usage (%): 99.7197
Max. virtual memory (cumulated for all children) (KiB): 1094720
Max. memory (cumulated for all children) (KiB): 957980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3578.75
system time used= 21.3325
maximum resident set size= 955164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 174861
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 333
involuntary context switches= 5230
# summary of solver processes directly reported to runsolver:
# pid: 56130,56133
# total CPU time (s): 3600.09
# total CPU user time (s): 3578.75
# total CPU system time (s): 21.3325
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.2488 second user time and 15.9757 second system time
The end
Begin job on nodeC028 at 2025-07-01 23:28:15
IDJOB=4499170
IDBENCH=148772
IDSOLVER=3359
FILE ID=nodeC028/4499170-1751405295
RUNJOBID= nodeC028-1751398701-54920
SLURM_JOB_ID= 9598282
Free space on /tmp= 432776 MiB
SOLVER NAME= roundingsat+pbsuma-opt 63f22ad
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx63.opb
COMMAND LINE= run-opt-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4499170-1751405295/watcher-4499170-1751405295 -o /tmp/evaluation-result-4499170-1751405295/solver-4499170-1751405295 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751398701-54920 --watchdog 3760 run-opt-break.sh HOME/instance-4499170-1751405295.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7c2ff02722ff3a09887b085a032d3a00
RANDOM SEED=282948156
nodeC028 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3596.032
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.055
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.109
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3613.952
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.077
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.136
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3589.634
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 101394116 kB
MemAvailable: 101684124 kB
Buffers: 3280 kB
Cached: 1096144 kB
SwapCached: 0 kB
Active: 28423592 kB
Inactive: 787016 kB
Active(anon): 28129252 kB
Inactive(anon): 0 kB
Active(file): 294340 kB
Inactive(file): 787016 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7540 kB
Writeback: 0 kB
AnonPages: 28114664 kB
Mapped: 117544 kB
Shmem: 18068 kB
KReclaimable: 95780 kB
Slab: 182612 kB
SReclaimable: 95780 kB
SUnreclaim: 86832 kB
KernelStack: 4336 kB
PageTables: 60008 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 29631232 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150600 kB
VmallocChunk: 0 kB
Percpu: 3712 kB
HardwareCorrupted: 0 kB
AnonHugePages: 8327168 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 197332 kB
DirectMap2M: 7962624 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432884 MiB
End job on nodeC028 at 2025-07-02 00:28:26