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.17 c #Conflicts: 1000 | #Constraints: 1716
0.09/0.17 c #Conflicts: 2000 | #Constraints: 2725
0.09/0.17 c INPROCESSING
0.09/0.17 c GARBAGE COLLECT
0.09/0.17 c rational objective 350.5
0.30/0.34 c #Conflicts: 3000 | #Constraints: 2753
0.30/0.34 c #Conflicts: 4000 | #Constraints: 3760
0.30/0.34 c INPROCESSING
0.30/0.34 c GARBAGE COLLECT
0.30/0.34 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.79/0.85 c #Conflicts: 7000 | #Constraints: 3183
0.79/0.85 c #Conflicts: 8000 | #Constraints: 4186
0.79/0.85 c #Conflicts: 9000 | #Constraints: 5192
0.79/0.85 c INPROCESSING
0.79/0.85 c GARBAGE COLLECT
0.79/0.85 c rational objective 350.5
1.09/1.11 c #Conflicts: 10000 | #Constraints: 3890
1.09/1.11 c #Conflicts: 11000 | #Constraints: 4891
1.09/1.11 c #Conflicts: 12000 | #Constraints: 5896
1.09/1.11 c INPROCESSING
1.09/1.11 c GARBAGE COLLECT
1.09/1.11 c rational objective 350.5
1.29/1.36 c #Conflicts: 13000 | #Constraints: 4344
1.29/1.36 c #Conflicts: 14000 | #Constraints: 5350
1.29/1.36 c #Conflicts: 15000 | #Constraints: 6356
1.29/1.36 c INPROCESSING
1.29/1.36 c GARBAGE COLLECT
1.29/1.36 c rational objective 350.5
1.58/1.67 c #Conflicts: 16000 | #Constraints: 4582
1.58/1.67 c #Conflicts: 17000 | #Constraints: 5588
1.58/1.67 c #Conflicts: 18000 | #Constraints: 6590
1.58/1.67 c INPROCESSING
1.58/1.67 c GARBAGE COLLECT
1.58/1.67 c rational objective 350.5
1.88/1.96 c #Conflicts: 19000 | #Constraints: 4601
1.88/1.96 c #Conflicts: 20000 | #Constraints: 5603
1.88/1.96 c #Conflicts: 21000 | #Constraints: 6608
1.88/1.96 c INPROCESSING
1.88/1.96 c GARBAGE COLLECT
1.88/1.96 c rational objective 350.5
2.18/2.27 c #Conflicts: 22000 | #Constraints: 4410
2.18/2.27 c #Conflicts: 23000 | #Constraints: 5412
2.18/2.27 c #Conflicts: 24000 | #Constraints: 6413
2.18/2.27 c #Conflicts: 25000 | #Constraints: 7415
2.18/2.27 c INPROCESSING
2.18/2.27 c GARBAGE COLLECT
2.18/2.27 c rational objective 350.5
2.58/2.63 c #Conflicts: 26000 | #Constraints: 5007
2.58/2.63 c #Conflicts: 27000 | #Constraints: 6007
2.58/2.63 c #Conflicts: 28000 | #Constraints: 7008
2.58/2.63 c #Conflicts: 29000 | #Constraints: 8010
2.58/2.63 c INPROCESSING
2.58/2.63 c GARBAGE COLLECT
2.58/2.63 c rational objective 350.5
2.88/2.92 c #Conflicts: 30000 | #Constraints: 5409
2.88/2.92 c #Conflicts: 31000 | #Constraints: 6415
2.88/2.92 c #Conflicts: 32000 | #Constraints: 7417
2.88/2.92 c #Conflicts: 33000 | #Constraints: 8419
2.88/2.92 c INPROCESSING
2.88/2.92 c GARBAGE COLLECT
2.88/2.92 c rational objective 350.5
3.37/3.45 c #Conflicts: 34000 | #Constraints: 5622
3.37/3.45 c #Conflicts: 35000 | #Constraints: 6626
3.37/3.45 c #Conflicts: 36000 | #Constraints: 7629
3.37/3.45 c #Conflicts: 37000 | #Constraints: 8630
3.37/3.45 c INPROCESSING
3.37/3.45 c GARBAGE COLLECT
3.37/3.45 c rational objective 350.5
3.87/3.93 c #Conflicts: 38000 | #Constraints: 5626
3.87/3.93 c #Conflicts: 39000 | #Constraints: 6627
3.87/3.93 c #Conflicts: 40000 | #Constraints: 7627
3.87/3.93 c #Conflicts: 41000 | #Constraints: 8627
3.87/3.93 c INPROCESSING
3.87/3.93 c GARBAGE COLLECT
3.87/3.93 c rational objective 350.5
4.37/4.46 c #Conflicts: 42000 | #Constraints: 5424
4.37/4.46 c #Conflicts: 43000 | #Constraints: 6425
4.37/4.46 c #Conflicts: 44000 | #Constraints: 7426
4.37/4.46 c #Conflicts: 45000 | #Constraints: 8428
4.37/4.46 c #Conflicts: 46000 | #Constraints: 9430
4.37/4.46 c INPROCESSING
4.37/4.46 c GARBAGE COLLECT
4.37/4.46 c rational objective 350.5
4.87/4.93 c #Conflicts: 47000 | #Constraints: 6020
4.87/4.93 c #Conflicts: 48000 | #Constraints: 7021
4.87/4.93 c #Conflicts: 49000 | #Constraints: 8022
4.87/4.93 c #Conflicts: 50000 | #Constraints: 9022
4.87/4.93 c #Conflicts: 51000 | #Constraints: 10023
4.87/4.93 c INPROCESSING
4.87/4.93 c GARBAGE COLLECT
4.87/4.93 c rational objective 350.5
5.27/5.39 c #Conflicts: 52000 | #Constraints: 6414
5.27/5.39 c #Conflicts: 53000 | #Constraints: 7416
5.27/5.39 c #Conflicts: 54000 | #Constraints: 8419
5.27/5.39 c #Conflicts: 55000 | #Constraints: 9420
5.27/5.39 c #Conflicts: 56000 | #Constraints: 10423
5.27/5.39 c INPROCESSING
5.27/5.39 c GARBAGE COLLECT
5.27/5.39 c rational objective 350.5
5.87/5.92 c #Conflicts: 57000 | #Constraints: 6616
5.87/5.92 c #Conflicts: 58000 | #Constraints: 7616
5.87/5.92 c #Conflicts: 59000 | #Constraints: 8619
5.87/5.92 c #Conflicts: 60000 | #Constraints: 9619
5.87/5.92 c #Conflicts: 61000 | #Constraints: 10619
5.87/5.92 c INPROCESSING
5.87/5.92 c GARBAGE COLLECT
5.87/5.92 c rational objective 350.5
6.46/6.55 c #Conflicts: 62000 | #Constraints: 6616
6.46/6.55 c #Conflicts: 63000 | #Constraints: 7618
6.46/6.55 c #Conflicts: 64000 | #Constraints: 8618
6.46/6.55 c #Conflicts: 65000 | #Constraints: 9619
6.46/6.55 c #Conflicts: 66000 | #Constraints: 10620
6.46/6.55 c INPROCESSING
6.46/6.55 c GARBAGE COLLECT
6.46/6.55 c rational objective 350.5
7.07/7.15 c #Conflicts: 67000 | #Constraints: 6417
7.07/7.15 c #Conflicts: 68000 | #Constraints: 7420
7.07/7.15 c #Conflicts: 69000 | #Constraints: 8422
7.07/7.15 c #Conflicts: 70000 | #Constraints: 9423
7.07/7.15 c #Conflicts: 71000 | #Constraints: 10424
7.07/7.15 c #Conflicts: 72000 | #Constraints: 11426
7.07/7.15 c INPROCESSING
7.07/7.15 c GARBAGE COLLECT
7.07/7.15 c rational objective 350.5
7.66/7.75 c #Conflicts: 73000 | #Constraints: 7019
7.66/7.75 c #Conflicts: 74000 | #Constraints: 8020
7.66/7.75 c #Conflicts: 75000 | #Constraints: 9022
7.66/7.75 c #Conflicts: 76000 | #Constraints: 10026
7.66/7.75 c #Conflicts: 77000 | #Constraints: 11026
7.66/7.75 c #Conflicts: 78000 | #Constraints: 12027
7.66/7.75 c INPROCESSING
7.66/7.75 c GARBAGE COLLECT
7.66/7.75 c rational objective 350.5
8.36/8.42 c #Conflicts: 79000 | #Constraints: 7421
8.36/8.42 c #Conflicts: 80000 | #Constraints: 8421
8.36/8.42 c #Conflicts: 81000 | #Constraints: 9421
8.36/8.42 c #Conflicts: 82000 | #Constraints: 10421
8.36/8.42 c #Conflicts: 83000 | #Constraints: 11422
8.36/8.42 c #Conflicts: 84000 | #Constraints: 12423
8.36/8.42 c INPROCESSING
8.36/8.42 c GARBAGE COLLECT
8.36/8.42 c rational objective 350.5
9.26/9.35 c #Conflicts: 85000 | #Constraints: 7622
9.26/9.35 c #Conflicts: 86000 | #Constraints: 8623
9.26/9.35 c #Conflicts: 87000 | #Constraints: 9623
9.26/9.35 c #Conflicts: 88000 | #Constraints: 10623
9.26/9.35 c #Conflicts: 89000 | #Constraints: 11623
9.26/9.35 c #Conflicts: 90000 | #Constraints: 12623
9.26/9.35 c INPROCESSING
9.26/9.35 c GARBAGE COLLECT
9.26/9.35 c rational objective 350.5
9.96/10.07 c #Conflicts: 91000 | #Constraints: 7613
9.96/10.07 c #Conflicts: 92000 | #Constraints: 8614
9.96/10.07 c #Conflicts: 93000 | #Constraints: 9615
9.96/10.07 c #Conflicts: 94000 | #Constraints: 10616
9.96/10.07 c #Conflicts: 95000 | #Constraints: 11616
9.96/10.07 c #Conflicts: 96000 | #Constraints: 12617
9.96/10.07 c INPROCESSING
9.96/10.07 c GARBAGE COLLECT
9.96/10.07 c rational objective 350.5
10.75/10.85 c #Conflicts: 97000 | #Constraints: 7427
10.75/10.85 c #Conflicts: 98000 | #Constraints: 8427
10.75/10.85 c #Conflicts: 99000 | #Constraints: 9428
10.75/10.85 c #Conflicts: 100000 | #Constraints: 10429
10.75/10.85 c #Conflicts: 101000 | #Constraints: 11430
10.75/10.85 c #Conflicts: 102000 | #Constraints: 12430
10.75/10.85 c #Conflicts: 103000 | #Constraints: 13432
10.75/10.85 c INPROCESSING
10.75/10.85 c GARBAGE COLLECT
10.75/10.85 c rational objective 350.5
11.85/11.93 c #Conflicts: 104000 | #Constraints: 8026
11.85/11.93 c #Conflicts: 105000 | #Constraints: 9213
11.85/11.93 c #Conflicts: 106000 | #Constraints: 10292
11.85/11.93 c #Conflicts: 107000 | #Constraints: 11872
11.85/11.93 c #Conflicts: 108000 | #Constraints: 13573
11.85/11.93 c #Conflicts: 109000 | #Constraints: 15305
11.85/11.93 c #Conflicts: 110000 | #Constraints: 16998
11.85/11.93 c INPROCESSING
11.85/11.93 c GARBAGE COLLECT
11.85/11.93 c rational objective 350.5
13.95/14.00 c #Conflicts: 111000 | #Constraints: 10668
13.95/14.00 c #Conflicts: 112000 | #Constraints: 12418
13.95/14.00 c #Conflicts: 113000 | #Constraints: 14175
13.95/14.00 c #Conflicts: 114000 | #Constraints: 15890
13.95/14.00 c #Conflicts: 115000 | #Constraints: 17633
13.95/14.00 c #Conflicts: 116000 | #Constraints: 19346
13.95/14.00 c #Conflicts: 117000 | #Constraints: 20999
13.95/14.00 c INPROCESSING
13.95/14.00 c GARBAGE COLLECT
13.95/14.00 c rational objective 350.5
15.44/15.58 c #Conflicts: 118000 | #Constraints: 11916
15.44/15.58 c #Conflicts: 119000 | #Constraints: 13304
15.44/15.58 c #Conflicts: 120000 | #Constraints: 14918
15.44/15.58 c #Conflicts: 121000 | #Constraints: 16560
15.44/15.58 c #Conflicts: 122000 | #Constraints: 18225
15.44/15.58 c #Conflicts: 123000 | #Constraints: 19960
15.44/15.58 c #Conflicts: 124000 | #Constraints: 21605
15.44/15.58 c INPROCESSING
15.44/15.58 c GARBAGE COLLECT
15.44/15.58 c rational objective 350.5
17.13/17.24 c #Conflicts: 125000 | #Constraints: 12728
17.13/17.24 c #Conflicts: 126000 | #Constraints: 14401
17.13/17.24 c #Conflicts: 127000 | #Constraints: 16020
17.13/17.24 c #Conflicts: 128000 | #Constraints: 17634
17.13/17.24 c #Conflicts: 129000 | #Constraints: 19275
17.13/17.24 c #Conflicts: 130000 | #Constraints: 20874
17.13/17.24 c #Conflicts: 131000 | #Constraints: 22546
17.13/17.24 c INPROCESSING
17.13/17.24 c GARBAGE COLLECT
17.13/17.24 c rational objective 350.5
19.22/19.31 c #Conflicts: 132000 | #Constraints: 12866
19.22/19.31 c #Conflicts: 133000 | #Constraints: 14538
19.22/19.31 c #Conflicts: 134000 | #Constraints: 16202
19.22/19.31 c #Conflicts: 135000 | #Constraints: 17930
19.22/19.31 c #Conflicts: 136000 | #Constraints: 19587
19.22/19.31 c #Conflicts: 137000 | #Constraints: 21275
19.22/19.31 c #Conflicts: 138000 | #Constraints: 22969
19.22/19.31 c #Conflicts: 139000 | #Constraints: 24660
19.22/19.31 c INPROCESSING
19.22/19.31 c GARBAGE COLLECT
19.22/19.31 c rational objective 350.5
21.51/21.67 c #Conflicts: 140000 | #Constraints: 14277
21.51/21.67 c #Conflicts: 141000 | #Constraints: 15965
21.51/21.67 c #Conflicts: 142000 | #Constraints: 17609
21.51/21.67 c #Conflicts: 143000 | #Constraints: 19272
21.51/21.67 c #Conflicts: 144000 | #Constraints: 20937
21.51/21.67 c #Conflicts: 145000 | #Constraints: 22596
21.51/21.67 c #Conflicts: 146000 | #Constraints: 24193
21.51/21.67 c #Conflicts: 147000 | #Constraints: 25805
21.51/21.67 c INPROCESSING
21.51/21.67 c GARBAGE COLLECT
21.51/21.67 c rational objective 350.5
23.02/23.11 c #Conflicts: 148000 | #Constraints: 14454
23.02/23.11 c #Conflicts: 149000 | #Constraints: 15525
23.02/23.11 c #Conflicts: 150000 | #Constraints: 16527
23.02/23.11 c #Conflicts: 151000 | #Constraints: 17529
23.02/23.11 c #Conflicts: 152000 | #Constraints: 18575
23.02/23.11 c #Conflicts: 153000 | #Constraints: 19640
23.02/23.11 c #Conflicts: 154000 | #Constraints: 21389
23.02/23.11 c #Conflicts: 155000 | #Constraints: 23140
23.02/23.11 c INPROCESSING
23.02/23.11 c GARBAGE COLLECT
23.02/23.11 c rational objective 350.5
25.21/25.33 c #Conflicts: 156000 | #Constraints: 12981
25.21/25.33 c #Conflicts: 157000 | #Constraints: 13981
25.21/25.33 c #Conflicts: 158000 | #Constraints: 15564
25.21/25.33 c #Conflicts: 159000 | #Constraints: 17300
25.21/25.33 c #Conflicts: 160000 | #Constraints: 18631
25.21/25.33 c #Conflicts: 161000 | #Constraints: 20004
25.21/25.33 c #Conflicts: 162000 | #Constraints: 21638
25.21/25.33 c #Conflicts: 163000 | #Constraints: 23266
25.21/25.33 c INPROCESSING
25.21/25.33 c GARBAGE COLLECT
25.21/25.33 c rational objective 350.5
45.25/45.46 c #Conflicts: 164000 | #Constraints: 13021
45.25/45.46 c #Conflicts: 165000 | #Constraints: 14344
45.25/45.46 c #Conflicts: 166000 | #Constraints: 15946
45.25/45.46 c #Conflicts: 167000 | #Constraints: 17624
45.25/45.46 c #Conflicts: 168000 | #Constraints: 19277
45.25/45.46 c #Conflicts: 169000 | #Constraints: 20913
45.25/45.46 c #Conflicts: 170000 | #Constraints: 22594
45.25/45.46 c #Conflicts: 171000 | #Constraints: 24306
45.25/45.46 c INPROCESSING
45.25/45.46 c GARBAGE COLLECT
45.25/45.46 c #Conflicts: 172000 | #Constraints: 13782
45.25/45.46 c #Conflicts: 173000 | #Constraints: 15507
45.25/45.46 c #Conflicts: 174000 | #Constraints: 17029
45.25/45.46 c #Conflicts: 175000 | #Constraints: 18646
45.25/45.46 c #Conflicts: 176000 | #Constraints: 20371
45.25/45.46 c #Conflicts: 177000 | #Constraints: 22047
45.25/45.46 c #Conflicts: 178000 | #Constraints: 23719
45.25/45.46 c #Conflicts: 179000 | #Constraints: 25389
45.25/45.46 c #Conflicts: 180000 | #Constraints: 27059
45.25/45.46 c INPROCESSING
45.25/45.46 c GARBAGE COLLECT
45.25/45.46 c #Conflicts: 181000 | #Constraints: 15479
45.25/45.46 c #Conflicts: 182000 | #Constraints: 17088
45.25/45.46 c #Conflicts: 183000 | #Constraints: 18721
45.25/45.46 c #Conflicts: 184000 | #Constraints: 20353
45.25/45.46 c #Conflicts: 185000 | #Constraints: 22058
45.25/45.46 c #Conflicts: 186000 | #Constraints: 23702
45.25/45.46 c #Conflicts: 187000 | #Constraints: 25361
45.25/45.46 c #Conflicts: 188000 | #Constraints: 26972
45.25/45.46 c #Conflicts: 189000 | #Constraints: 28661
45.25/45.46 c INPROCESSING
45.25/45.46 c GARBAGE COLLECT
45.25/45.46 c #Conflicts: 190000 | #Constraints: 16447
45.25/45.46 c #Conflicts: 191000 | #Constraints: 18089
45.25/45.46 c #Conflicts: 192000 | #Constraints: 19682
45.25/45.46 c #Conflicts: 193000 | #Constraints: 21331
45.25/45.46 c #Conflicts: 194000 | #Constraints: 22942
45.25/45.46 c #Conflicts: 195000 | #Constraints: 24604
45.25/45.46 c #Conflicts: 196000 | #Constraints: 26244
45.25/45.46 c #Conflicts: 197000 | #Constraints: 27825
45.25/45.46 c #Conflicts: 198000 | #Constraints: 29494
45.25/45.46 c INPROCESSING
45.25/45.46 c GARBAGE COLLECT
45.25/45.46 c #Conflicts: 199000 | #Constraints: 16852
45.25/45.46 c #Conflicts: 200000 | #Constraints: 18503
45.25/45.46 c #Conflicts: 201000 | #Constraints: 20144
45.25/45.46 c #Conflicts: 202000 | #Constraints: 21740
45.25/45.46 c #Conflicts: 203000 | #Constraints: 23407
45.25/45.46 c #Conflicts: 204000 | #Constraints: 25033
45.25/45.46 c #Conflicts: 205000 | #Constraints: 26674
45.25/45.46 c #Conflicts: 206000 | #Constraints: 28296
45.25/45.46 c #Conflicts: 207000 | #Constraints: 29936
45.25/45.46 c INPROCESSING
45.25/45.46 c GARBAGE COLLECT
45.25/45.46 c #Conflicts: 208000 | #Constraints: 16861
45.25/45.46 c #Conflicts: 209000 | #Constraints: 18477
45.25/45.46 c #Conflicts: 210000 | #Constraints: 20117
45.25/45.46 c #Conflicts: 211000 | #Constraints: 21756
45.25/45.46 c #Conflicts: 212000 | #Constraints: 23404
45.25/45.46 c #Conflicts: 213000 | #Constraints: 24981
45.25/45.46 c #Conflicts: 214000 | #Constraints: 26543
45.25/45.46 c #Conflicts: 215000 | #Constraints: 28189
45.25/45.46 c #Conflicts: 216000 | #Constraints: 29857
45.25/45.46 c INPROCESSING
45.25/45.46 c GARBAGE COLLECT
45.25/45.46 c #Conflicts: 217000 | #Constraints: 16454
45.25/45.46 c #Conflicts: 218000 | #Constraints: 18121
45.25/45.46 c #Conflicts: 219000 | #Constraints: 19771
45.25/45.46 c #Conflicts: 220000 | #Constraints: 21435
45.25/45.46 c #Conflicts: 221000 | #Constraints: 23338
45.25/45.46 c #Conflicts: 222000 | #Constraints: 25196
45.25/45.46 c #Conflicts: 223000 | #Constraints: 27092
45.25/45.46 c #Conflicts: 224000 | #Constraints: 28978
45.25/45.46 c #Conflicts: 225000 | #Constraints: 30814
45.25/45.46 c #Conflicts: 226000 | #Constraints: 32637
45.25/45.46 c INPROCESSING
45.25/45.46 c GARBAGE COLLECT
45.25/45.46 c #Conflicts: 227000 | #Constraints: 18259
45.25/45.46 c #Conflicts: 228000 | #Constraints: 19936
45.25/45.46 c #Conflicts: 229000 | #Constraints: 21578
45.25/45.46 c #Conflicts: 230000 | #Constraints: 23144
45.25/45.46 c #Conflicts: 231000 | #Constraints: 24782
45.25/45.46 c #Conflicts: 232000 | #Constraints: 26454
45.25/45.46 c #Conflicts: 233000 | #Constraints: 28152
45.25/45.46 c #Conflicts: 234000 | #Constraints: 29822
45.25/45.46 c #Conflicts: 235000 | #Constraints: 31484
45.25/45.46 c #Conflicts: 236000 | #Constraints: 33158
45.25/45.46 c INPROCESSING
45.25/45.46 c GARBAGE COLLECT
45.25/45.46 c #Conflicts: 237000 | #Constraints: 18654
60.90/61.16 c #Conflicts: 238000 | #Constraints: 20383
60.90/61.16 c #Conflicts: 239000 | #Constraints: 22055
60.90/61.16 c #Conflicts: 240000 | #Constraints: 23837
60.90/61.16 c #Conflicts: 241000 | #Constraints: 25552
60.90/61.16 c #Conflicts: 242000 | #Constraints: 27204
60.90/61.16 c #Conflicts: 243000 | #Constraints: 28841
60.90/61.16 c #Conflicts: 244000 | #Constraints: 30534
60.90/61.16 c #Conflicts: 245000 | #Constraints: 32230
60.90/61.16 c #Conflicts: 246000 | #Constraints: 33912
60.90/61.16 c INPROCESSING
60.90/61.16 c GARBAGE COLLECT
60.90/61.16 c #Conflicts: 247000 | #Constraints: 19066
60.90/61.16 c #Conflicts: 248000 | #Constraints: 20691
60.90/61.16 c #Conflicts: 249000 | #Constraints: 22267
60.90/61.16 c #Conflicts: 250000 | #Constraints: 23892
60.90/61.16 c #Conflicts: 251000 | #Constraints: 25571
60.90/61.16 c #Conflicts: 252000 | #Constraints: 27263
60.90/61.16 c #Conflicts: 253000 | #Constraints: 28952
60.90/61.16 c #Conflicts: 254000 | #Constraints: 30629
60.90/61.16 c #Conflicts: 255000 | #Constraints: 32303
60.90/61.16 c #Conflicts: 256000 | #Constraints: 33946
60.90/61.16 c INPROCESSING
60.90/61.16 c GARBAGE COLLECT
60.90/61.16 c #Conflicts: 257000 | #Constraints: 18792
60.90/61.16 c #Conflicts: 258000 | #Constraints: 20401
60.90/61.16 c #Conflicts: 259000 | #Constraints: 22091
60.90/61.16 c #Conflicts: 260000 | #Constraints: 23798
60.90/61.16 c #Conflicts: 261000 | #Constraints: 25492
60.90/61.16 c #Conflicts: 262000 | #Constraints: 27211
60.90/61.16 c #Conflicts: 263000 | #Constraints: 28952
60.90/61.16 c #Conflicts: 264000 | #Constraints: 30588
60.90/61.16 c #Conflicts: 265000 | #Constraints: 32217
60.90/61.16 c #Conflicts: 266000 | #Constraints: 33908
60.90/61.16 c INPROCESSING
60.90/61.16 c GARBAGE COLLECT
60.90/61.16 c #Conflicts: 267000 | #Constraints: 18525
60.90/61.16 c #Conflicts: 268000 | #Constraints: 20119
60.90/61.16 c #Conflicts: 269000 | #Constraints: 21778
60.90/61.16 c #Conflicts: 270000 | #Constraints: 23433
60.90/61.16 c #Conflicts: 271000 | #Constraints: 25139
60.90/61.16 c #Conflicts: 272000 | #Constraints: 26830
60.90/61.16 c #Conflicts: 273000 | #Constraints: 28328
60.90/61.16 c #Conflicts: 274000 | #Constraints: 29864
60.90/61.16 c #Conflicts: 275000 | #Constraints: 31529
60.90/61.16 c #Conflicts: 276000 | #Constraints: 33218
60.90/61.16 c #Conflicts: 277000 | #Constraints: 34946
60.90/61.16 c INPROCESSING
60.90/61.16 c GARBAGE COLLECT
60.90/61.16 c #Conflicts: 278000 | #Constraints: 19358
60.90/61.16 c #Conflicts: 279000 | #Constraints: 21004
60.90/61.16 c #Conflicts: 280000 | #Constraints: 22701
60.90/61.16 c #Conflicts: 281000 | #Constraints: 24386
60.90/61.16 c #Conflicts: 282000 | #Constraints: 26132
60.90/61.16 c #Conflicts: 283000 | #Constraints: 27839
60.90/61.16 c #Conflicts: 284000 | #Constraints: 29484
60.90/61.16 c #Conflicts: 285000 | #Constraints: 31200
60.90/61.16 c #Conflicts: 286000 | #Constraints: 32937
60.90/61.16 c #Conflicts: 287000 | #Constraints: 34619
60.90/61.16 c #Conflicts: 288000 | #Constraints: 36271
60.90/61.16 c INPROCESSING
60.90/61.16 c GARBAGE COLLECT
60.90/61.16 c rational objective 350.5
65.17/65.47 c #Conflicts: 289000 | #Constraints: 20275
65.17/65.47 c #Conflicts: 290000 | #Constraints: 21869
65.17/65.47 c #Conflicts: 291000 | #Constraints: 23534
65.17/65.47 c #Conflicts: 292000 | #Constraints: 25246
65.17/65.47 c #Conflicts: 293000 | #Constraints: 26966
65.17/65.47 c #Conflicts: 294000 | #Constraints: 28646
65.17/65.47 c #Conflicts: 295000 | #Constraints: 30289
65.17/65.47 c #Conflicts: 296000 | #Constraints: 31932
65.17/65.47 c #Conflicts: 297000 | #Constraints: 33577
65.17/65.47 c #Conflicts: 298000 | #Constraints: 35284
65.17/65.47 c #Conflicts: 299000 | #Constraints: 37021
65.17/65.47 c INPROCESSING
65.17/65.47 c GARBAGE COLLECT
65.17/65.47 c rational objective 350.5
68.87/69.13 c #Conflicts: 300000 | #Constraints: 20619
68.87/69.13 c #Conflicts: 301000 | #Constraints: 22298
68.87/69.13 c #Conflicts: 302000 | #Constraints: 23906
68.87/69.13 c #Conflicts: 303000 | #Constraints: 25503
68.87/69.13 c #Conflicts: 304000 | #Constraints: 27220
68.87/69.13 c #Conflicts: 305000 | #Constraints: 28887
68.87/69.13 c #Conflicts: 306000 | #Constraints: 30552
68.87/69.13 c #Conflicts: 307000 | #Constraints: 32162
68.87/69.13 c #Conflicts: 308000 | #Constraints: 33846
68.87/69.13 c #Conflicts: 309000 | #Constraints: 35524
68.87/69.13 c #Conflicts: 310000 | #Constraints: 37172
68.87/69.13 c INPROCESSING
68.87/69.13 c GARBAGE COLLECT
68.87/69.13 c rational objective 350.5
102.56/102.94 c #Conflicts: 311000 | #Constraints: 20463
102.56/102.94 c #Conflicts: 312000 | #Constraints: 22035
102.56/102.94 c #Conflicts: 313000 | #Constraints: 23709
102.56/102.94 c #Conflicts: 314000 | #Constraints: 25415
102.56/102.94 c #Conflicts: 315000 | #Constraints: 26978
102.56/102.94 c #Conflicts: 316000 | #Constraints: 28528
102.56/102.94 c #Conflicts: 317000 | #Constraints: 30095
102.56/102.94 c #Conflicts: 318000 | #Constraints: 31658
102.56/102.94 c #Conflicts: 319000 | #Constraints: 33255
102.56/102.94 c #Conflicts: 320000 | #Constraints: 34803
102.56/102.94 c #Conflicts: 321000 | #Constraints: 36494
102.56/102.94 c INPROCESSING
102.56/102.94 c GARBAGE COLLECT
102.56/102.94 c #Conflicts: 322000 | #Constraints: 19821
102.56/102.94 c #Conflicts: 323000 | #Constraints: 21445
102.56/102.94 c #Conflicts: 324000 | #Constraints: 23109
102.56/102.94 c #Conflicts: 325000 | #Constraints: 24744
102.56/102.94 c #Conflicts: 326000 | #Constraints: 26407
102.56/102.94 c #Conflicts: 327000 | #Constraints: 28040
102.56/102.94 c #Conflicts: 328000 | #Constraints: 29647
102.56/102.94 c #Conflicts: 329000 | #Constraints: 31231
102.56/102.94 c #Conflicts: 330000 | #Constraints: 32840
102.56/102.94 c #Conflicts: 331000 | #Constraints: 34407
102.56/102.94 c #Conflicts: 332000 | #Constraints: 36013
102.56/102.94 c #Conflicts: 333000 | #Constraints: 37567
102.56/102.94 c INPROCESSING
102.56/102.94 c GARBAGE COLLECT
102.56/102.94 c #Conflicts: 334000 | #Constraints: 20774
102.56/102.94 c #Conflicts: 335000 | #Constraints: 22443
102.56/102.94 c #Conflicts: 336000 | #Constraints: 24086
102.56/102.94 c #Conflicts: 337000 | #Constraints: 25764
102.56/102.94 c #Conflicts: 338000 | #Constraints: 27422
102.56/102.94 c #Conflicts: 339000 | #Constraints: 29035
102.56/102.94 c #Conflicts: 340000 | #Constraints: 30637
102.56/102.94 c #Conflicts: 341000 | #Constraints: 32367
102.56/102.94 c #Conflicts: 342000 | #Constraints: 34118
102.56/102.94 c #Conflicts: 343000 | #Constraints: 35838
102.56/102.94 c #Conflicts: 344000 | #Constraints: 37514
102.56/102.94 c #Conflicts: 345000 | #Constraints: 39232
102.56/102.94 c INPROCESSING
102.56/102.94 c GARBAGE COLLECT
102.56/102.94 c #Conflicts: 346000 | #Constraints: 21698
102.56/102.94 c #Conflicts: 347000 | #Constraints: 23349
102.56/102.94 c #Conflicts: 348000 | #Constraints: 25005
102.56/102.94 c #Conflicts: 349000 | #Constraints: 26678
102.56/102.94 c #Conflicts: 350000 | #Constraints: 28398
102.56/102.94 c #Conflicts: 351000 | #Constraints: 30124
102.56/102.94 c #Conflicts: 352000 | #Constraints: 31812
102.56/102.94 c #Conflicts: 353000 | #Constraints: 33536
102.56/102.94 c #Conflicts: 354000 | #Constraints: 35216
102.56/102.94 c #Conflicts: 355000 | #Constraints: 36887
102.56/102.94 c #Conflicts: 356000 | #Constraints: 38577
102.56/102.94 c #Conflicts: 357000 | #Constraints: 40272
102.56/102.94 c INPROCESSING
102.56/102.94 c GARBAGE COLLECT
102.56/102.94 c #Conflicts: 358000 | #Constraints: 22228
102.56/102.94 c #Conflicts: 359000 | #Constraints: 23901
102.56/102.94 c #Conflicts: 360000 | #Constraints: 25597
102.56/102.94 c #Conflicts: 361000 | #Constraints: 27314
102.56/102.94 c #Conflicts: 362000 | #Constraints: 29005
102.56/102.94 c #Conflicts: 363000 | #Constraints: 30721
102.56/102.94 c #Conflicts: 364000 | #Constraints: 32387
102.56/102.94 c #Conflicts: 365000 | #Constraints: 34080
102.56/102.94 c #Conflicts: 366000 | #Constraints: 35781
102.56/102.94 c #Conflicts: 367000 | #Constraints: 37422
102.56/102.94 c #Conflicts: 368000 | #Constraints: 39034
102.56/102.94 c #Conflicts: 369000 | #Constraints: 40701
102.56/102.94 c INPROCESSING
102.56/102.94 c GARBAGE COLLECT
102.56/102.94 c #Conflicts: 370000 | #Constraints: 22305
102.56/102.94 c #Conflicts: 371000 | #Constraints: 23948
102.56/102.94 c #Conflicts: 372000 | #Constraints: 25748
102.56/102.94 c #Conflicts: 373000 | #Constraints: 27460
102.56/102.94 c #Conflicts: 374000 | #Constraints: 29196
102.56/102.94 c #Conflicts: 375000 | #Constraints: 30887
102.56/102.94 c #Conflicts: 376000 | #Constraints: 32272
102.56/102.94 c #Conflicts: 377000 | #Constraints: 33486
102.56/102.94 c #Conflicts: 378000 | #Constraints: 35139
102.56/102.94 c #Conflicts: 379000 | #Constraints: 36349
102.56/102.94 c #Conflicts: 380000 | #Constraints: 37412
102.56/102.94 c #Conflicts: 381000 | #Constraints: 38883
102.56/102.94 c INPROCESSING
102.56/102.94 c GARBAGE COLLECT
102.56/102.94 c #Conflicts: 382000 | #Constraints: 20730
102.56/102.94 c #Conflicts: 383000 | #Constraints: 22082
102.56/102.94 c #Conflicts: 384000 | #Constraints: 23509
102.56/102.94 c #Conflicts: 385000 | #Constraints: 24675
120.60/121.08 c #Conflicts: 386000 | #Constraints: 25936
120.60/121.08 c #Conflicts: 387000 | #Constraints: 26983
120.60/121.08 c #Conflicts: 388000 | #Constraints: 28016
120.60/121.08 c #Conflicts: 389000 | #Constraints: 29028
120.60/121.08 c #Conflicts: 390000 | #Constraints: 30030
120.60/121.08 c #Conflicts: 391000 | #Constraints: 31035
120.60/121.08 c #Conflicts: 392000 | #Constraints: 32097
120.60/121.08 c #Conflicts: 393000 | #Constraints: 33097
120.60/121.08 c #Conflicts: 394000 | #Constraints: 34179
120.60/121.08 c INPROCESSING
120.60/121.08 c GARBAGE COLLECT
120.60/121.08 c #Conflicts: 395000 | #Constraints: 18702
120.60/121.08 c #Conflicts: 396000 | #Constraints: 19702
120.60/121.08 c #Conflicts: 397000 | #Constraints: 21135
120.60/121.08 c #Conflicts: 398000 | #Constraints: 22411
120.60/121.08 c #Conflicts: 399000 | #Constraints: 23718
120.60/121.08 c #Conflicts: 400000 | #Constraints: 24995
120.60/121.08 c #Conflicts: 401000 | #Constraints: 26074
120.60/121.08 c #Conflicts: 402000 | #Constraints: 27121
120.60/121.08 c #Conflicts: 403000 | #Constraints: 28122
120.60/121.08 c #Conflicts: 404000 | #Constraints: 29259
120.60/121.08 c #Conflicts: 405000 | #Constraints: 30833
120.60/121.08 c #Conflicts: 406000 | #Constraints: 32101
120.60/121.08 c #Conflicts: 407000 | #Constraints: 33110
120.60/121.08 c INPROCESSING
120.60/121.08 c GARBAGE COLLECT
120.60/121.08 c #Conflicts: 408000 | #Constraints: 18021
120.60/121.08 c #Conflicts: 409000 | #Constraints: 19025
120.60/121.08 c #Conflicts: 410000 | #Constraints: 20039
120.60/121.08 c #Conflicts: 411000 | #Constraints: 21040
120.60/121.08 c #Conflicts: 412000 | #Constraints: 22389
120.60/121.08 c #Conflicts: 413000 | #Constraints: 23709
120.60/121.08 c #Conflicts: 414000 | #Constraints: 25197
120.60/121.08 c #Conflicts: 415000 | #Constraints: 26867
120.60/121.08 c #Conflicts: 416000 | #Constraints: 28527
120.60/121.08 c #Conflicts: 417000 | #Constraints: 30245
120.60/121.08 c #Conflicts: 418000 | #Constraints: 31928
120.60/121.08 c #Conflicts: 419000 | #Constraints: 33555
120.60/121.08 c #Conflicts: 420000 | #Constraints: 35152
120.60/121.08 c INPROCESSING
120.60/121.08 c GARBAGE COLLECT
120.60/121.08 c #Conflicts: 421000 | #Constraints: 19687
120.60/121.08 c #Conflicts: 422000 | #Constraints: 21355
120.60/121.08 c #Conflicts: 423000 | #Constraints: 22971
120.60/121.08 c #Conflicts: 424000 | #Constraints: 24649
120.60/121.08 c #Conflicts: 425000 | #Constraints: 26347
120.60/121.08 c #Conflicts: 426000 | #Constraints: 27961
120.60/121.08 c #Conflicts: 427000 | #Constraints: 29603
120.60/121.08 c #Conflicts: 428000 | #Constraints: 31259
120.60/121.08 c #Conflicts: 429000 | #Constraints: 32347
120.60/121.08 c #Conflicts: 430000 | #Constraints: 33394
120.60/121.08 c #Conflicts: 431000 | #Constraints: 34431
120.60/121.08 c #Conflicts: 432000 | #Constraints: 35434
120.60/121.08 c #Conflicts: 433000 | #Constraints: 36438
120.60/121.08 c INPROCESSING
120.60/121.08 c GARBAGE COLLECT
120.60/121.08 c #Conflicts: 434000 | #Constraints: 19569
120.60/121.08 c #Conflicts: 435000 | #Constraints: 20742
120.60/121.08 c #Conflicts: 436000 | #Constraints: 21755
120.60/121.08 c #Conflicts: 437000 | #Constraints: 22796
120.60/121.08 c #Conflicts: 438000 | #Constraints: 24510
120.60/121.08 c #Conflicts: 439000 | #Constraints: 26087
120.60/121.08 c #Conflicts: 440000 | #Constraints: 27101
120.60/121.08 c #Conflicts: 441000 | #Constraints: 28129
120.60/121.08 c #Conflicts: 442000 | #Constraints: 29129
120.60/121.08 c #Conflicts: 443000 | #Constraints: 30500
120.60/121.08 c #Conflicts: 444000 | #Constraints: 32172
120.60/121.08 c #Conflicts: 445000 | #Constraints: 33829
120.60/121.08 c #Conflicts: 446000 | #Constraints: 35519
120.60/121.08 c INPROCESSING
120.60/121.08 c GARBAGE COLLECT
120.60/121.08 c #Conflicts: 447000 | #Constraints: 19391
120.60/121.08 c #Conflicts: 448000 | #Constraints: 21077
120.60/121.08 c #Conflicts: 449000 | #Constraints: 22081
120.60/121.08 c #Conflicts: 450000 | #Constraints: 23109
120.60/121.08 c #Conflicts: 451000 | #Constraints: 24109
120.60/121.08 c #Conflicts: 452000 | #Constraints: 25110
120.60/121.08 c #Conflicts: 453000 | #Constraints: 26246
120.60/121.08 c #Conflicts: 454000 | #Constraints: 27736
120.60/121.08 c #Conflicts: 455000 | #Constraints: 29411
120.60/121.08 c #Conflicts: 456000 | #Constraints: 31164
120.60/121.08 c #Conflicts: 457000 | #Constraints: 32346
120.60/121.08 c #Conflicts: 458000 | #Constraints: 33383
120.60/121.08 c #Conflicts: 459000 | #Constraints: 34384
120.60/121.08 c #Conflicts: 460000 | #Constraints: 35385
120.60/121.08 c INPROCESSING
120.60/121.08 c GARBAGE COLLECT
143.13/143.64 c #Conflicts: 461000 | #Constraints: 19033
143.13/143.64 c #Conflicts: 462000 | #Constraints: 20396
143.13/143.64 c #Conflicts: 463000 | #Constraints: 21447
143.13/143.64 c #Conflicts: 464000 | #Constraints: 22482
143.13/143.64 c #Conflicts: 465000 | #Constraints: 23643
143.13/143.64 c #Conflicts: 466000 | #Constraints: 25366
143.13/143.64 c #Conflicts: 467000 | #Constraints: 27122
143.13/143.64 c #Conflicts: 468000 | #Constraints: 28744
143.13/143.64 c #Conflicts: 469000 | #Constraints: 30427
143.13/143.64 c #Conflicts: 470000 | #Constraints: 32131
143.13/143.64 c #Conflicts: 471000 | #Constraints: 33813
143.13/143.64 c #Conflicts: 472000 | #Constraints: 35543
143.13/143.64 c #Conflicts: 473000 | #Constraints: 37241
143.13/143.64 c #Conflicts: 474000 | #Constraints: 38859
143.13/143.64 c INPROCESSING
143.13/143.64 c GARBAGE COLLECT
143.13/143.64 c #Conflicts: 475000 | #Constraints: 21471
143.13/143.64 c #Conflicts: 476000 | #Constraints: 23065
143.13/143.64 c #Conflicts: 477000 | #Constraints: 24661
143.13/143.64 c #Conflicts: 478000 | #Constraints: 26199
143.13/143.64 c #Conflicts: 479000 | #Constraints: 27815
143.13/143.64 c #Conflicts: 480000 | #Constraints: 29470
143.13/143.64 c #Conflicts: 481000 | #Constraints: 31142
143.13/143.64 c #Conflicts: 482000 | #Constraints: 32790
143.13/143.64 c #Conflicts: 483000 | #Constraints: 34412
143.13/143.64 c #Conflicts: 484000 | #Constraints: 36043
143.13/143.64 c #Conflicts: 485000 | #Constraints: 37732
143.13/143.64 c #Conflicts: 486000 | #Constraints: 39330
143.13/143.64 c #Conflicts: 487000 | #Constraints: 40999
143.13/143.64 c #Conflicts: 488000 | #Constraints: 42609
143.13/143.64 c INPROCESSING
143.13/143.64 c GARBAGE COLLECT
143.13/143.64 c #Conflicts: 489000 | #Constraints: 23511
143.13/143.64 c #Conflicts: 490000 | #Constraints: 25190
143.13/143.64 c #Conflicts: 491000 | #Constraints: 26210
143.13/143.64 c #Conflicts: 492000 | #Constraints: 27210
143.13/143.64 c #Conflicts: 493000 | #Constraints: 28210
143.13/143.64 c #Conflicts: 494000 | #Constraints: 29599
143.13/143.64 c #Conflicts: 495000 | #Constraints: 31274
143.13/143.64 c #Conflicts: 496000 | #Constraints: 32926
143.13/143.64 c #Conflicts: 497000 | #Constraints: 34617
143.13/143.64 c #Conflicts: 498000 | #Constraints: 36267
143.13/143.64 c #Conflicts: 499000 | #Constraints: 37982
143.13/143.64 c #Conflicts: 500000 | #Constraints: 39665
143.13/143.64 c #Conflicts: 501000 | #Constraints: 41305
143.13/143.64 c #Conflicts: 502000 | #Constraints: 42903
143.13/143.64 c INPROCESSING
143.13/143.64 c GARBAGE COLLECT
143.13/143.64 c #Conflicts: 503000 | #Constraints: 23434
143.13/143.64 c #Conflicts: 504000 | #Constraints: 25153
143.13/143.64 c #Conflicts: 505000 | #Constraints: 26816
143.13/143.64 c #Conflicts: 506000 | #Constraints: 28522
143.13/143.64 c #Conflicts: 507000 | #Constraints: 30104
143.13/143.64 c #Conflicts: 508000 | #Constraints: 31735
143.13/143.64 c #Conflicts: 509000 | #Constraints: 33485
143.13/143.64 c #Conflicts: 510000 | #Constraints: 35141
143.13/143.64 c #Conflicts: 511000 | #Constraints: 36731
143.13/143.64 c #Conflicts: 512000 | #Constraints: 38274
143.13/143.64 c #Conflicts: 513000 | #Constraints: 40021
143.13/143.64 c #Conflicts: 514000 | #Constraints: 41733
143.13/143.64 c #Conflicts: 515000 | #Constraints: 43410
143.13/143.64 c #Conflicts: 516000 | #Constraints: 45136
143.13/143.64 c INPROCESSING
143.13/143.64 c GARBAGE COLLECT
143.13/143.64 c #Conflicts: 517000 | #Constraints: 23841
143.13/143.64 c #Conflicts: 518000 | #Constraints: 24855
143.13/143.64 c #Conflicts: 519000 | #Constraints: 25998
143.13/143.64 c #Conflicts: 520000 | #Constraints: 27712
143.13/143.64 c #Conflicts: 521000 | #Constraints: 28872
143.13/143.64 c #Conflicts: 522000 | #Constraints: 30099
143.13/143.64 c #Conflicts: 523000 | #Constraints: 31114
143.13/143.64 c #Conflicts: 524000 | #Constraints: 32116
143.13/143.64 c #Conflicts: 525000 | #Constraints: 33231
143.13/143.64 c #Conflicts: 526000 | #Constraints: 34309
143.13/143.64 c #Conflicts: 527000 | #Constraints: 35418
143.13/143.64 c #Conflicts: 528000 | #Constraints: 36430
143.13/143.64 c #Conflicts: 529000 | #Constraints: 37503
143.13/143.64 c #Conflicts: 530000 | #Constraints: 38793
143.13/143.64 c #Conflicts: 531000 | #Constraints: 39812
143.13/143.64 c INPROCESSING
143.13/143.64 c GARBAGE COLLECT
143.13/143.64 c #Conflicts: 532000 | #Constraints: 21346
143.13/143.64 c #Conflicts: 533000 | #Constraints: 22381
143.13/143.64 c #Conflicts: 534000 | #Constraints: 23382
143.13/143.64 c #Conflicts: 535000 | #Constraints: 24459
143.13/143.64 c #Conflicts: 536000 | #Constraints: 25676
163.57/164.19 c #Conflicts: 537000 | #Constraints: 26749
163.57/164.19 c #Conflicts: 538000 | #Constraints: 27839
163.57/164.19 c #Conflicts: 539000 | #Constraints: 28976
163.57/164.19 c #Conflicts: 540000 | #Constraints: 30140
163.57/164.19 c #Conflicts: 541000 | #Constraints: 31400
163.57/164.19 c #Conflicts: 542000 | #Constraints: 32409
163.57/164.19 c #Conflicts: 543000 | #Constraints: 33670
163.57/164.19 c #Conflicts: 544000 | #Constraints: 34674
163.57/164.19 c #Conflicts: 545000 | #Constraints: 35679
163.57/164.19 c #Conflicts: 546000 | #Constraints: 36732
163.57/164.19 c INPROCESSING
163.57/164.19 c GARBAGE COLLECT
163.57/164.19 c #Conflicts: 547000 | #Constraints: 20335
163.57/164.19 c #Conflicts: 548000 | #Constraints: 21755
163.57/164.19 c #Conflicts: 549000 | #Constraints: 23412
163.57/164.19 c #Conflicts: 550000 | #Constraints: 25166
163.57/164.19 c #Conflicts: 551000 | #Constraints: 26900
163.57/164.19 c #Conflicts: 552000 | #Constraints: 28042
163.57/164.19 c #Conflicts: 553000 | #Constraints: 29305
163.57/164.19 c #Conflicts: 554000 | #Constraints: 30887
163.57/164.19 c #Conflicts: 555000 | #Constraints: 32507
163.57/164.19 c #Conflicts: 556000 | #Constraints: 34145
163.57/164.19 c #Conflicts: 557000 | #Constraints: 35713
163.57/164.19 c #Conflicts: 558000 | #Constraints: 36926
163.57/164.19 c #Conflicts: 559000 | #Constraints: 37945
163.57/164.19 c #Conflicts: 560000 | #Constraints: 39046
163.57/164.19 c #Conflicts: 561000 | #Constraints: 40402
163.57/164.19 c INPROCESSING
163.57/164.19 c GARBAGE COLLECT
163.57/164.19 c #Conflicts: 562000 | #Constraints: 21887
163.57/164.19 c #Conflicts: 563000 | #Constraints: 22890
163.57/164.19 c #Conflicts: 564000 | #Constraints: 23931
163.57/164.19 c #Conflicts: 565000 | #Constraints: 24933
163.57/164.19 c #Conflicts: 566000 | #Constraints: 25943
163.57/164.19 c #Conflicts: 567000 | #Constraints: 26988
163.57/164.19 c #Conflicts: 568000 | #Constraints: 28306
163.57/164.19 c #Conflicts: 569000 | #Constraints: 29595
163.57/164.19 c #Conflicts: 570000 | #Constraints: 30621
163.57/164.19 c #Conflicts: 571000 | #Constraints: 31636
163.57/164.19 c #Conflicts: 572000 | #Constraints: 32877
163.57/164.19 c #Conflicts: 573000 | #Constraints: 33891
163.57/164.19 c #Conflicts: 574000 | #Constraints: 34988
163.57/164.19 c #Conflicts: 575000 | #Constraints: 36439
163.57/164.19 c #Conflicts: 576000 | #Constraints: 38163
163.57/164.19 c INPROCESSING
163.57/164.19 c GARBAGE COLLECT
163.57/164.19 c #Conflicts: 577000 | #Constraints: 20786
163.57/164.19 c #Conflicts: 578000 | #Constraints: 21791
163.57/164.19 c #Conflicts: 579000 | #Constraints: 22834
163.57/164.19 c #Conflicts: 580000 | #Constraints: 24016
163.57/164.19 c #Conflicts: 581000 | #Constraints: 25022
163.57/164.19 c #Conflicts: 582000 | #Constraints: 26068
163.57/164.19 c #Conflicts: 583000 | #Constraints: 27074
163.57/164.19 c #Conflicts: 584000 | #Constraints: 28237
163.57/164.19 c #Conflicts: 585000 | #Constraints: 29549
163.57/164.19 c #Conflicts: 586000 | #Constraints: 30683
163.57/164.19 c #Conflicts: 587000 | #Constraints: 31712
163.57/164.19 c #Conflicts: 588000 | #Constraints: 32730
163.57/164.19 c #Conflicts: 589000 | #Constraints: 33741
163.57/164.19 c #Conflicts: 590000 | #Constraints: 34787
163.57/164.19 c #Conflicts: 591000 | #Constraints: 36265
163.57/164.19 c INPROCESSING
163.57/164.19 c GARBAGE COLLECT
163.57/164.19 c #Conflicts: 592000 | #Constraints: 19672
163.57/164.19 c #Conflicts: 593000 | #Constraints: 21088
163.57/164.19 c #Conflicts: 594000 | #Constraints: 22735
163.57/164.19 c #Conflicts: 595000 | #Constraints: 24317
163.57/164.19 c #Conflicts: 596000 | #Constraints: 26012
163.57/164.19 c #Conflicts: 597000 | #Constraints: 27678
163.57/164.19 c #Conflicts: 598000 | #Constraints: 29345
163.57/164.19 c #Conflicts: 599000 | #Constraints: 30971
163.57/164.19 c #Conflicts: 600000 | #Constraints: 32597
163.57/164.19 c #Conflicts: 601000 | #Constraints: 34250
163.57/164.19 c #Conflicts: 602000 | #Constraints: 35865
163.57/164.19 c #Conflicts: 603000 | #Constraints: 37543
163.57/164.19 c #Conflicts: 604000 | #Constraints: 39214
163.57/164.19 c #Conflicts: 605000 | #Constraints: 40896
163.57/164.19 c #Conflicts: 606000 | #Constraints: 42584
163.57/164.19 c #Conflicts: 607000 | #Constraints: 44247
163.57/164.19 c INPROCESSING
163.57/164.19 c GARBAGE COLLECT
163.57/164.19 c #Conflicts: 608000 | #Constraints: 24100
163.57/164.19 c #Conflicts: 609000 | #Constraints: 25723
163.57/164.19 c #Conflicts: 610000 | #Constraints: 26747
163.57/164.19 c #Conflicts: 611000 | #Constraints: 27748
163.57/164.19 c #Conflicts: 612000 | #Constraints: 29294
179.81/180.45 c #Conflicts: 613000 | #Constraints: 30843
179.81/180.45 c #Conflicts: 614000 | #Constraints: 31874
179.81/180.45 c #Conflicts: 615000 | #Constraints: 32919
179.81/180.45 c #Conflicts: 616000 | #Constraints: 33920
179.81/180.45 c #Conflicts: 617000 | #Constraints: 34956
179.81/180.45 c #Conflicts: 618000 | #Constraints: 36179
179.81/180.45 c #Conflicts: 619000 | #Constraints: 37268
179.81/180.45 c #Conflicts: 620000 | #Constraints: 38578
179.81/180.45 c #Conflicts: 621000 | #Constraints: 39651
179.81/180.45 c #Conflicts: 622000 | #Constraints: 41009
179.81/180.45 c #Conflicts: 623000 | #Constraints: 42663
179.81/180.45 c INPROCESSING
179.81/180.45 c GARBAGE COLLECT
179.81/180.45 c #Conflicts: 624000 | #Constraints: 22806
179.81/180.45 c #Conflicts: 625000 | #Constraints: 23807
179.81/180.45 c #Conflicts: 626000 | #Constraints: 25455
179.81/180.45 c #Conflicts: 627000 | #Constraints: 26556
179.81/180.45 c #Conflicts: 628000 | #Constraints: 27686
179.81/180.45 c #Conflicts: 629000 | #Constraints: 28965
179.81/180.45 c #Conflicts: 630000 | #Constraints: 30119
179.81/180.45 c #Conflicts: 631000 | #Constraints: 31121
179.81/180.45 c #Conflicts: 632000 | #Constraints: 32122
179.81/180.45 c #Conflicts: 633000 | #Constraints: 33159
179.81/180.45 c #Conflicts: 634000 | #Constraints: 34358
179.81/180.45 c #Conflicts: 635000 | #Constraints: 35496
179.81/180.45 c #Conflicts: 636000 | #Constraints: 36546
179.81/180.45 c #Conflicts: 637000 | #Constraints: 37849
179.81/180.45 c #Conflicts: 638000 | #Constraints: 39353
179.81/180.45 c #Conflicts: 639000 | #Constraints: 40367
179.81/180.45 c INPROCESSING
179.81/180.45 c GARBAGE COLLECT
179.81/180.45 c #Conflicts: 640000 | #Constraints: 21732
179.81/180.45 c #Conflicts: 641000 | #Constraints: 22934
179.81/180.45 c #Conflicts: 642000 | #Constraints: 23944
179.81/180.45 c #Conflicts: 643000 | #Constraints: 25011
179.81/180.45 c #Conflicts: 644000 | #Constraints: 26281
179.81/180.45 c #Conflicts: 645000 | #Constraints: 27335
179.81/180.45 c #Conflicts: 646000 | #Constraints: 28338
179.81/180.45 c #Conflicts: 647000 | #Constraints: 29368
179.81/180.45 c #Conflicts: 648000 | #Constraints: 30368
179.81/180.45 c #Conflicts: 649000 | #Constraints: 31491
179.81/180.45 c #Conflicts: 650000 | #Constraints: 32492
179.81/180.45 c #Conflicts: 651000 | #Constraints: 33493
179.81/180.45 c #Conflicts: 652000 | #Constraints: 34938
179.81/180.45 c #Conflicts: 653000 | #Constraints: 36555
179.81/180.45 c #Conflicts: 654000 | #Constraints: 38226
179.81/180.45 c #Conflicts: 655000 | #Constraints: 39947
179.81/180.45 c INPROCESSING
179.81/180.45 c GARBAGE COLLECT
179.81/180.45 c #Conflicts: 656000 | #Constraints: 21840
179.81/180.45 c #Conflicts: 657000 | #Constraints: 23076
179.81/180.45 c #Conflicts: 658000 | #Constraints: 24255
179.81/180.45 c #Conflicts: 659000 | #Constraints: 25458
179.81/180.45 c #Conflicts: 660000 | #Constraints: 26473
179.81/180.45 c #Conflicts: 661000 | #Constraints: 27473
179.81/180.45 c #Conflicts: 662000 | #Constraints: 28489
179.81/180.45 c #Conflicts: 663000 | #Constraints: 29559
179.81/180.45 c #Conflicts: 664000 | #Constraints: 30581
179.81/180.45 c #Conflicts: 665000 | #Constraints: 31587
179.81/180.45 c #Conflicts: 666000 | #Constraints: 32828
179.81/180.45 c #Conflicts: 667000 | #Constraints: 33968
179.81/180.45 c #Conflicts: 668000 | #Constraints: 35031
179.81/180.45 c #Conflicts: 669000 | #Constraints: 36226
179.81/180.45 c #Conflicts: 670000 | #Constraints: 37412
179.81/180.45 c #Conflicts: 671000 | #Constraints: 38896
179.81/180.45 c INPROCESSING
179.81/180.45 c GARBAGE COLLECT
179.81/180.45 c #Conflicts: 672000 | #Constraints: 20568
179.81/180.45 c #Conflicts: 673000 | #Constraints: 21735
179.81/180.45 c #Conflicts: 674000 | #Constraints: 22884
179.81/180.45 c #Conflicts: 675000 | #Constraints: 24309
179.81/180.45 c #Conflicts: 676000 | #Constraints: 25893
179.81/180.45 c #Conflicts: 677000 | #Constraints: 27467
179.81/180.45 c #Conflicts: 678000 | #Constraints: 29125
179.81/180.45 c #Conflicts: 679000 | #Constraints: 30826
179.81/180.45 c #Conflicts: 680000 | #Constraints: 32353
179.81/180.45 c #Conflicts: 681000 | #Constraints: 33357
179.81/180.45 c #Conflicts: 682000 | #Constraints: 34372
179.81/180.45 c #Conflicts: 683000 | #Constraints: 35374
179.81/180.45 c #Conflicts: 684000 | #Constraints: 36454
179.81/180.45 c #Conflicts: 685000 | #Constraints: 37457
179.81/180.45 c #Conflicts: 686000 | #Constraints: 38465
179.81/180.45 c #Conflicts: 687000 | #Constraints: 39473
179.81/180.45 c #Conflicts: 688000 | #Constraints: 40473
206.12/206.82 c INPROCESSING
206.12/206.82 c GARBAGE COLLECT
206.12/206.82 c #Conflicts: 689000 | #Constraints: 21866
206.12/206.82 c #Conflicts: 690000 | #Constraints: 22918
206.12/206.82 c #Conflicts: 691000 | #Constraints: 23995
206.12/206.82 c #Conflicts: 692000 | #Constraints: 25406
206.12/206.82 c #Conflicts: 693000 | #Constraints: 26683
206.12/206.82 c #Conflicts: 694000 | #Constraints: 28068
206.12/206.82 c #Conflicts: 695000 | #Constraints: 29382
206.12/206.82 c #Conflicts: 696000 | #Constraints: 30386
206.12/206.82 c #Conflicts: 697000 | #Constraints: 31477
206.12/206.82 c #Conflicts: 698000 | #Constraints: 33099
206.12/206.82 c #Conflicts: 699000 | #Constraints: 34747
206.12/206.82 c #Conflicts: 700000 | #Constraints: 36372
206.12/206.82 c #Conflicts: 701000 | #Constraints: 37973
206.12/206.82 c #Conflicts: 702000 | #Constraints: 39689
206.12/206.82 c #Conflicts: 703000 | #Constraints: 41323
206.12/206.82 c #Conflicts: 704000 | #Constraints: 42838
206.12/206.82 c #Conflicts: 705000 | #Constraints: 44475
206.12/206.82 c INPROCESSING
206.12/206.82 c GARBAGE COLLECT
206.12/206.82 c #Conflicts: 706000 | #Constraints: 24314
206.12/206.82 c #Conflicts: 707000 | #Constraints: 25999
206.12/206.82 c #Conflicts: 708000 | #Constraints: 27557
206.12/206.82 c #Conflicts: 709000 | #Constraints: 29181
206.12/206.82 c #Conflicts: 710000 | #Constraints: 30791
206.12/206.82 c #Conflicts: 711000 | #Constraints: 32481
206.12/206.82 c #Conflicts: 712000 | #Constraints: 34102
206.12/206.82 c #Conflicts: 713000 | #Constraints: 35665
206.12/206.82 c #Conflicts: 714000 | #Constraints: 37225
206.12/206.82 c #Conflicts: 715000 | #Constraints: 38799
206.12/206.82 c #Conflicts: 716000 | #Constraints: 40344
206.12/206.82 c #Conflicts: 717000 | #Constraints: 41886
206.12/206.82 c #Conflicts: 718000 | #Constraints: 43517
206.12/206.82 c #Conflicts: 719000 | #Constraints: 45217
206.12/206.82 c #Conflicts: 720000 | #Constraints: 46881
206.12/206.82 c #Conflicts: 721000 | #Constraints: 48580
206.12/206.82 c #Conflicts: 722000 | #Constraints: 50306
206.12/206.82 c INPROCESSING
206.12/206.82 c GARBAGE COLLECT
206.12/206.82 c #Conflicts: 723000 | #Constraints: 27305
206.12/206.82 c #Conflicts: 724000 | #Constraints: 28942
206.12/206.82 c #Conflicts: 725000 | #Constraints: 30579
206.12/206.82 c #Conflicts: 726000 | #Constraints: 32273
206.12/206.82 c #Conflicts: 727000 | #Constraints: 33955
206.12/206.82 c #Conflicts: 728000 | #Constraints: 35687
206.12/206.82 c #Conflicts: 729000 | #Constraints: 37381
206.12/206.82 c #Conflicts: 730000 | #Constraints: 39057
206.12/206.82 c #Conflicts: 731000 | #Constraints: 40708
206.12/206.82 c #Conflicts: 732000 | #Constraints: 42382
206.12/206.82 c #Conflicts: 733000 | #Constraints: 44072
206.12/206.82 c #Conflicts: 734000 | #Constraints: 45722
206.12/206.82 c #Conflicts: 735000 | #Constraints: 47333
206.12/206.82 c #Conflicts: 736000 | #Constraints: 48952
206.12/206.82 c #Conflicts: 737000 | #Constraints: 50604
206.12/206.82 c #Conflicts: 738000 | #Constraints: 52165
206.12/206.82 c #Conflicts: 739000 | #Constraints: 53783
206.12/206.82 c INPROCESSING
206.12/206.82 c GARBAGE COLLECT
206.12/206.82 c #Conflicts: 740000 | #Constraints: 28687
206.12/206.82 c #Conflicts: 741000 | #Constraints: 30303
206.12/206.82 c #Conflicts: 742000 | #Constraints: 31927
206.12/206.82 c #Conflicts: 743000 | #Constraints: 33558
206.12/206.82 c #Conflicts: 744000 | #Constraints: 35199
206.12/206.82 c #Conflicts: 745000 | #Constraints: 36876
206.12/206.82 c #Conflicts: 746000 | #Constraints: 38505
206.12/206.82 c #Conflicts: 747000 | #Constraints: 40135
206.12/206.82 c #Conflicts: 748000 | #Constraints: 41156
206.12/206.82 c #Conflicts: 749000 | #Constraints: 42263
206.12/206.82 c #Conflicts: 750000 | #Constraints: 43311
206.12/206.82 c #Conflicts: 751000 | #Constraints: 44311
206.12/206.82 c #Conflicts: 752000 | #Constraints: 45315
206.12/206.82 c #Conflicts: 753000 | #Constraints: 46330
206.12/206.82 c #Conflicts: 754000 | #Constraints: 47355
206.12/206.82 c #Conflicts: 755000 | #Constraints: 48366
206.12/206.82 c #Conflicts: 756000 | #Constraints: 49460
206.12/206.82 c INPROCESSING
206.12/206.82 c GARBAGE COLLECT
206.12/206.82 c #Conflicts: 757000 | #Constraints: 26077
206.12/206.82 c #Conflicts: 758000 | #Constraints: 27124
206.12/206.82 c #Conflicts: 759000 | #Constraints: 28348
206.12/206.82 c #Conflicts: 760000 | #Constraints: 29840
206.12/206.82 c #Conflicts: 761000 | #Constraints: 31346
206.12/206.82 c #Conflicts: 762000 | #Constraints: 32846
206.12/206.82 c #Conflicts: 763000 | #Constraints: 33997
223.97/224.76 c #Conflicts: 764000 | #Constraints: 35030
223.97/224.76 c #Conflicts: 765000 | #Constraints: 36073
223.97/224.76 c #Conflicts: 766000 | #Constraints: 37344
223.97/224.76 c #Conflicts: 767000 | #Constraints: 38358
223.97/224.76 c #Conflicts: 768000 | #Constraints: 39537
223.97/224.76 c #Conflicts: 769000 | #Constraints: 41246
223.97/224.76 c #Conflicts: 770000 | #Constraints: 42920
223.97/224.76 c #Conflicts: 771000 | #Constraints: 44113
223.97/224.76 c #Conflicts: 772000 | #Constraints: 45137
223.97/224.76 c #Conflicts: 773000 | #Constraints: 46143
223.97/224.76 c #Conflicts: 774000 | #Constraints: 47177
223.97/224.76 c INPROCESSING
223.97/224.76 c GARBAGE COLLECT
223.97/224.76 c #Conflicts: 775000 | #Constraints: 25019
223.97/224.76 c #Conflicts: 776000 | #Constraints: 26034
223.97/224.76 c #Conflicts: 777000 | #Constraints: 27129
223.97/224.76 c #Conflicts: 778000 | #Constraints: 28383
223.97/224.76 c #Conflicts: 779000 | #Constraints: 29383
223.97/224.76 c #Conflicts: 780000 | #Constraints: 30385
223.97/224.76 c #Conflicts: 781000 | #Constraints: 31545
223.97/224.76 c #Conflicts: 782000 | #Constraints: 32834
223.97/224.76 c #Conflicts: 783000 | #Constraints: 34077
223.97/224.76 c #Conflicts: 784000 | #Constraints: 35386
223.97/224.76 c #Conflicts: 785000 | #Constraints: 36389
223.97/224.76 c #Conflicts: 786000 | #Constraints: 37407
223.97/224.76 c #Conflicts: 787000 | #Constraints: 39055
223.97/224.76 c #Conflicts: 788000 | #Constraints: 40684
223.97/224.76 c #Conflicts: 789000 | #Constraints: 41684
223.97/224.76 c #Conflicts: 790000 | #Constraints: 42685
223.97/224.76 c #Conflicts: 791000 | #Constraints: 44061
223.97/224.76 c #Conflicts: 792000 | #Constraints: 45302
223.97/224.76 c INPROCESSING
223.97/224.76 c GARBAGE COLLECT
223.97/224.76 c #Conflicts: 793000 | #Constraints: 24076
223.97/224.76 c #Conflicts: 794000 | #Constraints: 25425
223.97/224.76 c #Conflicts: 795000 | #Constraints: 27096
223.97/224.76 c #Conflicts: 796000 | #Constraints: 28098
223.97/224.76 c #Conflicts: 797000 | #Constraints: 29101
223.97/224.76 c #Conflicts: 798000 | #Constraints: 30124
223.97/224.76 c #Conflicts: 799000 | #Constraints: 31179
223.97/224.76 c #Conflicts: 800000 | #Constraints: 32261
223.97/224.76 c #Conflicts: 801000 | #Constraints: 33271
223.97/224.76 c #Conflicts: 802000 | #Constraints: 34564
223.97/224.76 c #Conflicts: 803000 | #Constraints: 35794
223.97/224.76 c #Conflicts: 804000 | #Constraints: 37337
223.97/224.76 c #Conflicts: 805000 | #Constraints: 38400
223.97/224.76 c #Conflicts: 806000 | #Constraints: 39401
223.97/224.76 c #Conflicts: 807000 | #Constraints: 40799
223.97/224.76 c #Conflicts: 808000 | #Constraints: 41852
223.97/224.76 c #Conflicts: 809000 | #Constraints: 42862
223.97/224.76 c #Conflicts: 810000 | #Constraints: 43878
223.97/224.76 c INPROCESSING
223.97/224.76 c GARBAGE COLLECT
223.97/224.76 c #Conflicts: 811000 | #Constraints: 23475
223.97/224.76 c #Conflicts: 812000 | #Constraints: 24540
223.97/224.76 c #Conflicts: 813000 | #Constraints: 25729
223.97/224.76 c #Conflicts: 814000 | #Constraints: 27318
223.97/224.76 c #Conflicts: 815000 | #Constraints: 28965
223.97/224.76 c #Conflicts: 816000 | #Constraints: 30106
223.97/224.76 c #Conflicts: 817000 | #Constraints: 31188
223.97/224.76 c #Conflicts: 818000 | #Constraints: 32192
223.97/224.76 c #Conflicts: 819000 | #Constraints: 33199
223.97/224.76 c #Conflicts: 820000 | #Constraints: 34247
223.97/224.76 c #Conflicts: 821000 | #Constraints: 35306
223.97/224.76 c #Conflicts: 822000 | #Constraints: 36315
223.97/224.76 c #Conflicts: 823000 | #Constraints: 37344
223.97/224.76 c #Conflicts: 824000 | #Constraints: 38734
223.97/224.76 c #Conflicts: 825000 | #Constraints: 40216
223.97/224.76 c #Conflicts: 826000 | #Constraints: 41223
223.97/224.76 c #Conflicts: 827000 | #Constraints: 42407
223.97/224.76 c #Conflicts: 828000 | #Constraints: 44106
223.97/224.76 c INPROCESSING
223.97/224.76 c GARBAGE COLLECT
223.97/224.76 c #Conflicts: 829000 | #Constraints: 23929
223.97/224.76 c #Conflicts: 830000 | #Constraints: 25500
223.97/224.76 c #Conflicts: 831000 | #Constraints: 27111
223.97/224.76 c #Conflicts: 832000 | #Constraints: 28621
223.97/224.76 c #Conflicts: 833000 | #Constraints: 30238
223.97/224.76 c #Conflicts: 834000 | #Constraints: 31895
223.97/224.76 c #Conflicts: 835000 | #Constraints: 33528
223.97/224.76 c #Conflicts: 836000 | #Constraints: 35209
223.97/224.76 c #Conflicts: 837000 | #Constraints: 36762
223.97/224.76 c #Conflicts: 838000 | #Constraints: 37798
223.97/224.76 c #Conflicts: 839000 | #Constraints: 38812
223.97/224.76 c #Conflicts: 840000 | #Constraints: 40070
242.51/243.32 c #Conflicts: 841000 | #Constraints: 41743
242.51/243.32 c #Conflicts: 842000 | #Constraints: 43391
242.51/243.32 c #Conflicts: 843000 | #Constraints: 45055
242.51/243.32 c #Conflicts: 844000 | #Constraints: 46700
242.51/243.32 c #Conflicts: 845000 | #Constraints: 48317
242.51/243.32 c #Conflicts: 846000 | #Constraints: 49924
242.51/243.32 c INPROCESSING
242.51/243.32 c GARBAGE COLLECT
242.51/243.32 c #Conflicts: 847000 | #Constraints: 26231
242.51/243.32 c #Conflicts: 848000 | #Constraints: 27258
242.51/243.32 c #Conflicts: 849000 | #Constraints: 28286
242.51/243.32 c #Conflicts: 850000 | #Constraints: 29311
242.51/243.32 c #Conflicts: 851000 | #Constraints: 30316
242.51/243.32 c #Conflicts: 852000 | #Constraints: 31485
242.51/243.32 c #Conflicts: 853000 | #Constraints: 32646
242.51/243.32 c #Conflicts: 854000 | #Constraints: 33646
242.51/243.32 c #Conflicts: 855000 | #Constraints: 34679
242.51/243.32 c #Conflicts: 856000 | #Constraints: 35701
242.51/243.32 c #Conflicts: 857000 | #Constraints: 36890
242.51/243.32 c #Conflicts: 858000 | #Constraints: 38126
242.51/243.32 c #Conflicts: 859000 | #Constraints: 39164
242.51/243.32 c #Conflicts: 860000 | #Constraints: 40619
242.51/243.32 c #Conflicts: 861000 | #Constraints: 42272
242.51/243.32 c #Conflicts: 862000 | #Constraints: 43827
242.51/243.32 c #Conflicts: 863000 | #Constraints: 45500
242.51/243.32 c #Conflicts: 864000 | #Constraints: 47144
242.51/243.32 c #Conflicts: 865000 | #Constraints: 48810
242.51/243.32 c INPROCESSING
242.51/243.32 c GARBAGE COLLECT
242.51/243.32 c #Conflicts: 866000 | #Constraints: 25880
242.51/243.32 c #Conflicts: 867000 | #Constraints: 26978
242.51/243.32 c #Conflicts: 868000 | #Constraints: 28047
242.51/243.32 c #Conflicts: 869000 | #Constraints: 29112
242.51/243.32 c #Conflicts: 870000 | #Constraints: 30121
242.51/243.32 c #Conflicts: 871000 | #Constraints: 31315
242.51/243.32 c #Conflicts: 872000 | #Constraints: 32407
242.51/243.32 c #Conflicts: 873000 | #Constraints: 33746
242.51/243.32 c #Conflicts: 874000 | #Constraints: 34756
242.51/243.32 c #Conflicts: 875000 | #Constraints: 35770
242.51/243.32 c #Conflicts: 876000 | #Constraints: 37192
242.51/243.32 c #Conflicts: 877000 | #Constraints: 38330
242.51/243.32 c #Conflicts: 878000 | #Constraints: 39334
242.51/243.32 c #Conflicts: 879000 | #Constraints: 40501
242.51/243.32 c #Conflicts: 880000 | #Constraints: 41588
242.51/243.32 c #Conflicts: 881000 | #Constraints: 42598
242.51/243.32 c #Conflicts: 882000 | #Constraints: 43959
242.51/243.32 c #Conflicts: 883000 | #Constraints: 45461
242.51/243.32 c #Conflicts: 884000 | #Constraints: 47101
242.51/243.32 c INPROCESSING
242.51/243.32 c GARBAGE COLLECT
242.51/243.32 c #Conflicts: 885000 | #Constraints: 25401
242.51/243.32 c #Conflicts: 886000 | #Constraints: 26473
242.51/243.32 c #Conflicts: 887000 | #Constraints: 27476
242.51/243.32 c #Conflicts: 888000 | #Constraints: 28518
242.51/243.32 c #Conflicts: 889000 | #Constraints: 29550
242.51/243.32 c #Conflicts: 890000 | #Constraints: 30570
242.51/243.32 c #Conflicts: 891000 | #Constraints: 31574
242.51/243.32 c #Conflicts: 892000 | #Constraints: 32578
242.51/243.32 c #Conflicts: 893000 | #Constraints: 33607
242.51/243.32 c #Conflicts: 894000 | #Constraints: 34629
242.51/243.32 c #Conflicts: 895000 | #Constraints: 35943
242.51/243.32 c #Conflicts: 896000 | #Constraints: 36981
242.51/243.32 c #Conflicts: 897000 | #Constraints: 38423
242.51/243.32 c #Conflicts: 898000 | #Constraints: 39684
242.51/243.32 c #Conflicts: 899000 | #Constraints: 40713
242.51/243.32 c #Conflicts: 900000 | #Constraints: 41884
242.51/243.32 c #Conflicts: 901000 | #Constraints: 43057
242.51/243.32 c #Conflicts: 902000 | #Constraints: 44414
242.51/243.32 c #Conflicts: 903000 | #Constraints: 45427
242.51/243.32 c INPROCESSING
242.51/243.32 c GARBAGE COLLECT
242.51/243.32 c #Conflicts: 904000 | #Constraints: 24151
242.51/243.32 c #Conflicts: 905000 | #Constraints: 25157
242.51/243.32 c #Conflicts: 906000 | #Constraints: 26181
242.51/243.32 c #Conflicts: 907000 | #Constraints: 27386
242.51/243.32 c #Conflicts: 908000 | #Constraints: 28414
242.51/243.32 c #Conflicts: 909000 | #Constraints: 29492
242.51/243.32 c #Conflicts: 910000 | #Constraints: 30573
242.51/243.32 c #Conflicts: 911000 | #Constraints: 31793
242.51/243.32 c #Conflicts: 912000 | #Constraints: 33027
242.51/243.32 c #Conflicts: 913000 | #Constraints: 34420
242.51/243.32 c #Conflicts: 914000 | #Constraints: 35688
242.51/243.32 c #Conflicts: 915000 | #Constraints: 36785
242.51/243.32 c #Conflicts: 916000 | #Constraints: 37885
263.83/264.70 c #Conflicts: 917000 | #Constraints: 39345
263.83/264.70 c #Conflicts: 918000 | #Constraints: 40766
263.83/264.70 c #Conflicts: 919000 | #Constraints: 41780
263.83/264.70 c #Conflicts: 920000 | #Constraints: 42823
263.83/264.70 c #Conflicts: 921000 | #Constraints: 44348
263.83/264.70 c #Conflicts: 922000 | #Constraints: 45772
263.83/264.70 c INPROCESSING
263.83/264.70 c GARBAGE COLLECT
263.83/264.70 c #Conflicts: 923000 | #Constraints: 24269
263.83/264.70 c #Conflicts: 924000 | #Constraints: 25517
263.83/264.70 c #Conflicts: 925000 | #Constraints: 27143
263.83/264.70 c #Conflicts: 926000 | #Constraints: 28786
263.83/264.70 c #Conflicts: 927000 | #Constraints: 30484
263.83/264.70 c #Conflicts: 928000 | #Constraints: 32167
263.83/264.70 c #Conflicts: 929000 | #Constraints: 33827
263.83/264.70 c #Conflicts: 930000 | #Constraints: 35552
263.83/264.70 c #Conflicts: 931000 | #Constraints: 37240
263.83/264.70 c #Conflicts: 932000 | #Constraints: 38710
263.83/264.70 c #Conflicts: 933000 | #Constraints: 39731
263.83/264.70 c #Conflicts: 934000 | #Constraints: 40842
263.83/264.70 c #Conflicts: 935000 | #Constraints: 41990
263.83/264.70 c #Conflicts: 936000 | #Constraints: 43208
263.83/264.70 c #Conflicts: 937000 | #Constraints: 44627
263.83/264.70 c #Conflicts: 938000 | #Constraints: 45644
263.83/264.70 c #Conflicts: 939000 | #Constraints: 46664
263.83/264.70 c #Conflicts: 940000 | #Constraints: 48277
263.83/264.70 c #Conflicts: 941000 | #Constraints: 49968
263.83/264.70 c INPROCESSING
263.83/264.70 c GARBAGE COLLECT
263.83/264.70 c #Conflicts: 942000 | #Constraints: 26589
263.83/264.70 c #Conflicts: 943000 | #Constraints: 27949
263.83/264.70 c #Conflicts: 944000 | #Constraints: 28961
263.83/264.70 c #Conflicts: 945000 | #Constraints: 30498
263.83/264.70 c #Conflicts: 946000 | #Constraints: 32147
263.83/264.70 c #Conflicts: 947000 | #Constraints: 33213
263.83/264.70 c #Conflicts: 948000 | #Constraints: 34302
263.83/264.70 c #Conflicts: 949000 | #Constraints: 35353
263.83/264.70 c #Conflicts: 950000 | #Constraints: 36742
263.83/264.70 c #Conflicts: 951000 | #Constraints: 38429
263.83/264.70 c #Conflicts: 952000 | #Constraints: 40112
263.83/264.70 c #Conflicts: 953000 | #Constraints: 41772
263.83/264.70 c #Conflicts: 954000 | #Constraints: 43466
263.83/264.70 c #Conflicts: 955000 | #Constraints: 45047
263.83/264.70 c #Conflicts: 956000 | #Constraints: 46555
263.83/264.70 c #Conflicts: 957000 | #Constraints: 47800
263.83/264.70 c #Conflicts: 958000 | #Constraints: 48813
263.83/264.70 c #Conflicts: 959000 | #Constraints: 49822
263.83/264.70 c #Conflicts: 960000 | #Constraints: 50855
263.83/264.70 c #Conflicts: 961000 | #Constraints: 51886
263.83/264.70 c INPROCESSING
263.83/264.70 c GARBAGE COLLECT
263.83/264.70 c #Conflicts: 962000 | #Constraints: 27295
263.83/264.70 c #Conflicts: 963000 | #Constraints: 28550
263.83/264.70 c #Conflicts: 964000 | #Constraints: 29560
263.83/264.70 c #Conflicts: 965000 | #Constraints: 30739
263.83/264.70 c #Conflicts: 966000 | #Constraints: 31745
263.83/264.70 c #Conflicts: 967000 | #Constraints: 32747
263.83/264.70 c #Conflicts: 968000 | #Constraints: 33747
263.83/264.70 c #Conflicts: 969000 | #Constraints: 34766
263.83/264.70 c #Conflicts: 970000 | #Constraints: 35856
263.83/264.70 c #Conflicts: 971000 | #Constraints: 36918
263.83/264.70 c #Conflicts: 972000 | #Constraints: 37970
263.83/264.70 c #Conflicts: 973000 | #Constraints: 39024
263.83/264.70 c #Conflicts: 974000 | #Constraints: 40024
263.83/264.70 c #Conflicts: 975000 | #Constraints: 41026
263.83/264.70 c #Conflicts: 976000 | #Constraints: 42069
263.83/264.70 c #Conflicts: 977000 | #Constraints: 43555
263.83/264.70 c #Conflicts: 978000 | #Constraints: 45251
263.83/264.70 c #Conflicts: 979000 | #Constraints: 46975
263.83/264.70 c #Conflicts: 980000 | #Constraints: 48674
263.83/264.70 c #Conflicts: 981000 | #Constraints: 50289
263.83/264.70 c INPROCESSING
263.83/264.70 c GARBAGE COLLECT
263.83/264.70 c #Conflicts: 982000 | #Constraints: 27212
263.83/264.70 c #Conflicts: 983000 | #Constraints: 28871
263.83/264.70 c #Conflicts: 984000 | #Constraints: 30413
263.83/264.70 c #Conflicts: 985000 | #Constraints: 32031
263.83/264.70 c #Conflicts: 986000 | #Constraints: 33690
263.83/264.70 c #Conflicts: 987000 | #Constraints: 34916
263.83/264.70 c #Conflicts: 988000 | #Constraints: 35926
263.83/264.70 c #Conflicts: 989000 | #Constraints: 36926
263.83/264.70 c #Conflicts: 990000 | #Constraints: 38045
263.83/264.70 c #Conflicts: 991000 | #Constraints: 39240
263.83/264.70 c #Conflicts: 992000 | #Constraints: 40248
284.26/285.22 c #Conflicts: 993000 | #Constraints: 41249
284.26/285.22 c #Conflicts: 994000 | #Constraints: 42249
284.26/285.22 c #Conflicts: 995000 | #Constraints: 43505
284.26/285.22 c #Conflicts: 996000 | #Constraints: 45181
284.26/285.22 c #Conflicts: 997000 | #Constraints: 46872
284.26/285.22 c #Conflicts: 998000 | #Constraints: 48595
284.26/285.22 c #Conflicts: 999000 | #Constraints: 50305
284.26/285.22 c #Conflicts: 1000000 | #Constraints: 51867
284.26/285.22 c #Conflicts: 1001000 | #Constraints: 53520
284.26/285.22 c INPROCESSING
284.26/285.22 c GARBAGE COLLECT
284.26/285.22 c #Conflicts: 1002000 | #Constraints: 28921
284.26/285.22 c #Conflicts: 1003000 | #Constraints: 29988
284.26/285.22 c #Conflicts: 1004000 | #Constraints: 31432
284.26/285.22 c #Conflicts: 1005000 | #Constraints: 33128
284.26/285.22 c #Conflicts: 1006000 | #Constraints: 34837
284.26/285.22 c #Conflicts: 1007000 | #Constraints: 36531
284.26/285.22 c #Conflicts: 1008000 | #Constraints: 38149
284.26/285.22 c #Conflicts: 1009000 | #Constraints: 39823
284.26/285.22 c #Conflicts: 1010000 | #Constraints: 41476
284.26/285.22 c #Conflicts: 1011000 | #Constraints: 43068
284.26/285.22 c #Conflicts: 1012000 | #Constraints: 44740
284.26/285.22 c #Conflicts: 1013000 | #Constraints: 46435
284.26/285.22 c #Conflicts: 1014000 | #Constraints: 48069
284.26/285.22 c #Conflicts: 1015000 | #Constraints: 49196
284.26/285.22 c #Conflicts: 1016000 | #Constraints: 50235
284.26/285.22 c #Conflicts: 1017000 | #Constraints: 51274
284.26/285.22 c #Conflicts: 1018000 | #Constraints: 52306
284.26/285.22 c #Conflicts: 1019000 | #Constraints: 53306
284.26/285.22 c #Conflicts: 1020000 | #Constraints: 54317
284.26/285.22 c #Conflicts: 1021000 | #Constraints: 55363
284.26/285.22 c INPROCESSING
284.26/285.22 c GARBAGE COLLECT
284.26/285.22 c #Conflicts: 1022000 | #Constraints: 29087
284.26/285.22 c #Conflicts: 1023000 | #Constraints: 30087
284.26/285.22 c #Conflicts: 1024000 | #Constraints: 31088
284.26/285.22 c #Conflicts: 1025000 | #Constraints: 32428
284.26/285.22 c #Conflicts: 1026000 | #Constraints: 33887
284.26/285.22 c #Conflicts: 1027000 | #Constraints: 35576
284.26/285.22 c #Conflicts: 1028000 | #Constraints: 37246
284.26/285.22 c #Conflicts: 1029000 | #Constraints: 38822
284.26/285.22 c #Conflicts: 1030000 | #Constraints: 40265
284.26/285.22 c #Conflicts: 1031000 | #Constraints: 41958
284.26/285.22 c #Conflicts: 1032000 | #Constraints: 43616
284.26/285.22 c #Conflicts: 1033000 | #Constraints: 45263
284.26/285.22 c #Conflicts: 1034000 | #Constraints: 46931
284.26/285.22 c #Conflicts: 1035000 | #Constraints: 48587
284.26/285.22 c #Conflicts: 1036000 | #Constraints: 50201
284.26/285.22 c #Conflicts: 1037000 | #Constraints: 51818
284.26/285.22 c #Conflicts: 1038000 | #Constraints: 53470
284.26/285.22 c #Conflicts: 1039000 | #Constraints: 55101
284.26/285.22 c #Conflicts: 1040000 | #Constraints: 56721
284.26/285.22 c #Conflicts: 1041000 | #Constraints: 58386
284.26/285.22 c INPROCESSING
284.26/285.22 c GARBAGE COLLECT
284.26/285.22 c #Conflicts: 1042000 | #Constraints: 30780
284.26/285.22 c #Conflicts: 1043000 | #Constraints: 32335
284.26/285.22 c #Conflicts: 1044000 | #Constraints: 33764
284.26/285.22 c #Conflicts: 1045000 | #Constraints: 34824
284.26/285.22 c #Conflicts: 1046000 | #Constraints: 35963
284.26/285.22 c #Conflicts: 1047000 | #Constraints: 37273
284.26/285.22 c #Conflicts: 1048000 | #Constraints: 38343
284.26/285.22 c #Conflicts: 1049000 | #Constraints: 39363
284.26/285.22 c #Conflicts: 1050000 | #Constraints: 40367
284.26/285.22 c #Conflicts: 1051000 | #Constraints: 41367
284.26/285.22 c #Conflicts: 1052000 | #Constraints: 42371
284.26/285.22 c #Conflicts: 1053000 | #Constraints: 43421
284.26/285.22 c #Conflicts: 1054000 | #Constraints: 44486
284.26/285.22 c #Conflicts: 1055000 | #Constraints: 45501
284.26/285.22 c #Conflicts: 1056000 | #Constraints: 46550
284.26/285.22 c #Conflicts: 1057000 | #Constraints: 47603
284.26/285.22 c #Conflicts: 1058000 | #Constraints: 48725
284.26/285.22 c #Conflicts: 1059000 | #Constraints: 50341
284.26/285.22 c #Conflicts: 1060000 | #Constraints: 51883
284.26/285.22 c #Conflicts: 1061000 | #Constraints: 53581
284.26/285.22 c #Conflicts: 1062000 | #Constraints: 55288
284.26/285.22 c INPROCESSING
284.26/285.22 c GARBAGE COLLECT
284.26/285.22 c #Conflicts: 1063000 | #Constraints: 29553
284.26/285.22 c #Conflicts: 1064000 | #Constraints: 30789
284.26/285.22 c #Conflicts: 1065000 | #Constraints: 31855
284.26/285.22 c #Conflicts: 1066000 | #Constraints: 32903
284.26/285.22 c #Conflicts: 1067000 | #Constraints: 34100
284.26/285.22 c #Conflicts: 1068000 | #Constraints: 35325
303.69/304.76 c #Conflicts: 1069000 | #Constraints: 36674
303.69/304.76 c #Conflicts: 1070000 | #Constraints: 37877
303.69/304.76 c #Conflicts: 1071000 | #Constraints: 38882
303.69/304.76 c #Conflicts: 1072000 | #Constraints: 39887
303.69/304.76 c #Conflicts: 1073000 | #Constraints: 40951
303.69/304.76 c #Conflicts: 1074000 | #Constraints: 42037
303.69/304.76 c #Conflicts: 1075000 | #Constraints: 43040
303.69/304.76 c #Conflicts: 1076000 | #Constraints: 44049
303.69/304.76 c #Conflicts: 1077000 | #Constraints: 45102
303.69/304.76 c #Conflicts: 1078000 | #Constraints: 46187
303.69/304.76 c #Conflicts: 1079000 | #Constraints: 47192
303.69/304.76 c #Conflicts: 1080000 | #Constraints: 48192
303.69/304.76 c #Conflicts: 1081000 | #Constraints: 49199
303.69/304.76 c #Conflicts: 1082000 | #Constraints: 50212
303.69/304.76 c #Conflicts: 1083000 | #Constraints: 51234
303.69/304.76 c INPROCESSING
303.69/304.76 c GARBAGE COLLECT
303.69/304.76 c #Conflicts: 1084000 | #Constraints: 27604
303.69/304.76 c #Conflicts: 1085000 | #Constraints: 29268
303.69/304.76 c #Conflicts: 1086000 | #Constraints: 30922
303.69/304.76 c #Conflicts: 1087000 | #Constraints: 32557
303.69/304.76 c #Conflicts: 1088000 | #Constraints: 34253
303.69/304.76 c #Conflicts: 1089000 | #Constraints: 35962
303.69/304.76 c #Conflicts: 1090000 | #Constraints: 37645
303.69/304.76 c #Conflicts: 1091000 | #Constraints: 39287
303.69/304.76 c #Conflicts: 1092000 | #Constraints: 40832
303.69/304.76 c #Conflicts: 1093000 | #Constraints: 42363
303.69/304.76 c #Conflicts: 1094000 | #Constraints: 43874
303.69/304.76 c #Conflicts: 1095000 | #Constraints: 45414
303.69/304.76 c #Conflicts: 1096000 | #Constraints: 46464
303.69/304.76 c #Conflicts: 1097000 | #Constraints: 47809
303.69/304.76 c #Conflicts: 1098000 | #Constraints: 49299
303.69/304.76 c #Conflicts: 1099000 | #Constraints: 50737
303.69/304.76 c #Conflicts: 1100000 | #Constraints: 51980
303.69/304.76 c #Conflicts: 1101000 | #Constraints: 53264
303.69/304.76 c #Conflicts: 1102000 | #Constraints: 54573
303.69/304.76 c #Conflicts: 1103000 | #Constraints: 55576
303.69/304.76 c #Conflicts: 1104000 | #Constraints: 56585
303.69/304.76 c INPROCESSING
303.69/304.76 c GARBAGE COLLECT
303.69/304.76 c #Conflicts: 1105000 | #Constraints: 29723
303.69/304.76 c #Conflicts: 1106000 | #Constraints: 30994
303.69/304.76 c #Conflicts: 1107000 | #Constraints: 32619
303.69/304.76 c #Conflicts: 1108000 | #Constraints: 34288
303.69/304.76 c #Conflicts: 1109000 | #Constraints: 35907
303.69/304.76 c #Conflicts: 1110000 | #Constraints: 37548
303.69/304.76 c #Conflicts: 1111000 | #Constraints: 39187
303.69/304.76 c #Conflicts: 1112000 | #Constraints: 40879
303.69/304.76 c #Conflicts: 1113000 | #Constraints: 42579
303.69/304.76 c #Conflicts: 1114000 | #Constraints: 44253
303.69/304.76 c #Conflicts: 1115000 | #Constraints: 45988
303.69/304.76 c #Conflicts: 1116000 | #Constraints: 47681
303.69/304.76 c #Conflicts: 1117000 | #Constraints: 49289
303.69/304.76 c #Conflicts: 1118000 | #Constraints: 50904
303.69/304.76 c #Conflicts: 1119000 | #Constraints: 52526
303.69/304.76 c #Conflicts: 1120000 | #Constraints: 54176
303.69/304.76 c #Conflicts: 1121000 | #Constraints: 55858
303.69/304.76 c #Conflicts: 1122000 | #Constraints: 57515
303.69/304.76 c #Conflicts: 1123000 | #Constraints: 59222
303.69/304.76 c #Conflicts: 1124000 | #Constraints: 60865
303.69/304.76 c #Conflicts: 1125000 | #Constraints: 62547
303.69/304.76 c INPROCESSING
303.69/304.76 c GARBAGE COLLECT
303.69/304.76 c #Conflicts: 1126000 | #Constraints: 33253
303.69/304.76 c #Conflicts: 1127000 | #Constraints: 34849
303.69/304.76 c #Conflicts: 1128000 | #Constraints: 36492
303.69/304.76 c #Conflicts: 1129000 | #Constraints: 38127
303.69/304.76 c #Conflicts: 1130000 | #Constraints: 39560
303.69/304.76 c #Conflicts: 1131000 | #Constraints: 40761
303.69/304.76 c #Conflicts: 1132000 | #Constraints: 41791
303.69/304.76 c #Conflicts: 1133000 | #Constraints: 42795
303.69/304.76 c #Conflicts: 1134000 | #Constraints: 44051
303.69/304.76 c #Conflicts: 1135000 | #Constraints: 45536
303.69/304.76 c #Conflicts: 1136000 | #Constraints: 46619
303.69/304.76 c #Conflicts: 1137000 | #Constraints: 47629
303.69/304.76 c #Conflicts: 1138000 | #Constraints: 48726
303.69/304.76 c #Conflicts: 1139000 | #Constraints: 49760
303.69/304.76 c #Conflicts: 1140000 | #Constraints: 50803
303.69/304.76 c #Conflicts: 1141000 | #Constraints: 51898
303.69/304.76 c #Conflicts: 1142000 | #Constraints: 52917
303.69/304.76 c #Conflicts: 1143000 | #Constraints: 54052
303.69/304.76 c #Conflicts: 1144000 | #Constraints: 55484
303.69/304.76 c #Conflicts: 1145000 | #Constraints: 56852
321.04/322.16 c #Conflicts: 1146000 | #Constraints: 58093
321.04/322.16 c INPROCESSING
321.04/322.16 c GARBAGE COLLECT
321.04/322.16 c #Conflicts: 1147000 | #Constraints: 30237
321.04/322.16 c #Conflicts: 1148000 | #Constraints: 31364
321.04/322.16 c #Conflicts: 1149000 | #Constraints: 32367
321.04/322.16 c #Conflicts: 1150000 | #Constraints: 33412
321.04/322.16 c #Conflicts: 1151000 | #Constraints: 34547
321.04/322.16 c #Conflicts: 1152000 | #Constraints: 35547
321.04/322.16 c #Conflicts: 1153000 | #Constraints: 36766
321.04/322.16 c #Conflicts: 1154000 | #Constraints: 37772
321.04/322.16 c #Conflicts: 1155000 | #Constraints: 38784
321.04/322.16 c #Conflicts: 1156000 | #Constraints: 39924
321.04/322.16 c #Conflicts: 1157000 | #Constraints: 40929
321.04/322.16 c #Conflicts: 1158000 | #Constraints: 42165
321.04/322.16 c #Conflicts: 1159000 | #Constraints: 43329
321.04/322.16 c #Conflicts: 1160000 | #Constraints: 44330
321.04/322.16 c #Conflicts: 1161000 | #Constraints: 45355
321.04/322.16 c #Conflicts: 1162000 | #Constraints: 46488
321.04/322.16 c #Conflicts: 1163000 | #Constraints: 47779
321.04/322.16 c #Conflicts: 1164000 | #Constraints: 49236
321.04/322.16 c #Conflicts: 1165000 | #Constraints: 50759
321.04/322.16 c #Conflicts: 1166000 | #Constraints: 51957
321.04/322.16 c #Conflicts: 1167000 | #Constraints: 53280
321.04/322.16 c #Conflicts: 1168000 | #Constraints: 54891
321.04/322.16 c INPROCESSING
321.04/322.16 c GARBAGE COLLECT
321.04/322.16 c #Conflicts: 1169000 | #Constraints: 29030
321.04/322.16 c #Conflicts: 1170000 | #Constraints: 30646
321.04/322.16 c #Conflicts: 1171000 | #Constraints: 32175
321.04/322.16 c #Conflicts: 1172000 | #Constraints: 33226
321.04/322.16 c #Conflicts: 1173000 | #Constraints: 34228
321.04/322.16 c #Conflicts: 1174000 | #Constraints: 35257
321.04/322.16 c #Conflicts: 1175000 | #Constraints: 36849
321.04/322.16 c #Conflicts: 1176000 | #Constraints: 38290
321.04/322.16 c #Conflicts: 1177000 | #Constraints: 39383
321.04/322.16 c #Conflicts: 1178000 | #Constraints: 40462
321.04/322.16 c #Conflicts: 1179000 | #Constraints: 41678
321.04/322.16 c #Conflicts: 1180000 | #Constraints: 43208
321.04/322.16 c #Conflicts: 1181000 | #Constraints: 44497
321.04/322.16 c #Conflicts: 1182000 | #Constraints: 45523
321.04/322.16 c #Conflicts: 1183000 | #Constraints: 46535
321.04/322.16 c #Conflicts: 1184000 | #Constraints: 47536
321.04/322.16 c #Conflicts: 1185000 | #Constraints: 48538
321.04/322.16 c #Conflicts: 1186000 | #Constraints: 49558
321.04/322.16 c #Conflicts: 1187000 | #Constraints: 50711
321.04/322.16 c #Conflicts: 1188000 | #Constraints: 52229
321.04/322.16 c #Conflicts: 1189000 | #Constraints: 53730
321.04/322.16 c #Conflicts: 1190000 | #Constraints: 55374
321.04/322.16 c INPROCESSING
321.04/322.16 c GARBAGE COLLECT
321.04/322.16 c #Conflicts: 1191000 | #Constraints: 29571
321.04/322.16 c #Conflicts: 1192000 | #Constraints: 30630
321.04/322.16 c #Conflicts: 1193000 | #Constraints: 31764
321.04/322.16 c #Conflicts: 1194000 | #Constraints: 32856
321.04/322.16 c #Conflicts: 1195000 | #Constraints: 34170
321.04/322.16 c #Conflicts: 1196000 | #Constraints: 35205
321.04/322.16 c #Conflicts: 1197000 | #Constraints: 36232
321.04/322.16 c #Conflicts: 1198000 | #Constraints: 37234
321.04/322.16 c #Conflicts: 1199000 | #Constraints: 38236
321.04/322.16 c #Conflicts: 1200000 | #Constraints: 39251
321.04/322.16 c #Conflicts: 1201000 | #Constraints: 40260
321.04/322.16 c #Conflicts: 1202000 | #Constraints: 41660
321.04/322.16 c #Conflicts: 1203000 | #Constraints: 42967
321.04/322.16 c #Conflicts: 1204000 | #Constraints: 44076
321.04/322.16 c #Conflicts: 1205000 | #Constraints: 45157
321.04/322.16 c #Conflicts: 1206000 | #Constraints: 46422
321.04/322.16 c #Conflicts: 1207000 | #Constraints: 47758
321.04/322.16 c #Conflicts: 1208000 | #Constraints: 48758
321.04/322.16 c #Conflicts: 1209000 | #Constraints: 49778
321.04/322.16 c #Conflicts: 1210000 | #Constraints: 50851
321.04/322.16 c #Conflicts: 1211000 | #Constraints: 51861
321.04/322.16 c #Conflicts: 1212000 | #Constraints: 53254
321.04/322.16 c INPROCESSING
321.04/322.16 c GARBAGE COLLECT
321.04/322.16 c #Conflicts: 1213000 | #Constraints: 28727
321.04/322.16 c #Conflicts: 1214000 | #Constraints: 30008
321.04/322.16 c #Conflicts: 1215000 | #Constraints: 31216
321.04/322.16 c #Conflicts: 1216000 | #Constraints: 32231
321.04/322.16 c #Conflicts: 1217000 | #Constraints: 33239
321.04/322.16 c #Conflicts: 1218000 | #Constraints: 34239
321.04/322.16 c #Conflicts: 1219000 | #Constraints: 35313
321.04/322.16 c #Conflicts: 1220000 | #Constraints: 36492
321.04/322.16 c #Conflicts: 1221000 | #Constraints: 37566
328.60/329.77 c #Conflicts: 1222000 | #Constraints: 38717
328.60/329.77 c #Conflicts: 1223000 | #Constraints: 39735
328.60/329.77 c #Conflicts: 1224000 | #Constraints: 40740
328.60/329.77 c #Conflicts: 1225000 | #Constraints: 41775
328.60/329.77 c #Conflicts: 1226000 | #Constraints: 42913
328.60/329.77 c #Conflicts: 1227000 | #Constraints: 43915
328.60/329.77 c #Conflicts: 1228000 | #Constraints: 45071
328.60/329.77 c #Conflicts: 1229000 | #Constraints: 46379
328.60/329.77 c #Conflicts: 1230000 | #Constraints: 47537
328.60/329.77 c #Conflicts: 1231000 | #Constraints: 48549
328.60/329.77 c #Conflicts: 1232000 | #Constraints: 49553
328.60/329.77 c #Conflicts: 1233000 | #Constraints: 50581
328.60/329.77 c #Conflicts: 1234000 | #Constraints: 51871
328.60/329.77 c INPROCESSING
328.60/329.77 c GARBAGE COLLECT
328.60/329.77 c #Conflicts: 1235000 | #Constraints: 27336
328.60/329.77 c #Conflicts: 1236000 | #Constraints: 28513
328.60/329.77 c #Conflicts: 1237000 | #Constraints: 29575
328.60/329.77 c #Conflicts: 1238000 | #Constraints: 30649
328.60/329.77 c #Conflicts: 1239000 | #Constraints: 31685
328.60/329.77 c #Conflicts: 1240000 | #Constraints: 32757
328.60/329.77 c #Conflicts: 1241000 | #Constraints: 33776
328.60/329.78 c #Conflicts: 1242000 | #Constraints: 34815
328.60/329.78 c #Conflicts: 1243000 | #Constraints: 35828
328.60/329.78 c #Conflicts: 1244000 | #Constraints: 37239
328.60/329.78 c #Conflicts: 1245000 | #Constraints: 38303
328.60/329.78 c #Conflicts: 1246000 | #Constraints: 39315
328.60/329.78 c #Conflicts: 1247000 | #Constraints: 41025
328.60/329.78 c #Conflicts: 1248000 | #Constraints: 42580
328.60/329.78 c #Conflicts: 1249000 | #Constraints: 43762
328.60/329.78 c #Conflicts: 1250000 | #Constraints: 44784
328.60/329.78 c #Conflicts: 1251000 | #Constraints: 45891
328.60/329.78 c #Conflicts: 1252000 | #Constraints: 47308
328.60/329.78 c #Conflicts: 1253000 | #Constraints: 48421
328.60/329.78 c #Conflicts: 1254000 | #Constraints: 49435
328.60/329.78 c #Conflicts: 1255000 | #Constraints: 50500
328.60/329.78 c #Conflicts: 1256000 | #Constraints: 51945
328.60/329.78 c INPROCESSING
328.60/329.78 c GARBAGE COLLECT
328.60/329.78 c rational objective 350.5
335.08/336.23 c #Conflicts: 1257000 | #Constraints: 27300
335.08/336.23 c #Conflicts: 1258000 | #Constraints: 28327
335.08/336.23 c #Conflicts: 1259000 | #Constraints: 29937
335.08/336.23 c #Conflicts: 1260000 | #Constraints: 31196
335.08/336.23 c #Conflicts: 1261000 | #Constraints: 32298
335.08/336.23 c #Conflicts: 1262000 | #Constraints: 33783
335.08/336.23 c #Conflicts: 1263000 | #Constraints: 35319
335.08/336.23 c #Conflicts: 1264000 | #Constraints: 36803
335.08/336.23 c #Conflicts: 1265000 | #Constraints: 37845
335.08/336.23 c #Conflicts: 1266000 | #Constraints: 39363
335.08/336.23 c #Conflicts: 1267000 | #Constraints: 40926
335.08/336.23 c #Conflicts: 1268000 | #Constraints: 42217
335.08/336.23 c #Conflicts: 1269000 | #Constraints: 43273
335.08/336.23 c #Conflicts: 1270000 | #Constraints: 44321
335.08/336.23 c #Conflicts: 1271000 | #Constraints: 45990
335.08/336.23 c #Conflicts: 1272000 | #Constraints: 47122
335.08/336.23 c #Conflicts: 1273000 | #Constraints: 48384
335.08/336.23 c #Conflicts: 1274000 | #Constraints: 50076
335.08/336.23 c #Conflicts: 1275000 | #Constraints: 51752
335.08/336.23 c #Conflicts: 1276000 | #Constraints: 52970
335.08/336.23 c #Conflicts: 1277000 | #Constraints: 54207
335.08/336.23 c #Conflicts: 1278000 | #Constraints: 55288
335.08/336.23 c #Conflicts: 1279000 | #Constraints: 56540
335.08/336.23 c INPROCESSING
335.08/336.23 c GARBAGE COLLECT
335.08/336.23 c rational objective 350.5
340.26/341.41 c #Conflicts: 1280000 | #Constraints: 29597
340.26/341.41 c #Conflicts: 1281000 | #Constraints: 30614
340.26/341.41 c #Conflicts: 1282000 | #Constraints: 31747
340.26/341.41 c #Conflicts: 1283000 | #Constraints: 32999
340.26/341.41 c #Conflicts: 1284000 | #Constraints: 34053
340.26/341.41 c #Conflicts: 1285000 | #Constraints: 35176
340.26/341.41 c #Conflicts: 1286000 | #Constraints: 36794
340.26/341.41 c #Conflicts: 1287000 | #Constraints: 38448
340.26/341.41 c #Conflicts: 1288000 | #Constraints: 40055
340.26/341.41 c #Conflicts: 1289000 | #Constraints: 41164
340.26/341.41 c #Conflicts: 1290000 | #Constraints: 42227
340.26/341.41 c #Conflicts: 1291000 | #Constraints: 43697
340.26/341.41 c #Conflicts: 1292000 | #Constraints: 44891
340.26/341.41 c #Conflicts: 1293000 | #Constraints: 46199
340.26/341.41 c #Conflicts: 1294000 | #Constraints: 47721
340.26/341.41 c #Conflicts: 1295000 | #Constraints: 48735
340.26/341.41 c #Conflicts: 1296000 | #Constraints: 50042
340.26/341.41 c #Conflicts: 1297000 | #Constraints: 51394
340.26/341.41 c #Conflicts: 1298000 | #Constraints: 52618
340.26/341.41 c #Conflicts: 1299000 | #Constraints: 53618
340.26/341.41 c #Conflicts: 1300000 | #Constraints: 54814
340.26/341.41 c #Conflicts: 1301000 | #Constraints: 56497
340.26/341.41 c #Conflicts: 1302000 | #Constraints: 58226
340.26/341.41 c INPROCESSING
340.26/341.41 c GARBAGE COLLECT
340.26/341.41 c rational objective 350.5
350.82/352.08 c #Conflicts: 1303000 | #Constraints: 30539
350.82/352.08 c #Conflicts: 1304000 | #Constraints: 31680
350.82/352.08 c #Conflicts: 1305000 | #Constraints: 33321
350.82/352.08 c #Conflicts: 1306000 | #Constraints: 34781
350.82/352.08 c #Conflicts: 1307000 | #Constraints: 35828
350.82/352.08 c #Conflicts: 1308000 | #Constraints: 37101
350.82/352.08 c #Conflicts: 1309000 | #Constraints: 38718
350.82/352.08 c #Conflicts: 1310000 | #Constraints: 40372
350.82/352.08 c #Conflicts: 1311000 | #Constraints: 42076
350.82/352.08 c #Conflicts: 1312000 | #Constraints: 43718
350.82/352.08 c #Conflicts: 1313000 | #Constraints: 45381
350.82/352.08 c #Conflicts: 1314000 | #Constraints: 47079
350.82/352.08 c #Conflicts: 1315000 | #Constraints: 48719
350.82/352.08 c #Conflicts: 1316000 | #Constraints: 50398
350.82/352.08 c #Conflicts: 1317000 | #Constraints: 52086
350.82/352.08 c #Conflicts: 1318000 | #Constraints: 53640
350.82/352.08 c #Conflicts: 1319000 | #Constraints: 55157
350.82/352.08 c #Conflicts: 1320000 | #Constraints: 56778
350.82/352.08 c #Conflicts: 1321000 | #Constraints: 58426
350.82/352.08 c #Conflicts: 1322000 | #Constraints: 60097
350.82/352.08 c #Conflicts: 1323000 | #Constraints: 61756
350.82/352.08 c #Conflicts: 1324000 | #Constraints: 63414
350.82/352.08 c #Conflicts: 1325000 | #Constraints: 65117
350.82/352.08 c INPROCESSING
350.82/352.08 c GARBAGE COLLECT
350.82/352.08 c rational objective 350.5
357.30/358.56 c #Conflicts: 1326000 | #Constraints: 34517
357.30/358.56 c #Conflicts: 1327000 | #Constraints: 36057
357.30/358.56 c #Conflicts: 1328000 | #Constraints: 37580
357.30/358.56 c #Conflicts: 1329000 | #Constraints: 39091
357.30/358.56 c #Conflicts: 1330000 | #Constraints: 40704
357.30/358.56 c #Conflicts: 1331000 | #Constraints: 42358
357.30/358.56 c #Conflicts: 1332000 | #Constraints: 43970
357.30/358.56 c #Conflicts: 1333000 | #Constraints: 45508
357.30/358.56 c #Conflicts: 1334000 | #Constraints: 46787
357.30/358.56 c #Conflicts: 1335000 | #Constraints: 47811
357.30/358.56 c #Conflicts: 1336000 | #Constraints: 48833
357.30/358.56 c #Conflicts: 1337000 | #Constraints: 49833
357.30/358.56 c #Conflicts: 1338000 | #Constraints: 50834
357.30/358.56 c #Conflicts: 1339000 | #Constraints: 51834
357.30/358.56 c #Conflicts: 1340000 | #Constraints: 52834
357.30/358.56 c #Conflicts: 1341000 | #Constraints: 53834
357.30/358.56 c #Conflicts: 1342000 | #Constraints: 54834
357.30/358.56 c #Conflicts: 1343000 | #Constraints: 55834
357.30/358.56 c #Conflicts: 1344000 | #Constraints: 56835
357.30/358.56 c #Conflicts: 1345000 | #Constraints: 57835
357.30/358.56 c #Conflicts: 1346000 | #Constraints: 58835
357.30/358.56 c #Conflicts: 1347000 | #Constraints: 59835
357.30/358.56 c #Conflicts: 1348000 | #Constraints: 60835
357.30/358.56 c INPROCESSING
357.30/358.56 c GARBAGE COLLECT
357.30/358.56 c rational objective 350.5
363.07/364.39 c #Conflicts: 1349000 | #Constraints: 31743
363.07/364.39 c #Conflicts: 1350000 | #Constraints: 32743
363.07/364.39 c #Conflicts: 1351000 | #Constraints: 33743
363.07/364.39 c #Conflicts: 1352000 | #Constraints: 34744
363.07/364.39 c #Conflicts: 1353000 | #Constraints: 35744
363.07/364.39 c #Conflicts: 1354000 | #Constraints: 36745
363.07/364.39 c #Conflicts: 1355000 | #Constraints: 37745
363.07/364.39 c #Conflicts: 1356000 | #Constraints: 38745
363.07/364.39 c #Conflicts: 1357000 | #Constraints: 39745
363.07/364.39 c #Conflicts: 1358000 | #Constraints: 40822
363.07/364.39 c #Conflicts: 1359000 | #Constraints: 42127
363.07/364.39 c #Conflicts: 1360000 | #Constraints: 43610
363.07/364.39 c #Conflicts: 1361000 | #Constraints: 44882
363.07/364.39 c #Conflicts: 1362000 | #Constraints: 46417
363.07/364.39 c #Conflicts: 1363000 | #Constraints: 47847
363.07/364.39 c #Conflicts: 1364000 | #Constraints: 49322
363.07/364.39 c #Conflicts: 1365000 | #Constraints: 50603
363.07/364.39 c #Conflicts: 1366000 | #Constraints: 51828
363.07/364.39 c #Conflicts: 1367000 | #Constraints: 53425
363.07/364.39 c #Conflicts: 1368000 | #Constraints: 54795
363.07/364.39 c #Conflicts: 1369000 | #Constraints: 56321
363.07/364.39 c #Conflicts: 1370000 | #Constraints: 57690
363.07/364.39 c #Conflicts: 1371000 | #Constraints: 59173
363.07/364.39 c INPROCESSING
363.07/364.39 c GARBAGE COLLECT
363.07/364.39 c rational objective 350.5
372.64/373.95 c #Conflicts: 1372000 | #Constraints: 30880
372.64/373.95 c #Conflicts: 1373000 | #Constraints: 31880
372.64/373.95 c #Conflicts: 1374000 | #Constraints: 33322
372.64/373.95 c #Conflicts: 1375000 | #Constraints: 34974
372.64/373.95 c #Conflicts: 1376000 | #Constraints: 36558
372.64/373.95 c #Conflicts: 1377000 | #Constraints: 38155
372.64/373.95 c #Conflicts: 1378000 | #Constraints: 39709
372.64/373.95 c #Conflicts: 1379000 | #Constraints: 41338
372.64/373.95 c #Conflicts: 1380000 | #Constraints: 42895
372.64/373.95 c #Conflicts: 1381000 | #Constraints: 44456
372.64/373.95 c #Conflicts: 1382000 | #Constraints: 46137
372.64/373.95 c #Conflicts: 1383000 | #Constraints: 47746
372.64/373.95 c #Conflicts: 1384000 | #Constraints: 49461
372.64/373.95 c #Conflicts: 1385000 | #Constraints: 51066
372.64/373.95 c #Conflicts: 1386000 | #Constraints: 52749
372.64/373.95 c #Conflicts: 1387000 | #Constraints: 54384
372.64/373.95 c #Conflicts: 1388000 | #Constraints: 56091
372.64/373.95 c #Conflicts: 1389000 | #Constraints: 57768
372.64/373.95 c #Conflicts: 1390000 | #Constraints: 59458
372.64/373.95 c #Conflicts: 1391000 | #Constraints: 61177
372.64/373.95 c #Conflicts: 1392000 | #Constraints: 62787
372.64/373.95 c #Conflicts: 1393000 | #Constraints: 64231
372.64/373.95 c #Conflicts: 1394000 | #Constraints: 65960
372.64/373.95 c #Conflicts: 1395000 | #Constraints: 67636
372.64/373.95 c INPROCESSING
372.64/373.95 c GARBAGE COLLECT
372.64/373.95 c rational objective 350.5
381.90/383.21 c #Conflicts: 1396000 | #Constraints: 35773
381.90/383.21 c #Conflicts: 1397000 | #Constraints: 37469
381.90/383.21 c #Conflicts: 1398000 | #Constraints: 39047
381.90/383.21 c #Conflicts: 1399000 | #Constraints: 40550
381.90/383.21 c #Conflicts: 1400000 | #Constraints: 42194
381.90/383.21 c #Conflicts: 1401000 | #Constraints: 43870
381.90/383.21 c #Conflicts: 1402000 | #Constraints: 45518
381.90/383.21 c #Conflicts: 1403000 | #Constraints: 47238
381.90/383.21 c #Conflicts: 1404000 | #Constraints: 48940
381.90/383.21 c #Conflicts: 1405000 | #Constraints: 50621
381.90/383.21 c #Conflicts: 1406000 | #Constraints: 52174
381.90/383.21 c #Conflicts: 1407000 | #Constraints: 53809
381.90/383.21 c #Conflicts: 1408000 | #Constraints: 55486
381.90/383.21 c #Conflicts: 1409000 | #Constraints: 57090
381.90/383.21 c #Conflicts: 1410000 | #Constraints: 58816
381.90/383.21 c #Conflicts: 1411000 | #Constraints: 60486
381.90/383.21 c #Conflicts: 1412000 | #Constraints: 62143
381.90/383.21 c #Conflicts: 1413000 | #Constraints: 63879
381.90/383.21 c #Conflicts: 1414000 | #Constraints: 65565
381.90/383.21 c #Conflicts: 1415000 | #Constraints: 67170
381.90/383.21 c #Conflicts: 1416000 | #Constraints: 68815
381.90/383.21 c #Conflicts: 1417000 | #Constraints: 70441
381.90/383.21 c #Conflicts: 1418000 | #Constraints: 72152
381.90/383.21 c #Conflicts: 1419000 | #Constraints: 73830
381.90/383.21 c INPROCESSING
381.90/383.21 c GARBAGE COLLECT
381.90/383.21 c rational objective 350.5
390.77/392.14 c #Conflicts: 1420000 | #Constraints: 39022
390.77/392.14 c #Conflicts: 1421000 | #Constraints: 40660
390.77/392.14 c #Conflicts: 1422000 | #Constraints: 42279
390.77/392.14 c #Conflicts: 1423000 | #Constraints: 43970
390.77/392.14 c #Conflicts: 1424000 | #Constraints: 45602
390.77/392.14 c #Conflicts: 1425000 | #Constraints: 47265
390.77/392.14 c #Conflicts: 1426000 | #Constraints: 48907
390.77/392.14 c #Conflicts: 1427000 | #Constraints: 50609
390.77/392.14 c #Conflicts: 1428000 | #Constraints: 52148
390.77/392.14 c #Conflicts: 1429000 | #Constraints: 53841
390.77/392.14 c #Conflicts: 1430000 | #Constraints: 55502
390.77/392.14 c #Conflicts: 1431000 | #Constraints: 57099
390.77/392.14 c #Conflicts: 1432000 | #Constraints: 58788
390.77/392.14 c #Conflicts: 1433000 | #Constraints: 60496
390.77/392.14 c #Conflicts: 1434000 | #Constraints: 62071
390.77/392.14 c #Conflicts: 1435000 | #Constraints: 63638
390.77/392.14 c #Conflicts: 1436000 | #Constraints: 65201
390.77/392.14 c #Conflicts: 1437000 | #Constraints: 66782
390.77/392.14 c #Conflicts: 1438000 | #Constraints: 68360
390.77/392.14 c #Conflicts: 1439000 | #Constraints: 69956
390.77/392.14 c #Conflicts: 1440000 | #Constraints: 71576
390.77/392.14 c #Conflicts: 1441000 | #Constraints: 73096
390.77/392.14 c #Conflicts: 1442000 | #Constraints: 74736
390.77/392.14 c #Conflicts: 1443000 | #Constraints: 76347
390.77/392.14 c INPROCESSING
390.77/392.14 c GARBAGE COLLECT
390.77/392.14 c rational objective 350.5
397.94/399.34 c #Conflicts: 1444000 | #Constraints: 40232
397.94/399.34 c #Conflicts: 1445000 | #Constraints: 41846
397.94/399.34 c #Conflicts: 1446000 | #Constraints: 43355
397.94/399.34 c #Conflicts: 1447000 | #Constraints: 44888
397.94/399.34 c #Conflicts: 1448000 | #Constraints: 46547
397.94/399.34 c #Conflicts: 1449000 | #Constraints: 48274
397.94/399.34 c #Conflicts: 1450000 | #Constraints: 49948
397.94/399.34 c #Conflicts: 1451000 | #Constraints: 51676
397.94/399.34 c #Conflicts: 1452000 | #Constraints: 53389
397.94/399.34 c #Conflicts: 1453000 | #Constraints: 55115
397.94/399.34 c #Conflicts: 1454000 | #Constraints: 56828
397.94/399.34 c #Conflicts: 1455000 | #Constraints: 58537
397.94/399.34 c #Conflicts: 1456000 | #Constraints: 60226
397.94/399.34 c #Conflicts: 1457000 | #Constraints: 61947
397.94/399.34 c #Conflicts: 1458000 | #Constraints: 63627
397.94/399.34 c #Conflicts: 1459000 | #Constraints: 65293
397.94/399.34 c #Conflicts: 1460000 | #Constraints: 66919
397.94/399.34 c #Conflicts: 1461000 | #Constraints: 68562
397.94/399.34 c #Conflicts: 1462000 | #Constraints: 70139
397.94/399.34 c #Conflicts: 1463000 | #Constraints: 71735
397.94/399.34 c #Conflicts: 1464000 | #Constraints: 73349
397.94/399.34 c #Conflicts: 1465000 | #Constraints: 75061
397.94/399.34 c #Conflicts: 1466000 | #Constraints: 76667
397.94/399.34 c #Conflicts: 1467000 | #Constraints: 78346
397.94/399.34 c INPROCESSING
397.94/399.34 c GARBAGE COLLECT
397.94/399.34 c rational objective 350.5
405.61/407.03 c #Conflicts: 1468000 | #Constraints: 41073
405.61/407.03 c #Conflicts: 1469000 | #Constraints: 42753
405.61/407.03 c #Conflicts: 1470000 | #Constraints: 44340
405.61/407.03 c #Conflicts: 1471000 | #Constraints: 46039
405.61/407.03 c #Conflicts: 1472000 | #Constraints: 47640
405.61/407.03 c #Conflicts: 1473000 | #Constraints: 49286
405.61/407.03 c #Conflicts: 1474000 | #Constraints: 50941
405.61/407.03 c #Conflicts: 1475000 | #Constraints: 52585
405.61/407.03 c #Conflicts: 1476000 | #Constraints: 53821
405.61/407.03 c #Conflicts: 1477000 | #Constraints: 55471
405.61/407.03 c #Conflicts: 1478000 | #Constraints: 57154
405.61/407.03 c #Conflicts: 1479000 | #Constraints: 58858
405.61/407.03 c #Conflicts: 1480000 | #Constraints: 60489
405.61/407.03 c #Conflicts: 1481000 | #Constraints: 62155
405.61/407.03 c #Conflicts: 1482000 | #Constraints: 63809
405.61/407.03 c #Conflicts: 1483000 | #Constraints: 65374
405.61/407.03 c #Conflicts: 1484000 | #Constraints: 66769
405.61/407.03 c #Conflicts: 1485000 | #Constraints: 67857
405.61/407.03 c #Conflicts: 1486000 | #Constraints: 69081
405.61/407.03 c #Conflicts: 1487000 | #Constraints: 70487
405.61/407.03 c #Conflicts: 1488000 | #Constraints: 71488
405.61/407.03 c #Conflicts: 1489000 | #Constraints: 72707
405.61/407.03 c #Conflicts: 1490000 | #Constraints: 74127
405.61/407.03 c #Conflicts: 1491000 | #Constraints: 75713
405.61/407.03 c INPROCESSING
405.61/407.03 c GARBAGE COLLECT
405.61/407.03 c rational objective 350.5
413.08/414.51 c #Conflicts: 1492000 | #Constraints: 39181
413.08/414.51 c #Conflicts: 1493000 | #Constraints: 40181
413.08/414.51 c #Conflicts: 1494000 | #Constraints: 41232
413.08/414.51 c #Conflicts: 1495000 | #Constraints: 42418
413.08/414.51 c #Conflicts: 1496000 | #Constraints: 43942
413.08/414.51 c #Conflicts: 1497000 | #Constraints: 45562
413.08/414.51 c #Conflicts: 1498000 | #Constraints: 47224
413.08/414.51 c #Conflicts: 1499000 | #Constraints: 48867
413.08/414.51 c #Conflicts: 1500000 | #Constraints: 50508
413.08/414.51 c #Conflicts: 1501000 | #Constraints: 52127
413.08/414.51 c #Conflicts: 1502000 | #Constraints: 53722
413.08/414.51 c #Conflicts: 1503000 | #Constraints: 55356
413.08/414.51 c #Conflicts: 1504000 | #Constraints: 57069
413.08/414.51 c #Conflicts: 1505000 | #Constraints: 58682
413.08/414.51 c #Conflicts: 1506000 | #Constraints: 60364
413.08/414.51 c #Conflicts: 1507000 | #Constraints: 62013
413.08/414.51 c #Conflicts: 1508000 | #Constraints: 63596
413.08/414.51 c #Conflicts: 1509000 | #Constraints: 65214
413.08/414.51 c #Conflicts: 1510000 | #Constraints: 66861
413.08/414.51 c #Conflicts: 1511000 | #Constraints: 68509
413.08/414.51 c #Conflicts: 1512000 | #Constraints: 70073
413.08/414.51 c #Conflicts: 1513000 | #Constraints: 71738
413.08/414.51 c #Conflicts: 1514000 | #Constraints: 73372
413.08/414.51 c #Conflicts: 1515000 | #Constraints: 74941
413.08/414.51 c #Conflicts: 1516000 | #Constraints: 76535
413.08/414.51 c INPROCESSING
413.08/414.51 c GARBAGE COLLECT
413.08/414.51 c rational objective 350.5
421.74/423.26 c #Conflicts: 1517000 | #Constraints: 40121
421.74/423.26 c #Conflicts: 1518000 | #Constraints: 41704
421.74/423.26 c #Conflicts: 1519000 | #Constraints: 43338
421.74/423.26 c #Conflicts: 1520000 | #Constraints: 44972
421.74/423.26 c #Conflicts: 1521000 | #Constraints: 46639
421.74/423.26 c #Conflicts: 1522000 | #Constraints: 48216
421.74/423.26 c #Conflicts: 1523000 | #Constraints: 49761
421.74/423.26 c #Conflicts: 1524000 | #Constraints: 51094
421.74/423.26 c #Conflicts: 1525000 | #Constraints: 52094
421.74/423.26 c #Conflicts: 1526000 | #Constraints: 53363
421.74/423.26 c #Conflicts: 1527000 | #Constraints: 54989
421.74/423.26 c #Conflicts: 1528000 | #Constraints: 56598
421.74/423.26 c #Conflicts: 1529000 | #Constraints: 58236
421.74/423.26 c #Conflicts: 1530000 | #Constraints: 59838
421.74/423.26 c #Conflicts: 1531000 | #Constraints: 61408
421.74/423.26 c #Conflicts: 1532000 | #Constraints: 63079
421.74/423.26 c #Conflicts: 1533000 | #Constraints: 64742
421.74/423.26 c #Conflicts: 1534000 | #Constraints: 66363
421.74/423.26 c #Conflicts: 1535000 | #Constraints: 67964
421.74/423.26 c #Conflicts: 1536000 | #Constraints: 69562
421.74/423.26 c #Conflicts: 1537000 | #Constraints: 71176
421.74/423.26 c #Conflicts: 1538000 | #Constraints: 72802
421.74/423.26 c #Conflicts: 1539000 | #Constraints: 74392
421.74/423.26 c #Conflicts: 1540000 | #Constraints: 76138
421.74/423.26 c #Conflicts: 1541000 | #Constraints: 77731
421.74/423.26 c INPROCESSING
421.74/423.26 c GARBAGE COLLECT
421.74/423.26 c rational objective 350.5
428.42/429.91 c #Conflicts: 1542000 | #Constraints: 41004
428.42/429.91 c #Conflicts: 1543000 | #Constraints: 42600
428.42/429.91 c #Conflicts: 1544000 | #Constraints: 44215
428.42/429.91 c #Conflicts: 1545000 | #Constraints: 45729
428.42/429.91 c #Conflicts: 1546000 | #Constraints: 47200
428.42/429.91 c #Conflicts: 1547000 | #Constraints: 48221
428.42/429.91 c #Conflicts: 1548000 | #Constraints: 49410
428.42/429.91 c #Conflicts: 1549000 | #Constraints: 50446
428.42/429.91 c #Conflicts: 1550000 | #Constraints: 51446
428.42/429.91 c #Conflicts: 1551000 | #Constraints: 52669
428.42/429.91 c #Conflicts: 1552000 | #Constraints: 54306
428.42/429.91 c #Conflicts: 1553000 | #Constraints: 55858
428.42/429.91 c #Conflicts: 1554000 | #Constraints: 57421
428.42/429.91 c #Conflicts: 1555000 | #Constraints: 58902
428.42/429.91 c #Conflicts: 1556000 | #Constraints: 60541
428.42/429.91 c #Conflicts: 1557000 | #Constraints: 62177
428.42/429.91 c #Conflicts: 1558000 | #Constraints: 63940
428.42/429.91 c #Conflicts: 1559000 | #Constraints: 65607
428.42/429.91 c #Conflicts: 1560000 | #Constraints: 67217
428.42/429.91 c #Conflicts: 1561000 | #Constraints: 68862
428.42/429.91 c #Conflicts: 1562000 | #Constraints: 70607
428.42/429.91 c #Conflicts: 1563000 | #Constraints: 72232
428.42/429.91 c #Conflicts: 1564000 | #Constraints: 73788
428.42/429.91 c #Conflicts: 1565000 | #Constraints: 75317
428.42/429.91 c #Conflicts: 1566000 | #Constraints: 76836
428.42/429.91 c INPROCESSING
428.42/429.91 c GARBAGE COLLECT
428.42/429.91 c rational objective 350.5
435.40/436.94 c #Conflicts: 1567000 | #Constraints: 40179
435.40/436.94 c #Conflicts: 1568000 | #Constraints: 41222
435.40/436.94 c #Conflicts: 1569000 | #Constraints: 42223
435.40/436.94 c #Conflicts: 1570000 | #Constraints: 43318
435.40/436.94 c #Conflicts: 1571000 | #Constraints: 44373
435.40/436.94 c #Conflicts: 1572000 | #Constraints: 45444
435.40/436.94 c #Conflicts: 1573000 | #Constraints: 46446
435.40/436.94 c #Conflicts: 1574000 | #Constraints: 47446
435.40/436.94 c #Conflicts: 1575000 | #Constraints: 48446
435.40/436.94 c #Conflicts: 1576000 | #Constraints: 49448
435.40/436.94 c #Conflicts: 1577000 | #Constraints: 50448
435.40/436.94 c #Conflicts: 1578000 | #Constraints: 51484
435.40/436.94 c #Conflicts: 1579000 | #Constraints: 52523
435.40/436.94 c #Conflicts: 1580000 | #Constraints: 53523
435.40/436.94 c #Conflicts: 1581000 | #Constraints: 54581
435.40/436.94 c #Conflicts: 1582000 | #Constraints: 55927
435.40/436.94 c #Conflicts: 1583000 | #Constraints: 57404
435.40/436.94 c #Conflicts: 1584000 | #Constraints: 58940
435.40/436.94 c #Conflicts: 1585000 | #Constraints: 60404
435.40/436.94 c #Conflicts: 1586000 | #Constraints: 61727
435.40/436.94 c #Conflicts: 1587000 | #Constraints: 63203
435.40/436.94 c #Conflicts: 1588000 | #Constraints: 64731
435.40/436.94 c #Conflicts: 1589000 | #Constraints: 66249
435.40/436.94 c #Conflicts: 1590000 | #Constraints: 67756
435.40/436.94 c #Conflicts: 1591000 | #Constraints: 69304
435.40/436.94 c INPROCESSING
435.40/436.94 c GARBAGE COLLECT
435.40/436.94 c rational objective 350.5
441.08/442.62 c #Conflicts: 1592000 | #Constraints: 36056
441.08/442.62 c #Conflicts: 1593000 | #Constraints: 37698
441.08/442.62 c #Conflicts: 1594000 | #Constraints: 39227
441.08/442.62 c #Conflicts: 1595000 | #Constraints: 40346
441.08/442.62 c #Conflicts: 1596000 | #Constraints: 41346
441.08/442.62 c #Conflicts: 1597000 | #Constraints: 42348
441.08/442.62 c #Conflicts: 1598000 | #Constraints: 43356
441.08/442.62 c #Conflicts: 1599000 | #Constraints: 44428
441.08/442.62 c #Conflicts: 1600000 | #Constraints: 45750
441.08/442.62 c #Conflicts: 1601000 | #Constraints: 46987
441.08/442.62 c #Conflicts: 1602000 | #Constraints: 48026
441.08/442.62 c #Conflicts: 1603000 | #Constraints: 49040
441.08/442.62 c #Conflicts: 1604000 | #Constraints: 50050
441.08/442.62 c #Conflicts: 1605000 | #Constraints: 51075
441.08/442.62 c #Conflicts: 1606000 | #Constraints: 52075
441.08/442.62 c #Conflicts: 1607000 | #Constraints: 53116
441.08/442.62 c #Conflicts: 1608000 | #Constraints: 54117
441.08/442.62 c #Conflicts: 1609000 | #Constraints: 55117
441.08/442.62 c #Conflicts: 1610000 | #Constraints: 56174
441.08/442.62 c #Conflicts: 1611000 | #Constraints: 57309
441.08/442.62 c #Conflicts: 1612000 | #Constraints: 58522
441.08/442.62 c #Conflicts: 1613000 | #Constraints: 59700
441.08/442.62 c #Conflicts: 1614000 | #Constraints: 61253
441.08/442.62 c #Conflicts: 1615000 | #Constraints: 62460
441.08/442.62 c #Conflicts: 1616000 | #Constraints: 63948
441.08/442.62 c INPROCESSING
441.08/442.62 c GARBAGE COLLECT
441.08/442.62 c rational objective 350.5
446.76/448.34 c #Conflicts: 1617000 | #Constraints: 33276
446.76/448.34 c #Conflicts: 1618000 | #Constraints: 34276
446.76/448.34 c #Conflicts: 1619000 | #Constraints: 35351
446.76/448.34 c #Conflicts: 1620000 | #Constraints: 36498
446.76/448.34 c #Conflicts: 1621000 | #Constraints: 37524
446.76/448.34 c #Conflicts: 1622000 | #Constraints: 38528
446.76/448.34 c #Conflicts: 1623000 | #Constraints: 39602
446.76/448.34 c #Conflicts: 1624000 | #Constraints: 41165
446.76/448.34 c #Conflicts: 1625000 | #Constraints: 42689
446.76/448.34 c #Conflicts: 1626000 | #Constraints: 43989
446.76/448.34 c #Conflicts: 1627000 | #Constraints: 45053
446.76/448.34 c #Conflicts: 1628000 | #Constraints: 46054
446.76/448.34 c #Conflicts: 1629000 | #Constraints: 47156
446.76/448.34 c #Conflicts: 1630000 | #Constraints: 48456
446.76/448.34 c #Conflicts: 1631000 | #Constraints: 49641
446.76/448.34 c #Conflicts: 1632000 | #Constraints: 50641
446.76/448.34 c #Conflicts: 1633000 | #Constraints: 51661
446.76/448.34 c #Conflicts: 1634000 | #Constraints: 53164
446.76/448.34 c #Conflicts: 1635000 | #Constraints: 54767
446.76/448.34 c #Conflicts: 1636000 | #Constraints: 56416
446.76/448.34 c #Conflicts: 1637000 | #Constraints: 57949
446.76/448.34 c #Conflicts: 1638000 | #Constraints: 59180
446.76/448.34 c #Conflicts: 1639000 | #Constraints: 60180
446.76/448.34 c #Conflicts: 1640000 | #Constraints: 61448
446.76/448.34 c #Conflicts: 1641000 | #Constraints: 62971
446.76/448.34 c #Conflicts: 1642000 | #Constraints: 64637
446.76/448.34 c INPROCESSING
446.76/448.34 c GARBAGE COLLECT
446.76/448.34 c rational objective 350.5
456.22/457.89 c #Conflicts: 1643000 | #Constraints: 33699
456.22/457.89 c #Conflicts: 1644000 | #Constraints: 34699
456.22/457.89 c #Conflicts: 1645000 | #Constraints: 35788
456.22/457.89 c #Conflicts: 1646000 | #Constraints: 37236
456.22/457.89 c #Conflicts: 1647000 | #Constraints: 38945
456.22/457.89 c #Conflicts: 1648000 | #Constraints: 40602
456.22/457.89 c #Conflicts: 1649000 | #Constraints: 42185
456.22/457.89 c #Conflicts: 1650000 | #Constraints: 43773
456.22/457.89 c #Conflicts: 1651000 | #Constraints: 45461
456.22/457.89 c #Conflicts: 1652000 | #Constraints: 47072
456.22/457.89 c #Conflicts: 1653000 | #Constraints: 48669
456.22/457.89 c #Conflicts: 1654000 | #Constraints: 49821
456.22/457.89 c #Conflicts: 1655000 | #Constraints: 50957
456.22/457.89 c #Conflicts: 1656000 | #Constraints: 52199
456.22/457.89 c #Conflicts: 1657000 | #Constraints: 53337
456.22/457.89 c #Conflicts: 1658000 | #Constraints: 54387
456.22/457.89 c #Conflicts: 1659000 | #Constraints: 55790
456.22/457.89 c #Conflicts: 1660000 | #Constraints: 57020
456.22/457.89 c #Conflicts: 1661000 | #Constraints: 58309
456.22/457.89 c #Conflicts: 1662000 | #Constraints: 59850
456.22/457.89 c #Conflicts: 1663000 | #Constraints: 61480
456.22/457.89 c #Conflicts: 1664000 | #Constraints: 62983
456.22/457.89 c #Conflicts: 1665000 | #Constraints: 64643
456.22/457.89 c #Conflicts: 1666000 | #Constraints: 66182
456.22/457.89 c #Conflicts: 1667000 | #Constraints: 67702
456.22/457.89 c #Conflicts: 1668000 | #Constraints: 69352
456.22/457.89 c INPROCESSING
456.22/457.89 c GARBAGE COLLECT
456.22/457.89 c rational objective 350.5
460.81/462.49 c #Conflicts: 1669000 | #Constraints: 36113
460.81/462.49 c #Conflicts: 1670000 | #Constraints: 37212
460.81/462.49 c #Conflicts: 1671000 | #Constraints: 38215
460.81/462.49 c #Conflicts: 1672000 | #Constraints: 39230
460.81/462.49 c #Conflicts: 1673000 | #Constraints: 40230
460.81/462.49 c #Conflicts: 1674000 | #Constraints: 41278
460.81/462.49 c #Conflicts: 1675000 | #Constraints: 42283
460.81/462.49 c #Conflicts: 1676000 | #Constraints: 43497
460.81/462.49 c #Conflicts: 1677000 | #Constraints: 44511
460.81/462.49 c #Conflicts: 1678000 | #Constraints: 45538
460.81/462.49 c #Conflicts: 1679000 | #Constraints: 46638
460.81/462.49 c #Conflicts: 1680000 | #Constraints: 47722
460.81/462.49 c #Conflicts: 1681000 | #Constraints: 48860
460.81/462.49 c #Conflicts: 1682000 | #Constraints: 49997
460.81/462.49 c #Conflicts: 1683000 | #Constraints: 50997
460.81/462.49 c #Conflicts: 1684000 | #Constraints: 51998
460.81/462.49 c #Conflicts: 1685000 | #Constraints: 53035
460.81/462.49 c #Conflicts: 1686000 | #Constraints: 54047
460.81/462.49 c #Conflicts: 1687000 | #Constraints: 55128
460.81/462.49 c #Conflicts: 1688000 | #Constraints: 56152
460.81/462.49 c #Conflicts: 1689000 | #Constraints: 57152
460.81/462.49 c #Conflicts: 1690000 | #Constraints: 58155
460.81/462.49 c #Conflicts: 1691000 | #Constraints: 59214
460.81/462.49 c #Conflicts: 1692000 | #Constraints: 60224
460.81/462.49 c #Conflicts: 1693000 | #Constraints: 61381
460.81/462.49 c #Conflicts: 1694000 | #Constraints: 62709
460.81/462.49 c INPROCESSING
460.81/462.49 c GARBAGE COLLECT
460.81/462.49 c rational objective 350.5
469.67/471.37 c #Conflicts: 1695000 | #Constraints: 32776
469.67/471.37 c #Conflicts: 1696000 | #Constraints: 33776
469.67/471.37 c #Conflicts: 1697000 | #Constraints: 35068
469.67/471.37 c #Conflicts: 1698000 | #Constraints: 36338
469.67/471.37 c #Conflicts: 1699000 | #Constraints: 37339
469.67/471.37 c #Conflicts: 1700000 | #Constraints: 38339
469.67/471.37 c #Conflicts: 1701000 | #Constraints: 39570
469.67/471.37 c #Conflicts: 1702000 | #Constraints: 41081
469.67/471.37 c #Conflicts: 1703000 | #Constraints: 42578
469.67/471.37 c #Conflicts: 1704000 | #Constraints: 44075
469.67/471.37 c #Conflicts: 1705000 | #Constraints: 45078
469.67/471.37 c #Conflicts: 1706000 | #Constraints: 46402
469.67/471.37 c #Conflicts: 1707000 | #Constraints: 47685
469.67/471.37 c #Conflicts: 1708000 | #Constraints: 49063
469.67/471.37 c #Conflicts: 1709000 | #Constraints: 50318
469.67/471.37 c #Conflicts: 1710000 | #Constraints: 51771
469.67/471.37 c #Conflicts: 1711000 | #Constraints: 53453
469.67/471.37 c #Conflicts: 1712000 | #Constraints: 54462
469.67/471.37 c #Conflicts: 1713000 | #Constraints: 55463
469.67/471.37 c #Conflicts: 1714000 | #Constraints: 56564
469.67/471.37 c #Conflicts: 1715000 | #Constraints: 57663
469.67/471.37 c #Conflicts: 1716000 | #Constraints: 58828
469.67/471.37 c #Conflicts: 1717000 | #Constraints: 59878
469.67/471.37 c #Conflicts: 1718000 | #Constraints: 60878
469.67/471.37 c #Conflicts: 1719000 | #Constraints: 61886
469.67/471.37 c #Conflicts: 1720000 | #Constraints: 62886
469.67/471.37 c INPROCESSING
469.67/471.37 c GARBAGE COLLECT
469.67/471.37 c rational objective 350.5
476.35/478.02 c #Conflicts: 1721000 | #Constraints: 32770
476.35/478.02 c #Conflicts: 1722000 | #Constraints: 33770
476.35/478.02 c #Conflicts: 1723000 | #Constraints: 34780
476.35/478.02 c #Conflicts: 1724000 | #Constraints: 36228
476.35/478.02 c #Conflicts: 1725000 | #Constraints: 37737
476.35/478.02 c #Conflicts: 1726000 | #Constraints: 38974
476.35/478.02 c #Conflicts: 1727000 | #Constraints: 39975
476.35/478.02 c #Conflicts: 1728000 | #Constraints: 41224
476.35/478.02 c #Conflicts: 1729000 | #Constraints: 42745
476.35/478.02 c #Conflicts: 1730000 | #Constraints: 44127
476.35/478.02 c #Conflicts: 1731000 | #Constraints: 45251
476.35/478.02 c #Conflicts: 1732000 | #Constraints: 46563
476.35/478.02 c #Conflicts: 1733000 | #Constraints: 47844
476.35/478.02 c #Conflicts: 1734000 | #Constraints: 48976
476.35/478.02 c #Conflicts: 1735000 | #Constraints: 50140
476.35/478.02 c #Conflicts: 1736000 | #Constraints: 51168
476.35/478.02 c #Conflicts: 1737000 | #Constraints: 52183
476.35/478.02 c #Conflicts: 1738000 | #Constraints: 53210
476.35/478.02 c #Conflicts: 1739000 | #Constraints: 54233
476.35/478.02 c #Conflicts: 1740000 | #Constraints: 55257
476.35/478.02 c #Conflicts: 1741000 | #Constraints: 56321
476.35/478.02 c #Conflicts: 1742000 | #Constraints: 57656
476.35/478.02 c #Conflicts: 1743000 | #Constraints: 58723
476.35/478.02 c #Conflicts: 1744000 | #Constraints: 59766
476.35/478.02 c #Conflicts: 1745000 | #Constraints: 61253
476.35/478.02 c #Conflicts: 1746000 | #Constraints: 62751
476.35/478.02 c INPROCESSING
476.35/478.02 c GARBAGE COLLECT
476.35/478.02 c rational objective 350.5
483.92/485.65 c #Conflicts: 1747000 | #Constraints: 32669
483.92/485.65 c #Conflicts: 1748000 | #Constraints: 33669
483.92/485.65 c #Conflicts: 1749000 | #Constraints: 34670
483.92/485.65 c #Conflicts: 1750000 | #Constraints: 36094
483.92/485.65 c #Conflicts: 1751000 | #Constraints: 37550
483.92/485.65 c #Conflicts: 1752000 | #Constraints: 38579
483.92/485.65 c #Conflicts: 1753000 | #Constraints: 39912
483.92/485.65 c #Conflicts: 1754000 | #Constraints: 41293
483.92/485.65 c #Conflicts: 1755000 | #Constraints: 42567
483.92/485.65 c #Conflicts: 1756000 | #Constraints: 43802
483.92/485.65 c #Conflicts: 1757000 | #Constraints: 44895
483.92/485.65 c #Conflicts: 1758000 | #Constraints: 45895
483.92/485.65 c #Conflicts: 1759000 | #Constraints: 47334
483.92/485.65 c #Conflicts: 1760000 | #Constraints: 48709
483.92/485.65 c #Conflicts: 1761000 | #Constraints: 49932
483.92/485.65 c #Conflicts: 1762000 | #Constraints: 51177
483.92/485.65 c #Conflicts: 1763000 | #Constraints: 52641
483.92/485.65 c #Conflicts: 1764000 | #Constraints: 54018
483.92/485.65 c #Conflicts: 1765000 | #Constraints: 55513
483.92/485.65 c #Conflicts: 1766000 | #Constraints: 56515
483.92/485.65 c #Conflicts: 1767000 | #Constraints: 57890
483.92/485.65 c #Conflicts: 1768000 | #Constraints: 59301
483.92/485.65 c #Conflicts: 1769000 | #Constraints: 60665
483.92/485.65 c #Conflicts: 1770000 | #Constraints: 62012
483.92/485.65 c #Conflicts: 1771000 | #Constraints: 63428
483.92/485.65 c #Conflicts: 1772000 | #Constraints: 64767
483.92/485.65 c #Conflicts: 1773000 | #Constraints: 66396
483.92/485.65 c INPROCESSING
483.92/485.65 c GARBAGE COLLECT
483.92/485.65 c rational objective 350.5
490.79/492.57 c #Conflicts: 1774000 | #Constraints: 34572
490.79/492.57 c #Conflicts: 1775000 | #Constraints: 35572
490.79/492.57 c #Conflicts: 1776000 | #Constraints: 36910
490.79/492.57 c #Conflicts: 1777000 | #Constraints: 38407
490.79/492.57 c #Conflicts: 1778000 | #Constraints: 39984
490.79/492.57 c #Conflicts: 1779000 | #Constraints: 41608
490.79/492.57 c #Conflicts: 1780000 | #Constraints: 43171
490.79/492.57 c #Conflicts: 1781000 | #Constraints: 44788
490.79/492.57 c #Conflicts: 1782000 | #Constraints: 46465
490.79/492.57 c #Conflicts: 1783000 | #Constraints: 48147
490.79/492.57 c #Conflicts: 1784000 | #Constraints: 49765
490.79/492.57 c #Conflicts: 1785000 | #Constraints: 51377
490.79/492.57 c #Conflicts: 1786000 | #Constraints: 52954
490.79/492.57 c #Conflicts: 1787000 | #Constraints: 54441
490.79/492.57 c #Conflicts: 1788000 | #Constraints: 56053
490.79/492.57 c #Conflicts: 1789000 | #Constraints: 57664
490.79/492.57 c #Conflicts: 1790000 | #Constraints: 59168
490.79/492.57 c #Conflicts: 1791000 | #Constraints: 60745
490.79/492.57 c #Conflicts: 1792000 | #Constraints: 62348
490.79/492.57 c #Conflicts: 1793000 | #Constraints: 63888
490.79/492.57 c #Conflicts: 1794000 | #Constraints: 65434
490.79/492.57 c #Conflicts: 1795000 | #Constraints: 67015
490.79/492.57 c #Conflicts: 1796000 | #Constraints: 68610
490.79/492.57 c #Conflicts: 1797000 | #Constraints: 70185
490.79/492.57 c #Conflicts: 1798000 | #Constraints: 71800
490.79/492.57 c #Conflicts: 1799000 | #Constraints: 73292
490.79/492.57 c #Conflicts: 1800000 | #Constraints: 74769
490.79/492.57 c INPROCESSING
490.79/492.57 c GARBAGE COLLECT
490.79/492.57 c rational objective 350.5
500.95/502.72 c #Conflicts: 1801000 | #Constraints: 39388
500.95/502.72 c #Conflicts: 1802000 | #Constraints: 41053
500.95/502.72 c #Conflicts: 1803000 | #Constraints: 42700
500.95/502.72 c #Conflicts: 1804000 | #Constraints: 44310
500.95/502.72 c #Conflicts: 1805000 | #Constraints: 45873
500.95/502.72 c #Conflicts: 1806000 | #Constraints: 47445
500.95/502.72 c #Conflicts: 1807000 | #Constraints: 49047
500.95/502.72 c #Conflicts: 1808000 | #Constraints: 50619
500.95/502.72 c #Conflicts: 1809000 | #Constraints: 52207
500.95/502.72 c #Conflicts: 1810000 | #Constraints: 53832
500.95/502.72 c #Conflicts: 1811000 | #Constraints: 55428
500.95/502.72 c #Conflicts: 1812000 | #Constraints: 57035
500.95/502.72 c #Conflicts: 1813000 | #Constraints: 58636
500.95/502.72 c #Conflicts: 1814000 | #Constraints: 60289
500.95/502.72 c #Conflicts: 1815000 | #Constraints: 61866
500.95/502.72 c #Conflicts: 1816000 | #Constraints: 63437
500.95/502.72 c #Conflicts: 1817000 | #Constraints: 65025
500.95/502.72 c #Conflicts: 1818000 | #Constraints: 66651
500.95/502.72 c #Conflicts: 1819000 | #Constraints: 68261
500.95/502.72 c #Conflicts: 1820000 | #Constraints: 69863
500.95/502.72 c #Conflicts: 1821000 | #Constraints: 71477
500.95/502.72 c #Conflicts: 1822000 | #Constraints: 72991
500.95/502.72 c #Conflicts: 1823000 | #Constraints: 74495
500.95/502.72 c #Conflicts: 1824000 | #Constraints: 76029
500.95/502.72 c #Conflicts: 1825000 | #Constraints: 77566
500.95/502.72 c #Conflicts: 1826000 | #Constraints: 79152
500.95/502.72 c #Conflicts: 1827000 | #Constraints: 80765
500.95/502.72 c INPROCESSING
500.95/502.72 c GARBAGE COLLECT
500.95/502.72 c rational objective 350.5
512.81/514.67 c #Conflicts: 1828000 | #Constraints: 42361
512.81/514.67 c #Conflicts: 1829000 | #Constraints: 43895
512.81/514.67 c #Conflicts: 1830000 | #Constraints: 45528
512.81/514.67 c #Conflicts: 1831000 | #Constraints: 47043
512.81/514.67 c #Conflicts: 1832000 | #Constraints: 48599
512.81/514.67 c #Conflicts: 1833000 | #Constraints: 50286
512.81/514.67 c #Conflicts: 1834000 | #Constraints: 51942
512.81/514.67 c #Conflicts: 1835000 | #Constraints: 53640
512.81/514.67 c #Conflicts: 1836000 | #Constraints: 55315
512.81/514.67 c #Conflicts: 1837000 | #Constraints: 56921
512.81/514.67 c #Conflicts: 1838000 | #Constraints: 58532
512.81/514.67 c #Conflicts: 1839000 | #Constraints: 60101
512.81/514.67 c #Conflicts: 1840000 | #Constraints: 61616
512.81/514.67 c #Conflicts: 1841000 | #Constraints: 63231
512.81/514.67 c #Conflicts: 1842000 | #Constraints: 64851
512.81/514.67 c #Conflicts: 1843000 | #Constraints: 66455
512.81/514.67 c #Conflicts: 1844000 | #Constraints: 68050
512.81/514.67 c #Conflicts: 1845000 | #Constraints: 69546
512.81/514.67 c #Conflicts: 1846000 | #Constraints: 71053
512.81/514.67 c #Conflicts: 1847000 | #Constraints: 72541
512.81/514.67 c #Conflicts: 1848000 | #Constraints: 74056
512.81/514.67 c #Conflicts: 1849000 | #Constraints: 75556
512.81/514.67 c #Conflicts: 1850000 | #Constraints: 77064
512.81/514.67 c #Conflicts: 1851000 | #Constraints: 78583
512.81/514.67 c #Conflicts: 1852000 | #Constraints: 80096
512.81/514.67 c #Conflicts: 1853000 | #Constraints: 81602
512.81/514.67 c #Conflicts: 1854000 | #Constraints: 83131
512.81/514.67 c INPROCESSING
512.81/514.67 c GARBAGE COLLECT
512.81/514.67 c rational objective 350.5
540.30/542.27 c #Conflicts: 1855000 | #Constraints: 43478
540.30/542.27 c #Conflicts: 1856000 | #Constraints: 45003
540.30/542.27 c #Conflicts: 1857000 | #Constraints: 46302
540.30/542.27 c #Conflicts: 1858000 | #Constraints: 47614
540.30/542.27 c #Conflicts: 1859000 | #Constraints: 48859
540.30/542.27 c #Conflicts: 1860000 | #Constraints: 50011
540.30/542.27 c #Conflicts: 1861000 | #Constraints: 51542
540.30/542.27 c #Conflicts: 1862000 | #Constraints: 53128
540.30/542.27 c #Conflicts: 1863000 | #Constraints: 54792
540.30/542.27 c #Conflicts: 1864000 | #Constraints: 56239
540.30/542.27 c #Conflicts: 1865000 | #Constraints: 57481
540.30/542.27 c #Conflicts: 1866000 | #Constraints: 58619
540.30/542.27 c #Conflicts: 1867000 | #Constraints: 59854
540.30/542.27 c #Conflicts: 1868000 | #Constraints: 60984
540.30/542.27 c #Conflicts: 1869000 | #Constraints: 62083
540.30/542.27 c #Conflicts: 1870000 | #Constraints: 63233
540.30/542.27 c #Conflicts: 1871000 | #Constraints: 64660
540.30/542.27 c #Conflicts: 1872000 | #Constraints: 66255
540.30/542.27 c #Conflicts: 1873000 | #Constraints: 67792
540.30/542.27 c #Conflicts: 1874000 | #Constraints: 69362
540.30/542.27 c #Conflicts: 1875000 | #Constraints: 70956
540.30/542.27 c #Conflicts: 1876000 | #Constraints: 72397
540.30/542.27 c #Conflicts: 1877000 | #Constraints: 73684
540.30/542.27 c #Conflicts: 1878000 | #Constraints: 74881
540.30/542.27 c #Conflicts: 1879000 | #Constraints: 76174
540.30/542.27 c #Conflicts: 1880000 | #Constraints: 77595
540.30/542.27 c #Conflicts: 1881000 | #Constraints: 79043
540.30/542.27 c INPROCESSING
540.30/542.27 c GARBAGE COLLECT
540.30/542.27 c #Conflicts: 1882000 | #Constraints: 41119
540.30/542.27 c #Conflicts: 1883000 | #Constraints: 42659
540.30/542.27 c #Conflicts: 1884000 | #Constraints: 43844
540.30/542.27 c #Conflicts: 1885000 | #Constraints: 44912
540.30/542.27 c #Conflicts: 1886000 | #Constraints: 46365
540.30/542.27 c #Conflicts: 1887000 | #Constraints: 47892
540.30/542.27 c #Conflicts: 1888000 | #Constraints: 49385
540.30/542.27 c #Conflicts: 1889000 | #Constraints: 50861
540.30/542.27 c #Conflicts: 1890000 | #Constraints: 52402
540.30/542.27 c #Conflicts: 1891000 | #Constraints: 54008
540.30/542.27 c #Conflicts: 1892000 | #Constraints: 55583
540.30/542.27 c #Conflicts: 1893000 | #Constraints: 56815
540.30/542.27 c #Conflicts: 1894000 | #Constraints: 57817
540.30/542.27 c #Conflicts: 1895000 | #Constraints: 59108
540.30/542.27 c #Conflicts: 1896000 | #Constraints: 60621
540.30/542.27 c #Conflicts: 1897000 | #Constraints: 62126
540.30/542.27 c #Conflicts: 1898000 | #Constraints: 63665
540.30/542.27 c #Conflicts: 1899000 | #Constraints: 65236
540.30/542.27 c #Conflicts: 1900000 | #Constraints: 66257
540.30/542.27 c #Conflicts: 1901000 | #Constraints: 67762
540.30/542.27 c #Conflicts: 1902000 | #Constraints: 69344
540.30/542.27 c #Conflicts: 1903000 | #Constraints: 70653
540.30/542.27 c #Conflicts: 1904000 | #Constraints: 71823
540.30/542.27 c #Conflicts: 1905000 | #Constraints: 73055
540.30/542.27 c #Conflicts: 1906000 | #Constraints: 74362
540.30/542.27 c #Conflicts: 1907000 | #Constraints: 75711
540.30/542.27 c #Conflicts: 1908000 | #Constraints: 76947
540.30/542.27 c #Conflicts: 1909000 | #Constraints: 78283
540.30/542.27 c INPROCESSING
540.30/542.27 c GARBAGE COLLECT
540.30/542.27 c #Conflicts: 1910000 | #Constraints: 40933
540.30/542.27 c #Conflicts: 1911000 | #Constraints: 42311
540.30/542.27 c #Conflicts: 1912000 | #Constraints: 43475
540.30/542.27 c #Conflicts: 1913000 | #Constraints: 44953
540.30/542.27 c #Conflicts: 1914000 | #Constraints: 46391
540.30/542.27 c #Conflicts: 1915000 | #Constraints: 47920
540.30/542.27 c #Conflicts: 1916000 | #Constraints: 49477
540.30/542.27 c #Conflicts: 1917000 | #Constraints: 51067
540.30/542.27 c #Conflicts: 1918000 | #Constraints: 52598
540.30/542.27 c #Conflicts: 1919000 | #Constraints: 53822
540.30/542.27 c #Conflicts: 1920000 | #Constraints: 54950
540.30/542.27 c #Conflicts: 1921000 | #Constraints: 56111
540.30/542.27 c #Conflicts: 1922000 | #Constraints: 57434
540.30/542.27 c #Conflicts: 1923000 | #Constraints: 59088
540.30/542.27 c #Conflicts: 1924000 | #Constraints: 60410
540.30/542.27 c #Conflicts: 1925000 | #Constraints: 61844
540.30/542.27 c #Conflicts: 1926000 | #Constraints: 63244
540.30/542.27 c #Conflicts: 1927000 | #Constraints: 64373
540.30/542.27 c #Conflicts: 1928000 | #Constraints: 65516
540.30/542.27 c #Conflicts: 1929000 | #Constraints: 66882
540.30/542.27 c #Conflicts: 1930000 | #Constraints: 68500
540.30/542.27 c #Conflicts: 1931000 | #Constraints: 70107
540.30/542.27 c #Conflicts: 1932000 | #Constraints: 71639
563.12/565.11 c #Conflicts: 1933000 | #Constraints: 73226
563.12/565.11 c #Conflicts: 1934000 | #Constraints: 74688
563.12/565.11 c #Conflicts: 1935000 | #Constraints: 75801
563.12/565.11 c #Conflicts: 1936000 | #Constraints: 77032
563.12/565.11 c #Conflicts: 1937000 | #Constraints: 78383
563.12/565.11 c INPROCESSING
563.12/565.11 c GARBAGE COLLECT
563.12/565.11 c #Conflicts: 1938000 | #Constraints: 41005
563.12/565.11 c #Conflicts: 1939000 | #Constraints: 42057
563.12/565.11 c #Conflicts: 1940000 | #Constraints: 43315
563.12/565.11 c #Conflicts: 1941000 | #Constraints: 44944
563.12/565.11 c #Conflicts: 1942000 | #Constraints: 46470
563.12/565.11 c #Conflicts: 1943000 | #Constraints: 47553
563.12/565.11 c #Conflicts: 1944000 | #Constraints: 48740
563.12/565.11 c #Conflicts: 1945000 | #Constraints: 49951
563.12/565.11 c #Conflicts: 1946000 | #Constraints: 51086
563.12/565.11 c #Conflicts: 1947000 | #Constraints: 52319
563.12/565.11 c #Conflicts: 1948000 | #Constraints: 53422
563.12/565.11 c #Conflicts: 1949000 | #Constraints: 54639
563.12/565.11 c #Conflicts: 1950000 | #Constraints: 55796
563.12/565.11 c #Conflicts: 1951000 | #Constraints: 56808
563.12/565.11 c #Conflicts: 1952000 | #Constraints: 57808
563.12/565.11 c #Conflicts: 1953000 | #Constraints: 58981
563.12/565.11 c #Conflicts: 1954000 | #Constraints: 60359
563.12/565.11 c #Conflicts: 1955000 | #Constraints: 61790
563.12/565.11 c #Conflicts: 1956000 | #Constraints: 62887
563.12/565.11 c #Conflicts: 1957000 | #Constraints: 64330
563.12/565.11 c #Conflicts: 1958000 | #Constraints: 65476
563.12/565.11 c #Conflicts: 1959000 | #Constraints: 66612
563.12/565.11 c #Conflicts: 1960000 | #Constraints: 67747
563.12/565.11 c #Conflicts: 1961000 | #Constraints: 69100
563.12/565.11 c #Conflicts: 1962000 | #Constraints: 70256
563.12/565.11 c #Conflicts: 1963000 | #Constraints: 71476
563.12/565.11 c #Conflicts: 1964000 | #Constraints: 72688
563.12/565.11 c #Conflicts: 1965000 | #Constraints: 73836
563.12/565.11 c INPROCESSING
563.12/565.11 c GARBAGE COLLECT
563.12/565.11 c #Conflicts: 1966000 | #Constraints: 38673
563.12/565.11 c #Conflicts: 1967000 | #Constraints: 39936
563.12/565.11 c #Conflicts: 1968000 | #Constraints: 41211
563.12/565.11 c #Conflicts: 1969000 | #Constraints: 42966
563.12/565.11 c #Conflicts: 1970000 | #Constraints: 44645
563.12/565.11 c #Conflicts: 1971000 | #Constraints: 46054
563.12/565.11 c #Conflicts: 1972000 | #Constraints: 47292
563.12/565.11 c #Conflicts: 1973000 | #Constraints: 48704
563.12/565.11 c #Conflicts: 1974000 | #Constraints: 49979
563.12/565.11 c #Conflicts: 1975000 | #Constraints: 51153
563.12/565.11 c #Conflicts: 1976000 | #Constraints: 52350
563.12/565.11 c #Conflicts: 1977000 | #Constraints: 53552
563.12/565.11 c #Conflicts: 1978000 | #Constraints: 55028
563.12/565.11 c #Conflicts: 1979000 | #Constraints: 56238
563.12/565.11 c #Conflicts: 1980000 | #Constraints: 57435
563.12/565.11 c #Conflicts: 1981000 | #Constraints: 58713
563.12/565.11 c #Conflicts: 1982000 | #Constraints: 59766
563.12/565.11 c #Conflicts: 1983000 | #Constraints: 60766
563.12/565.11 c #Conflicts: 1984000 | #Constraints: 61784
563.12/565.11 c #Conflicts: 1985000 | #Constraints: 62932
563.12/565.11 c #Conflicts: 1986000 | #Constraints: 64185
563.12/565.11 c #Conflicts: 1987000 | #Constraints: 65355
563.12/565.11 c #Conflicts: 1988000 | #Constraints: 66759
563.12/565.11 c #Conflicts: 1989000 | #Constraints: 68288
563.12/565.11 c #Conflicts: 1990000 | #Constraints: 69746
563.12/565.11 c #Conflicts: 1991000 | #Constraints: 71194
563.12/565.11 c #Conflicts: 1992000 | #Constraints: 72665
563.12/565.11 c #Conflicts: 1993000 | #Constraints: 73665
563.12/565.11 c INPROCESSING
563.12/565.11 c GARBAGE COLLECT
563.12/565.11 c #Conflicts: 1994000 | #Constraints: 38169
563.12/565.11 c #Conflicts: 1995000 | #Constraints: 39579
563.12/565.11 c #Conflicts: 1996000 | #Constraints: 41029
563.12/565.11 c #Conflicts: 1997000 | #Constraints: 42300
563.12/565.11 c #Conflicts: 1998000 | #Constraints: 43750
563.12/565.11 c #Conflicts: 1999000 | #Constraints: 45020
563.12/565.11 c #Conflicts: 2000000 | #Constraints: 46306
563.12/565.11 c #Conflicts: 2001000 | #Constraints: 47542
563.12/565.11 c #Conflicts: 2002000 | #Constraints: 48986
563.12/565.11 c #Conflicts: 2003000 | #Constraints: 50042
563.12/565.11 c #Conflicts: 2004000 | #Constraints: 51058
563.12/565.11 c #Conflicts: 2005000 | #Constraints: 52058
563.12/565.11 c #Conflicts: 2006000 | #Constraints: 53187
563.12/565.11 c #Conflicts: 2007000 | #Constraints: 54476
563.12/565.11 c #Conflicts: 2008000 | #Constraints: 55685
563.12/565.11 c #Conflicts: 2009000 | #Constraints: 56816
563.81/565.81 c #Conflicts: 2010000 | #Constraints: 57940
563.81/565.81 c #Conflicts: 2011000 | #Constraints: 59095
563.81/565.81 c cpu time 535.797 s
563.81/565.81 c deterministic time 24193576571 2.42e+10
563.81/565.81 c optimization time 0.000161 s
563.81/565.81 c total solve time 535.796 s
563.81/565.81 c core-guided solve time 0 s
563.81/565.81 c propagation time 473.477 s
563.81/565.81 c conflict analysis time 44.3378 s
563.81/565.81 c propagations 25424655
563.81/565.81 c resolve steps 6235809
563.81/565.81 c decisions 5969540
563.81/565.81 c conflicts 2011441
563.81/565.81 c restarts 3962
563.81/565.81 c inprocessing phases 132
563.81/565.81 c input clauses 2
563.81/565.81 c input cardinalities 700
563.81/565.81 c input general constraints 0
563.81/565.81 c input average constraint length 3.99
563.81/565.81 c input average constraint degree 2.00
563.81/565.81 c learned clauses 1679001
563.81/565.81 c learned cardinalities 9969
563.81/565.81 c learned general constraints 1059781
563.81/565.81 c learned average constraint length 59.88
563.81/565.81 c learned average constraint degree 3867065568.76
563.81/565.81 c watched constraints 484408
563.81/565.81 c counting constraints 575373
563.81/565.81 c gcd simplifications 561372
563.81/565.81 c detected cardinalities 1509
563.81/565.81 c weakened non-implied lits 5308361
563.81/565.81 c weakened non-implying lits 666835
563.81/565.81 c original variables 701
563.81/565.81 c clausal propagations 3306835
563.81/565.81 c cardinality propagations 8108575
563.81/565.81 c watched propagations 935878
563.81/565.81 c counting propagations 11056045
563.81/565.81 c watch lookups 9364093497
563.81/565.81 c watch backjump lookups 7663034836
563.81/565.81 c watch checks 6375508170
563.81/565.81 c propagation checks 571164517
563.81/565.81 c constraint additions 152922783
563.81/565.81 c trail pops 33405377
563.81/565.81 c formula constraints 702
563.81/565.81 c learned constraints 2011206
563.81/565.81 c bound constraints 0
563.81/565.81 c core-guided constraints 0
563.81/565.81 c encountered formula constraints 493914
563.81/565.81 c encountered learned constraints 6699601
563.81/565.81 c encountered bound constraints 0
563.81/565.81 c encountered core-guided constraints 0
563.81/565.81 c LP total time 276.166 s
563.81/565.81 c LP solve time 216.69 s
563.81/565.81 c LP constraints added 1004
563.81/565.81 c LP constraints removed 294
563.81/565.81 c LP pivots internal 2011438
563.81/565.81 c LP pivots root 41757
563.81/565.81 c LP calls 769543
563.81/565.81 c LP optimalities 32336
563.81/565.81 c LP no pivot count 8298
563.81/565.81 c LP infeasibilities 737067
563.81/565.81 c LP valid Farkas constraints 737065
563.81/565.81 c LP learned Farkas constraints 234
563.81/565.81 c LP basis resets 138
563.81/565.81 c LP cycling count 95
563.81/565.81 c LP singular count 43
563.81/565.81 c LP no primal count 0
563.81/565.81 c LP no farkas count 0
563.81/565.81 c LP other issue count 0
563.81/565.81 c LP Gomory cuts 246
563.81/565.81 c LP learned cuts 56
563.81/565.81 c LP deleted cuts 294
563.81/565.81 c LP encountered Gomory constraints 0
563.81/565.81 c LP encountered Farkas constraints 1032508
563.81/565.81 c LP encountered learned Farkas constraints 20993
563.81/565.81 c CG auxiliary variables introduced 0
563.81/565.81 c CG solutions found 0
563.81/565.81 c CG cores constructed 0
563.81/565.81 c CG core cardinality constraints returned 0
563.81/565.81 c CG unit cores 0
563.81/565.81 c CG single cores 0
563.81/565.81 c CG blocks removed during cardinality reduction 0
563.81/565.81 c CG first core best 0
563.81/565.81 c CG decision core best 0
563.81/565.81 c CG core reduction tie 0
563.81/565.81 c CG core degree average 0.00
563.81/565.81 c CG core slack average 0.00
563.81/565.81 s UNSATISFIABLE
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 (62397 MiB free)
memory of node 1: 64473 MiB (59960 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455684-1721466125/watcher-4455684-1721466125 -o /tmp/evaluation-result-4455684-1721466125/solver-4455684-1721466125 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721457405-1048579 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455684-1721466125.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1053655, runsolver pid=1053652
[startup+0.100188 s]*
/proc/loadavg: 4.11 4.11 4.12 5/259 1053656
/proc/meminfo: memFree=125291248/131524600 swapFree=131071996/131071996
[pid=1053655] ppid=1053652 vsize=38932 memory=9348 CPUtime=0.09 cores=0,2
/proc/1053655/stat : 1053655 (roundingsat) R 1053652 1053655 1048569 0 -1 4194304 767 0 0 0 8 1 0 0 20 0 1 0 198776003 39866368 2337 134679101440 4194304 7968373 140731796733120 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 17641472 140731796739004 140731796739168 140731796739168 140731796746185 0
/proc/1053655/statm: 9733 2337 1800 922 0 1685 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38932 KiB
Current children cumulated memory: 9348 KiB
[startup+0.205738 s]*
/proc/loadavg: 4.11 4.11 4.12 5/259 1053656
/proc/meminfo: memFree=125288696/131524600 swapFree=131071996/131071996
[pid=1053655] ppid=1053652 vsize=39056 memory=11740 CPUtime=0.19 cores=0,2
/proc/1053655/stat : 1053655 (roundingsat) R 1053652 1053655 1048569 0 -1 4194304 813 0 0 0 17 2 0 0 20 0 1 0 198776003 39993344 2935 134679101440 4194304 7968373 140731796733120 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 17641472 140731796739004 140731796739168 140731796739168 140731796746185 0
/proc/1053655/statm: 9764 2935 1800 922 0 1716 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 39056 KiB
Current children cumulated memory: 11740 KiB
[startup+0.305134 s]*
/proc/loadavg: 4.11 4.11 4.12 5/259 1053656
/proc/meminfo: memFree=125288556/131524600 swapFree=131071996/131071996
[pid=1053655] ppid=1053652 vsize=39268 memory=11844 CPUtime=0.3 cores=0,2
/proc/1053655/stat : 1053655 (roundingsat) R 1053652 1053655 1048569 0 -1 4194304 850 0 0 0 27 3 0 0 20 0 1 0 198776003 40210432 2961 134679101440 4194304 7968373 140731796733120 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 17641472 140731796739004 140731796739168 140731796739168 140731796746185 0
/proc/1053655/statm: 9817 2961 1816 922 0 1769 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 39268 KiB
Current children cumulated memory: 11844 KiB
[startup+0.700144 s]
/proc/loadavg: 4.11 4.11 4.12 5/259 1053656
/proc/meminfo: memFree=125288080/131524600 swapFree=131071996/131071996
[pid=1053655] ppid=1053652 vsize=39480 memory=12232 CPUtime=0.68 cores=0,2
/proc/1053655/stat : 1053655 (roundingsat) R 1053652 1053655 1048569 0 -1 4194304 918 0 0 0 61 7 0 0 20 0 1 0 198776003 40427520 3058 134679101440 4194304 7968373 140731796733120 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 17641472 140731796739004 140731796739168 140731796739168 140731796746185 0
/proc/1053655/statm: 9870 3058 1816 922 0 1822 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 39480 KiB
Current children cumulated memory: 12232 KiB
[startup+1.50018 s]
/proc/loadavg: 4.11 4.11 4.12 5/259 1053656
/proc/meminfo: memFree=125287660/131524600 swapFree=131071996/131071996
[pid=1053655] ppid=1053652 vsize=39840 memory=12552 CPUtime=1.48 cores=0,2
/proc/1053655/stat : 1053655 (roundingsat) R 1053652 1053655 1048569 0 -1 4194304 1002 0 0 0 133 15 0 0 20 0 1 0 198776003 40796160 3138 134679101440 4194304 7968373 140731796733120 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 17641472 140731796739004 140731796739168 140731796739168 140731796746185 0
/proc/1053655/statm: 9960 3138 1816 922 0 1912 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 39840 KiB
Current children cumulated memory: 12552 KiB
[startup+3.10554 s]
/proc/loadavg: 4.10 4.11 4.12 5/259 1053658
/proc/meminfo: memFree=125286680/131524600 swapFree=131071996/131071996
[pid=1053655] ppid=1053652 vsize=40368 memory=12880 CPUtime=3.08 cores=0,2
/proc/1053655/stat : 1053655 (roundingsat) R 1053652 1053655 1048569 0 -1 4194304 1144 0 0 0 279 29 0 0 20 0 1 0 198776003 41336832 3220 134679101440 4194304 7968373 140731796733120 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 17641472 140731796739004 140731796739168 140731796739168 140731796746185 0
/proc/1053655/statm: 10092 3220 1816 922 0 2044 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 40368 KiB
Current children cumulated memory: 12880 KiB
[startup+6.30015 s]
/proc/loadavg: 4.10 4.11 4.12 5/259 1053658
/proc/meminfo: memFree=125285168/131524600 swapFree=131071996/131071996
[pid=1053655] ppid=1053652 vsize=40684 memory=13424 CPUtime=6.27 cores=0,2
/proc/1053655/stat : 1053655 (roundingsat) R 1053652 1053655 1048569 0 -1 4194304 1351 0 0 0 572 55 0 0 20 0 1 0 198776003 41660416 3356 134679101440 4194304 7968373 140731796733120 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 17641472 140731796739004 140731796739168 140731796739168 140731796746185 0
/proc/1053655/statm: 10171 3356 1816 922 0 2123 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 40684 KiB
Current children cumulated memory: 13424 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.11 4.12 5/259 1053658
/proc/meminfo: memFree=125279552/131524600 swapFree=131071996/131071996
[pid=1053655] ppid=1053652 vsize=44356 memory=19060 CPUtime=12.64 cores=0,2
/proc/1053655/stat : 1053655 (roundingsat) R 1053652 1053655 1048569 0 -1 4194304 2463 0 0 0 1165 99 0 0 20 0 1 0 198776003 45420544 4765 134679101440 4194304 7968373 140731796733120 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 17641472 140731796739004 140731796739168 140731796739168 140731796746185 0
/proc/1053655/statm: 11089 4765 1816 922 0 3041 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 44356 KiB
Current children cumulated memory: 19060 KiB
[startup+25.5002 s]
/proc/loadavg: 4.07 4.10 4.11 5/259 1053661
/proc/meminfo: memFree=125261736/131524600 swapFree=131071996/131071996
[pid=1053655] ppid=1053652 vsize=62764 memory=36224 CPUtime=25.4 cores=0,2
/proc/1053655/stat : 1053655 (roundingsat) R 1053652 1053655 1048569 0 -1 4194304 6526 0 0 0 2363 177 0 0 20 0 1 0 198776003 64270336 9056 134679101440 4194304 7968373 140731796733120 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 17641472 140731796739004 140731796739168 140731796739168 140731796746185 0
/proc/1053655/statm: 15691 9056 1948 922 0 7643 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 62764 KiB
Current children cumulated memory: 36224 KiB
[startup+51.1048 s]
/proc/loadavg: 4.05 4.09 4.11 5/258 1053664
/proc/meminfo: memFree=125242248/131524600 swapFree=131071996/131071996
[pid=1053655] ppid=1053652 vsize=79916 memory=51516 CPUtime=50.93 cores=0,2
/proc/1053655/stat : 1053655 (roundingsat) R 1053652 1053655 1048569 0 -1 4194304 10744 0 0 0 4771 322 0 0 20 0 1 0 198776003 81833984 12879 134679101440 4194304 7968373 140731796733120 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 17641472 140731796739004 140731796739168 140731796739168 140731796746185 0
/proc/1053655/statm: 19979 12879 1948 922 0 11931 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 79916 KiB
Current children cumulated memory: 51516 KiB
[startup+102.3 s]
/proc/loadavg: 4.06 4.09 4.11 5/258 1053672
/proc/meminfo: memFree=125203672/131524600 swapFree=131071996/131071996
[pid=1053655] ppid=1053652 vsize=129720 memory=81660 CPUtime=101.97 cores=0,2
/proc/1053655/stat : 1053655 (roundingsat) R 1053652 1053655 1048569 0 -1 4194304 16376 0 0 0 9616 581 0 0 20 0 1 0 198776003 132833280 20415 134679101440 4194304 7968373 140731796733120 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 17641472 140731796739004 140731796739168 140731796739168 140731796746185 0
/proc/1053655/statm: 32430 20415 1948 922 0 24382 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 129720 KiB
Current children cumulated memory: 81660 KiB
[startup+162.3 s]
/proc/loadavg: 4.17 4.12 4.11 5/256 1053684
/proc/meminfo: memFree=125099080/131524600 swapFree=131071996/131071996
[pid=1053655] ppid=1053652 vsize=137052 memory=86904 CPUtime=161.77 cores=0,2
/proc/1053655/stat : 1053655 (roundingsat) R 1053652 1053655 1048569 0 -1 4194304 18107 0 0 0 15256 921 0 0 20 0 1 0 198776003 140341248 21726 134679101440 4194304 7968373 140731796733120 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 17641472 140731796739004 140731796739168 140731796739168 140731796746185 0
/proc/1053655/statm: 34263 21726 1948 922 0 26215 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 137052 KiB
Current children cumulated memory: 86904 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.11 4.11 5/254 1053740
/proc/meminfo: memFree=124610556/131524600 swapFree=131071996/131071996
[pid=1053655] ppid=1053652 vsize=137772 memory=88620 CPUtime=221.58 cores=0,2
/proc/1053655/stat : 1053655 (roundingsat) R 1053652 1053655 1048569 0 -1 4194304 19839 0 0 0 20912 1246 0 0 20 0 1 0 198776003 141078528 22155 134679101440 4194304 7968373 140731796733120 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 17641472 140731796739004 140731796739168 140731796739168 140731796746185 0
/proc/1053655/statm: 34443 22155 1948 922 0 26395 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 137772 KiB
Current children cumulated memory: 88620 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.10 4.10 5/254 1053750
/proc/meminfo: memFree=124456628/131524600 swapFree=131071996/131071996
[pid=1053655] ppid=1053652 vsize=139692 memory=89992 CPUtime=281.37 cores=0,2
/proc/1053655/stat : 1053655 (roundingsat) R 1053652 1053655 1048569 0 -1 4194304 21707 0 0 0 26556 1581 0 0 20 0 1 0 198776003 143044608 22498 134679101440 4194304 7968373 140731796733120 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 17641472 140731796739004 140731796739168 140731796739168 140731796746185 0
/proc/1053655/statm: 34923 22498 1948 922 0 26875 0
Current children cumulated CPU time: 281.37 s
Current children cumulated vsize: 139692 KiB
Current children cumulated memory: 89992 KiB
[startup+342.3 s]
/proc/loadavg: 4.47 4.19 4.13 5/255 1053762
/proc/meminfo: memFree=124113800/131524600 swapFree=131071996/131071996
[pid=1053655] ppid=1053652 vsize=139692 memory=90840 CPUtime=341.16 cores=0,2
/proc/1053655/stat : 1053655 (roundingsat) R 1053652 1053655 1048569 0 -1 4194304 23624 0 0 0 32213 1903 0 0 20 0 1 0 198776003 143044608 22710 134679101440 4194304 7968373 140731796733120 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 17641472 140731796739004 140731796739168 140731796739168 140731796746185 0
/proc/1053655/statm: 34923 22710 1948 922 0 26875 0
Current children cumulated CPU time: 341.16 s
Current children cumulated vsize: 139692 KiB
Current children cumulated memory: 90840 KiB
[startup+402.3 s]
/proc/loadavg: 4.22 4.17 4.12 5/255 1053772
/proc/meminfo: memFree=123940428/131524600 swapFree=131071996/131071996
[pid=1053655] ppid=1053652 vsize=164384 memory=110920 CPUtime=400.92 cores=0,2
/proc/1053655/stat : 1053655 (roundingsat) R 1053652 1053655 1048569 0 -1 4194304 29433 0 0 0 37978 2114 0 0 20 0 1 0 198776003 168329216 27730 134679101440 4194304 7968373 140731796733120 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 17641472 140731796739004 140731796739168 140731796739168 140731796746185 0
/proc/1053655/statm: 41096 27730 1948 922 0 33048 0
Current children cumulated CPU time: 400.92 s
Current children cumulated vsize: 164384 KiB
Current children cumulated memory: 110920 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.15 4.12 5/255 1053783
/proc/meminfo: memFree=123873860/131524600 swapFree=131071996/131071996
[pid=1053655] ppid=1053652 vsize=165944 memory=112576 CPUtime=460.7 cores=0,2
/proc/1053655/stat : 1053655 (roundingsat) R 1053652 1053655 1048569 0 -1 4194304 31361 0 0 0 43672 2398 0 0 20 0 1 0 198776003 169926656 28144 134679101440 4194304 7968373 140731796733120 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 17641472 140731796739004 140731796739168 140731796739168 140731796746185 0
/proc/1053655/statm: 41486 28144 1948 922 0 33438 0
Current children cumulated CPU time: 460.7 s
Current children cumulated vsize: 165944 KiB
Current children cumulated memory: 112576 KiB
[startup+522.3 s]
/proc/loadavg: 4.13 4.15 4.12 5/258 1053799
/proc/meminfo: memFree=123864892/131524600 swapFree=131071996/131071996
[pid=1053655] ppid=1053652 vsize=171476 memory=116796 CPUtime=520.48 cores=0,2
/proc/1053655/stat : 1053655 (roundingsat) R 1053652 1053655 1048569 0 -1 4194304 33620 0 0 0 49412 2636 0 0 20 0 1 0 198776003 175591424 29199 134679101440 4194304 7968373 140731796733120 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 17641472 140731796739004 140731796739168 140731796739168 140731796746185 0
/proc/1053655/statm: 42869 29199 1948 922 0 34821 0
Current children cumulated CPU time: 520.48 s
Current children cumulated vsize: 171476 KiB
Current children cumulated memory: 116796 KiB
[startup+565.822 s]
# the end of solver process 1053655 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=535.798 s, system=28.0433 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+537.6 s]
/proc/loadavg: 4.10 4.14 4.11 5/258 1053802
/proc/meminfo: memFree=123863000/131524600 swapFree=131071996/131071996
[pid=1053655] ppid=1053652 vsize=171616 memory=116796 CPUtime=535.72 cores=0,2
/proc/1053655/stat : 1053655 (roundingsat) R 1053652 1053655 1048569 0 -1 4194304 33681 0 0 0 50880 2692 0 0 20 0 1 0 198776003 175734784 29199 134679101440 4194304 7968373 140731796733120 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 17641472 140731796739004 140731796739168 140731796739168 140731796746185 0
/proc/1053655/statm: 42904 29199 1948 922 0 34856 0
Current children cumulated CPU time: 535.72 s
Current children cumulated vsize: 171616 KiB
Current children cumulated memory: 116796 KiB
[startup+550.4 s]
/proc/loadavg: 4.15 4.15 4.12 5/258 1053803
/proc/meminfo: memFree=123861096/131524600 swapFree=131071996/131071996
[pid=1053655] ppid=1053652 vsize=171616 memory=117056 CPUtime=548.46 cores=0,2
/proc/1053655/stat : 1053655 (roundingsat) R 1053652 1053655 1048569 0 -1 4194304 33712 0 0 0 52104 2742 0 0 20 0 1 0 198776003 175734784 29264 134679101440 4194304 7968373 140731796733120 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 17641472 140731796739004 140731796739168 140731796739168 140731796746185 0
/proc/1053655/statm: 42904 29264 1948 922 0 34856 0
Current children cumulated CPU time: 548.46 s
Current children cumulated vsize: 171616 KiB
Current children cumulated memory: 117056 KiB
[startup+556.8 s]
/proc/loadavg: 4.13 4.15 4.12 5/258 1053806
/proc/meminfo: memFree=123859740/131524600 swapFree=131071996/131071996
[pid=1053655] ppid=1053652 vsize=171836 memory=117056 CPUtime=554.84 cores=0,2
/proc/1053655/stat : 1053655 (roundingsat) R 1053652 1053655 1048569 0 -1 4194304 33737 0 0 0 52714 2770 0 0 20 0 1 0 198776003 175960064 29264 134679101440 4194304 7968373 140731796733120 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 17641472 140731796739004 140731796739168 140731796739168 140731796746185 0
/proc/1053655/statm: 42959 29264 1948 922 0 34911 0
Current children cumulated CPU time: 554.84 s
Current children cumulated vsize: 171836 KiB
Current children cumulated memory: 117056 KiB
[startup+560 s]*
/proc/loadavg: 4.12 4.15 4.11 5/258 1053806
/proc/meminfo: memFree=123858564/131524600 swapFree=131071996/131071996
[pid=1053655] ppid=1053652 vsize=171836 memory=117056 CPUtime=558.04 cores=0,2
/proc/1053655/stat : 1053655 (roundingsat) R 1053652 1053655 1048569 0 -1 4194304 33737 0 0 0 53022 2782 0 0 20 0 1 0 198776003 175960064 29264 134679101440 4194304 7968373 140731796733120 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 17641472 140731796739004 140731796739168 140731796739168 140731796746185 0
/proc/1053655/statm: 42959 29264 1948 922 0 34911 0
Current children cumulated CPU time: 558.04 s
Current children cumulated vsize: 171836 KiB
Current children cumulated memory: 117056 KiB
[startup+563.2 s]
/proc/loadavg: 4.11 4.14 4.11 5/258 1053807
/proc/meminfo: memFree=123859712/131524600 swapFree=131071996/131071996
[pid=1053655] ppid=1053652 vsize=171836 memory=117056 CPUtime=561.22 cores=0,2
/proc/1053655/stat : 1053655 (roundingsat) R 1053652 1053655 1048569 0 -1 4194304 33737 0 0 0 53328 2794 0 0 20 0 1 0 198776003 175960064 29264 134679101440 4194304 7968373 140731796733120 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 17641472 140731796739004 140731796739168 140731796739168 140731796746185 0
/proc/1053655/statm: 42959 29264 1948 922 0 34911 0
Current children cumulated CPU time: 561.22 s
Current children cumulated vsize: 171836 KiB
Current children cumulated memory: 117056 KiB
[startup+564.8 s]
/proc/loadavg: 4.11 4.14 4.11 5/258 1053807
/proc/meminfo: memFree=123859348/131524600 swapFree=131071996/131071996
[pid=1053655] ppid=1053652 vsize=171836 memory=117056 CPUtime=562.82 cores=0,2
/proc/1053655/stat : 1053655 (roundingsat) R 1053652 1053655 1048569 0 -1 4194304 33737 0 0 0 53482 2800 0 0 20 0 1 0 198776003 175960064 29264 134679101440 4194304 7968373 140731796733120 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 17641472 140731796739004 140731796739168 140731796739168 140731796746185 0
/proc/1053655/statm: 42959 29264 1948 922 0 34911 0
Current children cumulated CPU time: 562.82 s
Current children cumulated vsize: 171836 KiB
Current children cumulated memory: 117056 KiB
[startup+565.6 s]
/proc/loadavg: 4.11 4.14 4.11 5/258 1053807
/proc/meminfo: memFree=123859292/131524600 swapFree=131071996/131071996
[pid=1053655] ppid=1053652 vsize=171836 memory=117056 CPUtime=563.61 cores=0,2
/proc/1053655/stat : 1053655 (roundingsat) R 1053652 1053655 1048569 0 -1 4194304 33737 0 0 0 53558 2803 0 0 20 0 1 0 198776003 175960064 29264 134679101440 4194304 7968373 140731796733120 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 17641472 140731796739004 140731796739168 140731796739168 140731796746185 0
/proc/1053655/statm: 42959 29264 1948 922 0 34911 0
Current children cumulated CPU time: 563.61 s
Current children cumulated vsize: 171836 KiB
Current children cumulated memory: 117056 KiB
[startup+565.8 s]
/proc/loadavg: 4.11 4.14 4.11 5/258 1053807
/proc/meminfo: memFree=123859292/131524600 swapFree=131071996/131071996
[pid=1053655] ppid=1053652 vsize=171836 memory=117056 CPUtime=563.81 cores=0,2
/proc/1053655/stat : 1053655 (roundingsat) R 1053652 1053655 1048569 0 -1 4194304 33737 0 0 0 53578 2803 0 0 20 0 1 0 198776003 175960064 29264 134679101440 4194304 7968373 140731796733120 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 17641472 140731796739004 140731796739168 140731796739168 140731796746185 0
/proc/1053655/statm: 42959 29264 1948 922 0 34911 0
Current children cumulated CPU time: 563.81 s
Current children cumulated vsize: 171836 KiB
Current children cumulated memory: 117056 KiB
Child status: 0
Real time (s): 565.822
CPU time (s): 563.841
CPU user time (s): 535.798
CPU system time (s): 28.0433
CPU usage (%): 99.6499
Max. virtual memory (cumulated for all children) (KiB): 171836
Max. memory (cumulated for all children) (KiB): 117056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 535.798
system time used= 28.0433
maximum resident set size= 117280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33745
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= 5
involuntary context switches= 3868
# summary of solver processes directly reported to runsolver:
# pid: 1053655
# total CPU time (s): 563.841
# total CPU user time (s): 535.798
# total CPU system time (s): 28.0433
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.31422 second user time and 2.26516 second system time
The end
Begin job on nodeC020 at 2024-07-20 11:02:18
IDJOB=4455684
IDBENCH=160441
IDSOLVER=3084
FILE ID=nodeC020/4455684-1721466125
RUNJOBID= nodeC020-1721457405-1048579
SLURM_JOB_ID= 7545697
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-4455684-1721466125/watcher-4455684-1721466125 -o /tmp/evaluation-result-4455684-1721466125/solver-4455684-1721466125 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721457405-1048579 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455684-1721466125.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c77e21d963e84c3fd4d271df704a0949
RANDOM SEED=1508660681
nodeC020.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3657.280
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 : 7000.05
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3684.261
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.84
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 : 3654.483
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 : 7000.05
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.488
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.84
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.701
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 : 7000.05
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3684.313
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.84
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 : 3610.382
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 : 7000.05
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.081
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.84
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 125294196 kB
MemAvailable: 127490284 kB
Buffers: 570196 kB
Cached: 2451308 kB
SwapCached: 0 kB
Active: 991396 kB
Inactive: 4578408 kB
Active(anon): 1584 kB
Inactive(anon): 2592620 kB
Active(file): 989812 kB
Inactive(file): 1985788 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 5256 kB
Writeback: 4 kB
AnonPages: 2544764 kB
Mapped: 117072 kB
Shmem: 45912 kB
KReclaimable: 120620 kB
Slab: 236556 kB
SReclaimable: 120620 kB
SUnreclaim: 115936 kB
KernelStack: 4124 kB
PageTables: 14552 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 3146708 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 71168 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1861632 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: 211668 kB
DirectMap2M: 22630400 kB
DirectMap1G: 113246208 kB
Free space on /tmp at the end= 889996 MiB
End job on nodeC020 at 2024-07-20 11:11:44