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