0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c #variables 701 #constraints 702
0.00/0.00 c rational objective 350.5
0.09/0.18 c #Conflicts: 1000 | #Constraints: 1716
0.09/0.18 c #Conflicts: 2000 | #Constraints: 2725
0.09/0.18 c INPROCESSING
0.09/0.18 c GARBAGE COLLECT
0.09/0.18 c rational objective 350.5
0.29/0.35 c #Conflicts: 3000 | #Constraints: 2753
0.29/0.35 c #Conflicts: 4000 | #Constraints: 3760
0.29/0.35 c INPROCESSING
0.29/0.35 c GARBAGE COLLECT
0.29/0.35 c rational objective 350.5
0.59/0.61 c #Conflicts: 5000 | #Constraints: 3175
0.59/0.61 c #Conflicts: 6000 | #Constraints: 4179
0.59/0.61 c INPROCESSING
0.59/0.61 c GARBAGE COLLECT
0.59/0.61 c rational objective 350.5
0.78/0.85 c #Conflicts: 7000 | #Constraints: 3183
0.78/0.85 c #Conflicts: 8000 | #Constraints: 4186
0.78/0.85 c #Conflicts: 9000 | #Constraints: 5192
0.78/0.85 c INPROCESSING
0.78/0.85 c GARBAGE COLLECT
0.78/0.85 c rational objective 350.5
1.09/1.12 c #Conflicts: 10000 | #Constraints: 3890
1.09/1.12 c #Conflicts: 11000 | #Constraints: 4891
1.09/1.12 c #Conflicts: 12000 | #Constraints: 5896
1.09/1.12 c INPROCESSING
1.09/1.12 c GARBAGE COLLECT
1.09/1.12 c rational objective 350.5
1.28/1.37 c #Conflicts: 13000 | #Constraints: 4344
1.28/1.37 c #Conflicts: 14000 | #Constraints: 5350
1.28/1.37 c #Conflicts: 15000 | #Constraints: 6356
1.28/1.37 c INPROCESSING
1.28/1.37 c GARBAGE COLLECT
1.28/1.37 c rational objective 350.5
1.58/1.68 c #Conflicts: 16000 | #Constraints: 4582
1.58/1.68 c #Conflicts: 17000 | #Constraints: 5588
1.58/1.68 c #Conflicts: 18000 | #Constraints: 6590
1.58/1.68 c INPROCESSING
1.58/1.68 c GARBAGE COLLECT
1.58/1.68 c rational objective 350.5
1.88/1.97 c #Conflicts: 19000 | #Constraints: 4601
1.88/1.97 c #Conflicts: 20000 | #Constraints: 5603
1.88/1.97 c #Conflicts: 21000 | #Constraints: 6608
1.88/1.97 c INPROCESSING
1.88/1.97 c GARBAGE COLLECT
1.88/1.97 c rational objective 350.5
2.18/2.28 c #Conflicts: 22000 | #Constraints: 4410
2.18/2.28 c #Conflicts: 23000 | #Constraints: 5412
2.18/2.28 c #Conflicts: 24000 | #Constraints: 6413
2.18/2.28 c #Conflicts: 25000 | #Constraints: 7415
2.18/2.28 c INPROCESSING
2.18/2.28 c GARBAGE COLLECT
2.18/2.28 c rational objective 350.5
2.58/2.65 c #Conflicts: 26000 | #Constraints: 5007
2.58/2.65 c #Conflicts: 27000 | #Constraints: 6007
2.58/2.65 c #Conflicts: 28000 | #Constraints: 7008
2.58/2.65 c #Conflicts: 29000 | #Constraints: 8010
2.58/2.65 c INPROCESSING
2.58/2.65 c GARBAGE COLLECT
2.58/2.65 c rational objective 350.5
2.88/2.94 c #Conflicts: 30000 | #Constraints: 5409
2.88/2.94 c #Conflicts: 31000 | #Constraints: 6415
2.88/2.94 c #Conflicts: 32000 | #Constraints: 7417
2.88/2.94 c #Conflicts: 33000 | #Constraints: 8419
2.88/2.94 c INPROCESSING
2.88/2.94 c GARBAGE COLLECT
2.88/2.94 c rational objective 350.5
3.38/3.47 c #Conflicts: 34000 | #Constraints: 5622
3.38/3.47 c #Conflicts: 35000 | #Constraints: 6626
3.38/3.47 c #Conflicts: 36000 | #Constraints: 7629
3.38/3.47 c #Conflicts: 37000 | #Constraints: 8630
3.38/3.47 c INPROCESSING
3.38/3.47 c GARBAGE COLLECT
3.38/3.47 c rational objective 350.5
3.87/3.95 c #Conflicts: 38000 | #Constraints: 5626
3.87/3.95 c #Conflicts: 39000 | #Constraints: 6627
3.87/3.95 c #Conflicts: 40000 | #Constraints: 7627
3.87/3.95 c #Conflicts: 41000 | #Constraints: 8627
3.87/3.95 c INPROCESSING
3.87/3.95 c GARBAGE COLLECT
3.87/3.95 c rational objective 350.5
4.37/4.48 c #Conflicts: 42000 | #Constraints: 5424
4.37/4.48 c #Conflicts: 43000 | #Constraints: 6425
4.37/4.48 c #Conflicts: 44000 | #Constraints: 7426
4.37/4.48 c #Conflicts: 45000 | #Constraints: 8428
4.37/4.48 c #Conflicts: 46000 | #Constraints: 9430
4.37/4.48 c INPROCESSING
4.37/4.48 c GARBAGE COLLECT
4.37/4.48 c rational objective 350.5
4.87/4.95 c #Conflicts: 47000 | #Constraints: 6020
4.87/4.95 c #Conflicts: 48000 | #Constraints: 7021
4.87/4.95 c #Conflicts: 49000 | #Constraints: 8022
4.87/4.95 c #Conflicts: 50000 | #Constraints: 9022
4.87/4.95 c #Conflicts: 51000 | #Constraints: 10023
4.87/4.95 c INPROCESSING
4.87/4.95 c GARBAGE COLLECT
4.87/4.95 c rational objective 350.5
5.37/5.43 c #Conflicts: 52000 | #Constraints: 6414
5.37/5.43 c #Conflicts: 53000 | #Constraints: 7416
5.37/5.43 c #Conflicts: 54000 | #Constraints: 8419
5.37/5.43 c #Conflicts: 55000 | #Constraints: 9420
5.37/5.43 c #Conflicts: 56000 | #Constraints: 10423
5.37/5.43 c INPROCESSING
5.37/5.43 c GARBAGE COLLECT
5.37/5.43 c rational objective 350.5
5.87/5.96 c #Conflicts: 57000 | #Constraints: 6616
5.87/5.96 c #Conflicts: 58000 | #Constraints: 7616
5.87/5.96 c #Conflicts: 59000 | #Constraints: 8619
5.87/5.96 c #Conflicts: 60000 | #Constraints: 9619
5.87/5.96 c #Conflicts: 61000 | #Constraints: 10619
5.87/5.96 c INPROCESSING
5.87/5.96 c GARBAGE COLLECT
5.87/5.96 c rational objective 350.5
6.57/6.60 c #Conflicts: 62000 | #Constraints: 6616
6.57/6.60 c #Conflicts: 63000 | #Constraints: 7618
6.57/6.60 c #Conflicts: 64000 | #Constraints: 8618
6.57/6.60 c #Conflicts: 65000 | #Constraints: 9619
6.57/6.60 c #Conflicts: 66000 | #Constraints: 10620
6.57/6.60 c INPROCESSING
6.57/6.60 c GARBAGE COLLECT
6.57/6.60 c rational objective 350.5
7.17/7.20 c #Conflicts: 67000 | #Constraints: 6417
7.17/7.20 c #Conflicts: 68000 | #Constraints: 7420
7.17/7.20 c #Conflicts: 69000 | #Constraints: 8422
7.17/7.20 c #Conflicts: 70000 | #Constraints: 9423
7.17/7.20 c #Conflicts: 71000 | #Constraints: 10424
7.17/7.20 c #Conflicts: 72000 | #Constraints: 11426
7.17/7.20 c INPROCESSING
7.17/7.20 c GARBAGE COLLECT
7.17/7.20 c rational objective 350.5
7.76/7.80 c #Conflicts: 73000 | #Constraints: 7019
7.76/7.80 c #Conflicts: 74000 | #Constraints: 8020
7.76/7.80 c #Conflicts: 75000 | #Constraints: 9022
7.76/7.80 c #Conflicts: 76000 | #Constraints: 10026
7.76/7.80 c #Conflicts: 77000 | #Constraints: 11026
7.76/7.80 c #Conflicts: 78000 | #Constraints: 12027
7.76/7.80 c INPROCESSING
7.76/7.80 c GARBAGE COLLECT
7.76/7.80 c rational objective 350.5
8.36/8.48 c #Conflicts: 79000 | #Constraints: 7421
8.36/8.48 c #Conflicts: 80000 | #Constraints: 8421
8.36/8.48 c #Conflicts: 81000 | #Constraints: 9421
8.36/8.48 c #Conflicts: 82000 | #Constraints: 10421
8.36/8.48 c #Conflicts: 83000 | #Constraints: 11422
8.36/8.48 c #Conflicts: 84000 | #Constraints: 12423
8.36/8.48 c INPROCESSING
8.36/8.48 c GARBAGE COLLECT
8.36/8.48 c rational objective 350.5
9.36/9.41 c #Conflicts: 85000 | #Constraints: 7622
9.36/9.41 c #Conflicts: 86000 | #Constraints: 8623
9.36/9.41 c #Conflicts: 87000 | #Constraints: 9623
9.36/9.41 c #Conflicts: 88000 | #Constraints: 10623
9.36/9.41 c #Conflicts: 89000 | #Constraints: 11623
9.36/9.41 c #Conflicts: 90000 | #Constraints: 12623
9.36/9.41 c INPROCESSING
9.36/9.41 c GARBAGE COLLECT
9.36/9.41 c rational objective 350.5
10.06/10.14 c #Conflicts: 91000 | #Constraints: 7613
10.06/10.14 c #Conflicts: 92000 | #Constraints: 8614
10.06/10.14 c #Conflicts: 93000 | #Constraints: 9615
10.06/10.14 c #Conflicts: 94000 | #Constraints: 10616
10.06/10.14 c #Conflicts: 95000 | #Constraints: 11616
10.06/10.14 c #Conflicts: 96000 | #Constraints: 12617
10.06/10.14 c INPROCESSING
10.06/10.14 c GARBAGE COLLECT
10.06/10.14 c rational objective 350.5
10.86/10.92 c #Conflicts: 97000 | #Constraints: 7427
10.86/10.92 c #Conflicts: 98000 | #Constraints: 8427
10.86/10.92 c #Conflicts: 99000 | #Constraints: 9428
10.86/10.92 c #Conflicts: 100000 | #Constraints: 10429
10.86/10.92 c #Conflicts: 101000 | #Constraints: 11430
10.86/10.92 c #Conflicts: 102000 | #Constraints: 12430
10.86/10.92 c #Conflicts: 103000 | #Constraints: 13432
10.86/10.92 c INPROCESSING
10.86/10.92 c GARBAGE COLLECT
10.86/10.92 c rational objective 350.5
11.96/12.01 c #Conflicts: 104000 | #Constraints: 8026
11.96/12.01 c #Conflicts: 105000 | #Constraints: 9213
11.96/12.01 c #Conflicts: 106000 | #Constraints: 10292
11.96/12.01 c #Conflicts: 107000 | #Constraints: 11872
11.96/12.01 c #Conflicts: 108000 | #Constraints: 13573
11.96/12.01 c #Conflicts: 109000 | #Constraints: 15305
11.96/12.01 c #Conflicts: 110000 | #Constraints: 16998
11.96/12.01 c INPROCESSING
11.96/12.01 c GARBAGE COLLECT
11.96/12.01 c rational objective 350.5
13.95/14.08 c #Conflicts: 111000 | #Constraints: 10668
13.95/14.08 c #Conflicts: 112000 | #Constraints: 12418
13.95/14.08 c #Conflicts: 113000 | #Constraints: 14175
13.95/14.08 c #Conflicts: 114000 | #Constraints: 15890
13.95/14.08 c #Conflicts: 115000 | #Constraints: 17633
13.95/14.08 c #Conflicts: 116000 | #Constraints: 19346
13.95/14.08 c #Conflicts: 117000 | #Constraints: 20999
13.95/14.08 c INPROCESSING
13.95/14.08 c GARBAGE COLLECT
13.95/14.08 c rational objective 350.5
15.55/15.64 c #Conflicts: 118000 | #Constraints: 11916
15.55/15.64 c #Conflicts: 119000 | #Constraints: 13304
15.55/15.64 c #Conflicts: 120000 | #Constraints: 14918
15.55/15.64 c #Conflicts: 121000 | #Constraints: 16560
15.55/15.64 c #Conflicts: 122000 | #Constraints: 18225
15.55/15.64 c #Conflicts: 123000 | #Constraints: 19960
15.55/15.64 c #Conflicts: 124000 | #Constraints: 21605
15.55/15.64 c INPROCESSING
15.55/15.64 c GARBAGE COLLECT
15.55/15.64 c rational objective 350.5
17.24/17.30 c #Conflicts: 125000 | #Constraints: 12728
17.24/17.30 c #Conflicts: 126000 | #Constraints: 14401
17.24/17.30 c #Conflicts: 127000 | #Constraints: 16020
17.24/17.30 c #Conflicts: 128000 | #Constraints: 17634
17.24/17.30 c #Conflicts: 129000 | #Constraints: 19275
17.24/17.30 c #Conflicts: 130000 | #Constraints: 20874
17.24/17.30 c #Conflicts: 131000 | #Constraints: 22546
17.24/17.30 c INPROCESSING
17.24/17.30 c GARBAGE COLLECT
17.24/17.30 c rational objective 350.5
19.23/19.39 c #Conflicts: 132000 | #Constraints: 12866
19.23/19.39 c #Conflicts: 133000 | #Constraints: 14538
19.23/19.39 c #Conflicts: 134000 | #Constraints: 16202
19.23/19.39 c #Conflicts: 135000 | #Constraints: 17930
19.23/19.39 c #Conflicts: 136000 | #Constraints: 19587
19.23/19.39 c #Conflicts: 137000 | #Constraints: 21275
19.23/19.39 c #Conflicts: 138000 | #Constraints: 22969
19.23/19.39 c #Conflicts: 139000 | #Constraints: 24660
19.23/19.39 c INPROCESSING
19.23/19.39 c GARBAGE COLLECT
19.23/19.39 c rational objective 350.5
21.63/21.77 c #Conflicts: 140000 | #Constraints: 14277
21.63/21.77 c #Conflicts: 141000 | #Constraints: 15965
21.63/21.77 c #Conflicts: 142000 | #Constraints: 17609
21.63/21.77 c #Conflicts: 143000 | #Constraints: 19272
21.63/21.77 c #Conflicts: 144000 | #Constraints: 20937
21.63/21.77 c #Conflicts: 145000 | #Constraints: 22596
21.63/21.77 c #Conflicts: 146000 | #Constraints: 24193
21.63/21.77 c #Conflicts: 147000 | #Constraints: 25805
21.63/21.77 c INPROCESSING
21.63/21.77 c GARBAGE COLLECT
21.63/21.77 c rational objective 350.5
23.12/23.24 c #Conflicts: 148000 | #Constraints: 14454
23.12/23.24 c #Conflicts: 149000 | #Constraints: 15525
23.12/23.24 c #Conflicts: 150000 | #Constraints: 16527
23.12/23.24 c #Conflicts: 151000 | #Constraints: 17529
23.12/23.24 c #Conflicts: 152000 | #Constraints: 18575
23.12/23.24 c #Conflicts: 153000 | #Constraints: 19640
23.12/23.24 c #Conflicts: 154000 | #Constraints: 21389
23.12/23.24 c #Conflicts: 155000 | #Constraints: 23140
23.12/23.24 c INPROCESSING
23.12/23.24 c GARBAGE COLLECT
23.12/23.24 c rational objective 350.5
25.41/25.56 c #Conflicts: 156000 | #Constraints: 12981
25.41/25.56 c #Conflicts: 157000 | #Constraints: 13981
25.41/25.56 c #Conflicts: 158000 | #Constraints: 15564
25.41/25.56 c #Conflicts: 159000 | #Constraints: 17300
25.41/25.56 c #Conflicts: 160000 | #Constraints: 18631
25.41/25.56 c #Conflicts: 161000 | #Constraints: 20004
25.41/25.56 c #Conflicts: 162000 | #Constraints: 21638
25.41/25.56 c #Conflicts: 163000 | #Constraints: 23266
25.41/25.56 c INPROCESSING
25.41/25.56 c GARBAGE COLLECT
25.41/25.56 c rational objective 350.5
45.75/45.97 c #Conflicts: 164000 | #Constraints: 13021
45.75/45.97 c #Conflicts: 165000 | #Constraints: 14344
45.75/45.97 c #Conflicts: 166000 | #Constraints: 15946
45.75/45.97 c #Conflicts: 167000 | #Constraints: 17624
45.75/45.97 c #Conflicts: 168000 | #Constraints: 19277
45.75/45.97 c #Conflicts: 169000 | #Constraints: 20913
45.75/45.97 c #Conflicts: 170000 | #Constraints: 22594
45.75/45.97 c #Conflicts: 171000 | #Constraints: 24306
45.75/45.97 c INPROCESSING
45.75/45.97 c GARBAGE COLLECT
45.75/45.97 c #Conflicts: 172000 | #Constraints: 13782
45.75/45.97 c #Conflicts: 173000 | #Constraints: 15507
45.75/45.97 c #Conflicts: 174000 | #Constraints: 17029
45.75/45.97 c #Conflicts: 175000 | #Constraints: 18646
45.75/45.97 c #Conflicts: 176000 | #Constraints: 20371
45.75/45.97 c #Conflicts: 177000 | #Constraints: 22047
45.75/45.97 c #Conflicts: 178000 | #Constraints: 23719
45.75/45.97 c #Conflicts: 179000 | #Constraints: 25389
45.75/45.97 c #Conflicts: 180000 | #Constraints: 27059
45.75/45.97 c INPROCESSING
45.75/45.97 c GARBAGE COLLECT
45.75/45.97 c #Conflicts: 181000 | #Constraints: 15479
45.75/45.97 c #Conflicts: 182000 | #Constraints: 17088
45.75/45.97 c #Conflicts: 183000 | #Constraints: 18721
45.75/45.97 c #Conflicts: 184000 | #Constraints: 20353
45.75/45.97 c #Conflicts: 185000 | #Constraints: 22058
45.75/45.97 c #Conflicts: 186000 | #Constraints: 23702
45.75/45.97 c #Conflicts: 187000 | #Constraints: 25361
45.75/45.97 c #Conflicts: 188000 | #Constraints: 26972
45.75/45.97 c #Conflicts: 189000 | #Constraints: 28661
45.75/45.97 c INPROCESSING
45.75/45.97 c GARBAGE COLLECT
45.75/45.97 c #Conflicts: 190000 | #Constraints: 16447
45.75/45.97 c #Conflicts: 191000 | #Constraints: 18089
45.75/45.97 c #Conflicts: 192000 | #Constraints: 19682
45.75/45.97 c #Conflicts: 193000 | #Constraints: 21331
45.75/45.97 c #Conflicts: 194000 | #Constraints: 22942
45.75/45.97 c #Conflicts: 195000 | #Constraints: 24604
45.75/45.97 c #Conflicts: 196000 | #Constraints: 26244
45.75/45.97 c #Conflicts: 197000 | #Constraints: 27825
45.75/45.97 c #Conflicts: 198000 | #Constraints: 29494
45.75/45.97 c INPROCESSING
45.75/45.97 c GARBAGE COLLECT
45.75/45.97 c #Conflicts: 199000 | #Constraints: 16852
45.75/45.97 c #Conflicts: 200000 | #Constraints: 18503
45.75/45.97 c #Conflicts: 201000 | #Constraints: 20144
45.75/45.97 c #Conflicts: 202000 | #Constraints: 21740
45.75/45.97 c #Conflicts: 203000 | #Constraints: 23407
45.75/45.97 c #Conflicts: 204000 | #Constraints: 25033
45.75/45.97 c #Conflicts: 205000 | #Constraints: 26674
45.75/45.97 c #Conflicts: 206000 | #Constraints: 28296
45.75/45.97 c #Conflicts: 207000 | #Constraints: 29936
45.75/45.97 c INPROCESSING
45.75/45.97 c GARBAGE COLLECT
45.75/45.97 c #Conflicts: 208000 | #Constraints: 16861
45.75/45.97 c #Conflicts: 209000 | #Constraints: 18477
45.75/45.97 c #Conflicts: 210000 | #Constraints: 20117
45.75/45.97 c #Conflicts: 211000 | #Constraints: 21756
45.75/45.97 c #Conflicts: 212000 | #Constraints: 23404
45.75/45.97 c #Conflicts: 213000 | #Constraints: 24981
45.75/45.97 c #Conflicts: 214000 | #Constraints: 26543
45.75/45.97 c #Conflicts: 215000 | #Constraints: 28189
45.75/45.97 c #Conflicts: 216000 | #Constraints: 29857
45.75/45.97 c INPROCESSING
45.75/45.97 c GARBAGE COLLECT
45.75/45.97 c #Conflicts: 217000 | #Constraints: 16454
45.75/45.97 c #Conflicts: 218000 | #Constraints: 18121
45.75/45.97 c #Conflicts: 219000 | #Constraints: 19771
45.75/45.97 c #Conflicts: 220000 | #Constraints: 21435
45.75/45.97 c #Conflicts: 221000 | #Constraints: 23338
45.75/45.97 c #Conflicts: 222000 | #Constraints: 25196
45.75/45.97 c #Conflicts: 223000 | #Constraints: 27092
45.75/45.97 c #Conflicts: 224000 | #Constraints: 28978
45.75/45.97 c #Conflicts: 225000 | #Constraints: 30814
45.75/45.97 c #Conflicts: 226000 | #Constraints: 32637
45.75/45.97 c INPROCESSING
45.75/45.97 c GARBAGE COLLECT
45.75/45.97 c #Conflicts: 227000 | #Constraints: 18259
45.75/45.97 c #Conflicts: 228000 | #Constraints: 19936
45.75/45.97 c #Conflicts: 229000 | #Constraints: 21578
45.75/45.97 c #Conflicts: 230000 | #Constraints: 23144
45.75/45.97 c #Conflicts: 231000 | #Constraints: 24782
45.75/45.97 c #Conflicts: 232000 | #Constraints: 26454
45.75/45.97 c #Conflicts: 233000 | #Constraints: 28152
45.75/45.97 c #Conflicts: 234000 | #Constraints: 29822
45.75/45.97 c #Conflicts: 235000 | #Constraints: 31484
45.75/45.97 c #Conflicts: 236000 | #Constraints: 33158
45.75/45.97 c INPROCESSING
45.75/45.97 c GARBAGE COLLECT
45.75/45.97 c #Conflicts: 237000 | #Constraints: 18654
61.60/61.83 c #Conflicts: 238000 | #Constraints: 20383
61.60/61.83 c #Conflicts: 239000 | #Constraints: 22055
61.60/61.83 c #Conflicts: 240000 | #Constraints: 23837
61.60/61.83 c #Conflicts: 241000 | #Constraints: 25552
61.60/61.83 c #Conflicts: 242000 | #Constraints: 27204
61.60/61.83 c #Conflicts: 243000 | #Constraints: 28841
61.60/61.83 c #Conflicts: 244000 | #Constraints: 30534
61.60/61.83 c #Conflicts: 245000 | #Constraints: 32230
61.60/61.83 c #Conflicts: 246000 | #Constraints: 33912
61.60/61.83 c INPROCESSING
61.60/61.83 c GARBAGE COLLECT
61.60/61.83 c #Conflicts: 247000 | #Constraints: 19066
61.60/61.83 c #Conflicts: 248000 | #Constraints: 20691
61.60/61.83 c #Conflicts: 249000 | #Constraints: 22267
61.60/61.83 c #Conflicts: 250000 | #Constraints: 23892
61.60/61.83 c #Conflicts: 251000 | #Constraints: 25571
61.60/61.83 c #Conflicts: 252000 | #Constraints: 27263
61.60/61.83 c #Conflicts: 253000 | #Constraints: 28952
61.60/61.83 c #Conflicts: 254000 | #Constraints: 30629
61.60/61.83 c #Conflicts: 255000 | #Constraints: 32303
61.60/61.83 c #Conflicts: 256000 | #Constraints: 33946
61.60/61.83 c INPROCESSING
61.60/61.83 c GARBAGE COLLECT
61.60/61.83 c #Conflicts: 257000 | #Constraints: 18792
61.60/61.83 c #Conflicts: 258000 | #Constraints: 20401
61.60/61.83 c #Conflicts: 259000 | #Constraints: 22091
61.60/61.83 c #Conflicts: 260000 | #Constraints: 23798
61.60/61.83 c #Conflicts: 261000 | #Constraints: 25492
61.60/61.83 c #Conflicts: 262000 | #Constraints: 27211
61.60/61.83 c #Conflicts: 263000 | #Constraints: 28952
61.60/61.83 c #Conflicts: 264000 | #Constraints: 30588
61.60/61.83 c #Conflicts: 265000 | #Constraints: 32217
61.60/61.83 c #Conflicts: 266000 | #Constraints: 33908
61.60/61.83 c INPROCESSING
61.60/61.83 c GARBAGE COLLECT
61.60/61.83 c #Conflicts: 267000 | #Constraints: 18525
61.60/61.83 c #Conflicts: 268000 | #Constraints: 20119
61.60/61.83 c #Conflicts: 269000 | #Constraints: 21778
61.60/61.83 c #Conflicts: 270000 | #Constraints: 23433
61.60/61.83 c #Conflicts: 271000 | #Constraints: 25139
61.60/61.83 c #Conflicts: 272000 | #Constraints: 26830
61.60/61.83 c #Conflicts: 273000 | #Constraints: 28328
61.60/61.83 c #Conflicts: 274000 | #Constraints: 29864
61.60/61.83 c #Conflicts: 275000 | #Constraints: 31529
61.60/61.83 c #Conflicts: 276000 | #Constraints: 33218
61.60/61.83 c #Conflicts: 277000 | #Constraints: 34946
61.60/61.83 c INPROCESSING
61.60/61.83 c GARBAGE COLLECT
61.60/61.83 c #Conflicts: 278000 | #Constraints: 19358
61.60/61.83 c #Conflicts: 279000 | #Constraints: 21004
61.60/61.83 c #Conflicts: 280000 | #Constraints: 22701
61.60/61.83 c #Conflicts: 281000 | #Constraints: 24386
61.60/61.83 c #Conflicts: 282000 | #Constraints: 26132
61.60/61.83 c #Conflicts: 283000 | #Constraints: 27839
61.60/61.83 c #Conflicts: 284000 | #Constraints: 29484
61.60/61.83 c #Conflicts: 285000 | #Constraints: 31200
61.60/61.83 c #Conflicts: 286000 | #Constraints: 32937
61.60/61.83 c #Conflicts: 287000 | #Constraints: 34619
61.60/61.83 c #Conflicts: 288000 | #Constraints: 36271
61.60/61.83 c INPROCESSING
61.60/61.83 c GARBAGE COLLECT
61.60/61.83 c rational objective 350.5
65.68/65.98 c #Conflicts: 289000 | #Constraints: 20275
65.68/65.98 c #Conflicts: 290000 | #Constraints: 21869
65.68/65.98 c #Conflicts: 291000 | #Constraints: 23534
65.68/65.98 c #Conflicts: 292000 | #Constraints: 25246
65.68/65.98 c #Conflicts: 293000 | #Constraints: 26966
65.68/65.98 c #Conflicts: 294000 | #Constraints: 28646
65.68/65.98 c #Conflicts: 295000 | #Constraints: 30289
65.68/65.98 c #Conflicts: 296000 | #Constraints: 31932
65.68/65.98 c #Conflicts: 297000 | #Constraints: 33577
65.68/65.98 c #Conflicts: 298000 | #Constraints: 35284
65.68/65.98 c #Conflicts: 299000 | #Constraints: 37021
65.68/65.98 c INPROCESSING
65.68/65.98 c GARBAGE COLLECT
65.68/65.98 c rational objective 350.5
69.38/69.62 c #Conflicts: 300000 | #Constraints: 20619
69.38/69.62 c #Conflicts: 301000 | #Constraints: 22298
69.38/69.62 c #Conflicts: 302000 | #Constraints: 23906
69.38/69.62 c #Conflicts: 303000 | #Constraints: 25503
69.38/69.62 c #Conflicts: 304000 | #Constraints: 27220
69.38/69.62 c #Conflicts: 305000 | #Constraints: 28887
69.38/69.62 c #Conflicts: 306000 | #Constraints: 30552
69.38/69.62 c #Conflicts: 307000 | #Constraints: 32162
69.38/69.62 c #Conflicts: 308000 | #Constraints: 33846
69.38/69.62 c #Conflicts: 309000 | #Constraints: 35524
69.38/69.62 c #Conflicts: 310000 | #Constraints: 37172
69.38/69.62 c INPROCESSING
69.38/69.62 c GARBAGE COLLECT
69.38/69.62 c rational objective 350.5
103.08/103.47 c #Conflicts: 311000 | #Constraints: 20463
103.08/103.47 c #Conflicts: 312000 | #Constraints: 22035
103.08/103.47 c #Conflicts: 313000 | #Constraints: 23709
103.08/103.47 c #Conflicts: 314000 | #Constraints: 25415
103.08/103.47 c #Conflicts: 315000 | #Constraints: 26978
103.08/103.47 c #Conflicts: 316000 | #Constraints: 28528
103.08/103.47 c #Conflicts: 317000 | #Constraints: 30095
103.08/103.47 c #Conflicts: 318000 | #Constraints: 31658
103.08/103.47 c #Conflicts: 319000 | #Constraints: 33255
103.08/103.47 c #Conflicts: 320000 | #Constraints: 34803
103.08/103.47 c #Conflicts: 321000 | #Constraints: 36494
103.08/103.47 c INPROCESSING
103.08/103.47 c GARBAGE COLLECT
103.08/103.47 c #Conflicts: 322000 | #Constraints: 19821
103.08/103.47 c #Conflicts: 323000 | #Constraints: 21445
103.08/103.47 c #Conflicts: 324000 | #Constraints: 23109
103.08/103.47 c #Conflicts: 325000 | #Constraints: 24744
103.08/103.47 c #Conflicts: 326000 | #Constraints: 26407
103.08/103.47 c #Conflicts: 327000 | #Constraints: 28040
103.08/103.47 c #Conflicts: 328000 | #Constraints: 29647
103.08/103.47 c #Conflicts: 329000 | #Constraints: 31231
103.08/103.47 c #Conflicts: 330000 | #Constraints: 32840
103.08/103.47 c #Conflicts: 331000 | #Constraints: 34407
103.08/103.47 c #Conflicts: 332000 | #Constraints: 36013
103.08/103.47 c #Conflicts: 333000 | #Constraints: 37567
103.08/103.47 c INPROCESSING
103.08/103.47 c GARBAGE COLLECT
103.08/103.47 c #Conflicts: 334000 | #Constraints: 20774
103.08/103.47 c #Conflicts: 335000 | #Constraints: 22443
103.08/103.47 c #Conflicts: 336000 | #Constraints: 24086
103.08/103.47 c #Conflicts: 337000 | #Constraints: 25764
103.08/103.47 c #Conflicts: 338000 | #Constraints: 27422
103.08/103.47 c #Conflicts: 339000 | #Constraints: 29035
103.08/103.47 c #Conflicts: 340000 | #Constraints: 30637
103.08/103.47 c #Conflicts: 341000 | #Constraints: 32367
103.08/103.47 c #Conflicts: 342000 | #Constraints: 34118
103.08/103.47 c #Conflicts: 343000 | #Constraints: 35838
103.08/103.47 c #Conflicts: 344000 | #Constraints: 37514
103.08/103.47 c #Conflicts: 345000 | #Constraints: 39232
103.08/103.47 c INPROCESSING
103.08/103.47 c GARBAGE COLLECT
103.08/103.47 c #Conflicts: 346000 | #Constraints: 21698
103.08/103.47 c #Conflicts: 347000 | #Constraints: 23349
103.08/103.47 c #Conflicts: 348000 | #Constraints: 25005
103.08/103.47 c #Conflicts: 349000 | #Constraints: 26678
103.08/103.47 c #Conflicts: 350000 | #Constraints: 28398
103.08/103.47 c #Conflicts: 351000 | #Constraints: 30124
103.08/103.47 c #Conflicts: 352000 | #Constraints: 31812
103.08/103.47 c #Conflicts: 353000 | #Constraints: 33536
103.08/103.47 c #Conflicts: 354000 | #Constraints: 35216
103.08/103.47 c #Conflicts: 355000 | #Constraints: 36887
103.08/103.47 c #Conflicts: 356000 | #Constraints: 38577
103.08/103.47 c #Conflicts: 357000 | #Constraints: 40272
103.08/103.47 c INPROCESSING
103.08/103.47 c GARBAGE COLLECT
103.08/103.47 c #Conflicts: 358000 | #Constraints: 22228
103.08/103.47 c #Conflicts: 359000 | #Constraints: 23901
103.08/103.47 c #Conflicts: 360000 | #Constraints: 25597
103.08/103.47 c #Conflicts: 361000 | #Constraints: 27314
103.08/103.47 c #Conflicts: 362000 | #Constraints: 29005
103.08/103.47 c #Conflicts: 363000 | #Constraints: 30721
103.08/103.47 c #Conflicts: 364000 | #Constraints: 32387
103.08/103.47 c #Conflicts: 365000 | #Constraints: 34080
103.08/103.47 c #Conflicts: 366000 | #Constraints: 35781
103.08/103.47 c #Conflicts: 367000 | #Constraints: 37422
103.08/103.47 c #Conflicts: 368000 | #Constraints: 39034
103.08/103.47 c #Conflicts: 369000 | #Constraints: 40701
103.08/103.47 c INPROCESSING
103.08/103.47 c GARBAGE COLLECT
103.08/103.47 c #Conflicts: 370000 | #Constraints: 22305
103.08/103.47 c #Conflicts: 371000 | #Constraints: 23948
103.08/103.47 c #Conflicts: 372000 | #Constraints: 25748
103.08/103.47 c #Conflicts: 373000 | #Constraints: 27460
103.08/103.47 c #Conflicts: 374000 | #Constraints: 29196
103.08/103.47 c #Conflicts: 375000 | #Constraints: 30887
103.08/103.47 c #Conflicts: 376000 | #Constraints: 32272
103.08/103.47 c #Conflicts: 377000 | #Constraints: 33486
103.08/103.47 c #Conflicts: 378000 | #Constraints: 35139
103.08/103.47 c #Conflicts: 379000 | #Constraints: 36349
103.08/103.47 c #Conflicts: 380000 | #Constraints: 37412
103.08/103.47 c #Conflicts: 381000 | #Constraints: 38883
103.08/103.47 c INPROCESSING
103.08/103.47 c GARBAGE COLLECT
103.08/103.47 c #Conflicts: 382000 | #Constraints: 20730
103.08/103.47 c #Conflicts: 383000 | #Constraints: 22082
103.08/103.47 c #Conflicts: 384000 | #Constraints: 23509
103.08/103.47 c #Conflicts: 385000 | #Constraints: 24675
121.13/121.54 c #Conflicts: 386000 | #Constraints: 25936
121.13/121.54 c #Conflicts: 387000 | #Constraints: 26983
121.13/121.54 c #Conflicts: 388000 | #Constraints: 28016
121.13/121.54 c #Conflicts: 389000 | #Constraints: 29028
121.13/121.54 c #Conflicts: 390000 | #Constraints: 30030
121.13/121.54 c #Conflicts: 391000 | #Constraints: 31035
121.13/121.54 c #Conflicts: 392000 | #Constraints: 32097
121.13/121.54 c #Conflicts: 393000 | #Constraints: 33097
121.13/121.54 c #Conflicts: 394000 | #Constraints: 34179
121.13/121.54 c INPROCESSING
121.13/121.54 c GARBAGE COLLECT
121.13/121.54 c #Conflicts: 395000 | #Constraints: 18702
121.13/121.54 c #Conflicts: 396000 | #Constraints: 19702
121.13/121.54 c #Conflicts: 397000 | #Constraints: 21135
121.13/121.54 c #Conflicts: 398000 | #Constraints: 22411
121.13/121.54 c #Conflicts: 399000 | #Constraints: 23718
121.13/121.54 c #Conflicts: 400000 | #Constraints: 24995
121.13/121.54 c #Conflicts: 401000 | #Constraints: 26074
121.13/121.54 c #Conflicts: 402000 | #Constraints: 27121
121.13/121.54 c #Conflicts: 403000 | #Constraints: 28122
121.13/121.54 c #Conflicts: 404000 | #Constraints: 29259
121.13/121.54 c #Conflicts: 405000 | #Constraints: 30833
121.13/121.54 c #Conflicts: 406000 | #Constraints: 32101
121.13/121.54 c #Conflicts: 407000 | #Constraints: 33110
121.13/121.54 c INPROCESSING
121.13/121.54 c GARBAGE COLLECT
121.13/121.54 c #Conflicts: 408000 | #Constraints: 18021
121.13/121.54 c #Conflicts: 409000 | #Constraints: 19025
121.13/121.54 c #Conflicts: 410000 | #Constraints: 20039
121.13/121.54 c #Conflicts: 411000 | #Constraints: 21040
121.13/121.54 c #Conflicts: 412000 | #Constraints: 22389
121.13/121.54 c #Conflicts: 413000 | #Constraints: 23709
121.13/121.54 c #Conflicts: 414000 | #Constraints: 25197
121.13/121.54 c #Conflicts: 415000 | #Constraints: 26867
121.13/121.54 c #Conflicts: 416000 | #Constraints: 28527
121.13/121.54 c #Conflicts: 417000 | #Constraints: 30245
121.13/121.54 c #Conflicts: 418000 | #Constraints: 31928
121.13/121.54 c #Conflicts: 419000 | #Constraints: 33555
121.13/121.54 c #Conflicts: 420000 | #Constraints: 35152
121.13/121.54 c INPROCESSING
121.13/121.54 c GARBAGE COLLECT
121.13/121.54 c #Conflicts: 421000 | #Constraints: 19687
121.13/121.54 c #Conflicts: 422000 | #Constraints: 21355
121.13/121.54 c #Conflicts: 423000 | #Constraints: 22971
121.13/121.55 c #Conflicts: 424000 | #Constraints: 24649
121.13/121.55 c #Conflicts: 425000 | #Constraints: 26347
121.13/121.55 c #Conflicts: 426000 | #Constraints: 27961
121.13/121.55 c #Conflicts: 427000 | #Constraints: 29603
121.13/121.55 c #Conflicts: 428000 | #Constraints: 31259
121.13/121.55 c #Conflicts: 429000 | #Constraints: 32347
121.13/121.55 c #Conflicts: 430000 | #Constraints: 33394
121.13/121.55 c #Conflicts: 431000 | #Constraints: 34431
121.13/121.55 c #Conflicts: 432000 | #Constraints: 35434
121.13/121.55 c #Conflicts: 433000 | #Constraints: 36438
121.13/121.55 c INPROCESSING
121.13/121.55 c GARBAGE COLLECT
121.13/121.55 c #Conflicts: 434000 | #Constraints: 19569
121.13/121.55 c #Conflicts: 435000 | #Constraints: 20742
121.13/121.55 c #Conflicts: 436000 | #Constraints: 21755
121.13/121.55 c #Conflicts: 437000 | #Constraints: 22796
121.13/121.55 c #Conflicts: 438000 | #Constraints: 24510
121.13/121.55 c #Conflicts: 439000 | #Constraints: 26087
121.13/121.55 c #Conflicts: 440000 | #Constraints: 27101
121.13/121.55 c #Conflicts: 441000 | #Constraints: 28129
121.13/121.55 c #Conflicts: 442000 | #Constraints: 29129
121.13/121.55 c #Conflicts: 443000 | #Constraints: 30500
121.13/121.55 c #Conflicts: 444000 | #Constraints: 32172
121.13/121.55 c #Conflicts: 445000 | #Constraints: 33829
121.13/121.55 c #Conflicts: 446000 | #Constraints: 35519
121.13/121.55 c INPROCESSING
121.13/121.55 c GARBAGE COLLECT
121.13/121.55 c #Conflicts: 447000 | #Constraints: 19391
121.13/121.55 c #Conflicts: 448000 | #Constraints: 21077
121.13/121.55 c #Conflicts: 449000 | #Constraints: 22081
121.13/121.55 c #Conflicts: 450000 | #Constraints: 23109
121.13/121.55 c #Conflicts: 451000 | #Constraints: 24109
121.13/121.55 c #Conflicts: 452000 | #Constraints: 25110
121.13/121.55 c #Conflicts: 453000 | #Constraints: 26246
121.13/121.55 c #Conflicts: 454000 | #Constraints: 27736
121.13/121.55 c #Conflicts: 455000 | #Constraints: 29411
121.13/121.55 c #Conflicts: 456000 | #Constraints: 31164
121.13/121.55 c #Conflicts: 457000 | #Constraints: 32346
121.13/121.55 c #Conflicts: 458000 | #Constraints: 33383
121.13/121.55 c #Conflicts: 459000 | #Constraints: 34384
121.13/121.55 c #Conflicts: 460000 | #Constraints: 35385
121.13/121.55 c INPROCESSING
121.13/121.55 c GARBAGE COLLECT
143.46/143.95 c #Conflicts: 461000 | #Constraints: 19033
143.46/143.95 c #Conflicts: 462000 | #Constraints: 20396
143.46/143.95 c #Conflicts: 463000 | #Constraints: 21447
143.46/143.95 c #Conflicts: 464000 | #Constraints: 22482
143.46/143.95 c #Conflicts: 465000 | #Constraints: 23643
143.46/143.95 c #Conflicts: 466000 | #Constraints: 25366
143.46/143.95 c #Conflicts: 467000 | #Constraints: 27122
143.46/143.95 c #Conflicts: 468000 | #Constraints: 28744
143.46/143.95 c #Conflicts: 469000 | #Constraints: 30427
143.46/143.95 c #Conflicts: 470000 | #Constraints: 32131
143.46/143.95 c #Conflicts: 471000 | #Constraints: 33813
143.46/143.95 c #Conflicts: 472000 | #Constraints: 35543
143.46/143.95 c #Conflicts: 473000 | #Constraints: 37241
143.46/143.95 c #Conflicts: 474000 | #Constraints: 38859
143.46/143.95 c INPROCESSING
143.46/143.95 c GARBAGE COLLECT
143.46/143.95 c #Conflicts: 475000 | #Constraints: 21471
143.46/143.95 c #Conflicts: 476000 | #Constraints: 23065
143.46/143.95 c #Conflicts: 477000 | #Constraints: 24661
143.46/143.95 c #Conflicts: 478000 | #Constraints: 26199
143.46/143.95 c #Conflicts: 479000 | #Constraints: 27815
143.46/143.95 c #Conflicts: 480000 | #Constraints: 29470
143.46/143.95 c #Conflicts: 481000 | #Constraints: 31142
143.46/143.95 c #Conflicts: 482000 | #Constraints: 32790
143.46/143.95 c #Conflicts: 483000 | #Constraints: 34412
143.46/143.95 c #Conflicts: 484000 | #Constraints: 36043
143.46/143.95 c #Conflicts: 485000 | #Constraints: 37732
143.46/143.95 c #Conflicts: 486000 | #Constraints: 39330
143.46/143.95 c #Conflicts: 487000 | #Constraints: 40999
143.46/143.95 c #Conflicts: 488000 | #Constraints: 42609
143.46/143.95 c INPROCESSING
143.46/143.95 c GARBAGE COLLECT
143.46/143.95 c #Conflicts: 489000 | #Constraints: 23511
143.46/143.95 c #Conflicts: 490000 | #Constraints: 25190
143.46/143.95 c #Conflicts: 491000 | #Constraints: 26210
143.46/143.95 c #Conflicts: 492000 | #Constraints: 27210
143.46/143.95 c #Conflicts: 493000 | #Constraints: 28210
143.46/143.95 c #Conflicts: 494000 | #Constraints: 29599
143.46/143.95 c #Conflicts: 495000 | #Constraints: 31274
143.46/143.95 c #Conflicts: 496000 | #Constraints: 32926
143.46/143.95 c #Conflicts: 497000 | #Constraints: 34617
143.46/143.95 c #Conflicts: 498000 | #Constraints: 36267
143.46/143.95 c #Conflicts: 499000 | #Constraints: 37982
143.46/143.95 c #Conflicts: 500000 | #Constraints: 39665
143.46/143.95 c #Conflicts: 501000 | #Constraints: 41305
143.46/143.95 c #Conflicts: 502000 | #Constraints: 42903
143.46/143.95 c INPROCESSING
143.46/143.95 c GARBAGE COLLECT
143.46/143.95 c #Conflicts: 503000 | #Constraints: 23434
143.46/143.95 c #Conflicts: 504000 | #Constraints: 25153
143.46/143.95 c #Conflicts: 505000 | #Constraints: 26816
143.46/143.95 c #Conflicts: 506000 | #Constraints: 28522
143.46/143.95 c #Conflicts: 507000 | #Constraints: 30104
143.46/143.95 c #Conflicts: 508000 | #Constraints: 31735
143.46/143.95 c #Conflicts: 509000 | #Constraints: 33485
143.46/143.95 c #Conflicts: 510000 | #Constraints: 35141
143.46/143.95 c #Conflicts: 511000 | #Constraints: 36731
143.46/143.95 c #Conflicts: 512000 | #Constraints: 38274
143.46/143.95 c #Conflicts: 513000 | #Constraints: 40021
143.46/143.95 c #Conflicts: 514000 | #Constraints: 41733
143.46/143.95 c #Conflicts: 515000 | #Constraints: 43410
143.46/143.95 c #Conflicts: 516000 | #Constraints: 45136
143.46/143.95 c INPROCESSING
143.46/143.95 c GARBAGE COLLECT
143.46/143.95 c #Conflicts: 517000 | #Constraints: 23841
143.46/143.95 c #Conflicts: 518000 | #Constraints: 24855
143.46/143.95 c #Conflicts: 519000 | #Constraints: 25998
143.46/143.95 c #Conflicts: 520000 | #Constraints: 27712
143.46/143.95 c #Conflicts: 521000 | #Constraints: 28872
143.46/143.95 c #Conflicts: 522000 | #Constraints: 30099
143.46/143.95 c #Conflicts: 523000 | #Constraints: 31114
143.46/143.95 c #Conflicts: 524000 | #Constraints: 32116
143.46/143.95 c #Conflicts: 525000 | #Constraints: 33231
143.46/143.95 c #Conflicts: 526000 | #Constraints: 34309
143.46/143.95 c #Conflicts: 527000 | #Constraints: 35418
143.46/143.95 c #Conflicts: 528000 | #Constraints: 36430
143.46/143.95 c #Conflicts: 529000 | #Constraints: 37503
143.46/143.95 c #Conflicts: 530000 | #Constraints: 38793
143.46/143.95 c #Conflicts: 531000 | #Constraints: 39812
143.46/143.95 c INPROCESSING
143.46/143.95 c GARBAGE COLLECT
143.46/143.95 c #Conflicts: 532000 | #Constraints: 21346
143.46/143.95 c #Conflicts: 533000 | #Constraints: 22381
143.46/143.95 c #Conflicts: 534000 | #Constraints: 23382
143.46/143.95 c #Conflicts: 535000 | #Constraints: 24459
143.46/143.95 c #Conflicts: 536000 | #Constraints: 25676
163.90/164.49 c #Conflicts: 537000 | #Constraints: 26749
163.90/164.49 c #Conflicts: 538000 | #Constraints: 27839
163.90/164.49 c #Conflicts: 539000 | #Constraints: 28976
163.90/164.49 c #Conflicts: 540000 | #Constraints: 30140
163.90/164.49 c #Conflicts: 541000 | #Constraints: 31400
163.90/164.49 c #Conflicts: 542000 | #Constraints: 32409
163.90/164.49 c #Conflicts: 543000 | #Constraints: 33670
163.90/164.49 c #Conflicts: 544000 | #Constraints: 34674
163.90/164.49 c #Conflicts: 545000 | #Constraints: 35679
163.90/164.49 c #Conflicts: 546000 | #Constraints: 36732
163.90/164.49 c INPROCESSING
163.90/164.49 c GARBAGE COLLECT
163.90/164.49 c #Conflicts: 547000 | #Constraints: 20335
163.90/164.49 c #Conflicts: 548000 | #Constraints: 21755
163.90/164.49 c #Conflicts: 549000 | #Constraints: 23412
163.90/164.49 c #Conflicts: 550000 | #Constraints: 25166
163.90/164.49 c #Conflicts: 551000 | #Constraints: 26900
163.90/164.49 c #Conflicts: 552000 | #Constraints: 28042
163.90/164.49 c #Conflicts: 553000 | #Constraints: 29305
163.90/164.49 c #Conflicts: 554000 | #Constraints: 30887
163.90/164.49 c #Conflicts: 555000 | #Constraints: 32507
163.90/164.49 c #Conflicts: 556000 | #Constraints: 34145
163.90/164.49 c #Conflicts: 557000 | #Constraints: 35713
163.90/164.49 c #Conflicts: 558000 | #Constraints: 36926
163.90/164.49 c #Conflicts: 559000 | #Constraints: 37945
163.90/164.49 c #Conflicts: 560000 | #Constraints: 39046
163.90/164.49 c #Conflicts: 561000 | #Constraints: 40402
163.90/164.49 c INPROCESSING
163.90/164.49 c GARBAGE COLLECT
163.90/164.49 c #Conflicts: 562000 | #Constraints: 21887
163.90/164.49 c #Conflicts: 563000 | #Constraints: 22890
163.90/164.49 c #Conflicts: 564000 | #Constraints: 23931
163.90/164.49 c #Conflicts: 565000 | #Constraints: 24933
163.90/164.49 c #Conflicts: 566000 | #Constraints: 25943
163.90/164.49 c #Conflicts: 567000 | #Constraints: 26988
163.90/164.49 c #Conflicts: 568000 | #Constraints: 28306
163.90/164.49 c #Conflicts: 569000 | #Constraints: 29595
163.90/164.49 c #Conflicts: 570000 | #Constraints: 30621
163.90/164.49 c #Conflicts: 571000 | #Constraints: 31636
163.90/164.49 c #Conflicts: 572000 | #Constraints: 32877
163.90/164.49 c #Conflicts: 573000 | #Constraints: 33891
163.90/164.49 c #Conflicts: 574000 | #Constraints: 34988
163.90/164.49 c #Conflicts: 575000 | #Constraints: 36439
163.90/164.49 c #Conflicts: 576000 | #Constraints: 38163
163.90/164.49 c INPROCESSING
163.90/164.49 c GARBAGE COLLECT
163.90/164.49 c #Conflicts: 577000 | #Constraints: 20786
163.90/164.49 c #Conflicts: 578000 | #Constraints: 21791
163.90/164.49 c #Conflicts: 579000 | #Constraints: 22834
163.90/164.49 c #Conflicts: 580000 | #Constraints: 24016
163.90/164.49 c #Conflicts: 581000 | #Constraints: 25022
163.90/164.49 c #Conflicts: 582000 | #Constraints: 26068
163.90/164.49 c #Conflicts: 583000 | #Constraints: 27074
163.90/164.49 c #Conflicts: 584000 | #Constraints: 28237
163.90/164.49 c #Conflicts: 585000 | #Constraints: 29549
163.90/164.49 c #Conflicts: 586000 | #Constraints: 30683
163.90/164.49 c #Conflicts: 587000 | #Constraints: 31712
163.90/164.49 c #Conflicts: 588000 | #Constraints: 32730
163.90/164.49 c #Conflicts: 589000 | #Constraints: 33741
163.90/164.49 c #Conflicts: 590000 | #Constraints: 34787
163.90/164.49 c #Conflicts: 591000 | #Constraints: 36265
163.90/164.49 c INPROCESSING
163.90/164.49 c GARBAGE COLLECT
163.90/164.49 c #Conflicts: 592000 | #Constraints: 19672
163.90/164.49 c #Conflicts: 593000 | #Constraints: 21088
163.90/164.49 c #Conflicts: 594000 | #Constraints: 22735
163.90/164.49 c #Conflicts: 595000 | #Constraints: 24317
163.90/164.49 c #Conflicts: 596000 | #Constraints: 26012
163.90/164.49 c #Conflicts: 597000 | #Constraints: 27678
163.90/164.49 c #Conflicts: 598000 | #Constraints: 29345
163.90/164.49 c #Conflicts: 599000 | #Constraints: 30971
163.90/164.49 c #Conflicts: 600000 | #Constraints: 32597
163.90/164.49 c #Conflicts: 601000 | #Constraints: 34250
163.90/164.49 c #Conflicts: 602000 | #Constraints: 35865
163.90/164.49 c #Conflicts: 603000 | #Constraints: 37543
163.90/164.49 c #Conflicts: 604000 | #Constraints: 39214
163.90/164.49 c #Conflicts: 605000 | #Constraints: 40896
163.90/164.49 c #Conflicts: 606000 | #Constraints: 42584
163.90/164.49 c #Conflicts: 607000 | #Constraints: 44247
163.90/164.49 c INPROCESSING
163.90/164.49 c GARBAGE COLLECT
163.90/164.49 c #Conflicts: 608000 | #Constraints: 24100
163.90/164.49 c #Conflicts: 609000 | #Constraints: 25723
163.90/164.49 c #Conflicts: 610000 | #Constraints: 26747
163.90/164.49 c #Conflicts: 611000 | #Constraints: 27748
163.90/164.49 c #Conflicts: 612000 | #Constraints: 29294
179.96/180.51 c #Conflicts: 613000 | #Constraints: 30843
179.96/180.51 c #Conflicts: 614000 | #Constraints: 31874
179.96/180.51 c #Conflicts: 615000 | #Constraints: 32919
179.96/180.51 c #Conflicts: 616000 | #Constraints: 33920
179.96/180.51 c #Conflicts: 617000 | #Constraints: 34956
179.96/180.51 c #Conflicts: 618000 | #Constraints: 36179
179.96/180.51 c #Conflicts: 619000 | #Constraints: 37268
179.96/180.51 c #Conflicts: 620000 | #Constraints: 38578
179.96/180.51 c #Conflicts: 621000 | #Constraints: 39651
179.96/180.51 c #Conflicts: 622000 | #Constraints: 41009
179.96/180.51 c #Conflicts: 623000 | #Constraints: 42663
179.96/180.51 c INPROCESSING
179.96/180.51 c GARBAGE COLLECT
179.96/180.51 c #Conflicts: 624000 | #Constraints: 22806
179.96/180.51 c #Conflicts: 625000 | #Constraints: 23807
179.96/180.51 c #Conflicts: 626000 | #Constraints: 25455
179.96/180.51 c #Conflicts: 627000 | #Constraints: 26556
179.96/180.51 c #Conflicts: 628000 | #Constraints: 27686
179.96/180.51 c #Conflicts: 629000 | #Constraints: 28965
179.96/180.51 c #Conflicts: 630000 | #Constraints: 30119
179.96/180.51 c #Conflicts: 631000 | #Constraints: 31121
179.96/180.51 c #Conflicts: 632000 | #Constraints: 32122
179.96/180.51 c #Conflicts: 633000 | #Constraints: 33159
179.96/180.51 c #Conflicts: 634000 | #Constraints: 34358
179.96/180.51 c #Conflicts: 635000 | #Constraints: 35496
179.96/180.51 c #Conflicts: 636000 | #Constraints: 36546
179.96/180.51 c #Conflicts: 637000 | #Constraints: 37849
179.96/180.51 c #Conflicts: 638000 | #Constraints: 39353
179.96/180.51 c #Conflicts: 639000 | #Constraints: 40367
179.96/180.51 c INPROCESSING
179.96/180.51 c GARBAGE COLLECT
179.96/180.51 c #Conflicts: 640000 | #Constraints: 21732
179.96/180.51 c #Conflicts: 641000 | #Constraints: 22934
179.96/180.51 c #Conflicts: 642000 | #Constraints: 23944
179.96/180.51 c #Conflicts: 643000 | #Constraints: 25011
179.96/180.51 c #Conflicts: 644000 | #Constraints: 26281
179.96/180.51 c #Conflicts: 645000 | #Constraints: 27335
179.96/180.51 c #Conflicts: 646000 | #Constraints: 28338
179.96/180.51 c #Conflicts: 647000 | #Constraints: 29368
179.96/180.51 c #Conflicts: 648000 | #Constraints: 30368
179.96/180.51 c #Conflicts: 649000 | #Constraints: 31491
179.96/180.51 c #Conflicts: 650000 | #Constraints: 32492
179.96/180.51 c #Conflicts: 651000 | #Constraints: 33493
179.96/180.51 c #Conflicts: 652000 | #Constraints: 34938
179.96/180.51 c #Conflicts: 653000 | #Constraints: 36555
179.96/180.51 c #Conflicts: 654000 | #Constraints: 38226
179.96/180.51 c #Conflicts: 655000 | #Constraints: 39947
179.96/180.51 c INPROCESSING
179.96/180.51 c GARBAGE COLLECT
179.96/180.51 c #Conflicts: 656000 | #Constraints: 21840
179.96/180.51 c #Conflicts: 657000 | #Constraints: 23076
179.96/180.51 c #Conflicts: 658000 | #Constraints: 24255
179.96/180.51 c #Conflicts: 659000 | #Constraints: 25458
179.96/180.51 c #Conflicts: 660000 | #Constraints: 26473
179.96/180.51 c #Conflicts: 661000 | #Constraints: 27473
179.96/180.51 c #Conflicts: 662000 | #Constraints: 28489
179.96/180.51 c #Conflicts: 663000 | #Constraints: 29559
179.96/180.51 c #Conflicts: 664000 | #Constraints: 30581
179.96/180.51 c #Conflicts: 665000 | #Constraints: 31587
179.96/180.51 c #Conflicts: 666000 | #Constraints: 32828
179.96/180.51 c #Conflicts: 667000 | #Constraints: 33968
179.96/180.51 c #Conflicts: 668000 | #Constraints: 35031
179.96/180.51 c #Conflicts: 669000 | #Constraints: 36226
179.96/180.51 c #Conflicts: 670000 | #Constraints: 37412
179.96/180.51 c #Conflicts: 671000 | #Constraints: 38896
179.96/180.51 c INPROCESSING
179.96/180.51 c GARBAGE COLLECT
179.96/180.51 c #Conflicts: 672000 | #Constraints: 20568
179.96/180.51 c #Conflicts: 673000 | #Constraints: 21735
179.96/180.51 c #Conflicts: 674000 | #Constraints: 22884
179.96/180.51 c #Conflicts: 675000 | #Constraints: 24309
179.96/180.51 c #Conflicts: 676000 | #Constraints: 25893
179.96/180.51 c #Conflicts: 677000 | #Constraints: 27467
179.96/180.51 c #Conflicts: 678000 | #Constraints: 29125
179.96/180.51 c #Conflicts: 679000 | #Constraints: 30826
179.96/180.51 c #Conflicts: 680000 | #Constraints: 32353
179.96/180.51 c #Conflicts: 681000 | #Constraints: 33357
179.96/180.51 c #Conflicts: 682000 | #Constraints: 34372
179.96/180.51 c #Conflicts: 683000 | #Constraints: 35374
179.96/180.51 c #Conflicts: 684000 | #Constraints: 36454
179.96/180.51 c #Conflicts: 685000 | #Constraints: 37457
179.96/180.51 c #Conflicts: 686000 | #Constraints: 38465
179.96/180.51 c #Conflicts: 687000 | #Constraints: 39473
179.96/180.51 c #Conflicts: 688000 | #Constraints: 40473
205.89/206.54 c INPROCESSING
205.89/206.54 c GARBAGE COLLECT
205.89/206.54 c #Conflicts: 689000 | #Constraints: 21866
205.89/206.54 c #Conflicts: 690000 | #Constraints: 22918
205.89/206.54 c #Conflicts: 691000 | #Constraints: 23995
205.89/206.54 c #Conflicts: 692000 | #Constraints: 25406
205.89/206.54 c #Conflicts: 693000 | #Constraints: 26683
205.89/206.54 c #Conflicts: 694000 | #Constraints: 28068
205.89/206.54 c #Conflicts: 695000 | #Constraints: 29382
205.89/206.54 c #Conflicts: 696000 | #Constraints: 30386
205.89/206.54 c #Conflicts: 697000 | #Constraints: 31477
205.89/206.54 c #Conflicts: 698000 | #Constraints: 33099
205.89/206.54 c #Conflicts: 699000 | #Constraints: 34747
205.89/206.54 c #Conflicts: 700000 | #Constraints: 36372
205.89/206.54 c #Conflicts: 701000 | #Constraints: 37973
205.89/206.54 c #Conflicts: 702000 | #Constraints: 39689
205.89/206.54 c #Conflicts: 703000 | #Constraints: 41323
205.89/206.54 c #Conflicts: 704000 | #Constraints: 42838
205.89/206.54 c #Conflicts: 705000 | #Constraints: 44475
205.89/206.54 c INPROCESSING
205.89/206.54 c GARBAGE COLLECT
205.89/206.54 c #Conflicts: 706000 | #Constraints: 24314
205.89/206.54 c #Conflicts: 707000 | #Constraints: 25999
205.89/206.54 c #Conflicts: 708000 | #Constraints: 27557
205.89/206.54 c #Conflicts: 709000 | #Constraints: 29181
205.89/206.54 c #Conflicts: 710000 | #Constraints: 30791
205.89/206.54 c #Conflicts: 711000 | #Constraints: 32481
205.89/206.54 c #Conflicts: 712000 | #Constraints: 34102
205.89/206.54 c #Conflicts: 713000 | #Constraints: 35665
205.89/206.54 c #Conflicts: 714000 | #Constraints: 37225
205.89/206.54 c #Conflicts: 715000 | #Constraints: 38799
205.89/206.54 c #Conflicts: 716000 | #Constraints: 40344
205.89/206.54 c #Conflicts: 717000 | #Constraints: 41886
205.89/206.54 c #Conflicts: 718000 | #Constraints: 43517
205.89/206.54 c #Conflicts: 719000 | #Constraints: 45217
205.89/206.54 c #Conflicts: 720000 | #Constraints: 46881
205.89/206.54 c #Conflicts: 721000 | #Constraints: 48580
205.89/206.54 c #Conflicts: 722000 | #Constraints: 50306
205.89/206.54 c INPROCESSING
205.89/206.54 c GARBAGE COLLECT
205.89/206.54 c #Conflicts: 723000 | #Constraints: 27305
205.89/206.54 c #Conflicts: 724000 | #Constraints: 28942
205.89/206.54 c #Conflicts: 725000 | #Constraints: 30579
205.89/206.54 c #Conflicts: 726000 | #Constraints: 32273
205.89/206.54 c #Conflicts: 727000 | #Constraints: 33955
205.89/206.54 c #Conflicts: 728000 | #Constraints: 35687
205.89/206.54 c #Conflicts: 729000 | #Constraints: 37381
205.89/206.54 c #Conflicts: 730000 | #Constraints: 39057
205.89/206.54 c #Conflicts: 731000 | #Constraints: 40708
205.89/206.54 c #Conflicts: 732000 | #Constraints: 42382
205.89/206.54 c #Conflicts: 733000 | #Constraints: 44072
205.89/206.54 c #Conflicts: 734000 | #Constraints: 45722
205.89/206.54 c #Conflicts: 735000 | #Constraints: 47333
205.89/206.54 c #Conflicts: 736000 | #Constraints: 48952
205.89/206.54 c #Conflicts: 737000 | #Constraints: 50604
205.89/206.54 c #Conflicts: 738000 | #Constraints: 52165
205.89/206.54 c #Conflicts: 739000 | #Constraints: 53783
205.89/206.54 c INPROCESSING
205.89/206.54 c GARBAGE COLLECT
205.89/206.54 c #Conflicts: 740000 | #Constraints: 28687
205.89/206.54 c #Conflicts: 741000 | #Constraints: 30303
205.89/206.54 c #Conflicts: 742000 | #Constraints: 31927
205.89/206.54 c #Conflicts: 743000 | #Constraints: 33558
205.89/206.54 c #Conflicts: 744000 | #Constraints: 35199
205.89/206.54 c #Conflicts: 745000 | #Constraints: 36876
205.89/206.54 c #Conflicts: 746000 | #Constraints: 38505
205.89/206.54 c #Conflicts: 747000 | #Constraints: 40135
205.89/206.54 c #Conflicts: 748000 | #Constraints: 41156
205.89/206.54 c #Conflicts: 749000 | #Constraints: 42263
205.89/206.54 c #Conflicts: 750000 | #Constraints: 43311
205.89/206.54 c #Conflicts: 751000 | #Constraints: 44311
205.89/206.54 c #Conflicts: 752000 | #Constraints: 45315
205.89/206.54 c #Conflicts: 753000 | #Constraints: 46330
205.89/206.54 c #Conflicts: 754000 | #Constraints: 47355
205.89/206.54 c #Conflicts: 755000 | #Constraints: 48366
205.89/206.54 c #Conflicts: 756000 | #Constraints: 49460
205.89/206.54 c INPROCESSING
205.89/206.54 c GARBAGE COLLECT
205.89/206.54 c #Conflicts: 757000 | #Constraints: 26077
205.89/206.54 c #Conflicts: 758000 | #Constraints: 27124
205.89/206.54 c #Conflicts: 759000 | #Constraints: 28348
205.89/206.54 c #Conflicts: 760000 | #Constraints: 29840
205.89/206.54 c #Conflicts: 761000 | #Constraints: 31346
205.89/206.54 c #Conflicts: 762000 | #Constraints: 32846
205.89/206.54 c #Conflicts: 763000 | #Constraints: 33997
223.34/224.10 c #Conflicts: 764000 | #Constraints: 35030
223.34/224.10 c #Conflicts: 765000 | #Constraints: 36073
223.34/224.10 c #Conflicts: 766000 | #Constraints: 37344
223.34/224.10 c #Conflicts: 767000 | #Constraints: 38358
223.34/224.10 c #Conflicts: 768000 | #Constraints: 39537
223.34/224.10 c #Conflicts: 769000 | #Constraints: 41246
223.34/224.10 c #Conflicts: 770000 | #Constraints: 42920
223.34/224.10 c #Conflicts: 771000 | #Constraints: 44113
223.34/224.10 c #Conflicts: 772000 | #Constraints: 45137
223.34/224.10 c #Conflicts: 773000 | #Constraints: 46143
223.34/224.10 c #Conflicts: 774000 | #Constraints: 47177
223.34/224.10 c INPROCESSING
223.34/224.10 c GARBAGE COLLECT
223.34/224.10 c #Conflicts: 775000 | #Constraints: 25019
223.34/224.10 c #Conflicts: 776000 | #Constraints: 26034
223.34/224.10 c #Conflicts: 777000 | #Constraints: 27129
223.34/224.10 c #Conflicts: 778000 | #Constraints: 28383
223.34/224.10 c #Conflicts: 779000 | #Constraints: 29383
223.34/224.10 c #Conflicts: 780000 | #Constraints: 30385
223.34/224.10 c #Conflicts: 781000 | #Constraints: 31545
223.34/224.10 c #Conflicts: 782000 | #Constraints: 32834
223.34/224.10 c #Conflicts: 783000 | #Constraints: 34077
223.34/224.10 c #Conflicts: 784000 | #Constraints: 35386
223.34/224.10 c #Conflicts: 785000 | #Constraints: 36389
223.34/224.10 c #Conflicts: 786000 | #Constraints: 37407
223.34/224.10 c #Conflicts: 787000 | #Constraints: 39055
223.34/224.10 c #Conflicts: 788000 | #Constraints: 40684
223.34/224.10 c #Conflicts: 789000 | #Constraints: 41684
223.34/224.10 c #Conflicts: 790000 | #Constraints: 42685
223.34/224.10 c #Conflicts: 791000 | #Constraints: 44061
223.34/224.10 c #Conflicts: 792000 | #Constraints: 45302
223.34/224.10 c INPROCESSING
223.34/224.10 c GARBAGE COLLECT
223.34/224.10 c #Conflicts: 793000 | #Constraints: 24076
223.34/224.10 c #Conflicts: 794000 | #Constraints: 25425
223.34/224.10 c #Conflicts: 795000 | #Constraints: 27096
223.34/224.10 c #Conflicts: 796000 | #Constraints: 28098
223.34/224.10 c #Conflicts: 797000 | #Constraints: 29101
223.34/224.10 c #Conflicts: 798000 | #Constraints: 30124
223.34/224.10 c #Conflicts: 799000 | #Constraints: 31179
223.34/224.10 c #Conflicts: 800000 | #Constraints: 32261
223.34/224.10 c #Conflicts: 801000 | #Constraints: 33271
223.34/224.10 c #Conflicts: 802000 | #Constraints: 34564
223.34/224.10 c #Conflicts: 803000 | #Constraints: 35794
223.34/224.10 c #Conflicts: 804000 | #Constraints: 37337
223.34/224.10 c #Conflicts: 805000 | #Constraints: 38400
223.34/224.10 c #Conflicts: 806000 | #Constraints: 39401
223.34/224.10 c #Conflicts: 807000 | #Constraints: 40799
223.34/224.10 c #Conflicts: 808000 | #Constraints: 41852
223.34/224.10 c #Conflicts: 809000 | #Constraints: 42862
223.34/224.10 c #Conflicts: 810000 | #Constraints: 43878
223.34/224.10 c INPROCESSING
223.34/224.10 c GARBAGE COLLECT
223.34/224.10 c #Conflicts: 811000 | #Constraints: 23475
223.34/224.10 c #Conflicts: 812000 | #Constraints: 24540
223.34/224.10 c #Conflicts: 813000 | #Constraints: 25729
223.34/224.10 c #Conflicts: 814000 | #Constraints: 27318
223.34/224.10 c #Conflicts: 815000 | #Constraints: 28965
223.34/224.10 c #Conflicts: 816000 | #Constraints: 30106
223.34/224.10 c #Conflicts: 817000 | #Constraints: 31188
223.34/224.10 c #Conflicts: 818000 | #Constraints: 32192
223.34/224.10 c #Conflicts: 819000 | #Constraints: 33199
223.34/224.10 c #Conflicts: 820000 | #Constraints: 34247
223.34/224.10 c #Conflicts: 821000 | #Constraints: 35306
223.34/224.10 c #Conflicts: 822000 | #Constraints: 36315
223.34/224.10 c #Conflicts: 823000 | #Constraints: 37344
223.34/224.10 c #Conflicts: 824000 | #Constraints: 38734
223.34/224.10 c #Conflicts: 825000 | #Constraints: 40216
223.34/224.10 c #Conflicts: 826000 | #Constraints: 41223
223.34/224.10 c #Conflicts: 827000 | #Constraints: 42407
223.34/224.10 c #Conflicts: 828000 | #Constraints: 44106
223.34/224.10 c INPROCESSING
223.34/224.10 c GARBAGE COLLECT
223.34/224.10 c #Conflicts: 829000 | #Constraints: 23929
223.34/224.10 c #Conflicts: 830000 | #Constraints: 25500
223.34/224.10 c #Conflicts: 831000 | #Constraints: 27111
223.34/224.10 c #Conflicts: 832000 | #Constraints: 28621
223.34/224.10 c #Conflicts: 833000 | #Constraints: 30238
223.34/224.10 c #Conflicts: 834000 | #Constraints: 31895
223.34/224.10 c #Conflicts: 835000 | #Constraints: 33528
223.34/224.10 c #Conflicts: 836000 | #Constraints: 35209
223.34/224.10 c #Conflicts: 837000 | #Constraints: 36762
223.34/224.10 c #Conflicts: 838000 | #Constraints: 37798
223.34/224.10 c #Conflicts: 839000 | #Constraints: 38812
223.34/224.10 c #Conflicts: 840000 | #Constraints: 40070
241.89/242.67 c #Conflicts: 841000 | #Constraints: 41743
241.89/242.67 c #Conflicts: 842000 | #Constraints: 43391
241.89/242.67 c #Conflicts: 843000 | #Constraints: 45055
241.89/242.67 c #Conflicts: 844000 | #Constraints: 46700
241.89/242.67 c #Conflicts: 845000 | #Constraints: 48317
241.89/242.67 c #Conflicts: 846000 | #Constraints: 49924
241.89/242.67 c INPROCESSING
241.89/242.67 c GARBAGE COLLECT
241.89/242.67 c #Conflicts: 847000 | #Constraints: 26231
241.89/242.67 c #Conflicts: 848000 | #Constraints: 27258
241.89/242.67 c #Conflicts: 849000 | #Constraints: 28286
241.89/242.67 c #Conflicts: 850000 | #Constraints: 29311
241.89/242.67 c #Conflicts: 851000 | #Constraints: 30316
241.89/242.67 c #Conflicts: 852000 | #Constraints: 31485
241.89/242.67 c #Conflicts: 853000 | #Constraints: 32646
241.89/242.67 c #Conflicts: 854000 | #Constraints: 33646
241.89/242.67 c #Conflicts: 855000 | #Constraints: 34679
241.89/242.67 c #Conflicts: 856000 | #Constraints: 35701
241.89/242.67 c #Conflicts: 857000 | #Constraints: 36890
241.89/242.67 c #Conflicts: 858000 | #Constraints: 38126
241.89/242.67 c #Conflicts: 859000 | #Constraints: 39164
241.89/242.67 c #Conflicts: 860000 | #Constraints: 40619
241.89/242.67 c #Conflicts: 861000 | #Constraints: 42272
241.89/242.67 c #Conflicts: 862000 | #Constraints: 43827
241.89/242.67 c #Conflicts: 863000 | #Constraints: 45500
241.89/242.67 c #Conflicts: 864000 | #Constraints: 47144
241.89/242.67 c #Conflicts: 865000 | #Constraints: 48810
241.89/242.67 c INPROCESSING
241.89/242.67 c GARBAGE COLLECT
241.89/242.67 c #Conflicts: 866000 | #Constraints: 25880
241.89/242.67 c #Conflicts: 867000 | #Constraints: 26978
241.89/242.67 c #Conflicts: 868000 | #Constraints: 28047
241.89/242.67 c #Conflicts: 869000 | #Constraints: 29112
241.89/242.67 c #Conflicts: 870000 | #Constraints: 30121
241.89/242.67 c #Conflicts: 871000 | #Constraints: 31315
241.89/242.67 c #Conflicts: 872000 | #Constraints: 32407
241.89/242.67 c #Conflicts: 873000 | #Constraints: 33746
241.89/242.67 c #Conflicts: 874000 | #Constraints: 34756
241.89/242.67 c #Conflicts: 875000 | #Constraints: 35770
241.89/242.67 c #Conflicts: 876000 | #Constraints: 37192
241.89/242.67 c #Conflicts: 877000 | #Constraints: 38330
241.89/242.67 c #Conflicts: 878000 | #Constraints: 39334
241.89/242.67 c #Conflicts: 879000 | #Constraints: 40501
241.89/242.67 c #Conflicts: 880000 | #Constraints: 41588
241.89/242.67 c #Conflicts: 881000 | #Constraints: 42598
241.89/242.67 c #Conflicts: 882000 | #Constraints: 43959
241.89/242.67 c #Conflicts: 883000 | #Constraints: 45461
241.89/242.67 c #Conflicts: 884000 | #Constraints: 47101
241.89/242.67 c INPROCESSING
241.89/242.67 c GARBAGE COLLECT
241.89/242.67 c #Conflicts: 885000 | #Constraints: 25401
241.89/242.67 c #Conflicts: 886000 | #Constraints: 26473
241.89/242.67 c #Conflicts: 887000 | #Constraints: 27476
241.89/242.67 c #Conflicts: 888000 | #Constraints: 28518
241.89/242.67 c #Conflicts: 889000 | #Constraints: 29550
241.89/242.67 c #Conflicts: 890000 | #Constraints: 30570
241.89/242.67 c #Conflicts: 891000 | #Constraints: 31574
241.89/242.67 c #Conflicts: 892000 | #Constraints: 32578
241.89/242.67 c #Conflicts: 893000 | #Constraints: 33607
241.89/242.67 c #Conflicts: 894000 | #Constraints: 34629
241.89/242.67 c #Conflicts: 895000 | #Constraints: 35943
241.89/242.67 c #Conflicts: 896000 | #Constraints: 36981
241.89/242.67 c #Conflicts: 897000 | #Constraints: 38423
241.89/242.67 c #Conflicts: 898000 | #Constraints: 39684
241.89/242.67 c #Conflicts: 899000 | #Constraints: 40713
241.89/242.67 c #Conflicts: 900000 | #Constraints: 41884
241.89/242.67 c #Conflicts: 901000 | #Constraints: 43057
241.89/242.67 c #Conflicts: 902000 | #Constraints: 44414
241.89/242.67 c #Conflicts: 903000 | #Constraints: 45427
241.89/242.67 c INPROCESSING
241.89/242.67 c GARBAGE COLLECT
241.89/242.67 c #Conflicts: 904000 | #Constraints: 24151
241.89/242.67 c #Conflicts: 905000 | #Constraints: 25157
241.89/242.67 c #Conflicts: 906000 | #Constraints: 26181
241.89/242.67 c #Conflicts: 907000 | #Constraints: 27386
241.89/242.67 c #Conflicts: 908000 | #Constraints: 28414
241.89/242.67 c #Conflicts: 909000 | #Constraints: 29492
241.89/242.67 c #Conflicts: 910000 | #Constraints: 30573
241.89/242.67 c #Conflicts: 911000 | #Constraints: 31793
241.89/242.67 c #Conflicts: 912000 | #Constraints: 33027
241.89/242.67 c #Conflicts: 913000 | #Constraints: 34420
241.89/242.67 c #Conflicts: 914000 | #Constraints: 35688
241.89/242.67 c #Conflicts: 915000 | #Constraints: 36785
241.89/242.67 c #Conflicts: 916000 | #Constraints: 37885
263.24/264.06 c #Conflicts: 917000 | #Constraints: 39345
263.24/264.06 c #Conflicts: 918000 | #Constraints: 40766
263.24/264.06 c #Conflicts: 919000 | #Constraints: 41780
263.24/264.06 c #Conflicts: 920000 | #Constraints: 42823
263.24/264.06 c #Conflicts: 921000 | #Constraints: 44348
263.24/264.06 c #Conflicts: 922000 | #Constraints: 45772
263.24/264.06 c INPROCESSING
263.24/264.06 c GARBAGE COLLECT
263.24/264.06 c #Conflicts: 923000 | #Constraints: 24269
263.24/264.06 c #Conflicts: 924000 | #Constraints: 25517
263.24/264.06 c #Conflicts: 925000 | #Constraints: 27143
263.24/264.06 c #Conflicts: 926000 | #Constraints: 28786
263.24/264.06 c #Conflicts: 927000 | #Constraints: 30484
263.24/264.06 c #Conflicts: 928000 | #Constraints: 32167
263.24/264.06 c #Conflicts: 929000 | #Constraints: 33827
263.24/264.06 c #Conflicts: 930000 | #Constraints: 35552
263.24/264.06 c #Conflicts: 931000 | #Constraints: 37240
263.24/264.06 c #Conflicts: 932000 | #Constraints: 38710
263.24/264.06 c #Conflicts: 933000 | #Constraints: 39731
263.24/264.06 c #Conflicts: 934000 | #Constraints: 40842
263.24/264.06 c #Conflicts: 935000 | #Constraints: 41990
263.24/264.06 c #Conflicts: 936000 | #Constraints: 43208
263.24/264.06 c #Conflicts: 937000 | #Constraints: 44627
263.24/264.06 c #Conflicts: 938000 | #Constraints: 45644
263.24/264.06 c #Conflicts: 939000 | #Constraints: 46664
263.24/264.06 c #Conflicts: 940000 | #Constraints: 48277
263.24/264.06 c #Conflicts: 941000 | #Constraints: 49968
263.24/264.06 c INPROCESSING
263.24/264.06 c GARBAGE COLLECT
263.24/264.06 c #Conflicts: 942000 | #Constraints: 26589
263.24/264.06 c #Conflicts: 943000 | #Constraints: 27949
263.24/264.06 c #Conflicts: 944000 | #Constraints: 28961
263.24/264.06 c #Conflicts: 945000 | #Constraints: 30498
263.24/264.06 c #Conflicts: 946000 | #Constraints: 32147
263.24/264.06 c #Conflicts: 947000 | #Constraints: 33213
263.24/264.06 c #Conflicts: 948000 | #Constraints: 34302
263.24/264.06 c #Conflicts: 949000 | #Constraints: 35353
263.24/264.06 c #Conflicts: 950000 | #Constraints: 36742
263.24/264.06 c #Conflicts: 951000 | #Constraints: 38429
263.24/264.06 c #Conflicts: 952000 | #Constraints: 40112
263.24/264.06 c #Conflicts: 953000 | #Constraints: 41772
263.24/264.06 c #Conflicts: 954000 | #Constraints: 43466
263.24/264.06 c #Conflicts: 955000 | #Constraints: 45047
263.24/264.06 c #Conflicts: 956000 | #Constraints: 46555
263.24/264.06 c #Conflicts: 957000 | #Constraints: 47800
263.24/264.06 c #Conflicts: 958000 | #Constraints: 48813
263.24/264.06 c #Conflicts: 959000 | #Constraints: 49822
263.24/264.06 c #Conflicts: 960000 | #Constraints: 50855
263.24/264.06 c #Conflicts: 961000 | #Constraints: 51886
263.24/264.06 c INPROCESSING
263.24/264.06 c GARBAGE COLLECT
263.24/264.06 c #Conflicts: 962000 | #Constraints: 27295
263.24/264.06 c #Conflicts: 963000 | #Constraints: 28550
263.24/264.06 c #Conflicts: 964000 | #Constraints: 29560
263.24/264.06 c #Conflicts: 965000 | #Constraints: 30739
263.24/264.06 c #Conflicts: 966000 | #Constraints: 31745
263.24/264.06 c #Conflicts: 967000 | #Constraints: 32747
263.24/264.06 c #Conflicts: 968000 | #Constraints: 33747
263.24/264.06 c #Conflicts: 969000 | #Constraints: 34766
263.24/264.06 c #Conflicts: 970000 | #Constraints: 35856
263.24/264.06 c #Conflicts: 971000 | #Constraints: 36918
263.24/264.06 c #Conflicts: 972000 | #Constraints: 37970
263.24/264.06 c #Conflicts: 973000 | #Constraints: 39024
263.24/264.06 c #Conflicts: 974000 | #Constraints: 40024
263.24/264.06 c #Conflicts: 975000 | #Constraints: 41026
263.24/264.06 c #Conflicts: 976000 | #Constraints: 42069
263.24/264.06 c #Conflicts: 977000 | #Constraints: 43555
263.24/264.06 c #Conflicts: 978000 | #Constraints: 45251
263.24/264.06 c #Conflicts: 979000 | #Constraints: 46975
263.24/264.06 c #Conflicts: 980000 | #Constraints: 48674
263.24/264.06 c #Conflicts: 981000 | #Constraints: 50289
263.24/264.06 c INPROCESSING
263.24/264.06 c GARBAGE COLLECT
263.24/264.06 c #Conflicts: 982000 | #Constraints: 27212
263.24/264.06 c #Conflicts: 983000 | #Constraints: 28871
263.24/264.06 c #Conflicts: 984000 | #Constraints: 30413
263.24/264.06 c #Conflicts: 985000 | #Constraints: 32031
263.24/264.06 c #Conflicts: 986000 | #Constraints: 33690
263.24/264.06 c #Conflicts: 987000 | #Constraints: 34916
263.24/264.06 c #Conflicts: 988000 | #Constraints: 35926
263.24/264.06 c #Conflicts: 989000 | #Constraints: 36926
263.24/264.06 c #Conflicts: 990000 | #Constraints: 38045
263.24/264.06 c #Conflicts: 991000 | #Constraints: 39240
263.24/264.06 c #Conflicts: 992000 | #Constraints: 40248
283.68/284.55 c #Conflicts: 993000 | #Constraints: 41249
283.68/284.55 c #Conflicts: 994000 | #Constraints: 42249
283.68/284.55 c #Conflicts: 995000 | #Constraints: 43505
283.68/284.55 c #Conflicts: 996000 | #Constraints: 45181
283.68/284.55 c #Conflicts: 997000 | #Constraints: 46872
283.68/284.55 c #Conflicts: 998000 | #Constraints: 48595
283.68/284.55 c #Conflicts: 999000 | #Constraints: 50305
283.68/284.55 c #Conflicts: 1000000 | #Constraints: 51867
283.68/284.55 c #Conflicts: 1001000 | #Constraints: 53520
283.68/284.55 c INPROCESSING
283.68/284.55 c GARBAGE COLLECT
283.68/284.55 c #Conflicts: 1002000 | #Constraints: 28921
283.68/284.55 c #Conflicts: 1003000 | #Constraints: 29988
283.68/284.55 c #Conflicts: 1004000 | #Constraints: 31432
283.68/284.55 c #Conflicts: 1005000 | #Constraints: 33128
283.68/284.55 c #Conflicts: 1006000 | #Constraints: 34837
283.68/284.55 c #Conflicts: 1007000 | #Constraints: 36531
283.68/284.55 c #Conflicts: 1008000 | #Constraints: 38149
283.68/284.55 c #Conflicts: 1009000 | #Constraints: 39823
283.68/284.55 c #Conflicts: 1010000 | #Constraints: 41476
283.68/284.55 c #Conflicts: 1011000 | #Constraints: 43068
283.68/284.55 c #Conflicts: 1012000 | #Constraints: 44740
283.68/284.55 c #Conflicts: 1013000 | #Constraints: 46435
283.68/284.55 c #Conflicts: 1014000 | #Constraints: 48069
283.68/284.55 c #Conflicts: 1015000 | #Constraints: 49196
283.68/284.55 c #Conflicts: 1016000 | #Constraints: 50235
283.68/284.55 c #Conflicts: 1017000 | #Constraints: 51274
283.68/284.55 c #Conflicts: 1018000 | #Constraints: 52306
283.68/284.55 c #Conflicts: 1019000 | #Constraints: 53306
283.68/284.55 c #Conflicts: 1020000 | #Constraints: 54317
283.68/284.55 c #Conflicts: 1021000 | #Constraints: 55363
283.68/284.55 c INPROCESSING
283.68/284.55 c GARBAGE COLLECT
283.68/284.55 c #Conflicts: 1022000 | #Constraints: 29087
283.68/284.55 c #Conflicts: 1023000 | #Constraints: 30087
283.68/284.55 c #Conflicts: 1024000 | #Constraints: 31088
283.68/284.55 c #Conflicts: 1025000 | #Constraints: 32428
283.68/284.55 c #Conflicts: 1026000 | #Constraints: 33887
283.68/284.55 c #Conflicts: 1027000 | #Constraints: 35576
283.68/284.55 c #Conflicts: 1028000 | #Constraints: 37246
283.68/284.55 c #Conflicts: 1029000 | #Constraints: 38822
283.68/284.55 c #Conflicts: 1030000 | #Constraints: 40265
283.68/284.55 c #Conflicts: 1031000 | #Constraints: 41958
283.68/284.55 c #Conflicts: 1032000 | #Constraints: 43616
283.68/284.55 c #Conflicts: 1033000 | #Constraints: 45263
283.68/284.55 c #Conflicts: 1034000 | #Constraints: 46931
283.68/284.55 c #Conflicts: 1035000 | #Constraints: 48587
283.68/284.55 c #Conflicts: 1036000 | #Constraints: 50201
283.68/284.55 c #Conflicts: 1037000 | #Constraints: 51818
283.68/284.55 c #Conflicts: 1038000 | #Constraints: 53470
283.68/284.55 c #Conflicts: 1039000 | #Constraints: 55101
283.68/284.55 c #Conflicts: 1040000 | #Constraints: 56721
283.68/284.55 c #Conflicts: 1041000 | #Constraints: 58386
283.68/284.55 c INPROCESSING
283.68/284.55 c GARBAGE COLLECT
283.68/284.55 c #Conflicts: 1042000 | #Constraints: 30780
283.68/284.55 c #Conflicts: 1043000 | #Constraints: 32335
283.68/284.55 c #Conflicts: 1044000 | #Constraints: 33764
283.68/284.55 c #Conflicts: 1045000 | #Constraints: 34824
283.68/284.55 c #Conflicts: 1046000 | #Constraints: 35963
283.68/284.55 c #Conflicts: 1047000 | #Constraints: 37273
283.68/284.55 c #Conflicts: 1048000 | #Constraints: 38343
283.68/284.55 c #Conflicts: 1049000 | #Constraints: 39363
283.68/284.55 c #Conflicts: 1050000 | #Constraints: 40367
283.68/284.55 c #Conflicts: 1051000 | #Constraints: 41367
283.68/284.55 c #Conflicts: 1052000 | #Constraints: 42371
283.68/284.55 c #Conflicts: 1053000 | #Constraints: 43421
283.68/284.55 c #Conflicts: 1054000 | #Constraints: 44486
283.68/284.55 c #Conflicts: 1055000 | #Constraints: 45501
283.68/284.55 c #Conflicts: 1056000 | #Constraints: 46550
283.68/284.55 c #Conflicts: 1057000 | #Constraints: 47603
283.68/284.55 c #Conflicts: 1058000 | #Constraints: 48725
283.68/284.55 c #Conflicts: 1059000 | #Constraints: 50341
283.68/284.55 c #Conflicts: 1060000 | #Constraints: 51883
283.68/284.55 c #Conflicts: 1061000 | #Constraints: 53581
283.68/284.55 c #Conflicts: 1062000 | #Constraints: 55288
283.68/284.55 c INPROCESSING
283.68/284.55 c GARBAGE COLLECT
283.68/284.55 c #Conflicts: 1063000 | #Constraints: 29553
283.68/284.55 c #Conflicts: 1064000 | #Constraints: 30789
283.68/284.55 c #Conflicts: 1065000 | #Constraints: 31855
283.68/284.55 c #Conflicts: 1066000 | #Constraints: 32903
283.68/284.55 c #Conflicts: 1067000 | #Constraints: 34100
283.68/284.55 c #Conflicts: 1068000 | #Constraints: 35325
303.13/304.03 c #Conflicts: 1069000 | #Constraints: 36674
303.13/304.03 c #Conflicts: 1070000 | #Constraints: 37877
303.13/304.03 c #Conflicts: 1071000 | #Constraints: 38882
303.13/304.03 c #Conflicts: 1072000 | #Constraints: 39887
303.13/304.03 c #Conflicts: 1073000 | #Constraints: 40951
303.13/304.03 c #Conflicts: 1074000 | #Constraints: 42037
303.13/304.03 c #Conflicts: 1075000 | #Constraints: 43040
303.13/304.03 c #Conflicts: 1076000 | #Constraints: 44049
303.13/304.03 c #Conflicts: 1077000 | #Constraints: 45102
303.13/304.03 c #Conflicts: 1078000 | #Constraints: 46187
303.13/304.03 c #Conflicts: 1079000 | #Constraints: 47192
303.13/304.03 c #Conflicts: 1080000 | #Constraints: 48192
303.13/304.03 c #Conflicts: 1081000 | #Constraints: 49199
303.13/304.03 c #Conflicts: 1082000 | #Constraints: 50212
303.13/304.03 c #Conflicts: 1083000 | #Constraints: 51234
303.13/304.03 c INPROCESSING
303.13/304.03 c GARBAGE COLLECT
303.13/304.03 c #Conflicts: 1084000 | #Constraints: 27604
303.13/304.03 c #Conflicts: 1085000 | #Constraints: 29268
303.13/304.03 c #Conflicts: 1086000 | #Constraints: 30922
303.13/304.03 c #Conflicts: 1087000 | #Constraints: 32557
303.13/304.03 c #Conflicts: 1088000 | #Constraints: 34253
303.13/304.03 c #Conflicts: 1089000 | #Constraints: 35962
303.13/304.03 c #Conflicts: 1090000 | #Constraints: 37645
303.13/304.03 c #Conflicts: 1091000 | #Constraints: 39287
303.13/304.03 c #Conflicts: 1092000 | #Constraints: 40832
303.13/304.03 c #Conflicts: 1093000 | #Constraints: 42363
303.13/304.03 c #Conflicts: 1094000 | #Constraints: 43874
303.13/304.03 c #Conflicts: 1095000 | #Constraints: 45414
303.13/304.03 c #Conflicts: 1096000 | #Constraints: 46464
303.13/304.03 c #Conflicts: 1097000 | #Constraints: 47809
303.13/304.03 c #Conflicts: 1098000 | #Constraints: 49299
303.13/304.03 c #Conflicts: 1099000 | #Constraints: 50737
303.13/304.03 c #Conflicts: 1100000 | #Constraints: 51980
303.13/304.03 c #Conflicts: 1101000 | #Constraints: 53264
303.13/304.03 c #Conflicts: 1102000 | #Constraints: 54573
303.13/304.03 c #Conflicts: 1103000 | #Constraints: 55576
303.13/304.03 c #Conflicts: 1104000 | #Constraints: 56585
303.13/304.03 c INPROCESSING
303.13/304.03 c GARBAGE COLLECT
303.13/304.03 c #Conflicts: 1105000 | #Constraints: 29723
303.13/304.03 c #Conflicts: 1106000 | #Constraints: 30994
303.13/304.03 c #Conflicts: 1107000 | #Constraints: 32619
303.13/304.03 c #Conflicts: 1108000 | #Constraints: 34288
303.13/304.03 c #Conflicts: 1109000 | #Constraints: 35907
303.13/304.03 c #Conflicts: 1110000 | #Constraints: 37548
303.13/304.03 c #Conflicts: 1111000 | #Constraints: 39187
303.13/304.03 c #Conflicts: 1112000 | #Constraints: 40879
303.13/304.03 c #Conflicts: 1113000 | #Constraints: 42579
303.13/304.03 c #Conflicts: 1114000 | #Constraints: 44253
303.13/304.03 c #Conflicts: 1115000 | #Constraints: 45988
303.13/304.03 c #Conflicts: 1116000 | #Constraints: 47681
303.13/304.03 c #Conflicts: 1117000 | #Constraints: 49289
303.13/304.03 c #Conflicts: 1118000 | #Constraints: 50904
303.13/304.03 c #Conflicts: 1119000 | #Constraints: 52526
303.13/304.03 c #Conflicts: 1120000 | #Constraints: 54176
303.13/304.03 c #Conflicts: 1121000 | #Constraints: 55858
303.13/304.03 c #Conflicts: 1122000 | #Constraints: 57515
303.13/304.03 c #Conflicts: 1123000 | #Constraints: 59222
303.13/304.03 c #Conflicts: 1124000 | #Constraints: 60865
303.13/304.03 c #Conflicts: 1125000 | #Constraints: 62547
303.13/304.03 c INPROCESSING
303.13/304.03 c GARBAGE COLLECT
303.13/304.03 c #Conflicts: 1126000 | #Constraints: 33253
303.13/304.03 c #Conflicts: 1127000 | #Constraints: 34849
303.13/304.03 c #Conflicts: 1128000 | #Constraints: 36492
303.13/304.03 c #Conflicts: 1129000 | #Constraints: 38127
303.13/304.03 c #Conflicts: 1130000 | #Constraints: 39560
303.13/304.03 c #Conflicts: 1131000 | #Constraints: 40761
303.13/304.03 c #Conflicts: 1132000 | #Constraints: 41791
303.13/304.03 c #Conflicts: 1133000 | #Constraints: 42795
303.13/304.03 c #Conflicts: 1134000 | #Constraints: 44051
303.13/304.03 c #Conflicts: 1135000 | #Constraints: 45536
303.13/304.03 c #Conflicts: 1136000 | #Constraints: 46619
303.13/304.03 c #Conflicts: 1137000 | #Constraints: 47629
303.13/304.03 c #Conflicts: 1138000 | #Constraints: 48726
303.13/304.03 c #Conflicts: 1139000 | #Constraints: 49760
303.13/304.03 c #Conflicts: 1140000 | #Constraints: 50803
303.13/304.03 c #Conflicts: 1141000 | #Constraints: 51898
303.13/304.03 c #Conflicts: 1142000 | #Constraints: 52917
303.13/304.03 c #Conflicts: 1143000 | #Constraints: 54052
303.13/304.03 c #Conflicts: 1144000 | #Constraints: 55484
303.13/304.03 c #Conflicts: 1145000 | #Constraints: 56852
320.48/321.48 c #Conflicts: 1146000 | #Constraints: 58093
320.48/321.48 c INPROCESSING
320.48/321.48 c GARBAGE COLLECT
320.48/321.48 c #Conflicts: 1147000 | #Constraints: 30237
320.48/321.48 c #Conflicts: 1148000 | #Constraints: 31364
320.48/321.48 c #Conflicts: 1149000 | #Constraints: 32367
320.48/321.48 c #Conflicts: 1150000 | #Constraints: 33412
320.48/321.48 c #Conflicts: 1151000 | #Constraints: 34547
320.48/321.48 c #Conflicts: 1152000 | #Constraints: 35547
320.48/321.48 c #Conflicts: 1153000 | #Constraints: 36766
320.48/321.48 c #Conflicts: 1154000 | #Constraints: 37772
320.48/321.48 c #Conflicts: 1155000 | #Constraints: 38784
320.48/321.48 c #Conflicts: 1156000 | #Constraints: 39924
320.48/321.48 c #Conflicts: 1157000 | #Constraints: 40929
320.48/321.48 c #Conflicts: 1158000 | #Constraints: 42165
320.48/321.48 c #Conflicts: 1159000 | #Constraints: 43329
320.48/321.48 c #Conflicts: 1160000 | #Constraints: 44330
320.48/321.48 c #Conflicts: 1161000 | #Constraints: 45355
320.48/321.48 c #Conflicts: 1162000 | #Constraints: 46488
320.48/321.48 c #Conflicts: 1163000 | #Constraints: 47779
320.48/321.48 c #Conflicts: 1164000 | #Constraints: 49236
320.48/321.48 c #Conflicts: 1165000 | #Constraints: 50759
320.48/321.48 c #Conflicts: 1166000 | #Constraints: 51957
320.48/321.48 c #Conflicts: 1167000 | #Constraints: 53280
320.48/321.48 c #Conflicts: 1168000 | #Constraints: 54891
320.48/321.48 c INPROCESSING
320.48/321.48 c GARBAGE COLLECT
320.48/321.48 c #Conflicts: 1169000 | #Constraints: 29030
320.48/321.48 c #Conflicts: 1170000 | #Constraints: 30646
320.48/321.48 c #Conflicts: 1171000 | #Constraints: 32175
320.48/321.48 c #Conflicts: 1172000 | #Constraints: 33226
320.48/321.48 c #Conflicts: 1173000 | #Constraints: 34228
320.48/321.48 c #Conflicts: 1174000 | #Constraints: 35257
320.48/321.48 c #Conflicts: 1175000 | #Constraints: 36849
320.48/321.48 c #Conflicts: 1176000 | #Constraints: 38290
320.48/321.48 c #Conflicts: 1177000 | #Constraints: 39383
320.48/321.48 c #Conflicts: 1178000 | #Constraints: 40462
320.48/321.48 c #Conflicts: 1179000 | #Constraints: 41678
320.48/321.48 c #Conflicts: 1180000 | #Constraints: 43208
320.48/321.48 c #Conflicts: 1181000 | #Constraints: 44497
320.48/321.48 c #Conflicts: 1182000 | #Constraints: 45523
320.48/321.48 c #Conflicts: 1183000 | #Constraints: 46535
320.48/321.48 c #Conflicts: 1184000 | #Constraints: 47536
320.48/321.48 c #Conflicts: 1185000 | #Constraints: 48538
320.48/321.48 c #Conflicts: 1186000 | #Constraints: 49558
320.48/321.48 c #Conflicts: 1187000 | #Constraints: 50711
320.48/321.48 c #Conflicts: 1188000 | #Constraints: 52229
320.48/321.48 c #Conflicts: 1189000 | #Constraints: 53730
320.48/321.48 c #Conflicts: 1190000 | #Constraints: 55374
320.48/321.48 c INPROCESSING
320.48/321.48 c GARBAGE COLLECT
320.48/321.48 c #Conflicts: 1191000 | #Constraints: 29571
320.48/321.48 c #Conflicts: 1192000 | #Constraints: 30630
320.48/321.48 c #Conflicts: 1193000 | #Constraints: 31764
320.48/321.48 c #Conflicts: 1194000 | #Constraints: 32856
320.48/321.48 c #Conflicts: 1195000 | #Constraints: 34170
320.48/321.48 c #Conflicts: 1196000 | #Constraints: 35205
320.48/321.48 c #Conflicts: 1197000 | #Constraints: 36232
320.48/321.48 c #Conflicts: 1198000 | #Constraints: 37234
320.48/321.48 c #Conflicts: 1199000 | #Constraints: 38236
320.48/321.48 c #Conflicts: 1200000 | #Constraints: 39251
320.48/321.48 c #Conflicts: 1201000 | #Constraints: 40260
320.48/321.48 c #Conflicts: 1202000 | #Constraints: 41660
320.48/321.48 c #Conflicts: 1203000 | #Constraints: 42967
320.48/321.48 c #Conflicts: 1204000 | #Constraints: 44076
320.48/321.48 c #Conflicts: 1205000 | #Constraints: 45157
320.48/321.48 c #Conflicts: 1206000 | #Constraints: 46422
320.48/321.48 c #Conflicts: 1207000 | #Constraints: 47758
320.48/321.48 c #Conflicts: 1208000 | #Constraints: 48758
320.48/321.48 c #Conflicts: 1209000 | #Constraints: 49778
320.48/321.48 c #Conflicts: 1210000 | #Constraints: 50851
320.48/321.48 c #Conflicts: 1211000 | #Constraints: 51861
320.48/321.48 c #Conflicts: 1212000 | #Constraints: 53254
320.48/321.48 c INPROCESSING
320.48/321.48 c GARBAGE COLLECT
320.48/321.48 c #Conflicts: 1213000 | #Constraints: 28727
320.48/321.48 c #Conflicts: 1214000 | #Constraints: 30008
320.48/321.48 c #Conflicts: 1215000 | #Constraints: 31216
320.48/321.48 c #Conflicts: 1216000 | #Constraints: 32231
320.48/321.48 c #Conflicts: 1217000 | #Constraints: 33239
320.48/321.48 c #Conflicts: 1218000 | #Constraints: 34239
320.48/321.48 c #Conflicts: 1219000 | #Constraints: 35313
320.48/321.48 c #Conflicts: 1220000 | #Constraints: 36492
320.48/321.48 c #Conflicts: 1221000 | #Constraints: 37566
328.06/329.09 c #Conflicts: 1222000 | #Constraints: 38717
328.06/329.09 c #Conflicts: 1223000 | #Constraints: 39735
328.06/329.09 c #Conflicts: 1224000 | #Constraints: 40740
328.06/329.09 c #Conflicts: 1225000 | #Constraints: 41775
328.06/329.09 c #Conflicts: 1226000 | #Constraints: 42913
328.06/329.09 c #Conflicts: 1227000 | #Constraints: 43915
328.06/329.09 c #Conflicts: 1228000 | #Constraints: 45071
328.06/329.09 c #Conflicts: 1229000 | #Constraints: 46379
328.06/329.09 c #Conflicts: 1230000 | #Constraints: 47537
328.06/329.09 c #Conflicts: 1231000 | #Constraints: 48549
328.06/329.09 c #Conflicts: 1232000 | #Constraints: 49553
328.06/329.09 c #Conflicts: 1233000 | #Constraints: 50581
328.06/329.09 c #Conflicts: 1234000 | #Constraints: 51871
328.06/329.09 c INPROCESSING
328.06/329.09 c GARBAGE COLLECT
328.06/329.09 c #Conflicts: 1235000 | #Constraints: 27336
328.06/329.09 c #Conflicts: 1236000 | #Constraints: 28513
328.06/329.09 c #Conflicts: 1237000 | #Constraints: 29575
328.06/329.09 c #Conflicts: 1238000 | #Constraints: 30649
328.06/329.09 c #Conflicts: 1239000 | #Constraints: 31685
328.06/329.09 c #Conflicts: 1240000 | #Constraints: 32757
328.06/329.09 c #Conflicts: 1241000 | #Constraints: 33776
328.06/329.09 c #Conflicts: 1242000 | #Constraints: 34815
328.06/329.09 c #Conflicts: 1243000 | #Constraints: 35828
328.06/329.09 c #Conflicts: 1244000 | #Constraints: 37239
328.06/329.09 c #Conflicts: 1245000 | #Constraints: 38303
328.06/329.09 c #Conflicts: 1246000 | #Constraints: 39315
328.06/329.09 c #Conflicts: 1247000 | #Constraints: 41025
328.06/329.09 c #Conflicts: 1248000 | #Constraints: 42580
328.06/329.09 c #Conflicts: 1249000 | #Constraints: 43762
328.06/329.09 c #Conflicts: 1250000 | #Constraints: 44784
328.06/329.09 c #Conflicts: 1251000 | #Constraints: 45891
328.06/329.09 c #Conflicts: 1252000 | #Constraints: 47308
328.06/329.09 c #Conflicts: 1253000 | #Constraints: 48421
328.06/329.09 c #Conflicts: 1254000 | #Constraints: 49435
328.06/329.09 c #Conflicts: 1255000 | #Constraints: 50500
328.06/329.09 c #Conflicts: 1256000 | #Constraints: 51945
328.06/329.09 c INPROCESSING
328.06/329.09 c GARBAGE COLLECT
328.06/329.09 c rational objective 350.5
334.34/335.39 c #Conflicts: 1257000 | #Constraints: 27300
334.34/335.39 c #Conflicts: 1258000 | #Constraints: 28327
334.34/335.39 c #Conflicts: 1259000 | #Constraints: 29937
334.34/335.39 c #Conflicts: 1260000 | #Constraints: 31196
334.34/335.39 c #Conflicts: 1261000 | #Constraints: 32298
334.34/335.39 c #Conflicts: 1262000 | #Constraints: 33783
334.34/335.39 c #Conflicts: 1263000 | #Constraints: 35319
334.34/335.39 c #Conflicts: 1264000 | #Constraints: 36803
334.34/335.39 c #Conflicts: 1265000 | #Constraints: 37845
334.34/335.39 c #Conflicts: 1266000 | #Constraints: 39363
334.34/335.39 c #Conflicts: 1267000 | #Constraints: 40926
334.34/335.39 c #Conflicts: 1268000 | #Constraints: 42217
334.34/335.39 c #Conflicts: 1269000 | #Constraints: 43273
334.34/335.39 c #Conflicts: 1270000 | #Constraints: 44321
334.34/335.39 c #Conflicts: 1271000 | #Constraints: 45990
334.34/335.39 c #Conflicts: 1272000 | #Constraints: 47122
334.34/335.39 c #Conflicts: 1273000 | #Constraints: 48384
334.34/335.39 c #Conflicts: 1274000 | #Constraints: 50076
334.34/335.39 c #Conflicts: 1275000 | #Constraints: 51752
334.34/335.39 c #Conflicts: 1276000 | #Constraints: 52970
334.34/335.39 c #Conflicts: 1277000 | #Constraints: 54207
334.34/335.39 c #Conflicts: 1278000 | #Constraints: 55288
334.34/335.39 c #Conflicts: 1279000 | #Constraints: 56540
334.34/335.39 c INPROCESSING
334.34/335.39 c GARBAGE COLLECT
334.34/335.39 c rational objective 350.5
339.43/340.48 c #Conflicts: 1280000 | #Constraints: 29597
339.43/340.48 c #Conflicts: 1281000 | #Constraints: 30614
339.43/340.48 c #Conflicts: 1282000 | #Constraints: 31747
339.43/340.48 c #Conflicts: 1283000 | #Constraints: 32999
339.43/340.48 c #Conflicts: 1284000 | #Constraints: 34053
339.43/340.48 c #Conflicts: 1285000 | #Constraints: 35176
339.43/340.48 c #Conflicts: 1286000 | #Constraints: 36794
339.43/340.48 c #Conflicts: 1287000 | #Constraints: 38448
339.43/340.48 c #Conflicts: 1288000 | #Constraints: 40055
339.43/340.48 c #Conflicts: 1289000 | #Constraints: 41164
339.43/340.48 c #Conflicts: 1290000 | #Constraints: 42227
339.43/340.48 c #Conflicts: 1291000 | #Constraints: 43697
339.43/340.48 c #Conflicts: 1292000 | #Constraints: 44891
339.43/340.48 c #Conflicts: 1293000 | #Constraints: 46199
339.43/340.48 c #Conflicts: 1294000 | #Constraints: 47721
339.43/340.48 c #Conflicts: 1295000 | #Constraints: 48735
339.43/340.48 c #Conflicts: 1296000 | #Constraints: 50042
339.43/340.48 c #Conflicts: 1297000 | #Constraints: 51394
339.43/340.48 c #Conflicts: 1298000 | #Constraints: 52618
339.43/340.48 c #Conflicts: 1299000 | #Constraints: 53618
339.43/340.48 c #Conflicts: 1300000 | #Constraints: 54814
339.43/340.48 c #Conflicts: 1301000 | #Constraints: 56497
339.43/340.48 c #Conflicts: 1302000 | #Constraints: 58226
339.43/340.48 c INPROCESSING
339.43/340.48 c GARBAGE COLLECT
339.43/340.48 c rational objective 350.5
350.20/351.28 c #Conflicts: 1303000 | #Constraints: 30539
350.20/351.28 c #Conflicts: 1304000 | #Constraints: 31680
350.20/351.28 c #Conflicts: 1305000 | #Constraints: 33321
350.20/351.28 c #Conflicts: 1306000 | #Constraints: 34781
350.20/351.28 c #Conflicts: 1307000 | #Constraints: 35828
350.20/351.28 c #Conflicts: 1308000 | #Constraints: 37101
350.20/351.28 c #Conflicts: 1309000 | #Constraints: 38718
350.20/351.28 c #Conflicts: 1310000 | #Constraints: 40372
350.20/351.28 c #Conflicts: 1311000 | #Constraints: 42076
350.20/351.28 c #Conflicts: 1312000 | #Constraints: 43718
350.20/351.28 c #Conflicts: 1313000 | #Constraints: 45381
350.20/351.28 c #Conflicts: 1314000 | #Constraints: 47079
350.20/351.28 c #Conflicts: 1315000 | #Constraints: 48719
350.20/351.28 c #Conflicts: 1316000 | #Constraints: 50398
350.20/351.28 c #Conflicts: 1317000 | #Constraints: 52086
350.20/351.28 c #Conflicts: 1318000 | #Constraints: 53640
350.20/351.28 c #Conflicts: 1319000 | #Constraints: 55157
350.20/351.28 c #Conflicts: 1320000 | #Constraints: 56778
350.20/351.28 c #Conflicts: 1321000 | #Constraints: 58426
350.20/351.28 c #Conflicts: 1322000 | #Constraints: 60097
350.20/351.28 c #Conflicts: 1323000 | #Constraints: 61756
350.20/351.28 c #Conflicts: 1324000 | #Constraints: 63414
350.20/351.28 c #Conflicts: 1325000 | #Constraints: 65117
350.20/351.28 c INPROCESSING
350.20/351.28 c GARBAGE COLLECT
350.20/351.28 c rational objective 350.5
356.67/357.77 c #Conflicts: 1326000 | #Constraints: 34517
356.67/357.77 c #Conflicts: 1327000 | #Constraints: 36057
356.67/357.77 c #Conflicts: 1328000 | #Constraints: 37580
356.67/357.77 c #Conflicts: 1329000 | #Constraints: 39091
356.67/357.77 c #Conflicts: 1330000 | #Constraints: 40704
356.67/357.77 c #Conflicts: 1331000 | #Constraints: 42358
356.67/357.77 c #Conflicts: 1332000 | #Constraints: 43970
356.67/357.77 c #Conflicts: 1333000 | #Constraints: 45508
356.67/357.77 c #Conflicts: 1334000 | #Constraints: 46787
356.67/357.77 c #Conflicts: 1335000 | #Constraints: 47811
356.67/357.77 c #Conflicts: 1336000 | #Constraints: 48833
356.67/357.77 c #Conflicts: 1337000 | #Constraints: 49833
356.67/357.77 c #Conflicts: 1338000 | #Constraints: 50834
356.67/357.77 c #Conflicts: 1339000 | #Constraints: 51834
356.67/357.77 c #Conflicts: 1340000 | #Constraints: 52834
356.67/357.77 c #Conflicts: 1341000 | #Constraints: 53834
356.67/357.77 c #Conflicts: 1342000 | #Constraints: 54834
356.67/357.77 c #Conflicts: 1343000 | #Constraints: 55834
356.67/357.77 c #Conflicts: 1344000 | #Constraints: 56835
356.67/357.77 c #Conflicts: 1345000 | #Constraints: 57835
356.67/357.77 c #Conflicts: 1346000 | #Constraints: 58835
356.67/357.77 c #Conflicts: 1347000 | #Constraints: 59835
356.67/357.77 c #Conflicts: 1348000 | #Constraints: 60835
356.67/357.77 c INPROCESSING
356.67/357.77 c GARBAGE COLLECT
356.67/357.77 c rational objective 350.5
362.46/363.56 c #Conflicts: 1349000 | #Constraints: 31743
362.46/363.56 c #Conflicts: 1350000 | #Constraints: 32743
362.46/363.56 c #Conflicts: 1351000 | #Constraints: 33743
362.46/363.56 c #Conflicts: 1352000 | #Constraints: 34744
362.46/363.56 c #Conflicts: 1353000 | #Constraints: 35744
362.46/363.56 c #Conflicts: 1354000 | #Constraints: 36745
362.46/363.56 c #Conflicts: 1355000 | #Constraints: 37745
362.46/363.56 c #Conflicts: 1356000 | #Constraints: 38745
362.46/363.56 c #Conflicts: 1357000 | #Constraints: 39745
362.46/363.56 c #Conflicts: 1358000 | #Constraints: 40822
362.46/363.56 c #Conflicts: 1359000 | #Constraints: 42127
362.46/363.56 c #Conflicts: 1360000 | #Constraints: 43610
362.46/363.56 c #Conflicts: 1361000 | #Constraints: 44882
362.46/363.56 c #Conflicts: 1362000 | #Constraints: 46417
362.46/363.56 c #Conflicts: 1363000 | #Constraints: 47847
362.46/363.56 c #Conflicts: 1364000 | #Constraints: 49322
362.46/363.56 c #Conflicts: 1365000 | #Constraints: 50603
362.46/363.56 c #Conflicts: 1366000 | #Constraints: 51828
362.46/363.56 c #Conflicts: 1367000 | #Constraints: 53425
362.46/363.56 c #Conflicts: 1368000 | #Constraints: 54795
362.46/363.56 c #Conflicts: 1369000 | #Constraints: 56321
362.46/363.56 c #Conflicts: 1370000 | #Constraints: 57690
362.46/363.56 c #Conflicts: 1371000 | #Constraints: 59173
362.46/363.56 c INPROCESSING
362.46/363.56 c GARBAGE COLLECT
362.46/363.56 c rational objective 350.5
372.12/373.22 c #Conflicts: 1372000 | #Constraints: 30880
372.12/373.22 c #Conflicts: 1373000 | #Constraints: 31880
372.12/373.22 c #Conflicts: 1374000 | #Constraints: 33322
372.12/373.22 c #Conflicts: 1375000 | #Constraints: 34974
372.12/373.22 c #Conflicts: 1376000 | #Constraints: 36558
372.12/373.22 c #Conflicts: 1377000 | #Constraints: 38155
372.12/373.22 c #Conflicts: 1378000 | #Constraints: 39709
372.12/373.22 c #Conflicts: 1379000 | #Constraints: 41338
372.12/373.22 c #Conflicts: 1380000 | #Constraints: 42895
372.12/373.22 c #Conflicts: 1381000 | #Constraints: 44456
372.12/373.22 c #Conflicts: 1382000 | #Constraints: 46137
372.12/373.22 c #Conflicts: 1383000 | #Constraints: 47746
372.12/373.22 c #Conflicts: 1384000 | #Constraints: 49461
372.12/373.22 c #Conflicts: 1385000 | #Constraints: 51066
372.12/373.22 c #Conflicts: 1386000 | #Constraints: 52749
372.12/373.22 c #Conflicts: 1387000 | #Constraints: 54384
372.12/373.22 c #Conflicts: 1388000 | #Constraints: 56091
372.12/373.22 c #Conflicts: 1389000 | #Constraints: 57768
372.12/373.22 c #Conflicts: 1390000 | #Constraints: 59458
372.12/373.22 c #Conflicts: 1391000 | #Constraints: 61177
372.12/373.22 c #Conflicts: 1392000 | #Constraints: 62787
372.12/373.22 c #Conflicts: 1393000 | #Constraints: 64231
372.12/373.22 c #Conflicts: 1394000 | #Constraints: 65960
372.12/373.22 c #Conflicts: 1395000 | #Constraints: 67636
372.12/373.22 c INPROCESSING
372.12/373.22 c GARBAGE COLLECT
372.12/373.22 c rational objective 350.5
381.30/382.44 c #Conflicts: 1396000 | #Constraints: 35773
381.30/382.44 c #Conflicts: 1397000 | #Constraints: 37469
381.30/382.44 c #Conflicts: 1398000 | #Constraints: 39047
381.30/382.44 c #Conflicts: 1399000 | #Constraints: 40550
381.30/382.44 c #Conflicts: 1400000 | #Constraints: 42194
381.30/382.44 c #Conflicts: 1401000 | #Constraints: 43870
381.30/382.44 c #Conflicts: 1402000 | #Constraints: 45518
381.30/382.44 c #Conflicts: 1403000 | #Constraints: 47238
381.30/382.44 c #Conflicts: 1404000 | #Constraints: 48940
381.30/382.44 c #Conflicts: 1405000 | #Constraints: 50621
381.30/382.44 c #Conflicts: 1406000 | #Constraints: 52174
381.30/382.44 c #Conflicts: 1407000 | #Constraints: 53809
381.30/382.44 c #Conflicts: 1408000 | #Constraints: 55486
381.30/382.44 c #Conflicts: 1409000 | #Constraints: 57090
381.30/382.44 c #Conflicts: 1410000 | #Constraints: 58816
381.30/382.44 c #Conflicts: 1411000 | #Constraints: 60486
381.30/382.44 c #Conflicts: 1412000 | #Constraints: 62143
381.30/382.44 c #Conflicts: 1413000 | #Constraints: 63879
381.30/382.44 c #Conflicts: 1414000 | #Constraints: 65565
381.30/382.44 c #Conflicts: 1415000 | #Constraints: 67170
381.30/382.44 c #Conflicts: 1416000 | #Constraints: 68815
381.30/382.44 c #Conflicts: 1417000 | #Constraints: 70441
381.30/382.44 c #Conflicts: 1418000 | #Constraints: 72152
381.30/382.44 c #Conflicts: 1419000 | #Constraints: 73830
381.30/382.44 c INPROCESSING
381.30/382.44 c GARBAGE COLLECT
381.30/382.44 c rational objective 350.5
390.17/391.32 c #Conflicts: 1420000 | #Constraints: 39022
390.17/391.32 c #Conflicts: 1421000 | #Constraints: 40660
390.17/391.32 c #Conflicts: 1422000 | #Constraints: 42279
390.17/391.32 c #Conflicts: 1423000 | #Constraints: 43970
390.17/391.32 c #Conflicts: 1424000 | #Constraints: 45602
390.17/391.32 c #Conflicts: 1425000 | #Constraints: 47265
390.17/391.32 c #Conflicts: 1426000 | #Constraints: 48907
390.17/391.32 c #Conflicts: 1427000 | #Constraints: 50609
390.17/391.32 c #Conflicts: 1428000 | #Constraints: 52148
390.17/391.32 c #Conflicts: 1429000 | #Constraints: 53841
390.17/391.32 c #Conflicts: 1430000 | #Constraints: 55502
390.17/391.32 c #Conflicts: 1431000 | #Constraints: 57099
390.17/391.32 c #Conflicts: 1432000 | #Constraints: 58788
390.17/391.32 c #Conflicts: 1433000 | #Constraints: 60496
390.17/391.32 c #Conflicts: 1434000 | #Constraints: 62071
390.17/391.32 c #Conflicts: 1435000 | #Constraints: 63638
390.17/391.32 c #Conflicts: 1436000 | #Constraints: 65201
390.17/391.32 c #Conflicts: 1437000 | #Constraints: 66782
390.17/391.32 c #Conflicts: 1438000 | #Constraints: 68360
390.17/391.32 c #Conflicts: 1439000 | #Constraints: 69956
390.17/391.32 c #Conflicts: 1440000 | #Constraints: 71576
390.17/391.32 c #Conflicts: 1441000 | #Constraints: 73096
390.17/391.32 c #Conflicts: 1442000 | #Constraints: 74736
390.17/391.32 c #Conflicts: 1443000 | #Constraints: 76347
390.17/391.32 c INPROCESSING
390.17/391.32 c GARBAGE COLLECT
390.17/391.32 c rational objective 350.5
397.25/398.42 c #Conflicts: 1444000 | #Constraints: 40232
397.25/398.42 c #Conflicts: 1445000 | #Constraints: 41846
397.25/398.42 c #Conflicts: 1446000 | #Constraints: 43355
397.25/398.42 c #Conflicts: 1447000 | #Constraints: 44888
397.25/398.42 c #Conflicts: 1448000 | #Constraints: 46547
397.25/398.42 c #Conflicts: 1449000 | #Constraints: 48274
397.25/398.42 c #Conflicts: 1450000 | #Constraints: 49948
397.25/398.42 c #Conflicts: 1451000 | #Constraints: 51676
397.25/398.42 c #Conflicts: 1452000 | #Constraints: 53389
397.25/398.42 c #Conflicts: 1453000 | #Constraints: 55115
397.25/398.42 c #Conflicts: 1454000 | #Constraints: 56828
397.25/398.42 c #Conflicts: 1455000 | #Constraints: 58537
397.25/398.42 c #Conflicts: 1456000 | #Constraints: 60226
397.25/398.42 c #Conflicts: 1457000 | #Constraints: 61947
397.25/398.42 c #Conflicts: 1458000 | #Constraints: 63627
397.25/398.42 c #Conflicts: 1459000 | #Constraints: 65293
397.25/398.42 c #Conflicts: 1460000 | #Constraints: 66919
397.25/398.42 c #Conflicts: 1461000 | #Constraints: 68562
397.25/398.42 c #Conflicts: 1462000 | #Constraints: 70139
397.25/398.42 c #Conflicts: 1463000 | #Constraints: 71735
397.25/398.42 c #Conflicts: 1464000 | #Constraints: 73349
397.25/398.42 c #Conflicts: 1465000 | #Constraints: 75061
397.25/398.42 c #Conflicts: 1466000 | #Constraints: 76667
397.25/398.42 c #Conflicts: 1467000 | #Constraints: 78346
397.25/398.42 c INPROCESSING
397.25/398.42 c GARBAGE COLLECT
397.25/398.42 c rational objective 350.5
404.83/406.04 c #Conflicts: 1468000 | #Constraints: 41073
404.83/406.04 c #Conflicts: 1469000 | #Constraints: 42753
404.83/406.04 c #Conflicts: 1470000 | #Constraints: 44340
404.83/406.04 c #Conflicts: 1471000 | #Constraints: 46039
404.83/406.04 c #Conflicts: 1472000 | #Constraints: 47640
404.83/406.04 c #Conflicts: 1473000 | #Constraints: 49286
404.83/406.04 c #Conflicts: 1474000 | #Constraints: 50941
404.83/406.04 c #Conflicts: 1475000 | #Constraints: 52585
404.83/406.04 c #Conflicts: 1476000 | #Constraints: 53821
404.83/406.04 c #Conflicts: 1477000 | #Constraints: 55471
404.83/406.04 c #Conflicts: 1478000 | #Constraints: 57154
404.83/406.04 c #Conflicts: 1479000 | #Constraints: 58858
404.83/406.04 c #Conflicts: 1480000 | #Constraints: 60489
404.83/406.04 c #Conflicts: 1481000 | #Constraints: 62155
404.83/406.04 c #Conflicts: 1482000 | #Constraints: 63809
404.83/406.04 c #Conflicts: 1483000 | #Constraints: 65374
404.83/406.04 c #Conflicts: 1484000 | #Constraints: 66769
404.83/406.04 c #Conflicts: 1485000 | #Constraints: 67857
404.83/406.04 c #Conflicts: 1486000 | #Constraints: 69081
404.83/406.04 c #Conflicts: 1487000 | #Constraints: 70487
404.83/406.04 c #Conflicts: 1488000 | #Constraints: 71488
404.83/406.04 c #Conflicts: 1489000 | #Constraints: 72707
404.83/406.04 c #Conflicts: 1490000 | #Constraints: 74127
404.83/406.04 c #Conflicts: 1491000 | #Constraints: 75713
404.83/406.04 c INPROCESSING
404.83/406.04 c GARBAGE COLLECT
404.83/406.04 c rational objective 350.5
412.30/413.55 c #Conflicts: 1492000 | #Constraints: 39181
412.30/413.55 c #Conflicts: 1493000 | #Constraints: 40181
412.30/413.55 c #Conflicts: 1494000 | #Constraints: 41232
412.30/413.55 c #Conflicts: 1495000 | #Constraints: 42418
412.30/413.55 c #Conflicts: 1496000 | #Constraints: 43942
412.30/413.55 c #Conflicts: 1497000 | #Constraints: 45562
412.30/413.55 c #Conflicts: 1498000 | #Constraints: 47224
412.30/413.55 c #Conflicts: 1499000 | #Constraints: 48867
412.30/413.55 c #Conflicts: 1500000 | #Constraints: 50508
412.30/413.55 c #Conflicts: 1501000 | #Constraints: 52127
412.30/413.55 c #Conflicts: 1502000 | #Constraints: 53722
412.30/413.55 c #Conflicts: 1503000 | #Constraints: 55356
412.30/413.55 c #Conflicts: 1504000 | #Constraints: 57069
412.30/413.55 c #Conflicts: 1505000 | #Constraints: 58682
412.30/413.55 c #Conflicts: 1506000 | #Constraints: 60364
412.30/413.55 c #Conflicts: 1507000 | #Constraints: 62013
412.30/413.55 c #Conflicts: 1508000 | #Constraints: 63596
412.30/413.55 c #Conflicts: 1509000 | #Constraints: 65214
412.30/413.55 c #Conflicts: 1510000 | #Constraints: 66861
412.30/413.55 c #Conflicts: 1511000 | #Constraints: 68509
412.30/413.55 c #Conflicts: 1512000 | #Constraints: 70073
412.30/413.55 c #Conflicts: 1513000 | #Constraints: 71738
412.30/413.55 c #Conflicts: 1514000 | #Constraints: 73372
412.30/413.55 c #Conflicts: 1515000 | #Constraints: 74941
412.30/413.55 c #Conflicts: 1516000 | #Constraints: 76535
412.30/413.55 c INPROCESSING
412.30/413.55 c GARBAGE COLLECT
412.30/413.55 c rational objective 350.5
420.88/422.11 c #Conflicts: 1517000 | #Constraints: 40121
420.88/422.11 c #Conflicts: 1518000 | #Constraints: 41704
420.88/422.11 c #Conflicts: 1519000 | #Constraints: 43338
420.88/422.11 c #Conflicts: 1520000 | #Constraints: 44972
420.88/422.11 c #Conflicts: 1521000 | #Constraints: 46639
420.88/422.11 c #Conflicts: 1522000 | #Constraints: 48216
420.88/422.11 c #Conflicts: 1523000 | #Constraints: 49761
420.88/422.11 c #Conflicts: 1524000 | #Constraints: 51094
420.88/422.11 c #Conflicts: 1525000 | #Constraints: 52094
420.88/422.11 c #Conflicts: 1526000 | #Constraints: 53363
420.88/422.11 c #Conflicts: 1527000 | #Constraints: 54989
420.88/422.11 c #Conflicts: 1528000 | #Constraints: 56598
420.88/422.11 c #Conflicts: 1529000 | #Constraints: 58236
420.88/422.11 c #Conflicts: 1530000 | #Constraints: 59838
420.88/422.11 c #Conflicts: 1531000 | #Constraints: 61408
420.88/422.11 c #Conflicts: 1532000 | #Constraints: 63079
420.88/422.11 c #Conflicts: 1533000 | #Constraints: 64742
420.88/422.11 c #Conflicts: 1534000 | #Constraints: 66363
420.88/422.11 c #Conflicts: 1535000 | #Constraints: 67964
420.88/422.11 c #Conflicts: 1536000 | #Constraints: 69562
420.88/422.11 c #Conflicts: 1537000 | #Constraints: 71176
420.88/422.11 c #Conflicts: 1538000 | #Constraints: 72802
420.88/422.11 c #Conflicts: 1539000 | #Constraints: 74392
420.88/422.11 c #Conflicts: 1540000 | #Constraints: 76138
420.88/422.11 c #Conflicts: 1541000 | #Constraints: 77731
420.88/422.11 c INPROCESSING
420.88/422.11 c GARBAGE COLLECT
420.88/422.11 c rational objective 350.5
427.35/428.65 c #Conflicts: 1542000 | #Constraints: 41004
427.35/428.65 c #Conflicts: 1543000 | #Constraints: 42600
427.35/428.65 c #Conflicts: 1544000 | #Constraints: 44215
427.35/428.65 c #Conflicts: 1545000 | #Constraints: 45729
427.35/428.65 c #Conflicts: 1546000 | #Constraints: 47200
427.35/428.65 c #Conflicts: 1547000 | #Constraints: 48221
427.35/428.65 c #Conflicts: 1548000 | #Constraints: 49410
427.35/428.65 c #Conflicts: 1549000 | #Constraints: 50446
427.35/428.65 c #Conflicts: 1550000 | #Constraints: 51446
427.35/428.65 c #Conflicts: 1551000 | #Constraints: 52669
427.35/428.65 c #Conflicts: 1552000 | #Constraints: 54306
427.35/428.65 c #Conflicts: 1553000 | #Constraints: 55858
427.35/428.65 c #Conflicts: 1554000 | #Constraints: 57421
427.35/428.65 c #Conflicts: 1555000 | #Constraints: 58902
427.35/428.65 c #Conflicts: 1556000 | #Constraints: 60541
427.35/428.65 c #Conflicts: 1557000 | #Constraints: 62177
427.35/428.65 c #Conflicts: 1558000 | #Constraints: 63940
427.35/428.65 c #Conflicts: 1559000 | #Constraints: 65607
427.35/428.65 c #Conflicts: 1560000 | #Constraints: 67217
427.35/428.65 c #Conflicts: 1561000 | #Constraints: 68862
427.35/428.65 c #Conflicts: 1562000 | #Constraints: 70607
427.35/428.65 c #Conflicts: 1563000 | #Constraints: 72232
427.35/428.65 c #Conflicts: 1564000 | #Constraints: 73788
427.35/428.65 c #Conflicts: 1565000 | #Constraints: 75317
427.35/428.65 c #Conflicts: 1566000 | #Constraints: 76836
427.35/428.65 c INPROCESSING
427.35/428.65 c GARBAGE COLLECT
427.35/428.65 c rational objective 350.5
434.23/435.56 c #Conflicts: 1567000 | #Constraints: 40179
434.23/435.56 c #Conflicts: 1568000 | #Constraints: 41222
434.23/435.56 c #Conflicts: 1569000 | #Constraints: 42223
434.23/435.56 c #Conflicts: 1570000 | #Constraints: 43318
434.23/435.56 c #Conflicts: 1571000 | #Constraints: 44373
434.23/435.56 c #Conflicts: 1572000 | #Constraints: 45444
434.23/435.56 c #Conflicts: 1573000 | #Constraints: 46446
434.23/435.56 c #Conflicts: 1574000 | #Constraints: 47446
434.23/435.56 c #Conflicts: 1575000 | #Constraints: 48446
434.23/435.56 c #Conflicts: 1576000 | #Constraints: 49448
434.23/435.56 c #Conflicts: 1577000 | #Constraints: 50448
434.23/435.56 c #Conflicts: 1578000 | #Constraints: 51484
434.23/435.56 c #Conflicts: 1579000 | #Constraints: 52523
434.23/435.56 c #Conflicts: 1580000 | #Constraints: 53523
434.23/435.56 c #Conflicts: 1581000 | #Constraints: 54581
434.23/435.56 c #Conflicts: 1582000 | #Constraints: 55927
434.23/435.56 c #Conflicts: 1583000 | #Constraints: 57404
434.23/435.56 c #Conflicts: 1584000 | #Constraints: 58940
434.23/435.56 c #Conflicts: 1585000 | #Constraints: 60404
434.23/435.56 c #Conflicts: 1586000 | #Constraints: 61727
434.23/435.56 c #Conflicts: 1587000 | #Constraints: 63203
434.23/435.56 c #Conflicts: 1588000 | #Constraints: 64731
434.23/435.56 c #Conflicts: 1589000 | #Constraints: 66249
434.23/435.56 c #Conflicts: 1590000 | #Constraints: 67756
434.23/435.56 c #Conflicts: 1591000 | #Constraints: 69304
434.23/435.56 c INPROCESSING
434.23/435.56 c GARBAGE COLLECT
434.23/435.56 c rational objective 350.5
439.72/441.06 c #Conflicts: 1592000 | #Constraints: 36056
439.72/441.06 c #Conflicts: 1593000 | #Constraints: 37698
439.72/441.06 c #Conflicts: 1594000 | #Constraints: 39227
439.72/441.06 c #Conflicts: 1595000 | #Constraints: 40346
439.72/441.06 c #Conflicts: 1596000 | #Constraints: 41346
439.72/441.06 c #Conflicts: 1597000 | #Constraints: 42348
439.72/441.06 c #Conflicts: 1598000 | #Constraints: 43356
439.72/441.06 c #Conflicts: 1599000 | #Constraints: 44428
439.72/441.06 c #Conflicts: 1600000 | #Constraints: 45750
439.72/441.06 c #Conflicts: 1601000 | #Constraints: 46987
439.72/441.06 c #Conflicts: 1602000 | #Constraints: 48026
439.72/441.06 c #Conflicts: 1603000 | #Constraints: 49040
439.72/441.06 c #Conflicts: 1604000 | #Constraints: 50050
439.72/441.06 c #Conflicts: 1605000 | #Constraints: 51075
439.72/441.06 c #Conflicts: 1606000 | #Constraints: 52075
439.72/441.06 c #Conflicts: 1607000 | #Constraints: 53116
439.72/441.06 c #Conflicts: 1608000 | #Constraints: 54117
439.72/441.06 c #Conflicts: 1609000 | #Constraints: 55117
439.72/441.06 c #Conflicts: 1610000 | #Constraints: 56174
439.72/441.06 c #Conflicts: 1611000 | #Constraints: 57309
439.72/441.06 c #Conflicts: 1612000 | #Constraints: 58522
439.72/441.06 c #Conflicts: 1613000 | #Constraints: 59700
439.72/441.06 c #Conflicts: 1614000 | #Constraints: 61253
439.72/441.06 c #Conflicts: 1615000 | #Constraints: 62460
439.72/441.06 c #Conflicts: 1616000 | #Constraints: 63948
439.72/441.06 c INPROCESSING
439.72/441.06 c GARBAGE COLLECT
439.72/441.06 c rational objective 350.5
445.30/446.63 c #Conflicts: 1617000 | #Constraints: 33276
445.30/446.63 c #Conflicts: 1618000 | #Constraints: 34276
445.30/446.63 c #Conflicts: 1619000 | #Constraints: 35351
445.30/446.63 c #Conflicts: 1620000 | #Constraints: 36498
445.30/446.63 c #Conflicts: 1621000 | #Constraints: 37524
445.30/446.63 c #Conflicts: 1622000 | #Constraints: 38528
445.30/446.63 c #Conflicts: 1623000 | #Constraints: 39602
445.30/446.63 c #Conflicts: 1624000 | #Constraints: 41165
445.30/446.63 c #Conflicts: 1625000 | #Constraints: 42689
445.30/446.63 c #Conflicts: 1626000 | #Constraints: 43989
445.30/446.63 c #Conflicts: 1627000 | #Constraints: 45053
445.30/446.63 c #Conflicts: 1628000 | #Constraints: 46054
445.30/446.63 c #Conflicts: 1629000 | #Constraints: 47156
445.30/446.63 c #Conflicts: 1630000 | #Constraints: 48456
445.30/446.63 c #Conflicts: 1631000 | #Constraints: 49641
445.30/446.63 c #Conflicts: 1632000 | #Constraints: 50641
445.30/446.63 c #Conflicts: 1633000 | #Constraints: 51661
445.30/446.63 c #Conflicts: 1634000 | #Constraints: 53164
445.30/446.63 c #Conflicts: 1635000 | #Constraints: 54767
445.30/446.63 c #Conflicts: 1636000 | #Constraints: 56416
445.30/446.63 c #Conflicts: 1637000 | #Constraints: 57949
445.30/446.63 c #Conflicts: 1638000 | #Constraints: 59180
445.30/446.63 c #Conflicts: 1639000 | #Constraints: 60180
445.30/446.63 c #Conflicts: 1640000 | #Constraints: 61448
445.30/446.63 c #Conflicts: 1641000 | #Constraints: 62971
445.30/446.63 c #Conflicts: 1642000 | #Constraints: 64637
445.30/446.63 c INPROCESSING
445.30/446.63 c GARBAGE COLLECT
445.30/446.63 c rational objective 350.5
454.57/455.92 c #Conflicts: 1643000 | #Constraints: 33699
454.57/455.92 c #Conflicts: 1644000 | #Constraints: 34699
454.57/455.92 c #Conflicts: 1645000 | #Constraints: 35788
454.57/455.92 c #Conflicts: 1646000 | #Constraints: 37236
454.57/455.92 c #Conflicts: 1647000 | #Constraints: 38945
454.57/455.92 c #Conflicts: 1648000 | #Constraints: 40602
454.57/455.92 c #Conflicts: 1649000 | #Constraints: 42185
454.57/455.92 c #Conflicts: 1650000 | #Constraints: 43773
454.57/455.92 c #Conflicts: 1651000 | #Constraints: 45461
454.57/455.92 c #Conflicts: 1652000 | #Constraints: 47072
454.57/455.92 c #Conflicts: 1653000 | #Constraints: 48669
454.57/455.92 c #Conflicts: 1654000 | #Constraints: 49821
454.57/455.92 c #Conflicts: 1655000 | #Constraints: 50957
454.57/455.92 c #Conflicts: 1656000 | #Constraints: 52199
454.57/455.92 c #Conflicts: 1657000 | #Constraints: 53337
454.57/455.92 c #Conflicts: 1658000 | #Constraints: 54387
454.57/455.92 c #Conflicts: 1659000 | #Constraints: 55790
454.57/455.92 c #Conflicts: 1660000 | #Constraints: 57020
454.57/455.92 c #Conflicts: 1661000 | #Constraints: 58309
454.57/455.92 c #Conflicts: 1662000 | #Constraints: 59850
454.57/455.92 c #Conflicts: 1663000 | #Constraints: 61480
454.57/455.92 c #Conflicts: 1664000 | #Constraints: 62983
454.57/455.92 c #Conflicts: 1665000 | #Constraints: 64643
454.57/455.92 c #Conflicts: 1666000 | #Constraints: 66182
454.57/455.92 c #Conflicts: 1667000 | #Constraints: 67702
454.57/455.92 c #Conflicts: 1668000 | #Constraints: 69352
454.57/455.92 c INPROCESSING
454.57/455.92 c GARBAGE COLLECT
454.57/455.92 c rational objective 350.5
459.05/460.46 c #Conflicts: 1669000 | #Constraints: 36113
459.05/460.46 c #Conflicts: 1670000 | #Constraints: 37212
459.05/460.46 c #Conflicts: 1671000 | #Constraints: 38215
459.05/460.46 c #Conflicts: 1672000 | #Constraints: 39230
459.05/460.46 c #Conflicts: 1673000 | #Constraints: 40230
459.05/460.46 c #Conflicts: 1674000 | #Constraints: 41278
459.05/460.46 c #Conflicts: 1675000 | #Constraints: 42283
459.05/460.46 c #Conflicts: 1676000 | #Constraints: 43497
459.05/460.46 c #Conflicts: 1677000 | #Constraints: 44511
459.05/460.46 c #Conflicts: 1678000 | #Constraints: 45538
459.05/460.46 c #Conflicts: 1679000 | #Constraints: 46638
459.05/460.46 c #Conflicts: 1680000 | #Constraints: 47722
459.05/460.46 c #Conflicts: 1681000 | #Constraints: 48860
459.05/460.46 c #Conflicts: 1682000 | #Constraints: 49997
459.05/460.46 c #Conflicts: 1683000 | #Constraints: 50997
459.05/460.46 c #Conflicts: 1684000 | #Constraints: 51998
459.05/460.46 c #Conflicts: 1685000 | #Constraints: 53035
459.05/460.46 c #Conflicts: 1686000 | #Constraints: 54047
459.05/460.46 c #Conflicts: 1687000 | #Constraints: 55128
459.05/460.46 c #Conflicts: 1688000 | #Constraints: 56152
459.05/460.46 c #Conflicts: 1689000 | #Constraints: 57152
459.05/460.46 c #Conflicts: 1690000 | #Constraints: 58155
459.05/460.46 c #Conflicts: 1691000 | #Constraints: 59214
459.05/460.46 c #Conflicts: 1692000 | #Constraints: 60224
459.05/460.46 c #Conflicts: 1693000 | #Constraints: 61381
459.05/460.46 c #Conflicts: 1694000 | #Constraints: 62709
459.05/460.46 c INPROCESSING
459.05/460.46 c GARBAGE COLLECT
459.05/460.46 c rational objective 350.5
467.73/469.18 c #Conflicts: 1695000 | #Constraints: 32776
467.73/469.18 c #Conflicts: 1696000 | #Constraints: 33776
467.73/469.18 c #Conflicts: 1697000 | #Constraints: 35068
467.73/469.18 c #Conflicts: 1698000 | #Constraints: 36338
467.73/469.18 c #Conflicts: 1699000 | #Constraints: 37339
467.73/469.18 c #Conflicts: 1700000 | #Constraints: 38339
467.73/469.18 c #Conflicts: 1701000 | #Constraints: 39570
467.73/469.18 c #Conflicts: 1702000 | #Constraints: 41081
467.73/469.18 c #Conflicts: 1703000 | #Constraints: 42578
467.73/469.18 c #Conflicts: 1704000 | #Constraints: 44075
467.73/469.18 c #Conflicts: 1705000 | #Constraints: 45078
467.73/469.18 c #Conflicts: 1706000 | #Constraints: 46402
467.73/469.18 c #Conflicts: 1707000 | #Constraints: 47685
467.73/469.18 c #Conflicts: 1708000 | #Constraints: 49063
467.73/469.18 c #Conflicts: 1709000 | #Constraints: 50318
467.73/469.18 c #Conflicts: 1710000 | #Constraints: 51771
467.73/469.18 c #Conflicts: 1711000 | #Constraints: 53453
467.73/469.18 c #Conflicts: 1712000 | #Constraints: 54462
467.73/469.18 c #Conflicts: 1713000 | #Constraints: 55463
467.73/469.18 c #Conflicts: 1714000 | #Constraints: 56564
467.73/469.18 c #Conflicts: 1715000 | #Constraints: 57663
467.73/469.18 c #Conflicts: 1716000 | #Constraints: 58828
467.73/469.18 c #Conflicts: 1717000 | #Constraints: 59878
467.73/469.18 c #Conflicts: 1718000 | #Constraints: 60878
467.73/469.18 c #Conflicts: 1719000 | #Constraints: 61886
467.73/469.18 c #Conflicts: 1720000 | #Constraints: 62886
467.73/469.18 c INPROCESSING
467.73/469.18 c GARBAGE COLLECT
467.73/469.18 c rational objective 350.5
474.31/475.71 c #Conflicts: 1721000 | #Constraints: 32770
474.31/475.71 c #Conflicts: 1722000 | #Constraints: 33770
474.31/475.71 c #Conflicts: 1723000 | #Constraints: 34780
474.31/475.71 c #Conflicts: 1724000 | #Constraints: 36228
474.31/475.71 c #Conflicts: 1725000 | #Constraints: 37737
474.31/475.71 c #Conflicts: 1726000 | #Constraints: 38974
474.31/475.71 c #Conflicts: 1727000 | #Constraints: 39975
474.31/475.71 c #Conflicts: 1728000 | #Constraints: 41224
474.31/475.71 c #Conflicts: 1729000 | #Constraints: 42745
474.31/475.71 c #Conflicts: 1730000 | #Constraints: 44127
474.31/475.71 c #Conflicts: 1731000 | #Constraints: 45251
474.31/475.71 c #Conflicts: 1732000 | #Constraints: 46563
474.31/475.71 c #Conflicts: 1733000 | #Constraints: 47844
474.31/475.71 c #Conflicts: 1734000 | #Constraints: 48976
474.31/475.71 c #Conflicts: 1735000 | #Constraints: 50140
474.31/475.71 c #Conflicts: 1736000 | #Constraints: 51168
474.31/475.71 c #Conflicts: 1737000 | #Constraints: 52183
474.31/475.71 c #Conflicts: 1738000 | #Constraints: 53210
474.31/475.71 c #Conflicts: 1739000 | #Constraints: 54233
474.31/475.71 c #Conflicts: 1740000 | #Constraints: 55257
474.31/475.71 c #Conflicts: 1741000 | #Constraints: 56321
474.31/475.71 c #Conflicts: 1742000 | #Constraints: 57656
474.31/475.71 c #Conflicts: 1743000 | #Constraints: 58723
474.31/475.71 c #Conflicts: 1744000 | #Constraints: 59766
474.31/475.71 c #Conflicts: 1745000 | #Constraints: 61253
474.31/475.71 c #Conflicts: 1746000 | #Constraints: 62751
474.31/475.71 c INPROCESSING
474.31/475.71 c GARBAGE COLLECT
474.31/475.71 c rational objective 350.5
481.70/483.13 c #Conflicts: 1747000 | #Constraints: 32669
481.70/483.13 c #Conflicts: 1748000 | #Constraints: 33669
481.70/483.13 c #Conflicts: 1749000 | #Constraints: 34670
481.70/483.13 c #Conflicts: 1750000 | #Constraints: 36094
481.70/483.13 c #Conflicts: 1751000 | #Constraints: 37550
481.70/483.13 c #Conflicts: 1752000 | #Constraints: 38579
481.70/483.13 c #Conflicts: 1753000 | #Constraints: 39912
481.70/483.13 c #Conflicts: 1754000 | #Constraints: 41293
481.70/483.13 c #Conflicts: 1755000 | #Constraints: 42567
481.70/483.13 c #Conflicts: 1756000 | #Constraints: 43802
481.70/483.13 c #Conflicts: 1757000 | #Constraints: 44895
481.70/483.13 c #Conflicts: 1758000 | #Constraints: 45895
481.70/483.13 c #Conflicts: 1759000 | #Constraints: 47334
481.70/483.13 c #Conflicts: 1760000 | #Constraints: 48709
481.70/483.13 c #Conflicts: 1761000 | #Constraints: 49932
481.70/483.13 c #Conflicts: 1762000 | #Constraints: 51177
481.70/483.13 c #Conflicts: 1763000 | #Constraints: 52641
481.70/483.13 c #Conflicts: 1764000 | #Constraints: 54018
481.70/483.13 c #Conflicts: 1765000 | #Constraints: 55513
481.70/483.13 c #Conflicts: 1766000 | #Constraints: 56515
481.70/483.13 c #Conflicts: 1767000 | #Constraints: 57890
481.70/483.13 c #Conflicts: 1768000 | #Constraints: 59301
481.70/483.13 c #Conflicts: 1769000 | #Constraints: 60665
481.70/483.13 c #Conflicts: 1770000 | #Constraints: 62012
481.70/483.13 c #Conflicts: 1771000 | #Constraints: 63428
481.70/483.13 c #Conflicts: 1772000 | #Constraints: 64767
481.70/483.13 c #Conflicts: 1773000 | #Constraints: 66396
481.70/483.13 c INPROCESSING
481.70/483.13 c GARBAGE COLLECT
481.70/483.13 c rational objective 350.5
488.47/489.97 c #Conflicts: 1774000 | #Constraints: 34572
488.47/489.97 c #Conflicts: 1775000 | #Constraints: 35572
488.47/489.97 c #Conflicts: 1776000 | #Constraints: 36910
488.47/489.97 c #Conflicts: 1777000 | #Constraints: 38407
488.47/489.97 c #Conflicts: 1778000 | #Constraints: 39984
488.47/489.97 c #Conflicts: 1779000 | #Constraints: 41608
488.47/489.97 c #Conflicts: 1780000 | #Constraints: 43171
488.47/489.97 c #Conflicts: 1781000 | #Constraints: 44788
488.47/489.97 c #Conflicts: 1782000 | #Constraints: 46465
488.47/489.97 c #Conflicts: 1783000 | #Constraints: 48147
488.47/489.97 c #Conflicts: 1784000 | #Constraints: 49765
488.47/489.97 c #Conflicts: 1785000 | #Constraints: 51377
488.47/489.97 c #Conflicts: 1786000 | #Constraints: 52954
488.47/489.97 c #Conflicts: 1787000 | #Constraints: 54441
488.47/489.97 c #Conflicts: 1788000 | #Constraints: 56053
488.47/489.97 c #Conflicts: 1789000 | #Constraints: 57664
488.47/489.97 c #Conflicts: 1790000 | #Constraints: 59168
488.47/489.97 c #Conflicts: 1791000 | #Constraints: 60745
488.47/489.97 c #Conflicts: 1792000 | #Constraints: 62348
488.47/489.97 c #Conflicts: 1793000 | #Constraints: 63888
488.47/489.97 c #Conflicts: 1794000 | #Constraints: 65434
488.47/489.97 c #Conflicts: 1795000 | #Constraints: 67015
488.47/489.97 c #Conflicts: 1796000 | #Constraints: 68610
488.47/489.97 c #Conflicts: 1797000 | #Constraints: 70185
488.47/489.97 c #Conflicts: 1798000 | #Constraints: 71800
488.47/489.97 c #Conflicts: 1799000 | #Constraints: 73292
488.47/489.97 c #Conflicts: 1800000 | #Constraints: 74769
488.47/489.97 c INPROCESSING
488.47/489.97 c GARBAGE COLLECT
488.47/489.97 c rational objective 350.5
498.64/500.18 c #Conflicts: 1801000 | #Constraints: 39388
498.64/500.18 c #Conflicts: 1802000 | #Constraints: 41053
498.64/500.18 c #Conflicts: 1803000 | #Constraints: 42700
498.64/500.18 c #Conflicts: 1804000 | #Constraints: 44310
498.64/500.18 c #Conflicts: 1805000 | #Constraints: 45873
498.64/500.18 c #Conflicts: 1806000 | #Constraints: 47445
498.64/500.18 c #Conflicts: 1807000 | #Constraints: 49047
498.64/500.18 c #Conflicts: 1808000 | #Constraints: 50619
498.64/500.18 c #Conflicts: 1809000 | #Constraints: 52207
498.64/500.18 c #Conflicts: 1810000 | #Constraints: 53832
498.64/500.18 c #Conflicts: 1811000 | #Constraints: 55428
498.64/500.18 c #Conflicts: 1812000 | #Constraints: 57035
498.64/500.18 c #Conflicts: 1813000 | #Constraints: 58636
498.64/500.18 c #Conflicts: 1814000 | #Constraints: 60289
498.64/500.18 c #Conflicts: 1815000 | #Constraints: 61866
498.64/500.18 c #Conflicts: 1816000 | #Constraints: 63437
498.64/500.18 c #Conflicts: 1817000 | #Constraints: 65025
498.64/500.18 c #Conflicts: 1818000 | #Constraints: 66651
498.64/500.18 c #Conflicts: 1819000 | #Constraints: 68261
498.64/500.18 c #Conflicts: 1820000 | #Constraints: 69863
498.64/500.18 c #Conflicts: 1821000 | #Constraints: 71477
498.64/500.18 c #Conflicts: 1822000 | #Constraints: 72991
498.64/500.18 c #Conflicts: 1823000 | #Constraints: 74495
498.64/500.18 c #Conflicts: 1824000 | #Constraints: 76029
498.64/500.18 c #Conflicts: 1825000 | #Constraints: 77566
498.64/500.18 c #Conflicts: 1826000 | #Constraints: 79152
498.64/500.18 c #Conflicts: 1827000 | #Constraints: 80765
498.64/500.18 c INPROCESSING
498.64/500.18 c GARBAGE COLLECT
498.64/500.18 c rational objective 350.5
510.10/511.67 c #Conflicts: 1828000 | #Constraints: 42361
510.10/511.67 c #Conflicts: 1829000 | #Constraints: 43895
510.10/511.67 c #Conflicts: 1830000 | #Constraints: 45528
510.10/511.67 c #Conflicts: 1831000 | #Constraints: 47043
510.10/511.67 c #Conflicts: 1832000 | #Constraints: 48599
510.10/511.67 c #Conflicts: 1833000 | #Constraints: 50286
510.10/511.67 c #Conflicts: 1834000 | #Constraints: 51942
510.10/511.67 c #Conflicts: 1835000 | #Constraints: 53640
510.10/511.67 c #Conflicts: 1836000 | #Constraints: 55315
510.10/511.67 c #Conflicts: 1837000 | #Constraints: 56921
510.10/511.67 c #Conflicts: 1838000 | #Constraints: 58532
510.10/511.67 c #Conflicts: 1839000 | #Constraints: 60101
510.10/511.67 c #Conflicts: 1840000 | #Constraints: 61616
510.10/511.67 c #Conflicts: 1841000 | #Constraints: 63231
510.10/511.67 c #Conflicts: 1842000 | #Constraints: 64851
510.10/511.67 c #Conflicts: 1843000 | #Constraints: 66455
510.10/511.67 c #Conflicts: 1844000 | #Constraints: 68050
510.10/511.67 c #Conflicts: 1845000 | #Constraints: 69546
510.10/511.67 c #Conflicts: 1846000 | #Constraints: 71053
510.10/511.67 c #Conflicts: 1847000 | #Constraints: 72541
510.10/511.67 c #Conflicts: 1848000 | #Constraints: 74056
510.10/511.67 c #Conflicts: 1849000 | #Constraints: 75556
510.10/511.67 c #Conflicts: 1850000 | #Constraints: 77064
510.10/511.67 c #Conflicts: 1851000 | #Constraints: 78583
510.10/511.67 c #Conflicts: 1852000 | #Constraints: 80096
510.10/511.67 c #Conflicts: 1853000 | #Constraints: 81602
510.10/511.67 c #Conflicts: 1854000 | #Constraints: 83131
510.10/511.67 c INPROCESSING
510.10/511.67 c GARBAGE COLLECT
510.10/511.67 c rational objective 350.5
536.72/538.34 c #Conflicts: 1855000 | #Constraints: 43478
536.72/538.34 c #Conflicts: 1856000 | #Constraints: 45003
536.72/538.34 c #Conflicts: 1857000 | #Constraints: 46302
536.72/538.34 c #Conflicts: 1858000 | #Constraints: 47614
536.72/538.34 c #Conflicts: 1859000 | #Constraints: 48859
536.72/538.34 c #Conflicts: 1860000 | #Constraints: 50011
536.72/538.34 c #Conflicts: 1861000 | #Constraints: 51542
536.72/538.34 c #Conflicts: 1862000 | #Constraints: 53128
536.72/538.34 c #Conflicts: 1863000 | #Constraints: 54792
536.72/538.34 c #Conflicts: 1864000 | #Constraints: 56239
536.72/538.34 c #Conflicts: 1865000 | #Constraints: 57481
536.72/538.34 c #Conflicts: 1866000 | #Constraints: 58619
536.72/538.34 c #Conflicts: 1867000 | #Constraints: 59854
536.72/538.34 c #Conflicts: 1868000 | #Constraints: 60984
536.72/538.34 c #Conflicts: 1869000 | #Constraints: 62083
536.72/538.34 c #Conflicts: 1870000 | #Constraints: 63233
536.72/538.34 c #Conflicts: 1871000 | #Constraints: 64660
536.72/538.34 c #Conflicts: 1872000 | #Constraints: 66255
536.72/538.34 c #Conflicts: 1873000 | #Constraints: 67792
536.72/538.34 c #Conflicts: 1874000 | #Constraints: 69362
536.72/538.34 c #Conflicts: 1875000 | #Constraints: 70956
536.72/538.34 c #Conflicts: 1876000 | #Constraints: 72397
536.72/538.34 c #Conflicts: 1877000 | #Constraints: 73684
536.72/538.34 c #Conflicts: 1878000 | #Constraints: 74881
536.72/538.34 c #Conflicts: 1879000 | #Constraints: 76174
536.72/538.34 c #Conflicts: 1880000 | #Constraints: 77595
536.72/538.34 c #Conflicts: 1881000 | #Constraints: 79043
536.72/538.34 c INPROCESSING
536.72/538.34 c GARBAGE COLLECT
536.72/538.34 c #Conflicts: 1882000 | #Constraints: 41119
536.72/538.34 c #Conflicts: 1883000 | #Constraints: 42659
536.72/538.34 c #Conflicts: 1884000 | #Constraints: 43844
536.72/538.34 c #Conflicts: 1885000 | #Constraints: 44912
536.72/538.34 c #Conflicts: 1886000 | #Constraints: 46365
536.72/538.34 c #Conflicts: 1887000 | #Constraints: 47892
536.72/538.34 c #Conflicts: 1888000 | #Constraints: 49385
536.72/538.34 c #Conflicts: 1889000 | #Constraints: 50861
536.72/538.34 c #Conflicts: 1890000 | #Constraints: 52402
536.72/538.34 c #Conflicts: 1891000 | #Constraints: 54008
536.72/538.34 c #Conflicts: 1892000 | #Constraints: 55583
536.72/538.34 c #Conflicts: 1893000 | #Constraints: 56815
536.72/538.34 c #Conflicts: 1894000 | #Constraints: 57817
536.72/538.34 c #Conflicts: 1895000 | #Constraints: 59108
536.72/538.34 c #Conflicts: 1896000 | #Constraints: 60621
536.72/538.34 c #Conflicts: 1897000 | #Constraints: 62126
536.72/538.34 c #Conflicts: 1898000 | #Constraints: 63665
536.72/538.34 c #Conflicts: 1899000 | #Constraints: 65236
536.72/538.34 c #Conflicts: 1900000 | #Constraints: 66257
536.72/538.34 c #Conflicts: 1901000 | #Constraints: 67762
536.72/538.34 c #Conflicts: 1902000 | #Constraints: 69344
536.72/538.34 c #Conflicts: 1903000 | #Constraints: 70653
536.72/538.34 c #Conflicts: 1904000 | #Constraints: 71823
536.72/538.34 c #Conflicts: 1905000 | #Constraints: 73055
536.72/538.34 c #Conflicts: 1906000 | #Constraints: 74362
536.72/538.34 c #Conflicts: 1907000 | #Constraints: 75711
536.72/538.34 c #Conflicts: 1908000 | #Constraints: 76947
536.72/538.34 c #Conflicts: 1909000 | #Constraints: 78283
536.72/538.34 c INPROCESSING
536.72/538.34 c GARBAGE COLLECT
536.72/538.34 c #Conflicts: 1910000 | #Constraints: 40933
536.72/538.34 c #Conflicts: 1911000 | #Constraints: 42311
536.72/538.34 c #Conflicts: 1912000 | #Constraints: 43475
536.72/538.34 c #Conflicts: 1913000 | #Constraints: 44953
536.72/538.34 c #Conflicts: 1914000 | #Constraints: 46391
536.72/538.34 c #Conflicts: 1915000 | #Constraints: 47920
536.72/538.34 c #Conflicts: 1916000 | #Constraints: 49477
536.72/538.34 c #Conflicts: 1917000 | #Constraints: 51067
536.72/538.34 c #Conflicts: 1918000 | #Constraints: 52598
536.72/538.34 c #Conflicts: 1919000 | #Constraints: 53822
536.72/538.34 c #Conflicts: 1920000 | #Constraints: 54950
536.72/538.34 c #Conflicts: 1921000 | #Constraints: 56111
536.72/538.34 c #Conflicts: 1922000 | #Constraints: 57434
536.72/538.34 c #Conflicts: 1923000 | #Constraints: 59088
536.72/538.34 c #Conflicts: 1924000 | #Constraints: 60410
536.72/538.34 c #Conflicts: 1925000 | #Constraints: 61844
536.72/538.34 c #Conflicts: 1926000 | #Constraints: 63244
536.72/538.34 c #Conflicts: 1927000 | #Constraints: 64373
536.72/538.34 c #Conflicts: 1928000 | #Constraints: 65516
536.72/538.34 c #Conflicts: 1929000 | #Constraints: 66882
536.72/538.34 c #Conflicts: 1930000 | #Constraints: 68500
536.72/538.34 c #Conflicts: 1931000 | #Constraints: 70107
536.72/538.34 c #Conflicts: 1932000 | #Constraints: 71639
558.65/560.36 c #Conflicts: 1933000 | #Constraints: 73226
558.65/560.36 c #Conflicts: 1934000 | #Constraints: 74688
558.65/560.36 c #Conflicts: 1935000 | #Constraints: 75801
558.65/560.36 c #Conflicts: 1936000 | #Constraints: 77032
558.65/560.36 c #Conflicts: 1937000 | #Constraints: 78383
558.65/560.36 c INPROCESSING
558.65/560.36 c GARBAGE COLLECT
558.65/560.36 c #Conflicts: 1938000 | #Constraints: 41005
558.65/560.36 c #Conflicts: 1939000 | #Constraints: 42057
558.65/560.36 c #Conflicts: 1940000 | #Constraints: 43315
558.65/560.36 c #Conflicts: 1941000 | #Constraints: 44944
558.65/560.36 c #Conflicts: 1942000 | #Constraints: 46470
558.65/560.36 c #Conflicts: 1943000 | #Constraints: 47553
558.65/560.36 c #Conflicts: 1944000 | #Constraints: 48740
558.65/560.36 c #Conflicts: 1945000 | #Constraints: 49951
558.65/560.36 c #Conflicts: 1946000 | #Constraints: 51086
558.65/560.36 c #Conflicts: 1947000 | #Constraints: 52319
558.65/560.36 c #Conflicts: 1948000 | #Constraints: 53422
558.65/560.36 c #Conflicts: 1949000 | #Constraints: 54639
558.65/560.36 c #Conflicts: 1950000 | #Constraints: 55796
558.65/560.36 c #Conflicts: 1951000 | #Constraints: 56808
558.65/560.36 c #Conflicts: 1952000 | #Constraints: 57808
558.65/560.36 c #Conflicts: 1953000 | #Constraints: 58981
558.65/560.36 c #Conflicts: 1954000 | #Constraints: 60359
558.65/560.36 c #Conflicts: 1955000 | #Constraints: 61790
558.65/560.36 c #Conflicts: 1956000 | #Constraints: 62887
558.65/560.36 c #Conflicts: 1957000 | #Constraints: 64330
558.65/560.36 c #Conflicts: 1958000 | #Constraints: 65476
558.65/560.36 c #Conflicts: 1959000 | #Constraints: 66612
558.65/560.36 c #Conflicts: 1960000 | #Constraints: 67747
558.65/560.36 c #Conflicts: 1961000 | #Constraints: 69100
558.65/560.36 c #Conflicts: 1962000 | #Constraints: 70256
558.65/560.36 c #Conflicts: 1963000 | #Constraints: 71476
558.65/560.36 c #Conflicts: 1964000 | #Constraints: 72688
558.65/560.36 c #Conflicts: 1965000 | #Constraints: 73836
558.65/560.36 c INPROCESSING
558.65/560.36 c GARBAGE COLLECT
558.65/560.36 c #Conflicts: 1966000 | #Constraints: 38673
558.65/560.36 c #Conflicts: 1967000 | #Constraints: 39936
558.65/560.36 c #Conflicts: 1968000 | #Constraints: 41211
558.65/560.36 c #Conflicts: 1969000 | #Constraints: 42966
558.65/560.36 c #Conflicts: 1970000 | #Constraints: 44645
558.65/560.36 c #Conflicts: 1971000 | #Constraints: 46054
558.65/560.36 c #Conflicts: 1972000 | #Constraints: 47292
558.65/560.36 c #Conflicts: 1973000 | #Constraints: 48704
558.65/560.36 c #Conflicts: 1974000 | #Constraints: 49979
558.65/560.36 c #Conflicts: 1975000 | #Constraints: 51153
558.65/560.36 c #Conflicts: 1976000 | #Constraints: 52350
558.65/560.36 c #Conflicts: 1977000 | #Constraints: 53552
558.65/560.36 c #Conflicts: 1978000 | #Constraints: 55028
558.65/560.36 c #Conflicts: 1979000 | #Constraints: 56238
558.65/560.36 c #Conflicts: 1980000 | #Constraints: 57435
558.65/560.36 c #Conflicts: 1981000 | #Constraints: 58713
558.65/560.36 c #Conflicts: 1982000 | #Constraints: 59766
558.65/560.36 c #Conflicts: 1983000 | #Constraints: 60766
558.65/560.36 c #Conflicts: 1984000 | #Constraints: 61784
558.65/560.36 c #Conflicts: 1985000 | #Constraints: 62932
558.65/560.36 c #Conflicts: 1986000 | #Constraints: 64185
558.65/560.36 c #Conflicts: 1987000 | #Constraints: 65355
558.65/560.36 c #Conflicts: 1988000 | #Constraints: 66759
558.65/560.36 c #Conflicts: 1989000 | #Constraints: 68288
558.65/560.36 c #Conflicts: 1990000 | #Constraints: 69746
558.65/560.36 c #Conflicts: 1991000 | #Constraints: 71194
558.65/560.36 c #Conflicts: 1992000 | #Constraints: 72665
558.65/560.36 c #Conflicts: 1993000 | #Constraints: 73665
558.65/560.36 c INPROCESSING
558.65/560.36 c GARBAGE COLLECT
558.65/560.36 c #Conflicts: 1994000 | #Constraints: 38169
558.65/560.36 c #Conflicts: 1995000 | #Constraints: 39579
558.65/560.36 c #Conflicts: 1996000 | #Constraints: 41029
558.65/560.36 c #Conflicts: 1997000 | #Constraints: 42300
558.65/560.36 c #Conflicts: 1998000 | #Constraints: 43750
558.65/560.36 c #Conflicts: 1999000 | #Constraints: 45020
558.65/560.36 c #Conflicts: 2000000 | #Constraints: 46306
558.65/560.36 c #Conflicts: 2001000 | #Constraints: 47542
558.65/560.36 c #Conflicts: 2002000 | #Constraints: 48986
558.65/560.36 c #Conflicts: 2003000 | #Constraints: 50042
558.65/560.36 c #Conflicts: 2004000 | #Constraints: 51058
558.65/560.36 c #Conflicts: 2005000 | #Constraints: 52058
558.65/560.36 c #Conflicts: 2006000 | #Constraints: 53187
558.65/560.36 c #Conflicts: 2007000 | #Constraints: 54476
558.65/560.36 c #Conflicts: 2008000 | #Constraints: 55685
558.65/560.36 c #Conflicts: 2009000 | #Constraints: 56816
559.36/561.03 c #Conflicts: 2010000 | #Constraints: 57940
559.36/561.03 c #Conflicts: 2011000 | #Constraints: 59095
559.36/561.03 c cpu time 531.909 s
559.36/561.03 c deterministic time 24193576571 2.42e+10
559.36/561.03 c optimization time 0.000177 s
559.36/561.03 c total solve time 531.908 s
559.36/561.03 c core-guided solve time 0 s
559.36/561.03 c propagation time 470.111 s
559.36/561.03 c conflict analysis time 43.8124 s
559.36/561.03 c propagations 25424655
559.36/561.03 c resolve steps 6235809
559.36/561.03 c decisions 5969540
559.36/561.03 c conflicts 2011441
559.36/561.03 c restarts 3962
559.36/561.03 c inprocessing phases 132
559.36/561.03 c input clauses 2
559.36/561.03 c input cardinalities 700
559.36/561.03 c input general constraints 0
559.36/561.03 c input average constraint length 3.99
559.36/561.03 c input average constraint degree 2.00
559.36/561.03 c learned clauses 1679001
559.36/561.03 c learned cardinalities 9969
559.36/561.03 c learned general constraints 1059781
559.36/561.03 c learned average constraint length 59.88
559.36/561.03 c learned average constraint degree 3867065568.76
559.36/561.03 c watched constraints 484408
559.36/561.03 c counting constraints 575373
559.36/561.03 c gcd simplifications 561372
559.36/561.03 c detected cardinalities 1509
559.36/561.03 c weakened non-implied lits 5308361
559.36/561.03 c weakened non-implying lits 666835
559.36/561.03 c original variables 701
559.36/561.03 c clausal propagations 3306835
559.36/561.03 c cardinality propagations 8108575
559.36/561.03 c watched propagations 935878
559.36/561.03 c counting propagations 11056045
559.36/561.03 c watch lookups 9364093497
559.36/561.03 c watch backjump lookups 7663034836
559.36/561.03 c watch checks 6375508170
559.36/561.03 c propagation checks 571164517
559.36/561.03 c constraint additions 152922783
559.36/561.03 c trail pops 33405377
559.36/561.03 c formula constraints 702
559.36/561.03 c learned constraints 2011206
559.36/561.03 c bound constraints 0
559.36/561.03 c core-guided constraints 0
559.36/561.03 c encountered formula constraints 493914
559.36/561.03 c encountered learned constraints 6699601
559.36/561.03 c encountered bound constraints 0
559.36/561.03 c encountered core-guided constraints 0
559.36/561.03 c LP total time 278.41 s
559.36/561.03 c LP solve time 219.56 s
559.36/561.03 c LP constraints added 1004
559.36/561.03 c LP constraints removed 294
559.36/561.03 c LP pivots internal 2011438
559.36/561.03 c LP pivots root 41757
559.36/561.03 c LP calls 769543
559.36/561.03 c LP optimalities 32336
559.36/561.03 c LP no pivot count 8298
559.36/561.03 c LP infeasibilities 737067
559.36/561.03 c LP valid Farkas constraints 737065
559.36/561.03 c LP learned Farkas constraints 234
559.36/561.03 c LP basis resets 138
559.36/561.03 c LP cycling count 95
559.36/561.03 c LP singular count 43
559.36/561.03 c LP no primal count 0
559.36/561.03 c LP no farkas count 0
559.36/561.03 c LP other issue count 0
559.36/561.03 c LP Gomory cuts 246
559.36/561.03 c LP learned cuts 56
559.36/561.03 c LP deleted cuts 294
559.36/561.03 c LP encountered Gomory constraints 0
559.36/561.03 c LP encountered Farkas constraints 1032508
559.36/561.03 c LP encountered learned Farkas constraints 20993
559.36/561.03 c CG auxiliary variables introduced 0
559.36/561.03 c CG solutions found 0
559.36/561.03 c CG cores constructed 0
559.36/561.03 c CG core cardinality constraints returned 0
559.36/561.03 c CG unit cores 0
559.36/561.03 c CG single cores 0
559.36/561.03 c CG blocks removed during cardinality reduction 0
559.36/561.03 c CG first core best 0
559.36/561.03 c CG decision core best 0
559.36/561.03 c CG core reduction tie 0
559.36/561.03 c CG core degree average 0.00
559.36/561.03 c CG core slack average 0.00
559.36/561.03 o 0
559.36/561.03 s OPTIMUM FOUND
559.36/561.03 v -x1 -x2 -x3 -x4 -x5 x6 -x7 x8 -x9 x10 -x11 -x12 -x13 x14 -x15 -x16 x17 x18 x19 -x20 x21 x22 -x23 -x24 -x25 x26 x27 -x28 x29 x30 -x31 -x32 x33 x34 x35 x36 -x37 x38 -x39 x40 x41 -x42 -x43 -x44 -x45 x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 x54 -x55 x56 -x57 x58 -x59 x60 x61 x62 -x63 x64 x65 x66 x67 x68 x69 x70 x71 x72 x73 x74 x75 x76 x77 x78 x79 x80 -x81 x82 -x83 x84 x85 x86 x87 x88 x89 x90 x91 x92 x93 x94 x95 x96 x97 x98 x99 x100 x101 x102 x103 x104 x105 x106 x107 x108 x109 x110 x111 x112 x113 x114 x115 x116 x117 x118 x119 x120 x121 x122 x123 x124 x125 x126 x127 x128 x129 x130 x131 x132 x133 x134 x135 x136 x137 x138 x139 x140 x141 x142 x143 x144 x145 x146 x147 x148 x149 x150 x151 x152 x153 x154 x155 x156 x157 x158 x159 x160 x161 x162 x163 x164 x165 x166 x167 x168 x169 x170 x171 x172 x173 x174 x175 x176 x177 x178 x179 x180 x181 x182 x183 x184 x185 x186 x187 x188 x189 x190 x191 x192 x193 x194 x195 x196 x197 x198 x199 x200 x201 x202 x203 x204 x205 x206 x207 x208 x209 x210 x211 x212 x213 x214 x215 x216 x217 x218 x219 x220 x221 x222 x223 x224 x225 x226 x227 x228 x229 x230 x231 x232 x233 x234 x235 x236 x237 x238 x239 x240 x241 x242 x243 x244 x245 x246 x247 x248 x249 x250 x251 x252 x253 x254 x255 x256 x257 x258 x259 x260 x261 x262 x263 x264 x265 x266 x267 x268 x269 x270 x271 x272 x273 x274 x275 x276 x277 x278 x279 x280 x281 x282 x283 x284 x285 x286 x287 x288 x289 x290 x291 x292 x293 x294 x295 x296 x297 x298 x299 x300 x301 x302 x303 x304 x305 x306 x307 x308 x309 x310 x311 x312 x313 x314 x315 x316 x317 x318 x319 x320 x321 x322 x323 x324 x325 x326 x327 x328 x329 x330 x331 x332 x333 x334 x335 x336 x337 x338 x339 x340 x341 x342 x343 x344 x345 x346 x347 x348 x349 x350 x351 x352 x353 x354 x355 x356 x357 x358 x359 x360 x361 x362 x363 x364 x365 x366 x367 x368 x369 x370 x371 x372 x373 x374 x375 x376 x377 x378 x379 x380 x381 x382 x383 x384 x385 x386 x387 x388 x389 x390 x391 x392 x393 x394 x395 x396 x397 x398 x399 x400 x401 x402 x403 x404 x405 x406 x407 x408 x409 x410 x411 x412 x413 x414 x415 x416 x417 x418 x419 x420 x421 x422 x423 x424 x425 x426 x427 x428 x429 x430 x431 x432 x433 x434 x435 x436 x437 x438 x439 x440 x441 x442 x443 x444 x445 x446 x447 x448 x449 x450 x451 x452 x453 x454 x455 x456 x457 x458 x459 x460 x461 x462 x463 x464 x465 x466 x467 x468 x469 x470 x471 x472 x473 x474 x475 x476 x477 x478 x479 x480 x481 x482 x483 x484 x485 x486 x487 x488 x489 x490 x491 x492 x493 x494 x495 x496 x497 x498 x499 x500 x501 x502 x503 x504 x505 x506 x507 x508 x509 x510 x511 x512 x513 x514 x515 x516 x517 x518 x519 x520 x521 x522 x523 x524 x525 x526 x527 x528 x529 x530 x531 x532 x533 x534 x535 x536 x537 x538 x539 x540 x541 x542 x543 x544 x545 x546 x547 x548 x549 x550 x551 x552 x553 x554 x555 x556 x557 x558 x559 x560 x561 x562 x563 x564 x565 x566 x567 x568 x569 x570 x571 x572 x573 x574 x575 x576 x577 x578 x579 x580 x581 x582 x583 x584 x585 x586 x587 x588 x589 x590 x591 x592 x593 x594 x595 x596 x597 x598 x599 x600 x601 x602 x603 x604 x605 x606 x607 x608 x609 x610 x611 x612 x613 x614 x615 x616 x617 x618 x619 x620 x621 x622 x623 x624 x625 x626 x627 x628 x629 x630 x631 x632 x633 x634 x635 x636 x637 x638 x639 x640 x641 x642 x643 x644 x645 x646 x647 x648 x649 x650 x651 x652 x653 x654 x655 x656 x657 x658 x659 x660 x661 x662 x663 x664 x665 x666 x667 x668 x669 x670 x671 x672 x673 x674 x675 x676 x677 x678 x679 x680 x681 x682 x683 x684 x685 x686 x687 x688 x689 x690 x691 x692 x693 x694 x695 x696 x697 x698 x699 x700 x701
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 (62389 MiB free)
memory of node 1: 64473 MiB (62080 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4448800-1721362163/watcher-4448800-1721362163 -o /tmp/evaluation-result-4448800-1721362163/solver-4448800-1721362163 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721361771-996928 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4448800-1721362163.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
Current StackSize limit: 8192 KiB
solver pid=997889, runsolver pid=997886
[startup+0.100265 s]*
/proc/loadavg: 4.35 3.44 2.32 5/254 997890
/proc/meminfo: memFree=127454656/131524600 swapFree=131071996/131071996
[pid=997889] ppid=997886 vsize=38936 memory=9344 CPUtime=0.09 cores=1,3
/proc/997889/stat : 997889 (roundingsat) R 997886 997889 996916 0 -1 4194304 766 0 0 0 8 1 0 0 20 0 1 0 188380103 39870464 2336 134679101440 4194304 7968869 140726837306400 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 14921728 140726837314493 140726837314657 140726837314657 140726837321673 0
/proc/997889/statm: 9734 2336 1798 922 0 1686 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38936 KiB
Current children cumulated memory: 9344 KiB
[startup+0.205473 s]*
/proc/loadavg: 4.35 3.44 2.32 5/254 997890
/proc/meminfo: memFree=127453648/131524600 swapFree=131071996/131071996
[pid=997889] ppid=997886 vsize=39060 memory=9836 CPUtime=0.2 cores=1,3
/proc/997889/stat : 997889 (roundingsat) R 997886 997889 996916 0 -1 4194304 855 0 0 0 18 2 0 0 20 0 1 0 188380103 39997440 2459 134679101440 4194304 7968869 140726837306400 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 14921728 140726837314493 140726837314657 140726837314657 140726837321673 0
/proc/997889/statm: 9765 2459 1798 922 0 1717 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 39060 KiB
Current children cumulated memory: 9836 KiB
[startup+0.305364 s]*
/proc/loadavg: 4.35 3.44 2.32 5/254 997890
/proc/meminfo: memFree=127453648/131524600 swapFree=131071996/131071996
[pid=997889] ppid=997886 vsize=39272 memory=10024 CPUtime=0.29 cores=1,3
/proc/997889/stat : 997889 (roundingsat) R 997886 997889 996916 0 -1 4194304 935 0 0 0 26 3 0 0 20 0 1 0 188380103 40214528 2506 134679101440 4194304 7968869 140726837306400 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 14921728 140726837314493 140726837314657 140726837314657 140726837321673 0
/proc/997889/statm: 9818 2506 1814 922 0 1770 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 39272 KiB
Current children cumulated memory: 10024 KiB
[startup+0.700186 s]
/proc/loadavg: 4.35 3.44 2.32 5/254 997890
/proc/meminfo: memFree=127452640/131524600 swapFree=131071996/131071996
[pid=997889] ppid=997886 vsize=39484 memory=10728 CPUtime=0.69 cores=1,3
/proc/997889/stat : 997889 (roundingsat) R 997886 997889 996916 0 -1 4194304 1052 0 0 0 62 7 0 0 20 0 1 0 188380103 40431616 2682 134679101440 4194304 7968869 140726837306400 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 14921728 140726837314493 140726837314657 140726837314657 140726837321673 0
/proc/997889/statm: 9871 2682 1814 922 0 1823 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 39484 KiB
Current children cumulated memory: 10728 KiB
[startup+1.5002 s]
/proc/loadavg: 4.32 3.45 2.33 5/254 997890
/proc/meminfo: memFree=127451712/131524600 swapFree=131071996/131071996
[pid=997889] ppid=997886 vsize=39844 memory=11196 CPUtime=1.48 cores=1,3
/proc/997889/stat : 997889 (roundingsat) R 997886 997889 996916 0 -1 4194304 1174 0 0 0 133 15 0 0 20 0 1 0 188380103 40800256 2799 134679101440 4194304 7968869 140726837306400 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 14921728 140726837314493 140726837314657 140726837314657 140726837321673 0
/proc/997889/statm: 9961 2799 1814 922 0 1913 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 39844 KiB
Current children cumulated memory: 11196 KiB
[startup+3.10552 s]
/proc/loadavg: 4.32 3.45 2.33 5/254 997890
/proc/meminfo: memFree=127441624/131524600 swapFree=131071996/131071996
[pid=997889] ppid=997886 vsize=40372 memory=13668 CPUtime=3.09 cores=1,3
/proc/997889/stat : 997889 (roundingsat) R 997886 997889 996916 0 -1 4194304 1341 0 0 0 277 32 0 0 20 0 1 0 188380103 41340928 3417 134679101440 4194304 7968869 140726837306400 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 14921728 140726837314493 140726837314657 140726837314657 140726837321673 0
/proc/997889/statm: 10093 3417 1814 922 0 2045 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 40372 KiB
Current children cumulated memory: 13668 KiB
[startup+6.30016 s]
/proc/loadavg: 4.30 3.46 2.34 5/255 997891
/proc/meminfo: memFree=127441512/131524600 swapFree=131071996/131071996
[pid=997889] ppid=997886 vsize=40688 memory=14212 CPUtime=6.27 cores=1,3
/proc/997889/stat : 997889 (roundingsat) R 997886 997889 996916 0 -1 4194304 1542 0 0 0 568 59 0 0 20 0 1 0 188380103 41664512 3553 134679101440 4194304 7968869 140726837306400 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 14921728 140726837314493 140726837314657 140726837314657 140726837321673 0
/proc/997889/statm: 10172 3553 1814 922 0 2124 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 40688 KiB
Current children cumulated memory: 14212 KiB
[startup+12.7002 s]
/proc/loadavg: 4.27 3.47 2.35 5/255 997893
/proc/meminfo: memFree=127435248/131524600 swapFree=131071996/131071996
[pid=997889] ppid=997886 vsize=44312 memory=18520 CPUtime=12.65 cores=1,3
/proc/997889/stat : 997889 (roundingsat) R 997886 997889 996916 0 -1 4194304 2860 0 0 0 1159 106 0 0 20 0 1 0 188380103 45375488 4630 134679101440 4194304 7968869 140726837306400 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 14921728 140726837314493 140726837314657 140726837314657 140726837321673 0
/proc/997889/statm: 11078 4630 1814 922 0 3030 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 44312 KiB
Current children cumulated memory: 18520 KiB
[startup+25.5002 s]
/proc/loadavg: 4.23 3.49 2.37 5/255 997894
/proc/meminfo: memFree=127408376/131524600 swapFree=131071996/131071996
[pid=997889] ppid=997886 vsize=62796 memory=34696 CPUtime=25.41 cores=1,3
/proc/997889/stat : 997889 (roundingsat) R 997886 997889 996916 0 -1 4194304 6614 0 0 0 2355 186 0 0 20 0 1 0 188380103 64303104 8674 134679101440 4194304 7968869 140726837306400 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 14921728 140726837314493 140726837314657 140726837314657 140726837321673 0
/proc/997889/statm: 15699 8674 1942 922 0 7651 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 62796 KiB
Current children cumulated memory: 34696 KiB
[startup+51.1055 s]
/proc/loadavg: 4.14 3.54 2.42 5/258 997904
/proc/meminfo: memFree=127374200/131524600 swapFree=131071996/131071996
[pid=997889] ppid=997886 vsize=79856 memory=52528 CPUtime=50.94 cores=1,3
/proc/997889/stat : 997889 (roundingsat) R 997886 997889 996916 0 -1 4194304 10811 0 0 0 4763 331 0 0 20 0 1 0 188380103 81772544 13132 134679101440 4194304 7968869 140726837306400 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 14921728 140726837314493 140726837314657 140726837314657 140726837321673 0
/proc/997889/statm: 19964 13132 1942 922 0 11916 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 79856 KiB
Current children cumulated memory: 52528 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 3.64 2.51 5/258 997912
/proc/meminfo: memFree=127321072/131524600 swapFree=131071996/131071996
[pid=997889] ppid=997886 vsize=129488 memory=83576 CPUtime=101.99 cores=1,3
/proc/997889/stat : 997889 (roundingsat) R 997886 997889 996916 0 -1 4194304 15599 0 0 0 9624 575 0 0 20 0 1 0 188380103 132595712 20894 134679101440 4194304 7968869 140726837306400 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 14921728 140726837314493 140726837314657 140726837314657 140726837321673 0
/proc/997889/statm: 32372 20894 1942 922 0 24324 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 129488 KiB
Current children cumulated memory: 83576 KiB
[startup+162.3 s]
/proc/loadavg: 4.45 3.83 2.65 5/258 997923
/proc/meminfo: memFree=127283084/131524600 swapFree=131071996/131071996
[pid=997889] ppid=997886 vsize=137056 memory=88616 CPUtime=161.81 cores=1,3
/proc/997889/stat : 997889 (roundingsat) R 997886 997889 996916 0 -1 4194304 17339 0 0 0 15269 912 0 0 20 0 1 0 188380103 140345344 22154 134679101440 4194304 7968869 140726837306400 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 14921728 140726837314493 140726837314657 140726837314657 140726837321673 0
/proc/997889/statm: 34264 22154 1942 922 0 26216 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 137056 KiB
Current children cumulated memory: 88616 KiB
[startup+222.3 s]
/proc/loadavg: 4.43 3.93 2.76 5/258 998118
/proc/meminfo: memFree=127104492/131524600 swapFree=131071996/131071996
[pid=997889] ppid=997886 vsize=137776 memory=90316 CPUtime=221.65 cores=1,3
/proc/997889/stat : 997889 (roundingsat) R 997886 997889 996916 0 -1 4194304 19084 0 0 0 20934 1231 0 0 20 0 1 0 188380103 141082624 22579 134679101440 4194304 7968869 140726837306400 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 14921728 140726837314493 140726837314657 140726837314657 140726837321673 0
/proc/997889/statm: 34444 22579 1942 922 0 26396 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 137776 KiB
Current children cumulated memory: 90316 KiB
[startup+282.3 s]
/proc/loadavg: 4.21 3.96 2.85 5/258 998129
/proc/meminfo: memFree=126440448/131524600 swapFree=131071996/131071996
[pid=997889] ppid=997886 vsize=139696 memory=91588 CPUtime=281.49 cores=1,3
/proc/997889/stat : 997889 (roundingsat) R 997886 997889 996916 0 -1 4194304 20945 0 0 0 26605 1544 0 0 20 0 1 0 188380103 143048704 22897 134679101440 4194304 7968869 140726837306400 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 14921728 140726837314493 140726837314657 140726837314657 140726837321673 0
/proc/997889/statm: 34924 22897 1942 922 0 26876 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 139696 KiB
Current children cumulated memory: 91588 KiB
[startup+342.3 s]
/proc/loadavg: 4.18 4.00 2.93 5/254 998139
/proc/meminfo: memFree=125927808/131524600 swapFree=131071996/131071996
[pid=997889] ppid=997886 vsize=139696 memory=92424 CPUtime=341.32 cores=1,3
/proc/997889/stat : 997889 (roundingsat) R 997886 997889 996916 0 -1 4194304 22875 0 0 0 32263 1869 0 0 20 0 1 0 188380103 143048704 23106 134679101440 4194304 7968869 140726837306400 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 14921728 140726837314493 140726837314657 140726837314657 140726837321673 0
/proc/997889/statm: 34924 23106 1942 922 0 26876 0
Current children cumulated CPU time: 341.32 s
Current children cumulated vsize: 139696 KiB
Current children cumulated memory: 92424 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.01 3.01 5/254 998150
/proc/meminfo: memFree=125135036/131524600 swapFree=131071996/131071996
[pid=997889] ppid=997886 vsize=164388 memory=109728 CPUtime=401.14 cores=1,3
/proc/997889/stat : 997889 (roundingsat) R 997886 997889 996916 0 -1 4194304 28519 0 0 0 38031 2083 0 0 20 0 1 0 188380103 168333312 27432 134679101440 4194304 7968869 140726837306400 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 14921728 140726837314493 140726837314657 140726837314657 140726837321673 0
/proc/997889/statm: 41097 27432 1942 922 0 33049 0
Current children cumulated CPU time: 401.14 s
Current children cumulated vsize: 164388 KiB
Current children cumulated memory: 109728 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.04 3.08 5/254 998206
/proc/meminfo: memFree=124240800/131524600 swapFree=131071996/131071996
[pid=997889] ppid=997886 vsize=166076 memory=111292 CPUtime=460.95 cores=1,3
/proc/997889/stat : 997889 (roundingsat) R 997886 997889 996916 0 -1 4194304 30620 0 0 0 43739 2356 0 0 20 0 1 0 188380103 170061824 27823 134679101440 4194304 7968869 140726837306400 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 14921728 140726837314493 140726837314657 140726837314657 140726837321673 0
/proc/997889/statm: 41519 27823 1942 922 0 33471 0
Current children cumulated CPU time: 460.95 s
Current children cumulated vsize: 166076 KiB
Current children cumulated memory: 111292 KiB
[startup+522.3 s]
/proc/loadavg: 4.10 4.05 3.15 5/254 998216
/proc/meminfo: memFree=123328760/131524600 swapFree=131071996/131071996
[pid=997889] ppid=997886 vsize=171620 memory=115384 CPUtime=520.77 cores=1,3
/proc/997889/stat : 997889 (roundingsat) R 997886 997889 996916 0 -1 4194304 32731 0 0 0 49483 2594 0 0 20 0 1 0 188380103 175738880 28846 134679101440 4194304 7968869 140726837306400 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 14921728 140726837314493 140726837314657 140726837314657 140726837321673 0
/proc/997889/statm: 42905 28846 1942 922 0 34857 0
Current children cumulated CPU time: 520.77 s
Current children cumulated vsize: 171620 KiB
Current children cumulated memory: 115384 KiB
[startup+561.038 s]
# the end of solver process 997889 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=531.91 s, system=27.4867 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+537.6 s]
/proc/loadavg: 4.08 4.04 3.16 5/254 998218
/proc/meminfo: memFree=123304724/131524600 swapFree=131071996/131071996
[pid=997889] ppid=997886 vsize=171620 memory=115384 CPUtime=536.02 cores=1,3
/proc/997889/stat : 997889 (roundingsat) R 997886 997889 996916 0 -1 4194304 32743 0 0 0 50949 2653 0 0 20 0 1 0 188380103 175738880 28846 134679101440 4194304 7968869 140726837306400 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 14921728 140726837314493 140726837314657 140726837314657 140726837321673 0
/proc/997889/statm: 42905 28846 1942 922 0 34857 0
Current children cumulated CPU time: 536.02 s
Current children cumulated vsize: 171620 KiB
Current children cumulated memory: 115384 KiB
[startup+550.4 s]
/proc/loadavg: 4.15 4.06 3.18 5/254 998221
/proc/meminfo: memFree=123200256/131524600 swapFree=131071996/131071996
[pid=997889] ppid=997886 vsize=171840 memory=115644 CPUtime=548.79 cores=1,3
/proc/997889/stat : 997889 (roundingsat) R 997886 997889 996916 0 -1 4194304 32799 0 0 0 52173 2706 0 0 20 0 1 0 188380103 175964160 28911 134679101440 4194304 7968869 140726837306400 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 14921728 140726837314493 140726837314657 140726837314657 140726837321673 0
/proc/997889/statm: 42960 28911 1942 922 0 34912 0
Current children cumulated CPU time: 548.79 s
Current children cumulated vsize: 171840 KiB
Current children cumulated memory: 115644 KiB
[startup+556.8 s]
/proc/loadavg: 4.12 4.06 3.19 5/254 998267
/proc/meminfo: memFree=123276356/131524600 swapFree=131071996/131071996
[pid=997889] ppid=997886 vsize=171840 memory=116440 CPUtime=555.16 cores=1,3
/proc/997889/stat : 997889 (roundingsat) R 997886 997889 996916 0 -1 4194304 32801 0 0 0 52789 2727 0 0 20 0 1 0 188380103 175964160 29110 134679101440 4194304 7968869 140726837306400 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 14921728 140726837314493 140726837314657 140726837314657 140726837321673 0
/proc/997889/statm: 42960 29110 1942 922 0 34912 0
Current children cumulated CPU time: 555.16 s
Current children cumulated vsize: 171840 KiB
Current children cumulated memory: 116440 KiB
[startup+558.4 s]
/proc/loadavg: 4.12 4.06 3.19 5/254 998267
/proc/meminfo: memFree=123225460/131524600 swapFree=131071996/131071996
[pid=997889] ppid=997886 vsize=171840 memory=116440 CPUtime=556.75 cores=1,3
/proc/997889/stat : 997889 (roundingsat) R 997886 997889 996916 0 -1 4194304 32801 0 0 0 52939 2736 0 0 20 0 1 0 188380103 175964160 29110 134679101440 4194304 7968869 140726837306400 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 14921728 140726837314493 140726837314657 140726837314657 140726837321673 0
/proc/997889/statm: 42960 29110 1942 922 0 34912 0
Current children cumulated CPU time: 556.75 s
Current children cumulated vsize: 171840 KiB
Current children cumulated memory: 116440 KiB
[startup+560 s]*
/proc/loadavg: 4.12 4.06 3.19 5/254 998268
/proc/meminfo: memFree=123156436/131524600 swapFree=131071996/131071996
[pid=997889] ppid=997886 vsize=171840 memory=116440 CPUtime=558.35 cores=1,3
/proc/997889/stat : 997889 (roundingsat) R 997886 997889 996916 0 -1 4194304 32801 0 0 0 53092 2743 0 0 20 0 1 0 188380103 175964160 29110 134679101440 4194304 7968869 140726837306400 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 14921728 140726837314493 140726837314657 140726837314657 140726837321673 0
/proc/997889/statm: 42960 29110 1942 922 0 34912 0
Current children cumulated CPU time: 558.35 s
Current children cumulated vsize: 171840 KiB
Current children cumulated memory: 116440 KiB
[startup+560.8 s]
/proc/loadavg: 4.12 4.06 3.19 5/254 998268
/proc/meminfo: memFree=123156436/131524600 swapFree=131071996/131071996
[pid=997889] ppid=997886 vsize=171840 memory=116440 CPUtime=559.15 cores=1,3
/proc/997889/stat : 997889 (roundingsat) R 997886 997889 996916 0 -1 4194304 32801 0 0 0 53168 2747 0 0 20 0 1 0 188380103 175964160 29110 134679101440 4194304 7968869 140726837306400 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 14921728 140726837314493 140726837314657 140726837314657 140726837321673 0
/proc/997889/statm: 42960 29110 1942 922 0 34912 0
Current children cumulated CPU time: 559.15 s
Current children cumulated vsize: 171840 KiB
Current children cumulated memory: 116440 KiB
[startup+561 s]*
/proc/loadavg: 4.11 4.05 3.19 5/254 998268
/proc/meminfo: memFree=123126196/131524600 swapFree=131071996/131071996
[pid=997889] ppid=997886 vsize=171840 memory=116440 CPUtime=559.36 cores=1,3
/proc/997889/stat : 997889 (roundingsat) R 997886 997889 996916 0 -1 4194304 32801 0 0 0 53188 2748 0 0 20 0 1 0 188380103 175964160 29110 134679101440 4194304 7968869 140726837306400 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 14921728 140726837314493 140726837314657 140726837314657 140726837321673 0
/proc/997889/statm: 42960 29110 1942 922 0 34912 0
Current children cumulated CPU time: 559.36 s
Current children cumulated vsize: 171840 KiB
Current children cumulated memory: 116440 KiB
Child status: 0
Real time (s): 561.038
CPU time (s): 559.397
CPU user time (s): 531.91
CPU system time (s): 27.4867
CPU usage (%): 99.7075
Max. virtual memory (cumulated for all children) (KiB): 171840
Max. memory (cumulated for all children) (KiB): 116440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 531.91
system time used= 27.4867
maximum resident set size= 116556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32809
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22
involuntary context switches= 669
# summary of solver processes directly reported to runsolver:
# pid: 997889
# total CPU time (s): 559.397
# total CPU user time (s): 531.91
# total CPU system time (s): 27.4867
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.995698 second user time and 2.6552 second system time
The end
Begin job on nodeC021 at 2024-07-19 06:09:35
IDJOB=4448800
IDBENCH=160441
IDSOLVER=3051
FILE ID=nodeC021/4448800-1721362163
RUNJOBID= nodeC021-1721361771-996928
SLURM_JOB_ID= 7542781
Free space on /tmp= 890068 MiB
SOLVER NAME= RoundingSat nolog
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 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4448800-1721362163/watcher-4448800-1721362163 -o /tmp/evaluation-result-4448800-1721362163/solver-4448800-1721362163 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721361771-996928 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4448800-1721362163.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c77e21d963e84c3fd4d271df704a0949
RANDOM SEED=147870570
nodeC021.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 : 3660.158
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.42
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 : 3660.013
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.23
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.218
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.42
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 : 3661.036
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.23
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 : 3660.087
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.42
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 : 3664.318
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.23
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.925
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.42
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.953
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.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 127457580 kB
MemAvailable: 129337512 kB
Buffers: 521036 kB
Cached: 2179348 kB
SwapCached: 0 kB
Active: 1019816 kB
Inactive: 2400856 kB
Active(anon): 1552 kB
Inactive(anon): 756448 kB
Active(file): 1018264 kB
Inactive(file): 1644408 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 5040 kB
Writeback: 0 kB
AnonPages: 717588 kB
Mapped: 114616 kB
Shmem: 37720 kB
KReclaimable: 114168 kB
Slab: 228492 kB
SReclaimable: 114168 kB
SUnreclaim: 114324 kB
KernelStack: 4076 kB
PageTables: 10408 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1105300 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 69952 kB
HardwareCorrupted: 0 kB
AnonHugePages: 522240 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: 260820 kB
DirectMap2M: 25726976 kB
DirectMap1G: 110100480 kB
Free space on /tmp at the end= 890044 MiB
End job on nodeC021 at 2024-07-19 06:18:56