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.24 c #Conflicts: 1000 | #Constraints: 1702
0.19/0.24 c #Conflicts: 2000 | #Constraints: 2703
0.19/0.24 c INPROCESSING
0.19/0.24 c GARBAGE COLLECT
0.19/0.24 c #Conflicts: 3000 | #Constraints: 2731
0.19/0.24 c #Conflicts: 4000 | #Constraints: 3731
0.19/0.24 c INPROCESSING
0.19/0.24 c GARBAGE COLLECT
0.19/0.24 c #Conflicts: 5000 | #Constraints: 3151
0.19/0.24 c #Conflicts: 6000 | #Constraints: 4151
0.19/0.24 c INPROCESSING
0.19/0.24 c GARBAGE COLLECT
0.19/0.24 c rational objective 250.5
0.28/0.35 c #Conflicts: 7000 | #Constraints: 3157
0.28/0.35 c #Conflicts: 8000 | #Constraints: 4157
0.28/0.35 c #Conflicts: 9000 | #Constraints: 5157
0.28/0.35 c INPROCESSING
0.28/0.35 c GARBAGE COLLECT
0.28/0.35 c rational objective 250.5
0.38/0.46 c #Conflicts: 10000 | #Constraints: 3867
0.38/0.46 c #Conflicts: 11000 | #Constraints: 4867
0.38/0.46 c #Conflicts: 12000 | #Constraints: 5867
0.38/0.46 c INPROCESSING
0.38/0.46 c GARBAGE COLLECT
0.38/0.46 c rational objective 250.5
0.48/0.58 c #Conflicts: 13000 | #Constraints: 4318
0.48/0.58 c #Conflicts: 14000 | #Constraints: 5318
0.48/0.58 c #Conflicts: 15000 | #Constraints: 6318
0.48/0.58 c INPROCESSING
0.48/0.58 c GARBAGE COLLECT
0.48/0.58 c rational objective 250.5
0.68/0.72 c #Conflicts: 16000 | #Constraints: 4548
0.68/0.72 c #Conflicts: 17000 | #Constraints: 5548
0.68/0.72 c #Conflicts: 18000 | #Constraints: 6548
0.68/0.72 c INPROCESSING
0.68/0.72 c GARBAGE COLLECT
0.68/0.72 c rational objective 250.5
0.78/0.88 c #Conflicts: 19000 | #Constraints: 4572
0.78/0.88 c #Conflicts: 20000 | #Constraints: 5572
0.78/0.88 c #Conflicts: 21000 | #Constraints: 6572
0.78/0.88 c INPROCESSING
0.78/0.88 c GARBAGE COLLECT
0.78/0.88 c rational objective 250.5
0.98/1.02 c #Conflicts: 22000 | #Constraints: 4375
0.98/1.02 c #Conflicts: 23000 | #Constraints: 5375
0.98/1.02 c #Conflicts: 24000 | #Constraints: 6375
0.98/1.02 c #Conflicts: 25000 | #Constraints: 7375
0.98/1.02 c INPROCESSING
0.98/1.02 c GARBAGE COLLECT
0.98/1.02 c rational objective 250.5
1.17/1.20 c #Conflicts: 26000 | #Constraints: 4986
1.17/1.20 c #Conflicts: 27000 | #Constraints: 5986
1.17/1.20 c #Conflicts: 28000 | #Constraints: 6986
1.17/1.20 c #Conflicts: 29000 | #Constraints: 7986
1.17/1.20 c INPROCESSING
1.17/1.20 c GARBAGE COLLECT
1.17/1.20 c rational objective 250.5
1.28/1.39 c #Conflicts: 30000 | #Constraints: 5378
1.28/1.39 c #Conflicts: 31000 | #Constraints: 6378
1.28/1.39 c #Conflicts: 32000 | #Constraints: 7378
1.28/1.39 c #Conflicts: 33000 | #Constraints: 8378
1.28/1.39 c INPROCESSING
1.28/1.39 c GARBAGE COLLECT
1.28/1.39 c rational objective 250.5
1.57/1.60 c #Conflicts: 34000 | #Constraints: 5579
1.57/1.60 c #Conflicts: 35000 | #Constraints: 6579
1.57/1.60 c #Conflicts: 36000 | #Constraints: 7579
1.57/1.60 c #Conflicts: 37000 | #Constraints: 8579
1.57/1.60 c INPROCESSING
1.57/1.60 c GARBAGE COLLECT
1.57/1.60 c rational objective 250.5
1.68/1.79 c #Conflicts: 38000 | #Constraints: 5582
1.68/1.79 c #Conflicts: 39000 | #Constraints: 6582
1.68/1.79 c #Conflicts: 40000 | #Constraints: 7582
1.68/1.79 c #Conflicts: 41000 | #Constraints: 8582
1.68/1.79 c INPROCESSING
1.68/1.79 c GARBAGE COLLECT
1.68/1.79 c rational objective 250.5
1.98/2.00 c #Conflicts: 42000 | #Constraints: 5380
1.98/2.00 c #Conflicts: 43000 | #Constraints: 6380
1.98/2.00 c #Conflicts: 44000 | #Constraints: 7380
1.98/2.00 c #Conflicts: 45000 | #Constraints: 8380
1.98/2.00 c #Conflicts: 46000 | #Constraints: 9380
1.98/2.00 c INPROCESSING
1.98/2.00 c GARBAGE COLLECT
1.98/2.00 c rational objective 250.5
2.17/2.24 c #Conflicts: 47000 | #Constraints: 5978
2.17/2.24 c #Conflicts: 48000 | #Constraints: 6978
2.17/2.24 c #Conflicts: 49000 | #Constraints: 7978
2.17/2.24 c #Conflicts: 50000 | #Constraints: 8978
2.17/2.24 c #Conflicts: 51000 | #Constraints: 9978
2.17/2.24 c INPROCESSING
2.17/2.24 c GARBAGE COLLECT
2.17/2.24 c rational objective 250.5
2.38/2.47 c #Conflicts: 52000 | #Constraints: 6382
2.38/2.47 c #Conflicts: 53000 | #Constraints: 7382
2.38/2.47 c #Conflicts: 54000 | #Constraints: 8382
2.38/2.47 c #Conflicts: 55000 | #Constraints: 9382
2.38/2.47 c #Conflicts: 56000 | #Constraints: 10382
2.38/2.47 c INPROCESSING
2.38/2.47 c GARBAGE COLLECT
2.38/2.47 c rational objective 250.5
2.67/2.72 c #Conflicts: 57000 | #Constraints: 6578
2.67/2.72 c #Conflicts: 58000 | #Constraints: 7578
2.67/2.72 c #Conflicts: 59000 | #Constraints: 8578
2.67/2.72 c #Conflicts: 60000 | #Constraints: 9578
2.67/2.72 c #Conflicts: 61000 | #Constraints: 10578
2.67/2.72 c INPROCESSING
2.67/2.72 c GARBAGE COLLECT
2.67/2.72 c rational objective 250.5
2.98/3.01 c #Conflicts: 62000 | #Constraints: 6581
2.98/3.01 c #Conflicts: 63000 | #Constraints: 7581
2.98/3.01 c #Conflicts: 64000 | #Constraints: 8581
2.98/3.01 c #Conflicts: 65000 | #Constraints: 9581
2.98/3.01 c #Conflicts: 66000 | #Constraints: 10581
2.98/3.01 c INPROCESSING
2.98/3.01 c GARBAGE COLLECT
2.98/3.01 c rational objective 250.5
3.17/3.29 c #Conflicts: 67000 | #Constraints: 6379
3.17/3.29 c #Conflicts: 68000 | #Constraints: 7379
3.17/3.29 c #Conflicts: 69000 | #Constraints: 8379
3.17/3.29 c #Conflicts: 70000 | #Constraints: 9379
3.17/3.29 c #Conflicts: 71000 | #Constraints: 10379
3.17/3.29 c #Conflicts: 72000 | #Constraints: 11379
3.17/3.29 c INPROCESSING
3.17/3.29 c GARBAGE COLLECT
3.17/3.29 c rational objective 250.5
3.47/3.56 c #Conflicts: 73000 | #Constraints: 6981
3.47/3.56 c #Conflicts: 74000 | #Constraints: 7981
3.47/3.56 c #Conflicts: 75000 | #Constraints: 8981
3.47/3.56 c #Conflicts: 76000 | #Constraints: 9981
3.47/3.56 c #Conflicts: 77000 | #Constraints: 10981
3.47/3.56 c #Conflicts: 78000 | #Constraints: 11981
3.47/3.56 c INPROCESSING
3.47/3.56 c GARBAGE COLLECT
3.47/3.56 c rational objective 250.5
3.77/3.81 c #Conflicts: 79000 | #Constraints: 7380
3.77/3.81 c #Conflicts: 80000 | #Constraints: 8380
3.77/3.81 c #Conflicts: 81000 | #Constraints: 9380
3.77/3.81 c #Conflicts: 82000 | #Constraints: 10380
3.77/3.81 c #Conflicts: 83000 | #Constraints: 11380
3.77/3.81 c #Conflicts: 84000 | #Constraints: 12380
3.77/3.81 c INPROCESSING
3.77/3.81 c GARBAGE COLLECT
3.77/3.81 c rational objective 250.5
3.98/4.07 c #Conflicts: 85000 | #Constraints: 7588
3.98/4.07 c #Conflicts: 86000 | #Constraints: 8588
3.98/4.07 c #Conflicts: 87000 | #Constraints: 9588
3.98/4.07 c #Conflicts: 88000 | #Constraints: 10588
3.98/4.07 c #Conflicts: 89000 | #Constraints: 11588
3.98/4.07 c #Conflicts: 90000 | #Constraints: 12588
3.98/4.07 c INPROCESSING
3.98/4.07 c GARBAGE COLLECT
3.98/4.07 c rational objective 250.5
4.37/4.49 c #Conflicts: 91000 | #Constraints: 7587
4.37/4.49 c #Conflicts: 92000 | #Constraints: 8587
4.37/4.49 c #Conflicts: 93000 | #Constraints: 9588
4.37/4.49 c #Conflicts: 94000 | #Constraints: 10588
4.37/4.49 c #Conflicts: 95000 | #Constraints: 11588
4.37/4.49 c #Conflicts: 96000 | #Constraints: 12588
4.37/4.49 c INPROCESSING
4.37/4.49 c GARBAGE COLLECT
4.37/4.49 c rational objective 250.5
4.66/4.79 c #Conflicts: 97000 | #Constraints: 7381
4.66/4.79 c #Conflicts: 98000 | #Constraints: 8381
4.66/4.79 c #Conflicts: 99000 | #Constraints: 9381
4.66/4.79 c #Conflicts: 100000 | #Constraints: 10381
4.66/4.79 c #Conflicts: 101000 | #Constraints: 11381
4.66/4.79 c #Conflicts: 102000 | #Constraints: 12381
4.66/4.79 c #Conflicts: 103000 | #Constraints: 13381
4.66/4.79 c INPROCESSING
4.66/4.79 c GARBAGE COLLECT
4.66/4.79 c rational objective 250.5
5.07/5.10 c #Conflicts: 104000 | #Constraints: 7978
5.07/5.10 c #Conflicts: 105000 | #Constraints: 8978
5.07/5.10 c #Conflicts: 106000 | #Constraints: 9978
5.07/5.10 c #Conflicts: 107000 | #Constraints: 10978
5.07/5.10 c #Conflicts: 108000 | #Constraints: 11978
5.07/5.10 c #Conflicts: 109000 | #Constraints: 12978
5.07/5.10 c #Conflicts: 110000 | #Constraints: 13978
5.07/5.10 c INPROCESSING
5.07/5.10 c GARBAGE COLLECT
5.07/5.10 c rational objective 250.5
5.36/5.42 c #Conflicts: 111000 | #Constraints: 8387
5.36/5.42 c #Conflicts: 112000 | #Constraints: 9387
5.36/5.42 c #Conflicts: 113000 | #Constraints: 10387
5.36/5.42 c #Conflicts: 114000 | #Constraints: 11387
5.36/5.42 c #Conflicts: 115000 | #Constraints: 12387
5.36/5.42 c #Conflicts: 116000 | #Constraints: 13387
5.36/5.42 c #Conflicts: 117000 | #Constraints: 14387
5.36/5.42 c INPROCESSING
5.36/5.42 c GARBAGE COLLECT
5.36/5.42 c rational objective 250.5
5.66/5.74 c #Conflicts: 118000 | #Constraints: 8584
5.66/5.74 c #Conflicts: 119000 | #Constraints: 9584
5.66/5.74 c #Conflicts: 120000 | #Constraints: 10584
5.66/5.74 c #Conflicts: 121000 | #Constraints: 11584
5.66/5.74 c #Conflicts: 122000 | #Constraints: 12584
5.66/5.74 c #Conflicts: 123000 | #Constraints: 13584
5.66/5.74 c #Conflicts: 124000 | #Constraints: 14584
5.66/5.74 c INPROCESSING
5.66/5.74 c GARBAGE COLLECT
5.66/5.74 c rational objective 250.5
5.97/6.06 c #Conflicts: 125000 | #Constraints: 8586
5.97/6.06 c #Conflicts: 126000 | #Constraints: 9586
5.97/6.06 c #Conflicts: 127000 | #Constraints: 10586
5.97/6.06 c #Conflicts: 128000 | #Constraints: 11586
5.97/6.06 c #Conflicts: 129000 | #Constraints: 12586
5.97/6.06 c #Conflicts: 130000 | #Constraints: 13586
5.97/6.06 c #Conflicts: 131000 | #Constraints: 14586
5.97/6.06 c INPROCESSING
5.97/6.06 c GARBAGE COLLECT
5.97/6.06 c rational objective 250.5
6.36/6.47 c #Conflicts: 132000 | #Constraints: 8386
6.36/6.47 c #Conflicts: 133000 | #Constraints: 9386
6.36/6.47 c #Conflicts: 134000 | #Constraints: 10386
6.36/6.47 c #Conflicts: 135000 | #Constraints: 11386
6.36/6.47 c #Conflicts: 136000 | #Constraints: 12386
6.36/6.47 c #Conflicts: 137000 | #Constraints: 13386
6.36/6.47 c #Conflicts: 138000 | #Constraints: 14386
6.36/6.47 c #Conflicts: 139000 | #Constraints: 15386
6.36/6.47 c INPROCESSING
6.36/6.47 c GARBAGE COLLECT
6.36/6.47 c rational objective 250.5
6.75/6.81 c #Conflicts: 140000 | #Constraints: 8983
6.75/6.81 c #Conflicts: 141000 | #Constraints: 9983
6.75/6.81 c #Conflicts: 142000 | #Constraints: 10983
6.75/6.81 c #Conflicts: 143000 | #Constraints: 11983
6.75/6.81 c #Conflicts: 144000 | #Constraints: 12983
6.75/6.81 c #Conflicts: 145000 | #Constraints: 13983
6.75/6.81 c #Conflicts: 146000 | #Constraints: 14983
6.75/6.81 c #Conflicts: 147000 | #Constraints: 15983
6.75/6.81 c INPROCESSING
6.75/6.81 c GARBAGE COLLECT
6.75/6.81 c rational objective 250.5
7.15/7.20 c #Conflicts: 148000 | #Constraints: 9380
7.15/7.20 c #Conflicts: 149000 | #Constraints: 10380
7.15/7.20 c #Conflicts: 150000 | #Constraints: 11380
7.15/7.20 c #Conflicts: 151000 | #Constraints: 12380
7.15/7.20 c #Conflicts: 152000 | #Constraints: 13380
7.15/7.20 c #Conflicts: 153000 | #Constraints: 14380
7.15/7.20 c #Conflicts: 154000 | #Constraints: 15380
7.15/7.20 c #Conflicts: 155000 | #Constraints: 16380
7.15/7.20 c INPROCESSING
7.15/7.20 c GARBAGE COLLECT
7.15/7.20 c rational objective 250.5
7.45/7.57 c #Conflicts: 156000 | #Constraints: 9585
7.45/7.57 c #Conflicts: 157000 | #Constraints: 10585
7.45/7.57 c #Conflicts: 158000 | #Constraints: 11585
7.45/7.57 c #Conflicts: 159000 | #Constraints: 12585
7.45/7.57 c #Conflicts: 160000 | #Constraints: 13585
7.45/7.57 c #Conflicts: 161000 | #Constraints: 14585
7.45/7.57 c #Conflicts: 162000 | #Constraints: 15585
7.45/7.57 c #Conflicts: 163000 | #Constraints: 16585
7.45/7.57 c INPROCESSING
7.45/7.57 c GARBAGE COLLECT
7.45/7.57 c rational objective 250.5
7.86/7.91 c #Conflicts: 164000 | #Constraints: 9586
7.86/7.91 c #Conflicts: 165000 | #Constraints: 10586
7.86/7.91 c #Conflicts: 166000 | #Constraints: 11586
7.86/7.91 c #Conflicts: 167000 | #Constraints: 12586
7.86/7.91 c #Conflicts: 168000 | #Constraints: 13586
7.86/7.91 c #Conflicts: 169000 | #Constraints: 14586
7.86/7.91 c #Conflicts: 170000 | #Constraints: 15586
7.86/7.91 c #Conflicts: 171000 | #Constraints: 16586
7.86/7.91 c INPROCESSING
7.86/7.91 c GARBAGE COLLECT
7.86/7.91 c rational objective 250.5
8.25/8.34 c #Conflicts: 172000 | #Constraints: 9387
8.25/8.34 c #Conflicts: 173000 | #Constraints: 10387
8.25/8.34 c #Conflicts: 174000 | #Constraints: 11387
8.25/8.34 c #Conflicts: 175000 | #Constraints: 12387
8.25/8.34 c #Conflicts: 176000 | #Constraints: 13387
8.25/8.34 c #Conflicts: 177000 | #Constraints: 14387
8.25/8.34 c #Conflicts: 178000 | #Constraints: 15387
8.25/8.34 c #Conflicts: 179000 | #Constraints: 16387
8.25/8.34 c #Conflicts: 180000 | #Constraints: 17387
8.25/8.34 c INPROCESSING
8.25/8.34 c GARBAGE COLLECT
8.25/8.34 c rational objective 250.5
8.65/8.76 c #Conflicts: 181000 | #Constraints: 9988
8.65/8.76 c #Conflicts: 182000 | #Constraints: 10988
8.65/8.76 c #Conflicts: 183000 | #Constraints: 11988
8.65/8.76 c #Conflicts: 184000 | #Constraints: 12988
8.65/8.76 c #Conflicts: 185000 | #Constraints: 13988
8.65/8.76 c #Conflicts: 186000 | #Constraints: 14988
8.65/8.76 c #Conflicts: 187000 | #Constraints: 15988
8.65/8.76 c #Conflicts: 188000 | #Constraints: 16988
8.65/8.76 c #Conflicts: 189000 | #Constraints: 17988
8.65/8.76 c INPROCESSING
8.65/8.76 c GARBAGE COLLECT
8.65/8.76 c rational objective 250.5
9.15/9.26 c #Conflicts: 190000 | #Constraints: 10390
9.15/9.26 c #Conflicts: 191000 | #Constraints: 11390
9.15/9.26 c #Conflicts: 192000 | #Constraints: 12390
9.15/9.26 c #Conflicts: 193000 | #Constraints: 13390
9.15/9.26 c #Conflicts: 194000 | #Constraints: 14390
9.15/9.26 c #Conflicts: 195000 | #Constraints: 15390
9.15/9.26 c #Conflicts: 196000 | #Constraints: 16390
9.15/9.26 c #Conflicts: 197000 | #Constraints: 17390
9.15/9.26 c #Conflicts: 198000 | #Constraints: 18390
9.15/9.26 c INPROCESSING
9.15/9.26 c GARBAGE COLLECT
9.15/9.26 c rational objective 250.5
9.55/9.67 c #Conflicts: 199000 | #Constraints: 10596
9.55/9.67 c #Conflicts: 200000 | #Constraints: 11596
9.55/9.67 c #Conflicts: 201000 | #Constraints: 12596
9.55/9.67 c #Conflicts: 202000 | #Constraints: 13596
9.55/9.67 c #Conflicts: 203000 | #Constraints: 14596
9.55/9.67 c #Conflicts: 204000 | #Constraints: 15596
9.55/9.67 c #Conflicts: 205000 | #Constraints: 16596
9.55/9.67 c #Conflicts: 206000 | #Constraints: 17596
9.55/9.67 c #Conflicts: 207000 | #Constraints: 18596
9.55/9.67 c INPROCESSING
9.55/9.67 c GARBAGE COLLECT
9.55/9.67 c rational objective 250.5
9.95/10.05 c #Conflicts: 208000 | #Constraints: 10595
9.95/10.05 c #Conflicts: 209000 | #Constraints: 11595
9.95/10.05 c #Conflicts: 210000 | #Constraints: 12595
9.95/10.05 c #Conflicts: 211000 | #Constraints: 13595
9.95/10.05 c #Conflicts: 212000 | #Constraints: 14595
9.95/10.05 c #Conflicts: 213000 | #Constraints: 15595
9.95/10.05 c #Conflicts: 214000 | #Constraints: 16595
9.95/10.05 c #Conflicts: 215000 | #Constraints: 17595
9.95/10.05 c #Conflicts: 216000 | #Constraints: 18595
9.95/10.05 c INPROCESSING
9.95/10.05 c GARBAGE COLLECT
9.95/10.05 c rational objective 250.5
10.74/10.84 c #Conflicts: 217000 | #Constraints: 10398
10.74/10.84 c #Conflicts: 218000 | #Constraints: 11398
10.74/10.84 c #Conflicts: 219000 | #Constraints: 12398
10.74/10.84 c #Conflicts: 220000 | #Constraints: 13398
10.74/10.84 c #Conflicts: 221000 | #Constraints: 14398
10.74/10.84 c #Conflicts: 222000 | #Constraints: 15398
10.74/10.84 c #Conflicts: 223000 | #Constraints: 16398
10.74/10.84 c #Conflicts: 224000 | #Constraints: 17398
10.74/10.84 c #Conflicts: 225000 | #Constraints: 18398
10.74/10.84 c #Conflicts: 226000 | #Constraints: 19398
10.74/10.84 c INPROCESSING
10.74/10.84 c GARBAGE COLLECT
10.74/10.84 c rational objective 250.5
11.14/11.29 c #Conflicts: 227000 | #Constraints: 11005
11.14/11.29 c #Conflicts: 228000 | #Constraints: 12005
11.14/11.29 c #Conflicts: 229000 | #Constraints: 13005
11.14/11.29 c #Conflicts: 230000 | #Constraints: 14005
11.14/11.29 c #Conflicts: 231000 | #Constraints: 15005
11.14/11.29 c #Conflicts: 232000 | #Constraints: 16005
11.14/11.29 c #Conflicts: 233000 | #Constraints: 17005
11.14/11.29 c #Conflicts: 234000 | #Constraints: 18005
11.14/11.29 c #Conflicts: 235000 | #Constraints: 19005
11.14/11.29 c #Conflicts: 236000 | #Constraints: 20005
11.14/11.29 c INPROCESSING
11.14/11.29 c GARBAGE COLLECT
11.14/11.29 c rational objective 250.5
11.64/11.77 c #Conflicts: 237000 | #Constraints: 11399
11.64/11.77 c #Conflicts: 238000 | #Constraints: 12399
11.64/11.77 c #Conflicts: 239000 | #Constraints: 13399
11.64/11.77 c #Conflicts: 240000 | #Constraints: 14399
11.64/11.77 c #Conflicts: 241000 | #Constraints: 15399
11.64/11.77 c #Conflicts: 242000 | #Constraints: 16399
11.64/11.77 c #Conflicts: 243000 | #Constraints: 17399
11.64/11.77 c #Conflicts: 244000 | #Constraints: 18399
11.64/11.77 c #Conflicts: 245000 | #Constraints: 19399
11.64/11.77 c #Conflicts: 246000 | #Constraints: 20399
11.64/11.77 c INPROCESSING
11.64/11.77 c GARBAGE COLLECT
11.64/11.77 c rational objective 250.5
12.24/12.30 c #Conflicts: 247000 | #Constraints: 11592
12.24/12.30 c #Conflicts: 248000 | #Constraints: 12592
12.24/12.30 c #Conflicts: 249000 | #Constraints: 13592
12.24/12.30 c #Conflicts: 250000 | #Constraints: 14592
12.24/12.30 c #Conflicts: 251000 | #Constraints: 15592
12.24/12.30 c #Conflicts: 252000 | #Constraints: 16592
12.24/12.30 c #Conflicts: 253000 | #Constraints: 17592
12.24/12.30 c #Conflicts: 254000 | #Constraints: 18592
12.24/12.30 c #Conflicts: 255000 | #Constraints: 19592
12.24/12.30 c #Conflicts: 256000 | #Constraints: 20592
12.24/12.30 c INPROCESSING
12.24/12.30 c GARBAGE COLLECT
12.24/12.30 c rational objective 250.5
12.64/12.77 c #Conflicts: 257000 | #Constraints: 11596
12.64/12.77 c #Conflicts: 258000 | #Constraints: 12596
12.64/12.77 c #Conflicts: 259000 | #Constraints: 13596
12.64/12.77 c #Conflicts: 260000 | #Constraints: 14596
12.64/12.77 c #Conflicts: 261000 | #Constraints: 15596
12.64/12.77 c #Conflicts: 262000 | #Constraints: 16596
12.64/12.77 c #Conflicts: 263000 | #Constraints: 17596
12.64/12.77 c #Conflicts: 264000 | #Constraints: 18596
12.64/12.77 c #Conflicts: 265000 | #Constraints: 19596
12.64/12.77 c #Conflicts: 266000 | #Constraints: 20596
12.64/12.77 c INPROCESSING
12.64/12.77 c GARBAGE COLLECT
12.64/12.77 c rational objective 250.5
13.34/13.41 c #Conflicts: 267000 | #Constraints: 11393
13.34/13.41 c #Conflicts: 268000 | #Constraints: 12393
13.34/13.41 c #Conflicts: 269000 | #Constraints: 13393
13.34/13.41 c #Conflicts: 270000 | #Constraints: 14393
13.34/13.41 c #Conflicts: 271000 | #Constraints: 15393
13.34/13.41 c #Conflicts: 272000 | #Constraints: 16393
13.34/13.41 c #Conflicts: 273000 | #Constraints: 17393
13.34/13.41 c #Conflicts: 274000 | #Constraints: 18393
13.34/13.41 c #Conflicts: 275000 | #Constraints: 19393
13.34/13.41 c #Conflicts: 276000 | #Constraints: 20393
13.34/13.41 c #Conflicts: 277000 | #Constraints: 21393
13.34/13.41 c INPROCESSING
13.34/13.41 c GARBAGE COLLECT
13.34/13.41 c rational objective 250.5
13.83/13.95 c #Conflicts: 278000 | #Constraints: 11991
13.83/13.95 c #Conflicts: 279000 | #Constraints: 12991
13.83/13.95 c #Conflicts: 280000 | #Constraints: 13991
13.83/13.95 c #Conflicts: 281000 | #Constraints: 14991
13.83/13.95 c #Conflicts: 282000 | #Constraints: 15991
13.83/13.95 c #Conflicts: 283000 | #Constraints: 16991
13.83/13.95 c #Conflicts: 284000 | #Constraints: 17991
13.83/13.95 c #Conflicts: 285000 | #Constraints: 18991
13.83/13.95 c #Conflicts: 286000 | #Constraints: 19991
13.83/13.95 c #Conflicts: 287000 | #Constraints: 20991
13.83/13.95 c #Conflicts: 288000 | #Constraints: 21991
13.83/13.95 c INPROCESSING
13.83/13.95 c GARBAGE COLLECT
13.83/13.95 c rational objective 250.5
14.33/14.49 c #Conflicts: 289000 | #Constraints: 12389
14.33/14.49 c #Conflicts: 290000 | #Constraints: 13389
14.33/14.49 c #Conflicts: 291000 | #Constraints: 14389
14.33/14.49 c #Conflicts: 292000 | #Constraints: 15389
14.33/14.49 c #Conflicts: 293000 | #Constraints: 16389
14.33/14.49 c #Conflicts: 294000 | #Constraints: 17389
14.33/14.49 c #Conflicts: 295000 | #Constraints: 18389
14.33/14.49 c #Conflicts: 296000 | #Constraints: 19389
14.33/14.49 c #Conflicts: 297000 | #Constraints: 20389
14.33/14.49 c #Conflicts: 298000 | #Constraints: 21389
14.33/14.49 c #Conflicts: 299000 | #Constraints: 22389
14.33/14.49 c INPROCESSING
14.33/14.49 c GARBAGE COLLECT
14.33/14.49 c rational objective 250.5
14.84/14.97 c #Conflicts: 300000 | #Constraints: 12590
14.84/14.97 c #Conflicts: 301000 | #Constraints: 13590
14.84/14.97 c #Conflicts: 302000 | #Constraints: 14590
14.84/14.97 c #Conflicts: 303000 | #Constraints: 15590
14.84/14.97 c #Conflicts: 304000 | #Constraints: 16590
14.84/14.97 c #Conflicts: 305000 | #Constraints: 17590
14.84/14.97 c #Conflicts: 306000 | #Constraints: 18590
14.84/14.97 c #Conflicts: 307000 | #Constraints: 19590
14.84/14.97 c #Conflicts: 308000 | #Constraints: 20590
14.84/14.97 c #Conflicts: 309000 | #Constraints: 21590
14.84/14.97 c #Conflicts: 310000 | #Constraints: 22590
14.84/14.97 c INPROCESSING
14.84/14.97 c GARBAGE COLLECT
14.84/14.97 c rational objective 250.5
15.34/15.48 c #Conflicts: 311000 | #Constraints: 12590
15.34/15.48 c #Conflicts: 312000 | #Constraints: 13590
15.34/15.48 c #Conflicts: 313000 | #Constraints: 14590
15.34/15.48 c #Conflicts: 314000 | #Constraints: 15590
15.34/15.48 c #Conflicts: 315000 | #Constraints: 16590
15.34/15.48 c #Conflicts: 316000 | #Constraints: 17590
15.34/15.48 c #Conflicts: 317000 | #Constraints: 18590
15.34/15.48 c #Conflicts: 318000 | #Constraints: 19590
15.34/15.48 c #Conflicts: 319000 | #Constraints: 20590
15.34/15.48 c #Conflicts: 320000 | #Constraints: 21590
15.34/15.48 c #Conflicts: 321000 | #Constraints: 22590
15.34/15.48 c INPROCESSING
15.34/15.48 c GARBAGE COLLECT
15.34/15.48 c rational objective 250.5
16.03/16.18 c #Conflicts: 322000 | #Constraints: 12398
16.03/16.18 c #Conflicts: 323000 | #Constraints: 13398
16.03/16.18 c #Conflicts: 324000 | #Constraints: 14398
16.03/16.18 c #Conflicts: 325000 | #Constraints: 15398
16.03/16.18 c #Conflicts: 326000 | #Constraints: 16398
16.03/16.18 c #Conflicts: 327000 | #Constraints: 17398
16.03/16.18 c #Conflicts: 328000 | #Constraints: 18398
16.03/16.18 c #Conflicts: 329000 | #Constraints: 19398
16.03/16.18 c #Conflicts: 330000 | #Constraints: 20398
16.03/16.18 c #Conflicts: 331000 | #Constraints: 21398
16.03/16.18 c #Conflicts: 332000 | #Constraints: 22398
16.03/16.18 c #Conflicts: 333000 | #Constraints: 23398
16.03/16.18 c INPROCESSING
16.03/16.18 c GARBAGE COLLECT
16.03/16.18 c rational objective 250.5
16.63/16.74 c #Conflicts: 334000 | #Constraints: 13000
16.63/16.74 c #Conflicts: 335000 | #Constraints: 14000
16.63/16.74 c #Conflicts: 336000 | #Constraints: 15000
16.63/16.74 c #Conflicts: 337000 | #Constraints: 16000
16.63/16.74 c #Conflicts: 338000 | #Constraints: 17000
16.63/16.74 c #Conflicts: 339000 | #Constraints: 18000
16.63/16.74 c #Conflicts: 340000 | #Constraints: 19000
16.63/16.74 c #Conflicts: 341000 | #Constraints: 20000
16.63/16.74 c #Conflicts: 342000 | #Constraints: 21000
16.63/16.74 c #Conflicts: 343000 | #Constraints: 22000
16.63/16.74 c #Conflicts: 344000 | #Constraints: 23000
16.63/16.74 c #Conflicts: 345000 | #Constraints: 24000
16.63/16.74 c INPROCESSING
16.63/16.74 c GARBAGE COLLECT
16.63/16.74 c rational objective 250.5
17.23/17.34 c #Conflicts: 346000 | #Constraints: 13395
17.23/17.34 c #Conflicts: 347000 | #Constraints: 14395
17.23/17.34 c #Conflicts: 348000 | #Constraints: 15395
17.23/17.34 c #Conflicts: 349000 | #Constraints: 16395
17.23/17.34 c #Conflicts: 350000 | #Constraints: 17395
17.23/17.34 c #Conflicts: 351000 | #Constraints: 18395
17.23/17.34 c #Conflicts: 352000 | #Constraints: 19395
17.23/17.34 c #Conflicts: 353000 | #Constraints: 20395
17.23/17.34 c #Conflicts: 354000 | #Constraints: 21395
17.23/17.34 c #Conflicts: 355000 | #Constraints: 22395
17.23/17.34 c #Conflicts: 356000 | #Constraints: 23395
17.23/17.34 c #Conflicts: 357000 | #Constraints: 24395
17.23/17.34 c INPROCESSING
17.23/17.34 c GARBAGE COLLECT
17.23/17.34 c rational objective 250.5
17.83/17.90 c #Conflicts: 358000 | #Constraints: 13588
17.83/17.90 c #Conflicts: 359000 | #Constraints: 14588
17.83/17.90 c #Conflicts: 360000 | #Constraints: 15588
17.83/17.90 c #Conflicts: 361000 | #Constraints: 16588
17.83/17.90 c #Conflicts: 362000 | #Constraints: 17588
17.83/17.90 c #Conflicts: 363000 | #Constraints: 18588
17.83/17.90 c #Conflicts: 364000 | #Constraints: 19588
17.83/17.90 c #Conflicts: 365000 | #Constraints: 20588
17.83/17.90 c #Conflicts: 366000 | #Constraints: 21588
17.83/17.90 c #Conflicts: 367000 | #Constraints: 22588
17.83/17.90 c #Conflicts: 368000 | #Constraints: 23588
17.83/17.90 c #Conflicts: 369000 | #Constraints: 24588
17.83/17.90 c INPROCESSING
17.83/17.90 c GARBAGE COLLECT
17.83/17.90 c rational objective 250.5
18.32/18.46 c #Conflicts: 370000 | #Constraints: 13593
18.32/18.46 c #Conflicts: 371000 | #Constraints: 14593
18.32/18.46 c #Conflicts: 372000 | #Constraints: 15593
18.32/18.46 c #Conflicts: 373000 | #Constraints: 16593
18.32/18.46 c #Conflicts: 374000 | #Constraints: 17593
18.32/18.46 c #Conflicts: 375000 | #Constraints: 18593
18.32/18.46 c #Conflicts: 376000 | #Constraints: 19593
18.32/18.46 c #Conflicts: 377000 | #Constraints: 20593
18.32/18.46 c #Conflicts: 378000 | #Constraints: 21593
18.32/18.46 c #Conflicts: 379000 | #Constraints: 22593
18.32/18.46 c #Conflicts: 380000 | #Constraints: 23593
18.32/18.46 c #Conflicts: 381000 | #Constraints: 24593
18.32/18.46 c INPROCESSING
18.32/18.46 c GARBAGE COLLECT
18.32/18.46 c rational objective 250.5
18.82/19.00 c #Conflicts: 382000 | #Constraints: 13389
18.82/19.00 c #Conflicts: 383000 | #Constraints: 14389
18.82/19.00 c #Conflicts: 384000 | #Constraints: 15389
18.82/19.00 c #Conflicts: 385000 | #Constraints: 16389
18.82/19.00 c #Conflicts: 386000 | #Constraints: 17389
18.82/19.00 c #Conflicts: 387000 | #Constraints: 18389
18.82/19.00 c #Conflicts: 388000 | #Constraints: 19389
18.82/19.00 c #Conflicts: 389000 | #Constraints: 20389
18.82/19.00 c #Conflicts: 390000 | #Constraints: 21389
18.82/19.00 c #Conflicts: 391000 | #Constraints: 22389
18.82/19.00 c #Conflicts: 392000 | #Constraints: 23389
18.82/19.00 c #Conflicts: 393000 | #Constraints: 24389
18.82/19.00 c #Conflicts: 394000 | #Constraints: 25389
18.82/19.00 c INPROCESSING
18.82/19.00 c GARBAGE COLLECT
18.82/19.00 c rational objective 250.5
19.52/19.64 c #Conflicts: 395000 | #Constraints: 14000
19.52/19.64 c #Conflicts: 396000 | #Constraints: 15000
19.52/19.64 c #Conflicts: 397000 | #Constraints: 16000
19.52/19.64 c #Conflicts: 398000 | #Constraints: 17000
19.52/19.64 c #Conflicts: 399000 | #Constraints: 18000
19.52/19.64 c #Conflicts: 400000 | #Constraints: 19000
19.52/19.64 c #Conflicts: 401000 | #Constraints: 20000
19.52/19.64 c #Conflicts: 402000 | #Constraints: 21000
19.52/19.64 c #Conflicts: 403000 | #Constraints: 22000
19.52/19.64 c #Conflicts: 404000 | #Constraints: 23000
19.52/19.64 c #Conflicts: 405000 | #Constraints: 24000
19.52/19.64 c #Conflicts: 406000 | #Constraints: 25000
19.52/19.64 c #Conflicts: 407000 | #Constraints: 26000
19.52/19.64 c INPROCESSING
19.52/19.64 c GARBAGE COLLECT
19.52/19.64 c rational objective 250.5
20.22/20.30 c #Conflicts: 408000 | #Constraints: 14399
20.22/20.30 c #Conflicts: 409000 | #Constraints: 15399
20.22/20.30 c #Conflicts: 410000 | #Constraints: 16399
20.22/20.30 c #Conflicts: 411000 | #Constraints: 17399
20.22/20.30 c #Conflicts: 412000 | #Constraints: 18399
20.22/20.30 c #Conflicts: 413000 | #Constraints: 19399
20.22/20.30 c #Conflicts: 414000 | #Constraints: 20399
20.22/20.30 c #Conflicts: 415000 | #Constraints: 21399
20.22/20.30 c #Conflicts: 416000 | #Constraints: 22399
20.22/20.30 c #Conflicts: 417000 | #Constraints: 23399
20.22/20.30 c #Conflicts: 418000 | #Constraints: 24399
20.22/20.30 c #Conflicts: 419000 | #Constraints: 25399
20.22/20.30 c #Conflicts: 420000 | #Constraints: 26399
20.22/20.30 c INPROCESSING
20.22/20.30 c GARBAGE COLLECT
20.22/20.30 c rational objective 250.5
20.93/21.07 c #Conflicts: 421000 | #Constraints: 14609
20.93/21.07 c #Conflicts: 422000 | #Constraints: 15609
20.93/21.07 c #Conflicts: 423000 | #Constraints: 16609
20.93/21.07 c #Conflicts: 424000 | #Constraints: 17609
20.93/21.07 c #Conflicts: 425000 | #Constraints: 18609
20.93/21.07 c #Conflicts: 426000 | #Constraints: 19609
20.93/21.07 c #Conflicts: 427000 | #Constraints: 20609
20.93/21.07 c #Conflicts: 428000 | #Constraints: 21609
20.93/21.07 c #Conflicts: 429000 | #Constraints: 22609
20.93/21.07 c #Conflicts: 430000 | #Constraints: 23609
20.93/21.07 c #Conflicts: 431000 | #Constraints: 24609
20.93/21.07 c #Conflicts: 432000 | #Constraints: 25609
20.93/21.07 c #Conflicts: 433000 | #Constraints: 26609
20.93/21.07 c INPROCESSING
20.93/21.07 c GARBAGE COLLECT
20.93/21.07 c rational objective 250.5
21.62/21.73 c #Conflicts: 434000 | #Constraints: 14611
21.62/21.73 c #Conflicts: 435000 | #Constraints: 15611
21.62/21.73 c #Conflicts: 436000 | #Constraints: 16611
21.62/21.73 c #Conflicts: 437000 | #Constraints: 17611
21.62/21.73 c #Conflicts: 438000 | #Constraints: 18611
21.62/21.73 c #Conflicts: 439000 | #Constraints: 19611
21.62/21.73 c #Conflicts: 440000 | #Constraints: 20611
21.62/21.73 c #Conflicts: 441000 | #Constraints: 21611
21.62/21.73 c #Conflicts: 442000 | #Constraints: 22611
21.62/21.73 c #Conflicts: 443000 | #Constraints: 23611
21.62/21.73 c #Conflicts: 444000 | #Constraints: 24611
21.62/21.73 c #Conflicts: 445000 | #Constraints: 25611
21.62/21.73 c #Conflicts: 446000 | #Constraints: 26611
21.62/21.73 c INPROCESSING
21.62/21.73 c GARBAGE COLLECT
21.62/21.73 c rational objective 250.5
22.22/22.30 c #Conflicts: 447000 | #Constraints: 14413
22.22/22.30 c #Conflicts: 448000 | #Constraints: 15413
22.22/22.30 c #Conflicts: 449000 | #Constraints: 16413
22.22/22.30 c #Conflicts: 450000 | #Constraints: 17413
22.22/22.30 c #Conflicts: 451000 | #Constraints: 18413
22.22/22.30 c #Conflicts: 452000 | #Constraints: 19413
22.22/22.30 c #Conflicts: 453000 | #Constraints: 20413
22.22/22.30 c #Conflicts: 454000 | #Constraints: 21413
22.22/22.30 c #Conflicts: 455000 | #Constraints: 22413
22.22/22.30 c #Conflicts: 456000 | #Constraints: 23413
22.22/22.30 c #Conflicts: 457000 | #Constraints: 24413
22.22/22.30 c #Conflicts: 458000 | #Constraints: 25413
22.22/22.30 c #Conflicts: 459000 | #Constraints: 26413
22.22/22.30 c #Conflicts: 460000 | #Constraints: 27413
22.22/22.30 c INPROCESSING
22.22/22.30 c GARBAGE COLLECT
22.22/22.30 c rational objective 250.5
22.81/22.91 c #Conflicts: 461000 | #Constraints: 15017
22.81/22.91 c #Conflicts: 462000 | #Constraints: 16017
22.81/22.91 c #Conflicts: 463000 | #Constraints: 17017
22.81/22.91 c #Conflicts: 464000 | #Constraints: 18017
22.81/22.91 c #Conflicts: 465000 | #Constraints: 19017
22.81/22.91 c #Conflicts: 466000 | #Constraints: 20017
22.81/22.91 c #Conflicts: 467000 | #Constraints: 21017
22.81/22.91 c #Conflicts: 468000 | #Constraints: 22017
22.81/22.91 c #Conflicts: 469000 | #Constraints: 23017
22.81/22.91 c #Conflicts: 470000 | #Constraints: 24017
22.81/22.91 c #Conflicts: 471000 | #Constraints: 25017
22.81/22.91 c #Conflicts: 472000 | #Constraints: 26017
22.81/22.91 c #Conflicts: 473000 | #Constraints: 27017
22.81/22.91 c #Conflicts: 474000 | #Constraints: 28017
22.81/22.91 c INPROCESSING
22.81/22.91 c GARBAGE COLLECT
22.81/22.91 c rational objective 250.5
23.61/23.72 c #Conflicts: 475000 | #Constraints: 15419
23.61/23.72 c #Conflicts: 476000 | #Constraints: 16419
23.61/23.72 c #Conflicts: 477000 | #Constraints: 17419
23.61/23.72 c #Conflicts: 478000 | #Constraints: 18419
23.61/23.72 c #Conflicts: 479000 | #Constraints: 19419
23.61/23.72 c #Conflicts: 480000 | #Constraints: 20419
23.61/23.72 c #Conflicts: 481000 | #Constraints: 21419
23.61/23.72 c #Conflicts: 482000 | #Constraints: 22419
23.61/23.72 c #Conflicts: 483000 | #Constraints: 23419
23.61/23.72 c #Conflicts: 484000 | #Constraints: 24419
23.61/23.72 c #Conflicts: 485000 | #Constraints: 25419
23.61/23.72 c #Conflicts: 486000 | #Constraints: 26419
23.61/23.72 c #Conflicts: 487000 | #Constraints: 27419
23.61/23.72 c #Conflicts: 488000 | #Constraints: 28419
23.61/23.72 c INPROCESSING
23.61/23.72 c GARBAGE COLLECT
23.61/23.72 c rational objective 250.5
24.61/24.79 c #Conflicts: 489000 | #Constraints: 15624
24.61/24.79 c #Conflicts: 490000 | #Constraints: 16624
24.61/24.79 c #Conflicts: 491000 | #Constraints: 17624
24.61/24.79 c #Conflicts: 492000 | #Constraints: 18624
24.61/24.79 c #Conflicts: 493000 | #Constraints: 19624
24.61/24.79 c #Conflicts: 494000 | #Constraints: 20624
24.61/24.79 c #Conflicts: 495000 | #Constraints: 21624
24.61/24.79 c #Conflicts: 496000 | #Constraints: 22624
24.61/24.79 c #Conflicts: 497000 | #Constraints: 23624
24.61/24.79 c #Conflicts: 498000 | #Constraints: 24624
24.61/24.79 c #Conflicts: 499000 | #Constraints: 25624
24.61/24.79 c #Conflicts: 500000 | #Constraints: 26624
24.61/24.79 c #Conflicts: 501000 | #Constraints: 27624
24.61/24.79 c #Conflicts: 502000 | #Constraints: 28624
24.61/24.79 c INPROCESSING
24.61/24.79 c GARBAGE COLLECT
24.61/24.79 c rational objective 250.5
25.31/25.40 c #Conflicts: 503000 | #Constraints: 15619
25.31/25.40 c #Conflicts: 504000 | #Constraints: 16619
25.31/25.40 c #Conflicts: 505000 | #Constraints: 17619
25.31/25.40 c #Conflicts: 506000 | #Constraints: 18619
25.31/25.40 c #Conflicts: 507000 | #Constraints: 19619
25.31/25.40 c #Conflicts: 508000 | #Constraints: 20619
25.31/25.40 c #Conflicts: 509000 | #Constraints: 21619
25.31/25.40 c #Conflicts: 510000 | #Constraints: 22619
25.31/25.40 c #Conflicts: 511000 | #Constraints: 23619
25.31/25.40 c #Conflicts: 512000 | #Constraints: 24619
25.31/25.40 c #Conflicts: 513000 | #Constraints: 25619
25.31/25.40 c #Conflicts: 514000 | #Constraints: 26619
25.31/25.40 c #Conflicts: 515000 | #Constraints: 27619
25.31/25.40 c #Conflicts: 516000 | #Constraints: 28619
25.31/25.40 c INPROCESSING
25.31/25.40 c GARBAGE COLLECT
25.31/25.40 c rational objective 250.5
26.11/26.20 c #Conflicts: 517000 | #Constraints: 15410
26.11/26.20 c #Conflicts: 518000 | #Constraints: 16410
26.11/26.20 c #Conflicts: 519000 | #Constraints: 17410
26.11/26.20 c #Conflicts: 520000 | #Constraints: 18410
26.11/26.20 c #Conflicts: 521000 | #Constraints: 19410
26.11/26.20 c #Conflicts: 522000 | #Constraints: 20410
26.11/26.20 c #Conflicts: 523000 | #Constraints: 21410
26.11/26.20 c #Conflicts: 524000 | #Constraints: 22410
26.11/26.20 c #Conflicts: 525000 | #Constraints: 23410
26.11/26.20 c #Conflicts: 526000 | #Constraints: 24410
26.11/26.20 c #Conflicts: 527000 | #Constraints: 25410
26.11/26.20 c #Conflicts: 528000 | #Constraints: 26410
26.11/26.20 c #Conflicts: 529000 | #Constraints: 27410
26.11/26.20 c #Conflicts: 530000 | #Constraints: 28410
26.11/26.20 c #Conflicts: 531000 | #Constraints: 29410
26.11/26.20 c INPROCESSING
26.11/26.20 c GARBAGE COLLECT
26.11/26.20 c rational objective 250.5
26.81/26.92 c #Conflicts: 532000 | #Constraints: 16010
26.81/26.92 c #Conflicts: 533000 | #Constraints: 17010
26.81/26.92 c #Conflicts: 534000 | #Constraints: 18010
26.81/26.92 c #Conflicts: 535000 | #Constraints: 19010
26.81/26.92 c #Conflicts: 536000 | #Constraints: 20010
26.81/26.92 c #Conflicts: 537000 | #Constraints: 21010
26.81/26.92 c #Conflicts: 538000 | #Constraints: 22010
26.81/26.92 c #Conflicts: 539000 | #Constraints: 23010
26.81/26.92 c #Conflicts: 540000 | #Constraints: 24010
26.81/26.92 c #Conflicts: 541000 | #Constraints: 25010
26.81/26.92 c #Conflicts: 542000 | #Constraints: 26010
26.81/26.92 c #Conflicts: 543000 | #Constraints: 27010
26.81/26.92 c #Conflicts: 544000 | #Constraints: 28010
26.81/26.92 c #Conflicts: 545000 | #Constraints: 29010
26.81/26.92 c #Conflicts: 546000 | #Constraints: 30010
26.81/26.92 c INPROCESSING
26.81/26.92 c GARBAGE COLLECT
26.81/26.92 c rational objective 250.5
27.60/27.78 c #Conflicts: 547000 | #Constraints: 16413
27.60/27.78 c #Conflicts: 548000 | #Constraints: 17413
27.60/27.78 c #Conflicts: 549000 | #Constraints: 18413
27.60/27.78 c #Conflicts: 550000 | #Constraints: 19413
27.60/27.78 c #Conflicts: 551000 | #Constraints: 20413
27.60/27.78 c #Conflicts: 552000 | #Constraints: 21413
27.60/27.78 c #Conflicts: 553000 | #Constraints: 22413
27.60/27.78 c #Conflicts: 554000 | #Constraints: 23413
27.60/27.78 c #Conflicts: 555000 | #Constraints: 24413
27.60/27.78 c #Conflicts: 556000 | #Constraints: 25413
27.60/27.78 c #Conflicts: 557000 | #Constraints: 26413
27.60/27.78 c #Conflicts: 558000 | #Constraints: 27413
27.60/27.78 c #Conflicts: 559000 | #Constraints: 28413
27.60/27.78 c #Conflicts: 560000 | #Constraints: 29413
27.60/27.78 c #Conflicts: 561000 | #Constraints: 30413
27.60/27.78 c INPROCESSING
27.60/27.78 c GARBAGE COLLECT
27.60/27.78 c rational objective 250.5
28.40/28.53 c #Conflicts: 562000 | #Constraints: 16605
28.40/28.53 c #Conflicts: 563000 | #Constraints: 17605
28.40/28.53 c #Conflicts: 564000 | #Constraints: 18605
28.40/28.53 c #Conflicts: 565000 | #Constraints: 19605
28.40/28.53 c #Conflicts: 566000 | #Constraints: 20605
28.40/28.53 c #Conflicts: 567000 | #Constraints: 21605
28.40/28.53 c #Conflicts: 568000 | #Constraints: 22605
28.40/28.53 c #Conflicts: 569000 | #Constraints: 23605
28.40/28.53 c #Conflicts: 570000 | #Constraints: 24605
28.40/28.53 c #Conflicts: 571000 | #Constraints: 25605
28.40/28.53 c #Conflicts: 572000 | #Constraints: 26605
28.40/28.53 c #Conflicts: 573000 | #Constraints: 27605
28.40/28.53 c #Conflicts: 574000 | #Constraints: 28605
28.40/28.53 c #Conflicts: 575000 | #Constraints: 29605
28.40/28.53 c #Conflicts: 576000 | #Constraints: 30605
28.40/28.53 c INPROCESSING
28.40/28.53 c GARBAGE COLLECT
28.40/28.53 c rational objective 250.5
29.10/29.28 c #Conflicts: 577000 | #Constraints: 16607
29.10/29.28 c #Conflicts: 578000 | #Constraints: 17607
29.10/29.28 c #Conflicts: 579000 | #Constraints: 18607
29.10/29.28 c #Conflicts: 580000 | #Constraints: 19607
29.10/29.28 c #Conflicts: 581000 | #Constraints: 20607
29.10/29.28 c #Conflicts: 582000 | #Constraints: 21607
29.10/29.28 c #Conflicts: 583000 | #Constraints: 22607
29.10/29.28 c #Conflicts: 584000 | #Constraints: 23607
29.10/29.28 c #Conflicts: 585000 | #Constraints: 24607
29.10/29.28 c #Conflicts: 586000 | #Constraints: 25607
29.10/29.28 c #Conflicts: 587000 | #Constraints: 26607
29.10/29.28 c #Conflicts: 588000 | #Constraints: 27607
29.10/29.28 c #Conflicts: 589000 | #Constraints: 28607
29.10/29.28 c #Conflicts: 590000 | #Constraints: 29607
29.10/29.28 c #Conflicts: 591000 | #Constraints: 30607
29.10/29.28 c INPROCESSING
29.10/29.28 c GARBAGE COLLECT
29.10/29.28 c rational objective 250.5
29.90/30.09 c #Conflicts: 592000 | #Constraints: 16399
29.90/30.09 c #Conflicts: 593000 | #Constraints: 17399
29.90/30.09 c #Conflicts: 594000 | #Constraints: 18399
29.90/30.09 c #Conflicts: 595000 | #Constraints: 19399
29.90/30.09 c #Conflicts: 596000 | #Constraints: 20399
29.90/30.09 c #Conflicts: 597000 | #Constraints: 21399
29.90/30.09 c #Conflicts: 598000 | #Constraints: 22399
29.90/30.09 c #Conflicts: 599000 | #Constraints: 23399
29.90/30.09 c #Conflicts: 600000 | #Constraints: 24399
29.90/30.09 c #Conflicts: 601000 | #Constraints: 25399
29.90/30.09 c #Conflicts: 602000 | #Constraints: 26399
29.90/30.09 c #Conflicts: 603000 | #Constraints: 27399
29.90/30.09 c #Conflicts: 604000 | #Constraints: 28399
29.90/30.09 c #Conflicts: 605000 | #Constraints: 29399
29.90/30.09 c #Conflicts: 606000 | #Constraints: 30399
29.90/30.09 c #Conflicts: 607000 | #Constraints: 31399
29.90/30.09 c INPROCESSING
29.90/30.09 c GARBAGE COLLECT
29.90/30.09 c rational objective 250.5
30.89/31.03 c #Conflicts: 608000 | #Constraints: 17000
30.89/31.03 c #Conflicts: 609000 | #Constraints: 18000
30.89/31.03 c #Conflicts: 610000 | #Constraints: 19000
30.89/31.03 c #Conflicts: 611000 | #Constraints: 20000
30.89/31.03 c #Conflicts: 612000 | #Constraints: 21000
30.89/31.03 c #Conflicts: 613000 | #Constraints: 22000
30.89/31.03 c #Conflicts: 614000 | #Constraints: 23000
30.89/31.03 c #Conflicts: 615000 | #Constraints: 24000
30.89/31.03 c #Conflicts: 616000 | #Constraints: 25000
30.89/31.03 c #Conflicts: 617000 | #Constraints: 26000
30.89/31.03 c #Conflicts: 618000 | #Constraints: 27000
30.89/31.03 c #Conflicts: 619000 | #Constraints: 28000
30.89/31.03 c #Conflicts: 620000 | #Constraints: 29000
30.89/31.03 c #Conflicts: 621000 | #Constraints: 30000
30.89/31.03 c #Conflicts: 622000 | #Constraints: 31000
30.89/31.03 c #Conflicts: 623000 | #Constraints: 32000
30.89/31.03 c INPROCESSING
30.89/31.03 c GARBAGE COLLECT
30.89/31.03 c rational objective 250.5
31.69/31.86 c #Conflicts: 624000 | #Constraints: 17397
31.69/31.86 c #Conflicts: 625000 | #Constraints: 18397
31.69/31.86 c #Conflicts: 626000 | #Constraints: 19397
31.69/31.86 c #Conflicts: 627000 | #Constraints: 20397
31.69/31.86 c #Conflicts: 628000 | #Constraints: 21397
31.69/31.86 c #Conflicts: 629000 | #Constraints: 22397
31.69/31.86 c #Conflicts: 630000 | #Constraints: 23397
31.69/31.86 c #Conflicts: 631000 | #Constraints: 24397
31.69/31.86 c #Conflicts: 632000 | #Constraints: 25397
31.69/31.86 c #Conflicts: 633000 | #Constraints: 26397
31.69/31.86 c #Conflicts: 634000 | #Constraints: 27397
31.69/31.86 c #Conflicts: 635000 | #Constraints: 28397
31.69/31.86 c #Conflicts: 636000 | #Constraints: 29397
31.69/31.86 c #Conflicts: 637000 | #Constraints: 30397
31.69/31.86 c #Conflicts: 638000 | #Constraints: 31397
31.69/31.86 c #Conflicts: 639000 | #Constraints: 32397
31.69/31.86 c INPROCESSING
31.69/31.86 c GARBAGE COLLECT
31.69/31.86 c rational objective 250.5
32.49/32.68 c #Conflicts: 640000 | #Constraints: 17601
32.49/32.68 c #Conflicts: 641000 | #Constraints: 18601
32.49/32.68 c #Conflicts: 642000 | #Constraints: 19601
32.49/32.68 c #Conflicts: 643000 | #Constraints: 20601
32.49/32.68 c #Conflicts: 644000 | #Constraints: 21601
32.49/32.68 c #Conflicts: 645000 | #Constraints: 22601
32.49/32.68 c #Conflicts: 646000 | #Constraints: 23601
32.49/32.68 c #Conflicts: 647000 | #Constraints: 24601
32.49/32.68 c #Conflicts: 648000 | #Constraints: 25601
32.49/32.68 c #Conflicts: 649000 | #Constraints: 26601
32.49/32.68 c #Conflicts: 650000 | #Constraints: 27601
32.49/32.68 c #Conflicts: 651000 | #Constraints: 28601
32.49/32.68 c #Conflicts: 652000 | #Constraints: 29601
32.49/32.68 c #Conflicts: 653000 | #Constraints: 30601
32.49/32.68 c #Conflicts: 654000 | #Constraints: 31601
32.49/32.68 c #Conflicts: 655000 | #Constraints: 32601
32.49/32.68 c INPROCESSING
32.49/32.68 c GARBAGE COLLECT
32.49/32.68 c rational objective 250.5
33.29/33.49 c #Conflicts: 656000 | #Constraints: 17599
33.29/33.49 c #Conflicts: 657000 | #Constraints: 18599
33.29/33.49 c #Conflicts: 658000 | #Constraints: 19599
33.29/33.49 c #Conflicts: 659000 | #Constraints: 20599
33.29/33.49 c #Conflicts: 660000 | #Constraints: 21599
33.29/33.49 c #Conflicts: 661000 | #Constraints: 22599
33.29/33.49 c #Conflicts: 662000 | #Constraints: 23599
33.29/33.49 c #Conflicts: 663000 | #Constraints: 24599
33.29/33.49 c #Conflicts: 664000 | #Constraints: 25599
33.29/33.49 c #Conflicts: 665000 | #Constraints: 26599
33.29/33.49 c #Conflicts: 666000 | #Constraints: 27599
33.29/33.49 c #Conflicts: 667000 | #Constraints: 28599
33.29/33.49 c #Conflicts: 668000 | #Constraints: 29599
33.29/33.49 c #Conflicts: 669000 | #Constraints: 30599
33.29/33.49 c #Conflicts: 670000 | #Constraints: 31599
33.29/33.49 c #Conflicts: 671000 | #Constraints: 32599
33.29/33.49 c INPROCESSING
33.29/33.49 c GARBAGE COLLECT
33.29/33.49 c rational objective 250.5
34.18/34.32 c #Conflicts: 672000 | #Constraints: 17400
34.18/34.32 c #Conflicts: 673000 | #Constraints: 18400
34.18/34.32 c #Conflicts: 674000 | #Constraints: 19400
34.18/34.32 c #Conflicts: 675000 | #Constraints: 20400
34.18/34.32 c #Conflicts: 676000 | #Constraints: 21400
34.18/34.32 c #Conflicts: 677000 | #Constraints: 22400
34.18/34.32 c #Conflicts: 678000 | #Constraints: 23400
34.18/34.32 c #Conflicts: 679000 | #Constraints: 24400
34.18/34.32 c #Conflicts: 680000 | #Constraints: 25400
34.18/34.32 c #Conflicts: 681000 | #Constraints: 26400
34.18/34.32 c #Conflicts: 682000 | #Constraints: 27400
34.18/34.32 c #Conflicts: 683000 | #Constraints: 28400
34.18/34.32 c #Conflicts: 684000 | #Constraints: 29400
34.18/34.32 c #Conflicts: 685000 | #Constraints: 30400
34.18/34.32 c #Conflicts: 686000 | #Constraints: 31400
34.18/34.32 c #Conflicts: 687000 | #Constraints: 32400
34.18/34.32 c #Conflicts: 688000 | #Constraints: 33401
34.18/34.32 c INPROCESSING
34.18/34.32 c GARBAGE COLLECT
34.18/34.32 c rational objective 250.5
35.08/35.27 c #Conflicts: 689000 | #Constraints: 17999
35.08/35.27 c #Conflicts: 690000 | #Constraints: 18999
35.08/35.27 c #Conflicts: 691000 | #Constraints: 19999
35.08/35.27 c #Conflicts: 692000 | #Constraints: 20999
35.08/35.27 c #Conflicts: 693000 | #Constraints: 21999
35.08/35.27 c #Conflicts: 694000 | #Constraints: 22999
35.08/35.27 c #Conflicts: 695000 | #Constraints: 23999
35.08/35.27 c #Conflicts: 696000 | #Constraints: 24999
35.08/35.27 c #Conflicts: 697000 | #Constraints: 25999
35.08/35.27 c #Conflicts: 698000 | #Constraints: 26999
35.08/35.27 c #Conflicts: 699000 | #Constraints: 27999
35.08/35.27 c #Conflicts: 700000 | #Constraints: 28999
35.08/35.27 c #Conflicts: 701000 | #Constraints: 29999
35.08/35.27 c #Conflicts: 702000 | #Constraints: 30999
35.08/35.27 c #Conflicts: 703000 | #Constraints: 31999
35.08/35.27 c #Conflicts: 704000 | #Constraints: 32999
35.08/35.27 c #Conflicts: 705000 | #Constraints: 33999
35.08/35.27 c INPROCESSING
35.08/35.27 c GARBAGE COLLECT
35.08/35.27 c rational objective 250.5
36.17/36.35 c #Conflicts: 706000 | #Constraints: 18407
36.17/36.35 c #Conflicts: 707000 | #Constraints: 19407
36.17/36.35 c #Conflicts: 708000 | #Constraints: 20407
36.17/36.35 c #Conflicts: 709000 | #Constraints: 21407
36.17/36.35 c #Conflicts: 710000 | #Constraints: 22407
36.17/36.35 c #Conflicts: 711000 | #Constraints: 23407
36.17/36.35 c #Conflicts: 712000 | #Constraints: 24407
36.17/36.35 c #Conflicts: 713000 | #Constraints: 25407
36.17/36.35 c #Conflicts: 714000 | #Constraints: 26407
36.17/36.35 c #Conflicts: 715000 | #Constraints: 27407
36.17/36.35 c #Conflicts: 716000 | #Constraints: 28407
36.17/36.35 c #Conflicts: 717000 | #Constraints: 29407
36.17/36.35 c #Conflicts: 718000 | #Constraints: 30407
36.17/36.35 c #Conflicts: 719000 | #Constraints: 31407
36.17/36.35 c #Conflicts: 720000 | #Constraints: 32407
36.17/36.35 c #Conflicts: 721000 | #Constraints: 33407
36.17/36.35 c #Conflicts: 722000 | #Constraints: 34407
36.17/36.35 c INPROCESSING
36.17/36.35 c GARBAGE COLLECT
36.17/36.35 c rational objective 250.5
37.18/37.33 c #Conflicts: 723000 | #Constraints: 18613
37.18/37.33 c #Conflicts: 724000 | #Constraints: 19613
37.18/37.33 c #Conflicts: 725000 | #Constraints: 20613
37.18/37.33 c #Conflicts: 726000 | #Constraints: 21613
37.18/37.33 c #Conflicts: 727000 | #Constraints: 22613
37.18/37.33 c #Conflicts: 728000 | #Constraints: 23613
37.18/37.33 c #Conflicts: 729000 | #Constraints: 24613
37.18/37.33 c #Conflicts: 730000 | #Constraints: 25613
37.18/37.33 c #Conflicts: 731000 | #Constraints: 26613
37.18/37.33 c #Conflicts: 732000 | #Constraints: 27613
37.18/37.33 c #Conflicts: 733000 | #Constraints: 28613
37.18/37.33 c #Conflicts: 734000 | #Constraints: 29613
37.18/37.33 c #Conflicts: 735000 | #Constraints: 30613
37.18/37.33 c #Conflicts: 736000 | #Constraints: 31613
37.18/37.33 c #Conflicts: 737000 | #Constraints: 32613
37.18/37.33 c #Conflicts: 738000 | #Constraints: 33613
37.18/37.33 c #Conflicts: 739000 | #Constraints: 34613
37.18/37.33 c INPROCESSING
37.18/37.33 c GARBAGE COLLECT
37.18/37.33 c rational objective 250.5
38.07/38.20 c #Conflicts: 740000 | #Constraints: 18613
38.07/38.20 c #Conflicts: 741000 | #Constraints: 19613
38.07/38.20 c #Conflicts: 742000 | #Constraints: 20613
38.07/38.20 c #Conflicts: 743000 | #Constraints: 21613
38.07/38.20 c #Conflicts: 744000 | #Constraints: 22613
38.07/38.20 c #Conflicts: 745000 | #Constraints: 23613
38.07/38.20 c #Conflicts: 746000 | #Constraints: 24613
38.07/38.20 c #Conflicts: 747000 | #Constraints: 25613
38.07/38.20 c #Conflicts: 748000 | #Constraints: 26613
38.07/38.20 c #Conflicts: 749000 | #Constraints: 27613
38.07/38.20 c #Conflicts: 750000 | #Constraints: 28613
38.07/38.20 c #Conflicts: 751000 | #Constraints: 29613
38.07/38.20 c #Conflicts: 752000 | #Constraints: 30613
38.07/38.20 c #Conflicts: 753000 | #Constraints: 31613
38.07/38.20 c #Conflicts: 754000 | #Constraints: 32613
38.07/38.20 c #Conflicts: 755000 | #Constraints: 33613
38.07/38.20 c #Conflicts: 756000 | #Constraints: 34613
38.07/38.20 c INPROCESSING
38.07/38.20 c GARBAGE COLLECT
38.07/38.20 c rational objective 250.5
38.97/39.10 c #Conflicts: 757000 | #Constraints: 18409
38.97/39.10 c #Conflicts: 758000 | #Constraints: 19409
38.97/39.10 c #Conflicts: 759000 | #Constraints: 20410
38.97/39.10 c #Conflicts: 760000 | #Constraints: 21410
38.97/39.10 c #Conflicts: 761000 | #Constraints: 22410
38.97/39.10 c #Conflicts: 762000 | #Constraints: 23410
38.97/39.10 c #Conflicts: 763000 | #Constraints: 24410
38.97/39.10 c #Conflicts: 764000 | #Constraints: 25410
38.97/39.10 c #Conflicts: 765000 | #Constraints: 26410
38.97/39.10 c #Conflicts: 766000 | #Constraints: 27410
38.97/39.10 c #Conflicts: 767000 | #Constraints: 28410
38.97/39.10 c #Conflicts: 768000 | #Constraints: 29410
38.97/39.10 c #Conflicts: 769000 | #Constraints: 30410
38.97/39.10 c #Conflicts: 770000 | #Constraints: 31410
38.97/39.10 c #Conflicts: 771000 | #Constraints: 32410
38.97/39.10 c #Conflicts: 772000 | #Constraints: 33410
38.97/39.10 c #Conflicts: 773000 | #Constraints: 34410
38.97/39.10 c #Conflicts: 774000 | #Constraints: 35410
38.97/39.10 c INPROCESSING
38.97/39.10 c GARBAGE COLLECT
38.97/39.10 c rational objective 250.5
39.87/40.02 c #Conflicts: 775000 | #Constraints: 19008
39.87/40.02 c #Conflicts: 776000 | #Constraints: 20008
39.87/40.02 c #Conflicts: 777000 | #Constraints: 21008
39.87/40.02 c #Conflicts: 778000 | #Constraints: 22008
39.87/40.02 c #Conflicts: 779000 | #Constraints: 23008
39.87/40.02 c #Conflicts: 780000 | #Constraints: 24008
39.87/40.02 c #Conflicts: 781000 | #Constraints: 25008
39.87/40.02 c #Conflicts: 782000 | #Constraints: 26008
39.87/40.02 c #Conflicts: 783000 | #Constraints: 27008
39.87/40.02 c #Conflicts: 784000 | #Constraints: 28008
39.87/40.02 c #Conflicts: 785000 | #Constraints: 29008
39.87/40.02 c #Conflicts: 786000 | #Constraints: 30008
39.87/40.02 c #Conflicts: 787000 | #Constraints: 31008
39.87/40.02 c #Conflicts: 788000 | #Constraints: 32008
39.87/40.02 c #Conflicts: 789000 | #Constraints: 33008
39.87/40.02 c #Conflicts: 790000 | #Constraints: 34008
39.87/40.02 c #Conflicts: 791000 | #Constraints: 35008
39.87/40.02 c #Conflicts: 792000 | #Constraints: 36008
39.87/40.02 c INPROCESSING
39.87/40.02 c GARBAGE COLLECT
39.87/40.02 c rational objective 250.5
40.76/40.95 c #Conflicts: 793000 | #Constraints: 19416
40.76/40.95 c #Conflicts: 794000 | #Constraints: 20416
40.76/40.95 c #Conflicts: 795000 | #Constraints: 21416
40.76/40.95 c #Conflicts: 796000 | #Constraints: 22416
40.76/40.95 c #Conflicts: 797000 | #Constraints: 23416
40.76/40.95 c #Conflicts: 798000 | #Constraints: 24416
40.76/40.95 c #Conflicts: 799000 | #Constraints: 25416
40.76/40.95 c #Conflicts: 800000 | #Constraints: 26416
40.76/40.95 c #Conflicts: 801000 | #Constraints: 27416
40.76/40.95 c #Conflicts: 802000 | #Constraints: 28416
40.76/40.95 c #Conflicts: 803000 | #Constraints: 29416
40.76/40.95 c #Conflicts: 804000 | #Constraints: 30416
40.76/40.95 c #Conflicts: 805000 | #Constraints: 31416
40.76/40.95 c #Conflicts: 806000 | #Constraints: 32416
40.76/40.95 c #Conflicts: 807000 | #Constraints: 33416
40.76/40.95 c #Conflicts: 808000 | #Constraints: 34416
40.76/40.95 c #Conflicts: 809000 | #Constraints: 35416
40.76/40.95 c #Conflicts: 810000 | #Constraints: 36416
40.76/40.95 c INPROCESSING
40.76/40.95 c GARBAGE COLLECT
40.76/40.95 c rational objective 250.5
41.76/41.92 c #Conflicts: 811000 | #Constraints: 19610
41.76/41.92 c #Conflicts: 812000 | #Constraints: 20610
41.76/41.92 c #Conflicts: 813000 | #Constraints: 21610
41.76/41.92 c #Conflicts: 814000 | #Constraints: 22610
41.76/41.92 c #Conflicts: 815000 | #Constraints: 23610
41.76/41.92 c #Conflicts: 816000 | #Constraints: 24610
41.76/41.92 c #Conflicts: 817000 | #Constraints: 25610
41.76/41.92 c #Conflicts: 818000 | #Constraints: 26610
41.76/41.92 c #Conflicts: 819000 | #Constraints: 27610
41.76/41.92 c #Conflicts: 820000 | #Constraints: 28610
41.76/41.92 c #Conflicts: 821000 | #Constraints: 29610
41.76/41.92 c #Conflicts: 822000 | #Constraints: 30610
41.76/41.92 c #Conflicts: 823000 | #Constraints: 31610
41.76/41.92 c #Conflicts: 824000 | #Constraints: 32610
41.76/41.92 c #Conflicts: 825000 | #Constraints: 33610
41.76/41.92 c #Conflicts: 826000 | #Constraints: 34610
41.76/41.92 c #Conflicts: 827000 | #Constraints: 35610
41.76/41.92 c #Conflicts: 828000 | #Constraints: 36610
41.76/41.92 c INPROCESSING
41.76/41.92 c GARBAGE COLLECT
41.76/41.92 c rational objective 250.5
42.76/43.00 c #Conflicts: 829000 | #Constraints: 19607
42.76/43.00 c #Conflicts: 830000 | #Constraints: 20607
42.76/43.00 c #Conflicts: 831000 | #Constraints: 21607
42.76/43.00 c #Conflicts: 832000 | #Constraints: 22607
42.76/43.00 c #Conflicts: 833000 | #Constraints: 23607
42.76/43.00 c #Conflicts: 834000 | #Constraints: 24607
42.76/43.00 c #Conflicts: 835000 | #Constraints: 25607
42.76/43.00 c #Conflicts: 836000 | #Constraints: 26607
42.76/43.00 c #Conflicts: 837000 | #Constraints: 27607
42.76/43.00 c #Conflicts: 838000 | #Constraints: 28607
42.76/43.00 c #Conflicts: 839000 | #Constraints: 29607
42.76/43.00 c #Conflicts: 840000 | #Constraints: 30607
42.76/43.00 c #Conflicts: 841000 | #Constraints: 31607
42.76/43.00 c #Conflicts: 842000 | #Constraints: 32607
42.76/43.00 c #Conflicts: 843000 | #Constraints: 33607
42.76/43.00 c #Conflicts: 844000 | #Constraints: 34607
42.76/43.00 c #Conflicts: 845000 | #Constraints: 35607
42.76/43.00 c #Conflicts: 846000 | #Constraints: 36607
42.76/43.00 c INPROCESSING
42.76/43.00 c GARBAGE COLLECT
42.76/43.00 c rational objective 250.5
43.87/44.02 c #Conflicts: 847000 | #Constraints: 19408
43.87/44.02 c #Conflicts: 848000 | #Constraints: 20408
43.87/44.02 c #Conflicts: 849000 | #Constraints: 21408
43.87/44.02 c #Conflicts: 850000 | #Constraints: 22408
43.87/44.02 c #Conflicts: 851000 | #Constraints: 23408
43.87/44.02 c #Conflicts: 852000 | #Constraints: 24408
43.87/44.02 c #Conflicts: 853000 | #Constraints: 25408
43.87/44.02 c #Conflicts: 854000 | #Constraints: 26408
43.87/44.02 c #Conflicts: 855000 | #Constraints: 27408
43.87/44.02 c #Conflicts: 856000 | #Constraints: 28408
43.87/44.02 c #Conflicts: 857000 | #Constraints: 29408
43.87/44.02 c #Conflicts: 858000 | #Constraints: 30408
43.87/44.02 c #Conflicts: 859000 | #Constraints: 31408
43.87/44.02 c #Conflicts: 860000 | #Constraints: 32408
43.87/44.02 c #Conflicts: 861000 | #Constraints: 33408
43.87/44.02 c #Conflicts: 862000 | #Constraints: 34408
43.87/44.02 c #Conflicts: 863000 | #Constraints: 35408
43.87/44.02 c #Conflicts: 864000 | #Constraints: 36408
43.87/44.02 c #Conflicts: 865000 | #Constraints: 37408
43.87/44.02 c INPROCESSING
43.87/44.02 c GARBAGE COLLECT
43.87/44.02 c rational objective 250.5
44.76/44.97 c #Conflicts: 866000 | #Constraints: 20004
44.76/44.97 c #Conflicts: 867000 | #Constraints: 21004
44.76/44.97 c #Conflicts: 868000 | #Constraints: 22004
44.76/44.97 c #Conflicts: 869000 | #Constraints: 23004
44.76/44.97 c #Conflicts: 870000 | #Constraints: 24004
44.76/44.97 c #Conflicts: 871000 | #Constraints: 25004
44.76/44.97 c #Conflicts: 872000 | #Constraints: 26004
44.76/44.97 c #Conflicts: 873000 | #Constraints: 27004
44.76/44.97 c #Conflicts: 874000 | #Constraints: 28004
44.76/44.97 c #Conflicts: 875000 | #Constraints: 29004
44.76/44.97 c #Conflicts: 876000 | #Constraints: 30004
44.76/44.97 c #Conflicts: 877000 | #Constraints: 31004
44.76/44.97 c #Conflicts: 878000 | #Constraints: 32004
44.76/44.97 c #Conflicts: 879000 | #Constraints: 33004
44.76/44.97 c #Conflicts: 880000 | #Constraints: 34004
44.76/44.97 c #Conflicts: 881000 | #Constraints: 35004
44.76/44.97 c #Conflicts: 882000 | #Constraints: 36004
44.76/44.97 c #Conflicts: 883000 | #Constraints: 37004
44.76/44.97 c #Conflicts: 884000 | #Constraints: 38004
44.76/44.97 c INPROCESSING
44.76/44.97 c GARBAGE COLLECT
44.76/44.97 c rational objective 250.5
45.75/45.93 c #Conflicts: 885000 | #Constraints: 20415
45.75/45.93 c #Conflicts: 886000 | #Constraints: 21415
45.75/45.93 c #Conflicts: 887000 | #Constraints: 22415
45.75/45.93 c #Conflicts: 888000 | #Constraints: 23415
45.75/45.93 c #Conflicts: 889000 | #Constraints: 24415
45.75/45.93 c #Conflicts: 890000 | #Constraints: 25415
45.75/45.93 c #Conflicts: 891000 | #Constraints: 26415
45.75/45.93 c #Conflicts: 892000 | #Constraints: 27415
45.75/45.93 c #Conflicts: 893000 | #Constraints: 28415
45.75/45.93 c #Conflicts: 894000 | #Constraints: 29415
45.75/45.93 c #Conflicts: 895000 | #Constraints: 30415
45.75/45.93 c #Conflicts: 896000 | #Constraints: 31415
45.75/45.93 c #Conflicts: 897000 | #Constraints: 32415
45.75/45.93 c #Conflicts: 898000 | #Constraints: 33415
45.75/45.93 c #Conflicts: 899000 | #Constraints: 34415
45.75/45.93 c #Conflicts: 900000 | #Constraints: 35415
45.75/45.93 c #Conflicts: 901000 | #Constraints: 36415
45.75/45.93 c #Conflicts: 902000 | #Constraints: 37415
45.75/45.93 c #Conflicts: 903000 | #Constraints: 38415
45.75/45.93 c INPROCESSING
45.75/45.93 c GARBAGE COLLECT
45.75/45.93 c rational objective 250.5
46.74/47.00 c #Conflicts: 904000 | #Constraints: 20606
46.74/47.00 c #Conflicts: 905000 | #Constraints: 21606
46.74/47.00 c #Conflicts: 906000 | #Constraints: 22606
46.74/47.00 c #Conflicts: 907000 | #Constraints: 23606
46.74/47.00 c #Conflicts: 908000 | #Constraints: 24606
46.74/47.00 c #Conflicts: 909000 | #Constraints: 25606
46.74/47.00 c #Conflicts: 910000 | #Constraints: 26606
46.74/47.00 c #Conflicts: 911000 | #Constraints: 27606
46.74/47.00 c #Conflicts: 912000 | #Constraints: 28606
46.74/47.00 c #Conflicts: 913000 | #Constraints: 29606
46.74/47.00 c #Conflicts: 914000 | #Constraints: 30606
46.74/47.00 c #Conflicts: 915000 | #Constraints: 31606
46.74/47.00 c #Conflicts: 916000 | #Constraints: 32606
46.74/47.00 c #Conflicts: 917000 | #Constraints: 33606
46.74/47.00 c #Conflicts: 918000 | #Constraints: 34606
46.74/47.00 c #Conflicts: 919000 | #Constraints: 35606
46.74/47.00 c #Conflicts: 920000 | #Constraints: 36606
46.74/47.00 c #Conflicts: 921000 | #Constraints: 37606
46.74/47.00 c #Conflicts: 922000 | #Constraints: 38606
46.74/47.00 c INPROCESSING
46.74/47.00 c GARBAGE COLLECT
46.74/47.00 c rational objective 250.5
47.75/47.98 c #Conflicts: 923000 | #Constraints: 20605
47.75/47.98 c #Conflicts: 924000 | #Constraints: 21605
47.75/47.98 c #Conflicts: 925000 | #Constraints: 22605
47.75/47.98 c #Conflicts: 926000 | #Constraints: 23605
47.75/47.98 c #Conflicts: 927000 | #Constraints: 24605
47.75/47.98 c #Conflicts: 928000 | #Constraints: 25605
47.75/47.98 c #Conflicts: 929000 | #Constraints: 26605
47.75/47.98 c #Conflicts: 930000 | #Constraints: 27605
47.75/47.98 c #Conflicts: 931000 | #Constraints: 28605
47.75/47.98 c #Conflicts: 932000 | #Constraints: 29605
47.75/47.98 c #Conflicts: 933000 | #Constraints: 30605
47.75/47.98 c #Conflicts: 934000 | #Constraints: 31605
47.75/47.98 c #Conflicts: 935000 | #Constraints: 32605
47.75/47.98 c #Conflicts: 936000 | #Constraints: 33605
47.75/47.98 c #Conflicts: 937000 | #Constraints: 34605
47.75/47.98 c #Conflicts: 938000 | #Constraints: 35605
47.75/47.98 c #Conflicts: 939000 | #Constraints: 36605
47.75/47.98 c #Conflicts: 940000 | #Constraints: 37605
47.75/47.98 c #Conflicts: 941000 | #Constraints: 38605
47.75/47.98 c INPROCESSING
47.75/47.98 c GARBAGE COLLECT
47.75/47.98 c rational objective 250.5
48.75/48.95 c #Conflicts: 942000 | #Constraints: 20414
48.75/48.95 c #Conflicts: 943000 | #Constraints: 21414
48.75/48.95 c #Conflicts: 944000 | #Constraints: 22414
48.75/48.95 c #Conflicts: 945000 | #Constraints: 23414
48.75/48.95 c #Conflicts: 946000 | #Constraints: 24414
48.75/48.95 c #Conflicts: 947000 | #Constraints: 25414
48.75/48.95 c #Conflicts: 948000 | #Constraints: 26414
48.75/48.95 c #Conflicts: 949000 | #Constraints: 27414
48.75/48.95 c #Conflicts: 950000 | #Constraints: 28414
48.75/48.95 c #Conflicts: 951000 | #Constraints: 29414
48.75/48.95 c #Conflicts: 952000 | #Constraints: 30414
48.75/48.95 c #Conflicts: 953000 | #Constraints: 31414
48.75/48.95 c #Conflicts: 954000 | #Constraints: 32414
48.75/48.95 c #Conflicts: 955000 | #Constraints: 33414
48.75/48.95 c #Conflicts: 956000 | #Constraints: 34414
48.75/48.95 c #Conflicts: 957000 | #Constraints: 35414
48.75/48.95 c #Conflicts: 958000 | #Constraints: 36414
48.75/48.95 c #Conflicts: 959000 | #Constraints: 37414
48.75/48.95 c #Conflicts: 960000 | #Constraints: 38414
48.75/48.95 c #Conflicts: 961000 | #Constraints: 39414
48.75/48.95 c INPROCESSING
48.75/48.95 c GARBAGE COLLECT
48.75/48.95 c rational objective 250.5
49.65/49.87 c #Conflicts: 962000 | #Constraints: 21012
49.65/49.87 c #Conflicts: 963000 | #Constraints: 22012
49.65/49.87 c #Conflicts: 964000 | #Constraints: 23012
49.65/49.87 c #Conflicts: 965000 | #Constraints: 24012
49.65/49.87 c #Conflicts: 966000 | #Constraints: 25012
49.65/49.87 c #Conflicts: 967000 | #Constraints: 26012
49.65/49.87 c #Conflicts: 968000 | #Constraints: 27012
49.65/49.87 c #Conflicts: 969000 | #Constraints: 28012
49.65/49.87 c #Conflicts: 970000 | #Constraints: 29012
49.65/49.87 c #Conflicts: 971000 | #Constraints: 30012
49.65/49.87 c #Conflicts: 972000 | #Constraints: 31012
49.65/49.87 c #Conflicts: 973000 | #Constraints: 32012
49.65/49.87 c #Conflicts: 974000 | #Constraints: 33012
49.65/49.87 c #Conflicts: 975000 | #Constraints: 34012
49.65/49.87 c #Conflicts: 976000 | #Constraints: 35012
49.65/49.87 c #Conflicts: 977000 | #Constraints: 36012
49.65/49.87 c #Conflicts: 978000 | #Constraints: 37012
49.65/49.87 c #Conflicts: 979000 | #Constraints: 38012
49.65/49.87 c #Conflicts: 980000 | #Constraints: 39012
49.65/49.87 c #Conflicts: 981000 | #Constraints: 40012
49.65/49.87 c INPROCESSING
49.65/49.87 c GARBAGE COLLECT
49.65/49.87 c rational objective 250.5
51.13/51.34 c #Conflicts: 982000 | #Constraints: 21411
51.13/51.34 c #Conflicts: 983000 | #Constraints: 22411
51.13/51.34 c #Conflicts: 984000 | #Constraints: 23411
51.13/51.34 c #Conflicts: 985000 | #Constraints: 24411
51.13/51.34 c #Conflicts: 986000 | #Constraints: 25411
51.13/51.34 c #Conflicts: 987000 | #Constraints: 26411
51.13/51.34 c #Conflicts: 988000 | #Constraints: 27411
51.13/51.34 c #Conflicts: 989000 | #Constraints: 28411
51.13/51.34 c #Conflicts: 990000 | #Constraints: 29411
51.13/51.34 c #Conflicts: 991000 | #Constraints: 30411
51.13/51.34 c #Conflicts: 992000 | #Constraints: 31411
51.13/51.34 c #Conflicts: 993000 | #Constraints: 32411
51.13/51.34 c #Conflicts: 994000 | #Constraints: 33411
51.13/51.34 c #Conflicts: 995000 | #Constraints: 34411
51.13/51.34 c #Conflicts: 996000 | #Constraints: 35411
51.13/51.34 c #Conflicts: 997000 | #Constraints: 36411
51.13/51.34 c #Conflicts: 998000 | #Constraints: 37411
51.13/51.34 c #Conflicts: 999000 | #Constraints: 38411
51.13/51.34 c #Conflicts: 1000000 | #Constraints: 39411
51.13/51.34 c #Conflicts: 1001000 | #Constraints: 40411
51.13/51.34 c INPROCESSING
51.13/51.34 c GARBAGE COLLECT
51.13/51.34 c rational objective 250.5
52.03/52.24 c #Conflicts: 1002000 | #Constraints: 21616
52.03/52.24 c #Conflicts: 1003000 | #Constraints: 22616
52.03/52.24 c #Conflicts: 1004000 | #Constraints: 23616
52.03/52.24 c #Conflicts: 1005000 | #Constraints: 24616
52.03/52.24 c #Conflicts: 1006000 | #Constraints: 25616
52.03/52.24 c #Conflicts: 1007000 | #Constraints: 26616
52.03/52.24 c #Conflicts: 1008000 | #Constraints: 27616
52.03/52.24 c #Conflicts: 1009000 | #Constraints: 28616
52.03/52.24 c #Conflicts: 1010000 | #Constraints: 29616
52.03/52.24 c #Conflicts: 1011000 | #Constraints: 30616
52.03/52.24 c #Conflicts: 1012000 | #Constraints: 31616
52.03/52.24 c #Conflicts: 1013000 | #Constraints: 32616
52.03/52.24 c #Conflicts: 1014000 | #Constraints: 33616
52.03/52.24 c #Conflicts: 1015000 | #Constraints: 34616
52.03/52.24 c #Conflicts: 1016000 | #Constraints: 35616
52.03/52.24 c #Conflicts: 1017000 | #Constraints: 36616
52.03/52.24 c #Conflicts: 1018000 | #Constraints: 37616
52.03/52.24 c #Conflicts: 1019000 | #Constraints: 38616
52.03/52.24 c #Conflicts: 1020000 | #Constraints: 39616
52.03/52.24 c #Conflicts: 1021000 | #Constraints: 40616
52.03/52.24 c INPROCESSING
52.03/52.24 c GARBAGE COLLECT
52.03/52.24 c rational objective 250.5
53.63/53.87 c #Conflicts: 1022000 | #Constraints: 21614
53.63/53.87 c #Conflicts: 1023000 | #Constraints: 22614
53.63/53.87 c #Conflicts: 1024000 | #Constraints: 23614
53.63/53.87 c #Conflicts: 1025000 | #Constraints: 24614
53.63/53.87 c #Conflicts: 1026000 | #Constraints: 25614
53.63/53.87 c #Conflicts: 1027000 | #Constraints: 26614
53.63/53.87 c #Conflicts: 1028000 | #Constraints: 27614
53.63/53.87 c #Conflicts: 1029000 | #Constraints: 28614
53.63/53.87 c #Conflicts: 1030000 | #Constraints: 29614
53.63/53.87 c #Conflicts: 1031000 | #Constraints: 30614
53.63/53.87 c #Conflicts: 1032000 | #Constraints: 31614
53.63/53.87 c #Conflicts: 1033000 | #Constraints: 32614
53.63/53.87 c #Conflicts: 1034000 | #Constraints: 33614
53.63/53.87 c #Conflicts: 1035000 | #Constraints: 34614
53.63/53.87 c #Conflicts: 1036000 | #Constraints: 35614
53.63/53.87 c #Conflicts: 1037000 | #Constraints: 36614
53.63/53.87 c #Conflicts: 1038000 | #Constraints: 37614
53.63/53.87 c #Conflicts: 1039000 | #Constraints: 38614
53.63/53.87 c #Conflicts: 1040000 | #Constraints: 39614
53.63/53.87 c #Conflicts: 1041000 | #Constraints: 40614
53.63/53.87 c INPROCESSING
53.63/53.87 c GARBAGE COLLECT
53.63/53.87 c rational objective 250.5
54.63/54.81 c #Conflicts: 1042000 | #Constraints: 21419
54.63/54.81 c #Conflicts: 1043000 | #Constraints: 22419
54.63/54.81 c #Conflicts: 1044000 | #Constraints: 23419
54.63/54.81 c #Conflicts: 1045000 | #Constraints: 24419
54.63/54.81 c #Conflicts: 1046000 | #Constraints: 25419
54.63/54.81 c #Conflicts: 1047000 | #Constraints: 26419
54.63/54.81 c #Conflicts: 1048000 | #Constraints: 27419
54.63/54.81 c #Conflicts: 1049000 | #Constraints: 28419
54.63/54.81 c #Conflicts: 1050000 | #Constraints: 29419
54.63/54.81 c #Conflicts: 1051000 | #Constraints: 30419
54.63/54.81 c #Conflicts: 1052000 | #Constraints: 31419
54.63/54.81 c #Conflicts: 1053000 | #Constraints: 32419
54.63/54.81 c #Conflicts: 1054000 | #Constraints: 33419
54.63/54.81 c #Conflicts: 1055000 | #Constraints: 34419
54.63/54.81 c #Conflicts: 1056000 | #Constraints: 35419
54.63/54.81 c #Conflicts: 1057000 | #Constraints: 36419
54.63/54.81 c #Conflicts: 1058000 | #Constraints: 37419
54.63/54.81 c #Conflicts: 1059000 | #Constraints: 38419
54.63/54.81 c #Conflicts: 1060000 | #Constraints: 39419
54.63/54.81 c #Conflicts: 1061000 | #Constraints: 40419
54.63/54.81 c #Conflicts: 1062000 | #Constraints: 41419
54.63/54.81 c INPROCESSING
54.63/54.81 c GARBAGE COLLECT
54.63/54.81 c rational objective 250.5
56.42/56.62 c #Conflicts: 1063000 | #Constraints: 22016
56.42/56.62 c #Conflicts: 1064000 | #Constraints: 23016
56.42/56.62 c #Conflicts: 1065000 | #Constraints: 24016
56.42/56.62 c #Conflicts: 1066000 | #Constraints: 25016
56.42/56.62 c #Conflicts: 1067000 | #Constraints: 26016
56.42/56.62 c #Conflicts: 1068000 | #Constraints: 27016
56.42/56.62 c #Conflicts: 1069000 | #Constraints: 28016
56.42/56.62 c #Conflicts: 1070000 | #Constraints: 29016
56.42/56.62 c #Conflicts: 1071000 | #Constraints: 30016
56.42/56.62 c #Conflicts: 1072000 | #Constraints: 31016
56.42/56.62 c #Conflicts: 1073000 | #Constraints: 32016
56.42/56.62 c #Conflicts: 1074000 | #Constraints: 33016
56.42/56.62 c #Conflicts: 1075000 | #Constraints: 34016
56.42/56.62 c #Conflicts: 1076000 | #Constraints: 35016
56.42/56.62 c #Conflicts: 1077000 | #Constraints: 36016
56.42/56.62 c #Conflicts: 1078000 | #Constraints: 37016
56.42/56.62 c #Conflicts: 1079000 | #Constraints: 38016
56.42/56.62 c #Conflicts: 1080000 | #Constraints: 39016
56.42/56.62 c #Conflicts: 1081000 | #Constraints: 40016
56.42/56.62 c #Conflicts: 1082000 | #Constraints: 41016
56.42/56.62 c #Conflicts: 1083000 | #Constraints: 42016
56.42/56.62 c INPROCESSING
56.42/56.62 c GARBAGE COLLECT
56.42/56.62 c rational objective 250.5
57.42/57.63 c #Conflicts: 1084000 | #Constraints: 22420
57.42/57.63 c #Conflicts: 1085000 | #Constraints: 23420
57.42/57.63 c #Conflicts: 1086000 | #Constraints: 24420
57.42/57.63 c #Conflicts: 1087000 | #Constraints: 25420
57.42/57.63 c #Conflicts: 1088000 | #Constraints: 26420
57.42/57.63 c #Conflicts: 1089000 | #Constraints: 27420
57.42/57.63 c #Conflicts: 1090000 | #Constraints: 28420
57.42/57.63 c #Conflicts: 1091000 | #Constraints: 29420
57.42/57.63 c #Conflicts: 1092000 | #Constraints: 30420
57.42/57.63 c #Conflicts: 1093000 | #Constraints: 31420
57.42/57.63 c #Conflicts: 1094000 | #Constraints: 32420
57.42/57.63 c #Conflicts: 1095000 | #Constraints: 33420
57.42/57.63 c #Conflicts: 1096000 | #Constraints: 34420
57.42/57.63 c #Conflicts: 1097000 | #Constraints: 35420
57.42/57.63 c #Conflicts: 1098000 | #Constraints: 36420
57.42/57.63 c #Conflicts: 1099000 | #Constraints: 37420
57.42/57.63 c #Conflicts: 1100000 | #Constraints: 38420
57.42/57.63 c #Conflicts: 1101000 | #Constraints: 39420
57.42/57.63 c #Conflicts: 1102000 | #Constraints: 40420
57.42/57.63 c #Conflicts: 1103000 | #Constraints: 41420
57.42/57.63 c #Conflicts: 1104000 | #Constraints: 42420
57.42/57.63 c INPROCESSING
57.42/57.63 c GARBAGE COLLECT
57.42/57.63 c rational objective 250.5
58.83/59.01 c #Conflicts: 1105000 | #Constraints: 22627
58.83/59.01 c #Conflicts: 1106000 | #Constraints: 23627
58.83/59.01 c #Conflicts: 1107000 | #Constraints: 24627
58.83/59.01 c #Conflicts: 1108000 | #Constraints: 25627
58.83/59.01 c #Conflicts: 1109000 | #Constraints: 26627
58.83/59.01 c #Conflicts: 1110000 | #Constraints: 27627
58.83/59.01 c #Conflicts: 1111000 | #Constraints: 28627
58.83/59.01 c #Conflicts: 1112000 | #Constraints: 29627
58.83/59.01 c #Conflicts: 1113000 | #Constraints: 30627
58.83/59.01 c #Conflicts: 1114000 | #Constraints: 31627
58.83/59.01 c #Conflicts: 1115000 | #Constraints: 32627
58.83/59.01 c #Conflicts: 1116000 | #Constraints: 33627
58.83/59.01 c #Conflicts: 1117000 | #Constraints: 34627
58.83/59.01 c #Conflicts: 1118000 | #Constraints: 35627
58.83/59.01 c #Conflicts: 1119000 | #Constraints: 36627
58.83/59.01 c #Conflicts: 1120000 | #Constraints: 37627
58.83/59.01 c #Conflicts: 1121000 | #Constraints: 38627
58.83/59.01 c #Conflicts: 1122000 | #Constraints: 39627
58.83/59.01 c #Conflicts: 1123000 | #Constraints: 40627
58.83/59.01 c #Conflicts: 1124000 | #Constraints: 41627
58.83/59.01 c #Conflicts: 1125000 | #Constraints: 42627
58.83/59.01 c INPROCESSING
58.83/59.01 c GARBAGE COLLECT
58.83/59.01 c rational objective 250.5
60.01/60.27 c #Conflicts: 1126000 | #Constraints: 22630
60.01/60.27 c #Conflicts: 1127000 | #Constraints: 23630
60.01/60.27 c #Conflicts: 1128000 | #Constraints: 24630
60.01/60.27 c #Conflicts: 1129000 | #Constraints: 25630
60.01/60.27 c #Conflicts: 1130000 | #Constraints: 26630
60.01/60.27 c #Conflicts: 1131000 | #Constraints: 27630
60.01/60.27 c #Conflicts: 1132000 | #Constraints: 28630
60.01/60.27 c #Conflicts: 1133000 | #Constraints: 29630
60.01/60.27 c #Conflicts: 1134000 | #Constraints: 30630
60.01/60.27 c #Conflicts: 1135000 | #Constraints: 31630
60.01/60.27 c #Conflicts: 1136000 | #Constraints: 32630
60.01/60.27 c #Conflicts: 1137000 | #Constraints: 33630
60.01/60.27 c #Conflicts: 1138000 | #Constraints: 34630
60.01/60.27 c #Conflicts: 1139000 | #Constraints: 35630
60.01/60.27 c #Conflicts: 1140000 | #Constraints: 36630
60.01/60.27 c #Conflicts: 1141000 | #Constraints: 37630
60.01/60.27 c #Conflicts: 1142000 | #Constraints: 38630
60.01/60.27 c #Conflicts: 1143000 | #Constraints: 39630
60.01/60.27 c #Conflicts: 1144000 | #Constraints: 40630
60.01/60.27 c #Conflicts: 1145000 | #Constraints: 41630
60.01/60.27 c #Conflicts: 1146000 | #Constraints: 42630
60.01/60.27 c INPROCESSING
60.01/60.27 c GARBAGE COLLECT
60.01/60.27 c rational objective 250.5
61.32/61.52 c #Conflicts: 1147000 | #Constraints: 22416
61.32/61.52 c #Conflicts: 1148000 | #Constraints: 23416
61.32/61.52 c #Conflicts: 1149000 | #Constraints: 24416
61.32/61.52 c #Conflicts: 1150000 | #Constraints: 25416
61.32/61.52 c #Conflicts: 1151000 | #Constraints: 26416
61.32/61.52 c #Conflicts: 1152000 | #Constraints: 27416
61.32/61.52 c #Conflicts: 1153000 | #Constraints: 28416
61.32/61.52 c #Conflicts: 1154000 | #Constraints: 29416
61.32/61.52 c #Conflicts: 1155000 | #Constraints: 30416
61.32/61.52 c #Conflicts: 1156000 | #Constraints: 31416
61.32/61.52 c #Conflicts: 1157000 | #Constraints: 32416
61.32/61.52 c #Conflicts: 1158000 | #Constraints: 33416
61.32/61.52 c #Conflicts: 1159000 | #Constraints: 34416
61.32/61.52 c #Conflicts: 1160000 | #Constraints: 35416
61.32/61.52 c #Conflicts: 1161000 | #Constraints: 36416
61.32/61.52 c #Conflicts: 1162000 | #Constraints: 37416
61.32/61.52 c #Conflicts: 1163000 | #Constraints: 38416
61.32/61.52 c #Conflicts: 1164000 | #Constraints: 39416
61.32/61.52 c #Conflicts: 1165000 | #Constraints: 40416
61.32/61.52 c #Conflicts: 1166000 | #Constraints: 41416
61.32/61.52 c #Conflicts: 1167000 | #Constraints: 42416
61.32/61.52 c #Conflicts: 1168000 | #Constraints: 43416
61.32/61.52 c INPROCESSING
61.32/61.52 c GARBAGE COLLECT
61.32/61.52 c rational objective 250.5
62.51/62.79 c #Conflicts: 1169000 | #Constraints: 23014
62.51/62.79 c #Conflicts: 1170000 | #Constraints: 24014
62.51/62.79 c #Conflicts: 1171000 | #Constraints: 25014
62.51/62.79 c #Conflicts: 1172000 | #Constraints: 26014
62.51/62.79 c #Conflicts: 1173000 | #Constraints: 27014
62.51/62.79 c #Conflicts: 1174000 | #Constraints: 28014
62.51/62.79 c #Conflicts: 1175000 | #Constraints: 29014
62.51/62.79 c #Conflicts: 1176000 | #Constraints: 30014
62.51/62.79 c #Conflicts: 1177000 | #Constraints: 31014
62.51/62.79 c #Conflicts: 1178000 | #Constraints: 32014
62.51/62.79 c #Conflicts: 1179000 | #Constraints: 33014
62.51/62.79 c #Conflicts: 1180000 | #Constraints: 34014
62.51/62.79 c #Conflicts: 1181000 | #Constraints: 35014
62.51/62.79 c #Conflicts: 1182000 | #Constraints: 36014
62.51/62.79 c #Conflicts: 1183000 | #Constraints: 37014
62.51/62.79 c #Conflicts: 1184000 | #Constraints: 38014
62.51/62.79 c #Conflicts: 1185000 | #Constraints: 39014
62.51/62.79 c #Conflicts: 1186000 | #Constraints: 40014
62.51/62.79 c #Conflicts: 1187000 | #Constraints: 41014
62.51/62.79 c #Conflicts: 1188000 | #Constraints: 42014
62.51/62.79 c #Conflicts: 1189000 | #Constraints: 43014
62.51/62.79 c #Conflicts: 1190000 | #Constraints: 44014
62.51/62.79 c INPROCESSING
62.51/62.79 c GARBAGE COLLECT
62.51/62.79 c rational objective 250.5
63.92/64.15 c #Conflicts: 1191000 | #Constraints: 23423
63.92/64.15 c #Conflicts: 1192000 | #Constraints: 24423
63.92/64.15 c #Conflicts: 1193000 | #Constraints: 25423
63.92/64.15 c #Conflicts: 1194000 | #Constraints: 26423
63.92/64.15 c #Conflicts: 1195000 | #Constraints: 27423
63.92/64.15 c #Conflicts: 1196000 | #Constraints: 28423
63.92/64.15 c #Conflicts: 1197000 | #Constraints: 29423
63.92/64.15 c #Conflicts: 1198000 | #Constraints: 30423
63.92/64.15 c #Conflicts: 1199000 | #Constraints: 31423
63.92/64.15 c #Conflicts: 1200000 | #Constraints: 32423
63.92/64.15 c #Conflicts: 1201000 | #Constraints: 33423
63.92/64.15 c #Conflicts: 1202000 | #Constraints: 34423
63.92/64.15 c #Conflicts: 1203000 | #Constraints: 35423
63.92/64.15 c #Conflicts: 1204000 | #Constraints: 36423
63.92/64.15 c #Conflicts: 1205000 | #Constraints: 37423
63.92/64.15 c #Conflicts: 1206000 | #Constraints: 38423
63.92/64.15 c #Conflicts: 1207000 | #Constraints: 39423
63.92/64.15 c #Conflicts: 1208000 | #Constraints: 40423
63.92/64.15 c #Conflicts: 1209000 | #Constraints: 41423
63.92/64.15 c #Conflicts: 1210000 | #Constraints: 42423
63.92/64.15 c #Conflicts: 1211000 | #Constraints: 43423
63.92/64.15 c #Conflicts: 1212000 | #Constraints: 44423
63.92/64.15 c INPROCESSING
63.92/64.15 c GARBAGE COLLECT
63.92/64.15 c rational objective 250.5
65.31/65.53 c #Conflicts: 1213000 | #Constraints: 23621
65.31/65.53 c #Conflicts: 1214000 | #Constraints: 24621
65.31/65.53 c #Conflicts: 1215000 | #Constraints: 25621
65.31/65.53 c #Conflicts: 1216000 | #Constraints: 26621
65.31/65.53 c #Conflicts: 1217000 | #Constraints: 27621
65.31/65.53 c #Conflicts: 1218000 | #Constraints: 28621
65.31/65.53 c #Conflicts: 1219000 | #Constraints: 29621
65.31/65.53 c #Conflicts: 1220000 | #Constraints: 30621
65.31/65.53 c #Conflicts: 1221000 | #Constraints: 31621
65.31/65.53 c #Conflicts: 1222000 | #Constraints: 32621
65.31/65.53 c #Conflicts: 1223000 | #Constraints: 33621
65.31/65.53 c #Conflicts: 1224000 | #Constraints: 34621
65.31/65.53 c #Conflicts: 1225000 | #Constraints: 35621
65.31/65.53 c #Conflicts: 1226000 | #Constraints: 36621
65.31/65.53 c #Conflicts: 1227000 | #Constraints: 37621
65.31/65.53 c #Conflicts: 1228000 | #Constraints: 38621
65.31/65.53 c #Conflicts: 1229000 | #Constraints: 39621
65.31/65.53 c #Conflicts: 1230000 | #Constraints: 40621
65.31/65.53 c #Conflicts: 1231000 | #Constraints: 41621
65.31/65.53 c #Conflicts: 1232000 | #Constraints: 42621
65.31/65.53 c #Conflicts: 1233000 | #Constraints: 43621
65.31/65.53 c #Conflicts: 1234000 | #Constraints: 44621
65.31/65.53 c INPROCESSING
65.31/65.53 c GARBAGE COLLECT
65.31/65.53 c rational objective 250.5
66.70/66.91 c #Conflicts: 1235000 | #Constraints: 23622
66.70/66.91 c #Conflicts: 1236000 | #Constraints: 24622
66.70/66.91 c #Conflicts: 1237000 | #Constraints: 25622
66.70/66.91 c #Conflicts: 1238000 | #Constraints: 26622
66.70/66.91 c #Conflicts: 1239000 | #Constraints: 27622
66.70/66.91 c #Conflicts: 1240000 | #Constraints: 28622
66.70/66.91 c #Conflicts: 1241000 | #Constraints: 29622
66.70/66.91 c #Conflicts: 1242000 | #Constraints: 30622
66.70/66.91 c #Conflicts: 1243000 | #Constraints: 31622
66.70/66.91 c #Conflicts: 1244000 | #Constraints: 32622
66.70/66.91 c #Conflicts: 1245000 | #Constraints: 33622
66.70/66.91 c #Conflicts: 1246000 | #Constraints: 34622
66.70/66.91 c #Conflicts: 1247000 | #Constraints: 35622
66.70/66.91 c #Conflicts: 1248000 | #Constraints: 36622
66.70/66.91 c #Conflicts: 1249000 | #Constraints: 37622
66.70/66.91 c #Conflicts: 1250000 | #Constraints: 38622
66.70/66.91 c #Conflicts: 1251000 | #Constraints: 39622
66.70/66.91 c #Conflicts: 1252000 | #Constraints: 40622
66.70/66.91 c #Conflicts: 1253000 | #Constraints: 41622
66.70/66.91 c #Conflicts: 1254000 | #Constraints: 42622
66.70/66.91 c #Conflicts: 1255000 | #Constraints: 43622
66.70/66.91 c #Conflicts: 1256000 | #Constraints: 44622
66.70/66.91 c INPROCESSING
66.70/66.91 c GARBAGE COLLECT
66.70/66.91 c rational objective 250.5
67.90/68.18 c #Conflicts: 1257000 | #Constraints: 23421
67.90/68.18 c #Conflicts: 1258000 | #Constraints: 24421
67.90/68.18 c #Conflicts: 1259000 | #Constraints: 25421
67.90/68.18 c #Conflicts: 1260000 | #Constraints: 26421
67.90/68.18 c #Conflicts: 1261000 | #Constraints: 27421
67.90/68.18 c #Conflicts: 1262000 | #Constraints: 28421
67.90/68.18 c #Conflicts: 1263000 | #Constraints: 29421
67.90/68.18 c #Conflicts: 1264000 | #Constraints: 30421
67.90/68.18 c #Conflicts: 1265000 | #Constraints: 31421
67.90/68.18 c #Conflicts: 1266000 | #Constraints: 32421
67.90/68.18 c #Conflicts: 1267000 | #Constraints: 33421
67.90/68.18 c #Conflicts: 1268000 | #Constraints: 34421
67.90/68.18 c #Conflicts: 1269000 | #Constraints: 35421
67.90/68.18 c #Conflicts: 1270000 | #Constraints: 36421
67.90/68.18 c #Conflicts: 1271000 | #Constraints: 37421
67.90/68.18 c #Conflicts: 1272000 | #Constraints: 38421
67.90/68.18 c #Conflicts: 1273000 | #Constraints: 39421
67.90/68.18 c #Conflicts: 1274000 | #Constraints: 40421
67.90/68.18 c #Conflicts: 1275000 | #Constraints: 41421
67.90/68.18 c #Conflicts: 1276000 | #Constraints: 42421
67.90/68.18 c #Conflicts: 1277000 | #Constraints: 43421
67.90/68.18 c #Conflicts: 1278000 | #Constraints: 44421
67.90/68.18 c #Conflicts: 1279000 | #Constraints: 45421
67.90/68.18 c INPROCESSING
67.90/68.18 c GARBAGE COLLECT
67.90/68.18 c rational objective 250.5
69.29/69.56 c #Conflicts: 1280000 | #Constraints: 24011
69.29/69.56 c #Conflicts: 1281000 | #Constraints: 25011
69.29/69.56 c #Conflicts: 1282000 | #Constraints: 26011
69.29/69.56 c #Conflicts: 1283000 | #Constraints: 27011
69.29/69.56 c #Conflicts: 1284000 | #Constraints: 28011
69.29/69.56 c #Conflicts: 1285000 | #Constraints: 29011
69.29/69.56 c #Conflicts: 1286000 | #Constraints: 30011
69.29/69.56 c #Conflicts: 1287000 | #Constraints: 31011
69.29/69.56 c #Conflicts: 1288000 | #Constraints: 32011
69.29/69.56 c #Conflicts: 1289000 | #Constraints: 33011
69.29/69.56 c #Conflicts: 1290000 | #Constraints: 34011
69.29/69.56 c #Conflicts: 1291000 | #Constraints: 35011
69.29/69.56 c #Conflicts: 1292000 | #Constraints: 36011
69.29/69.56 c #Conflicts: 1293000 | #Constraints: 37011
69.29/69.56 c #Conflicts: 1294000 | #Constraints: 38011
69.29/69.56 c #Conflicts: 1295000 | #Constraints: 39011
69.29/69.56 c #Conflicts: 1296000 | #Constraints: 40011
69.29/69.56 c #Conflicts: 1297000 | #Constraints: 41011
69.29/69.56 c #Conflicts: 1298000 | #Constraints: 42011
69.29/69.56 c #Conflicts: 1299000 | #Constraints: 43011
69.29/69.56 c #Conflicts: 1300000 | #Constraints: 44011
69.29/69.56 c #Conflicts: 1301000 | #Constraints: 45011
69.29/69.56 c #Conflicts: 1302000 | #Constraints: 46011
69.29/69.56 c INPROCESSING
69.29/69.56 c GARBAGE COLLECT
69.29/69.56 c rational objective 250.5
70.59/70.87 c #Conflicts: 1303000 | #Constraints: 24406
70.59/70.87 c #Conflicts: 1304000 | #Constraints: 25406
70.59/70.87 c #Conflicts: 1305000 | #Constraints: 26406
70.59/70.87 c #Conflicts: 1306000 | #Constraints: 27406
70.59/70.87 c #Conflicts: 1307000 | #Constraints: 28406
70.59/70.87 c #Conflicts: 1308000 | #Constraints: 29406
70.59/70.87 c #Conflicts: 1309000 | #Constraints: 30406
70.59/70.87 c #Conflicts: 1310000 | #Constraints: 31406
70.59/70.87 c #Conflicts: 1311000 | #Constraints: 32406
70.59/70.87 c #Conflicts: 1312000 | #Constraints: 33406
70.59/70.87 c #Conflicts: 1313000 | #Constraints: 34406
70.59/70.87 c #Conflicts: 1314000 | #Constraints: 35406
70.59/70.87 c #Conflicts: 1315000 | #Constraints: 36406
70.59/70.87 c #Conflicts: 1316000 | #Constraints: 37406
70.59/70.87 c #Conflicts: 1317000 | #Constraints: 38406
70.59/70.87 c #Conflicts: 1318000 | #Constraints: 39406
70.59/70.87 c #Conflicts: 1319000 | #Constraints: 40406
70.59/70.87 c #Conflicts: 1320000 | #Constraints: 41406
70.59/70.87 c #Conflicts: 1321000 | #Constraints: 42406
70.59/70.87 c #Conflicts: 1322000 | #Constraints: 43406
70.59/70.87 c #Conflicts: 1323000 | #Constraints: 44406
70.59/70.87 c #Conflicts: 1324000 | #Constraints: 45406
70.59/70.87 c #Conflicts: 1325000 | #Constraints: 46406
70.59/70.87 c INPROCESSING
70.59/70.87 c GARBAGE COLLECT
70.59/70.87 c rational objective 250.5
72.08/72.38 c #Conflicts: 1326000 | #Constraints: 24605
72.08/72.38 c #Conflicts: 1327000 | #Constraints: 25605
72.08/72.38 c #Conflicts: 1328000 | #Constraints: 26605
72.08/72.38 c #Conflicts: 1329000 | #Constraints: 27605
72.08/72.38 c #Conflicts: 1330000 | #Constraints: 28605
72.08/72.38 c #Conflicts: 1331000 | #Constraints: 29605
72.08/72.38 c #Conflicts: 1332000 | #Constraints: 30605
72.08/72.38 c #Conflicts: 1333000 | #Constraints: 31605
72.08/72.38 c #Conflicts: 1334000 | #Constraints: 32605
72.08/72.38 c #Conflicts: 1335000 | #Constraints: 33605
72.08/72.38 c #Conflicts: 1336000 | #Constraints: 34605
72.08/72.38 c #Conflicts: 1337000 | #Constraints: 35605
72.08/72.38 c #Conflicts: 1338000 | #Constraints: 36605
72.08/72.38 c #Conflicts: 1339000 | #Constraints: 37605
72.08/72.38 c #Conflicts: 1340000 | #Constraints: 38605
72.08/72.38 c #Conflicts: 1341000 | #Constraints: 39605
72.08/72.38 c #Conflicts: 1342000 | #Constraints: 40605
72.08/72.38 c #Conflicts: 1343000 | #Constraints: 41605
72.08/72.38 c #Conflicts: 1344000 | #Constraints: 42605
72.08/72.38 c #Conflicts: 1345000 | #Constraints: 43605
72.08/72.38 c #Conflicts: 1346000 | #Constraints: 44605
72.08/72.38 c #Conflicts: 1347000 | #Constraints: 45605
72.08/72.38 c #Conflicts: 1348000 | #Constraints: 46605
72.08/72.38 c INPROCESSING
72.08/72.38 c GARBAGE COLLECT
72.08/72.38 c rational objective 250.5
73.38/73.64 c #Conflicts: 1349000 | #Constraints: 24617
73.38/73.64 c #Conflicts: 1350000 | #Constraints: 25617
73.38/73.64 c #Conflicts: 1351000 | #Constraints: 26617
73.38/73.64 c #Conflicts: 1352000 | #Constraints: 27617
73.38/73.64 c #Conflicts: 1353000 | #Constraints: 28617
73.38/73.64 c #Conflicts: 1354000 | #Constraints: 29617
73.38/73.64 c #Conflicts: 1355000 | #Constraints: 30617
73.38/73.64 c #Conflicts: 1356000 | #Constraints: 31617
73.38/73.64 c #Conflicts: 1357000 | #Constraints: 32617
73.38/73.64 c #Conflicts: 1358000 | #Constraints: 33617
73.38/73.64 c #Conflicts: 1359000 | #Constraints: 34617
73.38/73.64 c #Conflicts: 1360000 | #Constraints: 35617
73.38/73.64 c #Conflicts: 1361000 | #Constraints: 36617
73.38/73.64 c #Conflicts: 1362000 | #Constraints: 37617
73.38/73.64 c #Conflicts: 1363000 | #Constraints: 38617
73.38/73.64 c #Conflicts: 1364000 | #Constraints: 39617
73.38/73.64 c #Conflicts: 1365000 | #Constraints: 40617
73.38/73.64 c #Conflicts: 1366000 | #Constraints: 41617
73.38/73.64 c #Conflicts: 1367000 | #Constraints: 42617
73.38/73.64 c #Conflicts: 1368000 | #Constraints: 43617
73.38/73.64 c #Conflicts: 1369000 | #Constraints: 44617
73.38/73.64 c #Conflicts: 1370000 | #Constraints: 45617
73.38/73.64 c #Conflicts: 1371000 | #Constraints: 46617
73.38/73.64 c INPROCESSING
73.38/73.64 c GARBAGE COLLECT
73.38/73.64 c rational objective 250.5
74.68/74.96 c #Conflicts: 1372000 | #Constraints: 24420
74.68/74.96 c #Conflicts: 1373000 | #Constraints: 25420
74.68/74.96 c #Conflicts: 1374000 | #Constraints: 26420
74.68/74.96 c #Conflicts: 1375000 | #Constraints: 27420
74.68/74.96 c #Conflicts: 1376000 | #Constraints: 28420
74.68/74.96 c #Conflicts: 1377000 | #Constraints: 29420
74.68/74.96 c #Conflicts: 1378000 | #Constraints: 30420
74.68/74.96 c #Conflicts: 1379000 | #Constraints: 31420
74.68/74.96 c #Conflicts: 1380000 | #Constraints: 32420
74.68/74.96 c #Conflicts: 1381000 | #Constraints: 33420
74.68/74.96 c #Conflicts: 1382000 | #Constraints: 34420
74.68/74.96 c #Conflicts: 1383000 | #Constraints: 35420
74.68/74.96 c #Conflicts: 1384000 | #Constraints: 36420
74.68/74.96 c #Conflicts: 1385000 | #Constraints: 37420
74.68/74.96 c #Conflicts: 1386000 | #Constraints: 38420
74.68/74.96 c #Conflicts: 1387000 | #Constraints: 39420
74.68/74.96 c #Conflicts: 1388000 | #Constraints: 40420
74.68/74.96 c #Conflicts: 1389000 | #Constraints: 41420
74.68/74.96 c #Conflicts: 1390000 | #Constraints: 42420
74.68/74.96 c #Conflicts: 1391000 | #Constraints: 43420
74.68/74.96 c #Conflicts: 1392000 | #Constraints: 44420
74.68/74.96 c #Conflicts: 1393000 | #Constraints: 45420
74.68/74.96 c #Conflicts: 1394000 | #Constraints: 46420
74.68/74.96 c #Conflicts: 1395000 | #Constraints: 47420
74.68/74.96 c INPROCESSING
74.68/74.96 c GARBAGE COLLECT
74.68/74.96 c rational objective 250.5
76.17/76.43 c #Conflicts: 1396000 | #Constraints: 25024
76.17/76.43 c #Conflicts: 1397000 | #Constraints: 26024
76.17/76.43 c #Conflicts: 1398000 | #Constraints: 27024
76.17/76.43 c #Conflicts: 1399000 | #Constraints: 28024
76.17/76.43 c #Conflicts: 1400000 | #Constraints: 29024
76.17/76.43 c #Conflicts: 1401000 | #Constraints: 30024
76.17/76.43 c #Conflicts: 1402000 | #Constraints: 31024
76.17/76.43 c #Conflicts: 1403000 | #Constraints: 32024
76.17/76.43 c #Conflicts: 1404000 | #Constraints: 33024
76.17/76.43 c #Conflicts: 1405000 | #Constraints: 34024
76.17/76.43 c #Conflicts: 1406000 | #Constraints: 35024
76.17/76.43 c #Conflicts: 1407000 | #Constraints: 36024
76.17/76.43 c #Conflicts: 1408000 | #Constraints: 37024
76.17/76.43 c #Conflicts: 1409000 | #Constraints: 38024
76.17/76.43 c #Conflicts: 1410000 | #Constraints: 39024
76.17/76.43 c #Conflicts: 1411000 | #Constraints: 40024
76.17/76.43 c #Conflicts: 1412000 | #Constraints: 41024
76.17/76.43 c #Conflicts: 1413000 | #Constraints: 42024
76.17/76.43 c #Conflicts: 1414000 | #Constraints: 43024
76.17/76.43 c #Conflicts: 1415000 | #Constraints: 44024
76.17/76.43 c #Conflicts: 1416000 | #Constraints: 45024
76.17/76.43 c #Conflicts: 1417000 | #Constraints: 46024
76.17/76.43 c #Conflicts: 1418000 | #Constraints: 47024
76.17/76.43 c #Conflicts: 1419000 | #Constraints: 48024
76.17/76.43 c INPROCESSING
76.17/76.43 c GARBAGE COLLECT
76.17/76.43 c rational objective 250.5
77.47/77.76 c #Conflicts: 1420000 | #Constraints: 25418
77.47/77.76 c #Conflicts: 1421000 | #Constraints: 26418
77.47/77.76 c #Conflicts: 1422000 | #Constraints: 27418
77.47/77.76 c #Conflicts: 1423000 | #Constraints: 28418
77.47/77.76 c #Conflicts: 1424000 | #Constraints: 29418
77.47/77.76 c #Conflicts: 1425000 | #Constraints: 30418
77.47/77.76 c #Conflicts: 1426000 | #Constraints: 31418
77.47/77.76 c #Conflicts: 1427000 | #Constraints: 32418
77.47/77.76 c #Conflicts: 1428000 | #Constraints: 33418
77.47/77.76 c #Conflicts: 1429000 | #Constraints: 34418
77.47/77.76 c #Conflicts: 1430000 | #Constraints: 35418
77.47/77.76 c #Conflicts: 1431000 | #Constraints: 36418
77.47/77.76 c #Conflicts: 1432000 | #Constraints: 37418
77.47/77.76 c #Conflicts: 1433000 | #Constraints: 38418
77.47/77.76 c #Conflicts: 1434000 | #Constraints: 39418
77.47/77.76 c #Conflicts: 1435000 | #Constraints: 40418
77.47/77.76 c #Conflicts: 1436000 | #Constraints: 41418
77.47/77.76 c #Conflicts: 1437000 | #Constraints: 42418
77.47/77.76 c #Conflicts: 1438000 | #Constraints: 43418
77.47/77.76 c #Conflicts: 1439000 | #Constraints: 44418
77.47/77.76 c #Conflicts: 1440000 | #Constraints: 45418
77.47/77.76 c #Conflicts: 1441000 | #Constraints: 46418
77.47/77.76 c #Conflicts: 1442000 | #Constraints: 47418
77.47/77.76 c #Conflicts: 1443000 | #Constraints: 48418
77.47/77.76 c INPROCESSING
77.47/77.76 c GARBAGE COLLECT
77.47/77.76 c rational objective 250.5
78.87/79.12 c #Conflicts: 1444000 | #Constraints: 25624
78.87/79.12 c #Conflicts: 1445000 | #Constraints: 26624
78.87/79.12 c #Conflicts: 1446000 | #Constraints: 27624
78.87/79.12 c #Conflicts: 1447000 | #Constraints: 28624
78.87/79.12 c #Conflicts: 1448000 | #Constraints: 29624
78.87/79.12 c #Conflicts: 1449000 | #Constraints: 30624
78.87/79.12 c #Conflicts: 1450000 | #Constraints: 31624
78.87/79.12 c #Conflicts: 1451000 | #Constraints: 32624
78.87/79.12 c #Conflicts: 1452000 | #Constraints: 33624
78.87/79.12 c #Conflicts: 1453000 | #Constraints: 34624
78.87/79.12 c #Conflicts: 1454000 | #Constraints: 35624
78.87/79.12 c #Conflicts: 1455000 | #Constraints: 36624
78.87/79.12 c #Conflicts: 1456000 | #Constraints: 37624
78.87/79.12 c #Conflicts: 1457000 | #Constraints: 38624
78.87/79.12 c #Conflicts: 1458000 | #Constraints: 39624
78.87/79.12 c #Conflicts: 1459000 | #Constraints: 40624
78.87/79.12 c #Conflicts: 1460000 | #Constraints: 41624
78.87/79.12 c #Conflicts: 1461000 | #Constraints: 42624
78.87/79.12 c #Conflicts: 1462000 | #Constraints: 43624
78.87/79.12 c #Conflicts: 1463000 | #Constraints: 44624
78.87/79.12 c #Conflicts: 1464000 | #Constraints: 45624
78.87/79.12 c #Conflicts: 1465000 | #Constraints: 46624
78.87/79.12 c #Conflicts: 1466000 | #Constraints: 47624
78.87/79.12 c #Conflicts: 1467000 | #Constraints: 48624
78.87/79.12 c INPROCESSING
78.87/79.12 c GARBAGE COLLECT
78.87/79.12 c rational objective 250.5
80.26/80.52 c #Conflicts: 1468000 | #Constraints: 25624
80.26/80.52 c #Conflicts: 1469000 | #Constraints: 26624
80.26/80.52 c #Conflicts: 1470000 | #Constraints: 27624
80.26/80.52 c #Conflicts: 1471000 | #Constraints: 28624
80.26/80.52 c #Conflicts: 1472000 | #Constraints: 29624
80.26/80.52 c #Conflicts: 1473000 | #Constraints: 30624
80.26/80.52 c #Conflicts: 1474000 | #Constraints: 31624
80.26/80.52 c #Conflicts: 1475000 | #Constraints: 32624
80.26/80.52 c #Conflicts: 1476000 | #Constraints: 33624
80.26/80.52 c #Conflicts: 1477000 | #Constraints: 34624
80.26/80.52 c #Conflicts: 1478000 | #Constraints: 35624
80.26/80.52 c #Conflicts: 1479000 | #Constraints: 36624
80.26/80.52 c #Conflicts: 1480000 | #Constraints: 37624
80.26/80.52 c #Conflicts: 1481000 | #Constraints: 38624
80.26/80.52 c #Conflicts: 1482000 | #Constraints: 39624
80.26/80.52 c #Conflicts: 1483000 | #Constraints: 40624
80.26/80.52 c #Conflicts: 1484000 | #Constraints: 41624
80.26/80.52 c #Conflicts: 1485000 | #Constraints: 42624
80.26/80.52 c #Conflicts: 1486000 | #Constraints: 43624
80.26/80.52 c #Conflicts: 1487000 | #Constraints: 44624
80.26/80.52 c #Conflicts: 1488000 | #Constraints: 45624
80.26/80.52 c #Conflicts: 1489000 | #Constraints: 46624
80.26/80.52 c #Conflicts: 1490000 | #Constraints: 47624
80.26/80.52 c #Conflicts: 1491000 | #Constraints: 48624
80.26/80.52 c INPROCESSING
80.26/80.52 c GARBAGE COLLECT
80.26/80.52 c rational objective 250.5
81.66/81.94 c #Conflicts: 1492000 | #Constraints: 25424
81.66/81.94 c #Conflicts: 1493000 | #Constraints: 26424
81.66/81.94 c #Conflicts: 1494000 | #Constraints: 27424
81.66/81.94 c #Conflicts: 1495000 | #Constraints: 28424
81.66/81.94 c #Conflicts: 1496000 | #Constraints: 29424
81.66/81.94 c #Conflicts: 1497000 | #Constraints: 30424
81.66/81.94 c #Conflicts: 1498000 | #Constraints: 31424
81.66/81.94 c #Conflicts: 1499000 | #Constraints: 32424
81.66/81.94 c #Conflicts: 1500000 | #Constraints: 33424
81.66/81.94 c #Conflicts: 1501000 | #Constraints: 34424
81.66/81.94 c #Conflicts: 1502000 | #Constraints: 35424
81.66/81.94 c #Conflicts: 1503000 | #Constraints: 36424
81.66/81.94 c #Conflicts: 1504000 | #Constraints: 37424
81.66/81.94 c #Conflicts: 1505000 | #Constraints: 38424
81.66/81.94 c #Conflicts: 1506000 | #Constraints: 39424
81.66/81.94 c #Conflicts: 1507000 | #Constraints: 40424
81.66/81.94 c #Conflicts: 1508000 | #Constraints: 41424
81.66/81.94 c #Conflicts: 1509000 | #Constraints: 42424
81.66/81.94 c #Conflicts: 1510000 | #Constraints: 43424
81.66/81.94 c #Conflicts: 1511000 | #Constraints: 44424
81.66/81.94 c #Conflicts: 1512000 | #Constraints: 45424
81.66/81.94 c #Conflicts: 1513000 | #Constraints: 46424
81.66/81.94 c #Conflicts: 1514000 | #Constraints: 47424
81.66/81.94 c #Conflicts: 1515000 | #Constraints: 48424
81.66/81.94 c #Conflicts: 1516000 | #Constraints: 49424
81.66/81.94 c INPROCESSING
81.66/81.94 c GARBAGE COLLECT
81.66/81.94 c rational objective 250.5
83.05/83.35 c #Conflicts: 1517000 | #Constraints: 26024
83.05/83.35 c #Conflicts: 1518000 | #Constraints: 27024
83.05/83.35 c #Conflicts: 1519000 | #Constraints: 28024
83.05/83.35 c #Conflicts: 1520000 | #Constraints: 29024
83.05/83.35 c #Conflicts: 1521000 | #Constraints: 30024
83.05/83.35 c #Conflicts: 1522000 | #Constraints: 31024
83.05/83.35 c #Conflicts: 1523000 | #Constraints: 32024
83.05/83.35 c #Conflicts: 1524000 | #Constraints: 33024
83.05/83.35 c #Conflicts: 1525000 | #Constraints: 34024
83.05/83.35 c #Conflicts: 1526000 | #Constraints: 35024
83.05/83.35 c #Conflicts: 1527000 | #Constraints: 36024
83.05/83.35 c #Conflicts: 1528000 | #Constraints: 37024
83.05/83.35 c #Conflicts: 1529000 | #Constraints: 38024
83.05/83.35 c #Conflicts: 1530000 | #Constraints: 39024
83.05/83.35 c #Conflicts: 1531000 | #Constraints: 40024
83.05/83.35 c #Conflicts: 1532000 | #Constraints: 41024
83.05/83.35 c #Conflicts: 1533000 | #Constraints: 42024
83.05/83.35 c #Conflicts: 1534000 | #Constraints: 43024
83.05/83.35 c #Conflicts: 1535000 | #Constraints: 44024
83.05/83.35 c #Conflicts: 1536000 | #Constraints: 45024
83.05/83.35 c #Conflicts: 1537000 | #Constraints: 46024
83.05/83.35 c #Conflicts: 1538000 | #Constraints: 47024
83.05/83.35 c #Conflicts: 1539000 | #Constraints: 48024
83.05/83.35 c #Conflicts: 1540000 | #Constraints: 49024
83.05/83.35 c #Conflicts: 1541000 | #Constraints: 50024
83.05/83.35 c INPROCESSING
83.05/83.35 c GARBAGE COLLECT
83.05/83.35 c rational objective 250.5
84.45/84.78 c #Conflicts: 1542000 | #Constraints: 26422
84.45/84.78 c #Conflicts: 1543000 | #Constraints: 27422
84.45/84.78 c #Conflicts: 1544000 | #Constraints: 28422
84.45/84.78 c #Conflicts: 1545000 | #Constraints: 29422
84.45/84.78 c #Conflicts: 1546000 | #Constraints: 30422
84.45/84.78 c #Conflicts: 1547000 | #Constraints: 31422
84.45/84.78 c #Conflicts: 1548000 | #Constraints: 32422
84.45/84.78 c #Conflicts: 1549000 | #Constraints: 33422
84.45/84.78 c #Conflicts: 1550000 | #Constraints: 34422
84.45/84.78 c #Conflicts: 1551000 | #Constraints: 35422
84.45/84.78 c #Conflicts: 1552000 | #Constraints: 36422
84.45/84.78 c #Conflicts: 1553000 | #Constraints: 37422
84.45/84.78 c #Conflicts: 1554000 | #Constraints: 38422
84.45/84.78 c #Conflicts: 1555000 | #Constraints: 39422
84.45/84.78 c #Conflicts: 1556000 | #Constraints: 40422
84.45/84.78 c #Conflicts: 1557000 | #Constraints: 41422
84.45/84.78 c #Conflicts: 1558000 | #Constraints: 42422
84.45/84.78 c #Conflicts: 1559000 | #Constraints: 43422
84.45/84.78 c #Conflicts: 1560000 | #Constraints: 44422
84.45/84.78 c #Conflicts: 1561000 | #Constraints: 45422
84.45/84.78 c #Conflicts: 1562000 | #Constraints: 46422
84.45/84.78 c #Conflicts: 1563000 | #Constraints: 47422
84.45/84.78 c #Conflicts: 1564000 | #Constraints: 48422
84.45/84.78 c #Conflicts: 1565000 | #Constraints: 49422
84.45/84.78 c #Conflicts: 1566000 | #Constraints: 50422
84.45/84.78 c INPROCESSING
84.45/84.78 c GARBAGE COLLECT
84.45/84.78 c rational objective 250.5
86.25/86.56 c #Conflicts: 1567000 | #Constraints: 26622
86.25/86.56 c #Conflicts: 1568000 | #Constraints: 27622
86.25/86.56 c #Conflicts: 1569000 | #Constraints: 28622
86.25/86.56 c #Conflicts: 1570000 | #Constraints: 29622
86.25/86.56 c #Conflicts: 1571000 | #Constraints: 30622
86.25/86.56 c #Conflicts: 1572000 | #Constraints: 31622
86.25/86.56 c #Conflicts: 1573000 | #Constraints: 32622
86.25/86.56 c #Conflicts: 1574000 | #Constraints: 33622
86.25/86.56 c #Conflicts: 1575000 | #Constraints: 34622
86.25/86.56 c #Conflicts: 1576000 | #Constraints: 35622
86.25/86.56 c #Conflicts: 1577000 | #Constraints: 36622
86.25/86.56 c #Conflicts: 1578000 | #Constraints: 37622
86.25/86.56 c #Conflicts: 1579000 | #Constraints: 38622
86.25/86.56 c #Conflicts: 1580000 | #Constraints: 39622
86.25/86.56 c #Conflicts: 1581000 | #Constraints: 40622
86.25/86.56 c #Conflicts: 1582000 | #Constraints: 41622
86.25/86.56 c #Conflicts: 1583000 | #Constraints: 42622
86.25/86.56 c #Conflicts: 1584000 | #Constraints: 43622
86.25/86.56 c #Conflicts: 1585000 | #Constraints: 44622
86.25/86.56 c #Conflicts: 1586000 | #Constraints: 45622
86.25/86.56 c #Conflicts: 1587000 | #Constraints: 46622
86.25/86.56 c #Conflicts: 1588000 | #Constraints: 47622
86.25/86.56 c #Conflicts: 1589000 | #Constraints: 48622
86.25/86.56 c #Conflicts: 1590000 | #Constraints: 49622
86.25/86.56 c #Conflicts: 1591000 | #Constraints: 50622
86.25/86.56 c INPROCESSING
86.25/86.56 c GARBAGE COLLECT
86.25/86.56 c rational objective 250.5
88.14/88.50 c #Conflicts: 1592000 | #Constraints: 26625
88.14/88.50 c #Conflicts: 1593000 | #Constraints: 27625
88.14/88.50 c #Conflicts: 1594000 | #Constraints: 28625
88.14/88.50 c #Conflicts: 1595000 | #Constraints: 29625
88.14/88.50 c #Conflicts: 1596000 | #Constraints: 30625
88.14/88.50 c #Conflicts: 1597000 | #Constraints: 31625
88.14/88.50 c #Conflicts: 1598000 | #Constraints: 32625
88.14/88.50 c #Conflicts: 1599000 | #Constraints: 33625
88.14/88.50 c #Conflicts: 1600000 | #Constraints: 34625
88.14/88.50 c #Conflicts: 1601000 | #Constraints: 35625
88.14/88.50 c #Conflicts: 1602000 | #Constraints: 36625
88.14/88.50 c #Conflicts: 1603000 | #Constraints: 37625
88.14/88.50 c #Conflicts: 1604000 | #Constraints: 38625
88.14/88.50 c #Conflicts: 1605000 | #Constraints: 39625
88.14/88.50 c #Conflicts: 1606000 | #Constraints: 40625
88.14/88.50 c #Conflicts: 1607000 | #Constraints: 41625
88.14/88.50 c #Conflicts: 1608000 | #Constraints: 42625
88.14/88.50 c #Conflicts: 1609000 | #Constraints: 43625
88.14/88.50 c #Conflicts: 1610000 | #Constraints: 44625
88.14/88.50 c #Conflicts: 1611000 | #Constraints: 45625
88.14/88.50 c #Conflicts: 1612000 | #Constraints: 46625
88.14/88.50 c #Conflicts: 1613000 | #Constraints: 47625
88.14/88.50 c #Conflicts: 1614000 | #Constraints: 48625
88.14/88.50 c #Conflicts: 1615000 | #Constraints: 49625
88.14/88.50 c #Conflicts: 1616000 | #Constraints: 50625
88.14/88.50 c INPROCESSING
88.14/88.50 c GARBAGE COLLECT
88.14/88.50 c rational objective 250.5
89.44/89.76 c #Conflicts: 1617000 | #Constraints: 26426
89.44/89.76 c #Conflicts: 1618000 | #Constraints: 27426
89.44/89.76 c #Conflicts: 1619000 | #Constraints: 28426
89.44/89.76 c #Conflicts: 1620000 | #Constraints: 29426
89.44/89.76 c #Conflicts: 1621000 | #Constraints: 30426
89.44/89.76 c #Conflicts: 1622000 | #Constraints: 31426
89.44/89.76 c #Conflicts: 1623000 | #Constraints: 32426
89.44/89.76 c #Conflicts: 1624000 | #Constraints: 33426
89.44/89.76 c #Conflicts: 1625000 | #Constraints: 34426
89.44/89.76 c #Conflicts: 1626000 | #Constraints: 35426
89.44/89.76 c #Conflicts: 1627000 | #Constraints: 36426
89.44/89.76 c #Conflicts: 1628000 | #Constraints: 37426
89.44/89.76 c #Conflicts: 1629000 | #Constraints: 38426
89.44/89.76 c #Conflicts: 1630000 | #Constraints: 39426
89.44/89.76 c #Conflicts: 1631000 | #Constraints: 40426
89.44/89.76 c #Conflicts: 1632000 | #Constraints: 41426
89.44/89.76 c #Conflicts: 1633000 | #Constraints: 42426
89.44/89.76 c #Conflicts: 1634000 | #Constraints: 43426
89.44/89.76 c #Conflicts: 1635000 | #Constraints: 44426
89.44/89.76 c #Conflicts: 1636000 | #Constraints: 45426
89.44/89.76 c #Conflicts: 1637000 | #Constraints: 46426
89.44/89.76 c #Conflicts: 1638000 | #Constraints: 47426
89.44/89.76 c #Conflicts: 1639000 | #Constraints: 48426
89.44/89.76 c #Conflicts: 1640000 | #Constraints: 49426
89.44/89.76 c #Conflicts: 1641000 | #Constraints: 50426
89.44/89.76 c #Conflicts: 1642000 | #Constraints: 51426
89.44/89.76 c INPROCESSING
89.44/89.76 c GARBAGE COLLECT
89.44/89.76 c rational objective 250.5
90.93/91.27 c #Conflicts: 1643000 | #Constraints: 27019
90.93/91.27 c #Conflicts: 1644000 | #Constraints: 28019
90.93/91.27 c #Conflicts: 1645000 | #Constraints: 29019
90.93/91.27 c #Conflicts: 1646000 | #Constraints: 30019
90.93/91.27 c #Conflicts: 1647000 | #Constraints: 31019
90.93/91.27 c #Conflicts: 1648000 | #Constraints: 32019
90.93/91.27 c #Conflicts: 1649000 | #Constraints: 33019
90.93/91.27 c #Conflicts: 1650000 | #Constraints: 34019
90.93/91.27 c #Conflicts: 1651000 | #Constraints: 35019
90.93/91.27 c #Conflicts: 1652000 | #Constraints: 36019
90.93/91.27 c #Conflicts: 1653000 | #Constraints: 37019
90.93/91.27 c #Conflicts: 1654000 | #Constraints: 38019
90.93/91.27 c #Conflicts: 1655000 | #Constraints: 39019
90.93/91.27 c #Conflicts: 1656000 | #Constraints: 40019
90.93/91.27 c #Conflicts: 1657000 | #Constraints: 41019
90.93/91.27 c #Conflicts: 1658000 | #Constraints: 42019
90.93/91.27 c #Conflicts: 1659000 | #Constraints: 43019
90.93/91.27 c #Conflicts: 1660000 | #Constraints: 44019
90.93/91.27 c #Conflicts: 1661000 | #Constraints: 45019
90.93/91.27 c #Conflicts: 1662000 | #Constraints: 46019
90.93/91.27 c #Conflicts: 1663000 | #Constraints: 47019
90.93/91.27 c #Conflicts: 1664000 | #Constraints: 48019
90.93/91.27 c #Conflicts: 1665000 | #Constraints: 49019
90.93/91.27 c #Conflicts: 1666000 | #Constraints: 50019
90.93/91.27 c #Conflicts: 1667000 | #Constraints: 51019
90.93/91.27 c #Conflicts: 1668000 | #Constraints: 52019
90.93/91.27 c INPROCESSING
90.93/91.27 c GARBAGE COLLECT
90.93/91.27 c rational objective 250.5
92.43/92.75 c #Conflicts: 1669000 | #Constraints: 27428
92.43/92.75 c #Conflicts: 1670000 | #Constraints: 28428
92.43/92.75 c #Conflicts: 1671000 | #Constraints: 29428
92.43/92.75 c #Conflicts: 1672000 | #Constraints: 30428
92.43/92.75 c #Conflicts: 1673000 | #Constraints: 31428
92.43/92.75 c #Conflicts: 1674000 | #Constraints: 32428
92.43/92.75 c #Conflicts: 1675000 | #Constraints: 33428
92.43/92.75 c #Conflicts: 1676000 | #Constraints: 34428
92.43/92.75 c #Conflicts: 1677000 | #Constraints: 35428
92.43/92.75 c #Conflicts: 1678000 | #Constraints: 36428
92.43/92.75 c #Conflicts: 1679000 | #Constraints: 37428
92.43/92.75 c #Conflicts: 1680000 | #Constraints: 38428
92.43/92.75 c #Conflicts: 1681000 | #Constraints: 39428
92.43/92.75 c #Conflicts: 1682000 | #Constraints: 40428
92.43/92.75 c #Conflicts: 1683000 | #Constraints: 41428
92.43/92.75 c #Conflicts: 1684000 | #Constraints: 42428
92.43/92.75 c #Conflicts: 1685000 | #Constraints: 43428
92.43/92.75 c #Conflicts: 1686000 | #Constraints: 44428
92.43/92.75 c #Conflicts: 1687000 | #Constraints: 45428
92.43/92.75 c #Conflicts: 1688000 | #Constraints: 46428
92.43/92.75 c #Conflicts: 1689000 | #Constraints: 47428
92.43/92.75 c #Conflicts: 1690000 | #Constraints: 48428
92.43/92.75 c #Conflicts: 1691000 | #Constraints: 49428
92.43/92.75 c #Conflicts: 1692000 | #Constraints: 50428
92.43/92.75 c #Conflicts: 1693000 | #Constraints: 51428
92.43/92.75 c #Conflicts: 1694000 | #Constraints: 52428
92.43/92.75 c INPROCESSING
92.43/92.75 c GARBAGE COLLECT
92.43/92.75 c rational objective 250.5
94.02/94.30 c #Conflicts: 1695000 | #Constraints: 27628
94.02/94.30 c #Conflicts: 1696000 | #Constraints: 28628
94.02/94.30 c #Conflicts: 1697000 | #Constraints: 29628
94.02/94.30 c #Conflicts: 1698000 | #Constraints: 30628
94.02/94.30 c #Conflicts: 1699000 | #Constraints: 31628
94.02/94.30 c #Conflicts: 1700000 | #Constraints: 32628
94.02/94.30 c #Conflicts: 1701000 | #Constraints: 33628
94.02/94.30 c #Conflicts: 1702000 | #Constraints: 34628
94.02/94.30 c #Conflicts: 1703000 | #Constraints: 35628
94.02/94.30 c #Conflicts: 1704000 | #Constraints: 36628
94.02/94.30 c #Conflicts: 1705000 | #Constraints: 37628
94.02/94.30 c #Conflicts: 1706000 | #Constraints: 38628
94.02/94.30 c #Conflicts: 1707000 | #Constraints: 39628
94.02/94.30 c #Conflicts: 1708000 | #Constraints: 40628
94.02/94.30 c #Conflicts: 1709000 | #Constraints: 41628
94.02/94.30 c #Conflicts: 1710000 | #Constraints: 42628
94.02/94.30 c #Conflicts: 1711000 | #Constraints: 43628
94.02/94.30 c #Conflicts: 1712000 | #Constraints: 44628
94.02/94.30 c #Conflicts: 1713000 | #Constraints: 45628
94.02/94.30 c #Conflicts: 1714000 | #Constraints: 46628
94.02/94.30 c #Conflicts: 1715000 | #Constraints: 47628
94.02/94.30 c #Conflicts: 1716000 | #Constraints: 48628
94.02/94.30 c #Conflicts: 1717000 | #Constraints: 49628
94.02/94.30 c #Conflicts: 1718000 | #Constraints: 50628
94.02/94.30 c #Conflicts: 1719000 | #Constraints: 51628
94.02/94.30 c #Conflicts: 1720000 | #Constraints: 52628
94.02/94.30 c INPROCESSING
94.02/94.30 c GARBAGE COLLECT
94.02/94.30 c rational objective 250.5
95.42/95.71 c #Conflicts: 1721000 | #Constraints: 27631
95.42/95.71 c #Conflicts: 1722000 | #Constraints: 28631
95.42/95.71 c #Conflicts: 1723000 | #Constraints: 29631
95.42/95.71 c #Conflicts: 1724000 | #Constraints: 30631
95.42/95.71 c #Conflicts: 1725000 | #Constraints: 31631
95.42/95.71 c #Conflicts: 1726000 | #Constraints: 32631
95.42/95.71 c #Conflicts: 1727000 | #Constraints: 33631
95.42/95.71 c #Conflicts: 1728000 | #Constraints: 34631
95.42/95.71 c #Conflicts: 1729000 | #Constraints: 35631
95.42/95.71 c #Conflicts: 1730000 | #Constraints: 36631
95.42/95.71 c #Conflicts: 1731000 | #Constraints: 37631
95.42/95.71 c #Conflicts: 1732000 | #Constraints: 38631
95.42/95.71 c #Conflicts: 1733000 | #Constraints: 39631
95.42/95.71 c #Conflicts: 1734000 | #Constraints: 40631
95.42/95.71 c #Conflicts: 1735000 | #Constraints: 41631
95.42/95.71 c #Conflicts: 1736000 | #Constraints: 42631
95.42/95.71 c #Conflicts: 1737000 | #Constraints: 43631
95.42/95.71 c #Conflicts: 1738000 | #Constraints: 44631
95.42/95.71 c #Conflicts: 1739000 | #Constraints: 45631
95.42/95.71 c #Conflicts: 1740000 | #Constraints: 46631
95.42/95.71 c #Conflicts: 1741000 | #Constraints: 47631
95.42/95.71 c #Conflicts: 1742000 | #Constraints: 48631
95.42/95.71 c #Conflicts: 1743000 | #Constraints: 49631
95.42/95.71 c #Conflicts: 1744000 | #Constraints: 50631
95.42/95.71 c #Conflicts: 1745000 | #Constraints: 51631
95.42/95.71 c #Conflicts: 1746000 | #Constraints: 52631
95.42/95.71 c INPROCESSING
95.42/95.71 c GARBAGE COLLECT
95.42/95.71 c rational objective 250.5
97.01/97.35 c #Conflicts: 1747000 | #Constraints: 27426
97.01/97.35 c #Conflicts: 1748000 | #Constraints: 28426
97.01/97.35 c #Conflicts: 1749000 | #Constraints: 29426
97.01/97.35 c #Conflicts: 1750000 | #Constraints: 30426
97.01/97.35 c #Conflicts: 1751000 | #Constraints: 31426
97.01/97.35 c #Conflicts: 1752000 | #Constraints: 32426
97.01/97.35 c #Conflicts: 1753000 | #Constraints: 33426
97.01/97.35 c #Conflicts: 1754000 | #Constraints: 34426
97.01/97.35 c #Conflicts: 1755000 | #Constraints: 35426
97.01/97.35 c #Conflicts: 1756000 | #Constraints: 36426
97.01/97.35 c #Conflicts: 1757000 | #Constraints: 37426
97.01/97.35 c #Conflicts: 1758000 | #Constraints: 38426
97.01/97.35 c #Conflicts: 1759000 | #Constraints: 39426
97.01/97.35 c #Conflicts: 1760000 | #Constraints: 40426
97.01/97.35 c #Conflicts: 1761000 | #Constraints: 41426
97.01/97.35 c #Conflicts: 1762000 | #Constraints: 42426
97.01/97.35 c #Conflicts: 1763000 | #Constraints: 43426
97.01/97.35 c #Conflicts: 1764000 | #Constraints: 44426
97.01/97.35 c #Conflicts: 1765000 | #Constraints: 45426
97.01/97.35 c #Conflicts: 1766000 | #Constraints: 46426
97.01/97.35 c #Conflicts: 1767000 | #Constraints: 47426
97.01/97.35 c #Conflicts: 1768000 | #Constraints: 48426
97.01/97.35 c #Conflicts: 1769000 | #Constraints: 49426
97.01/97.35 c #Conflicts: 1770000 | #Constraints: 50426
97.01/97.35 c #Conflicts: 1771000 | #Constraints: 51426
97.01/97.35 c #Conflicts: 1772000 | #Constraints: 52426
97.01/97.35 c #Conflicts: 1773000 | #Constraints: 53426
97.01/97.35 c INPROCESSING
97.01/97.35 c GARBAGE COLLECT
97.01/97.35 c rational objective 250.5
98.60/98.92 c #Conflicts: 1774000 | #Constraints: 28022
98.60/98.92 c #Conflicts: 1775000 | #Constraints: 29022
98.60/98.92 c #Conflicts: 1776000 | #Constraints: 30022
98.60/98.92 c #Conflicts: 1777000 | #Constraints: 31022
98.60/98.92 c #Conflicts: 1778000 | #Constraints: 32022
98.60/98.92 c #Conflicts: 1779000 | #Constraints: 33022
98.60/98.92 c #Conflicts: 1780000 | #Constraints: 34022
98.60/98.92 c #Conflicts: 1781000 | #Constraints: 35022
98.60/98.92 c #Conflicts: 1782000 | #Constraints: 36022
98.60/98.92 c #Conflicts: 1783000 | #Constraints: 37022
98.60/98.92 c #Conflicts: 1784000 | #Constraints: 38022
98.60/98.92 c #Conflicts: 1785000 | #Constraints: 39022
98.60/98.92 c #Conflicts: 1786000 | #Constraints: 40022
98.60/98.92 c #Conflicts: 1787000 | #Constraints: 41022
98.60/98.92 c #Conflicts: 1788000 | #Constraints: 42022
98.60/98.92 c #Conflicts: 1789000 | #Constraints: 43022
98.60/98.92 c #Conflicts: 1790000 | #Constraints: 44022
98.60/98.92 c #Conflicts: 1791000 | #Constraints: 45022
98.60/98.92 c #Conflicts: 1792000 | #Constraints: 46022
98.60/98.92 c #Conflicts: 1793000 | #Constraints: 47022
98.60/98.92 c #Conflicts: 1794000 | #Constraints: 48022
98.60/98.92 c #Conflicts: 1795000 | #Constraints: 49022
98.60/98.92 c #Conflicts: 1796000 | #Constraints: 50022
98.60/98.92 c #Conflicts: 1797000 | #Constraints: 51022
98.60/98.92 c #Conflicts: 1798000 | #Constraints: 52022
98.60/98.92 c #Conflicts: 1799000 | #Constraints: 53022
98.60/98.92 c #Conflicts: 1800000 | #Constraints: 54022
98.60/98.92 c INPROCESSING
98.60/98.92 c GARBAGE COLLECT
98.60/98.92 c rational objective 250.5
100.10/100.49 c #Conflicts: 1801000 | #Constraints: 28421
100.10/100.49 c #Conflicts: 1802000 | #Constraints: 29421
100.10/100.49 c #Conflicts: 1803000 | #Constraints: 30421
100.10/100.49 c #Conflicts: 1804000 | #Constraints: 31421
100.10/100.49 c #Conflicts: 1805000 | #Constraints: 32421
100.10/100.49 c #Conflicts: 1806000 | #Constraints: 33421
100.10/100.49 c #Conflicts: 1807000 | #Constraints: 34421
100.10/100.49 c #Conflicts: 1808000 | #Constraints: 35421
100.10/100.49 c #Conflicts: 1809000 | #Constraints: 36421
100.10/100.49 c #Conflicts: 1810000 | #Constraints: 37421
100.10/100.49 c #Conflicts: 1811000 | #Constraints: 38421
100.10/100.49 c #Conflicts: 1812000 | #Constraints: 39421
100.10/100.49 c #Conflicts: 1813000 | #Constraints: 40421
100.10/100.49 c #Conflicts: 1814000 | #Constraints: 41421
100.10/100.49 c #Conflicts: 1815000 | #Constraints: 42421
100.10/100.49 c #Conflicts: 1816000 | #Constraints: 43421
100.10/100.49 c #Conflicts: 1817000 | #Constraints: 44421
100.10/100.49 c #Conflicts: 1818000 | #Constraints: 45421
100.10/100.49 c #Conflicts: 1819000 | #Constraints: 46421
100.10/100.49 c #Conflicts: 1820000 | #Constraints: 47421
100.10/100.49 c #Conflicts: 1821000 | #Constraints: 48421
100.10/100.49 c #Conflicts: 1822000 | #Constraints: 49421
100.10/100.49 c #Conflicts: 1823000 | #Constraints: 50421
100.10/100.49 c #Conflicts: 1824000 | #Constraints: 51421
100.10/100.49 c #Conflicts: 1825000 | #Constraints: 52421
100.10/100.49 c #Conflicts: 1826000 | #Constraints: 53421
100.10/100.49 c #Conflicts: 1827000 | #Constraints: 54421
100.10/100.49 c INPROCESSING
100.10/100.49 c GARBAGE COLLECT
100.10/100.49 c rational objective 250.5
101.80/102.10 c #Conflicts: 1828000 | #Constraints: 28622
101.80/102.10 c #Conflicts: 1829000 | #Constraints: 29622
101.80/102.10 c #Conflicts: 1830000 | #Constraints: 30622
101.80/102.10 c #Conflicts: 1831000 | #Constraints: 31622
101.80/102.10 c #Conflicts: 1832000 | #Constraints: 32622
101.80/102.10 c #Conflicts: 1833000 | #Constraints: 33622
101.80/102.10 c #Conflicts: 1834000 | #Constraints: 34622
101.80/102.10 c #Conflicts: 1835000 | #Constraints: 35622
101.80/102.10 c #Conflicts: 1836000 | #Constraints: 36622
101.80/102.10 c #Conflicts: 1837000 | #Constraints: 37622
101.80/102.10 c #Conflicts: 1838000 | #Constraints: 38622
101.80/102.10 c #Conflicts: 1839000 | #Constraints: 39622
101.80/102.10 c #Conflicts: 1840000 | #Constraints: 40622
101.80/102.10 c #Conflicts: 1841000 | #Constraints: 41622
101.80/102.10 c #Conflicts: 1842000 | #Constraints: 42622
101.80/102.10 c #Conflicts: 1843000 | #Constraints: 43622
101.80/102.10 c #Conflicts: 1844000 | #Constraints: 44622
101.80/102.10 c #Conflicts: 1845000 | #Constraints: 45622
101.80/102.10 c #Conflicts: 1846000 | #Constraints: 46622
101.80/102.10 c #Conflicts: 1847000 | #Constraints: 47622
101.80/102.10 c #Conflicts: 1848000 | #Constraints: 48622
101.80/102.10 c #Conflicts: 1849000 | #Constraints: 49622
101.80/102.10 c #Conflicts: 1850000 | #Constraints: 50622
101.80/102.10 c #Conflicts: 1851000 | #Constraints: 51622
101.80/102.10 c #Conflicts: 1852000 | #Constraints: 52622
101.80/102.10 c #Conflicts: 1853000 | #Constraints: 53622
101.80/102.10 c #Conflicts: 1854000 | #Constraints: 54622
101.80/102.10 c INPROCESSING
101.80/102.10 c GARBAGE COLLECT
101.80/102.10 c rational objective 250.5
103.30/103.67 c #Conflicts: 1855000 | #Constraints: 28630
103.30/103.67 c #Conflicts: 1856000 | #Constraints: 29630
103.30/103.67 c #Conflicts: 1857000 | #Constraints: 30630
103.30/103.67 c #Conflicts: 1858000 | #Constraints: 31630
103.30/103.67 c #Conflicts: 1859000 | #Constraints: 32630
103.30/103.67 c #Conflicts: 1860000 | #Constraints: 33630
103.30/103.67 c #Conflicts: 1861000 | #Constraints: 34630
103.30/103.67 c #Conflicts: 1862000 | #Constraints: 35630
103.30/103.67 c #Conflicts: 1863000 | #Constraints: 36630
103.30/103.67 c #Conflicts: 1864000 | #Constraints: 37630
103.30/103.67 c #Conflicts: 1865000 | #Constraints: 38630
103.30/103.67 c #Conflicts: 1866000 | #Constraints: 39630
103.30/103.67 c #Conflicts: 1867000 | #Constraints: 40630
103.30/103.67 c #Conflicts: 1868000 | #Constraints: 41630
103.30/103.67 c #Conflicts: 1869000 | #Constraints: 42630
103.30/103.67 c #Conflicts: 1870000 | #Constraints: 43630
103.30/103.67 c #Conflicts: 1871000 | #Constraints: 44630
103.30/103.67 c #Conflicts: 1872000 | #Constraints: 45630
103.30/103.67 c #Conflicts: 1873000 | #Constraints: 46630
103.30/103.67 c #Conflicts: 1874000 | #Constraints: 47630
103.30/103.67 c #Conflicts: 1875000 | #Constraints: 48630
103.30/103.67 c #Conflicts: 1876000 | #Constraints: 49630
103.30/103.67 c #Conflicts: 1877000 | #Constraints: 50630
103.30/103.67 c #Conflicts: 1878000 | #Constraints: 51630
103.30/103.67 c #Conflicts: 1879000 | #Constraints: 52630
103.30/103.67 c #Conflicts: 1880000 | #Constraints: 53630
103.30/103.67 c #Conflicts: 1881000 | #Constraints: 54630
103.30/103.67 c INPROCESSING
103.30/103.67 c GARBAGE COLLECT
103.30/103.67 c rational objective 250.5
104.99/105.37 c #Conflicts: 1882000 | #Constraints: 28429
104.99/105.37 c #Conflicts: 1883000 | #Constraints: 29429
104.99/105.37 c #Conflicts: 1884000 | #Constraints: 30429
104.99/105.37 c #Conflicts: 1885000 | #Constraints: 31429
104.99/105.37 c #Conflicts: 1886000 | #Constraints: 32429
104.99/105.37 c #Conflicts: 1887000 | #Constraints: 33429
104.99/105.37 c #Conflicts: 1888000 | #Constraints: 34429
104.99/105.37 c #Conflicts: 1889000 | #Constraints: 35429
104.99/105.37 c #Conflicts: 1890000 | #Constraints: 36429
104.99/105.37 c #Conflicts: 1891000 | #Constraints: 37429
104.99/105.37 c #Conflicts: 1892000 | #Constraints: 38429
104.99/105.37 c #Conflicts: 1893000 | #Constraints: 39429
104.99/105.37 c #Conflicts: 1894000 | #Constraints: 40429
104.99/105.37 c #Conflicts: 1895000 | #Constraints: 41429
104.99/105.37 c #Conflicts: 1896000 | #Constraints: 42429
104.99/105.37 c #Conflicts: 1897000 | #Constraints: 43429
104.99/105.37 c #Conflicts: 1898000 | #Constraints: 44429
104.99/105.37 c #Conflicts: 1899000 | #Constraints: 45429
104.99/105.37 c #Conflicts: 1900000 | #Constraints: 46429
104.99/105.37 c #Conflicts: 1901000 | #Constraints: 47429
104.99/105.37 c #Conflicts: 1902000 | #Constraints: 48429
104.99/105.37 c #Conflicts: 1903000 | #Constraints: 49429
104.99/105.37 c #Conflicts: 1904000 | #Constraints: 50429
104.99/105.37 c #Conflicts: 1905000 | #Constraints: 51429
104.99/105.37 c #Conflicts: 1906000 | #Constraints: 52429
104.99/105.37 c #Conflicts: 1907000 | #Constraints: 53429
104.99/105.37 c #Conflicts: 1908000 | #Constraints: 54429
104.99/105.37 c #Conflicts: 1909000 | #Constraints: 55429
104.99/105.37 c INPROCESSING
104.99/105.37 c GARBAGE COLLECT
104.99/105.37 c rational objective 250.5
106.78/107.19 c #Conflicts: 1910000 | #Constraints: 29024
106.78/107.19 c #Conflicts: 1911000 | #Constraints: 30024
106.78/107.19 c #Conflicts: 1912000 | #Constraints: 31024
106.78/107.19 c #Conflicts: 1913000 | #Constraints: 32024
106.78/107.19 c #Conflicts: 1914000 | #Constraints: 33024
106.78/107.19 c #Conflicts: 1915000 | #Constraints: 34024
106.78/107.19 c #Conflicts: 1916000 | #Constraints: 35024
106.78/107.19 c #Conflicts: 1917000 | #Constraints: 36024
106.78/107.19 c #Conflicts: 1918000 | #Constraints: 37024
106.78/107.19 c #Conflicts: 1919000 | #Constraints: 38024
106.78/107.19 c #Conflicts: 1920000 | #Constraints: 39024
106.78/107.19 c #Conflicts: 1921000 | #Constraints: 40024
106.78/107.19 c #Conflicts: 1922000 | #Constraints: 41024
106.78/107.19 c #Conflicts: 1923000 | #Constraints: 42024
106.78/107.19 c #Conflicts: 1924000 | #Constraints: 43024
106.78/107.19 c #Conflicts: 1925000 | #Constraints: 44024
106.78/107.19 c #Conflicts: 1926000 | #Constraints: 45024
106.78/107.19 c #Conflicts: 1927000 | #Constraints: 46024
106.78/107.19 c #Conflicts: 1928000 | #Constraints: 47024
106.78/107.19 c #Conflicts: 1929000 | #Constraints: 48024
106.78/107.19 c #Conflicts: 1930000 | #Constraints: 49024
106.78/107.19 c #Conflicts: 1931000 | #Constraints: 50024
106.78/107.19 c #Conflicts: 1932000 | #Constraints: 51024
106.78/107.19 c #Conflicts: 1933000 | #Constraints: 52024
106.78/107.19 c #Conflicts: 1934000 | #Constraints: 53024
106.78/107.19 c #Conflicts: 1935000 | #Constraints: 54024
106.78/107.19 c #Conflicts: 1936000 | #Constraints: 55024
106.78/107.19 c #Conflicts: 1937000 | #Constraints: 56024
106.78/107.19 c INPROCESSING
106.78/107.19 c GARBAGE COLLECT
106.78/107.19 c rational objective 250.5
108.58/108.99 c #Conflicts: 1938000 | #Constraints: 29422
108.58/108.99 c #Conflicts: 1939000 | #Constraints: 30422
108.58/108.99 c #Conflicts: 1940000 | #Constraints: 31422
108.58/108.99 c #Conflicts: 1941000 | #Constraints: 32422
108.58/108.99 c #Conflicts: 1942000 | #Constraints: 33422
108.58/108.99 c #Conflicts: 1943000 | #Constraints: 34422
108.58/108.99 c #Conflicts: 1944000 | #Constraints: 35422
108.58/108.99 c #Conflicts: 1945000 | #Constraints: 36422
108.58/108.99 c #Conflicts: 1946000 | #Constraints: 37422
108.58/108.99 c #Conflicts: 1947000 | #Constraints: 38422
108.58/108.99 c #Conflicts: 1948000 | #Constraints: 39422
108.58/108.99 c #Conflicts: 1949000 | #Constraints: 40422
108.58/108.99 c #Conflicts: 1950000 | #Constraints: 41422
108.58/108.99 c #Conflicts: 1951000 | #Constraints: 42422
108.58/108.99 c #Conflicts: 1952000 | #Constraints: 43422
108.58/108.99 c #Conflicts: 1953000 | #Constraints: 44422
108.58/108.99 c #Conflicts: 1954000 | #Constraints: 45422
108.58/108.99 c #Conflicts: 1955000 | #Constraints: 46422
108.58/108.99 c #Conflicts: 1956000 | #Constraints: 47422
108.58/108.99 c #Conflicts: 1957000 | #Constraints: 48422
108.58/108.99 c #Conflicts: 1958000 | #Constraints: 49422
108.58/108.99 c #Conflicts: 1959000 | #Constraints: 50422
108.58/108.99 c #Conflicts: 1960000 | #Constraints: 51422
108.58/108.99 c #Conflicts: 1961000 | #Constraints: 52422
108.58/108.99 c #Conflicts: 1962000 | #Constraints: 53422
108.58/108.99 c #Conflicts: 1963000 | #Constraints: 54422
108.58/108.99 c #Conflicts: 1964000 | #Constraints: 55422
108.58/108.99 c #Conflicts: 1965000 | #Constraints: 56422
108.58/108.99 c INPROCESSING
108.58/108.99 c GARBAGE COLLECT
108.58/108.99 c rational objective 250.5
110.47/110.85 c #Conflicts: 1966000 | #Constraints: 29621
110.47/110.85 c #Conflicts: 1967000 | #Constraints: 30621
110.47/110.85 c #Conflicts: 1968000 | #Constraints: 31621
110.47/110.85 c #Conflicts: 1969000 | #Constraints: 32621
110.47/110.85 c #Conflicts: 1970000 | #Constraints: 33621
110.47/110.85 c #Conflicts: 1971000 | #Constraints: 34621
110.47/110.85 c #Conflicts: 1972000 | #Constraints: 35621
110.47/110.85 c #Conflicts: 1973000 | #Constraints: 36621
110.47/110.85 c #Conflicts: 1974000 | #Constraints: 37621
110.47/110.85 c #Conflicts: 1975000 | #Constraints: 38621
110.47/110.85 c #Conflicts: 1976000 | #Constraints: 39621
110.47/110.85 c #Conflicts: 1977000 | #Constraints: 40621
110.47/110.85 c #Conflicts: 1978000 | #Constraints: 41621
110.47/110.85 c #Conflicts: 1979000 | #Constraints: 42621
110.47/110.85 c #Conflicts: 1980000 | #Constraints: 43621
110.47/110.85 c #Conflicts: 1981000 | #Constraints: 44621
110.47/110.85 c #Conflicts: 1982000 | #Constraints: 45621
110.47/110.85 c #Conflicts: 1983000 | #Constraints: 46621
110.47/110.85 c #Conflicts: 1984000 | #Constraints: 47621
110.47/110.85 c #Conflicts: 1985000 | #Constraints: 48621
110.47/110.85 c #Conflicts: 1986000 | #Constraints: 49621
110.47/110.85 c #Conflicts: 1987000 | #Constraints: 50621
110.47/110.85 c #Conflicts: 1988000 | #Constraints: 51621
110.47/110.85 c #Conflicts: 1989000 | #Constraints: 52621
110.47/110.85 c #Conflicts: 1990000 | #Constraints: 53621
110.47/110.85 c #Conflicts: 1991000 | #Constraints: 54621
110.47/110.85 c #Conflicts: 1992000 | #Constraints: 55621
110.47/110.85 c #Conflicts: 1993000 | #Constraints: 56621
110.47/110.85 c INPROCESSING
110.47/110.85 c GARBAGE COLLECT
110.47/110.85 c rational objective 250.5
112.17/112.58 c #Conflicts: 1994000 | #Constraints: 29622
112.17/112.58 c #Conflicts: 1995000 | #Constraints: 30622
112.17/112.58 c #Conflicts: 1996000 | #Constraints: 31622
112.17/112.58 c #Conflicts: 1997000 | #Constraints: 32622
112.17/112.58 c #Conflicts: 1998000 | #Constraints: 33622
112.17/112.58 c #Conflicts: 1999000 | #Constraints: 34622
112.17/112.58 c #Conflicts: 2000000 | #Constraints: 35622
112.17/112.58 c #Conflicts: 2001000 | #Constraints: 36622
112.17/112.58 c #Conflicts: 2002000 | #Constraints: 37622
112.17/112.58 c #Conflicts: 2003000 | #Constraints: 38622
112.17/112.58 c #Conflicts: 2004000 | #Constraints: 39622
112.17/112.58 c #Conflicts: 2005000 | #Constraints: 40622
112.17/112.58 c #Conflicts: 2006000 | #Constraints: 41622
112.17/112.58 c #Conflicts: 2007000 | #Constraints: 42622
112.17/112.58 c #Conflicts: 2008000 | #Constraints: 43622
112.17/112.58 c #Conflicts: 2009000 | #Constraints: 44622
112.17/112.58 c #Conflicts: 2010000 | #Constraints: 45622
112.17/112.58 c #Conflicts: 2011000 | #Constraints: 46622
112.17/112.58 c #Conflicts: 2012000 | #Constraints: 47622
112.17/112.58 c #Conflicts: 2013000 | #Constraints: 48622
112.17/112.58 c #Conflicts: 2014000 | #Constraints: 49622
112.17/112.58 c #Conflicts: 2015000 | #Constraints: 50622
112.17/112.58 c #Conflicts: 2016000 | #Constraints: 51622
112.17/112.58 c #Conflicts: 2017000 | #Constraints: 52622
112.17/112.58 c #Conflicts: 2018000 | #Constraints: 53622
112.17/112.58 c #Conflicts: 2019000 | #Constraints: 54622
112.17/112.58 c #Conflicts: 2020000 | #Constraints: 55622
112.17/112.58 c #Conflicts: 2021000 | #Constraints: 56622
112.17/112.58 c INPROCESSING
112.17/112.58 c GARBAGE COLLECT
112.17/112.58 c rational objective 250.5
114.07/114.46 c #Conflicts: 2022000 | #Constraints: 29420
114.07/114.46 c #Conflicts: 2023000 | #Constraints: 30420
114.07/114.46 c #Conflicts: 2024000 | #Constraints: 31420
114.07/114.46 c #Conflicts: 2025000 | #Constraints: 32420
114.07/114.46 c #Conflicts: 2026000 | #Constraints: 33420
114.07/114.46 c #Conflicts: 2027000 | #Constraints: 34420
114.07/114.46 c #Conflicts: 2028000 | #Constraints: 35420
114.07/114.46 c #Conflicts: 2029000 | #Constraints: 36420
114.07/114.46 c #Conflicts: 2030000 | #Constraints: 37420
114.07/114.46 c #Conflicts: 2031000 | #Constraints: 38420
114.07/114.46 c #Conflicts: 2032000 | #Constraints: 39420
114.07/114.46 c #Conflicts: 2033000 | #Constraints: 40420
114.07/114.46 c #Conflicts: 2034000 | #Constraints: 41420
114.07/114.46 c #Conflicts: 2035000 | #Constraints: 42420
114.07/114.46 c #Conflicts: 2036000 | #Constraints: 43420
114.07/114.46 c #Conflicts: 2037000 | #Constraints: 44420
114.07/114.46 c #Conflicts: 2038000 | #Constraints: 45420
114.07/114.46 c #Conflicts: 2039000 | #Constraints: 46420
114.07/114.46 c #Conflicts: 2040000 | #Constraints: 47420
114.07/114.46 c #Conflicts: 2041000 | #Constraints: 48420
114.07/114.46 c #Conflicts: 2042000 | #Constraints: 49420
114.07/114.46 c #Conflicts: 2043000 | #Constraints: 50420
114.07/114.46 c #Conflicts: 2044000 | #Constraints: 51420
114.07/114.46 c #Conflicts: 2045000 | #Constraints: 52420
114.07/114.46 c #Conflicts: 2046000 | #Constraints: 53420
114.07/114.46 c #Conflicts: 2047000 | #Constraints: 54420
114.07/114.46 c #Conflicts: 2048000 | #Constraints: 55420
114.07/114.46 c #Conflicts: 2049000 | #Constraints: 56420
114.07/114.46 c #Conflicts: 2050000 | #Constraints: 57420
114.07/114.46 c INPROCESSING
114.07/114.46 c GARBAGE COLLECT
114.07/114.46 c rational objective 250.5
115.86/116.21 c #Conflicts: 2051000 | #Constraints: 30022
115.86/116.21 c #Conflicts: 2052000 | #Constraints: 31022
115.86/116.21 c #Conflicts: 2053000 | #Constraints: 32022
115.86/116.21 c #Conflicts: 2054000 | #Constraints: 33022
115.86/116.21 c #Conflicts: 2055000 | #Constraints: 34022
115.86/116.21 c #Conflicts: 2056000 | #Constraints: 35022
115.86/116.21 c #Conflicts: 2057000 | #Constraints: 36022
115.86/116.21 c #Conflicts: 2058000 | #Constraints: 37022
115.86/116.21 c #Conflicts: 2059000 | #Constraints: 38022
115.86/116.21 c #Conflicts: 2060000 | #Constraints: 39022
115.86/116.21 c #Conflicts: 2061000 | #Constraints: 40022
115.86/116.21 c #Conflicts: 2062000 | #Constraints: 41022
115.86/116.21 c #Conflicts: 2063000 | #Constraints: 42022
115.86/116.21 c #Conflicts: 2064000 | #Constraints: 43022
115.86/116.21 c #Conflicts: 2065000 | #Constraints: 44022
115.86/116.21 c #Conflicts: 2066000 | #Constraints: 45022
115.86/116.21 c #Conflicts: 2067000 | #Constraints: 46022
115.86/116.21 c #Conflicts: 2068000 | #Constraints: 47022
115.86/116.21 c #Conflicts: 2069000 | #Constraints: 48022
115.86/116.21 c #Conflicts: 2070000 | #Constraints: 49022
115.86/116.21 c #Conflicts: 2071000 | #Constraints: 50022
115.86/116.21 c #Conflicts: 2072000 | #Constraints: 51022
115.86/116.21 c #Conflicts: 2073000 | #Constraints: 52022
115.86/116.21 c #Conflicts: 2074000 | #Constraints: 53022
115.86/116.21 c #Conflicts: 2075000 | #Constraints: 54022
115.86/116.21 c #Conflicts: 2076000 | #Constraints: 55022
115.86/116.21 c #Conflicts: 2077000 | #Constraints: 56022
115.86/116.21 c #Conflicts: 2078000 | #Constraints: 57022
115.86/116.21 c #Conflicts: 2079000 | #Constraints: 58022
115.86/116.21 c INPROCESSING
115.86/116.21 c GARBAGE COLLECT
115.86/116.21 c rational objective 250.5
117.36/117.74 c #Conflicts: 2080000 | #Constraints: 30426
117.36/117.74 c #Conflicts: 2081000 | #Constraints: 31426
117.36/117.74 c #Conflicts: 2082000 | #Constraints: 32426
117.36/117.74 c #Conflicts: 2083000 | #Constraints: 33426
117.36/117.74 c #Conflicts: 2084000 | #Constraints: 34426
117.36/117.74 c #Conflicts: 2085000 | #Constraints: 35426
117.36/117.74 c #Conflicts: 2086000 | #Constraints: 36426
117.36/117.74 c #Conflicts: 2087000 | #Constraints: 37426
117.36/117.74 c #Conflicts: 2088000 | #Constraints: 38426
117.36/117.74 c #Conflicts: 2089000 | #Constraints: 39426
117.36/117.74 c #Conflicts: 2090000 | #Constraints: 40426
117.36/117.74 c #Conflicts: 2091000 | #Constraints: 41426
117.36/117.74 c #Conflicts: 2092000 | #Constraints: 42426
117.36/117.74 c #Conflicts: 2093000 | #Constraints: 43426
117.36/117.74 c #Conflicts: 2094000 | #Constraints: 44426
117.36/117.74 c #Conflicts: 2095000 | #Constraints: 45426
117.36/117.74 c #Conflicts: 2096000 | #Constraints: 46426
117.36/117.74 c #Conflicts: 2097000 | #Constraints: 47426
117.36/117.74 c #Conflicts: 2098000 | #Constraints: 48426
117.36/117.74 c #Conflicts: 2099000 | #Constraints: 49426
117.36/117.74 c #Conflicts: 2100000 | #Constraints: 50426
117.36/117.74 c #Conflicts: 2101000 | #Constraints: 51426
117.36/117.74 c #Conflicts: 2102000 | #Constraints: 52426
117.36/117.74 c #Conflicts: 2103000 | #Constraints: 53426
117.36/117.74 c #Conflicts: 2104000 | #Constraints: 54426
117.36/117.74 c #Conflicts: 2105000 | #Constraints: 55426
117.36/117.74 c #Conflicts: 2106000 | #Constraints: 56426
117.36/117.74 c #Conflicts: 2107000 | #Constraints: 57426
117.36/117.74 c #Conflicts: 2108000 | #Constraints: 58426
117.36/117.74 c INPROCESSING
117.36/117.74 c GARBAGE COLLECT
117.36/117.74 c rational objective 250.5
118.96/119.37 c #Conflicts: 2109000 | #Constraints: 30629
118.96/119.37 c #Conflicts: 2110000 | #Constraints: 31629
118.96/119.37 c #Conflicts: 2111000 | #Constraints: 32629
118.96/119.37 c #Conflicts: 2112000 | #Constraints: 33629
118.96/119.37 c #Conflicts: 2113000 | #Constraints: 34629
118.96/119.37 c #Conflicts: 2114000 | #Constraints: 35629
118.96/119.37 c #Conflicts: 2115000 | #Constraints: 36629
118.96/119.37 c #Conflicts: 2116000 | #Constraints: 37629
118.96/119.37 c #Conflicts: 2117000 | #Constraints: 38629
118.96/119.37 c #Conflicts: 2118000 | #Constraints: 39629
118.96/119.37 c #Conflicts: 2119000 | #Constraints: 40629
118.96/119.37 c #Conflicts: 2120000 | #Constraints: 41629
118.96/119.37 c #Conflicts: 2121000 | #Constraints: 42629
118.96/119.37 c #Conflicts: 2122000 | #Constraints: 43629
118.96/119.37 c #Conflicts: 2123000 | #Constraints: 44629
118.96/119.37 c #Conflicts: 2124000 | #Constraints: 45629
118.96/119.37 c #Conflicts: 2125000 | #Constraints: 46629
118.96/119.37 c #Conflicts: 2126000 | #Constraints: 47629
118.96/119.37 c #Conflicts: 2127000 | #Constraints: 48629
118.96/119.37 c #Conflicts: 2128000 | #Constraints: 49629
118.96/119.37 c #Conflicts: 2129000 | #Constraints: 50629
118.96/119.37 c #Conflicts: 2130000 | #Constraints: 51629
118.96/119.37 c #Conflicts: 2131000 | #Constraints: 52629
118.96/119.37 c #Conflicts: 2132000 | #Constraints: 53629
118.96/119.37 c #Conflicts: 2133000 | #Constraints: 54629
118.96/119.37 c #Conflicts: 2134000 | #Constraints: 55629
118.96/119.37 c #Conflicts: 2135000 | #Constraints: 56629
118.96/119.37 c #Conflicts: 2136000 | #Constraints: 57629
118.96/119.37 c #Conflicts: 2137000 | #Constraints: 58629
118.96/119.37 c INPROCESSING
118.96/119.37 c GARBAGE COLLECT
118.96/119.37 c rational objective 250.5
120.15/120.50 c #Conflicts: 2138000 | #Constraints: 20228
120.15/120.50 c #Conflicts: 2139000 | #Constraints: 21228
120.15/120.50 c #Conflicts: 2140000 | #Constraints: 22228
120.15/120.50 c #Conflicts: 2141000 | #Constraints: 23228
120.15/120.50 c #Conflicts: 2142000 | #Constraints: 24228
120.15/120.50 c #Conflicts: 2143000 | #Constraints: 25228
120.15/120.50 c #Conflicts: 2144000 | #Constraints: 26228
120.15/120.50 c #Conflicts: 2145000 | #Constraints: 27228
120.15/120.50 c #Conflicts: 2146000 | #Constraints: 28228
120.15/120.50 c #Conflicts: 2147000 | #Constraints: 29228
120.15/120.50 c #Conflicts: 2148000 | #Constraints: 30228
120.15/120.50 c #Conflicts: 2149000 | #Constraints: 31228
120.15/120.50 c #Conflicts: 2150000 | #Constraints: 32228
120.15/120.50 c #Conflicts: 2151000 | #Constraints: 33228
120.15/120.50 c #Conflicts: 2152000 | #Constraints: 34228
120.15/120.50 c #Conflicts: 2153000 | #Constraints: 35228
120.15/120.50 c #Conflicts: 2154000 | #Constraints: 36228
120.15/120.50 c #Conflicts: 2155000 | #Constraints: 37228
120.15/120.50 c #Conflicts: 2156000 | #Constraints: 38228
120.15/120.50 c #Conflicts: 2157000 | #Constraints: 39228
120.15/120.50 c #Conflicts: 2158000 | #Constraints: 40228
120.15/120.50 c #Conflicts: 2159000 | #Constraints: 41228
120.15/120.50 c #Conflicts: 2160000 | #Constraints: 42228
120.15/120.50 c #Conflicts: 2161000 | #Constraints: 43228
120.15/120.50 c cpu time 112.642 s
120.15/120.50 c deterministic time 4546880389 4.55e+09
120.15/120.50 c optimization time 0.000106 s
120.15/120.50 c total solve time 112.639 s
120.15/120.50 c core-guided solve time 0 s
120.15/120.50 c propagation time 80.3961 s
120.15/120.50 c conflict analysis time 19.0304 s
120.15/120.50 c propagations 12482826
120.15/120.50 c resolve steps 6804124
120.15/120.50 c decisions 3783016
120.15/120.50 c conflicts 2161205
120.15/120.50 c restarts 4093
120.15/120.50 c inprocessing phases 137
120.15/120.50 c garbage collections 137 ,( 100.00 )
120.15/120.50 c input clauses 2 ,( 0.29 )
120.15/120.50 c input cardinalities 696 ,( 99.71 )
120.15/120.50 c input general constraints 0 ,( 0.00 )
120.15/120.50 c input average constraint length 3.99
120.15/120.50 c input average constraint degree 2.00
120.15/120.50 c learned clauses 2095574 ,( 96.94 )
120.15/120.50 c learned cardinalities 4297 ,( 0.20 )
120.15/120.50 c learned general constraints 61894 ,( 2.86 )
120.15/120.50 c learned average constraint length 17.53
120.15/120.50 c learned average constraint degree 46149.77
120.15/120.50 c watched CF 32, 64, 128, Arb: 32640 , 0 , 0 , 0
120.15/120.50 c counting CF 32, 64, 128, Arb: 29254 , 0 , 0 , 0
120.15/120.50 c watched constraints 32640 ,( 52.74 )
120.15/120.50 c counting constraints 29254 ,( 47.26 )
120.15/120.50 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 831389733 , 46721727 , 60651956 ,( 51944142 , 8707814 )
120.15/120.50 c gcd simplifications 2149
120.15/120.50 c detected cardinalities 858
120.15/120.50 c weakened non-implied lits 708835
120.15/120.50 c weakened non-implying lits 628
120.15/120.50 c original variables 501
120.15/120.50 c clausal propagations 4497219
120.15/120.50 c cardinality propagations 3638609
120.15/120.50 c watched propagations 329823
120.15/120.50 c counting propagations 1814388
120.15/120.50 c watch lookups 2416151860
120.15/120.50 c watch backjump lookups 0
120.15/120.50 c watch checks 1840400970
120.15/120.50 c propagation checks 133104900
120.15/120.50 c constraint additions 122313211
120.15/120.50 c trail pops 18427027
120.15/120.50 c formula constraints 698
120.15/120.50 c learned constraints 2161199
120.15/120.50 c bound constraints 0
120.15/120.50 c core-guided constraints 0
120.15/120.50 c encountered formula constraints 515722
120.15/120.50 c encountered learned constraints 8449433
120.15/120.50 c encountered bound constraints 0
120.15/120.50 c encountered core-guided constraints 0
120.15/120.50 c LP total time 12.9929 s
120.15/120.50 c LP solve time 7.83 s
120.15/120.50 c LP constraints added 1368
120.15/120.50 c LP constraints removed 662
120.15/120.50 c LP pivots internal 216126
120.15/120.50 c LP pivots root 452
120.15/120.50 c LP calls 24209
120.15/120.50 c LP optimalities 24204
120.15/120.50 c LP no pivot count 1874
120.15/120.50 c LP infeasibilities 5
120.15/120.50 c LP valid Farkas constraints 5
120.15/120.50 c LP learned Farkas constraints 5
120.15/120.50 c LP basis resets 0
120.15/120.50 c LP cycling count 0
120.15/120.50 c LP singular count 0
120.15/120.50 c LP no primal count 0
120.15/120.50 c LP no farkas count 0
120.15/120.50 c LP other issue count 0
120.15/120.50 c LP Gomory cuts 556
120.15/120.50 c LP learned cuts 114
120.15/120.50 c LP deleted cuts 662
120.15/120.50 c LP encountered Gomory constraints 0
120.15/120.50 c LP encountered Farkas constraints 112
120.15/120.50 c LP encountered learned Farkas constraints 57
120.15/120.50 c CG auxiliary variables introduced 0
120.15/120.50 c CG solutions found 0
120.15/120.50 c CG cores constructed 0
120.15/120.50 c CG core cardinality constraints returned 0
120.15/120.50 c CG unit cores 0
120.15/120.50 c CG single cores 0
120.15/120.50 c CG blocks removed during cardinality reduction 0
120.15/120.50 c CG first core best 0
120.15/120.50 c CG decision core best 0
120.15/120.50 c CG core reduction tie 0
120.15/120.50 c CG core degree average 0.00
120.15/120.50 c CG core slack average 0.00
120.15/120.50 c CG core upper bound improvements 0
120.15/120.50 c STR number of successful calls 0
120.15/120.50 c STR number of unsuccessful calls 0
120.15/120.56 c STR number of inconclusive calls 0
120.15/120.56 c STR number of successful attempts 0
120.15/120.56 c STR number of unsuccessful attempts 0
120.15/120.56 c STR number of inconclusive attempts 0
120.15/120.56 c STR average degree increase per successful call inf
120.15/120.56 c STR average degree increase per successful attempt inf
120.15/120.56 c STR total number of conflicts for successful attempts 0
120.15/120.56 c STR total number of conflicts for unsuccessful attempts 0
120.15/120.56 c STR total number of conflicts for inconclusive attempts 0
120.15/120.56 c STR average number of conflicts per successful attempt inf
120.15/120.56 c STR average number of conflicts per unsuccessful attempt inf
120.15/120.56 c STR average number of conflicts per inconclusive attempt inf
120.15/120.56 c AVG.sumWPerc 39.25
120.15/120.56 c bigint constraints 0
120.15/120.56 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 (62440 MiB free)
memory of node 1: 64465 MiB (63003 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4510547-1751195417/watcher-4510547-1751195417 -o /tmp/evaluation-result-4510547-1751195417/solver-4510547-1751195417 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751195206-22312 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4510547-1751195417.opb PROOFDIR/proof-4510547-1751195417
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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 FSIZE limit: 102400000 KiB
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
Starting watchdog thread
solver pid=22623, runsolver pid=22620
Current StackSize limit: 8192 KiB
[startup+0.100056 s]*
/proc/loadavg: 4.04 2.92 3.21 5/272 22625
/proc/meminfo: memFree=128451380/131249996 swapFree=33010684/33010684
[pid=22623] ppid=22620 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/22623/stat : 22623 (run-dec-ls-log.) S 22620 22623 22301 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 35219523 4292608 736 18446744073709551615 93937881870336 93937882764869 140729772489296 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93937883003920 93937883051664 93937905987584 140729772493083 140729772493281 140729772493281 140729772498883 0
/proc/22623/statm: 1048 736 672 219 0 110 0
[pid=22625] ppid=22623 vsize=58016 memory=14512 CPUtime=0.08 cores=4,6
/proc/22625/stat : 22625 (roundingsat) R 22623 22623 22301 0 -1 4194304 1142 0 0 0 7 1 0 0 20 0 1 0 35219523 59408384 3628 18446744073709551615 4227072 8923433 140734713231168 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10178560 140734713239888 140734713240104 140734713240104 140734713245674 0
/proc/22625/statm: 14504 3628 2336 1147 0 1931 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 62208 KiB
Current children cumulated memory: 17456 KiB
[startup+0.205529 s]*
/proc/loadavg: 4.04 2.92 3.21 5/272 22625
/proc/meminfo: memFree=128449364/131249996 swapFree=33010684/33010684
[pid=22623] ppid=22620 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/22623/stat : 22623 (run-dec-ls-log.) S 22620 22623 22301 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 35219523 4292608 736 18446744073709551615 93937881870336 93937882764869 140729772489296 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93937883003920 93937883051664 93937905987584 140729772493083 140729772493281 140729772493281 140729772498883 0
/proc/22623/statm: 1048 736 672 219 0 110 0
[pid=22625] ppid=22623 vsize=58300 memory=14896 CPUtime=0.19 cores=4,6
/proc/22625/stat : 22625 (roundingsat) R 22623 22623 22301 0 -1 4194304 1230 0 0 0 16 3 0 0 20 0 1 0 35219523 59699200 3724 18446744073709551615 4227072 8923433 140734713231168 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10178560 140734713239888 140734713240104 140734713240104 140734713245674 0
/proc/22625/statm: 14575 3724 2336 1147 0 2002 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 62492 KiB
Current children cumulated memory: 17840 KiB
[startup+0.305553 s]*
/proc/loadavg: 4.04 2.94 3.21 5/272 22625
/proc/meminfo: memFree=128447348/131249996 swapFree=33010684/33010684
[pid=22623] ppid=22620 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/22623/stat : 22623 (run-dec-ls-log.) S 22620 22623 22301 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 35219523 4292608 736 18446744073709551615 93937881870336 93937882764869 140729772489296 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93937883003920 93937883051664 93937905987584 140729772493083 140729772493281 140729772493281 140729772498883 0
/proc/22623/statm: 1048 736 672 219 0 110 0
[pid=22625] ppid=22623 vsize=58720 memory=15280 CPUtime=0.28 cores=4,6
/proc/22625/stat : 22625 (roundingsat) R 22623 22623 22301 0 -1 4194304 1305 0 0 0 24 4 0 0 20 0 1 0 35219523 60129280 3820 18446744073709551615 4227072 8923433 140734713231168 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10178560 140734713239888 140734713240104 140734713240104 140734713245674 0
/proc/22625/statm: 14680 3820 2336 1147 0 2107 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 62912 KiB
Current children cumulated memory: 18224 KiB
[startup+0.700169 s]
/proc/loadavg: 4.04 2.94 3.21 5/273 22627
/proc/meminfo: memFree=128447348/131249996 swapFree=33010684/33010684
[pid=22623] ppid=22620 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/22623/stat : 22623 (run-dec-ls-log.) S 22620 22623 22301 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 35219523 4292608 736 18446744073709551615 93937881870336 93937882764869 140729772489296 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93937883003920 93937883051664 93937905987584 140729772493083 140729772493281 140729772493281 140729772498883 0
/proc/22623/statm: 1048 736 672 219 0 110 0
[pid=22625] ppid=22623 vsize=59328 memory=15920 CPUtime=0.68 cores=4,6
/proc/22625/stat : 22625 (roundingsat) R 22623 22623 22301 0 -1 4194304 1473 0 0 0 60 8 0 0 20 0 1 0 35219523 60751872 3980 18446744073709551615 4227072 8923433 140734713231168 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10178560 140734713239888 140734713240104 140734713240104 140734713245674 0
/proc/22625/statm: 14832 3980 2336 1147 0 2259 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 63520 KiB
Current children cumulated memory: 18864 KiB
[startup+1.50018 s]
/proc/loadavg: 4.04 2.94 3.21 5/273 22627
/proc/meminfo: memFree=128461968/131249996 swapFree=33010684/33010684
[pid=22623] ppid=22620 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/22623/stat : 22623 (run-dec-ls-log.) S 22620 22623 22301 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 35219523 4292608 736 18446744073709551615 93937881870336 93937882764869 140729772489296 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93937883003920 93937883051664 93937905987584 140729772493083 140729772493281 140729772493281 140729772498883 0
/proc/22623/statm: 1048 736 672 219 0 110 0
[pid=22625] ppid=22623 vsize=60324 memory=16944 CPUtime=1.48 cores=4,6
/proc/22625/stat : 22625 (roundingsat) R 22623 22623 22301 0 -1 4194304 1719 0 0 0 131 17 0 0 20 0 1 0 35219523 61771776 4236 18446744073709551615 4227072 8923433 140734713231168 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10178560 140734713239888 140734713240104 140734713240104 140734713245674 0
/proc/22625/statm: 15081 4236 2336 1147 0 2508 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 64516 KiB
Current children cumulated memory: 19888 KiB
[startup+3.1055 s]
/proc/loadavg: 4.04 2.94 3.21 5/273 22627
/proc/meminfo: memFree=128470400/131249996 swapFree=33010684/33010684
[pid=22623] ppid=22620 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/22623/stat : 22623 (run-dec-ls-log.) S 22620 22623 22301 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 35219523 4292608 736 18446744073709551615 93937881870336 93937882764869 140729772489296 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93937883003920 93937883051664 93937905987584 140729772493083 140729772493281 140729772493281 140729772498883 0
/proc/22623/statm: 1048 736 672 219 0 110 0
[pid=22625] ppid=22623 vsize=61408 memory=17840 CPUtime=3.08 cores=4,6
/proc/22625/stat : 22625 (roundingsat) R 22623 22623 22301 0 -1 4194304 1965 0 0 0 274 34 0 0 20 0 1 0 35219523 62881792 4460 18446744073709551615 4227072 8923433 140734713231168 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10178560 140734713239888 140734713240104 140734713240104 140734713245674 0
/proc/22625/statm: 15352 4460 2336 1147 0 2779 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 65600 KiB
Current children cumulated memory: 20784 KiB
[startup+6.30012 s]
/proc/loadavg: 4.04 2.96 3.22 5/273 22627
/proc/meminfo: memFree=128494736/131249996 swapFree=33010684/33010684
[pid=22623] ppid=22620 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/22623/stat : 22623 (run-dec-ls-log.) S 22620 22623 22301 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 35219523 4292608 736 18446744073709551615 93937881870336 93937882764869 140729772489296 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93937883003920 93937883051664 93937905987584 140729772493083 140729772493281 140729772493281 140729772498883 0
/proc/22623/statm: 1048 736 672 219 0 110 0
[pid=22625] ppid=22623 vsize=62772 memory=19376 CPUtime=6.25 cores=4,6
/proc/22625/stat : 22625 (roundingsat) R 22623 22623 22301 0 -1 4194304 2331 0 0 0 560 65 0 0 20 0 1 0 35219523 64278528 4844 18446744073709551615 4227072 8923433 140734713231168 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10178560 140734713239888 140734713240104 140734713240104 140734713245674 0
/proc/22625/statm: 15693 4844 2336 1147 0 3120 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 66964 KiB
Current children cumulated memory: 22320 KiB
[startup+12.7001 s]
/proc/loadavg: 4.03 2.98 3.22 5/273 22627
/proc/meminfo: memFree=128438904/131249996 swapFree=33010684/33010684
[pid=22623] ppid=22620 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/22623/stat : 22623 (run-dec-ls-log.) S 22620 22623 22301 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 35219523 4292608 736 18446744073709551615 93937881870336 93937882764869 140729772489296 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93937883003920 93937883051664 93937905987584 140729772493083 140729772493281 140729772493281 140729772498883 0
/proc/22623/statm: 1048 736 672 219 0 110 0
[pid=22625] ppid=22623 vsize=64384 memory=23084 CPUtime=12.64 cores=4,6
/proc/22625/stat : 22625 (roundingsat) R 22623 22623 22301 0 -1 4194304 3005 0 0 0 1146 118 0 0 20 0 1 0 35219523 65929216 5771 18446744073709551615 4227072 8923433 140734713231168 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10178560 140734713239888 140734713240104 140734713240104 140734713245674 0
/proc/22625/statm: 16096 5771 2336 1147 0 3523 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 68576 KiB
Current children cumulated memory: 26028 KiB
[startup+25.5002 s]
/proc/loadavg: 4.03 3.01 3.23 5/273 22627
/proc/meminfo: memFree=128344464/131249996 swapFree=33010684/33010684
[pid=22623] ppid=22620 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/22623/stat : 22623 (run-dec-ls-log.) S 22620 22623 22301 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 35219523 4292608 736 18446744073709551615 93937881870336 93937882764869 140729772489296 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93937883003920 93937883051664 93937905987584 140729772493083 140729772493281 140729772493281 140729772498883 0
/proc/22623/statm: 1048 736 672 219 0 110 0
[pid=22625] ppid=22623 vsize=67536 memory=25800 CPUtime=25.41 cores=4,6
/proc/22625/stat : 22625 (roundingsat) R 22623 22623 22301 0 -1 4194304 5712 0 0 0 2319 222 0 0 20 0 1 0 35219523 69156864 6450 18446744073709551615 4227072 8923433 140734713231168 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10178560 140734713239888 140734713240104 140734713240104 140734713245674 0
/proc/22625/statm: 16884 6450 2336 1147 0 4311 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 71728 KiB
Current children cumulated memory: 28744 KiB
[startup+51.1055 s]
/proc/loadavg: 4.08 3.12 3.26 5/273 22627
/proc/meminfo: memFree=128170700/131249996 swapFree=33010684/33010684
[pid=22623] ppid=22620 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/22623/stat : 22623 (run-dec-ls-log.) S 22620 22623 22301 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 35219523 4292608 736 18446744073709551615 93937881870336 93937882764869 140729772489296 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93937883003920 93937883051664 93937905987584 140729772493083 140729772493281 140729772493281 140729772498883 0
/proc/22623/statm: 1048 736 672 219 0 110 0
[pid=22625] ppid=22623 vsize=70124 memory=28008 CPUtime=50.94 cores=4,6
/proc/22625/stat : 22625 (roundingsat) R 22623 22623 22301 0 -1 4194304 8799 0 0 0 4711 383 0 0 20 0 1 0 35219523 71806976 7002 18446744073709551615 4227072 8923433 140734713231168 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10178560 140734713239888 140734713240104 140734713240104 140734713245674 0
/proc/22625/statm: 17531 7002 2336 1147 0 4958 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 74316 KiB
Current children cumulated memory: 30952 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 3.28 3.31 5/273 22629
/proc/meminfo: memFree=127866300/131249996 swapFree=33010684/33010684
[pid=22623] ppid=22620 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/22623/stat : 22623 (run-dec-ls-log.) S 22620 22623 22301 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 35219523 4292608 736 18446744073709551615 93937881870336 93937882764869 140729772489296 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93937883003920 93937883051664 93937905987584 140729772493083 140729772493281 140729772493281 140729772498883 0
/proc/22623/statm: 1048 736 672 219 0 110 0
[pid=22625] ppid=22623 vsize=76492 memory=32688 CPUtime=102 cores=4,6
/proc/22625/stat : 22625 (roundingsat) R 22623 22623 22301 0 -1 4194304 17685 0 0 0 9544 656 0 0 20 0 1 0 35219523 78327808 8172 18446744073709551615 4227072 8923433 140734713231168 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10178560 140734713239888 140734713240104 140734713240104 140734713245674 0
/proc/22625/statm: 19123 8172 2336 1147 0 6550 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 80684 KiB
Current children cumulated memory: 35632 KiB
[startup+120.569 s]
# the end of solver process 22623 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=112.647 s, system=7.53156 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+102.4 s]
/proc/loadavg: 4.09 3.28 3.31 5/273 22629
/proc/meminfo: memFree=127866300/131249996 swapFree=33010684/33010684
[pid=22623] ppid=22620 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/22623/stat : 22623 (run-dec-ls-log.) S 22620 22623 22301 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 35219523 4292608 736 18446744073709551615 93937881870336 93937882764869 140729772489296 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93937883003920 93937883051664 93937905987584 140729772493083 140729772493281 140729772493281 140729772498883 0
/proc/22623/statm: 1048 736 672 219 0 110 0
[pid=22625] ppid=22623 vsize=76492 memory=32688 CPUtime=102.09 cores=4,6
/proc/22625/stat : 22625 (roundingsat) R 22623 22623 22301 0 -1 4194304 17685 0 0 0 9553 656 0 0 20 0 1 0 35219523 78327808 8172 18446744073709551615 4227072 8923433 140734713231168 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10178560 140734713239888 140734713240104 140734713240104 140734713245674 0
/proc/22625/statm: 19123 8172 2336 1147 0 6550 0
Current children cumulated CPU time: 102.09 s
Current children cumulated vsize: 80684 KiB
Current children cumulated memory: 35632 KiB
[startup+108.8 s]
/proc/loadavg: 4.08 3.29 3.31 5/273 22629
/proc/meminfo: memFree=127831660/131249996 swapFree=33010684/33010684
[pid=22623] ppid=22620 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/22623/stat : 22623 (run-dec-ls-log.) S 22620 22623 22301 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 35219523 4292608 736 18446744073709551615 93937881870336 93937882764869 140729772489296 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93937883003920 93937883051664 93937905987584 140729772493083 140729772493281 140729772493281 140729772498883 0
/proc/22623/statm: 1048 736 672 219 0 110 0
[pid=22625] ppid=22623 vsize=77460 memory=33440 CPUtime=108.48 cores=4,6
/proc/22625/stat : 22625 (roundingsat) R 22623 22623 22301 0 -1 4194304 18308 0 0 0 10159 689 0 0 20 0 1 0 35219523 79319040 8360 18446744073709551615 4227072 8923433 140734713231168 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10178560 140734713239888 140734713240104 140734713240104 140734713245674 0
/proc/22625/statm: 19365 8360 2336 1147 0 6792 0
Current children cumulated CPU time: 108.48 s
Current children cumulated vsize: 81652 KiB
Current children cumulated memory: 36384 KiB
[startup+115.2 s]
/proc/loadavg: 4.08 3.30 3.31 5/273 22629
/proc/meminfo: memFree=127770056/131249996 swapFree=33010684/33010684
[pid=22623] ppid=22620 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/22623/stat : 22623 (run-dec-ls-log.) S 22620 22623 22301 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 35219523 4292608 736 18446744073709551615 93937881870336 93937882764869 140729772489296 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93937883003920 93937883051664 93937905987584 140729772493083 140729772493281 140729772493281 140729772498883 0
/proc/22623/statm: 1048 736 672 219 0 110 0
[pid=22625] ppid=22623 vsize=78104 memory=34148 CPUtime=114.86 cores=4,6
/proc/22625/stat : 22625 (roundingsat) R 22623 22623 22301 0 -1 4194304 19035 0 0 0 10765 721 0 0 20 0 1 0 35219523 79978496 8537 18446744073709551615 4227072 8923433 140734713231168 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10178560 140734713239888 140734713240104 140734713240104 140734713245674 0
/proc/22625/statm: 19526 8537 2336 1147 0 6953 0
Current children cumulated CPU time: 114.86 s
Current children cumulated vsize: 82296 KiB
Current children cumulated memory: 37092 KiB
[startup+118.4 s]
/proc/loadavg: 4.15 3.33 3.32 5/273 22629
/proc/meminfo: memFree=127751660/131249996 swapFree=33010684/33010684
[pid=22623] ppid=22620 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/22623/stat : 22623 (run-dec-ls-log.) S 22620 22623 22301 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 35219523 4292608 736 18446744073709551615 93937881870336 93937882764869 140729772489296 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93937883003920 93937883051664 93937905987584 140729772493083 140729772493281 140729772493281 140729772498883 0
/proc/22623/statm: 1048 736 672 219 0 110 0
[pid=22625] ppid=22623 vsize=78492 memory=34708 CPUtime=118.06 cores=4,6
/proc/22625/stat : 22625 (roundingsat) R 22623 22623 22301 0 -1 4194304 19537 0 0 0 11065 741 0 0 20 0 1 0 35219523 80375808 8677 18446744073709551615 4227072 8923433 140734713231168 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10178560 140734713239888 140734713240104 140734713240104 140734713245674 0
/proc/22625/statm: 19623 8677 2336 1147 0 7050 0
Current children cumulated CPU time: 118.06 s
Current children cumulated vsize: 82684 KiB
Current children cumulated memory: 37652 KiB
[startup+119.2 s]
/proc/loadavg: 4.15 3.33 3.32 5/273 22629
/proc/meminfo: memFree=127737044/131249996 swapFree=33010684/33010684
[pid=22623] ppid=22620 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/22623/stat : 22623 (run-dec-ls-log.) S 22620 22623 22301 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 35219523 4292608 736 18446744073709551615 93937881870336 93937882764869 140729772489296 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93937883003920 93937883051664 93937905987584 140729772493083 140729772493281 140729772493281 140729772498883 0
/proc/22623/statm: 1048 736 672 219 0 110 0
[pid=22625] ppid=22623 vsize=78492 memory=34708 CPUtime=118.85 cores=4,6
/proc/22625/stat : 22625 (roundingsat) R 22623 22623 22301 0 -1 4194304 19546 0 0 0 11140 745 0 0 20 0 1 0 35219523 80375808 8677 18446744073709551615 4227072 8923433 140734713231168 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10178560 140734713239888 140734713240104 140734713240104 140734713245674 0
/proc/22625/statm: 19623 8677 2336 1147 0 7050 0
Current children cumulated CPU time: 118.85 s
Current children cumulated vsize: 82684 KiB
Current children cumulated memory: 37652 KiB
[startup+120 s]*
/proc/loadavg: 4.15 3.33 3.32 6/274 22630
/proc/meminfo: memFree=127733516/131249996 swapFree=33010684/33010684
[pid=22623] ppid=22620 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/22623/stat : 22623 (run-dec-ls-log.) S 22620 22623 22301 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 35219523 4292608 736 18446744073709551615 93937881870336 93937882764869 140729772489296 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93937883003920 93937883051664 93937905987584 140729772493083 140729772493281 140729772493281 140729772498883 0
/proc/22623/statm: 1048 736 672 219 0 110 0
[pid=22625] ppid=22623 vsize=79008 memory=34964 CPUtime=119.66 cores=4,6
/proc/22625/stat : 22625 (roundingsat) R 22623 22623 22301 0 -1 4194304 19630 0 0 0 11216 750 0 0 20 0 1 0 35219523 80904192 8741 18446744073709551615 4227072 8923433 140734713231168 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10178560 140734713239888 140734713240104 140734713240104 140734713245674 0
/proc/22625/statm: 19752 8741 2336 1147 0 7179 0
Current children cumulated CPU time: 119.66 s
Current children cumulated vsize: 83200 KiB
Current children cumulated memory: 37908 KiB
[startup+120.4 s]
/proc/loadavg: 4.15 3.33 3.32 6/274 22630
/proc/meminfo: memFree=127733516/131249996 swapFree=33010684/33010684
[pid=22623] ppid=22620 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/22623/stat : 22623 (run-dec-ls-log.) S 22620 22623 22301 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 35219523 4292608 736 18446744073709551615 93937881870336 93937882764869 140729772489296 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93937883003920 93937883051664 93937905987584 140729772493083 140729772493281 140729772493281 140729772498883 0
/proc/22623/statm: 1048 736 672 219 0 110 0
[pid=22625] ppid=22623 vsize=79008 memory=35092 CPUtime=120.05 cores=4,6
/proc/22625/stat : 22625 (roundingsat) R 22623 22623 22301 0 -1 4194304 19633 0 0 0 11254 751 0 0 20 0 1 0 35219523 80904192 8773 18446744073709551615 4227072 8923433 140734713231168 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10178560 140734713239888 140734713240104 140734713240104 140734713245674 0
/proc/22625/statm: 19752 8773 2336 1147 0 7179 0
Current children cumulated CPU time: 120.05 s
Current children cumulated vsize: 83200 KiB
Current children cumulated memory: 38036 KiB
[startup+120.5 s]
/proc/loadavg: 4.15 3.33 3.32 6/274 22630
/proc/meminfo: memFree=127733516/131249996 swapFree=33010684/33010684
[pid=22623] ppid=22620 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/22623/stat : 22623 (run-dec-ls-log.) S 22620 22623 22301 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 35219523 4292608 736 18446744073709551615 93937881870336 93937882764869 140729772489296 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93937883003920 93937883051664 93937905987584 140729772493083 140729772493281 140729772493281 140729772498883 0
/proc/22623/statm: 1048 736 672 219 0 110 0
[pid=22625] ppid=22623 vsize=79008 memory=35092 CPUtime=120.15 cores=4,6
/proc/22625/stat : 22625 (roundingsat) R 22623 22623 22301 0 -1 4194304 19633 0 0 0 11263 752 0 0 20 0 1 0 35219523 80904192 8773 18446744073709551615 4227072 8923433 140734713231168 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10178560 140734713239888 140734713240104 140734713240104 140734713245674 0
/proc/22625/statm: 19752 8773 2336 1147 0 7179 0
Current children cumulated CPU time: 120.15 s
Current children cumulated vsize: 83200 KiB
Current children cumulated memory: 38036 KiB
Child status: 0
Real time (s): 120.569
CPU time (s): 120.178
CPU user time (s): 112.647
CPU system time (s): 7.53156
CPU usage (%): 99.6759
Max. virtual memory (cumulated for all children) (KiB): 83200
Max. memory (cumulated for all children) (KiB): 38036
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 112.647
system time used= 7.53156
maximum resident set size= 35092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19864
page faults= 0
swaps= 0
block input operations= 0
block output operations= 307832
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1262
involuntary context switches= 222
# summary of solver processes directly reported to runsolver:
# pid: 22623
# total CPU time (s): 120.178
# total CPU user time (s): 112.647
# total CPU system time (s): 7.53156
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.236272 second user time and 0.564231 second system time
The end
Begin job on nodeC023 at 2025-06-29 13:10:17
IDJOB=4510547
IDBENCH=160372
IDSOLVER=3354
FILE ID=nodeC023/4510547-1751195417
RUNJOBID= nodeC023-1751195206-22312
SLURM_JOB_ID= 9587603
Free space on /tmp= 433040 MiB
SOLVER NAME= roundingsat-ls-log 63f22ad
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/normalized-ECgrid5x50split.cnf-extracted.pb.metafix.opb
COMMAND LINE= run-dec-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4510547-1751195417/watcher-4510547-1751195417 -o /tmp/evaluation-result-4510547-1751195417/solver-4510547-1751195417 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751195206-22312 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4510547-1751195417.opb PROOFDIR/proof-4510547-1751195417
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= becd4f2905a31b4ccafbaa36ee1998fb
RANDOM SEED=847398526
nodeC023 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.906
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.78
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.892
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.78
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 : 3602.879
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.78
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 : 3564.774
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.78
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.876
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.78
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 : 3599.893
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.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.770
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.78
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 : 3700.000
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.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 128455256 kB
MemAvailable: 129538860 kB
Buffers: 3280 kB
Cached: 1892332 kB
SwapCached: 0 kB
Active: 582968 kB
Inactive: 1587196 kB
Active(anon): 292704 kB
Inactive(anon): 0 kB
Active(file): 290264 kB
Inactive(file): 1587196 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 145932 kB
Writeback: 4 kB
AnonPages: 272296 kB
Mapped: 113144 kB
Shmem: 18064 kB
KReclaimable: 90768 kB
Slab: 181316 kB
SReclaimable: 90768 kB
SUnreclaim: 90548 kB
KernelStack: 4416 kB
PageTables: 3808 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 628024 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150680 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 143360 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: 197332 kB
DirectMap2M: 9011200 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433032 MiB
End job on nodeC023 at 2025-06-29 13:12:17