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