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.20 c #Conflicts: 1000 | #Constraints: 1093
0.08/0.20 c #Conflicts: 2000 | #Constraints: 2145
0.08/0.20 c INPROCESSING
0.08/0.20 c GARBAGE COLLECT
0.08/0.20 c rational objective 2
0.48/0.52 c #Conflicts: 3000 | #Constraints: 2170
0.48/0.52 c #Conflicts: 4000 | #Constraints: 3257
0.48/0.52 c INPROCESSING
0.48/0.52 c GARBAGE COLLECT
0.48/0.52 c rational objective 2
0.87/0.90 c #Conflicts: 5000 | #Constraints: 2587
0.87/0.90 c #Conflicts: 6000 | #Constraints: 3668
0.87/0.90 c INPROCESSING
0.87/0.90 c GARBAGE COLLECT
0.87/0.90 c rational objective 2
1.38/1.46 c #Conflicts: 7000 | #Constraints: 2605
1.38/1.46 c #Conflicts: 8000 | #Constraints: 3690
1.38/1.46 c #Conflicts: 9000 | #Constraints: 4779
1.38/1.46 c INPROCESSING
1.38/1.46 c GARBAGE COLLECT
1.38/1.46 c rational objective 2
2.08/2.11 c #Conflicts: 10000 | #Constraints: 3638
2.08/2.11 c #Conflicts: 11000 | #Constraints: 4696
2.08/2.11 c #Conflicts: 12000 | #Constraints: 5774
2.08/2.11 c INPROCESSING
2.08/2.11 c GARBAGE COLLECT
2.08/2.11 c rational objective 2
2.67/2.74 c #Conflicts: 13000 | #Constraints: 3897
2.67/2.74 c #Conflicts: 14000 | #Constraints: 4897
2.67/2.74 c #Conflicts: 15000 | #Constraints: 5897
2.67/2.74 c INPROCESSING
2.67/2.74 c GARBAGE COLLECT
2.67/2.74 c rational objective 2
3.37/3.47 c #Conflicts: 16000 | #Constraints: 4035
3.37/3.47 c #Conflicts: 17000 | #Constraints: 5137
3.37/3.47 c #Conflicts: 18000 | #Constraints: 6233
3.37/3.47 c INPROCESSING
3.37/3.47 c GARBAGE COLLECT
3.37/3.47 c rational objective 2
4.17/4.24 c #Conflicts: 19000 | #Constraints: 4030
4.17/4.24 c #Conflicts: 20000 | #Constraints: 5030
4.17/4.24 c #Conflicts: 21000 | #Constraints: 6050
4.17/4.24 c INPROCESSING
4.17/4.24 c GARBAGE COLLECT
4.17/4.24 c rational objective 2.00382
5.07/5.17 c #Conflicts: 22000 | #Constraints: 3758
5.07/5.17 c #Conflicts: 23000 | #Constraints: 4758
5.07/5.17 c #Conflicts: 24000 | #Constraints: 5758
5.07/5.17 c #Conflicts: 25000 | #Constraints: 6758
5.07/5.17 c INPROCESSING
5.07/5.17 c GARBAGE COLLECT
5.07/5.17 c rational objective 2.00001
6.16/6.26 c #Conflicts: 26000 | #Constraints: 4351
6.16/6.26 c #Conflicts: 27000 | #Constraints: 5364
6.16/6.26 c #Conflicts: 28000 | #Constraints: 6370
6.16/6.26 c #Conflicts: 29000 | #Constraints: 7370
6.16/6.26 c INPROCESSING
6.16/6.26 c GARBAGE COLLECT
6.16/6.26 c rational objective 2.00001
7.36/7.44 c #Conflicts: 30000 | #Constraints: 4761
7.36/7.44 c #Conflicts: 31000 | #Constraints: 5761
7.36/7.44 c #Conflicts: 32000 | #Constraints: 6761
7.36/7.44 c #Conflicts: 33000 | #Constraints: 7761
7.36/7.44 c INPROCESSING
7.36/7.44 c GARBAGE COLLECT
7.36/7.44 c rational objective 2.00001
8.55/8.65 c #Conflicts: 34000 | #Constraints: 4899
8.55/8.65 c #Conflicts: 35000 | #Constraints: 5944
8.55/8.65 c #Conflicts: 36000 | #Constraints: 7024
8.55/8.65 c #Conflicts: 37000 | #Constraints: 8138
8.55/8.65 c INPROCESSING
8.55/8.65 c GARBAGE COLLECT
8.55/8.65 c rational objective 2.00001
9.95/10.01 c #Conflicts: 38000 | #Constraints: 5055
9.95/10.01 c #Conflicts: 39000 | #Constraints: 6067
9.95/10.01 c #Conflicts: 40000 | #Constraints: 7067
9.95/10.01 c #Conflicts: 41000 | #Constraints: 8067
9.95/10.01 c INPROCESSING
9.95/10.01 c GARBAGE COLLECT
9.95/10.01 c rational objective 2.00001
11.45/11.55 c #Conflicts: 42000 | #Constraints: 4776
11.45/11.55 c #Conflicts: 43000 | #Constraints: 5828
11.45/11.55 c #Conflicts: 44000 | #Constraints: 6828
11.45/11.55 c #Conflicts: 45000 | #Constraints: 7828
11.45/11.55 c #Conflicts: 46000 | #Constraints: 8828
11.45/11.55 c INPROCESSING
11.45/11.55 c GARBAGE COLLECT
11.45/11.55 c rational objective 2.00001
13.24/13.35 c #Conflicts: 47000 | #Constraints: 5370
13.24/13.35 c #Conflicts: 48000 | #Constraints: 6381
13.24/13.35 c #Conflicts: 49000 | #Constraints: 7381
13.24/13.35 c #Conflicts: 50000 | #Constraints: 8381
13.24/13.35 c #Conflicts: 51000 | #Constraints: 9381
13.24/13.35 c INPROCESSING
13.24/13.35 c GARBAGE COLLECT
13.24/13.35 c rational objective 2.00001
15.13/15.26 c #Conflicts: 52000 | #Constraints: 5780
15.13/15.26 c #Conflicts: 53000 | #Constraints: 6852
15.13/15.26 c #Conflicts: 54000 | #Constraints: 7885
15.13/15.26 c #Conflicts: 55000 | #Constraints: 8885
15.13/15.26 c #Conflicts: 56000 | #Constraints: 9885
15.13/15.26 c INPROCESSING
15.13/15.26 c GARBAGE COLLECT
15.13/15.26 c rational objective 2.00001
17.04/17.15 c #Conflicts: 57000 | #Constraints: 6084
17.04/17.15 c #Conflicts: 58000 | #Constraints: 7131
17.04/17.15 c #Conflicts: 59000 | #Constraints: 8131
17.04/17.15 c #Conflicts: 60000 | #Constraints: 9131
17.04/17.15 c #Conflicts: 61000 | #Constraints: 10131
17.04/17.15 c INPROCESSING
17.04/17.15 c GARBAGE COLLECT
17.04/17.15 c rational objective 2.00001
19.03/19.18 c #Conflicts: 62000 | #Constraints: 6017
19.03/19.18 c #Conflicts: 63000 | #Constraints: 7022
19.03/19.18 c #Conflicts: 64000 | #Constraints: 8022
19.03/19.18 c #Conflicts: 65000 | #Constraints: 9022
19.03/19.18 c #Conflicts: 66000 | #Constraints: 10022
19.03/19.18 c INPROCESSING
19.03/19.18 c GARBAGE COLLECT
19.03/19.18 c rational objective 2.00001
21.32/21.44 c #Conflicts: 67000 | #Constraints: 5750
21.32/21.44 c #Conflicts: 68000 | #Constraints: 6779
21.32/21.44 c #Conflicts: 69000 | #Constraints: 7779
21.32/21.44 c #Conflicts: 70000 | #Constraints: 8779
21.32/21.44 c #Conflicts: 71000 | #Constraints: 9779
21.32/21.44 c #Conflicts: 72000 | #Constraints: 10779
21.32/21.44 c INPROCESSING
21.32/21.44 c GARBAGE COLLECT
21.32/21.44 c rational objective 2.00001
23.61/23.77 c #Conflicts: 73000 | #Constraints: 6377
23.61/23.77 c #Conflicts: 74000 | #Constraints: 7452
23.61/23.77 c #Conflicts: 75000 | #Constraints: 8452
23.61/23.77 c #Conflicts: 76000 | #Constraints: 9452
23.61/23.77 c #Conflicts: 77000 | #Constraints: 10464
23.61/23.77 c #Conflicts: 78000 | #Constraints: 11585
23.61/23.77 c INPROCESSING
23.61/23.77 c GARBAGE COLLECT
23.61/23.77 c rational objective 2.00001
25.92/26.08 c #Conflicts: 79000 | #Constraints: 6862
25.92/26.08 c #Conflicts: 80000 | #Constraints: 7862
25.92/26.08 c #Conflicts: 81000 | #Constraints: 8862
25.92/26.08 c #Conflicts: 82000 | #Constraints: 9862
25.92/26.08 c #Conflicts: 83000 | #Constraints: 10862
25.92/26.08 c #Conflicts: 84000 | #Constraints: 11862
25.92/26.08 c INPROCESSING
25.92/26.08 c GARBAGE COLLECT
25.92/26.08 c rational objective 2.00001
28.50/28.61 c #Conflicts: 85000 | #Constraints: 7036
28.50/28.61 c #Conflicts: 86000 | #Constraints: 8076
28.50/28.61 c #Conflicts: 87000 | #Constraints: 9076
28.50/28.61 c #Conflicts: 88000 | #Constraints: 10076
28.50/28.61 c #Conflicts: 89000 | #Constraints: 11076
28.50/28.61 c #Conflicts: 90000 | #Constraints: 12076
28.50/28.61 c INPROCESSING
28.50/28.61 c GARBAGE COLLECT
28.50/28.61 c rational objective 2.00001
31.00/31.13 c #Conflicts: 91000 | #Constraints: 6990
31.00/31.13 c #Conflicts: 92000 | #Constraints: 8079
31.00/31.13 c #Conflicts: 93000 | #Constraints: 9082
31.00/31.13 c #Conflicts: 94000 | #Constraints: 10082
31.00/31.13 c #Conflicts: 95000 | #Constraints: 11082
31.00/31.13 c #Conflicts: 96000 | #Constraints: 12082
31.00/31.13 c INPROCESSING
31.00/31.13 c GARBAGE COLLECT
31.00/31.13 c rational objective 2.00001
33.79/33.97 c #Conflicts: 97000 | #Constraints: 6778
33.79/33.97 c #Conflicts: 98000 | #Constraints: 7781
33.79/33.97 c #Conflicts: 99000 | #Constraints: 8781
33.79/33.97 c #Conflicts: 100000 | #Constraints: 9781
33.79/33.97 c #Conflicts: 101000 | #Constraints: 10781
33.79/33.97 c #Conflicts: 102000 | #Constraints: 11781
33.79/33.97 c #Conflicts: 103000 | #Constraints: 12781
33.79/33.97 c INPROCESSING
33.79/33.97 c GARBAGE COLLECT
33.79/33.97 c rational objective 2.00001
36.78/36.90 c #Conflicts: 104000 | #Constraints: 7348
36.78/36.90 c #Conflicts: 105000 | #Constraints: 8348
36.78/36.90 c #Conflicts: 106000 | #Constraints: 9348
36.78/36.90 c #Conflicts: 107000 | #Constraints: 10348
36.78/36.90 c #Conflicts: 108000 | #Constraints: 11348
36.78/36.90 c #Conflicts: 109000 | #Constraints: 12406
36.78/36.90 c #Conflicts: 110000 | #Constraints: 13585
36.78/36.90 c INPROCESSING
36.78/36.90 c GARBAGE COLLECT
36.78/36.90 c rational objective 2.00001
39.47/39.61 c #Conflicts: 111000 | #Constraints: 7893
39.47/39.61 c #Conflicts: 112000 | #Constraints: 8902
39.47/39.61 c #Conflicts: 113000 | #Constraints: 9902
39.47/39.61 c #Conflicts: 114000 | #Constraints: 10902
39.47/39.61 c #Conflicts: 115000 | #Constraints: 11902
39.47/39.61 c #Conflicts: 116000 | #Constraints: 12902
39.47/39.61 c #Conflicts: 117000 | #Constraints: 13902
39.47/39.61 c INPROCESSING
39.47/39.61 c GARBAGE COLLECT
39.47/39.61 c rational objective 2.00001
42.46/42.68 c #Conflicts: 118000 | #Constraints: 8047
42.46/42.68 c #Conflicts: 119000 | #Constraints: 9144
42.46/42.68 c #Conflicts: 120000 | #Constraints: 10236
42.46/42.68 c #Conflicts: 121000 | #Constraints: 11340
42.46/42.68 c #Conflicts: 122000 | #Constraints: 12446
42.46/42.68 c #Conflicts: 123000 | #Constraints: 13449
42.46/42.68 c #Conflicts: 124000 | #Constraints: 14449
42.46/42.68 c INPROCESSING
42.46/42.68 c GARBAGE COLLECT
42.46/42.68 c rational objective 2.00001
45.56/45.74 c #Conflicts: 125000 | #Constraints: 8185
45.56/45.74 c #Conflicts: 126000 | #Constraints: 9185
45.56/45.74 c #Conflicts: 127000 | #Constraints: 10185
45.56/45.74 c #Conflicts: 128000 | #Constraints: 11185
45.56/45.74 c #Conflicts: 129000 | #Constraints: 12185
45.56/45.74 c #Conflicts: 130000 | #Constraints: 13185
45.56/45.74 c #Conflicts: 131000 | #Constraints: 14196
45.56/45.74 c INPROCESSING
45.56/45.74 c GARBAGE COLLECT
45.56/45.74 c rational objective 2.00001
48.96/49.12 c #Conflicts: 132000 | #Constraints: 7859
48.96/49.12 c #Conflicts: 133000 | #Constraints: 8860
48.96/49.12 c #Conflicts: 134000 | #Constraints: 9860
48.96/49.12 c #Conflicts: 135000 | #Constraints: 10860
48.96/49.12 c #Conflicts: 136000 | #Constraints: 11860
48.96/49.12 c #Conflicts: 137000 | #Constraints: 12860
48.96/49.12 c #Conflicts: 138000 | #Constraints: 13860
48.96/49.12 c #Conflicts: 139000 | #Constraints: 14860
48.96/49.12 c INPROCESSING
48.96/49.12 c GARBAGE COLLECT
48.96/49.12 c rational objective 2.00001
52.54/52.79 c #Conflicts: 140000 | #Constraints: 8392
52.54/52.79 c #Conflicts: 141000 | #Constraints: 9396
52.54/52.79 c #Conflicts: 142000 | #Constraints: 10396
52.54/52.79 c #Conflicts: 143000 | #Constraints: 11396
52.54/52.79 c #Conflicts: 144000 | #Constraints: 12396
52.54/52.79 c #Conflicts: 145000 | #Constraints: 13396
52.54/52.79 c #Conflicts: 146000 | #Constraints: 14396
52.54/52.79 c #Conflicts: 147000 | #Constraints: 15401
52.54/52.79 c INPROCESSING
52.54/52.79 c GARBAGE COLLECT
52.54/52.79 c rational objective 2.00001
56.23/56.46 c #Conflicts: 148000 | #Constraints: 8760
56.23/56.46 c #Conflicts: 149000 | #Constraints: 9760
56.23/56.46 c #Conflicts: 150000 | #Constraints: 10760
56.23/56.46 c #Conflicts: 151000 | #Constraints: 11760
56.23/56.46 c #Conflicts: 152000 | #Constraints: 12760
56.23/56.46 c #Conflicts: 153000 | #Constraints: 13760
56.23/56.46 c #Conflicts: 154000 | #Constraints: 14760
56.23/56.46 c #Conflicts: 155000 | #Constraints: 15760
56.23/56.46 c INPROCESSING
56.23/56.46 c GARBAGE COLLECT
56.23/56.46 c rational objective 2.00001
61.12/61.31 c #Conflicts: 156000 | #Constraints: 8940
61.12/61.31 c #Conflicts: 157000 | #Constraints: 9965
61.12/61.31 c #Conflicts: 158000 | #Constraints: 10965
61.12/61.31 c #Conflicts: 159000 | #Constraints: 11965
61.12/61.31 c #Conflicts: 160000 | #Constraints: 12965
61.12/61.31 c #Conflicts: 161000 | #Constraints: 13965
61.12/61.31 c #Conflicts: 162000 | #Constraints: 14965
61.12/61.31 c #Conflicts: 163000 | #Constraints: 15965
61.12/61.31 c INPROCESSING
61.12/61.31 c GARBAGE COLLECT
61.12/61.31 c rational objective 2.00001
65.21/65.47 c #Conflicts: 164000 | #Constraints: 8902
65.21/65.47 c #Conflicts: 165000 | #Constraints: 9902
65.21/65.47 c #Conflicts: 166000 | #Constraints: 10902
65.21/65.47 c #Conflicts: 167000 | #Constraints: 11902
65.21/65.47 c #Conflicts: 168000 | #Constraints: 12902
65.21/65.47 c #Conflicts: 169000 | #Constraints: 13902
65.21/65.47 c #Conflicts: 170000 | #Constraints: 14902
65.21/65.47 c #Conflicts: 171000 | #Constraints: 15902
65.21/65.47 c INPROCESSING
65.21/65.47 c GARBAGE COLLECT
65.21/65.47 c rational objective 2.00001
69.80/70.03 c #Conflicts: 172000 | #Constraints: 8708
69.80/70.03 c #Conflicts: 173000 | #Constraints: 9860
69.80/70.03 c #Conflicts: 174000 | #Constraints: 10892
69.80/70.03 c #Conflicts: 175000 | #Constraints: 11892
69.80/70.03 c #Conflicts: 176000 | #Constraints: 12892
69.80/70.03 c #Conflicts: 177000 | #Constraints: 13892
69.80/70.03 c #Conflicts: 178000 | #Constraints: 14892
69.80/70.03 c #Conflicts: 179000 | #Constraints: 15892
69.80/70.03 c #Conflicts: 180000 | #Constraints: 16892
69.80/70.03 c INPROCESSING
69.80/70.03 c GARBAGE COLLECT
69.80/70.03 c rational objective 2.00001
74.48/74.78 c #Conflicts: 181000 | #Constraints: 9350
74.48/74.78 c #Conflicts: 182000 | #Constraints: 10350
74.48/74.78 c #Conflicts: 183000 | #Constraints: 11350
74.48/74.78 c #Conflicts: 184000 | #Constraints: 12350
74.48/74.78 c #Conflicts: 185000 | #Constraints: 13350
74.48/74.78 c #Conflicts: 186000 | #Constraints: 14350
74.48/74.78 c #Conflicts: 187000 | #Constraints: 15350
74.48/74.78 c #Conflicts: 188000 | #Constraints: 16350
74.48/74.78 c #Conflicts: 189000 | #Constraints: 17350
74.48/74.78 c INPROCESSING
74.48/74.78 c GARBAGE COLLECT
74.48/74.78 c rational objective 2.00001
80.37/80.65 c #Conflicts: 190000 | #Constraints: 9749
80.37/80.65 c #Conflicts: 191000 | #Constraints: 10854
80.37/80.65 c #Conflicts: 192000 | #Constraints: 11917
80.37/80.65 c #Conflicts: 193000 | #Constraints: 12917
80.37/80.65 c #Conflicts: 194000 | #Constraints: 13917
80.37/80.65 c #Conflicts: 195000 | #Constraints: 14917
80.37/80.65 c #Conflicts: 196000 | #Constraints: 15917
80.37/80.65 c #Conflicts: 197000 | #Constraints: 16917
80.37/80.65 c #Conflicts: 198000 | #Constraints: 17917
80.37/80.65 c INPROCESSING
80.37/80.65 c GARBAGE COLLECT
80.37/80.65 c rational objective 2.00001
85.75/86.06 c #Conflicts: 199000 | #Constraints: 10013
85.75/86.06 c #Conflicts: 200000 | #Constraints: 11013
85.75/86.06 c #Conflicts: 201000 | #Constraints: 12013
85.75/86.06 c #Conflicts: 202000 | #Constraints: 13013
85.75/86.06 c #Conflicts: 203000 | #Constraints: 14013
85.75/86.06 c #Conflicts: 204000 | #Constraints: 15013
85.75/86.06 c #Conflicts: 205000 | #Constraints: 16013
85.75/86.06 c #Conflicts: 206000 | #Constraints: 17013
85.75/86.06 c #Conflicts: 207000 | #Constraints: 18013
85.75/86.06 c INPROCESSING
85.75/86.06 c GARBAGE COLLECT
85.75/86.06 c rational objective 2.00001
90.64/90.96 c #Conflicts: 208000 | #Constraints: 9935
90.64/90.96 c #Conflicts: 209000 | #Constraints: 10935
90.64/90.96 c #Conflicts: 210000 | #Constraints: 11935
90.64/90.96 c #Conflicts: 211000 | #Constraints: 12935
90.64/90.96 c #Conflicts: 212000 | #Constraints: 13935
90.64/90.96 c #Conflicts: 213000 | #Constraints: 14935
90.64/90.96 c #Conflicts: 214000 | #Constraints: 15935
90.64/90.96 c #Conflicts: 215000 | #Constraints: 16935
90.64/90.96 c #Conflicts: 216000 | #Constraints: 17935
90.64/90.96 c INPROCESSING
90.64/90.96 c GARBAGE COLLECT
90.64/90.96 c rational objective 2.00001
97.02/97.37 c #Conflicts: 217000 | #Constraints: 9718
97.02/97.37 c #Conflicts: 218000 | #Constraints: 10840
97.02/97.37 c #Conflicts: 219000 | #Constraints: 11951
97.02/97.37 c #Conflicts: 220000 | #Constraints: 12956
97.02/97.37 c #Conflicts: 221000 | #Constraints: 13956
97.02/97.37 c #Conflicts: 222000 | #Constraints: 14956
97.02/97.37 c #Conflicts: 223000 | #Constraints: 15956
97.02/97.37 c #Conflicts: 224000 | #Constraints: 16956
97.02/97.37 c #Conflicts: 225000 | #Constraints: 17956
97.02/97.37 c #Conflicts: 226000 | #Constraints: 18956
97.02/97.37 c INPROCESSING
97.02/97.37 c GARBAGE COLLECT
97.02/97.37 c rational objective 2.00001
103.81/104.13 c #Conflicts: 227000 | #Constraints: 10460
103.81/104.13 c #Conflicts: 228000 | #Constraints: 11572
103.81/104.13 c #Conflicts: 229000 | #Constraints: 12654
103.81/104.13 c #Conflicts: 230000 | #Constraints: 13760
103.81/104.13 c #Conflicts: 231000 | #Constraints: 14857
103.81/104.13 c #Conflicts: 232000 | #Constraints: 15866
103.81/104.13 c #Conflicts: 233000 | #Constraints: 16866
103.81/104.13 c #Conflicts: 234000 | #Constraints: 17866
103.81/104.13 c #Conflicts: 235000 | #Constraints: 18866
103.81/104.13 c #Conflicts: 236000 | #Constraints: 19866
103.81/104.13 c INPROCESSING
103.81/104.13 c GARBAGE COLLECT
103.81/104.13 c rational objective 2.00001
109.59/109.97 c #Conflicts: 237000 | #Constraints: 10963
109.59/109.97 c #Conflicts: 238000 | #Constraints: 11963
109.59/109.97 c #Conflicts: 239000 | #Constraints: 12963
109.59/109.97 c #Conflicts: 240000 | #Constraints: 13963
109.59/109.97 c #Conflicts: 241000 | #Constraints: 14963
109.59/109.97 c #Conflicts: 242000 | #Constraints: 15963
109.59/109.97 c #Conflicts: 243000 | #Constraints: 16963
109.59/109.97 c #Conflicts: 244000 | #Constraints: 17963
109.59/109.97 c #Conflicts: 245000 | #Constraints: 18963
109.59/109.97 c #Conflicts: 246000 | #Constraints: 19963
109.59/109.97 c INPROCESSING
109.59/109.97 c GARBAGE COLLECT
109.59/109.97 c rational objective 2.00001
116.27/116.64 c #Conflicts: 247000 | #Constraints: 11035
116.27/116.64 c #Conflicts: 248000 | #Constraints: 12105
116.27/116.64 c #Conflicts: 249000 | #Constraints: 13166
116.27/116.64 c #Conflicts: 250000 | #Constraints: 14229
116.27/116.64 c #Conflicts: 251000 | #Constraints: 15232
116.27/116.64 c #Conflicts: 252000 | #Constraints: 16232
116.27/116.64 c #Conflicts: 253000 | #Constraints: 17232
116.27/116.64 c #Conflicts: 254000 | #Constraints: 18232
116.27/116.64 c #Conflicts: 255000 | #Constraints: 19232
116.27/116.64 c #Conflicts: 256000 | #Constraints: 20232
116.27/116.64 c INPROCESSING
116.27/116.64 c GARBAGE COLLECT
116.27/116.64 c rational objective 2.00001
122.85/123.21 c #Conflicts: 257000 | #Constraints: 11023
122.85/123.21 c #Conflicts: 258000 | #Constraints: 12023
122.85/123.21 c #Conflicts: 259000 | #Constraints: 13023
122.85/123.21 c #Conflicts: 260000 | #Constraints: 14023
122.85/123.21 c #Conflicts: 261000 | #Constraints: 15023
122.85/123.21 c #Conflicts: 262000 | #Constraints: 16023
122.85/123.21 c #Conflicts: 263000 | #Constraints: 17023
122.85/123.21 c #Conflicts: 264000 | #Constraints: 18023
122.85/123.21 c #Conflicts: 265000 | #Constraints: 19023
122.85/123.21 c #Conflicts: 266000 | #Constraints: 20023
122.85/123.21 c INPROCESSING
122.85/123.21 c GARBAGE COLLECT
122.85/123.21 c rational objective 2.00001
130.03/130.41 c #Conflicts: 267000 | #Constraints: 10731
130.03/130.41 c #Conflicts: 268000 | #Constraints: 11731
130.03/130.41 c #Conflicts: 269000 | #Constraints: 12731
130.03/130.41 c #Conflicts: 270000 | #Constraints: 13731
130.03/130.41 c #Conflicts: 271000 | #Constraints: 14731
130.03/130.41 c #Conflicts: 272000 | #Constraints: 15731
130.03/130.41 c #Conflicts: 273000 | #Constraints: 16731
130.03/130.41 c #Conflicts: 274000 | #Constraints: 17731
130.03/130.41 c #Conflicts: 275000 | #Constraints: 18731
130.03/130.41 c #Conflicts: 276000 | #Constraints: 19731
130.03/130.41 c #Conflicts: 277000 | #Constraints: 20731
130.03/130.41 c INPROCESSING
130.03/130.41 c GARBAGE COLLECT
130.03/130.41 c rational objective 2.00001
137.02/137.43 c #Conflicts: 278000 | #Constraints: 11355
137.02/137.43 c #Conflicts: 279000 | #Constraints: 12355
137.02/137.43 c #Conflicts: 280000 | #Constraints: 13355
137.02/137.43 c #Conflicts: 281000 | #Constraints: 14355
137.02/137.43 c #Conflicts: 282000 | #Constraints: 15355
137.02/137.43 c #Conflicts: 283000 | #Constraints: 16355
137.02/137.43 c #Conflicts: 284000 | #Constraints: 17355
137.02/137.43 c #Conflicts: 285000 | #Constraints: 18355
137.02/137.43 c #Conflicts: 286000 | #Constraints: 19355
137.02/137.43 c #Conflicts: 287000 | #Constraints: 20355
137.02/137.43 c #Conflicts: 288000 | #Constraints: 21355
137.02/137.43 c INPROCESSING
137.02/137.43 c GARBAGE COLLECT
137.02/137.43 c rational objective 2.00001
144.40/144.80 c #Conflicts: 289000 | #Constraints: 11725
144.40/144.80 c #Conflicts: 290000 | #Constraints: 12725
144.40/144.80 c #Conflicts: 291000 | #Constraints: 13725
144.40/144.80 c #Conflicts: 292000 | #Constraints: 14725
144.40/144.80 c #Conflicts: 293000 | #Constraints: 15725
144.40/144.80 c #Conflicts: 294000 | #Constraints: 16725
144.40/144.80 c #Conflicts: 295000 | #Constraints: 17725
144.40/144.80 c #Conflicts: 296000 | #Constraints: 18725
144.40/144.80 c #Conflicts: 297000 | #Constraints: 19725
144.40/144.80 c #Conflicts: 298000 | #Constraints: 20725
144.40/144.80 c #Conflicts: 299000 | #Constraints: 21725
144.40/144.80 c INPROCESSING
144.40/144.80 c GARBAGE COLLECT
144.40/144.80 c rational objective 2.00001
152.08/152.51 c #Conflicts: 300000 | #Constraints: 11908
152.08/152.51 c #Conflicts: 301000 | #Constraints: 12908
152.08/152.51 c #Conflicts: 302000 | #Constraints: 13908
152.08/152.51 c #Conflicts: 303000 | #Constraints: 14908
152.08/152.51 c #Conflicts: 304000 | #Constraints: 15908
152.08/152.51 c #Conflicts: 305000 | #Constraints: 16908
152.08/152.51 c #Conflicts: 306000 | #Constraints: 17908
152.08/152.51 c #Conflicts: 307000 | #Constraints: 18908
152.08/152.51 c #Conflicts: 308000 | #Constraints: 19908
152.08/152.51 c #Conflicts: 309000 | #Constraints: 20908
152.08/152.51 c #Conflicts: 310000 | #Constraints: 21908
152.08/152.51 c INPROCESSING
152.08/152.51 c GARBAGE COLLECT
152.08/152.51 c rational objective 2.00001
160.46/160.96 c #Conflicts: 311000 | #Constraints: 11904
160.46/160.96 c #Conflicts: 312000 | #Constraints: 12904
160.46/160.96 c #Conflicts: 313000 | #Constraints: 13904
160.46/160.96 c #Conflicts: 314000 | #Constraints: 14904
160.46/160.96 c #Conflicts: 315000 | #Constraints: 15904
160.46/160.96 c #Conflicts: 316000 | #Constraints: 16904
160.46/160.96 c #Conflicts: 317000 | #Constraints: 17904
160.46/160.96 c #Conflicts: 318000 | #Constraints: 18904
160.46/160.96 c #Conflicts: 319000 | #Constraints: 19904
160.46/160.96 c #Conflicts: 320000 | #Constraints: 20904
160.46/160.96 c #Conflicts: 321000 | #Constraints: 21904
160.46/160.96 c INPROCESSING
160.46/160.96 c GARBAGE COLLECT
160.46/160.96 c rational objective 2.00001
169.13/169.67 c #Conflicts: 322000 | #Constraints: 11663
169.13/169.67 c #Conflicts: 323000 | #Constraints: 12663
169.13/169.67 c #Conflicts: 324000 | #Constraints: 13663
169.13/169.67 c #Conflicts: 325000 | #Constraints: 14663
169.13/169.67 c #Conflicts: 326000 | #Constraints: 15663
169.13/169.67 c #Conflicts: 327000 | #Constraints: 16663
169.13/169.67 c #Conflicts: 328000 | #Constraints: 17663
169.13/169.67 c #Conflicts: 329000 | #Constraints: 18663
169.13/169.67 c #Conflicts: 330000 | #Constraints: 19663
169.13/169.67 c #Conflicts: 331000 | #Constraints: 20663
169.13/169.67 c #Conflicts: 332000 | #Constraints: 21663
169.13/169.67 c #Conflicts: 333000 | #Constraints: 22663
169.13/169.67 c INPROCESSING
169.13/169.67 c GARBAGE COLLECT
169.13/169.67 c rational objective 2.00001
177.62/178.14 c #Conflicts: 334000 | #Constraints: 12349
177.62/178.14 c #Conflicts: 335000 | #Constraints: 13458
177.62/178.14 c #Conflicts: 336000 | #Constraints: 14458
177.62/178.14 c #Conflicts: 337000 | #Constraints: 15458
177.62/178.14 c #Conflicts: 338000 | #Constraints: 16458
177.62/178.14 c #Conflicts: 339000 | #Constraints: 17458
177.62/178.14 c #Conflicts: 340000 | #Constraints: 18458
177.62/178.14 c #Conflicts: 341000 | #Constraints: 19458
177.62/178.14 c #Conflicts: 342000 | #Constraints: 20458
177.62/178.14 c #Conflicts: 343000 | #Constraints: 21458
177.62/178.14 c #Conflicts: 344000 | #Constraints: 22458
177.62/178.14 c #Conflicts: 345000 | #Constraints: 23458
177.62/178.14 c INPROCESSING
177.62/178.14 c GARBAGE COLLECT
177.62/178.14 c rational objective 2.00001
187.59/188.17 c #Conflicts: 346000 | #Constraints: 12754
187.59/188.17 c #Conflicts: 347000 | #Constraints: 13754
187.59/188.17 c #Conflicts: 348000 | #Constraints: 14754
187.59/188.17 c #Conflicts: 349000 | #Constraints: 15754
187.59/188.17 c #Conflicts: 350000 | #Constraints: 16754
187.59/188.17 c #Conflicts: 351000 | #Constraints: 17754
187.59/188.17 c #Conflicts: 352000 | #Constraints: 18754
187.59/188.17 c #Conflicts: 353000 | #Constraints: 19754
187.59/188.17 c #Conflicts: 354000 | #Constraints: 20754
187.59/188.17 c #Conflicts: 355000 | #Constraints: 21754
187.59/188.17 c #Conflicts: 356000 | #Constraints: 22754
187.59/188.17 c #Conflicts: 357000 | #Constraints: 23754
187.59/188.17 c INPROCESSING
187.59/188.17 c GARBAGE COLLECT
187.59/188.17 c rational objective 2.00001
196.86/197.48 c #Conflicts: 358000 | #Constraints: 12887
196.86/197.48 c #Conflicts: 359000 | #Constraints: 13887
196.86/197.48 c #Conflicts: 360000 | #Constraints: 14887
196.86/197.48 c #Conflicts: 361000 | #Constraints: 15887
196.86/197.48 c #Conflicts: 362000 | #Constraints: 16887
196.86/197.48 c #Conflicts: 363000 | #Constraints: 17887
196.86/197.48 c #Conflicts: 364000 | #Constraints: 18887
196.86/197.48 c #Conflicts: 365000 | #Constraints: 19887
196.86/197.48 c #Conflicts: 366000 | #Constraints: 20887
196.86/197.48 c #Conflicts: 367000 | #Constraints: 21887
196.86/197.48 c #Conflicts: 368000 | #Constraints: 22887
196.86/197.48 c #Conflicts: 369000 | #Constraints: 23887
196.86/197.48 c INPROCESSING
196.86/197.48 c GARBAGE COLLECT
196.86/197.48 c rational objective 2.00001
207.64/208.23 c #Conflicts: 370000 | #Constraints: 12907
207.64/208.23 c #Conflicts: 371000 | #Constraints: 13934
207.64/208.23 c #Conflicts: 372000 | #Constraints: 14934
207.64/208.23 c #Conflicts: 373000 | #Constraints: 15934
207.64/208.23 c #Conflicts: 374000 | #Constraints: 16934
207.64/208.23 c #Conflicts: 375000 | #Constraints: 17934
207.64/208.23 c #Conflicts: 376000 | #Constraints: 18934
207.64/208.23 c #Conflicts: 377000 | #Constraints: 19934
207.64/208.23 c #Conflicts: 378000 | #Constraints: 20934
207.64/208.23 c #Conflicts: 379000 | #Constraints: 21934
207.64/208.23 c #Conflicts: 380000 | #Constraints: 22934
207.64/208.23 c #Conflicts: 381000 | #Constraints: 23934
207.64/208.23 c INPROCESSING
207.64/208.23 c GARBAGE COLLECT
207.64/208.23 c rational objective 2.00001
216.61/217.28 c #Conflicts: 382000 | #Constraints: 12694
216.61/217.28 c #Conflicts: 383000 | #Constraints: 13699
216.61/217.28 c #Conflicts: 384000 | #Constraints: 14699
216.61/217.28 c #Conflicts: 385000 | #Constraints: 15699
216.61/217.28 c #Conflicts: 386000 | #Constraints: 16699
216.61/217.28 c #Conflicts: 387000 | #Constraints: 17699
216.61/217.28 c #Conflicts: 388000 | #Constraints: 18699
216.61/217.28 c #Conflicts: 389000 | #Constraints: 19699
216.61/217.28 c #Conflicts: 390000 | #Constraints: 20699
216.61/217.28 c #Conflicts: 391000 | #Constraints: 21699
216.61/217.28 c #Conflicts: 392000 | #Constraints: 22699
216.61/217.28 c #Conflicts: 393000 | #Constraints: 23699
216.61/217.28 c #Conflicts: 394000 | #Constraints: 24699
216.61/217.28 c INPROCESSING
216.61/217.28 c GARBAGE COLLECT
216.61/217.28 c rational objective 2.00001
228.49/229.13 c #Conflicts: 395000 | #Constraints: 13336
228.49/229.13 c #Conflicts: 396000 | #Constraints: 14444
228.49/229.13 c #Conflicts: 397000 | #Constraints: 15494
228.49/229.13 c #Conflicts: 398000 | #Constraints: 16494
228.49/229.13 c #Conflicts: 399000 | #Constraints: 17494
228.49/229.13 c #Conflicts: 400000 | #Constraints: 18494
228.49/229.13 c #Conflicts: 401000 | #Constraints: 19494
228.49/229.13 c #Conflicts: 402000 | #Constraints: 20502
228.49/229.13 c #Conflicts: 403000 | #Constraints: 21502
228.49/229.13 c #Conflicts: 404000 | #Constraints: 22502
228.49/229.13 c #Conflicts: 405000 | #Constraints: 23502
228.49/229.13 c #Conflicts: 406000 | #Constraints: 24502
228.49/229.13 c #Conflicts: 407000 | #Constraints: 25502
228.49/229.13 c INPROCESSING
228.49/229.13 c GARBAGE COLLECT
228.49/229.13 c rational objective 2.00001
239.85/240.56 c #Conflicts: 408000 | #Constraints: 13759
239.85/240.56 c #Conflicts: 409000 | #Constraints: 14759
239.85/240.56 c #Conflicts: 410000 | #Constraints: 15759
239.85/240.56 c #Conflicts: 411000 | #Constraints: 16845
239.85/240.56 c #Conflicts: 412000 | #Constraints: 17989
239.85/240.56 c #Conflicts: 413000 | #Constraints: 19096
239.85/240.56 c #Conflicts: 414000 | #Constraints: 20195
239.85/240.56 c #Conflicts: 415000 | #Constraints: 21195
239.85/240.56 c #Conflicts: 416000 | #Constraints: 22195
239.85/240.56 c #Conflicts: 417000 | #Constraints: 23195
239.85/240.56 c #Conflicts: 418000 | #Constraints: 24195
239.85/240.56 c #Conflicts: 419000 | #Constraints: 25195
239.85/240.56 c #Conflicts: 420000 | #Constraints: 26195
239.85/240.56 c INPROCESSING
239.85/240.56 c GARBAGE COLLECT
239.85/240.56 c rational objective 2.00001
250.82/251.52 c #Conflicts: 421000 | #Constraints: 14162
250.82/251.52 c #Conflicts: 422000 | #Constraints: 15162
250.82/251.52 c #Conflicts: 423000 | #Constraints: 16162
250.82/251.52 c #Conflicts: 424000 | #Constraints: 17162
250.82/251.52 c #Conflicts: 425000 | #Constraints: 18162
250.82/251.52 c #Conflicts: 426000 | #Constraints: 19162
250.82/251.52 c #Conflicts: 427000 | #Constraints: 20162
250.82/251.52 c #Conflicts: 428000 | #Constraints: 21162
250.82/251.52 c #Conflicts: 429000 | #Constraints: 22162
250.82/251.52 c #Conflicts: 430000 | #Constraints: 23162
250.82/251.52 c #Conflicts: 431000 | #Constraints: 24162
250.82/251.52 c #Conflicts: 432000 | #Constraints: 25162
250.82/251.52 c #Conflicts: 433000 | #Constraints: 26162
250.82/251.52 c INPROCESSING
250.82/251.52 c GARBAGE COLLECT
250.82/251.52 c rational objective 2.00001
261.69/262.46 c #Conflicts: 434000 | #Constraints: 14035
261.69/262.46 c #Conflicts: 435000 | #Constraints: 15066
261.69/262.46 c #Conflicts: 436000 | #Constraints: 16066
261.69/262.46 c #Conflicts: 437000 | #Constraints: 17066
261.69/262.46 c #Conflicts: 438000 | #Constraints: 18066
261.69/262.46 c #Conflicts: 439000 | #Constraints: 19066
261.69/262.46 c #Conflicts: 440000 | #Constraints: 20066
261.69/262.46 c #Conflicts: 441000 | #Constraints: 21066
261.69/262.46 c #Conflicts: 442000 | #Constraints: 22066
261.69/262.46 c #Conflicts: 443000 | #Constraints: 23066
261.69/262.46 c #Conflicts: 444000 | #Constraints: 24066
261.69/262.46 c #Conflicts: 445000 | #Constraints: 25066
261.69/262.46 c #Conflicts: 446000 | #Constraints: 26066
261.69/262.46 c INPROCESSING
261.69/262.46 c GARBAGE COLLECT
261.69/262.46 c rational objective 2.00001
273.06/273.87 c #Conflicts: 447000 | #Constraints: 13769
273.06/273.87 c #Conflicts: 448000 | #Constraints: 14815
273.06/273.87 c #Conflicts: 449000 | #Constraints: 15815
273.06/273.87 c #Conflicts: 450000 | #Constraints: 16815
273.06/273.87 c #Conflicts: 451000 | #Constraints: 17815
273.06/273.87 c #Conflicts: 452000 | #Constraints: 18815
273.06/273.87 c #Conflicts: 453000 | #Constraints: 19815
273.06/273.87 c #Conflicts: 454000 | #Constraints: 20815
273.06/273.87 c #Conflicts: 455000 | #Constraints: 21815
273.06/273.87 c #Conflicts: 456000 | #Constraints: 22815
273.06/273.87 c #Conflicts: 457000 | #Constraints: 23815
273.06/273.87 c #Conflicts: 458000 | #Constraints: 24815
273.06/273.87 c #Conflicts: 459000 | #Constraints: 25815
273.06/273.87 c #Conflicts: 460000 | #Constraints: 26815
273.06/273.87 c INPROCESSING
273.06/273.87 c GARBAGE COLLECT
273.06/273.87 c rational objective 2.00001
285.12/286.00 c #Conflicts: 461000 | #Constraints: 14322
285.12/286.00 c #Conflicts: 462000 | #Constraints: 15322
285.12/286.00 c #Conflicts: 463000 | #Constraints: 16322
285.12/286.00 c #Conflicts: 464000 | #Constraints: 17322
285.12/286.00 c #Conflicts: 465000 | #Constraints: 18322
285.12/286.00 c #Conflicts: 466000 | #Constraints: 19322
285.12/286.00 c #Conflicts: 467000 | #Constraints: 20322
285.12/286.00 c #Conflicts: 468000 | #Constraints: 21322
285.12/286.00 c #Conflicts: 469000 | #Constraints: 22322
285.12/286.00 c #Conflicts: 470000 | #Constraints: 23322
285.12/286.00 c #Conflicts: 471000 | #Constraints: 24322
285.12/286.00 c #Conflicts: 472000 | #Constraints: 25322
285.12/286.00 c #Conflicts: 473000 | #Constraints: 26322
285.12/286.00 c #Conflicts: 474000 | #Constraints: 27322
285.12/286.00 c INPROCESSING
285.12/286.00 c GARBAGE COLLECT
285.12/286.00 c rational objective 2.00001
300.29/301.13 c #Conflicts: 475000 | #Constraints: 14682
300.29/301.13 c #Conflicts: 476000 | #Constraints: 15682
300.29/301.13 c #Conflicts: 477000 | #Constraints: 16682
300.29/301.13 c #Conflicts: 478000 | #Constraints: 17682
300.29/301.13 c #Conflicts: 479000 | #Constraints: 18682
300.29/301.13 c #Conflicts: 480000 | #Constraints: 19682
300.29/301.13 c #Conflicts: 481000 | #Constraints: 20682
300.29/301.13 c #Conflicts: 482000 | #Constraints: 21682
300.29/301.13 c #Conflicts: 483000 | #Constraints: 22682
300.29/301.13 c #Conflicts: 484000 | #Constraints: 23682
300.29/301.13 c #Conflicts: 485000 | #Constraints: 24682
300.29/301.13 c #Conflicts: 486000 | #Constraints: 25682
300.29/301.13 c #Conflicts: 487000 | #Constraints: 26682
300.29/301.13 c #Conflicts: 488000 | #Constraints: 27682
300.29/301.13 c INPROCESSING
300.29/301.13 c GARBAGE COLLECT
300.29/301.13 c rational objective 2.00001
312.34/313.23 c #Conflicts: 489000 | #Constraints: 14864
312.34/313.23 c #Conflicts: 490000 | #Constraints: 15864
312.34/313.23 c #Conflicts: 491000 | #Constraints: 16864
312.34/313.23 c #Conflicts: 492000 | #Constraints: 17864
312.34/313.23 c #Conflicts: 493000 | #Constraints: 18864
312.34/313.23 c #Conflicts: 494000 | #Constraints: 19864
312.34/313.23 c #Conflicts: 495000 | #Constraints: 20864
312.34/313.23 c #Conflicts: 496000 | #Constraints: 21864
312.34/313.23 c #Conflicts: 497000 | #Constraints: 22864
312.34/313.23 c #Conflicts: 498000 | #Constraints: 23864
312.34/313.23 c #Conflicts: 499000 | #Constraints: 24864
312.34/313.23 c #Conflicts: 500000 | #Constraints: 25864
312.34/313.23 c #Conflicts: 501000 | #Constraints: 26864
312.34/313.23 c #Conflicts: 502000 | #Constraints: 27864
312.34/313.23 c INPROCESSING
312.34/313.23 c GARBAGE COLLECT
312.34/313.23 c rational objective 2.00001
325.71/326.67 c #Conflicts: 503000 | #Constraints: 14849
325.71/326.67 c #Conflicts: 504000 | #Constraints: 15853
325.71/326.67 c #Conflicts: 505000 | #Constraints: 16853
325.71/326.67 c #Conflicts: 506000 | #Constraints: 17853
325.71/326.67 c #Conflicts: 507000 | #Constraints: 18853
325.71/326.67 c #Conflicts: 508000 | #Constraints: 19853
325.71/326.67 c #Conflicts: 509000 | #Constraints: 20853
325.71/326.67 c #Conflicts: 510000 | #Constraints: 21853
325.71/326.67 c #Conflicts: 511000 | #Constraints: 22853
325.71/326.67 c #Conflicts: 512000 | #Constraints: 23853
325.71/326.67 c #Conflicts: 513000 | #Constraints: 24853
325.71/326.67 c #Conflicts: 514000 | #Constraints: 25853
325.71/326.67 c #Conflicts: 515000 | #Constraints: 26853
325.71/326.67 c #Conflicts: 516000 | #Constraints: 27853
325.71/326.67 c INPROCESSING
325.71/326.67 c GARBAGE COLLECT
325.71/326.67 c rational objective 2.00001
340.57/341.52 c #Conflicts: 517000 | #Constraints: 14645
340.57/341.52 c #Conflicts: 518000 | #Constraints: 15645
340.57/341.52 c #Conflicts: 519000 | #Constraints: 16645
340.57/341.52 c #Conflicts: 520000 | #Constraints: 17645
340.57/341.52 c #Conflicts: 521000 | #Constraints: 18645
340.57/341.52 c #Conflicts: 522000 | #Constraints: 19645
340.57/341.52 c #Conflicts: 523000 | #Constraints: 20645
340.57/341.52 c #Conflicts: 524000 | #Constraints: 21645
340.57/341.52 c #Conflicts: 525000 | #Constraints: 22645
340.57/341.52 c #Conflicts: 526000 | #Constraints: 23645
340.57/341.52 c #Conflicts: 527000 | #Constraints: 24645
340.57/341.52 c #Conflicts: 528000 | #Constraints: 25645
340.57/341.52 c #Conflicts: 529000 | #Constraints: 26645
340.57/341.52 c #Conflicts: 530000 | #Constraints: 27645
340.57/341.52 c #Conflicts: 531000 | #Constraints: 28645
340.57/341.52 c INPROCESSING
340.57/341.52 c GARBAGE COLLECT
340.57/341.52 c rational objective 2.00001
354.82/355.87 c #Conflicts: 532000 | #Constraints: 15230
354.82/355.87 c #Conflicts: 533000 | #Constraints: 16230
354.82/355.87 c #Conflicts: 534000 | #Constraints: 17230
354.82/355.87 c #Conflicts: 535000 | #Constraints: 18230
354.82/355.87 c #Conflicts: 536000 | #Constraints: 19230
354.82/355.87 c #Conflicts: 537000 | #Constraints: 20230
354.82/355.87 c #Conflicts: 538000 | #Constraints: 21230
354.82/355.87 c #Conflicts: 539000 | #Constraints: 22230
354.82/355.87 c #Conflicts: 540000 | #Constraints: 23230
354.82/355.87 c #Conflicts: 541000 | #Constraints: 24230
354.82/355.87 c #Conflicts: 542000 | #Constraints: 25230
354.82/355.87 c #Conflicts: 543000 | #Constraints: 26230
354.82/355.87 c #Conflicts: 544000 | #Constraints: 27230
354.82/355.87 c #Conflicts: 545000 | #Constraints: 28230
354.82/355.87 c #Conflicts: 546000 | #Constraints: 29230
354.82/355.87 c INPROCESSING
354.82/355.87 c GARBAGE COLLECT
354.82/355.87 c rational objective 2.00001
370.08/371.13 c #Conflicts: 547000 | #Constraints: 15634
370.08/371.13 c #Conflicts: 548000 | #Constraints: 16634
370.08/371.13 c #Conflicts: 549000 | #Constraints: 17635
370.08/371.13 c #Conflicts: 550000 | #Constraints: 18635
370.08/371.13 c #Conflicts: 551000 | #Constraints: 19635
370.08/371.13 c #Conflicts: 552000 | #Constraints: 20635
370.08/371.13 c #Conflicts: 553000 | #Constraints: 21635
370.08/371.13 c #Conflicts: 554000 | #Constraints: 22635
370.08/371.13 c #Conflicts: 555000 | #Constraints: 23635
370.08/371.13 c #Conflicts: 556000 | #Constraints: 24635
370.08/371.13 c #Conflicts: 557000 | #Constraints: 25635
370.08/371.13 c #Conflicts: 558000 | #Constraints: 26635
370.08/371.13 c #Conflicts: 559000 | #Constraints: 27635
370.08/371.13 c #Conflicts: 560000 | #Constraints: 28635
370.08/371.13 c #Conflicts: 561000 | #Constraints: 29635
370.08/371.13 c INPROCESSING
370.08/371.13 c GARBAGE COLLECT
370.08/371.13 c rational objective 2.00001
385.83/386.98 c #Conflicts: 562000 | #Constraints: 15826
385.83/386.98 c #Conflicts: 563000 | #Constraints: 16826
385.83/386.98 c #Conflicts: 564000 | #Constraints: 17826
385.83/386.98 c #Conflicts: 565000 | #Constraints: 18826
385.83/386.98 c #Conflicts: 566000 | #Constraints: 19826
385.83/386.98 c #Conflicts: 567000 | #Constraints: 20826
385.83/386.98 c #Conflicts: 568000 | #Constraints: 21826
385.83/386.98 c #Conflicts: 569000 | #Constraints: 22826
385.83/386.98 c #Conflicts: 570000 | #Constraints: 23826
385.83/386.98 c #Conflicts: 571000 | #Constraints: 24826
385.83/386.98 c #Conflicts: 572000 | #Constraints: 25826
385.83/386.98 c #Conflicts: 573000 | #Constraints: 26826
385.83/386.98 c #Conflicts: 574000 | #Constraints: 27826
385.83/386.98 c #Conflicts: 575000 | #Constraints: 28826
385.83/386.98 c #Conflicts: 576000 | #Constraints: 29826
385.83/386.98 c INPROCESSING
385.83/386.98 c GARBAGE COLLECT
385.83/386.98 c rational objective 2.00001
401.38/402.51 c #Conflicts: 577000 | #Constraints: 15825
401.38/402.51 c #Conflicts: 578000 | #Constraints: 16832
401.38/402.51 c #Conflicts: 579000 | #Constraints: 17832
401.38/402.51 c #Conflicts: 580000 | #Constraints: 18832
401.38/402.51 c #Conflicts: 581000 | #Constraints: 19832
401.38/402.51 c #Conflicts: 582000 | #Constraints: 20832
401.38/402.51 c #Conflicts: 583000 | #Constraints: 21832
401.38/402.51 c #Conflicts: 584000 | #Constraints: 22832
401.38/402.51 c #Conflicts: 585000 | #Constraints: 23832
401.38/402.51 c #Conflicts: 586000 | #Constraints: 24832
401.38/402.51 c #Conflicts: 587000 | #Constraints: 25832
401.38/402.51 c #Conflicts: 588000 | #Constraints: 26832
401.38/402.51 c #Conflicts: 589000 | #Constraints: 27832
401.38/402.51 c #Conflicts: 590000 | #Constraints: 28832
401.38/402.51 c #Conflicts: 591000 | #Constraints: 29832
401.38/402.51 c INPROCESSING
401.38/402.51 c GARBAGE COLLECT
401.38/402.51 c rational objective 2.00001
419.02/420.27 c #Conflicts: 592000 | #Constraints: 15630
419.02/420.27 c #Conflicts: 593000 | #Constraints: 16630
419.02/420.27 c #Conflicts: 594000 | #Constraints: 17630
419.02/420.27 c #Conflicts: 595000 | #Constraints: 18630
419.02/420.27 c #Conflicts: 596000 | #Constraints: 19630
419.02/420.27 c #Conflicts: 597000 | #Constraints: 20630
419.02/420.27 c #Conflicts: 598000 | #Constraints: 21630
419.02/420.27 c #Conflicts: 599000 | #Constraints: 22630
419.02/420.27 c #Conflicts: 600000 | #Constraints: 23630
419.02/420.27 c #Conflicts: 601000 | #Constraints: 24630
419.02/420.27 c #Conflicts: 602000 | #Constraints: 25630
419.02/420.27 c #Conflicts: 603000 | #Constraints: 26630
419.02/420.27 c #Conflicts: 604000 | #Constraints: 27630
419.02/420.27 c #Conflicts: 605000 | #Constraints: 28630
419.02/420.27 c #Conflicts: 606000 | #Constraints: 29630
419.02/420.27 c #Conflicts: 607000 | #Constraints: 30630
419.02/420.27 c INPROCESSING
419.02/420.27 c GARBAGE COLLECT
419.02/420.27 c rational objective 2.00001
435.17/436.41 c #Conflicts: 608000 | #Constraints: 16241
435.17/436.41 c #Conflicts: 609000 | #Constraints: 17275
435.17/436.41 c #Conflicts: 610000 | #Constraints: 18278
435.17/436.41 c #Conflicts: 611000 | #Constraints: 19278
435.17/436.41 c #Conflicts: 612000 | #Constraints: 20278
435.17/436.41 c #Conflicts: 613000 | #Constraints: 21278
435.17/436.41 c #Conflicts: 614000 | #Constraints: 22278
435.17/436.41 c #Conflicts: 615000 | #Constraints: 23278
435.17/436.41 c #Conflicts: 616000 | #Constraints: 24278
435.17/436.41 c #Conflicts: 617000 | #Constraints: 25278
435.17/436.41 c #Conflicts: 618000 | #Constraints: 26278
435.17/436.41 c #Conflicts: 619000 | #Constraints: 27278
435.17/436.41 c #Conflicts: 620000 | #Constraints: 28278
435.17/436.41 c #Conflicts: 621000 | #Constraints: 29278
435.17/436.41 c #Conflicts: 622000 | #Constraints: 30278
435.17/436.41 c #Conflicts: 623000 | #Constraints: 31278
435.17/436.41 c INPROCESSING
435.17/436.41 c GARBAGE COLLECT
435.17/436.41 c rational objective 2.00001
453.01/454.32 c #Conflicts: 624000 | #Constraints: 16674
453.01/454.32 c #Conflicts: 625000 | #Constraints: 17677
453.01/454.32 c #Conflicts: 626000 | #Constraints: 18677
453.01/454.32 c #Conflicts: 627000 | #Constraints: 19677
453.01/454.32 c #Conflicts: 628000 | #Constraints: 20677
453.01/454.32 c #Conflicts: 629000 | #Constraints: 21677
453.01/454.32 c #Conflicts: 630000 | #Constraints: 22677
453.01/454.32 c #Conflicts: 631000 | #Constraints: 23677
453.01/454.32 c #Conflicts: 632000 | #Constraints: 24677
453.01/454.32 c #Conflicts: 633000 | #Constraints: 25677
453.01/454.32 c #Conflicts: 634000 | #Constraints: 26677
453.01/454.32 c #Conflicts: 635000 | #Constraints: 27677
453.01/454.32 c #Conflicts: 636000 | #Constraints: 28677
453.01/454.32 c #Conflicts: 637000 | #Constraints: 29677
453.01/454.32 c #Conflicts: 638000 | #Constraints: 30677
453.01/454.32 c #Conflicts: 639000 | #Constraints: 31677
453.01/454.32 c INPROCESSING
453.01/454.32 c GARBAGE COLLECT
453.01/454.32 c rational objective 2.00001
471.16/472.52 c #Conflicts: 640000 | #Constraints: 16882
471.16/472.52 c #Conflicts: 641000 | #Constraints: 17882
471.16/472.52 c #Conflicts: 642000 | #Constraints: 18882
471.16/472.52 c #Conflicts: 643000 | #Constraints: 19882
471.16/472.52 c #Conflicts: 644000 | #Constraints: 20882
471.16/472.52 c #Conflicts: 645000 | #Constraints: 21882
471.16/472.52 c #Conflicts: 646000 | #Constraints: 22882
471.16/472.52 c #Conflicts: 647000 | #Constraints: 23882
471.16/472.52 c #Conflicts: 648000 | #Constraints: 24882
471.16/472.52 c #Conflicts: 649000 | #Constraints: 25882
471.16/472.52 c #Conflicts: 650000 | #Constraints: 26882
471.16/472.52 c #Conflicts: 651000 | #Constraints: 27882
471.16/472.52 c #Conflicts: 652000 | #Constraints: 28882
471.16/472.52 c #Conflicts: 653000 | #Constraints: 29882
471.16/472.52 c #Conflicts: 654000 | #Constraints: 30882
471.16/472.52 c #Conflicts: 655000 | #Constraints: 31882
471.16/472.52 c INPROCESSING
471.16/472.52 c GARBAGE COLLECT
471.16/472.52 c rational objective 2.00001
487.81/489.26 c #Conflicts: 656000 | #Constraints: 16855
487.81/489.26 c #Conflicts: 657000 | #Constraints: 17855
487.81/489.26 c #Conflicts: 658000 | #Constraints: 18855
487.81/489.26 c #Conflicts: 659000 | #Constraints: 19855
487.81/489.26 c #Conflicts: 660000 | #Constraints: 20855
487.81/489.26 c #Conflicts: 661000 | #Constraints: 21855
487.81/489.26 c #Conflicts: 662000 | #Constraints: 22855
487.81/489.26 c #Conflicts: 663000 | #Constraints: 23855
487.81/489.26 c #Conflicts: 664000 | #Constraints: 24855
487.81/489.26 c #Conflicts: 665000 | #Constraints: 25855
487.81/489.26 c #Conflicts: 666000 | #Constraints: 26855
487.81/489.26 c #Conflicts: 667000 | #Constraints: 27855
487.81/489.26 c #Conflicts: 668000 | #Constraints: 28855
487.81/489.26 c #Conflicts: 669000 | #Constraints: 29855
487.81/489.26 c #Conflicts: 670000 | #Constraints: 30855
487.81/489.26 c #Conflicts: 671000 | #Constraints: 31855
487.81/489.26 c INPROCESSING
487.81/489.26 c GARBAGE COLLECT
487.81/489.26 c rational objective 2.00001
504.47/505.90 c #Conflicts: 672000 | #Constraints: 16642
504.47/505.90 c #Conflicts: 673000 | #Constraints: 17648
504.47/505.90 c #Conflicts: 674000 | #Constraints: 18648
504.47/505.90 c #Conflicts: 675000 | #Constraints: 19648
504.47/505.90 c #Conflicts: 676000 | #Constraints: 20648
504.47/505.90 c #Conflicts: 677000 | #Constraints: 21648
504.47/505.90 c #Conflicts: 678000 | #Constraints: 22648
504.47/505.90 c #Conflicts: 679000 | #Constraints: 23648
504.47/505.90 c #Conflicts: 680000 | #Constraints: 24648
504.47/505.90 c #Conflicts: 681000 | #Constraints: 25648
504.47/505.90 c #Conflicts: 682000 | #Constraints: 26648
504.47/505.90 c #Conflicts: 683000 | #Constraints: 27648
504.47/505.90 c #Conflicts: 684000 | #Constraints: 28648
504.47/505.90 c #Conflicts: 685000 | #Constraints: 29648
504.47/505.90 c #Conflicts: 686000 | #Constraints: 30648
504.47/505.90 c #Conflicts: 687000 | #Constraints: 31648
504.47/505.90 c #Conflicts: 688000 | #Constraints: 32648
504.47/505.90 c INPROCESSING
504.47/505.90 c GARBAGE COLLECT
504.47/505.90 c rational objective 2.00001
521.23/522.74 c #Conflicts: 689000 | #Constraints: 17258
521.23/522.74 c #Conflicts: 690000 | #Constraints: 18284
521.23/522.74 c #Conflicts: 691000 | #Constraints: 19284
521.23/522.74 c #Conflicts: 692000 | #Constraints: 20284
521.23/522.74 c #Conflicts: 693000 | #Constraints: 21284
521.23/522.74 c #Conflicts: 694000 | #Constraints: 22284
521.23/522.74 c #Conflicts: 695000 | #Constraints: 23284
521.23/522.74 c #Conflicts: 696000 | #Constraints: 24284
521.23/522.74 c #Conflicts: 697000 | #Constraints: 25284
521.23/522.74 c #Conflicts: 698000 | #Constraints: 26284
521.23/522.74 c #Conflicts: 699000 | #Constraints: 27284
521.23/522.74 c #Conflicts: 700000 | #Constraints: 28284
521.23/522.74 c #Conflicts: 701000 | #Constraints: 29284
521.23/522.74 c #Conflicts: 702000 | #Constraints: 30284
521.23/522.74 c #Conflicts: 703000 | #Constraints: 31284
521.23/522.74 c #Conflicts: 704000 | #Constraints: 32284
521.23/522.74 c #Conflicts: 705000 | #Constraints: 33284
521.23/522.74 c INPROCESSING
521.23/522.74 c GARBAGE COLLECT
521.23/522.74 c rational objective 2.00001
538.87/540.45 c #Conflicts: 706000 | #Constraints: 17655
538.87/540.45 c #Conflicts: 707000 | #Constraints: 18655
538.87/540.45 c #Conflicts: 708000 | #Constraints: 19655
538.87/540.45 c #Conflicts: 709000 | #Constraints: 20655
538.87/540.45 c #Conflicts: 710000 | #Constraints: 21655
538.87/540.45 c #Conflicts: 711000 | #Constraints: 22655
538.87/540.45 c #Conflicts: 712000 | #Constraints: 23655
538.87/540.45 c #Conflicts: 713000 | #Constraints: 24655
538.87/540.45 c #Conflicts: 714000 | #Constraints: 25655
538.87/540.45 c #Conflicts: 715000 | #Constraints: 26655
538.87/540.45 c #Conflicts: 716000 | #Constraints: 27655
538.87/540.45 c #Conflicts: 717000 | #Constraints: 28655
538.87/540.45 c #Conflicts: 718000 | #Constraints: 29655
538.87/540.45 c #Conflicts: 719000 | #Constraints: 30655
538.87/540.45 c #Conflicts: 720000 | #Constraints: 31655
538.87/540.45 c #Conflicts: 721000 | #Constraints: 32655
538.87/540.45 c #Conflicts: 722000 | #Constraints: 33655
538.87/540.45 c INPROCESSING
538.87/540.45 c GARBAGE COLLECT
538.87/540.45 c rational objective 2.00001
556.32/557.96 c #Conflicts: 723000 | #Constraints: 17848
556.32/557.96 c #Conflicts: 724000 | #Constraints: 18848
556.32/557.96 c #Conflicts: 725000 | #Constraints: 19848
556.32/557.96 c #Conflicts: 726000 | #Constraints: 20848
556.32/557.96 c #Conflicts: 727000 | #Constraints: 21848
556.32/557.96 c #Conflicts: 728000 | #Constraints: 22848
556.32/557.96 c #Conflicts: 729000 | #Constraints: 23848
556.32/557.96 c #Conflicts: 730000 | #Constraints: 24848
556.32/557.96 c #Conflicts: 731000 | #Constraints: 25848
556.32/557.96 c #Conflicts: 732000 | #Constraints: 26848
556.32/557.96 c #Conflicts: 733000 | #Constraints: 27848
556.32/557.96 c #Conflicts: 734000 | #Constraints: 28848
556.32/557.96 c #Conflicts: 735000 | #Constraints: 29848
556.32/557.96 c #Conflicts: 736000 | #Constraints: 30848
556.32/557.96 c #Conflicts: 737000 | #Constraints: 31848
556.32/557.96 c #Conflicts: 738000 | #Constraints: 32848
556.32/557.96 c #Conflicts: 739000 | #Constraints: 33848
556.32/557.96 c INPROCESSING
556.32/557.96 c GARBAGE COLLECT
556.32/557.96 c rational objective 2.00001
576.48/578.17 c #Conflicts: 740000 | #Constraints: 17854
576.48/578.17 c #Conflicts: 741000 | #Constraints: 18856
576.48/578.17 c #Conflicts: 742000 | #Constraints: 19856
576.48/578.17 c #Conflicts: 743000 | #Constraints: 20856
576.48/578.17 c #Conflicts: 744000 | #Constraints: 21856
576.48/578.17 c #Conflicts: 745000 | #Constraints: 22856
576.48/578.17 c #Conflicts: 746000 | #Constraints: 23856
576.48/578.17 c #Conflicts: 747000 | #Constraints: 24856
576.48/578.17 c #Conflicts: 748000 | #Constraints: 25856
576.48/578.17 c #Conflicts: 749000 | #Constraints: 26856
576.48/578.17 c #Conflicts: 750000 | #Constraints: 27856
576.48/578.17 c #Conflicts: 751000 | #Constraints: 28856
576.48/578.17 c #Conflicts: 752000 | #Constraints: 29856
576.48/578.17 c #Conflicts: 753000 | #Constraints: 30856
576.48/578.17 c #Conflicts: 754000 | #Constraints: 31856
576.48/578.17 c #Conflicts: 755000 | #Constraints: 32856
576.48/578.17 c #Conflicts: 756000 | #Constraints: 33856
576.48/578.17 c INPROCESSING
576.48/578.17 c GARBAGE COLLECT
576.48/578.17 c rational objective 2.00001
596.80/598.52 c #Conflicts: 757000 | #Constraints: 17641
596.80/598.52 c #Conflicts: 758000 | #Constraints: 18641
596.80/598.52 c #Conflicts: 759000 | #Constraints: 19643
596.80/598.52 c #Conflicts: 760000 | #Constraints: 20643
596.80/598.52 c #Conflicts: 761000 | #Constraints: 21643
596.80/598.52 c #Conflicts: 762000 | #Constraints: 22643
596.80/598.52 c #Conflicts: 763000 | #Constraints: 23643
596.80/598.52 c #Conflicts: 764000 | #Constraints: 24643
596.80/598.52 c #Conflicts: 765000 | #Constraints: 25643
596.80/598.52 c #Conflicts: 766000 | #Constraints: 26643
596.80/598.52 c #Conflicts: 767000 | #Constraints: 27643
596.80/598.52 c #Conflicts: 768000 | #Constraints: 28644
596.80/598.52 c #Conflicts: 769000 | #Constraints: 29644
596.80/598.52 c #Conflicts: 770000 | #Constraints: 30644
596.80/598.52 c #Conflicts: 771000 | #Constraints: 31644
596.80/598.52 c #Conflicts: 772000 | #Constraints: 32644
596.80/598.52 c #Conflicts: 773000 | #Constraints: 33644
596.80/598.52 c #Conflicts: 774000 | #Constraints: 34644
596.80/598.52 c INPROCESSING
596.80/598.52 c GARBAGE COLLECT
596.80/598.52 c rational objective 2.00001
618.25/620.07 c #Conflicts: 775000 | #Constraints: 18240
618.25/620.07 c #Conflicts: 776000 | #Constraints: 19240
618.25/620.07 c #Conflicts: 777000 | #Constraints: 20240
618.25/620.07 c #Conflicts: 778000 | #Constraints: 21240
618.25/620.07 c #Conflicts: 779000 | #Constraints: 22240
618.25/620.07 c #Conflicts: 780000 | #Constraints: 23246
618.25/620.07 c #Conflicts: 781000 | #Constraints: 24246
618.25/620.07 c #Conflicts: 782000 | #Constraints: 25246
618.25/620.07 c #Conflicts: 783000 | #Constraints: 26246
618.25/620.07 c #Conflicts: 784000 | #Constraints: 27246
618.25/620.07 c #Conflicts: 785000 | #Constraints: 28246
618.25/620.07 c #Conflicts: 786000 | #Constraints: 29246
618.25/620.07 c #Conflicts: 787000 | #Constraints: 30246
618.25/620.07 c #Conflicts: 788000 | #Constraints: 31246
618.25/620.07 c #Conflicts: 789000 | #Constraints: 32246
618.25/620.07 c #Conflicts: 790000 | #Constraints: 33246
618.25/620.07 c #Conflicts: 791000 | #Constraints: 34246
618.25/620.07 c #Conflicts: 792000 | #Constraints: 35246
618.25/620.07 c INPROCESSING
618.25/620.07 c GARBAGE COLLECT
618.25/620.07 c rational objective 2.00001
641.67/643.52 c #Conflicts: 793000 | #Constraints: 18638
641.67/643.52 c #Conflicts: 794000 | #Constraints: 19638
641.67/643.52 c #Conflicts: 795000 | #Constraints: 20638
641.67/643.52 c #Conflicts: 796000 | #Constraints: 21638
641.67/643.52 c #Conflicts: 797000 | #Constraints: 22638
641.67/643.52 c #Conflicts: 798000 | #Constraints: 23638
641.67/643.52 c #Conflicts: 799000 | #Constraints: 24638
641.67/643.52 c #Conflicts: 800000 | #Constraints: 25638
641.67/643.52 c #Conflicts: 801000 | #Constraints: 26638
641.67/643.52 c #Conflicts: 802000 | #Constraints: 27638
641.67/643.52 c #Conflicts: 803000 | #Constraints: 28638
641.67/643.52 c #Conflicts: 804000 | #Constraints: 29638
641.67/643.52 c #Conflicts: 805000 | #Constraints: 30638
641.67/643.52 c #Conflicts: 806000 | #Constraints: 31638
641.67/643.52 c #Conflicts: 807000 | #Constraints: 32638
641.67/643.52 c #Conflicts: 808000 | #Constraints: 33638
641.67/643.52 c #Conflicts: 809000 | #Constraints: 34638
641.67/643.52 c #Conflicts: 810000 | #Constraints: 35638
641.67/643.52 c INPROCESSING
641.67/643.52 c GARBAGE COLLECT
641.67/643.52 c rational objective 2.00001
666.59/668.57 c #Conflicts: 811000 | #Constraints: 18826
666.59/668.57 c #Conflicts: 812000 | #Constraints: 19846
666.59/668.57 c #Conflicts: 813000 | #Constraints: 20853
666.59/668.57 c #Conflicts: 814000 | #Constraints: 21856
666.59/668.57 c #Conflicts: 815000 | #Constraints: 22856
666.59/668.57 c #Conflicts: 816000 | #Constraints: 23856
666.59/668.57 c #Conflicts: 817000 | #Constraints: 24856
666.59/668.57 c #Conflicts: 818000 | #Constraints: 25856
666.59/668.57 c #Conflicts: 819000 | #Constraints: 26856
666.59/668.57 c #Conflicts: 820000 | #Constraints: 27856
666.59/668.57 c #Conflicts: 821000 | #Constraints: 28856
666.59/668.57 c #Conflicts: 822000 | #Constraints: 29856
666.59/668.57 c #Conflicts: 823000 | #Constraints: 30856
666.59/668.57 c #Conflicts: 824000 | #Constraints: 31856
666.59/668.57 c #Conflicts: 825000 | #Constraints: 32856
666.59/668.57 c #Conflicts: 826000 | #Constraints: 33856
666.59/668.57 c #Conflicts: 827000 | #Constraints: 34856
666.59/668.57 c #Conflicts: 828000 | #Constraints: 35856
666.59/668.57 c INPROCESSING
666.59/668.57 c GARBAGE COLLECT
666.59/668.57 c rational objective 2.00001
690.01/692.01 c #Conflicts: 829000 | #Constraints: 18840
690.01/692.01 c #Conflicts: 830000 | #Constraints: 19840
690.01/692.01 c #Conflicts: 831000 | #Constraints: 20840
690.01/692.01 c #Conflicts: 832000 | #Constraints: 21840
690.01/692.01 c #Conflicts: 833000 | #Constraints: 22842
690.01/692.01 c #Conflicts: 834000 | #Constraints: 23842
690.01/692.01 c #Conflicts: 835000 | #Constraints: 24842
690.01/692.01 c #Conflicts: 836000 | #Constraints: 25842
690.01/692.01 c #Conflicts: 837000 | #Constraints: 26842
690.01/692.01 c #Conflicts: 838000 | #Constraints: 27842
690.01/692.01 c #Conflicts: 839000 | #Constraints: 28842
690.01/692.01 c #Conflicts: 840000 | #Constraints: 29842
690.01/692.01 c #Conflicts: 841000 | #Constraints: 30842
690.01/692.01 c #Conflicts: 842000 | #Constraints: 31842
690.01/692.01 c #Conflicts: 843000 | #Constraints: 32842
690.01/692.01 c #Conflicts: 844000 | #Constraints: 33842
690.01/692.01 c #Conflicts: 845000 | #Constraints: 34842
690.01/692.01 c #Conflicts: 846000 | #Constraints: 35846
690.01/692.01 c INPROCESSING
690.01/692.01 c GARBAGE COLLECT
690.01/692.01 c rational objective 2.00001
715.23/717.34 c #Conflicts: 847000 | #Constraints: 18637
715.23/717.34 c #Conflicts: 848000 | #Constraints: 19648
715.23/717.34 c #Conflicts: 849000 | #Constraints: 20648
715.23/717.34 c #Conflicts: 850000 | #Constraints: 21648
715.23/717.34 c #Conflicts: 851000 | #Constraints: 22648
715.23/717.34 c #Conflicts: 852000 | #Constraints: 23648
715.23/717.34 c #Conflicts: 853000 | #Constraints: 24648
715.23/717.34 c #Conflicts: 854000 | #Constraints: 25648
715.23/717.34 c #Conflicts: 855000 | #Constraints: 26648
715.23/717.34 c #Conflicts: 856000 | #Constraints: 27648
715.23/717.34 c #Conflicts: 857000 | #Constraints: 28648
715.23/717.34 c #Conflicts: 858000 | #Constraints: 29648
715.23/717.34 c #Conflicts: 859000 | #Constraints: 30648
715.23/717.34 c #Conflicts: 860000 | #Constraints: 31648
715.23/717.34 c #Conflicts: 861000 | #Constraints: 32648
715.23/717.34 c #Conflicts: 862000 | #Constraints: 33648
715.23/717.34 c #Conflicts: 863000 | #Constraints: 34648
715.23/717.34 c #Conflicts: 864000 | #Constraints: 35648
715.23/717.34 c #Conflicts: 865000 | #Constraints: 36648
715.23/717.34 c INPROCESSING
715.23/717.34 c GARBAGE COLLECT
715.23/717.34 c rational objective 2.00001
740.74/742.90 c #Conflicts: 866000 | #Constraints: 19245
740.74/742.90 c #Conflicts: 867000 | #Constraints: 20258
740.74/742.90 c #Conflicts: 868000 | #Constraints: 21266
740.74/742.90 c #Conflicts: 869000 | #Constraints: 22270
740.74/742.90 c #Conflicts: 870000 | #Constraints: 23271
740.74/742.90 c #Conflicts: 871000 | #Constraints: 24271
740.74/742.90 c #Conflicts: 872000 | #Constraints: 25273
740.74/742.90 c #Conflicts: 873000 | #Constraints: 26273
740.74/742.90 c #Conflicts: 874000 | #Constraints: 27273
740.74/742.90 c #Conflicts: 875000 | #Constraints: 28273
740.74/742.90 c #Conflicts: 876000 | #Constraints: 29278
740.74/742.90 c #Conflicts: 877000 | #Constraints: 30280
740.74/742.90 c #Conflicts: 878000 | #Constraints: 31288
740.74/742.90 c #Conflicts: 879000 | #Constraints: 32293
740.74/742.90 c #Conflicts: 880000 | #Constraints: 33300
740.74/742.90 c #Conflicts: 881000 | #Constraints: 34300
740.74/742.90 c #Conflicts: 882000 | #Constraints: 35306
740.74/742.90 c #Conflicts: 883000 | #Constraints: 36307
740.74/742.90 c #Conflicts: 884000 | #Constraints: 37307
740.74/742.90 c INPROCESSING
740.74/742.90 c GARBAGE COLLECT
740.74/742.90 c rational objective 2.00001
767.06/769.37 c #Conflicts: 885000 | #Constraints: 19667
767.06/769.37 c #Conflicts: 886000 | #Constraints: 20667
767.06/769.37 c #Conflicts: 887000 | #Constraints: 21667
767.06/769.37 c #Conflicts: 888000 | #Constraints: 22667
767.06/769.37 c #Conflicts: 889000 | #Constraints: 23667
767.06/769.37 c #Conflicts: 890000 | #Constraints: 24667
767.06/769.37 c #Conflicts: 891000 | #Constraints: 25667
767.06/769.37 c #Conflicts: 892000 | #Constraints: 26667
767.06/769.37 c #Conflicts: 893000 | #Constraints: 27667
767.06/769.37 c #Conflicts: 894000 | #Constraints: 28668
767.06/769.37 c #Conflicts: 895000 | #Constraints: 29669
767.06/769.37 c #Conflicts: 896000 | #Constraints: 30682
767.06/769.37 c #Conflicts: 897000 | #Constraints: 31682
767.06/769.37 c #Conflicts: 898000 | #Constraints: 32682
767.06/769.37 c #Conflicts: 899000 | #Constraints: 33682
767.06/769.37 c #Conflicts: 900000 | #Constraints: 34682
767.06/769.37 c #Conflicts: 901000 | #Constraints: 35682
767.06/769.37 c #Conflicts: 902000 | #Constraints: 36682
767.06/769.37 c #Conflicts: 903000 | #Constraints: 37682
767.06/769.37 c INPROCESSING
767.06/769.37 c GARBAGE COLLECT
767.06/769.37 c rational objective 2.00001
794.17/796.52 c #Conflicts: 904000 | #Constraints: 19851
794.17/796.52 c #Conflicts: 905000 | #Constraints: 20851
794.17/796.52 c #Conflicts: 906000 | #Constraints: 21851
794.17/796.52 c #Conflicts: 907000 | #Constraints: 22851
794.17/796.52 c #Conflicts: 908000 | #Constraints: 23851
794.17/796.52 c #Conflicts: 909000 | #Constraints: 24851
794.17/796.52 c #Conflicts: 910000 | #Constraints: 25851
794.17/796.52 c #Conflicts: 911000 | #Constraints: 26852
794.17/796.52 c #Conflicts: 912000 | #Constraints: 27852
794.17/796.52 c #Conflicts: 913000 | #Constraints: 28852
794.17/796.52 c #Conflicts: 914000 | #Constraints: 29852
794.17/796.52 c #Conflicts: 915000 | #Constraints: 30852
794.17/796.52 c #Conflicts: 916000 | #Constraints: 31852
794.17/796.52 c #Conflicts: 917000 | #Constraints: 32852
794.17/796.52 c #Conflicts: 918000 | #Constraints: 33852
794.17/796.52 c #Conflicts: 919000 | #Constraints: 34852
794.17/796.52 c #Conflicts: 920000 | #Constraints: 35852
794.17/796.52 c #Conflicts: 921000 | #Constraints: 36852
794.17/796.52 c #Conflicts: 922000 | #Constraints: 37852
794.17/796.52 c INPROCESSING
794.17/796.52 c GARBAGE COLLECT
794.17/796.52 c rational objective 2.00001
822.48/824.95 c #Conflicts: 923000 | #Constraints: 19839
822.48/824.95 c #Conflicts: 924000 | #Constraints: 20839
822.48/824.95 c #Conflicts: 925000 | #Constraints: 21851
822.48/824.95 c #Conflicts: 926000 | #Constraints: 22851
822.48/824.95 c #Conflicts: 927000 | #Constraints: 23851
822.48/824.95 c #Conflicts: 928000 | #Constraints: 24851
822.48/824.95 c #Conflicts: 929000 | #Constraints: 25851
822.48/824.95 c #Conflicts: 930000 | #Constraints: 26851
822.48/824.95 c #Conflicts: 931000 | #Constraints: 27851
822.48/824.95 c #Conflicts: 932000 | #Constraints: 28851
822.48/824.95 c #Conflicts: 933000 | #Constraints: 29851
822.48/824.95 c #Conflicts: 934000 | #Constraints: 30851
822.48/824.95 c #Conflicts: 935000 | #Constraints: 31851
822.48/824.95 c #Conflicts: 936000 | #Constraints: 32851
822.48/824.95 c #Conflicts: 937000 | #Constraints: 33851
822.48/824.95 c #Conflicts: 938000 | #Constraints: 34851
822.48/824.95 c #Conflicts: 939000 | #Constraints: 35851
822.48/824.95 c #Conflicts: 940000 | #Constraints: 36851
822.48/824.95 c #Conflicts: 941000 | #Constraints: 37851
822.48/824.95 c INPROCESSING
822.48/824.95 c GARBAGE COLLECT
822.48/824.95 c rational objective 2.00002
849.40/851.90 c #Conflicts: 942000 | #Constraints: 19641
849.40/851.90 c #Conflicts: 943000 | #Constraints: 20641
849.40/851.90 c #Conflicts: 944000 | #Constraints: 21645
849.40/851.90 c #Conflicts: 945000 | #Constraints: 22648
849.40/851.90 c #Conflicts: 946000 | #Constraints: 23654
849.40/851.90 c #Conflicts: 947000 | #Constraints: 24658
849.40/851.90 c #Conflicts: 948000 | #Constraints: 25658
849.40/851.90 c #Conflicts: 949000 | #Constraints: 26658
849.40/851.90 c #Conflicts: 950000 | #Constraints: 27661
849.40/851.90 c #Conflicts: 951000 | #Constraints: 28661
849.40/851.90 c #Conflicts: 952000 | #Constraints: 29667
849.40/851.90 c #Conflicts: 953000 | #Constraints: 30667
849.40/851.90 c #Conflicts: 954000 | #Constraints: 31667
849.40/851.90 c #Conflicts: 955000 | #Constraints: 32667
849.40/851.90 c #Conflicts: 956000 | #Constraints: 33667
849.40/851.90 c #Conflicts: 957000 | #Constraints: 34673
849.40/851.90 c #Conflicts: 958000 | #Constraints: 35673
849.40/851.90 c #Conflicts: 959000 | #Constraints: 36676
849.40/851.90 c #Conflicts: 960000 | #Constraints: 37677
849.40/851.90 c #Conflicts: 961000 | #Constraints: 38677
849.40/851.90 c INPROCESSING
849.40/851.90 c GARBAGE COLLECT
849.40/851.90 c rational objective 2.00001
879.60/882.29 c #Conflicts: 962000 | #Constraints: 20249
879.60/882.29 c #Conflicts: 963000 | #Constraints: 21249
879.60/882.29 c #Conflicts: 964000 | #Constraints: 22253
879.60/882.29 c #Conflicts: 965000 | #Constraints: 23253
879.60/882.29 c #Conflicts: 966000 | #Constraints: 24253
879.60/882.29 c #Conflicts: 967000 | #Constraints: 25256
879.60/882.29 c #Conflicts: 968000 | #Constraints: 26256
879.60/882.29 c #Conflicts: 969000 | #Constraints: 27256
879.60/882.29 c #Conflicts: 970000 | #Constraints: 28259
879.60/882.29 c #Conflicts: 971000 | #Constraints: 29259
879.60/882.29 c #Conflicts: 972000 | #Constraints: 30268
879.60/882.29 c #Conflicts: 973000 | #Constraints: 31268
879.60/882.29 c #Conflicts: 974000 | #Constraints: 32272
879.60/882.29 c #Conflicts: 975000 | #Constraints: 33281
879.60/882.29 c #Conflicts: 976000 | #Constraints: 34281
879.60/882.29 c #Conflicts: 977000 | #Constraints: 35281
879.60/882.29 c #Conflicts: 978000 | #Constraints: 36281
879.60/882.29 c #Conflicts: 979000 | #Constraints: 37281
879.60/882.29 c #Conflicts: 980000 | #Constraints: 38285
879.60/882.29 c #Conflicts: 981000 | #Constraints: 39288
879.60/882.29 c INPROCESSING
879.60/882.29 c GARBAGE COLLECT
879.60/882.29 c rational objective 2.01896
909.41/912.18 c #Conflicts: 982000 | #Constraints: 20667
909.41/912.18 c #Conflicts: 983000 | #Constraints: 21667
909.41/912.18 c #Conflicts: 984000 | #Constraints: 22667
909.41/912.18 c #Conflicts: 985000 | #Constraints: 23674
909.41/912.18 c #Conflicts: 986000 | #Constraints: 24674
909.41/912.18 c #Conflicts: 987000 | #Constraints: 25691
909.41/912.18 c #Conflicts: 988000 | #Constraints: 26692
909.41/912.18 c #Conflicts: 989000 | #Constraints: 27697
909.41/912.18 c #Conflicts: 990000 | #Constraints: 28697
909.41/912.18 c #Conflicts: 991000 | #Constraints: 29697
909.41/912.18 c #Conflicts: 992000 | #Constraints: 30697
909.41/912.18 c #Conflicts: 993000 | #Constraints: 31697
909.41/912.18 c #Conflicts: 994000 | #Constraints: 32699
909.41/912.18 c #Conflicts: 995000 | #Constraints: 33699
909.41/912.18 c #Conflicts: 996000 | #Constraints: 34699
909.41/912.18 c #Conflicts: 997000 | #Constraints: 35699
909.41/912.18 c #Conflicts: 998000 | #Constraints: 36699
909.41/912.18 c #Conflicts: 999000 | #Constraints: 37699
909.41/912.18 c #Conflicts: 1000000 | #Constraints: 38699
909.41/912.18 c #Conflicts: 1001000 | #Constraints: 39699
909.41/912.18 c INPROCESSING
909.41/912.18 c GARBAGE COLLECT
909.41/912.18 c rational objective 2.00001
940.60/943.44 c #Conflicts: 1002000 | #Constraints: 20860
940.60/943.44 c #Conflicts: 1003000 | #Constraints: 21860
940.60/943.44 c #Conflicts: 1004000 | #Constraints: 22860
940.60/943.44 c #Conflicts: 1005000 | #Constraints: 23860
940.60/943.44 c #Conflicts: 1006000 | #Constraints: 24860
940.60/943.44 c #Conflicts: 1007000 | #Constraints: 25860
940.60/943.44 c #Conflicts: 1008000 | #Constraints: 26860
940.60/943.44 c #Conflicts: 1009000 | #Constraints: 27860
940.60/943.44 c #Conflicts: 1010000 | #Constraints: 28860
940.60/943.44 c #Conflicts: 1011000 | #Constraints: 29860
940.60/943.44 c #Conflicts: 1012000 | #Constraints: 30865
940.60/943.44 c #Conflicts: 1013000 | #Constraints: 31869
940.60/943.44 c #Conflicts: 1014000 | #Constraints: 32871
940.60/943.44 c #Conflicts: 1015000 | #Constraints: 33871
940.60/943.44 c #Conflicts: 1016000 | #Constraints: 34871
940.60/943.44 c #Conflicts: 1017000 | #Constraints: 35871
940.60/943.44 c #Conflicts: 1018000 | #Constraints: 36880
940.60/943.44 c #Conflicts: 1019000 | #Constraints: 37880
940.60/943.44 c #Conflicts: 1020000 | #Constraints: 38880
940.60/943.44 c #Conflicts: 1021000 | #Constraints: 39880
940.60/943.44 c INPROCESSING
940.60/943.44 c GARBAGE COLLECT
940.60/943.44 c rational objective 2.00001
972.31/975.28 c #Conflicts: 1022000 | #Constraints: 20854
972.31/975.28 c #Conflicts: 1023000 | #Constraints: 21854
972.31/975.28 c #Conflicts: 1024000 | #Constraints: 22854
972.31/975.28 c #Conflicts: 1025000 | #Constraints: 23854
972.31/975.28 c #Conflicts: 1026000 | #Constraints: 24854
972.31/975.28 c #Conflicts: 1027000 | #Constraints: 25854
972.31/975.28 c #Conflicts: 1028000 | #Constraints: 26854
972.31/975.28 c #Conflicts: 1029000 | #Constraints: 27854
972.31/975.28 c #Conflicts: 1030000 | #Constraints: 28854
972.31/975.28 c #Conflicts: 1031000 | #Constraints: 29854
972.31/975.28 c #Conflicts: 1032000 | #Constraints: 30854
972.31/975.28 c #Conflicts: 1033000 | #Constraints: 31854
972.31/975.28 c #Conflicts: 1034000 | #Constraints: 32854
972.31/975.28 c #Conflicts: 1035000 | #Constraints: 33854
972.31/975.28 c #Conflicts: 1036000 | #Constraints: 34854
972.31/975.28 c #Conflicts: 1037000 | #Constraints: 35854
972.31/975.28 c #Conflicts: 1038000 | #Constraints: 36854
972.31/975.28 c #Conflicts: 1039000 | #Constraints: 37854
972.31/975.28 c #Conflicts: 1040000 | #Constraints: 38854
972.31/975.28 c #Conflicts: 1041000 | #Constraints: 39854
972.31/975.28 c INPROCESSING
972.31/975.28 c GARBAGE COLLECT
972.31/975.28 c rational objective 2.00002
1012.38/1015.48 c #Conflicts: 1042000 | #Constraints: 20646
1012.38/1015.48 c #Conflicts: 1043000 | #Constraints: 21774
1012.38/1015.48 c #Conflicts: 1044000 | #Constraints: 22869
1012.38/1015.48 c #Conflicts: 1045000 | #Constraints: 23997
1012.38/1015.48 c #Conflicts: 1046000 | #Constraints: 25103
1012.38/1015.48 c #Conflicts: 1047000 | #Constraints: 26230
1012.38/1015.48 c #Conflicts: 1048000 | #Constraints: 27360
1012.38/1015.48 c #Conflicts: 1049000 | #Constraints: 28466
1012.38/1015.48 c #Conflicts: 1050000 | #Constraints: 29550
1012.38/1015.48 c #Conflicts: 1051000 | #Constraints: 30657
1012.38/1015.48 c #Conflicts: 1052000 | #Constraints: 31751
1012.38/1015.48 c #Conflicts: 1053000 | #Constraints: 32863
1012.38/1015.48 c #Conflicts: 1054000 | #Constraints: 33997
1012.38/1015.48 c #Conflicts: 1055000 | #Constraints: 35071
1012.38/1015.48 c #Conflicts: 1056000 | #Constraints: 36144
1012.38/1015.48 c #Conflicts: 1057000 | #Constraints: 37236
1012.38/1015.48 c #Conflicts: 1058000 | #Constraints: 38375
1012.38/1015.48 c #Conflicts: 1059000 | #Constraints: 39462
1012.38/1015.48 c #Conflicts: 1060000 | #Constraints: 40518
1012.38/1015.48 c #Conflicts: 1061000 | #Constraints: 41559
1012.38/1015.48 c #Conflicts: 1062000 | #Constraints: 42559
1012.38/1015.48 c INPROCESSING
1012.38/1015.48 c GARBAGE COLLECT
1012.38/1015.48 c rational objective 2.00021
1056.73/1059.99 c #Conflicts: 1063000 | #Constraints: 22220
1056.73/1059.99 c #Conflicts: 1064000 | #Constraints: 23266
1056.73/1059.99 c #Conflicts: 1065000 | #Constraints: 24304
1056.73/1059.99 c #Conflicts: 1066000 | #Constraints: 25352
1056.73/1059.99 c #Conflicts: 1067000 | #Constraints: 26356
1056.73/1059.99 c #Conflicts: 1068000 | #Constraints: 27356
1056.73/1059.99 c #Conflicts: 1069000 | #Constraints: 28356
1056.73/1059.99 c #Conflicts: 1070000 | #Constraints: 29356
1056.73/1059.99 c #Conflicts: 1071000 | #Constraints: 30356
1056.73/1059.99 c #Conflicts: 1072000 | #Constraints: 31356
1056.73/1059.99 c #Conflicts: 1073000 | #Constraints: 32356
1056.73/1059.99 c #Conflicts: 1074000 | #Constraints: 33356
1056.73/1059.99 c #Conflicts: 1075000 | #Constraints: 34356
1056.73/1059.99 c #Conflicts: 1076000 | #Constraints: 35356
1056.73/1059.99 c #Conflicts: 1077000 | #Constraints: 36356
1056.73/1059.99 c #Conflicts: 1078000 | #Constraints: 37356
1056.73/1059.99 c #Conflicts: 1079000 | #Constraints: 38356
1056.73/1059.99 c #Conflicts: 1080000 | #Constraints: 39356
1056.73/1059.99 c #Conflicts: 1081000 | #Constraints: 40356
1056.73/1059.99 c #Conflicts: 1082000 | #Constraints: 41356
1056.73/1059.99 c #Conflicts: 1083000 | #Constraints: 42356
1056.73/1059.99 c INPROCESSING
1056.73/1059.99 c GARBAGE COLLECT
1056.73/1059.99 c rational objective 2.00001
1096.11/1099.47 c #Conflicts: 1084000 | #Constraints: 22236
1096.11/1099.47 c #Conflicts: 1085000 | #Constraints: 23287
1096.11/1099.47 c #Conflicts: 1086000 | #Constraints: 24350
1096.11/1099.47 c #Conflicts: 1087000 | #Constraints: 25390
1096.11/1099.47 c #Conflicts: 1088000 | #Constraints: 26427
1096.11/1099.47 c #Conflicts: 1089000 | #Constraints: 27427
1096.11/1099.47 c #Conflicts: 1090000 | #Constraints: 28427
1096.11/1099.47 c #Conflicts: 1091000 | #Constraints: 29427
1096.11/1099.47 c #Conflicts: 1092000 | #Constraints: 30427
1096.11/1099.47 c #Conflicts: 1093000 | #Constraints: 31427
1096.11/1099.47 c #Conflicts: 1094000 | #Constraints: 32427
1096.11/1099.47 c #Conflicts: 1095000 | #Constraints: 33427
1096.11/1099.47 c #Conflicts: 1096000 | #Constraints: 34427
1096.11/1099.47 c #Conflicts: 1097000 | #Constraints: 35427
1096.11/1099.47 c #Conflicts: 1098000 | #Constraints: 36427
1096.11/1099.47 c #Conflicts: 1099000 | #Constraints: 37427
1096.11/1099.47 c #Conflicts: 1100000 | #Constraints: 38427
1096.11/1099.47 c #Conflicts: 1101000 | #Constraints: 39427
1096.11/1099.47 c #Conflicts: 1102000 | #Constraints: 40427
1096.11/1099.47 c #Conflicts: 1103000 | #Constraints: 41427
1096.11/1099.47 c #Conflicts: 1104000 | #Constraints: 42427
1096.11/1099.47 c INPROCESSING
1096.11/1099.47 c GARBAGE COLLECT
1096.11/1099.47 c rational objective 2.00001
1134.87/1138.32 c #Conflicts: 1105000 | #Constraints: 22237
1134.87/1138.32 c #Conflicts: 1106000 | #Constraints: 23263
1134.87/1138.32 c #Conflicts: 1107000 | #Constraints: 24263
1134.87/1138.32 c #Conflicts: 1108000 | #Constraints: 25263
1134.87/1138.32 c #Conflicts: 1109000 | #Constraints: 26263
1134.87/1138.32 c #Conflicts: 1110000 | #Constraints: 27263
1134.87/1138.32 c #Conflicts: 1111000 | #Constraints: 28263
1134.87/1138.32 c #Conflicts: 1112000 | #Constraints: 29263
1134.87/1138.32 c #Conflicts: 1113000 | #Constraints: 30263
1134.87/1138.32 c #Conflicts: 1114000 | #Constraints: 31263
1134.87/1138.32 c #Conflicts: 1115000 | #Constraints: 32263
1134.87/1138.32 c #Conflicts: 1116000 | #Constraints: 33263
1134.87/1138.32 c #Conflicts: 1117000 | #Constraints: 34263
1134.87/1138.32 c #Conflicts: 1118000 | #Constraints: 35263
1134.87/1138.32 c #Conflicts: 1119000 | #Constraints: 36263
1134.87/1138.32 c #Conflicts: 1120000 | #Constraints: 37263
1134.87/1138.32 c #Conflicts: 1121000 | #Constraints: 38263
1134.87/1138.32 c #Conflicts: 1122000 | #Constraints: 39263
1134.87/1138.32 c #Conflicts: 1123000 | #Constraints: 40263
1134.87/1138.32 c #Conflicts: 1124000 | #Constraints: 41263
1134.87/1138.32 c #Conflicts: 1125000 | #Constraints: 42263
1134.87/1138.32 c INPROCESSING
1134.87/1138.32 c GARBAGE COLLECT
1134.87/1138.32 c rational objective 2.00001
1178.23/1181.83 c #Conflicts: 1126000 | #Constraints: 22076
1178.23/1181.83 c #Conflicts: 1127000 | #Constraints: 23111
1178.23/1181.83 c #Conflicts: 1128000 | #Constraints: 24111
1178.23/1181.83 c #Conflicts: 1129000 | #Constraints: 25111
1178.23/1181.83 c #Conflicts: 1130000 | #Constraints: 26111
1178.23/1181.83 c #Conflicts: 1131000 | #Constraints: 27111
1178.23/1181.83 c #Conflicts: 1132000 | #Constraints: 28111
1178.23/1181.83 c #Conflicts: 1133000 | #Constraints: 29111
1178.23/1181.83 c #Conflicts: 1134000 | #Constraints: 30111
1178.23/1181.83 c #Conflicts: 1135000 | #Constraints: 31111
1178.23/1181.83 c #Conflicts: 1136000 | #Constraints: 32111
1178.23/1181.83 c #Conflicts: 1137000 | #Constraints: 33111
1178.23/1181.83 c #Conflicts: 1138000 | #Constraints: 34111
1178.23/1181.83 c #Conflicts: 1139000 | #Constraints: 35111
1178.23/1181.83 c #Conflicts: 1140000 | #Constraints: 36111
1178.23/1181.83 c #Conflicts: 1141000 | #Constraints: 37111
1178.23/1181.83 c #Conflicts: 1142000 | #Constraints: 38111
1178.23/1181.83 c #Conflicts: 1143000 | #Constraints: 39111
1178.23/1181.83 c #Conflicts: 1144000 | #Constraints: 40111
1178.23/1181.83 c #Conflicts: 1145000 | #Constraints: 41111
1178.23/1181.83 c #Conflicts: 1146000 | #Constraints: 42111
1178.23/1181.83 c INPROCESSING
1178.23/1181.83 c GARBAGE COLLECT
1178.23/1181.83 c rational objective 2.00002
1232.34/1236.16 c #Conflicts: 1147000 | #Constraints: 21768
1232.34/1236.16 c #Conflicts: 1148000 | #Constraints: 22782
1232.34/1236.16 c #Conflicts: 1149000 | #Constraints: 23782
1232.34/1236.16 c #Conflicts: 1150000 | #Constraints: 24782
1232.34/1236.16 c #Conflicts: 1151000 | #Constraints: 25782
1232.34/1236.16 c #Conflicts: 1152000 | #Constraints: 26782
1232.34/1236.16 c #Conflicts: 1153000 | #Constraints: 27782
1232.34/1236.16 c #Conflicts: 1154000 | #Constraints: 28782
1232.34/1236.16 c #Conflicts: 1155000 | #Constraints: 29782
1232.34/1236.16 c #Conflicts: 1156000 | #Constraints: 30790
1232.34/1236.16 c #Conflicts: 1157000 | #Constraints: 31834
1232.34/1236.16 c #Conflicts: 1158000 | #Constraints: 32837
1232.34/1236.16 c #Conflicts: 1159000 | #Constraints: 33882
1232.34/1236.16 c #Conflicts: 1160000 | #Constraints: 34946
1232.34/1236.16 c #Conflicts: 1161000 | #Constraints: 35950
1232.34/1236.16 c #Conflicts: 1162000 | #Constraints: 36950
1232.34/1236.16 c #Conflicts: 1163000 | #Constraints: 37950
1232.34/1236.16 c #Conflicts: 1164000 | #Constraints: 38950
1232.34/1236.16 c #Conflicts: 1165000 | #Constraints: 39950
1232.34/1236.16 c #Conflicts: 1166000 | #Constraints: 40950
1232.34/1236.16 c #Conflicts: 1167000 | #Constraints: 41950
1232.34/1236.16 c #Conflicts: 1168000 | #Constraints: 42950
1232.34/1236.16 c INPROCESSING
1232.34/1236.16 c GARBAGE COLLECT
1232.34/1236.16 c rational objective 2.00001
1281.36/1285.30 c #Conflicts: 1169000 | #Constraints: 22392
1281.36/1285.30 c #Conflicts: 1170000 | #Constraints: 23392
1281.36/1285.30 c #Conflicts: 1171000 | #Constraints: 24392
1281.36/1285.30 c #Conflicts: 1172000 | #Constraints: 25392
1281.36/1285.30 c #Conflicts: 1173000 | #Constraints: 26392
1281.36/1285.30 c #Conflicts: 1174000 | #Constraints: 27392
1281.36/1285.30 c #Conflicts: 1175000 | #Constraints: 28392
1281.36/1285.30 c #Conflicts: 1176000 | #Constraints: 29406
1281.36/1285.30 c #Conflicts: 1177000 | #Constraints: 30406
1281.36/1285.30 c #Conflicts: 1178000 | #Constraints: 31406
1281.36/1285.30 c #Conflicts: 1179000 | #Constraints: 32406
1281.36/1285.30 c #Conflicts: 1180000 | #Constraints: 33406
1281.36/1285.30 c #Conflicts: 1181000 | #Constraints: 34406
1281.36/1285.30 c #Conflicts: 1182000 | #Constraints: 35406
1281.36/1285.30 c #Conflicts: 1183000 | #Constraints: 36406
1281.36/1285.30 c #Conflicts: 1184000 | #Constraints: 37406
1281.36/1285.30 c #Conflicts: 1185000 | #Constraints: 38406
1281.36/1285.30 c #Conflicts: 1186000 | #Constraints: 39406
1281.36/1285.30 c #Conflicts: 1187000 | #Constraints: 40406
1281.36/1285.30 c #Conflicts: 1188000 | #Constraints: 41406
1281.36/1285.30 c #Conflicts: 1189000 | #Constraints: 42406
1281.36/1285.30 c #Conflicts: 1190000 | #Constraints: 43406
1281.36/1285.30 c INPROCESSING
1281.36/1285.30 c GARBAGE COLLECT
1281.36/1285.30 c rational objective 2.00001
1329.90/1334.04 c #Conflicts: 1191000 | #Constraints: 22751
1329.90/1334.04 c #Conflicts: 1192000 | #Constraints: 23766
1329.90/1334.04 c #Conflicts: 1193000 | #Constraints: 24766
1329.90/1334.04 c #Conflicts: 1194000 | #Constraints: 25766
1329.90/1334.04 c #Conflicts: 1195000 | #Constraints: 26766
1329.90/1334.04 c #Conflicts: 1196000 | #Constraints: 27766
1329.90/1334.04 c #Conflicts: 1197000 | #Constraints: 28766
1329.90/1334.04 c #Conflicts: 1198000 | #Constraints: 29766
1329.90/1334.04 c #Conflicts: 1199000 | #Constraints: 30766
1329.90/1334.04 c #Conflicts: 1200000 | #Constraints: 31766
1329.90/1334.04 c #Conflicts: 1201000 | #Constraints: 32766
1329.90/1334.04 c #Conflicts: 1202000 | #Constraints: 33766
1329.90/1334.04 c #Conflicts: 1203000 | #Constraints: 34766
1329.90/1334.04 c #Conflicts: 1204000 | #Constraints: 35766
1329.90/1334.04 c #Conflicts: 1205000 | #Constraints: 36766
1329.90/1334.04 c #Conflicts: 1206000 | #Constraints: 37766
1329.90/1334.04 c #Conflicts: 1207000 | #Constraints: 38766
1329.90/1334.04 c #Conflicts: 1208000 | #Constraints: 39766
1329.90/1334.04 c #Conflicts: 1209000 | #Constraints: 40766
1329.90/1334.04 c #Conflicts: 1210000 | #Constraints: 41766
1329.90/1334.04 c #Conflicts: 1211000 | #Constraints: 42766
1329.90/1334.04 c #Conflicts: 1212000 | #Constraints: 43766
1329.90/1334.04 c INPROCESSING
1329.90/1334.04 c GARBAGE COLLECT
1329.90/1334.04 c rational objective 2.00001
1379.73/1384.07 c #Conflicts: 1213000 | #Constraints: 22902
1379.73/1384.07 c #Conflicts: 1214000 | #Constraints: 23902
1379.73/1384.07 c #Conflicts: 1215000 | #Constraints: 24921
1379.73/1384.07 c #Conflicts: 1216000 | #Constraints: 25929
1379.73/1384.07 c #Conflicts: 1217000 | #Constraints: 26945
1379.73/1384.07 c #Conflicts: 1218000 | #Constraints: 27945
1379.73/1384.07 c #Conflicts: 1219000 | #Constraints: 28945
1379.73/1384.07 c #Conflicts: 1220000 | #Constraints: 29945
1379.73/1384.07 c #Conflicts: 1221000 | #Constraints: 30945
1379.73/1384.07 c #Conflicts: 1222000 | #Constraints: 31945
1379.73/1384.07 c #Conflicts: 1223000 | #Constraints: 32945
1379.73/1384.07 c #Conflicts: 1224000 | #Constraints: 33945
1379.73/1384.07 c #Conflicts: 1225000 | #Constraints: 34945
1379.73/1384.07 c #Conflicts: 1226000 | #Constraints: 35945
1379.73/1384.07 c #Conflicts: 1227000 | #Constraints: 36945
1379.73/1384.07 c #Conflicts: 1228000 | #Constraints: 37945
1379.73/1384.07 c #Conflicts: 1229000 | #Constraints: 38945
1379.73/1384.07 c #Conflicts: 1230000 | #Constraints: 39945
1379.73/1384.07 c #Conflicts: 1231000 | #Constraints: 40945
1379.73/1384.07 c #Conflicts: 1232000 | #Constraints: 41945
1379.73/1384.07 c #Conflicts: 1233000 | #Constraints: 42945
1379.73/1384.07 c #Conflicts: 1234000 | #Constraints: 43945
1379.73/1384.07 c INPROCESSING
1379.73/1384.07 c GARBAGE COLLECT
1379.73/1384.07 c rational objective 2.00002
1433.74/1438.20 c #Conflicts: 1235000 | #Constraints: 22912
1433.74/1438.20 c #Conflicts: 1236000 | #Constraints: 23937
1433.74/1438.20 c #Conflicts: 1237000 | #Constraints: 24948
1433.74/1438.20 c #Conflicts: 1238000 | #Constraints: 25969
1433.74/1438.20 c #Conflicts: 1239000 | #Constraints: 26975
1433.74/1438.20 c #Conflicts: 1240000 | #Constraints: 27975
1433.74/1438.20 c #Conflicts: 1241000 | #Constraints: 28975
1433.74/1438.20 c #Conflicts: 1242000 | #Constraints: 29975
1433.74/1438.20 c #Conflicts: 1243000 | #Constraints: 30975
1433.74/1438.20 c #Conflicts: 1244000 | #Constraints: 31975
1433.74/1438.20 c #Conflicts: 1245000 | #Constraints: 32975
1433.74/1438.20 c #Conflicts: 1246000 | #Constraints: 33975
1433.74/1438.20 c #Conflicts: 1247000 | #Constraints: 34975
1433.74/1438.20 c #Conflicts: 1248000 | #Constraints: 35975
1433.74/1438.20 c #Conflicts: 1249000 | #Constraints: 36975
1433.74/1438.20 c #Conflicts: 1250000 | #Constraints: 37975
1433.74/1438.20 c #Conflicts: 1251000 | #Constraints: 38975
1433.74/1438.20 c #Conflicts: 1252000 | #Constraints: 39975
1433.74/1438.20 c #Conflicts: 1253000 | #Constraints: 40975
1433.74/1438.20 c #Conflicts: 1254000 | #Constraints: 41975
1433.74/1438.20 c #Conflicts: 1255000 | #Constraints: 42975
1433.74/1438.20 c #Conflicts: 1256000 | #Constraints: 43975
1433.74/1438.20 c INPROCESSING
1433.74/1438.20 c GARBAGE COLLECT
1433.74/1438.20 c rational objective 2.00001
1487.56/1492.26 c #Conflicts: 1257000 | #Constraints: 22698
1487.56/1492.26 c #Conflicts: 1258000 | #Constraints: 23716
1487.56/1492.26 c #Conflicts: 1259000 | #Constraints: 24731
1487.56/1492.26 c #Conflicts: 1260000 | #Constraints: 25737
1487.56/1492.26 c #Conflicts: 1261000 | #Constraints: 26737
1487.56/1492.26 c #Conflicts: 1262000 | #Constraints: 27746
1487.56/1492.26 c #Conflicts: 1263000 | #Constraints: 28747
1487.56/1492.26 c #Conflicts: 1264000 | #Constraints: 29747
1487.56/1492.26 c #Conflicts: 1265000 | #Constraints: 30747
1487.56/1492.26 c #Conflicts: 1266000 | #Constraints: 31747
1487.56/1492.26 c #Conflicts: 1267000 | #Constraints: 32747
1487.56/1492.26 c #Conflicts: 1268000 | #Constraints: 33747
1487.56/1492.26 c #Conflicts: 1269000 | #Constraints: 34747
1487.56/1492.26 c #Conflicts: 1270000 | #Constraints: 35747
1487.56/1492.26 c #Conflicts: 1271000 | #Constraints: 36747
1487.56/1492.26 c #Conflicts: 1272000 | #Constraints: 37747
1487.56/1492.26 c #Conflicts: 1273000 | #Constraints: 38747
1487.56/1492.26 c #Conflicts: 1274000 | #Constraints: 39747
1487.56/1492.26 c #Conflicts: 1275000 | #Constraints: 40747
1487.56/1492.26 c #Conflicts: 1276000 | #Constraints: 41747
1487.56/1492.26 c #Conflicts: 1277000 | #Constraints: 42747
1487.56/1492.26 c #Conflicts: 1278000 | #Constraints: 43747
1487.56/1492.26 c #Conflicts: 1279000 | #Constraints: 44747
1487.56/1492.26 c INPROCESSING
1487.56/1492.26 c GARBAGE COLLECT
1487.56/1492.26 c rational objective 2.00001
1541.57/1546.45 c #Conflicts: 1280000 | #Constraints: 23290
1541.57/1546.45 c #Conflicts: 1281000 | #Constraints: 24292
1541.57/1546.45 c #Conflicts: 1282000 | #Constraints: 25303
1541.57/1546.45 c #Conflicts: 1283000 | #Constraints: 26314
1541.57/1546.45 c #Conflicts: 1284000 | #Constraints: 27325
1541.57/1546.45 c #Conflicts: 1285000 | #Constraints: 28342
1541.57/1546.45 c #Conflicts: 1286000 | #Constraints: 29358
1541.57/1546.45 c #Conflicts: 1287000 | #Constraints: 30374
1541.57/1546.45 c #Conflicts: 1288000 | #Constraints: 31400
1541.57/1546.45 c #Conflicts: 1289000 | #Constraints: 32411
1541.57/1546.45 c #Conflicts: 1290000 | #Constraints: 33453
1541.57/1546.45 c #Conflicts: 1291000 | #Constraints: 34470
1541.57/1546.45 c #Conflicts: 1292000 | #Constraints: 35475
1541.57/1546.45 c #Conflicts: 1293000 | #Constraints: 36475
1541.57/1546.45 c #Conflicts: 1294000 | #Constraints: 37475
1541.57/1546.45 c #Conflicts: 1295000 | #Constraints: 38475
1541.57/1546.45 c #Conflicts: 1296000 | #Constraints: 39475
1541.57/1546.45 c #Conflicts: 1297000 | #Constraints: 40475
1541.57/1546.45 c #Conflicts: 1298000 | #Constraints: 41475
1541.57/1546.45 c #Conflicts: 1299000 | #Constraints: 42475
1541.57/1546.45 c #Conflicts: 1300000 | #Constraints: 43475
1541.57/1546.45 c #Conflicts: 1301000 | #Constraints: 44475
1541.57/1546.45 c #Conflicts: 1302000 | #Constraints: 45475
1541.57/1546.45 c INPROCESSING
1541.57/1546.45 c GARBAGE COLLECT
1541.57/1546.45 c rational objective 2.00001
1602.65/1607.78 c #Conflicts: 1303000 | #Constraints: 23765
1602.65/1607.78 c #Conflicts: 1304000 | #Constraints: 24773
1602.65/1607.78 c #Conflicts: 1305000 | #Constraints: 25773
1602.65/1607.78 c #Conflicts: 1306000 | #Constraints: 26773
1602.65/1607.78 c #Conflicts: 1307000 | #Constraints: 27773
1602.65/1607.78 c #Conflicts: 1308000 | #Constraints: 28773
1602.65/1607.78 c #Conflicts: 1309000 | #Constraints: 29773
1602.65/1607.78 c #Conflicts: 1310000 | #Constraints: 30773
1602.65/1607.78 c #Conflicts: 1311000 | #Constraints: 31773
1602.65/1607.78 c #Conflicts: 1312000 | #Constraints: 32773
1602.65/1607.78 c #Conflicts: 1313000 | #Constraints: 33773
1602.65/1607.78 c #Conflicts: 1314000 | #Constraints: 34773
1602.65/1607.78 c #Conflicts: 1315000 | #Constraints: 35773
1602.65/1607.78 c #Conflicts: 1316000 | #Constraints: 36773
1602.65/1607.78 c #Conflicts: 1317000 | #Constraints: 37802
1602.65/1607.78 c #Conflicts: 1318000 | #Constraints: 38802
1602.65/1607.78 c #Conflicts: 1319000 | #Constraints: 39824
1602.65/1607.78 c #Conflicts: 1320000 | #Constraints: 40836
1602.65/1607.78 c #Conflicts: 1321000 | #Constraints: 41836
1602.65/1607.78 c #Conflicts: 1322000 | #Constraints: 42836
1602.65/1607.78 c #Conflicts: 1323000 | #Constraints: 43836
1602.65/1607.78 c #Conflicts: 1324000 | #Constraints: 44836
1602.65/1607.78 c #Conflicts: 1325000 | #Constraints: 45836
1602.65/1607.78 c INPROCESSING
1602.65/1607.78 c GARBAGE COLLECT
1602.65/1607.78 c rational objective 2.00002
1657.78/1663.09 c #Conflicts: 1326000 | #Constraints: 23967
1657.78/1663.09 c #Conflicts: 1327000 | #Constraints: 24974
1657.78/1663.09 c #Conflicts: 1328000 | #Constraints: 25974
1657.78/1663.09 c #Conflicts: 1329000 | #Constraints: 26984
1657.78/1663.09 c #Conflicts: 1330000 | #Constraints: 27984
1657.78/1663.09 c #Conflicts: 1331000 | #Constraints: 28984
1657.78/1663.09 c #Conflicts: 1332000 | #Constraints: 29984
1657.78/1663.09 c #Conflicts: 1333000 | #Constraints: 30984
1657.78/1663.09 c #Conflicts: 1334000 | #Constraints: 31984
1657.78/1663.09 c #Conflicts: 1335000 | #Constraints: 32984
1657.78/1663.09 c #Conflicts: 1336000 | #Constraints: 33984
1657.78/1663.09 c #Conflicts: 1337000 | #Constraints: 34984
1657.78/1663.09 c #Conflicts: 1338000 | #Constraints: 35984
1657.78/1663.09 c #Conflicts: 1339000 | #Constraints: 36984
1657.78/1663.09 c #Conflicts: 1340000 | #Constraints: 37984
1657.78/1663.09 c #Conflicts: 1341000 | #Constraints: 38984
1657.78/1663.09 c #Conflicts: 1342000 | #Constraints: 39984
1657.78/1663.09 c #Conflicts: 1343000 | #Constraints: 40984
1657.78/1663.09 c #Conflicts: 1344000 | #Constraints: 41984
1657.78/1663.09 c #Conflicts: 1345000 | #Constraints: 42984
1657.78/1663.09 c #Conflicts: 1346000 | #Constraints: 43984
1657.78/1663.09 c #Conflicts: 1347000 | #Constraints: 44984
1657.78/1663.09 c #Conflicts: 1348000 | #Constraints: 45984
1657.78/1663.09 c INPROCESSING
1657.78/1663.09 c GARBAGE COLLECT
1657.78/1663.09 c rational objective 2.00002
1729.34/1734.90 c #Conflicts: 1349000 | #Constraints: 23942
1729.34/1734.90 c #Conflicts: 1350000 | #Constraints: 25071
1729.34/1734.90 c #Conflicts: 1351000 | #Constraints: 26179
1729.34/1734.90 c #Conflicts: 1352000 | #Constraints: 27274
1729.34/1734.90 c #Conflicts: 1353000 | #Constraints: 28405
1729.34/1734.90 c #Conflicts: 1354000 | #Constraints: 29505
1729.34/1734.90 c #Conflicts: 1355000 | #Constraints: 30637
1729.34/1734.90 c #Conflicts: 1356000 | #Constraints: 31793
1729.34/1734.90 c #Conflicts: 1357000 | #Constraints: 32894
1729.34/1734.90 c #Conflicts: 1358000 | #Constraints: 33986
1729.34/1734.90 c #Conflicts: 1359000 | #Constraints: 35091
1729.34/1734.90 c #Conflicts: 1360000 | #Constraints: 36193
1729.34/1734.90 c #Conflicts: 1361000 | #Constraints: 37297
1729.34/1734.90 c #Conflicts: 1362000 | #Constraints: 38337
1729.34/1734.90 c #Conflicts: 1363000 | #Constraints: 39337
1729.34/1734.90 c #Conflicts: 1364000 | #Constraints: 40337
1729.34/1734.90 c #Conflicts: 1365000 | #Constraints: 41337
1729.34/1734.90 c #Conflicts: 1366000 | #Constraints: 42337
1729.34/1734.90 c #Conflicts: 1367000 | #Constraints: 43337
1729.34/1734.90 c #Conflicts: 1368000 | #Constraints: 44337
1729.34/1734.90 c #Conflicts: 1369000 | #Constraints: 45337
1729.34/1734.90 c #Conflicts: 1370000 | #Constraints: 46337
1729.34/1734.90 c #Conflicts: 1371000 | #Constraints: 47337
1729.34/1734.90 c INPROCESSING
1729.34/1734.90 c GARBAGE COLLECT
1729.34/1734.90 c rational objective 2.0002
1793.60/1799.46 c #Conflicts: 1372000 | #Constraints: 24397
1793.60/1799.46 c #Conflicts: 1373000 | #Constraints: 25507
1793.60/1799.46 c #Conflicts: 1374000 | #Constraints: 26605
1793.60/1799.46 c #Conflicts: 1375000 | #Constraints: 27704
1793.60/1799.46 c #Conflicts: 1376000 | #Constraints: 28788
1793.60/1799.46 c #Conflicts: 1377000 | #Constraints: 29913
1793.60/1799.46 c #Conflicts: 1378000 | #Constraints: 30984
1793.60/1799.46 c #Conflicts: 1379000 | #Constraints: 32029
1793.60/1799.46 c #Conflicts: 1380000 | #Constraints: 33112
1793.60/1799.46 c #Conflicts: 1381000 | #Constraints: 34158
1793.60/1799.46 c #Conflicts: 1382000 | #Constraints: 35211
1793.60/1799.46 c #Conflicts: 1383000 | #Constraints: 36284
1793.60/1799.46 c #Conflicts: 1384000 | #Constraints: 37356
1793.60/1799.46 c #Conflicts: 1385000 | #Constraints: 38381
1793.60/1799.46 c #Conflicts: 1386000 | #Constraints: 39381
1793.60/1799.46 c #Conflicts: 1387000 | #Constraints: 40414
1793.60/1799.46 c #Conflicts: 1388000 | #Constraints: 41498
1793.60/1799.46 c #Conflicts: 1389000 | #Constraints: 42569
1793.60/1799.46 c #Conflicts: 1390000 | #Constraints: 43569
1793.60/1799.46 c #Conflicts: 1391000 | #Constraints: 44611
1793.60/1799.46 c #Conflicts: 1392000 | #Constraints: 45705
1793.60/1799.46 c #Conflicts: 1393000 | #Constraints: 46781
1793.60/1799.46 c #Conflicts: 1394000 | #Constraints: 47874
1793.60/1799.46 c #Conflicts: 1395000 | #Constraints: 48956
1793.60/1799.46 c INPROCESSING
1793.60/1799.46 c GARBAGE COLLECT
1793.60/1799.46 c rational objective 2.00033
1870.05/1876.15 c #Conflicts: 1396000 | #Constraints: 25417
1870.05/1876.15 c #Conflicts: 1397000 | #Constraints: 26459
1870.05/1876.15 c #Conflicts: 1398000 | #Constraints: 27506
1870.05/1876.15 c #Conflicts: 1399000 | #Constraints: 28547
1870.05/1876.15 c #Conflicts: 1400000 | #Constraints: 29581
1870.05/1876.15 c #Conflicts: 1401000 | #Constraints: 30591
1870.05/1876.15 c #Conflicts: 1402000 | #Constraints: 31591
1870.05/1876.15 c #Conflicts: 1403000 | #Constraints: 32591
1870.05/1876.15 c #Conflicts: 1404000 | #Constraints: 33616
1870.05/1876.15 c #Conflicts: 1405000 | #Constraints: 34672
1870.05/1876.15 c #Conflicts: 1406000 | #Constraints: 35711
1870.05/1876.15 c #Conflicts: 1407000 | #Constraints: 36805
1870.05/1876.15 c #Conflicts: 1408000 | #Constraints: 37837
1870.05/1876.15 c #Conflicts: 1409000 | #Constraints: 38870
1870.05/1876.15 c #Conflicts: 1410000 | #Constraints: 39891
1870.05/1876.15 c #Conflicts: 1411000 | #Constraints: 40895
1870.05/1876.15 c #Conflicts: 1412000 | #Constraints: 41895
1870.05/1876.15 c #Conflicts: 1413000 | #Constraints: 42930
1870.05/1876.15 c #Conflicts: 1414000 | #Constraints: 43948
1870.05/1876.15 c #Conflicts: 1415000 | #Constraints: 44983
1870.05/1876.15 c #Conflicts: 1416000 | #Constraints: 46050
1870.05/1876.15 c #Conflicts: 1417000 | #Constraints: 47087
1870.05/1876.15 c #Conflicts: 1418000 | #Constraints: 48139
1870.05/1876.15 c #Conflicts: 1419000 | #Constraints: 49179
1870.05/1876.15 c INPROCESSING
1870.05/1876.15 c GARBAGE COLLECT
1870.05/1876.15 c rational objective 2.00029
1940.90/1947.22 c #Conflicts: 1420000 | #Constraints: 25651
1940.90/1947.22 c #Conflicts: 1421000 | #Constraints: 26747
1940.90/1947.22 c #Conflicts: 1422000 | #Constraints: 27803
1940.90/1947.22 c #Conflicts: 1423000 | #Constraints: 28835
1940.90/1947.22 c #Conflicts: 1424000 | #Constraints: 29855
1940.90/1947.22 c #Conflicts: 1425000 | #Constraints: 30898
1940.90/1947.22 c #Conflicts: 1426000 | #Constraints: 31956
1940.90/1947.22 c #Conflicts: 1427000 | #Constraints: 32996
1940.90/1947.22 c #Conflicts: 1428000 | #Constraints: 34028
1940.90/1947.22 c #Conflicts: 1429000 | #Constraints: 35067
1940.90/1947.22 c #Conflicts: 1430000 | #Constraints: 36115
1940.90/1947.22 c #Conflicts: 1431000 | #Constraints: 37130
1940.90/1947.22 c #Conflicts: 1432000 | #Constraints: 38166
1940.90/1947.22 c #Conflicts: 1433000 | #Constraints: 39166
1940.90/1947.22 c #Conflicts: 1434000 | #Constraints: 40168
1940.90/1947.22 c #Conflicts: 1435000 | #Constraints: 41197
1940.90/1947.22 c #Conflicts: 1436000 | #Constraints: 42226
1940.90/1947.22 c #Conflicts: 1437000 | #Constraints: 43226
1940.90/1947.22 c #Conflicts: 1438000 | #Constraints: 44226
1940.90/1947.22 c #Conflicts: 1439000 | #Constraints: 45226
1940.90/1947.22 c #Conflicts: 1440000 | #Constraints: 46226
1940.90/1947.22 c #Conflicts: 1441000 | #Constraints: 47226
1940.90/1947.22 c #Conflicts: 1442000 | #Constraints: 48226
1940.90/1947.22 c #Conflicts: 1443000 | #Constraints: 49226
1940.90/1947.22 c INPROCESSING
1940.90/1947.22 c GARBAGE COLLECT
1940.90/1947.22 c rational objective 2.0003
2007.38/2013.93 c #Conflicts: 1444000 | #Constraints: 25665
2007.38/2013.93 c #Conflicts: 1445000 | #Constraints: 26681
2007.38/2013.93 c #Conflicts: 1446000 | #Constraints: 27681
2007.38/2013.93 c #Conflicts: 1447000 | #Constraints: 28681
2007.38/2013.93 c #Conflicts: 1448000 | #Constraints: 29681
2007.38/2013.93 c #Conflicts: 1449000 | #Constraints: 30681
2007.38/2013.93 c #Conflicts: 1450000 | #Constraints: 31681
2007.38/2013.93 c #Conflicts: 1451000 | #Constraints: 32681
2007.38/2013.93 c #Conflicts: 1452000 | #Constraints: 33681
2007.38/2013.93 c #Conflicts: 1453000 | #Constraints: 34681
2007.38/2013.93 c #Conflicts: 1454000 | #Constraints: 35681
2007.38/2013.93 c #Conflicts: 1455000 | #Constraints: 36681
2007.38/2013.93 c #Conflicts: 1456000 | #Constraints: 37681
2007.38/2013.93 c #Conflicts: 1457000 | #Constraints: 38681
2007.38/2013.93 c #Conflicts: 1458000 | #Constraints: 39681
2007.38/2013.93 c #Conflicts: 1459000 | #Constraints: 40681
2007.38/2013.93 c #Conflicts: 1460000 | #Constraints: 41681
2007.38/2013.93 c #Conflicts: 1461000 | #Constraints: 42681
2007.38/2013.93 c #Conflicts: 1462000 | #Constraints: 43681
2007.38/2013.93 c #Conflicts: 1463000 | #Constraints: 44681
2007.38/2013.93 c #Conflicts: 1464000 | #Constraints: 45681
2007.38/2013.93 c #Conflicts: 1465000 | #Constraints: 46681
2007.38/2013.93 c #Conflicts: 1466000 | #Constraints: 47681
2007.38/2013.93 c #Conflicts: 1467000 | #Constraints: 48681
2007.38/2013.93 c INPROCESSING
2007.38/2013.93 c GARBAGE COLLECT
2007.38/2013.93 c rational objective 2.00013
2078.45/2085.26 c #Conflicts: 1468000 | #Constraints: 25304
2078.45/2085.26 c #Conflicts: 1469000 | #Constraints: 26390
2078.45/2085.26 c #Conflicts: 1470000 | #Constraints: 27480
2078.45/2085.26 c #Conflicts: 1471000 | #Constraints: 28562
2078.45/2085.26 c #Conflicts: 1472000 | #Constraints: 29673
2078.45/2085.26 c #Conflicts: 1473000 | #Constraints: 30774
2078.45/2085.26 c #Conflicts: 1474000 | #Constraints: 31885
2078.45/2085.26 c #Conflicts: 1475000 | #Constraints: 32950
2078.45/2085.26 c #Conflicts: 1476000 | #Constraints: 34015
2078.45/2085.26 c #Conflicts: 1477000 | #Constraints: 35095
2078.45/2085.26 c #Conflicts: 1478000 | #Constraints: 36230
2078.45/2085.26 c #Conflicts: 1479000 | #Constraints: 37324
2078.45/2085.26 c #Conflicts: 1480000 | #Constraints: 38389
2078.45/2085.26 c #Conflicts: 1481000 | #Constraints: 39485
2078.45/2085.26 c #Conflicts: 1482000 | #Constraints: 40486
2078.45/2085.26 c #Conflicts: 1483000 | #Constraints: 41563
2078.45/2085.26 c #Conflicts: 1484000 | #Constraints: 42649
2078.45/2085.26 c #Conflicts: 1485000 | #Constraints: 43711
2078.45/2085.26 c #Conflicts: 1486000 | #Constraints: 44795
2078.45/2085.26 c #Conflicts: 1487000 | #Constraints: 45903
2078.45/2085.26 c #Conflicts: 1488000 | #Constraints: 47002
2078.45/2085.26 c #Conflicts: 1489000 | #Constraints: 48081
2078.45/2085.26 c #Conflicts: 1490000 | #Constraints: 49085
2078.45/2085.26 c #Conflicts: 1491000 | #Constraints: 50213
2078.45/2085.26 c INPROCESSING
2078.45/2085.26 c GARBAGE COLLECT
2078.45/2085.26 c rational objective 2.00001
2149.41/2156.46 c #Conflicts: 1492000 | #Constraints: 25838
2149.41/2156.46 c #Conflicts: 1493000 | #Constraints: 26838
2149.41/2156.46 c #Conflicts: 1494000 | #Constraints: 27855
2149.41/2156.46 c #Conflicts: 1495000 | #Constraints: 28867
2149.41/2156.46 c #Conflicts: 1496000 | #Constraints: 29867
2149.41/2156.46 c #Conflicts: 1497000 | #Constraints: 30867
2149.41/2156.46 c #Conflicts: 1498000 | #Constraints: 31867
2149.41/2156.46 c #Conflicts: 1499000 | #Constraints: 32867
2149.41/2156.46 c #Conflicts: 1500000 | #Constraints: 33889
2149.41/2156.46 c #Conflicts: 1501000 | #Constraints: 34889
2149.41/2156.46 c #Conflicts: 1502000 | #Constraints: 35898
2149.41/2156.46 c #Conflicts: 1503000 | #Constraints: 36903
2149.41/2156.46 c #Conflicts: 1504000 | #Constraints: 37917
2149.41/2156.46 c #Conflicts: 1505000 | #Constraints: 38955
2149.41/2156.46 c #Conflicts: 1506000 | #Constraints: 39992
2149.41/2156.46 c #Conflicts: 1507000 | #Constraints: 41032
2149.41/2156.46 c #Conflicts: 1508000 | #Constraints: 42093
2149.41/2156.46 c #Conflicts: 1509000 | #Constraints: 43136
2149.41/2156.46 c #Conflicts: 1510000 | #Constraints: 44187
2149.41/2156.46 c #Conflicts: 1511000 | #Constraints: 45187
2149.41/2156.46 c #Conflicts: 1512000 | #Constraints: 46187
2149.41/2156.46 c #Conflicts: 1513000 | #Constraints: 47187
2149.41/2156.46 c #Conflicts: 1514000 | #Constraints: 48217
2149.41/2156.46 c #Conflicts: 1515000 | #Constraints: 49295
2149.41/2156.46 c #Conflicts: 1516000 | #Constraints: 50374
2149.41/2156.46 c INPROCESSING
2149.41/2156.46 c GARBAGE COLLECT
2149.41/2156.46 c rational objective 1.99999
2221.66/2228.91 c #Conflicts: 1517000 | #Constraints: 26109
2221.66/2228.91 c #Conflicts: 1518000 | #Constraints: 27122
2221.66/2228.91 c #Conflicts: 1519000 | #Constraints: 28132
2221.66/2228.91 c #Conflicts: 1520000 | #Constraints: 29167
2221.66/2228.91 c #Conflicts: 1521000 | #Constraints: 30167
2221.66/2228.91 c #Conflicts: 1522000 | #Constraints: 31216
2221.66/2228.91 c #Conflicts: 1523000 | #Constraints: 32249
2221.66/2228.91 c #Conflicts: 1524000 | #Constraints: 33249
2221.66/2228.91 c #Conflicts: 1525000 | #Constraints: 34249
2221.66/2228.91 c #Conflicts: 1526000 | #Constraints: 35251
2221.66/2228.91 c #Conflicts: 1527000 | #Constraints: 36266
2221.66/2228.91 c #Conflicts: 1528000 | #Constraints: 37295
2221.66/2228.91 c #Conflicts: 1529000 | #Constraints: 38335
2221.66/2228.91 c #Conflicts: 1530000 | #Constraints: 39377
2221.66/2228.91 c #Conflicts: 1531000 | #Constraints: 40388
2221.66/2228.91 c #Conflicts: 1532000 | #Constraints: 41419
2221.66/2228.91 c #Conflicts: 1533000 | #Constraints: 42452
2221.66/2228.91 c #Conflicts: 1534000 | #Constraints: 43455
2221.66/2228.91 c #Conflicts: 1535000 | #Constraints: 44487
2221.66/2228.91 c #Conflicts: 1536000 | #Constraints: 45526
2221.66/2228.91 c #Conflicts: 1537000 | #Constraints: 46582
2221.66/2228.91 c #Conflicts: 1538000 | #Constraints: 47638
2221.66/2228.91 c #Conflicts: 1539000 | #Constraints: 48699
2221.66/2228.91 c #Conflicts: 1540000 | #Constraints: 49718
2221.66/2228.91 c #Conflicts: 1541000 | #Constraints: 50775
2221.66/2228.91 c INPROCESSING
2221.66/2228.91 c GARBAGE COLLECT
2221.66/2228.91 c rational objective 2.04942
2289.94/2297.44 c #Conflicts: 1542000 | #Constraints: 26470
2289.94/2297.44 c #Conflicts: 1543000 | #Constraints: 27487
2289.94/2297.44 c #Conflicts: 1544000 | #Constraints: 28506
2289.94/2297.44 c #Conflicts: 1545000 | #Constraints: 29529
2289.94/2297.44 c #Conflicts: 1546000 | #Constraints: 30543
2289.94/2297.44 c #Conflicts: 1547000 | #Constraints: 31573
2289.94/2297.44 c #Conflicts: 1548000 | #Constraints: 32610
2289.94/2297.44 c #Conflicts: 1549000 | #Constraints: 33629
2289.94/2297.44 c #Conflicts: 1550000 | #Constraints: 34645
2289.94/2297.44 c #Conflicts: 1551000 | #Constraints: 35679
2289.94/2297.44 c #Conflicts: 1552000 | #Constraints: 36733
2289.94/2297.44 c #Conflicts: 1553000 | #Constraints: 37760
2289.94/2297.44 c #Conflicts: 1554000 | #Constraints: 38793
2289.94/2297.44 c #Conflicts: 1555000 | #Constraints: 39841
2289.94/2297.44 c #Conflicts: 1556000 | #Constraints: 40865
2289.94/2297.44 c #Conflicts: 1557000 | #Constraints: 41901
2289.94/2297.44 c #Conflicts: 1558000 | #Constraints: 42941
2289.94/2297.44 c #Conflicts: 1559000 | #Constraints: 44010
2289.94/2297.44 c #Conflicts: 1560000 | #Constraints: 45033
2289.94/2297.44 c #Conflicts: 1561000 | #Constraints: 46076
2289.94/2297.44 c #Conflicts: 1562000 | #Constraints: 47116
2289.94/2297.44 c #Conflicts: 1563000 | #Constraints: 48116
2289.94/2297.44 c #Conflicts: 1564000 | #Constraints: 49142
2289.94/2297.44 c #Conflicts: 1565000 | #Constraints: 50150
2289.94/2297.44 c #Conflicts: 1566000 | #Constraints: 51173
2289.94/2297.44 c INPROCESSING
2289.94/2297.44 c GARBAGE COLLECT
2289.94/2297.44 c rational objective 2.05128
2372.27/2380.00 c #Conflicts: 1567000 | #Constraints: 26605
2372.27/2380.00 c #Conflicts: 1568000 | #Constraints: 27605
2372.27/2380.00 c #Conflicts: 1569000 | #Constraints: 28617
2372.27/2380.00 c #Conflicts: 1570000 | #Constraints: 29656
2372.27/2380.00 c #Conflicts: 1571000 | #Constraints: 30702
2372.27/2380.00 c #Conflicts: 1572000 | #Constraints: 31746
2372.27/2380.00 c #Conflicts: 1573000 | #Constraints: 32787
2372.27/2380.00 c #Conflicts: 1574000 | #Constraints: 33869
2372.27/2380.00 c #Conflicts: 1575000 | #Constraints: 34924
2372.27/2380.00 c #Conflicts: 1576000 | #Constraints: 35969
2372.27/2380.00 c #Conflicts: 1577000 | #Constraints: 37008
2372.27/2380.00 c #Conflicts: 1578000 | #Constraints: 38068
2372.27/2380.00 c #Conflicts: 1579000 | #Constraints: 39104
2372.27/2380.00 c #Conflicts: 1580000 | #Constraints: 40126
2372.27/2380.00 c #Conflicts: 1581000 | #Constraints: 41156
2372.27/2380.00 c #Conflicts: 1582000 | #Constraints: 42182
2372.27/2380.00 c #Conflicts: 1583000 | #Constraints: 43193
2372.27/2380.00 c #Conflicts: 1584000 | #Constraints: 44222
2372.27/2380.00 c #Conflicts: 1585000 | #Constraints: 45258
2372.27/2380.00 c #Conflicts: 1586000 | #Constraints: 46301
2372.27/2380.00 c #Conflicts: 1587000 | #Constraints: 47337
2372.27/2380.00 c #Conflicts: 1588000 | #Constraints: 48373
2372.27/2380.00 c #Conflicts: 1589000 | #Constraints: 49409
2372.27/2380.00 c #Conflicts: 1590000 | #Constraints: 50429
2372.27/2380.00 c #Conflicts: 1591000 | #Constraints: 51471
2372.27/2380.00 c INPROCESSING
2372.27/2380.00 c GARBAGE COLLECT
2372.27/2380.00 c rational objective 2.00001
2450.70/2458.76 c #Conflicts: 1592000 | #Constraints: 26661
2450.70/2458.76 c #Conflicts: 1593000 | #Constraints: 27661
2450.70/2458.76 c #Conflicts: 1594000 | #Constraints: 28683
2450.70/2458.76 c #Conflicts: 1595000 | #Constraints: 29713
2450.70/2458.76 c #Conflicts: 1596000 | #Constraints: 30713
2450.70/2458.76 c #Conflicts: 1597000 | #Constraints: 31733
2450.70/2458.76 c #Conflicts: 1598000 | #Constraints: 32777
2450.70/2458.76 c #Conflicts: 1599000 | #Constraints: 33784
2450.70/2458.76 c #Conflicts: 1600000 | #Constraints: 34808
2450.70/2458.76 c #Conflicts: 1601000 | #Constraints: 35846
2450.70/2458.76 c #Conflicts: 1602000 | #Constraints: 36890
2450.70/2458.76 c #Conflicts: 1603000 | #Constraints: 37913
2450.70/2458.76 c #Conflicts: 1604000 | #Constraints: 38939
2450.70/2458.76 c #Conflicts: 1605000 | #Constraints: 39971
2450.70/2458.76 c #Conflicts: 1606000 | #Constraints: 41011
2450.70/2458.76 c #Conflicts: 1607000 | #Constraints: 42032
2450.70/2458.76 c #Conflicts: 1608000 | #Constraints: 43032
2450.70/2458.76 c #Conflicts: 1609000 | #Constraints: 44050
2450.70/2458.76 c #Conflicts: 1610000 | #Constraints: 45097
2450.70/2458.76 c #Conflicts: 1611000 | #Constraints: 46120
2450.70/2458.76 c #Conflicts: 1612000 | #Constraints: 47135
2450.70/2458.76 c #Conflicts: 1613000 | #Constraints: 48135
2450.70/2458.76 c #Conflicts: 1614000 | #Constraints: 49157
2450.70/2458.76 c #Conflicts: 1615000 | #Constraints: 50195
2450.70/2458.76 c #Conflicts: 1616000 | #Constraints: 51227
2450.70/2458.76 c INPROCESSING
2450.70/2458.76 c GARBAGE COLLECT
2450.70/2458.76 c rational objective 2
2525.34/2533.68 c #Conflicts: 1617000 | #Constraints: 26342
2525.34/2533.68 c #Conflicts: 1618000 | #Constraints: 27368
2525.34/2533.68 c #Conflicts: 1619000 | #Constraints: 28392
2525.34/2533.68 c #Conflicts: 1620000 | #Constraints: 29404
2525.34/2533.68 c #Conflicts: 1621000 | #Constraints: 30428
2525.34/2533.68 c #Conflicts: 1622000 | #Constraints: 31430
2525.34/2533.68 c #Conflicts: 1623000 | #Constraints: 32437
2525.34/2533.68 c #Conflicts: 1624000 | #Constraints: 33437
2525.34/2533.68 c #Conflicts: 1625000 | #Constraints: 34437
2525.34/2533.68 c #Conflicts: 1626000 | #Constraints: 35437
2525.34/2533.68 c #Conflicts: 1627000 | #Constraints: 36437
2525.34/2533.68 c #Conflicts: 1628000 | #Constraints: 37437
2525.34/2533.68 c #Conflicts: 1629000 | #Constraints: 38437
2525.34/2533.68 c #Conflicts: 1630000 | #Constraints: 39437
2525.34/2533.68 c #Conflicts: 1631000 | #Constraints: 40437
2525.34/2533.68 c #Conflicts: 1632000 | #Constraints: 41437
2525.34/2533.68 c #Conflicts: 1633000 | #Constraints: 42437
2525.34/2533.68 c #Conflicts: 1634000 | #Constraints: 43437
2525.34/2533.68 c #Conflicts: 1635000 | #Constraints: 44437
2525.34/2533.68 c #Conflicts: 1636000 | #Constraints: 45437
2525.34/2533.68 c #Conflicts: 1637000 | #Constraints: 46437
2525.34/2533.68 c #Conflicts: 1638000 | #Constraints: 47437
2525.34/2533.68 c #Conflicts: 1639000 | #Constraints: 48437
2525.34/2533.68 c #Conflicts: 1640000 | #Constraints: 49437
2525.34/2533.68 c #Conflicts: 1641000 | #Constraints: 50437
2525.34/2533.68 c #Conflicts: 1642000 | #Constraints: 51437
2525.34/2533.68 c INPROCESSING
2525.34/2533.68 c GARBAGE COLLECT
2525.34/2533.68 c rational objective 2.00008
2600.86/2609.41 c #Conflicts: 1643000 | #Constraints: 26632
2600.86/2609.41 c #Conflicts: 1644000 | #Constraints: 27661
2600.86/2609.41 c #Conflicts: 1645000 | #Constraints: 28672
2600.86/2609.41 c #Conflicts: 1646000 | #Constraints: 29691
2600.86/2609.41 c #Conflicts: 1647000 | #Constraints: 30691
2600.86/2609.41 c #Conflicts: 1648000 | #Constraints: 31701
2600.86/2609.41 c #Conflicts: 1649000 | #Constraints: 32715
2600.86/2609.41 c #Conflicts: 1650000 | #Constraints: 33730
2600.86/2609.41 c #Conflicts: 1651000 | #Constraints: 34741
2600.86/2609.41 c #Conflicts: 1652000 | #Constraints: 35763
2600.86/2609.41 c #Conflicts: 1653000 | #Constraints: 36784
2600.86/2609.41 c #Conflicts: 1654000 | #Constraints: 37807
2600.86/2609.41 c #Conflicts: 1655000 | #Constraints: 38818
2600.86/2609.41 c #Conflicts: 1656000 | #Constraints: 39832
2600.86/2609.41 c #Conflicts: 1657000 | #Constraints: 40853
2600.86/2609.41 c #Conflicts: 1658000 | #Constraints: 41867
2600.86/2609.41 c #Conflicts: 1659000 | #Constraints: 42896
2600.86/2609.41 c #Conflicts: 1660000 | #Constraints: 43913
2600.86/2609.41 c #Conflicts: 1661000 | #Constraints: 44921
2600.86/2609.41 c #Conflicts: 1662000 | #Constraints: 45921
2600.86/2609.41 c #Conflicts: 1663000 | #Constraints: 46921
2600.86/2609.41 c #Conflicts: 1664000 | #Constraints: 47921
2600.86/2609.41 c #Conflicts: 1665000 | #Constraints: 48921
2600.86/2609.41 c #Conflicts: 1666000 | #Constraints: 49936
2600.86/2609.41 c #Conflicts: 1667000 | #Constraints: 50954
2600.86/2609.41 c #Conflicts: 1668000 | #Constraints: 51954
2600.86/2609.41 c INPROCESSING
2600.86/2609.41 c GARBAGE COLLECT
2600.86/2609.41 c rational objective 2.00103
2686.16/2695.02 c #Conflicts: 1669000 | #Constraints: 27019
2686.16/2695.02 c #Conflicts: 1670000 | #Constraints: 28037
2686.16/2695.02 c #Conflicts: 1671000 | #Constraints: 29045
2686.16/2695.02 c #Conflicts: 1672000 | #Constraints: 30065
2686.16/2695.02 c #Conflicts: 1673000 | #Constraints: 31073
2686.16/2695.02 c #Conflicts: 1674000 | #Constraints: 32087
2686.16/2695.02 c #Conflicts: 1675000 | #Constraints: 33098
2686.16/2695.02 c #Conflicts: 1676000 | #Constraints: 34124
2686.16/2695.02 c #Conflicts: 1677000 | #Constraints: 35147
2686.16/2695.02 c #Conflicts: 1678000 | #Constraints: 36154
2686.16/2695.02 c #Conflicts: 1679000 | #Constraints: 37155
2686.16/2695.02 c #Conflicts: 1680000 | #Constraints: 38157
2686.16/2695.02 c #Conflicts: 1681000 | #Constraints: 39168
2686.16/2695.02 c #Conflicts: 1682000 | #Constraints: 40182
2686.16/2695.02 c #Conflicts: 1683000 | #Constraints: 41205
2686.16/2695.02 c #Conflicts: 1684000 | #Constraints: 42213
2686.16/2695.02 c #Conflicts: 1685000 | #Constraints: 43227
2686.16/2695.02 c #Conflicts: 1686000 | #Constraints: 44238
2686.16/2695.02 c #Conflicts: 1687000 | #Constraints: 45238
2686.16/2695.02 c #Conflicts: 1688000 | #Constraints: 46238
2686.16/2695.02 c #Conflicts: 1689000 | #Constraints: 47254
2686.16/2695.02 c #Conflicts: 1690000 | #Constraints: 48278
2686.16/2695.02 c #Conflicts: 1691000 | #Constraints: 49323
2686.16/2695.02 c #Conflicts: 1692000 | #Constraints: 50344
2686.16/2695.02 c #Conflicts: 1693000 | #Constraints: 51347
2686.16/2695.02 c #Conflicts: 1694000 | #Constraints: 52367
2686.16/2695.02 c INPROCESSING
2686.16/2695.02 c GARBAGE COLLECT
2686.16/2695.02 c rational objective 2.00258
2768.45/2777.61 c #Conflicts: 1695000 | #Constraints: 27201
2768.45/2777.61 c #Conflicts: 1696000 | #Constraints: 28226
2768.45/2777.61 c #Conflicts: 1697000 | #Constraints: 29229
2768.45/2777.61 c #Conflicts: 1698000 | #Constraints: 30238
2768.45/2777.61 c #Conflicts: 1699000 | #Constraints: 31268
2768.45/2777.61 c #Conflicts: 1700000 | #Constraints: 32285
2768.45/2777.61 c #Conflicts: 1701000 | #Constraints: 33293
2768.45/2777.61 c #Conflicts: 1702000 | #Constraints: 34298
2768.45/2777.61 c #Conflicts: 1703000 | #Constraints: 35298
2768.45/2777.61 c #Conflicts: 1704000 | #Constraints: 36304
2768.45/2777.61 c #Conflicts: 1705000 | #Constraints: 37307
2768.45/2777.61 c #Conflicts: 1706000 | #Constraints: 38329
2768.45/2777.61 c #Conflicts: 1707000 | #Constraints: 39340
2768.45/2777.61 c #Conflicts: 1708000 | #Constraints: 40348
2768.45/2777.61 c #Conflicts: 1709000 | #Constraints: 41366
2768.45/2777.61 c #Conflicts: 1710000 | #Constraints: 42392
2768.45/2777.61 c #Conflicts: 1711000 | #Constraints: 43404
2768.45/2777.61 c #Conflicts: 1712000 | #Constraints: 44405
2768.45/2777.61 c #Conflicts: 1713000 | #Constraints: 45405
2768.45/2777.61 c #Conflicts: 1714000 | #Constraints: 46420
2768.45/2777.61 c #Conflicts: 1715000 | #Constraints: 47441
2768.45/2777.61 c #Conflicts: 1716000 | #Constraints: 48454
2768.45/2777.61 c #Conflicts: 1717000 | #Constraints: 49479
2768.45/2777.61 c #Conflicts: 1718000 | #Constraints: 50510
2768.45/2777.61 c #Conflicts: 1719000 | #Constraints: 51538
2768.45/2777.61 c #Conflicts: 1720000 | #Constraints: 52566
2768.45/2777.61 c INPROCESSING
2768.45/2777.61 c GARBAGE COLLECT
2768.45/2777.61 c rational objective 2.10672
2846.69/2856.12 c #Conflicts: 1721000 | #Constraints: 27200
2846.69/2856.12 c #Conflicts: 1722000 | #Constraints: 28220
2846.69/2856.12 c #Conflicts: 1723000 | #Constraints: 29248
2846.69/2856.12 c #Conflicts: 1724000 | #Constraints: 30248
2846.69/2856.12 c #Conflicts: 1725000 | #Constraints: 31248
2846.69/2856.12 c #Conflicts: 1726000 | #Constraints: 32248
2846.69/2856.12 c #Conflicts: 1727000 | #Constraints: 33258
2846.69/2856.12 c #Conflicts: 1728000 | #Constraints: 34276
2846.69/2856.12 c #Conflicts: 1729000 | #Constraints: 35289
2846.69/2856.12 c #Conflicts: 1730000 | #Constraints: 36310
2846.69/2856.12 c #Conflicts: 1731000 | #Constraints: 37310
2846.69/2856.12 c #Conflicts: 1732000 | #Constraints: 38320
2846.69/2856.12 c #Conflicts: 1733000 | #Constraints: 39350
2846.69/2856.12 c #Conflicts: 1734000 | #Constraints: 40365
2846.69/2856.12 c #Conflicts: 1735000 | #Constraints: 41378
2846.69/2856.12 c #Conflicts: 1736000 | #Constraints: 42395
2846.69/2856.12 c #Conflicts: 1737000 | #Constraints: 43395
2846.69/2856.12 c #Conflicts: 1738000 | #Constraints: 44409
2846.69/2856.12 c #Conflicts: 1739000 | #Constraints: 45420
2846.69/2856.12 c #Conflicts: 1740000 | #Constraints: 46420
2846.69/2856.12 c #Conflicts: 1741000 | #Constraints: 47426
2846.69/2856.12 c #Conflicts: 1742000 | #Constraints: 48433
2846.69/2856.12 c #Conflicts: 1743000 | #Constraints: 49440
2846.69/2856.12 c #Conflicts: 1744000 | #Constraints: 50448
2846.69/2856.12 c #Conflicts: 1745000 | #Constraints: 51462
2846.69/2856.12 c #Conflicts: 1746000 | #Constraints: 52468
2846.69/2856.12 c INPROCESSING
2846.69/2856.12 c GARBAGE COLLECT
2846.69/2856.12 c rational objective 2
2926.33/2936.06 c #Conflicts: 1747000 | #Constraints: 26948
2926.33/2936.06 c #Conflicts: 1748000 | #Constraints: 27951
2926.33/2936.06 c #Conflicts: 1749000 | #Constraints: 28951
2926.33/2936.06 c #Conflicts: 1750000 | #Constraints: 29959
2926.33/2936.06 c #Conflicts: 1751000 | #Constraints: 30986
2926.33/2936.06 c #Conflicts: 1752000 | #Constraints: 32019
2926.33/2936.06 c #Conflicts: 1753000 | #Constraints: 33028
2926.33/2936.06 c #Conflicts: 1754000 | #Constraints: 34034
2926.33/2936.06 c #Conflicts: 1755000 | #Constraints: 35053
2926.33/2936.06 c #Conflicts: 1756000 | #Constraints: 36077
2926.33/2936.06 c #Conflicts: 1757000 | #Constraints: 37106
2926.33/2936.06 c #Conflicts: 1758000 | #Constraints: 38137
2926.33/2936.06 c #Conflicts: 1759000 | #Constraints: 39145
2926.33/2936.06 c #Conflicts: 1760000 | #Constraints: 40163
2926.33/2936.06 c #Conflicts: 1761000 | #Constraints: 41180
2926.33/2936.06 c #Conflicts: 1762000 | #Constraints: 42208
2926.33/2936.06 c #Conflicts: 1763000 | #Constraints: 43230
2926.33/2936.06 c #Conflicts: 1764000 | #Constraints: 44230
2926.33/2936.06 c #Conflicts: 1765000 | #Constraints: 45231
2926.33/2936.06 c #Conflicts: 1766000 | #Constraints: 46231
2926.33/2936.06 c #Conflicts: 1767000 | #Constraints: 47237
2926.33/2936.06 c #Conflicts: 1768000 | #Constraints: 48259
2926.33/2936.06 c #Conflicts: 1769000 | #Constraints: 49259
2926.33/2936.06 c #Conflicts: 1770000 | #Constraints: 50273
2926.33/2936.06 c #Conflicts: 1771000 | #Constraints: 51273
2926.33/2936.06 c #Conflicts: 1772000 | #Constraints: 52273
2926.33/2936.06 c #Conflicts: 1773000 | #Constraints: 53273
2926.33/2936.06 c INPROCESSING
2926.33/2936.06 c GARBAGE COLLECT
2926.33/2936.06 c rational objective 1.99998
3005.06/3015.07 c #Conflicts: 1774000 | #Constraints: 27568
3005.06/3015.07 c #Conflicts: 1775000 | #Constraints: 28574
3005.06/3015.07 c #Conflicts: 1776000 | #Constraints: 29594
3005.06/3015.07 c #Conflicts: 1777000 | #Constraints: 30608
3005.06/3015.07 c #Conflicts: 1778000 | #Constraints: 31625
3005.06/3015.07 c #Conflicts: 1779000 | #Constraints: 32628
3005.06/3015.07 c #Conflicts: 1780000 | #Constraints: 33628
3005.06/3015.07 c #Conflicts: 1781000 | #Constraints: 34643
3005.06/3015.07 c #Conflicts: 1782000 | #Constraints: 35659
3005.06/3015.07 c #Conflicts: 1783000 | #Constraints: 36664
3005.06/3015.07 c #Conflicts: 1784000 | #Constraints: 37691
3005.06/3015.07 c #Conflicts: 1785000 | #Constraints: 38709
3005.06/3015.07 c #Conflicts: 1786000 | #Constraints: 39735
3005.06/3015.07 c #Conflicts: 1787000 | #Constraints: 40765
3005.06/3015.07 c #Conflicts: 1788000 | #Constraints: 41780
3005.06/3015.07 c #Conflicts: 1789000 | #Constraints: 42791
3005.06/3015.07 c #Conflicts: 1790000 | #Constraints: 43795
3005.06/3015.07 c #Conflicts: 1791000 | #Constraints: 44829
3005.06/3015.07 c #Conflicts: 1792000 | #Constraints: 45851
3005.06/3015.07 c #Conflicts: 1793000 | #Constraints: 46874
3005.06/3015.07 c #Conflicts: 1794000 | #Constraints: 47883
3005.06/3015.07 c #Conflicts: 1795000 | #Constraints: 48883
3005.06/3015.07 c #Conflicts: 1796000 | #Constraints: 49883
3005.06/3015.07 c #Conflicts: 1797000 | #Constraints: 50886
3005.06/3015.07 c #Conflicts: 1798000 | #Constraints: 51933
3005.06/3015.07 c #Conflicts: 1799000 | #Constraints: 52973
3005.06/3015.07 c #Conflicts: 1800000 | #Constraints: 54038
3005.06/3015.07 c INPROCESSING
3005.06/3015.07 c GARBAGE COLLECT
3005.06/3015.07 c rational objective 2.00008
3089.97/3100.22 c #Conflicts: 1801000 | #Constraints: 28029
3089.97/3100.22 c #Conflicts: 1802000 | #Constraints: 29029
3089.97/3100.22 c #Conflicts: 1803000 | #Constraints: 30063
3089.97/3100.22 c #Conflicts: 1804000 | #Constraints: 31078
3089.97/3100.22 c #Conflicts: 1805000 | #Constraints: 32100
3089.97/3100.22 c #Conflicts: 1806000 | #Constraints: 33100
3089.97/3100.22 c #Conflicts: 1807000 | #Constraints: 34100
3089.97/3100.22 c #Conflicts: 1808000 | #Constraints: 35100
3089.97/3100.22 c #Conflicts: 1809000 | #Constraints: 36100
3089.97/3100.22 c #Conflicts: 1810000 | #Constraints: 37118
3089.97/3100.22 c #Conflicts: 1811000 | #Constraints: 38143
3089.97/3100.22 c #Conflicts: 1812000 | #Constraints: 39143
3089.97/3100.22 c #Conflicts: 1813000 | #Constraints: 40143
3089.97/3100.22 c #Conflicts: 1814000 | #Constraints: 41143
3089.97/3100.22 c #Conflicts: 1815000 | #Constraints: 42143
3089.97/3100.22 c #Conflicts: 1816000 | #Constraints: 43165
3089.97/3100.22 c #Conflicts: 1817000 | #Constraints: 44201
3089.97/3100.22 c #Conflicts: 1818000 | #Constraints: 45212
3089.97/3100.22 c #Conflicts: 1819000 | #Constraints: 46212
3089.97/3100.22 c #Conflicts: 1820000 | #Constraints: 47240
3089.97/3100.22 c #Conflicts: 1821000 | #Constraints: 48253
3089.97/3100.22 c #Conflicts: 1822000 | #Constraints: 49257
3089.97/3100.22 c #Conflicts: 1823000 | #Constraints: 50285
3089.97/3100.22 c #Conflicts: 1824000 | #Constraints: 51303
3089.97/3100.22 c #Conflicts: 1825000 | #Constraints: 52321
3089.97/3100.22 c #Conflicts: 1826000 | #Constraints: 53329
3089.97/3100.22 c #Conflicts: 1827000 | #Constraints: 54345
3089.97/3100.22 c INPROCESSING
3089.97/3100.22 c GARBAGE COLLECT
3089.97/3100.22 c rational objective 2.08919
3169.81/3180.38 c #Conflicts: 1828000 | #Constraints: 28178
3169.81/3180.38 c #Conflicts: 1829000 | #Constraints: 29192
3169.81/3180.38 c #Conflicts: 1830000 | #Constraints: 30213
3169.81/3180.38 c #Conflicts: 1831000 | #Constraints: 31242
3169.81/3180.38 c #Conflicts: 1832000 | #Constraints: 32265
3169.81/3180.38 c #Conflicts: 1833000 | #Constraints: 33282
3169.81/3180.38 c #Conflicts: 1834000 | #Constraints: 34291
3169.81/3180.38 c #Conflicts: 1835000 | #Constraints: 35291
3169.81/3180.38 c #Conflicts: 1836000 | #Constraints: 36306
3169.81/3180.38 c #Conflicts: 1837000 | #Constraints: 37357
3169.81/3180.38 c #Conflicts: 1838000 | #Constraints: 38384
3169.81/3180.38 c #Conflicts: 1839000 | #Constraints: 39413
3169.81/3180.38 c #Conflicts: 1840000 | #Constraints: 40449
3169.81/3180.38 c #Conflicts: 1841000 | #Constraints: 41482
3169.81/3180.38 c #Conflicts: 1842000 | #Constraints: 42501
3169.81/3180.38 c #Conflicts: 1843000 | #Constraints: 43516
3169.81/3180.38 c #Conflicts: 1844000 | #Constraints: 44546
3169.81/3180.38 c #Conflicts: 1845000 | #Constraints: 45549
3169.81/3180.38 c #Conflicts: 1846000 | #Constraints: 46567
3169.81/3180.38 c #Conflicts: 1847000 | #Constraints: 47584
3169.81/3180.38 c #Conflicts: 1848000 | #Constraints: 48630
3169.81/3180.38 c #Conflicts: 1849000 | #Constraints: 49650
3169.81/3180.38 c #Conflicts: 1850000 | #Constraints: 50673
3169.81/3180.38 c #Conflicts: 1851000 | #Constraints: 51684
3169.81/3180.38 c #Conflicts: 1852000 | #Constraints: 52684
3169.81/3180.38 c #Conflicts: 1853000 | #Constraints: 53684
3169.81/3180.38 c #Conflicts: 1854000 | #Constraints: 54699
3169.81/3180.38 c INPROCESSING
3169.81/3180.38 c GARBAGE COLLECT
3169.81/3180.38 c rational objective 2.09037
3257.22/3268.02 c #Conflicts: 1855000 | #Constraints: 28256
3257.22/3268.02 c #Conflicts: 1856000 | #Constraints: 29256
3257.22/3268.02 c #Conflicts: 1857000 | #Constraints: 30274
3257.22/3268.02 c #Conflicts: 1858000 | #Constraints: 31284
3257.22/3268.02 c #Conflicts: 1859000 | #Constraints: 32284
3257.22/3268.02 c #Conflicts: 1860000 | #Constraints: 33284
3257.22/3268.02 c #Conflicts: 1861000 | #Constraints: 34299
3257.22/3268.02 c #Conflicts: 1862000 | #Constraints: 35310
3257.22/3268.02 c #Conflicts: 1863000 | #Constraints: 36328
3257.22/3268.02 c #Conflicts: 1864000 | #Constraints: 37328
3257.22/3268.02 c #Conflicts: 1865000 | #Constraints: 38328
3257.22/3268.02 c #Conflicts: 1866000 | #Constraints: 39338
3257.22/3268.02 c #Conflicts: 1867000 | #Constraints: 40338
3257.22/3268.02 c #Conflicts: 1868000 | #Constraints: 41340
3257.22/3268.02 c #Conflicts: 1869000 | #Constraints: 42358
3257.22/3268.02 c #Conflicts: 1870000 | #Constraints: 43368
3257.22/3268.02 c #Conflicts: 1871000 | #Constraints: 44383
3257.22/3268.02 c #Conflicts: 1872000 | #Constraints: 45390
3257.22/3268.02 c #Conflicts: 1873000 | #Constraints: 46390
3257.22/3268.02 c #Conflicts: 1874000 | #Constraints: 47400
3257.22/3268.02 c #Conflicts: 1875000 | #Constraints: 48412
3257.22/3268.02 c #Conflicts: 1876000 | #Constraints: 49421
3257.22/3268.02 c #Conflicts: 1877000 | #Constraints: 50438
3257.22/3268.02 c #Conflicts: 1878000 | #Constraints: 51454
3257.22/3268.02 c #Conflicts: 1879000 | #Constraints: 52463
3257.22/3268.02 c #Conflicts: 1880000 | #Constraints: 53463
3257.22/3268.02 c #Conflicts: 1881000 | #Constraints: 54465
3257.22/3268.02 c INPROCESSING
3257.22/3268.02 c GARBAGE COLLECT
3257.22/3268.02 c rational objective 2.09236
3339.95/3351.10 c #Conflicts: 1882000 | #Constraints: 27938
3339.95/3351.10 c #Conflicts: 1883000 | #Constraints: 28956
3339.95/3351.10 c #Conflicts: 1884000 | #Constraints: 29968
3339.95/3351.10 c #Conflicts: 1885000 | #Constraints: 30976
3339.95/3351.10 c #Conflicts: 1886000 | #Constraints: 31986
3339.95/3351.10 c #Conflicts: 1887000 | #Constraints: 32986
3339.95/3351.10 c #Conflicts: 1888000 | #Constraints: 33989
3339.95/3351.10 c #Conflicts: 1889000 | #Constraints: 34989
3339.95/3351.10 c #Conflicts: 1890000 | #Constraints: 35994
3339.95/3351.10 c #Conflicts: 1891000 | #Constraints: 37019
3339.95/3351.10 c #Conflicts: 1892000 | #Constraints: 38047
3339.95/3351.10 c #Conflicts: 1893000 | #Constraints: 39068
3339.95/3351.10 c #Conflicts: 1894000 | #Constraints: 40079
3339.95/3351.10 c #Conflicts: 1895000 | #Constraints: 41084
3339.95/3351.10 c #Conflicts: 1896000 | #Constraints: 42084
3339.95/3351.10 c #Conflicts: 1897000 | #Constraints: 43108
3339.95/3351.10 c #Conflicts: 1898000 | #Constraints: 44125
3339.95/3351.10 c #Conflicts: 1899000 | #Constraints: 45125
3339.95/3351.10 c #Conflicts: 1900000 | #Constraints: 46130
3339.95/3351.10 c #Conflicts: 1901000 | #Constraints: 47145
3339.95/3351.10 c #Conflicts: 1902000 | #Constraints: 48145
3339.95/3351.10 c #Conflicts: 1903000 | #Constraints: 49176
3339.95/3351.10 c #Conflicts: 1904000 | #Constraints: 50196
3339.95/3351.10 c #Conflicts: 1905000 | #Constraints: 51206
3339.95/3351.10 c #Conflicts: 1906000 | #Constraints: 52208
3339.95/3351.10 c #Conflicts: 1907000 | #Constraints: 53208
3339.95/3351.10 c #Conflicts: 1908000 | #Constraints: 54228
3339.95/3351.10 c #Conflicts: 1909000 | #Constraints: 55244
3339.95/3351.10 c INPROCESSING
3339.95/3351.10 c GARBAGE COLLECT
3339.95/3351.10 c rational objective 2.09309
3526.41/3538.12 c #Conflicts: 1910000 | #Constraints: 28548
3526.41/3538.12 c #Conflicts: 1911000 | #Constraints: 29563
3526.41/3538.12 c #Conflicts: 1912000 | #Constraints: 30572
3526.41/3538.12 c #Conflicts: 1913000 | #Constraints: 31573
3526.41/3538.12 c #Conflicts: 1914000 | #Constraints: 32573
3526.41/3538.12 c #Conflicts: 1915000 | #Constraints: 33580
3526.41/3538.12 c #Conflicts: 1916000 | #Constraints: 34588
3526.41/3538.12 c #Conflicts: 1917000 | #Constraints: 35601
3526.41/3538.12 c #Conflicts: 1918000 | #Constraints: 36624
3526.41/3538.12 c #Conflicts: 1919000 | #Constraints: 37645
3526.41/3538.12 c #Conflicts: 1920000 | #Constraints: 38668
3526.41/3538.12 c #Conflicts: 1921000 | #Constraints: 39678
3526.41/3538.12 c #Conflicts: 1922000 | #Constraints: 40699
3526.41/3538.12 c #Conflicts: 1923000 | #Constraints: 41709
3526.41/3538.12 c #Conflicts: 1924000 | #Constraints: 42723
3526.41/3538.12 c #Conflicts: 1925000 | #Constraints: 43723
3526.41/3538.12 c #Conflicts: 1926000 | #Constraints: 44725
3526.41/3538.12 c #Conflicts: 1927000 | #Constraints: 45747
3526.41/3538.12 c #Conflicts: 1928000 | #Constraints: 46786
3526.41/3538.12 c #Conflicts: 1929000 | #Constraints: 47801
3526.41/3538.12 c #Conflicts: 1930000 | #Constraints: 48814
3526.41/3538.12 c #Conflicts: 1931000 | #Constraints: 49838
3526.41/3538.12 c #Conflicts: 1932000 | #Constraints: 50850
3526.41/3538.12 c #Conflicts: 1933000 | #Constraints: 51871
3526.41/3538.12 c #Conflicts: 1934000 | #Constraints: 52891
3526.41/3538.12 c #Conflicts: 1935000 | #Constraints: 53902
3526.41/3538.12 c #Conflicts: 1936000 | #Constraints: 54921
3526.41/3538.12 c #Conflicts: 1937000 | #Constraints: 55940
3526.41/3538.12 c INPROCESSING
3526.41/3538.12 c GARBAGE COLLECT
3526.41/3538.12 c #Conflicts: 1938000 | #Constraints: 28979
3526.41/3538.12 c #Conflicts: 1939000 | #Constraints: 30005
3526.41/3538.12 c #Conflicts: 1940000 | #Constraints: 31010
3526.41/3538.12 c #Conflicts: 1941000 | #Constraints: 32049
3526.41/3538.12 c #Conflicts: 1942000 | #Constraints: 33077
3526.41/3538.12 c #Conflicts: 1943000 | #Constraints: 34077
3526.41/3538.12 c #Conflicts: 1944000 | #Constraints: 35077
3526.41/3538.12 c #Conflicts: 1945000 | #Constraints: 36107
3526.41/3538.12 c #Conflicts: 1946000 | #Constraints: 37121
3526.41/3538.12 c #Conflicts: 1947000 | #Constraints: 38125
3526.41/3538.12 c #Conflicts: 1948000 | #Constraints: 39125
3526.41/3538.12 c #Conflicts: 1949000 | #Constraints: 40125
3526.41/3538.12 c #Conflicts: 1950000 | #Constraints: 41142
3526.41/3538.12 c #Conflicts: 1951000 | #Constraints: 42142
3526.41/3538.12 c #Conflicts: 1952000 | #Constraints: 43156
3526.41/3538.12 c #Conflicts: 1953000 | #Constraints: 44198
3526.41/3538.12 c #Conflicts: 1954000 | #Constraints: 45198
3526.41/3538.12 c #Conflicts: 1955000 | #Constraints: 46198
3526.41/3538.12 c #Conflicts: 1956000 | #Constraints: 47200
3526.41/3538.12 c #Conflicts: 1957000 | #Constraints: 48200
3526.41/3538.12 c #Conflicts: 1958000 | #Constraints: 49202
3526.41/3538.12 c #Conflicts: 1959000 | #Constraints: 50202
3526.41/3538.12 c #Conflicts: 1960000 | #Constraints: 51215
3526.41/3538.12 c #Conflicts: 1961000 | #Constraints: 52215
3526.41/3538.12 c #Conflicts: 1962000 | #Constraints: 53215
3526.41/3538.12 c #Conflicts: 1963000 | #Constraints: 54215
3526.41/3538.12 c #Conflicts: 1964000 | #Constraints: 55235
3526.41/3538.12 c #Conflicts: 1965000 | #Constraints: 56266
3526.41/3538.12 c INPROCESSING
3526.41/3538.12 c GARBAGE COLLECT
3526.41/3538.12 c rational objective 2.0931
3600.05/3612.00 c #Conflicts: 1966000 | #Constraints: 29150
3600.05/3612.00 c #Conflicts: 1967000 | #Constraints: 30163
3600.05/3612.00 c #Conflicts: 1968000 | #Constraints: 31163
3600.05/3612.00 c #Conflicts: 1969000 | #Constraints: 32174
3600.05/3612.00 c #Conflicts: 1970000 | #Constraints: 33193
3600.05/3612.00 c #Conflicts: 1971000 | #Constraints: 34206
3600.05/3612.00 c #Conflicts: 1972000 | #Constraints: 35214
3600.05/3612.00 c #Conflicts: 1973000 | #Constraints: 36236
3600.05/3612.00 c #Conflicts: 1974000 | #Constraints: 37254
3600.05/3612.00 c #Conflicts: 1975000 | #Constraints: 38274
3600.05/3612.00 c #Conflicts: 1976000 | #Constraints: 39295
3600.05/3612.00 c #Conflicts: 1977000 | #Constraints: 40330
3600.05/3612.00 c #Conflicts: 1978000 | #Constraints: 41350
3600.05/3612.00 c #Conflicts: 1979000 | #Constraints: 42350
3600.05/3612.00 c #Conflicts: 1980000 | #Constraints: 43350
3600.05/3612.00 c #Conflicts: 1981000 | #Constraints: 44356
3600.05/3612.00 c #Conflicts: 1982000 | #Constraints: 45373
3600.05/3612.00 c #Conflicts: 1983000 | #Constraints: 46387
3600.05/3612.00 c #Conflicts: 1984000 | #Constraints: 47399
3600.05/3612.00 c #Conflicts: 1985000 | #Constraints: 48399
3600.05/3612.00 c #Conflicts: 1986000 | #Constraints: 49400
3600.05/3612.00 c cpu time 3580.69 s
3600.05/3612.00 c deterministic time 800464174387 8.00e+11
3600.05/3612.00 c optimization time 73.344 s
3600.05/3612.00 c total solve time 3507.35 s
3600.05/3612.00 c core-guided solve time 0 s
3600.05/3612.00 c propagation time 3331.57 s
3600.05/3612.00 c conflict analysis time 221.221 s
3600.05/3612.00 c propagations 14778125
3600.05/3612.00 c resolve steps 6870476
3600.05/3612.00 c decisions 2937146
3600.05/3612.00 c conflicts 1986849
3600.05/3612.00 c restarts 3896
3600.05/3612.00 c inprocessing phases 131
3600.05/3612.00 c garbage collections 131 ,( 100.00 )
3600.05/3612.00 c input clauses 0 ,( 0.00 )
3600.05/3612.00 c input cardinalities 0 ,( 0.00 )
3600.05/3612.00 c input general constraints 2 ,( 100.00 )
3600.05/3612.00 c input average constraint length 70.00
3600.05/3612.00 c input average constraint degree 388008603.50
3600.05/3612.00 c learned clauses 1116201 ,( 55.44 )
3600.05/3612.00 c learned cardinalities 3 ,( 0.00 )
3600.05/3612.00 c learned general constraints 896969 ,( 44.55 )
3600.05/3612.00 c learned average constraint length 47.81
3600.05/3612.00 c learned average constraint degree 57993087.77
3600.05/3612.00 c watched CF 32, 64, 128, Arb: 184470 , 0 , 0 , 0
3600.05/3612.00 c counting CF 32, 64, 128, Arb: 712501 , 0 , 0 , 0
3600.05/3612.00 c watched constraints 184470 ,( 20.57 )
3600.05/3612.00 c counting constraints 712501 ,( 79.43 )
3600.05/3612.00 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 131978669 , 638 , 54409642917 ,( 292941161 , 54116701756 )
3600.05/3612.00 c gcd simplifications 1187945
3600.05/3612.00 c detected cardinalities 2
3600.05/3612.00 c weakened non-implied lits 7204443
3600.05/3612.00 c weakened non-implying lits 15741951
3600.05/3612.00 c original variables 70
3600.05/3612.00 c clausal propagations 1650005
3600.05/3612.00 c cardinality propagations 4
3600.05/3612.00 c watched propagations 633654
3600.05/3612.00 c counting propagations 10373700
3600.05/3612.00 c watch lookups 57062185766
3600.05/3612.00 c watch backjump lookups 0
3600.05/3612.00 c watch checks 3032196003
3600.05/3612.00 c propagation checks 739838035851
3600.05/3612.00 c constraint additions 494137608
3600.05/3612.00 c trail pops 19702051
3600.05/3612.00 c formula constraints 2
3600.05/3612.00 c learned constraints 1986848
3600.05/3612.00 c bound constraints 0
3600.05/3612.00 c core-guided constraints 0
3600.05/3612.00 c encountered formula constraints 4666828
3600.05/3612.00 c encountered learned constraints 4190488
3600.05/3612.00 c encountered bound constraints 0
3600.05/3612.00 c encountered core-guided constraints 0
3600.05/3612.00 c LP total time 23.0278 s
3600.05/3612.00 c LP solve time 14.78 s
3600.05/3612.00 c LP constraints added 126
3600.05/3612.00 c LP constraints removed 114
3600.05/3612.00 c LP pivots internal 198774
3600.05/3612.00 c LP pivots root 3062
3600.05/3612.00 c LP calls 114858
3600.05/3612.00 c LP optimalities 88112
3600.05/3612.00 c LP no pivot count 14291
3600.05/3612.00 c LP infeasibilities 26532
3600.05/3612.00 c LP valid Farkas constraints 26264
3600.05/3612.00 c LP learned Farkas constraints 0
3600.05/3612.00 c LP basis resets 214
3600.05/3612.00 c LP cycling count 165
3600.05/3612.00 c LP singular count 49
3600.05/3612.00 c LP no primal count 0
3600.05/3612.00 c LP no farkas count 0
3600.05/3612.00 c LP other issue count 0
3600.05/3612.00 c LP Gomory cuts 61
3600.05/3612.00 c LP learned cuts 63
3600.05/3612.00 c LP deleted cuts 114
3600.05/3612.00 c LP encountered Gomory constraints 0
3600.05/3612.00 c LP encountered Farkas constraints 9
3600.05/3612.00 c LP encountered learned Farkas constraints 0
3600.05/3612.00 c CG auxiliary variables introduced 0
3600.05/3612.00 c CG solutions found 0
3600.05/3612.00 c CG cores constructed 0
3600.05/3612.00 c CG core cardinality constraints returned 0
3600.05/3612.00 c CG unit cores 0
3600.05/3612.00 c CG single cores 0
3600.05/3612.00 c CG blocks removed during cardinality reduction 0
3600.05/3612.00 c CG first core best 0
3600.05/3612.00 c CG decision core best 0
3600.05/3612.00 c CG core reduction tie 0
3600.05/3612.00 c CG core degree average 0.00
3600.05/3612.00 c CG core slack average 0.00
3600.05/3612.00 c CG core upper bound improvements 0
3600.05/3612.00 c STR number of successful calls 0
3600.05/3612.00 c STR number of unsuccessful calls 0
3600.05/3612.00 c STR number of inconclusive calls 0
3600.05/3612.00 c STR number of successful attempts 0
3600.05/3612.00 c STR number of unsuccessful attempts 0
3600.05/3612.00 c STR number of inconclusive attempts 0
3600.05/3612.00 c STR average degree increase per successful call inf
3600.05/3612.00 c STR average degree increase per successful attempt inf
3600.05/3612.00 c STR total number of conflicts for successful attempts 0
3600.05/3612.00 c STR total number of conflicts for unsuccessful attempts 0
3600.05/3612.00 c STR total number of conflicts for inconclusive attempts 0
3600.05/3612.00 c STR average number of conflicts per successful attempt inf
3600.05/3612.00 c STR average number of conflicts per unsuccessful attempt inf
3600.05/3612.00 c STR average number of conflicts per inconclusive attempt inf
3600.05/3612.00 c AVG.sumWPerc 68.65
3600.05/3612.00 c bigint constraints 0
3600.05/3612.00 s UNKNOWN
3600.05/3612.00 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 (59476 MiB free)
memory of node 1: 64465 MiB (62577 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4495859-1751153914/watcher-4495859-1751153914 -o /tmp/evaluation-result-4495859-1751153914/solver-4495859-1751153914 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751146607-14372 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4495859-1751153914.opb PROOFDIR/proof-4495859-1751153914
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=18604, runsolver pid=18601
Current StackSize limit: 8192 KiB
[startup+0.100057 s]*
/proc/loadavg: 4.06 4.09 4.09 5/274 18606
/proc/meminfo: memFree=124979240/131249988 swapFree=33010684/33010684
[pid=18604] ppid=18601 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/18604/stat : 18604 (run-dec-ls-log.) S 18601 18604 14359 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31068999 4292608 736 18446744073709551615 94620481122304 94620482016837 140734039570992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94620482255888 94620482303632 94620484911104 140734039578907 140734039579105 140734039579105 140734039584707 0
/proc/18604/statm: 1048 736 672 219 0 110 0
[pid=18606] ppid=18604 vsize=56076 memory=13032 CPUtime=0.08 cores=0,2
/proc/18606/stat : 18606 (roundingsat) R 18604 18604 14359 0 -1 4194304 609 0 0 0 8 0 0 0 20 0 1 0 31069000 57421824 3258 18446744073709551615 4227072 8923433 140736328737968 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33935360 140736328747344 140736328747560 140736328747560 140736328753130 0
/proc/18606/statm: 14019 3258 2368 1147 0 1446 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 60268 KiB
Current children cumulated memory: 15976 KiB
[startup+0.205766 s]*
/proc/loadavg: 4.06 4.09 4.09 5/274 18606
/proc/meminfo: memFree=124979240/131249988 swapFree=33010684/33010684
[pid=18604] ppid=18601 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/18604/stat : 18604 (run-dec-ls-log.) S 18601 18604 14359 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31068999 4292608 736 18446744073709551615 94620481122304 94620482016837 140734039570992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94620482255888 94620482303632 94620484911104 140734039578907 140734039579105 140734039579105 140734039584707 0
/proc/18604/statm: 1048 736 672 219 0 110 0
[pid=18606] ppid=18604 vsize=56960 memory=13800 CPUtime=0.19 cores=0,2
/proc/18606/stat : 18606 (roundingsat) R 18604 18604 14359 0 -1 4194304 802 0 0 0 18 1 0 0 20 0 1 0 31069000 58327040 3450 18446744073709551615 4227072 8923433 140736328737968 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33935360 140736328747344 140736328747560 140736328747560 140736328753130 0
/proc/18606/statm: 14240 3450 2368 1147 0 1667 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 61152 KiB
Current children cumulated memory: 16744 KiB
[startup+0.305444 s]*
/proc/loadavg: 4.06 4.09 4.09 5/274 18606
/proc/meminfo: memFree=124979240/131249988 swapFree=33010684/33010684
[pid=18604] ppid=18601 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/18604/stat : 18604 (run-dec-ls-log.) S 18601 18604 14359 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31068999 4292608 736 18446744073709551615 94620481122304 94620482016837 140734039570992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94620482255888 94620482303632 94620484911104 140734039578907 140734039579105 140734039579105 140734039584707 0
/proc/18604/statm: 1048 736 672 219 0 110 0
[pid=18606] ppid=18604 vsize=57096 memory=13928 CPUtime=0.29 cores=0,2
/proc/18606/stat : 18606 (roundingsat) R 18604 18604 14359 0 -1 4194304 841 0 0 0 28 1 0 0 20 0 1 0 31069000 58466304 3482 18446744073709551615 4227072 8923433 140736328737968 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33935360 140736328747344 140736328747560 140736328747560 140736328753130 0
/proc/18606/statm: 14274 3482 2368 1147 0 1701 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 61288 KiB
Current children cumulated memory: 16872 KiB
[startup+0.700155 s]
/proc/loadavg: 4.06 4.09 4.09 5/274 18606
/proc/meminfo: memFree=124979240/131249988 swapFree=33010684/33010684
[pid=18604] ppid=18601 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/18604/stat : 18604 (run-dec-ls-log.) S 18601 18604 14359 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31068999 4292608 736 18446744073709551615 94620481122304 94620482016837 140734039570992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94620482255888 94620482303632 94620484911104 140734039578907 140734039579105 140734039579105 140734039584707 0
/proc/18604/statm: 1048 736 672 219 0 110 0
[pid=18606] ppid=18604 vsize=58288 memory=14952 CPUtime=0.67 cores=0,2
/proc/18606/stat : 18606 (roundingsat) R 18604 18604 14359 0 -1 4194304 1115 0 0 0 65 2 0 0 20 0 1 0 31069000 59686912 3738 18446744073709551615 4227072 8923433 140736328737968 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33935360 140736328747344 140736328747560 140736328747560 140736328753130 0
/proc/18606/statm: 14572 3738 2368 1147 0 1999 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 62480 KiB
Current children cumulated memory: 17896 KiB
[startup+1.50016 s]
/proc/loadavg: 4.06 4.09 4.09 5/274 18606
/proc/meminfo: memFree=124975964/131249988 swapFree=33010684/33010684
[pid=18604] ppid=18601 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/18604/stat : 18604 (run-dec-ls-log.) S 18601 18604 14359 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31068999 4292608 736 18446744073709551615 94620481122304 94620482016837 140734039570992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94620482255888 94620482303632 94620484911104 140734039578907 140734039579105 140734039579105 140734039584707 0
/proc/18604/statm: 1048 736 672 219 0 110 0
[pid=18606] ppid=18604 vsize=58836 memory=15464 CPUtime=1.47 cores=0,2
/proc/18606/stat : 18606 (roundingsat) R 18604 18604 14359 0 -1 4194304 1223 0 0 0 142 5 0 0 20 0 1 0 31069000 60248064 3866 18446744073709551615 4227072 8923433 140736328737968 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33935360 140736328747344 140736328747560 140736328747560 140736328753130 0
/proc/18606/statm: 14709 3866 2368 1147 0 2136 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 63028 KiB
Current children cumulated memory: 18408 KiB
[startup+3.10556 s]
/proc/loadavg: 4.06 4.09 4.09 5/274 18606
/proc/meminfo: memFree=124940268/131249988 swapFree=33010684/33010684
[pid=18604] ppid=18601 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/18604/stat : 18604 (run-dec-ls-log.) S 18601 18604 14359 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31068999 4292608 736 18446744073709551615 94620481122304 94620482016837 140734039570992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94620482255888 94620482303632 94620484911104 140734039578907 140734039579105 140734039579105 140734039584707 0
/proc/18604/statm: 1048 736 672 219 0 110 0
[pid=18606] ppid=18604 vsize=60388 memory=16744 CPUtime=3.07 cores=0,2
/proc/18606/stat : 18606 (roundingsat) R 18604 18604 14359 0 -1 4194304 1560 0 0 0 299 8 0 0 20 0 1 0 31069000 61837312 4186 18446744073709551615 4227072 8923433 140736328737968 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33935360 140736328747344 140736328747560 140736328747560 140736328753130 0
/proc/18606/statm: 15097 4186 2368 1147 0 2524 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 64580 KiB
Current children cumulated memory: 19688 KiB
[startup+6.30013 s]
/proc/loadavg: 4.06 4.09 4.09 5/274 18606
/proc/meminfo: memFree=124908156/131249988 swapFree=33010684/33010684
[pid=18604] ppid=18601 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/18604/stat : 18604 (run-dec-ls-log.) S 18601 18604 14359 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31068999 4292608 736 18446744073709551615 94620481122304 94620482016837 140734039570992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94620482255888 94620482303632 94620484911104 140734039578907 140734039579105 140734039579105 140734039584707 0
/proc/18604/statm: 1048 736 672 219 0 110 0
[pid=18606] ppid=18604 vsize=61860 memory=18024 CPUtime=6.26 cores=0,2
/proc/18606/stat : 18606 (roundingsat) R 18604 18604 14359 0 -1 4194304 1865 0 0 0 610 16 0 0 20 0 1 0 31069000 63344640 4506 18446744073709551615 4227072 8923433 140736328737968 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33935360 140736328747344 140736328747560 140736328747560 140736328753130 0
/proc/18606/statm: 15465 4506 2368 1147 0 2892 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 66052 KiB
Current children cumulated memory: 20968 KiB
[startup+12.7002 s]
/proc/loadavg: 4.05 4.09 4.09 5/274 18606
/proc/meminfo: memFree=124844172/131249988 swapFree=33010684/33010684
[pid=18604] ppid=18601 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/18604/stat : 18604 (run-dec-ls-log.) S 18601 18604 14359 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31068999 4292608 736 18446744073709551615 94620481122304 94620482016837 140734039570992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94620482255888 94620482303632 94620484911104 140734039578907 140734039579105 140734039579105 140734039584707 0
/proc/18604/statm: 1048 736 672 219 0 110 0
[pid=18606] ppid=18604 vsize=62632 memory=20768 CPUtime=12.65 cores=0,2
/proc/18606/stat : 18606 (roundingsat) R 18604 18604 14359 0 -1 4194304 2050 0 0 0 1235 30 0 0 20 0 1 0 31069000 64135168 5192 18446744073709551615 4227072 8923433 140736328737968 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33935360 140736328747344 140736328747560 140736328747560 140736328753130 0
/proc/18606/statm: 15658 5192 2368 1147 0 3085 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 66824 KiB
Current children cumulated memory: 23712 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.10 4.09 5/274 18698
/proc/meminfo: memFree=124875588/131249988 swapFree=33010684/33010684
[pid=18604] ppid=18601 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/18604/stat : 18604 (run-dec-ls-log.) S 18601 18604 14359 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31068999 4292608 736 18446744073709551615 94620481122304 94620482016837 140734039570992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94620482255888 94620482303632 94620484911104 140734039578907 140734039579105 140734039579105 140734039584707 0
/proc/18604/statm: 1048 736 672 219 0 110 0
[pid=18606] ppid=18604 vsize=64016 memory=22816 CPUtime=25.41 cores=0,2
/proc/18606/stat : 18606 (roundingsat) R 18604 18604 14359 0 -1 4194304 2493 0 0 0 2488 53 0 0 20 0 1 0 31069000 65552384 5704 18446744073709551615 4227072 8923433 140736328737968 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33935360 140736328747344 140736328747560 140736328747560 140736328753130 0
/proc/18606/statm: 16004 5704 2464 1147 0 3431 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 68208 KiB
Current children cumulated memory: 25760 KiB
[startup+51.1056 s]
/proc/loadavg: 4.07 4.09 4.09 5/274 18699
/proc/meminfo: memFree=124708244/131249988 swapFree=33010684/33010684
[pid=18604] ppid=18601 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/18604/stat : 18604 (run-dec-ls-log.) S 18601 18604 14359 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31068999 4292608 736 18446744073709551615 94620481122304 94620482016837 140734039570992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94620482255888 94620482303632 94620484911104 140734039578907 140734039579105 140734039579105 140734039584707 0
/proc/18604/statm: 1048 736 672 219 0 110 0
[pid=18606] ppid=18604 vsize=66364 memory=24736 CPUtime=50.95 cores=0,2
/proc/18606/stat : 18606 (roundingsat) R 18604 18604 14359 0 -1 4194304 3083 0 0 0 4999 96 0 0 20 0 1 0 31069000 67956736 6184 18446744073709551615 4227072 8923433 140736328737968 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33935360 140736328747344 140736328747560 140736328747560 140736328753130 0
/proc/18606/statm: 16591 6184 2464 1147 0 4018 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 70556 KiB
Current children cumulated memory: 27680 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/274 18701
/proc/meminfo: memFree=124433840/131249988 swapFree=33010684/33010684
[pid=18604] ppid=18601 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/18604/stat : 18604 (run-dec-ls-log.) S 18601 18604 14359 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31068999 4292608 736 18446744073709551615 94620481122304 94620482016837 140734039570992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94620482255888 94620482303632 94620484911104 140734039578907 140734039579105 140734039579105 140734039584707 0
/proc/18604/statm: 1048 736 672 219 0 110 0
[pid=18606] ppid=18604 vsize=73432 memory=29448 CPUtime=102.01 cores=0,2
/proc/18606/stat : 18606 (roundingsat) R 18604 18604 14359 0 -1 4194304 4441 0 0 0 10034 167 0 0 20 0 1 0 31069000 75194368 7362 18446744073709551615 4227072 8923433 140736328737968 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33935360 140736328747344 140736328747560 140736328747560 140736328753130 0
/proc/18606/statm: 18358 7362 2464 1147 0 5785 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 77624 KiB
Current children cumulated memory: 32392 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/274 18705
/proc/meminfo: memFree=124198920/131249988 swapFree=33010684/33010684
[pid=18604] ppid=18601 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/18604/stat : 18604 (run-dec-ls-log.) S 18601 18604 14359 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31068999 4292608 736 18446744073709551615 94620481122304 94620482016837 140734039570992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94620482255888 94620482303632 94620484911104 140734039578907 140734039579105 140734039579105 140734039584707 0
/proc/18604/statm: 1048 736 672 219 0 110 0
[pid=18606] ppid=18604 vsize=74624 memory=32004 CPUtime=161.85 cores=0,2
/proc/18606/stat : 18606 (roundingsat) R 18604 18604 14359 0 -1 4194304 5432 0 0 0 15945 240 0 0 20 0 1 0 31069000 76414976 8001 18446744073709551615 4227072 8923433 140736328737968 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33935360 140736328747344 140736328747560 140736328747560 140736328753130 0
/proc/18606/statm: 18656 8001 2464 1147 0 6083 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 78816 KiB
Current children cumulated memory: 34948 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/271 18707
/proc/meminfo: memFree=124012200/131249988 swapFree=33010684/33010684
[pid=18604] ppid=18601 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/18604/stat : 18604 (run-dec-ls-log.) S 18601 18604 14359 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31068999 4292608 736 18446744073709551615 94620481122304 94620482016837 140734039570992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94620482255888 94620482303632 94620484911104 140734039578907 140734039579105 140734039579105 140734039584707 0
/proc/18604/statm: 1048 736 672 219 0 110 0
[pid=18606] ppid=18604 vsize=84232 memory=35960 CPUtime=221.69 cores=0,2
/proc/18606/stat : 18606 (roundingsat) R 18604 18604 14359 0 -1 4194304 7243 0 0 0 21861 308 0 0 20 0 1 0 31069000 86253568 8990 18446744073709551615 4227072 8923433 140736328737968 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33935360 140736328747344 140736328747560 140736328747560 140736328753130 0
################
# More data... #
################
/proc/18606/statm: 33868 19758 2464 1147 0 21295 0
Current children cumulated CPU time: 3032.27 s
Current children cumulated vsize: 139664 KiB
Current children cumulated memory: 81976 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/275 19561
/proc/meminfo: memFree=115129648/131249988 swapFree=33010684/33010684
[pid=18604] ppid=18601 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/18604/stat : 18604 (run-dec-ls-log.) S 18601 18604 14359 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31068999 4292608 736 18446744073709551615 94620481122304 94620482016837 140734039570992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94620482255888 94620482303632 94620484911104 140734039578907 140734039579105 140734039579105 140734039584707 0
/proc/18604/statm: 1048 736 672 219 0 110 0
[pid=18606] ppid=18604 vsize=135800 memory=79288 CPUtime=3092.06 cores=0,2
/proc/18606/stat : 18606 (roundingsat) R 18604 18604 14359 0 -1 4194304 20453 0 0 0 307422 1784 0 0 20 0 1 0 31069000 139059200 19822 18446744073709551615 4227072 8923433 140736328737968 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33935360 140736328747344 140736328747560 140736328747560 140736328753130 0
/proc/18606/statm: 33950 19822 2464 1147 0 21377 0
Current children cumulated CPU time: 3092.06 s
Current children cumulated vsize: 139992 KiB
Current children cumulated memory: 82232 KiB
[startup+3162.3 s]
/proc/loadavg: 4.26 4.15 4.10 5/275 19563
/proc/meminfo: memFree=114518812/131249988 swapFree=33010684/33010684
[pid=18604] ppid=18601 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/18604/stat : 18604 (run-dec-ls-log.) S 18601 18604 14359 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31068999 4292608 736 18446744073709551615 94620481122304 94620482016837 140734039570992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94620482255888 94620482303632 94620484911104 140734039578907 140734039579105 140734039579105 140734039584707 0
/proc/18604/statm: 1048 736 672 219 0 110 0
[pid=18606] ppid=18604 vsize=135800 memory=79288 CPUtime=3151.87 cores=0,2
/proc/18606/stat : 18606 (roundingsat) R 18604 18604 14359 0 -1 4194304 20459 0 0 0 313384 1803 0 0 20 0 1 0 31069000 139059200 19822 18446744073709551615 4227072 8923433 140736328737968 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33935360 140736328747344 140736328747560 140736328747560 140736328753130 0
/proc/18606/statm: 33950 19822 2464 1147 0 21377 0
Current children cumulated CPU time: 3151.87 s
Current children cumulated vsize: 139992 KiB
Current children cumulated memory: 82232 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/274 19565
/proc/meminfo: memFree=114081796/131249988 swapFree=33010684/33010684
[pid=18604] ppid=18601 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/18604/stat : 18604 (run-dec-ls-log.) S 18601 18604 14359 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31068999 4292608 736 18446744073709551615 94620481122304 94620482016837 140734039570992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94620482255888 94620482303632 94620484911104 140734039578907 140734039579105 140734039579105 140734039584707 0
/proc/18604/statm: 1048 736 672 219 0 110 0
[pid=18606] ppid=18604 vsize=135472 memory=79228 CPUtime=3211.67 cores=0,2
/proc/18606/stat : 18606 (roundingsat) R 18604 18604 14359 0 -1 4194304 20595 0 0 0 319347 1820 0 0 20 0 1 0 31069000 138723328 19807 18446744073709551615 4227072 8923433 140736328737968 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33935360 140736328747344 140736328747560 140736328747560 140736328753130 0
/proc/18606/statm: 33868 19807 2464 1147 0 21295 0
Current children cumulated CPU time: 3211.67 s
Current children cumulated vsize: 139664 KiB
Current children cumulated memory: 82172 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/273 19569
/proc/meminfo: memFree=113716924/131249988 swapFree=33010684/33010684
[pid=18604] ppid=18601 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/18604/stat : 18604 (run-dec-ls-log.) S 18601 18604 14359 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31068999 4292608 736 18446744073709551615 94620481122304 94620482016837 140734039570992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94620482255888 94620482303632 94620484911104 140734039578907 140734039579105 140734039579105 140734039584707 0
/proc/18604/statm: 1048 736 672 219 0 110 0
[pid=18606] ppid=18604 vsize=135800 memory=79392 CPUtime=3271.47 cores=0,2
/proc/18606/stat : 18606 (roundingsat) R 18604 18604 14359 0 -1 4194304 20753 0 0 0 325309 1838 0 0 20 0 1 0 31069000 139059200 19848 18446744073709551615 4227072 8923433 140736328737968 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33935360 140736328747344 140736328747560 140736328747560 140736328753130 0
/proc/18606/statm: 33950 19848 2464 1147 0 21377 0
Current children cumulated CPU time: 3271.47 s
Current children cumulated vsize: 139992 KiB
Current children cumulated memory: 82336 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/272 19571
/proc/meminfo: memFree=113173428/131249988 swapFree=33010684/33010684
[pid=18604] ppid=18601 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/18604/stat : 18604 (run-dec-ls-log.) S 18601 18604 14359 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31068999 4292608 736 18446744073709551615 94620481122304 94620482016837 140734039570992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94620482255888 94620482303632 94620484911104 140734039578907 140734039579105 140734039579105 140734039584707 0
/proc/18604/statm: 1048 736 672 219 0 110 0
[pid=18606] ppid=18604 vsize=135800 memory=79392 CPUtime=3331.27 cores=0,2
/proc/18606/stat : 18606 (roundingsat) R 18604 18604 14359 0 -1 4194304 20754 0 0 0 331271 1856 0 0 20 0 1 0 31069000 139059200 19848 18446744073709551615 4227072 8923433 140736328737968 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33935360 140736328747344 140736328747560 140736328747560 140736328753130 0
/proc/18606/statm: 33950 19848 2464 1147 0 21377 0
Current children cumulated CPU time: 3331.27 s
Current children cumulated vsize: 139992 KiB
Current children cumulated memory: 82336 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/274 19575
/proc/meminfo: memFree=112728784/131249988 swapFree=33010684/33010684
[pid=18604] ppid=18601 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/18604/stat : 18604 (run-dec-ls-log.) S 18601 18604 14359 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31068999 4292608 736 18446744073709551615 94620481122304 94620482016837 140734039570992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94620482255888 94620482303632 94620484911104 140734039578907 140734039579105 140734039579105 140734039584707 0
/proc/18604/statm: 1048 736 672 219 0 110 0
[pid=18606] ppid=18604 vsize=135472 memory=79248 CPUtime=3391.07 cores=0,2
/proc/18606/stat : 18606 (roundingsat) R 18604 18604 14359 0 -1 4194304 20865 0 0 0 337234 1873 0 0 20 0 1 0 31069000 138723328 19812 18446744073709551615 4227072 8923433 140736328737968 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33935360 140736328747344 140736328747560 140736328747560 140736328753130 0
/proc/18606/statm: 33868 19812 2464 1147 0 21295 0
Current children cumulated CPU time: 3391.07 s
Current children cumulated vsize: 139664 KiB
Current children cumulated memory: 82192 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/274 19577
/proc/meminfo: memFree=112306884/131249988 swapFree=33010684/33010684
[pid=18604] ppid=18601 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/18604/stat : 18604 (run-dec-ls-log.) S 18601 18604 14359 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31068999 4292608 736 18446744073709551615 94620481122304 94620482016837 140734039570992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94620482255888 94620482303632 94620484911104 140734039578907 140734039579105 140734039579105 140734039584707 0
/proc/18604/statm: 1048 736 672 219 0 110 0
[pid=18606] ppid=18604 vsize=135800 memory=79412 CPUtime=3450.87 cores=0,2
/proc/18606/stat : 18606 (roundingsat) R 18604 18604 14359 0 -1 4194304 21026 0 0 0 343194 1893 0 0 20 0 1 0 31069000 139059200 19853 18446744073709551615 4227072 8923433 140736328737968 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33935360 140736328747344 140736328747560 140736328747560 140736328753130 0
/proc/18606/statm: 33950 19853 2464 1147 0 21377 0
Current children cumulated CPU time: 3450.87 s
Current children cumulated vsize: 139992 KiB
Current children cumulated memory: 82356 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/273 19579
/proc/meminfo: memFree=111858832/131249988 swapFree=33010684/33010684
[pid=18604] ppid=18601 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/18604/stat : 18604 (run-dec-ls-log.) S 18601 18604 14359 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31068999 4292608 736 18446744073709551615 94620481122304 94620482016837 140734039570992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94620482255888 94620482303632 94620484911104 140734039578907 140734039579105 140734039579105 140734039584707 0
/proc/18604/statm: 1048 736 672 219 0 110 0
[pid=18606] ppid=18604 vsize=135800 memory=79412 CPUtime=3510.65 cores=0,2
/proc/18606/stat : 18606 (roundingsat) R 18604 18604 14359 0 -1 4194304 21026 0 0 0 349154 1911 0 0 20 0 1 0 31069000 139059200 19853 18446744073709551615 4227072 8923433 140736328737968 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33935360 140736328747344 140736328747560 140736328747560 140736328753130 0
/proc/18606/statm: 33950 19853 2464 1147 0 21377 0
Current children cumulated CPU time: 3510.65 s
Current children cumulated vsize: 139992 KiB
Current children cumulated memory: 82356 KiB
[startup+3582.3 s]
/proc/loadavg: 4.04 4.09 4.08 5/273 19584
/proc/meminfo: memFree=111349460/131249988 swapFree=33010684/33010684
[pid=18604] ppid=18601 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/18604/stat : 18604 (run-dec-ls-log.) S 18601 18604 14359 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31068999 4292608 736 18446744073709551615 94620481122304 94620482016837 140734039570992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94620482255888 94620482303632 94620484911104 140734039578907 140734039579105 140734039579105 140734039584707 0
/proc/18604/statm: 1048 736 672 219 0 110 0
[pid=18606] ppid=18604 vsize=135472 memory=79260 CPUtime=3570.44 cores=0,2
/proc/18606/stat : 18606 (roundingsat) R 18604 18604 14359 0 -1 4194304 21136 0 0 0 355116 1928 0 0 20 0 1 0 31069000 138723328 19815 18446744073709551615 4227072 8923433 140736328737968 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33935360 140736328747344 140736328747560 140736328747560 140736328753130 0
/proc/18606/statm: 33868 19815 2464 1147 0 21295 0
Current children cumulated CPU time: 3570.44 s
Current children cumulated vsize: 139664 KiB
Current children cumulated memory: 82204 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612 s]*
/proc/loadavg: 4.13 4.11 4.09 5/274 19589
/proc/meminfo: memFree=111184836/131249988 swapFree=33010684/33010684
[pid=18604] ppid=18601 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/18604/stat : 18604 (run-dec-ls-log.) S 18601 18604 14359 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31068999 4292608 736 18446744073709551615 94620481122304 94620482016837 140734039570992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94620482255888 94620482303632 94620484911104 140734039578907 140734039579105 140734039579105 140734039584707 0
/proc/18604/statm: 1048 736 672 219 0 110 0
[pid=18606] ppid=18604 vsize=135472 memory=79260 CPUtime=3600.05 cores=0,2
/proc/18606/stat : 18606 (roundingsat) R 18604 18604 14359 0 -1 4194304 21136 0 0 0 358069 1936 0 0 20 0 1 0 31069000 138723328 19815 18446744073709551615 4227072 8923433 140736328737968 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33935360 140736328747344 140736328747560 140736328747560 140736328753130 0
/proc/18606/statm: 33868 19815 2464 1147 0 21295 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 139664 KiB
Current children cumulated memory: 82204 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.01 s]
# the end of solver process 18604 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001935 s, system=0 s
[startup+3612.03 s]
# the end of solver process 18606 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3580.7 s, system=19.369 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3612.03
CPU time (s): 3600.07
CPU user time (s): 3580.7
CPU system time (s): 19.369
CPU usage (%): 99.6689
Max. virtual memory (cumulated for all children) (KiB): 140432
Max. memory (cumulated for all children) (KiB): 82740
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.7
system time used= 19.369
maximum resident set size= 79800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21360
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3554240
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 493
involuntary context switches= 5426
# summary of solver processes directly reported to runsolver:
# pid: 18604,18606
# total CPU time (s): 3600.07
# total CPU user time (s): 3580.7
# total CPU system time (s): 19.369
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.67038 second user time and 17.8008 second system time
The end
Begin job on nodeC020 at 2025-06-29 01:38:34
IDJOB=4495859
IDBENCH=148100
IDSOLVER=3354
FILE ID=nodeC020/4495859-1751153914
RUNJOBID= nodeC020-1751146607-14372
SLURM_JOB_ID= 9587464
Free space on /tmp= 433036 MiB
SOLVER NAME= roundingsat-ls-log 63f22ad
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/manquiho/Aardal_1/normalized-cuww2.opb
COMMAND LINE= run-dec-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4495859-1751153914/watcher-4495859-1751153914 -o /tmp/evaluation-result-4495859-1751153914/solver-4495859-1751153914 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751146607-14372 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4495859-1751153914.opb PROOFDIR/proof-4495859-1751153914
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f9ddfe14fcbe08e4d315c2b284f6e91e
RANDOM SEED=988800712
nodeC020 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.894
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.79
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.896
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.79
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 : 3592.516
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.79
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 : 3603.111
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.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.896
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.79
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.894
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.79
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 : 3597.658
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.79
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 : 3597.410
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.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 124983336 kB
MemAvailable: 129264392 kB
Buffers: 3280 kB
Cached: 5084880 kB
SwapCached: 0 kB
Active: 862924 kB
Inactive: 4828108 kB
Active(anon): 621024 kB
Inactive(anon): 0 kB
Active(file): 241900 kB
Inactive(file): 4828108 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 34632 kB
Writeback: 8 kB
AnonPages: 604596 kB
Mapped: 116884 kB
Shmem: 18056 kB
KReclaimable: 100576 kB
Slab: 187136 kB
SReclaimable: 100576 kB
SUnreclaim: 86560 kB
KernelStack: 4352 kB
PageTables: 4412 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 1020692 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150664 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 421888 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 197332 kB
DirectMap2M: 7962624 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433032 MiB
End job on nodeC020 at 2025-06-29 02:38:47