0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.01 c #variables 701 #constraints 702
0.00/0.01 c rational objective 350.5
0.09/0.16 c #Conflicts: 1000 | #Constraints: 1716
0.09/0.16 c #Conflicts: 2000 | #Constraints: 2728
0.09/0.16 c INPROCESSING
0.09/0.16 c GARBAGE COLLECT
0.09/0.16 c rational objective 350.5
0.40/0.41 c #Conflicts: 3000 | #Constraints: 2754
0.40/0.41 c #Conflicts: 4000 | #Constraints: 3765
0.40/0.41 c INPROCESSING
0.40/0.41 c GARBAGE COLLECT
0.40/0.41 c rational objective 350.5
0.59/0.65 c #Conflicts: 5000 | #Constraints: 3190
0.59/0.65 c #Conflicts: 6000 | #Constraints: 4195
0.59/0.65 c INPROCESSING
0.59/0.65 c GARBAGE COLLECT
0.59/0.65 c rational objective 350.5
0.89/0.93 c #Conflicts: 7000 | #Constraints: 3195
0.89/0.93 c #Conflicts: 8000 | #Constraints: 4198
0.89/0.93 c #Conflicts: 9000 | #Constraints: 5206
0.89/0.93 c INPROCESSING
0.89/0.93 c GARBAGE COLLECT
0.89/0.93 c rational objective 350.5
1.19/1.25 c #Conflicts: 10000 | #Constraints: 3900
1.19/1.25 c #Conflicts: 11000 | #Constraints: 4903
1.19/1.25 c #Conflicts: 12000 | #Constraints: 5907
1.19/1.25 c INPROCESSING
1.19/1.25 c GARBAGE COLLECT
1.19/1.25 c rational objective 350.5
1.48/1.58 c #Conflicts: 13000 | #Constraints: 4347
1.48/1.58 c #Conflicts: 14000 | #Constraints: 5350
1.48/1.58 c #Conflicts: 15000 | #Constraints: 6353
1.48/1.58 c INPROCESSING
1.48/1.58 c GARBAGE COLLECT
1.48/1.58 c rational objective 350.5
1.87/1.97 c #Conflicts: 16000 | #Constraints: 4574
1.87/1.97 c #Conflicts: 17000 | #Constraints: 5577
1.87/1.97 c #Conflicts: 18000 | #Constraints: 6578
1.87/1.97 c INPROCESSING
1.87/1.97 c GARBAGE COLLECT
1.87/1.97 c rational objective 350.5
2.28/2.31 c #Conflicts: 19000 | #Constraints: 4593
2.28/2.31 c #Conflicts: 20000 | #Constraints: 5596
2.28/2.31 c #Conflicts: 21000 | #Constraints: 6597
2.28/2.31 c INPROCESSING
2.28/2.31 c GARBAGE COLLECT
2.28/2.31 c rational objective 350.5
2.58/2.68 c #Conflicts: 22000 | #Constraints: 4399
2.58/2.68 c #Conflicts: 23000 | #Constraints: 5405
2.58/2.68 c #Conflicts: 24000 | #Constraints: 6407
2.58/2.68 c #Conflicts: 25000 | #Constraints: 7409
2.58/2.68 c INPROCESSING
2.58/2.68 c GARBAGE COLLECT
2.58/2.68 c rational objective 350.5
2.98/3.08 c #Conflicts: 26000 | #Constraints: 5004
2.98/3.08 c #Conflicts: 27000 | #Constraints: 6004
2.98/3.08 c #Conflicts: 28000 | #Constraints: 7006
2.98/3.08 c #Conflicts: 29000 | #Constraints: 8008
2.98/3.08 c INPROCESSING
2.98/3.08 c GARBAGE COLLECT
2.98/3.08 c rational objective 350.5
3.38/3.48 c #Conflicts: 30000 | #Constraints: 5398
3.38/3.48 c #Conflicts: 31000 | #Constraints: 6404
3.38/3.48 c #Conflicts: 32000 | #Constraints: 7407
3.38/3.48 c #Conflicts: 33000 | #Constraints: 8408
3.38/3.48 c INPROCESSING
3.38/3.48 c GARBAGE COLLECT
3.38/3.48 c rational objective 350.5
3.88/3.94 c #Conflicts: 34000 | #Constraints: 5601
3.88/3.94 c #Conflicts: 35000 | #Constraints: 6602
3.88/3.94 c #Conflicts: 36000 | #Constraints: 7602
3.88/3.94 c #Conflicts: 37000 | #Constraints: 8602
3.88/3.94 c INPROCESSING
3.88/3.94 c GARBAGE COLLECT
3.88/3.94 c rational objective 350.5
4.37/4.48 c #Conflicts: 38000 | #Constraints: 5603
4.37/4.48 c #Conflicts: 39000 | #Constraints: 6605
4.37/4.48 c #Conflicts: 40000 | #Constraints: 7605
4.37/4.48 c #Conflicts: 41000 | #Constraints: 8607
4.37/4.48 c INPROCESSING
4.37/4.48 c GARBAGE COLLECT
4.37/4.48 c rational objective 350.5
4.98/5.05 c #Conflicts: 42000 | #Constraints: 5405
4.98/5.05 c #Conflicts: 43000 | #Constraints: 6405
4.98/5.05 c #Conflicts: 44000 | #Constraints: 7406
4.98/5.05 c #Conflicts: 45000 | #Constraints: 8407
4.98/5.05 c #Conflicts: 46000 | #Constraints: 9408
4.98/5.05 c INPROCESSING
4.98/5.05 c GARBAGE COLLECT
4.98/5.05 c rational objective 350.5
5.47/5.55 c #Conflicts: 47000 | #Constraints: 6006
5.47/5.55 c #Conflicts: 48000 | #Constraints: 7009
5.47/5.55 c #Conflicts: 49000 | #Constraints: 8009
5.47/5.55 c #Conflicts: 50000 | #Constraints: 9009
5.47/5.55 c #Conflicts: 51000 | #Constraints: 10010
5.47/5.55 c INPROCESSING
5.47/5.55 c GARBAGE COLLECT
5.47/5.55 c rational objective 350.5
5.97/6.07 c #Conflicts: 52000 | #Constraints: 6413
5.97/6.07 c #Conflicts: 53000 | #Constraints: 7414
5.97/6.07 c #Conflicts: 54000 | #Constraints: 8417
5.97/6.07 c #Conflicts: 55000 | #Constraints: 9418
5.97/6.07 c #Conflicts: 56000 | #Constraints: 10419
5.97/6.07 c INPROCESSING
5.97/6.07 c GARBAGE COLLECT
5.97/6.07 c rational objective 350.5
6.57/6.61 c #Conflicts: 57000 | #Constraints: 6606
6.57/6.61 c #Conflicts: 58000 | #Constraints: 7607
6.57/6.61 c #Conflicts: 59000 | #Constraints: 8609
6.57/6.61 c #Conflicts: 60000 | #Constraints: 9610
6.57/6.61 c #Conflicts: 61000 | #Constraints: 10610
6.57/6.61 c INPROCESSING
6.57/6.61 c GARBAGE COLLECT
6.57/6.61 c rational objective 350.5
7.16/7.22 c #Conflicts: 62000 | #Constraints: 6617
7.16/7.22 c #Conflicts: 63000 | #Constraints: 7619
7.16/7.22 c #Conflicts: 64000 | #Constraints: 8619
7.16/7.22 c #Conflicts: 65000 | #Constraints: 9621
7.16/7.22 c #Conflicts: 66000 | #Constraints: 10622
7.16/7.22 c INPROCESSING
7.16/7.22 c GARBAGE COLLECT
7.16/7.22 c rational objective 350.5
7.76/7.84 c #Conflicts: 67000 | #Constraints: 6416
7.76/7.84 c #Conflicts: 68000 | #Constraints: 7417
7.76/7.84 c #Conflicts: 69000 | #Constraints: 8418
7.76/7.84 c #Conflicts: 70000 | #Constraints: 9418
7.76/7.84 c #Conflicts: 71000 | #Constraints: 10418
7.76/7.84 c #Conflicts: 72000 | #Constraints: 11418
7.76/7.84 c INPROCESSING
7.76/7.84 c GARBAGE COLLECT
7.76/7.84 c rational objective 350.5
8.37/8.45 c #Conflicts: 73000 | #Constraints: 7022
8.37/8.45 c #Conflicts: 74000 | #Constraints: 8024
8.37/8.45 c #Conflicts: 75000 | #Constraints: 9024
8.37/8.45 c #Conflicts: 76000 | #Constraints: 10026
8.37/8.45 c #Conflicts: 77000 | #Constraints: 11028
8.37/8.45 c #Conflicts: 78000 | #Constraints: 12029
8.37/8.45 c INPROCESSING
8.37/8.45 c GARBAGE COLLECT
8.37/8.45 c rational objective 350.5
9.07/9.11 c #Conflicts: 79000 | #Constraints: 7420
9.07/9.11 c #Conflicts: 80000 | #Constraints: 8420
9.07/9.11 c #Conflicts: 81000 | #Constraints: 9421
9.07/9.11 c #Conflicts: 82000 | #Constraints: 10423
9.07/9.11 c #Conflicts: 83000 | #Constraints: 11425
9.07/9.11 c #Conflicts: 84000 | #Constraints: 12426
9.07/9.11 c INPROCESSING
9.07/9.11 c GARBAGE COLLECT
9.07/9.11 c rational objective 350.5
9.86/9.90 c #Conflicts: 85000 | #Constraints: 7617
9.86/9.90 c #Conflicts: 86000 | #Constraints: 8617
9.86/9.90 c #Conflicts: 87000 | #Constraints: 9617
9.86/9.90 c #Conflicts: 88000 | #Constraints: 10617
9.86/9.90 c #Conflicts: 89000 | #Constraints: 11617
9.86/9.90 c #Conflicts: 90000 | #Constraints: 12617
9.86/9.90 c INPROCESSING
9.86/9.90 c GARBAGE COLLECT
9.86/9.90 c rational objective 350.5
10.65/10.72 c #Conflicts: 91000 | #Constraints: 7610
10.65/10.72 c #Conflicts: 92000 | #Constraints: 8611
10.65/10.72 c #Conflicts: 93000 | #Constraints: 9611
10.65/10.72 c #Conflicts: 94000 | #Constraints: 10611
10.65/10.72 c #Conflicts: 95000 | #Constraints: 11612
10.65/10.72 c #Conflicts: 96000 | #Constraints: 12612
10.65/10.72 c INPROCESSING
10.65/10.72 c GARBAGE COLLECT
10.65/10.72 c rational objective 350.5
11.45/11.54 c #Conflicts: 97000 | #Constraints: 7411
11.45/11.54 c #Conflicts: 98000 | #Constraints: 8411
11.45/11.54 c #Conflicts: 99000 | #Constraints: 9412
11.45/11.54 c #Conflicts: 100000 | #Constraints: 10412
11.45/11.54 c #Conflicts: 101000 | #Constraints: 11412
11.45/11.54 c #Conflicts: 102000 | #Constraints: 12412
11.45/11.54 c #Conflicts: 103000 | #Constraints: 13412
11.45/11.54 c INPROCESSING
11.45/11.54 c GARBAGE COLLECT
11.45/11.54 c rational objective 350.5
12.15/12.28 c #Conflicts: 104000 | #Constraints: 8009
12.15/12.28 c #Conflicts: 105000 | #Constraints: 9011
12.15/12.28 c #Conflicts: 106000 | #Constraints: 10012
12.15/12.28 c #Conflicts: 107000 | #Constraints: 11013
12.15/12.28 c #Conflicts: 108000 | #Constraints: 12014
12.15/12.28 c #Conflicts: 109000 | #Constraints: 13015
12.15/12.28 c #Conflicts: 110000 | #Constraints: 14017
12.15/12.28 c INPROCESSING
12.15/12.28 c GARBAGE COLLECT
12.15/12.28 c rational objective 350.5
12.85/12.98 c #Conflicts: 111000 | #Constraints: 8422
12.85/12.98 c #Conflicts: 112000 | #Constraints: 9423
12.85/12.98 c #Conflicts: 113000 | #Constraints: 10427
12.85/12.98 c #Conflicts: 114000 | #Constraints: 11429
12.85/12.98 c #Conflicts: 115000 | #Constraints: 12432
12.85/12.98 c #Conflicts: 116000 | #Constraints: 13433
12.85/12.98 c #Conflicts: 117000 | #Constraints: 14433
12.85/12.98 c INPROCESSING
12.85/12.98 c GARBAGE COLLECT
12.85/12.98 c rational objective 350.5
13.75/13.80 c #Conflicts: 118000 | #Constraints: 8625
13.75/13.80 c #Conflicts: 119000 | #Constraints: 9625
13.75/13.80 c #Conflicts: 120000 | #Constraints: 10625
13.75/13.80 c #Conflicts: 121000 | #Constraints: 11625
13.75/13.80 c #Conflicts: 122000 | #Constraints: 12625
13.75/13.80 c #Conflicts: 123000 | #Constraints: 13625
13.75/13.80 c #Conflicts: 124000 | #Constraints: 14625
13.75/13.80 c INPROCESSING
13.75/13.80 c GARBAGE COLLECT
13.75/13.80 c rational objective 350.5
14.55/14.65 c #Conflicts: 125000 | #Constraints: 8622
14.55/14.65 c #Conflicts: 126000 | #Constraints: 9623
14.55/14.65 c #Conflicts: 127000 | #Constraints: 10623
14.55/14.65 c #Conflicts: 128000 | #Constraints: 11624
14.55/14.65 c #Conflicts: 129000 | #Constraints: 12625
14.55/14.65 c #Conflicts: 130000 | #Constraints: 13625
14.55/14.65 c #Conflicts: 131000 | #Constraints: 14625
14.55/14.65 c INPROCESSING
14.55/14.65 c GARBAGE COLLECT
14.55/14.65 c rational objective 350.5
15.44/15.52 c #Conflicts: 132000 | #Constraints: 8419
15.44/15.52 c #Conflicts: 133000 | #Constraints: 9419
15.44/15.52 c #Conflicts: 134000 | #Constraints: 10419
15.44/15.52 c #Conflicts: 135000 | #Constraints: 11419
15.44/15.52 c #Conflicts: 136000 | #Constraints: 12420
15.44/15.52 c #Conflicts: 137000 | #Constraints: 13420
15.44/15.52 c #Conflicts: 138000 | #Constraints: 14421
15.44/15.52 c #Conflicts: 139000 | #Constraints: 15421
15.44/15.52 c INPROCESSING
15.44/15.52 c GARBAGE COLLECT
15.44/15.52 c rational objective 350.5
16.44/16.59 c #Conflicts: 140000 | #Constraints: 9022
16.44/16.59 c #Conflicts: 141000 | #Constraints: 10022
16.44/16.59 c #Conflicts: 142000 | #Constraints: 11022
16.44/16.59 c #Conflicts: 143000 | #Constraints: 12022
16.44/16.59 c #Conflicts: 144000 | #Constraints: 13022
16.44/16.59 c #Conflicts: 145000 | #Constraints: 14023
16.44/16.59 c #Conflicts: 146000 | #Constraints: 15023
16.44/16.59 c #Conflicts: 147000 | #Constraints: 16023
16.44/16.59 c INPROCESSING
16.44/16.59 c GARBAGE COLLECT
16.44/16.59 c rational objective 350.5
17.44/17.50 c #Conflicts: 148000 | #Constraints: 9422
17.44/17.50 c #Conflicts: 149000 | #Constraints: 10422
17.44/17.50 c #Conflicts: 150000 | #Constraints: 11422
17.44/17.50 c #Conflicts: 151000 | #Constraints: 12422
17.44/17.50 c #Conflicts: 152000 | #Constraints: 13422
17.44/17.50 c #Conflicts: 153000 | #Constraints: 14422
17.44/17.50 c #Conflicts: 154000 | #Constraints: 15422
17.44/17.50 c #Conflicts: 155000 | #Constraints: 16422
17.44/17.50 c INPROCESSING
17.44/17.50 c GARBAGE COLLECT
17.44/17.50 c rational objective 350.5
18.34/18.41 c #Conflicts: 156000 | #Constraints: 9627
18.34/18.41 c #Conflicts: 157000 | #Constraints: 10627
18.34/18.41 c #Conflicts: 158000 | #Constraints: 11628
18.34/18.41 c #Conflicts: 159000 | #Constraints: 12629
18.34/18.41 c #Conflicts: 160000 | #Constraints: 13629
18.34/18.41 c #Conflicts: 161000 | #Constraints: 14632
18.34/18.41 c #Conflicts: 162000 | #Constraints: 15632
18.34/18.41 c #Conflicts: 163000 | #Constraints: 16632
18.34/18.41 c INPROCESSING
18.34/18.41 c GARBAGE COLLECT
18.34/18.41 c rational objective 350.5
19.44/19.50 c #Conflicts: 164000 | #Constraints: 9629
19.44/19.50 c #Conflicts: 165000 | #Constraints: 10631
19.44/19.50 c #Conflicts: 166000 | #Constraints: 11631
19.44/19.50 c #Conflicts: 167000 | #Constraints: 12631
19.44/19.50 c #Conflicts: 168000 | #Constraints: 13631
19.44/19.50 c #Conflicts: 169000 | #Constraints: 14633
19.44/19.50 c #Conflicts: 170000 | #Constraints: 15633
19.44/19.50 c #Conflicts: 171000 | #Constraints: 16633
19.44/19.50 c INPROCESSING
19.44/19.50 c GARBAGE COLLECT
19.44/19.50 c rational objective 350.5
20.33/20.46 c #Conflicts: 172000 | #Constraints: 9426
20.33/20.46 c #Conflicts: 173000 | #Constraints: 10426
20.33/20.46 c #Conflicts: 174000 | #Constraints: 11427
20.33/20.46 c #Conflicts: 175000 | #Constraints: 12427
20.33/20.46 c #Conflicts: 176000 | #Constraints: 13427
20.33/20.46 c #Conflicts: 177000 | #Constraints: 14428
20.33/20.46 c #Conflicts: 178000 | #Constraints: 15429
20.33/20.46 c #Conflicts: 179000 | #Constraints: 16430
20.33/20.46 c #Conflicts: 180000 | #Constraints: 17430
20.33/20.46 c INPROCESSING
20.33/20.46 c GARBAGE COLLECT
20.33/20.46 c rational objective 350.5
21.43/21.56 c #Conflicts: 181000 | #Constraints: 10019
21.43/21.56 c #Conflicts: 182000 | #Constraints: 11020
21.43/21.56 c #Conflicts: 183000 | #Constraints: 12020
21.43/21.56 c #Conflicts: 184000 | #Constraints: 13020
21.43/21.56 c #Conflicts: 185000 | #Constraints: 14020
21.43/21.56 c #Conflicts: 186000 | #Constraints: 15020
21.43/21.56 c #Conflicts: 187000 | #Constraints: 16020
21.43/21.56 c #Conflicts: 188000 | #Constraints: 17020
21.43/21.56 c #Conflicts: 189000 | #Constraints: 18020
21.43/21.56 c INPROCESSING
21.43/21.56 c GARBAGE COLLECT
21.43/21.56 c rational objective 350.5
22.53/22.69 c #Conflicts: 190000 | #Constraints: 10427
22.53/22.69 c #Conflicts: 191000 | #Constraints: 11427
22.53/22.69 c #Conflicts: 192000 | #Constraints: 12427
22.53/22.69 c #Conflicts: 193000 | #Constraints: 13427
22.53/22.69 c #Conflicts: 194000 | #Constraints: 14427
22.53/22.69 c #Conflicts: 195000 | #Constraints: 15427
22.53/22.69 c #Conflicts: 196000 | #Constraints: 16427
22.53/22.69 c #Conflicts: 197000 | #Constraints: 17427
22.53/22.69 c #Conflicts: 198000 | #Constraints: 18428
22.53/22.69 c INPROCESSING
22.53/22.69 c GARBAGE COLLECT
22.53/22.69 c rational objective 350.5
23.83/23.99 c #Conflicts: 199000 | #Constraints: 10631
23.83/23.99 c #Conflicts: 200000 | #Constraints: 11631
23.83/23.99 c #Conflicts: 201000 | #Constraints: 12631
23.83/23.99 c #Conflicts: 202000 | #Constraints: 13631
23.83/23.99 c #Conflicts: 203000 | #Constraints: 14631
23.83/23.99 c #Conflicts: 204000 | #Constraints: 15632
23.83/23.99 c #Conflicts: 205000 | #Constraints: 16632
23.83/23.99 c #Conflicts: 206000 | #Constraints: 17632
23.83/23.99 c #Conflicts: 207000 | #Constraints: 18632
23.83/23.99 c INPROCESSING
23.83/23.99 c GARBAGE COLLECT
23.83/23.99 c rational objective 350.5
25.22/25.34 c #Conflicts: 208000 | #Constraints: 10630
25.22/25.34 c #Conflicts: 209000 | #Constraints: 11630
25.22/25.34 c #Conflicts: 210000 | #Constraints: 12631
25.22/25.34 c #Conflicts: 211000 | #Constraints: 13631
25.22/25.34 c #Conflicts: 212000 | #Constraints: 14631
25.22/25.34 c #Conflicts: 213000 | #Constraints: 15631
25.22/25.34 c #Conflicts: 214000 | #Constraints: 16631
25.22/25.34 c #Conflicts: 215000 | #Constraints: 17631
25.22/25.34 c #Conflicts: 216000 | #Constraints: 18631
25.22/25.34 c INPROCESSING
25.22/25.34 c GARBAGE COLLECT
25.22/25.34 c rational objective 350.5
26.51/26.64 c #Conflicts: 217000 | #Constraints: 10431
26.51/26.64 c #Conflicts: 218000 | #Constraints: 11433
26.51/26.64 c #Conflicts: 219000 | #Constraints: 12433
26.51/26.64 c #Conflicts: 220000 | #Constraints: 13433
26.51/26.64 c #Conflicts: 221000 | #Constraints: 14434
26.51/26.64 c #Conflicts: 222000 | #Constraints: 15434
26.51/26.64 c #Conflicts: 223000 | #Constraints: 16434
26.51/26.64 c #Conflicts: 224000 | #Constraints: 17434
26.51/26.64 c #Conflicts: 225000 | #Constraints: 18434
26.51/26.64 c #Conflicts: 226000 | #Constraints: 19434
26.51/26.64 c INPROCESSING
26.51/26.64 c GARBAGE COLLECT
26.51/26.64 c rational objective 350.5
27.71/27.83 c #Conflicts: 227000 | #Constraints: 11034
27.71/27.83 c #Conflicts: 228000 | #Constraints: 12034
27.71/27.83 c #Conflicts: 229000 | #Constraints: 13034
27.71/27.83 c #Conflicts: 230000 | #Constraints: 14034
27.71/27.83 c #Conflicts: 231000 | #Constraints: 15034
27.71/27.83 c #Conflicts: 232000 | #Constraints: 16034
27.71/27.83 c #Conflicts: 233000 | #Constraints: 17034
27.71/27.83 c #Conflicts: 234000 | #Constraints: 18035
27.71/27.83 c #Conflicts: 235000 | #Constraints: 19036
27.71/27.83 c #Conflicts: 236000 | #Constraints: 20037
27.71/27.83 c INPROCESSING
27.71/27.83 c GARBAGE COLLECT
27.71/27.83 c rational objective 350.5
28.91/29.08 c #Conflicts: 237000 | #Constraints: 11425
28.91/29.08 c #Conflicts: 238000 | #Constraints: 12426
28.91/29.08 c #Conflicts: 239000 | #Constraints: 13427
28.91/29.08 c #Conflicts: 240000 | #Constraints: 14427
28.91/29.08 c #Conflicts: 241000 | #Constraints: 15427
28.91/29.08 c #Conflicts: 242000 | #Constraints: 16427
28.91/29.08 c #Conflicts: 243000 | #Constraints: 17427
28.91/29.08 c #Conflicts: 244000 | #Constraints: 18428
28.91/29.08 c #Conflicts: 245000 | #Constraints: 19428
28.91/29.08 c #Conflicts: 246000 | #Constraints: 20428
28.91/29.08 c INPROCESSING
28.91/29.08 c GARBAGE COLLECT
28.91/29.08 c rational objective 350.5
30.11/30.24 c #Conflicts: 247000 | #Constraints: 11629
30.11/30.24 c #Conflicts: 248000 | #Constraints: 12629
30.11/30.24 c #Conflicts: 249000 | #Constraints: 13629
30.11/30.24 c #Conflicts: 250000 | #Constraints: 14629
30.11/30.24 c #Conflicts: 251000 | #Constraints: 15629
30.11/30.24 c #Conflicts: 252000 | #Constraints: 16630
30.11/30.24 c #Conflicts: 253000 | #Constraints: 17630
30.11/30.24 c #Conflicts: 254000 | #Constraints: 18630
30.11/30.24 c #Conflicts: 255000 | #Constraints: 19631
30.11/30.24 c #Conflicts: 256000 | #Constraints: 20631
30.11/30.24 c INPROCESSING
30.11/30.24 c GARBAGE COLLECT
30.11/30.24 c rational objective 350.5
31.30/31.49 c #Conflicts: 257000 | #Constraints: 11629
31.30/31.49 c #Conflicts: 258000 | #Constraints: 12630
31.30/31.49 c #Conflicts: 259000 | #Constraints: 13631
31.30/31.49 c #Conflicts: 260000 | #Constraints: 14631
31.30/31.49 c #Conflicts: 261000 | #Constraints: 15631
31.30/31.49 c #Conflicts: 262000 | #Constraints: 16631
31.30/31.49 c #Conflicts: 263000 | #Constraints: 17632
31.30/31.49 c #Conflicts: 264000 | #Constraints: 18632
31.30/31.49 c #Conflicts: 265000 | #Constraints: 19632
31.30/31.49 c #Conflicts: 266000 | #Constraints: 20632
31.30/31.49 c INPROCESSING
31.30/31.49 c GARBAGE COLLECT
31.30/31.49 c rational objective 350.5
32.80/32.92 c #Conflicts: 267000 | #Constraints: 11423
32.80/32.92 c #Conflicts: 268000 | #Constraints: 12423
32.80/32.92 c #Conflicts: 269000 | #Constraints: 13423
32.80/32.92 c #Conflicts: 270000 | #Constraints: 14423
32.80/32.92 c #Conflicts: 271000 | #Constraints: 15423
32.80/32.92 c #Conflicts: 272000 | #Constraints: 16423
32.80/32.92 c #Conflicts: 273000 | #Constraints: 17423
32.80/32.92 c #Conflicts: 274000 | #Constraints: 18423
32.80/32.92 c #Conflicts: 275000 | #Constraints: 19423
32.80/32.92 c #Conflicts: 276000 | #Constraints: 20424
32.80/32.92 c #Conflicts: 277000 | #Constraints: 21424
32.80/32.92 c INPROCESSING
32.80/32.92 c GARBAGE COLLECT
32.80/32.92 c rational objective 350.5
34.09/34.24 c #Conflicts: 278000 | #Constraints: 12019
34.09/34.24 c #Conflicts: 279000 | #Constraints: 13019
34.09/34.24 c #Conflicts: 280000 | #Constraints: 14020
34.09/34.24 c #Conflicts: 281000 | #Constraints: 15021
34.09/34.24 c #Conflicts: 282000 | #Constraints: 16021
34.09/34.24 c #Conflicts: 283000 | #Constraints: 17021
34.09/34.24 c #Conflicts: 284000 | #Constraints: 18021
34.09/34.24 c #Conflicts: 285000 | #Constraints: 19022
34.09/34.24 c #Conflicts: 286000 | #Constraints: 20022
34.09/34.24 c #Conflicts: 287000 | #Constraints: 21023
34.09/34.24 c #Conflicts: 288000 | #Constraints: 22024
34.09/34.24 c INPROCESSING
34.09/34.24 c GARBAGE COLLECT
34.09/34.24 c rational objective 350.5
35.29/35.49 c #Conflicts: 289000 | #Constraints: 12424
35.29/35.49 c #Conflicts: 290000 | #Constraints: 13424
35.29/35.49 c #Conflicts: 291000 | #Constraints: 14424
35.29/35.49 c #Conflicts: 292000 | #Constraints: 15425
35.29/35.49 c #Conflicts: 293000 | #Constraints: 16426
35.29/35.49 c #Conflicts: 294000 | #Constraints: 17426
35.29/35.49 c #Conflicts: 295000 | #Constraints: 18427
35.29/35.49 c #Conflicts: 296000 | #Constraints: 19427
35.29/35.49 c #Conflicts: 297000 | #Constraints: 20427
35.29/35.49 c #Conflicts: 298000 | #Constraints: 21428
35.29/35.49 c #Conflicts: 299000 | #Constraints: 22428
35.29/35.49 c INPROCESSING
35.29/35.49 c GARBAGE COLLECT
35.29/35.49 c rational objective 350.5
36.69/36.84 c #Conflicts: 300000 | #Constraints: 12623
36.69/36.84 c #Conflicts: 301000 | #Constraints: 13623
36.69/36.84 c #Conflicts: 302000 | #Constraints: 14623
36.69/36.84 c #Conflicts: 303000 | #Constraints: 15623
36.69/36.84 c #Conflicts: 304000 | #Constraints: 16623
36.69/36.84 c #Conflicts: 305000 | #Constraints: 17623
36.69/36.84 c #Conflicts: 306000 | #Constraints: 18623
36.69/36.84 c #Conflicts: 307000 | #Constraints: 19623
36.69/36.84 c #Conflicts: 308000 | #Constraints: 20624
36.69/36.84 c #Conflicts: 309000 | #Constraints: 21624
36.69/36.84 c #Conflicts: 310000 | #Constraints: 22624
36.69/36.84 c INPROCESSING
36.69/36.84 c GARBAGE COLLECT
36.69/36.84 c rational objective 350.5
38.19/38.37 c #Conflicts: 311000 | #Constraints: 12626
38.19/38.37 c #Conflicts: 312000 | #Constraints: 13626
38.19/38.37 c #Conflicts: 313000 | #Constraints: 14626
38.19/38.37 c #Conflicts: 314000 | #Constraints: 15626
38.19/38.37 c #Conflicts: 315000 | #Constraints: 16626
38.19/38.37 c #Conflicts: 316000 | #Constraints: 17627
38.19/38.37 c #Conflicts: 317000 | #Constraints: 18627
38.19/38.37 c #Conflicts: 318000 | #Constraints: 19627
38.19/38.37 c #Conflicts: 319000 | #Constraints: 20627
38.19/38.37 c #Conflicts: 320000 | #Constraints: 21627
38.19/38.37 c #Conflicts: 321000 | #Constraints: 22627
38.19/38.37 c INPROCESSING
38.19/38.37 c GARBAGE COLLECT
38.19/38.37 c rational objective 350.5
39.68/39.83 c #Conflicts: 322000 | #Constraints: 12434
39.68/39.83 c #Conflicts: 323000 | #Constraints: 13434
39.68/39.83 c #Conflicts: 324000 | #Constraints: 14434
39.68/39.83 c #Conflicts: 325000 | #Constraints: 15434
39.68/39.83 c #Conflicts: 326000 | #Constraints: 16434
39.68/39.83 c #Conflicts: 327000 | #Constraints: 17434
39.68/39.83 c #Conflicts: 328000 | #Constraints: 18434
39.68/39.83 c #Conflicts: 329000 | #Constraints: 19434
39.68/39.83 c #Conflicts: 330000 | #Constraints: 20434
39.68/39.83 c #Conflicts: 331000 | #Constraints: 21434
39.68/39.83 c #Conflicts: 332000 | #Constraints: 22434
39.68/39.83 c #Conflicts: 333000 | #Constraints: 23434
39.68/39.83 c INPROCESSING
39.68/39.83 c GARBAGE COLLECT
39.68/39.83 c rational objective 350.5
41.08/41.20 c #Conflicts: 334000 | #Constraints: 13023
41.08/41.20 c #Conflicts: 335000 | #Constraints: 14023
41.08/41.20 c #Conflicts: 336000 | #Constraints: 15023
41.08/41.20 c #Conflicts: 337000 | #Constraints: 16023
41.08/41.20 c #Conflicts: 338000 | #Constraints: 17024
41.08/41.20 c #Conflicts: 339000 | #Constraints: 18024
41.08/41.20 c #Conflicts: 340000 | #Constraints: 19024
41.08/41.20 c #Conflicts: 341000 | #Constraints: 20024
41.08/41.20 c #Conflicts: 342000 | #Constraints: 21024
41.08/41.20 c #Conflicts: 343000 | #Constraints: 22025
41.08/41.20 c #Conflicts: 344000 | #Constraints: 23025
41.08/41.20 c #Conflicts: 345000 | #Constraints: 24025
41.08/41.20 c INPROCESSING
41.08/41.20 c GARBAGE COLLECT
41.08/41.20 c rational objective 350.5
42.48/42.63 c #Conflicts: 346000 | #Constraints: 13426
42.48/42.63 c #Conflicts: 347000 | #Constraints: 14426
42.48/42.63 c #Conflicts: 348000 | #Constraints: 15426
42.48/42.63 c #Conflicts: 349000 | #Constraints: 16426
42.48/42.63 c #Conflicts: 350000 | #Constraints: 17426
42.48/42.63 c #Conflicts: 351000 | #Constraints: 18426
42.48/42.63 c #Conflicts: 352000 | #Constraints: 19426
42.48/42.63 c #Conflicts: 353000 | #Constraints: 20426
42.48/42.63 c #Conflicts: 354000 | #Constraints: 21426
42.48/42.63 c #Conflicts: 355000 | #Constraints: 22427
42.48/42.63 c #Conflicts: 356000 | #Constraints: 23428
42.48/42.63 c #Conflicts: 357000 | #Constraints: 24428
42.48/42.63 c INPROCESSING
42.48/42.63 c GARBAGE COLLECT
42.48/42.63 c rational objective 350.5
43.98/44.14 c #Conflicts: 358000 | #Constraints: 13624
43.98/44.14 c #Conflicts: 359000 | #Constraints: 14624
43.98/44.14 c #Conflicts: 360000 | #Constraints: 15624
43.98/44.14 c #Conflicts: 361000 | #Constraints: 16624
43.98/44.14 c #Conflicts: 362000 | #Constraints: 17624
43.98/44.14 c #Conflicts: 363000 | #Constraints: 18625
43.98/44.14 c #Conflicts: 364000 | #Constraints: 19626
43.98/44.14 c #Conflicts: 365000 | #Constraints: 20626
43.98/44.14 c #Conflicts: 366000 | #Constraints: 21626
43.98/44.14 c #Conflicts: 367000 | #Constraints: 22627
43.98/44.14 c #Conflicts: 368000 | #Constraints: 23627
43.98/44.14 c #Conflicts: 369000 | #Constraints: 24627
43.98/44.14 c INPROCESSING
43.98/44.14 c GARBAGE COLLECT
43.98/44.14 c rational objective 350.5
45.57/45.72 c #Conflicts: 370000 | #Constraints: 13629
45.57/45.72 c #Conflicts: 371000 | #Constraints: 14629
45.57/45.72 c #Conflicts: 372000 | #Constraints: 15629
45.57/45.72 c #Conflicts: 373000 | #Constraints: 16629
45.57/45.72 c #Conflicts: 374000 | #Constraints: 17629
45.57/45.72 c #Conflicts: 375000 | #Constraints: 18629
45.57/45.72 c #Conflicts: 376000 | #Constraints: 19629
45.57/45.72 c #Conflicts: 377000 | #Constraints: 20629
45.57/45.72 c #Conflicts: 378000 | #Constraints: 21630
45.57/45.72 c #Conflicts: 379000 | #Constraints: 22631
45.57/45.72 c #Conflicts: 380000 | #Constraints: 23631
45.57/45.72 c #Conflicts: 381000 | #Constraints: 24631
45.57/45.72 c INPROCESSING
45.57/45.72 c GARBAGE COLLECT
45.57/45.72 c rational objective 350.5
47.07/47.24 c #Conflicts: 382000 | #Constraints: 13421
47.07/47.24 c #Conflicts: 383000 | #Constraints: 14422
47.07/47.24 c #Conflicts: 384000 | #Constraints: 15422
47.07/47.24 c #Conflicts: 385000 | #Constraints: 16422
47.07/47.24 c #Conflicts: 386000 | #Constraints: 17422
47.07/47.24 c #Conflicts: 387000 | #Constraints: 18422
47.07/47.24 c #Conflicts: 388000 | #Constraints: 19422
47.07/47.24 c #Conflicts: 389000 | #Constraints: 20422
47.07/47.24 c #Conflicts: 390000 | #Constraints: 21422
47.07/47.24 c #Conflicts: 391000 | #Constraints: 22422
47.07/47.24 c #Conflicts: 392000 | #Constraints: 23423
47.07/47.24 c #Conflicts: 393000 | #Constraints: 24423
47.07/47.24 c #Conflicts: 394000 | #Constraints: 25423
47.07/47.24 c INPROCESSING
47.07/47.24 c GARBAGE COLLECT
47.07/47.24 c rational objective 350.5
48.56/48.76 c #Conflicts: 395000 | #Constraints: 14025
48.56/48.76 c #Conflicts: 396000 | #Constraints: 15026
48.56/48.76 c #Conflicts: 397000 | #Constraints: 16026
48.56/48.76 c #Conflicts: 398000 | #Constraints: 17026
48.56/48.76 c #Conflicts: 399000 | #Constraints: 18026
48.56/48.76 c #Conflicts: 400000 | #Constraints: 19026
48.56/48.76 c #Conflicts: 401000 | #Constraints: 20026
48.56/48.76 c #Conflicts: 402000 | #Constraints: 21026
48.56/48.76 c #Conflicts: 403000 | #Constraints: 22026
48.56/48.76 c #Conflicts: 404000 | #Constraints: 23026
48.56/48.76 c #Conflicts: 405000 | #Constraints: 24026
48.56/48.76 c #Conflicts: 406000 | #Constraints: 25026
48.56/48.76 c #Conflicts: 407000 | #Constraints: 26028
48.56/48.76 c INPROCESSING
48.56/48.76 c GARBAGE COLLECT
48.56/48.76 c rational objective 350.5
50.25/50.40 c #Conflicts: 408000 | #Constraints: 14422
50.25/50.40 c #Conflicts: 409000 | #Constraints: 15423
50.25/50.40 c #Conflicts: 410000 | #Constraints: 16423
50.25/50.40 c #Conflicts: 411000 | #Constraints: 17423
50.25/50.40 c #Conflicts: 412000 | #Constraints: 18423
50.25/50.40 c #Conflicts: 413000 | #Constraints: 19423
50.25/50.40 c #Conflicts: 414000 | #Constraints: 20423
50.25/50.40 c #Conflicts: 415000 | #Constraints: 21424
50.25/50.40 c #Conflicts: 416000 | #Constraints: 22424
50.25/50.40 c #Conflicts: 417000 | #Constraints: 23424
50.25/50.40 c #Conflicts: 418000 | #Constraints: 24424
50.25/50.40 c #Conflicts: 419000 | #Constraints: 25424
50.25/50.40 c #Conflicts: 420000 | #Constraints: 26424
50.25/50.40 c INPROCESSING
50.25/50.40 c GARBAGE COLLECT
50.25/50.40 c rational objective 350.5
52.06/52.21 c #Conflicts: 421000 | #Constraints: 14628
52.06/52.21 c #Conflicts: 422000 | #Constraints: 15628
52.06/52.21 c #Conflicts: 423000 | #Constraints: 16628
52.06/52.21 c #Conflicts: 424000 | #Constraints: 17628
52.06/52.21 c #Conflicts: 425000 | #Constraints: 18628
52.06/52.21 c #Conflicts: 426000 | #Constraints: 19628
52.06/52.21 c #Conflicts: 427000 | #Constraints: 20628
52.06/52.21 c #Conflicts: 428000 | #Constraints: 21628
52.06/52.21 c #Conflicts: 429000 | #Constraints: 22628
52.06/52.21 c #Conflicts: 430000 | #Constraints: 23628
52.06/52.21 c #Conflicts: 431000 | #Constraints: 24628
52.06/52.21 c #Conflicts: 432000 | #Constraints: 25628
52.06/52.21 c #Conflicts: 433000 | #Constraints: 26628
52.06/52.21 c INPROCESSING
52.06/52.21 c GARBAGE COLLECT
52.06/52.21 c rational objective 350.5
53.85/54.03 c #Conflicts: 434000 | #Constraints: 14628
53.85/54.03 c #Conflicts: 435000 | #Constraints: 15628
53.85/54.03 c #Conflicts: 436000 | #Constraints: 16628
53.85/54.03 c #Conflicts: 437000 | #Constraints: 17629
53.85/54.03 c #Conflicts: 438000 | #Constraints: 18629
53.85/54.03 c #Conflicts: 439000 | #Constraints: 19629
53.85/54.03 c #Conflicts: 440000 | #Constraints: 20629
53.85/54.03 c #Conflicts: 441000 | #Constraints: 21629
53.85/54.03 c #Conflicts: 442000 | #Constraints: 22629
53.85/54.03 c #Conflicts: 443000 | #Constraints: 23629
53.85/54.03 c #Conflicts: 444000 | #Constraints: 24629
53.85/54.03 c #Conflicts: 445000 | #Constraints: 25629
53.85/54.03 c #Conflicts: 446000 | #Constraints: 26629
53.85/54.03 c INPROCESSING
53.85/54.03 c GARBAGE COLLECT
53.85/54.03 c rational objective 350.5
55.85/56.05 c #Conflicts: 447000 | #Constraints: 14437
55.85/56.05 c #Conflicts: 448000 | #Constraints: 15437
55.85/56.05 c #Conflicts: 449000 | #Constraints: 16437
55.85/56.05 c #Conflicts: 450000 | #Constraints: 17437
55.85/56.05 c #Conflicts: 451000 | #Constraints: 18437
55.85/56.05 c #Conflicts: 452000 | #Constraints: 19437
55.85/56.05 c #Conflicts: 453000 | #Constraints: 20437
55.85/56.05 c #Conflicts: 454000 | #Constraints: 21437
55.85/56.05 c #Conflicts: 455000 | #Constraints: 22437
55.85/56.05 c #Conflicts: 456000 | #Constraints: 23437
55.85/56.05 c #Conflicts: 457000 | #Constraints: 24437
55.85/56.05 c #Conflicts: 458000 | #Constraints: 25437
55.85/56.05 c #Conflicts: 459000 | #Constraints: 26438
55.85/56.05 c #Conflicts: 460000 | #Constraints: 27438
55.85/56.05 c INPROCESSING
55.85/56.05 c GARBAGE COLLECT
55.85/56.05 c rational objective 350.5
57.74/57.97 c #Conflicts: 461000 | #Constraints: 15035
57.74/57.97 c #Conflicts: 462000 | #Constraints: 16035
57.74/57.97 c #Conflicts: 463000 | #Constraints: 17035
57.74/57.97 c #Conflicts: 464000 | #Constraints: 18035
57.74/57.97 c #Conflicts: 465000 | #Constraints: 19036
57.74/57.97 c #Conflicts: 466000 | #Constraints: 20036
57.74/57.97 c #Conflicts: 467000 | #Constraints: 21036
57.74/57.97 c #Conflicts: 468000 | #Constraints: 22036
57.74/57.97 c #Conflicts: 469000 | #Constraints: 23036
57.74/57.97 c #Conflicts: 470000 | #Constraints: 24036
57.74/57.97 c #Conflicts: 471000 | #Constraints: 25036
57.74/57.97 c #Conflicts: 472000 | #Constraints: 26036
57.74/57.97 c #Conflicts: 473000 | #Constraints: 27036
57.74/57.97 c #Conflicts: 474000 | #Constraints: 28036
57.74/57.97 c INPROCESSING
57.74/57.97 c GARBAGE COLLECT
57.74/57.97 c rational objective 350.5
60.03/60.25 c #Conflicts: 475000 | #Constraints: 15440
60.03/60.25 c #Conflicts: 476000 | #Constraints: 16441
60.03/60.25 c #Conflicts: 477000 | #Constraints: 17441
60.03/60.25 c #Conflicts: 478000 | #Constraints: 18441
60.03/60.25 c #Conflicts: 479000 | #Constraints: 19441
60.03/60.25 c #Conflicts: 480000 | #Constraints: 20441
60.03/60.25 c #Conflicts: 481000 | #Constraints: 21442
60.03/60.25 c #Conflicts: 482000 | #Constraints: 22442
60.03/60.25 c #Conflicts: 483000 | #Constraints: 23442
60.03/60.25 c #Conflicts: 484000 | #Constraints: 24443
60.03/60.25 c #Conflicts: 485000 | #Constraints: 25443
60.03/60.25 c #Conflicts: 486000 | #Constraints: 26443
60.03/60.25 c #Conflicts: 487000 | #Constraints: 27443
60.03/60.25 c #Conflicts: 488000 | #Constraints: 28443
60.03/60.25 c INPROCESSING
60.03/60.25 c GARBAGE COLLECT
60.03/60.25 c rational objective 350.5
62.23/62.44 c #Conflicts: 489000 | #Constraints: 15646
62.23/62.44 c #Conflicts: 490000 | #Constraints: 16646
62.23/62.44 c #Conflicts: 491000 | #Constraints: 17646
62.23/62.44 c #Conflicts: 492000 | #Constraints: 18646
62.23/62.44 c #Conflicts: 493000 | #Constraints: 19647
62.23/62.44 c #Conflicts: 494000 | #Constraints: 20647
62.23/62.44 c #Conflicts: 495000 | #Constraints: 21647
62.23/62.44 c #Conflicts: 496000 | #Constraints: 22647
62.23/62.44 c #Conflicts: 497000 | #Constraints: 23647
62.23/62.44 c #Conflicts: 498000 | #Constraints: 24647
62.23/62.44 c #Conflicts: 499000 | #Constraints: 25647
62.23/62.44 c #Conflicts: 500000 | #Constraints: 26647
62.23/62.44 c #Conflicts: 501000 | #Constraints: 27647
62.23/62.44 c #Conflicts: 502000 | #Constraints: 28647
62.23/62.44 c INPROCESSING
62.23/62.44 c GARBAGE COLLECT
62.23/62.44 c rational objective 350.5
64.12/64.33 c #Conflicts: 503000 | #Constraints: 15646
64.12/64.33 c #Conflicts: 504000 | #Constraints: 16646
64.12/64.33 c #Conflicts: 505000 | #Constraints: 17646
64.12/64.33 c #Conflicts: 506000 | #Constraints: 18646
64.12/64.33 c #Conflicts: 507000 | #Constraints: 19646
64.12/64.33 c #Conflicts: 508000 | #Constraints: 20646
64.12/64.33 c #Conflicts: 509000 | #Constraints: 21646
64.12/64.33 c #Conflicts: 510000 | #Constraints: 22646
64.12/64.33 c #Conflicts: 511000 | #Constraints: 23646
64.12/64.33 c #Conflicts: 512000 | #Constraints: 24646
64.12/64.33 c #Conflicts: 513000 | #Constraints: 25646
64.12/64.33 c #Conflicts: 514000 | #Constraints: 26647
64.12/64.33 c #Conflicts: 515000 | #Constraints: 27648
64.12/64.33 c #Conflicts: 516000 | #Constraints: 28648
64.12/64.33 c INPROCESSING
64.12/64.33 c GARBAGE COLLECT
64.12/64.33 c rational objective 350.5
65.92/66.17 c #Conflicts: 517000 | #Constraints: 15442
65.92/66.17 c #Conflicts: 518000 | #Constraints: 16442
65.92/66.17 c #Conflicts: 519000 | #Constraints: 17442
65.92/66.17 c #Conflicts: 520000 | #Constraints: 18442
65.92/66.17 c #Conflicts: 521000 | #Constraints: 19442
65.92/66.17 c #Conflicts: 522000 | #Constraints: 20442
65.92/66.17 c #Conflicts: 523000 | #Constraints: 21442
65.92/66.17 c #Conflicts: 524000 | #Constraints: 22442
65.92/66.17 c #Conflicts: 525000 | #Constraints: 23442
65.92/66.17 c #Conflicts: 526000 | #Constraints: 24442
65.92/66.17 c #Conflicts: 527000 | #Constraints: 25442
65.92/66.17 c #Conflicts: 528000 | #Constraints: 26443
65.92/66.17 c #Conflicts: 529000 | #Constraints: 27443
65.92/66.17 c #Conflicts: 530000 | #Constraints: 28443
65.92/66.17 c #Conflicts: 531000 | #Constraints: 29443
65.92/66.17 c INPROCESSING
65.92/66.17 c GARBAGE COLLECT
65.92/66.17 c rational objective 350.5
67.82/68.01 c #Conflicts: 532000 | #Constraints: 16037
67.82/68.01 c #Conflicts: 533000 | #Constraints: 17037
67.82/68.01 c #Conflicts: 534000 | #Constraints: 18037
67.82/68.01 c #Conflicts: 535000 | #Constraints: 19037
67.82/68.01 c #Conflicts: 536000 | #Constraints: 20039
67.82/68.01 c #Conflicts: 537000 | #Constraints: 21039
67.82/68.01 c #Conflicts: 538000 | #Constraints: 22039
67.82/68.01 c #Conflicts: 539000 | #Constraints: 23039
67.82/68.01 c #Conflicts: 540000 | #Constraints: 24039
67.82/68.01 c #Conflicts: 541000 | #Constraints: 25039
67.82/68.01 c #Conflicts: 542000 | #Constraints: 26039
67.82/68.01 c #Conflicts: 543000 | #Constraints: 27039
67.82/68.01 c #Conflicts: 544000 | #Constraints: 28039
67.82/68.01 c #Conflicts: 545000 | #Constraints: 29039
67.82/68.01 c #Conflicts: 546000 | #Constraints: 30040
67.82/68.01 c INPROCESSING
67.82/68.01 c GARBAGE COLLECT
67.82/68.01 c rational objective 350.5
69.71/69.97 c #Conflicts: 547000 | #Constraints: 16432
69.71/69.97 c #Conflicts: 548000 | #Constraints: 17432
69.71/69.97 c #Conflicts: 549000 | #Constraints: 18432
69.71/69.97 c #Conflicts: 550000 | #Constraints: 19432
69.71/69.97 c #Conflicts: 551000 | #Constraints: 20432
69.71/69.97 c #Conflicts: 552000 | #Constraints: 21432
69.71/69.97 c #Conflicts: 553000 | #Constraints: 22432
69.71/69.97 c #Conflicts: 554000 | #Constraints: 23432
69.71/69.97 c #Conflicts: 555000 | #Constraints: 24432
69.71/69.97 c #Conflicts: 556000 | #Constraints: 25432
69.71/69.97 c #Conflicts: 557000 | #Constraints: 26432
69.71/69.97 c #Conflicts: 558000 | #Constraints: 27432
69.71/69.97 c #Conflicts: 559000 | #Constraints: 28432
69.71/69.97 c #Conflicts: 560000 | #Constraints: 29432
69.71/69.97 c #Conflicts: 561000 | #Constraints: 30432
69.71/69.97 c INPROCESSING
69.71/69.97 c GARBAGE COLLECT
69.71/69.97 c rational objective 350.5
71.60/71.85 c #Conflicts: 562000 | #Constraints: 16625
71.60/71.85 c #Conflicts: 563000 | #Constraints: 17625
71.60/71.85 c #Conflicts: 564000 | #Constraints: 18625
71.60/71.85 c #Conflicts: 565000 | #Constraints: 19625
71.60/71.85 c #Conflicts: 566000 | #Constraints: 20626
71.60/71.85 c #Conflicts: 567000 | #Constraints: 21626
71.60/71.85 c #Conflicts: 568000 | #Constraints: 22627
71.60/71.85 c #Conflicts: 569000 | #Constraints: 23628
71.60/71.85 c #Conflicts: 570000 | #Constraints: 24629
71.60/71.85 c #Conflicts: 571000 | #Constraints: 25629
71.60/71.85 c #Conflicts: 572000 | #Constraints: 26629
71.60/71.85 c #Conflicts: 573000 | #Constraints: 27629
71.60/71.85 c #Conflicts: 574000 | #Constraints: 28629
71.60/71.85 c #Conflicts: 575000 | #Constraints: 29629
71.60/71.85 c #Conflicts: 576000 | #Constraints: 30629
71.60/71.85 c INPROCESSING
71.60/71.85 c GARBAGE COLLECT
71.60/71.85 c rational objective 350.5
73.50/73.78 c #Conflicts: 577000 | #Constraints: 16623
73.50/73.78 c #Conflicts: 578000 | #Constraints: 17623
73.50/73.78 c #Conflicts: 579000 | #Constraints: 18623
73.50/73.78 c #Conflicts: 580000 | #Constraints: 19623
73.50/73.78 c #Conflicts: 581000 | #Constraints: 20623
73.50/73.78 c #Conflicts: 582000 | #Constraints: 21624
73.50/73.78 c #Conflicts: 583000 | #Constraints: 22624
73.50/73.78 c #Conflicts: 584000 | #Constraints: 23624
73.50/73.78 c #Conflicts: 585000 | #Constraints: 24624
73.50/73.78 c #Conflicts: 586000 | #Constraints: 25624
73.50/73.78 c #Conflicts: 587000 | #Constraints: 26624
73.50/73.78 c #Conflicts: 588000 | #Constraints: 27624
73.50/73.78 c #Conflicts: 589000 | #Constraints: 28624
73.50/73.78 c #Conflicts: 590000 | #Constraints: 29624
73.50/73.78 c #Conflicts: 591000 | #Constraints: 30624
73.50/73.78 c INPROCESSING
73.50/73.78 c GARBAGE COLLECT
73.50/73.78 c rational objective 350.5
75.69/75.91 c #Conflicts: 592000 | #Constraints: 16431
75.69/75.91 c #Conflicts: 593000 | #Constraints: 17431
75.69/75.91 c #Conflicts: 594000 | #Constraints: 18431
75.69/75.91 c #Conflicts: 595000 | #Constraints: 19431
75.69/75.91 c #Conflicts: 596000 | #Constraints: 20431
75.69/75.91 c #Conflicts: 597000 | #Constraints: 21431
75.69/75.91 c #Conflicts: 598000 | #Constraints: 22431
75.69/75.91 c #Conflicts: 599000 | #Constraints: 23431
75.69/75.91 c #Conflicts: 600000 | #Constraints: 24431
75.69/75.91 c #Conflicts: 601000 | #Constraints: 25431
75.69/75.91 c #Conflicts: 602000 | #Constraints: 26431
75.69/75.91 c #Conflicts: 603000 | #Constraints: 27431
75.69/75.91 c #Conflicts: 604000 | #Constraints: 28431
75.69/75.91 c #Conflicts: 605000 | #Constraints: 29431
75.69/75.91 c #Conflicts: 606000 | #Constraints: 30431
75.69/75.91 c #Conflicts: 607000 | #Constraints: 31431
75.69/75.91 c INPROCESSING
75.69/75.91 c GARBAGE COLLECT
75.69/75.91 c rational objective 350.5
77.79/78.02 c #Conflicts: 608000 | #Constraints: 17036
77.79/78.02 c #Conflicts: 609000 | #Constraints: 18036
77.79/78.02 c #Conflicts: 610000 | #Constraints: 19036
77.79/78.02 c #Conflicts: 611000 | #Constraints: 20036
77.79/78.02 c #Conflicts: 612000 | #Constraints: 21036
77.79/78.02 c #Conflicts: 613000 | #Constraints: 22036
77.79/78.02 c #Conflicts: 614000 | #Constraints: 23036
77.79/78.02 c #Conflicts: 615000 | #Constraints: 24036
77.79/78.02 c #Conflicts: 616000 | #Constraints: 25036
77.79/78.02 c #Conflicts: 617000 | #Constraints: 26036
77.79/78.02 c #Conflicts: 618000 | #Constraints: 27036
77.79/78.02 c #Conflicts: 619000 | #Constraints: 28036
77.79/78.02 c #Conflicts: 620000 | #Constraints: 29036
77.79/78.02 c #Conflicts: 621000 | #Constraints: 30036
77.79/78.02 c #Conflicts: 622000 | #Constraints: 31036
77.79/78.02 c #Conflicts: 623000 | #Constraints: 32037
77.79/78.02 c INPROCESSING
77.79/78.02 c GARBAGE COLLECT
77.79/78.02 c rational objective 350.5
79.78/80.03 c #Conflicts: 624000 | #Constraints: 17434
79.78/80.03 c #Conflicts: 625000 | #Constraints: 18435
79.78/80.03 c #Conflicts: 626000 | #Constraints: 19435
79.78/80.03 c #Conflicts: 627000 | #Constraints: 20435
79.78/80.03 c #Conflicts: 628000 | #Constraints: 21436
79.78/80.03 c #Conflicts: 629000 | #Constraints: 22436
79.78/80.03 c #Conflicts: 630000 | #Constraints: 23436
79.78/80.03 c #Conflicts: 631000 | #Constraints: 24436
79.78/80.03 c #Conflicts: 632000 | #Constraints: 25436
79.78/80.03 c #Conflicts: 633000 | #Constraints: 26436
79.78/80.03 c #Conflicts: 634000 | #Constraints: 27436
79.78/80.03 c #Conflicts: 635000 | #Constraints: 28436
79.78/80.03 c #Conflicts: 636000 | #Constraints: 29437
79.78/80.03 c #Conflicts: 637000 | #Constraints: 30438
79.78/80.03 c #Conflicts: 638000 | #Constraints: 31438
79.78/80.03 c #Conflicts: 639000 | #Constraints: 32438
79.78/80.03 c INPROCESSING
79.78/80.03 c GARBAGE COLLECT
79.78/80.03 c rational objective 350.5
81.88/82.12 c #Conflicts: 640000 | #Constraints: 17630
81.88/82.12 c #Conflicts: 641000 | #Constraints: 18630
81.88/82.12 c #Conflicts: 642000 | #Constraints: 19630
81.88/82.12 c #Conflicts: 643000 | #Constraints: 20630
81.88/82.12 c #Conflicts: 644000 | #Constraints: 21630
81.88/82.12 c #Conflicts: 645000 | #Constraints: 22630
81.88/82.12 c #Conflicts: 646000 | #Constraints: 23630
81.88/82.12 c #Conflicts: 647000 | #Constraints: 24630
81.88/82.12 c #Conflicts: 648000 | #Constraints: 25630
81.88/82.12 c #Conflicts: 649000 | #Constraints: 26631
81.88/82.12 c #Conflicts: 650000 | #Constraints: 27631
81.88/82.12 c #Conflicts: 651000 | #Constraints: 28631
81.88/82.12 c #Conflicts: 652000 | #Constraints: 29631
81.88/82.12 c #Conflicts: 653000 | #Constraints: 30631
81.88/82.12 c #Conflicts: 654000 | #Constraints: 31631
81.88/82.12 c #Conflicts: 655000 | #Constraints: 32631
81.88/82.12 c INPROCESSING
81.88/82.12 c GARBAGE COLLECT
81.88/82.12 c rational objective 350.5
83.98/84.26 c #Conflicts: 656000 | #Constraints: 17628
83.98/84.26 c #Conflicts: 657000 | #Constraints: 18628
83.98/84.26 c #Conflicts: 658000 | #Constraints: 19628
83.98/84.26 c #Conflicts: 659000 | #Constraints: 20628
83.98/84.26 c #Conflicts: 660000 | #Constraints: 21628
83.98/84.26 c #Conflicts: 661000 | #Constraints: 22628
83.98/84.26 c #Conflicts: 662000 | #Constraints: 23628
83.98/84.26 c #Conflicts: 663000 | #Constraints: 24628
83.98/84.26 c #Conflicts: 664000 | #Constraints: 25628
83.98/84.26 c #Conflicts: 665000 | #Constraints: 26629
83.98/84.26 c #Conflicts: 666000 | #Constraints: 27629
83.98/84.26 c #Conflicts: 667000 | #Constraints: 28629
83.98/84.26 c #Conflicts: 668000 | #Constraints: 29629
83.98/84.26 c #Conflicts: 669000 | #Constraints: 30629
83.98/84.26 c #Conflicts: 670000 | #Constraints: 31629
83.98/84.26 c #Conflicts: 671000 | #Constraints: 32629
83.98/84.26 c INPROCESSING
83.98/84.26 c GARBAGE COLLECT
83.98/84.26 c rational objective 350.5
86.06/86.36 c #Conflicts: 672000 | #Constraints: 17426
86.06/86.36 c #Conflicts: 673000 | #Constraints: 18426
86.06/86.36 c #Conflicts: 674000 | #Constraints: 19426
86.06/86.36 c #Conflicts: 675000 | #Constraints: 20426
86.06/86.36 c #Conflicts: 676000 | #Constraints: 21426
86.06/86.36 c #Conflicts: 677000 | #Constraints: 22426
86.06/86.36 c #Conflicts: 678000 | #Constraints: 23426
86.06/86.36 c #Conflicts: 679000 | #Constraints: 24426
86.06/86.36 c #Conflicts: 680000 | #Constraints: 25426
86.06/86.36 c #Conflicts: 681000 | #Constraints: 26427
86.06/86.36 c #Conflicts: 682000 | #Constraints: 27427
86.06/86.36 c #Conflicts: 683000 | #Constraints: 28427
86.06/86.36 c #Conflicts: 684000 | #Constraints: 29427
86.06/86.36 c #Conflicts: 685000 | #Constraints: 30427
86.06/86.36 c #Conflicts: 686000 | #Constraints: 31427
86.06/86.36 c #Conflicts: 687000 | #Constraints: 32427
86.06/86.36 c #Conflicts: 688000 | #Constraints: 33427
86.06/86.36 c INPROCESSING
86.06/86.36 c GARBAGE COLLECT
86.06/86.36 c rational objective 350.5
88.36/88.61 c #Conflicts: 689000 | #Constraints: 18026
88.36/88.61 c #Conflicts: 690000 | #Constraints: 19026
88.36/88.61 c #Conflicts: 691000 | #Constraints: 20026
88.36/88.61 c #Conflicts: 692000 | #Constraints: 21026
88.36/88.61 c #Conflicts: 693000 | #Constraints: 22026
88.36/88.61 c #Conflicts: 694000 | #Constraints: 23026
88.36/88.61 c #Conflicts: 695000 | #Constraints: 24026
88.36/88.61 c #Conflicts: 696000 | #Constraints: 25026
88.36/88.61 c #Conflicts: 697000 | #Constraints: 26026
88.36/88.61 c #Conflicts: 698000 | #Constraints: 27026
88.36/88.61 c #Conflicts: 699000 | #Constraints: 28026
88.36/88.61 c #Conflicts: 700000 | #Constraints: 29027
88.36/88.61 c #Conflicts: 701000 | #Constraints: 30027
88.36/88.61 c #Conflicts: 702000 | #Constraints: 31027
88.36/88.61 c #Conflicts: 703000 | #Constraints: 32027
88.36/88.61 c #Conflicts: 704000 | #Constraints: 33027
88.36/88.61 c #Conflicts: 705000 | #Constraints: 34027
88.36/88.61 c INPROCESSING
88.36/88.61 c GARBAGE COLLECT
88.36/88.61 c rational objective 350.5
90.65/90.91 c #Conflicts: 706000 | #Constraints: 18432
90.65/90.91 c #Conflicts: 707000 | #Constraints: 19432
90.65/90.91 c #Conflicts: 708000 | #Constraints: 20432
90.65/90.91 c #Conflicts: 709000 | #Constraints: 21432
90.65/90.91 c #Conflicts: 710000 | #Constraints: 22432
90.65/90.91 c #Conflicts: 711000 | #Constraints: 23432
90.65/90.91 c #Conflicts: 712000 | #Constraints: 24432
90.65/90.91 c #Conflicts: 713000 | #Constraints: 25432
90.65/90.91 c #Conflicts: 714000 | #Constraints: 26432
90.65/90.91 c #Conflicts: 715000 | #Constraints: 27432
90.65/90.91 c #Conflicts: 716000 | #Constraints: 28432
90.65/90.91 c #Conflicts: 717000 | #Constraints: 29432
90.65/90.91 c #Conflicts: 718000 | #Constraints: 30432
90.65/90.91 c #Conflicts: 719000 | #Constraints: 31432
90.65/90.91 c #Conflicts: 720000 | #Constraints: 32432
90.65/90.91 c #Conflicts: 721000 | #Constraints: 33432
90.65/90.91 c #Conflicts: 722000 | #Constraints: 34432
90.65/90.91 c INPROCESSING
90.65/90.91 c GARBAGE COLLECT
90.65/90.91 c rational objective 350.5
93.15/93.40 c #Conflicts: 723000 | #Constraints: 18642
93.15/93.40 c #Conflicts: 724000 | #Constraints: 19642
93.15/93.40 c #Conflicts: 725000 | #Constraints: 20642
93.15/93.40 c #Conflicts: 726000 | #Constraints: 21642
93.15/93.40 c #Conflicts: 727000 | #Constraints: 22642
93.15/93.40 c #Conflicts: 728000 | #Constraints: 23642
93.15/93.40 c #Conflicts: 729000 | #Constraints: 24643
93.15/93.40 c #Conflicts: 730000 | #Constraints: 25643
93.15/93.40 c #Conflicts: 731000 | #Constraints: 26643
93.15/93.40 c #Conflicts: 732000 | #Constraints: 27643
93.15/93.40 c #Conflicts: 733000 | #Constraints: 28643
93.15/93.40 c #Conflicts: 734000 | #Constraints: 29643
93.15/93.40 c #Conflicts: 735000 | #Constraints: 30643
93.15/93.40 c #Conflicts: 736000 | #Constraints: 31643
93.15/93.40 c #Conflicts: 737000 | #Constraints: 32643
93.15/93.40 c #Conflicts: 738000 | #Constraints: 33643
93.15/93.40 c #Conflicts: 739000 | #Constraints: 34643
93.15/93.40 c INPROCESSING
93.15/93.40 c GARBAGE COLLECT
93.15/93.40 c rational objective 350.5
95.35/95.69 c #Conflicts: 740000 | #Constraints: 18648
95.35/95.69 c #Conflicts: 741000 | #Constraints: 19648
95.35/95.69 c #Conflicts: 742000 | #Constraints: 20648
95.35/95.69 c #Conflicts: 743000 | #Constraints: 21649
95.35/95.69 c #Conflicts: 744000 | #Constraints: 22650
95.35/95.69 c #Conflicts: 745000 | #Constraints: 23650
95.35/95.69 c #Conflicts: 746000 | #Constraints: 24651
95.35/95.69 c #Conflicts: 747000 | #Constraints: 25651
95.35/95.69 c #Conflicts: 748000 | #Constraints: 26651
95.35/95.69 c #Conflicts: 749000 | #Constraints: 27651
95.35/95.69 c #Conflicts: 750000 | #Constraints: 28651
95.35/95.69 c #Conflicts: 751000 | #Constraints: 29651
95.35/95.69 c #Conflicts: 752000 | #Constraints: 30651
95.35/95.69 c #Conflicts: 753000 | #Constraints: 31651
95.35/95.69 c #Conflicts: 754000 | #Constraints: 32651
95.35/95.69 c #Conflicts: 755000 | #Constraints: 33651
95.35/95.69 c #Conflicts: 756000 | #Constraints: 34652
95.35/95.69 c INPROCESSING
95.35/95.69 c GARBAGE COLLECT
95.35/95.69 c rational objective 350.5
97.64/97.92 c #Conflicts: 757000 | #Constraints: 18439
97.64/97.92 c #Conflicts: 758000 | #Constraints: 19439
97.64/97.92 c #Conflicts: 759000 | #Constraints: 20439
97.64/97.92 c #Conflicts: 760000 | #Constraints: 21439
97.64/97.92 c #Conflicts: 761000 | #Constraints: 22439
97.64/97.92 c #Conflicts: 762000 | #Constraints: 23439
97.64/97.92 c #Conflicts: 763000 | #Constraints: 24439
97.64/97.92 c #Conflicts: 764000 | #Constraints: 25439
97.64/97.92 c #Conflicts: 765000 | #Constraints: 26439
97.64/97.92 c #Conflicts: 766000 | #Constraints: 27439
97.64/97.92 c #Conflicts: 767000 | #Constraints: 28439
97.64/97.92 c #Conflicts: 768000 | #Constraints: 29440
97.64/97.92 c #Conflicts: 769000 | #Constraints: 30440
97.64/97.92 c #Conflicts: 770000 | #Constraints: 31440
97.64/97.92 c #Conflicts: 771000 | #Constraints: 32441
97.64/97.92 c #Conflicts: 772000 | #Constraints: 33441
97.64/97.92 c #Conflicts: 773000 | #Constraints: 34441
97.64/97.92 c #Conflicts: 774000 | #Constraints: 35442
97.64/97.92 c INPROCESSING
97.64/97.92 c GARBAGE COLLECT
97.64/97.92 c rational objective 350.5
99.93/100.28 c #Conflicts: 775000 | #Constraints: 19034
99.93/100.28 c #Conflicts: 776000 | #Constraints: 20034
99.93/100.28 c #Conflicts: 777000 | #Constraints: 21034
99.93/100.28 c #Conflicts: 778000 | #Constraints: 22034
99.93/100.28 c #Conflicts: 779000 | #Constraints: 23034
99.93/100.28 c #Conflicts: 780000 | #Constraints: 24034
99.93/100.28 c #Conflicts: 781000 | #Constraints: 25034
99.93/100.28 c #Conflicts: 782000 | #Constraints: 26034
99.93/100.28 c #Conflicts: 783000 | #Constraints: 27035
99.93/100.28 c #Conflicts: 784000 | #Constraints: 28035
99.93/100.28 c #Conflicts: 785000 | #Constraints: 29035
99.93/100.28 c #Conflicts: 786000 | #Constraints: 30035
99.93/100.28 c #Conflicts: 787000 | #Constraints: 31035
99.93/100.28 c #Conflicts: 788000 | #Constraints: 32035
99.93/100.28 c #Conflicts: 789000 | #Constraints: 33035
99.93/100.28 c #Conflicts: 790000 | #Constraints: 34035
99.93/100.28 c #Conflicts: 791000 | #Constraints: 35035
99.93/100.28 c #Conflicts: 792000 | #Constraints: 36035
99.93/100.28 c INPROCESSING
99.93/100.28 c GARBAGE COLLECT
99.93/100.28 c rational objective 350.5
102.33/102.60 c #Conflicts: 793000 | #Constraints: 19443
102.33/102.60 c #Conflicts: 794000 | #Constraints: 20443
102.33/102.60 c #Conflicts: 795000 | #Constraints: 21443
102.33/102.60 c #Conflicts: 796000 | #Constraints: 22443
102.33/102.60 c #Conflicts: 797000 | #Constraints: 23444
102.33/102.60 c #Conflicts: 798000 | #Constraints: 24444
102.33/102.60 c #Conflicts: 799000 | #Constraints: 25444
102.33/102.60 c #Conflicts: 800000 | #Constraints: 26444
102.33/102.60 c #Conflicts: 801000 | #Constraints: 27444
102.33/102.60 c #Conflicts: 802000 | #Constraints: 28444
102.33/102.60 c #Conflicts: 803000 | #Constraints: 29444
102.33/102.60 c #Conflicts: 804000 | #Constraints: 30445
102.33/102.60 c #Conflicts: 805000 | #Constraints: 31445
102.33/102.60 c #Conflicts: 806000 | #Constraints: 32445
102.33/102.60 c #Conflicts: 807000 | #Constraints: 33445
102.33/102.60 c #Conflicts: 808000 | #Constraints: 34445
102.33/102.60 c #Conflicts: 809000 | #Constraints: 35445
102.33/102.60 c #Conflicts: 810000 | #Constraints: 36445
102.33/102.60 c INPROCESSING
102.33/102.60 c GARBAGE COLLECT
102.33/102.60 c rational objective 350.5
104.73/105.07 c #Conflicts: 811000 | #Constraints: 19648
104.73/105.07 c #Conflicts: 812000 | #Constraints: 20648
104.73/105.07 c #Conflicts: 813000 | #Constraints: 21648
104.73/105.07 c #Conflicts: 814000 | #Constraints: 22648
104.73/105.07 c #Conflicts: 815000 | #Constraints: 23648
104.73/105.07 c #Conflicts: 816000 | #Constraints: 24648
104.73/105.07 c #Conflicts: 817000 | #Constraints: 25648
104.73/105.07 c #Conflicts: 818000 | #Constraints: 26648
104.73/105.07 c #Conflicts: 819000 | #Constraints: 27649
104.73/105.07 c #Conflicts: 820000 | #Constraints: 28649
104.73/105.07 c #Conflicts: 821000 | #Constraints: 29649
104.73/105.07 c #Conflicts: 822000 | #Constraints: 30649
104.73/105.07 c #Conflicts: 823000 | #Constraints: 31649
104.73/105.07 c #Conflicts: 824000 | #Constraints: 32649
104.73/105.07 c #Conflicts: 825000 | #Constraints: 33649
104.73/105.07 c #Conflicts: 826000 | #Constraints: 34649
104.73/105.07 c #Conflicts: 827000 | #Constraints: 35649
104.73/105.07 c #Conflicts: 828000 | #Constraints: 36649
104.73/105.07 c INPROCESSING
104.73/105.07 c GARBAGE COLLECT
104.73/105.07 c rational objective 350.5
107.41/107.78 c #Conflicts: 829000 | #Constraints: 19642
107.41/107.78 c #Conflicts: 830000 | #Constraints: 20642
107.41/107.78 c #Conflicts: 831000 | #Constraints: 21642
107.41/107.78 c #Conflicts: 832000 | #Constraints: 22642
107.41/107.78 c #Conflicts: 833000 | #Constraints: 23642
107.41/107.78 c #Conflicts: 834000 | #Constraints: 24642
107.41/107.78 c #Conflicts: 835000 | #Constraints: 25642
107.41/107.78 c #Conflicts: 836000 | #Constraints: 26642
107.41/107.78 c #Conflicts: 837000 | #Constraints: 27642
107.41/107.78 c #Conflicts: 838000 | #Constraints: 28642
107.41/107.78 c #Conflicts: 839000 | #Constraints: 29642
107.41/107.78 c #Conflicts: 840000 | #Constraints: 30642
107.41/107.78 c #Conflicts: 841000 | #Constraints: 31642
107.41/107.78 c #Conflicts: 842000 | #Constraints: 32642
107.41/107.78 c #Conflicts: 843000 | #Constraints: 33642
107.41/107.78 c #Conflicts: 844000 | #Constraints: 34642
107.41/107.78 c #Conflicts: 845000 | #Constraints: 35642
107.41/107.78 c #Conflicts: 846000 | #Constraints: 36642
107.41/107.78 c INPROCESSING
107.41/107.78 c GARBAGE COLLECT
107.41/107.78 c rational objective 350.5
109.90/110.28 c #Conflicts: 847000 | #Constraints: 19441
109.90/110.28 c #Conflicts: 848000 | #Constraints: 20441
109.90/110.28 c #Conflicts: 849000 | #Constraints: 21441
109.90/110.28 c #Conflicts: 850000 | #Constraints: 22441
109.90/110.28 c #Conflicts: 851000 | #Constraints: 23441
109.90/110.28 c #Conflicts: 852000 | #Constraints: 24441
109.90/110.28 c #Conflicts: 853000 | #Constraints: 25441
109.90/110.28 c #Conflicts: 854000 | #Constraints: 26441
109.90/110.28 c #Conflicts: 855000 | #Constraints: 27442
109.90/110.28 c #Conflicts: 856000 | #Constraints: 28443
109.90/110.28 c #Conflicts: 857000 | #Constraints: 29443
109.90/110.28 c #Conflicts: 858000 | #Constraints: 30443
109.90/110.28 c #Conflicts: 859000 | #Constraints: 31443
109.90/110.28 c #Conflicts: 860000 | #Constraints: 32443
109.90/110.28 c #Conflicts: 861000 | #Constraints: 33443
109.90/110.28 c #Conflicts: 862000 | #Constraints: 34443
109.90/110.28 c #Conflicts: 863000 | #Constraints: 35443
109.90/110.28 c #Conflicts: 864000 | #Constraints: 36443
109.90/110.28 c #Conflicts: 865000 | #Constraints: 37443
109.90/110.28 c INPROCESSING
109.90/110.28 c GARBAGE COLLECT
109.90/110.28 c rational objective 350.5
112.51/112.80 c #Conflicts: 866000 | #Constraints: 20038
112.51/112.80 c #Conflicts: 867000 | #Constraints: 21038
112.51/112.80 c #Conflicts: 868000 | #Constraints: 22038
112.51/112.80 c #Conflicts: 869000 | #Constraints: 23038
112.51/112.80 c #Conflicts: 870000 | #Constraints: 24038
112.51/112.80 c #Conflicts: 871000 | #Constraints: 25038
112.51/112.80 c #Conflicts: 872000 | #Constraints: 26038
112.51/112.80 c #Conflicts: 873000 | #Constraints: 27038
112.51/112.80 c #Conflicts: 874000 | #Constraints: 28038
112.51/112.80 c #Conflicts: 875000 | #Constraints: 29038
112.51/112.80 c #Conflicts: 876000 | #Constraints: 30038
112.51/112.80 c #Conflicts: 877000 | #Constraints: 31038
112.51/112.80 c #Conflicts: 878000 | #Constraints: 32038
112.51/112.80 c #Conflicts: 879000 | #Constraints: 33038
112.51/112.80 c #Conflicts: 880000 | #Constraints: 34039
112.51/112.80 c #Conflicts: 881000 | #Constraints: 35039
112.51/112.80 c #Conflicts: 882000 | #Constraints: 36039
112.51/112.80 c #Conflicts: 883000 | #Constraints: 37039
112.51/112.80 c #Conflicts: 884000 | #Constraints: 38039
112.51/112.80 c INPROCESSING
112.51/112.80 c GARBAGE COLLECT
112.51/112.80 c rational objective 350.5
114.99/115.30 c #Conflicts: 885000 | #Constraints: 20439
114.99/115.30 c #Conflicts: 886000 | #Constraints: 21439
114.99/115.30 c #Conflicts: 887000 | #Constraints: 22439
114.99/115.30 c #Conflicts: 888000 | #Constraints: 23439
114.99/115.30 c #Conflicts: 889000 | #Constraints: 24439
114.99/115.30 c #Conflicts: 890000 | #Constraints: 25439
114.99/115.30 c #Conflicts: 891000 | #Constraints: 26439
114.99/115.30 c #Conflicts: 892000 | #Constraints: 27439
114.99/115.30 c #Conflicts: 893000 | #Constraints: 28439
114.99/115.30 c #Conflicts: 894000 | #Constraints: 29440
114.99/115.30 c #Conflicts: 895000 | #Constraints: 30440
114.99/115.30 c #Conflicts: 896000 | #Constraints: 31441
114.99/115.30 c #Conflicts: 897000 | #Constraints: 32441
114.99/115.30 c #Conflicts: 898000 | #Constraints: 33441
114.99/115.30 c #Conflicts: 899000 | #Constraints: 34441
114.99/115.30 c #Conflicts: 900000 | #Constraints: 35441
114.99/115.30 c #Conflicts: 901000 | #Constraints: 36441
114.99/115.30 c #Conflicts: 902000 | #Constraints: 37441
114.99/115.30 c #Conflicts: 903000 | #Constraints: 38441
114.99/115.30 c INPROCESSING
114.99/115.30 c GARBAGE COLLECT
114.99/115.30 c rational objective 350.5
117.49/117.84 c #Conflicts: 904000 | #Constraints: 20642
117.49/117.84 c #Conflicts: 905000 | #Constraints: 21642
117.49/117.84 c #Conflicts: 906000 | #Constraints: 22642
117.49/117.84 c #Conflicts: 907000 | #Constraints: 23642
117.49/117.84 c #Conflicts: 908000 | #Constraints: 24642
117.49/117.84 c #Conflicts: 909000 | #Constraints: 25642
117.49/117.84 c #Conflicts: 910000 | #Constraints: 26642
117.49/117.84 c #Conflicts: 911000 | #Constraints: 27642
117.49/117.84 c #Conflicts: 912000 | #Constraints: 28642
117.49/117.84 c #Conflicts: 913000 | #Constraints: 29642
117.49/117.84 c #Conflicts: 914000 | #Constraints: 30642
117.49/117.84 c #Conflicts: 915000 | #Constraints: 31643
117.49/117.84 c #Conflicts: 916000 | #Constraints: 32643
117.49/117.84 c #Conflicts: 917000 | #Constraints: 33643
117.49/117.84 c #Conflicts: 918000 | #Constraints: 34643
117.49/117.84 c #Conflicts: 919000 | #Constraints: 35643
117.49/117.84 c #Conflicts: 920000 | #Constraints: 36644
117.49/117.84 c #Conflicts: 921000 | #Constraints: 37644
117.49/117.84 c #Conflicts: 922000 | #Constraints: 38644
117.49/117.84 c INPROCESSING
117.49/117.84 c GARBAGE COLLECT
117.49/117.84 c rational objective 350.5
120.08/120.46 c #Conflicts: 923000 | #Constraints: 20638
120.08/120.46 c #Conflicts: 924000 | #Constraints: 21638
120.08/120.46 c #Conflicts: 925000 | #Constraints: 22638
120.08/120.46 c #Conflicts: 926000 | #Constraints: 23638
120.08/120.46 c #Conflicts: 927000 | #Constraints: 24638
120.08/120.46 c #Conflicts: 928000 | #Constraints: 25638
120.08/120.46 c #Conflicts: 929000 | #Constraints: 26638
120.08/120.46 c #Conflicts: 930000 | #Constraints: 27638
120.08/120.46 c #Conflicts: 931000 | #Constraints: 28638
120.08/120.46 c #Conflicts: 932000 | #Constraints: 29638
120.08/120.46 c #Conflicts: 933000 | #Constraints: 30638
120.08/120.46 c #Conflicts: 934000 | #Constraints: 31638
120.08/120.46 c #Conflicts: 935000 | #Constraints: 32638
120.08/120.46 c #Conflicts: 936000 | #Constraints: 33638
120.08/120.46 c #Conflicts: 937000 | #Constraints: 34638
120.08/120.46 c #Conflicts: 938000 | #Constraints: 35638
120.08/120.46 c #Conflicts: 939000 | #Constraints: 36638
120.08/120.46 c #Conflicts: 940000 | #Constraints: 37639
120.08/120.46 c #Conflicts: 941000 | #Constraints: 38639
120.08/120.46 c INPROCESSING
120.08/120.46 c GARBAGE COLLECT
120.08/120.46 c rational objective 350.5
123.17/123.54 c #Conflicts: 942000 | #Constraints: 20449
123.17/123.54 c #Conflicts: 943000 | #Constraints: 21449
123.17/123.54 c #Conflicts: 944000 | #Constraints: 22449
123.17/123.54 c #Conflicts: 945000 | #Constraints: 23449
123.17/123.54 c #Conflicts: 946000 | #Constraints: 24449
123.17/123.54 c #Conflicts: 947000 | #Constraints: 25449
123.17/123.54 c #Conflicts: 948000 | #Constraints: 26449
123.17/123.54 c #Conflicts: 949000 | #Constraints: 27449
123.17/123.54 c #Conflicts: 950000 | #Constraints: 28449
123.17/123.54 c #Conflicts: 951000 | #Constraints: 29450
123.17/123.54 c #Conflicts: 952000 | #Constraints: 30450
123.17/123.54 c #Conflicts: 953000 | #Constraints: 31450
123.17/123.54 c #Conflicts: 954000 | #Constraints: 32450
123.17/123.54 c #Conflicts: 955000 | #Constraints: 33450
123.17/123.54 c #Conflicts: 956000 | #Constraints: 34450
123.17/123.54 c #Conflicts: 957000 | #Constraints: 35450
123.17/123.54 c #Conflicts: 958000 | #Constraints: 36450
123.17/123.54 c #Conflicts: 959000 | #Constraints: 37450
123.17/123.54 c #Conflicts: 960000 | #Constraints: 38450
123.17/123.54 c #Conflicts: 961000 | #Constraints: 39451
123.17/123.54 c INPROCESSING
123.17/123.54 c GARBAGE COLLECT
123.17/123.54 c rational objective 350.5
126.06/126.47 c #Conflicts: 962000 | #Constraints: 21049
126.06/126.47 c #Conflicts: 963000 | #Constraints: 22049
126.06/126.47 c #Conflicts: 964000 | #Constraints: 23049
126.06/126.47 c #Conflicts: 965000 | #Constraints: 24049
126.06/126.47 c #Conflicts: 966000 | #Constraints: 25049
126.06/126.47 c #Conflicts: 967000 | #Constraints: 26049
126.06/126.47 c #Conflicts: 968000 | #Constraints: 27049
126.06/126.47 c #Conflicts: 969000 | #Constraints: 28049
126.06/126.47 c #Conflicts: 970000 | #Constraints: 29049
126.06/126.47 c #Conflicts: 971000 | #Constraints: 30049
126.06/126.47 c #Conflicts: 972000 | #Constraints: 31049
126.06/126.47 c #Conflicts: 973000 | #Constraints: 32049
126.06/126.47 c #Conflicts: 974000 | #Constraints: 33049
126.06/126.47 c #Conflicts: 975000 | #Constraints: 34049
126.06/126.47 c #Conflicts: 976000 | #Constraints: 35049
126.06/126.47 c #Conflicts: 977000 | #Constraints: 36049
126.06/126.47 c #Conflicts: 978000 | #Constraints: 37049
126.06/126.47 c #Conflicts: 979000 | #Constraints: 38049
126.06/126.47 c #Conflicts: 980000 | #Constraints: 39049
126.06/126.47 c #Conflicts: 981000 | #Constraints: 40049
126.06/126.47 c INPROCESSING
126.06/126.47 c GARBAGE COLLECT
126.06/126.47 c rational objective 350.5
129.46/129.87 c #Conflicts: 982000 | #Constraints: 21445
129.46/129.87 c #Conflicts: 983000 | #Constraints: 22445
129.46/129.87 c #Conflicts: 984000 | #Constraints: 23445
129.46/129.87 c #Conflicts: 985000 | #Constraints: 24445
129.46/129.87 c #Conflicts: 986000 | #Constraints: 25445
129.46/129.87 c #Conflicts: 987000 | #Constraints: 26445
129.46/129.87 c #Conflicts: 988000 | #Constraints: 27445
129.46/129.87 c #Conflicts: 989000 | #Constraints: 28445
129.46/129.87 c #Conflicts: 990000 | #Constraints: 29445
129.46/129.87 c #Conflicts: 991000 | #Constraints: 30445
129.46/129.87 c #Conflicts: 992000 | #Constraints: 31445
129.46/129.87 c #Conflicts: 993000 | #Constraints: 32445
129.46/129.87 c #Conflicts: 994000 | #Constraints: 33445
129.46/129.87 c #Conflicts: 995000 | #Constraints: 34445
129.46/129.87 c #Conflicts: 996000 | #Constraints: 35445
129.46/129.87 c #Conflicts: 997000 | #Constraints: 36445
129.46/129.87 c #Conflicts: 998000 | #Constraints: 37445
129.46/129.87 c #Conflicts: 999000 | #Constraints: 38445
129.46/129.87 c #Conflicts: 1000000 | #Constraints: 39445
129.46/129.87 c #Conflicts: 1001000 | #Constraints: 40445
129.46/129.87 c INPROCESSING
129.46/129.87 c GARBAGE COLLECT
129.46/129.87 c rational objective 350.5
132.95/133.37 c #Conflicts: 1002000 | #Constraints: 21647
132.95/133.37 c #Conflicts: 1003000 | #Constraints: 22647
132.95/133.37 c #Conflicts: 1004000 | #Constraints: 23647
132.95/133.37 c #Conflicts: 1005000 | #Constraints: 24647
132.95/133.37 c #Conflicts: 1006000 | #Constraints: 25647
132.95/133.37 c #Conflicts: 1007000 | #Constraints: 26648
132.95/133.37 c #Conflicts: 1008000 | #Constraints: 27648
132.95/133.37 c #Conflicts: 1009000 | #Constraints: 28648
132.95/133.37 c #Conflicts: 1010000 | #Constraints: 29648
132.95/133.37 c #Conflicts: 1011000 | #Constraints: 30648
132.95/133.37 c #Conflicts: 1012000 | #Constraints: 31648
132.95/133.37 c #Conflicts: 1013000 | #Constraints: 32648
132.95/133.37 c #Conflicts: 1014000 | #Constraints: 33648
132.95/133.37 c #Conflicts: 1015000 | #Constraints: 34648
132.95/133.37 c #Conflicts: 1016000 | #Constraints: 35648
132.95/133.37 c #Conflicts: 1017000 | #Constraints: 36648
132.95/133.37 c #Conflicts: 1018000 | #Constraints: 37648
132.95/133.37 c #Conflicts: 1019000 | #Constraints: 38648
132.95/133.37 c #Conflicts: 1020000 | #Constraints: 39648
132.95/133.37 c #Conflicts: 1021000 | #Constraints: 40648
132.95/133.37 c INPROCESSING
132.95/133.37 c GARBAGE COLLECT
132.95/133.37 c rational objective 350.5
136.34/136.70 c #Conflicts: 1022000 | #Constraints: 21649
136.34/136.70 c #Conflicts: 1023000 | #Constraints: 22649
136.34/136.70 c #Conflicts: 1024000 | #Constraints: 23649
136.34/136.70 c #Conflicts: 1025000 | #Constraints: 24649
136.34/136.70 c #Conflicts: 1026000 | #Constraints: 25649
136.34/136.70 c #Conflicts: 1027000 | #Constraints: 26649
136.34/136.70 c #Conflicts: 1028000 | #Constraints: 27649
136.34/136.70 c #Conflicts: 1029000 | #Constraints: 28649
136.34/136.70 c #Conflicts: 1030000 | #Constraints: 29649
136.34/136.70 c #Conflicts: 1031000 | #Constraints: 30649
136.34/136.70 c #Conflicts: 1032000 | #Constraints: 31649
136.34/136.70 c #Conflicts: 1033000 | #Constraints: 32649
136.34/136.70 c #Conflicts: 1034000 | #Constraints: 33649
136.34/136.70 c #Conflicts: 1035000 | #Constraints: 34649
136.34/136.70 c #Conflicts: 1036000 | #Constraints: 35649
136.34/136.70 c #Conflicts: 1037000 | #Constraints: 36649
136.34/136.70 c #Conflicts: 1038000 | #Constraints: 37649
136.34/136.70 c #Conflicts: 1039000 | #Constraints: 38649
136.34/136.70 c #Conflicts: 1040000 | #Constraints: 39649
136.34/136.70 c #Conflicts: 1041000 | #Constraints: 40650
136.34/136.70 c INPROCESSING
136.34/136.70 c GARBAGE COLLECT
136.34/136.70 c rational objective 350.5
139.53/139.94 c #Conflicts: 1042000 | #Constraints: 21438
139.53/139.94 c #Conflicts: 1043000 | #Constraints: 22438
139.53/139.94 c #Conflicts: 1044000 | #Constraints: 23438
139.53/139.94 c #Conflicts: 1045000 | #Constraints: 24438
139.53/139.94 c #Conflicts: 1046000 | #Constraints: 25438
139.53/139.94 c #Conflicts: 1047000 | #Constraints: 26438
139.53/139.94 c #Conflicts: 1048000 | #Constraints: 27438
139.53/139.94 c #Conflicts: 1049000 | #Constraints: 28438
139.53/139.94 c #Conflicts: 1050000 | #Constraints: 29438
139.53/139.94 c #Conflicts: 1051000 | #Constraints: 30438
139.53/139.94 c #Conflicts: 1052000 | #Constraints: 31438
139.53/139.94 c #Conflicts: 1053000 | #Constraints: 32438
139.53/139.94 c #Conflicts: 1054000 | #Constraints: 33438
139.53/139.94 c #Conflicts: 1055000 | #Constraints: 34438
139.53/139.94 c #Conflicts: 1056000 | #Constraints: 35438
139.53/139.94 c #Conflicts: 1057000 | #Constraints: 36438
139.53/139.94 c #Conflicts: 1058000 | #Constraints: 37438
139.53/139.94 c #Conflicts: 1059000 | #Constraints: 38438
139.53/139.94 c #Conflicts: 1060000 | #Constraints: 39438
139.53/139.94 c #Conflicts: 1061000 | #Constraints: 40438
139.53/139.94 c #Conflicts: 1062000 | #Constraints: 41438
139.53/139.94 c INPROCESSING
139.53/139.94 c GARBAGE COLLECT
139.53/139.94 c rational objective 350.5
143.02/143.46 c #Conflicts: 1063000 | #Constraints: 22042
143.02/143.46 c #Conflicts: 1064000 | #Constraints: 23042
143.02/143.46 c #Conflicts: 1065000 | #Constraints: 24042
143.02/143.46 c #Conflicts: 1066000 | #Constraints: 25043
143.02/143.46 c #Conflicts: 1067000 | #Constraints: 26043
143.02/143.46 c #Conflicts: 1068000 | #Constraints: 27043
143.02/143.46 c #Conflicts: 1069000 | #Constraints: 28043
143.02/143.46 c #Conflicts: 1070000 | #Constraints: 29043
143.02/143.46 c #Conflicts: 1071000 | #Constraints: 30043
143.02/143.46 c #Conflicts: 1072000 | #Constraints: 31043
143.02/143.46 c #Conflicts: 1073000 | #Constraints: 32043
143.02/143.46 c #Conflicts: 1074000 | #Constraints: 33043
143.02/143.46 c #Conflicts: 1075000 | #Constraints: 34043
143.02/143.46 c #Conflicts: 1076000 | #Constraints: 35043
143.02/143.46 c #Conflicts: 1077000 | #Constraints: 36043
143.02/143.46 c #Conflicts: 1078000 | #Constraints: 37043
143.02/143.46 c #Conflicts: 1079000 | #Constraints: 38043
143.02/143.46 c #Conflicts: 1080000 | #Constraints: 39043
143.02/143.46 c #Conflicts: 1081000 | #Constraints: 40043
143.02/143.46 c #Conflicts: 1082000 | #Constraints: 41043
143.02/143.46 c #Conflicts: 1083000 | #Constraints: 42043
143.02/143.46 c INPROCESSING
143.02/143.46 c GARBAGE COLLECT
143.02/143.46 c rational objective 350.5
146.52/146.94 c #Conflicts: 1084000 | #Constraints: 22439
146.52/146.94 c #Conflicts: 1085000 | #Constraints: 23439
146.52/146.94 c #Conflicts: 1086000 | #Constraints: 24439
146.52/146.94 c #Conflicts: 1087000 | #Constraints: 25439
146.52/146.94 c #Conflicts: 1088000 | #Constraints: 26439
146.52/146.94 c #Conflicts: 1089000 | #Constraints: 27439
146.52/146.94 c #Conflicts: 1090000 | #Constraints: 28439
146.52/146.94 c #Conflicts: 1091000 | #Constraints: 29439
146.52/146.94 c #Conflicts: 1092000 | #Constraints: 30439
146.52/146.94 c #Conflicts: 1093000 | #Constraints: 31439
146.52/146.94 c #Conflicts: 1094000 | #Constraints: 32439
146.52/146.94 c #Conflicts: 1095000 | #Constraints: 33439
146.52/146.94 c #Conflicts: 1096000 | #Constraints: 34439
146.52/146.94 c #Conflicts: 1097000 | #Constraints: 35439
146.52/146.94 c #Conflicts: 1098000 | #Constraints: 36439
146.52/146.94 c #Conflicts: 1099000 | #Constraints: 37439
146.52/146.94 c #Conflicts: 1100000 | #Constraints: 38439
146.52/146.94 c #Conflicts: 1101000 | #Constraints: 39439
146.52/146.94 c #Conflicts: 1102000 | #Constraints: 40439
146.52/146.94 c #Conflicts: 1103000 | #Constraints: 41439
146.52/146.94 c #Conflicts: 1104000 | #Constraints: 42439
146.52/146.94 c INPROCESSING
146.52/146.94 c GARBAGE COLLECT
146.52/146.94 c rational objective 350.5
150.51/151.00 c #Conflicts: 1105000 | #Constraints: 22638
150.51/151.00 c #Conflicts: 1106000 | #Constraints: 23638
150.51/151.00 c #Conflicts: 1107000 | #Constraints: 24638
150.51/151.00 c #Conflicts: 1108000 | #Constraints: 25638
150.51/151.00 c #Conflicts: 1109000 | #Constraints: 26638
150.51/151.00 c #Conflicts: 1110000 | #Constraints: 27638
150.51/151.00 c #Conflicts: 1111000 | #Constraints: 28638
150.51/151.00 c #Conflicts: 1112000 | #Constraints: 29638
150.51/151.00 c #Conflicts: 1113000 | #Constraints: 30638
150.51/151.00 c #Conflicts: 1114000 | #Constraints: 31638
150.51/151.00 c #Conflicts: 1115000 | #Constraints: 32638
150.51/151.00 c #Conflicts: 1116000 | #Constraints: 33638
150.51/151.00 c #Conflicts: 1117000 | #Constraints: 34638
150.51/151.00 c #Conflicts: 1118000 | #Constraints: 35638
150.51/151.00 c #Conflicts: 1119000 | #Constraints: 36638
150.51/151.00 c #Conflicts: 1120000 | #Constraints: 37638
150.51/151.00 c #Conflicts: 1121000 | #Constraints: 38638
150.51/151.00 c #Conflicts: 1122000 | #Constraints: 39638
150.51/151.00 c #Conflicts: 1123000 | #Constraints: 40638
150.51/151.00 c #Conflicts: 1124000 | #Constraints: 41638
150.61/151.01 c #Conflicts: 1125000 | #Constraints: 42638
150.61/151.01 c INPROCESSING
150.61/151.01 c GARBAGE COLLECT
150.61/151.01 c rational objective 350.5
153.70/154.10 c #Conflicts: 1126000 | #Constraints: 22641
153.70/154.10 c #Conflicts: 1127000 | #Constraints: 23641
153.70/154.10 c #Conflicts: 1128000 | #Constraints: 24641
153.70/154.10 c #Conflicts: 1129000 | #Constraints: 25641
153.70/154.10 c #Conflicts: 1130000 | #Constraints: 26641
153.70/154.10 c #Conflicts: 1131000 | #Constraints: 27641
153.70/154.10 c #Conflicts: 1132000 | #Constraints: 28641
153.70/154.10 c #Conflicts: 1133000 | #Constraints: 29641
153.70/154.10 c #Conflicts: 1134000 | #Constraints: 30641
153.70/154.10 c #Conflicts: 1135000 | #Constraints: 31641
153.70/154.10 c #Conflicts: 1136000 | #Constraints: 32641
153.70/154.10 c #Conflicts: 1137000 | #Constraints: 33641
153.70/154.10 c #Conflicts: 1138000 | #Constraints: 34641
153.70/154.10 c #Conflicts: 1139000 | #Constraints: 35641
153.70/154.10 c #Conflicts: 1140000 | #Constraints: 36641
153.70/154.10 c #Conflicts: 1141000 | #Constraints: 37641
153.70/154.10 c #Conflicts: 1142000 | #Constraints: 38641
153.70/154.10 c #Conflicts: 1143000 | #Constraints: 39641
153.70/154.10 c #Conflicts: 1144000 | #Constraints: 40641
153.70/154.10 c #Conflicts: 1145000 | #Constraints: 41641
153.70/154.10 c #Conflicts: 1146000 | #Constraints: 42641
153.70/154.10 c INPROCESSING
153.70/154.10 c GARBAGE COLLECT
153.70/154.10 c rational objective 350.5
156.70/157.15 c #Conflicts: 1147000 | #Constraints: 22442
156.70/157.15 c #Conflicts: 1148000 | #Constraints: 23442
156.70/157.15 c #Conflicts: 1149000 | #Constraints: 24442
156.70/157.15 c #Conflicts: 1150000 | #Constraints: 25442
156.70/157.15 c #Conflicts: 1151000 | #Constraints: 26442
156.70/157.15 c #Conflicts: 1152000 | #Constraints: 27442
156.70/157.15 c #Conflicts: 1153000 | #Constraints: 28442
156.70/157.15 c #Conflicts: 1154000 | #Constraints: 29442
156.70/157.15 c #Conflicts: 1155000 | #Constraints: 30442
156.70/157.15 c #Conflicts: 1156000 | #Constraints: 31442
156.70/157.15 c #Conflicts: 1157000 | #Constraints: 32442
156.70/157.15 c #Conflicts: 1158000 | #Constraints: 33442
156.70/157.15 c #Conflicts: 1159000 | #Constraints: 34442
156.70/157.15 c #Conflicts: 1160000 | #Constraints: 35442
156.70/157.15 c #Conflicts: 1161000 | #Constraints: 36442
156.70/157.15 c #Conflicts: 1162000 | #Constraints: 37442
156.70/157.15 c #Conflicts: 1163000 | #Constraints: 38442
156.70/157.15 c #Conflicts: 1164000 | #Constraints: 39442
156.70/157.15 c #Conflicts: 1165000 | #Constraints: 40442
156.70/157.15 c #Conflicts: 1166000 | #Constraints: 41442
156.70/157.15 c #Conflicts: 1167000 | #Constraints: 42442
156.70/157.15 c #Conflicts: 1168000 | #Constraints: 43442
156.70/157.15 c INPROCESSING
156.70/157.15 c GARBAGE COLLECT
156.70/157.15 c rational objective 350.5
159.78/160.27 c #Conflicts: 1169000 | #Constraints: 23035
159.78/160.27 c #Conflicts: 1170000 | #Constraints: 24035
159.78/160.27 c #Conflicts: 1171000 | #Constraints: 25035
159.78/160.27 c #Conflicts: 1172000 | #Constraints: 26035
159.78/160.27 c #Conflicts: 1173000 | #Constraints: 27035
159.78/160.27 c #Conflicts: 1174000 | #Constraints: 28036
159.78/160.27 c #Conflicts: 1175000 | #Constraints: 29036
159.78/160.27 c #Conflicts: 1176000 | #Constraints: 30036
159.78/160.27 c #Conflicts: 1177000 | #Constraints: 31036
159.78/160.27 c #Conflicts: 1178000 | #Constraints: 32036
159.78/160.27 c #Conflicts: 1179000 | #Constraints: 33036
159.78/160.27 c #Conflicts: 1180000 | #Constraints: 34036
159.78/160.27 c #Conflicts: 1181000 | #Constraints: 35036
159.78/160.27 c #Conflicts: 1182000 | #Constraints: 36036
159.78/160.27 c #Conflicts: 1183000 | #Constraints: 37037
159.78/160.27 c #Conflicts: 1184000 | #Constraints: 38037
159.78/160.27 c #Conflicts: 1185000 | #Constraints: 39037
159.78/160.27 c #Conflicts: 1186000 | #Constraints: 40037
159.78/160.27 c #Conflicts: 1187000 | #Constraints: 41037
159.78/160.27 c #Conflicts: 1188000 | #Constraints: 42037
159.78/160.27 c #Conflicts: 1189000 | #Constraints: 43037
159.78/160.27 c #Conflicts: 1190000 | #Constraints: 44037
159.78/160.27 c INPROCESSING
159.78/160.27 c GARBAGE COLLECT
159.78/160.27 c rational objective 350.5
163.27/163.71 c #Conflicts: 1191000 | #Constraints: 23442
163.27/163.71 c #Conflicts: 1192000 | #Constraints: 24442
163.27/163.71 c #Conflicts: 1193000 | #Constraints: 25442
163.27/163.71 c #Conflicts: 1194000 | #Constraints: 26442
163.27/163.71 c #Conflicts: 1195000 | #Constraints: 27442
163.27/163.71 c #Conflicts: 1196000 | #Constraints: 28443
163.27/163.71 c #Conflicts: 1197000 | #Constraints: 29443
163.27/163.71 c #Conflicts: 1198000 | #Constraints: 30443
163.27/163.71 c #Conflicts: 1199000 | #Constraints: 31443
163.27/163.71 c #Conflicts: 1200000 | #Constraints: 32443
163.27/163.71 c #Conflicts: 1201000 | #Constraints: 33443
163.27/163.71 c #Conflicts: 1202000 | #Constraints: 34443
163.27/163.71 c #Conflicts: 1203000 | #Constraints: 35443
163.27/163.71 c #Conflicts: 1204000 | #Constraints: 36443
163.27/163.71 c #Conflicts: 1205000 | #Constraints: 37443
163.27/163.71 c #Conflicts: 1206000 | #Constraints: 38443
163.27/163.71 c #Conflicts: 1207000 | #Constraints: 39445
163.27/163.71 c #Conflicts: 1208000 | #Constraints: 40445
163.27/163.71 c #Conflicts: 1209000 | #Constraints: 41445
163.27/163.71 c #Conflicts: 1210000 | #Constraints: 42445
163.27/163.71 c #Conflicts: 1211000 | #Constraints: 43445
163.27/163.71 c #Conflicts: 1212000 | #Constraints: 44445
163.27/163.71 c INPROCESSING
163.27/163.71 c GARBAGE COLLECT
163.27/163.71 c rational objective 350.5
166.57/167.06 c #Conflicts: 1213000 | #Constraints: 23648
166.57/167.06 c #Conflicts: 1214000 | #Constraints: 24648
166.57/167.06 c #Conflicts: 1215000 | #Constraints: 25648
166.57/167.06 c #Conflicts: 1216000 | #Constraints: 26648
166.57/167.06 c #Conflicts: 1217000 | #Constraints: 27648
166.57/167.06 c #Conflicts: 1218000 | #Constraints: 28648
166.57/167.06 c #Conflicts: 1219000 | #Constraints: 29648
166.57/167.06 c #Conflicts: 1220000 | #Constraints: 30648
166.57/167.06 c #Conflicts: 1221000 | #Constraints: 31648
166.57/167.06 c #Conflicts: 1222000 | #Constraints: 32648
166.57/167.06 c #Conflicts: 1223000 | #Constraints: 33648
166.57/167.06 c #Conflicts: 1224000 | #Constraints: 34648
166.57/167.06 c #Conflicts: 1225000 | #Constraints: 35648
166.57/167.06 c #Conflicts: 1226000 | #Constraints: 36648
166.57/167.06 c #Conflicts: 1227000 | #Constraints: 37648
166.57/167.06 c #Conflicts: 1228000 | #Constraints: 38648
166.57/167.06 c #Conflicts: 1229000 | #Constraints: 39648
166.57/167.06 c #Conflicts: 1230000 | #Constraints: 40648
166.57/167.06 c #Conflicts: 1231000 | #Constraints: 41648
166.57/167.06 c #Conflicts: 1232000 | #Constraints: 42648
166.57/167.06 c #Conflicts: 1233000 | #Constraints: 43648
166.57/167.06 c #Conflicts: 1234000 | #Constraints: 44649
166.57/167.06 c INPROCESSING
166.57/167.06 c GARBAGE COLLECT
166.57/167.06 c rational objective 350.5
169.86/170.33 c #Conflicts: 1235000 | #Constraints: 23639
169.86/170.33 c #Conflicts: 1236000 | #Constraints: 24639
169.86/170.33 c #Conflicts: 1237000 | #Constraints: 25639
169.86/170.33 c #Conflicts: 1238000 | #Constraints: 26639
169.86/170.33 c #Conflicts: 1239000 | #Constraints: 27640
169.86/170.33 c #Conflicts: 1240000 | #Constraints: 28640
169.86/170.33 c #Conflicts: 1241000 | #Constraints: 29640
169.86/170.33 c #Conflicts: 1242000 | #Constraints: 30640
169.86/170.33 c #Conflicts: 1243000 | #Constraints: 31641
169.86/170.33 c #Conflicts: 1244000 | #Constraints: 32641
169.86/170.33 c #Conflicts: 1245000 | #Constraints: 33641
169.86/170.33 c #Conflicts: 1246000 | #Constraints: 34641
169.86/170.33 c #Conflicts: 1247000 | #Constraints: 35641
169.86/170.33 c #Conflicts: 1248000 | #Constraints: 36641
169.86/170.33 c #Conflicts: 1249000 | #Constraints: 37641
169.86/170.33 c #Conflicts: 1250000 | #Constraints: 38641
169.86/170.33 c #Conflicts: 1251000 | #Constraints: 39641
169.86/170.33 c #Conflicts: 1252000 | #Constraints: 40641
169.86/170.33 c #Conflicts: 1253000 | #Constraints: 41641
169.86/170.33 c #Conflicts: 1254000 | #Constraints: 42641
169.86/170.33 c #Conflicts: 1255000 | #Constraints: 43641
169.86/170.33 c #Conflicts: 1256000 | #Constraints: 44641
169.86/170.33 c INPROCESSING
169.86/170.33 c GARBAGE COLLECT
169.86/170.33 c rational objective 350.5
173.24/173.79 c #Conflicts: 1257000 | #Constraints: 23436
173.24/173.79 c #Conflicts: 1258000 | #Constraints: 24436
173.24/173.79 c #Conflicts: 1259000 | #Constraints: 25436
173.24/173.79 c #Conflicts: 1260000 | #Constraints: 26436
173.24/173.79 c #Conflicts: 1261000 | #Constraints: 27436
173.24/173.79 c #Conflicts: 1262000 | #Constraints: 28436
173.24/173.79 c #Conflicts: 1263000 | #Constraints: 29436
173.24/173.79 c #Conflicts: 1264000 | #Constraints: 30436
173.24/173.79 c #Conflicts: 1265000 | #Constraints: 31436
173.24/173.79 c #Conflicts: 1266000 | #Constraints: 32436
173.24/173.79 c #Conflicts: 1267000 | #Constraints: 33436
173.24/173.79 c #Conflicts: 1268000 | #Constraints: 34436
173.24/173.79 c #Conflicts: 1269000 | #Constraints: 35436
173.24/173.79 c #Conflicts: 1270000 | #Constraints: 36436
173.24/173.79 c #Conflicts: 1271000 | #Constraints: 37436
173.24/173.79 c #Conflicts: 1272000 | #Constraints: 38436
173.24/173.79 c #Conflicts: 1273000 | #Constraints: 39436
173.24/173.79 c #Conflicts: 1274000 | #Constraints: 40436
173.24/173.79 c #Conflicts: 1275000 | #Constraints: 41436
173.24/173.79 c #Conflicts: 1276000 | #Constraints: 42436
173.24/173.79 c #Conflicts: 1277000 | #Constraints: 43436
173.24/173.79 c #Conflicts: 1278000 | #Constraints: 44436
173.24/173.79 c #Conflicts: 1279000 | #Constraints: 45436
173.24/173.79 c INPROCESSING
173.24/173.79 c GARBAGE COLLECT
173.24/173.79 c rational objective 350.5
176.65/177.12 c #Conflicts: 1280000 | #Constraints: 24032
176.65/177.12 c #Conflicts: 1281000 | #Constraints: 25032
176.65/177.12 c #Conflicts: 1282000 | #Constraints: 26032
176.65/177.12 c #Conflicts: 1283000 | #Constraints: 27032
176.65/177.12 c #Conflicts: 1284000 | #Constraints: 28032
176.65/177.12 c #Conflicts: 1285000 | #Constraints: 29032
176.65/177.12 c #Conflicts: 1286000 | #Constraints: 30032
176.65/177.12 c #Conflicts: 1287000 | #Constraints: 31032
176.65/177.12 c #Conflicts: 1288000 | #Constraints: 32032
176.65/177.12 c #Conflicts: 1289000 | #Constraints: 33032
176.65/177.12 c #Conflicts: 1290000 | #Constraints: 34032
176.65/177.12 c #Conflicts: 1291000 | #Constraints: 35032
176.65/177.12 c #Conflicts: 1292000 | #Constraints: 36032
176.65/177.12 c #Conflicts: 1293000 | #Constraints: 37032
176.65/177.12 c #Conflicts: 1294000 | #Constraints: 38032
176.65/177.12 c #Conflicts: 1295000 | #Constraints: 39032
176.65/177.12 c #Conflicts: 1296000 | #Constraints: 40032
176.65/177.12 c #Conflicts: 1297000 | #Constraints: 41032
176.65/177.12 c #Conflicts: 1298000 | #Constraints: 42032
176.65/177.12 c #Conflicts: 1299000 | #Constraints: 43032
176.65/177.12 c #Conflicts: 1300000 | #Constraints: 44032
176.65/177.12 c #Conflicts: 1301000 | #Constraints: 45032
176.65/177.12 c #Conflicts: 1302000 | #Constraints: 46032
176.65/177.12 c INPROCESSING
176.65/177.12 c GARBAGE COLLECT
176.65/177.12 c rational objective 350.5
180.33/180.89 c #Conflicts: 1303000 | #Constraints: 24437
180.33/180.89 c #Conflicts: 1304000 | #Constraints: 25437
180.33/180.89 c #Conflicts: 1305000 | #Constraints: 26437
180.33/180.89 c #Conflicts: 1306000 | #Constraints: 27437
180.33/180.89 c #Conflicts: 1307000 | #Constraints: 28437
180.33/180.89 c #Conflicts: 1308000 | #Constraints: 29437
180.33/180.89 c #Conflicts: 1309000 | #Constraints: 30437
180.33/180.89 c #Conflicts: 1310000 | #Constraints: 31437
180.33/180.89 c #Conflicts: 1311000 | #Constraints: 32437
180.33/180.89 c #Conflicts: 1312000 | #Constraints: 33437
180.33/180.89 c #Conflicts: 1313000 | #Constraints: 34437
180.33/180.89 c #Conflicts: 1314000 | #Constraints: 35437
180.33/180.89 c #Conflicts: 1315000 | #Constraints: 36437
180.33/180.89 c #Conflicts: 1316000 | #Constraints: 37437
180.33/180.89 c #Conflicts: 1317000 | #Constraints: 38437
180.33/180.89 c #Conflicts: 1318000 | #Constraints: 39437
180.33/180.89 c #Conflicts: 1319000 | #Constraints: 40437
180.33/180.89 c #Conflicts: 1320000 | #Constraints: 41437
180.33/180.89 c #Conflicts: 1321000 | #Constraints: 42437
180.33/180.89 c #Conflicts: 1322000 | #Constraints: 43437
180.33/180.89 c #Conflicts: 1323000 | #Constraints: 44437
180.33/180.89 c #Conflicts: 1324000 | #Constraints: 45437
180.33/180.89 c #Conflicts: 1325000 | #Constraints: 46437
180.33/180.89 c INPROCESSING
180.33/180.89 c GARBAGE COLLECT
180.33/180.89 c rational objective 350.5
183.92/184.47 c #Conflicts: 1326000 | #Constraints: 24634
183.92/184.47 c #Conflicts: 1327000 | #Constraints: 25634
183.92/184.47 c #Conflicts: 1328000 | #Constraints: 26634
183.92/184.47 c #Conflicts: 1329000 | #Constraints: 27634
183.92/184.47 c #Conflicts: 1330000 | #Constraints: 28634
183.92/184.47 c #Conflicts: 1331000 | #Constraints: 29634
183.92/184.47 c #Conflicts: 1332000 | #Constraints: 30634
183.92/184.47 c #Conflicts: 1333000 | #Constraints: 31634
183.92/184.47 c #Conflicts: 1334000 | #Constraints: 32634
183.92/184.47 c #Conflicts: 1335000 | #Constraints: 33634
183.92/184.47 c #Conflicts: 1336000 | #Constraints: 34634
183.92/184.47 c #Conflicts: 1337000 | #Constraints: 35634
183.92/184.47 c #Conflicts: 1338000 | #Constraints: 36634
183.92/184.47 c #Conflicts: 1339000 | #Constraints: 37634
183.92/184.47 c #Conflicts: 1340000 | #Constraints: 38634
183.92/184.47 c #Conflicts: 1341000 | #Constraints: 39634
183.92/184.47 c #Conflicts: 1342000 | #Constraints: 40634
183.92/184.47 c #Conflicts: 1343000 | #Constraints: 41635
183.92/184.47 c #Conflicts: 1344000 | #Constraints: 42635
183.92/184.47 c #Conflicts: 1345000 | #Constraints: 43635
183.92/184.47 c #Conflicts: 1346000 | #Constraints: 44635
183.92/184.47 c #Conflicts: 1347000 | #Constraints: 45635
183.92/184.47 c #Conflicts: 1348000 | #Constraints: 46635
183.92/184.47 c INPROCESSING
183.92/184.47 c GARBAGE COLLECT
183.92/184.47 c rational objective 350.5
187.41/187.95 c #Conflicts: 1349000 | #Constraints: 24646
187.41/187.95 c #Conflicts: 1350000 | #Constraints: 25646
187.41/187.95 c #Conflicts: 1351000 | #Constraints: 26646
187.41/187.95 c #Conflicts: 1352000 | #Constraints: 27646
187.41/187.95 c #Conflicts: 1353000 | #Constraints: 28646
187.41/187.95 c #Conflicts: 1354000 | #Constraints: 29646
187.41/187.95 c #Conflicts: 1355000 | #Constraints: 30646
187.41/187.95 c #Conflicts: 1356000 | #Constraints: 31647
187.41/187.95 c #Conflicts: 1357000 | #Constraints: 32647
187.41/187.95 c #Conflicts: 1358000 | #Constraints: 33647
187.41/187.95 c #Conflicts: 1359000 | #Constraints: 34647
187.41/187.95 c #Conflicts: 1360000 | #Constraints: 35647
187.41/187.95 c #Conflicts: 1361000 | #Constraints: 36647
187.41/187.95 c #Conflicts: 1362000 | #Constraints: 37647
187.41/187.95 c #Conflicts: 1363000 | #Constraints: 38647
187.41/187.95 c #Conflicts: 1364000 | #Constraints: 39647
187.41/187.95 c #Conflicts: 1365000 | #Constraints: 40647
187.41/187.95 c #Conflicts: 1366000 | #Constraints: 41647
187.41/187.95 c #Conflicts: 1367000 | #Constraints: 42647
187.41/187.95 c #Conflicts: 1368000 | #Constraints: 43647
187.41/187.95 c #Conflicts: 1369000 | #Constraints: 44647
187.41/187.95 c #Conflicts: 1370000 | #Constraints: 45647
187.41/187.95 c #Conflicts: 1371000 | #Constraints: 46647
187.41/187.95 c INPROCESSING
187.41/187.95 c GARBAGE COLLECT
187.41/187.95 c rational objective 350.5
190.80/191.37 c #Conflicts: 1372000 | #Constraints: 24447
190.80/191.37 c #Conflicts: 1373000 | #Constraints: 25447
190.80/191.37 c #Conflicts: 1374000 | #Constraints: 26447
190.80/191.37 c #Conflicts: 1375000 | #Constraints: 27447
190.80/191.37 c #Conflicts: 1376000 | #Constraints: 28447
190.80/191.37 c #Conflicts: 1377000 | #Constraints: 29447
190.80/191.37 c #Conflicts: 1378000 | #Constraints: 30447
190.80/191.37 c #Conflicts: 1379000 | #Constraints: 31447
190.80/191.37 c #Conflicts: 1380000 | #Constraints: 32447
190.80/191.37 c #Conflicts: 1381000 | #Constraints: 33447
190.80/191.37 c #Conflicts: 1382000 | #Constraints: 34447
190.80/191.37 c #Conflicts: 1383000 | #Constraints: 35447
190.80/191.37 c #Conflicts: 1384000 | #Constraints: 36447
190.80/191.37 c #Conflicts: 1385000 | #Constraints: 37447
190.80/191.37 c #Conflicts: 1386000 | #Constraints: 38447
190.80/191.37 c #Conflicts: 1387000 | #Constraints: 39447
190.80/191.37 c #Conflicts: 1388000 | #Constraints: 40447
190.80/191.37 c #Conflicts: 1389000 | #Constraints: 41447
190.80/191.37 c #Conflicts: 1390000 | #Constraints: 42447
190.80/191.37 c #Conflicts: 1391000 | #Constraints: 43447
190.80/191.37 c #Conflicts: 1392000 | #Constraints: 44447
190.80/191.37 c #Conflicts: 1393000 | #Constraints: 45447
190.80/191.37 c #Conflicts: 1394000 | #Constraints: 46447
190.80/191.37 c #Conflicts: 1395000 | #Constraints: 47447
190.80/191.37 c INPROCESSING
190.80/191.37 c GARBAGE COLLECT
190.80/191.37 c rational objective 350.5
194.29/194.88 c #Conflicts: 1396000 | #Constraints: 25064
194.29/194.88 c #Conflicts: 1397000 | #Constraints: 26064
194.29/194.88 c #Conflicts: 1398000 | #Constraints: 27065
194.29/194.88 c #Conflicts: 1399000 | #Constraints: 28065
194.29/194.88 c #Conflicts: 1400000 | #Constraints: 29065
194.29/194.88 c #Conflicts: 1401000 | #Constraints: 30065
194.29/194.88 c #Conflicts: 1402000 | #Constraints: 31065
194.29/194.88 c #Conflicts: 1403000 | #Constraints: 32065
194.29/194.88 c #Conflicts: 1404000 | #Constraints: 33066
194.29/194.88 c #Conflicts: 1405000 | #Constraints: 34066
194.29/194.88 c #Conflicts: 1406000 | #Constraints: 35066
194.29/194.88 c #Conflicts: 1407000 | #Constraints: 36066
194.29/194.88 c #Conflicts: 1408000 | #Constraints: 37066
194.29/194.88 c #Conflicts: 1409000 | #Constraints: 38066
194.29/194.88 c #Conflicts: 1410000 | #Constraints: 39066
194.29/194.88 c #Conflicts: 1411000 | #Constraints: 40066
194.29/194.88 c #Conflicts: 1412000 | #Constraints: 41066
194.29/194.88 c #Conflicts: 1413000 | #Constraints: 42066
194.29/194.88 c #Conflicts: 1414000 | #Constraints: 43066
194.29/194.88 c #Conflicts: 1415000 | #Constraints: 44066
194.29/194.88 c #Conflicts: 1416000 | #Constraints: 45066
194.29/194.88 c #Conflicts: 1417000 | #Constraints: 46066
194.29/194.88 c #Conflicts: 1418000 | #Constraints: 47066
194.29/194.88 c #Conflicts: 1419000 | #Constraints: 48066
194.29/194.88 c INPROCESSING
194.29/194.88 c GARBAGE COLLECT
194.29/194.88 c rational objective 350.5
197.98/198.56 c #Conflicts: 1420000 | #Constraints: 25463
197.98/198.56 c #Conflicts: 1421000 | #Constraints: 26463
197.98/198.56 c #Conflicts: 1422000 | #Constraints: 27463
197.98/198.56 c #Conflicts: 1423000 | #Constraints: 28463
197.98/198.56 c #Conflicts: 1424000 | #Constraints: 29463
197.98/198.56 c #Conflicts: 1425000 | #Constraints: 30464
197.98/198.56 c #Conflicts: 1426000 | #Constraints: 31464
197.98/198.56 c #Conflicts: 1427000 | #Constraints: 32464
197.98/198.56 c #Conflicts: 1428000 | #Constraints: 33464
197.98/198.56 c #Conflicts: 1429000 | #Constraints: 34464
197.98/198.56 c #Conflicts: 1430000 | #Constraints: 35464
197.98/198.56 c #Conflicts: 1431000 | #Constraints: 36464
197.98/198.56 c #Conflicts: 1432000 | #Constraints: 37464
197.98/198.56 c #Conflicts: 1433000 | #Constraints: 38464
197.98/198.56 c #Conflicts: 1434000 | #Constraints: 39465
197.98/198.56 c #Conflicts: 1435000 | #Constraints: 40465
197.98/198.56 c #Conflicts: 1436000 | #Constraints: 41465
197.98/198.56 c #Conflicts: 1437000 | #Constraints: 42465
197.98/198.56 c #Conflicts: 1438000 | #Constraints: 43465
197.98/198.56 c #Conflicts: 1439000 | #Constraints: 44465
197.98/198.56 c #Conflicts: 1440000 | #Constraints: 45465
197.98/198.56 c #Conflicts: 1441000 | #Constraints: 46465
197.98/198.56 c #Conflicts: 1442000 | #Constraints: 47465
197.98/198.56 c #Conflicts: 1443000 | #Constraints: 48465
197.98/198.56 c INPROCESSING
197.98/198.56 c GARBAGE COLLECT
197.98/198.56 c rational objective 350.5
201.97/202.56 c #Conflicts: 1444000 | #Constraints: 25663
201.97/202.56 c #Conflicts: 1445000 | #Constraints: 26663
201.97/202.56 c #Conflicts: 1446000 | #Constraints: 27663
201.97/202.56 c #Conflicts: 1447000 | #Constraints: 28663
201.97/202.56 c #Conflicts: 1448000 | #Constraints: 29663
201.97/202.56 c #Conflicts: 1449000 | #Constraints: 30663
201.97/202.56 c #Conflicts: 1450000 | #Constraints: 31663
201.97/202.56 c #Conflicts: 1451000 | #Constraints: 32663
201.97/202.56 c #Conflicts: 1452000 | #Constraints: 33663
201.97/202.56 c #Conflicts: 1453000 | #Constraints: 34663
201.97/202.56 c #Conflicts: 1454000 | #Constraints: 35663
201.97/202.56 c #Conflicts: 1455000 | #Constraints: 36663
201.97/202.56 c #Conflicts: 1456000 | #Constraints: 37663
201.97/202.56 c #Conflicts: 1457000 | #Constraints: 38663
201.97/202.56 c #Conflicts: 1458000 | #Constraints: 39663
201.97/202.56 c #Conflicts: 1459000 | #Constraints: 40663
201.97/202.56 c #Conflicts: 1460000 | #Constraints: 41663
201.97/202.56 c #Conflicts: 1461000 | #Constraints: 42663
201.97/202.56 c #Conflicts: 1462000 | #Constraints: 43663
201.97/202.56 c #Conflicts: 1463000 | #Constraints: 44663
201.97/202.56 c #Conflicts: 1464000 | #Constraints: 45663
201.97/202.56 c #Conflicts: 1465000 | #Constraints: 46663
201.97/202.56 c #Conflicts: 1466000 | #Constraints: 47663
201.97/202.56 c #Conflicts: 1467000 | #Constraints: 48663
201.97/202.56 c INPROCESSING
201.97/202.56 c GARBAGE COLLECT
201.97/202.56 c rational objective 350.5
205.57/206.17 c #Conflicts: 1468000 | #Constraints: 25658
205.57/206.17 c #Conflicts: 1469000 | #Constraints: 26658
205.57/206.17 c #Conflicts: 1470000 | #Constraints: 27658
205.57/206.17 c #Conflicts: 1471000 | #Constraints: 28658
205.57/206.17 c #Conflicts: 1472000 | #Constraints: 29659
205.57/206.17 c #Conflicts: 1473000 | #Constraints: 30659
205.57/206.17 c #Conflicts: 1474000 | #Constraints: 31659
205.57/206.17 c #Conflicts: 1475000 | #Constraints: 32659
205.57/206.17 c #Conflicts: 1476000 | #Constraints: 33659
205.57/206.17 c #Conflicts: 1477000 | #Constraints: 34659
205.57/206.17 c #Conflicts: 1478000 | #Constraints: 35659
205.57/206.17 c #Conflicts: 1479000 | #Constraints: 36659
205.57/206.17 c #Conflicts: 1480000 | #Constraints: 37659
205.57/206.17 c #Conflicts: 1481000 | #Constraints: 38659
205.57/206.17 c #Conflicts: 1482000 | #Constraints: 39659
205.57/206.17 c #Conflicts: 1483000 | #Constraints: 40659
205.57/206.17 c #Conflicts: 1484000 | #Constraints: 41659
205.57/206.17 c #Conflicts: 1485000 | #Constraints: 42659
205.57/206.17 c #Conflicts: 1486000 | #Constraints: 43659
205.57/206.17 c #Conflicts: 1487000 | #Constraints: 44659
205.57/206.17 c #Conflicts: 1488000 | #Constraints: 45659
205.57/206.17 c #Conflicts: 1489000 | #Constraints: 46659
205.57/206.17 c #Conflicts: 1490000 | #Constraints: 47659
205.57/206.17 c #Conflicts: 1491000 | #Constraints: 48659
205.57/206.17 c INPROCESSING
205.57/206.17 c GARBAGE COLLECT
205.57/206.17 c rational objective 350.5
209.36/209.97 c #Conflicts: 1492000 | #Constraints: 25460
209.36/209.97 c #Conflicts: 1493000 | #Constraints: 26460
209.36/209.97 c #Conflicts: 1494000 | #Constraints: 27460
209.36/209.97 c #Conflicts: 1495000 | #Constraints: 28460
209.36/209.97 c #Conflicts: 1496000 | #Constraints: 29460
209.36/209.97 c #Conflicts: 1497000 | #Constraints: 30460
209.36/209.97 c #Conflicts: 1498000 | #Constraints: 31460
209.36/209.97 c #Conflicts: 1499000 | #Constraints: 32460
209.36/209.97 c #Conflicts: 1500000 | #Constraints: 33460
209.36/209.97 c #Conflicts: 1501000 | #Constraints: 34460
209.36/209.97 c #Conflicts: 1502000 | #Constraints: 35460
209.36/209.97 c #Conflicts: 1503000 | #Constraints: 36460
209.36/209.97 c #Conflicts: 1504000 | #Constraints: 37460
209.36/209.97 c #Conflicts: 1505000 | #Constraints: 38460
209.36/209.97 c #Conflicts: 1506000 | #Constraints: 39460
209.36/209.97 c #Conflicts: 1507000 | #Constraints: 40460
209.36/209.97 c #Conflicts: 1508000 | #Constraints: 41460
209.36/209.97 c #Conflicts: 1509000 | #Constraints: 42461
209.36/209.97 c #Conflicts: 1510000 | #Constraints: 43461
209.36/209.97 c #Conflicts: 1511000 | #Constraints: 44461
209.36/209.97 c #Conflicts: 1512000 | #Constraints: 45461
209.36/209.97 c #Conflicts: 1513000 | #Constraints: 46461
209.36/209.97 c #Conflicts: 1514000 | #Constraints: 47461
209.36/209.97 c #Conflicts: 1515000 | #Constraints: 48461
209.36/209.97 c #Conflicts: 1516000 | #Constraints: 49461
209.36/209.97 c INPROCESSING
209.36/209.97 c GARBAGE COLLECT
209.36/209.97 c rational objective 350.5
213.04/213.66 c #Conflicts: 1517000 | #Constraints: 26055
213.04/213.66 c #Conflicts: 1518000 | #Constraints: 27055
213.04/213.66 c #Conflicts: 1519000 | #Constraints: 28055
213.04/213.66 c #Conflicts: 1520000 | #Constraints: 29055
213.04/213.66 c #Conflicts: 1521000 | #Constraints: 30055
213.04/213.66 c #Conflicts: 1522000 | #Constraints: 31055
213.04/213.66 c #Conflicts: 1523000 | #Constraints: 32055
213.04/213.66 c #Conflicts: 1524000 | #Constraints: 33055
213.04/213.66 c #Conflicts: 1525000 | #Constraints: 34055
213.04/213.66 c #Conflicts: 1526000 | #Constraints: 35055
213.04/213.66 c #Conflicts: 1527000 | #Constraints: 36055
213.04/213.66 c #Conflicts: 1528000 | #Constraints: 37055
213.04/213.66 c #Conflicts: 1529000 | #Constraints: 38055
213.04/213.66 c #Conflicts: 1530000 | #Constraints: 39055
213.04/213.66 c #Conflicts: 1531000 | #Constraints: 40055
213.04/213.66 c #Conflicts: 1532000 | #Constraints: 41055
213.04/213.66 c #Conflicts: 1533000 | #Constraints: 42055
213.04/213.66 c #Conflicts: 1534000 | #Constraints: 43055
213.04/213.66 c #Conflicts: 1535000 | #Constraints: 44055
213.04/213.66 c #Conflicts: 1536000 | #Constraints: 45055
213.04/213.66 c #Conflicts: 1537000 | #Constraints: 46055
213.04/213.66 c #Conflicts: 1538000 | #Constraints: 47055
213.04/213.66 c #Conflicts: 1539000 | #Constraints: 48055
213.04/213.66 c #Conflicts: 1540000 | #Constraints: 49055
213.04/213.66 c #Conflicts: 1541000 | #Constraints: 50055
213.04/213.66 c INPROCESSING
213.04/213.66 c GARBAGE COLLECT
213.04/213.66 c rational objective 350.5
217.33/217.92 c #Conflicts: 1542000 | #Constraints: 26455
217.33/217.92 c #Conflicts: 1543000 | #Constraints: 27455
217.33/217.92 c #Conflicts: 1544000 | #Constraints: 28456
217.33/217.92 c #Conflicts: 1545000 | #Constraints: 29456
217.33/217.92 c #Conflicts: 1546000 | #Constraints: 30456
217.33/217.92 c #Conflicts: 1547000 | #Constraints: 31456
217.33/217.92 c #Conflicts: 1548000 | #Constraints: 32456
217.33/217.92 c #Conflicts: 1549000 | #Constraints: 33456
217.33/217.92 c #Conflicts: 1550000 | #Constraints: 34456
217.33/217.92 c #Conflicts: 1551000 | #Constraints: 35456
217.33/217.92 c #Conflicts: 1552000 | #Constraints: 36456
217.33/217.92 c #Conflicts: 1553000 | #Constraints: 37456
217.33/217.92 c #Conflicts: 1554000 | #Constraints: 38456
217.33/217.92 c #Conflicts: 1555000 | #Constraints: 39456
217.33/217.92 c #Conflicts: 1556000 | #Constraints: 40456
217.33/217.92 c #Conflicts: 1557000 | #Constraints: 41456
217.33/217.92 c #Conflicts: 1558000 | #Constraints: 42456
217.33/217.92 c #Conflicts: 1559000 | #Constraints: 43456
217.33/217.92 c #Conflicts: 1560000 | #Constraints: 44456
217.33/217.92 c #Conflicts: 1561000 | #Constraints: 45456
217.33/217.92 c #Conflicts: 1562000 | #Constraints: 46456
217.33/217.92 c #Conflicts: 1563000 | #Constraints: 47456
217.33/217.92 c #Conflicts: 1564000 | #Constraints: 48457
217.33/217.92 c #Conflicts: 1565000 | #Constraints: 49457
217.33/217.92 c #Conflicts: 1566000 | #Constraints: 50457
217.33/217.92 c INPROCESSING
217.33/217.92 c GARBAGE COLLECT
217.33/217.92 c rational objective 350.5
221.72/222.36 c #Conflicts: 1567000 | #Constraints: 26658
221.72/222.36 c #Conflicts: 1568000 | #Constraints: 27658
221.72/222.36 c #Conflicts: 1569000 | #Constraints: 28658
221.72/222.36 c #Conflicts: 1570000 | #Constraints: 29658
221.72/222.36 c #Conflicts: 1571000 | #Constraints: 30658
221.72/222.36 c #Conflicts: 1572000 | #Constraints: 31658
221.72/222.36 c #Conflicts: 1573000 | #Constraints: 32658
221.72/222.36 c #Conflicts: 1574000 | #Constraints: 33658
221.72/222.36 c #Conflicts: 1575000 | #Constraints: 34658
221.72/222.36 c #Conflicts: 1576000 | #Constraints: 35658
221.72/222.36 c #Conflicts: 1577000 | #Constraints: 36658
221.72/222.36 c #Conflicts: 1578000 | #Constraints: 37658
221.72/222.36 c #Conflicts: 1579000 | #Constraints: 38658
221.72/222.36 c #Conflicts: 1580000 | #Constraints: 39658
221.72/222.36 c #Conflicts: 1581000 | #Constraints: 40658
221.72/222.36 c #Conflicts: 1582000 | #Constraints: 41658
221.72/222.36 c #Conflicts: 1583000 | #Constraints: 42658
221.72/222.36 c #Conflicts: 1584000 | #Constraints: 43658
221.72/222.36 c #Conflicts: 1585000 | #Constraints: 44658
221.72/222.36 c #Conflicts: 1586000 | #Constraints: 45658
221.72/222.36 c #Conflicts: 1587000 | #Constraints: 46658
221.72/222.36 c #Conflicts: 1588000 | #Constraints: 47658
221.72/222.36 c #Conflicts: 1589000 | #Constraints: 48658
221.72/222.36 c #Conflicts: 1590000 | #Constraints: 49658
221.72/222.36 c #Conflicts: 1591000 | #Constraints: 50658
221.72/222.36 c INPROCESSING
221.72/222.36 c GARBAGE COLLECT
221.72/222.36 c rational objective 350.5
226.11/226.78 c #Conflicts: 1592000 | #Constraints: 26663
226.11/226.78 c #Conflicts: 1593000 | #Constraints: 27663
226.11/226.78 c #Conflicts: 1594000 | #Constraints: 28663
226.11/226.78 c #Conflicts: 1595000 | #Constraints: 29663
226.11/226.78 c #Conflicts: 1596000 | #Constraints: 30663
226.11/226.78 c #Conflicts: 1597000 | #Constraints: 31663
226.11/226.78 c #Conflicts: 1598000 | #Constraints: 32663
226.11/226.78 c #Conflicts: 1599000 | #Constraints: 33663
226.11/226.78 c #Conflicts: 1600000 | #Constraints: 34663
226.11/226.78 c #Conflicts: 1601000 | #Constraints: 35663
226.11/226.78 c #Conflicts: 1602000 | #Constraints: 36663
226.11/226.78 c #Conflicts: 1603000 | #Constraints: 37663
226.11/226.78 c #Conflicts: 1604000 | #Constraints: 38663
226.11/226.78 c #Conflicts: 1605000 | #Constraints: 39663
226.11/226.78 c #Conflicts: 1606000 | #Constraints: 40663
226.11/226.78 c #Conflicts: 1607000 | #Constraints: 41663
226.11/226.78 c #Conflicts: 1608000 | #Constraints: 42663
226.11/226.78 c #Conflicts: 1609000 | #Constraints: 43663
226.11/226.78 c #Conflicts: 1610000 | #Constraints: 44663
226.11/226.78 c #Conflicts: 1611000 | #Constraints: 45663
226.11/226.78 c #Conflicts: 1612000 | #Constraints: 46663
226.11/226.78 c #Conflicts: 1613000 | #Constraints: 47663
226.11/226.78 c #Conflicts: 1614000 | #Constraints: 48663
226.11/226.78 c #Conflicts: 1615000 | #Constraints: 49663
226.11/226.78 c #Conflicts: 1616000 | #Constraints: 50663
226.11/226.78 c INPROCESSING
226.11/226.78 c GARBAGE COLLECT
226.11/226.78 c rational objective 350.5
230.90/231.53 c #Conflicts: 1617000 | #Constraints: 26463
230.90/231.53 c #Conflicts: 1618000 | #Constraints: 27463
230.90/231.53 c #Conflicts: 1619000 | #Constraints: 28463
230.90/231.53 c #Conflicts: 1620000 | #Constraints: 29463
230.90/231.53 c #Conflicts: 1621000 | #Constraints: 30463
230.90/231.53 c #Conflicts: 1622000 | #Constraints: 31463
230.90/231.53 c #Conflicts: 1623000 | #Constraints: 32463
230.90/231.53 c #Conflicts: 1624000 | #Constraints: 33463
230.90/231.53 c #Conflicts: 1625000 | #Constraints: 34463
230.90/231.53 c #Conflicts: 1626000 | #Constraints: 35463
230.90/231.53 c #Conflicts: 1627000 | #Constraints: 36463
230.90/231.53 c #Conflicts: 1628000 | #Constraints: 37463
230.90/231.53 c #Conflicts: 1629000 | #Constraints: 38463
230.90/231.53 c #Conflicts: 1630000 | #Constraints: 39463
230.90/231.53 c #Conflicts: 1631000 | #Constraints: 40463
230.90/231.53 c #Conflicts: 1632000 | #Constraints: 41463
230.90/231.53 c #Conflicts: 1633000 | #Constraints: 42463
230.90/231.53 c #Conflicts: 1634000 | #Constraints: 43463
230.90/231.53 c #Conflicts: 1635000 | #Constraints: 44463
230.90/231.53 c #Conflicts: 1636000 | #Constraints: 45463
230.90/231.53 c #Conflicts: 1637000 | #Constraints: 46463
230.90/231.53 c #Conflicts: 1638000 | #Constraints: 47463
230.90/231.53 c #Conflicts: 1639000 | #Constraints: 48463
230.90/231.53 c #Conflicts: 1640000 | #Constraints: 49463
230.90/231.53 c #Conflicts: 1641000 | #Constraints: 50463
230.90/231.53 c #Conflicts: 1642000 | #Constraints: 51463
230.90/231.53 c INPROCESSING
230.90/231.53 c GARBAGE COLLECT
230.90/231.53 c rational objective 350.5
234.69/235.31 c #Conflicts: 1643000 | #Constraints: 27061
234.69/235.31 c #Conflicts: 1644000 | #Constraints: 28061
234.69/235.31 c #Conflicts: 1645000 | #Constraints: 29061
234.69/235.31 c #Conflicts: 1646000 | #Constraints: 30061
234.69/235.31 c #Conflicts: 1647000 | #Constraints: 31061
234.69/235.31 c #Conflicts: 1648000 | #Constraints: 32062
234.69/235.31 c #Conflicts: 1649000 | #Constraints: 33062
234.69/235.31 c #Conflicts: 1650000 | #Constraints: 34062
234.69/235.31 c #Conflicts: 1651000 | #Constraints: 35062
234.69/235.31 c #Conflicts: 1652000 | #Constraints: 36062
234.69/235.31 c #Conflicts: 1653000 | #Constraints: 37062
234.69/235.31 c #Conflicts: 1654000 | #Constraints: 38062
234.69/235.31 c #Conflicts: 1655000 | #Constraints: 39062
234.69/235.31 c #Conflicts: 1656000 | #Constraints: 40062
234.69/235.31 c #Conflicts: 1657000 | #Constraints: 41062
234.69/235.31 c #Conflicts: 1658000 | #Constraints: 42062
234.69/235.31 c #Conflicts: 1659000 | #Constraints: 43062
234.69/235.31 c #Conflicts: 1660000 | #Constraints: 44062
234.69/235.31 c #Conflicts: 1661000 | #Constraints: 45062
234.69/235.31 c #Conflicts: 1662000 | #Constraints: 46062
234.69/235.31 c #Conflicts: 1663000 | #Constraints: 47062
234.69/235.31 c #Conflicts: 1664000 | #Constraints: 48062
234.69/235.31 c #Conflicts: 1665000 | #Constraints: 49062
234.69/235.31 c #Conflicts: 1666000 | #Constraints: 50062
234.69/235.31 c #Conflicts: 1667000 | #Constraints: 51062
234.69/235.31 c #Conflicts: 1668000 | #Constraints: 52062
234.69/235.31 c INPROCESSING
234.69/235.31 c GARBAGE COLLECT
234.69/235.31 c rational objective 350.5
238.49/239.13 c #Conflicts: 1669000 | #Constraints: 27458
238.49/239.13 c #Conflicts: 1670000 | #Constraints: 28458
238.49/239.13 c #Conflicts: 1671000 | #Constraints: 29458
238.49/239.13 c #Conflicts: 1672000 | #Constraints: 30458
238.49/239.13 c #Conflicts: 1673000 | #Constraints: 31458
238.49/239.13 c #Conflicts: 1674000 | #Constraints: 32458
238.49/239.13 c #Conflicts: 1675000 | #Constraints: 33458
238.49/239.13 c #Conflicts: 1676000 | #Constraints: 34458
238.49/239.13 c #Conflicts: 1677000 | #Constraints: 35458
238.49/239.13 c #Conflicts: 1678000 | #Constraints: 36458
238.49/239.13 c #Conflicts: 1679000 | #Constraints: 37458
238.49/239.13 c #Conflicts: 1680000 | #Constraints: 38458
238.49/239.13 c #Conflicts: 1681000 | #Constraints: 39458
238.49/239.13 c #Conflicts: 1682000 | #Constraints: 40458
238.49/239.13 c #Conflicts: 1683000 | #Constraints: 41458
238.49/239.13 c #Conflicts: 1684000 | #Constraints: 42459
238.49/239.13 c #Conflicts: 1685000 | #Constraints: 43459
238.49/239.13 c #Conflicts: 1686000 | #Constraints: 44459
238.49/239.13 c #Conflicts: 1687000 | #Constraints: 45459
238.49/239.13 c #Conflicts: 1688000 | #Constraints: 46459
238.49/239.13 c #Conflicts: 1689000 | #Constraints: 47459
238.49/239.13 c #Conflicts: 1690000 | #Constraints: 48459
238.49/239.13 c #Conflicts: 1691000 | #Constraints: 49459
238.49/239.13 c #Conflicts: 1692000 | #Constraints: 50459
238.49/239.13 c #Conflicts: 1693000 | #Constraints: 51459
238.49/239.13 c #Conflicts: 1694000 | #Constraints: 52459
238.49/239.13 c INPROCESSING
238.49/239.13 c GARBAGE COLLECT
238.49/239.13 c rational objective 350.5
242.47/243.11 c #Conflicts: 1695000 | #Constraints: 27660
242.47/243.11 c #Conflicts: 1696000 | #Constraints: 28660
242.47/243.11 c #Conflicts: 1697000 | #Constraints: 29660
242.47/243.11 c #Conflicts: 1698000 | #Constraints: 30660
242.47/243.11 c #Conflicts: 1699000 | #Constraints: 31660
242.47/243.11 c #Conflicts: 1700000 | #Constraints: 32660
242.47/243.11 c #Conflicts: 1701000 | #Constraints: 33660
242.47/243.11 c #Conflicts: 1702000 | #Constraints: 34660
242.47/243.11 c #Conflicts: 1703000 | #Constraints: 35660
242.47/243.11 c #Conflicts: 1704000 | #Constraints: 36660
242.47/243.11 c #Conflicts: 1705000 | #Constraints: 37660
242.47/243.11 c #Conflicts: 1706000 | #Constraints: 38660
242.47/243.11 c #Conflicts: 1707000 | #Constraints: 39660
242.47/243.11 c #Conflicts: 1708000 | #Constraints: 40660
242.47/243.11 c #Conflicts: 1709000 | #Constraints: 41660
242.47/243.11 c #Conflicts: 1710000 | #Constraints: 42660
242.47/243.11 c #Conflicts: 1711000 | #Constraints: 43660
242.47/243.11 c #Conflicts: 1712000 | #Constraints: 44661
242.47/243.11 c #Conflicts: 1713000 | #Constraints: 45661
242.47/243.11 c #Conflicts: 1714000 | #Constraints: 46661
242.47/243.11 c #Conflicts: 1715000 | #Constraints: 47661
242.47/243.11 c #Conflicts: 1716000 | #Constraints: 48661
242.47/243.11 c #Conflicts: 1717000 | #Constraints: 49661
242.47/243.11 c #Conflicts: 1718000 | #Constraints: 50661
242.47/243.11 c #Conflicts: 1719000 | #Constraints: 51661
242.47/243.11 c #Conflicts: 1720000 | #Constraints: 52662
242.47/243.11 c INPROCESSING
242.47/243.11 c GARBAGE COLLECT
242.47/243.11 c rational objective 350.5
246.66/247.38 c #Conflicts: 1721000 | #Constraints: 27656
246.66/247.38 c #Conflicts: 1722000 | #Constraints: 28656
246.66/247.38 c #Conflicts: 1723000 | #Constraints: 29656
246.66/247.38 c #Conflicts: 1724000 | #Constraints: 30656
246.66/247.38 c #Conflicts: 1725000 | #Constraints: 31656
246.66/247.38 c #Conflicts: 1726000 | #Constraints: 32656
246.66/247.38 c #Conflicts: 1727000 | #Constraints: 33656
246.66/247.38 c #Conflicts: 1728000 | #Constraints: 34656
246.66/247.38 c #Conflicts: 1729000 | #Constraints: 35656
246.66/247.38 c #Conflicts: 1730000 | #Constraints: 36656
246.66/247.38 c #Conflicts: 1731000 | #Constraints: 37656
246.66/247.38 c #Conflicts: 1732000 | #Constraints: 38656
246.66/247.38 c #Conflicts: 1733000 | #Constraints: 39656
246.66/247.38 c #Conflicts: 1734000 | #Constraints: 40656
246.66/247.38 c #Conflicts: 1735000 | #Constraints: 41656
246.66/247.38 c #Conflicts: 1736000 | #Constraints: 42656
246.66/247.38 c #Conflicts: 1737000 | #Constraints: 43656
246.66/247.38 c #Conflicts: 1738000 | #Constraints: 44656
246.66/247.38 c #Conflicts: 1739000 | #Constraints: 45656
246.66/247.38 c #Conflicts: 1740000 | #Constraints: 46656
246.66/247.38 c #Conflicts: 1741000 | #Constraints: 47656
246.66/247.38 c #Conflicts: 1742000 | #Constraints: 48656
246.66/247.38 c #Conflicts: 1743000 | #Constraints: 49656
246.66/247.38 c #Conflicts: 1744000 | #Constraints: 50656
246.66/247.38 c #Conflicts: 1745000 | #Constraints: 51656
246.66/247.38 c #Conflicts: 1746000 | #Constraints: 52656
246.66/247.38 c INPROCESSING
246.66/247.38 c GARBAGE COLLECT
246.66/247.38 c rational objective 350.5
250.65/251.31 c #Conflicts: 1747000 | #Constraints: 27459
250.65/251.31 c #Conflicts: 1748000 | #Constraints: 28459
250.65/251.31 c #Conflicts: 1749000 | #Constraints: 29459
250.65/251.31 c #Conflicts: 1750000 | #Constraints: 30459
250.65/251.31 c #Conflicts: 1751000 | #Constraints: 31459
250.65/251.31 c #Conflicts: 1752000 | #Constraints: 32459
250.65/251.31 c #Conflicts: 1753000 | #Constraints: 33459
250.65/251.31 c #Conflicts: 1754000 | #Constraints: 34459
250.65/251.31 c #Conflicts: 1755000 | #Constraints: 35459
250.65/251.31 c #Conflicts: 1756000 | #Constraints: 36459
250.65/251.31 c #Conflicts: 1757000 | #Constraints: 37459
250.65/251.31 c #Conflicts: 1758000 | #Constraints: 38459
250.65/251.31 c #Conflicts: 1759000 | #Constraints: 39459
250.65/251.31 c #Conflicts: 1760000 | #Constraints: 40459
250.65/251.31 c #Conflicts: 1761000 | #Constraints: 41459
250.65/251.31 c #Conflicts: 1762000 | #Constraints: 42459
250.65/251.31 c #Conflicts: 1763000 | #Constraints: 43460
250.65/251.31 c #Conflicts: 1764000 | #Constraints: 44460
250.65/251.31 c #Conflicts: 1765000 | #Constraints: 45460
250.65/251.31 c #Conflicts: 1766000 | #Constraints: 46460
250.65/251.31 c #Conflicts: 1767000 | #Constraints: 47460
250.65/251.31 c #Conflicts: 1768000 | #Constraints: 48460
250.65/251.31 c #Conflicts: 1769000 | #Constraints: 49460
250.65/251.31 c #Conflicts: 1770000 | #Constraints: 50460
250.65/251.31 c #Conflicts: 1771000 | #Constraints: 51460
250.65/251.31 c #Conflicts: 1772000 | #Constraints: 52460
250.65/251.31 c #Conflicts: 1773000 | #Constraints: 53460
250.65/251.31 c INPROCESSING
250.65/251.31 c GARBAGE COLLECT
250.65/251.31 c rational objective 350.5
254.74/255.43 c #Conflicts: 1774000 | #Constraints: 28057
254.74/255.43 c #Conflicts: 1775000 | #Constraints: 29057
254.74/255.43 c #Conflicts: 1776000 | #Constraints: 30057
254.74/255.43 c #Conflicts: 1777000 | #Constraints: 31057
254.74/255.43 c #Conflicts: 1778000 | #Constraints: 32057
254.74/255.43 c #Conflicts: 1779000 | #Constraints: 33057
254.74/255.43 c #Conflicts: 1780000 | #Constraints: 34057
254.74/255.43 c #Conflicts: 1781000 | #Constraints: 35057
254.74/255.43 c #Conflicts: 1782000 | #Constraints: 36057
254.74/255.43 c #Conflicts: 1783000 | #Constraints: 37057
254.74/255.43 c #Conflicts: 1784000 | #Constraints: 38057
254.74/255.43 c #Conflicts: 1785000 | #Constraints: 39057
254.74/255.43 c #Conflicts: 1786000 | #Constraints: 40057
254.74/255.43 c #Conflicts: 1787000 | #Constraints: 41057
254.74/255.43 c #Conflicts: 1788000 | #Constraints: 42057
254.74/255.43 c #Conflicts: 1789000 | #Constraints: 43057
254.74/255.43 c #Conflicts: 1790000 | #Constraints: 44057
254.74/255.43 c #Conflicts: 1791000 | #Constraints: 45057
254.74/255.43 c #Conflicts: 1792000 | #Constraints: 46057
254.74/255.43 c #Conflicts: 1793000 | #Constraints: 47057
254.74/255.43 c #Conflicts: 1794000 | #Constraints: 48058
254.74/255.43 c #Conflicts: 1795000 | #Constraints: 49058
254.74/255.43 c #Conflicts: 1796000 | #Constraints: 50058
254.74/255.43 c #Conflicts: 1797000 | #Constraints: 51058
254.74/255.43 c #Conflicts: 1798000 | #Constraints: 52058
254.74/255.43 c #Conflicts: 1799000 | #Constraints: 53058
254.74/255.43 c #Conflicts: 1800000 | #Constraints: 54058
254.74/255.43 c INPROCESSING
254.74/255.43 c GARBAGE COLLECT
254.74/255.43 c rational objective 350.5
258.83/259.54 c #Conflicts: 1801000 | #Constraints: 28453
258.83/259.54 c #Conflicts: 1802000 | #Constraints: 29453
258.83/259.54 c #Conflicts: 1803000 | #Constraints: 30453
258.83/259.54 c #Conflicts: 1804000 | #Constraints: 31453
258.83/259.54 c #Conflicts: 1805000 | #Constraints: 32453
258.83/259.54 c #Conflicts: 1806000 | #Constraints: 33453
258.83/259.54 c #Conflicts: 1807000 | #Constraints: 34453
258.83/259.54 c #Conflicts: 1808000 | #Constraints: 35454
258.83/259.54 c #Conflicts: 1809000 | #Constraints: 36454
258.83/259.54 c #Conflicts: 1810000 | #Constraints: 37454
258.83/259.54 c #Conflicts: 1811000 | #Constraints: 38454
258.83/259.54 c #Conflicts: 1812000 | #Constraints: 39454
258.83/259.54 c #Conflicts: 1813000 | #Constraints: 40454
258.83/259.54 c #Conflicts: 1814000 | #Constraints: 41454
258.83/259.54 c #Conflicts: 1815000 | #Constraints: 42454
258.83/259.54 c #Conflicts: 1816000 | #Constraints: 43454
258.83/259.54 c #Conflicts: 1817000 | #Constraints: 44454
258.83/259.54 c #Conflicts: 1818000 | #Constraints: 45454
258.83/259.54 c #Conflicts: 1819000 | #Constraints: 46454
258.83/259.54 c #Conflicts: 1820000 | #Constraints: 47455
258.83/259.54 c #Conflicts: 1821000 | #Constraints: 48456
258.83/259.54 c #Conflicts: 1822000 | #Constraints: 49456
258.83/259.54 c #Conflicts: 1823000 | #Constraints: 50456
258.83/259.54 c #Conflicts: 1824000 | #Constraints: 51456
258.83/259.54 c #Conflicts: 1825000 | #Constraints: 52456
258.83/259.54 c #Conflicts: 1826000 | #Constraints: 53456
258.83/259.54 c #Conflicts: 1827000 | #Constraints: 54456
258.83/259.54 c INPROCESSING
258.83/259.54 c GARBAGE COLLECT
258.83/259.54 c rational objective 350.5
263.52/264.27 c #Conflicts: 1828000 | #Constraints: 28665
263.52/264.27 c #Conflicts: 1829000 | #Constraints: 29665
263.52/264.27 c #Conflicts: 1830000 | #Constraints: 30665
263.52/264.27 c #Conflicts: 1831000 | #Constraints: 31665
263.52/264.27 c #Conflicts: 1832000 | #Constraints: 32665
263.52/264.27 c #Conflicts: 1833000 | #Constraints: 33665
263.52/264.27 c #Conflicts: 1834000 | #Constraints: 34665
263.52/264.27 c #Conflicts: 1835000 | #Constraints: 35665
263.52/264.27 c #Conflicts: 1836000 | #Constraints: 36665
263.52/264.27 c #Conflicts: 1837000 | #Constraints: 37665
263.52/264.27 c #Conflicts: 1838000 | #Constraints: 38665
263.52/264.27 c #Conflicts: 1839000 | #Constraints: 39665
263.52/264.27 c #Conflicts: 1840000 | #Constraints: 40665
263.52/264.27 c #Conflicts: 1841000 | #Constraints: 41665
263.52/264.27 c #Conflicts: 1842000 | #Constraints: 42665
263.52/264.27 c #Conflicts: 1843000 | #Constraints: 43665
263.52/264.27 c #Conflicts: 1844000 | #Constraints: 44666
263.52/264.27 c #Conflicts: 1845000 | #Constraints: 45666
263.52/264.27 c #Conflicts: 1846000 | #Constraints: 46666
263.52/264.27 c #Conflicts: 1847000 | #Constraints: 47666
263.52/264.27 c #Conflicts: 1848000 | #Constraints: 48666
263.52/264.27 c #Conflicts: 1849000 | #Constraints: 49666
263.52/264.27 c #Conflicts: 1850000 | #Constraints: 50667
263.52/264.27 c #Conflicts: 1851000 | #Constraints: 51667
263.52/264.27 c #Conflicts: 1852000 | #Constraints: 52667
263.52/264.27 c #Conflicts: 1853000 | #Constraints: 53667
263.52/264.27 c #Conflicts: 1854000 | #Constraints: 54667
263.52/264.27 c INPROCESSING
263.52/264.27 c GARBAGE COLLECT
263.52/264.27 c rational objective 350.5
267.70/268.42 c #Conflicts: 1855000 | #Constraints: 28674
267.70/268.42 c #Conflicts: 1856000 | #Constraints: 29674
267.70/268.42 c #Conflicts: 1857000 | #Constraints: 30674
267.70/268.42 c #Conflicts: 1858000 | #Constraints: 31674
267.70/268.42 c #Conflicts: 1859000 | #Constraints: 32674
267.70/268.42 c #Conflicts: 1860000 | #Constraints: 33674
267.70/268.42 c #Conflicts: 1861000 | #Constraints: 34674
267.70/268.42 c #Conflicts: 1862000 | #Constraints: 35674
267.70/268.42 c #Conflicts: 1863000 | #Constraints: 36674
267.70/268.42 c #Conflicts: 1864000 | #Constraints: 37674
267.70/268.42 c #Conflicts: 1865000 | #Constraints: 38674
267.70/268.42 c #Conflicts: 1866000 | #Constraints: 39674
267.70/268.42 c #Conflicts: 1867000 | #Constraints: 40674
267.70/268.42 c #Conflicts: 1868000 | #Constraints: 41674
267.70/268.42 c #Conflicts: 1869000 | #Constraints: 42674
267.70/268.42 c #Conflicts: 1870000 | #Constraints: 43674
267.70/268.42 c #Conflicts: 1871000 | #Constraints: 44674
267.70/268.42 c #Conflicts: 1872000 | #Constraints: 45675
267.70/268.42 c #Conflicts: 1873000 | #Constraints: 46675
267.70/268.42 c #Conflicts: 1874000 | #Constraints: 47675
267.70/268.42 c #Conflicts: 1875000 | #Constraints: 48676
267.70/268.42 c #Conflicts: 1876000 | #Constraints: 49676
267.70/268.42 c #Conflicts: 1877000 | #Constraints: 50676
267.70/268.42 c #Conflicts: 1878000 | #Constraints: 51676
267.70/268.42 c #Conflicts: 1879000 | #Constraints: 52676
267.70/268.42 c #Conflicts: 1880000 | #Constraints: 53676
267.70/268.42 c #Conflicts: 1881000 | #Constraints: 54676
267.70/268.42 c INPROCESSING
267.70/268.42 c GARBAGE COLLECT
267.70/268.42 c rational objective 350.5
271.89/272.68 c #Conflicts: 1882000 | #Constraints: 28466
271.89/272.68 c #Conflicts: 1883000 | #Constraints: 29466
271.89/272.68 c #Conflicts: 1884000 | #Constraints: 30466
271.89/272.68 c #Conflicts: 1885000 | #Constraints: 31466
271.89/272.68 c #Conflicts: 1886000 | #Constraints: 32466
271.89/272.68 c #Conflicts: 1887000 | #Constraints: 33466
271.89/272.68 c #Conflicts: 1888000 | #Constraints: 34466
271.89/272.68 c #Conflicts: 1889000 | #Constraints: 35466
271.89/272.68 c #Conflicts: 1890000 | #Constraints: 36466
271.89/272.68 c #Conflicts: 1891000 | #Constraints: 37466
271.89/272.68 c #Conflicts: 1892000 | #Constraints: 38466
271.89/272.68 c #Conflicts: 1893000 | #Constraints: 39466
271.89/272.68 c #Conflicts: 1894000 | #Constraints: 40466
271.89/272.68 c #Conflicts: 1895000 | #Constraints: 41466
271.89/272.68 c #Conflicts: 1896000 | #Constraints: 42466
271.89/272.68 c #Conflicts: 1897000 | #Constraints: 43466
271.89/272.68 c #Conflicts: 1898000 | #Constraints: 44466
271.89/272.68 c #Conflicts: 1899000 | #Constraints: 45466
271.89/272.68 c #Conflicts: 1900000 | #Constraints: 46466
271.89/272.68 c #Conflicts: 1901000 | #Constraints: 47466
271.89/272.68 c #Conflicts: 1902000 | #Constraints: 48466
271.89/272.68 c #Conflicts: 1903000 | #Constraints: 49467
271.89/272.68 c #Conflicts: 1904000 | #Constraints: 50467
271.89/272.68 c #Conflicts: 1905000 | #Constraints: 51467
271.89/272.68 c #Conflicts: 1906000 | #Constraints: 52467
271.89/272.68 c #Conflicts: 1907000 | #Constraints: 53467
271.89/272.68 c #Conflicts: 1908000 | #Constraints: 54467
271.89/272.68 c #Conflicts: 1909000 | #Constraints: 55467
271.89/272.68 c INPROCESSING
271.89/272.68 c GARBAGE COLLECT
271.89/272.68 c rational objective 350.5
276.18/276.92 c #Conflicts: 1910000 | #Constraints: 29069
276.18/276.92 c #Conflicts: 1911000 | #Constraints: 30069
276.18/276.92 c #Conflicts: 1912000 | #Constraints: 31069
276.18/276.92 c #Conflicts: 1913000 | #Constraints: 32069
276.18/276.92 c #Conflicts: 1914000 | #Constraints: 33069
276.18/276.92 c #Conflicts: 1915000 | #Constraints: 34070
276.18/276.92 c #Conflicts: 1916000 | #Constraints: 35070
276.18/276.92 c #Conflicts: 1917000 | #Constraints: 36071
276.18/276.92 c #Conflicts: 1918000 | #Constraints: 37071
276.18/276.92 c #Conflicts: 1919000 | #Constraints: 38071
276.18/276.92 c #Conflicts: 1920000 | #Constraints: 39071
276.18/276.92 c #Conflicts: 1921000 | #Constraints: 40071
276.18/276.92 c #Conflicts: 1922000 | #Constraints: 41071
276.18/276.92 c #Conflicts: 1923000 | #Constraints: 42071
276.18/276.92 c #Conflicts: 1924000 | #Constraints: 43071
276.18/276.92 c #Conflicts: 1925000 | #Constraints: 44071
276.18/276.92 c #Conflicts: 1926000 | #Constraints: 45071
276.18/276.92 c #Conflicts: 1927000 | #Constraints: 46071
276.18/276.92 c #Conflicts: 1928000 | #Constraints: 47071
276.18/276.92 c #Conflicts: 1929000 | #Constraints: 48071
276.18/276.92 c #Conflicts: 1930000 | #Constraints: 49071
276.18/276.92 c #Conflicts: 1931000 | #Constraints: 50071
276.18/276.92 c #Conflicts: 1932000 | #Constraints: 51071
276.18/276.92 c #Conflicts: 1933000 | #Constraints: 52071
276.18/276.92 c #Conflicts: 1934000 | #Constraints: 53071
276.18/276.92 c #Conflicts: 1935000 | #Constraints: 54071
276.18/276.92 c #Conflicts: 1936000 | #Constraints: 55071
276.18/276.92 c #Conflicts: 1937000 | #Constraints: 56071
276.18/276.92 c INPROCESSING
276.18/276.92 c GARBAGE COLLECT
276.18/276.92 c rational objective 350.5
280.56/281.39 c #Conflicts: 1938000 | #Constraints: 29466
280.56/281.39 c #Conflicts: 1939000 | #Constraints: 30466
280.56/281.39 c #Conflicts: 1940000 | #Constraints: 31466
280.56/281.39 c #Conflicts: 1941000 | #Constraints: 32467
280.56/281.39 c #Conflicts: 1942000 | #Constraints: 33467
280.56/281.39 c #Conflicts: 1943000 | #Constraints: 34467
280.56/281.39 c #Conflicts: 1944000 | #Constraints: 35467
280.56/281.39 c #Conflicts: 1945000 | #Constraints: 36467
280.56/281.39 c #Conflicts: 1946000 | #Constraints: 37467
280.56/281.39 c #Conflicts: 1947000 | #Constraints: 38468
280.56/281.39 c #Conflicts: 1948000 | #Constraints: 39468
280.56/281.39 c #Conflicts: 1949000 | #Constraints: 40468
280.56/281.39 c #Conflicts: 1950000 | #Constraints: 41468
280.56/281.39 c #Conflicts: 1951000 | #Constraints: 42468
280.56/281.39 c #Conflicts: 1952000 | #Constraints: 43468
280.56/281.39 c #Conflicts: 1953000 | #Constraints: 44468
280.56/281.39 c #Conflicts: 1954000 | #Constraints: 45468
280.56/281.39 c #Conflicts: 1955000 | #Constraints: 46468
280.56/281.39 c #Conflicts: 1956000 | #Constraints: 47468
280.56/281.39 c #Conflicts: 1957000 | #Constraints: 48468
280.56/281.39 c #Conflicts: 1958000 | #Constraints: 49468
280.56/281.39 c #Conflicts: 1959000 | #Constraints: 50468
280.56/281.39 c #Conflicts: 1960000 | #Constraints: 51468
280.56/281.39 c #Conflicts: 1961000 | #Constraints: 52468
280.56/281.39 c #Conflicts: 1962000 | #Constraints: 53468
280.56/281.39 c #Conflicts: 1963000 | #Constraints: 54468
280.56/281.39 c #Conflicts: 1964000 | #Constraints: 55468
280.56/281.39 c #Conflicts: 1965000 | #Constraints: 56468
280.56/281.39 c INPROCESSING
280.56/281.39 c GARBAGE COLLECT
280.56/281.39 c rational objective 350.5
285.26/286.08 c #Conflicts: 1966000 | #Constraints: 29662
285.26/286.08 c #Conflicts: 1967000 | #Constraints: 30662
285.26/286.08 c #Conflicts: 1968000 | #Constraints: 31662
285.26/286.08 c #Conflicts: 1969000 | #Constraints: 32662
285.26/286.08 c #Conflicts: 1970000 | #Constraints: 33662
285.26/286.08 c #Conflicts: 1971000 | #Constraints: 34662
285.26/286.08 c #Conflicts: 1972000 | #Constraints: 35662
285.26/286.08 c #Conflicts: 1973000 | #Constraints: 36662
285.26/286.08 c #Conflicts: 1974000 | #Constraints: 37662
285.26/286.08 c #Conflicts: 1975000 | #Constraints: 38663
285.26/286.08 c #Conflicts: 1976000 | #Constraints: 39663
285.26/286.08 c #Conflicts: 1977000 | #Constraints: 40663
285.26/286.08 c #Conflicts: 1978000 | #Constraints: 41663
285.26/286.08 c #Conflicts: 1979000 | #Constraints: 42663
285.26/286.08 c #Conflicts: 1980000 | #Constraints: 43663
285.26/286.08 c #Conflicts: 1981000 | #Constraints: 44663
285.26/286.08 c #Conflicts: 1982000 | #Constraints: 45663
285.26/286.08 c #Conflicts: 1983000 | #Constraints: 46663
285.26/286.08 c #Conflicts: 1984000 | #Constraints: 47663
285.26/286.08 c #Conflicts: 1985000 | #Constraints: 48663
285.26/286.08 c #Conflicts: 1986000 | #Constraints: 49663
285.26/286.08 c #Conflicts: 1987000 | #Constraints: 50663
285.26/286.08 c #Conflicts: 1988000 | #Constraints: 51663
285.26/286.08 c #Conflicts: 1989000 | #Constraints: 52663
285.26/286.08 c #Conflicts: 1990000 | #Constraints: 53663
285.26/286.08 c #Conflicts: 1991000 | #Constraints: 54663
285.26/286.08 c #Conflicts: 1992000 | #Constraints: 55663
285.26/286.08 c #Conflicts: 1993000 | #Constraints: 56663
285.26/286.08 c INPROCESSING
285.26/286.08 c GARBAGE COLLECT
285.26/286.08 c rational objective 350.5
289.64/290.40 c #Conflicts: 1994000 | #Constraints: 29661
289.64/290.40 c #Conflicts: 1995000 | #Constraints: 30661
289.64/290.40 c #Conflicts: 1996000 | #Constraints: 31661
289.64/290.40 c #Conflicts: 1997000 | #Constraints: 32661
289.64/290.40 c #Conflicts: 1998000 | #Constraints: 33661
289.64/290.40 c #Conflicts: 1999000 | #Constraints: 34661
289.64/290.40 c #Conflicts: 2000000 | #Constraints: 35661
289.64/290.40 c #Conflicts: 2001000 | #Constraints: 36661
289.64/290.40 c #Conflicts: 2002000 | #Constraints: 37661
289.64/290.40 c #Conflicts: 2003000 | #Constraints: 38661
289.64/290.40 c #Conflicts: 2004000 | #Constraints: 39661
289.64/290.40 c #Conflicts: 2005000 | #Constraints: 40661
289.64/290.40 c #Conflicts: 2006000 | #Constraints: 41661
289.64/290.40 c #Conflicts: 2007000 | #Constraints: 42661
289.64/290.40 c #Conflicts: 2008000 | #Constraints: 43661
289.64/290.40 c #Conflicts: 2009000 | #Constraints: 44661
289.64/290.40 c #Conflicts: 2010000 | #Constraints: 45662
289.64/290.40 c #Conflicts: 2011000 | #Constraints: 46662
289.64/290.40 c #Conflicts: 2012000 | #Constraints: 47662
289.64/290.40 c #Conflicts: 2013000 | #Constraints: 48662
289.64/290.40 c #Conflicts: 2014000 | #Constraints: 49662
289.64/290.40 c #Conflicts: 2015000 | #Constraints: 50662
289.64/290.40 c #Conflicts: 2016000 | #Constraints: 51662
289.64/290.40 c #Conflicts: 2017000 | #Constraints: 52662
289.64/290.40 c #Conflicts: 2018000 | #Constraints: 53662
289.64/290.40 c #Conflicts: 2019000 | #Constraints: 54662
289.64/290.40 c #Conflicts: 2020000 | #Constraints: 55662
289.64/290.40 c #Conflicts: 2021000 | #Constraints: 56662
289.64/290.40 c INPROCESSING
289.64/290.40 c GARBAGE COLLECT
289.64/290.40 c rational objective 350.5
294.03/294.81 c #Conflicts: 2022000 | #Constraints: 29466
294.03/294.81 c #Conflicts: 2023000 | #Constraints: 30466
294.03/294.81 c #Conflicts: 2024000 | #Constraints: 31466
294.03/294.81 c #Conflicts: 2025000 | #Constraints: 32466
294.03/294.81 c #Conflicts: 2026000 | #Constraints: 33466
294.03/294.81 c #Conflicts: 2027000 | #Constraints: 34466
294.03/294.81 c #Conflicts: 2028000 | #Constraints: 35466
294.03/294.81 c #Conflicts: 2029000 | #Constraints: 36466
294.03/294.81 c #Conflicts: 2030000 | #Constraints: 37466
294.03/294.81 c #Conflicts: 2031000 | #Constraints: 38466
294.03/294.81 c #Conflicts: 2032000 | #Constraints: 39466
294.03/294.81 c #Conflicts: 2033000 | #Constraints: 40466
294.03/294.81 c #Conflicts: 2034000 | #Constraints: 41466
294.03/294.81 c #Conflicts: 2035000 | #Constraints: 42466
294.03/294.81 c #Conflicts: 2036000 | #Constraints: 43466
294.03/294.81 c #Conflicts: 2037000 | #Constraints: 44466
294.03/294.81 c #Conflicts: 2038000 | #Constraints: 45466
294.03/294.81 c #Conflicts: 2039000 | #Constraints: 46466
294.03/294.81 c #Conflicts: 2040000 | #Constraints: 47466
294.03/294.81 c #Conflicts: 2041000 | #Constraints: 48466
294.03/294.81 c #Conflicts: 2042000 | #Constraints: 49466
294.03/294.81 c #Conflicts: 2043000 | #Constraints: 50466
294.03/294.81 c #Conflicts: 2044000 | #Constraints: 51466
294.03/294.81 c #Conflicts: 2045000 | #Constraints: 52466
294.03/294.81 c #Conflicts: 2046000 | #Constraints: 53467
294.03/294.81 c #Conflicts: 2047000 | #Constraints: 54467
294.03/294.81 c #Conflicts: 2048000 | #Constraints: 55467
294.03/294.81 c #Conflicts: 2049000 | #Constraints: 56467
294.03/294.81 c #Conflicts: 2050000 | #Constraints: 57467
294.03/294.81 c INPROCESSING
294.03/294.81 c GARBAGE COLLECT
294.03/294.81 c rational objective 350.5
298.81/299.67 c #Conflicts: 2051000 | #Constraints: 30063
298.81/299.67 c #Conflicts: 2052000 | #Constraints: 31063
298.81/299.67 c #Conflicts: 2053000 | #Constraints: 32063
298.81/299.67 c #Conflicts: 2054000 | #Constraints: 33063
298.81/299.67 c #Conflicts: 2055000 | #Constraints: 34063
298.81/299.67 c #Conflicts: 2056000 | #Constraints: 35063
298.81/299.67 c #Conflicts: 2057000 | #Constraints: 36063
298.81/299.67 c #Conflicts: 2058000 | #Constraints: 37063
298.81/299.67 c #Conflicts: 2059000 | #Constraints: 38063
298.81/299.67 c #Conflicts: 2060000 | #Constraints: 39063
298.81/299.67 c #Conflicts: 2061000 | #Constraints: 40064
298.81/299.67 c #Conflicts: 2062000 | #Constraints: 41064
298.81/299.67 c #Conflicts: 2063000 | #Constraints: 42064
298.81/299.67 c #Conflicts: 2064000 | #Constraints: 43064
298.81/299.67 c #Conflicts: 2065000 | #Constraints: 44064
298.81/299.67 c #Conflicts: 2066000 | #Constraints: 45065
298.81/299.67 c #Conflicts: 2067000 | #Constraints: 46065
298.81/299.67 c #Conflicts: 2068000 | #Constraints: 47065
298.81/299.67 c #Conflicts: 2069000 | #Constraints: 48065
298.81/299.67 c #Conflicts: 2070000 | #Constraints: 49065
298.81/299.67 c #Conflicts: 2071000 | #Constraints: 50065
298.81/299.67 c #Conflicts: 2072000 | #Constraints: 51065
298.81/299.67 c #Conflicts: 2073000 | #Constraints: 52065
298.81/299.67 c #Conflicts: 2074000 | #Constraints: 53065
298.81/299.67 c #Conflicts: 2075000 | #Constraints: 54065
298.81/299.67 c #Conflicts: 2076000 | #Constraints: 55065
298.81/299.67 c #Conflicts: 2077000 | #Constraints: 56065
298.81/299.67 c #Conflicts: 2078000 | #Constraints: 57065
298.81/299.67 c #Conflicts: 2079000 | #Constraints: 58065
298.81/299.67 c INPROCESSING
298.81/299.67 c GARBAGE COLLECT
298.81/299.67 c rational objective 350.5
303.60/304.48 c #Conflicts: 2080000 | #Constraints: 30471
303.60/304.48 c #Conflicts: 2081000 | #Constraints: 31471
303.60/304.48 c #Conflicts: 2082000 | #Constraints: 32471
303.60/304.48 c #Conflicts: 2083000 | #Constraints: 33471
303.60/304.48 c #Conflicts: 2084000 | #Constraints: 34471
303.60/304.48 c #Conflicts: 2085000 | #Constraints: 35471
303.60/304.48 c #Conflicts: 2086000 | #Constraints: 36471
303.60/304.48 c #Conflicts: 2087000 | #Constraints: 37471
303.60/304.48 c #Conflicts: 2088000 | #Constraints: 38471
303.60/304.48 c #Conflicts: 2089000 | #Constraints: 39471
303.60/304.48 c #Conflicts: 2090000 | #Constraints: 40471
303.60/304.48 c #Conflicts: 2091000 | #Constraints: 41471
303.60/304.48 c #Conflicts: 2092000 | #Constraints: 42471
303.60/304.48 c #Conflicts: 2093000 | #Constraints: 43471
303.60/304.48 c #Conflicts: 2094000 | #Constraints: 44471
303.60/304.48 c #Conflicts: 2095000 | #Constraints: 45471
303.60/304.48 c #Conflicts: 2096000 | #Constraints: 46471
303.60/304.48 c #Conflicts: 2097000 | #Constraints: 47471
303.60/304.48 c #Conflicts: 2098000 | #Constraints: 48471
303.60/304.48 c #Conflicts: 2099000 | #Constraints: 49471
303.60/304.48 c #Conflicts: 2100000 | #Constraints: 50471
303.60/304.48 c #Conflicts: 2101000 | #Constraints: 51471
303.60/304.48 c #Conflicts: 2102000 | #Constraints: 52471
303.60/304.48 c #Conflicts: 2103000 | #Constraints: 53471
303.60/304.48 c #Conflicts: 2104000 | #Constraints: 54471
303.60/304.48 c #Conflicts: 2105000 | #Constraints: 55471
303.60/304.48 c #Conflicts: 2106000 | #Constraints: 56471
303.60/304.48 c #Conflicts: 2107000 | #Constraints: 57471
303.60/304.48 c #Conflicts: 2108000 | #Constraints: 58471
303.60/304.48 c INPROCESSING
303.60/304.48 c GARBAGE COLLECT
303.60/304.48 c rational objective 350.5
309.38/310.23 c #Conflicts: 2109000 | #Constraints: 30676
309.38/310.23 c #Conflicts: 2110000 | #Constraints: 31676
309.38/310.23 c #Conflicts: 2111000 | #Constraints: 32676
309.38/310.23 c #Conflicts: 2112000 | #Constraints: 33676
309.38/310.23 c #Conflicts: 2113000 | #Constraints: 34676
309.38/310.23 c #Conflicts: 2114000 | #Constraints: 35676
309.38/310.23 c #Conflicts: 2115000 | #Constraints: 36676
309.38/310.23 c #Conflicts: 2116000 | #Constraints: 37676
309.38/310.23 c #Conflicts: 2117000 | #Constraints: 38676
309.38/310.23 c #Conflicts: 2118000 | #Constraints: 39676
309.38/310.23 c #Conflicts: 2119000 | #Constraints: 40676
309.38/310.23 c #Conflicts: 2120000 | #Constraints: 41676
309.38/310.23 c #Conflicts: 2121000 | #Constraints: 42676
309.38/310.23 c #Conflicts: 2122000 | #Constraints: 43676
309.38/310.23 c #Conflicts: 2123000 | #Constraints: 44676
309.38/310.23 c #Conflicts: 2124000 | #Constraints: 45676
309.38/310.23 c #Conflicts: 2125000 | #Constraints: 46676
309.38/310.23 c #Conflicts: 2126000 | #Constraints: 47676
309.38/310.23 c #Conflicts: 2127000 | #Constraints: 48676
309.38/310.23 c #Conflicts: 2128000 | #Constraints: 49676
309.38/310.23 c #Conflicts: 2129000 | #Constraints: 50676
309.38/310.23 c #Conflicts: 2130000 | #Constraints: 51676
309.38/310.23 c #Conflicts: 2131000 | #Constraints: 52676
309.38/310.23 c #Conflicts: 2132000 | #Constraints: 53676
309.38/310.23 c #Conflicts: 2133000 | #Constraints: 54676
309.38/310.23 c #Conflicts: 2134000 | #Constraints: 55676
309.38/310.23 c #Conflicts: 2135000 | #Constraints: 56676
309.38/310.23 c #Conflicts: 2136000 | #Constraints: 57676
309.38/310.23 c #Conflicts: 2137000 | #Constraints: 58676
309.38/310.23 c INPROCESSING
309.38/310.23 c GARBAGE COLLECT
309.38/310.23 c rational objective 350.5
314.37/315.24 c #Conflicts: 2138000 | #Constraints: 30677
314.37/315.24 c #Conflicts: 2139000 | #Constraints: 31677
314.37/315.24 c #Conflicts: 2140000 | #Constraints: 32677
314.37/315.24 c #Conflicts: 2141000 | #Constraints: 33677
314.37/315.24 c #Conflicts: 2142000 | #Constraints: 34677
314.37/315.24 c #Conflicts: 2143000 | #Constraints: 35677
314.37/315.24 c #Conflicts: 2144000 | #Constraints: 36677
314.37/315.24 c #Conflicts: 2145000 | #Constraints: 37677
314.37/315.24 c #Conflicts: 2146000 | #Constraints: 38677
314.37/315.24 c #Conflicts: 2147000 | #Constraints: 39677
314.37/315.24 c #Conflicts: 2148000 | #Constraints: 40677
314.37/315.24 c #Conflicts: 2149000 | #Constraints: 41677
314.37/315.24 c #Conflicts: 2150000 | #Constraints: 42677
314.37/315.24 c #Conflicts: 2151000 | #Constraints: 43677
314.37/315.24 c #Conflicts: 2152000 | #Constraints: 44677
314.37/315.24 c #Conflicts: 2153000 | #Constraints: 45678
314.37/315.24 c #Conflicts: 2154000 | #Constraints: 46678
314.37/315.24 c #Conflicts: 2155000 | #Constraints: 47678
314.37/315.24 c #Conflicts: 2156000 | #Constraints: 48678
314.37/315.24 c #Conflicts: 2157000 | #Constraints: 49679
314.37/315.24 c #Conflicts: 2158000 | #Constraints: 50679
314.37/315.24 c #Conflicts: 2159000 | #Constraints: 51680
314.37/315.24 c #Conflicts: 2160000 | #Constraints: 52680
314.37/315.24 c #Conflicts: 2161000 | #Constraints: 53680
314.37/315.24 c #Conflicts: 2162000 | #Constraints: 54680
314.37/315.24 c #Conflicts: 2163000 | #Constraints: 55680
314.37/315.24 c #Conflicts: 2164000 | #Constraints: 56680
314.37/315.24 c #Conflicts: 2165000 | #Constraints: 57680
314.37/315.24 c #Conflicts: 2166000 | #Constraints: 58680
314.37/315.24 c INPROCESSING
314.37/315.24 c GARBAGE COLLECT
314.37/315.24 c rational objective 350.5
319.65/320.50 c #Conflicts: 2167000 | #Constraints: 30470
319.65/320.50 c #Conflicts: 2168000 | #Constraints: 31470
319.65/320.50 c #Conflicts: 2169000 | #Constraints: 32470
319.65/320.50 c #Conflicts: 2170000 | #Constraints: 33470
319.65/320.50 c #Conflicts: 2171000 | #Constraints: 34470
319.65/320.50 c #Conflicts: 2172000 | #Constraints: 35470
319.65/320.50 c #Conflicts: 2173000 | #Constraints: 36470
319.65/320.50 c #Conflicts: 2174000 | #Constraints: 37470
319.65/320.50 c #Conflicts: 2175000 | #Constraints: 38470
319.65/320.50 c #Conflicts: 2176000 | #Constraints: 39470
319.65/320.50 c #Conflicts: 2177000 | #Constraints: 40470
319.65/320.50 c #Conflicts: 2178000 | #Constraints: 41470
319.65/320.50 c #Conflicts: 2179000 | #Constraints: 42470
319.65/320.50 c #Conflicts: 2180000 | #Constraints: 43470
319.65/320.50 c #Conflicts: 2181000 | #Constraints: 44470
319.65/320.50 c #Conflicts: 2182000 | #Constraints: 45470
319.65/320.50 c #Conflicts: 2183000 | #Constraints: 46470
319.65/320.50 c #Conflicts: 2184000 | #Constraints: 47470
319.65/320.50 c #Conflicts: 2185000 | #Constraints: 48470
319.65/320.50 c #Conflicts: 2186000 | #Constraints: 49470
319.65/320.50 c #Conflicts: 2187000 | #Constraints: 50470
319.65/320.50 c #Conflicts: 2188000 | #Constraints: 51470
319.65/320.50 c #Conflicts: 2189000 | #Constraints: 52470
319.65/320.50 c #Conflicts: 2190000 | #Constraints: 53470
319.65/320.50 c #Conflicts: 2191000 | #Constraints: 54470
319.65/320.50 c #Conflicts: 2192000 | #Constraints: 55470
319.65/320.50 c #Conflicts: 2193000 | #Constraints: 56470
319.65/320.50 c #Conflicts: 2194000 | #Constraints: 57470
319.65/320.50 c #Conflicts: 2195000 | #Constraints: 58470
319.65/320.50 c #Conflicts: 2196000 | #Constraints: 59470
319.65/320.50 c INPROCESSING
319.65/320.50 c GARBAGE COLLECT
319.65/320.50 c rational objective 350.5
324.83/325.73 c #Conflicts: 2197000 | #Constraints: 31067
324.83/325.73 c #Conflicts: 2198000 | #Constraints: 32067
324.83/325.73 c #Conflicts: 2199000 | #Constraints: 33067
324.83/325.73 c #Conflicts: 2200000 | #Constraints: 34067
324.83/325.73 c #Conflicts: 2201000 | #Constraints: 35067
324.83/325.73 c #Conflicts: 2202000 | #Constraints: 36067
324.83/325.73 c #Conflicts: 2203000 | #Constraints: 37067
324.83/325.73 c #Conflicts: 2204000 | #Constraints: 38067
324.83/325.73 c #Conflicts: 2205000 | #Constraints: 39067
324.83/325.73 c #Conflicts: 2206000 | #Constraints: 40067
324.83/325.73 c #Conflicts: 2207000 | #Constraints: 41067
324.83/325.73 c #Conflicts: 2208000 | #Constraints: 42067
324.83/325.73 c #Conflicts: 2209000 | #Constraints: 43067
324.83/325.73 c #Conflicts: 2210000 | #Constraints: 44067
324.83/325.73 c #Conflicts: 2211000 | #Constraints: 45067
324.83/325.73 c #Conflicts: 2212000 | #Constraints: 46067
324.83/325.73 c #Conflicts: 2213000 | #Constraints: 47067
324.83/325.73 c #Conflicts: 2214000 | #Constraints: 48067
324.83/325.73 c #Conflicts: 2215000 | #Constraints: 49067
324.83/325.73 c #Conflicts: 2216000 | #Constraints: 50067
324.83/325.73 c #Conflicts: 2217000 | #Constraints: 51067
324.83/325.73 c #Conflicts: 2218000 | #Constraints: 52067
324.83/325.73 c #Conflicts: 2219000 | #Constraints: 53067
324.83/325.73 c #Conflicts: 2220000 | #Constraints: 54067
324.83/325.73 c #Conflicts: 2221000 | #Constraints: 55067
324.83/325.73 c #Conflicts: 2222000 | #Constraints: 56067
324.83/325.73 c #Conflicts: 2223000 | #Constraints: 57067
324.83/325.73 c #Conflicts: 2224000 | #Constraints: 58067
324.83/325.73 c #Conflicts: 2225000 | #Constraints: 59067
324.83/325.73 c #Conflicts: 2226000 | #Constraints: 60067
324.83/325.73 c INPROCESSING
324.83/325.73 c GARBAGE COLLECT
324.83/325.73 c rational objective 350.5
330.62/331.50 c #Conflicts: 2227000 | #Constraints: 31470
330.62/331.50 c #Conflicts: 2228000 | #Constraints: 32470
330.62/331.50 c #Conflicts: 2229000 | #Constraints: 33470
330.62/331.50 c #Conflicts: 2230000 | #Constraints: 34470
330.62/331.50 c #Conflicts: 2231000 | #Constraints: 35470
330.62/331.50 c #Conflicts: 2232000 | #Constraints: 36470
330.62/331.50 c #Conflicts: 2233000 | #Constraints: 37470
330.62/331.50 c #Conflicts: 2234000 | #Constraints: 38470
330.62/331.50 c #Conflicts: 2235000 | #Constraints: 39470
330.62/331.50 c #Conflicts: 2236000 | #Constraints: 40470
330.62/331.50 c #Conflicts: 2237000 | #Constraints: 41470
330.62/331.50 c #Conflicts: 2238000 | #Constraints: 42470
330.62/331.50 c #Conflicts: 2239000 | #Constraints: 43470
330.62/331.50 c #Conflicts: 2240000 | #Constraints: 44470
330.62/331.50 c #Conflicts: 2241000 | #Constraints: 45470
330.62/331.50 c #Conflicts: 2242000 | #Constraints: 46470
330.62/331.50 c #Conflicts: 2243000 | #Constraints: 47470
330.62/331.50 c #Conflicts: 2244000 | #Constraints: 48470
330.62/331.50 c #Conflicts: 2245000 | #Constraints: 49470
330.62/331.50 c #Conflicts: 2246000 | #Constraints: 50470
330.62/331.50 c #Conflicts: 2247000 | #Constraints: 51470
330.62/331.50 c #Conflicts: 2248000 | #Constraints: 52470
330.62/331.50 c #Conflicts: 2249000 | #Constraints: 53470
330.62/331.50 c #Conflicts: 2250000 | #Constraints: 54470
330.62/331.50 c #Conflicts: 2251000 | #Constraints: 55470
330.62/331.50 c #Conflicts: 2252000 | #Constraints: 56470
330.62/331.50 c #Conflicts: 2253000 | #Constraints: 57470
330.62/331.50 c #Conflicts: 2254000 | #Constraints: 58470
330.62/331.50 c #Conflicts: 2255000 | #Constraints: 59470
330.62/331.50 c #Conflicts: 2256000 | #Constraints: 60470
330.62/331.50 c INPROCESSING
330.62/331.50 c GARBAGE COLLECT
330.62/331.50 c rational objective 350.5
336.40/337.35 c #Conflicts: 2257000 | #Constraints: 31673
336.40/337.35 c #Conflicts: 2258000 | #Constraints: 32673
336.40/337.35 c #Conflicts: 2259000 | #Constraints: 33673
336.40/337.35 c #Conflicts: 2260000 | #Constraints: 34673
336.40/337.35 c #Conflicts: 2261000 | #Constraints: 35673
336.40/337.35 c #Conflicts: 2262000 | #Constraints: 36673
336.40/337.35 c #Conflicts: 2263000 | #Constraints: 37674
336.40/337.35 c #Conflicts: 2264000 | #Constraints: 38674
336.40/337.35 c #Conflicts: 2265000 | #Constraints: 39675
336.40/337.35 c #Conflicts: 2266000 | #Constraints: 40675
336.40/337.35 c #Conflicts: 2267000 | #Constraints: 41676
336.40/337.35 c #Conflicts: 2268000 | #Constraints: 42677
336.40/337.35 c #Conflicts: 2269000 | #Constraints: 43677
336.40/337.35 c #Conflicts: 2270000 | #Constraints: 44677
336.40/337.35 c #Conflicts: 2271000 | #Constraints: 45677
336.40/337.35 c #Conflicts: 2272000 | #Constraints: 46677
336.40/337.35 c #Conflicts: 2273000 | #Constraints: 47677
336.40/337.35 c #Conflicts: 2274000 | #Constraints: 48677
336.40/337.35 c #Conflicts: 2275000 | #Constraints: 49677
336.40/337.35 c #Conflicts: 2276000 | #Constraints: 50677
336.40/337.35 c #Conflicts: 2277000 | #Constraints: 51677
336.40/337.35 c #Conflicts: 2278000 | #Constraints: 52677
336.40/337.35 c #Conflicts: 2279000 | #Constraints: 53677
336.40/337.35 c #Conflicts: 2280000 | #Constraints: 54677
336.40/337.35 c #Conflicts: 2281000 | #Constraints: 55677
336.40/337.35 c #Conflicts: 2282000 | #Constraints: 56677
336.40/337.35 c #Conflicts: 2283000 | #Constraints: 57677
336.40/337.35 c #Conflicts: 2284000 | #Constraints: 58677
336.40/337.35 c #Conflicts: 2285000 | #Constraints: 59677
336.40/337.35 c #Conflicts: 2286000 | #Constraints: 60677
336.40/337.35 c INPROCESSING
336.40/337.35 c GARBAGE COLLECT
336.40/337.35 c rational objective 350.5
342.68/343.67 c #Conflicts: 2287000 | #Constraints: 31674
342.68/343.67 c #Conflicts: 2288000 | #Constraints: 32674
342.68/343.67 c #Conflicts: 2289000 | #Constraints: 33675
342.68/343.67 c #Conflicts: 2290000 | #Constraints: 34676
342.68/343.67 c #Conflicts: 2291000 | #Constraints: 35676
342.68/343.67 c #Conflicts: 2292000 | #Constraints: 36676
342.68/343.67 c #Conflicts: 2293000 | #Constraints: 37676
342.68/343.67 c #Conflicts: 2294000 | #Constraints: 38676
342.68/343.67 c #Conflicts: 2295000 | #Constraints: 39676
342.68/343.67 c #Conflicts: 2296000 | #Constraints: 40676
342.68/343.67 c #Conflicts: 2297000 | #Constraints: 41676
342.68/343.67 c #Conflicts: 2298000 | #Constraints: 42676
342.68/343.67 c #Conflicts: 2299000 | #Constraints: 43676
342.68/343.67 c #Conflicts: 2300000 | #Constraints: 44676
342.68/343.67 c #Conflicts: 2301000 | #Constraints: 45676
342.68/343.67 c #Conflicts: 2302000 | #Constraints: 46676
342.68/343.67 c #Conflicts: 2303000 | #Constraints: 47676
342.68/343.67 c #Conflicts: 2304000 | #Constraints: 48676
342.68/343.67 c #Conflicts: 2305000 | #Constraints: 49676
342.68/343.67 c #Conflicts: 2306000 | #Constraints: 50676
342.68/343.67 c #Conflicts: 2307000 | #Constraints: 51676
342.68/343.67 c #Conflicts: 2308000 | #Constraints: 52676
342.68/343.67 c #Conflicts: 2309000 | #Constraints: 53676
342.68/343.67 c #Conflicts: 2310000 | #Constraints: 54676
342.68/343.67 c #Conflicts: 2311000 | #Constraints: 55676
342.68/343.67 c #Conflicts: 2312000 | #Constraints: 56676
342.68/343.67 c #Conflicts: 2313000 | #Constraints: 57676
342.68/343.67 c #Conflicts: 2314000 | #Constraints: 58676
342.68/343.67 c #Conflicts: 2315000 | #Constraints: 59676
342.68/343.67 c #Conflicts: 2316000 | #Constraints: 60676
342.68/343.67 c INPROCESSING
342.68/343.67 c GARBAGE COLLECT
342.68/343.67 c rational objective 350.5
347.97/348.94 c #Conflicts: 2317000 | #Constraints: 31477
347.97/348.94 c #Conflicts: 2318000 | #Constraints: 32477
347.97/348.94 c #Conflicts: 2319000 | #Constraints: 33477
347.97/348.94 c #Conflicts: 2320000 | #Constraints: 34477
347.97/348.94 c #Conflicts: 2321000 | #Constraints: 35477
347.97/348.94 c #Conflicts: 2322000 | #Constraints: 36477
347.97/348.94 c #Conflicts: 2323000 | #Constraints: 37477
347.97/348.94 c #Conflicts: 2324000 | #Constraints: 38477
347.97/348.94 c #Conflicts: 2325000 | #Constraints: 39477
347.97/348.94 c #Conflicts: 2326000 | #Constraints: 40477
347.97/348.94 c #Conflicts: 2327000 | #Constraints: 41477
347.97/348.94 c #Conflicts: 2328000 | #Constraints: 42477
347.97/348.94 c #Conflicts: 2329000 | #Constraints: 43477
347.97/348.94 c #Conflicts: 2330000 | #Constraints: 44477
347.97/348.94 c #Conflicts: 2331000 | #Constraints: 45477
347.97/348.94 c #Conflicts: 2332000 | #Constraints: 46477
347.97/348.94 c #Conflicts: 2333000 | #Constraints: 47477
347.97/348.94 c #Conflicts: 2334000 | #Constraints: 48477
347.97/348.94 c #Conflicts: 2335000 | #Constraints: 49477
347.97/348.94 c #Conflicts: 2336000 | #Constraints: 50477
347.97/348.94 c #Conflicts: 2337000 | #Constraints: 51477
347.97/348.94 c #Conflicts: 2338000 | #Constraints: 52477
347.97/348.94 c #Conflicts: 2339000 | #Constraints: 53477
347.97/348.94 c #Conflicts: 2340000 | #Constraints: 54477
347.97/348.94 c #Conflicts: 2341000 | #Constraints: 55477
347.97/348.94 c #Conflicts: 2342000 | #Constraints: 56477
347.97/348.94 c #Conflicts: 2343000 | #Constraints: 57477
347.97/348.94 c #Conflicts: 2344000 | #Constraints: 58477
347.97/348.94 c #Conflicts: 2345000 | #Constraints: 59477
347.97/348.94 c #Conflicts: 2346000 | #Constraints: 60477
347.97/348.94 c #Conflicts: 2347000 | #Constraints: 61477
347.97/348.94 c INPROCESSING
347.97/348.94 c GARBAGE COLLECT
347.97/348.94 c rational objective 350.5
354.05/355.09 c #Conflicts: 2348000 | #Constraints: 32078
354.05/355.09 c #Conflicts: 2349000 | #Constraints: 33078
354.05/355.09 c #Conflicts: 2350000 | #Constraints: 34078
354.05/355.09 c #Conflicts: 2351000 | #Constraints: 35078
354.05/355.09 c #Conflicts: 2352000 | #Constraints: 36078
354.05/355.09 c #Conflicts: 2353000 | #Constraints: 37078
354.05/355.09 c #Conflicts: 2354000 | #Constraints: 38078
354.05/355.09 c #Conflicts: 2355000 | #Constraints: 39078
354.05/355.09 c #Conflicts: 2356000 | #Constraints: 40078
354.05/355.09 c #Conflicts: 2357000 | #Constraints: 41079
354.05/355.09 c #Conflicts: 2358000 | #Constraints: 42079
354.05/355.09 c #Conflicts: 2359000 | #Constraints: 43079
354.05/355.09 c #Conflicts: 2360000 | #Constraints: 44079
354.05/355.09 c #Conflicts: 2361000 | #Constraints: 45079
354.05/355.09 c #Conflicts: 2362000 | #Constraints: 46079
354.05/355.09 c #Conflicts: 2363000 | #Constraints: 47079
354.05/355.09 c #Conflicts: 2364000 | #Constraints: 48079
354.05/355.09 c #Conflicts: 2365000 | #Constraints: 49079
354.05/355.09 c #Conflicts: 2366000 | #Constraints: 50079
354.05/355.09 c #Conflicts: 2367000 | #Constraints: 51079
354.05/355.09 c #Conflicts: 2368000 | #Constraints: 52079
354.05/355.09 c #Conflicts: 2369000 | #Constraints: 53079
354.05/355.09 c #Conflicts: 2370000 | #Constraints: 54079
354.05/355.09 c #Conflicts: 2371000 | #Constraints: 55079
354.05/355.09 c #Conflicts: 2372000 | #Constraints: 56079
354.05/355.09 c #Conflicts: 2373000 | #Constraints: 57079
354.05/355.09 c #Conflicts: 2374000 | #Constraints: 58079
354.05/355.09 c #Conflicts: 2375000 | #Constraints: 59079
354.05/355.09 c #Conflicts: 2376000 | #Constraints: 60079
354.05/355.09 c #Conflicts: 2377000 | #Constraints: 61079
354.05/355.09 c #Conflicts: 2378000 | #Constraints: 62079
354.05/355.09 c INPROCESSING
354.05/355.09 c GARBAGE COLLECT
354.05/355.09 c rational objective 350.5
359.83/360.83 c #Conflicts: 2379000 | #Constraints: 32482
359.83/360.83 c #Conflicts: 2380000 | #Constraints: 33482
359.83/360.83 c #Conflicts: 2381000 | #Constraints: 34482
359.83/360.83 c #Conflicts: 2382000 | #Constraints: 35482
359.83/360.83 c #Conflicts: 2383000 | #Constraints: 36482
359.83/360.83 c #Conflicts: 2384000 | #Constraints: 37482
359.83/360.83 c #Conflicts: 2385000 | #Constraints: 38482
359.83/360.83 c #Conflicts: 2386000 | #Constraints: 39482
359.83/360.83 c #Conflicts: 2387000 | #Constraints: 40482
359.83/360.83 c #Conflicts: 2388000 | #Constraints: 41482
359.83/360.83 c #Conflicts: 2389000 | #Constraints: 42482
359.83/360.83 c #Conflicts: 2390000 | #Constraints: 43482
359.83/360.83 c #Conflicts: 2391000 | #Constraints: 44483
359.83/360.83 c #Conflicts: 2392000 | #Constraints: 45483
359.83/360.83 c #Conflicts: 2393000 | #Constraints: 46483
359.83/360.83 c #Conflicts: 2394000 | #Constraints: 47483
359.83/360.83 c #Conflicts: 2395000 | #Constraints: 48483
359.83/360.83 c #Conflicts: 2396000 | #Constraints: 49483
359.83/360.83 c #Conflicts: 2397000 | #Constraints: 50483
359.83/360.83 c #Conflicts: 2398000 | #Constraints: 51484
359.83/360.83 c #Conflicts: 2399000 | #Constraints: 52484
359.83/360.83 c #Conflicts: 2400000 | #Constraints: 53484
359.83/360.83 c #Conflicts: 2401000 | #Constraints: 54484
359.83/360.83 c #Conflicts: 2402000 | #Constraints: 55484
359.83/360.83 c #Conflicts: 2403000 | #Constraints: 56484
359.83/360.83 c #Conflicts: 2404000 | #Constraints: 57484
359.83/360.83 c #Conflicts: 2405000 | #Constraints: 58484
359.83/360.83 c #Conflicts: 2406000 | #Constraints: 59484
359.83/360.83 c #Conflicts: 2407000 | #Constraints: 60484
359.83/360.83 c #Conflicts: 2408000 | #Constraints: 61484
359.83/360.83 c #Conflicts: 2409000 | #Constraints: 62484
359.83/360.83 c INPROCESSING
359.83/360.83 c GARBAGE COLLECT
359.83/360.83 c rational objective 350.5
367.21/368.27 c #Conflicts: 2410000 | #Constraints: 32684
367.21/368.27 c #Conflicts: 2411000 | #Constraints: 33684
367.21/368.27 c #Conflicts: 2412000 | #Constraints: 34684
367.21/368.27 c #Conflicts: 2413000 | #Constraints: 35684
367.21/368.27 c #Conflicts: 2414000 | #Constraints: 36684
367.21/368.27 c #Conflicts: 2415000 | #Constraints: 37684
367.21/368.27 c #Conflicts: 2416000 | #Constraints: 38684
367.21/368.27 c #Conflicts: 2417000 | #Constraints: 39684
367.21/368.27 c #Conflicts: 2418000 | #Constraints: 40684
367.21/368.27 c #Conflicts: 2419000 | #Constraints: 41684
367.21/368.27 c #Conflicts: 2420000 | #Constraints: 42684
367.21/368.27 c #Conflicts: 2421000 | #Constraints: 43684
367.21/368.27 c #Conflicts: 2422000 | #Constraints: 44684
367.21/368.27 c #Conflicts: 2423000 | #Constraints: 45684
367.21/368.27 c #Conflicts: 2424000 | #Constraints: 46684
367.21/368.27 c #Conflicts: 2425000 | #Constraints: 47684
367.21/368.27 c #Conflicts: 2426000 | #Constraints: 48684
367.21/368.27 c #Conflicts: 2427000 | #Constraints: 49684
367.21/368.27 c #Conflicts: 2428000 | #Constraints: 50684
367.21/368.27 c #Conflicts: 2429000 | #Constraints: 51684
367.21/368.27 c #Conflicts: 2430000 | #Constraints: 52684
367.21/368.27 c #Conflicts: 2431000 | #Constraints: 53685
367.21/368.27 c #Conflicts: 2432000 | #Constraints: 54685
367.21/368.27 c #Conflicts: 2433000 | #Constraints: 55685
367.21/368.27 c #Conflicts: 2434000 | #Constraints: 56685
367.21/368.27 c #Conflicts: 2435000 | #Constraints: 57685
367.21/368.27 c #Conflicts: 2436000 | #Constraints: 58685
367.21/368.27 c #Conflicts: 2437000 | #Constraints: 59685
367.21/368.27 c #Conflicts: 2438000 | #Constraints: 60685
367.21/368.27 c #Conflicts: 2439000 | #Constraints: 61685
367.21/368.27 c #Conflicts: 2440000 | #Constraints: 62685
367.21/368.27 c INPROCESSING
367.21/368.27 c GARBAGE COLLECT
367.21/368.27 c rational objective 350.5
372.89/373.92 c #Conflicts: 2441000 | #Constraints: 32687
372.89/373.92 c #Conflicts: 2442000 | #Constraints: 33687
372.89/373.92 c #Conflicts: 2443000 | #Constraints: 34687
372.89/373.92 c #Conflicts: 2444000 | #Constraints: 35687
372.89/373.92 c #Conflicts: 2445000 | #Constraints: 36687
372.89/373.92 c #Conflicts: 2446000 | #Constraints: 37687
372.89/373.92 c #Conflicts: 2447000 | #Constraints: 38688
372.89/373.92 c #Conflicts: 2448000 | #Constraints: 39688
372.89/373.92 c #Conflicts: 2449000 | #Constraints: 40688
372.89/373.92 c #Conflicts: 2450000 | #Constraints: 41688
372.89/373.92 c #Conflicts: 2451000 | #Constraints: 42688
372.89/373.92 c #Conflicts: 2452000 | #Constraints: 43688
372.89/373.92 c #Conflicts: 2453000 | #Constraints: 44688
372.89/373.92 c #Conflicts: 2454000 | #Constraints: 45688
372.89/373.92 c #Conflicts: 2455000 | #Constraints: 46688
372.89/373.92 c #Conflicts: 2456000 | #Constraints: 47688
372.89/373.92 c #Conflicts: 2457000 | #Constraints: 48688
372.89/373.92 c #Conflicts: 2458000 | #Constraints: 49688
372.89/373.92 c #Conflicts: 2459000 | #Constraints: 50688
372.89/373.92 c #Conflicts: 2460000 | #Constraints: 51688
372.89/373.92 c #Conflicts: 2461000 | #Constraints: 52688
372.89/373.92 c #Conflicts: 2462000 | #Constraints: 53689
372.89/373.92 c #Conflicts: 2463000 | #Constraints: 54689
372.89/373.92 c #Conflicts: 2464000 | #Constraints: 55689
372.89/373.92 c #Conflicts: 2465000 | #Constraints: 56689
372.89/373.92 c #Conflicts: 2466000 | #Constraints: 57689
372.89/373.92 c #Conflicts: 2467000 | #Constraints: 58689
372.89/373.92 c #Conflicts: 2468000 | #Constraints: 59689
372.89/373.92 c #Conflicts: 2469000 | #Constraints: 60689
372.89/373.92 c #Conflicts: 2470000 | #Constraints: 61689
372.89/373.92 c #Conflicts: 2471000 | #Constraints: 62689
372.89/373.92 c INPROCESSING
372.89/373.92 c GARBAGE COLLECT
372.89/373.92 c rational objective 350.5
378.37/379.49 c #Conflicts: 2472000 | #Constraints: 32486
378.37/379.49 c #Conflicts: 2473000 | #Constraints: 33486
378.37/379.49 c #Conflicts: 2474000 | #Constraints: 34486
378.37/379.49 c #Conflicts: 2475000 | #Constraints: 35486
378.37/379.49 c #Conflicts: 2476000 | #Constraints: 36486
378.37/379.49 c #Conflicts: 2477000 | #Constraints: 37487
378.37/379.49 c #Conflicts: 2478000 | #Constraints: 38487
378.37/379.49 c #Conflicts: 2479000 | #Constraints: 39487
378.37/379.49 c #Conflicts: 2480000 | #Constraints: 40487
378.37/379.49 c #Conflicts: 2481000 | #Constraints: 41487
378.37/379.49 c #Conflicts: 2482000 | #Constraints: 42487
378.37/379.49 c #Conflicts: 2483000 | #Constraints: 43488
378.37/379.49 c #Conflicts: 2484000 | #Constraints: 44488
378.37/379.49 c #Conflicts: 2485000 | #Constraints: 45488
378.37/379.49 c #Conflicts: 2486000 | #Constraints: 46488
378.37/379.49 c #Conflicts: 2487000 | #Constraints: 47488
378.37/379.49 c #Conflicts: 2488000 | #Constraints: 48488
378.37/379.49 c #Conflicts: 2489000 | #Constraints: 49488
378.37/379.49 c #Conflicts: 2490000 | #Constraints: 50488
378.37/379.49 c #Conflicts: 2491000 | #Constraints: 51488
378.37/379.49 c #Conflicts: 2492000 | #Constraints: 52488
378.37/379.49 c #Conflicts: 2493000 | #Constraints: 53488
378.37/379.49 c #Conflicts: 2494000 | #Constraints: 54488
378.37/379.49 c #Conflicts: 2495000 | #Constraints: 55488
378.37/379.49 c #Conflicts: 2496000 | #Constraints: 56488
378.37/379.49 c #Conflicts: 2497000 | #Constraints: 57488
378.37/379.49 c #Conflicts: 2498000 | #Constraints: 58489
378.37/379.49 c #Conflicts: 2499000 | #Constraints: 59489
378.37/379.49 c #Conflicts: 2500000 | #Constraints: 60489
378.37/379.49 c #Conflicts: 2501000 | #Constraints: 61489
378.37/379.49 c #Conflicts: 2502000 | #Constraints: 62489
378.37/379.49 c #Conflicts: 2503000 | #Constraints: 63489
378.37/379.49 c INPROCESSING
378.37/379.49 c GARBAGE COLLECT
378.37/379.49 c rational objective 350.5
383.96/385.08 c #Conflicts: 2504000 | #Constraints: 33087
383.96/385.08 c #Conflicts: 2505000 | #Constraints: 34087
383.96/385.08 c #Conflicts: 2506000 | #Constraints: 35088
383.96/385.08 c #Conflicts: 2507000 | #Constraints: 36088
383.96/385.08 c #Conflicts: 2508000 | #Constraints: 37089
383.96/385.08 c #Conflicts: 2509000 | #Constraints: 38089
383.96/385.08 c #Conflicts: 2510000 | #Constraints: 39089
383.96/385.08 c #Conflicts: 2511000 | #Constraints: 40089
383.96/385.08 c #Conflicts: 2512000 | #Constraints: 41089
383.96/385.08 c #Conflicts: 2513000 | #Constraints: 42089
383.96/385.08 c #Conflicts: 2514000 | #Constraints: 43089
383.96/385.08 c #Conflicts: 2515000 | #Constraints: 44089
383.96/385.08 c #Conflicts: 2516000 | #Constraints: 45089
383.96/385.08 c #Conflicts: 2517000 | #Constraints: 46089
383.96/385.08 c #Conflicts: 2518000 | #Constraints: 47089
383.96/385.08 c #Conflicts: 2519000 | #Constraints: 48090
383.96/385.08 c #Conflicts: 2520000 | #Constraints: 49090
383.96/385.08 c #Conflicts: 2521000 | #Constraints: 50090
383.96/385.08 c #Conflicts: 2522000 | #Constraints: 51090
383.96/385.08 c #Conflicts: 2523000 | #Constraints: 52090
383.96/385.08 c #Conflicts: 2524000 | #Constraints: 53090
383.96/385.08 c #Conflicts: 2525000 | #Constraints: 54090
383.96/385.08 c #Conflicts: 2526000 | #Constraints: 55090
383.96/385.08 c #Conflicts: 2527000 | #Constraints: 56090
383.96/385.08 c #Conflicts: 2528000 | #Constraints: 57090
383.96/385.08 c #Conflicts: 2529000 | #Constraints: 58090
383.96/385.08 c #Conflicts: 2530000 | #Constraints: 59090
383.96/385.08 c #Conflicts: 2531000 | #Constraints: 60090
383.96/385.08 c #Conflicts: 2532000 | #Constraints: 61091
383.96/385.08 c #Conflicts: 2533000 | #Constraints: 62092
383.96/385.08 c #Conflicts: 2534000 | #Constraints: 63093
383.96/385.08 c #Conflicts: 2535000 | #Constraints: 64093
383.96/385.08 c INPROCESSING
383.96/385.08 c GARBAGE COLLECT
383.96/385.08 c rational objective 350.5
389.73/390.89 c #Conflicts: 2536000 | #Constraints: 33487
389.73/390.89 c #Conflicts: 2537000 | #Constraints: 34487
389.73/390.89 c #Conflicts: 2538000 | #Constraints: 35487
389.73/390.89 c #Conflicts: 2539000 | #Constraints: 36487
389.73/390.89 c #Conflicts: 2540000 | #Constraints: 37487
389.73/390.89 c #Conflicts: 2541000 | #Constraints: 38487
389.73/390.89 c #Conflicts: 2542000 | #Constraints: 39487
389.73/390.89 c #Conflicts: 2543000 | #Constraints: 40487
389.73/390.89 c #Conflicts: 2544000 | #Constraints: 41487
389.73/390.89 c #Conflicts: 2545000 | #Constraints: 42487
389.73/390.89 c #Conflicts: 2546000 | #Constraints: 43487
389.73/390.89 c #Conflicts: 2547000 | #Constraints: 44487
389.73/390.89 c #Conflicts: 2548000 | #Constraints: 45487
389.73/390.89 c #Conflicts: 2549000 | #Constraints: 46487
389.73/390.89 c #Conflicts: 2550000 | #Constraints: 47487
389.73/390.89 c #Conflicts: 2551000 | #Constraints: 48487
389.73/390.89 c #Conflicts: 2552000 | #Constraints: 49487
389.73/390.89 c #Conflicts: 2553000 | #Constraints: 50487
389.73/390.89 c #Conflicts: 2554000 | #Constraints: 51487
389.73/390.89 c #Conflicts: 2555000 | #Constraints: 52487
389.73/390.89 c #Conflicts: 2556000 | #Constraints: 53487
389.73/390.89 c #Conflicts: 2557000 | #Constraints: 54487
389.73/390.89 c #Conflicts: 2558000 | #Constraints: 55487
389.73/390.89 c #Conflicts: 2559000 | #Constraints: 56487
389.73/390.89 c #Conflicts: 2560000 | #Constraints: 57487
389.73/390.89 c #Conflicts: 2561000 | #Constraints: 58487
389.73/390.89 c #Conflicts: 2562000 | #Constraints: 59487
389.73/390.89 c #Conflicts: 2563000 | #Constraints: 60487
389.73/390.89 c #Conflicts: 2564000 | #Constraints: 61487
389.73/390.89 c #Conflicts: 2565000 | #Constraints: 62487
389.73/390.89 c #Conflicts: 2566000 | #Constraints: 63487
389.73/390.89 c #Conflicts: 2567000 | #Constraints: 64487
389.73/390.89 c INPROCESSING
389.73/390.89 c GARBAGE COLLECT
389.73/390.89 c rational objective 350.5
395.71/396.82 c #Conflicts: 2568000 | #Constraints: 33686
395.71/396.82 c #Conflicts: 2569000 | #Constraints: 34686
395.71/396.82 c #Conflicts: 2570000 | #Constraints: 35686
395.71/396.82 c #Conflicts: 2571000 | #Constraints: 36686
395.71/396.82 c #Conflicts: 2572000 | #Constraints: 37686
395.71/396.82 c #Conflicts: 2573000 | #Constraints: 38686
395.71/396.82 c #Conflicts: 2574000 | #Constraints: 39686
395.71/396.82 c #Conflicts: 2575000 | #Constraints: 40686
395.71/396.82 c #Conflicts: 2576000 | #Constraints: 41686
395.71/396.82 c #Conflicts: 2577000 | #Constraints: 42686
395.71/396.82 c #Conflicts: 2578000 | #Constraints: 43686
395.71/396.82 c #Conflicts: 2579000 | #Constraints: 44686
395.71/396.82 c #Conflicts: 2580000 | #Constraints: 45686
395.71/396.82 c #Conflicts: 2581000 | #Constraints: 46687
395.71/396.82 c #Conflicts: 2582000 | #Constraints: 47687
395.71/396.82 c #Conflicts: 2583000 | #Constraints: 48687
395.71/396.82 c #Conflicts: 2584000 | #Constraints: 49687
395.71/396.82 c #Conflicts: 2585000 | #Constraints: 50687
395.71/396.82 c #Conflicts: 2586000 | #Constraints: 51687
395.71/396.82 c #Conflicts: 2587000 | #Constraints: 52687
395.71/396.82 c #Conflicts: 2588000 | #Constraints: 53687
395.71/396.82 c #Conflicts: 2589000 | #Constraints: 54687
395.71/396.82 c #Conflicts: 2590000 | #Constraints: 55687
395.71/396.82 c #Conflicts: 2591000 | #Constraints: 56687
395.71/396.82 c #Conflicts: 2592000 | #Constraints: 57687
395.71/396.82 c #Conflicts: 2593000 | #Constraints: 58687
395.71/396.82 c #Conflicts: 2594000 | #Constraints: 59687
395.71/396.82 c #Conflicts: 2595000 | #Constraints: 60687
395.71/396.82 c #Conflicts: 2596000 | #Constraints: 61687
395.71/396.82 c #Conflicts: 2597000 | #Constraints: 62687
395.71/396.82 c #Conflicts: 2598000 | #Constraints: 63687
395.71/396.82 c #Conflicts: 2599000 | #Constraints: 64687
395.71/396.82 c INPROCESSING
395.71/396.82 c GARBAGE COLLECT
395.71/396.82 c rational objective 350.5
401.60/402.75 c #Conflicts: 2600000 | #Constraints: 33689
401.60/402.75 c #Conflicts: 2601000 | #Constraints: 34689
401.60/402.75 c #Conflicts: 2602000 | #Constraints: 35689
401.60/402.75 c #Conflicts: 2603000 | #Constraints: 36689
401.60/402.75 c #Conflicts: 2604000 | #Constraints: 37689
401.60/402.75 c #Conflicts: 2605000 | #Constraints: 38689
401.60/402.75 c #Conflicts: 2606000 | #Constraints: 39689
401.60/402.75 c #Conflicts: 2607000 | #Constraints: 40689
401.60/402.75 c #Conflicts: 2608000 | #Constraints: 41690
401.60/402.75 c #Conflicts: 2609000 | #Constraints: 42690
401.60/402.75 c #Conflicts: 2610000 | #Constraints: 43690
401.60/402.75 c #Conflicts: 2611000 | #Constraints: 44690
401.60/402.75 c #Conflicts: 2612000 | #Constraints: 45690
401.60/402.75 c #Conflicts: 2613000 | #Constraints: 46690
401.60/402.75 c #Conflicts: 2614000 | #Constraints: 47691
401.60/402.75 c #Conflicts: 2615000 | #Constraints: 48691
401.60/402.75 c #Conflicts: 2616000 | #Constraints: 49692
401.60/402.75 c #Conflicts: 2617000 | #Constraints: 50692
401.60/402.75 c #Conflicts: 2618000 | #Constraints: 51692
401.60/402.75 c #Conflicts: 2619000 | #Constraints: 52692
401.60/402.75 c #Conflicts: 2620000 | #Constraints: 53692
401.60/402.75 c #Conflicts: 2621000 | #Constraints: 54692
401.60/402.75 c #Conflicts: 2622000 | #Constraints: 55692
401.60/402.75 c #Conflicts: 2623000 | #Constraints: 56692
401.60/402.75 c #Conflicts: 2624000 | #Constraints: 57692
401.60/402.75 c #Conflicts: 2625000 | #Constraints: 58692
401.60/402.75 c #Conflicts: 2626000 | #Constraints: 59692
401.60/402.75 c #Conflicts: 2627000 | #Constraints: 60692
401.60/402.75 c #Conflicts: 2628000 | #Constraints: 61692
401.60/402.75 c #Conflicts: 2629000 | #Constraints: 62692
401.60/402.75 c #Conflicts: 2630000 | #Constraints: 63692
401.60/402.75 c #Conflicts: 2631000 | #Constraints: 64692
401.60/402.75 c INPROCESSING
401.60/402.75 c GARBAGE COLLECT
401.60/402.75 c rational objective 350.5
407.58/408.70 c #Conflicts: 2632000 | #Constraints: 33490
407.58/408.70 c #Conflicts: 2633000 | #Constraints: 34491
407.58/408.70 c #Conflicts: 2634000 | #Constraints: 35491
407.58/408.70 c #Conflicts: 2635000 | #Constraints: 36491
407.58/408.70 c #Conflicts: 2636000 | #Constraints: 37491
407.58/408.70 c #Conflicts: 2637000 | #Constraints: 38491
407.58/408.70 c #Conflicts: 2638000 | #Constraints: 39491
407.58/408.70 c #Conflicts: 2639000 | #Constraints: 40491
407.58/408.70 c #Conflicts: 2640000 | #Constraints: 41491
407.58/408.70 c #Conflicts: 2641000 | #Constraints: 42491
407.58/408.70 c #Conflicts: 2642000 | #Constraints: 43491
407.58/408.70 c #Conflicts: 2643000 | #Constraints: 44491
407.58/408.70 c #Conflicts: 2644000 | #Constraints: 45491
407.58/408.70 c #Conflicts: 2645000 | #Constraints: 46491
407.58/408.70 c #Conflicts: 2646000 | #Constraints: 47491
407.58/408.70 c #Conflicts: 2647000 | #Constraints: 48491
407.58/408.70 c #Conflicts: 2648000 | #Constraints: 49491
407.58/408.70 c #Conflicts: 2649000 | #Constraints: 50491
407.58/408.70 c #Conflicts: 2650000 | #Constraints: 51491
407.58/408.70 c #Conflicts: 2651000 | #Constraints: 52491
407.58/408.70 c #Conflicts: 2652000 | #Constraints: 53491
407.58/408.70 c #Conflicts: 2653000 | #Constraints: 54491
407.58/408.70 c #Conflicts: 2654000 | #Constraints: 55491
407.58/408.70 c #Conflicts: 2655000 | #Constraints: 56491
407.58/408.70 c #Conflicts: 2656000 | #Constraints: 57491
407.58/408.70 c #Conflicts: 2657000 | #Constraints: 58491
407.58/408.70 c #Conflicts: 2658000 | #Constraints: 59491
407.58/408.70 c #Conflicts: 2659000 | #Constraints: 60491
407.58/408.70 c #Conflicts: 2660000 | #Constraints: 61491
407.58/408.70 c #Conflicts: 2661000 | #Constraints: 62491
407.58/408.70 c #Conflicts: 2662000 | #Constraints: 63491
407.58/408.70 c #Conflicts: 2663000 | #Constraints: 64491
407.58/408.70 c #Conflicts: 2664000 | #Constraints: 65491
407.58/408.70 c INPROCESSING
407.58/408.70 c GARBAGE COLLECT
407.58/408.70 c rational objective 350.5
413.76/414.93 c #Conflicts: 2665000 | #Constraints: 34094
413.76/414.93 c #Conflicts: 2666000 | #Constraints: 35094
413.76/414.93 c #Conflicts: 2667000 | #Constraints: 36094
413.76/414.93 c #Conflicts: 2668000 | #Constraints: 37095
413.76/414.93 c #Conflicts: 2669000 | #Constraints: 38095
413.76/414.93 c #Conflicts: 2670000 | #Constraints: 39095
413.76/414.93 c #Conflicts: 2671000 | #Constraints: 40095
413.76/414.93 c #Conflicts: 2672000 | #Constraints: 41095
413.76/414.93 c #Conflicts: 2673000 | #Constraints: 42095
413.76/414.93 c #Conflicts: 2674000 | #Constraints: 43095
413.76/414.93 c #Conflicts: 2675000 | #Constraints: 44095
413.76/414.93 c #Conflicts: 2676000 | #Constraints: 45095
413.76/414.93 c #Conflicts: 2677000 | #Constraints: 46095
413.76/414.93 c #Conflicts: 2678000 | #Constraints: 47095
413.76/414.93 c #Conflicts: 2679000 | #Constraints: 48095
413.76/414.93 c #Conflicts: 2680000 | #Constraints: 49095
413.76/414.93 c #Conflicts: 2681000 | #Constraints: 50095
413.76/414.93 c #Conflicts: 2682000 | #Constraints: 51095
413.76/414.93 c #Conflicts: 2683000 | #Constraints: 52095
413.76/414.93 c #Conflicts: 2684000 | #Constraints: 53095
413.76/414.93 c #Conflicts: 2685000 | #Constraints: 54095
413.76/414.93 c #Conflicts: 2686000 | #Constraints: 55095
413.76/414.93 c #Conflicts: 2687000 | #Constraints: 56095
413.76/414.93 c #Conflicts: 2688000 | #Constraints: 57095
413.76/414.93 c #Conflicts: 2689000 | #Constraints: 58095
413.76/414.93 c #Conflicts: 2690000 | #Constraints: 59095
413.76/414.93 c #Conflicts: 2691000 | #Constraints: 60095
413.76/414.93 c #Conflicts: 2692000 | #Constraints: 61095
413.76/414.93 c #Conflicts: 2693000 | #Constraints: 62095
413.76/414.93 c #Conflicts: 2694000 | #Constraints: 63095
413.76/414.93 c #Conflicts: 2695000 | #Constraints: 64095
413.76/414.93 c #Conflicts: 2696000 | #Constraints: 65095
413.76/414.93 c #Conflicts: 2697000 | #Constraints: 66095
413.76/414.93 c INPROCESSING
413.76/414.93 c GARBAGE COLLECT
413.76/414.93 c rational objective 350.5
420.05/421.25 c #Conflicts: 2698000 | #Constraints: 34495
420.05/421.25 c #Conflicts: 2699000 | #Constraints: 35496
420.05/421.25 c #Conflicts: 2700000 | #Constraints: 36496
420.05/421.25 c #Conflicts: 2701000 | #Constraints: 37496
420.05/421.25 c #Conflicts: 2702000 | #Constraints: 38497
420.05/421.25 c #Conflicts: 2703000 | #Constraints: 39497
420.05/421.25 c #Conflicts: 2704000 | #Constraints: 40497
420.05/421.25 c #Conflicts: 2705000 | #Constraints: 41497
420.05/421.25 c #Conflicts: 2706000 | #Constraints: 42497
420.05/421.25 c #Conflicts: 2707000 | #Constraints: 43497
420.05/421.25 c #Conflicts: 2708000 | #Constraints: 44497
420.05/421.25 c #Conflicts: 2709000 | #Constraints: 45497
420.05/421.25 c #Conflicts: 2710000 | #Constraints: 46498
420.05/421.25 c #Conflicts: 2711000 | #Constraints: 47498
420.05/421.25 c #Conflicts: 2712000 | #Constraints: 48498
420.05/421.25 c #Conflicts: 2713000 | #Constraints: 49498
420.05/421.25 c #Conflicts: 2714000 | #Constraints: 50498
420.05/421.25 c #Conflicts: 2715000 | #Constraints: 51498
420.05/421.25 c #Conflicts: 2716000 | #Constraints: 52498
420.05/421.25 c #Conflicts: 2717000 | #Constraints: 53498
420.05/421.25 c #Conflicts: 2718000 | #Constraints: 54498
420.05/421.25 c #Conflicts: 2719000 | #Constraints: 55498
420.05/421.25 c #Conflicts: 2720000 | #Constraints: 56499
420.05/421.25 c #Conflicts: 2721000 | #Constraints: 57499
420.05/421.25 c #Conflicts: 2722000 | #Constraints: 58499
420.05/421.25 c #Conflicts: 2723000 | #Constraints: 59499
420.05/421.25 c #Conflicts: 2724000 | #Constraints: 60499
420.05/421.25 c #Conflicts: 2725000 | #Constraints: 61499
420.05/421.25 c #Conflicts: 2726000 | #Constraints: 62499
420.05/421.25 c #Conflicts: 2727000 | #Constraints: 63499
420.05/421.25 c #Conflicts: 2728000 | #Constraints: 64499
420.05/421.25 c #Conflicts: 2729000 | #Constraints: 65499
420.05/421.25 c #Conflicts: 2730000 | #Constraints: 66499
420.05/421.25 c INPROCESSING
420.05/421.25 c GARBAGE COLLECT
420.05/421.25 c rational objective 350.5
426.52/427.77 c #Conflicts: 2731000 | #Constraints: 34699
426.52/427.77 c #Conflicts: 2732000 | #Constraints: 35699
426.52/427.77 c #Conflicts: 2733000 | #Constraints: 36699
426.52/427.77 c #Conflicts: 2734000 | #Constraints: 37699
426.52/427.77 c #Conflicts: 2735000 | #Constraints: 38699
426.52/427.77 c #Conflicts: 2736000 | #Constraints: 39699
426.52/427.77 c #Conflicts: 2737000 | #Constraints: 40699
426.52/427.77 c #Conflicts: 2738000 | #Constraints: 41699
426.52/427.77 c #Conflicts: 2739000 | #Constraints: 42699
426.52/427.77 c #Conflicts: 2740000 | #Constraints: 43699
426.52/427.77 c #Conflicts: 2741000 | #Constraints: 44699
426.52/427.77 c #Conflicts: 2742000 | #Constraints: 45699
426.52/427.77 c #Conflicts: 2743000 | #Constraints: 46699
426.52/427.77 c #Conflicts: 2744000 | #Constraints: 47699
426.52/427.77 c #Conflicts: 2745000 | #Constraints: 48699
426.52/427.77 c #Conflicts: 2746000 | #Constraints: 49699
426.52/427.77 c #Conflicts: 2747000 | #Constraints: 50699
426.52/427.77 c #Conflicts: 2748000 | #Constraints: 51699
426.52/427.77 c #Conflicts: 2749000 | #Constraints: 52699
426.52/427.77 c #Conflicts: 2750000 | #Constraints: 53699
426.52/427.77 c #Conflicts: 2751000 | #Constraints: 54699
426.52/427.77 c #Conflicts: 2752000 | #Constraints: 55699
426.52/427.77 c #Conflicts: 2753000 | #Constraints: 56699
426.52/427.77 c #Conflicts: 2754000 | #Constraints: 57699
426.52/427.77 c #Conflicts: 2755000 | #Constraints: 58699
426.52/427.77 c #Conflicts: 2756000 | #Constraints: 59699
426.52/427.77 c #Conflicts: 2757000 | #Constraints: 60699
426.52/427.77 c #Conflicts: 2758000 | #Constraints: 61701
426.52/427.77 c #Conflicts: 2759000 | #Constraints: 62701
426.52/427.77 c #Conflicts: 2760000 | #Constraints: 63701
426.52/427.77 c #Conflicts: 2761000 | #Constraints: 64702
426.52/427.77 c #Conflicts: 2762000 | #Constraints: 65702
426.52/427.77 c #Conflicts: 2763000 | #Constraints: 66702
426.52/427.77 c INPROCESSING
426.52/427.77 c GARBAGE COLLECT
426.52/427.77 c rational objective 350.5
431.81/433.09 c #Conflicts: 2764000 | #Constraints: 34697
431.81/433.09 c #Conflicts: 2765000 | #Constraints: 35697
431.81/433.09 c #Conflicts: 2766000 | #Constraints: 36697
431.81/433.09 c #Conflicts: 2767000 | #Constraints: 37697
431.81/433.09 c #Conflicts: 2768000 | #Constraints: 38697
431.81/433.09 c #Conflicts: 2769000 | #Constraints: 39697
431.81/433.09 c #Conflicts: 2770000 | #Constraints: 40697
431.81/433.09 c #Conflicts: 2771000 | #Constraints: 41698
431.81/433.09 c #Conflicts: 2772000 | #Constraints: 42698
431.81/433.09 c #Conflicts: 2773000 | #Constraints: 43698
431.81/433.09 c #Conflicts: 2774000 | #Constraints: 44698
431.81/433.09 c #Conflicts: 2775000 | #Constraints: 45698
431.81/433.09 c #Conflicts: 2776000 | #Constraints: 46698
431.81/433.09 c #Conflicts: 2777000 | #Constraints: 47698
431.81/433.09 c #Conflicts: 2778000 | #Constraints: 48698
431.81/433.09 c #Conflicts: 2779000 | #Constraints: 49698
431.81/433.09 c #Conflicts: 2780000 | #Constraints: 50698
431.81/433.09 c #Conflicts: 2781000 | #Constraints: 51698
431.81/433.09 c #Conflicts: 2782000 | #Constraints: 52698
431.81/433.09 c #Conflicts: 2783000 | #Constraints: 53698
431.81/433.09 c #Conflicts: 2784000 | #Constraints: 54698
431.81/433.09 c #Conflicts: 2785000 | #Constraints: 55698
431.81/433.09 c #Conflicts: 2786000 | #Constraints: 56698
431.81/433.09 c #Conflicts: 2787000 | #Constraints: 57698
431.81/433.09 c #Conflicts: 2788000 | #Constraints: 58698
431.81/433.09 c #Conflicts: 2789000 | #Constraints: 59698
431.81/433.09 c #Conflicts: 2790000 | #Constraints: 60698
431.81/433.09 c #Conflicts: 2791000 | #Constraints: 61698
431.81/433.09 c cpu time 407.585 s
431.81/433.09 c deterministic time 15003394827 1.50e+10
431.81/433.09 c optimization time 0.000208 s
431.81/433.09 c total solve time 407.583 s
431.81/433.09 c core-guided solve time 0 s
431.81/433.09 c propagation time 351.18 s
431.81/433.09 c conflict analysis time 37.7991 s
431.81/433.09 c propagations 35194662
431.81/433.09 c resolve steps 9280143
431.81/433.09 c decisions 5972404
431.81/433.09 c conflicts 2791376
431.81/433.09 c restarts 4860
431.81/433.09 c inprocessing phases 157
431.81/433.09 c input clauses 2
431.81/433.09 c input cardinalities 700
431.81/433.09 c input general constraints 0
431.81/433.09 c input average constraint length 3.99
431.81/433.09 c input average constraint degree 2.00
431.81/433.09 c learned clauses 2263719
431.81/433.09 c learned cardinalities 27923
431.81/433.09 c learned general constraints 500162
431.81/433.09 c learned average constraint length 20.51
431.81/433.09 c learned average constraint degree 139536773.09
431.81/433.09 c watched constraints 453813
431.81/433.09 c counting constraints 46349
431.81/433.09 c gcd simplifications 777768
431.81/433.09 c detected cardinalities 2608
431.81/433.09 c weakened non-implied lits 6995385
431.81/433.09 c weakened non-implying lits 1291268
431.81/433.09 c original variables 701
431.81/433.09 c clausal propagations 5253286
431.81/433.09 c cardinality propagations 9355088
431.81/433.09 c watched propagations 1732596
431.81/433.09 c counting propagations 16086366
431.81/433.09 c watch lookups 4438931841
431.81/433.09 c watch backjump lookups 2383003999
431.81/433.09 c watch checks 7142303561
431.81/433.09 c propagation checks 727739156
431.81/433.09 c constraint additions 223498804
431.81/433.09 c trail pops 43957963
431.81/433.09 c formula constraints 702
431.81/433.09 c learned constraints 2790946
431.81/433.09 c bound constraints 0
431.81/433.09 c core-guided constraints 0
431.81/433.09 c encountered formula constraints 578260
431.81/433.09 c encountered learned constraints 9459304
431.81/433.09 c encountered bound constraints 0
431.81/433.09 c encountered core-guided constraints 0
431.81/433.09 c LP total time 212.742 s
431.81/433.09 c LP solve time 194.47 s
431.81/433.09 c LP constraints added 899
431.81/433.09 c LP constraints removed 195
431.81/433.09 c LP pivots internal 2791375
431.81/433.09 c LP pivots root 1061
431.81/433.09 c LP calls 626774
431.81/433.09 c LP optimalities 626345
431.81/433.09 c LP no pivot count 160420
431.81/433.09 c LP infeasibilities 429
431.81/433.09 c LP valid Farkas constraints 429
431.81/433.09 c LP learned Farkas constraints 429
431.81/433.09 c LP basis resets 0
431.81/433.09 c LP cycling count 0
431.81/433.09 c LP singular count 0
431.81/433.09 c LP no primal count 0
431.81/433.09 c LP no farkas count 0
431.81/433.09 c LP other issue count 0
431.81/433.09 c LP Gomory cuts 0
431.81/433.09 c LP learned cuts 197
431.81/433.09 c LP deleted cuts 195
431.81/433.09 c LP encountered Gomory constraints 0
431.81/433.09 c LP encountered Farkas constraints 1966238
431.81/433.09 c LP encountered learned Farkas constraints 67288
431.81/433.09 c CG auxiliary variables introduced 0
431.81/433.09 c CG solutions found 0
431.81/433.09 c CG cores constructed 0
431.81/433.09 c CG core cardinality constraints returned 0
431.81/433.09 c CG unit cores 0
431.81/433.09 c CG single cores 0
431.81/433.09 c CG blocks removed during cardinality reduction 0
431.81/433.09 c CG first core best 0
431.81/433.09 c CG decision core best 0
431.81/433.09 c CG core reduction tie 0
431.81/433.09 c CG core degree average 0.00
431.81/433.09 c CG core slack average 0.00
431.81/433.09 s SATISFIABLE
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: 63931 MiB (60538 MiB free)
memory of node 1: 64510 MiB (55807 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457292-1721835936/watcher-4457292-1721835936 -o /tmp/evaluation-result-4457292-1721835936/solver-4457292-1721835936 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721830563-191598 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457292-1721835936 --lp-cut-gomory=0 HOME/instance-4457292-1721835936.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=195285, runsolver pid=195282
Current StackSize limit: 8192 KiB
[startup+0.100106 s]*
/proc/loadavg: 4.07 4.11 4.09 5/260 195286
/proc/meminfo: memFree=119134752/131524600 swapFree=131056028/131071996
[pid=195285] ppid=195282 vsize=38996 memory=9508 CPUtime=0.09 cores=4,6
/proc/195285/stat : 195285 (roundingsat) R 195282 195285 191587 0 -1 4194304 712 0 0 0 8 1 0 0 20 0 1 0 20122088 39931904 2377 134679101440 4194304 8254037 140730805601664 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25370624 140730805609308 140730805609570 140730805609570 140730805616585 0
/proc/195285/statm: 9749 2377 1855 992 0 1607 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38996 KiB
Current children cumulated memory: 9508 KiB
[startup+0.205726 s]*
/proc/loadavg: 4.07 4.11 4.09 9/260 195286
/proc/meminfo: memFree=119133240/131524600 swapFree=131056028/131071996
[pid=195285] ppid=195282 vsize=39168 memory=9812 CPUtime=0.19 cores=4,6
/proc/195285/stat : 195285 (roundingsat) R 195282 195285 191587 0 -1 4194304 779 0 0 0 17 2 0 0 20 0 1 0 20122088 40108032 2453 134679101440 4194304 8254037 140730805601664 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25370624 140730805609308 140730805609570 140730805609570 140730805616585 0
/proc/195285/statm: 9792 2453 1855 992 0 1650 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 39168 KiB
Current children cumulated memory: 9812 KiB
[startup+0.305583 s]*
/proc/loadavg: 4.07 4.11 4.09 5/260 195286
/proc/meminfo: memFree=119132456/131524600 swapFree=131056028/131071996
[pid=195285] ppid=195282 vsize=39168 memory=9812 CPUtime=0.29 cores=4,6
/proc/195285/stat : 195285 (roundingsat) R 195282 195285 191587 0 -1 4194304 790 0 0 0 26 3 0 0 20 0 1 0 20122088 40108032 2453 134679101440 4194304 8254037 140730805601664 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25370624 140730805609308 140730805609570 140730805609570 140730805616585 0
/proc/195285/statm: 9792 2453 1855 992 0 1650 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 39168 KiB
Current children cumulated memory: 9812 KiB
[startup+0.700201 s]
/proc/loadavg: 4.07 4.11 4.09 5/260 195286
/proc/meminfo: memFree=119130300/131524600 swapFree=131056028/131071996
[pid=195285] ppid=195282 vsize=39588 memory=10504 CPUtime=0.68 cores=4,6
/proc/195285/stat : 195285 (roundingsat) R 195282 195285 191587 0 -1 4194304 952 0 0 0 63 5 0 0 20 0 1 0 20122088 40538112 2626 134679101440 4194304 8254037 140730805601664 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25370624 140730805609308 140730805609570 140730805609570 140730805616585 0
/proc/195285/statm: 9897 2626 1855 992 0 1755 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 39588 KiB
Current children cumulated memory: 10504 KiB
[startup+1.5002 s]
/proc/loadavg: 4.07 4.11 4.09 5/260 195286
/proc/meminfo: memFree=119126884/131524600 swapFree=131056028/131071996
[pid=195285] ppid=195282 vsize=39892 memory=10928 CPUtime=1.48 cores=4,6
/proc/195285/stat : 195285 (roundingsat) R 195282 195285 191587 0 -1 4194304 1066 0 0 0 137 11 0 0 20 0 1 0 20122088 40849408 2732 134679101440 4194304 8254037 140730805601664 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25370624 140730805609308 140730805609570 140730805609570 140730805616585 0
/proc/195285/statm: 9973 2732 1855 992 0 1831 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 39892 KiB
Current children cumulated memory: 10928 KiB
[startup+3.10561 s]
/proc/loadavg: 4.07 4.11 4.09 5/260 195286
/proc/meminfo: memFree=119113836/131524600 swapFree=131056028/131071996
[pid=195285] ppid=195282 vsize=40200 memory=11532 CPUtime=3.08 cores=4,6
/proc/195285/stat : 195285 (roundingsat) R 195282 195285 191587 0 -1 4194304 1244 0 0 0 283 25 0 0 20 0 1 0 20122088 41164800 2883 134679101440 4194304 8254037 140730805601664 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25370624 140730805609308 140730805609570 140730805609570 140730805616585 0
/proc/195285/statm: 10050 2883 1855 992 0 1908 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 40200 KiB
Current children cumulated memory: 11532 KiB
[startup+6.30017 s]
/proc/loadavg: 4.06 4.11 4.09 5/260 195286
/proc/meminfo: memFree=119094712/131524600 swapFree=131056028/131071996
[pid=195285] ppid=195282 vsize=40796 memory=12400 CPUtime=6.27 cores=4,6
/proc/195285/stat : 195285 (roundingsat) R 195282 195285 191587 0 -1 4194304 1567 0 0 0 574 53 0 0 20 0 1 0 20122088 41775104 3100 134679101440 4194304 8254037 140730805601664 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25370624 140730805609308 140730805609570 140730805609570 140730805616585 0
/proc/195285/statm: 10199 3100 1855 992 0 2057 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 40796 KiB
Current children cumulated memory: 12400 KiB
[startup+12.7002 s]
/proc/loadavg: 4.06 4.11 4.09 5/260 195287
/proc/meminfo: memFree=119054128/131524600 swapFree=131056028/131071996
[pid=195285] ppid=195282 vsize=41564 memory=15600 CPUtime=12.65 cores=4,6
/proc/195285/stat : 195285 (roundingsat) R 195282 195285 191587 0 -1 4194304 2210 0 0 0 1165 100 0 0 20 0 1 0 20122088 42561536 3900 134679101440 4194304 8254037 140730805601664 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25370624 140730805609308 140730805609570 140730805609570 140730805616585 0
/proc/195285/statm: 10391 3900 1855 992 0 2249 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 41564 KiB
Current children cumulated memory: 15600 KiB
[startup+25.5002 s]
/proc/loadavg: 4.04 4.10 4.08 5/258 195289
/proc/meminfo: memFree=118977776/131524600 swapFree=131056028/131071996
[pid=195285] ppid=195282 vsize=42708 memory=16688 CPUtime=25.42 cores=4,6
/proc/195285/stat : 195285 (roundingsat) R 195282 195285 191587 0 -1 4194304 3003 0 0 0 2354 188 0 0 20 0 1 0 20122088 43732992 4172 134679101440 4194304 8254037 140730805601664 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25370624 140730805609308 140730805609570 140730805609570 140730805616585 0
/proc/195285/statm: 10677 4172 1855 992 0 2535 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 42708 KiB
Current children cumulated memory: 16688 KiB
[startup+51.1056 s]
/proc/loadavg: 4.08 4.11 4.09 5/258 195293
/proc/meminfo: memFree=118828016/131524600 swapFree=131056028/131071996
[pid=195285] ppid=195282 vsize=43604 memory=17612 CPUtime=50.96 cores=4,6
/proc/195285/stat : 195285 (roundingsat) R 195282 195285 191587 0 -1 4194304 4826 0 0 0 4719 377 0 0 20 0 1 0 20122088 44650496 4403 134679101440 4194304 8254037 140730805601664 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25370624 140730805609308 140730805609570 140730805609570 140730805616585 0
/proc/195285/statm: 10901 4403 1855 992 0 2759 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 43604 KiB
Current children cumulated memory: 17612 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/257 195303
/proc/meminfo: memFree=118523988/131524600 swapFree=131056028/131071996
[pid=195285] ppid=195282 vsize=45872 memory=19976 CPUtime=102.03 cores=4,6
/proc/195285/stat : 195285 (roundingsat) R 195282 195285 191587 0 -1 4194304 7952 0 0 0 9491 712 0 0 20 0 1 0 20122088 46972928 4994 134679101440 4194304 8254037 140730805601664 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25370624 140730805609308 140730805609570 140730805609570 140730805616585 0
/proc/195285/statm: 11468 4994 1855 992 0 3326 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 45872 KiB
Current children cumulated memory: 19976 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/257 195314
/proc/meminfo: memFree=118184328/131524600 swapFree=131056028/131071996
[pid=195285] ppid=195282 vsize=50880 memory=24912 CPUtime=161.87 cores=4,6
/proc/195285/stat : 195285 (roundingsat) R 195282 195285 191587 0 -1 4194304 11124 0 0 0 15140 1047 0 0 20 0 1 0 20122088 52101120 6228 134679101440 4194304 8254037 140730805601664 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25370624 140730805609308 140730805609570 140730805609570 140730805616585 0
/proc/195285/statm: 12720 6228 1855 992 0 4578 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 50880 KiB
Current children cumulated memory: 24912 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/257 195325
/proc/meminfo: memFree=117865000/131524600 swapFree=131056028/131071996
[pid=195285] ppid=195282 vsize=51300 memory=25364 CPUtime=221.72 cores=4,6
/proc/195285/stat : 195285 (roundingsat) R 195282 195285 191587 0 -1 4194304 13945 0 0 0 20793 1379 0 0 20 0 1 0 20122088 52531200 6341 134679101440 4194304 8254037 140730805601664 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25370624 140730805609308 140730805609570 140730805609570 140730805616585 0
/proc/195285/statm: 12825 6341 1855 992 0 4683 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 51300 KiB
Current children cumulated memory: 25364 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/257 195335
/proc/meminfo: memFree=117558780/131524600 swapFree=131056028/131071996
[pid=195285] ppid=195282 vsize=51848 memory=26088 CPUtime=281.56 cores=4,6
/proc/195285/stat : 195285 (roundingsat) R 195282 195285 191587 0 -1 4194304 16757 0 0 0 26453 1703 0 0 20 0 1 0 20122088 53092352 6522 134679101440 4194304 8254037 140730805601664 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25370624 140730805609308 140730805609570 140730805609570 140730805616585 0
/proc/195285/statm: 12962 6522 1855 992 0 4820 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 51848 KiB
Current children cumulated memory: 26088 KiB
[startup+342.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/260 195354
/proc/meminfo: memFree=117247104/131524600 swapFree=131056028/131071996
[pid=195285] ppid=195282 vsize=56808 memory=27004 CPUtime=341.38 cores=4,6
/proc/195285/stat : 195285 (roundingsat) R 195282 195285 191587 0 -1 4194304 18968 0 0 0 32137 2001 0 0 20 0 1 0 20122088 58171392 6751 134679101440 4194304 8254037 140730805601664 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25370624 140730805609308 140730805609570 140730805609570 140730805616585 0
/proc/195285/statm: 14202 6751 1855 992 0 6060 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 56808 KiB
Current children cumulated memory: 27004 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/260 195365
/proc/meminfo: memFree=116917864/131524600 swapFree=131056028/131071996
[pid=195285] ppid=195282 vsize=57792 memory=28552 CPUtime=401.2 cores=4,6
/proc/195285/stat : 195285 (roundingsat) R 195282 195285 191587 0 -1 4194304 21194 0 0 0 37831 2289 0 0 20 0 1 0 20122088 59179008 7138 134679101440 4194304 8254037 140730805601664 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25370624 140730805609308 140730805609570 140730805609570 140730805616585 0
/proc/195285/statm: 14448 7138 1855 992 0 6306 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 57792 KiB
Current children cumulated memory: 28552 KiB
[startup+433.095 s]
# the end of solver process 195285 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=407.586 s, system=24.2796 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+409.6 s]
/proc/loadavg: 4.11 4.11 4.09 5/260 195366
/proc/meminfo: memFree=116878008/131524600 swapFree=131056028/131071996
[pid=195285] ppid=195282 vsize=58116 memory=28624 CPUtime=408.48 cores=4,6
/proc/195285/stat : 195285 (roundingsat) R 195282 195285 191587 0 -1 4194304 21619 0 0 0 38523 2325 0 0 20 0 1 0 20122088 59510784 7156 134679101440 4194304 8254037 140730805601664 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25370624 140730805609308 140730805609570 140730805609570 140730805616585 0
/proc/195285/statm: 14529 7156 1855 992 0 6387 0
Current children cumulated CPU time: 408.48 s
Current children cumulated vsize: 58116 KiB
Current children cumulated memory: 28624 KiB
[startup+422.4 s]
/proc/loadavg: 4.08 4.11 4.09 5/260 195369
/proc/meminfo: memFree=116806680/131524600 swapFree=131056028/131071996
[pid=195285] ppid=195282 vsize=58996 memory=29336 CPUtime=421.24 cores=4,6
/proc/195285/stat : 195285 (roundingsat) R 195282 195285 191587 0 -1 4194304 22018 0 0 0 39742 2382 0 0 20 0 1 0 20122088 60411904 7334 134679101440 4194304 8254037 140730805601664 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25370624 140730805609308 140730805609570 140730805609570 140730805616585 0
/proc/195285/statm: 14749 7334 1855 992 0 6607 0
Current children cumulated CPU time: 421.24 s
Current children cumulated vsize: 58996 KiB
Current children cumulated memory: 29336 KiB
[startup+428.8 s]
/proc/loadavg: 4.08 4.11 4.09 5/260 195370
/proc/meminfo: memFree=116775960/131524600 swapFree=131056028/131071996
[pid=195285] ppid=195282 vsize=58508 memory=28980 CPUtime=427.63 cores=4,6
/proc/195285/stat : 195285 (roundingsat) R 195282 195285 191587 0 -1 4194304 22108 0 0 0 40353 2410 0 0 20 0 1 0 20122088 59912192 7245 134679101440 4194304 8254037 140730805601664 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25370624 140730805609308 140730805609570 140730805609570 140730805616585 0
/proc/195285/statm: 14627 7245 1855 992 0 6485 0
Current children cumulated CPU time: 427.63 s
Current children cumulated vsize: 58508 KiB
Current children cumulated memory: 28980 KiB
[startup+430.4 s]
/proc/loadavg: 4.07 4.10 4.09 5/260 195370
/proc/meminfo: memFree=116764036/131524600 swapFree=131056028/131071996
[pid=195285] ppid=195282 vsize=58508 memory=29348 CPUtime=429.21 cores=4,6
/proc/195285/stat : 195285 (roundingsat) R 195282 195285 191587 0 -1 4194304 22114 0 0 0 40504 2417 0 0 20 0 1 0 20122088 59912192 7337 134679101440 4194304 8254037 140730805601664 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25370624 140730805609308 140730805609570 140730805609570 140730805616585 0
/proc/195285/statm: 14627 7337 1855 992 0 6485 0
Current children cumulated CPU time: 429.21 s
Current children cumulated vsize: 58508 KiB
Current children cumulated memory: 29348 KiB
[startup+432 s]*
/proc/loadavg: 4.07 4.10 4.09 5/260 195370
/proc/meminfo: memFree=116752748/131524600 swapFree=131056028/131071996
[pid=195285] ppid=195282 vsize=58508 memory=29348 CPUtime=430.82 cores=4,6
/proc/195285/stat : 195285 (roundingsat) R 195282 195285 191587 0 -1 4194304 22114 0 0 0 40659 2423 0 0 20 0 1 0 20122088 59912192 7337 134679101440 4194304 8254037 140730805601664 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25370624 140730805609308 140730805609570 140730805609570 140730805616585 0
/proc/195285/statm: 14627 7337 1855 992 0 6485 0
Current children cumulated CPU time: 430.82 s
Current children cumulated vsize: 58508 KiB
Current children cumulated memory: 29348 KiB
[startup+432.8 s]
/proc/loadavg: 4.07 4.10 4.09 5/260 195370
/proc/meminfo: memFree=116752748/131524600 swapFree=131056028/131071996
[pid=195285] ppid=195282 vsize=58508 memory=29348 CPUtime=431.61 cores=4,6
/proc/195285/stat : 195285 (roundingsat) R 195282 195285 191587 0 -1 4194304 22114 0 0 0 40735 2426 0 0 20 0 1 0 20122088 59912192 7337 134679101440 4194304 8254037 140730805601664 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25370624 140730805609308 140730805609570 140730805609570 140730805616585 0
/proc/195285/statm: 14627 7337 1855 992 0 6485 0
Current children cumulated CPU time: 431.61 s
Current children cumulated vsize: 58508 KiB
Current children cumulated memory: 29348 KiB
[startup+433 s]*
/proc/loadavg: 4.07 4.10 4.09 5/260 195370
/proc/meminfo: memFree=116747776/131524600 swapFree=131056028/131071996
[pid=195285] ppid=195282 vsize=58508 memory=29348 CPUtime=431.81 cores=4,6
/proc/195285/stat : 195285 (roundingsat) R 195282 195285 191587 0 -1 4194304 22114 0 0 0 40754 2427 0 0 20 0 1 0 20122088 59912192 7337 134679101440 4194304 8254037 140730805601664 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25370624 140730805609308 140730805609570 140730805609570 140730805616585 0
/proc/195285/statm: 14627 7337 1855 992 0 6485 0
Current children cumulated CPU time: 431.81 s
Current children cumulated vsize: 58508 KiB
Current children cumulated memory: 29348 KiB
Child status: 0
Real time (s): 433.095
CPU time (s): 431.865
CPU user time (s): 407.586
CPU system time (s): 24.2796
CPU usage (%): 99.716
Max. virtual memory (cumulated for all children) (KiB): 58996
Max. memory (cumulated for all children) (KiB): 29348
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 407.586
system time used= 24.2796
maximum resident set size= 29596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22123
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1230264
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 72
involuntary context switches= 587
# summary of solver processes directly reported to runsolver:
# pid: 195285
# total CPU time (s): 431.865
# total CPU user time (s): 407.586
# total CPU system time (s): 24.2796
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.787102 second user time and 2.03503 second system time
The end
Begin job on nodeC016 at 2024-07-24 17:45:36
IDJOB=4457292
IDBENCH=160441
IDSOLVER=3085
FILE ID=nodeC016/4457292-1721835936
RUNJOBID= nodeC016-1721830563-191598
SLURM_JOB_ID= 7891513
Free space on /tmp= 890060 MiB
SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/EC_ODD_GRIDS/normalized-ECgrid5x70split.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457292-1721835936/watcher-4457292-1721835936 -o /tmp/evaluation-result-4457292-1721835936/solver-4457292-1721835936 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721830563-191598 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457292-1721835936 --lp-cut-gomory=0 HOME/instance-4457292-1721835936.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c77e21d963e84c3fd4d271df704a0949
RANDOM SEED=1797565592
nodeC016.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/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 : 3657.057
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.34
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 : 3681.828
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.474
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.34
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 : 3600.043
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.68
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 : 3648.173
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.34
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 : 3681.958
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.68
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 : 3660.014
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.34
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 : 3599.724
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 119138192 kB
MemAvailable: 129274672 kB
Buffers: 255244 kB
Cached: 10561984 kB
SwapCached: 256 kB
Active: 2250380 kB
Inactive: 9239116 kB
Active(anon): 2440 kB
Inactive(anon): 721956 kB
Active(file): 2247940 kB
Inactive(file): 8517160 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131056028 kB
Dirty: 39176 kB
Writeback: 0 kB
AnonPages: 671888 kB
Mapped: 109612 kB
Shmem: 52400 kB
KReclaimable: 422056 kB
Slab: 542860 kB
SReclaimable: 422056 kB
SUnreclaim: 120804 kB
KernelStack: 4140 kB
PageTables: 10888 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1132408 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 17184 kB
HardwareCorrupted: 0 kB
AnonHugePages: 473088 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 373460 kB
DirectMap2M: 42391552 kB
DirectMap1G: 93323264 kB
Free space on /tmp at the end= 890052 MiB
End job on nodeC016 at 2024-07-24 17:52:49