0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.00/0.01 c #variables 501 #constraints 698
0.00/0.02 c rational objective 250.5
0.19/0.21 c #Conflicts: 1000 | #Constraints: 1702
0.19/0.21 c #Conflicts: 2000 | #Constraints: 2703
0.19/0.21 c INPROCESSING
0.19/0.21 c GARBAGE COLLECT
0.19/0.21 c #Conflicts: 3000 | #Constraints: 2731
0.19/0.21 c #Conflicts: 4000 | #Constraints: 3731
0.19/0.21 c INPROCESSING
0.19/0.21 c GARBAGE COLLECT
0.19/0.21 c #Conflicts: 5000 | #Constraints: 3151
0.19/0.21 c #Conflicts: 6000 | #Constraints: 4151
0.19/0.21 c INPROCESSING
0.19/0.21 c GARBAGE COLLECT
0.19/0.21 c rational objective 250.5
0.19/0.29 c #Conflicts: 7000 | #Constraints: 3157
0.19/0.29 c #Conflicts: 8000 | #Constraints: 4157
0.19/0.29 c #Conflicts: 9000 | #Constraints: 5157
0.19/0.29 c INPROCESSING
0.19/0.29 c GARBAGE COLLECT
0.19/0.29 c rational objective 250.5
0.29/0.39 c #Conflicts: 10000 | #Constraints: 3867
0.29/0.39 c #Conflicts: 11000 | #Constraints: 4867
0.29/0.39 c #Conflicts: 12000 | #Constraints: 5867
0.29/0.39 c INPROCESSING
0.29/0.39 c GARBAGE COLLECT
0.29/0.39 c rational objective 250.5
0.38/0.49 c #Conflicts: 13000 | #Constraints: 4318
0.38/0.49 c #Conflicts: 14000 | #Constraints: 5318
0.38/0.49 c #Conflicts: 15000 | #Constraints: 6318
0.38/0.49 c INPROCESSING
0.38/0.49 c GARBAGE COLLECT
0.38/0.49 c rational objective 250.5
0.58/0.62 c #Conflicts: 16000 | #Constraints: 4548
0.58/0.62 c #Conflicts: 17000 | #Constraints: 5548
0.58/0.62 c #Conflicts: 18000 | #Constraints: 6548
0.58/0.62 c INPROCESSING
0.58/0.62 c GARBAGE COLLECT
0.58/0.62 c rational objective 250.5
0.67/0.74 c #Conflicts: 19000 | #Constraints: 4572
0.67/0.74 c #Conflicts: 20000 | #Constraints: 5572
0.67/0.74 c #Conflicts: 21000 | #Constraints: 6572
0.67/0.74 c INPROCESSING
0.67/0.74 c GARBAGE COLLECT
0.67/0.74 c rational objective 250.5
0.77/0.87 c #Conflicts: 22000 | #Constraints: 4375
0.77/0.87 c #Conflicts: 23000 | #Constraints: 5375
0.77/0.87 c #Conflicts: 24000 | #Constraints: 6375
0.77/0.87 c #Conflicts: 25000 | #Constraints: 7375
0.77/0.87 c INPROCESSING
0.77/0.87 c GARBAGE COLLECT
0.77/0.87 c rational objective 250.5
0.98/1.02 c #Conflicts: 26000 | #Constraints: 4986
0.98/1.02 c #Conflicts: 27000 | #Constraints: 5986
0.98/1.02 c #Conflicts: 28000 | #Constraints: 6986
0.98/1.02 c #Conflicts: 29000 | #Constraints: 7986
0.98/1.02 c INPROCESSING
0.98/1.02 c GARBAGE COLLECT
0.98/1.02 c rational objective 250.5
1.08/1.18 c #Conflicts: 30000 | #Constraints: 5378
1.08/1.18 c #Conflicts: 31000 | #Constraints: 6378
1.08/1.18 c #Conflicts: 32000 | #Constraints: 7378
1.08/1.18 c #Conflicts: 33000 | #Constraints: 8378
1.08/1.18 c INPROCESSING
1.08/1.18 c GARBAGE COLLECT
1.08/1.18 c rational objective 250.5
1.27/1.37 c #Conflicts: 34000 | #Constraints: 5579
1.27/1.37 c #Conflicts: 35000 | #Constraints: 6579
1.27/1.37 c #Conflicts: 36000 | #Constraints: 7579
1.27/1.37 c #Conflicts: 37000 | #Constraints: 8579
1.27/1.37 c INPROCESSING
1.27/1.37 c GARBAGE COLLECT
1.27/1.37 c rational objective 250.5
1.48/1.54 c #Conflicts: 38000 | #Constraints: 5582
1.48/1.54 c #Conflicts: 39000 | #Constraints: 6582
1.48/1.54 c #Conflicts: 40000 | #Constraints: 7582
1.48/1.54 c #Conflicts: 41000 | #Constraints: 8582
1.48/1.54 c INPROCESSING
1.48/1.54 c GARBAGE COLLECT
1.48/1.54 c rational objective 250.5
1.68/1.72 c #Conflicts: 42000 | #Constraints: 5380
1.68/1.72 c #Conflicts: 43000 | #Constraints: 6380
1.68/1.72 c #Conflicts: 44000 | #Constraints: 7380
1.68/1.72 c #Conflicts: 45000 | #Constraints: 8380
1.68/1.72 c #Conflicts: 46000 | #Constraints: 9380
1.68/1.72 c INPROCESSING
1.68/1.72 c GARBAGE COLLECT
1.68/1.72 c rational objective 250.5
1.88/1.93 c #Conflicts: 47000 | #Constraints: 5978
1.88/1.93 c #Conflicts: 48000 | #Constraints: 6978
1.88/1.93 c #Conflicts: 49000 | #Constraints: 7978
1.88/1.93 c #Conflicts: 50000 | #Constraints: 8978
1.88/1.93 c #Conflicts: 51000 | #Constraints: 9978
1.88/1.93 c INPROCESSING
1.88/1.93 c GARBAGE COLLECT
1.88/1.93 c rational objective 250.5
2.08/2.14 c #Conflicts: 52000 | #Constraints: 6382
2.08/2.14 c #Conflicts: 53000 | #Constraints: 7382
2.08/2.14 c #Conflicts: 54000 | #Constraints: 8382
2.08/2.14 c #Conflicts: 55000 | #Constraints: 9382
2.08/2.14 c #Conflicts: 56000 | #Constraints: 10382
2.08/2.14 c INPROCESSING
2.08/2.14 c GARBAGE COLLECT
2.08/2.14 c rational objective 250.5
2.27/2.35 c #Conflicts: 57000 | #Constraints: 6578
2.27/2.35 c #Conflicts: 58000 | #Constraints: 7578
2.27/2.35 c #Conflicts: 59000 | #Constraints: 8578
2.27/2.35 c #Conflicts: 60000 | #Constraints: 9578
2.27/2.35 c #Conflicts: 61000 | #Constraints: 10578
2.27/2.35 c INPROCESSING
2.27/2.35 c GARBAGE COLLECT
2.27/2.35 c rational objective 250.5
2.57/2.61 c #Conflicts: 62000 | #Constraints: 6581
2.57/2.61 c #Conflicts: 63000 | #Constraints: 7581
2.57/2.61 c #Conflicts: 64000 | #Constraints: 8581
2.57/2.61 c #Conflicts: 65000 | #Constraints: 9581
2.57/2.61 c #Conflicts: 66000 | #Constraints: 10581
2.57/2.61 c INPROCESSING
2.57/2.61 c GARBAGE COLLECT
2.57/2.61 c rational objective 250.5
2.77/2.85 c #Conflicts: 67000 | #Constraints: 6379
2.77/2.85 c #Conflicts: 68000 | #Constraints: 7379
2.77/2.85 c #Conflicts: 69000 | #Constraints: 8379
2.77/2.85 c #Conflicts: 70000 | #Constraints: 9379
2.77/2.85 c #Conflicts: 71000 | #Constraints: 10379
2.77/2.85 c #Conflicts: 72000 | #Constraints: 11379
2.77/2.85 c INPROCESSING
2.77/2.85 c GARBAGE COLLECT
2.77/2.85 c rational objective 250.5
2.98/3.09 c #Conflicts: 73000 | #Constraints: 6981
2.98/3.09 c #Conflicts: 74000 | #Constraints: 7981
2.98/3.09 c #Conflicts: 75000 | #Constraints: 8981
2.98/3.09 c #Conflicts: 76000 | #Constraints: 9981
2.98/3.09 c #Conflicts: 77000 | #Constraints: 10981
2.98/3.09 c #Conflicts: 78000 | #Constraints: 11981
2.98/3.09 c INPROCESSING
2.98/3.09 c GARBAGE COLLECT
2.98/3.09 c rational objective 250.5
3.27/3.31 c #Conflicts: 79000 | #Constraints: 7380
3.27/3.31 c #Conflicts: 80000 | #Constraints: 8380
3.27/3.31 c #Conflicts: 81000 | #Constraints: 9380
3.27/3.31 c #Conflicts: 82000 | #Constraints: 10380
3.27/3.31 c #Conflicts: 83000 | #Constraints: 11380
3.27/3.31 c #Conflicts: 84000 | #Constraints: 12380
3.27/3.31 c INPROCESSING
3.27/3.31 c GARBAGE COLLECT
3.27/3.31 c rational objective 250.5
3.47/3.54 c #Conflicts: 85000 | #Constraints: 7588
3.47/3.54 c #Conflicts: 86000 | #Constraints: 8588
3.47/3.54 c #Conflicts: 87000 | #Constraints: 9588
3.47/3.54 c #Conflicts: 88000 | #Constraints: 10588
3.47/3.54 c #Conflicts: 89000 | #Constraints: 11588
3.47/3.54 c #Conflicts: 90000 | #Constraints: 12588
3.47/3.54 c INPROCESSING
3.47/3.54 c GARBAGE COLLECT
3.47/3.54 c rational objective 250.5
3.87/3.91 c #Conflicts: 91000 | #Constraints: 7587
3.87/3.91 c #Conflicts: 92000 | #Constraints: 8587
3.87/3.91 c #Conflicts: 93000 | #Constraints: 9588
3.87/3.91 c #Conflicts: 94000 | #Constraints: 10588
3.87/3.91 c #Conflicts: 95000 | #Constraints: 11588
3.87/3.91 c #Conflicts: 96000 | #Constraints: 12588
3.87/3.91 c INPROCESSING
3.87/3.91 c GARBAGE COLLECT
3.87/3.91 c rational objective 250.5
4.07/4.16 c #Conflicts: 97000 | #Constraints: 7381
4.07/4.16 c #Conflicts: 98000 | #Constraints: 8381
4.07/4.16 c #Conflicts: 99000 | #Constraints: 9381
4.07/4.16 c #Conflicts: 100000 | #Constraints: 10381
4.07/4.16 c #Conflicts: 101000 | #Constraints: 11381
4.07/4.16 c #Conflicts: 102000 | #Constraints: 12381
4.07/4.16 c #Conflicts: 103000 | #Constraints: 13381
4.07/4.16 c INPROCESSING
4.07/4.16 c GARBAGE COLLECT
4.07/4.16 c rational objective 250.5
4.36/4.44 c #Conflicts: 104000 | #Constraints: 7978
4.36/4.44 c #Conflicts: 105000 | #Constraints: 8978
4.36/4.44 c #Conflicts: 106000 | #Constraints: 9978
4.36/4.44 c #Conflicts: 107000 | #Constraints: 10978
4.36/4.44 c #Conflicts: 108000 | #Constraints: 11978
4.36/4.44 c #Conflicts: 109000 | #Constraints: 12978
4.36/4.44 c #Conflicts: 110000 | #Constraints: 13978
4.36/4.44 c INPROCESSING
4.36/4.44 c GARBAGE COLLECT
4.36/4.44 c rational objective 250.5
4.66/4.73 c #Conflicts: 111000 | #Constraints: 8387
4.66/4.73 c #Conflicts: 112000 | #Constraints: 9387
4.66/4.73 c #Conflicts: 113000 | #Constraints: 10387
4.66/4.73 c #Conflicts: 114000 | #Constraints: 11387
4.66/4.73 c #Conflicts: 115000 | #Constraints: 12387
4.66/4.73 c #Conflicts: 116000 | #Constraints: 13387
4.66/4.73 c #Conflicts: 117000 | #Constraints: 14387
4.66/4.73 c INPROCESSING
4.66/4.73 c GARBAGE COLLECT
4.66/4.73 c rational objective 250.5
4.97/5.00 c #Conflicts: 118000 | #Constraints: 8584
4.97/5.00 c #Conflicts: 119000 | #Constraints: 9584
4.97/5.00 c #Conflicts: 120000 | #Constraints: 10584
4.97/5.00 c #Conflicts: 121000 | #Constraints: 11584
4.97/5.00 c #Conflicts: 122000 | #Constraints: 12584
4.97/5.00 c #Conflicts: 123000 | #Constraints: 13584
4.97/5.00 c #Conflicts: 124000 | #Constraints: 14584
4.97/5.00 c INPROCESSING
4.97/5.00 c GARBAGE COLLECT
4.97/5.00 c rational objective 250.5
5.26/5.30 c #Conflicts: 125000 | #Constraints: 8586
5.26/5.30 c #Conflicts: 126000 | #Constraints: 9586
5.26/5.30 c #Conflicts: 127000 | #Constraints: 10586
5.26/5.30 c #Conflicts: 128000 | #Constraints: 11586
5.26/5.30 c #Conflicts: 129000 | #Constraints: 12586
5.26/5.30 c #Conflicts: 130000 | #Constraints: 13586
5.26/5.30 c #Conflicts: 131000 | #Constraints: 14586
5.26/5.30 c INPROCESSING
5.26/5.30 c GARBAGE COLLECT
5.26/5.30 c rational objective 250.5
5.56/5.66 c #Conflicts: 132000 | #Constraints: 8386
5.56/5.66 c #Conflicts: 133000 | #Constraints: 9386
5.56/5.66 c #Conflicts: 134000 | #Constraints: 10386
5.56/5.66 c #Conflicts: 135000 | #Constraints: 11386
5.56/5.66 c #Conflicts: 136000 | #Constraints: 12386
5.56/5.66 c #Conflicts: 137000 | #Constraints: 13386
5.56/5.66 c #Conflicts: 138000 | #Constraints: 14386
5.56/5.66 c #Conflicts: 139000 | #Constraints: 15386
5.56/5.66 c INPROCESSING
5.56/5.66 c GARBAGE COLLECT
5.56/5.66 c rational objective 250.5
5.86/5.97 c #Conflicts: 140000 | #Constraints: 8983
5.86/5.97 c #Conflicts: 141000 | #Constraints: 9983
5.86/5.97 c #Conflicts: 142000 | #Constraints: 10983
5.86/5.97 c #Conflicts: 143000 | #Constraints: 11983
5.86/5.97 c #Conflicts: 144000 | #Constraints: 12983
5.86/5.97 c #Conflicts: 145000 | #Constraints: 13983
5.86/5.97 c #Conflicts: 146000 | #Constraints: 14983
5.86/5.97 c #Conflicts: 147000 | #Constraints: 15983
5.86/5.97 c INPROCESSING
5.86/5.97 c GARBAGE COLLECT
5.86/5.97 c rational objective 250.5
6.26/6.32 c #Conflicts: 148000 | #Constraints: 9380
6.26/6.32 c #Conflicts: 149000 | #Constraints: 10380
6.26/6.32 c #Conflicts: 150000 | #Constraints: 11380
6.26/6.32 c #Conflicts: 151000 | #Constraints: 12380
6.26/6.32 c #Conflicts: 152000 | #Constraints: 13380
6.26/6.32 c #Conflicts: 153000 | #Constraints: 14380
6.26/6.32 c #Conflicts: 154000 | #Constraints: 15380
6.26/6.32 c #Conflicts: 155000 | #Constraints: 16380
6.26/6.32 c INPROCESSING
6.26/6.32 c GARBAGE COLLECT
6.26/6.32 c rational objective 250.5
6.56/6.65 c #Conflicts: 156000 | #Constraints: 9585
6.56/6.65 c #Conflicts: 157000 | #Constraints: 10585
6.56/6.65 c #Conflicts: 158000 | #Constraints: 11585
6.56/6.65 c #Conflicts: 159000 | #Constraints: 12585
6.56/6.65 c #Conflicts: 160000 | #Constraints: 13585
6.56/6.65 c #Conflicts: 161000 | #Constraints: 14585
6.56/6.65 c #Conflicts: 162000 | #Constraints: 15585
6.56/6.65 c #Conflicts: 163000 | #Constraints: 16585
6.56/6.65 c INPROCESSING
6.56/6.65 c GARBAGE COLLECT
6.56/6.65 c rational objective 250.5
6.86/6.96 c #Conflicts: 164000 | #Constraints: 9586
6.86/6.96 c #Conflicts: 165000 | #Constraints: 10586
6.86/6.96 c #Conflicts: 166000 | #Constraints: 11586
6.86/6.96 c #Conflicts: 167000 | #Constraints: 12586
6.86/6.96 c #Conflicts: 168000 | #Constraints: 13586
6.86/6.96 c #Conflicts: 169000 | #Constraints: 14586
6.86/6.96 c #Conflicts: 170000 | #Constraints: 15586
6.86/6.96 c #Conflicts: 171000 | #Constraints: 16586
6.86/6.96 c INPROCESSING
6.86/6.96 c GARBAGE COLLECT
6.86/6.96 c rational objective 250.5
7.26/7.34 c #Conflicts: 172000 | #Constraints: 9387
7.26/7.34 c #Conflicts: 173000 | #Constraints: 10387
7.26/7.34 c #Conflicts: 174000 | #Constraints: 11387
7.26/7.34 c #Conflicts: 175000 | #Constraints: 12387
7.26/7.34 c #Conflicts: 176000 | #Constraints: 13387
7.26/7.34 c #Conflicts: 177000 | #Constraints: 14387
7.26/7.34 c #Conflicts: 178000 | #Constraints: 15387
7.26/7.34 c #Conflicts: 179000 | #Constraints: 16387
7.26/7.34 c #Conflicts: 180000 | #Constraints: 17387
7.26/7.34 c INPROCESSING
7.26/7.34 c GARBAGE COLLECT
7.26/7.34 c rational objective 250.5
7.65/7.72 c #Conflicts: 181000 | #Constraints: 9988
7.65/7.72 c #Conflicts: 182000 | #Constraints: 10988
7.65/7.72 c #Conflicts: 183000 | #Constraints: 11988
7.65/7.72 c #Conflicts: 184000 | #Constraints: 12988
7.65/7.72 c #Conflicts: 185000 | #Constraints: 13988
7.65/7.72 c #Conflicts: 186000 | #Constraints: 14988
7.65/7.72 c #Conflicts: 187000 | #Constraints: 15988
7.65/7.72 c #Conflicts: 188000 | #Constraints: 16988
7.65/7.72 c #Conflicts: 189000 | #Constraints: 17988
7.65/7.72 c INPROCESSING
7.65/7.72 c GARBAGE COLLECT
7.65/7.72 c rational objective 250.5
8.07/8.17 c #Conflicts: 190000 | #Constraints: 10390
8.07/8.17 c #Conflicts: 191000 | #Constraints: 11390
8.07/8.17 c #Conflicts: 192000 | #Constraints: 12390
8.07/8.17 c #Conflicts: 193000 | #Constraints: 13390
8.07/8.17 c #Conflicts: 194000 | #Constraints: 14390
8.07/8.17 c #Conflicts: 195000 | #Constraints: 15390
8.07/8.17 c #Conflicts: 196000 | #Constraints: 16390
8.07/8.17 c #Conflicts: 197000 | #Constraints: 17390
8.07/8.17 c #Conflicts: 198000 | #Constraints: 18390
8.07/8.17 c INPROCESSING
8.07/8.17 c GARBAGE COLLECT
8.07/8.17 c rational objective 250.5
8.46/8.54 c #Conflicts: 199000 | #Constraints: 10596
8.46/8.54 c #Conflicts: 200000 | #Constraints: 11596
8.46/8.54 c #Conflicts: 201000 | #Constraints: 12596
8.46/8.54 c #Conflicts: 202000 | #Constraints: 13596
8.46/8.54 c #Conflicts: 203000 | #Constraints: 14596
8.46/8.54 c #Conflicts: 204000 | #Constraints: 15596
8.46/8.54 c #Conflicts: 205000 | #Constraints: 16596
8.46/8.54 c #Conflicts: 206000 | #Constraints: 17596
8.46/8.54 c #Conflicts: 207000 | #Constraints: 18596
8.46/8.54 c INPROCESSING
8.46/8.54 c GARBAGE COLLECT
8.46/8.54 c rational objective 250.5
8.76/8.89 c #Conflicts: 208000 | #Constraints: 10595
8.76/8.89 c #Conflicts: 209000 | #Constraints: 11595
8.76/8.89 c #Conflicts: 210000 | #Constraints: 12595
8.76/8.89 c #Conflicts: 211000 | #Constraints: 13595
8.76/8.89 c #Conflicts: 212000 | #Constraints: 14595
8.76/8.89 c #Conflicts: 213000 | #Constraints: 15595
8.76/8.89 c #Conflicts: 214000 | #Constraints: 16595
8.76/8.89 c #Conflicts: 215000 | #Constraints: 17595
8.76/8.89 c #Conflicts: 216000 | #Constraints: 18595
8.76/8.89 c INPROCESSING
8.76/8.89 c GARBAGE COLLECT
8.76/8.89 c rational objective 250.5
9.55/9.61 c #Conflicts: 217000 | #Constraints: 10398
9.55/9.61 c #Conflicts: 218000 | #Constraints: 11398
9.55/9.61 c #Conflicts: 219000 | #Constraints: 12398
9.55/9.61 c #Conflicts: 220000 | #Constraints: 13398
9.55/9.61 c #Conflicts: 221000 | #Constraints: 14398
9.55/9.61 c #Conflicts: 222000 | #Constraints: 15398
9.55/9.61 c #Conflicts: 223000 | #Constraints: 16398
9.55/9.61 c #Conflicts: 224000 | #Constraints: 17398
9.55/9.61 c #Conflicts: 225000 | #Constraints: 18398
9.55/9.61 c #Conflicts: 226000 | #Constraints: 19398
9.55/9.61 c INPROCESSING
9.55/9.61 c GARBAGE COLLECT
9.55/9.61 c rational objective 250.5
9.96/10.01 c #Conflicts: 227000 | #Constraints: 11005
9.96/10.01 c #Conflicts: 228000 | #Constraints: 12005
9.96/10.01 c #Conflicts: 229000 | #Constraints: 13005
9.96/10.01 c #Conflicts: 230000 | #Constraints: 14005
9.96/10.01 c #Conflicts: 231000 | #Constraints: 15005
9.96/10.01 c #Conflicts: 232000 | #Constraints: 16005
9.96/10.01 c #Conflicts: 233000 | #Constraints: 17005
9.96/10.01 c #Conflicts: 234000 | #Constraints: 18005
9.96/10.01 c #Conflicts: 235000 | #Constraints: 19005
9.96/10.01 c #Conflicts: 236000 | #Constraints: 20005
9.96/10.01 c INPROCESSING
9.96/10.01 c GARBAGE COLLECT
9.96/10.01 c rational objective 250.5
10.35/10.44 c #Conflicts: 237000 | #Constraints: 11399
10.35/10.44 c #Conflicts: 238000 | #Constraints: 12399
10.35/10.44 c #Conflicts: 239000 | #Constraints: 13399
10.35/10.44 c #Conflicts: 240000 | #Constraints: 14399
10.35/10.44 c #Conflicts: 241000 | #Constraints: 15399
10.35/10.44 c #Conflicts: 242000 | #Constraints: 16399
10.35/10.44 c #Conflicts: 243000 | #Constraints: 17399
10.35/10.44 c #Conflicts: 244000 | #Constraints: 18399
10.35/10.44 c #Conflicts: 245000 | #Constraints: 19399
10.35/10.44 c #Conflicts: 246000 | #Constraints: 20399
10.35/10.44 c INPROCESSING
10.35/10.44 c GARBAGE COLLECT
10.35/10.44 c rational objective 250.5
10.85/10.90 c #Conflicts: 247000 | #Constraints: 11592
10.85/10.90 c #Conflicts: 248000 | #Constraints: 12592
10.85/10.90 c #Conflicts: 249000 | #Constraints: 13592
10.85/10.90 c #Conflicts: 250000 | #Constraints: 14592
10.85/10.90 c #Conflicts: 251000 | #Constraints: 15592
10.85/10.90 c #Conflicts: 252000 | #Constraints: 16592
10.85/10.90 c #Conflicts: 253000 | #Constraints: 17592
10.85/10.90 c #Conflicts: 254000 | #Constraints: 18592
10.85/10.90 c #Conflicts: 255000 | #Constraints: 19592
10.85/10.90 c #Conflicts: 256000 | #Constraints: 20592
10.85/10.90 c INPROCESSING
10.85/10.90 c GARBAGE COLLECT
10.85/10.90 c rational objective 250.5
11.25/11.33 c #Conflicts: 257000 | #Constraints: 11596
11.25/11.33 c #Conflicts: 258000 | #Constraints: 12596
11.25/11.33 c #Conflicts: 259000 | #Constraints: 13596
11.25/11.33 c #Conflicts: 260000 | #Constraints: 14596
11.25/11.33 c #Conflicts: 261000 | #Constraints: 15596
11.25/11.33 c #Conflicts: 262000 | #Constraints: 16596
11.25/11.33 c #Conflicts: 263000 | #Constraints: 17596
11.25/11.33 c #Conflicts: 264000 | #Constraints: 18596
11.25/11.33 c #Conflicts: 265000 | #Constraints: 19596
11.25/11.33 c #Conflicts: 266000 | #Constraints: 20596
11.25/11.33 c INPROCESSING
11.25/11.33 c GARBAGE COLLECT
11.25/11.33 c rational objective 250.5
11.84/11.90 c #Conflicts: 267000 | #Constraints: 11393
11.84/11.90 c #Conflicts: 268000 | #Constraints: 12393
11.84/11.90 c #Conflicts: 269000 | #Constraints: 13393
11.84/11.90 c #Conflicts: 270000 | #Constraints: 14393
11.84/11.90 c #Conflicts: 271000 | #Constraints: 15393
11.84/11.90 c #Conflicts: 272000 | #Constraints: 16393
11.84/11.90 c #Conflicts: 273000 | #Constraints: 17393
11.84/11.90 c #Conflicts: 274000 | #Constraints: 18393
11.84/11.90 c #Conflicts: 275000 | #Constraints: 19393
11.84/11.90 c #Conflicts: 276000 | #Constraints: 20393
11.84/11.90 c #Conflicts: 277000 | #Constraints: 21393
11.84/11.90 c INPROCESSING
11.84/11.90 c GARBAGE COLLECT
11.84/11.90 c rational objective 250.5
12.24/12.38 c #Conflicts: 278000 | #Constraints: 11991
12.24/12.38 c #Conflicts: 279000 | #Constraints: 12991
12.24/12.38 c #Conflicts: 280000 | #Constraints: 13991
12.24/12.38 c #Conflicts: 281000 | #Constraints: 14991
12.24/12.38 c #Conflicts: 282000 | #Constraints: 15991
12.24/12.38 c #Conflicts: 283000 | #Constraints: 16991
12.24/12.38 c #Conflicts: 284000 | #Constraints: 17991
12.24/12.38 c #Conflicts: 285000 | #Constraints: 18991
12.24/12.38 c #Conflicts: 286000 | #Constraints: 19991
12.24/12.38 c #Conflicts: 287000 | #Constraints: 20991
12.24/12.38 c #Conflicts: 288000 | #Constraints: 21991
12.24/12.38 c INPROCESSING
12.24/12.38 c GARBAGE COLLECT
12.24/12.38 c rational objective 250.5
12.74/12.86 c #Conflicts: 289000 | #Constraints: 12389
12.74/12.86 c #Conflicts: 290000 | #Constraints: 13389
12.74/12.86 c #Conflicts: 291000 | #Constraints: 14389
12.74/12.86 c #Conflicts: 292000 | #Constraints: 15389
12.74/12.86 c #Conflicts: 293000 | #Constraints: 16389
12.74/12.86 c #Conflicts: 294000 | #Constraints: 17389
12.74/12.86 c #Conflicts: 295000 | #Constraints: 18389
12.74/12.86 c #Conflicts: 296000 | #Constraints: 19389
12.74/12.86 c #Conflicts: 297000 | #Constraints: 20389
12.74/12.86 c #Conflicts: 298000 | #Constraints: 21389
12.74/12.86 c #Conflicts: 299000 | #Constraints: 22389
12.74/12.86 c INPROCESSING
12.74/12.86 c GARBAGE COLLECT
12.74/12.86 c rational objective 250.5
13.14/13.29 c #Conflicts: 300000 | #Constraints: 12590
13.14/13.29 c #Conflicts: 301000 | #Constraints: 13590
13.14/13.29 c #Conflicts: 302000 | #Constraints: 14590
13.14/13.29 c #Conflicts: 303000 | #Constraints: 15590
13.14/13.29 c #Conflicts: 304000 | #Constraints: 16590
13.14/13.29 c #Conflicts: 305000 | #Constraints: 17590
13.14/13.29 c #Conflicts: 306000 | #Constraints: 18590
13.14/13.29 c #Conflicts: 307000 | #Constraints: 19590
13.14/13.29 c #Conflicts: 308000 | #Constraints: 20590
13.14/13.29 c #Conflicts: 309000 | #Constraints: 21590
13.14/13.29 c #Conflicts: 310000 | #Constraints: 22590
13.14/13.29 c INPROCESSING
13.14/13.29 c GARBAGE COLLECT
13.14/13.29 c rational objective 250.5
13.65/13.74 c #Conflicts: 311000 | #Constraints: 12590
13.65/13.74 c #Conflicts: 312000 | #Constraints: 13590
13.65/13.74 c #Conflicts: 313000 | #Constraints: 14590
13.65/13.74 c #Conflicts: 314000 | #Constraints: 15590
13.65/13.74 c #Conflicts: 315000 | #Constraints: 16590
13.65/13.74 c #Conflicts: 316000 | #Constraints: 17590
13.65/13.74 c #Conflicts: 317000 | #Constraints: 18590
13.65/13.74 c #Conflicts: 318000 | #Constraints: 19590
13.65/13.74 c #Conflicts: 319000 | #Constraints: 20590
13.65/13.74 c #Conflicts: 320000 | #Constraints: 21590
13.65/13.74 c #Conflicts: 321000 | #Constraints: 22590
13.65/13.74 c INPROCESSING
13.65/13.74 c GARBAGE COLLECT
13.65/13.74 c rational objective 250.5
14.24/14.38 c #Conflicts: 322000 | #Constraints: 12398
14.24/14.38 c #Conflicts: 323000 | #Constraints: 13398
14.24/14.38 c #Conflicts: 324000 | #Constraints: 14398
14.24/14.38 c #Conflicts: 325000 | #Constraints: 15398
14.24/14.38 c #Conflicts: 326000 | #Constraints: 16398
14.24/14.38 c #Conflicts: 327000 | #Constraints: 17398
14.24/14.38 c #Conflicts: 328000 | #Constraints: 18398
14.24/14.38 c #Conflicts: 329000 | #Constraints: 19398
14.24/14.38 c #Conflicts: 330000 | #Constraints: 20398
14.24/14.38 c #Conflicts: 331000 | #Constraints: 21398
14.24/14.38 c #Conflicts: 332000 | #Constraints: 22398
14.24/14.38 c #Conflicts: 333000 | #Constraints: 23398
14.24/14.38 c INPROCESSING
14.24/14.38 c GARBAGE COLLECT
14.24/14.38 c rational objective 250.5
14.74/14.89 c #Conflicts: 334000 | #Constraints: 13000
14.74/14.89 c #Conflicts: 335000 | #Constraints: 14000
14.74/14.89 c #Conflicts: 336000 | #Constraints: 15000
14.74/14.89 c #Conflicts: 337000 | #Constraints: 16000
14.74/14.89 c #Conflicts: 338000 | #Constraints: 17000
14.74/14.89 c #Conflicts: 339000 | #Constraints: 18000
14.74/14.89 c #Conflicts: 340000 | #Constraints: 19000
14.74/14.89 c #Conflicts: 341000 | #Constraints: 20000
14.74/14.89 c #Conflicts: 342000 | #Constraints: 21000
14.74/14.89 c #Conflicts: 343000 | #Constraints: 22000
14.74/14.89 c #Conflicts: 344000 | #Constraints: 23000
14.74/14.89 c #Conflicts: 345000 | #Constraints: 24000
14.74/14.89 c INPROCESSING
14.74/14.89 c GARBAGE COLLECT
14.74/14.89 c rational objective 250.5
15.34/15.42 c #Conflicts: 346000 | #Constraints: 13395
15.34/15.42 c #Conflicts: 347000 | #Constraints: 14395
15.34/15.42 c #Conflicts: 348000 | #Constraints: 15395
15.34/15.42 c #Conflicts: 349000 | #Constraints: 16395
15.34/15.42 c #Conflicts: 350000 | #Constraints: 17395
15.34/15.42 c #Conflicts: 351000 | #Constraints: 18395
15.34/15.42 c #Conflicts: 352000 | #Constraints: 19395
15.34/15.42 c #Conflicts: 353000 | #Constraints: 20395
15.34/15.42 c #Conflicts: 354000 | #Constraints: 21395
15.34/15.42 c #Conflicts: 355000 | #Constraints: 22395
15.34/15.42 c #Conflicts: 356000 | #Constraints: 23395
15.34/15.42 c #Conflicts: 357000 | #Constraints: 24395
15.34/15.42 c INPROCESSING
15.34/15.42 c GARBAGE COLLECT
15.34/15.42 c rational objective 250.5
15.83/15.93 c #Conflicts: 358000 | #Constraints: 13588
15.83/15.93 c #Conflicts: 359000 | #Constraints: 14588
15.83/15.93 c #Conflicts: 360000 | #Constraints: 15588
15.83/15.93 c #Conflicts: 361000 | #Constraints: 16588
15.83/15.93 c #Conflicts: 362000 | #Constraints: 17588
15.83/15.93 c #Conflicts: 363000 | #Constraints: 18588
15.83/15.93 c #Conflicts: 364000 | #Constraints: 19588
15.83/15.93 c #Conflicts: 365000 | #Constraints: 20588
15.83/15.93 c #Conflicts: 366000 | #Constraints: 21588
15.83/15.93 c #Conflicts: 367000 | #Constraints: 22588
15.83/15.93 c #Conflicts: 368000 | #Constraints: 23588
15.83/15.93 c #Conflicts: 369000 | #Constraints: 24588
15.83/15.93 c INPROCESSING
15.83/15.93 c GARBAGE COLLECT
15.83/15.93 c rational objective 250.5
16.34/16.43 c #Conflicts: 370000 | #Constraints: 13593
16.34/16.43 c #Conflicts: 371000 | #Constraints: 14593
16.34/16.43 c #Conflicts: 372000 | #Constraints: 15593
16.34/16.43 c #Conflicts: 373000 | #Constraints: 16593
16.34/16.43 c #Conflicts: 374000 | #Constraints: 17593
16.34/16.43 c #Conflicts: 375000 | #Constraints: 18593
16.34/16.43 c #Conflicts: 376000 | #Constraints: 19593
16.34/16.43 c #Conflicts: 377000 | #Constraints: 20593
16.34/16.43 c #Conflicts: 378000 | #Constraints: 21593
16.34/16.43 c #Conflicts: 379000 | #Constraints: 22593
16.34/16.43 c #Conflicts: 380000 | #Constraints: 23593
16.34/16.43 c #Conflicts: 381000 | #Constraints: 24593
16.34/16.43 c INPROCESSING
16.34/16.43 c GARBAGE COLLECT
16.34/16.43 c rational objective 250.5
16.83/16.92 c #Conflicts: 382000 | #Constraints: 13389
16.83/16.92 c #Conflicts: 383000 | #Constraints: 14389
16.83/16.92 c #Conflicts: 384000 | #Constraints: 15389
16.83/16.92 c #Conflicts: 385000 | #Constraints: 16389
16.83/16.92 c #Conflicts: 386000 | #Constraints: 17389
16.83/16.92 c #Conflicts: 387000 | #Constraints: 18389
16.83/16.92 c #Conflicts: 388000 | #Constraints: 19389
16.83/16.92 c #Conflicts: 389000 | #Constraints: 20389
16.83/16.92 c #Conflicts: 390000 | #Constraints: 21389
16.83/16.92 c #Conflicts: 391000 | #Constraints: 22389
16.83/16.92 c #Conflicts: 392000 | #Constraints: 23389
16.83/16.92 c #Conflicts: 393000 | #Constraints: 24389
16.83/16.92 c #Conflicts: 394000 | #Constraints: 25389
16.83/16.92 c INPROCESSING
16.83/16.92 c GARBAGE COLLECT
16.83/16.92 c rational objective 250.5
17.43/17.51 c #Conflicts: 395000 | #Constraints: 14000
17.43/17.51 c #Conflicts: 396000 | #Constraints: 15000
17.43/17.51 c #Conflicts: 397000 | #Constraints: 16000
17.43/17.51 c #Conflicts: 398000 | #Constraints: 17000
17.43/17.51 c #Conflicts: 399000 | #Constraints: 18000
17.43/17.51 c #Conflicts: 400000 | #Constraints: 19000
17.43/17.51 c #Conflicts: 401000 | #Constraints: 20000
17.43/17.51 c #Conflicts: 402000 | #Constraints: 21000
17.43/17.51 c #Conflicts: 403000 | #Constraints: 22000
17.43/17.51 c #Conflicts: 404000 | #Constraints: 23000
17.43/17.51 c #Conflicts: 405000 | #Constraints: 24000
17.43/17.51 c #Conflicts: 406000 | #Constraints: 25000
17.43/17.51 c #Conflicts: 407000 | #Constraints: 26000
17.43/17.51 c INPROCESSING
17.43/17.51 c GARBAGE COLLECT
17.43/17.51 c rational objective 250.5
18.04/18.11 c #Conflicts: 408000 | #Constraints: 14399
18.04/18.11 c #Conflicts: 409000 | #Constraints: 15399
18.04/18.11 c #Conflicts: 410000 | #Constraints: 16399
18.04/18.11 c #Conflicts: 411000 | #Constraints: 17399
18.04/18.11 c #Conflicts: 412000 | #Constraints: 18399
18.04/18.11 c #Conflicts: 413000 | #Constraints: 19399
18.04/18.11 c #Conflicts: 414000 | #Constraints: 20399
18.04/18.11 c #Conflicts: 415000 | #Constraints: 21399
18.04/18.11 c #Conflicts: 416000 | #Constraints: 22399
18.04/18.11 c #Conflicts: 417000 | #Constraints: 23399
18.04/18.11 c #Conflicts: 418000 | #Constraints: 24399
18.04/18.11 c #Conflicts: 419000 | #Constraints: 25399
18.04/18.11 c #Conflicts: 420000 | #Constraints: 26399
18.04/18.11 c INPROCESSING
18.04/18.11 c GARBAGE COLLECT
18.04/18.11 c rational objective 250.5
18.73/18.80 c #Conflicts: 421000 | #Constraints: 14609
18.73/18.80 c #Conflicts: 422000 | #Constraints: 15609
18.73/18.80 c #Conflicts: 423000 | #Constraints: 16609
18.73/18.80 c #Conflicts: 424000 | #Constraints: 17609
18.73/18.80 c #Conflicts: 425000 | #Constraints: 18609
18.73/18.80 c #Conflicts: 426000 | #Constraints: 19609
18.73/18.80 c #Conflicts: 427000 | #Constraints: 20609
18.73/18.80 c #Conflicts: 428000 | #Constraints: 21609
18.73/18.80 c #Conflicts: 429000 | #Constraints: 22609
18.73/18.80 c #Conflicts: 430000 | #Constraints: 23609
18.73/18.80 c #Conflicts: 431000 | #Constraints: 24609
18.73/18.80 c #Conflicts: 432000 | #Constraints: 25609
18.73/18.80 c #Conflicts: 433000 | #Constraints: 26609
18.73/18.80 c INPROCESSING
18.73/18.80 c GARBAGE COLLECT
18.73/18.80 c rational objective 250.5
19.23/19.39 c #Conflicts: 434000 | #Constraints: 14611
19.23/19.39 c #Conflicts: 435000 | #Constraints: 15611
19.23/19.39 c #Conflicts: 436000 | #Constraints: 16611
19.23/19.39 c #Conflicts: 437000 | #Constraints: 17611
19.23/19.39 c #Conflicts: 438000 | #Constraints: 18611
19.23/19.39 c #Conflicts: 439000 | #Constraints: 19611
19.23/19.39 c #Conflicts: 440000 | #Constraints: 20611
19.23/19.39 c #Conflicts: 441000 | #Constraints: 21611
19.23/19.39 c #Conflicts: 442000 | #Constraints: 22611
19.23/19.39 c #Conflicts: 443000 | #Constraints: 23611
19.23/19.39 c #Conflicts: 444000 | #Constraints: 24611
19.23/19.39 c #Conflicts: 445000 | #Constraints: 25611
19.23/19.39 c #Conflicts: 446000 | #Constraints: 26611
19.23/19.39 c INPROCESSING
19.23/19.39 c GARBAGE COLLECT
19.23/19.39 c rational objective 250.5
19.82/19.91 c #Conflicts: 447000 | #Constraints: 14413
19.82/19.91 c #Conflicts: 448000 | #Constraints: 15413
19.82/19.91 c #Conflicts: 449000 | #Constraints: 16413
19.82/19.91 c #Conflicts: 450000 | #Constraints: 17413
19.82/19.91 c #Conflicts: 451000 | #Constraints: 18413
19.82/19.91 c #Conflicts: 452000 | #Constraints: 19413
19.82/19.91 c #Conflicts: 453000 | #Constraints: 20413
19.82/19.91 c #Conflicts: 454000 | #Constraints: 21413
19.82/19.91 c #Conflicts: 455000 | #Constraints: 22413
19.82/19.91 c #Conflicts: 456000 | #Constraints: 23413
19.82/19.91 c #Conflicts: 457000 | #Constraints: 24413
19.82/19.91 c #Conflicts: 458000 | #Constraints: 25413
19.82/19.91 c #Conflicts: 459000 | #Constraints: 26413
19.82/19.91 c #Conflicts: 460000 | #Constraints: 27413
19.82/19.91 c INPROCESSING
19.82/19.91 c GARBAGE COLLECT
19.82/19.91 c rational objective 250.5
20.33/20.46 c #Conflicts: 461000 | #Constraints: 15017
20.33/20.46 c #Conflicts: 462000 | #Constraints: 16017
20.33/20.46 c #Conflicts: 463000 | #Constraints: 17017
20.33/20.46 c #Conflicts: 464000 | #Constraints: 18017
20.33/20.46 c #Conflicts: 465000 | #Constraints: 19017
20.33/20.46 c #Conflicts: 466000 | #Constraints: 20017
20.33/20.46 c #Conflicts: 467000 | #Constraints: 21017
20.33/20.46 c #Conflicts: 468000 | #Constraints: 22017
20.33/20.46 c #Conflicts: 469000 | #Constraints: 23017
20.33/20.46 c #Conflicts: 470000 | #Constraints: 24017
20.33/20.46 c #Conflicts: 471000 | #Constraints: 25017
20.33/20.46 c #Conflicts: 472000 | #Constraints: 26017
20.33/20.46 c #Conflicts: 473000 | #Constraints: 27017
20.33/20.46 c #Conflicts: 474000 | #Constraints: 28017
20.33/20.46 c INPROCESSING
20.33/20.46 c GARBAGE COLLECT
20.33/20.46 c rational objective 250.5
21.12/21.20 c #Conflicts: 475000 | #Constraints: 15419
21.12/21.20 c #Conflicts: 476000 | #Constraints: 16419
21.12/21.20 c #Conflicts: 477000 | #Constraints: 17419
21.12/21.20 c #Conflicts: 478000 | #Constraints: 18419
21.12/21.20 c #Conflicts: 479000 | #Constraints: 19419
21.12/21.20 c #Conflicts: 480000 | #Constraints: 20419
21.12/21.20 c #Conflicts: 481000 | #Constraints: 21419
21.12/21.20 c #Conflicts: 482000 | #Constraints: 22419
21.12/21.20 c #Conflicts: 483000 | #Constraints: 23419
21.12/21.20 c #Conflicts: 484000 | #Constraints: 24419
21.12/21.20 c #Conflicts: 485000 | #Constraints: 25419
21.12/21.20 c #Conflicts: 486000 | #Constraints: 26419
21.12/21.20 c #Conflicts: 487000 | #Constraints: 27419
21.12/21.20 c #Conflicts: 488000 | #Constraints: 28419
21.12/21.20 c INPROCESSING
21.12/21.20 c GARBAGE COLLECT
21.12/21.20 c rational objective 250.5
22.02/22.16 c #Conflicts: 489000 | #Constraints: 15624
22.02/22.16 c #Conflicts: 490000 | #Constraints: 16624
22.02/22.16 c #Conflicts: 491000 | #Constraints: 17624
22.02/22.16 c #Conflicts: 492000 | #Constraints: 18624
22.02/22.16 c #Conflicts: 493000 | #Constraints: 19624
22.02/22.16 c #Conflicts: 494000 | #Constraints: 20624
22.02/22.16 c #Conflicts: 495000 | #Constraints: 21624
22.02/22.16 c #Conflicts: 496000 | #Constraints: 22624
22.02/22.16 c #Conflicts: 497000 | #Constraints: 23624
22.02/22.16 c #Conflicts: 498000 | #Constraints: 24624
22.02/22.16 c #Conflicts: 499000 | #Constraints: 25624
22.02/22.16 c #Conflicts: 500000 | #Constraints: 26624
22.02/22.16 c #Conflicts: 501000 | #Constraints: 27624
22.02/22.16 c #Conflicts: 502000 | #Constraints: 28624
22.02/22.16 c INPROCESSING
22.02/22.16 c GARBAGE COLLECT
22.02/22.16 c rational objective 250.5
22.62/22.72 c #Conflicts: 503000 | #Constraints: 15619
22.62/22.72 c #Conflicts: 504000 | #Constraints: 16619
22.62/22.72 c #Conflicts: 505000 | #Constraints: 17619
22.62/22.72 c #Conflicts: 506000 | #Constraints: 18619
22.62/22.72 c #Conflicts: 507000 | #Constraints: 19619
22.62/22.72 c #Conflicts: 508000 | #Constraints: 20619
22.62/22.72 c #Conflicts: 509000 | #Constraints: 21619
22.62/22.72 c #Conflicts: 510000 | #Constraints: 22619
22.62/22.72 c #Conflicts: 511000 | #Constraints: 23619
22.62/22.72 c #Conflicts: 512000 | #Constraints: 24619
22.62/22.72 c #Conflicts: 513000 | #Constraints: 25619
22.62/22.72 c #Conflicts: 514000 | #Constraints: 26619
22.62/22.72 c #Conflicts: 515000 | #Constraints: 27619
22.62/22.72 c #Conflicts: 516000 | #Constraints: 28619
22.62/22.72 c INPROCESSING
22.62/22.72 c GARBAGE COLLECT
22.62/22.72 c rational objective 250.5
23.32/23.45 c #Conflicts: 517000 | #Constraints: 15410
23.32/23.45 c #Conflicts: 518000 | #Constraints: 16410
23.32/23.45 c #Conflicts: 519000 | #Constraints: 17410
23.32/23.45 c #Conflicts: 520000 | #Constraints: 18410
23.32/23.45 c #Conflicts: 521000 | #Constraints: 19410
23.32/23.45 c #Conflicts: 522000 | #Constraints: 20410
23.32/23.45 c #Conflicts: 523000 | #Constraints: 21410
23.32/23.45 c #Conflicts: 524000 | #Constraints: 22410
23.32/23.45 c #Conflicts: 525000 | #Constraints: 23410
23.32/23.45 c #Conflicts: 526000 | #Constraints: 24410
23.32/23.45 c #Conflicts: 527000 | #Constraints: 25410
23.32/23.45 c #Conflicts: 528000 | #Constraints: 26410
23.32/23.45 c #Conflicts: 529000 | #Constraints: 27410
23.32/23.45 c #Conflicts: 530000 | #Constraints: 28410
23.32/23.45 c #Conflicts: 531000 | #Constraints: 29410
23.32/23.45 c INPROCESSING
23.32/23.45 c GARBAGE COLLECT
23.32/23.45 c rational objective 250.5
23.92/24.09 c #Conflicts: 532000 | #Constraints: 16010
23.92/24.09 c #Conflicts: 533000 | #Constraints: 17010
23.92/24.09 c #Conflicts: 534000 | #Constraints: 18010
23.92/24.09 c #Conflicts: 535000 | #Constraints: 19010
23.92/24.09 c #Conflicts: 536000 | #Constraints: 20010
23.92/24.09 c #Conflicts: 537000 | #Constraints: 21010
23.92/24.09 c #Conflicts: 538000 | #Constraints: 22010
23.92/24.09 c #Conflicts: 539000 | #Constraints: 23010
23.92/24.09 c #Conflicts: 540000 | #Constraints: 24010
23.92/24.09 c #Conflicts: 541000 | #Constraints: 25010
23.92/24.09 c #Conflicts: 542000 | #Constraints: 26010
23.92/24.09 c #Conflicts: 543000 | #Constraints: 27010
23.92/24.09 c #Conflicts: 544000 | #Constraints: 28010
23.92/24.09 c #Conflicts: 545000 | #Constraints: 29010
23.92/24.09 c #Conflicts: 546000 | #Constraints: 30010
23.92/24.09 c INPROCESSING
23.92/24.09 c GARBAGE COLLECT
23.92/24.09 c rational objective 250.5
24.71/24.88 c #Conflicts: 547000 | #Constraints: 16413
24.71/24.88 c #Conflicts: 548000 | #Constraints: 17413
24.71/24.88 c #Conflicts: 549000 | #Constraints: 18413
24.71/24.88 c #Conflicts: 550000 | #Constraints: 19413
24.71/24.88 c #Conflicts: 551000 | #Constraints: 20413
24.71/24.88 c #Conflicts: 552000 | #Constraints: 21413
24.71/24.88 c #Conflicts: 553000 | #Constraints: 22413
24.71/24.88 c #Conflicts: 554000 | #Constraints: 23413
24.71/24.88 c #Conflicts: 555000 | #Constraints: 24413
24.71/24.88 c #Conflicts: 556000 | #Constraints: 25413
24.71/24.88 c #Conflicts: 557000 | #Constraints: 26413
24.71/24.88 c #Conflicts: 558000 | #Constraints: 27413
24.71/24.88 c #Conflicts: 559000 | #Constraints: 28413
24.71/24.88 c #Conflicts: 560000 | #Constraints: 29413
24.71/24.88 c #Conflicts: 561000 | #Constraints: 30413
24.71/24.88 c INPROCESSING
24.71/24.88 c GARBAGE COLLECT
24.71/24.88 c rational objective 250.5
25.42/25.56 c #Conflicts: 562000 | #Constraints: 16605
25.42/25.56 c #Conflicts: 563000 | #Constraints: 17605
25.42/25.56 c #Conflicts: 564000 | #Constraints: 18605
25.42/25.56 c #Conflicts: 565000 | #Constraints: 19605
25.42/25.56 c #Conflicts: 566000 | #Constraints: 20605
25.42/25.56 c #Conflicts: 567000 | #Constraints: 21605
25.42/25.56 c #Conflicts: 568000 | #Constraints: 22605
25.42/25.56 c #Conflicts: 569000 | #Constraints: 23605
25.42/25.56 c #Conflicts: 570000 | #Constraints: 24605
25.42/25.56 c #Conflicts: 571000 | #Constraints: 25605
25.42/25.56 c #Conflicts: 572000 | #Constraints: 26605
25.42/25.56 c #Conflicts: 573000 | #Constraints: 27605
25.42/25.56 c #Conflicts: 574000 | #Constraints: 28605
25.42/25.56 c #Conflicts: 575000 | #Constraints: 29605
25.42/25.56 c #Conflicts: 576000 | #Constraints: 30605
25.42/25.56 c INPROCESSING
25.42/25.56 c GARBAGE COLLECT
25.42/25.56 c rational objective 250.5
26.11/26.25 c #Conflicts: 577000 | #Constraints: 16607
26.11/26.25 c #Conflicts: 578000 | #Constraints: 17607
26.11/26.25 c #Conflicts: 579000 | #Constraints: 18607
26.11/26.25 c #Conflicts: 580000 | #Constraints: 19607
26.11/26.25 c #Conflicts: 581000 | #Constraints: 20607
26.11/26.25 c #Conflicts: 582000 | #Constraints: 21607
26.11/26.25 c #Conflicts: 583000 | #Constraints: 22607
26.11/26.25 c #Conflicts: 584000 | #Constraints: 23607
26.11/26.25 c #Conflicts: 585000 | #Constraints: 24607
26.11/26.25 c #Conflicts: 586000 | #Constraints: 25607
26.11/26.25 c #Conflicts: 587000 | #Constraints: 26607
26.11/26.25 c #Conflicts: 588000 | #Constraints: 27607
26.11/26.25 c #Conflicts: 589000 | #Constraints: 28607
26.11/26.25 c #Conflicts: 590000 | #Constraints: 29607
26.11/26.25 c #Conflicts: 591000 | #Constraints: 30607
26.11/26.25 c INPROCESSING
26.11/26.25 c GARBAGE COLLECT
26.11/26.25 c rational objective 250.5
26.81/26.99 c #Conflicts: 592000 | #Constraints: 16399
26.81/26.99 c #Conflicts: 593000 | #Constraints: 17399
26.81/26.99 c #Conflicts: 594000 | #Constraints: 18399
26.81/26.99 c #Conflicts: 595000 | #Constraints: 19399
26.81/26.99 c #Conflicts: 596000 | #Constraints: 20399
26.81/26.99 c #Conflicts: 597000 | #Constraints: 21399
26.81/26.99 c #Conflicts: 598000 | #Constraints: 22399
26.81/26.99 c #Conflicts: 599000 | #Constraints: 23399
26.81/26.99 c #Conflicts: 600000 | #Constraints: 24399
26.81/26.99 c #Conflicts: 601000 | #Constraints: 25399
26.81/26.99 c #Conflicts: 602000 | #Constraints: 26399
26.81/26.99 c #Conflicts: 603000 | #Constraints: 27399
26.81/26.99 c #Conflicts: 604000 | #Constraints: 28399
26.81/26.99 c #Conflicts: 605000 | #Constraints: 29399
26.81/26.99 c #Conflicts: 606000 | #Constraints: 30399
26.81/26.99 c #Conflicts: 607000 | #Constraints: 31399
26.81/26.99 c INPROCESSING
26.81/26.99 c GARBAGE COLLECT
26.81/26.99 c rational objective 250.5
27.71/27.86 c #Conflicts: 608000 | #Constraints: 17000
27.71/27.86 c #Conflicts: 609000 | #Constraints: 18000
27.71/27.86 c #Conflicts: 610000 | #Constraints: 19000
27.71/27.86 c #Conflicts: 611000 | #Constraints: 20000
27.71/27.86 c #Conflicts: 612000 | #Constraints: 21000
27.71/27.86 c #Conflicts: 613000 | #Constraints: 22000
27.71/27.86 c #Conflicts: 614000 | #Constraints: 23000
27.71/27.86 c #Conflicts: 615000 | #Constraints: 24000
27.71/27.86 c #Conflicts: 616000 | #Constraints: 25000
27.71/27.86 c #Conflicts: 617000 | #Constraints: 26000
27.71/27.86 c #Conflicts: 618000 | #Constraints: 27000
27.71/27.86 c #Conflicts: 619000 | #Constraints: 28000
27.71/27.86 c #Conflicts: 620000 | #Constraints: 29000
27.71/27.86 c #Conflicts: 621000 | #Constraints: 30000
27.71/27.86 c #Conflicts: 622000 | #Constraints: 31000
27.71/27.86 c #Conflicts: 623000 | #Constraints: 32000
27.71/27.86 c INPROCESSING
27.71/27.86 c GARBAGE COLLECT
27.71/27.86 c rational objective 250.5
28.50/28.62 c #Conflicts: 624000 | #Constraints: 17397
28.50/28.62 c #Conflicts: 625000 | #Constraints: 18397
28.50/28.62 c #Conflicts: 626000 | #Constraints: 19397
28.50/28.62 c #Conflicts: 627000 | #Constraints: 20397
28.50/28.62 c #Conflicts: 628000 | #Constraints: 21397
28.50/28.62 c #Conflicts: 629000 | #Constraints: 22397
28.50/28.62 c #Conflicts: 630000 | #Constraints: 23397
28.50/28.62 c #Conflicts: 631000 | #Constraints: 24397
28.50/28.62 c #Conflicts: 632000 | #Constraints: 25397
28.50/28.62 c #Conflicts: 633000 | #Constraints: 26397
28.50/28.62 c #Conflicts: 634000 | #Constraints: 27397
28.50/28.62 c #Conflicts: 635000 | #Constraints: 28397
28.50/28.62 c #Conflicts: 636000 | #Constraints: 29397
28.50/28.62 c #Conflicts: 637000 | #Constraints: 30397
28.50/28.62 c #Conflicts: 638000 | #Constraints: 31397
28.50/28.62 c #Conflicts: 639000 | #Constraints: 32397
28.50/28.62 c INPROCESSING
28.50/28.62 c GARBAGE COLLECT
28.50/28.62 c rational objective 250.5
29.20/29.36 c #Conflicts: 640000 | #Constraints: 17601
29.20/29.36 c #Conflicts: 641000 | #Constraints: 18601
29.20/29.36 c #Conflicts: 642000 | #Constraints: 19601
29.20/29.36 c #Conflicts: 643000 | #Constraints: 20601
29.20/29.36 c #Conflicts: 644000 | #Constraints: 21601
29.20/29.36 c #Conflicts: 645000 | #Constraints: 22601
29.20/29.36 c #Conflicts: 646000 | #Constraints: 23601
29.20/29.36 c #Conflicts: 647000 | #Constraints: 24601
29.20/29.36 c #Conflicts: 648000 | #Constraints: 25601
29.20/29.36 c #Conflicts: 649000 | #Constraints: 26601
29.20/29.36 c #Conflicts: 650000 | #Constraints: 27601
29.20/29.36 c #Conflicts: 651000 | #Constraints: 28601
29.20/29.36 c #Conflicts: 652000 | #Constraints: 29601
29.20/29.36 c #Conflicts: 653000 | #Constraints: 30601
29.20/29.36 c #Conflicts: 654000 | #Constraints: 31601
29.20/29.36 c #Conflicts: 655000 | #Constraints: 32601
29.20/29.36 c INPROCESSING
29.20/29.36 c GARBAGE COLLECT
29.20/29.36 c rational objective 250.5
29.90/30.10 c #Conflicts: 656000 | #Constraints: 17599
29.90/30.10 c #Conflicts: 657000 | #Constraints: 18599
29.90/30.10 c #Conflicts: 658000 | #Constraints: 19599
29.90/30.10 c #Conflicts: 659000 | #Constraints: 20599
29.90/30.10 c #Conflicts: 660000 | #Constraints: 21599
29.90/30.10 c #Conflicts: 661000 | #Constraints: 22599
29.90/30.10 c #Conflicts: 662000 | #Constraints: 23599
29.90/30.10 c #Conflicts: 663000 | #Constraints: 24599
29.90/30.10 c #Conflicts: 664000 | #Constraints: 25599
29.90/30.10 c #Conflicts: 665000 | #Constraints: 26599
29.90/30.10 c #Conflicts: 666000 | #Constraints: 27599
29.90/30.10 c #Conflicts: 667000 | #Constraints: 28599
29.90/30.10 c #Conflicts: 668000 | #Constraints: 29599
29.90/30.10 c #Conflicts: 669000 | #Constraints: 30599
29.90/30.10 c #Conflicts: 670000 | #Constraints: 31599
29.90/30.10 c #Conflicts: 671000 | #Constraints: 32599
29.90/30.10 c INPROCESSING
29.90/30.10 c GARBAGE COLLECT
29.90/30.10 c rational objective 250.5
30.70/30.86 c #Conflicts: 672000 | #Constraints: 17400
30.70/30.86 c #Conflicts: 673000 | #Constraints: 18400
30.70/30.86 c #Conflicts: 674000 | #Constraints: 19400
30.70/30.86 c #Conflicts: 675000 | #Constraints: 20400
30.70/30.86 c #Conflicts: 676000 | #Constraints: 21400
30.70/30.86 c #Conflicts: 677000 | #Constraints: 22400
30.70/30.86 c #Conflicts: 678000 | #Constraints: 23400
30.70/30.86 c #Conflicts: 679000 | #Constraints: 24400
30.70/30.86 c #Conflicts: 680000 | #Constraints: 25400
30.70/30.86 c #Conflicts: 681000 | #Constraints: 26400
30.70/30.86 c #Conflicts: 682000 | #Constraints: 27400
30.70/30.86 c #Conflicts: 683000 | #Constraints: 28400
30.70/30.86 c #Conflicts: 684000 | #Constraints: 29400
30.70/30.86 c #Conflicts: 685000 | #Constraints: 30400
30.70/30.86 c #Conflicts: 686000 | #Constraints: 31400
30.70/30.86 c #Conflicts: 687000 | #Constraints: 32400
30.70/30.86 c #Conflicts: 688000 | #Constraints: 33401
30.70/30.86 c INPROCESSING
30.70/30.86 c GARBAGE COLLECT
30.70/30.86 c rational objective 250.5
31.60/31.74 c #Conflicts: 689000 | #Constraints: 17999
31.60/31.74 c #Conflicts: 690000 | #Constraints: 18999
31.60/31.74 c #Conflicts: 691000 | #Constraints: 19999
31.60/31.74 c #Conflicts: 692000 | #Constraints: 20999
31.60/31.74 c #Conflicts: 693000 | #Constraints: 21999
31.60/31.74 c #Conflicts: 694000 | #Constraints: 22999
31.60/31.74 c #Conflicts: 695000 | #Constraints: 23999
31.60/31.74 c #Conflicts: 696000 | #Constraints: 24999
31.60/31.74 c #Conflicts: 697000 | #Constraints: 25999
31.60/31.74 c #Conflicts: 698000 | #Constraints: 26999
31.60/31.74 c #Conflicts: 699000 | #Constraints: 27999
31.60/31.74 c #Conflicts: 700000 | #Constraints: 28999
31.60/31.74 c #Conflicts: 701000 | #Constraints: 29999
31.60/31.74 c #Conflicts: 702000 | #Constraints: 30999
31.60/31.74 c #Conflicts: 703000 | #Constraints: 31999
31.60/31.74 c #Conflicts: 704000 | #Constraints: 32999
31.60/31.74 c #Conflicts: 705000 | #Constraints: 33999
31.60/31.74 c INPROCESSING
31.60/31.74 c GARBAGE COLLECT
31.60/31.74 c rational objective 250.5
32.60/32.73 c #Conflicts: 706000 | #Constraints: 18407
32.60/32.73 c #Conflicts: 707000 | #Constraints: 19407
32.60/32.73 c #Conflicts: 708000 | #Constraints: 20407
32.60/32.73 c #Conflicts: 709000 | #Constraints: 21407
32.60/32.73 c #Conflicts: 710000 | #Constraints: 22407
32.60/32.73 c #Conflicts: 711000 | #Constraints: 23407
32.60/32.73 c #Conflicts: 712000 | #Constraints: 24407
32.60/32.73 c #Conflicts: 713000 | #Constraints: 25407
32.60/32.73 c #Conflicts: 714000 | #Constraints: 26407
32.60/32.73 c #Conflicts: 715000 | #Constraints: 27407
32.60/32.73 c #Conflicts: 716000 | #Constraints: 28407
32.60/32.73 c #Conflicts: 717000 | #Constraints: 29407
32.60/32.73 c #Conflicts: 718000 | #Constraints: 30407
32.60/32.73 c #Conflicts: 719000 | #Constraints: 31407
32.60/32.73 c #Conflicts: 720000 | #Constraints: 32407
32.60/32.73 c #Conflicts: 721000 | #Constraints: 33407
32.60/32.73 c #Conflicts: 722000 | #Constraints: 34407
32.60/32.73 c INPROCESSING
32.60/32.73 c GARBAGE COLLECT
32.60/32.73 c rational objective 250.5
33.50/33.64 c #Conflicts: 723000 | #Constraints: 18613
33.50/33.64 c #Conflicts: 724000 | #Constraints: 19613
33.50/33.64 c #Conflicts: 725000 | #Constraints: 20613
33.50/33.64 c #Conflicts: 726000 | #Constraints: 21613
33.50/33.64 c #Conflicts: 727000 | #Constraints: 22613
33.50/33.64 c #Conflicts: 728000 | #Constraints: 23613
33.50/33.64 c #Conflicts: 729000 | #Constraints: 24613
33.50/33.64 c #Conflicts: 730000 | #Constraints: 25613
33.50/33.64 c #Conflicts: 731000 | #Constraints: 26613
33.50/33.64 c #Conflicts: 732000 | #Constraints: 27613
33.50/33.64 c #Conflicts: 733000 | #Constraints: 28613
33.50/33.64 c #Conflicts: 734000 | #Constraints: 29613
33.50/33.64 c #Conflicts: 735000 | #Constraints: 30613
33.50/33.64 c #Conflicts: 736000 | #Constraints: 31613
33.50/33.64 c #Conflicts: 737000 | #Constraints: 32613
33.50/33.64 c #Conflicts: 738000 | #Constraints: 33613
33.50/33.64 c #Conflicts: 739000 | #Constraints: 34613
33.50/33.64 c INPROCESSING
33.50/33.64 c GARBAGE COLLECT
33.50/33.64 c rational objective 250.5
34.30/34.43 c #Conflicts: 740000 | #Constraints: 18613
34.30/34.43 c #Conflicts: 741000 | #Constraints: 19613
34.30/34.43 c #Conflicts: 742000 | #Constraints: 20613
34.30/34.43 c #Conflicts: 743000 | #Constraints: 21613
34.30/34.43 c #Conflicts: 744000 | #Constraints: 22613
34.30/34.43 c #Conflicts: 745000 | #Constraints: 23613
34.30/34.43 c #Conflicts: 746000 | #Constraints: 24613
34.30/34.43 c #Conflicts: 747000 | #Constraints: 25613
34.30/34.43 c #Conflicts: 748000 | #Constraints: 26613
34.30/34.43 c #Conflicts: 749000 | #Constraints: 27613
34.30/34.43 c #Conflicts: 750000 | #Constraints: 28613
34.30/34.43 c #Conflicts: 751000 | #Constraints: 29613
34.30/34.43 c #Conflicts: 752000 | #Constraints: 30613
34.30/34.43 c #Conflicts: 753000 | #Constraints: 31613
34.30/34.43 c #Conflicts: 754000 | #Constraints: 32613
34.30/34.43 c #Conflicts: 755000 | #Constraints: 33613
34.30/34.43 c #Conflicts: 756000 | #Constraints: 34613
34.30/34.43 c INPROCESSING
34.30/34.43 c GARBAGE COLLECT
34.30/34.43 c rational objective 250.5
35.09/35.27 c #Conflicts: 757000 | #Constraints: 18409
35.09/35.27 c #Conflicts: 758000 | #Constraints: 19409
35.09/35.27 c #Conflicts: 759000 | #Constraints: 20410
35.09/35.27 c #Conflicts: 760000 | #Constraints: 21410
35.09/35.27 c #Conflicts: 761000 | #Constraints: 22410
35.09/35.27 c #Conflicts: 762000 | #Constraints: 23410
35.09/35.27 c #Conflicts: 763000 | #Constraints: 24410
35.09/35.27 c #Conflicts: 764000 | #Constraints: 25410
35.09/35.27 c #Conflicts: 765000 | #Constraints: 26410
35.09/35.27 c #Conflicts: 766000 | #Constraints: 27410
35.09/35.27 c #Conflicts: 767000 | #Constraints: 28410
35.09/35.27 c #Conflicts: 768000 | #Constraints: 29410
35.09/35.27 c #Conflicts: 769000 | #Constraints: 30410
35.09/35.27 c #Conflicts: 770000 | #Constraints: 31410
35.09/35.27 c #Conflicts: 771000 | #Constraints: 32410
35.09/35.27 c #Conflicts: 772000 | #Constraints: 33410
35.09/35.27 c #Conflicts: 773000 | #Constraints: 34410
35.09/35.27 c #Conflicts: 774000 | #Constraints: 35410
35.09/35.27 c INPROCESSING
35.09/35.27 c GARBAGE COLLECT
35.09/35.27 c rational objective 250.5
35.99/36.10 c #Conflicts: 775000 | #Constraints: 19008
35.99/36.10 c #Conflicts: 776000 | #Constraints: 20008
35.99/36.10 c #Conflicts: 777000 | #Constraints: 21008
35.99/36.10 c #Conflicts: 778000 | #Constraints: 22008
35.99/36.10 c #Conflicts: 779000 | #Constraints: 23008
35.99/36.10 c #Conflicts: 780000 | #Constraints: 24008
35.99/36.10 c #Conflicts: 781000 | #Constraints: 25008
35.99/36.10 c #Conflicts: 782000 | #Constraints: 26008
35.99/36.10 c #Conflicts: 783000 | #Constraints: 27008
35.99/36.10 c #Conflicts: 784000 | #Constraints: 28008
35.99/36.10 c #Conflicts: 785000 | #Constraints: 29008
35.99/36.10 c #Conflicts: 786000 | #Constraints: 30008
35.99/36.10 c #Conflicts: 787000 | #Constraints: 31008
35.99/36.10 c #Conflicts: 788000 | #Constraints: 32008
35.99/36.10 c #Conflicts: 789000 | #Constraints: 33008
35.99/36.10 c #Conflicts: 790000 | #Constraints: 34008
35.99/36.10 c #Conflicts: 791000 | #Constraints: 35008
35.99/36.10 c #Conflicts: 792000 | #Constraints: 36008
35.99/36.10 c INPROCESSING
35.99/36.10 c GARBAGE COLLECT
35.99/36.10 c rational objective 250.5
36.78/36.95 c #Conflicts: 793000 | #Constraints: 19416
36.78/36.95 c #Conflicts: 794000 | #Constraints: 20416
36.78/36.95 c #Conflicts: 795000 | #Constraints: 21416
36.78/36.95 c #Conflicts: 796000 | #Constraints: 22416
36.78/36.95 c #Conflicts: 797000 | #Constraints: 23416
36.78/36.95 c #Conflicts: 798000 | #Constraints: 24416
36.78/36.95 c #Conflicts: 799000 | #Constraints: 25416
36.78/36.95 c #Conflicts: 800000 | #Constraints: 26416
36.78/36.95 c #Conflicts: 801000 | #Constraints: 27416
36.78/36.95 c #Conflicts: 802000 | #Constraints: 28416
36.78/36.95 c #Conflicts: 803000 | #Constraints: 29416
36.78/36.95 c #Conflicts: 804000 | #Constraints: 30416
36.78/36.95 c #Conflicts: 805000 | #Constraints: 31416
36.78/36.95 c #Conflicts: 806000 | #Constraints: 32416
36.78/36.95 c #Conflicts: 807000 | #Constraints: 33416
36.78/36.95 c #Conflicts: 808000 | #Constraints: 34416
36.78/36.95 c #Conflicts: 809000 | #Constraints: 35416
36.78/36.95 c #Conflicts: 810000 | #Constraints: 36416
36.78/36.95 c INPROCESSING
36.78/36.95 c GARBAGE COLLECT
36.78/36.95 c rational objective 250.5
37.68/37.85 c #Conflicts: 811000 | #Constraints: 19610
37.68/37.85 c #Conflicts: 812000 | #Constraints: 20610
37.68/37.85 c #Conflicts: 813000 | #Constraints: 21610
37.68/37.85 c #Conflicts: 814000 | #Constraints: 22610
37.68/37.85 c #Conflicts: 815000 | #Constraints: 23610
37.68/37.85 c #Conflicts: 816000 | #Constraints: 24610
37.68/37.85 c #Conflicts: 817000 | #Constraints: 25610
37.68/37.85 c #Conflicts: 818000 | #Constraints: 26610
37.68/37.85 c #Conflicts: 819000 | #Constraints: 27610
37.68/37.85 c #Conflicts: 820000 | #Constraints: 28610
37.68/37.85 c #Conflicts: 821000 | #Constraints: 29610
37.68/37.85 c #Conflicts: 822000 | #Constraints: 30610
37.68/37.85 c #Conflicts: 823000 | #Constraints: 31610
37.68/37.85 c #Conflicts: 824000 | #Constraints: 32610
37.68/37.85 c #Conflicts: 825000 | #Constraints: 33610
37.68/37.85 c #Conflicts: 826000 | #Constraints: 34610
37.68/37.85 c #Conflicts: 827000 | #Constraints: 35610
37.68/37.85 c #Conflicts: 828000 | #Constraints: 36610
37.68/37.85 c INPROCESSING
37.68/37.85 c GARBAGE COLLECT
37.68/37.85 c rational objective 250.5
38.68/38.85 c #Conflicts: 829000 | #Constraints: 19607
38.68/38.85 c #Conflicts: 830000 | #Constraints: 20607
38.68/38.85 c #Conflicts: 831000 | #Constraints: 21607
38.68/38.85 c #Conflicts: 832000 | #Constraints: 22607
38.68/38.85 c #Conflicts: 833000 | #Constraints: 23607
38.68/38.85 c #Conflicts: 834000 | #Constraints: 24607
38.68/38.85 c #Conflicts: 835000 | #Constraints: 25607
38.68/38.85 c #Conflicts: 836000 | #Constraints: 26607
38.68/38.85 c #Conflicts: 837000 | #Constraints: 27607
38.68/38.85 c #Conflicts: 838000 | #Constraints: 28607
38.68/38.85 c #Conflicts: 839000 | #Constraints: 29607
38.68/38.85 c #Conflicts: 840000 | #Constraints: 30607
38.68/38.85 c #Conflicts: 841000 | #Constraints: 31607
38.68/38.85 c #Conflicts: 842000 | #Constraints: 32607
38.68/38.85 c #Conflicts: 843000 | #Constraints: 33607
38.68/38.85 c #Conflicts: 844000 | #Constraints: 34607
38.68/38.85 c #Conflicts: 845000 | #Constraints: 35607
38.68/38.85 c #Conflicts: 846000 | #Constraints: 36607
38.68/38.85 c INPROCESSING
38.68/38.85 c GARBAGE COLLECT
38.68/38.85 c rational objective 250.5
39.58/39.78 c #Conflicts: 847000 | #Constraints: 19408
39.58/39.78 c #Conflicts: 848000 | #Constraints: 20408
39.58/39.78 c #Conflicts: 849000 | #Constraints: 21408
39.58/39.78 c #Conflicts: 850000 | #Constraints: 22408
39.58/39.78 c #Conflicts: 851000 | #Constraints: 23408
39.58/39.78 c #Conflicts: 852000 | #Constraints: 24408
39.58/39.78 c #Conflicts: 853000 | #Constraints: 25408
39.58/39.78 c #Conflicts: 854000 | #Constraints: 26408
39.58/39.78 c #Conflicts: 855000 | #Constraints: 27408
39.58/39.78 c #Conflicts: 856000 | #Constraints: 28408
39.58/39.78 c #Conflicts: 857000 | #Constraints: 29408
39.58/39.78 c #Conflicts: 858000 | #Constraints: 30408
39.58/39.78 c #Conflicts: 859000 | #Constraints: 31408
39.58/39.78 c #Conflicts: 860000 | #Constraints: 32408
39.58/39.78 c #Conflicts: 861000 | #Constraints: 33408
39.58/39.78 c #Conflicts: 862000 | #Constraints: 34408
39.58/39.78 c #Conflicts: 863000 | #Constraints: 35408
39.58/39.78 c #Conflicts: 864000 | #Constraints: 36408
39.58/39.78 c #Conflicts: 865000 | #Constraints: 37408
39.58/39.78 c INPROCESSING
39.58/39.78 c GARBAGE COLLECT
39.58/39.78 c rational objective 250.5
40.47/40.66 c #Conflicts: 866000 | #Constraints: 20004
40.47/40.66 c #Conflicts: 867000 | #Constraints: 21004
40.47/40.66 c #Conflicts: 868000 | #Constraints: 22004
40.47/40.66 c #Conflicts: 869000 | #Constraints: 23004
40.47/40.66 c #Conflicts: 870000 | #Constraints: 24004
40.47/40.66 c #Conflicts: 871000 | #Constraints: 25004
40.47/40.66 c #Conflicts: 872000 | #Constraints: 26004
40.47/40.66 c #Conflicts: 873000 | #Constraints: 27004
40.47/40.66 c #Conflicts: 874000 | #Constraints: 28004
40.47/40.66 c #Conflicts: 875000 | #Constraints: 29004
40.47/40.66 c #Conflicts: 876000 | #Constraints: 30004
40.47/40.66 c #Conflicts: 877000 | #Constraints: 31004
40.47/40.66 c #Conflicts: 878000 | #Constraints: 32004
40.47/40.66 c #Conflicts: 879000 | #Constraints: 33004
40.47/40.66 c #Conflicts: 880000 | #Constraints: 34004
40.47/40.66 c #Conflicts: 881000 | #Constraints: 35004
40.47/40.66 c #Conflicts: 882000 | #Constraints: 36004
40.47/40.66 c #Conflicts: 883000 | #Constraints: 37004
40.47/40.66 c #Conflicts: 884000 | #Constraints: 38004
40.47/40.66 c INPROCESSING
40.47/40.66 c GARBAGE COLLECT
40.47/40.66 c rational objective 250.5
41.37/41.53 c #Conflicts: 885000 | #Constraints: 20415
41.37/41.53 c #Conflicts: 886000 | #Constraints: 21415
41.37/41.53 c #Conflicts: 887000 | #Constraints: 22415
41.37/41.53 c #Conflicts: 888000 | #Constraints: 23415
41.37/41.53 c #Conflicts: 889000 | #Constraints: 24415
41.37/41.53 c #Conflicts: 890000 | #Constraints: 25415
41.37/41.53 c #Conflicts: 891000 | #Constraints: 26415
41.37/41.53 c #Conflicts: 892000 | #Constraints: 27415
41.37/41.53 c #Conflicts: 893000 | #Constraints: 28415
41.37/41.53 c #Conflicts: 894000 | #Constraints: 29415
41.37/41.53 c #Conflicts: 895000 | #Constraints: 30415
41.37/41.53 c #Conflicts: 896000 | #Constraints: 31415
41.37/41.53 c #Conflicts: 897000 | #Constraints: 32415
41.37/41.53 c #Conflicts: 898000 | #Constraints: 33415
41.37/41.53 c #Conflicts: 899000 | #Constraints: 34415
41.37/41.53 c #Conflicts: 900000 | #Constraints: 35415
41.37/41.53 c #Conflicts: 901000 | #Constraints: 36415
41.37/41.53 c #Conflicts: 902000 | #Constraints: 37415
41.37/41.53 c #Conflicts: 903000 | #Constraints: 38415
41.37/41.53 c INPROCESSING
41.37/41.53 c GARBAGE COLLECT
41.37/41.53 c rational objective 250.5
42.37/42.53 c #Conflicts: 904000 | #Constraints: 20606
42.37/42.53 c #Conflicts: 905000 | #Constraints: 21606
42.37/42.53 c #Conflicts: 906000 | #Constraints: 22606
42.37/42.53 c #Conflicts: 907000 | #Constraints: 23606
42.37/42.53 c #Conflicts: 908000 | #Constraints: 24606
42.37/42.53 c #Conflicts: 909000 | #Constraints: 25606
42.37/42.53 c #Conflicts: 910000 | #Constraints: 26606
42.37/42.53 c #Conflicts: 911000 | #Constraints: 27606
42.37/42.53 c #Conflicts: 912000 | #Constraints: 28606
42.37/42.53 c #Conflicts: 913000 | #Constraints: 29606
42.37/42.53 c #Conflicts: 914000 | #Constraints: 30606
42.37/42.53 c #Conflicts: 915000 | #Constraints: 31606
42.37/42.53 c #Conflicts: 916000 | #Constraints: 32606
42.37/42.53 c #Conflicts: 917000 | #Constraints: 33606
42.37/42.53 c #Conflicts: 918000 | #Constraints: 34606
42.37/42.53 c #Conflicts: 919000 | #Constraints: 35606
42.37/42.53 c #Conflicts: 920000 | #Constraints: 36606
42.37/42.53 c #Conflicts: 921000 | #Constraints: 37606
42.37/42.53 c #Conflicts: 922000 | #Constraints: 38606
42.37/42.53 c INPROCESSING
42.37/42.53 c GARBAGE COLLECT
42.37/42.53 c rational objective 250.5
43.27/43.43 c #Conflicts: 923000 | #Constraints: 20605
43.27/43.43 c #Conflicts: 924000 | #Constraints: 21605
43.27/43.43 c #Conflicts: 925000 | #Constraints: 22605
43.27/43.43 c #Conflicts: 926000 | #Constraints: 23605
43.27/43.43 c #Conflicts: 927000 | #Constraints: 24605
43.27/43.43 c #Conflicts: 928000 | #Constraints: 25605
43.27/43.43 c #Conflicts: 929000 | #Constraints: 26605
43.27/43.43 c #Conflicts: 930000 | #Constraints: 27605
43.27/43.43 c #Conflicts: 931000 | #Constraints: 28605
43.27/43.43 c #Conflicts: 932000 | #Constraints: 29605
43.27/43.43 c #Conflicts: 933000 | #Constraints: 30605
43.27/43.43 c #Conflicts: 934000 | #Constraints: 31605
43.27/43.43 c #Conflicts: 935000 | #Constraints: 32605
43.27/43.43 c #Conflicts: 936000 | #Constraints: 33605
43.27/43.43 c #Conflicts: 937000 | #Constraints: 34605
43.27/43.43 c #Conflicts: 938000 | #Constraints: 35605
43.27/43.43 c #Conflicts: 939000 | #Constraints: 36605
43.27/43.43 c #Conflicts: 940000 | #Constraints: 37605
43.27/43.43 c #Conflicts: 941000 | #Constraints: 38605
43.27/43.43 c INPROCESSING
43.27/43.43 c GARBAGE COLLECT
43.27/43.43 c rational objective 250.5
44.17/44.32 c #Conflicts: 942000 | #Constraints: 20414
44.17/44.32 c #Conflicts: 943000 | #Constraints: 21414
44.17/44.32 c #Conflicts: 944000 | #Constraints: 22414
44.17/44.32 c #Conflicts: 945000 | #Constraints: 23414
44.17/44.32 c #Conflicts: 946000 | #Constraints: 24414
44.17/44.32 c #Conflicts: 947000 | #Constraints: 25414
44.17/44.32 c #Conflicts: 948000 | #Constraints: 26414
44.17/44.32 c #Conflicts: 949000 | #Constraints: 27414
44.17/44.32 c #Conflicts: 950000 | #Constraints: 28414
44.17/44.32 c #Conflicts: 951000 | #Constraints: 29414
44.17/44.32 c #Conflicts: 952000 | #Constraints: 30414
44.17/44.32 c #Conflicts: 953000 | #Constraints: 31414
44.17/44.32 c #Conflicts: 954000 | #Constraints: 32414
44.17/44.32 c #Conflicts: 955000 | #Constraints: 33414
44.17/44.32 c #Conflicts: 956000 | #Constraints: 34414
44.17/44.32 c #Conflicts: 957000 | #Constraints: 35414
44.17/44.32 c #Conflicts: 958000 | #Constraints: 36414
44.17/44.32 c #Conflicts: 959000 | #Constraints: 37414
44.17/44.32 c #Conflicts: 960000 | #Constraints: 38414
44.17/44.32 c #Conflicts: 961000 | #Constraints: 39414
44.17/44.32 c INPROCESSING
44.17/44.32 c GARBAGE COLLECT
44.17/44.32 c rational objective 250.5
44.97/45.16 c #Conflicts: 962000 | #Constraints: 21012
44.97/45.16 c #Conflicts: 963000 | #Constraints: 22012
44.97/45.16 c #Conflicts: 964000 | #Constraints: 23012
44.97/45.16 c #Conflicts: 965000 | #Constraints: 24012
44.97/45.16 c #Conflicts: 966000 | #Constraints: 25012
44.97/45.16 c #Conflicts: 967000 | #Constraints: 26012
44.97/45.16 c #Conflicts: 968000 | #Constraints: 27012
44.97/45.16 c #Conflicts: 969000 | #Constraints: 28012
44.97/45.16 c #Conflicts: 970000 | #Constraints: 29012
44.97/45.16 c #Conflicts: 971000 | #Constraints: 30012
44.97/45.16 c #Conflicts: 972000 | #Constraints: 31012
44.97/45.16 c #Conflicts: 973000 | #Constraints: 32012
44.97/45.16 c #Conflicts: 974000 | #Constraints: 33012
44.97/45.16 c #Conflicts: 975000 | #Constraints: 34012
44.97/45.16 c #Conflicts: 976000 | #Constraints: 35012
44.97/45.16 c #Conflicts: 977000 | #Constraints: 36012
44.97/45.16 c #Conflicts: 978000 | #Constraints: 37012
44.97/45.16 c #Conflicts: 979000 | #Constraints: 38012
44.97/45.16 c #Conflicts: 980000 | #Constraints: 39012
44.97/45.16 c #Conflicts: 981000 | #Constraints: 40012
44.97/45.16 c INPROCESSING
44.97/45.16 c GARBAGE COLLECT
44.97/45.16 c rational objective 250.5
46.36/46.55 c #Conflicts: 982000 | #Constraints: 21411
46.36/46.55 c #Conflicts: 983000 | #Constraints: 22411
46.36/46.55 c #Conflicts: 984000 | #Constraints: 23411
46.36/46.55 c #Conflicts: 985000 | #Constraints: 24411
46.36/46.55 c #Conflicts: 986000 | #Constraints: 25411
46.36/46.55 c #Conflicts: 987000 | #Constraints: 26411
46.36/46.55 c #Conflicts: 988000 | #Constraints: 27411
46.36/46.55 c #Conflicts: 989000 | #Constraints: 28411
46.36/46.55 c #Conflicts: 990000 | #Constraints: 29411
46.36/46.55 c #Conflicts: 991000 | #Constraints: 30411
46.36/46.55 c #Conflicts: 992000 | #Constraints: 31411
46.36/46.55 c #Conflicts: 993000 | #Constraints: 32411
46.36/46.55 c #Conflicts: 994000 | #Constraints: 33411
46.36/46.55 c #Conflicts: 995000 | #Constraints: 34411
46.36/46.55 c #Conflicts: 996000 | #Constraints: 35411
46.36/46.55 c #Conflicts: 997000 | #Constraints: 36411
46.36/46.55 c #Conflicts: 998000 | #Constraints: 37411
46.36/46.55 c #Conflicts: 999000 | #Constraints: 38411
46.36/46.55 c #Conflicts: 1000000 | #Constraints: 39411
46.36/46.55 c #Conflicts: 1001000 | #Constraints: 40411
46.36/46.55 c INPROCESSING
46.36/46.55 c GARBAGE COLLECT
46.36/46.55 c rational objective 250.5
47.16/47.37 c #Conflicts: 1002000 | #Constraints: 21616
47.16/47.37 c #Conflicts: 1003000 | #Constraints: 22616
47.16/47.37 c #Conflicts: 1004000 | #Constraints: 23616
47.16/47.37 c #Conflicts: 1005000 | #Constraints: 24616
47.16/47.37 c #Conflicts: 1006000 | #Constraints: 25616
47.16/47.37 c #Conflicts: 1007000 | #Constraints: 26616
47.16/47.37 c #Conflicts: 1008000 | #Constraints: 27616
47.16/47.37 c #Conflicts: 1009000 | #Constraints: 28616
47.16/47.37 c #Conflicts: 1010000 | #Constraints: 29616
47.16/47.37 c #Conflicts: 1011000 | #Constraints: 30616
47.16/47.37 c #Conflicts: 1012000 | #Constraints: 31616
47.16/47.37 c #Conflicts: 1013000 | #Constraints: 32616
47.16/47.37 c #Conflicts: 1014000 | #Constraints: 33616
47.16/47.37 c #Conflicts: 1015000 | #Constraints: 34616
47.16/47.37 c #Conflicts: 1016000 | #Constraints: 35616
47.16/47.37 c #Conflicts: 1017000 | #Constraints: 36616
47.16/47.37 c #Conflicts: 1018000 | #Constraints: 37616
47.16/47.37 c #Conflicts: 1019000 | #Constraints: 38616
47.16/47.37 c #Conflicts: 1020000 | #Constraints: 39616
47.16/47.37 c #Conflicts: 1021000 | #Constraints: 40616
47.16/47.37 c INPROCESSING
47.16/47.37 c GARBAGE COLLECT
47.16/47.37 c rational objective 250.5
48.66/48.89 c #Conflicts: 1022000 | #Constraints: 21614
48.66/48.89 c #Conflicts: 1023000 | #Constraints: 22614
48.66/48.89 c #Conflicts: 1024000 | #Constraints: 23614
48.66/48.89 c #Conflicts: 1025000 | #Constraints: 24614
48.66/48.89 c #Conflicts: 1026000 | #Constraints: 25614
48.66/48.89 c #Conflicts: 1027000 | #Constraints: 26614
48.66/48.89 c #Conflicts: 1028000 | #Constraints: 27614
48.66/48.89 c #Conflicts: 1029000 | #Constraints: 28614
48.66/48.89 c #Conflicts: 1030000 | #Constraints: 29614
48.66/48.89 c #Conflicts: 1031000 | #Constraints: 30614
48.66/48.89 c #Conflicts: 1032000 | #Constraints: 31614
48.66/48.89 c #Conflicts: 1033000 | #Constraints: 32614
48.66/48.89 c #Conflicts: 1034000 | #Constraints: 33614
48.66/48.89 c #Conflicts: 1035000 | #Constraints: 34614
48.66/48.89 c #Conflicts: 1036000 | #Constraints: 35614
48.66/48.89 c #Conflicts: 1037000 | #Constraints: 36614
48.66/48.89 c #Conflicts: 1038000 | #Constraints: 37614
48.66/48.89 c #Conflicts: 1039000 | #Constraints: 38614
48.66/48.89 c #Conflicts: 1040000 | #Constraints: 39614
48.66/48.89 c #Conflicts: 1041000 | #Constraints: 40614
48.66/48.89 c INPROCESSING
48.66/48.89 c GARBAGE COLLECT
48.66/48.89 c rational objective 250.5
49.55/49.75 c #Conflicts: 1042000 | #Constraints: 21419
49.55/49.75 c #Conflicts: 1043000 | #Constraints: 22419
49.55/49.75 c #Conflicts: 1044000 | #Constraints: 23419
49.55/49.75 c #Conflicts: 1045000 | #Constraints: 24419
49.55/49.75 c #Conflicts: 1046000 | #Constraints: 25419
49.55/49.75 c #Conflicts: 1047000 | #Constraints: 26419
49.55/49.75 c #Conflicts: 1048000 | #Constraints: 27419
49.55/49.75 c #Conflicts: 1049000 | #Constraints: 28419
49.55/49.75 c #Conflicts: 1050000 | #Constraints: 29419
49.55/49.75 c #Conflicts: 1051000 | #Constraints: 30419
49.55/49.75 c #Conflicts: 1052000 | #Constraints: 31419
49.55/49.75 c #Conflicts: 1053000 | #Constraints: 32419
49.55/49.75 c #Conflicts: 1054000 | #Constraints: 33419
49.55/49.75 c #Conflicts: 1055000 | #Constraints: 34419
49.55/49.75 c #Conflicts: 1056000 | #Constraints: 35419
49.55/49.75 c #Conflicts: 1057000 | #Constraints: 36419
49.55/49.75 c #Conflicts: 1058000 | #Constraints: 37419
49.55/49.75 c #Conflicts: 1059000 | #Constraints: 38419
49.55/49.75 c #Conflicts: 1060000 | #Constraints: 39419
49.55/49.75 c #Conflicts: 1061000 | #Constraints: 40419
49.55/49.75 c #Conflicts: 1062000 | #Constraints: 41419
49.55/49.75 c INPROCESSING
49.55/49.75 c GARBAGE COLLECT
49.55/49.75 c rational objective 250.5
51.25/51.46 c #Conflicts: 1063000 | #Constraints: 22016
51.25/51.46 c #Conflicts: 1064000 | #Constraints: 23016
51.25/51.46 c #Conflicts: 1065000 | #Constraints: 24016
51.25/51.46 c #Conflicts: 1066000 | #Constraints: 25016
51.25/51.46 c #Conflicts: 1067000 | #Constraints: 26016
51.25/51.46 c #Conflicts: 1068000 | #Constraints: 27016
51.25/51.46 c #Conflicts: 1069000 | #Constraints: 28016
51.25/51.46 c #Conflicts: 1070000 | #Constraints: 29016
51.25/51.46 c #Conflicts: 1071000 | #Constraints: 30016
51.25/51.46 c #Conflicts: 1072000 | #Constraints: 31016
51.25/51.46 c #Conflicts: 1073000 | #Constraints: 32016
51.25/51.46 c #Conflicts: 1074000 | #Constraints: 33016
51.25/51.46 c #Conflicts: 1075000 | #Constraints: 34016
51.25/51.46 c #Conflicts: 1076000 | #Constraints: 35016
51.25/51.46 c #Conflicts: 1077000 | #Constraints: 36016
51.25/51.46 c #Conflicts: 1078000 | #Constraints: 37016
51.25/51.46 c #Conflicts: 1079000 | #Constraints: 38016
51.25/51.46 c #Conflicts: 1080000 | #Constraints: 39016
51.25/51.46 c #Conflicts: 1081000 | #Constraints: 40016
51.25/51.46 c #Conflicts: 1082000 | #Constraints: 41016
51.25/51.46 c #Conflicts: 1083000 | #Constraints: 42016
51.25/51.46 c INPROCESSING
51.25/51.46 c GARBAGE COLLECT
51.25/51.46 c rational objective 250.5
52.24/52.40 c #Conflicts: 1084000 | #Constraints: 22420
52.24/52.40 c #Conflicts: 1085000 | #Constraints: 23420
52.24/52.40 c #Conflicts: 1086000 | #Constraints: 24420
52.24/52.40 c #Conflicts: 1087000 | #Constraints: 25420
52.24/52.40 c #Conflicts: 1088000 | #Constraints: 26420
52.24/52.40 c #Conflicts: 1089000 | #Constraints: 27420
52.24/52.40 c #Conflicts: 1090000 | #Constraints: 28420
52.24/52.40 c #Conflicts: 1091000 | #Constraints: 29420
52.24/52.40 c #Conflicts: 1092000 | #Constraints: 30420
52.24/52.40 c #Conflicts: 1093000 | #Constraints: 31420
52.24/52.40 c #Conflicts: 1094000 | #Constraints: 32420
52.24/52.40 c #Conflicts: 1095000 | #Constraints: 33420
52.24/52.40 c #Conflicts: 1096000 | #Constraints: 34420
52.24/52.40 c #Conflicts: 1097000 | #Constraints: 35420
52.24/52.40 c #Conflicts: 1098000 | #Constraints: 36420
52.24/52.40 c #Conflicts: 1099000 | #Constraints: 37420
52.24/52.40 c #Conflicts: 1100000 | #Constraints: 38420
52.24/52.40 c #Conflicts: 1101000 | #Constraints: 39420
52.24/52.40 c #Conflicts: 1102000 | #Constraints: 40420
52.24/52.40 c #Conflicts: 1103000 | #Constraints: 41420
52.24/52.40 c #Conflicts: 1104000 | #Constraints: 42420
52.24/52.40 c INPROCESSING
52.24/52.40 c GARBAGE COLLECT
52.24/52.40 c rational objective 250.5
53.44/53.68 c #Conflicts: 1105000 | #Constraints: 22627
53.44/53.68 c #Conflicts: 1106000 | #Constraints: 23627
53.44/53.68 c #Conflicts: 1107000 | #Constraints: 24627
53.44/53.68 c #Conflicts: 1108000 | #Constraints: 25627
53.44/53.68 c #Conflicts: 1109000 | #Constraints: 26627
53.44/53.68 c #Conflicts: 1110000 | #Constraints: 27627
53.44/53.68 c #Conflicts: 1111000 | #Constraints: 28627
53.44/53.68 c #Conflicts: 1112000 | #Constraints: 29627
53.44/53.68 c #Conflicts: 1113000 | #Constraints: 30627
53.44/53.68 c #Conflicts: 1114000 | #Constraints: 31627
53.44/53.68 c #Conflicts: 1115000 | #Constraints: 32627
53.44/53.68 c #Conflicts: 1116000 | #Constraints: 33627
53.44/53.68 c #Conflicts: 1117000 | #Constraints: 34627
53.44/53.68 c #Conflicts: 1118000 | #Constraints: 35627
53.44/53.68 c #Conflicts: 1119000 | #Constraints: 36627
53.44/53.68 c #Conflicts: 1120000 | #Constraints: 37627
53.44/53.68 c #Conflicts: 1121000 | #Constraints: 38627
53.44/53.68 c #Conflicts: 1122000 | #Constraints: 39627
53.44/53.68 c #Conflicts: 1123000 | #Constraints: 40627
53.44/53.68 c #Conflicts: 1124000 | #Constraints: 41627
53.44/53.68 c #Conflicts: 1125000 | #Constraints: 42627
53.44/53.68 c INPROCESSING
53.44/53.68 c GARBAGE COLLECT
53.44/53.68 c rational objective 250.5
54.64/54.85 c #Conflicts: 1126000 | #Constraints: 22630
54.64/54.85 c #Conflicts: 1127000 | #Constraints: 23630
54.64/54.85 c #Conflicts: 1128000 | #Constraints: 24630
54.64/54.85 c #Conflicts: 1129000 | #Constraints: 25630
54.64/54.85 c #Conflicts: 1130000 | #Constraints: 26630
54.64/54.85 c #Conflicts: 1131000 | #Constraints: 27630
54.64/54.85 c #Conflicts: 1132000 | #Constraints: 28630
54.64/54.85 c #Conflicts: 1133000 | #Constraints: 29630
54.64/54.85 c #Conflicts: 1134000 | #Constraints: 30630
54.64/54.85 c #Conflicts: 1135000 | #Constraints: 31630
54.64/54.85 c #Conflicts: 1136000 | #Constraints: 32630
54.64/54.85 c #Conflicts: 1137000 | #Constraints: 33630
54.64/54.85 c #Conflicts: 1138000 | #Constraints: 34630
54.64/54.85 c #Conflicts: 1139000 | #Constraints: 35630
54.64/54.85 c #Conflicts: 1140000 | #Constraints: 36630
54.64/54.85 c #Conflicts: 1141000 | #Constraints: 37630
54.64/54.85 c #Conflicts: 1142000 | #Constraints: 38630
54.64/54.85 c #Conflicts: 1143000 | #Constraints: 39630
54.64/54.85 c #Conflicts: 1144000 | #Constraints: 40630
54.64/54.85 c #Conflicts: 1145000 | #Constraints: 41630
54.64/54.85 c #Conflicts: 1146000 | #Constraints: 42630
54.64/54.85 c INPROCESSING
54.64/54.85 c GARBAGE COLLECT
54.64/54.85 c rational objective 250.5
55.73/55.99 c #Conflicts: 1147000 | #Constraints: 22416
55.73/55.99 c #Conflicts: 1148000 | #Constraints: 23416
55.73/55.99 c #Conflicts: 1149000 | #Constraints: 24416
55.73/55.99 c #Conflicts: 1150000 | #Constraints: 25416
55.73/55.99 c #Conflicts: 1151000 | #Constraints: 26416
55.73/55.99 c #Conflicts: 1152000 | #Constraints: 27416
55.73/55.99 c #Conflicts: 1153000 | #Constraints: 28416
55.73/55.99 c #Conflicts: 1154000 | #Constraints: 29416
55.73/55.99 c #Conflicts: 1155000 | #Constraints: 30416
55.73/55.99 c #Conflicts: 1156000 | #Constraints: 31416
55.73/55.99 c #Conflicts: 1157000 | #Constraints: 32416
55.73/55.99 c #Conflicts: 1158000 | #Constraints: 33416
55.73/55.99 c #Conflicts: 1159000 | #Constraints: 34416
55.73/55.99 c #Conflicts: 1160000 | #Constraints: 35416
55.73/55.99 c #Conflicts: 1161000 | #Constraints: 36416
55.73/55.99 c #Conflicts: 1162000 | #Constraints: 37416
55.73/55.99 c #Conflicts: 1163000 | #Constraints: 38416
55.73/55.99 c #Conflicts: 1164000 | #Constraints: 39416
55.73/55.99 c #Conflicts: 1165000 | #Constraints: 40416
55.73/55.99 c #Conflicts: 1166000 | #Constraints: 41416
55.73/56.00 c #Conflicts: 1167000 | #Constraints: 42416
55.73/56.00 c #Conflicts: 1168000 | #Constraints: 43416
55.73/56.00 c INPROCESSING
55.73/56.00 c GARBAGE COLLECT
55.73/56.00 c rational objective 250.5
56.94/57.17 c #Conflicts: 1169000 | #Constraints: 23014
56.94/57.17 c #Conflicts: 1170000 | #Constraints: 24014
56.94/57.17 c #Conflicts: 1171000 | #Constraints: 25014
56.94/57.17 c #Conflicts: 1172000 | #Constraints: 26014
56.94/57.17 c #Conflicts: 1173000 | #Constraints: 27014
56.94/57.17 c #Conflicts: 1174000 | #Constraints: 28014
56.94/57.17 c #Conflicts: 1175000 | #Constraints: 29014
56.94/57.17 c #Conflicts: 1176000 | #Constraints: 30014
56.94/57.17 c #Conflicts: 1177000 | #Constraints: 31014
56.94/57.17 c #Conflicts: 1178000 | #Constraints: 32014
56.94/57.17 c #Conflicts: 1179000 | #Constraints: 33014
56.94/57.17 c #Conflicts: 1180000 | #Constraints: 34014
56.94/57.17 c #Conflicts: 1181000 | #Constraints: 35014
56.94/57.17 c #Conflicts: 1182000 | #Constraints: 36014
56.94/57.17 c #Conflicts: 1183000 | #Constraints: 37014
56.94/57.17 c #Conflicts: 1184000 | #Constraints: 38014
56.94/57.17 c #Conflicts: 1185000 | #Constraints: 39014
56.94/57.17 c #Conflicts: 1186000 | #Constraints: 40014
56.94/57.17 c #Conflicts: 1187000 | #Constraints: 41014
56.94/57.17 c #Conflicts: 1188000 | #Constraints: 42014
56.94/57.17 c #Conflicts: 1189000 | #Constraints: 43014
56.94/57.17 c #Conflicts: 1190000 | #Constraints: 44014
56.94/57.17 c INPROCESSING
56.94/57.17 c GARBAGE COLLECT
56.94/57.17 c rational objective 250.5
58.23/58.41 c #Conflicts: 1191000 | #Constraints: 23423
58.23/58.41 c #Conflicts: 1192000 | #Constraints: 24423
58.23/58.41 c #Conflicts: 1193000 | #Constraints: 25423
58.23/58.41 c #Conflicts: 1194000 | #Constraints: 26423
58.23/58.41 c #Conflicts: 1195000 | #Constraints: 27423
58.23/58.41 c #Conflicts: 1196000 | #Constraints: 28423
58.23/58.41 c #Conflicts: 1197000 | #Constraints: 29423
58.23/58.41 c #Conflicts: 1198000 | #Constraints: 30423
58.23/58.41 c #Conflicts: 1199000 | #Constraints: 31423
58.23/58.41 c #Conflicts: 1200000 | #Constraints: 32423
58.23/58.41 c #Conflicts: 1201000 | #Constraints: 33423
58.23/58.41 c #Conflicts: 1202000 | #Constraints: 34423
58.23/58.41 c #Conflicts: 1203000 | #Constraints: 35423
58.23/58.41 c #Conflicts: 1204000 | #Constraints: 36423
58.23/58.41 c #Conflicts: 1205000 | #Constraints: 37423
58.23/58.41 c #Conflicts: 1206000 | #Constraints: 38423
58.23/58.41 c #Conflicts: 1207000 | #Constraints: 39423
58.23/58.41 c #Conflicts: 1208000 | #Constraints: 40423
58.23/58.41 c #Conflicts: 1209000 | #Constraints: 41423
58.23/58.41 c #Conflicts: 1210000 | #Constraints: 42423
58.23/58.41 c #Conflicts: 1211000 | #Constraints: 43423
58.23/58.41 c #Conflicts: 1212000 | #Constraints: 44423
58.23/58.41 c INPROCESSING
58.23/58.41 c GARBAGE COLLECT
58.23/58.41 c rational objective 250.5
59.43/59.69 c #Conflicts: 1213000 | #Constraints: 23621
59.43/59.69 c #Conflicts: 1214000 | #Constraints: 24621
59.43/59.69 c #Conflicts: 1215000 | #Constraints: 25621
59.43/59.69 c #Conflicts: 1216000 | #Constraints: 26621
59.43/59.69 c #Conflicts: 1217000 | #Constraints: 27621
59.43/59.69 c #Conflicts: 1218000 | #Constraints: 28621
59.43/59.69 c #Conflicts: 1219000 | #Constraints: 29621
59.43/59.69 c #Conflicts: 1220000 | #Constraints: 30621
59.43/59.69 c #Conflicts: 1221000 | #Constraints: 31621
59.43/59.69 c #Conflicts: 1222000 | #Constraints: 32621
59.43/59.69 c #Conflicts: 1223000 | #Constraints: 33621
59.43/59.69 c #Conflicts: 1224000 | #Constraints: 34621
59.43/59.69 c #Conflicts: 1225000 | #Constraints: 35621
59.43/59.69 c #Conflicts: 1226000 | #Constraints: 36621
59.43/59.69 c #Conflicts: 1227000 | #Constraints: 37621
59.43/59.69 c #Conflicts: 1228000 | #Constraints: 38621
59.43/59.69 c #Conflicts: 1229000 | #Constraints: 39621
59.43/59.69 c #Conflicts: 1230000 | #Constraints: 40621
59.43/59.69 c #Conflicts: 1231000 | #Constraints: 41621
59.43/59.69 c #Conflicts: 1232000 | #Constraints: 42621
59.43/59.69 c #Conflicts: 1233000 | #Constraints: 43621
59.43/59.69 c #Conflicts: 1234000 | #Constraints: 44621
59.43/59.69 c INPROCESSING
59.43/59.69 c GARBAGE COLLECT
59.43/59.69 c rational objective 250.5
60.72/60.95 c #Conflicts: 1235000 | #Constraints: 23622
60.72/60.95 c #Conflicts: 1236000 | #Constraints: 24622
60.72/60.95 c #Conflicts: 1237000 | #Constraints: 25622
60.72/60.95 c #Conflicts: 1238000 | #Constraints: 26622
60.72/60.95 c #Conflicts: 1239000 | #Constraints: 27622
60.72/60.95 c #Conflicts: 1240000 | #Constraints: 28622
60.72/60.95 c #Conflicts: 1241000 | #Constraints: 29622
60.72/60.95 c #Conflicts: 1242000 | #Constraints: 30622
60.72/60.95 c #Conflicts: 1243000 | #Constraints: 31622
60.72/60.95 c #Conflicts: 1244000 | #Constraints: 32622
60.72/60.95 c #Conflicts: 1245000 | #Constraints: 33622
60.72/60.95 c #Conflicts: 1246000 | #Constraints: 34622
60.72/60.95 c #Conflicts: 1247000 | #Constraints: 35622
60.72/60.95 c #Conflicts: 1248000 | #Constraints: 36622
60.72/60.95 c #Conflicts: 1249000 | #Constraints: 37622
60.72/60.95 c #Conflicts: 1250000 | #Constraints: 38622
60.72/60.95 c #Conflicts: 1251000 | #Constraints: 39622
60.72/60.95 c #Conflicts: 1252000 | #Constraints: 40622
60.72/60.95 c #Conflicts: 1253000 | #Constraints: 41622
60.72/60.95 c #Conflicts: 1254000 | #Constraints: 42622
60.72/60.95 c #Conflicts: 1255000 | #Constraints: 43622
60.72/60.95 c #Conflicts: 1256000 | #Constraints: 44622
60.72/60.95 c INPROCESSING
60.72/60.95 c GARBAGE COLLECT
60.72/60.95 c rational objective 250.5
61.92/62.11 c #Conflicts: 1257000 | #Constraints: 23421
61.92/62.11 c #Conflicts: 1258000 | #Constraints: 24421
61.92/62.11 c #Conflicts: 1259000 | #Constraints: 25421
61.92/62.11 c #Conflicts: 1260000 | #Constraints: 26421
61.92/62.11 c #Conflicts: 1261000 | #Constraints: 27421
61.92/62.11 c #Conflicts: 1262000 | #Constraints: 28421
61.92/62.11 c #Conflicts: 1263000 | #Constraints: 29421
61.92/62.11 c #Conflicts: 1264000 | #Constraints: 30421
61.92/62.11 c #Conflicts: 1265000 | #Constraints: 31421
61.92/62.11 c #Conflicts: 1266000 | #Constraints: 32421
61.92/62.11 c #Conflicts: 1267000 | #Constraints: 33421
61.92/62.11 c #Conflicts: 1268000 | #Constraints: 34421
61.92/62.11 c #Conflicts: 1269000 | #Constraints: 35421
61.92/62.11 c #Conflicts: 1270000 | #Constraints: 36421
61.92/62.11 c #Conflicts: 1271000 | #Constraints: 37421
61.92/62.11 c #Conflicts: 1272000 | #Constraints: 38421
61.92/62.11 c #Conflicts: 1273000 | #Constraints: 39421
61.92/62.11 c #Conflicts: 1274000 | #Constraints: 40421
61.92/62.11 c #Conflicts: 1275000 | #Constraints: 41421
61.92/62.11 c #Conflicts: 1276000 | #Constraints: 42421
61.92/62.11 c #Conflicts: 1277000 | #Constraints: 43421
61.92/62.11 c #Conflicts: 1278000 | #Constraints: 44421
61.92/62.11 c #Conflicts: 1279000 | #Constraints: 45421
61.92/62.11 c INPROCESSING
61.92/62.11 c GARBAGE COLLECT
61.92/62.11 c rational objective 250.5
63.12/63.37 c #Conflicts: 1280000 | #Constraints: 24011
63.12/63.37 c #Conflicts: 1281000 | #Constraints: 25011
63.12/63.37 c #Conflicts: 1282000 | #Constraints: 26011
63.12/63.37 c #Conflicts: 1283000 | #Constraints: 27011
63.12/63.37 c #Conflicts: 1284000 | #Constraints: 28011
63.12/63.37 c #Conflicts: 1285000 | #Constraints: 29011
63.12/63.37 c #Conflicts: 1286000 | #Constraints: 30011
63.12/63.37 c #Conflicts: 1287000 | #Constraints: 31011
63.12/63.37 c #Conflicts: 1288000 | #Constraints: 32011
63.12/63.37 c #Conflicts: 1289000 | #Constraints: 33011
63.12/63.37 c #Conflicts: 1290000 | #Constraints: 34011
63.12/63.37 c #Conflicts: 1291000 | #Constraints: 35011
63.12/63.37 c #Conflicts: 1292000 | #Constraints: 36011
63.12/63.37 c #Conflicts: 1293000 | #Constraints: 37011
63.12/63.37 c #Conflicts: 1294000 | #Constraints: 38011
63.12/63.37 c #Conflicts: 1295000 | #Constraints: 39011
63.12/63.37 c #Conflicts: 1296000 | #Constraints: 40011
63.12/63.37 c #Conflicts: 1297000 | #Constraints: 41011
63.12/63.37 c #Conflicts: 1298000 | #Constraints: 42011
63.12/63.37 c #Conflicts: 1299000 | #Constraints: 43011
63.12/63.37 c #Conflicts: 1300000 | #Constraints: 44011
63.12/63.37 c #Conflicts: 1301000 | #Constraints: 45011
63.12/63.37 c #Conflicts: 1302000 | #Constraints: 46011
63.12/63.37 c INPROCESSING
63.12/63.37 c GARBAGE COLLECT
63.12/63.37 c rational objective 250.5
64.32/64.56 c #Conflicts: 1303000 | #Constraints: 24406
64.32/64.56 c #Conflicts: 1304000 | #Constraints: 25406
64.32/64.56 c #Conflicts: 1305000 | #Constraints: 26406
64.32/64.56 c #Conflicts: 1306000 | #Constraints: 27406
64.32/64.56 c #Conflicts: 1307000 | #Constraints: 28406
64.32/64.56 c #Conflicts: 1308000 | #Constraints: 29406
64.32/64.56 c #Conflicts: 1309000 | #Constraints: 30406
64.32/64.56 c #Conflicts: 1310000 | #Constraints: 31406
64.32/64.56 c #Conflicts: 1311000 | #Constraints: 32406
64.32/64.56 c #Conflicts: 1312000 | #Constraints: 33406
64.32/64.56 c #Conflicts: 1313000 | #Constraints: 34406
64.32/64.56 c #Conflicts: 1314000 | #Constraints: 35406
64.32/64.56 c #Conflicts: 1315000 | #Constraints: 36406
64.32/64.56 c #Conflicts: 1316000 | #Constraints: 37406
64.32/64.56 c #Conflicts: 1317000 | #Constraints: 38406
64.32/64.56 c #Conflicts: 1318000 | #Constraints: 39406
64.32/64.56 c #Conflicts: 1319000 | #Constraints: 40406
64.32/64.56 c #Conflicts: 1320000 | #Constraints: 41406
64.32/64.56 c #Conflicts: 1321000 | #Constraints: 42406
64.32/64.56 c #Conflicts: 1322000 | #Constraints: 43406
64.32/64.56 c #Conflicts: 1323000 | #Constraints: 44406
64.32/64.56 c #Conflicts: 1324000 | #Constraints: 45406
64.32/64.56 c #Conflicts: 1325000 | #Constraints: 46406
64.32/64.56 c INPROCESSING
64.32/64.56 c GARBAGE COLLECT
64.32/64.56 c rational objective 250.5
65.71/65.97 c #Conflicts: 1326000 | #Constraints: 24605
65.71/65.97 c #Conflicts: 1327000 | #Constraints: 25605
65.71/65.97 c #Conflicts: 1328000 | #Constraints: 26605
65.71/65.97 c #Conflicts: 1329000 | #Constraints: 27605
65.71/65.97 c #Conflicts: 1330000 | #Constraints: 28605
65.71/65.97 c #Conflicts: 1331000 | #Constraints: 29605
65.71/65.97 c #Conflicts: 1332000 | #Constraints: 30605
65.71/65.97 c #Conflicts: 1333000 | #Constraints: 31605
65.71/65.97 c #Conflicts: 1334000 | #Constraints: 32605
65.71/65.97 c #Conflicts: 1335000 | #Constraints: 33605
65.71/65.97 c #Conflicts: 1336000 | #Constraints: 34605
65.71/65.97 c #Conflicts: 1337000 | #Constraints: 35605
65.71/65.97 c #Conflicts: 1338000 | #Constraints: 36605
65.71/65.97 c #Conflicts: 1339000 | #Constraints: 37605
65.71/65.97 c #Conflicts: 1340000 | #Constraints: 38605
65.71/65.97 c #Conflicts: 1341000 | #Constraints: 39605
65.71/65.97 c #Conflicts: 1342000 | #Constraints: 40605
65.71/65.97 c #Conflicts: 1343000 | #Constraints: 41605
65.71/65.97 c #Conflicts: 1344000 | #Constraints: 42605
65.71/65.97 c #Conflicts: 1345000 | #Constraints: 43605
65.71/65.97 c #Conflicts: 1346000 | #Constraints: 44605
65.71/65.97 c #Conflicts: 1347000 | #Constraints: 45605
65.71/65.97 c #Conflicts: 1348000 | #Constraints: 46605
65.71/65.97 c INPROCESSING
65.71/65.97 c GARBAGE COLLECT
65.71/65.97 c rational objective 250.5
66.82/67.10 c #Conflicts: 1349000 | #Constraints: 24617
66.82/67.10 c #Conflicts: 1350000 | #Constraints: 25617
66.82/67.10 c #Conflicts: 1351000 | #Constraints: 26617
66.82/67.10 c #Conflicts: 1352000 | #Constraints: 27617
66.82/67.10 c #Conflicts: 1353000 | #Constraints: 28617
66.82/67.10 c #Conflicts: 1354000 | #Constraints: 29617
66.82/67.10 c #Conflicts: 1355000 | #Constraints: 30617
66.82/67.10 c #Conflicts: 1356000 | #Constraints: 31617
66.82/67.10 c #Conflicts: 1357000 | #Constraints: 32617
66.82/67.10 c #Conflicts: 1358000 | #Constraints: 33617
66.82/67.10 c #Conflicts: 1359000 | #Constraints: 34617
66.82/67.10 c #Conflicts: 1360000 | #Constraints: 35617
66.82/67.10 c #Conflicts: 1361000 | #Constraints: 36617
66.82/67.10 c #Conflicts: 1362000 | #Constraints: 37617
66.82/67.10 c #Conflicts: 1363000 | #Constraints: 38617
66.82/67.10 c #Conflicts: 1364000 | #Constraints: 39617
66.82/67.10 c #Conflicts: 1365000 | #Constraints: 40617
66.82/67.10 c #Conflicts: 1366000 | #Constraints: 41617
66.82/67.10 c #Conflicts: 1367000 | #Constraints: 42617
66.82/67.10 c #Conflicts: 1368000 | #Constraints: 43617
66.82/67.10 c #Conflicts: 1369000 | #Constraints: 44617
66.82/67.10 c #Conflicts: 1370000 | #Constraints: 45617
66.82/67.10 c #Conflicts: 1371000 | #Constraints: 46617
66.82/67.10 c INPROCESSING
66.82/67.10 c GARBAGE COLLECT
66.82/67.10 c rational objective 250.5
68.01/68.29 c #Conflicts: 1372000 | #Constraints: 24420
68.01/68.29 c #Conflicts: 1373000 | #Constraints: 25420
68.01/68.29 c #Conflicts: 1374000 | #Constraints: 26420
68.01/68.29 c #Conflicts: 1375000 | #Constraints: 27420
68.01/68.29 c #Conflicts: 1376000 | #Constraints: 28420
68.01/68.29 c #Conflicts: 1377000 | #Constraints: 29420
68.01/68.29 c #Conflicts: 1378000 | #Constraints: 30420
68.01/68.29 c #Conflicts: 1379000 | #Constraints: 31420
68.01/68.29 c #Conflicts: 1380000 | #Constraints: 32420
68.01/68.29 c #Conflicts: 1381000 | #Constraints: 33420
68.01/68.29 c #Conflicts: 1382000 | #Constraints: 34420
68.01/68.29 c #Conflicts: 1383000 | #Constraints: 35420
68.01/68.29 c #Conflicts: 1384000 | #Constraints: 36420
68.01/68.29 c #Conflicts: 1385000 | #Constraints: 37420
68.01/68.29 c #Conflicts: 1386000 | #Constraints: 38420
68.01/68.29 c #Conflicts: 1387000 | #Constraints: 39420
68.01/68.29 c #Conflicts: 1388000 | #Constraints: 40420
68.01/68.29 c #Conflicts: 1389000 | #Constraints: 41420
68.01/68.29 c #Conflicts: 1390000 | #Constraints: 42420
68.01/68.29 c #Conflicts: 1391000 | #Constraints: 43420
68.01/68.29 c #Conflicts: 1392000 | #Constraints: 44420
68.01/68.29 c #Conflicts: 1393000 | #Constraints: 45420
68.01/68.29 c #Conflicts: 1394000 | #Constraints: 46420
68.01/68.29 c #Conflicts: 1395000 | #Constraints: 47420
68.01/68.29 c INPROCESSING
68.01/68.29 c GARBAGE COLLECT
68.01/68.29 c rational objective 250.5
69.40/69.63 c #Conflicts: 1396000 | #Constraints: 25024
69.40/69.63 c #Conflicts: 1397000 | #Constraints: 26024
69.40/69.63 c #Conflicts: 1398000 | #Constraints: 27024
69.40/69.63 c #Conflicts: 1399000 | #Constraints: 28024
69.40/69.63 c #Conflicts: 1400000 | #Constraints: 29024
69.40/69.63 c #Conflicts: 1401000 | #Constraints: 30024
69.40/69.63 c #Conflicts: 1402000 | #Constraints: 31024
69.40/69.63 c #Conflicts: 1403000 | #Constraints: 32024
69.40/69.63 c #Conflicts: 1404000 | #Constraints: 33024
69.40/69.63 c #Conflicts: 1405000 | #Constraints: 34024
69.40/69.63 c #Conflicts: 1406000 | #Constraints: 35024
69.40/69.63 c #Conflicts: 1407000 | #Constraints: 36024
69.40/69.63 c #Conflicts: 1408000 | #Constraints: 37024
69.40/69.63 c #Conflicts: 1409000 | #Constraints: 38024
69.40/69.63 c #Conflicts: 1410000 | #Constraints: 39024
69.40/69.63 c #Conflicts: 1411000 | #Constraints: 40024
69.40/69.63 c #Conflicts: 1412000 | #Constraints: 41024
69.40/69.63 c #Conflicts: 1413000 | #Constraints: 42024
69.40/69.63 c #Conflicts: 1414000 | #Constraints: 43024
69.40/69.63 c #Conflicts: 1415000 | #Constraints: 44024
69.40/69.63 c #Conflicts: 1416000 | #Constraints: 45024
69.40/69.63 c #Conflicts: 1417000 | #Constraints: 46024
69.40/69.63 c #Conflicts: 1418000 | #Constraints: 47024
69.40/69.63 c #Conflicts: 1419000 | #Constraints: 48024
69.40/69.63 c INPROCESSING
69.40/69.63 c GARBAGE COLLECT
69.40/69.63 c rational objective 250.5
70.60/70.85 c #Conflicts: 1420000 | #Constraints: 25418
70.60/70.85 c #Conflicts: 1421000 | #Constraints: 26418
70.60/70.85 c #Conflicts: 1422000 | #Constraints: 27418
70.60/70.85 c #Conflicts: 1423000 | #Constraints: 28418
70.60/70.85 c #Conflicts: 1424000 | #Constraints: 29418
70.60/70.85 c #Conflicts: 1425000 | #Constraints: 30418
70.60/70.85 c #Conflicts: 1426000 | #Constraints: 31418
70.60/70.85 c #Conflicts: 1427000 | #Constraints: 32418
70.60/70.85 c #Conflicts: 1428000 | #Constraints: 33418
70.60/70.85 c #Conflicts: 1429000 | #Constraints: 34418
70.60/70.85 c #Conflicts: 1430000 | #Constraints: 35418
70.60/70.85 c #Conflicts: 1431000 | #Constraints: 36418
70.60/70.85 c #Conflicts: 1432000 | #Constraints: 37418
70.60/70.85 c #Conflicts: 1433000 | #Constraints: 38418
70.60/70.85 c #Conflicts: 1434000 | #Constraints: 39418
70.60/70.85 c #Conflicts: 1435000 | #Constraints: 40418
70.60/70.85 c #Conflicts: 1436000 | #Constraints: 41418
70.60/70.85 c #Conflicts: 1437000 | #Constraints: 42418
70.60/70.85 c #Conflicts: 1438000 | #Constraints: 43418
70.60/70.85 c #Conflicts: 1439000 | #Constraints: 44418
70.60/70.85 c #Conflicts: 1440000 | #Constraints: 45418
70.60/70.85 c #Conflicts: 1441000 | #Constraints: 46418
70.60/70.85 c #Conflicts: 1442000 | #Constraints: 47418
70.60/70.85 c #Conflicts: 1443000 | #Constraints: 48418
70.60/70.85 c INPROCESSING
70.60/70.85 c GARBAGE COLLECT
70.60/70.85 c rational objective 250.5
71.80/72.07 c #Conflicts: 1444000 | #Constraints: 25624
71.80/72.07 c #Conflicts: 1445000 | #Constraints: 26624
71.80/72.07 c #Conflicts: 1446000 | #Constraints: 27624
71.80/72.07 c #Conflicts: 1447000 | #Constraints: 28624
71.80/72.07 c #Conflicts: 1448000 | #Constraints: 29624
71.80/72.07 c #Conflicts: 1449000 | #Constraints: 30624
71.80/72.07 c #Conflicts: 1450000 | #Constraints: 31624
71.80/72.07 c #Conflicts: 1451000 | #Constraints: 32624
71.80/72.07 c #Conflicts: 1452000 | #Constraints: 33624
71.80/72.07 c #Conflicts: 1453000 | #Constraints: 34624
71.80/72.07 c #Conflicts: 1454000 | #Constraints: 35624
71.80/72.07 c #Conflicts: 1455000 | #Constraints: 36624
71.80/72.07 c #Conflicts: 1456000 | #Constraints: 37624
71.80/72.07 c #Conflicts: 1457000 | #Constraints: 38624
71.80/72.07 c #Conflicts: 1458000 | #Constraints: 39624
71.80/72.07 c #Conflicts: 1459000 | #Constraints: 40624
71.80/72.07 c #Conflicts: 1460000 | #Constraints: 41624
71.80/72.07 c #Conflicts: 1461000 | #Constraints: 42624
71.80/72.07 c #Conflicts: 1462000 | #Constraints: 43624
71.80/72.07 c #Conflicts: 1463000 | #Constraints: 44624
71.80/72.07 c #Conflicts: 1464000 | #Constraints: 45624
71.80/72.07 c #Conflicts: 1465000 | #Constraints: 46624
71.80/72.07 c #Conflicts: 1466000 | #Constraints: 47624
71.80/72.07 c #Conflicts: 1467000 | #Constraints: 48624
71.80/72.07 c INPROCESSING
71.80/72.07 c GARBAGE COLLECT
71.80/72.07 c rational objective 250.5
73.09/73.35 c #Conflicts: 1468000 | #Constraints: 25624
73.09/73.35 c #Conflicts: 1469000 | #Constraints: 26624
73.09/73.35 c #Conflicts: 1470000 | #Constraints: 27624
73.09/73.35 c #Conflicts: 1471000 | #Constraints: 28624
73.09/73.35 c #Conflicts: 1472000 | #Constraints: 29624
73.09/73.35 c #Conflicts: 1473000 | #Constraints: 30624
73.09/73.35 c #Conflicts: 1474000 | #Constraints: 31624
73.09/73.35 c #Conflicts: 1475000 | #Constraints: 32624
73.09/73.35 c #Conflicts: 1476000 | #Constraints: 33624
73.09/73.35 c #Conflicts: 1477000 | #Constraints: 34624
73.09/73.35 c #Conflicts: 1478000 | #Constraints: 35624
73.09/73.35 c #Conflicts: 1479000 | #Constraints: 36624
73.09/73.35 c #Conflicts: 1480000 | #Constraints: 37624
73.09/73.35 c #Conflicts: 1481000 | #Constraints: 38624
73.09/73.35 c #Conflicts: 1482000 | #Constraints: 39624
73.09/73.35 c #Conflicts: 1483000 | #Constraints: 40624
73.09/73.35 c #Conflicts: 1484000 | #Constraints: 41624
73.09/73.35 c #Conflicts: 1485000 | #Constraints: 42624
73.09/73.35 c #Conflicts: 1486000 | #Constraints: 43624
73.09/73.35 c #Conflicts: 1487000 | #Constraints: 44624
73.09/73.35 c #Conflicts: 1488000 | #Constraints: 45624
73.09/73.35 c #Conflicts: 1489000 | #Constraints: 46624
73.09/73.35 c #Conflicts: 1490000 | #Constraints: 47624
73.09/73.35 c #Conflicts: 1491000 | #Constraints: 48624
73.09/73.35 c INPROCESSING
73.09/73.35 c GARBAGE COLLECT
73.09/73.35 c rational objective 250.5
74.39/74.64 c #Conflicts: 1492000 | #Constraints: 25424
74.39/74.64 c #Conflicts: 1493000 | #Constraints: 26424
74.39/74.64 c #Conflicts: 1494000 | #Constraints: 27424
74.39/74.64 c #Conflicts: 1495000 | #Constraints: 28424
74.39/74.64 c #Conflicts: 1496000 | #Constraints: 29424
74.39/74.64 c #Conflicts: 1497000 | #Constraints: 30424
74.39/74.64 c #Conflicts: 1498000 | #Constraints: 31424
74.39/74.64 c #Conflicts: 1499000 | #Constraints: 32424
74.39/74.64 c #Conflicts: 1500000 | #Constraints: 33424
74.39/74.64 c #Conflicts: 1501000 | #Constraints: 34424
74.39/74.64 c #Conflicts: 1502000 | #Constraints: 35424
74.39/74.64 c #Conflicts: 1503000 | #Constraints: 36424
74.39/74.64 c #Conflicts: 1504000 | #Constraints: 37424
74.39/74.64 c #Conflicts: 1505000 | #Constraints: 38424
74.39/74.64 c #Conflicts: 1506000 | #Constraints: 39424
74.39/74.64 c #Conflicts: 1507000 | #Constraints: 40424
74.39/74.64 c #Conflicts: 1508000 | #Constraints: 41424
74.39/74.64 c #Conflicts: 1509000 | #Constraints: 42424
74.39/74.64 c #Conflicts: 1510000 | #Constraints: 43424
74.39/74.64 c #Conflicts: 1511000 | #Constraints: 44424
74.39/74.64 c #Conflicts: 1512000 | #Constraints: 45424
74.39/74.64 c #Conflicts: 1513000 | #Constraints: 46424
74.39/74.64 c #Conflicts: 1514000 | #Constraints: 47424
74.39/74.64 c #Conflicts: 1515000 | #Constraints: 48424
74.39/74.64 c #Conflicts: 1516000 | #Constraints: 49424
74.39/74.64 c INPROCESSING
74.39/74.64 c GARBAGE COLLECT
74.39/74.64 c rational objective 250.5
75.69/75.92 c #Conflicts: 1517000 | #Constraints: 26024
75.69/75.92 c #Conflicts: 1518000 | #Constraints: 27024
75.69/75.92 c #Conflicts: 1519000 | #Constraints: 28024
75.69/75.92 c #Conflicts: 1520000 | #Constraints: 29024
75.69/75.92 c #Conflicts: 1521000 | #Constraints: 30024
75.69/75.92 c #Conflicts: 1522000 | #Constraints: 31024
75.69/75.92 c #Conflicts: 1523000 | #Constraints: 32024
75.69/75.92 c #Conflicts: 1524000 | #Constraints: 33024
75.69/75.92 c #Conflicts: 1525000 | #Constraints: 34024
75.69/75.92 c #Conflicts: 1526000 | #Constraints: 35024
75.69/75.92 c #Conflicts: 1527000 | #Constraints: 36024
75.69/75.92 c #Conflicts: 1528000 | #Constraints: 37024
75.69/75.92 c #Conflicts: 1529000 | #Constraints: 38024
75.69/75.92 c #Conflicts: 1530000 | #Constraints: 39024
75.69/75.92 c #Conflicts: 1531000 | #Constraints: 40024
75.69/75.92 c #Conflicts: 1532000 | #Constraints: 41024
75.69/75.92 c #Conflicts: 1533000 | #Constraints: 42024
75.69/75.92 c #Conflicts: 1534000 | #Constraints: 43024
75.69/75.92 c #Conflicts: 1535000 | #Constraints: 44024
75.69/75.92 c #Conflicts: 1536000 | #Constraints: 45024
75.69/75.92 c #Conflicts: 1537000 | #Constraints: 46024
75.69/75.92 c #Conflicts: 1538000 | #Constraints: 47024
75.69/75.92 c #Conflicts: 1539000 | #Constraints: 48024
75.69/75.92 c #Conflicts: 1540000 | #Constraints: 49024
75.69/75.92 c #Conflicts: 1541000 | #Constraints: 50024
75.69/75.92 c INPROCESSING
75.69/75.92 c GARBAGE COLLECT
75.69/75.92 c rational objective 250.5
76.98/77.22 c #Conflicts: 1542000 | #Constraints: 26422
76.98/77.22 c #Conflicts: 1543000 | #Constraints: 27422
76.98/77.22 c #Conflicts: 1544000 | #Constraints: 28422
76.98/77.22 c #Conflicts: 1545000 | #Constraints: 29422
76.98/77.22 c #Conflicts: 1546000 | #Constraints: 30422
76.98/77.22 c #Conflicts: 1547000 | #Constraints: 31422
76.98/77.22 c #Conflicts: 1548000 | #Constraints: 32422
76.98/77.22 c #Conflicts: 1549000 | #Constraints: 33422
76.98/77.22 c #Conflicts: 1550000 | #Constraints: 34422
76.98/77.22 c #Conflicts: 1551000 | #Constraints: 35422
76.98/77.22 c #Conflicts: 1552000 | #Constraints: 36422
76.98/77.22 c #Conflicts: 1553000 | #Constraints: 37422
76.98/77.22 c #Conflicts: 1554000 | #Constraints: 38422
76.98/77.22 c #Conflicts: 1555000 | #Constraints: 39422
76.98/77.22 c #Conflicts: 1556000 | #Constraints: 40422
76.98/77.22 c #Conflicts: 1557000 | #Constraints: 41422
76.98/77.22 c #Conflicts: 1558000 | #Constraints: 42422
76.98/77.22 c #Conflicts: 1559000 | #Constraints: 43422
76.98/77.22 c #Conflicts: 1560000 | #Constraints: 44422
76.98/77.22 c #Conflicts: 1561000 | #Constraints: 45422
76.98/77.22 c #Conflicts: 1562000 | #Constraints: 46422
76.98/77.22 c #Conflicts: 1563000 | #Constraints: 47422
76.98/77.22 c #Conflicts: 1564000 | #Constraints: 48422
76.98/77.22 c #Conflicts: 1565000 | #Constraints: 49422
76.98/77.22 c #Conflicts: 1566000 | #Constraints: 50422
76.98/77.22 c INPROCESSING
76.98/77.22 c GARBAGE COLLECT
76.98/77.22 c rational objective 250.5
78.58/78.85 c #Conflicts: 1567000 | #Constraints: 26622
78.58/78.85 c #Conflicts: 1568000 | #Constraints: 27622
78.58/78.85 c #Conflicts: 1569000 | #Constraints: 28622
78.58/78.85 c #Conflicts: 1570000 | #Constraints: 29622
78.58/78.85 c #Conflicts: 1571000 | #Constraints: 30622
78.58/78.85 c #Conflicts: 1572000 | #Constraints: 31622
78.58/78.85 c #Conflicts: 1573000 | #Constraints: 32622
78.58/78.85 c #Conflicts: 1574000 | #Constraints: 33622
78.58/78.85 c #Conflicts: 1575000 | #Constraints: 34622
78.58/78.85 c #Conflicts: 1576000 | #Constraints: 35622
78.58/78.85 c #Conflicts: 1577000 | #Constraints: 36622
78.58/78.85 c #Conflicts: 1578000 | #Constraints: 37622
78.58/78.85 c #Conflicts: 1579000 | #Constraints: 38622
78.58/78.85 c #Conflicts: 1580000 | #Constraints: 39622
78.58/78.85 c #Conflicts: 1581000 | #Constraints: 40622
78.58/78.85 c #Conflicts: 1582000 | #Constraints: 41622
78.58/78.85 c #Conflicts: 1583000 | #Constraints: 42622
78.58/78.85 c #Conflicts: 1584000 | #Constraints: 43622
78.58/78.85 c #Conflicts: 1585000 | #Constraints: 44622
78.58/78.85 c #Conflicts: 1586000 | #Constraints: 45622
78.58/78.85 c #Conflicts: 1587000 | #Constraints: 46622
78.58/78.85 c #Conflicts: 1588000 | #Constraints: 47622
78.58/78.85 c #Conflicts: 1589000 | #Constraints: 48622
78.58/78.85 c #Conflicts: 1590000 | #Constraints: 49622
78.58/78.85 c #Conflicts: 1591000 | #Constraints: 50622
78.58/78.85 c INPROCESSING
78.58/78.85 c GARBAGE COLLECT
78.58/78.85 c rational objective 250.5
80.37/80.62 c #Conflicts: 1592000 | #Constraints: 26625
80.37/80.62 c #Conflicts: 1593000 | #Constraints: 27625
80.37/80.62 c #Conflicts: 1594000 | #Constraints: 28625
80.37/80.62 c #Conflicts: 1595000 | #Constraints: 29625
80.37/80.62 c #Conflicts: 1596000 | #Constraints: 30625
80.37/80.62 c #Conflicts: 1597000 | #Constraints: 31625
80.37/80.62 c #Conflicts: 1598000 | #Constraints: 32625
80.37/80.62 c #Conflicts: 1599000 | #Constraints: 33625
80.37/80.62 c #Conflicts: 1600000 | #Constraints: 34625
80.37/80.62 c #Conflicts: 1601000 | #Constraints: 35625
80.37/80.62 c #Conflicts: 1602000 | #Constraints: 36625
80.37/80.62 c #Conflicts: 1603000 | #Constraints: 37625
80.37/80.62 c #Conflicts: 1604000 | #Constraints: 38625
80.37/80.62 c #Conflicts: 1605000 | #Constraints: 39625
80.37/80.62 c #Conflicts: 1606000 | #Constraints: 40625
80.37/80.62 c #Conflicts: 1607000 | #Constraints: 41625
80.37/80.62 c #Conflicts: 1608000 | #Constraints: 42625
80.37/80.62 c #Conflicts: 1609000 | #Constraints: 43625
80.37/80.62 c #Conflicts: 1610000 | #Constraints: 44625
80.37/80.62 c #Conflicts: 1611000 | #Constraints: 45625
80.37/80.62 c #Conflicts: 1612000 | #Constraints: 46625
80.37/80.62 c #Conflicts: 1613000 | #Constraints: 47625
80.37/80.62 c #Conflicts: 1614000 | #Constraints: 48625
80.37/80.62 c #Conflicts: 1615000 | #Constraints: 49625
80.37/80.62 c #Conflicts: 1616000 | #Constraints: 50625
80.37/80.62 c INPROCESSING
80.37/80.62 c GARBAGE COLLECT
80.37/80.62 c rational objective 250.5
81.47/81.74 c #Conflicts: 1617000 | #Constraints: 26426
81.47/81.74 c #Conflicts: 1618000 | #Constraints: 27426
81.47/81.74 c #Conflicts: 1619000 | #Constraints: 28426
81.47/81.74 c #Conflicts: 1620000 | #Constraints: 29426
81.47/81.74 c #Conflicts: 1621000 | #Constraints: 30426
81.47/81.74 c #Conflicts: 1622000 | #Constraints: 31426
81.47/81.74 c #Conflicts: 1623000 | #Constraints: 32426
81.47/81.74 c #Conflicts: 1624000 | #Constraints: 33426
81.47/81.74 c #Conflicts: 1625000 | #Constraints: 34426
81.47/81.74 c #Conflicts: 1626000 | #Constraints: 35426
81.47/81.74 c #Conflicts: 1627000 | #Constraints: 36426
81.47/81.74 c #Conflicts: 1628000 | #Constraints: 37426
81.47/81.74 c #Conflicts: 1629000 | #Constraints: 38426
81.47/81.74 c #Conflicts: 1630000 | #Constraints: 39426
81.47/81.74 c #Conflicts: 1631000 | #Constraints: 40426
81.47/81.74 c #Conflicts: 1632000 | #Constraints: 41426
81.47/81.74 c #Conflicts: 1633000 | #Constraints: 42426
81.47/81.74 c #Conflicts: 1634000 | #Constraints: 43426
81.47/81.74 c #Conflicts: 1635000 | #Constraints: 44426
81.47/81.74 c #Conflicts: 1636000 | #Constraints: 45426
81.47/81.74 c #Conflicts: 1637000 | #Constraints: 46426
81.47/81.74 c #Conflicts: 1638000 | #Constraints: 47426
81.47/81.74 c #Conflicts: 1639000 | #Constraints: 48426
81.47/81.74 c #Conflicts: 1640000 | #Constraints: 49426
81.47/81.74 c #Conflicts: 1641000 | #Constraints: 50426
81.47/81.74 c #Conflicts: 1642000 | #Constraints: 51426
81.47/81.74 c INPROCESSING
81.47/81.74 c GARBAGE COLLECT
81.47/81.74 c rational objective 250.5
82.87/83.12 c #Conflicts: 1643000 | #Constraints: 27019
82.87/83.12 c #Conflicts: 1644000 | #Constraints: 28019
82.87/83.12 c #Conflicts: 1645000 | #Constraints: 29019
82.87/83.12 c #Conflicts: 1646000 | #Constraints: 30019
82.87/83.12 c #Conflicts: 1647000 | #Constraints: 31019
82.87/83.12 c #Conflicts: 1648000 | #Constraints: 32019
82.87/83.12 c #Conflicts: 1649000 | #Constraints: 33019
82.87/83.12 c #Conflicts: 1650000 | #Constraints: 34019
82.87/83.12 c #Conflicts: 1651000 | #Constraints: 35019
82.87/83.12 c #Conflicts: 1652000 | #Constraints: 36019
82.87/83.12 c #Conflicts: 1653000 | #Constraints: 37019
82.87/83.12 c #Conflicts: 1654000 | #Constraints: 38019
82.87/83.12 c #Conflicts: 1655000 | #Constraints: 39019
82.87/83.12 c #Conflicts: 1656000 | #Constraints: 40019
82.87/83.12 c #Conflicts: 1657000 | #Constraints: 41019
82.87/83.12 c #Conflicts: 1658000 | #Constraints: 42019
82.87/83.12 c #Conflicts: 1659000 | #Constraints: 43019
82.87/83.12 c #Conflicts: 1660000 | #Constraints: 44019
82.87/83.12 c #Conflicts: 1661000 | #Constraints: 45019
82.87/83.12 c #Conflicts: 1662000 | #Constraints: 46019
82.87/83.12 c #Conflicts: 1663000 | #Constraints: 47019
82.87/83.12 c #Conflicts: 1664000 | #Constraints: 48019
82.87/83.12 c #Conflicts: 1665000 | #Constraints: 49019
82.87/83.12 c #Conflicts: 1666000 | #Constraints: 50019
82.87/83.12 c #Conflicts: 1667000 | #Constraints: 51019
82.87/83.12 c #Conflicts: 1668000 | #Constraints: 52019
82.87/83.12 c INPROCESSING
82.87/83.12 c GARBAGE COLLECT
82.87/83.12 c rational objective 250.5
84.17/84.46 c #Conflicts: 1669000 | #Constraints: 27428
84.17/84.46 c #Conflicts: 1670000 | #Constraints: 28428
84.17/84.46 c #Conflicts: 1671000 | #Constraints: 29428
84.17/84.46 c #Conflicts: 1672000 | #Constraints: 30428
84.17/84.46 c #Conflicts: 1673000 | #Constraints: 31428
84.17/84.46 c #Conflicts: 1674000 | #Constraints: 32428
84.17/84.46 c #Conflicts: 1675000 | #Constraints: 33428
84.17/84.46 c #Conflicts: 1676000 | #Constraints: 34428
84.17/84.46 c #Conflicts: 1677000 | #Constraints: 35428
84.17/84.46 c #Conflicts: 1678000 | #Constraints: 36428
84.17/84.46 c #Conflicts: 1679000 | #Constraints: 37428
84.17/84.46 c #Conflicts: 1680000 | #Constraints: 38428
84.17/84.46 c #Conflicts: 1681000 | #Constraints: 39428
84.17/84.46 c #Conflicts: 1682000 | #Constraints: 40428
84.17/84.46 c #Conflicts: 1683000 | #Constraints: 41428
84.17/84.46 c #Conflicts: 1684000 | #Constraints: 42428
84.17/84.46 c #Conflicts: 1685000 | #Constraints: 43428
84.17/84.46 c #Conflicts: 1686000 | #Constraints: 44428
84.17/84.46 c #Conflicts: 1687000 | #Constraints: 45428
84.17/84.46 c #Conflicts: 1688000 | #Constraints: 46428
84.17/84.46 c #Conflicts: 1689000 | #Constraints: 47428
84.17/84.46 c #Conflicts: 1690000 | #Constraints: 48428
84.17/84.46 c #Conflicts: 1691000 | #Constraints: 49428
84.17/84.46 c #Conflicts: 1692000 | #Constraints: 50428
84.17/84.46 c #Conflicts: 1693000 | #Constraints: 51428
84.17/84.46 c #Conflicts: 1694000 | #Constraints: 52428
84.17/84.46 c INPROCESSING
84.17/84.46 c GARBAGE COLLECT
84.17/84.46 c rational objective 250.5
85.57/85.86 c #Conflicts: 1695000 | #Constraints: 27628
85.57/85.86 c #Conflicts: 1696000 | #Constraints: 28628
85.57/85.86 c #Conflicts: 1697000 | #Constraints: 29628
85.57/85.86 c #Conflicts: 1698000 | #Constraints: 30628
85.57/85.86 c #Conflicts: 1699000 | #Constraints: 31628
85.57/85.86 c #Conflicts: 1700000 | #Constraints: 32628
85.57/85.86 c #Conflicts: 1701000 | #Constraints: 33628
85.57/85.86 c #Conflicts: 1702000 | #Constraints: 34628
85.57/85.86 c #Conflicts: 1703000 | #Constraints: 35628
85.57/85.86 c #Conflicts: 1704000 | #Constraints: 36628
85.57/85.86 c #Conflicts: 1705000 | #Constraints: 37628
85.57/85.86 c #Conflicts: 1706000 | #Constraints: 38628
85.57/85.86 c #Conflicts: 1707000 | #Constraints: 39628
85.57/85.86 c #Conflicts: 1708000 | #Constraints: 40628
85.57/85.86 c #Conflicts: 1709000 | #Constraints: 41628
85.57/85.86 c #Conflicts: 1710000 | #Constraints: 42628
85.57/85.86 c #Conflicts: 1711000 | #Constraints: 43628
85.57/85.86 c #Conflicts: 1712000 | #Constraints: 44628
85.57/85.86 c #Conflicts: 1713000 | #Constraints: 45628
85.57/85.86 c #Conflicts: 1714000 | #Constraints: 46628
85.57/85.86 c #Conflicts: 1715000 | #Constraints: 47628
85.57/85.86 c #Conflicts: 1716000 | #Constraints: 48628
85.57/85.86 c #Conflicts: 1717000 | #Constraints: 49628
85.57/85.86 c #Conflicts: 1718000 | #Constraints: 50628
85.57/85.86 c #Conflicts: 1719000 | #Constraints: 51628
85.57/85.86 c #Conflicts: 1720000 | #Constraints: 52628
85.57/85.86 c INPROCESSING
85.57/85.86 c GARBAGE COLLECT
85.57/85.86 c rational objective 250.5
86.86/87.13 c #Conflicts: 1721000 | #Constraints: 27631
86.86/87.13 c #Conflicts: 1722000 | #Constraints: 28631
86.86/87.13 c #Conflicts: 1723000 | #Constraints: 29631
86.86/87.13 c #Conflicts: 1724000 | #Constraints: 30631
86.86/87.13 c #Conflicts: 1725000 | #Constraints: 31631
86.86/87.13 c #Conflicts: 1726000 | #Constraints: 32631
86.86/87.13 c #Conflicts: 1727000 | #Constraints: 33631
86.86/87.13 c #Conflicts: 1728000 | #Constraints: 34631
86.86/87.13 c #Conflicts: 1729000 | #Constraints: 35631
86.86/87.13 c #Conflicts: 1730000 | #Constraints: 36631
86.86/87.13 c #Conflicts: 1731000 | #Constraints: 37631
86.86/87.13 c #Conflicts: 1732000 | #Constraints: 38631
86.86/87.13 c #Conflicts: 1733000 | #Constraints: 39631
86.86/87.13 c #Conflicts: 1734000 | #Constraints: 40631
86.86/87.13 c #Conflicts: 1735000 | #Constraints: 41631
86.86/87.13 c #Conflicts: 1736000 | #Constraints: 42631
86.86/87.13 c #Conflicts: 1737000 | #Constraints: 43631
86.86/87.13 c #Conflicts: 1738000 | #Constraints: 44631
86.86/87.13 c #Conflicts: 1739000 | #Constraints: 45631
86.86/87.13 c #Conflicts: 1740000 | #Constraints: 46631
86.86/87.13 c #Conflicts: 1741000 | #Constraints: 47631
86.86/87.13 c #Conflicts: 1742000 | #Constraints: 48631
86.86/87.13 c #Conflicts: 1743000 | #Constraints: 49631
86.86/87.13 c #Conflicts: 1744000 | #Constraints: 50631
86.86/87.13 c #Conflicts: 1745000 | #Constraints: 51631
86.86/87.13 c #Conflicts: 1746000 | #Constraints: 52631
86.86/87.13 c INPROCESSING
86.86/87.13 c GARBAGE COLLECT
86.86/87.13 c rational objective 250.5
88.26/88.59 c #Conflicts: 1747000 | #Constraints: 27426
88.26/88.59 c #Conflicts: 1748000 | #Constraints: 28426
88.26/88.59 c #Conflicts: 1749000 | #Constraints: 29426
88.26/88.59 c #Conflicts: 1750000 | #Constraints: 30426
88.26/88.59 c #Conflicts: 1751000 | #Constraints: 31426
88.26/88.59 c #Conflicts: 1752000 | #Constraints: 32426
88.26/88.59 c #Conflicts: 1753000 | #Constraints: 33426
88.26/88.59 c #Conflicts: 1754000 | #Constraints: 34426
88.26/88.59 c #Conflicts: 1755000 | #Constraints: 35426
88.26/88.59 c #Conflicts: 1756000 | #Constraints: 36426
88.26/88.59 c #Conflicts: 1757000 | #Constraints: 37426
88.26/88.59 c #Conflicts: 1758000 | #Constraints: 38426
88.26/88.59 c #Conflicts: 1759000 | #Constraints: 39426
88.26/88.59 c #Conflicts: 1760000 | #Constraints: 40426
88.26/88.59 c #Conflicts: 1761000 | #Constraints: 41426
88.26/88.59 c #Conflicts: 1762000 | #Constraints: 42426
88.26/88.59 c #Conflicts: 1763000 | #Constraints: 43426
88.26/88.59 c #Conflicts: 1764000 | #Constraints: 44426
88.26/88.59 c #Conflicts: 1765000 | #Constraints: 45426
88.26/88.59 c #Conflicts: 1766000 | #Constraints: 46426
88.26/88.59 c #Conflicts: 1767000 | #Constraints: 47426
88.26/88.59 c #Conflicts: 1768000 | #Constraints: 48426
88.26/88.59 c #Conflicts: 1769000 | #Constraints: 49426
88.26/88.59 c #Conflicts: 1770000 | #Constraints: 50426
88.26/88.59 c #Conflicts: 1771000 | #Constraints: 51426
88.26/88.59 c #Conflicts: 1772000 | #Constraints: 52426
88.26/88.59 c #Conflicts: 1773000 | #Constraints: 53426
88.26/88.59 c INPROCESSING
88.26/88.59 c GARBAGE COLLECT
88.26/88.59 c rational objective 250.5
89.75/90.01 c #Conflicts: 1774000 | #Constraints: 28022
89.75/90.01 c #Conflicts: 1775000 | #Constraints: 29022
89.75/90.01 c #Conflicts: 1776000 | #Constraints: 30022
89.75/90.01 c #Conflicts: 1777000 | #Constraints: 31022
89.75/90.01 c #Conflicts: 1778000 | #Constraints: 32022
89.75/90.01 c #Conflicts: 1779000 | #Constraints: 33022
89.75/90.01 c #Conflicts: 1780000 | #Constraints: 34022
89.75/90.01 c #Conflicts: 1781000 | #Constraints: 35022
89.75/90.01 c #Conflicts: 1782000 | #Constraints: 36022
89.75/90.01 c #Conflicts: 1783000 | #Constraints: 37022
89.75/90.01 c #Conflicts: 1784000 | #Constraints: 38022
89.75/90.01 c #Conflicts: 1785000 | #Constraints: 39022
89.75/90.01 c #Conflicts: 1786000 | #Constraints: 40022
89.75/90.01 c #Conflicts: 1787000 | #Constraints: 41022
89.75/90.01 c #Conflicts: 1788000 | #Constraints: 42022
89.75/90.01 c #Conflicts: 1789000 | #Constraints: 43022
89.75/90.01 c #Conflicts: 1790000 | #Constraints: 44022
89.75/90.01 c #Conflicts: 1791000 | #Constraints: 45022
89.75/90.01 c #Conflicts: 1792000 | #Constraints: 46022
89.75/90.01 c #Conflicts: 1793000 | #Constraints: 47022
89.75/90.01 c #Conflicts: 1794000 | #Constraints: 48022
89.75/90.01 c #Conflicts: 1795000 | #Constraints: 49022
89.75/90.01 c #Conflicts: 1796000 | #Constraints: 50022
89.75/90.01 c #Conflicts: 1797000 | #Constraints: 51022
89.75/90.01 c #Conflicts: 1798000 | #Constraints: 52022
89.75/90.01 c #Conflicts: 1799000 | #Constraints: 53022
89.75/90.01 c #Conflicts: 1800000 | #Constraints: 54022
89.75/90.01 c INPROCESSING
89.75/90.01 c GARBAGE COLLECT
89.75/90.01 c rational objective 250.5
91.14/91.44 c #Conflicts: 1801000 | #Constraints: 28421
91.14/91.44 c #Conflicts: 1802000 | #Constraints: 29421
91.14/91.44 c #Conflicts: 1803000 | #Constraints: 30421
91.14/91.44 c #Conflicts: 1804000 | #Constraints: 31421
91.14/91.44 c #Conflicts: 1805000 | #Constraints: 32421
91.14/91.44 c #Conflicts: 1806000 | #Constraints: 33421
91.14/91.44 c #Conflicts: 1807000 | #Constraints: 34421
91.14/91.44 c #Conflicts: 1808000 | #Constraints: 35421
91.14/91.44 c #Conflicts: 1809000 | #Constraints: 36421
91.14/91.44 c #Conflicts: 1810000 | #Constraints: 37421
91.14/91.44 c #Conflicts: 1811000 | #Constraints: 38421
91.14/91.44 c #Conflicts: 1812000 | #Constraints: 39421
91.14/91.44 c #Conflicts: 1813000 | #Constraints: 40421
91.14/91.44 c #Conflicts: 1814000 | #Constraints: 41421
91.14/91.44 c #Conflicts: 1815000 | #Constraints: 42421
91.14/91.44 c #Conflicts: 1816000 | #Constraints: 43421
91.14/91.44 c #Conflicts: 1817000 | #Constraints: 44421
91.14/91.44 c #Conflicts: 1818000 | #Constraints: 45421
91.14/91.44 c #Conflicts: 1819000 | #Constraints: 46421
91.14/91.44 c #Conflicts: 1820000 | #Constraints: 47421
91.14/91.44 c #Conflicts: 1821000 | #Constraints: 48421
91.14/91.44 c #Conflicts: 1822000 | #Constraints: 49421
91.14/91.44 c #Conflicts: 1823000 | #Constraints: 50421
91.14/91.44 c #Conflicts: 1824000 | #Constraints: 51421
91.14/91.44 c #Conflicts: 1825000 | #Constraints: 52421
91.14/91.44 c #Conflicts: 1826000 | #Constraints: 53421
91.14/91.44 c #Conflicts: 1827000 | #Constraints: 54421
91.14/91.44 c INPROCESSING
91.14/91.44 c GARBAGE COLLECT
91.14/91.44 c rational objective 250.5
92.64/92.90 c #Conflicts: 1828000 | #Constraints: 28622
92.64/92.90 c #Conflicts: 1829000 | #Constraints: 29622
92.64/92.90 c #Conflicts: 1830000 | #Constraints: 30622
92.64/92.90 c #Conflicts: 1831000 | #Constraints: 31622
92.64/92.90 c #Conflicts: 1832000 | #Constraints: 32622
92.64/92.90 c #Conflicts: 1833000 | #Constraints: 33622
92.64/92.90 c #Conflicts: 1834000 | #Constraints: 34622
92.64/92.90 c #Conflicts: 1835000 | #Constraints: 35622
92.64/92.90 c #Conflicts: 1836000 | #Constraints: 36622
92.64/92.90 c #Conflicts: 1837000 | #Constraints: 37622
92.64/92.90 c #Conflicts: 1838000 | #Constraints: 38622
92.64/92.90 c #Conflicts: 1839000 | #Constraints: 39622
92.64/92.90 c #Conflicts: 1840000 | #Constraints: 40622
92.64/92.90 c #Conflicts: 1841000 | #Constraints: 41622
92.64/92.90 c #Conflicts: 1842000 | #Constraints: 42622
92.64/92.90 c #Conflicts: 1843000 | #Constraints: 43622
92.64/92.90 c #Conflicts: 1844000 | #Constraints: 44622
92.64/92.90 c #Conflicts: 1845000 | #Constraints: 45622
92.64/92.90 c #Conflicts: 1846000 | #Constraints: 46622
92.64/92.90 c #Conflicts: 1847000 | #Constraints: 47622
92.64/92.90 c #Conflicts: 1848000 | #Constraints: 48622
92.64/92.90 c #Conflicts: 1849000 | #Constraints: 49622
92.64/92.90 c #Conflicts: 1850000 | #Constraints: 50622
92.64/92.90 c #Conflicts: 1851000 | #Constraints: 51622
92.64/92.90 c #Conflicts: 1852000 | #Constraints: 52622
92.64/92.90 c #Conflicts: 1853000 | #Constraints: 53622
92.64/92.90 c #Conflicts: 1854000 | #Constraints: 54622
92.64/92.90 c INPROCESSING
92.64/92.90 c GARBAGE COLLECT
92.64/92.90 c rational objective 250.5
94.04/94.33 c #Conflicts: 1855000 | #Constraints: 28630
94.04/94.33 c #Conflicts: 1856000 | #Constraints: 29630
94.04/94.33 c #Conflicts: 1857000 | #Constraints: 30630
94.04/94.33 c #Conflicts: 1858000 | #Constraints: 31630
94.04/94.33 c #Conflicts: 1859000 | #Constraints: 32630
94.04/94.33 c #Conflicts: 1860000 | #Constraints: 33630
94.04/94.33 c #Conflicts: 1861000 | #Constraints: 34630
94.04/94.33 c #Conflicts: 1862000 | #Constraints: 35630
94.04/94.33 c #Conflicts: 1863000 | #Constraints: 36630
94.04/94.33 c #Conflicts: 1864000 | #Constraints: 37630
94.04/94.33 c #Conflicts: 1865000 | #Constraints: 38630
94.04/94.33 c #Conflicts: 1866000 | #Constraints: 39630
94.04/94.33 c #Conflicts: 1867000 | #Constraints: 40630
94.04/94.33 c #Conflicts: 1868000 | #Constraints: 41630
94.04/94.33 c #Conflicts: 1869000 | #Constraints: 42630
94.04/94.33 c #Conflicts: 1870000 | #Constraints: 43630
94.04/94.33 c #Conflicts: 1871000 | #Constraints: 44630
94.04/94.33 c #Conflicts: 1872000 | #Constraints: 45630
94.04/94.33 c #Conflicts: 1873000 | #Constraints: 46630
94.04/94.33 c #Conflicts: 1874000 | #Constraints: 47630
94.04/94.33 c #Conflicts: 1875000 | #Constraints: 48630
94.04/94.33 c #Conflicts: 1876000 | #Constraints: 49630
94.04/94.33 c #Conflicts: 1877000 | #Constraints: 50630
94.04/94.33 c #Conflicts: 1878000 | #Constraints: 51630
94.04/94.33 c #Conflicts: 1879000 | #Constraints: 52630
94.04/94.33 c #Conflicts: 1880000 | #Constraints: 53630
94.04/94.33 c #Conflicts: 1881000 | #Constraints: 54630
94.04/94.33 c INPROCESSING
94.04/94.33 c GARBAGE COLLECT
94.04/94.33 c rational objective 250.5
95.54/95.89 c #Conflicts: 1882000 | #Constraints: 28429
95.54/95.89 c #Conflicts: 1883000 | #Constraints: 29429
95.54/95.89 c #Conflicts: 1884000 | #Constraints: 30429
95.54/95.89 c #Conflicts: 1885000 | #Constraints: 31429
95.54/95.89 c #Conflicts: 1886000 | #Constraints: 32429
95.54/95.89 c #Conflicts: 1887000 | #Constraints: 33429
95.54/95.89 c #Conflicts: 1888000 | #Constraints: 34429
95.54/95.89 c #Conflicts: 1889000 | #Constraints: 35429
95.54/95.89 c #Conflicts: 1890000 | #Constraints: 36429
95.54/95.89 c #Conflicts: 1891000 | #Constraints: 37429
95.54/95.89 c #Conflicts: 1892000 | #Constraints: 38429
95.54/95.89 c #Conflicts: 1893000 | #Constraints: 39429
95.54/95.89 c #Conflicts: 1894000 | #Constraints: 40429
95.54/95.89 c #Conflicts: 1895000 | #Constraints: 41429
95.54/95.89 c #Conflicts: 1896000 | #Constraints: 42429
95.54/95.89 c #Conflicts: 1897000 | #Constraints: 43429
95.54/95.89 c #Conflicts: 1898000 | #Constraints: 44429
95.54/95.89 c #Conflicts: 1899000 | #Constraints: 45429
95.54/95.89 c #Conflicts: 1900000 | #Constraints: 46429
95.54/95.89 c #Conflicts: 1901000 | #Constraints: 47429
95.54/95.89 c #Conflicts: 1902000 | #Constraints: 48429
95.54/95.89 c #Conflicts: 1903000 | #Constraints: 49429
95.54/95.89 c #Conflicts: 1904000 | #Constraints: 50429
95.54/95.89 c #Conflicts: 1905000 | #Constraints: 51429
95.54/95.89 c #Conflicts: 1906000 | #Constraints: 52429
95.54/95.89 c #Conflicts: 1907000 | #Constraints: 53429
95.54/95.89 c #Conflicts: 1908000 | #Constraints: 54429
95.54/95.89 c #Conflicts: 1909000 | #Constraints: 55429
95.54/95.89 c INPROCESSING
95.54/95.89 c GARBAGE COLLECT
95.54/95.89 c rational objective 250.5
97.23/97.54 c #Conflicts: 1910000 | #Constraints: 29024
97.23/97.54 c #Conflicts: 1911000 | #Constraints: 30024
97.23/97.54 c #Conflicts: 1912000 | #Constraints: 31024
97.23/97.54 c #Conflicts: 1913000 | #Constraints: 32024
97.23/97.54 c #Conflicts: 1914000 | #Constraints: 33024
97.23/97.54 c #Conflicts: 1915000 | #Constraints: 34024
97.23/97.54 c #Conflicts: 1916000 | #Constraints: 35024
97.23/97.54 c #Conflicts: 1917000 | #Constraints: 36024
97.23/97.54 c #Conflicts: 1918000 | #Constraints: 37024
97.23/97.54 c #Conflicts: 1919000 | #Constraints: 38024
97.23/97.54 c #Conflicts: 1920000 | #Constraints: 39024
97.23/97.54 c #Conflicts: 1921000 | #Constraints: 40024
97.23/97.54 c #Conflicts: 1922000 | #Constraints: 41024
97.23/97.54 c #Conflicts: 1923000 | #Constraints: 42024
97.23/97.54 c #Conflicts: 1924000 | #Constraints: 43024
97.23/97.54 c #Conflicts: 1925000 | #Constraints: 44024
97.23/97.54 c #Conflicts: 1926000 | #Constraints: 45024
97.23/97.54 c #Conflicts: 1927000 | #Constraints: 46024
97.23/97.54 c #Conflicts: 1928000 | #Constraints: 47024
97.23/97.54 c #Conflicts: 1929000 | #Constraints: 48024
97.23/97.54 c #Conflicts: 1930000 | #Constraints: 49024
97.23/97.54 c #Conflicts: 1931000 | #Constraints: 50024
97.23/97.54 c #Conflicts: 1932000 | #Constraints: 51024
97.23/97.54 c #Conflicts: 1933000 | #Constraints: 52024
97.23/97.54 c #Conflicts: 1934000 | #Constraints: 53024
97.23/97.54 c #Conflicts: 1935000 | #Constraints: 54024
97.23/97.54 c #Conflicts: 1936000 | #Constraints: 55024
97.23/97.54 c #Conflicts: 1937000 | #Constraints: 56024
97.23/97.54 c INPROCESSING
97.23/97.54 c GARBAGE COLLECT
97.23/97.54 c rational objective 250.5
98.84/99.18 c #Conflicts: 1938000 | #Constraints: 29422
98.84/99.18 c #Conflicts: 1939000 | #Constraints: 30422
98.84/99.18 c #Conflicts: 1940000 | #Constraints: 31422
98.84/99.18 c #Conflicts: 1941000 | #Constraints: 32422
98.84/99.18 c #Conflicts: 1942000 | #Constraints: 33422
98.84/99.18 c #Conflicts: 1943000 | #Constraints: 34422
98.84/99.18 c #Conflicts: 1944000 | #Constraints: 35422
98.84/99.18 c #Conflicts: 1945000 | #Constraints: 36422
98.84/99.18 c #Conflicts: 1946000 | #Constraints: 37422
98.84/99.18 c #Conflicts: 1947000 | #Constraints: 38422
98.84/99.18 c #Conflicts: 1948000 | #Constraints: 39422
98.84/99.18 c #Conflicts: 1949000 | #Constraints: 40422
98.84/99.18 c #Conflicts: 1950000 | #Constraints: 41422
98.84/99.18 c #Conflicts: 1951000 | #Constraints: 42422
98.84/99.18 c #Conflicts: 1952000 | #Constraints: 43422
98.84/99.18 c #Conflicts: 1953000 | #Constraints: 44422
98.84/99.18 c #Conflicts: 1954000 | #Constraints: 45422
98.84/99.18 c #Conflicts: 1955000 | #Constraints: 46422
98.84/99.18 c #Conflicts: 1956000 | #Constraints: 47422
98.84/99.18 c #Conflicts: 1957000 | #Constraints: 48422
98.84/99.18 c #Conflicts: 1958000 | #Constraints: 49422
98.84/99.18 c #Conflicts: 1959000 | #Constraints: 50422
98.84/99.18 c #Conflicts: 1960000 | #Constraints: 51422
98.84/99.18 c #Conflicts: 1961000 | #Constraints: 52422
98.84/99.18 c #Conflicts: 1962000 | #Constraints: 53422
98.84/99.18 c #Conflicts: 1963000 | #Constraints: 54422
98.84/99.18 c #Conflicts: 1964000 | #Constraints: 55422
98.84/99.18 c #Conflicts: 1965000 | #Constraints: 56422
98.84/99.18 c INPROCESSING
98.84/99.18 c GARBAGE COLLECT
98.84/99.18 c rational objective 250.5
100.53/100.88 c #Conflicts: 1966000 | #Constraints: 29621
100.53/100.88 c #Conflicts: 1967000 | #Constraints: 30621
100.53/100.88 c #Conflicts: 1968000 | #Constraints: 31621
100.53/100.88 c #Conflicts: 1969000 | #Constraints: 32621
100.53/100.88 c #Conflicts: 1970000 | #Constraints: 33621
100.53/100.88 c #Conflicts: 1971000 | #Constraints: 34621
100.53/100.88 c #Conflicts: 1972000 | #Constraints: 35621
100.53/100.88 c #Conflicts: 1973000 | #Constraints: 36621
100.53/100.88 c #Conflicts: 1974000 | #Constraints: 37621
100.53/100.88 c #Conflicts: 1975000 | #Constraints: 38621
100.53/100.88 c #Conflicts: 1976000 | #Constraints: 39621
100.53/100.88 c #Conflicts: 1977000 | #Constraints: 40621
100.53/100.88 c #Conflicts: 1978000 | #Constraints: 41621
100.53/100.88 c #Conflicts: 1979000 | #Constraints: 42621
100.53/100.88 c #Conflicts: 1980000 | #Constraints: 43621
100.53/100.88 c #Conflicts: 1981000 | #Constraints: 44621
100.53/100.88 c #Conflicts: 1982000 | #Constraints: 45621
100.53/100.88 c #Conflicts: 1983000 | #Constraints: 46621
100.53/100.88 c #Conflicts: 1984000 | #Constraints: 47621
100.53/100.88 c #Conflicts: 1985000 | #Constraints: 48621
100.53/100.88 c #Conflicts: 1986000 | #Constraints: 49621
100.53/100.88 c #Conflicts: 1987000 | #Constraints: 50621
100.53/100.88 c #Conflicts: 1988000 | #Constraints: 51621
100.53/100.88 c #Conflicts: 1989000 | #Constraints: 52621
100.53/100.88 c #Conflicts: 1990000 | #Constraints: 53621
100.53/100.88 c #Conflicts: 1991000 | #Constraints: 54621
100.53/100.88 c #Conflicts: 1992000 | #Constraints: 55621
100.53/100.88 c #Conflicts: 1993000 | #Constraints: 56621
100.53/100.88 c INPROCESSING
100.53/100.88 c GARBAGE COLLECT
100.53/100.88 c rational objective 250.5
102.12/102.42 c #Conflicts: 1994000 | #Constraints: 29622
102.12/102.42 c #Conflicts: 1995000 | #Constraints: 30622
102.12/102.42 c #Conflicts: 1996000 | #Constraints: 31622
102.12/102.42 c #Conflicts: 1997000 | #Constraints: 32622
102.12/102.42 c #Conflicts: 1998000 | #Constraints: 33622
102.12/102.42 c #Conflicts: 1999000 | #Constraints: 34622
102.12/102.42 c #Conflicts: 2000000 | #Constraints: 35622
102.12/102.42 c #Conflicts: 2001000 | #Constraints: 36622
102.12/102.42 c #Conflicts: 2002000 | #Constraints: 37622
102.12/102.42 c #Conflicts: 2003000 | #Constraints: 38622
102.12/102.42 c #Conflicts: 2004000 | #Constraints: 39622
102.12/102.42 c #Conflicts: 2005000 | #Constraints: 40622
102.12/102.42 c #Conflicts: 2006000 | #Constraints: 41622
102.12/102.42 c #Conflicts: 2007000 | #Constraints: 42622
102.12/102.42 c #Conflicts: 2008000 | #Constraints: 43622
102.12/102.42 c #Conflicts: 2009000 | #Constraints: 44622
102.12/102.42 c #Conflicts: 2010000 | #Constraints: 45622
102.12/102.42 c #Conflicts: 2011000 | #Constraints: 46622
102.12/102.42 c #Conflicts: 2012000 | #Constraints: 47622
102.12/102.42 c #Conflicts: 2013000 | #Constraints: 48622
102.12/102.42 c #Conflicts: 2014000 | #Constraints: 49622
102.12/102.42 c #Conflicts: 2015000 | #Constraints: 50622
102.12/102.42 c #Conflicts: 2016000 | #Constraints: 51622
102.12/102.42 c #Conflicts: 2017000 | #Constraints: 52622
102.12/102.42 c #Conflicts: 2018000 | #Constraints: 53622
102.12/102.42 c #Conflicts: 2019000 | #Constraints: 54622
102.12/102.42 c #Conflicts: 2020000 | #Constraints: 55622
102.12/102.42 c #Conflicts: 2021000 | #Constraints: 56622
102.12/102.42 c INPROCESSING
102.12/102.42 c GARBAGE COLLECT
102.12/102.42 c rational objective 250.5
103.82/104.11 c #Conflicts: 2022000 | #Constraints: 29420
103.82/104.11 c #Conflicts: 2023000 | #Constraints: 30420
103.82/104.11 c #Conflicts: 2024000 | #Constraints: 31420
103.82/104.11 c #Conflicts: 2025000 | #Constraints: 32420
103.82/104.11 c #Conflicts: 2026000 | #Constraints: 33420
103.82/104.11 c #Conflicts: 2027000 | #Constraints: 34420
103.82/104.11 c #Conflicts: 2028000 | #Constraints: 35420
103.82/104.11 c #Conflicts: 2029000 | #Constraints: 36420
103.82/104.11 c #Conflicts: 2030000 | #Constraints: 37420
103.82/104.11 c #Conflicts: 2031000 | #Constraints: 38420
103.82/104.11 c #Conflicts: 2032000 | #Constraints: 39420
103.82/104.11 c #Conflicts: 2033000 | #Constraints: 40420
103.82/104.11 c #Conflicts: 2034000 | #Constraints: 41420
103.82/104.11 c #Conflicts: 2035000 | #Constraints: 42420
103.82/104.11 c #Conflicts: 2036000 | #Constraints: 43420
103.82/104.11 c #Conflicts: 2037000 | #Constraints: 44420
103.82/104.11 c #Conflicts: 2038000 | #Constraints: 45420
103.82/104.11 c #Conflicts: 2039000 | #Constraints: 46420
103.82/104.11 c #Conflicts: 2040000 | #Constraints: 47420
103.82/104.11 c #Conflicts: 2041000 | #Constraints: 48420
103.82/104.11 c #Conflicts: 2042000 | #Constraints: 49420
103.82/104.11 c #Conflicts: 2043000 | #Constraints: 50420
103.82/104.11 c #Conflicts: 2044000 | #Constraints: 51420
103.82/104.11 c #Conflicts: 2045000 | #Constraints: 52420
103.82/104.11 c #Conflicts: 2046000 | #Constraints: 53420
103.82/104.11 c #Conflicts: 2047000 | #Constraints: 54420
103.82/104.11 c #Conflicts: 2048000 | #Constraints: 55420
103.82/104.11 c #Conflicts: 2049000 | #Constraints: 56420
103.82/104.11 c #Conflicts: 2050000 | #Constraints: 57420
103.82/104.11 c INPROCESSING
103.82/104.11 c GARBAGE COLLECT
103.82/104.11 c rational objective 250.5
105.41/105.71 c #Conflicts: 2051000 | #Constraints: 30022
105.41/105.71 c #Conflicts: 2052000 | #Constraints: 31022
105.41/105.71 c #Conflicts: 2053000 | #Constraints: 32022
105.41/105.71 c #Conflicts: 2054000 | #Constraints: 33022
105.41/105.71 c #Conflicts: 2055000 | #Constraints: 34022
105.41/105.71 c #Conflicts: 2056000 | #Constraints: 35022
105.41/105.71 c #Conflicts: 2057000 | #Constraints: 36022
105.41/105.71 c #Conflicts: 2058000 | #Constraints: 37022
105.41/105.71 c #Conflicts: 2059000 | #Constraints: 38022
105.41/105.71 c #Conflicts: 2060000 | #Constraints: 39022
105.41/105.71 c #Conflicts: 2061000 | #Constraints: 40022
105.41/105.71 c #Conflicts: 2062000 | #Constraints: 41022
105.41/105.71 c #Conflicts: 2063000 | #Constraints: 42022
105.41/105.71 c #Conflicts: 2064000 | #Constraints: 43022
105.41/105.71 c #Conflicts: 2065000 | #Constraints: 44022
105.41/105.71 c #Conflicts: 2066000 | #Constraints: 45022
105.41/105.71 c #Conflicts: 2067000 | #Constraints: 46022
105.41/105.71 c #Conflicts: 2068000 | #Constraints: 47022
105.41/105.71 c #Conflicts: 2069000 | #Constraints: 48022
105.41/105.71 c #Conflicts: 2070000 | #Constraints: 49022
105.41/105.71 c #Conflicts: 2071000 | #Constraints: 50022
105.41/105.71 c #Conflicts: 2072000 | #Constraints: 51022
105.41/105.71 c #Conflicts: 2073000 | #Constraints: 52022
105.41/105.71 c #Conflicts: 2074000 | #Constraints: 53022
105.41/105.71 c #Conflicts: 2075000 | #Constraints: 54022
105.41/105.71 c #Conflicts: 2076000 | #Constraints: 55022
105.41/105.71 c #Conflicts: 2077000 | #Constraints: 56022
105.41/105.71 c #Conflicts: 2078000 | #Constraints: 57022
105.41/105.71 c #Conflicts: 2079000 | #Constraints: 58022
105.41/105.71 c INPROCESSING
105.41/105.71 c GARBAGE COLLECT
105.41/105.71 c rational objective 250.5
106.71/107.08 c #Conflicts: 2080000 | #Constraints: 30426
106.71/107.08 c #Conflicts: 2081000 | #Constraints: 31426
106.71/107.08 c #Conflicts: 2082000 | #Constraints: 32426
106.71/107.08 c #Conflicts: 2083000 | #Constraints: 33426
106.71/107.08 c #Conflicts: 2084000 | #Constraints: 34426
106.71/107.08 c #Conflicts: 2085000 | #Constraints: 35426
106.71/107.08 c #Conflicts: 2086000 | #Constraints: 36426
106.71/107.08 c #Conflicts: 2087000 | #Constraints: 37426
106.71/107.08 c #Conflicts: 2088000 | #Constraints: 38426
106.71/107.08 c #Conflicts: 2089000 | #Constraints: 39426
106.71/107.08 c #Conflicts: 2090000 | #Constraints: 40426
106.71/107.08 c #Conflicts: 2091000 | #Constraints: 41426
106.71/107.08 c #Conflicts: 2092000 | #Constraints: 42426
106.71/107.08 c #Conflicts: 2093000 | #Constraints: 43426
106.71/107.08 c #Conflicts: 2094000 | #Constraints: 44426
106.71/107.08 c #Conflicts: 2095000 | #Constraints: 45426
106.71/107.08 c #Conflicts: 2096000 | #Constraints: 46426
106.71/107.08 c #Conflicts: 2097000 | #Constraints: 47426
106.71/107.08 c #Conflicts: 2098000 | #Constraints: 48426
106.71/107.08 c #Conflicts: 2099000 | #Constraints: 49426
106.71/107.08 c #Conflicts: 2100000 | #Constraints: 50426
106.71/107.08 c #Conflicts: 2101000 | #Constraints: 51426
106.71/107.08 c #Conflicts: 2102000 | #Constraints: 52426
106.71/107.08 c #Conflicts: 2103000 | #Constraints: 53426
106.71/107.08 c #Conflicts: 2104000 | #Constraints: 54426
106.71/107.08 c #Conflicts: 2105000 | #Constraints: 55426
106.71/107.08 c #Conflicts: 2106000 | #Constraints: 56426
106.71/107.08 c #Conflicts: 2107000 | #Constraints: 57426
106.71/107.08 c #Conflicts: 2108000 | #Constraints: 58426
106.71/107.08 c INPROCESSING
106.71/107.08 c GARBAGE COLLECT
106.71/107.08 c rational objective 250.5
108.21/108.54 c #Conflicts: 2109000 | #Constraints: 30629
108.21/108.54 c #Conflicts: 2110000 | #Constraints: 31629
108.21/108.54 c #Conflicts: 2111000 | #Constraints: 32629
108.21/108.54 c #Conflicts: 2112000 | #Constraints: 33629
108.21/108.54 c #Conflicts: 2113000 | #Constraints: 34629
108.21/108.54 c #Conflicts: 2114000 | #Constraints: 35629
108.21/108.54 c #Conflicts: 2115000 | #Constraints: 36629
108.21/108.54 c #Conflicts: 2116000 | #Constraints: 37629
108.21/108.54 c #Conflicts: 2117000 | #Constraints: 38629
108.21/108.54 c #Conflicts: 2118000 | #Constraints: 39629
108.21/108.54 c #Conflicts: 2119000 | #Constraints: 40629
108.21/108.54 c #Conflicts: 2120000 | #Constraints: 41629
108.21/108.54 c #Conflicts: 2121000 | #Constraints: 42629
108.21/108.54 c #Conflicts: 2122000 | #Constraints: 43629
108.21/108.54 c #Conflicts: 2123000 | #Constraints: 44629
108.21/108.54 c #Conflicts: 2124000 | #Constraints: 45629
108.21/108.54 c #Conflicts: 2125000 | #Constraints: 46629
108.21/108.54 c #Conflicts: 2126000 | #Constraints: 47629
108.21/108.54 c #Conflicts: 2127000 | #Constraints: 48629
108.21/108.54 c #Conflicts: 2128000 | #Constraints: 49629
108.21/108.54 c #Conflicts: 2129000 | #Constraints: 50629
108.21/108.54 c #Conflicts: 2130000 | #Constraints: 51629
108.21/108.54 c #Conflicts: 2131000 | #Constraints: 52629
108.21/108.54 c #Conflicts: 2132000 | #Constraints: 53629
108.21/108.54 c #Conflicts: 2133000 | #Constraints: 54629
108.21/108.54 c #Conflicts: 2134000 | #Constraints: 55629
108.21/108.54 c #Conflicts: 2135000 | #Constraints: 56629
108.21/108.54 c #Conflicts: 2136000 | #Constraints: 57629
108.21/108.54 c #Conflicts: 2137000 | #Constraints: 58629
108.21/108.54 c INPROCESSING
108.21/108.54 c GARBAGE COLLECT
108.21/108.54 c rational objective 250.5
109.20/109.55 c #Conflicts: 2138000 | #Constraints: 20228
109.20/109.55 c #Conflicts: 2139000 | #Constraints: 21228
109.20/109.55 c #Conflicts: 2140000 | #Constraints: 22228
109.20/109.55 c #Conflicts: 2141000 | #Constraints: 23228
109.20/109.55 c #Conflicts: 2142000 | #Constraints: 24228
109.20/109.55 c #Conflicts: 2143000 | #Constraints: 25228
109.20/109.55 c #Conflicts: 2144000 | #Constraints: 26228
109.20/109.55 c #Conflicts: 2145000 | #Constraints: 27228
109.20/109.55 c #Conflicts: 2146000 | #Constraints: 28228
109.20/109.55 c #Conflicts: 2147000 | #Constraints: 29228
109.20/109.55 c #Conflicts: 2148000 | #Constraints: 30228
109.20/109.55 c #Conflicts: 2149000 | #Constraints: 31228
109.20/109.55 c #Conflicts: 2150000 | #Constraints: 32228
109.20/109.55 c #Conflicts: 2151000 | #Constraints: 33228
109.20/109.55 c #Conflicts: 2152000 | #Constraints: 34228
109.20/109.55 c #Conflicts: 2153000 | #Constraints: 35228
109.20/109.55 c #Conflicts: 2154000 | #Constraints: 36228
109.20/109.55 c #Conflicts: 2155000 | #Constraints: 37228
109.20/109.55 c #Conflicts: 2156000 | #Constraints: 38228
109.20/109.55 c #Conflicts: 2157000 | #Constraints: 39228
109.20/109.55 c #Conflicts: 2158000 | #Constraints: 40228
109.20/109.55 c #Conflicts: 2159000 | #Constraints: 41228
109.20/109.55 c #Conflicts: 2160000 | #Constraints: 42228
109.20/109.55 c #Conflicts: 2161000 | #Constraints: 43228
109.20/109.55 c cpu time 102.195 s
109.20/109.55 c deterministic time 4546880389 4.55e+09
109.20/109.55 c optimization time 0.000109 s
109.20/109.55 c total solve time 102.193 s
109.20/109.55 c core-guided solve time 0 s
109.20/109.55 c propagation time 75.7061 s
109.20/109.55 c conflict analysis time 15.5335 s
109.20/109.55 c propagations 12482826
109.20/109.55 c resolve steps 6804124
109.20/109.55 c decisions 3783016
109.20/109.55 c conflicts 2161205
109.20/109.55 c restarts 4093
109.20/109.55 c inprocessing phases 137
109.20/109.55 c garbage collections 137 ,( 100.00 )
109.20/109.55 c input clauses 2 ,( 0.29 )
109.20/109.55 c input cardinalities 696 ,( 99.71 )
109.20/109.55 c input general constraints 0 ,( 0.00 )
109.20/109.55 c input average constraint length 3.99
109.20/109.55 c input average constraint degree 2.00
109.20/109.55 c learned clauses 2095574 ,( 96.94 )
109.20/109.55 c learned cardinalities 4297 ,( 0.20 )
109.20/109.55 c learned general constraints 61894 ,( 2.86 )
109.20/109.55 c learned average constraint length 17.53
109.20/109.55 c learned average constraint degree 46149.77
109.20/109.55 c watched CF 32, 64, 128, Arb: 32640 , 0 , 0 , 0
109.20/109.55 c counting CF 32, 64, 128, Arb: 29254 , 0 , 0 , 0
109.20/109.55 c watched constraints 32640 ,( 52.74 )
109.20/109.55 c counting constraints 29254 ,( 47.26 )
109.20/109.55 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 831389733 , 46721727 , 60651956 ,( 51944142 , 8707814 )
109.20/109.55 c gcd simplifications 2149
109.20/109.55 c detected cardinalities 858
109.20/109.55 c weakened non-implied lits 708835
109.20/109.55 c weakened non-implying lits 628
109.20/109.55 c original variables 501
109.20/109.55 c clausal propagations 4497219
109.20/109.55 c cardinality propagations 3638609
109.20/109.55 c watched propagations 329823
109.20/109.55 c counting propagations 1814388
109.20/109.55 c watch lookups 2416151860
109.20/109.55 c watch backjump lookups 0
109.20/109.55 c watch checks 1840400970
109.20/109.55 c propagation checks 133104900
109.20/109.55 c constraint additions 122313211
109.20/109.55 c trail pops 18427027
109.20/109.55 c formula constraints 698
109.20/109.55 c learned constraints 2161199
109.20/109.55 c bound constraints 0
109.20/109.55 c core-guided constraints 0
109.20/109.55 c encountered formula constraints 515722
109.20/109.55 c encountered learned constraints 8449433
109.20/109.55 c encountered bound constraints 0
109.20/109.55 c encountered core-guided constraints 0
109.20/109.55 c LP total time 11.8812 s
109.20/109.55 c LP solve time 7.94 s
109.20/109.55 c LP constraints added 1368
109.20/109.55 c LP constraints removed 662
109.20/109.55 c LP pivots internal 216126
109.20/109.55 c LP pivots root 452
109.20/109.55 c LP calls 24209
109.20/109.55 c LP optimalities 24204
109.20/109.55 c LP no pivot count 1874
109.20/109.55 c LP infeasibilities 5
109.20/109.55 c LP valid Farkas constraints 5
109.20/109.55 c LP learned Farkas constraints 5
109.20/109.55 c LP basis resets 0
109.20/109.55 c LP cycling count 0
109.20/109.55 c LP singular count 0
109.20/109.55 c LP no primal count 0
109.20/109.55 c LP no farkas count 0
109.20/109.55 c LP other issue count 0
109.20/109.55 c LP Gomory cuts 556
109.20/109.55 c LP learned cuts 114
109.20/109.55 c LP deleted cuts 662
109.20/109.55 c LP encountered Gomory constraints 0
109.20/109.55 c LP encountered Farkas constraints 112
109.20/109.55 c LP encountered learned Farkas constraints 57
109.20/109.55 c CG auxiliary variables introduced 0
109.20/109.55 c CG solutions found 0
109.20/109.55 c CG cores constructed 0
109.20/109.55 c CG core cardinality constraints returned 0
109.20/109.55 c CG unit cores 0
109.20/109.55 c CG single cores 0
109.20/109.55 c CG blocks removed during cardinality reduction 0
109.20/109.55 c CG first core best 0
109.20/109.55 c CG decision core best 0
109.20/109.55 c CG core reduction tie 0
109.20/109.55 c CG core degree average 0.00
109.20/109.55 c CG core slack average 0.00
109.20/109.55 c CG core upper bound improvements 0
109.20/109.55 c STR number of successful calls 0
109.20/109.55 c STR number of unsuccessful calls 0
109.20/109.55 c STR number of inconclusive calls 0
109.20/109.55 c STR number of successful attempts 0
109.20/109.55 c STR number of unsuccessful attempts 0
109.20/109.55 c STR number of inconclusive attempts 0
109.20/109.55 c STR average degree increase per successful call inf
109.20/109.55 c STR average degree increase per successful attempt inf
109.20/109.55 c STR total number of conflicts for successful attempts 0
109.20/109.55 c STR total number of conflicts for unsuccessful attempts 0
109.20/109.55 c STR total number of conflicts for inconclusive attempts 0
109.20/109.55 c STR average number of conflicts per successful attempt inf
109.20/109.55 c STR average number of conflicts per unsuccessful attempt inf
109.20/109.55 c STR average number of conflicts per inconclusive attempt inf
109.20/109.55 c AVG.sumWPerc 39.25
109.20/109.55 c bigint constraints 0
109.20/109.55 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: 63708 MiB (63046 MiB free)
memory of node 1: 64465 MiB (63776 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4510546-1751196204/watcher-4510546-1751196204 -o /tmp/evaluation-result-4510546-1751196204/solver-4510546-1751196204 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751195386-23839 --watchdog 3760 run-dec-ls.sh HOME/instance-4510546-1751196204.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=24305, runsolver pid=24302
Current StackSize limit: 8192 KiB
[startup+0.100057 s]*
/proc/loadavg: 4.18 3.96 3.40 5/269 24307
/proc/meminfo: memFree=129864256/131249996 swapFree=33010684/33010684
[pid=24305] ppid=24302 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24305/stat : 24305 (run-dec-ls.sh) S 24302 24305 23826 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35299025 4292608 736 18446744073709551615 94919717023744 94919717918277 140736597355536 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94919718157328 94919718205072 94919739789312 140736597358951 140736597359077 140736597359077 140736597364679 0
/proc/24305/statm: 1048 736 672 219 0 110 0
[pid=24307] ppid=24305 vsize=57856 memory=14488 CPUtime=0.08 cores=5,7
/proc/24307/stat : 24307 (roundingsat) R 24305 24305 23826 0 -1 4194304 1098 0 0 0 7 1 0 0 20 0 1 0 35299025 59244544 3622 18446744073709551615 4227072 8923433 140727195562368 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10547200 140727195568544 140727195568680 140727195568680 140727195574250 0
/proc/24307/statm: 14464 3622 2368 1147 0 1891 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 62048 KiB
Current children cumulated memory: 17432 KiB
[startup+0.205508 s]*
/proc/loadavg: 4.18 3.96 3.40 5/269 24307
/proc/meminfo: memFree=129864256/131249996 swapFree=33010684/33010684
[pid=24305] ppid=24302 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24305/stat : 24305 (run-dec-ls.sh) S 24302 24305 23826 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35299025 4292608 736 18446744073709551615 94919717023744 94919717918277 140736597355536 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94919718157328 94919718205072 94919739789312 140736597358951 140736597359077 140736597359077 140736597364679 0
/proc/24305/statm: 1048 736 672 219 0 110 0
[pid=24307] ppid=24305 vsize=58268 memory=15000 CPUtime=0.19 cores=5,7
/proc/24307/stat : 24307 (roundingsat) R 24305 24305 23826 0 -1 4194304 1225 0 0 0 16 3 0 0 20 0 1 0 35299025 59666432 3750 18446744073709551615 4227072 8923433 140727195562368 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10547200 140727195568544 140727195568680 140727195568680 140727195574250 0
/proc/24307/statm: 14567 3750 2368 1147 0 1994 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 62460 KiB
Current children cumulated memory: 17944 KiB
[startup+0.30489 s]*
/proc/loadavg: 4.18 3.96 3.40 5/269 24307
/proc/meminfo: memFree=129864256/131249996 swapFree=33010684/33010684
[pid=24305] ppid=24302 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24305/stat : 24305 (run-dec-ls.sh) S 24302 24305 23826 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35299025 4292608 736 18446744073709551615 94919717023744 94919717918277 140736597355536 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94919718157328 94919718205072 94919739789312 140736597358951 140736597359077 140736597359077 140736597364679 0
/proc/24305/statm: 1048 736 672 219 0 110 0
[pid=24307] ppid=24305 vsize=58576 memory=15256 CPUtime=0.29 cores=5,7
/proc/24307/stat : 24307 (roundingsat) R 24305 24305 23826 0 -1 4194304 1299 0 0 0 25 4 0 0 20 0 1 0 35299025 59981824 3814 18446744073709551615 4227072 8923433 140727195562368 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10547200 140727195568544 140727195568680 140727195568680 140727195574250 0
/proc/24307/statm: 14644 3814 2368 1147 0 2071 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 62768 KiB
Current children cumulated memory: 18200 KiB
[startup+0.700133 s]
/proc/loadavg: 4.24 3.97 3.41 5/269 24307
/proc/meminfo: memFree=129864256/131249996 swapFree=33010684/33010684
[pid=24305] ppid=24302 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24305/stat : 24305 (run-dec-ls.sh) S 24302 24305 23826 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35299025 4292608 736 18446744073709551615 94919717023744 94919717918277 140736597355536 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94919718157328 94919718205072 94919739789312 140736597358951 140736597359077 140736597359077 140736597364679 0
/proc/24305/statm: 1048 736 672 219 0 110 0
[pid=24307] ppid=24305 vsize=59152 memory=15768 CPUtime=0.67 cores=5,7
/proc/24307/stat : 24307 (roundingsat) R 24305 24305 23826 0 -1 4194304 1416 0 0 0 58 9 0 0 20 0 1 0 35299025 60571648 3942 18446744073709551615 4227072 8923433 140727195562368 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10547200 140727195568544 140727195568680 140727195568680 140727195574250 0
/proc/24307/statm: 14788 3942 2368 1147 0 2215 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 63344 KiB
Current children cumulated memory: 18712 KiB
[startup+1.50014 s]
/proc/loadavg: 4.24 3.97 3.41 5/269 24307
/proc/meminfo: memFree=129864584/131249996 swapFree=33010684/33010684
[pid=24305] ppid=24302 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24305/stat : 24305 (run-dec-ls.sh) S 24302 24305 23826 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35299025 4292608 736 18446744073709551615 94919717023744 94919717918277 140736597355536 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94919718157328 94919718205072 94919739789312 140736597358951 140736597359077 140736597359077 140736597364679 0
/proc/24305/statm: 1048 736 672 219 0 110 0
[pid=24307] ppid=24305 vsize=60012 memory=16536 CPUtime=1.48 cores=5,7
/proc/24307/stat : 24307 (roundingsat) R 24305 24305 23826 0 -1 4194304 1631 0 0 0 126 22 0 0 20 0 1 0 35299025 61452288 4134 18446744073709551615 4227072 8923433 140727195562368 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10547200 140727195568544 140727195568680 140727195568680 140727195574250 0
/proc/24307/statm: 15003 4134 2368 1147 0 2430 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 64204 KiB
Current children cumulated memory: 19480 KiB
[startup+3.10546 s]
/proc/loadavg: 4.24 3.97 3.41 5/269 24307
/proc/meminfo: memFree=129864840/131249996 swapFree=33010684/33010684
[pid=24305] ppid=24302 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24305/stat : 24305 (run-dec-ls.sh) S 24302 24305 23826 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35299025 4292608 736 18446744073709551615 94919717023744 94919717918277 140736597355536 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94919718157328 94919718205072 94919739789312 140736597358951 140736597359077 140736597359077 140736597364679 0
/proc/24305/statm: 1048 736 672 219 0 110 0
[pid=24307] ppid=24305 vsize=60904 memory=17432 CPUtime=3.08 cores=5,7
/proc/24307/stat : 24307 (roundingsat) R 24305 24305 23826 0 -1 4194304 1847 0 0 0 266 42 0 0 20 0 1 0 35299025 62365696 4358 18446744073709551615 4227072 8923433 140727195562368 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10547200 140727195568544 140727195568680 140727195568680 140727195574250 0
/proc/24307/statm: 15226 4358 2368 1147 0 2653 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 65096 KiB
Current children cumulated memory: 20376 KiB
[startup+6.30014 s]
/proc/loadavg: 4.22 3.98 3.41 5/269 24307
/proc/meminfo: memFree=129862472/131249996 swapFree=33010684/33010684
[pid=24305] ppid=24302 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24305/stat : 24305 (run-dec-ls.sh) S 24302 24305 23826 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35299025 4292608 736 18446744073709551615 94919717023744 94919717918277 140736597355536 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94919718157328 94919718205072 94919739789312 140736597358951 140736597359077 140736597359077 140736597364679 0
/proc/24305/statm: 1048 736 672 219 0 110 0
[pid=24307] ppid=24305 vsize=62000 memory=18584 CPUtime=6.26 cores=5,7
/proc/24307/stat : 24307 (roundingsat) R 24305 24305 23826 0 -1 4194304 2148 0 0 0 554 72 0 0 20 0 1 0 35299025 63488000 4646 18446744073709551615 4227072 8923433 140727195562368 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10547200 140727195568544 140727195568680 140727195568680 140727195574250 0
/proc/24307/statm: 15500 4646 2368 1147 0 2927 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 66192 KiB
Current children cumulated memory: 21528 KiB
[startup+12.7002 s]
/proc/loadavg: 4.20 3.98 3.42 5/269 24308
/proc/meminfo: memFree=129861504/131249996 swapFree=33010684/33010684
[pid=24305] ppid=24302 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24305/stat : 24305 (run-dec-ls.sh) S 24302 24305 23826 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35299025 4292608 736 18446744073709551615 94919717023744 94919717918277 140736597355536 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94919718157328 94919718205072 94919739789312 140736597358951 140736597359077 140736597359077 140736597364679 0
/proc/24305/statm: 1048 736 672 219 0 110 0
[pid=24307] ppid=24305 vsize=63152 memory=21936 CPUtime=12.64 cores=5,7
/proc/24307/stat : 24307 (roundingsat) R 24305 24305 23826 0 -1 4194304 2959 0 0 0 1137 127 0 0 20 0 1 0 35299025 64667648 5484 18446744073709551615 4227072 8923433 140727195562368 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10547200 140727195568544 140727195568680 140727195568680 140727195574250 0
/proc/24307/statm: 15788 5484 2368 1147 0 3215 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 67344 KiB
Current children cumulated memory: 24880 KiB
[startup+25.5002 s]
/proc/loadavg: 4.17 3.98 3.42 5/268 24308
/proc/meminfo: memFree=129849960/131249996 swapFree=33010684/33010684
[pid=24305] ppid=24302 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24305/stat : 24305 (run-dec-ls.sh) S 24302 24305 23826 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35299025 4292608 736 18446744073709551615 94919717023744 94919717918277 140736597355536 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94919718157328 94919718205072 94919739789312 140736597358951 140736597359077 140736597359077 140736597364679 0
/proc/24305/statm: 1048 736 672 219 0 110 0
[pid=24307] ppid=24305 vsize=65852 memory=24320 CPUtime=25.42 cores=5,7
/proc/24307/stat : 24307 (roundingsat) R 24305 24305 23826 0 -1 4194304 5650 0 0 0 2313 229 0 0 20 0 1 0 35299025 67432448 6080 18446744073709551615 4227072 8923433 140727195562368 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10547200 140727195568544 140727195568680 140727195568680 140727195574250 0
/proc/24307/statm: 16463 6080 2368 1147 0 3890 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 70044 KiB
Current children cumulated memory: 27264 KiB
[startup+51.1055 s]
/proc/loadavg: 4.17 4.00 3.45 5/268 24308
/proc/meminfo: memFree=129841396/131249996 swapFree=33010684/33010684
[pid=24305] ppid=24302 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24305/stat : 24305 (run-dec-ls.sh) S 24302 24305 23826 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35299025 4292608 736 18446744073709551615 94919717023744 94919717918277 140736597355536 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94919718157328 94919718205072 94919739789312 140736597358951 140736597359077 140736597359077 140736597364679 0
/proc/24305/statm: 1048 736 672 219 0 110 0
[pid=24307] ppid=24305 vsize=69480 memory=27732 CPUtime=50.96 cores=5,7
/proc/24307/stat : 24307 (roundingsat) R 24305 24305 23826 0 -1 4194304 9381 0 0 0 4707 389 0 0 20 0 1 0 35299025 71147520 6933 18446744073709551615 4227072 8923433 140727195562368 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10547200 140727195568544 140727195568680 140727195568680 140727195574250 0
/proc/24307/statm: 17370 6933 2368 1147 0 4797 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 73672 KiB
Current children cumulated memory: 30676 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.01 3.49 5/269 24315
/proc/meminfo: memFree=129820332/131249996 swapFree=33010684/33010684
[pid=24305] ppid=24302 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24305/stat : 24305 (run-dec-ls.sh) S 24302 24305 23826 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35299025 4292608 736 18446744073709551615 94919717023744 94919717918277 140736597355536 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94919718157328 94919718205072 94919739789312 140736597358951 140736597359077 140736597359077 140736597364679 0
/proc/24305/statm: 1048 736 672 219 0 110 0
[pid=24307] ppid=24305 vsize=74532 memory=31504 CPUtime=102.02 cores=5,7
/proc/24307/stat : 24307 (roundingsat) R 24305 24305 23826 0 -1 4194304 17285 0 0 0 9536 666 0 0 20 0 1 0 35299025 76320768 7876 18446744073709551615 4227072 8923433 140727195562368 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10547200 140727195568544 140727195568680 140727195568680 140727195574250 0
/proc/24307/statm: 18633 7876 2368 1147 0 6060 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 78724 KiB
Current children cumulated memory: 34448 KiB
[startup+109.555 s]
# the end of solver process 24305 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=102.197 s, system=7.0735 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+102.4 s]
/proc/loadavg: 4.13 4.01 3.49 5/269 24315
/proc/meminfo: memFree=129820332/131249996 swapFree=33010684/33010684
[pid=24305] ppid=24302 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24305/stat : 24305 (run-dec-ls.sh) S 24302 24305 23826 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35299025 4292608 736 18446744073709551615 94919717023744 94919717918277 140736597355536 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94919718157328 94919718205072 94919739789312 140736597358951 140736597359077 140736597359077 140736597364679 0
/proc/24305/statm: 1048 736 672 219 0 110 0
[pid=24307] ppid=24305 vsize=74532 memory=31504 CPUtime=102.12 cores=5,7
/proc/24307/stat : 24307 (roundingsat) R 24305 24305 23826 0 -1 4194304 17287 0 0 0 9546 666 0 0 20 0 1 0 35299025 76320768 7876 18446744073709551615 4227072 8923433 140727195562368 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10547200 140727195568544 140727195568680 140727195568680 140727195574250 0
/proc/24307/statm: 18633 7876 2368 1147 0 6060 0
Current children cumulated CPU time: 102.12 s
Current children cumulated vsize: 78724 KiB
Current children cumulated memory: 34448 KiB
[startup+105.6 s]
/proc/loadavg: 4.13 4.01 3.49 5/269 24315
/proc/meminfo: memFree=129819828/131249996 swapFree=33010684/33010684
[pid=24305] ppid=24302 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24305/stat : 24305 (run-dec-ls.sh) S 24302 24305 23826 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35299025 4292608 736 18446744073709551615 94919717023744 94919717918277 140736597355536 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94919718157328 94919718205072 94919739789312 140736597358951 140736597359077 140736597359077 140736597364679 0
/proc/24305/statm: 1048 736 672 219 0 110 0
[pid=24307] ppid=24305 vsize=75500 memory=32572 CPUtime=105.32 cores=5,7
/proc/24307/stat : 24307 (roundingsat) R 24305 24305 23826 0 -1 4194304 17717 0 0 0 9849 683 0 0 20 0 1 0 35299025 77312000 8143 18446744073709551615 4227072 8923433 140727195562368 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10547200 140727195568544 140727195568680 140727195568680 140727195574250 0
/proc/24307/statm: 18875 8143 2368 1147 0 6302 0
Current children cumulated CPU time: 105.32 s
Current children cumulated vsize: 79692 KiB
Current children cumulated memory: 35516 KiB
[startup+107.2 s]
/proc/loadavg: 4.12 4.01 3.49 5/269 24315
/proc/meminfo: memFree=129819088/131249996 swapFree=33010684/33010684
[pid=24305] ppid=24302 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24305/stat : 24305 (run-dec-ls.sh) S 24302 24305 23826 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35299025 4292608 736 18446744073709551615 94919717023744 94919717918277 140736597355536 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94919718157328 94919718205072 94919739789312 140736597358951 140736597359077 140736597359077 140736597364679 0
/proc/24305/statm: 1048 736 672 219 0 110 0
[pid=24307] ppid=24305 vsize=75888 memory=32924 CPUtime=106.91 cores=5,7
/proc/24307/stat : 24307 (roundingsat) R 24305 24305 23826 0 -1 4194304 18156 0 0 0 10000 691 0 0 20 0 1 0 35299025 77709312 8231 18446744073709551615 4227072 8923433 140727195562368 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10547200 140727195568544 140727195568680 140727195568680 140727195574250 0
/proc/24307/statm: 18972 8231 2368 1147 0 6399 0
Current children cumulated CPU time: 106.91 s
Current children cumulated vsize: 80080 KiB
Current children cumulated memory: 35868 KiB
[startup+108.8 s]
/proc/loadavg: 4.12 4.01 3.49 5/269 24315
/proc/meminfo: memFree=129818584/131249996 swapFree=33010684/33010684
[pid=24305] ppid=24302 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24305/stat : 24305 (run-dec-ls.sh) S 24302 24305 23826 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35299025 4292608 736 18446744073709551615 94919717023744 94919717918277 140736597355536 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94919718157328 94919718205072 94919739789312 140736597358951 140736597359077 140736597359077 140736597364679 0
/proc/24305/statm: 1048 736 672 219 0 110 0
[pid=24307] ppid=24305 vsize=76176 memory=33180 CPUtime=108.51 cores=5,7
/proc/24307/stat : 24307 (roundingsat) R 24305 24305 23826 0 -1 4194304 18228 0 0 0 10149 702 0 0 20 0 1 0 35299025 78004224 8295 18446744073709551615 4227072 8923433 140727195562368 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10547200 140727195568544 140727195568680 140727195568680 140727195574250 0
/proc/24307/statm: 19044 8295 2368 1147 0 6471 0
Current children cumulated CPU time: 108.51 s
Current children cumulated vsize: 80368 KiB
Current children cumulated memory: 36124 KiB
[startup+109.2 s]
/proc/loadavg: 4.12 4.01 3.49 5/269 24315
/proc/meminfo: memFree=129818584/131249996 swapFree=33010684/33010684
[pid=24305] ppid=24302 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24305/stat : 24305 (run-dec-ls.sh) S 24302 24305 23826 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35299025 4292608 736 18446744073709551615 94919717023744 94919717918277 140736597355536 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94919718157328 94919718205072 94919739789312 140736597358951 140736597359077 140736597359077 140736597364679 0
/proc/24305/statm: 1048 736 672 219 0 110 0
[pid=24307] ppid=24305 vsize=76176 memory=33180 CPUtime=108.91 cores=5,7
/proc/24307/stat : 24307 (roundingsat) R 24305 24305 23826 0 -1 4194304 18228 0 0 0 10187 704 0 0 20 0 1 0 35299025 78004224 8295 18446744073709551615 4227072 8923433 140727195562368 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10547200 140727195568544 140727195568680 140727195568680 140727195574250 0
/proc/24307/statm: 19044 8295 2368 1147 0 6471 0
Current children cumulated CPU time: 108.91 s
Current children cumulated vsize: 80368 KiB
Current children cumulated memory: 36124 KiB
[startup+109.4 s]
/proc/loadavg: 4.12 4.01 3.49 5/269 24315
/proc/meminfo: memFree=129818584/131249996 swapFree=33010684/33010684
[pid=24305] ppid=24302 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24305/stat : 24305 (run-dec-ls.sh) S 24302 24305 23826 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35299025 4292608 736 18446744073709551615 94919717023744 94919717918277 140736597355536 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94919718157328 94919718205072 94919739789312 140736597358951 140736597359077 140736597359077 140736597364679 0
/proc/24305/statm: 1048 736 672 219 0 110 0
[pid=24307] ppid=24305 vsize=76176 memory=33180 CPUtime=109.1 cores=5,7
/proc/24307/stat : 24307 (roundingsat) R 24305 24305 23826 0 -1 4194304 18228 0 0 0 10205 705 0 0 20 0 1 0 35299025 78004224 8295 18446744073709551615 4227072 8923433 140727195562368 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10547200 140727195568544 140727195568680 140727195568680 140727195574250 0
/proc/24307/statm: 19044 8295 2368 1147 0 6471 0
Current children cumulated CPU time: 109.1 s
Current children cumulated vsize: 80368 KiB
Current children cumulated memory: 36124 KiB
[startup+109.5 s]
/proc/loadavg: 4.12 4.01 3.49 5/269 24315
/proc/meminfo: memFree=129818584/131249996 swapFree=33010684/33010684
[pid=24305] ppid=24302 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24305/stat : 24305 (run-dec-ls.sh) S 24302 24305 23826 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35299025 4292608 736 18446744073709551615 94919717023744 94919717918277 140736597355536 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94919718157328 94919718205072 94919739789312 140736597358951 140736597359077 140736597359077 140736597364679 0
/proc/24305/statm: 1048 736 672 219 0 110 0
[pid=24307] ppid=24305 vsize=76176 memory=33180 CPUtime=109.2 cores=5,7
/proc/24307/stat : 24307 (roundingsat) R 24305 24305 23826 0 -1 4194304 18228 0 0 0 10214 706 0 0 20 0 1 0 35299025 78004224 8295 18446744073709551615 4227072 8923433 140727195562368 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10547200 140727195568544 140727195568680 140727195568680 140727195574250 0
/proc/24307/statm: 19044 8295 2368 1147 0 6471 0
Current children cumulated CPU time: 109.2 s
Current children cumulated vsize: 80368 KiB
Current children cumulated memory: 36124 KiB
Child status: 0
Real time (s): 109.555
CPU time (s): 109.271
CPU user time (s): 102.197
CPU system time (s): 7.0735
CPU usage (%): 99.7405
Max. virtual memory (cumulated for all children) (KiB): 80368
Max. memory (cumulated for all children) (KiB): 36124
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 102.197
system time used= 7.0735
maximum resident set size= 33268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18458
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= 152
involuntary context switches= 678
# summary of solver processes directly reported to runsolver:
# pid: 24305
# total CPU time (s): 109.271
# total CPU user time (s): 102.197
# total CPU system time (s): 7.0735
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.212418 second user time and 0.516299 second system time
The end
Begin job on nodeC032 at 2025-06-29 13:23:24
IDJOB=4510546
IDBENCH=160372
IDSOLVER=3353
FILE ID=nodeC032/4510546-1751196204
RUNJOBID= nodeC032-1751195386-23839
SLURM_JOB_ID= 9587604
Free space on /tmp= 432044 MiB
SOLVER NAME= roundingsat-ls 63f22ad
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/normalized-ECgrid5x50split.cnf-extracted.pb.metafix.opb
COMMAND LINE= run-dec-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4510546-1751196204/watcher-4510546-1751196204 -o /tmp/evaluation-result-4510546-1751196204/solver-4510546-1751196204 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751195386-23839 --watchdog 3760 run-dec-ls.sh HOME/instance-4510546-1751196204.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= becd4f2905a31b4ccafbaa36ee1998fb
RANDOM SEED=1622894096
nodeC032 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/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 : 3599.847
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
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 : 3599.847
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.942
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
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.162
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
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 : 3599.961
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
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 : 3601.813
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
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 : 3789.088
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.843
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 129866436 kB
MemAvailable: 129526800 kB
Buffers: 3280 kB
Cached: 470976 kB
SwapCached: 0 kB
Active: 602952 kB
Inactive: 217880 kB
Active(anon): 364660 kB
Inactive(anon): 0 kB
Active(file): 238292 kB
Inactive(file): 217880 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7244 kB
Writeback: 0 kB
AnonPages: 343100 kB
Mapped: 112600 kB
Shmem: 18068 kB
KReclaimable: 86864 kB
Slab: 170308 kB
SReclaimable: 86864 kB
SUnreclaim: 83444 kB
KernelStack: 4336 kB
PageTables: 3944 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 707172 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150584 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 249856 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 203476 kB
DirectMap2M: 7956480 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432036 MiB
End job on nodeC032 at 2025-06-29 13:25:14