0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.00/0.01 c #variables 70 #constraints 2
0.00/0.01 c rational objective 1.19422
0.08/0.17 c #Conflicts: 1000 | #Constraints: 1093
0.08/0.17 c #Conflicts: 2000 | #Constraints: 2145
0.08/0.17 c INPROCESSING
0.08/0.17 c GARBAGE COLLECT
0.08/0.17 c rational objective 2
0.38/0.45 c #Conflicts: 3000 | #Constraints: 2170
0.38/0.45 c #Conflicts: 4000 | #Constraints: 3257
0.38/0.45 c INPROCESSING
0.38/0.45 c GARBAGE COLLECT
0.38/0.45 c rational objective 2
0.67/0.79 c #Conflicts: 5000 | #Constraints: 2587
0.67/0.79 c #Conflicts: 6000 | #Constraints: 3668
0.67/0.79 c INPROCESSING
0.67/0.79 c GARBAGE COLLECT
0.67/0.79 c rational objective 2
1.26/1.30 c #Conflicts: 7000 | #Constraints: 2605
1.26/1.30 c #Conflicts: 8000 | #Constraints: 3690
1.26/1.30 c #Conflicts: 9000 | #Constraints: 4779
1.26/1.30 c INPROCESSING
1.26/1.30 c GARBAGE COLLECT
1.26/1.30 c rational objective 2
1.86/1.90 c #Conflicts: 10000 | #Constraints: 3638
1.86/1.90 c #Conflicts: 11000 | #Constraints: 4696
1.86/1.90 c #Conflicts: 12000 | #Constraints: 5774
1.86/1.90 c INPROCESSING
1.86/1.90 c GARBAGE COLLECT
1.86/1.90 c rational objective 2
2.36/2.47 c #Conflicts: 13000 | #Constraints: 3897
2.36/2.47 c #Conflicts: 14000 | #Constraints: 4897
2.36/2.47 c #Conflicts: 15000 | #Constraints: 5897
2.36/2.47 c INPROCESSING
2.36/2.47 c GARBAGE COLLECT
2.36/2.47 c rational objective 2
3.07/3.14 c #Conflicts: 16000 | #Constraints: 4035
3.07/3.14 c #Conflicts: 17000 | #Constraints: 5137
3.07/3.14 c #Conflicts: 18000 | #Constraints: 6233
3.07/3.14 c INPROCESSING
3.07/3.14 c GARBAGE COLLECT
3.07/3.14 c rational objective 2
3.76/3.85 c #Conflicts: 19000 | #Constraints: 4030
3.76/3.85 c #Conflicts: 20000 | #Constraints: 5030
3.76/3.85 c #Conflicts: 21000 | #Constraints: 6050
3.76/3.85 c INPROCESSING
3.76/3.85 c GARBAGE COLLECT
3.76/3.85 c rational objective 2.00382
4.66/4.71 c #Conflicts: 22000 | #Constraints: 3758
4.66/4.71 c #Conflicts: 23000 | #Constraints: 4758
4.66/4.71 c #Conflicts: 24000 | #Constraints: 5758
4.66/4.71 c #Conflicts: 25000 | #Constraints: 6758
4.66/4.71 c INPROCESSING
4.66/4.71 c GARBAGE COLLECT
4.66/4.71 c rational objective 2.00001
5.65/5.74 c #Conflicts: 26000 | #Constraints: 4351
5.65/5.74 c #Conflicts: 27000 | #Constraints: 5364
5.65/5.74 c #Conflicts: 28000 | #Constraints: 6370
5.65/5.74 c #Conflicts: 29000 | #Constraints: 7370
5.65/5.74 c INPROCESSING
5.65/5.74 c GARBAGE COLLECT
5.65/5.74 c rational objective 2.00001
6.75/6.85 c #Conflicts: 30000 | #Constraints: 4761
6.75/6.85 c #Conflicts: 31000 | #Constraints: 5761
6.75/6.85 c #Conflicts: 32000 | #Constraints: 6761
6.75/6.85 c #Conflicts: 33000 | #Constraints: 7761
6.75/6.85 c INPROCESSING
6.75/6.85 c GARBAGE COLLECT
6.75/6.85 c rational objective 2.00001
7.84/7.96 c #Conflicts: 34000 | #Constraints: 4899
7.84/7.96 c #Conflicts: 35000 | #Constraints: 5944
7.84/7.96 c #Conflicts: 36000 | #Constraints: 7024
7.84/7.96 c #Conflicts: 37000 | #Constraints: 8138
7.84/7.96 c INPROCESSING
7.84/7.96 c GARBAGE COLLECT
7.84/7.96 c rational objective 2.00001
9.14/9.24 c #Conflicts: 38000 | #Constraints: 5055
9.14/9.24 c #Conflicts: 39000 | #Constraints: 6067
9.14/9.24 c #Conflicts: 40000 | #Constraints: 7067
9.14/9.24 c #Conflicts: 41000 | #Constraints: 8067
9.14/9.24 c INPROCESSING
9.14/9.24 c GARBAGE COLLECT
9.14/9.24 c rational objective 2.00001
10.64/10.70 c #Conflicts: 42000 | #Constraints: 4776
10.64/10.70 c #Conflicts: 43000 | #Constraints: 5828
10.64/10.70 c #Conflicts: 44000 | #Constraints: 6828
10.64/10.70 c #Conflicts: 45000 | #Constraints: 7828
10.64/10.70 c #Conflicts: 46000 | #Constraints: 8828
10.64/10.70 c INPROCESSING
10.64/10.70 c GARBAGE COLLECT
10.64/10.70 c rational objective 2.00001
12.33/12.42 c #Conflicts: 47000 | #Constraints: 5370
12.33/12.42 c #Conflicts: 48000 | #Constraints: 6381
12.33/12.42 c #Conflicts: 49000 | #Constraints: 7381
12.33/12.42 c #Conflicts: 50000 | #Constraints: 8381
12.33/12.42 c #Conflicts: 51000 | #Constraints: 9381
12.33/12.42 c INPROCESSING
12.33/12.42 c GARBAGE COLLECT
12.33/12.42 c rational objective 2.00001
14.13/14.23 c #Conflicts: 52000 | #Constraints: 5780
14.13/14.23 c #Conflicts: 53000 | #Constraints: 6852
14.13/14.23 c #Conflicts: 54000 | #Constraints: 7885
14.13/14.23 c #Conflicts: 55000 | #Constraints: 8885
14.13/14.23 c #Conflicts: 56000 | #Constraints: 9885
14.13/14.23 c INPROCESSING
14.13/14.23 c GARBAGE COLLECT
14.13/14.23 c rational objective 2.00001
15.93/16.02 c #Conflicts: 57000 | #Constraints: 6084
15.93/16.02 c #Conflicts: 58000 | #Constraints: 7131
15.93/16.02 c #Conflicts: 59000 | #Constraints: 8131
15.93/16.02 c #Conflicts: 60000 | #Constraints: 9131
15.93/16.02 c #Conflicts: 61000 | #Constraints: 10131
15.93/16.02 c INPROCESSING
15.93/16.02 c GARBAGE COLLECT
15.93/16.02 c rational objective 2.00001
17.82/17.95 c #Conflicts: 62000 | #Constraints: 6017
17.82/17.95 c #Conflicts: 63000 | #Constraints: 7022
17.82/17.95 c #Conflicts: 64000 | #Constraints: 8022
17.82/17.95 c #Conflicts: 65000 | #Constraints: 9022
17.82/17.95 c #Conflicts: 66000 | #Constraints: 10022
17.82/17.95 c INPROCESSING
17.82/17.95 c GARBAGE COLLECT
17.82/17.95 c rational objective 2.00001
20.02/20.11 c #Conflicts: 67000 | #Constraints: 5750
20.02/20.11 c #Conflicts: 68000 | #Constraints: 6779
20.02/20.11 c #Conflicts: 69000 | #Constraints: 7779
20.02/20.11 c #Conflicts: 70000 | #Constraints: 8779
20.02/20.11 c #Conflicts: 71000 | #Constraints: 9779
20.02/20.11 c #Conflicts: 72000 | #Constraints: 10779
20.02/20.11 c INPROCESSING
20.02/20.11 c GARBAGE COLLECT
20.02/20.11 c rational objective 2.00001
22.21/22.32 c #Conflicts: 73000 | #Constraints: 6377
22.21/22.32 c #Conflicts: 74000 | #Constraints: 7452
22.21/22.32 c #Conflicts: 75000 | #Constraints: 8452
22.21/22.32 c #Conflicts: 76000 | #Constraints: 9452
22.21/22.32 c #Conflicts: 77000 | #Constraints: 10464
22.21/22.32 c #Conflicts: 78000 | #Constraints: 11585
22.21/22.32 c INPROCESSING
22.21/22.32 c GARBAGE COLLECT
22.21/22.32 c rational objective 2.00001
24.40/24.53 c #Conflicts: 79000 | #Constraints: 6862
24.40/24.53 c #Conflicts: 80000 | #Constraints: 7862
24.40/24.53 c #Conflicts: 81000 | #Constraints: 8862
24.40/24.53 c #Conflicts: 82000 | #Constraints: 9862
24.40/24.53 c #Conflicts: 83000 | #Constraints: 10862
24.40/24.53 c #Conflicts: 84000 | #Constraints: 11862
24.40/24.53 c INPROCESSING
24.40/24.53 c GARBAGE COLLECT
24.40/24.53 c rational objective 2.00001
26.80/26.93 c #Conflicts: 85000 | #Constraints: 7036
26.80/26.93 c #Conflicts: 86000 | #Constraints: 8076
26.80/26.93 c #Conflicts: 87000 | #Constraints: 9076
26.80/26.93 c #Conflicts: 88000 | #Constraints: 10076
26.80/26.93 c #Conflicts: 89000 | #Constraints: 11076
26.80/26.93 c #Conflicts: 90000 | #Constraints: 12076
26.80/26.93 c INPROCESSING
26.80/26.93 c GARBAGE COLLECT
26.80/26.93 c rational objective 2.00001
29.19/29.34 c #Conflicts: 91000 | #Constraints: 6990
29.19/29.34 c #Conflicts: 92000 | #Constraints: 8079
29.19/29.34 c #Conflicts: 93000 | #Constraints: 9082
29.19/29.34 c #Conflicts: 94000 | #Constraints: 10082
29.19/29.34 c #Conflicts: 95000 | #Constraints: 11082
29.19/29.34 c #Conflicts: 96000 | #Constraints: 12082
29.19/29.34 c INPROCESSING
29.19/29.34 c GARBAGE COLLECT
29.19/29.34 c rational objective 2.00001
31.89/32.08 c #Conflicts: 97000 | #Constraints: 6778
31.89/32.08 c #Conflicts: 98000 | #Constraints: 7781
31.89/32.08 c #Conflicts: 99000 | #Constraints: 8781
31.89/32.08 c #Conflicts: 100000 | #Constraints: 9781
31.89/32.08 c #Conflicts: 101000 | #Constraints: 10781
31.89/32.08 c #Conflicts: 102000 | #Constraints: 11781
31.89/32.08 c #Conflicts: 103000 | #Constraints: 12781
31.89/32.08 c INPROCESSING
31.89/32.08 c GARBAGE COLLECT
31.89/32.08 c rational objective 2.00001
34.68/34.88 c #Conflicts: 104000 | #Constraints: 7348
34.68/34.88 c #Conflicts: 105000 | #Constraints: 8348
34.68/34.88 c #Conflicts: 106000 | #Constraints: 9348
34.68/34.88 c #Conflicts: 107000 | #Constraints: 10348
34.68/34.88 c #Conflicts: 108000 | #Constraints: 11348
34.68/34.88 c #Conflicts: 109000 | #Constraints: 12406
34.68/34.88 c #Conflicts: 110000 | #Constraints: 13585
34.68/34.88 c INPROCESSING
34.68/34.88 c GARBAGE COLLECT
34.68/34.88 c rational objective 2.00001
37.27/37.45 c #Conflicts: 111000 | #Constraints: 7893
37.27/37.45 c #Conflicts: 112000 | #Constraints: 8902
37.27/37.45 c #Conflicts: 113000 | #Constraints: 9902
37.27/37.45 c #Conflicts: 114000 | #Constraints: 10902
37.27/37.45 c #Conflicts: 115000 | #Constraints: 11902
37.27/37.45 c #Conflicts: 116000 | #Constraints: 12902
37.27/37.45 c #Conflicts: 117000 | #Constraints: 13902
37.27/37.45 c INPROCESSING
37.27/37.45 c GARBAGE COLLECT
37.27/37.45 c rational objective 2.00001
40.17/40.39 c #Conflicts: 118000 | #Constraints: 8047
40.17/40.39 c #Conflicts: 119000 | #Constraints: 9144
40.17/40.39 c #Conflicts: 120000 | #Constraints: 10236
40.17/40.39 c #Conflicts: 121000 | #Constraints: 11340
40.17/40.39 c #Conflicts: 122000 | #Constraints: 12446
40.17/40.39 c #Conflicts: 123000 | #Constraints: 13449
40.17/40.39 c #Conflicts: 124000 | #Constraints: 14449
40.17/40.39 c INPROCESSING
40.17/40.39 c GARBAGE COLLECT
40.17/40.39 c rational objective 2.00001
43.16/43.32 c #Conflicts: 125000 | #Constraints: 8185
43.16/43.32 c #Conflicts: 126000 | #Constraints: 9185
43.16/43.32 c #Conflicts: 127000 | #Constraints: 10185
43.16/43.32 c #Conflicts: 128000 | #Constraints: 11185
43.16/43.32 c #Conflicts: 129000 | #Constraints: 12185
43.16/43.32 c #Conflicts: 130000 | #Constraints: 13185
43.16/43.32 c #Conflicts: 131000 | #Constraints: 14196
43.16/43.32 c INPROCESSING
43.16/43.32 c GARBAGE COLLECT
43.16/43.32 c rational objective 2.00001
46.35/46.56 c #Conflicts: 132000 | #Constraints: 7859
46.35/46.56 c #Conflicts: 133000 | #Constraints: 8860
46.35/46.56 c #Conflicts: 134000 | #Constraints: 9860
46.35/46.56 c #Conflicts: 135000 | #Constraints: 10860
46.35/46.56 c #Conflicts: 136000 | #Constraints: 11860
46.35/46.56 c #Conflicts: 137000 | #Constraints: 12860
46.35/46.56 c #Conflicts: 138000 | #Constraints: 13860
46.35/46.56 c #Conflicts: 139000 | #Constraints: 14860
46.35/46.56 c INPROCESSING
46.35/46.56 c GARBAGE COLLECT
46.35/46.56 c rational objective 2.00001
49.85/50.09 c #Conflicts: 140000 | #Constraints: 8392
49.85/50.09 c #Conflicts: 141000 | #Constraints: 9396
49.85/50.09 c #Conflicts: 142000 | #Constraints: 10396
49.85/50.09 c #Conflicts: 143000 | #Constraints: 11396
49.85/50.09 c #Conflicts: 144000 | #Constraints: 12396
49.85/50.09 c #Conflicts: 145000 | #Constraints: 13396
49.85/50.09 c #Conflicts: 146000 | #Constraints: 14396
49.85/50.09 c #Conflicts: 147000 | #Constraints: 15401
49.85/50.09 c INPROCESSING
49.85/50.09 c GARBAGE COLLECT
49.85/50.09 c rational objective 2.00001
53.43/53.60 c #Conflicts: 148000 | #Constraints: 8760
53.43/53.60 c #Conflicts: 149000 | #Constraints: 9760
53.43/53.60 c #Conflicts: 150000 | #Constraints: 10760
53.43/53.60 c #Conflicts: 151000 | #Constraints: 11760
53.43/53.60 c #Conflicts: 152000 | #Constraints: 12760
53.43/53.60 c #Conflicts: 153000 | #Constraints: 13760
53.43/53.60 c #Conflicts: 154000 | #Constraints: 14760
53.43/53.60 c #Conflicts: 155000 | #Constraints: 15760
53.43/53.60 c INPROCESSING
53.43/53.60 c GARBAGE COLLECT
53.43/53.60 c rational objective 2.00001
58.02/58.28 c #Conflicts: 156000 | #Constraints: 8940
58.02/58.28 c #Conflicts: 157000 | #Constraints: 9965
58.02/58.28 c #Conflicts: 158000 | #Constraints: 10965
58.02/58.28 c #Conflicts: 159000 | #Constraints: 11965
58.02/58.28 c #Conflicts: 160000 | #Constraints: 12965
58.02/58.28 c #Conflicts: 161000 | #Constraints: 13965
58.02/58.28 c #Conflicts: 162000 | #Constraints: 14965
58.02/58.28 c #Conflicts: 163000 | #Constraints: 15965
58.02/58.28 c INPROCESSING
58.02/58.28 c GARBAGE COLLECT
58.02/58.28 c rational objective 2.00001
62.01/62.29 c #Conflicts: 164000 | #Constraints: 8902
62.01/62.29 c #Conflicts: 165000 | #Constraints: 9902
62.01/62.29 c #Conflicts: 166000 | #Constraints: 10902
62.01/62.29 c #Conflicts: 167000 | #Constraints: 11902
62.01/62.29 c #Conflicts: 168000 | #Constraints: 12902
62.01/62.29 c #Conflicts: 169000 | #Constraints: 13902
62.01/62.29 c #Conflicts: 170000 | #Constraints: 14902
62.01/62.29 c #Conflicts: 171000 | #Constraints: 15902
62.01/62.29 c INPROCESSING
62.01/62.29 c GARBAGE COLLECT
62.01/62.29 c rational objective 2.00001
66.40/66.68 c #Conflicts: 172000 | #Constraints: 8708
66.40/66.68 c #Conflicts: 173000 | #Constraints: 9860
66.40/66.68 c #Conflicts: 174000 | #Constraints: 10892
66.40/66.68 c #Conflicts: 175000 | #Constraints: 11892
66.40/66.68 c #Conflicts: 176000 | #Constraints: 12892
66.40/66.68 c #Conflicts: 177000 | #Constraints: 13892
66.40/66.68 c #Conflicts: 178000 | #Constraints: 14892
66.40/66.68 c #Conflicts: 179000 | #Constraints: 15892
66.40/66.68 c #Conflicts: 180000 | #Constraints: 16892
66.40/66.68 c INPROCESSING
66.40/66.68 c GARBAGE COLLECT
66.40/66.68 c rational objective 2.00001
70.98/71.26 c #Conflicts: 181000 | #Constraints: 9350
70.98/71.26 c #Conflicts: 182000 | #Constraints: 10350
70.98/71.26 c #Conflicts: 183000 | #Constraints: 11350
70.98/71.26 c #Conflicts: 184000 | #Constraints: 12350
70.98/71.26 c #Conflicts: 185000 | #Constraints: 13350
70.98/71.26 c #Conflicts: 186000 | #Constraints: 14350
70.98/71.26 c #Conflicts: 187000 | #Constraints: 15350
70.98/71.26 c #Conflicts: 188000 | #Constraints: 16350
70.98/71.26 c #Conflicts: 189000 | #Constraints: 17350
70.98/71.26 c INPROCESSING
70.98/71.26 c GARBAGE COLLECT
70.98/71.26 c rational objective 2.00001
76.67/76.96 c #Conflicts: 190000 | #Constraints: 9749
76.67/76.96 c #Conflicts: 191000 | #Constraints: 10854
76.67/76.96 c #Conflicts: 192000 | #Constraints: 11917
76.67/76.96 c #Conflicts: 193000 | #Constraints: 12917
76.67/76.96 c #Conflicts: 194000 | #Constraints: 13917
76.67/76.96 c #Conflicts: 195000 | #Constraints: 14917
76.67/76.96 c #Conflicts: 196000 | #Constraints: 15917
76.67/76.96 c #Conflicts: 197000 | #Constraints: 16917
76.67/76.96 c #Conflicts: 198000 | #Constraints: 17917
76.67/76.96 c INPROCESSING
76.67/76.96 c GARBAGE COLLECT
76.67/76.96 c rational objective 2.00001
81.96/82.22 c #Conflicts: 199000 | #Constraints: 10013
81.96/82.22 c #Conflicts: 200000 | #Constraints: 11013
81.96/82.22 c #Conflicts: 201000 | #Constraints: 12013
81.96/82.22 c #Conflicts: 202000 | #Constraints: 13013
81.96/82.22 c #Conflicts: 203000 | #Constraints: 14013
81.96/82.22 c #Conflicts: 204000 | #Constraints: 15013
81.96/82.22 c #Conflicts: 205000 | #Constraints: 16013
81.96/82.22 c #Conflicts: 206000 | #Constraints: 17013
81.96/82.22 c #Conflicts: 207000 | #Constraints: 18013
81.96/82.22 c INPROCESSING
81.96/82.22 c GARBAGE COLLECT
81.96/82.22 c rational objective 2.00001
86.65/86.93 c #Conflicts: 208000 | #Constraints: 9935
86.65/86.93 c #Conflicts: 209000 | #Constraints: 10935
86.65/86.93 c #Conflicts: 210000 | #Constraints: 11935
86.65/86.93 c #Conflicts: 211000 | #Constraints: 12935
86.65/86.93 c #Conflicts: 212000 | #Constraints: 13935
86.65/86.93 c #Conflicts: 213000 | #Constraints: 14935
86.65/86.93 c #Conflicts: 214000 | #Constraints: 15935
86.65/86.93 c #Conflicts: 215000 | #Constraints: 16935
86.65/86.93 c #Conflicts: 216000 | #Constraints: 17935
86.65/86.93 c INPROCESSING
86.65/86.93 c GARBAGE COLLECT
86.65/86.93 c rational objective 2.00001
92.84/93.14 c #Conflicts: 217000 | #Constraints: 9718
92.84/93.14 c #Conflicts: 218000 | #Constraints: 10840
92.84/93.14 c #Conflicts: 219000 | #Constraints: 11951
92.84/93.14 c #Conflicts: 220000 | #Constraints: 12956
92.84/93.14 c #Conflicts: 221000 | #Constraints: 13956
92.84/93.14 c #Conflicts: 222000 | #Constraints: 14956
92.84/93.14 c #Conflicts: 223000 | #Constraints: 15956
92.84/93.14 c #Conflicts: 224000 | #Constraints: 16956
92.84/93.14 c #Conflicts: 225000 | #Constraints: 17956
92.84/93.14 c #Conflicts: 226000 | #Constraints: 18956
92.84/93.14 c INPROCESSING
92.84/93.14 c GARBAGE COLLECT
92.84/93.14 c rational objective 2.00001
99.31/99.69 c #Conflicts: 227000 | #Constraints: 10460
99.31/99.69 c #Conflicts: 228000 | #Constraints: 11572
99.31/99.69 c #Conflicts: 229000 | #Constraints: 12654
99.31/99.69 c #Conflicts: 230000 | #Constraints: 13760
99.31/99.69 c #Conflicts: 231000 | #Constraints: 14857
99.31/99.69 c #Conflicts: 232000 | #Constraints: 15866
99.31/99.69 c #Conflicts: 233000 | #Constraints: 16866
99.31/99.69 c #Conflicts: 234000 | #Constraints: 17866
99.31/99.69 c #Conflicts: 235000 | #Constraints: 18866
99.31/99.69 c #Conflicts: 236000 | #Constraints: 19866
99.31/99.69 c INPROCESSING
99.31/99.69 c GARBAGE COLLECT
99.31/99.69 c rational objective 2.00001
105.00/105.34 c #Conflicts: 237000 | #Constraints: 10963
105.00/105.34 c #Conflicts: 238000 | #Constraints: 11963
105.00/105.34 c #Conflicts: 239000 | #Constraints: 12963
105.00/105.34 c #Conflicts: 240000 | #Constraints: 13963
105.00/105.34 c #Conflicts: 241000 | #Constraints: 14963
105.00/105.34 c #Conflicts: 242000 | #Constraints: 15963
105.00/105.34 c #Conflicts: 243000 | #Constraints: 16963
105.00/105.34 c #Conflicts: 244000 | #Constraints: 17963
105.00/105.34 c #Conflicts: 245000 | #Constraints: 18963
105.00/105.34 c #Conflicts: 246000 | #Constraints: 19963
105.00/105.34 c INPROCESSING
105.00/105.34 c GARBAGE COLLECT
105.00/105.34 c rational objective 2.00001
111.49/111.84 c #Conflicts: 247000 | #Constraints: 11035
111.49/111.84 c #Conflicts: 248000 | #Constraints: 12105
111.49/111.84 c #Conflicts: 249000 | #Constraints: 13166
111.49/111.84 c #Conflicts: 250000 | #Constraints: 14229
111.49/111.84 c #Conflicts: 251000 | #Constraints: 15232
111.49/111.84 c #Conflicts: 252000 | #Constraints: 16232
111.49/111.84 c #Conflicts: 253000 | #Constraints: 17232
111.49/111.84 c #Conflicts: 254000 | #Constraints: 18232
111.49/111.84 c #Conflicts: 255000 | #Constraints: 19232
111.49/111.84 c #Conflicts: 256000 | #Constraints: 20232
111.49/111.84 c INPROCESSING
111.49/111.84 c GARBAGE COLLECT
111.49/111.84 c rational objective 2.00001
117.87/118.23 c #Conflicts: 257000 | #Constraints: 11023
117.87/118.23 c #Conflicts: 258000 | #Constraints: 12023
117.87/118.23 c #Conflicts: 259000 | #Constraints: 13023
117.87/118.23 c #Conflicts: 260000 | #Constraints: 14023
117.87/118.23 c #Conflicts: 261000 | #Constraints: 15023
117.87/118.23 c #Conflicts: 262000 | #Constraints: 16023
117.87/118.23 c #Conflicts: 263000 | #Constraints: 17023
117.87/118.23 c #Conflicts: 264000 | #Constraints: 18023
117.87/118.23 c #Conflicts: 265000 | #Constraints: 19023
117.87/118.23 c #Conflicts: 266000 | #Constraints: 20023
117.87/118.23 c INPROCESSING
117.87/118.23 c GARBAGE COLLECT
117.87/118.23 c rational objective 2.00001
124.85/125.20 c #Conflicts: 267000 | #Constraints: 10731
124.85/125.20 c #Conflicts: 268000 | #Constraints: 11731
124.85/125.20 c #Conflicts: 269000 | #Constraints: 12731
124.85/125.20 c #Conflicts: 270000 | #Constraints: 13731
124.85/125.20 c #Conflicts: 271000 | #Constraints: 14731
124.85/125.20 c #Conflicts: 272000 | #Constraints: 15731
124.85/125.20 c #Conflicts: 273000 | #Constraints: 16731
124.85/125.20 c #Conflicts: 274000 | #Constraints: 17731
124.85/125.20 c #Conflicts: 275000 | #Constraints: 18731
124.85/125.20 c #Conflicts: 276000 | #Constraints: 19731
124.85/125.20 c #Conflicts: 277000 | #Constraints: 20731
124.85/125.20 c INPROCESSING
124.85/125.20 c GARBAGE COLLECT
124.85/125.20 c rational objective 2.00001
131.64/132.02 c #Conflicts: 278000 | #Constraints: 11355
131.64/132.02 c #Conflicts: 279000 | #Constraints: 12355
131.64/132.02 c #Conflicts: 280000 | #Constraints: 13355
131.64/132.02 c #Conflicts: 281000 | #Constraints: 14355
131.64/132.02 c #Conflicts: 282000 | #Constraints: 15355
131.64/132.02 c #Conflicts: 283000 | #Constraints: 16355
131.64/132.02 c #Conflicts: 284000 | #Constraints: 17355
131.64/132.02 c #Conflicts: 285000 | #Constraints: 18355
131.64/132.02 c #Conflicts: 286000 | #Constraints: 19355
131.64/132.02 c #Conflicts: 287000 | #Constraints: 20355
131.64/132.02 c #Conflicts: 288000 | #Constraints: 21355
131.64/132.02 c INPROCESSING
131.64/132.02 c GARBAGE COLLECT
131.64/132.02 c rational objective 2.00001
138.72/139.18 c #Conflicts: 289000 | #Constraints: 11725
138.72/139.18 c #Conflicts: 290000 | #Constraints: 12725
138.72/139.18 c #Conflicts: 291000 | #Constraints: 13725
138.72/139.18 c #Conflicts: 292000 | #Constraints: 14725
138.72/139.18 c #Conflicts: 293000 | #Constraints: 15725
138.72/139.18 c #Conflicts: 294000 | #Constraints: 16725
138.72/139.18 c #Conflicts: 295000 | #Constraints: 17725
138.72/139.18 c #Conflicts: 296000 | #Constraints: 18725
138.72/139.18 c #Conflicts: 297000 | #Constraints: 19725
138.72/139.18 c #Conflicts: 298000 | #Constraints: 20725
138.72/139.18 c #Conflicts: 299000 | #Constraints: 21725
138.72/139.18 c INPROCESSING
138.72/139.18 c GARBAGE COLLECT
138.72/139.18 c rational objective 2.00001
146.20/146.68 c #Conflicts: 300000 | #Constraints: 11908
146.20/146.68 c #Conflicts: 301000 | #Constraints: 12908
146.20/146.68 c #Conflicts: 302000 | #Constraints: 13908
146.20/146.68 c #Conflicts: 303000 | #Constraints: 14908
146.20/146.68 c #Conflicts: 304000 | #Constraints: 15908
146.20/146.68 c #Conflicts: 305000 | #Constraints: 16908
146.20/146.68 c #Conflicts: 306000 | #Constraints: 17908
146.20/146.68 c #Conflicts: 307000 | #Constraints: 18908
146.20/146.68 c #Conflicts: 308000 | #Constraints: 19908
146.20/146.68 c #Conflicts: 309000 | #Constraints: 20908
146.20/146.68 c #Conflicts: 310000 | #Constraints: 21908
146.20/146.68 c INPROCESSING
146.20/146.68 c GARBAGE COLLECT
146.20/146.68 c rational objective 2.00001
154.47/154.95 c #Conflicts: 311000 | #Constraints: 11904
154.47/154.95 c #Conflicts: 312000 | #Constraints: 12904
154.47/154.95 c #Conflicts: 313000 | #Constraints: 13904
154.47/154.95 c #Conflicts: 314000 | #Constraints: 14904
154.47/154.95 c #Conflicts: 315000 | #Constraints: 15904
154.47/154.95 c #Conflicts: 316000 | #Constraints: 16904
154.47/154.95 c #Conflicts: 317000 | #Constraints: 17904
154.47/154.95 c #Conflicts: 318000 | #Constraints: 18904
154.47/154.95 c #Conflicts: 319000 | #Constraints: 19904
154.47/154.95 c #Conflicts: 320000 | #Constraints: 20904
154.47/154.95 c #Conflicts: 321000 | #Constraints: 21904
154.47/154.95 c INPROCESSING
154.47/154.95 c GARBAGE COLLECT
154.47/154.95 c rational objective 2.00001
162.76/163.29 c #Conflicts: 322000 | #Constraints: 11663
162.76/163.29 c #Conflicts: 323000 | #Constraints: 12663
162.76/163.29 c #Conflicts: 324000 | #Constraints: 13663
162.76/163.29 c #Conflicts: 325000 | #Constraints: 14663
162.76/163.29 c #Conflicts: 326000 | #Constraints: 15663
162.76/163.29 c #Conflicts: 327000 | #Constraints: 16663
162.76/163.29 c #Conflicts: 328000 | #Constraints: 17663
162.76/163.29 c #Conflicts: 329000 | #Constraints: 18663
162.76/163.29 c #Conflicts: 330000 | #Constraints: 19663
162.76/163.29 c #Conflicts: 331000 | #Constraints: 20663
162.76/163.29 c #Conflicts: 332000 | #Constraints: 21663
162.76/163.29 c #Conflicts: 333000 | #Constraints: 22663
162.76/163.29 c INPROCESSING
162.76/163.29 c GARBAGE COLLECT
162.76/163.29 c rational objective 2.00001
171.04/171.50 c #Conflicts: 334000 | #Constraints: 12349
171.04/171.50 c #Conflicts: 335000 | #Constraints: 13458
171.04/171.50 c #Conflicts: 336000 | #Constraints: 14458
171.04/171.50 c #Conflicts: 337000 | #Constraints: 15458
171.04/171.50 c #Conflicts: 338000 | #Constraints: 16458
171.04/171.50 c #Conflicts: 339000 | #Constraints: 17458
171.04/171.50 c #Conflicts: 340000 | #Constraints: 18458
171.04/171.50 c #Conflicts: 341000 | #Constraints: 19458
171.04/171.50 c #Conflicts: 342000 | #Constraints: 20458
171.04/171.50 c #Conflicts: 343000 | #Constraints: 21458
171.04/171.50 c #Conflicts: 344000 | #Constraints: 22458
171.04/171.50 c #Conflicts: 345000 | #Constraints: 23458
171.04/171.50 c INPROCESSING
171.04/171.50 c GARBAGE COLLECT
171.04/171.50 c rational objective 2.00001
180.80/181.30 c #Conflicts: 346000 | #Constraints: 12754
180.80/181.30 c #Conflicts: 347000 | #Constraints: 13754
180.80/181.30 c #Conflicts: 348000 | #Constraints: 14754
180.80/181.30 c #Conflicts: 349000 | #Constraints: 15754
180.80/181.30 c #Conflicts: 350000 | #Constraints: 16754
180.80/181.30 c #Conflicts: 351000 | #Constraints: 17754
180.80/181.30 c #Conflicts: 352000 | #Constraints: 18754
180.80/181.30 c #Conflicts: 353000 | #Constraints: 19754
180.80/181.30 c #Conflicts: 354000 | #Constraints: 20754
180.80/181.30 c #Conflicts: 355000 | #Constraints: 21754
180.80/181.30 c #Conflicts: 356000 | #Constraints: 22754
180.80/181.30 c #Conflicts: 357000 | #Constraints: 23754
180.80/181.30 c INPROCESSING
180.80/181.30 c GARBAGE COLLECT
180.80/181.30 c rational objective 2.00001
189.78/190.39 c #Conflicts: 358000 | #Constraints: 12887
189.78/190.39 c #Conflicts: 359000 | #Constraints: 13887
189.78/190.39 c #Conflicts: 360000 | #Constraints: 14887
189.78/190.39 c #Conflicts: 361000 | #Constraints: 15887
189.78/190.39 c #Conflicts: 362000 | #Constraints: 16887
189.78/190.39 c #Conflicts: 363000 | #Constraints: 17887
189.78/190.39 c #Conflicts: 364000 | #Constraints: 18887
189.78/190.39 c #Conflicts: 365000 | #Constraints: 19887
189.78/190.39 c #Conflicts: 366000 | #Constraints: 20887
189.78/190.39 c #Conflicts: 367000 | #Constraints: 21887
189.78/190.39 c #Conflicts: 368000 | #Constraints: 22887
189.78/190.39 c #Conflicts: 369000 | #Constraints: 23887
189.78/190.39 c INPROCESSING
189.78/190.39 c GARBAGE COLLECT
189.78/190.39 c rational objective 2.00001
200.36/200.91 c #Conflicts: 370000 | #Constraints: 12907
200.36/200.91 c #Conflicts: 371000 | #Constraints: 13934
200.36/200.91 c #Conflicts: 372000 | #Constraints: 14934
200.36/200.91 c #Conflicts: 373000 | #Constraints: 15934
200.36/200.91 c #Conflicts: 374000 | #Constraints: 16934
200.36/200.91 c #Conflicts: 375000 | #Constraints: 17934
200.36/200.91 c #Conflicts: 376000 | #Constraints: 18934
200.36/200.91 c #Conflicts: 377000 | #Constraints: 19934
200.36/200.91 c #Conflicts: 378000 | #Constraints: 20934
200.36/200.91 c #Conflicts: 379000 | #Constraints: 21934
200.36/200.91 c #Conflicts: 380000 | #Constraints: 22934
200.36/200.91 c #Conflicts: 381000 | #Constraints: 23934
200.36/200.91 c INPROCESSING
200.36/200.91 c GARBAGE COLLECT
200.36/200.91 c rational objective 2.00001
209.14/209.71 c #Conflicts: 382000 | #Constraints: 12694
209.14/209.71 c #Conflicts: 383000 | #Constraints: 13699
209.14/209.71 c #Conflicts: 384000 | #Constraints: 14699
209.14/209.71 c #Conflicts: 385000 | #Constraints: 15699
209.14/209.71 c #Conflicts: 386000 | #Constraints: 16699
209.14/209.71 c #Conflicts: 387000 | #Constraints: 17699
209.14/209.71 c #Conflicts: 388000 | #Constraints: 18699
209.14/209.71 c #Conflicts: 389000 | #Constraints: 19699
209.14/209.71 c #Conflicts: 390000 | #Constraints: 20699
209.14/209.71 c #Conflicts: 391000 | #Constraints: 21699
209.14/209.71 c #Conflicts: 392000 | #Constraints: 22699
209.14/209.71 c #Conflicts: 393000 | #Constraints: 23699
209.14/209.71 c #Conflicts: 394000 | #Constraints: 24699
209.14/209.71 c INPROCESSING
209.14/209.71 c GARBAGE COLLECT
209.14/209.71 c rational objective 2.00001
220.61/221.29 c #Conflicts: 395000 | #Constraints: 13336
220.61/221.29 c #Conflicts: 396000 | #Constraints: 14444
220.61/221.29 c #Conflicts: 397000 | #Constraints: 15494
220.61/221.29 c #Conflicts: 398000 | #Constraints: 16494
220.61/221.29 c #Conflicts: 399000 | #Constraints: 17494
220.61/221.29 c #Conflicts: 400000 | #Constraints: 18494
220.61/221.29 c #Conflicts: 401000 | #Constraints: 19494
220.61/221.29 c #Conflicts: 402000 | #Constraints: 20502
220.61/221.29 c #Conflicts: 403000 | #Constraints: 21502
220.61/221.29 c #Conflicts: 404000 | #Constraints: 22502
220.61/221.29 c #Conflicts: 405000 | #Constraints: 23502
220.61/221.29 c #Conflicts: 406000 | #Constraints: 24502
220.61/221.29 c #Conflicts: 407000 | #Constraints: 25502
220.61/221.29 c INPROCESSING
220.61/221.29 c GARBAGE COLLECT
220.61/221.29 c rational objective 2.00001
231.78/232.49 c #Conflicts: 408000 | #Constraints: 13759
231.78/232.49 c #Conflicts: 409000 | #Constraints: 14759
231.78/232.49 c #Conflicts: 410000 | #Constraints: 15759
231.78/232.49 c #Conflicts: 411000 | #Constraints: 16845
231.78/232.49 c #Conflicts: 412000 | #Constraints: 17989
231.78/232.49 c #Conflicts: 413000 | #Constraints: 19096
231.78/232.49 c #Conflicts: 414000 | #Constraints: 20195
231.78/232.49 c #Conflicts: 415000 | #Constraints: 21195
231.78/232.49 c #Conflicts: 416000 | #Constraints: 22195
231.78/232.49 c #Conflicts: 417000 | #Constraints: 23195
231.78/232.49 c #Conflicts: 418000 | #Constraints: 24195
231.78/232.49 c #Conflicts: 419000 | #Constraints: 25195
231.78/232.49 c #Conflicts: 420000 | #Constraints: 26195
231.78/232.49 c INPROCESSING
231.78/232.49 c GARBAGE COLLECT
231.78/232.49 c rational objective 2.00001
242.45/243.17 c #Conflicts: 421000 | #Constraints: 14162
242.45/243.17 c #Conflicts: 422000 | #Constraints: 15162
242.45/243.17 c #Conflicts: 423000 | #Constraints: 16162
242.45/243.17 c #Conflicts: 424000 | #Constraints: 17162
242.45/243.17 c #Conflicts: 425000 | #Constraints: 18162
242.45/243.17 c #Conflicts: 426000 | #Constraints: 19162
242.45/243.17 c #Conflicts: 427000 | #Constraints: 20162
242.45/243.17 c #Conflicts: 428000 | #Constraints: 21162
242.45/243.17 c #Conflicts: 429000 | #Constraints: 22162
242.45/243.17 c #Conflicts: 430000 | #Constraints: 23162
242.45/243.17 c #Conflicts: 431000 | #Constraints: 24162
242.45/243.17 c #Conflicts: 432000 | #Constraints: 25162
242.45/243.17 c #Conflicts: 433000 | #Constraints: 26162
242.45/243.17 c INPROCESSING
242.45/243.17 c GARBAGE COLLECT
242.45/243.17 c rational objective 2.00001
253.02/253.77 c #Conflicts: 434000 | #Constraints: 14035
253.02/253.77 c #Conflicts: 435000 | #Constraints: 15066
253.02/253.77 c #Conflicts: 436000 | #Constraints: 16066
253.02/253.77 c #Conflicts: 437000 | #Constraints: 17066
253.02/253.77 c #Conflicts: 438000 | #Constraints: 18066
253.02/253.77 c #Conflicts: 439000 | #Constraints: 19066
253.02/253.77 c #Conflicts: 440000 | #Constraints: 20066
253.02/253.77 c #Conflicts: 441000 | #Constraints: 21066
253.02/253.77 c #Conflicts: 442000 | #Constraints: 22066
253.02/253.77 c #Conflicts: 443000 | #Constraints: 23066
253.02/253.77 c #Conflicts: 444000 | #Constraints: 24066
253.02/253.77 c #Conflicts: 445000 | #Constraints: 25066
253.02/253.77 c #Conflicts: 446000 | #Constraints: 26066
253.02/253.77 c INPROCESSING
253.02/253.77 c GARBAGE COLLECT
253.02/253.77 c rational objective 2.00001
264.19/264.91 c #Conflicts: 447000 | #Constraints: 13769
264.19/264.91 c #Conflicts: 448000 | #Constraints: 14815
264.19/264.91 c #Conflicts: 449000 | #Constraints: 15815
264.19/264.91 c #Conflicts: 450000 | #Constraints: 16815
264.19/264.91 c #Conflicts: 451000 | #Constraints: 17815
264.19/264.91 c #Conflicts: 452000 | #Constraints: 18815
264.19/264.91 c #Conflicts: 453000 | #Constraints: 19815
264.19/264.91 c #Conflicts: 454000 | #Constraints: 20815
264.19/264.91 c #Conflicts: 455000 | #Constraints: 21815
264.19/264.91 c #Conflicts: 456000 | #Constraints: 22815
264.19/264.91 c #Conflicts: 457000 | #Constraints: 23815
264.19/264.91 c #Conflicts: 458000 | #Constraints: 24815
264.19/264.91 c #Conflicts: 459000 | #Constraints: 25815
264.19/264.91 c #Conflicts: 460000 | #Constraints: 26815
264.19/264.91 c INPROCESSING
264.19/264.91 c GARBAGE COLLECT
264.19/264.91 c rational objective 2.00001
275.96/276.76 c #Conflicts: 461000 | #Constraints: 14322
275.96/276.76 c #Conflicts: 462000 | #Constraints: 15322
275.96/276.76 c #Conflicts: 463000 | #Constraints: 16322
275.96/276.76 c #Conflicts: 464000 | #Constraints: 17322
275.96/276.76 c #Conflicts: 465000 | #Constraints: 18322
275.96/276.76 c #Conflicts: 466000 | #Constraints: 19322
275.96/276.76 c #Conflicts: 467000 | #Constraints: 20322
275.96/276.76 c #Conflicts: 468000 | #Constraints: 21322
275.96/276.76 c #Conflicts: 469000 | #Constraints: 22322
275.96/276.76 c #Conflicts: 470000 | #Constraints: 23322
275.96/276.76 c #Conflicts: 471000 | #Constraints: 24322
275.96/276.76 c #Conflicts: 472000 | #Constraints: 25322
275.96/276.76 c #Conflicts: 473000 | #Constraints: 26322
275.96/276.76 c #Conflicts: 474000 | #Constraints: 27322
275.96/276.76 c INPROCESSING
275.96/276.76 c GARBAGE COLLECT
275.96/276.76 c rational objective 2.00001
290.72/291.59 c #Conflicts: 475000 | #Constraints: 14682
290.72/291.59 c #Conflicts: 476000 | #Constraints: 15682
290.72/291.59 c #Conflicts: 477000 | #Constraints: 16682
290.72/291.59 c #Conflicts: 478000 | #Constraints: 17682
290.72/291.59 c #Conflicts: 479000 | #Constraints: 18682
290.72/291.59 c #Conflicts: 480000 | #Constraints: 19682
290.72/291.59 c #Conflicts: 481000 | #Constraints: 20682
290.72/291.59 c #Conflicts: 482000 | #Constraints: 21682
290.72/291.59 c #Conflicts: 483000 | #Constraints: 22682
290.72/291.59 c #Conflicts: 484000 | #Constraints: 23682
290.72/291.59 c #Conflicts: 485000 | #Constraints: 24682
290.72/291.59 c #Conflicts: 486000 | #Constraints: 25682
290.72/291.59 c #Conflicts: 487000 | #Constraints: 26682
290.72/291.59 c #Conflicts: 488000 | #Constraints: 27682
290.72/291.59 c INPROCESSING
290.72/291.59 c GARBAGE COLLECT
290.72/291.59 c rational objective 2.00001
302.49/303.35 c #Conflicts: 489000 | #Constraints: 14864
302.49/303.35 c #Conflicts: 490000 | #Constraints: 15864
302.49/303.35 c #Conflicts: 491000 | #Constraints: 16864
302.49/303.35 c #Conflicts: 492000 | #Constraints: 17864
302.49/303.35 c #Conflicts: 493000 | #Constraints: 18864
302.49/303.35 c #Conflicts: 494000 | #Constraints: 19864
302.49/303.35 c #Conflicts: 495000 | #Constraints: 20864
302.49/303.35 c #Conflicts: 496000 | #Constraints: 21864
302.49/303.35 c #Conflicts: 497000 | #Constraints: 22864
302.49/303.35 c #Conflicts: 498000 | #Constraints: 23864
302.49/303.35 c #Conflicts: 499000 | #Constraints: 24864
302.49/303.35 c #Conflicts: 500000 | #Constraints: 25864
302.49/303.35 c #Conflicts: 501000 | #Constraints: 26864
302.49/303.35 c #Conflicts: 502000 | #Constraints: 27864
302.49/303.35 c INPROCESSING
302.49/303.35 c GARBAGE COLLECT
302.49/303.35 c rational objective 2.00001
315.75/316.66 c #Conflicts: 503000 | #Constraints: 14849
315.75/316.66 c #Conflicts: 504000 | #Constraints: 15853
315.75/316.66 c #Conflicts: 505000 | #Constraints: 16853
315.75/316.66 c #Conflicts: 506000 | #Constraints: 17853
315.75/316.66 c #Conflicts: 507000 | #Constraints: 18853
315.75/316.66 c #Conflicts: 508000 | #Constraints: 19853
315.75/316.66 c #Conflicts: 509000 | #Constraints: 20853
315.75/316.66 c #Conflicts: 510000 | #Constraints: 21853
315.75/316.66 c #Conflicts: 511000 | #Constraints: 22853
315.75/316.66 c #Conflicts: 512000 | #Constraints: 23853
315.75/316.66 c #Conflicts: 513000 | #Constraints: 24853
315.75/316.66 c #Conflicts: 514000 | #Constraints: 25853
315.75/316.66 c #Conflicts: 515000 | #Constraints: 26853
315.75/316.66 c #Conflicts: 516000 | #Constraints: 27853
315.75/316.66 c INPROCESSING
315.75/316.66 c GARBAGE COLLECT
315.75/316.66 c rational objective 2.00001
330.61/331.56 c #Conflicts: 517000 | #Constraints: 14645
330.61/331.56 c #Conflicts: 518000 | #Constraints: 15645
330.61/331.56 c #Conflicts: 519000 | #Constraints: 16645
330.61/331.56 c #Conflicts: 520000 | #Constraints: 17645
330.61/331.56 c #Conflicts: 521000 | #Constraints: 18645
330.61/331.56 c #Conflicts: 522000 | #Constraints: 19645
330.61/331.56 c #Conflicts: 523000 | #Constraints: 20645
330.61/331.56 c #Conflicts: 524000 | #Constraints: 21645
330.61/331.56 c #Conflicts: 525000 | #Constraints: 22645
330.61/331.56 c #Conflicts: 526000 | #Constraints: 23645
330.61/331.56 c #Conflicts: 527000 | #Constraints: 24645
330.61/331.56 c #Conflicts: 528000 | #Constraints: 25645
330.61/331.56 c #Conflicts: 529000 | #Constraints: 26645
330.61/331.56 c #Conflicts: 530000 | #Constraints: 27645
330.61/331.56 c #Conflicts: 531000 | #Constraints: 28645
330.61/331.56 c INPROCESSING
330.61/331.56 c GARBAGE COLLECT
330.61/331.56 c rational objective 2.00001
344.56/345.59 c #Conflicts: 532000 | #Constraints: 15230
344.56/345.59 c #Conflicts: 533000 | #Constraints: 16230
344.56/345.59 c #Conflicts: 534000 | #Constraints: 17230
344.56/345.59 c #Conflicts: 535000 | #Constraints: 18230
344.56/345.59 c #Conflicts: 536000 | #Constraints: 19230
344.56/345.59 c #Conflicts: 537000 | #Constraints: 20230
344.56/345.59 c #Conflicts: 538000 | #Constraints: 21230
344.56/345.59 c #Conflicts: 539000 | #Constraints: 22230
344.56/345.59 c #Conflicts: 540000 | #Constraints: 23230
344.56/345.59 c #Conflicts: 541000 | #Constraints: 24230
344.56/345.59 c #Conflicts: 542000 | #Constraints: 25230
344.56/345.59 c #Conflicts: 543000 | #Constraints: 26230
344.56/345.59 c #Conflicts: 544000 | #Constraints: 27230
344.56/345.59 c #Conflicts: 545000 | #Constraints: 28230
344.56/345.59 c #Conflicts: 546000 | #Constraints: 29230
344.56/345.59 c INPROCESSING
344.56/345.59 c GARBAGE COLLECT
344.56/345.59 c rational objective 2.00001
359.51/360.53 c #Conflicts: 547000 | #Constraints: 15634
359.51/360.53 c #Conflicts: 548000 | #Constraints: 16634
359.51/360.53 c #Conflicts: 549000 | #Constraints: 17635
359.51/360.53 c #Conflicts: 550000 | #Constraints: 18635
359.51/360.53 c #Conflicts: 551000 | #Constraints: 19635
359.51/360.53 c #Conflicts: 552000 | #Constraints: 20635
359.51/360.53 c #Conflicts: 553000 | #Constraints: 21635
359.51/360.53 c #Conflicts: 554000 | #Constraints: 22635
359.51/360.53 c #Conflicts: 555000 | #Constraints: 23635
359.51/360.53 c #Conflicts: 556000 | #Constraints: 24635
359.51/360.53 c #Conflicts: 557000 | #Constraints: 25635
359.51/360.53 c #Conflicts: 558000 | #Constraints: 26635
359.51/360.53 c #Conflicts: 559000 | #Constraints: 27635
359.51/360.53 c #Conflicts: 560000 | #Constraints: 28635
359.51/360.53 c #Conflicts: 561000 | #Constraints: 29635
359.51/360.53 c INPROCESSING
359.51/360.53 c GARBAGE COLLECT
359.51/360.53 c rational objective 2.00001
374.97/376.05 c #Conflicts: 562000 | #Constraints: 15826
374.97/376.05 c #Conflicts: 563000 | #Constraints: 16826
374.97/376.05 c #Conflicts: 564000 | #Constraints: 17826
374.97/376.05 c #Conflicts: 565000 | #Constraints: 18826
374.97/376.05 c #Conflicts: 566000 | #Constraints: 19826
374.97/376.05 c #Conflicts: 567000 | #Constraints: 20826
374.97/376.05 c #Conflicts: 568000 | #Constraints: 21826
374.97/376.05 c #Conflicts: 569000 | #Constraints: 22826
374.97/376.05 c #Conflicts: 570000 | #Constraints: 23826
374.97/376.05 c #Conflicts: 571000 | #Constraints: 24826
374.97/376.05 c #Conflicts: 572000 | #Constraints: 25826
374.97/376.05 c #Conflicts: 573000 | #Constraints: 26826
374.97/376.05 c #Conflicts: 574000 | #Constraints: 27826
374.97/376.05 c #Conflicts: 575000 | #Constraints: 28826
374.97/376.05 c #Conflicts: 576000 | #Constraints: 29826
374.97/376.05 c INPROCESSING
374.97/376.05 c GARBAGE COLLECT
374.97/376.05 c rational objective 2.00001
390.32/391.46 c #Conflicts: 577000 | #Constraints: 15825
390.32/391.46 c #Conflicts: 578000 | #Constraints: 16832
390.32/391.46 c #Conflicts: 579000 | #Constraints: 17832
390.32/391.46 c #Conflicts: 580000 | #Constraints: 18832
390.32/391.46 c #Conflicts: 581000 | #Constraints: 19832
390.32/391.46 c #Conflicts: 582000 | #Constraints: 20832
390.32/391.46 c #Conflicts: 583000 | #Constraints: 21832
390.32/391.46 c #Conflicts: 584000 | #Constraints: 22832
390.32/391.46 c #Conflicts: 585000 | #Constraints: 23832
390.32/391.46 c #Conflicts: 586000 | #Constraints: 24832
390.32/391.46 c #Conflicts: 587000 | #Constraints: 25832
390.32/391.46 c #Conflicts: 588000 | #Constraints: 26832
390.32/391.46 c #Conflicts: 589000 | #Constraints: 27832
390.32/391.46 c #Conflicts: 590000 | #Constraints: 28832
390.32/391.46 c #Conflicts: 591000 | #Constraints: 29832
390.32/391.46 c INPROCESSING
390.32/391.46 c GARBAGE COLLECT
390.32/391.46 c rational objective 2.00001
407.87/409.01 c #Conflicts: 592000 | #Constraints: 15630
407.87/409.01 c #Conflicts: 593000 | #Constraints: 16630
407.87/409.01 c #Conflicts: 594000 | #Constraints: 17630
407.87/409.01 c #Conflicts: 595000 | #Constraints: 18630
407.87/409.01 c #Conflicts: 596000 | #Constraints: 19630
407.87/409.01 c #Conflicts: 597000 | #Constraints: 20630
407.87/409.01 c #Conflicts: 598000 | #Constraints: 21630
407.87/409.01 c #Conflicts: 599000 | #Constraints: 22630
407.87/409.01 c #Conflicts: 600000 | #Constraints: 23630
407.87/409.01 c #Conflicts: 601000 | #Constraints: 24630
407.87/409.01 c #Conflicts: 602000 | #Constraints: 25630
407.87/409.01 c #Conflicts: 603000 | #Constraints: 26630
407.87/409.01 c #Conflicts: 604000 | #Constraints: 27630
407.87/409.01 c #Conflicts: 605000 | #Constraints: 28630
407.87/409.01 c #Conflicts: 606000 | #Constraints: 29630
407.87/409.01 c #Conflicts: 607000 | #Constraints: 30630
407.87/409.01 c INPROCESSING
407.87/409.01 c GARBAGE COLLECT
407.87/409.01 c rational objective 2.00001
423.83/425.09 c #Conflicts: 608000 | #Constraints: 16241
423.83/425.09 c #Conflicts: 609000 | #Constraints: 17275
423.83/425.09 c #Conflicts: 610000 | #Constraints: 18278
423.83/425.09 c #Conflicts: 611000 | #Constraints: 19278
423.83/425.09 c #Conflicts: 612000 | #Constraints: 20278
423.83/425.09 c #Conflicts: 613000 | #Constraints: 21278
423.83/425.09 c #Conflicts: 614000 | #Constraints: 22278
423.83/425.09 c #Conflicts: 615000 | #Constraints: 23278
423.83/425.09 c #Conflicts: 616000 | #Constraints: 24278
423.83/425.09 c #Conflicts: 617000 | #Constraints: 25278
423.83/425.09 c #Conflicts: 618000 | #Constraints: 26278
423.83/425.09 c #Conflicts: 619000 | #Constraints: 27278
423.83/425.09 c #Conflicts: 620000 | #Constraints: 28278
423.83/425.09 c #Conflicts: 621000 | #Constraints: 29278
423.83/425.09 c #Conflicts: 622000 | #Constraints: 30278
423.83/425.09 c #Conflicts: 623000 | #Constraints: 31278
423.83/425.09 c INPROCESSING
423.83/425.09 c GARBAGE COLLECT
423.83/425.09 c rational objective 2.00001
441.47/442.78 c #Conflicts: 624000 | #Constraints: 16674
441.47/442.78 c #Conflicts: 625000 | #Constraints: 17677
441.47/442.78 c #Conflicts: 626000 | #Constraints: 18677
441.47/442.78 c #Conflicts: 627000 | #Constraints: 19677
441.47/442.78 c #Conflicts: 628000 | #Constraints: 20677
441.47/442.78 c #Conflicts: 629000 | #Constraints: 21677
441.47/442.78 c #Conflicts: 630000 | #Constraints: 22677
441.47/442.78 c #Conflicts: 631000 | #Constraints: 23677
441.47/442.78 c #Conflicts: 632000 | #Constraints: 24677
441.47/442.78 c #Conflicts: 633000 | #Constraints: 25677
441.47/442.78 c #Conflicts: 634000 | #Constraints: 26677
441.47/442.78 c #Conflicts: 635000 | #Constraints: 27677
441.47/442.78 c #Conflicts: 636000 | #Constraints: 28677
441.47/442.78 c #Conflicts: 637000 | #Constraints: 29677
441.47/442.78 c #Conflicts: 638000 | #Constraints: 30677
441.47/442.78 c #Conflicts: 639000 | #Constraints: 31677
441.47/442.78 c INPROCESSING
441.47/442.78 c GARBAGE COLLECT
441.47/442.78 c rational objective 2.00001
459.42/460.78 c #Conflicts: 640000 | #Constraints: 16882
459.42/460.78 c #Conflicts: 641000 | #Constraints: 17882
459.42/460.78 c #Conflicts: 642000 | #Constraints: 18882
459.42/460.78 c #Conflicts: 643000 | #Constraints: 19882
459.42/460.78 c #Conflicts: 644000 | #Constraints: 20882
459.42/460.78 c #Conflicts: 645000 | #Constraints: 21882
459.42/460.78 c #Conflicts: 646000 | #Constraints: 22882
459.42/460.78 c #Conflicts: 647000 | #Constraints: 23882
459.42/460.78 c #Conflicts: 648000 | #Constraints: 24882
459.42/460.78 c #Conflicts: 649000 | #Constraints: 25882
459.42/460.78 c #Conflicts: 650000 | #Constraints: 26882
459.42/460.78 c #Conflicts: 651000 | #Constraints: 27882
459.42/460.78 c #Conflicts: 652000 | #Constraints: 28882
459.42/460.78 c #Conflicts: 653000 | #Constraints: 29882
459.42/460.78 c #Conflicts: 654000 | #Constraints: 30882
459.42/460.78 c #Conflicts: 655000 | #Constraints: 31882
459.42/460.78 c INPROCESSING
459.42/460.78 c GARBAGE COLLECT
459.42/460.78 c rational objective 2.00001
475.78/477.19 c #Conflicts: 656000 | #Constraints: 16855
475.78/477.19 c #Conflicts: 657000 | #Constraints: 17855
475.78/477.19 c #Conflicts: 658000 | #Constraints: 18855
475.78/477.19 c #Conflicts: 659000 | #Constraints: 19855
475.78/477.19 c #Conflicts: 660000 | #Constraints: 20855
475.78/477.19 c #Conflicts: 661000 | #Constraints: 21855
475.78/477.19 c #Conflicts: 662000 | #Constraints: 22855
475.78/477.19 c #Conflicts: 663000 | #Constraints: 23855
475.78/477.19 c #Conflicts: 664000 | #Constraints: 24855
475.78/477.19 c #Conflicts: 665000 | #Constraints: 25855
475.78/477.19 c #Conflicts: 666000 | #Constraints: 26855
475.78/477.19 c #Conflicts: 667000 | #Constraints: 27855
475.78/477.19 c #Conflicts: 668000 | #Constraints: 28855
475.78/477.19 c #Conflicts: 669000 | #Constraints: 29855
475.78/477.19 c #Conflicts: 670000 | #Constraints: 30855
475.78/477.19 c #Conflicts: 671000 | #Constraints: 31855
475.78/477.19 c INPROCESSING
475.78/477.19 c GARBAGE COLLECT
475.78/477.19 c rational objective 2.00001
492.13/493.53 c #Conflicts: 672000 | #Constraints: 16642
492.13/493.53 c #Conflicts: 673000 | #Constraints: 17648
492.13/493.53 c #Conflicts: 674000 | #Constraints: 18648
492.13/493.53 c #Conflicts: 675000 | #Constraints: 19648
492.13/493.53 c #Conflicts: 676000 | #Constraints: 20648
492.13/493.53 c #Conflicts: 677000 | #Constraints: 21648
492.13/493.53 c #Conflicts: 678000 | #Constraints: 22648
492.13/493.53 c #Conflicts: 679000 | #Constraints: 23648
492.13/493.53 c #Conflicts: 680000 | #Constraints: 24648
492.13/493.53 c #Conflicts: 681000 | #Constraints: 25648
492.13/493.53 c #Conflicts: 682000 | #Constraints: 26648
492.13/493.53 c #Conflicts: 683000 | #Constraints: 27648
492.13/493.53 c #Conflicts: 684000 | #Constraints: 28648
492.13/493.53 c #Conflicts: 685000 | #Constraints: 29648
492.13/493.53 c #Conflicts: 686000 | #Constraints: 30648
492.13/493.53 c #Conflicts: 687000 | #Constraints: 31648
492.13/493.53 c #Conflicts: 688000 | #Constraints: 32648
492.13/493.53 c INPROCESSING
492.13/493.53 c GARBAGE COLLECT
492.13/493.53 c rational objective 2.00001
508.60/510.05 c #Conflicts: 689000 | #Constraints: 17258
508.60/510.05 c #Conflicts: 690000 | #Constraints: 18284
508.60/510.05 c #Conflicts: 691000 | #Constraints: 19284
508.60/510.05 c #Conflicts: 692000 | #Constraints: 20284
508.60/510.05 c #Conflicts: 693000 | #Constraints: 21284
508.60/510.05 c #Conflicts: 694000 | #Constraints: 22284
508.60/510.05 c #Conflicts: 695000 | #Constraints: 23284
508.60/510.05 c #Conflicts: 696000 | #Constraints: 24284
508.60/510.05 c #Conflicts: 697000 | #Constraints: 25284
508.60/510.05 c #Conflicts: 698000 | #Constraints: 26284
508.60/510.05 c #Conflicts: 699000 | #Constraints: 27284
508.60/510.05 c #Conflicts: 700000 | #Constraints: 28284
508.60/510.05 c #Conflicts: 701000 | #Constraints: 29284
508.60/510.05 c #Conflicts: 702000 | #Constraints: 30284
508.60/510.05 c #Conflicts: 703000 | #Constraints: 31284
508.60/510.05 c #Conflicts: 704000 | #Constraints: 32284
508.60/510.05 c #Conflicts: 705000 | #Constraints: 33284
508.60/510.05 c INPROCESSING
508.60/510.05 c GARBAGE COLLECT
508.60/510.05 c rational objective 2.00001
525.95/527.45 c #Conflicts: 706000 | #Constraints: 17655
525.95/527.45 c #Conflicts: 707000 | #Constraints: 18655
525.95/527.45 c #Conflicts: 708000 | #Constraints: 19655
525.95/527.45 c #Conflicts: 709000 | #Constraints: 20655
525.95/527.45 c #Conflicts: 710000 | #Constraints: 21655
525.95/527.45 c #Conflicts: 711000 | #Constraints: 22655
525.95/527.45 c #Conflicts: 712000 | #Constraints: 23655
525.95/527.45 c #Conflicts: 713000 | #Constraints: 24655
525.95/527.45 c #Conflicts: 714000 | #Constraints: 25655
525.95/527.45 c #Conflicts: 715000 | #Constraints: 26655
525.95/527.45 c #Conflicts: 716000 | #Constraints: 27655
525.95/527.45 c #Conflicts: 717000 | #Constraints: 28655
525.95/527.45 c #Conflicts: 718000 | #Constraints: 29655
525.95/527.45 c #Conflicts: 719000 | #Constraints: 30655
525.95/527.45 c #Conflicts: 720000 | #Constraints: 31655
525.95/527.45 c #Conflicts: 721000 | #Constraints: 32655
525.95/527.45 c #Conflicts: 722000 | #Constraints: 33655
525.95/527.45 c INPROCESSING
525.95/527.45 c GARBAGE COLLECT
525.95/527.45 c rational objective 2.00001
543.30/544.89 c #Conflicts: 723000 | #Constraints: 17848
543.30/544.89 c #Conflicts: 724000 | #Constraints: 18848
543.30/544.89 c #Conflicts: 725000 | #Constraints: 19848
543.30/544.89 c #Conflicts: 726000 | #Constraints: 20848
543.30/544.89 c #Conflicts: 727000 | #Constraints: 21848
543.30/544.89 c #Conflicts: 728000 | #Constraints: 22848
543.30/544.89 c #Conflicts: 729000 | #Constraints: 23848
543.30/544.89 c #Conflicts: 730000 | #Constraints: 24848
543.30/544.89 c #Conflicts: 731000 | #Constraints: 25848
543.30/544.89 c #Conflicts: 732000 | #Constraints: 26848
543.30/544.89 c #Conflicts: 733000 | #Constraints: 27848
543.30/544.89 c #Conflicts: 734000 | #Constraints: 28848
543.30/544.89 c #Conflicts: 735000 | #Constraints: 29848
543.30/544.89 c #Conflicts: 736000 | #Constraints: 30848
543.30/544.89 c #Conflicts: 737000 | #Constraints: 31848
543.30/544.89 c #Conflicts: 738000 | #Constraints: 32848
543.30/544.89 c #Conflicts: 739000 | #Constraints: 33848
543.30/544.89 c INPROCESSING
543.30/544.89 c GARBAGE COLLECT
543.30/544.89 c rational objective 2.00001
563.05/564.64 c #Conflicts: 740000 | #Constraints: 17854
563.05/564.64 c #Conflicts: 741000 | #Constraints: 18856
563.05/564.64 c #Conflicts: 742000 | #Constraints: 19856
563.05/564.64 c #Conflicts: 743000 | #Constraints: 20856
563.05/564.64 c #Conflicts: 744000 | #Constraints: 21856
563.05/564.64 c #Conflicts: 745000 | #Constraints: 22856
563.05/564.64 c #Conflicts: 746000 | #Constraints: 23856
563.05/564.64 c #Conflicts: 747000 | #Constraints: 24856
563.05/564.64 c #Conflicts: 748000 | #Constraints: 25856
563.05/564.64 c #Conflicts: 749000 | #Constraints: 26856
563.05/564.64 c #Conflicts: 750000 | #Constraints: 27856
563.05/564.64 c #Conflicts: 751000 | #Constraints: 28856
563.05/564.64 c #Conflicts: 752000 | #Constraints: 29856
563.05/564.64 c #Conflicts: 753000 | #Constraints: 30856
563.05/564.64 c #Conflicts: 754000 | #Constraints: 31856
563.05/564.64 c #Conflicts: 755000 | #Constraints: 32856
563.05/564.64 c #Conflicts: 756000 | #Constraints: 33856
563.05/564.64 c INPROCESSING
563.05/564.64 c GARBAGE COLLECT
563.05/564.64 c rational objective 2.00001
583.00/584.69 c #Conflicts: 757000 | #Constraints: 17641
583.00/584.69 c #Conflicts: 758000 | #Constraints: 18641
583.00/584.69 c #Conflicts: 759000 | #Constraints: 19643
583.00/584.69 c #Conflicts: 760000 | #Constraints: 20643
583.00/584.69 c #Conflicts: 761000 | #Constraints: 21643
583.00/584.69 c #Conflicts: 762000 | #Constraints: 22643
583.00/584.69 c #Conflicts: 763000 | #Constraints: 23643
583.00/584.69 c #Conflicts: 764000 | #Constraints: 24643
583.00/584.69 c #Conflicts: 765000 | #Constraints: 25643
583.00/584.69 c #Conflicts: 766000 | #Constraints: 26643
583.00/584.69 c #Conflicts: 767000 | #Constraints: 27643
583.00/584.69 c #Conflicts: 768000 | #Constraints: 28644
583.00/584.69 c #Conflicts: 769000 | #Constraints: 29644
583.00/584.69 c #Conflicts: 770000 | #Constraints: 30644
583.00/584.69 c #Conflicts: 771000 | #Constraints: 31644
583.00/584.69 c #Conflicts: 772000 | #Constraints: 32644
583.00/584.69 c #Conflicts: 773000 | #Constraints: 33644
583.00/584.69 c #Conflicts: 774000 | #Constraints: 34644
583.00/584.69 c INPROCESSING
583.00/584.69 c GARBAGE COLLECT
583.00/584.69 c rational objective 2.00001
604.34/606.03 c #Conflicts: 775000 | #Constraints: 18240
604.34/606.03 c #Conflicts: 776000 | #Constraints: 19240
604.34/606.03 c #Conflicts: 777000 | #Constraints: 20240
604.34/606.03 c #Conflicts: 778000 | #Constraints: 21240
604.34/606.03 c #Conflicts: 779000 | #Constraints: 22240
604.34/606.03 c #Conflicts: 780000 | #Constraints: 23246
604.34/606.03 c #Conflicts: 781000 | #Constraints: 24246
604.34/606.03 c #Conflicts: 782000 | #Constraints: 25246
604.34/606.03 c #Conflicts: 783000 | #Constraints: 26246
604.34/606.03 c #Conflicts: 784000 | #Constraints: 27246
604.34/606.03 c #Conflicts: 785000 | #Constraints: 28246
604.34/606.03 c #Conflicts: 786000 | #Constraints: 29246
604.34/606.03 c #Conflicts: 787000 | #Constraints: 30246
604.34/606.03 c #Conflicts: 788000 | #Constraints: 31246
604.34/606.03 c #Conflicts: 789000 | #Constraints: 32246
604.34/606.03 c #Conflicts: 790000 | #Constraints: 33246
604.34/606.03 c #Conflicts: 791000 | #Constraints: 34246
604.34/606.03 c #Conflicts: 792000 | #Constraints: 35246
604.34/606.03 c INPROCESSING
604.34/606.03 c GARBAGE COLLECT
604.34/606.03 c rational objective 2.00001
627.36/629.17 c #Conflicts: 793000 | #Constraints: 18638
627.36/629.17 c #Conflicts: 794000 | #Constraints: 19638
627.36/629.17 c #Conflicts: 795000 | #Constraints: 20638
627.36/629.17 c #Conflicts: 796000 | #Constraints: 21638
627.36/629.17 c #Conflicts: 797000 | #Constraints: 22638
627.36/629.17 c #Conflicts: 798000 | #Constraints: 23638
627.36/629.17 c #Conflicts: 799000 | #Constraints: 24638
627.36/629.17 c #Conflicts: 800000 | #Constraints: 25638
627.36/629.17 c #Conflicts: 801000 | #Constraints: 26638
627.36/629.17 c #Conflicts: 802000 | #Constraints: 27638
627.36/629.17 c #Conflicts: 803000 | #Constraints: 28638
627.36/629.17 c #Conflicts: 804000 | #Constraints: 29638
627.36/629.17 c #Conflicts: 805000 | #Constraints: 30638
627.36/629.17 c #Conflicts: 806000 | #Constraints: 31638
627.36/629.17 c #Conflicts: 807000 | #Constraints: 32638
627.36/629.17 c #Conflicts: 808000 | #Constraints: 33638
627.36/629.17 c #Conflicts: 809000 | #Constraints: 34638
627.36/629.17 c #Conflicts: 810000 | #Constraints: 35638
627.36/629.17 c INPROCESSING
627.36/629.17 c GARBAGE COLLECT
627.36/629.17 c rational objective 2.00001
652.08/654.00 c #Conflicts: 811000 | #Constraints: 18826
652.08/654.00 c #Conflicts: 812000 | #Constraints: 19846
652.08/654.00 c #Conflicts: 813000 | #Constraints: 20853
652.08/654.00 c #Conflicts: 814000 | #Constraints: 21856
652.08/654.00 c #Conflicts: 815000 | #Constraints: 22856
652.08/654.00 c #Conflicts: 816000 | #Constraints: 23856
652.08/654.00 c #Conflicts: 817000 | #Constraints: 24856
652.08/654.00 c #Conflicts: 818000 | #Constraints: 25856
652.08/654.00 c #Conflicts: 819000 | #Constraints: 26856
652.08/654.00 c #Conflicts: 820000 | #Constraints: 27856
652.08/654.00 c #Conflicts: 821000 | #Constraints: 28856
652.08/654.00 c #Conflicts: 822000 | #Constraints: 29856
652.08/654.00 c #Conflicts: 823000 | #Constraints: 30856
652.08/654.00 c #Conflicts: 824000 | #Constraints: 31856
652.08/654.00 c #Conflicts: 825000 | #Constraints: 32856
652.08/654.00 c #Conflicts: 826000 | #Constraints: 33856
652.08/654.00 c #Conflicts: 827000 | #Constraints: 34856
652.08/654.00 c #Conflicts: 828000 | #Constraints: 35856
652.08/654.00 c INPROCESSING
652.08/654.00 c GARBAGE COLLECT
652.08/654.00 c rational objective 2.00001
675.22/677.19 c #Conflicts: 829000 | #Constraints: 18840
675.22/677.19 c #Conflicts: 830000 | #Constraints: 19840
675.22/677.19 c #Conflicts: 831000 | #Constraints: 20840
675.22/677.19 c #Conflicts: 832000 | #Constraints: 21840
675.22/677.19 c #Conflicts: 833000 | #Constraints: 22842
675.22/677.19 c #Conflicts: 834000 | #Constraints: 23842
675.22/677.19 c #Conflicts: 835000 | #Constraints: 24842
675.22/677.19 c #Conflicts: 836000 | #Constraints: 25842
675.22/677.19 c #Conflicts: 837000 | #Constraints: 26842
675.22/677.19 c #Conflicts: 838000 | #Constraints: 27842
675.22/677.19 c #Conflicts: 839000 | #Constraints: 28842
675.22/677.19 c #Conflicts: 840000 | #Constraints: 29842
675.22/677.19 c #Conflicts: 841000 | #Constraints: 30842
675.22/677.19 c #Conflicts: 842000 | #Constraints: 31842
675.22/677.19 c #Conflicts: 843000 | #Constraints: 32842
675.22/677.19 c #Conflicts: 844000 | #Constraints: 33842
675.22/677.19 c #Conflicts: 845000 | #Constraints: 34842
675.22/677.19 c #Conflicts: 846000 | #Constraints: 35846
675.22/677.19 c INPROCESSING
675.22/677.19 c GARBAGE COLLECT
675.22/677.19 c rational objective 2.00001
700.52/702.53 c #Conflicts: 847000 | #Constraints: 18637
700.52/702.53 c #Conflicts: 848000 | #Constraints: 19648
700.52/702.53 c #Conflicts: 849000 | #Constraints: 20648
700.52/702.53 c #Conflicts: 850000 | #Constraints: 21648
700.52/702.53 c #Conflicts: 851000 | #Constraints: 22648
700.52/702.53 c #Conflicts: 852000 | #Constraints: 23648
700.52/702.53 c #Conflicts: 853000 | #Constraints: 24648
700.52/702.53 c #Conflicts: 854000 | #Constraints: 25648
700.52/702.53 c #Conflicts: 855000 | #Constraints: 26648
700.52/702.53 c #Conflicts: 856000 | #Constraints: 27648
700.52/702.53 c #Conflicts: 857000 | #Constraints: 28648
700.52/702.53 c #Conflicts: 858000 | #Constraints: 29648
700.52/702.53 c #Conflicts: 859000 | #Constraints: 30648
700.52/702.53 c #Conflicts: 860000 | #Constraints: 31648
700.52/702.53 c #Conflicts: 861000 | #Constraints: 32648
700.52/702.53 c #Conflicts: 862000 | #Constraints: 33648
700.52/702.53 c #Conflicts: 863000 | #Constraints: 34648
700.52/702.53 c #Conflicts: 864000 | #Constraints: 35648
700.52/702.53 c #Conflicts: 865000 | #Constraints: 36648
700.52/702.53 c INPROCESSING
700.52/702.53 c GARBAGE COLLECT
700.52/702.53 c rational objective 2.00001
725.74/727.89 c #Conflicts: 866000 | #Constraints: 19245
725.74/727.89 c #Conflicts: 867000 | #Constraints: 20258
725.74/727.89 c #Conflicts: 868000 | #Constraints: 21266
725.74/727.89 c #Conflicts: 869000 | #Constraints: 22270
725.74/727.89 c #Conflicts: 870000 | #Constraints: 23271
725.74/727.89 c #Conflicts: 871000 | #Constraints: 24271
725.74/727.89 c #Conflicts: 872000 | #Constraints: 25273
725.74/727.89 c #Conflicts: 873000 | #Constraints: 26273
725.74/727.89 c #Conflicts: 874000 | #Constraints: 27273
725.74/727.89 c #Conflicts: 875000 | #Constraints: 28273
725.74/727.89 c #Conflicts: 876000 | #Constraints: 29278
725.74/727.89 c #Conflicts: 877000 | #Constraints: 30280
725.74/727.89 c #Conflicts: 878000 | #Constraints: 31288
725.74/727.89 c #Conflicts: 879000 | #Constraints: 32293
725.74/727.89 c #Conflicts: 880000 | #Constraints: 33300
725.74/727.89 c #Conflicts: 881000 | #Constraints: 34300
725.74/727.89 c #Conflicts: 882000 | #Constraints: 35306
725.74/727.89 c #Conflicts: 883000 | #Constraints: 36307
725.74/727.89 c #Conflicts: 884000 | #Constraints: 37307
725.74/727.89 c INPROCESSING
725.74/727.89 c GARBAGE COLLECT
725.74/727.89 c rational objective 2.00001
751.66/753.87 c #Conflicts: 885000 | #Constraints: 19667
751.66/753.87 c #Conflicts: 886000 | #Constraints: 20667
751.66/753.87 c #Conflicts: 887000 | #Constraints: 21667
751.66/753.87 c #Conflicts: 888000 | #Constraints: 22667
751.66/753.87 c #Conflicts: 889000 | #Constraints: 23667
751.66/753.87 c #Conflicts: 890000 | #Constraints: 24667
751.66/753.87 c #Conflicts: 891000 | #Constraints: 25667
751.66/753.87 c #Conflicts: 892000 | #Constraints: 26667
751.66/753.87 c #Conflicts: 893000 | #Constraints: 27667
751.66/753.87 c #Conflicts: 894000 | #Constraints: 28668
751.66/753.87 c #Conflicts: 895000 | #Constraints: 29669
751.66/753.87 c #Conflicts: 896000 | #Constraints: 30682
751.66/753.87 c #Conflicts: 897000 | #Constraints: 31682
751.66/753.87 c #Conflicts: 898000 | #Constraints: 32682
751.66/753.87 c #Conflicts: 899000 | #Constraints: 33682
751.66/753.87 c #Conflicts: 900000 | #Constraints: 34682
751.66/753.87 c #Conflicts: 901000 | #Constraints: 35682
751.66/753.87 c #Conflicts: 902000 | #Constraints: 36682
751.66/753.87 c #Conflicts: 903000 | #Constraints: 37682
751.66/753.87 c INPROCESSING
751.66/753.87 c GARBAGE COLLECT
751.66/753.87 c rational objective 2.00001
778.58/780.80 c #Conflicts: 904000 | #Constraints: 19851
778.58/780.80 c #Conflicts: 905000 | #Constraints: 20851
778.58/780.80 c #Conflicts: 906000 | #Constraints: 21851
778.58/780.80 c #Conflicts: 907000 | #Constraints: 22851
778.58/780.80 c #Conflicts: 908000 | #Constraints: 23851
778.58/780.80 c #Conflicts: 909000 | #Constraints: 24851
778.58/780.80 c #Conflicts: 910000 | #Constraints: 25851
778.58/780.80 c #Conflicts: 911000 | #Constraints: 26852
778.58/780.80 c #Conflicts: 912000 | #Constraints: 27852
778.58/780.80 c #Conflicts: 913000 | #Constraints: 28852
778.58/780.80 c #Conflicts: 914000 | #Constraints: 29852
778.58/780.80 c #Conflicts: 915000 | #Constraints: 30852
778.58/780.80 c #Conflicts: 916000 | #Constraints: 31852
778.58/780.80 c #Conflicts: 917000 | #Constraints: 32852
778.58/780.80 c #Conflicts: 918000 | #Constraints: 33852
778.58/780.80 c #Conflicts: 919000 | #Constraints: 34852
778.58/780.80 c #Conflicts: 920000 | #Constraints: 35852
778.58/780.80 c #Conflicts: 921000 | #Constraints: 36852
778.58/780.80 c #Conflicts: 922000 | #Constraints: 37852
778.58/780.80 c INPROCESSING
778.58/780.80 c GARBAGE COLLECT
778.58/780.80 c rational objective 2.00001
806.79/809.18 c #Conflicts: 923000 | #Constraints: 19839
806.79/809.18 c #Conflicts: 924000 | #Constraints: 20839
806.79/809.18 c #Conflicts: 925000 | #Constraints: 21851
806.79/809.18 c #Conflicts: 926000 | #Constraints: 22851
806.79/809.18 c #Conflicts: 927000 | #Constraints: 23851
806.79/809.18 c #Conflicts: 928000 | #Constraints: 24851
806.79/809.18 c #Conflicts: 929000 | #Constraints: 25851
806.79/809.18 c #Conflicts: 930000 | #Constraints: 26851
806.79/809.18 c #Conflicts: 931000 | #Constraints: 27851
806.79/809.18 c #Conflicts: 932000 | #Constraints: 28851
806.79/809.18 c #Conflicts: 933000 | #Constraints: 29851
806.79/809.18 c #Conflicts: 934000 | #Constraints: 30851
806.79/809.18 c #Conflicts: 935000 | #Constraints: 31851
806.79/809.18 c #Conflicts: 936000 | #Constraints: 32851
806.79/809.18 c #Conflicts: 937000 | #Constraints: 33851
806.79/809.18 c #Conflicts: 938000 | #Constraints: 34851
806.79/809.18 c #Conflicts: 939000 | #Constraints: 35851
806.79/809.18 c #Conflicts: 940000 | #Constraints: 36851
806.79/809.18 c #Conflicts: 941000 | #Constraints: 37851
806.79/809.18 c INPROCESSING
806.79/809.18 c GARBAGE COLLECT
806.79/809.18 c rational objective 2.00002
833.41/835.86 c #Conflicts: 942000 | #Constraints: 19641
833.41/835.86 c #Conflicts: 943000 | #Constraints: 20641
833.41/835.86 c #Conflicts: 944000 | #Constraints: 21645
833.41/835.86 c #Conflicts: 945000 | #Constraints: 22648
833.41/835.86 c #Conflicts: 946000 | #Constraints: 23654
833.41/835.86 c #Conflicts: 947000 | #Constraints: 24658
833.41/835.86 c #Conflicts: 948000 | #Constraints: 25658
833.41/835.86 c #Conflicts: 949000 | #Constraints: 26658
833.41/835.86 c #Conflicts: 950000 | #Constraints: 27661
833.41/835.86 c #Conflicts: 951000 | #Constraints: 28661
833.41/835.86 c #Conflicts: 952000 | #Constraints: 29667
833.41/835.86 c #Conflicts: 953000 | #Constraints: 30667
833.41/835.86 c #Conflicts: 954000 | #Constraints: 31667
833.41/835.86 c #Conflicts: 955000 | #Constraints: 32667
833.41/835.86 c #Conflicts: 956000 | #Constraints: 33667
833.41/835.86 c #Conflicts: 957000 | #Constraints: 34673
833.41/835.86 c #Conflicts: 958000 | #Constraints: 35673
833.41/835.86 c #Conflicts: 959000 | #Constraints: 36676
833.41/835.86 c #Conflicts: 960000 | #Constraints: 37677
833.41/835.86 c #Conflicts: 961000 | #Constraints: 38677
833.41/835.86 c INPROCESSING
833.41/835.86 c GARBAGE COLLECT
833.41/835.86 c rational objective 2.00001
863.71/866.22 c #Conflicts: 962000 | #Constraints: 20249
863.71/866.22 c #Conflicts: 963000 | #Constraints: 21249
863.71/866.22 c #Conflicts: 964000 | #Constraints: 22253
863.71/866.22 c #Conflicts: 965000 | #Constraints: 23253
863.71/866.22 c #Conflicts: 966000 | #Constraints: 24253
863.71/866.22 c #Conflicts: 967000 | #Constraints: 25256
863.71/866.22 c #Conflicts: 968000 | #Constraints: 26256
863.71/866.22 c #Conflicts: 969000 | #Constraints: 27256
863.71/866.22 c #Conflicts: 970000 | #Constraints: 28259
863.71/866.22 c #Conflicts: 971000 | #Constraints: 29259
863.71/866.22 c #Conflicts: 972000 | #Constraints: 30268
863.71/866.22 c #Conflicts: 973000 | #Constraints: 31268
863.71/866.22 c #Conflicts: 974000 | #Constraints: 32272
863.71/866.22 c #Conflicts: 975000 | #Constraints: 33281
863.71/866.22 c #Conflicts: 976000 | #Constraints: 34281
863.71/866.22 c #Conflicts: 977000 | #Constraints: 35281
863.71/866.22 c #Conflicts: 978000 | #Constraints: 36281
863.71/866.22 c #Conflicts: 979000 | #Constraints: 37281
863.71/866.22 c #Conflicts: 980000 | #Constraints: 38285
863.71/866.22 c #Conflicts: 981000 | #Constraints: 39288
863.71/866.22 c INPROCESSING
863.71/866.22 c GARBAGE COLLECT
863.71/866.22 c rational objective 2.01896
893.32/895.90 c #Conflicts: 982000 | #Constraints: 20667
893.32/895.90 c #Conflicts: 983000 | #Constraints: 21667
893.32/895.90 c #Conflicts: 984000 | #Constraints: 22667
893.32/895.90 c #Conflicts: 985000 | #Constraints: 23674
893.32/895.90 c #Conflicts: 986000 | #Constraints: 24674
893.32/895.90 c #Conflicts: 987000 | #Constraints: 25691
893.32/895.90 c #Conflicts: 988000 | #Constraints: 26692
893.32/895.90 c #Conflicts: 989000 | #Constraints: 27697
893.32/895.90 c #Conflicts: 990000 | #Constraints: 28697
893.32/895.90 c #Conflicts: 991000 | #Constraints: 29697
893.32/895.90 c #Conflicts: 992000 | #Constraints: 30697
893.32/895.90 c #Conflicts: 993000 | #Constraints: 31697
893.32/895.90 c #Conflicts: 994000 | #Constraints: 32699
893.32/895.90 c #Conflicts: 995000 | #Constraints: 33699
893.32/895.90 c #Conflicts: 996000 | #Constraints: 34699
893.32/895.90 c #Conflicts: 997000 | #Constraints: 35699
893.32/895.90 c #Conflicts: 998000 | #Constraints: 36699
893.32/895.90 c #Conflicts: 999000 | #Constraints: 37699
893.32/895.90 c #Conflicts: 1000000 | #Constraints: 38699
893.32/895.90 c #Conflicts: 1001000 | #Constraints: 39699
893.32/895.90 c INPROCESSING
893.32/895.90 c GARBAGE COLLECT
893.32/895.90 c rational objective 2.00001
924.12/926.82 c #Conflicts: 1002000 | #Constraints: 20860
924.12/926.82 c #Conflicts: 1003000 | #Constraints: 21860
924.12/926.82 c #Conflicts: 1004000 | #Constraints: 22860
924.12/926.82 c #Conflicts: 1005000 | #Constraints: 23860
924.12/926.82 c #Conflicts: 1006000 | #Constraints: 24860
924.12/926.82 c #Conflicts: 1007000 | #Constraints: 25860
924.12/926.82 c #Conflicts: 1008000 | #Constraints: 26860
924.12/926.82 c #Conflicts: 1009000 | #Constraints: 27860
924.12/926.82 c #Conflicts: 1010000 | #Constraints: 28860
924.12/926.82 c #Conflicts: 1011000 | #Constraints: 29860
924.12/926.82 c #Conflicts: 1012000 | #Constraints: 30865
924.12/926.82 c #Conflicts: 1013000 | #Constraints: 31869
924.12/926.82 c #Conflicts: 1014000 | #Constraints: 32871
924.12/926.82 c #Conflicts: 1015000 | #Constraints: 33871
924.12/926.82 c #Conflicts: 1016000 | #Constraints: 34871
924.12/926.82 c #Conflicts: 1017000 | #Constraints: 35871
924.12/926.82 c #Conflicts: 1018000 | #Constraints: 36880
924.12/926.82 c #Conflicts: 1019000 | #Constraints: 37880
924.12/926.82 c #Conflicts: 1020000 | #Constraints: 38880
924.12/926.82 c #Conflicts: 1021000 | #Constraints: 39880
924.12/926.82 c INPROCESSING
924.12/926.82 c GARBAGE COLLECT
924.12/926.82 c rational objective 2.00001
955.92/958.72 c #Conflicts: 1022000 | #Constraints: 20854
955.92/958.72 c #Conflicts: 1023000 | #Constraints: 21854
955.92/958.72 c #Conflicts: 1024000 | #Constraints: 22854
955.92/958.72 c #Conflicts: 1025000 | #Constraints: 23854
955.92/958.72 c #Conflicts: 1026000 | #Constraints: 24854
955.92/958.72 c #Conflicts: 1027000 | #Constraints: 25854
955.92/958.72 c #Conflicts: 1028000 | #Constraints: 26854
955.92/958.72 c #Conflicts: 1029000 | #Constraints: 27854
955.92/958.72 c #Conflicts: 1030000 | #Constraints: 28854
955.92/958.72 c #Conflicts: 1031000 | #Constraints: 29854
955.92/958.72 c #Conflicts: 1032000 | #Constraints: 30854
955.92/958.72 c #Conflicts: 1033000 | #Constraints: 31854
955.92/958.72 c #Conflicts: 1034000 | #Constraints: 32854
955.92/958.72 c #Conflicts: 1035000 | #Constraints: 33854
955.92/958.72 c #Conflicts: 1036000 | #Constraints: 34854
955.92/958.72 c #Conflicts: 1037000 | #Constraints: 35854
955.92/958.72 c #Conflicts: 1038000 | #Constraints: 36854
955.92/958.72 c #Conflicts: 1039000 | #Constraints: 37854
955.92/958.72 c #Conflicts: 1040000 | #Constraints: 38854
955.92/958.72 c #Conflicts: 1041000 | #Constraints: 39854
955.92/958.72 c INPROCESSING
955.92/958.72 c GARBAGE COLLECT
955.92/958.72 c rational objective 2.00002
995.89/998.88 c #Conflicts: 1042000 | #Constraints: 20646
995.89/998.88 c #Conflicts: 1043000 | #Constraints: 21774
995.89/998.88 c #Conflicts: 1044000 | #Constraints: 22869
995.89/998.88 c #Conflicts: 1045000 | #Constraints: 23997
995.89/998.88 c #Conflicts: 1046000 | #Constraints: 25103
995.89/998.88 c #Conflicts: 1047000 | #Constraints: 26230
995.89/998.88 c #Conflicts: 1048000 | #Constraints: 27360
995.89/998.88 c #Conflicts: 1049000 | #Constraints: 28466
995.89/998.88 c #Conflicts: 1050000 | #Constraints: 29550
995.89/998.88 c #Conflicts: 1051000 | #Constraints: 30657
995.89/998.88 c #Conflicts: 1052000 | #Constraints: 31751
995.89/998.88 c #Conflicts: 1053000 | #Constraints: 32863
995.89/998.88 c #Conflicts: 1054000 | #Constraints: 33997
995.89/998.88 c #Conflicts: 1055000 | #Constraints: 35071
995.89/998.88 c #Conflicts: 1056000 | #Constraints: 36144
995.89/998.88 c #Conflicts: 1057000 | #Constraints: 37236
995.89/998.88 c #Conflicts: 1058000 | #Constraints: 38375
995.89/998.88 c #Conflicts: 1059000 | #Constraints: 39462
995.89/998.88 c #Conflicts: 1060000 | #Constraints: 40518
995.89/998.88 c #Conflicts: 1061000 | #Constraints: 41559
995.89/998.88 c #Conflicts: 1062000 | #Constraints: 42559
995.89/998.88 c INPROCESSING
995.89/998.88 c GARBAGE COLLECT
995.89/998.88 c rational objective 2.00021
1040.25/1043.34 c #Conflicts: 1063000 | #Constraints: 22220
1040.25/1043.34 c #Conflicts: 1064000 | #Constraints: 23266
1040.25/1043.34 c #Conflicts: 1065000 | #Constraints: 24304
1040.25/1043.34 c #Conflicts: 1066000 | #Constraints: 25352
1040.25/1043.34 c #Conflicts: 1067000 | #Constraints: 26356
1040.25/1043.34 c #Conflicts: 1068000 | #Constraints: 27356
1040.25/1043.34 c #Conflicts: 1069000 | #Constraints: 28356
1040.25/1043.34 c #Conflicts: 1070000 | #Constraints: 29356
1040.25/1043.34 c #Conflicts: 1071000 | #Constraints: 30356
1040.25/1043.34 c #Conflicts: 1072000 | #Constraints: 31356
1040.25/1043.34 c #Conflicts: 1073000 | #Constraints: 32356
1040.25/1043.34 c #Conflicts: 1074000 | #Constraints: 33356
1040.25/1043.34 c #Conflicts: 1075000 | #Constraints: 34356
1040.25/1043.34 c #Conflicts: 1076000 | #Constraints: 35356
1040.25/1043.34 c #Conflicts: 1077000 | #Constraints: 36356
1040.25/1043.34 c #Conflicts: 1078000 | #Constraints: 37356
1040.25/1043.34 c #Conflicts: 1079000 | #Constraints: 38356
1040.25/1043.34 c #Conflicts: 1080000 | #Constraints: 39356
1040.25/1043.34 c #Conflicts: 1081000 | #Constraints: 40356
1040.25/1043.34 c #Conflicts: 1082000 | #Constraints: 41356
1040.25/1043.34 c #Conflicts: 1083000 | #Constraints: 42356
1040.25/1043.34 c INPROCESSING
1040.25/1043.34 c GARBAGE COLLECT
1040.25/1043.34 c rational objective 2.00001
1079.62/1082.81 c #Conflicts: 1084000 | #Constraints: 22236
1079.62/1082.81 c #Conflicts: 1085000 | #Constraints: 23287
1079.62/1082.81 c #Conflicts: 1086000 | #Constraints: 24350
1079.62/1082.81 c #Conflicts: 1087000 | #Constraints: 25390
1079.62/1082.81 c #Conflicts: 1088000 | #Constraints: 26427
1079.62/1082.81 c #Conflicts: 1089000 | #Constraints: 27427
1079.62/1082.81 c #Conflicts: 1090000 | #Constraints: 28427
1079.62/1082.81 c #Conflicts: 1091000 | #Constraints: 29427
1079.62/1082.81 c #Conflicts: 1092000 | #Constraints: 30427
1079.62/1082.81 c #Conflicts: 1093000 | #Constraints: 31427
1079.62/1082.81 c #Conflicts: 1094000 | #Constraints: 32427
1079.62/1082.81 c #Conflicts: 1095000 | #Constraints: 33427
1079.62/1082.81 c #Conflicts: 1096000 | #Constraints: 34427
1079.62/1082.81 c #Conflicts: 1097000 | #Constraints: 35427
1079.62/1082.81 c #Conflicts: 1098000 | #Constraints: 36427
1079.62/1082.81 c #Conflicts: 1099000 | #Constraints: 37427
1079.62/1082.81 c #Conflicts: 1100000 | #Constraints: 38427
1079.62/1082.81 c #Conflicts: 1101000 | #Constraints: 39427
1079.62/1082.81 c #Conflicts: 1102000 | #Constraints: 40427
1079.62/1082.81 c #Conflicts: 1103000 | #Constraints: 41427
1079.62/1082.81 c #Conflicts: 1104000 | #Constraints: 42427
1079.62/1082.81 c INPROCESSING
1079.62/1082.81 c GARBAGE COLLECT
1079.62/1082.81 c rational objective 2.00001
1118.30/1121.61 c #Conflicts: 1105000 | #Constraints: 22237
1118.30/1121.61 c #Conflicts: 1106000 | #Constraints: 23263
1118.30/1121.61 c #Conflicts: 1107000 | #Constraints: 24263
1118.30/1121.61 c #Conflicts: 1108000 | #Constraints: 25263
1118.30/1121.61 c #Conflicts: 1109000 | #Constraints: 26263
1118.30/1121.61 c #Conflicts: 1110000 | #Constraints: 27263
1118.30/1121.61 c #Conflicts: 1111000 | #Constraints: 28263
1118.30/1121.61 c #Conflicts: 1112000 | #Constraints: 29263
1118.30/1121.61 c #Conflicts: 1113000 | #Constraints: 30263
1118.30/1121.61 c #Conflicts: 1114000 | #Constraints: 31263
1118.30/1121.61 c #Conflicts: 1115000 | #Constraints: 32263
1118.30/1121.61 c #Conflicts: 1116000 | #Constraints: 33263
1118.30/1121.61 c #Conflicts: 1117000 | #Constraints: 34263
1118.30/1121.61 c #Conflicts: 1118000 | #Constraints: 35263
1118.30/1121.61 c #Conflicts: 1119000 | #Constraints: 36263
1118.30/1121.61 c #Conflicts: 1120000 | #Constraints: 37263
1118.30/1121.61 c #Conflicts: 1121000 | #Constraints: 38263
1118.30/1121.61 c #Conflicts: 1122000 | #Constraints: 39263
1118.30/1121.61 c #Conflicts: 1123000 | #Constraints: 40263
1118.30/1121.61 c #Conflicts: 1124000 | #Constraints: 41263
1118.30/1121.61 c #Conflicts: 1125000 | #Constraints: 42263
1118.30/1121.61 c INPROCESSING
1118.30/1121.61 c GARBAGE COLLECT
1118.30/1121.61 c rational objective 2.00001
1161.76/1165.26 c #Conflicts: 1126000 | #Constraints: 22076
1161.76/1165.26 c #Conflicts: 1127000 | #Constraints: 23111
1161.76/1165.26 c #Conflicts: 1128000 | #Constraints: 24111
1161.76/1165.26 c #Conflicts: 1129000 | #Constraints: 25111
1161.76/1165.26 c #Conflicts: 1130000 | #Constraints: 26111
1161.76/1165.26 c #Conflicts: 1131000 | #Constraints: 27111
1161.76/1165.26 c #Conflicts: 1132000 | #Constraints: 28111
1161.76/1165.26 c #Conflicts: 1133000 | #Constraints: 29111
1161.76/1165.26 c #Conflicts: 1134000 | #Constraints: 30111
1161.76/1165.26 c #Conflicts: 1135000 | #Constraints: 31111
1161.76/1165.26 c #Conflicts: 1136000 | #Constraints: 32111
1161.76/1165.26 c #Conflicts: 1137000 | #Constraints: 33111
1161.76/1165.26 c #Conflicts: 1138000 | #Constraints: 34111
1161.76/1165.26 c #Conflicts: 1139000 | #Constraints: 35111
1161.76/1165.26 c #Conflicts: 1140000 | #Constraints: 36111
1161.76/1165.26 c #Conflicts: 1141000 | #Constraints: 37111
1161.76/1165.26 c #Conflicts: 1142000 | #Constraints: 38111
1161.76/1165.26 c #Conflicts: 1143000 | #Constraints: 39111
1161.76/1165.26 c #Conflicts: 1144000 | #Constraints: 40111
1161.76/1165.26 c #Conflicts: 1145000 | #Constraints: 41111
1161.76/1165.26 c #Conflicts: 1146000 | #Constraints: 42111
1161.76/1165.26 c INPROCESSING
1161.76/1165.26 c GARBAGE COLLECT
1161.76/1165.26 c rational objective 2.00002
1216.76/1220.46 c #Conflicts: 1147000 | #Constraints: 21768
1216.76/1220.46 c #Conflicts: 1148000 | #Constraints: 22782
1216.76/1220.46 c #Conflicts: 1149000 | #Constraints: 23782
1216.76/1220.46 c #Conflicts: 1150000 | #Constraints: 24782
1216.76/1220.46 c #Conflicts: 1151000 | #Constraints: 25782
1216.76/1220.46 c #Conflicts: 1152000 | #Constraints: 26782
1216.76/1220.46 c #Conflicts: 1153000 | #Constraints: 27782
1216.76/1220.46 c #Conflicts: 1154000 | #Constraints: 28782
1216.76/1220.46 c #Conflicts: 1155000 | #Constraints: 29782
1216.76/1220.46 c #Conflicts: 1156000 | #Constraints: 30790
1216.76/1220.46 c #Conflicts: 1157000 | #Constraints: 31834
1216.76/1220.46 c #Conflicts: 1158000 | #Constraints: 32837
1216.76/1220.46 c #Conflicts: 1159000 | #Constraints: 33882
1216.76/1220.46 c #Conflicts: 1160000 | #Constraints: 34946
1216.76/1220.46 c #Conflicts: 1161000 | #Constraints: 35950
1216.76/1220.46 c #Conflicts: 1162000 | #Constraints: 36950
1216.76/1220.46 c #Conflicts: 1163000 | #Constraints: 37950
1216.76/1220.46 c #Conflicts: 1164000 | #Constraints: 38950
1216.76/1220.46 c #Conflicts: 1165000 | #Constraints: 39950
1216.76/1220.46 c #Conflicts: 1166000 | #Constraints: 40950
1216.76/1220.46 c #Conflicts: 1167000 | #Constraints: 41950
1216.76/1220.46 c #Conflicts: 1168000 | #Constraints: 42950
1216.76/1220.46 c INPROCESSING
1216.76/1220.46 c GARBAGE COLLECT
1216.76/1220.46 c rational objective 2.00001
1266.69/1270.53 c #Conflicts: 1169000 | #Constraints: 22392
1266.69/1270.53 c #Conflicts: 1170000 | #Constraints: 23392
1266.69/1270.53 c #Conflicts: 1171000 | #Constraints: 24392
1266.69/1270.53 c #Conflicts: 1172000 | #Constraints: 25392
1266.69/1270.53 c #Conflicts: 1173000 | #Constraints: 26392
1266.69/1270.53 c #Conflicts: 1174000 | #Constraints: 27392
1266.69/1270.53 c #Conflicts: 1175000 | #Constraints: 28392
1266.69/1270.53 c #Conflicts: 1176000 | #Constraints: 29406
1266.69/1270.53 c #Conflicts: 1177000 | #Constraints: 30406
1266.69/1270.53 c #Conflicts: 1178000 | #Constraints: 31406
1266.69/1270.53 c #Conflicts: 1179000 | #Constraints: 32406
1266.69/1270.53 c #Conflicts: 1180000 | #Constraints: 33406
1266.69/1270.53 c #Conflicts: 1181000 | #Constraints: 34406
1266.69/1270.53 c #Conflicts: 1182000 | #Constraints: 35406
1266.69/1270.53 c #Conflicts: 1183000 | #Constraints: 36406
1266.69/1270.53 c #Conflicts: 1184000 | #Constraints: 37406
1266.69/1270.53 c #Conflicts: 1185000 | #Constraints: 38406
1266.69/1270.53 c #Conflicts: 1186000 | #Constraints: 39406
1266.69/1270.53 c #Conflicts: 1187000 | #Constraints: 40406
1266.69/1270.53 c #Conflicts: 1188000 | #Constraints: 41406
1266.69/1270.53 c #Conflicts: 1189000 | #Constraints: 42406
1266.69/1270.53 c #Conflicts: 1190000 | #Constraints: 43406
1266.69/1270.53 c INPROCESSING
1266.69/1270.53 c GARBAGE COLLECT
1266.69/1270.53 c rational objective 2.00001
1316.33/1320.32 c #Conflicts: 1191000 | #Constraints: 22751
1316.33/1320.32 c #Conflicts: 1192000 | #Constraints: 23766
1316.33/1320.32 c #Conflicts: 1193000 | #Constraints: 24766
1316.33/1320.32 c #Conflicts: 1194000 | #Constraints: 25766
1316.33/1320.32 c #Conflicts: 1195000 | #Constraints: 26766
1316.33/1320.32 c #Conflicts: 1196000 | #Constraints: 27766
1316.33/1320.32 c #Conflicts: 1197000 | #Constraints: 28766
1316.33/1320.32 c #Conflicts: 1198000 | #Constraints: 29766
1316.33/1320.32 c #Conflicts: 1199000 | #Constraints: 30766
1316.33/1320.32 c #Conflicts: 1200000 | #Constraints: 31766
1316.33/1320.32 c #Conflicts: 1201000 | #Constraints: 32766
1316.33/1320.32 c #Conflicts: 1202000 | #Constraints: 33766
1316.33/1320.32 c #Conflicts: 1203000 | #Constraints: 34766
1316.33/1320.32 c #Conflicts: 1204000 | #Constraints: 35766
1316.33/1320.32 c #Conflicts: 1205000 | #Constraints: 36766
1316.33/1320.32 c #Conflicts: 1206000 | #Constraints: 37766
1316.33/1320.32 c #Conflicts: 1207000 | #Constraints: 38766
1316.33/1320.32 c #Conflicts: 1208000 | #Constraints: 39766
1316.33/1320.32 c #Conflicts: 1209000 | #Constraints: 40766
1316.33/1320.32 c #Conflicts: 1210000 | #Constraints: 41766
1316.33/1320.32 c #Conflicts: 1211000 | #Constraints: 42766
1316.33/1320.32 c #Conflicts: 1212000 | #Constraints: 43766
1316.33/1320.32 c INPROCESSING
1316.33/1320.32 c GARBAGE COLLECT
1316.33/1320.32 c rational objective 2.00001
1367.85/1372.02 c #Conflicts: 1213000 | #Constraints: 22902
1367.85/1372.02 c #Conflicts: 1214000 | #Constraints: 23902
1367.85/1372.02 c #Conflicts: 1215000 | #Constraints: 24921
1367.85/1372.02 c #Conflicts: 1216000 | #Constraints: 25929
1367.85/1372.02 c #Conflicts: 1217000 | #Constraints: 26945
1367.85/1372.02 c #Conflicts: 1218000 | #Constraints: 27945
1367.85/1372.02 c #Conflicts: 1219000 | #Constraints: 28945
1367.85/1372.02 c #Conflicts: 1220000 | #Constraints: 29945
1367.85/1372.02 c #Conflicts: 1221000 | #Constraints: 30945
1367.85/1372.02 c #Conflicts: 1222000 | #Constraints: 31945
1367.85/1372.02 c #Conflicts: 1223000 | #Constraints: 32945
1367.85/1372.02 c #Conflicts: 1224000 | #Constraints: 33945
1367.85/1372.02 c #Conflicts: 1225000 | #Constraints: 34945
1367.85/1372.02 c #Conflicts: 1226000 | #Constraints: 35945
1367.85/1372.02 c #Conflicts: 1227000 | #Constraints: 36945
1367.85/1372.02 c #Conflicts: 1228000 | #Constraints: 37945
1367.85/1372.02 c #Conflicts: 1229000 | #Constraints: 38945
1367.85/1372.02 c #Conflicts: 1230000 | #Constraints: 39945
1367.85/1372.02 c #Conflicts: 1231000 | #Constraints: 40945
1367.85/1372.02 c #Conflicts: 1232000 | #Constraints: 41945
1367.85/1372.02 c #Conflicts: 1233000 | #Constraints: 42945
1367.85/1372.02 c #Conflicts: 1234000 | #Constraints: 43945
1367.85/1372.02 c INPROCESSING
1367.85/1372.02 c GARBAGE COLLECT
1367.85/1372.02 c rational objective 2.00002
1422.85/1427.20 c #Conflicts: 1235000 | #Constraints: 22912
1422.85/1427.20 c #Conflicts: 1236000 | #Constraints: 23937
1422.85/1427.20 c #Conflicts: 1237000 | #Constraints: 24948
1422.85/1427.20 c #Conflicts: 1238000 | #Constraints: 25969
1422.85/1427.20 c #Conflicts: 1239000 | #Constraints: 26975
1422.85/1427.20 c #Conflicts: 1240000 | #Constraints: 27975
1422.85/1427.20 c #Conflicts: 1241000 | #Constraints: 28975
1422.85/1427.20 c #Conflicts: 1242000 | #Constraints: 29975
1422.85/1427.20 c #Conflicts: 1243000 | #Constraints: 30975
1422.85/1427.20 c #Conflicts: 1244000 | #Constraints: 31975
1422.85/1427.20 c #Conflicts: 1245000 | #Constraints: 32975
1422.85/1427.20 c #Conflicts: 1246000 | #Constraints: 33975
1422.85/1427.20 c #Conflicts: 1247000 | #Constraints: 34975
1422.85/1427.20 c #Conflicts: 1248000 | #Constraints: 35975
1422.85/1427.20 c #Conflicts: 1249000 | #Constraints: 36975
1422.85/1427.20 c #Conflicts: 1250000 | #Constraints: 37975
1422.85/1427.20 c #Conflicts: 1251000 | #Constraints: 38975
1422.85/1427.20 c #Conflicts: 1252000 | #Constraints: 39975
1422.85/1427.20 c #Conflicts: 1253000 | #Constraints: 40975
1422.85/1427.20 c #Conflicts: 1254000 | #Constraints: 41975
1422.85/1427.20 c #Conflicts: 1255000 | #Constraints: 42975
1422.85/1427.20 c #Conflicts: 1256000 | #Constraints: 43975
1422.85/1427.20 c INPROCESSING
1422.85/1427.20 c GARBAGE COLLECT
1422.85/1427.20 c rational objective 2.00001
1477.37/1481.90 c #Conflicts: 1257000 | #Constraints: 22698
1477.37/1481.90 c #Conflicts: 1258000 | #Constraints: 23716
1477.37/1481.90 c #Conflicts: 1259000 | #Constraints: 24731
1477.37/1481.90 c #Conflicts: 1260000 | #Constraints: 25737
1477.37/1481.90 c #Conflicts: 1261000 | #Constraints: 26737
1477.37/1481.90 c #Conflicts: 1262000 | #Constraints: 27746
1477.37/1481.90 c #Conflicts: 1263000 | #Constraints: 28747
1477.37/1481.90 c #Conflicts: 1264000 | #Constraints: 29747
1477.37/1481.90 c #Conflicts: 1265000 | #Constraints: 30747
1477.37/1481.90 c #Conflicts: 1266000 | #Constraints: 31747
1477.37/1481.90 c #Conflicts: 1267000 | #Constraints: 32747
1477.37/1481.90 c #Conflicts: 1268000 | #Constraints: 33747
1477.37/1481.90 c #Conflicts: 1269000 | #Constraints: 34747
1477.37/1481.90 c #Conflicts: 1270000 | #Constraints: 35747
1477.37/1481.90 c #Conflicts: 1271000 | #Constraints: 36747
1477.37/1481.90 c #Conflicts: 1272000 | #Constraints: 37747
1477.37/1481.90 c #Conflicts: 1273000 | #Constraints: 38747
1477.37/1481.90 c #Conflicts: 1274000 | #Constraints: 39747
1477.37/1481.90 c #Conflicts: 1275000 | #Constraints: 40747
1477.37/1481.90 c #Conflicts: 1276000 | #Constraints: 41747
1477.37/1481.90 c #Conflicts: 1277000 | #Constraints: 42747
1477.37/1481.90 c #Conflicts: 1278000 | #Constraints: 43747
1477.37/1481.90 c #Conflicts: 1279000 | #Constraints: 44747
1477.37/1481.90 c INPROCESSING
1477.37/1481.90 c GARBAGE COLLECT
1477.37/1481.90 c rational objective 2.00001
1532.39/1537.16 c #Conflicts: 1280000 | #Constraints: 23290
1532.39/1537.16 c #Conflicts: 1281000 | #Constraints: 24292
1532.39/1537.16 c #Conflicts: 1282000 | #Constraints: 25303
1532.39/1537.16 c #Conflicts: 1283000 | #Constraints: 26314
1532.39/1537.16 c #Conflicts: 1284000 | #Constraints: 27325
1532.39/1537.16 c #Conflicts: 1285000 | #Constraints: 28342
1532.39/1537.16 c #Conflicts: 1286000 | #Constraints: 29358
1532.39/1537.16 c #Conflicts: 1287000 | #Constraints: 30374
1532.39/1537.16 c #Conflicts: 1288000 | #Constraints: 31400
1532.39/1537.16 c #Conflicts: 1289000 | #Constraints: 32411
1532.39/1537.16 c #Conflicts: 1290000 | #Constraints: 33453
1532.39/1537.16 c #Conflicts: 1291000 | #Constraints: 34470
1532.39/1537.16 c #Conflicts: 1292000 | #Constraints: 35475
1532.39/1537.16 c #Conflicts: 1293000 | #Constraints: 36475
1532.39/1537.16 c #Conflicts: 1294000 | #Constraints: 37475
1532.39/1537.16 c #Conflicts: 1295000 | #Constraints: 38475
1532.39/1537.16 c #Conflicts: 1296000 | #Constraints: 39475
1532.39/1537.16 c #Conflicts: 1297000 | #Constraints: 40475
1532.39/1537.16 c #Conflicts: 1298000 | #Constraints: 41475
1532.39/1537.16 c #Conflicts: 1299000 | #Constraints: 42475
1532.39/1537.16 c #Conflicts: 1300000 | #Constraints: 43475
1532.39/1537.16 c #Conflicts: 1301000 | #Constraints: 44475
1532.39/1537.16 c #Conflicts: 1302000 | #Constraints: 45475
1532.39/1537.16 c INPROCESSING
1532.39/1537.16 c GARBAGE COLLECT
1532.39/1537.16 c rational objective 2.00001
1594.66/1599.62 c #Conflicts: 1303000 | #Constraints: 23765
1594.66/1599.62 c #Conflicts: 1304000 | #Constraints: 24773
1594.66/1599.62 c #Conflicts: 1305000 | #Constraints: 25773
1594.66/1599.62 c #Conflicts: 1306000 | #Constraints: 26773
1594.66/1599.62 c #Conflicts: 1307000 | #Constraints: 27773
1594.66/1599.62 c #Conflicts: 1308000 | #Constraints: 28773
1594.66/1599.62 c #Conflicts: 1309000 | #Constraints: 29773
1594.66/1599.62 c #Conflicts: 1310000 | #Constraints: 30773
1594.66/1599.62 c #Conflicts: 1311000 | #Constraints: 31773
1594.66/1599.62 c #Conflicts: 1312000 | #Constraints: 32773
1594.66/1599.62 c #Conflicts: 1313000 | #Constraints: 33773
1594.66/1599.62 c #Conflicts: 1314000 | #Constraints: 34773
1594.66/1599.62 c #Conflicts: 1315000 | #Constraints: 35773
1594.66/1599.62 c #Conflicts: 1316000 | #Constraints: 36773
1594.66/1599.62 c #Conflicts: 1317000 | #Constraints: 37802
1594.66/1599.62 c #Conflicts: 1318000 | #Constraints: 38802
1594.66/1599.62 c #Conflicts: 1319000 | #Constraints: 39824
1594.66/1599.62 c #Conflicts: 1320000 | #Constraints: 40836
1594.66/1599.62 c #Conflicts: 1321000 | #Constraints: 41836
1594.66/1599.62 c #Conflicts: 1322000 | #Constraints: 42836
1594.66/1599.62 c #Conflicts: 1323000 | #Constraints: 43836
1594.66/1599.62 c #Conflicts: 1324000 | #Constraints: 44836
1594.66/1599.62 c #Conflicts: 1325000 | #Constraints: 45836
1594.66/1599.62 c INPROCESSING
1594.66/1599.62 c GARBAGE COLLECT
1594.66/1599.62 c rational objective 2.00002
1650.08/1655.27 c #Conflicts: 1326000 | #Constraints: 23967
1650.08/1655.27 c #Conflicts: 1327000 | #Constraints: 24974
1650.08/1655.27 c #Conflicts: 1328000 | #Constraints: 25974
1650.08/1655.27 c #Conflicts: 1329000 | #Constraints: 26984
1650.08/1655.27 c #Conflicts: 1330000 | #Constraints: 27984
1650.08/1655.27 c #Conflicts: 1331000 | #Constraints: 28984
1650.08/1655.27 c #Conflicts: 1332000 | #Constraints: 29984
1650.08/1655.27 c #Conflicts: 1333000 | #Constraints: 30984
1650.08/1655.27 c #Conflicts: 1334000 | #Constraints: 31984
1650.08/1655.27 c #Conflicts: 1335000 | #Constraints: 32984
1650.08/1655.27 c #Conflicts: 1336000 | #Constraints: 33984
1650.08/1655.27 c #Conflicts: 1337000 | #Constraints: 34984
1650.08/1655.27 c #Conflicts: 1338000 | #Constraints: 35984
1650.08/1655.27 c #Conflicts: 1339000 | #Constraints: 36984
1650.08/1655.27 c #Conflicts: 1340000 | #Constraints: 37984
1650.08/1655.27 c #Conflicts: 1341000 | #Constraints: 38984
1650.08/1655.27 c #Conflicts: 1342000 | #Constraints: 39984
1650.08/1655.27 c #Conflicts: 1343000 | #Constraints: 40984
1650.08/1655.27 c #Conflicts: 1344000 | #Constraints: 41984
1650.08/1655.27 c #Conflicts: 1345000 | #Constraints: 42984
1650.08/1655.27 c #Conflicts: 1346000 | #Constraints: 43984
1650.08/1655.27 c #Conflicts: 1347000 | #Constraints: 44984
1650.08/1655.27 c #Conflicts: 1348000 | #Constraints: 45984
1650.08/1655.27 c INPROCESSING
1650.08/1655.27 c GARBAGE COLLECT
1650.08/1655.27 c rational objective 2.00002
1722.51/1727.93 c #Conflicts: 1349000 | #Constraints: 23942
1722.51/1727.93 c #Conflicts: 1350000 | #Constraints: 25071
1722.51/1727.93 c #Conflicts: 1351000 | #Constraints: 26179
1722.51/1727.93 c #Conflicts: 1352000 | #Constraints: 27274
1722.51/1727.93 c #Conflicts: 1353000 | #Constraints: 28405
1722.51/1727.93 c #Conflicts: 1354000 | #Constraints: 29505
1722.51/1727.93 c #Conflicts: 1355000 | #Constraints: 30637
1722.51/1727.93 c #Conflicts: 1356000 | #Constraints: 31793
1722.51/1727.93 c #Conflicts: 1357000 | #Constraints: 32894
1722.51/1727.93 c #Conflicts: 1358000 | #Constraints: 33986
1722.51/1727.93 c #Conflicts: 1359000 | #Constraints: 35091
1722.51/1727.93 c #Conflicts: 1360000 | #Constraints: 36193
1722.51/1727.93 c #Conflicts: 1361000 | #Constraints: 37297
1722.51/1727.93 c #Conflicts: 1362000 | #Constraints: 38337
1722.51/1727.93 c #Conflicts: 1363000 | #Constraints: 39337
1722.51/1727.93 c #Conflicts: 1364000 | #Constraints: 40337
1722.51/1727.93 c #Conflicts: 1365000 | #Constraints: 41337
1722.51/1727.93 c #Conflicts: 1366000 | #Constraints: 42337
1722.51/1727.93 c #Conflicts: 1367000 | #Constraints: 43337
1722.51/1727.93 c #Conflicts: 1368000 | #Constraints: 44337
1722.51/1727.93 c #Conflicts: 1369000 | #Constraints: 45337
1722.51/1727.93 c #Conflicts: 1370000 | #Constraints: 46337
1722.51/1727.93 c #Conflicts: 1371000 | #Constraints: 47337
1722.51/1727.93 c INPROCESSING
1722.51/1727.93 c GARBAGE COLLECT
1722.51/1727.93 c rational objective 2.0002
1787.89/1793.59 c #Conflicts: 1372000 | #Constraints: 24397
1787.89/1793.59 c #Conflicts: 1373000 | #Constraints: 25507
1787.89/1793.59 c #Conflicts: 1374000 | #Constraints: 26605
1787.89/1793.59 c #Conflicts: 1375000 | #Constraints: 27704
1787.89/1793.59 c #Conflicts: 1376000 | #Constraints: 28788
1787.89/1793.59 c #Conflicts: 1377000 | #Constraints: 29913
1787.89/1793.59 c #Conflicts: 1378000 | #Constraints: 30984
1787.89/1793.59 c #Conflicts: 1379000 | #Constraints: 32029
1787.89/1793.59 c #Conflicts: 1380000 | #Constraints: 33112
1787.89/1793.59 c #Conflicts: 1381000 | #Constraints: 34158
1787.89/1793.59 c #Conflicts: 1382000 | #Constraints: 35211
1787.89/1793.59 c #Conflicts: 1383000 | #Constraints: 36284
1787.89/1793.59 c #Conflicts: 1384000 | #Constraints: 37356
1787.89/1793.59 c #Conflicts: 1385000 | #Constraints: 38381
1787.89/1793.59 c #Conflicts: 1386000 | #Constraints: 39381
1787.89/1793.59 c #Conflicts: 1387000 | #Constraints: 40414
1787.89/1793.59 c #Conflicts: 1388000 | #Constraints: 41498
1787.89/1793.59 c #Conflicts: 1389000 | #Constraints: 42569
1787.89/1793.59 c #Conflicts: 1390000 | #Constraints: 43569
1787.89/1793.59 c #Conflicts: 1391000 | #Constraints: 44611
1787.89/1793.59 c #Conflicts: 1392000 | #Constraints: 45705
1787.89/1793.59 c #Conflicts: 1393000 | #Constraints: 46781
1787.89/1793.59 c #Conflicts: 1394000 | #Constraints: 47874
1787.89/1793.59 c #Conflicts: 1395000 | #Constraints: 48956
1787.89/1793.59 c INPROCESSING
1787.89/1793.59 c GARBAGE COLLECT
1787.89/1793.59 c rational objective 2.00033
1864.04/1869.95 c #Conflicts: 1396000 | #Constraints: 25417
1864.04/1869.95 c #Conflicts: 1397000 | #Constraints: 26459
1864.04/1869.95 c #Conflicts: 1398000 | #Constraints: 27506
1864.04/1869.95 c #Conflicts: 1399000 | #Constraints: 28547
1864.04/1869.95 c #Conflicts: 1400000 | #Constraints: 29581
1864.04/1869.95 c #Conflicts: 1401000 | #Constraints: 30591
1864.04/1869.95 c #Conflicts: 1402000 | #Constraints: 31591
1864.04/1869.95 c #Conflicts: 1403000 | #Constraints: 32591
1864.04/1869.95 c #Conflicts: 1404000 | #Constraints: 33616
1864.04/1869.95 c #Conflicts: 1405000 | #Constraints: 34672
1864.04/1869.95 c #Conflicts: 1406000 | #Constraints: 35711
1864.04/1869.95 c #Conflicts: 1407000 | #Constraints: 36805
1864.04/1869.95 c #Conflicts: 1408000 | #Constraints: 37837
1864.04/1869.95 c #Conflicts: 1409000 | #Constraints: 38870
1864.04/1869.95 c #Conflicts: 1410000 | #Constraints: 39891
1864.04/1869.95 c #Conflicts: 1411000 | #Constraints: 40895
1864.04/1869.95 c #Conflicts: 1412000 | #Constraints: 41895
1864.04/1869.95 c #Conflicts: 1413000 | #Constraints: 42930
1864.04/1869.95 c #Conflicts: 1414000 | #Constraints: 43948
1864.04/1869.95 c #Conflicts: 1415000 | #Constraints: 44983
1864.04/1869.95 c #Conflicts: 1416000 | #Constraints: 46050
1864.04/1869.95 c #Conflicts: 1417000 | #Constraints: 47087
1864.04/1869.95 c #Conflicts: 1418000 | #Constraints: 48139
1864.04/1869.95 c #Conflicts: 1419000 | #Constraints: 49179
1864.04/1869.95 c INPROCESSING
1864.04/1869.95 c GARBAGE COLLECT
1864.04/1869.95 c rational objective 2.00029
1935.30/1941.42 c #Conflicts: 1420000 | #Constraints: 25651
1935.30/1941.42 c #Conflicts: 1421000 | #Constraints: 26747
1935.30/1941.42 c #Conflicts: 1422000 | #Constraints: 27803
1935.30/1941.42 c #Conflicts: 1423000 | #Constraints: 28835
1935.30/1941.42 c #Conflicts: 1424000 | #Constraints: 29855
1935.30/1941.42 c #Conflicts: 1425000 | #Constraints: 30898
1935.30/1941.42 c #Conflicts: 1426000 | #Constraints: 31956
1935.30/1941.42 c #Conflicts: 1427000 | #Constraints: 32996
1935.30/1941.42 c #Conflicts: 1428000 | #Constraints: 34028
1935.30/1941.42 c #Conflicts: 1429000 | #Constraints: 35067
1935.30/1941.42 c #Conflicts: 1430000 | #Constraints: 36115
1935.30/1941.42 c #Conflicts: 1431000 | #Constraints: 37130
1935.30/1941.42 c #Conflicts: 1432000 | #Constraints: 38166
1935.30/1941.42 c #Conflicts: 1433000 | #Constraints: 39166
1935.30/1941.42 c #Conflicts: 1434000 | #Constraints: 40168
1935.30/1941.42 c #Conflicts: 1435000 | #Constraints: 41197
1935.30/1941.42 c #Conflicts: 1436000 | #Constraints: 42226
1935.30/1941.42 c #Conflicts: 1437000 | #Constraints: 43226
1935.30/1941.42 c #Conflicts: 1438000 | #Constraints: 44226
1935.30/1941.42 c #Conflicts: 1439000 | #Constraints: 45226
1935.30/1941.42 c #Conflicts: 1440000 | #Constraints: 46226
1935.30/1941.42 c #Conflicts: 1441000 | #Constraints: 47226
1935.30/1941.42 c #Conflicts: 1442000 | #Constraints: 48226
1935.30/1941.42 c #Conflicts: 1443000 | #Constraints: 49226
1935.30/1941.42 c INPROCESSING
1935.30/1941.42 c GARBAGE COLLECT
1935.30/1941.42 c rational objective 2.0003
2003.28/2009.64 c #Conflicts: 1444000 | #Constraints: 25665
2003.28/2009.64 c #Conflicts: 1445000 | #Constraints: 26681
2003.28/2009.64 c #Conflicts: 1446000 | #Constraints: 27681
2003.28/2009.64 c #Conflicts: 1447000 | #Constraints: 28681
2003.28/2009.64 c #Conflicts: 1448000 | #Constraints: 29681
2003.28/2009.64 c #Conflicts: 1449000 | #Constraints: 30681
2003.28/2009.64 c #Conflicts: 1450000 | #Constraints: 31681
2003.28/2009.64 c #Conflicts: 1451000 | #Constraints: 32681
2003.28/2009.64 c #Conflicts: 1452000 | #Constraints: 33681
2003.28/2009.64 c #Conflicts: 1453000 | #Constraints: 34681
2003.28/2009.64 c #Conflicts: 1454000 | #Constraints: 35681
2003.28/2009.64 c #Conflicts: 1455000 | #Constraints: 36681
2003.28/2009.64 c #Conflicts: 1456000 | #Constraints: 37681
2003.28/2009.64 c #Conflicts: 1457000 | #Constraints: 38681
2003.28/2009.64 c #Conflicts: 1458000 | #Constraints: 39681
2003.28/2009.64 c #Conflicts: 1459000 | #Constraints: 40681
2003.28/2009.64 c #Conflicts: 1460000 | #Constraints: 41681
2003.28/2009.64 c #Conflicts: 1461000 | #Constraints: 42681
2003.28/2009.64 c #Conflicts: 1462000 | #Constraints: 43681
2003.28/2009.64 c #Conflicts: 1463000 | #Constraints: 44681
2003.28/2009.64 c #Conflicts: 1464000 | #Constraints: 45681
2003.28/2009.64 c #Conflicts: 1465000 | #Constraints: 46681
2003.28/2009.64 c #Conflicts: 1466000 | #Constraints: 47681
2003.28/2009.64 c #Conflicts: 1467000 | #Constraints: 48681
2003.28/2009.64 c INPROCESSING
2003.28/2009.64 c GARBAGE COLLECT
2003.28/2009.64 c rational objective 2.00013
2074.94/2081.52 c #Conflicts: 1468000 | #Constraints: 25304
2074.94/2081.52 c #Conflicts: 1469000 | #Constraints: 26390
2074.94/2081.52 c #Conflicts: 1470000 | #Constraints: 27480
2074.94/2081.52 c #Conflicts: 1471000 | #Constraints: 28562
2074.94/2081.52 c #Conflicts: 1472000 | #Constraints: 29673
2074.94/2081.52 c #Conflicts: 1473000 | #Constraints: 30774
2074.94/2081.52 c #Conflicts: 1474000 | #Constraints: 31885
2074.94/2081.52 c #Conflicts: 1475000 | #Constraints: 32950
2074.94/2081.52 c #Conflicts: 1476000 | #Constraints: 34015
2074.94/2081.52 c #Conflicts: 1477000 | #Constraints: 35095
2074.94/2081.52 c #Conflicts: 1478000 | #Constraints: 36230
2074.94/2081.52 c #Conflicts: 1479000 | #Constraints: 37324
2074.94/2081.52 c #Conflicts: 1480000 | #Constraints: 38389
2074.94/2081.52 c #Conflicts: 1481000 | #Constraints: 39485
2074.94/2081.52 c #Conflicts: 1482000 | #Constraints: 40486
2074.94/2081.52 c #Conflicts: 1483000 | #Constraints: 41563
2074.94/2081.52 c #Conflicts: 1484000 | #Constraints: 42649
2074.94/2081.52 c #Conflicts: 1485000 | #Constraints: 43711
2074.94/2081.52 c #Conflicts: 1486000 | #Constraints: 44795
2074.94/2081.52 c #Conflicts: 1487000 | #Constraints: 45903
2074.94/2081.52 c #Conflicts: 1488000 | #Constraints: 47002
2074.94/2081.52 c #Conflicts: 1489000 | #Constraints: 48081
2074.94/2081.52 c #Conflicts: 1490000 | #Constraints: 49085
2074.94/2081.52 c #Conflicts: 1491000 | #Constraints: 50213
2074.94/2081.52 c INPROCESSING
2074.94/2081.52 c GARBAGE COLLECT
2074.94/2081.52 c rational objective 2.00001
2146.79/2153.65 c #Conflicts: 1492000 | #Constraints: 25838
2146.79/2153.65 c #Conflicts: 1493000 | #Constraints: 26838
2146.79/2153.65 c #Conflicts: 1494000 | #Constraints: 27855
2146.79/2153.65 c #Conflicts: 1495000 | #Constraints: 28867
2146.79/2153.65 c #Conflicts: 1496000 | #Constraints: 29867
2146.79/2153.65 c #Conflicts: 1497000 | #Constraints: 30867
2146.79/2153.65 c #Conflicts: 1498000 | #Constraints: 31867
2146.79/2153.65 c #Conflicts: 1499000 | #Constraints: 32867
2146.79/2153.65 c #Conflicts: 1500000 | #Constraints: 33889
2146.79/2153.65 c #Conflicts: 1501000 | #Constraints: 34889
2146.79/2153.65 c #Conflicts: 1502000 | #Constraints: 35898
2146.79/2153.65 c #Conflicts: 1503000 | #Constraints: 36903
2146.79/2153.65 c #Conflicts: 1504000 | #Constraints: 37917
2146.79/2153.65 c #Conflicts: 1505000 | #Constraints: 38955
2146.79/2153.65 c #Conflicts: 1506000 | #Constraints: 39992
2146.79/2153.65 c #Conflicts: 1507000 | #Constraints: 41032
2146.79/2153.65 c #Conflicts: 1508000 | #Constraints: 42093
2146.79/2153.65 c #Conflicts: 1509000 | #Constraints: 43136
2146.79/2153.65 c #Conflicts: 1510000 | #Constraints: 44187
2146.79/2153.65 c #Conflicts: 1511000 | #Constraints: 45187
2146.79/2153.65 c #Conflicts: 1512000 | #Constraints: 46187
2146.79/2153.65 c #Conflicts: 1513000 | #Constraints: 47187
2146.79/2153.65 c #Conflicts: 1514000 | #Constraints: 48217
2146.79/2153.65 c #Conflicts: 1515000 | #Constraints: 49295
2146.79/2153.65 c #Conflicts: 1516000 | #Constraints: 50374
2146.79/2153.65 c INPROCESSING
2146.79/2153.65 c GARBAGE COLLECT
2146.79/2153.65 c rational objective 1.99999
2219.46/2226.51 c #Conflicts: 1517000 | #Constraints: 26109
2219.46/2226.51 c #Conflicts: 1518000 | #Constraints: 27122
2219.46/2226.51 c #Conflicts: 1519000 | #Constraints: 28132
2219.46/2226.51 c #Conflicts: 1520000 | #Constraints: 29167
2219.46/2226.51 c #Conflicts: 1521000 | #Constraints: 30167
2219.46/2226.51 c #Conflicts: 1522000 | #Constraints: 31216
2219.46/2226.51 c #Conflicts: 1523000 | #Constraints: 32249
2219.46/2226.51 c #Conflicts: 1524000 | #Constraints: 33249
2219.46/2226.51 c #Conflicts: 1525000 | #Constraints: 34249
2219.46/2226.51 c #Conflicts: 1526000 | #Constraints: 35251
2219.46/2226.51 c #Conflicts: 1527000 | #Constraints: 36266
2219.46/2226.51 c #Conflicts: 1528000 | #Constraints: 37295
2219.46/2226.51 c #Conflicts: 1529000 | #Constraints: 38335
2219.46/2226.51 c #Conflicts: 1530000 | #Constraints: 39377
2219.46/2226.51 c #Conflicts: 1531000 | #Constraints: 40388
2219.46/2226.51 c #Conflicts: 1532000 | #Constraints: 41419
2219.46/2226.51 c #Conflicts: 1533000 | #Constraints: 42452
2219.46/2226.51 c #Conflicts: 1534000 | #Constraints: 43455
2219.46/2226.51 c #Conflicts: 1535000 | #Constraints: 44487
2219.46/2226.51 c #Conflicts: 1536000 | #Constraints: 45526
2219.46/2226.51 c #Conflicts: 1537000 | #Constraints: 46582
2219.46/2226.51 c #Conflicts: 1538000 | #Constraints: 47638
2219.46/2226.51 c #Conflicts: 1539000 | #Constraints: 48699
2219.46/2226.51 c #Conflicts: 1540000 | #Constraints: 49718
2219.46/2226.51 c #Conflicts: 1541000 | #Constraints: 50775
2219.46/2226.51 c INPROCESSING
2219.46/2226.51 c GARBAGE COLLECT
2219.46/2226.51 c rational objective 2.04942
2288.63/2295.99 c #Conflicts: 1542000 | #Constraints: 26470
2288.63/2295.99 c #Conflicts: 1543000 | #Constraints: 27487
2288.63/2295.99 c #Conflicts: 1544000 | #Constraints: 28506
2288.63/2295.99 c #Conflicts: 1545000 | #Constraints: 29529
2288.63/2295.99 c #Conflicts: 1546000 | #Constraints: 30543
2288.63/2295.99 c #Conflicts: 1547000 | #Constraints: 31573
2288.63/2295.99 c #Conflicts: 1548000 | #Constraints: 32610
2288.63/2295.99 c #Conflicts: 1549000 | #Constraints: 33629
2288.63/2295.99 c #Conflicts: 1550000 | #Constraints: 34645
2288.63/2295.99 c #Conflicts: 1551000 | #Constraints: 35679
2288.63/2295.99 c #Conflicts: 1552000 | #Constraints: 36733
2288.63/2295.99 c #Conflicts: 1553000 | #Constraints: 37760
2288.63/2295.99 c #Conflicts: 1554000 | #Constraints: 38793
2288.63/2295.99 c #Conflicts: 1555000 | #Constraints: 39841
2288.63/2295.99 c #Conflicts: 1556000 | #Constraints: 40865
2288.63/2295.99 c #Conflicts: 1557000 | #Constraints: 41901
2288.63/2295.99 c #Conflicts: 1558000 | #Constraints: 42941
2288.63/2295.99 c #Conflicts: 1559000 | #Constraints: 44010
2288.63/2295.99 c #Conflicts: 1560000 | #Constraints: 45033
2288.63/2295.99 c #Conflicts: 1561000 | #Constraints: 46076
2288.63/2295.99 c #Conflicts: 1562000 | #Constraints: 47116
2288.63/2295.99 c #Conflicts: 1563000 | #Constraints: 48116
2288.63/2295.99 c #Conflicts: 1564000 | #Constraints: 49142
2288.63/2295.99 c #Conflicts: 1565000 | #Constraints: 50150
2288.63/2295.99 c #Conflicts: 1566000 | #Constraints: 51173
2288.63/2295.99 c INPROCESSING
2288.63/2295.99 c GARBAGE COLLECT
2288.63/2295.99 c rational objective 2.05128
2371.25/2378.82 c #Conflicts: 1567000 | #Constraints: 26605
2371.25/2378.82 c #Conflicts: 1568000 | #Constraints: 27605
2371.25/2378.82 c #Conflicts: 1569000 | #Constraints: 28617
2371.25/2378.82 c #Conflicts: 1570000 | #Constraints: 29656
2371.25/2378.82 c #Conflicts: 1571000 | #Constraints: 30702
2371.25/2378.82 c #Conflicts: 1572000 | #Constraints: 31746
2371.25/2378.82 c #Conflicts: 1573000 | #Constraints: 32787
2371.25/2378.82 c #Conflicts: 1574000 | #Constraints: 33869
2371.25/2378.82 c #Conflicts: 1575000 | #Constraints: 34924
2371.25/2378.82 c #Conflicts: 1576000 | #Constraints: 35969
2371.25/2378.82 c #Conflicts: 1577000 | #Constraints: 37008
2371.25/2378.82 c #Conflicts: 1578000 | #Constraints: 38068
2371.25/2378.82 c #Conflicts: 1579000 | #Constraints: 39104
2371.25/2378.82 c #Conflicts: 1580000 | #Constraints: 40126
2371.25/2378.82 c #Conflicts: 1581000 | #Constraints: 41156
2371.25/2378.82 c #Conflicts: 1582000 | #Constraints: 42182
2371.25/2378.82 c #Conflicts: 1583000 | #Constraints: 43193
2371.25/2378.82 c #Conflicts: 1584000 | #Constraints: 44222
2371.25/2378.82 c #Conflicts: 1585000 | #Constraints: 45258
2371.25/2378.82 c #Conflicts: 1586000 | #Constraints: 46301
2371.25/2378.82 c #Conflicts: 1587000 | #Constraints: 47337
2371.25/2378.82 c #Conflicts: 1588000 | #Constraints: 48373
2371.25/2378.82 c #Conflicts: 1589000 | #Constraints: 49409
2371.25/2378.82 c #Conflicts: 1590000 | #Constraints: 50429
2371.25/2378.82 c #Conflicts: 1591000 | #Constraints: 51471
2371.25/2378.82 c INPROCESSING
2371.25/2378.82 c GARBAGE COLLECT
2371.25/2378.82 c rational objective 2.00001
2450.55/2458.42 c #Conflicts: 1592000 | #Constraints: 26661
2450.55/2458.42 c #Conflicts: 1593000 | #Constraints: 27661
2450.55/2458.42 c #Conflicts: 1594000 | #Constraints: 28683
2450.55/2458.42 c #Conflicts: 1595000 | #Constraints: 29713
2450.55/2458.42 c #Conflicts: 1596000 | #Constraints: 30713
2450.55/2458.42 c #Conflicts: 1597000 | #Constraints: 31733
2450.55/2458.42 c #Conflicts: 1598000 | #Constraints: 32777
2450.55/2458.42 c #Conflicts: 1599000 | #Constraints: 33784
2450.55/2458.42 c #Conflicts: 1600000 | #Constraints: 34808
2450.55/2458.42 c #Conflicts: 1601000 | #Constraints: 35846
2450.55/2458.42 c #Conflicts: 1602000 | #Constraints: 36890
2450.55/2458.42 c #Conflicts: 1603000 | #Constraints: 37913
2450.55/2458.42 c #Conflicts: 1604000 | #Constraints: 38939
2450.55/2458.42 c #Conflicts: 1605000 | #Constraints: 39971
2450.55/2458.42 c #Conflicts: 1606000 | #Constraints: 41011
2450.55/2458.42 c #Conflicts: 1607000 | #Constraints: 42032
2450.55/2458.42 c #Conflicts: 1608000 | #Constraints: 43032
2450.55/2458.42 c #Conflicts: 1609000 | #Constraints: 44050
2450.55/2458.42 c #Conflicts: 1610000 | #Constraints: 45097
2450.55/2458.42 c #Conflicts: 1611000 | #Constraints: 46120
2450.55/2458.42 c #Conflicts: 1612000 | #Constraints: 47135
2450.55/2458.42 c #Conflicts: 1613000 | #Constraints: 48135
2450.55/2458.42 c #Conflicts: 1614000 | #Constraints: 49157
2450.55/2458.42 c #Conflicts: 1615000 | #Constraints: 50195
2450.55/2458.42 c #Conflicts: 1616000 | #Constraints: 51227
2450.55/2458.42 c INPROCESSING
2450.55/2458.42 c GARBAGE COLLECT
2450.55/2458.42 c rational objective 2
2525.57/2533.73 c #Conflicts: 1617000 | #Constraints: 26342
2525.57/2533.73 c #Conflicts: 1618000 | #Constraints: 27368
2525.57/2533.73 c #Conflicts: 1619000 | #Constraints: 28392
2525.57/2533.73 c #Conflicts: 1620000 | #Constraints: 29404
2525.57/2533.73 c #Conflicts: 1621000 | #Constraints: 30428
2525.57/2533.73 c #Conflicts: 1622000 | #Constraints: 31430
2525.57/2533.73 c #Conflicts: 1623000 | #Constraints: 32437
2525.57/2533.73 c #Conflicts: 1624000 | #Constraints: 33437
2525.57/2533.73 c #Conflicts: 1625000 | #Constraints: 34437
2525.57/2533.73 c #Conflicts: 1626000 | #Constraints: 35437
2525.57/2533.73 c #Conflicts: 1627000 | #Constraints: 36437
2525.57/2533.73 c #Conflicts: 1628000 | #Constraints: 37437
2525.57/2533.73 c #Conflicts: 1629000 | #Constraints: 38437
2525.57/2533.73 c #Conflicts: 1630000 | #Constraints: 39437
2525.57/2533.73 c #Conflicts: 1631000 | #Constraints: 40437
2525.57/2533.73 c #Conflicts: 1632000 | #Constraints: 41437
2525.57/2533.73 c #Conflicts: 1633000 | #Constraints: 42437
2525.57/2533.73 c #Conflicts: 1634000 | #Constraints: 43437
2525.57/2533.73 c #Conflicts: 1635000 | #Constraints: 44437
2525.57/2533.73 c #Conflicts: 1636000 | #Constraints: 45437
2525.57/2533.73 c #Conflicts: 1637000 | #Constraints: 46437
2525.57/2533.73 c #Conflicts: 1638000 | #Constraints: 47437
2525.57/2533.73 c #Conflicts: 1639000 | #Constraints: 48437
2525.57/2533.73 c #Conflicts: 1640000 | #Constraints: 49437
2525.57/2533.73 c #Conflicts: 1641000 | #Constraints: 50437
2525.57/2533.73 c #Conflicts: 1642000 | #Constraints: 51437
2525.57/2533.73 c INPROCESSING
2525.57/2533.73 c GARBAGE COLLECT
2525.57/2533.73 c rational objective 2.00008
2603.07/2611.51 c #Conflicts: 1643000 | #Constraints: 26632
2603.07/2611.51 c #Conflicts: 1644000 | #Constraints: 27661
2603.07/2611.51 c #Conflicts: 1645000 | #Constraints: 28672
2603.07/2611.51 c #Conflicts: 1646000 | #Constraints: 29691
2603.07/2611.51 c #Conflicts: 1647000 | #Constraints: 30691
2603.07/2611.51 c #Conflicts: 1648000 | #Constraints: 31701
2603.07/2611.51 c #Conflicts: 1649000 | #Constraints: 32715
2603.07/2611.51 c #Conflicts: 1650000 | #Constraints: 33730
2603.07/2611.51 c #Conflicts: 1651000 | #Constraints: 34741
2603.07/2611.51 c #Conflicts: 1652000 | #Constraints: 35763
2603.07/2611.51 c #Conflicts: 1653000 | #Constraints: 36784
2603.07/2611.51 c #Conflicts: 1654000 | #Constraints: 37807
2603.07/2611.51 c #Conflicts: 1655000 | #Constraints: 38818
2603.07/2611.51 c #Conflicts: 1656000 | #Constraints: 39832
2603.07/2611.51 c #Conflicts: 1657000 | #Constraints: 40853
2603.07/2611.51 c #Conflicts: 1658000 | #Constraints: 41867
2603.07/2611.51 c #Conflicts: 1659000 | #Constraints: 42896
2603.07/2611.51 c #Conflicts: 1660000 | #Constraints: 43913
2603.07/2611.51 c #Conflicts: 1661000 | #Constraints: 44921
2603.07/2611.51 c #Conflicts: 1662000 | #Constraints: 45921
2603.07/2611.51 c #Conflicts: 1663000 | #Constraints: 46921
2603.07/2611.51 c #Conflicts: 1664000 | #Constraints: 47921
2603.07/2611.51 c #Conflicts: 1665000 | #Constraints: 48921
2603.07/2611.51 c #Conflicts: 1666000 | #Constraints: 49936
2603.07/2611.51 c #Conflicts: 1667000 | #Constraints: 50954
2603.07/2611.51 c #Conflicts: 1668000 | #Constraints: 51954
2603.07/2611.51 c INPROCESSING
2603.07/2611.51 c GARBAGE COLLECT
2603.07/2611.51 c rational objective 2.00103
2689.04/2697.81 c #Conflicts: 1669000 | #Constraints: 27019
2689.04/2697.81 c #Conflicts: 1670000 | #Constraints: 28037
2689.04/2697.81 c #Conflicts: 1671000 | #Constraints: 29045
2689.04/2697.81 c #Conflicts: 1672000 | #Constraints: 30065
2689.04/2697.81 c #Conflicts: 1673000 | #Constraints: 31073
2689.04/2697.81 c #Conflicts: 1674000 | #Constraints: 32087
2689.04/2697.81 c #Conflicts: 1675000 | #Constraints: 33098
2689.04/2697.81 c #Conflicts: 1676000 | #Constraints: 34124
2689.04/2697.81 c #Conflicts: 1677000 | #Constraints: 35147
2689.04/2697.81 c #Conflicts: 1678000 | #Constraints: 36154
2689.04/2697.81 c #Conflicts: 1679000 | #Constraints: 37155
2689.04/2697.81 c #Conflicts: 1680000 | #Constraints: 38157
2689.04/2697.81 c #Conflicts: 1681000 | #Constraints: 39168
2689.04/2697.81 c #Conflicts: 1682000 | #Constraints: 40182
2689.04/2697.81 c #Conflicts: 1683000 | #Constraints: 41205
2689.04/2697.81 c #Conflicts: 1684000 | #Constraints: 42213
2689.04/2697.81 c #Conflicts: 1685000 | #Constraints: 43227
2689.04/2697.81 c #Conflicts: 1686000 | #Constraints: 44238
2689.04/2697.81 c #Conflicts: 1687000 | #Constraints: 45238
2689.04/2697.81 c #Conflicts: 1688000 | #Constraints: 46238
2689.04/2697.81 c #Conflicts: 1689000 | #Constraints: 47254
2689.04/2697.81 c #Conflicts: 1690000 | #Constraints: 48278
2689.04/2697.81 c #Conflicts: 1691000 | #Constraints: 49323
2689.04/2697.81 c #Conflicts: 1692000 | #Constraints: 50344
2689.04/2697.81 c #Conflicts: 1693000 | #Constraints: 51347
2689.04/2697.81 c #Conflicts: 1694000 | #Constraints: 52367
2689.04/2697.81 c INPROCESSING
2689.04/2697.81 c GARBAGE COLLECT
2689.04/2697.81 c rational objective 2.00258
2770.94/2780.08 c #Conflicts: 1695000 | #Constraints: 27201
2770.94/2780.08 c #Conflicts: 1696000 | #Constraints: 28226
2770.94/2780.08 c #Conflicts: 1697000 | #Constraints: 29229
2770.94/2780.08 c #Conflicts: 1698000 | #Constraints: 30238
2770.94/2780.08 c #Conflicts: 1699000 | #Constraints: 31268
2770.94/2780.08 c #Conflicts: 1700000 | #Constraints: 32285
2770.94/2780.08 c #Conflicts: 1701000 | #Constraints: 33293
2770.94/2780.08 c #Conflicts: 1702000 | #Constraints: 34298
2770.94/2780.08 c #Conflicts: 1703000 | #Constraints: 35298
2770.94/2780.08 c #Conflicts: 1704000 | #Constraints: 36304
2770.94/2780.08 c #Conflicts: 1705000 | #Constraints: 37307
2770.94/2780.08 c #Conflicts: 1706000 | #Constraints: 38329
2770.94/2780.08 c #Conflicts: 1707000 | #Constraints: 39340
2770.94/2780.08 c #Conflicts: 1708000 | #Constraints: 40348
2770.94/2780.08 c #Conflicts: 1709000 | #Constraints: 41366
2770.94/2780.08 c #Conflicts: 1710000 | #Constraints: 42392
2770.94/2780.08 c #Conflicts: 1711000 | #Constraints: 43404
2770.94/2780.08 c #Conflicts: 1712000 | #Constraints: 44405
2770.94/2780.08 c #Conflicts: 1713000 | #Constraints: 45405
2770.94/2780.08 c #Conflicts: 1714000 | #Constraints: 46420
2770.94/2780.08 c #Conflicts: 1715000 | #Constraints: 47441
2770.94/2780.08 c #Conflicts: 1716000 | #Constraints: 48454
2770.94/2780.08 c #Conflicts: 1717000 | #Constraints: 49479
2770.94/2780.08 c #Conflicts: 1718000 | #Constraints: 50510
2770.94/2780.08 c #Conflicts: 1719000 | #Constraints: 51538
2770.94/2780.08 c #Conflicts: 1720000 | #Constraints: 52566
2770.94/2780.08 c INPROCESSING
2770.94/2780.08 c GARBAGE COLLECT
2770.94/2780.08 c rational objective 2.10672
2848.98/2858.39 c #Conflicts: 1721000 | #Constraints: 27200
2848.98/2858.39 c #Conflicts: 1722000 | #Constraints: 28220
2848.98/2858.39 c #Conflicts: 1723000 | #Constraints: 29248
2848.98/2858.39 c #Conflicts: 1724000 | #Constraints: 30248
2848.98/2858.39 c #Conflicts: 1725000 | #Constraints: 31248
2848.98/2858.39 c #Conflicts: 1726000 | #Constraints: 32248
2848.98/2858.39 c #Conflicts: 1727000 | #Constraints: 33258
2848.98/2858.39 c #Conflicts: 1728000 | #Constraints: 34276
2848.98/2858.39 c #Conflicts: 1729000 | #Constraints: 35289
2848.98/2858.39 c #Conflicts: 1730000 | #Constraints: 36310
2848.98/2858.39 c #Conflicts: 1731000 | #Constraints: 37310
2848.98/2858.39 c #Conflicts: 1732000 | #Constraints: 38320
2848.98/2858.39 c #Conflicts: 1733000 | #Constraints: 39350
2848.98/2858.39 c #Conflicts: 1734000 | #Constraints: 40365
2848.98/2858.39 c #Conflicts: 1735000 | #Constraints: 41378
2848.98/2858.39 c #Conflicts: 1736000 | #Constraints: 42395
2848.98/2858.39 c #Conflicts: 1737000 | #Constraints: 43395
2848.98/2858.39 c #Conflicts: 1738000 | #Constraints: 44409
2848.98/2858.39 c #Conflicts: 1739000 | #Constraints: 45420
2848.98/2858.39 c #Conflicts: 1740000 | #Constraints: 46420
2848.98/2858.39 c #Conflicts: 1741000 | #Constraints: 47426
2848.98/2858.39 c #Conflicts: 1742000 | #Constraints: 48433
2848.98/2858.39 c #Conflicts: 1743000 | #Constraints: 49440
2848.98/2858.39 c #Conflicts: 1744000 | #Constraints: 50448
2848.98/2858.39 c #Conflicts: 1745000 | #Constraints: 51462
2848.98/2858.39 c #Conflicts: 1746000 | #Constraints: 52468
2848.98/2858.39 c INPROCESSING
2848.98/2858.39 c GARBAGE COLLECT
2848.98/2858.39 c rational objective 2
2929.41/2939.03 c #Conflicts: 1747000 | #Constraints: 26948
2929.41/2939.03 c #Conflicts: 1748000 | #Constraints: 27951
2929.41/2939.03 c #Conflicts: 1749000 | #Constraints: 28951
2929.41/2939.03 c #Conflicts: 1750000 | #Constraints: 29959
2929.41/2939.03 c #Conflicts: 1751000 | #Constraints: 30986
2929.41/2939.03 c #Conflicts: 1752000 | #Constraints: 32019
2929.41/2939.03 c #Conflicts: 1753000 | #Constraints: 33028
2929.41/2939.03 c #Conflicts: 1754000 | #Constraints: 34034
2929.41/2939.03 c #Conflicts: 1755000 | #Constraints: 35053
2929.41/2939.03 c #Conflicts: 1756000 | #Constraints: 36077
2929.41/2939.03 c #Conflicts: 1757000 | #Constraints: 37106
2929.41/2939.03 c #Conflicts: 1758000 | #Constraints: 38137
2929.41/2939.03 c #Conflicts: 1759000 | #Constraints: 39145
2929.41/2939.03 c #Conflicts: 1760000 | #Constraints: 40163
2929.41/2939.03 c #Conflicts: 1761000 | #Constraints: 41180
2929.41/2939.03 c #Conflicts: 1762000 | #Constraints: 42208
2929.41/2939.03 c #Conflicts: 1763000 | #Constraints: 43230
2929.41/2939.03 c #Conflicts: 1764000 | #Constraints: 44230
2929.41/2939.03 c #Conflicts: 1765000 | #Constraints: 45231
2929.41/2939.03 c #Conflicts: 1766000 | #Constraints: 46231
2929.41/2939.03 c #Conflicts: 1767000 | #Constraints: 47237
2929.41/2939.03 c #Conflicts: 1768000 | #Constraints: 48259
2929.41/2939.03 c #Conflicts: 1769000 | #Constraints: 49259
2929.41/2939.03 c #Conflicts: 1770000 | #Constraints: 50273
2929.41/2939.03 c #Conflicts: 1771000 | #Constraints: 51273
2929.41/2939.03 c #Conflicts: 1772000 | #Constraints: 52273
2929.41/2939.03 c #Conflicts: 1773000 | #Constraints: 53273
2929.41/2939.03 c INPROCESSING
2929.41/2939.03 c GARBAGE COLLECT
2929.41/2939.03 c rational objective 1.99998
3007.05/3016.93 c #Conflicts: 1774000 | #Constraints: 27568
3007.05/3016.93 c #Conflicts: 1775000 | #Constraints: 28574
3007.05/3016.93 c #Conflicts: 1776000 | #Constraints: 29594
3007.05/3016.93 c #Conflicts: 1777000 | #Constraints: 30608
3007.05/3016.93 c #Conflicts: 1778000 | #Constraints: 31625
3007.05/3016.93 c #Conflicts: 1779000 | #Constraints: 32628
3007.05/3016.93 c #Conflicts: 1780000 | #Constraints: 33628
3007.05/3016.93 c #Conflicts: 1781000 | #Constraints: 34643
3007.05/3016.93 c #Conflicts: 1782000 | #Constraints: 35659
3007.05/3016.93 c #Conflicts: 1783000 | #Constraints: 36664
3007.05/3016.93 c #Conflicts: 1784000 | #Constraints: 37691
3007.05/3016.93 c #Conflicts: 1785000 | #Constraints: 38709
3007.05/3016.93 c #Conflicts: 1786000 | #Constraints: 39735
3007.05/3016.93 c #Conflicts: 1787000 | #Constraints: 40765
3007.05/3016.93 c #Conflicts: 1788000 | #Constraints: 41780
3007.05/3016.93 c #Conflicts: 1789000 | #Constraints: 42791
3007.05/3016.93 c #Conflicts: 1790000 | #Constraints: 43795
3007.05/3016.93 c #Conflicts: 1791000 | #Constraints: 44829
3007.05/3016.93 c #Conflicts: 1792000 | #Constraints: 45851
3007.05/3016.93 c #Conflicts: 1793000 | #Constraints: 46874
3007.05/3016.93 c #Conflicts: 1794000 | #Constraints: 47883
3007.05/3016.93 c #Conflicts: 1795000 | #Constraints: 48883
3007.05/3016.93 c #Conflicts: 1796000 | #Constraints: 49883
3007.05/3016.93 c #Conflicts: 1797000 | #Constraints: 50886
3007.05/3016.93 c #Conflicts: 1798000 | #Constraints: 51933
3007.05/3016.93 c #Conflicts: 1799000 | #Constraints: 52973
3007.05/3016.93 c #Conflicts: 1800000 | #Constraints: 54038
3007.05/3016.93 c INPROCESSING
3007.05/3016.93 c GARBAGE COLLECT
3007.05/3016.93 c rational objective 2.00008
3091.87/3102.06 c #Conflicts: 1801000 | #Constraints: 28029
3091.87/3102.06 c #Conflicts: 1802000 | #Constraints: 29029
3091.87/3102.06 c #Conflicts: 1803000 | #Constraints: 30063
3091.87/3102.06 c #Conflicts: 1804000 | #Constraints: 31078
3091.87/3102.06 c #Conflicts: 1805000 | #Constraints: 32100
3091.87/3102.06 c #Conflicts: 1806000 | #Constraints: 33100
3091.87/3102.06 c #Conflicts: 1807000 | #Constraints: 34100
3091.87/3102.06 c #Conflicts: 1808000 | #Constraints: 35100
3091.87/3102.06 c #Conflicts: 1809000 | #Constraints: 36100
3091.87/3102.06 c #Conflicts: 1810000 | #Constraints: 37118
3091.87/3102.06 c #Conflicts: 1811000 | #Constraints: 38143
3091.87/3102.06 c #Conflicts: 1812000 | #Constraints: 39143
3091.87/3102.06 c #Conflicts: 1813000 | #Constraints: 40143
3091.87/3102.06 c #Conflicts: 1814000 | #Constraints: 41143
3091.87/3102.06 c #Conflicts: 1815000 | #Constraints: 42143
3091.87/3102.06 c #Conflicts: 1816000 | #Constraints: 43165
3091.87/3102.06 c #Conflicts: 1817000 | #Constraints: 44201
3091.87/3102.06 c #Conflicts: 1818000 | #Constraints: 45212
3091.87/3102.06 c #Conflicts: 1819000 | #Constraints: 46212
3091.87/3102.06 c #Conflicts: 1820000 | #Constraints: 47240
3091.87/3102.06 c #Conflicts: 1821000 | #Constraints: 48253
3091.87/3102.06 c #Conflicts: 1822000 | #Constraints: 49257
3091.87/3102.06 c #Conflicts: 1823000 | #Constraints: 50285
3091.87/3102.06 c #Conflicts: 1824000 | #Constraints: 51303
3091.87/3102.06 c #Conflicts: 1825000 | #Constraints: 52321
3091.87/3102.06 c #Conflicts: 1826000 | #Constraints: 53329
3091.87/3102.06 c #Conflicts: 1827000 | #Constraints: 54345
3091.87/3102.06 c INPROCESSING
3091.87/3102.06 c GARBAGE COLLECT
3091.87/3102.06 c rational objective 2.08919
3171.90/3182.34 c #Conflicts: 1828000 | #Constraints: 28178
3171.90/3182.34 c #Conflicts: 1829000 | #Constraints: 29192
3171.90/3182.34 c #Conflicts: 1830000 | #Constraints: 30213
3171.90/3182.34 c #Conflicts: 1831000 | #Constraints: 31242
3171.90/3182.34 c #Conflicts: 1832000 | #Constraints: 32265
3171.90/3182.34 c #Conflicts: 1833000 | #Constraints: 33282
3171.90/3182.34 c #Conflicts: 1834000 | #Constraints: 34291
3171.90/3182.34 c #Conflicts: 1835000 | #Constraints: 35291
3171.90/3182.34 c #Conflicts: 1836000 | #Constraints: 36306
3171.90/3182.34 c #Conflicts: 1837000 | #Constraints: 37357
3171.90/3182.34 c #Conflicts: 1838000 | #Constraints: 38384
3171.90/3182.34 c #Conflicts: 1839000 | #Constraints: 39413
3171.90/3182.34 c #Conflicts: 1840000 | #Constraints: 40449
3171.90/3182.34 c #Conflicts: 1841000 | #Constraints: 41482
3171.90/3182.34 c #Conflicts: 1842000 | #Constraints: 42501
3171.90/3182.34 c #Conflicts: 1843000 | #Constraints: 43516
3171.90/3182.34 c #Conflicts: 1844000 | #Constraints: 44546
3171.90/3182.34 c #Conflicts: 1845000 | #Constraints: 45549
3171.90/3182.34 c #Conflicts: 1846000 | #Constraints: 46567
3171.90/3182.34 c #Conflicts: 1847000 | #Constraints: 47584
3171.90/3182.34 c #Conflicts: 1848000 | #Constraints: 48630
3171.90/3182.34 c #Conflicts: 1849000 | #Constraints: 49650
3171.90/3182.34 c #Conflicts: 1850000 | #Constraints: 50673
3171.90/3182.34 c #Conflicts: 1851000 | #Constraints: 51684
3171.90/3182.34 c #Conflicts: 1852000 | #Constraints: 52684
3171.90/3182.34 c #Conflicts: 1853000 | #Constraints: 53684
3171.90/3182.34 c #Conflicts: 1854000 | #Constraints: 54699
3171.90/3182.34 c INPROCESSING
3171.90/3182.34 c GARBAGE COLLECT
3171.90/3182.34 c rational objective 2.09037
3260.31/3271.09 c #Conflicts: 1855000 | #Constraints: 28256
3260.31/3271.09 c #Conflicts: 1856000 | #Constraints: 29256
3260.31/3271.09 c #Conflicts: 1857000 | #Constraints: 30274
3260.31/3271.09 c #Conflicts: 1858000 | #Constraints: 31284
3260.31/3271.09 c #Conflicts: 1859000 | #Constraints: 32284
3260.31/3271.09 c #Conflicts: 1860000 | #Constraints: 33284
3260.31/3271.09 c #Conflicts: 1861000 | #Constraints: 34299
3260.31/3271.09 c #Conflicts: 1862000 | #Constraints: 35310
3260.31/3271.09 c #Conflicts: 1863000 | #Constraints: 36328
3260.31/3271.09 c #Conflicts: 1864000 | #Constraints: 37328
3260.31/3271.09 c #Conflicts: 1865000 | #Constraints: 38328
3260.31/3271.09 c #Conflicts: 1866000 | #Constraints: 39338
3260.31/3271.09 c #Conflicts: 1867000 | #Constraints: 40338
3260.31/3271.09 c #Conflicts: 1868000 | #Constraints: 41340
3260.31/3271.09 c #Conflicts: 1869000 | #Constraints: 42358
3260.31/3271.09 c #Conflicts: 1870000 | #Constraints: 43368
3260.31/3271.09 c #Conflicts: 1871000 | #Constraints: 44383
3260.31/3271.09 c #Conflicts: 1872000 | #Constraints: 45390
3260.31/3271.09 c #Conflicts: 1873000 | #Constraints: 46390
3260.31/3271.09 c #Conflicts: 1874000 | #Constraints: 47400
3260.31/3271.09 c #Conflicts: 1875000 | #Constraints: 48412
3260.31/3271.09 c #Conflicts: 1876000 | #Constraints: 49421
3260.31/3271.09 c #Conflicts: 1877000 | #Constraints: 50438
3260.31/3271.09 c #Conflicts: 1878000 | #Constraints: 51454
3260.31/3271.09 c #Conflicts: 1879000 | #Constraints: 52463
3260.31/3271.09 c #Conflicts: 1880000 | #Constraints: 53463
3260.31/3271.09 c #Conflicts: 1881000 | #Constraints: 54465
3260.31/3271.09 c INPROCESSING
3260.31/3271.09 c GARBAGE COLLECT
3260.31/3271.09 c rational objective 2.09236
3342.53/3353.52 c #Conflicts: 1882000 | #Constraints: 27938
3342.53/3353.52 c #Conflicts: 1883000 | #Constraints: 28956
3342.53/3353.52 c #Conflicts: 1884000 | #Constraints: 29968
3342.53/3353.52 c #Conflicts: 1885000 | #Constraints: 30976
3342.53/3353.52 c #Conflicts: 1886000 | #Constraints: 31986
3342.53/3353.52 c #Conflicts: 1887000 | #Constraints: 32986
3342.53/3353.52 c #Conflicts: 1888000 | #Constraints: 33989
3342.53/3353.52 c #Conflicts: 1889000 | #Constraints: 34989
3342.53/3353.52 c #Conflicts: 1890000 | #Constraints: 35994
3342.53/3353.52 c #Conflicts: 1891000 | #Constraints: 37019
3342.53/3353.52 c #Conflicts: 1892000 | #Constraints: 38047
3342.53/3353.52 c #Conflicts: 1893000 | #Constraints: 39068
3342.53/3353.52 c #Conflicts: 1894000 | #Constraints: 40079
3342.53/3353.52 c #Conflicts: 1895000 | #Constraints: 41084
3342.53/3353.52 c #Conflicts: 1896000 | #Constraints: 42084
3342.53/3353.52 c #Conflicts: 1897000 | #Constraints: 43108
3342.53/3353.52 c #Conflicts: 1898000 | #Constraints: 44125
3342.53/3353.52 c #Conflicts: 1899000 | #Constraints: 45125
3342.53/3353.52 c #Conflicts: 1900000 | #Constraints: 46130
3342.53/3353.52 c #Conflicts: 1901000 | #Constraints: 47145
3342.53/3353.52 c #Conflicts: 1902000 | #Constraints: 48145
3342.53/3353.52 c #Conflicts: 1903000 | #Constraints: 49176
3342.53/3353.52 c #Conflicts: 1904000 | #Constraints: 50196
3342.53/3353.52 c #Conflicts: 1905000 | #Constraints: 51206
3342.53/3353.52 c #Conflicts: 1906000 | #Constraints: 52208
3342.53/3353.52 c #Conflicts: 1907000 | #Constraints: 53208
3342.53/3353.52 c #Conflicts: 1908000 | #Constraints: 54228
3342.53/3353.52 c #Conflicts: 1909000 | #Constraints: 55244
3342.53/3353.52 c INPROCESSING
3342.53/3353.52 c GARBAGE COLLECT
3342.53/3353.52 c rational objective 2.09309
3528.11/3539.72 c #Conflicts: 1910000 | #Constraints: 28548
3528.11/3539.72 c #Conflicts: 1911000 | #Constraints: 29563
3528.11/3539.72 c #Conflicts: 1912000 | #Constraints: 30572
3528.11/3539.72 c #Conflicts: 1913000 | #Constraints: 31573
3528.11/3539.72 c #Conflicts: 1914000 | #Constraints: 32573
3528.11/3539.72 c #Conflicts: 1915000 | #Constraints: 33580
3528.11/3539.72 c #Conflicts: 1916000 | #Constraints: 34588
3528.11/3539.72 c #Conflicts: 1917000 | #Constraints: 35601
3528.11/3539.72 c #Conflicts: 1918000 | #Constraints: 36624
3528.11/3539.72 c #Conflicts: 1919000 | #Constraints: 37645
3528.11/3539.72 c #Conflicts: 1920000 | #Constraints: 38668
3528.11/3539.72 c #Conflicts: 1921000 | #Constraints: 39678
3528.11/3539.72 c #Conflicts: 1922000 | #Constraints: 40699
3528.11/3539.72 c #Conflicts: 1923000 | #Constraints: 41709
3528.11/3539.72 c #Conflicts: 1924000 | #Constraints: 42723
3528.11/3539.72 c #Conflicts: 1925000 | #Constraints: 43723
3528.11/3539.72 c #Conflicts: 1926000 | #Constraints: 44725
3528.11/3539.72 c #Conflicts: 1927000 | #Constraints: 45747
3528.11/3539.72 c #Conflicts: 1928000 | #Constraints: 46786
3528.11/3539.72 c #Conflicts: 1929000 | #Constraints: 47801
3528.11/3539.72 c #Conflicts: 1930000 | #Constraints: 48814
3528.11/3539.72 c #Conflicts: 1931000 | #Constraints: 49838
3528.11/3539.72 c #Conflicts: 1932000 | #Constraints: 50850
3528.11/3539.72 c #Conflicts: 1933000 | #Constraints: 51871
3528.11/3539.72 c #Conflicts: 1934000 | #Constraints: 52891
3528.11/3539.72 c #Conflicts: 1935000 | #Constraints: 53902
3528.11/3539.72 c #Conflicts: 1936000 | #Constraints: 54921
3528.11/3539.72 c #Conflicts: 1937000 | #Constraints: 55940
3528.11/3539.72 c INPROCESSING
3528.11/3539.72 c GARBAGE COLLECT
3528.11/3539.72 c #Conflicts: 1938000 | #Constraints: 28979
3528.11/3539.72 c #Conflicts: 1939000 | #Constraints: 30005
3528.11/3539.72 c #Conflicts: 1940000 | #Constraints: 31010
3528.11/3539.72 c #Conflicts: 1941000 | #Constraints: 32049
3528.11/3539.72 c #Conflicts: 1942000 | #Constraints: 33077
3528.11/3539.72 c #Conflicts: 1943000 | #Constraints: 34077
3528.11/3539.72 c #Conflicts: 1944000 | #Constraints: 35077
3528.11/3539.72 c #Conflicts: 1945000 | #Constraints: 36107
3528.11/3539.72 c #Conflicts: 1946000 | #Constraints: 37121
3528.11/3539.72 c #Conflicts: 1947000 | #Constraints: 38125
3528.11/3539.72 c #Conflicts: 1948000 | #Constraints: 39125
3528.11/3539.72 c #Conflicts: 1949000 | #Constraints: 40125
3528.11/3539.72 c #Conflicts: 1950000 | #Constraints: 41142
3528.11/3539.72 c #Conflicts: 1951000 | #Constraints: 42142
3528.11/3539.72 c #Conflicts: 1952000 | #Constraints: 43156
3528.11/3539.72 c #Conflicts: 1953000 | #Constraints: 44198
3528.11/3539.72 c #Conflicts: 1954000 | #Constraints: 45198
3528.11/3539.72 c #Conflicts: 1955000 | #Constraints: 46198
3528.11/3539.72 c #Conflicts: 1956000 | #Constraints: 47200
3528.11/3539.72 c #Conflicts: 1957000 | #Constraints: 48200
3528.11/3539.72 c #Conflicts: 1958000 | #Constraints: 49202
3528.11/3539.72 c #Conflicts: 1959000 | #Constraints: 50202
3528.11/3539.72 c #Conflicts: 1960000 | #Constraints: 51215
3528.11/3539.72 c #Conflicts: 1961000 | #Constraints: 52215
3528.11/3539.72 c #Conflicts: 1962000 | #Constraints: 53215
3528.11/3539.72 c #Conflicts: 1963000 | #Constraints: 54215
3528.11/3539.72 c #Conflicts: 1964000 | #Constraints: 55235
3528.11/3539.72 c #Conflicts: 1965000 | #Constraints: 56266
3528.11/3539.72 c INPROCESSING
3528.11/3539.72 c GARBAGE COLLECT
3528.11/3539.72 c rational objective 2.0931
3600.07/3611.90 c #Conflicts: 1966000 | #Constraints: 29150
3600.07/3611.90 c #Conflicts: 1967000 | #Constraints: 30163
3600.07/3611.90 c #Conflicts: 1968000 | #Constraints: 31163
3600.07/3611.90 c #Conflicts: 1969000 | #Constraints: 32174
3600.07/3611.90 c #Conflicts: 1970000 | #Constraints: 33193
3600.07/3611.90 c #Conflicts: 1971000 | #Constraints: 34206
3600.07/3611.90 c #Conflicts: 1972000 | #Constraints: 35214
3600.07/3611.90 c #Conflicts: 1973000 | #Constraints: 36236
3600.07/3611.90 c #Conflicts: 1974000 | #Constraints: 37254
3600.07/3611.90 c #Conflicts: 1975000 | #Constraints: 38274
3600.07/3611.90 c #Conflicts: 1976000 | #Constraints: 39295
3600.07/3611.90 c #Conflicts: 1977000 | #Constraints: 40330
3600.07/3611.90 c #Conflicts: 1978000 | #Constraints: 41350
3600.07/3611.90 c #Conflicts: 1979000 | #Constraints: 42350
3600.07/3611.90 c #Conflicts: 1980000 | #Constraints: 43350
3600.07/3611.90 c #Conflicts: 1981000 | #Constraints: 44356
3600.07/3611.90 c #Conflicts: 1982000 | #Constraints: 45373
3600.07/3611.90 c #Conflicts: 1983000 | #Constraints: 46387
3600.07/3611.90 c #Conflicts: 1984000 | #Constraints: 47399
3600.07/3611.90 c #Conflicts: 1985000 | #Constraints: 48399
3600.07/3611.90 c #Conflicts: 1986000 | #Constraints: 49400
3600.07/3611.90 c cpu time 3584.19 s
3600.07/3611.90 c deterministic time 800422007512 8.00e+11
3600.07/3611.90 c optimization time 71.7009 s
3600.07/3611.90 c total solve time 3512.49 s
3600.07/3611.90 c core-guided solve time 0 s
3600.07/3611.90 c propagation time 3372.32 s
3600.07/3611.90 c conflict analysis time 187.079 s
3600.07/3611.90 c propagations 14777686
3600.07/3611.90 c resolve steps 6870254
3600.07/3611.90 c decisions 2937032
3600.07/3611.90 c conflicts 1986772
3600.07/3611.90 c restarts 3896
3600.07/3611.90 c inprocessing phases 131
3600.07/3611.90 c garbage collections 131 ,( 100.00 )
3600.07/3611.90 c input clauses 0 ,( 0.00 )
3600.07/3611.90 c input cardinalities 0 ,( 0.00 )
3600.07/3611.90 c input general constraints 2 ,( 100.00 )
3600.07/3611.90 c input average constraint length 70.00
3600.07/3611.90 c input average constraint degree 388008603.50
3600.07/3611.90 c learned clauses 1116164 ,( 55.45 )
3600.07/3611.90 c learned cardinalities 3 ,( 0.00 )
3600.07/3611.90 c learned general constraints 896930 ,( 44.55 )
3600.07/3611.90 c learned average constraint length 47.81
3600.07/3611.90 c learned average constraint degree 57990740.38
3600.07/3611.90 c watched CF 32, 64, 128, Arb: 184464 , 0 , 0 , 0
3600.07/3611.90 c counting CF 32, 64, 128, Arb: 712468 , 0 , 0 , 0
3600.07/3611.90 c watched constraints 184464 ,( 20.57 )
3600.07/3611.90 c counting constraints 712468 ,( 79.43 )
3600.07/3611.90 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 131976504 , 638 , 54407141542 ,( 292933659 , 54114207883 )
3600.07/3611.90 c gcd simplifications 1187901
3600.07/3611.90 c detected cardinalities 2
3600.07/3611.90 c weakened non-implied lits 7204176
3600.07/3611.90 c weakened non-implying lits 15741080
3600.07/3611.90 c original variables 70
3600.07/3611.90 c clausal propagations 1649979
3600.07/3611.90 c cardinality propagations 4
3600.07/3611.90 c watched propagations 633644
3600.07/3611.90 c counting propagations 10373380
3600.07/3611.90 c watch lookups 57059484307
3600.07/3611.90 c watch backjump lookups 0
3600.07/3611.90 c watch checks 3032040901
3600.07/3611.90 c propagation checks 739798744739
3600.07/3611.90 c constraint additions 494119580
3600.07/3611.90 c trail pops 19701430
3600.07/3611.90 c formula constraints 2
3600.07/3611.90 c learned constraints 1986772
3600.07/3611.90 c bound constraints 0
3600.07/3611.90 c core-guided constraints 0
3600.07/3611.90 c encountered formula constraints 4666634
3600.07/3611.90 c encountered learned constraints 4190383
3600.07/3611.90 c encountered bound constraints 0
3600.07/3611.90 c encountered core-guided constraints 0
3600.07/3611.90 c LP total time 21.7228 s
3600.07/3611.90 c LP solve time 14.2 s
3600.07/3611.90 c LP constraints added 126
3600.07/3611.90 c LP constraints removed 114
3600.07/3611.90 c LP pivots internal 198774
3600.07/3611.90 c LP pivots root 3062
3600.07/3611.90 c LP calls 114858
3600.07/3611.90 c LP optimalities 88112
3600.07/3611.90 c LP no pivot count 14291
3600.07/3611.90 c LP infeasibilities 26532
3600.07/3611.90 c LP valid Farkas constraints 26264
3600.07/3611.90 c LP learned Farkas constraints 0
3600.07/3611.90 c LP basis resets 214
3600.07/3611.90 c LP cycling count 165
3600.07/3611.90 c LP singular count 49
3600.07/3611.90 c LP no primal count 0
3600.07/3611.90 c LP no farkas count 0
3600.07/3611.90 c LP other issue count 0
3600.07/3611.90 c LP Gomory cuts 61
3600.07/3611.90 c LP learned cuts 63
3600.07/3611.90 c LP deleted cuts 114
3600.07/3611.90 c LP encountered Gomory constraints 0
3600.07/3611.90 c LP encountered Farkas constraints 9
3600.07/3611.90 c LP encountered learned Farkas constraints 0
3600.07/3611.90 c CG auxiliary variables introduced 0
3600.07/3611.90 c CG solutions found 0
3600.07/3611.90 c CG cores constructed 0
3600.07/3611.90 c CG core cardinality constraints returned 0
3600.07/3611.90 c CG unit cores 0
3600.07/3611.90 c CG single cores 0
3600.07/3611.90 c CG blocks removed during cardinality reduction 0
3600.07/3611.90 c CG first core best 0
3600.07/3611.90 c CG decision core best 0
3600.07/3611.90 c CG core reduction tie 0
3600.07/3611.90 c CG core degree average 0.00
3600.07/3611.90 c CG core slack average 0.00
3600.07/3611.90 c CG core upper bound improvements 0
3600.07/3611.90 c STR number of successful calls 0
3600.07/3611.90 c STR number of unsuccessful calls 0
3600.07/3611.90 c STR number of inconclusive calls 0
3600.07/3611.90 c STR number of successful attempts 0
3600.07/3611.90 c STR number of unsuccessful attempts 0
3600.07/3611.90 c STR number of inconclusive attempts 0
3600.07/3611.90 c STR average degree increase per successful call inf
3600.07/3611.90 c STR average degree increase per successful attempt inf
3600.07/3611.90 c STR total number of conflicts for successful attempts 0
3600.07/3611.90 c STR total number of conflicts for unsuccessful attempts 0
3600.07/3611.90 c STR total number of conflicts for inconclusive attempts 0
3600.07/3611.90 c STR average number of conflicts per successful attempt inf
3600.07/3611.90 c STR average number of conflicts per unsuccessful attempt inf
3600.07/3611.90 c STR average number of conflicts per inconclusive attempt inf
3600.07/3611.90 c AVG.sumWPerc 68.65
3600.07/3611.90 c bigint constraints 0
3600.07/3611.90 s UNKNOWN
3600.07/3611.90 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 (62817 MiB free)
memory of node 1: 64465 MiB (63791 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4495858-1751153889/watcher-4495858-1751153889 -o /tmp/evaluation-result-4495858-1751153889/solver-4495858-1751153889 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751146607-16319 --watchdog 3760 run-dec-ls.sh HOME/instance-4495858-1751153889.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=20510, runsolver pid=20507
[startup+0.100059 s]*
/proc/loadavg: 4.08 4.13 4.10 5/271 20512
/proc/meminfo: memFree=129646996/131249996 swapFree=33010684/33010684
[pid=20510] ppid=20507 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/20510/stat : 20510 (run-dec-ls.sh) S 20507 20510 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 31067364 4292608 736 18446744073709551615 94637278461952 94637279356485 140720855893280 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94637279595536 94637279643280 94637281288192 140720855902567 140720855902693 140720855902693 140720855908295 0
/proc/20510/statm: 1048 736 672 219 0 110 0
[pid=20512] ppid=20510 vsize=56080 memory=12988 CPUtime=0.08 cores=4,6
/proc/20512/stat : 20512 (roundingsat) R 20510 20510 16308 0 -1 4194304 621 0 0 0 8 0 0 0 20 0 1 0 31067365 57425920 3247 18446744073709551615 4227072 8923433 140732703581376 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 16015360 140732703582624 140732703582760 140732703582760 140732703588330 0
/proc/20512/statm: 14020 3247 2368 1147 0 1447 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 60272 KiB
Current children cumulated memory: 15932 KiB
[startup+0.205785 s]*
/proc/loadavg: 4.08 4.13 4.10 5/271 20512
/proc/meminfo: memFree=129647004/131249996 swapFree=33010684/33010684
[pid=20510] ppid=20507 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/20510/stat : 20510 (run-dec-ls.sh) S 20507 20510 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 31067364 4292608 736 18446744073709551615 94637278461952 94637279356485 140720855893280 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94637279595536 94637279643280 94637281288192 140720855902567 140720855902693 140720855902693 140720855908295 0
/proc/20510/statm: 1048 736 672 219 0 110 0
[pid=20512] ppid=20510 vsize=56724 memory=13628 CPUtime=0.18 cores=4,6
/proc/20512/stat : 20512 (roundingsat) R 20510 20510 16308 0 -1 4194304 774 0 0 0 17 1 0 0 20 0 1 0 31067365 58085376 3407 18446744073709551615 4227072 8923433 140732703581376 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16015360 140732703582624 140732703582760 140732703582760 140732703588330 0
/proc/20512/statm: 14181 3407 2368 1147 0 1608 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 60916 KiB
Current children cumulated memory: 16572 KiB
[startup+0.305457 s]*
/proc/loadavg: 4.08 4.13 4.10 5/271 20512
/proc/meminfo: memFree=129646784/131249996 swapFree=33010684/33010684
[pid=20510] ppid=20507 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/20510/stat : 20510 (run-dec-ls.sh) S 20507 20510 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 31067364 4292608 736 18446744073709551615 94637278461952 94637279356485 140720855893280 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94637279595536 94637279643280 94637281288192 140720855902567 140720855902693 140720855902693 140720855908295 0
/proc/20510/statm: 1048 736 672 219 0 110 0
[pid=20512] ppid=20510 vsize=57280 memory=13884 CPUtime=0.28 cores=4,6
/proc/20512/stat : 20512 (roundingsat) R 20510 20510 16308 0 -1 4194304 859 0 0 0 27 1 0 0 20 0 1 0 31067365 58654720 3471 18446744073709551615 4227072 8923433 140732703581376 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16015360 140732703582624 140732703582760 140732703582760 140732703588330 0
/proc/20512/statm: 14320 3471 2368 1147 0 1747 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 61472 KiB
Current children cumulated memory: 16828 KiB
[startup+0.700138 s]
/proc/loadavg: 4.08 4.13 4.10 5/271 20512
/proc/meminfo: memFree=129646784/131249996 swapFree=33010684/33010684
[pid=20510] ppid=20507 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/20510/stat : 20510 (run-dec-ls.sh) S 20507 20510 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 31067364 4292608 736 18446744073709551615 94637278461952 94637279356485 140720855893280 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94637279595536 94637279643280 94637281288192 140720855902567 140720855902693 140720855902693 140720855908295 0
/proc/20510/statm: 1048 736 672 219 0 110 0
[pid=20512] ppid=20510 vsize=57984 memory=14652 CPUtime=0.67 cores=4,6
/proc/20512/stat : 20512 (roundingsat) R 20510 20510 16308 0 -1 4194304 1036 0 0 0 65 2 0 0 20 0 1 0 31067365 59375616 3663 18446744073709551615 4227072 8923433 140732703581376 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16015360 140732703582624 140732703582760 140732703582760 140732703588330 0
/proc/20512/statm: 14496 3663 2368 1147 0 1923 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 62176 KiB
Current children cumulated memory: 17596 KiB
[startup+1.50015 s]
/proc/loadavg: 4.08 4.13 4.10 5/271 20512
/proc/meminfo: memFree=129646784/131249996 swapFree=33010684/33010684
[pid=20510] ppid=20507 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/20510/stat : 20510 (run-dec-ls.sh) S 20507 20510 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 31067364 4292608 736 18446744073709551615 94637278461952 94637279356485 140720855893280 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94637279595536 94637279643280 94637281288192 140720855902567 140720855902693 140720855902693 140720855908295 0
/proc/20510/statm: 1048 736 672 219 0 110 0
[pid=20512] ppid=20510 vsize=58784 memory=15292 CPUtime=1.46 cores=4,6
/proc/20512/stat : 20512 (roundingsat) R 20510 20510 16308 0 -1 4194304 1209 0 0 0 142 4 0 0 20 0 1 0 31067365 60194816 3823 18446744073709551615 4227072 8923433 140732703581376 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16015360 140732703582624 140732703582760 140732703582760 140732703588330 0
/proc/20512/statm: 14696 3823 2368 1147 0 2123 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 62976 KiB
Current children cumulated memory: 18236 KiB
[startup+3.10561 s]
/proc/loadavg: 4.08 4.13 4.10 5/271 20512
/proc/meminfo: memFree=129646292/131249996 swapFree=33010684/33010684
[pid=20510] ppid=20507 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/20510/stat : 20510 (run-dec-ls.sh) S 20507 20510 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 31067364 4292608 736 18446744073709551615 94637278461952 94637279356485 140720855893280 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94637279595536 94637279643280 94637281288192 140720855902567 140720855902693 140720855902693 140720855908295 0
/proc/20510/statm: 1048 736 672 219 0 110 0
[pid=20512] ppid=20510 vsize=60160 memory=16572 CPUtime=3.07 cores=4,6
/proc/20512/stat : 20512 (roundingsat) R 20510 20510 16308 0 -1 4194304 1527 0 0 0 299 8 0 0 20 0 1 0 31067365 61603840 4143 18446744073709551615 4227072 8923433 140732703581376 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16015360 140732703582624 140732703582760 140732703582760 140732703588330 0
/proc/20512/statm: 15040 4143 2368 1147 0 2467 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 64352 KiB
Current children cumulated memory: 19516 KiB
[startup+6.30016 s]
/proc/loadavg: 4.07 4.13 4.10 5/270 20512
/proc/meminfo: memFree=129643268/131249996 swapFree=33010684/33010684
[pid=20510] ppid=20507 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/20510/stat : 20510 (run-dec-ls.sh) S 20507 20510 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 31067364 4292608 736 18446744073709551615 94637278461952 94637279356485 140720855893280 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94637279595536 94637279643280 94637281288192 140720855902567 140720855902693 140720855902693 140720855908295 0
/proc/20510/statm: 1048 736 672 219 0 110 0
[pid=20512] ppid=20510 vsize=61504 memory=17596 CPUtime=6.25 cores=4,6
/proc/20512/stat : 20512 (roundingsat) R 20510 20510 16308 0 -1 4194304 1773 0 0 0 611 14 0 0 20 0 1 0 31067365 62980096 4399 18446744073709551615 4227072 8923433 140732703581376 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16015360 140732703582624 140732703582760 140732703582760 140732703588330 0
/proc/20512/statm: 15376 4399 2368 1147 0 2803 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 65696 KiB
Current children cumulated memory: 20540 KiB
[startup+12.7001 s]
/proc/loadavg: 4.07 4.13 4.10 5/270 20512
/proc/meminfo: memFree=129638992/131249996 swapFree=33010684/33010684
[pid=20510] ppid=20507 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/20510/stat : 20510 (run-dec-ls.sh) S 20507 20510 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 31067364 4292608 736 18446744073709551615 94637278461952 94637279356485 140720855893280 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94637279595536 94637279643280 94637281288192 140720855902567 140720855902693 140720855902693 140720855908295 0
/proc/20510/statm: 1048 736 672 219 0 110 0
[pid=20512] ppid=20510 vsize=62080 memory=20264 CPUtime=12.64 cores=4,6
/proc/20512/stat : 20512 (roundingsat) R 20510 20510 16308 0 -1 4194304 1945 0 0 0 1235 29 0 0 20 0 1 0 31067365 63569920 5066 18446744073709551615 4227072 8923433 140732703581376 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16015360 140732703582624 140732703582760 140732703582760 140732703588330 0
/proc/20512/statm: 15520 5066 2368 1147 0 2947 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 66272 KiB
Current children cumulated memory: 23208 KiB
[startup+25.5002 s]
/proc/loadavg: 4.21 4.15 4.11 5/270 20604
/proc/meminfo: memFree=129644068/131249996 swapFree=33010684/33010684
[pid=20510] ppid=20507 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/20510/stat : 20510 (run-dec-ls.sh) S 20507 20510 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 31067364 4292608 736 18446744073709551615 94637278461952 94637279356485 140720855893280 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94637279595536 94637279643280 94637281288192 140720855902567 140720855902693 140720855902693 140720855908295 0
/proc/20510/statm: 1048 736 672 219 0 110 0
[pid=20512] ppid=20510 vsize=63556 memory=22312 CPUtime=25.4 cores=4,6
/proc/20512/stat : 20512 (roundingsat) R 20510 20510 16308 0 -1 4194304 2407 0 0 0 2488 52 0 0 20 0 1 0 31067365 65081344 5578 18446744073709551615 4227072 8923433 140732703581376 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16015360 140732703582624 140732703582760 140732703582760 140732703588330 0
/proc/20512/statm: 15889 5578 2464 1147 0 3316 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 67748 KiB
Current children cumulated memory: 25256 KiB
[startup+51.1056 s]
/proc/loadavg: 4.40 4.20 4.13 5/270 20605
/proc/meminfo: memFree=129629688/131249996 swapFree=33010684/33010684
[pid=20510] ppid=20507 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/20510/stat : 20510 (run-dec-ls.sh) S 20507 20510 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 31067364 4292608 736 18446744073709551615 94637278461952 94637279356485 140720855893280 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94637279595536 94637279643280 94637281288192 140720855902567 140720855902693 140720855902693 140720855908295 0
/proc/20510/statm: 1048 736 672 219 0 110 0
[pid=20512] ppid=20510 vsize=66100 memory=24360 CPUtime=50.94 cores=4,6
/proc/20512/stat : 20512 (roundingsat) R 20510 20510 16308 0 -1 4194304 3000 0 0 0 4998 96 0 0 20 0 1 0 31067365 67686400 6090 18446744073709551615 4227072 8923433 140732703581376 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16015360 140732703582624 140732703582760 140732703582760 140732703588330 0
/proc/20512/statm: 16525 6090 2464 1147 0 3952 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 70292 KiB
Current children cumulated memory: 27304 KiB
[startup+102.3 s]
/proc/loadavg: 4.21 4.18 4.13 5/269 20606
/proc/meminfo: memFree=129604040/131249996 swapFree=33010684/33010684
[pid=20510] ppid=20507 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/20510/stat : 20510 (run-dec-ls.sh) S 20507 20510 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 31067364 4292608 736 18446744073709551615 94637278461952 94637279356485 140720855893280 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94637279595536 94637279643280 94637281288192 140720855902567 140720855902693 140720855902693 140720855908295 0
/proc/20510/statm: 1048 736 672 219 0 110 0
[pid=20512] ppid=20510 vsize=72472 memory=29352 CPUtime=102.01 cores=4,6
/proc/20512/stat : 20512 (roundingsat) R 20510 20510 16308 0 -1 4194304 4388 0 0 0 10039 162 0 0 20 0 1 0 31067365 74211328 7338 18446744073709551615 4227072 8923433 140732703581376 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16015360 140732703582624 140732703582760 140732703582760 140732703588330 0
/proc/20512/statm: 18118 7338 2464 1147 0 5545 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 76664 KiB
Current children cumulated memory: 32296 KiB
[startup+162.3 s]
/proc/loadavg: 4.18 4.18 4.13 5/269 20608
/proc/meminfo: memFree=129587572/131249996 swapFree=33010684/33010684
[pid=20510] ppid=20507 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/20510/stat : 20510 (run-dec-ls.sh) S 20507 20510 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 31067364 4292608 736 18446744073709551615 94637278461952 94637279356485 140720855893280 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94637279595536 94637279643280 94637281288192 140720855902567 140720855902693 140720855902693 140720855908295 0
/proc/20510/statm: 1048 736 672 219 0 110 0
[pid=20512] ppid=20510 vsize=73624 memory=31424 CPUtime=161.86 cores=4,6
/proc/20512/stat : 20512 (roundingsat) R 20510 20510 16308 0 -1 4194304 5243 0 0 0 15956 230 0 0 20 0 1 0 31067365 75390976 7856 18446744073709551615 4227072 8923433 140732703581376 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16015360 140732703582624 140732703582760 140732703582760 140732703588330 0
/proc/20512/statm: 18406 7856 2464 1147 0 5833 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 77816 KiB
Current children cumulated memory: 34368 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.16 4.12 5/270 20613
/proc/meminfo: memFree=129589848/131249996 swapFree=33010684/33010684
[pid=20510] ppid=20507 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/20510/stat : 20510 (run-dec-ls.sh) S 20507 20510 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 31067364 4292608 736 18446744073709551615 94637278461952 94637279356485 140720855893280 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94637279595536 94637279643280 94637281288192 140720855902567 140720855902693 140720855902693 140720855908295 0
/proc/20510/statm: 1048 736 672 219 0 110 0
[pid=20512] ppid=20510 vsize=82972 memory=36264 CPUtime=221.7 cores=4,6
/proc/20512/stat : 20512 (roundingsat) R 20510 20510 16308 0 -1 4194304 6603 0 0 0 21881 289 0 0 20 0 1 0 31067365 84963328 9066 18446744073709551615 4227072 8923433 140732703581376 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16015360 140732703582624 140732703582760 140732703582760 140732703588330 0
/proc/20512/statm: 20743 9066 2496 1147 0 8170 0
################
# More data... #
################
/proc/loadavg: 4.16 4.15 4.11 5/268 21454
/proc/meminfo: memFree=129669196/131249996 swapFree=33010684/33010684
[pid=20510] ppid=20507 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/20510/stat : 20510 (run-dec-ls.sh) S 20507 20510 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 31067364 4292608 736 18446744073709551615 94637278461952 94637279356485 140720855893280 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94637279595536 94637279643280 94637281288192 140720855902567 140720855902693 140720855902693 140720855908295 0
/proc/20510/statm: 1048 736 672 219 0 110 0
[pid=20512] ppid=20510 vsize=133820 memory=79804 CPUtime=3092.17 cores=4,6
/proc/20512/stat : 20512 (roundingsat) R 20510 20510 16308 0 -1 4194304 17948 0 0 0 307746 1471 0 0 20 0 1 0 31067365 137031680 19951 18446744073709551615 4227072 8923433 140732703581376 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16015360 140732703582624 140732703582760 140732703582760 140732703588330 0
/proc/20512/statm: 33455 19951 2496 1147 0 20882 0
Current children cumulated CPU time: 3092.17 s
Current children cumulated vsize: 138012 KiB
Current children cumulated memory: 82748 KiB
[startup+3162.3 s]
/proc/loadavg: 4.18 4.15 4.11 5/268 21456
/proc/meminfo: memFree=129666524/131249996 swapFree=33010684/33010684
[pid=20510] ppid=20507 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/20510/stat : 20510 (run-dec-ls.sh) S 20507 20510 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 31067364 4292608 736 18446744073709551615 94637278461952 94637279356485 140720855893280 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94637279595536 94637279643280 94637281288192 140720855902567 140720855902693 140720855902693 140720855908295 0
/proc/20510/statm: 1048 736 672 219 0 110 0
[pid=20512] ppid=20510 vsize=133820 memory=79804 CPUtime=3151.96 cores=4,6
/proc/20512/stat : 20512 (roundingsat) R 20510 20510 16308 0 -1 4194304 17948 0 0 0 313710 1486 0 0 20 0 1 0 31067365 137031680 19951 18446744073709551615 4227072 8923433 140732703581376 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16015360 140732703582624 140732703582760 140732703582760 140732703588330 0
/proc/20512/statm: 33455 19951 2496 1147 0 20882 0
Current children cumulated CPU time: 3151.96 s
Current children cumulated vsize: 138012 KiB
Current children cumulated memory: 82748 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.14 4.11 5/269 21459
/proc/meminfo: memFree=129666432/131249996 swapFree=33010684/33010684
[pid=20510] ppid=20507 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/20510/stat : 20510 (run-dec-ls.sh) S 20507 20510 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 31067364 4292608 736 18446744073709551615 94637278461952 94637279356485 140720855893280 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94637279595536 94637279643280 94637281288192 140720855902567 140720855902693 140720855902693 140720855908295 0
/proc/20510/statm: 1048 736 672 219 0 110 0
[pid=20512] ppid=20510 vsize=133820 memory=79932 CPUtime=3211.77 cores=4,6
/proc/20512/stat : 20512 (roundingsat) R 20510 20510 16308 0 -1 4194304 17968 0 0 0 319677 1500 0 0 20 0 1 0 31067365 137031680 19983 18446744073709551615 4227072 8923433 140732703581376 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16015360 140732703582624 140732703582760 140732703582760 140732703588330 0
/proc/20512/statm: 33455 19983 2496 1147 0 20882 0
Current children cumulated CPU time: 3211.77 s
Current children cumulated vsize: 138012 KiB
Current children cumulated memory: 82876 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.12 4.10 5/269 21463
/proc/meminfo: memFree=129657444/131249996 swapFree=33010684/33010684
[pid=20510] ppid=20507 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/20510/stat : 20510 (run-dec-ls.sh) S 20507 20510 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 31067364 4292608 736 18446744073709551615 94637278461952 94637279356485 140720855893280 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94637279595536 94637279643280 94637281288192 140720855902567 140720855902693 140720855902693 140720855908295 0
/proc/20510/statm: 1048 736 672 219 0 110 0
[pid=20512] ppid=20510 vsize=133820 memory=79932 CPUtime=3271.57 cores=4,6
/proc/20512/stat : 20512 (roundingsat) R 20510 20510 16308 0 -1 4194304 17971 0 0 0 325642 1515 0 0 20 0 1 0 31067365 137031680 19983 18446744073709551615 4227072 8923433 140732703581376 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16015360 140732703582624 140732703582760 140732703582760 140732703588330 0
/proc/20512/statm: 33455 19983 2496 1147 0 20882 0
Current children cumulated CPU time: 3271.57 s
Current children cumulated vsize: 138012 KiB
Current children cumulated memory: 82876 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.13 4.10 5/269 21465
/proc/meminfo: memFree=129635012/131249996 swapFree=33010684/33010684
[pid=20510] ppid=20507 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/20510/stat : 20510 (run-dec-ls.sh) S 20507 20510 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 31067364 4292608 736 18446744073709551615 94637278461952 94637279356485 140720855893280 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94637279595536 94637279643280 94637281288192 140720855902567 140720855902693 140720855902693 140720855908295 0
/proc/20510/statm: 1048 736 672 219 0 110 0
[pid=20512] ppid=20510 vsize=133820 memory=79932 CPUtime=3331.37 cores=4,6
/proc/20512/stat : 20512 (roundingsat) R 20510 20510 16308 0 -1 4194304 17971 0 0 0 331609 1528 0 0 20 0 1 0 31067365 137031680 19983 18446744073709551615 4227072 8923433 140732703581376 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16015360 140732703582624 140732703582760 140732703582760 140732703588330 0
/proc/20512/statm: 33455 19983 2496 1147 0 20882 0
Current children cumulated CPU time: 3331.37 s
Current children cumulated vsize: 138012 KiB
Current children cumulated memory: 82876 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.12 4.10 5/269 21467
/proc/meminfo: memFree=129561940/131249996 swapFree=33010684/33010684
[pid=20510] ppid=20507 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/20510/stat : 20510 (run-dec-ls.sh) S 20507 20510 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 31067364 4292608 736 18446744073709551615 94637278461952 94637279356485 140720855893280 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94637279595536 94637279643280 94637281288192 140720855902567 140720855902693 140720855902693 140720855908295 0
/proc/20510/statm: 1048 736 672 219 0 110 0
[pid=20512] ppid=20510 vsize=133820 memory=79932 CPUtime=3391.17 cores=4,6
/proc/20512/stat : 20512 (roundingsat) R 20510 20510 16308 0 -1 4194304 17971 0 0 0 337576 1541 0 0 20 0 1 0 31067365 137031680 19983 18446744073709551615 4227072 8923433 140732703581376 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16015360 140732703582624 140732703582760 140732703582760 140732703588330 0
/proc/20512/statm: 33455 19983 2496 1147 0 20882 0
Current children cumulated CPU time: 3391.17 s
Current children cumulated vsize: 138012 KiB
Current children cumulated memory: 82876 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.13 4.10 5/269 21469
/proc/meminfo: memFree=129540028/131249996 swapFree=33010684/33010684
[pid=20510] ppid=20507 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/20510/stat : 20510 (run-dec-ls.sh) S 20507 20510 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 31067364 4292608 736 18446744073709551615 94637278461952 94637279356485 140720855893280 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94637279595536 94637279643280 94637281288192 140720855902567 140720855902693 140720855902693 140720855908295 0
/proc/20510/statm: 1048 736 672 219 0 110 0
[pid=20512] ppid=20510 vsize=133820 memory=79932 CPUtime=3450.97 cores=4,6
/proc/20512/stat : 20512 (roundingsat) R 20510 20510 16308 0 -1 4194304 17976 0 0 0 343543 1554 0 0 20 0 1 0 31067365 137031680 19983 18446744073709551615 4227072 8923433 140732703581376 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16015360 140732703582624 140732703582760 140732703582760 140732703588330 0
/proc/20512/statm: 33455 19983 2496 1147 0 20882 0
Current children cumulated CPU time: 3450.97 s
Current children cumulated vsize: 138012 KiB
Current children cumulated memory: 82876 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.13 4.10 5/268 21471
/proc/meminfo: memFree=129535460/131249996 swapFree=33010684/33010684
[pid=20510] ppid=20507 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/20510/stat : 20510 (run-dec-ls.sh) S 20507 20510 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 31067364 4292608 736 18446744073709551615 94637278461952 94637279356485 140720855893280 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94637279595536 94637279643280 94637281288192 140720855902567 140720855902693 140720855902693 140720855908295 0
/proc/20510/statm: 1048 736 672 219 0 110 0
[pid=20512] ppid=20510 vsize=133820 memory=79932 CPUtime=3510.77 cores=4,6
/proc/20512/stat : 20512 (roundingsat) R 20510 20510 16308 0 -1 4194304 17976 0 0 0 349510 1567 0 0 20 0 1 0 31067365 137031680 19983 18446744073709551615 4227072 8923433 140732703581376 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16015360 140732703582624 140732703582760 140732703582760 140732703588330 0
/proc/20512/statm: 33455 19983 2496 1147 0 20882 0
Current children cumulated CPU time: 3510.77 s
Current children cumulated vsize: 138012 KiB
Current children cumulated memory: 82876 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/268 21477
/proc/meminfo: memFree=129527960/131249996 swapFree=33010684/33010684
[pid=20510] ppid=20507 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/20510/stat : 20510 (run-dec-ls.sh) S 20507 20510 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 31067364 4292608 736 18446744073709551615 94637278461952 94637279356485 140720855893280 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94637279595536 94637279643280 94637281288192 140720855902567 140720855902693 140720855902693 140720855908295 0
/proc/20510/statm: 1048 736 672 219 0 110 0
[pid=20512] ppid=20510 vsize=133820 memory=79932 CPUtime=3570.56 cores=4,6
/proc/20512/stat : 20512 (roundingsat) R 20510 20510 16308 0 -1 4194304 17977 0 0 0 355475 1581 0 0 20 0 1 0 31067365 137031680 19983 18446744073709551615 4227072 8923433 140732703581376 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16015360 140732703582624 140732703582760 140732703582760 140732703588330 0
/proc/20512/statm: 33455 19983 2496 1147 0 20882 0
Current children cumulated CPU time: 3570.56 s
Current children cumulated vsize: 138012 KiB
Current children cumulated memory: 82876 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.9 s]
/proc/loadavg: 4.12 4.12 4.09 5/267 21477
/proc/meminfo: memFree=129528844/131249996 swapFree=33010684/33010684
[pid=20510] ppid=20507 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/20510/stat : 20510 (run-dec-ls.sh) S 20507 20510 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 31067364 4292608 736 18446744073709551615 94637278461952 94637279356485 140720855893280 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94637279595536 94637279643280 94637281288192 140720855902567 140720855902693 140720855902693 140720855908295 0
/proc/20510/statm: 1048 736 672 219 0 110 0
[pid=20512] ppid=20510 vsize=133820 memory=79932 CPUtime=3600.07 cores=4,6
/proc/20512/stat : 20512 (roundingsat) R 20510 20510 16308 0 -1 4194304 17977 0 0 0 358418 1589 0 0 20 0 1 0 31067365 137031680 19983 18446744073709551615 4227072 8923433 140732703581376 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16015360 140732703582624 140732703582760 140732703582760 140732703588330 0
/proc/20512/statm: 33455 19983 2496 1147 0 20882 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 138012 KiB
Current children cumulated memory: 82876 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3611.9 s]
# the end of solver process 20510 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3584.19 s, system=15.8959 s
Solver just ended.
Sleeping 2 seconds
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.9 s]
/proc/loadavg: 4.12 4.12 4.09 5/267 21477
/proc/meminfo: memFree=129528844/131249996 swapFree=33010684/33010684
[pid=20510] ppid=20507 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/20510/stat : 20510 (run-dec-ls.sh) S 20507 20510 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 31067364 4292608 736 18446744073709551615 94637278461952 94637279356485 140720855893280 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94637279595536 94637279643280 94637281288192 140720855902567 140720855902693 140720855902693 140720855908295 0
/proc/20510/statm: 1048 736 672 219 0 110 0
[pid=20512] ppid=20510 vsize=133820 memory=79932 CPUtime=3600.07 cores=4,6
/proc/20512/stat : 20512 (roundingsat) R 20510 20510 16308 0 -1 4194304 17977 0 0 0 358418 1589 0 0 20 0 1 0 31067365 137031680 19983 18446744073709551615 4227072 8923433 140732703581376 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16015360 140732703582624 140732703582760 140732703582760 140732703588330 0
/proc/20512/statm: 33455 19983 2496 1147 0 20882 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 138012 KiB
Current children cumulated memory: 82876 KiB
Child status: 2
Real time (s): 3611.9
CPU time (s): 3600.09
CPU user time (s): 3584.19
CPU system time (s): 15.8959
CPU usage (%): 99.6728
Max. virtual memory (cumulated for all children) (KiB): 138012
Max. memory (cumulated for all children) (KiB): 82876
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.19
system time used= 15.8959
maximum resident set size= 80060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18208
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 169
involuntary context switches= 3520
# summary of solver processes directly reported to runsolver:
# pid: 20510
# total CPU time (s): 3600.09
# total CPU user time (s): 3584.19
# total CPU system time (s): 15.8959
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.51142 second user time and 17.858 second system time
The end
Begin job on nodeC029 at 2025-06-29 01:38:09
IDJOB=4495858
IDBENCH=148100
IDSOLVER=3353
FILE ID=nodeC029/4495858-1751153889
RUNJOBID= nodeC029-1751146607-16319
SLURM_JOB_ID= 9587465
Free space on /tmp= 433032 MiB
SOLVER NAME= roundingsat-ls 63f22ad
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/manquiho/Aardal_1/normalized-cuww2.opb
COMMAND LINE= run-dec-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4495858-1751153889/watcher-4495858-1751153889 -o /tmp/evaluation-result-4495858-1751153889/solver-4495858-1751153889 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751146607-16319 --watchdog 3760 run-dec-ls.sh HOME/instance-4495858-1751153889.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f9ddfe14fcbe08e4d315c2b284f6e91e
RANDOM SEED=988800712
nodeC029 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 : 3599.705
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.929
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
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.655
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
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 : 3598.492
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
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 : 3593.692
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.726
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.693
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
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 : 3423.642
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 129646916 kB
MemAvailable: 129286692 kB
Buffers: 3280 kB
Cached: 443304 kB
SwapCached: 0 kB
Active: 812480 kB
Inactive: 224396 kB
Active(anon): 608352 kB
Inactive(anon): 0 kB
Active(file): 204128 kB
Inactive(file): 224396 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 14592 kB
Writeback: 20 kB
AnonPages: 593444 kB
Mapped: 116864 kB
Shmem: 18060 kB
KReclaimable: 86384 kB
Slab: 169372 kB
SReclaimable: 86384 kB
SUnreclaim: 82988 kB
KernelStack: 4380 kB
PageTables: 4412 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 1002244 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150600 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 464896 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: 193236 kB
DirectMap2M: 11112448 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 433032 MiB
End job on nodeC029 at 2025-06-29 02:38:21