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.23 c #Conflicts: 1000 | #Constraints: 1702
0.19/0.23 c #Conflicts: 2000 | #Constraints: 2703
0.19/0.23 c INPROCESSING
0.19/0.23 c GARBAGE COLLECT
0.19/0.23 c #Conflicts: 3000 | #Constraints: 2731
0.19/0.23 c #Conflicts: 4000 | #Constraints: 3731
0.19/0.23 c INPROCESSING
0.19/0.23 c GARBAGE COLLECT
0.19/0.23 c #Conflicts: 5000 | #Constraints: 3151
0.19/0.23 c #Conflicts: 6000 | #Constraints: 4151
0.19/0.23 c INPROCESSING
0.19/0.23 c GARBAGE COLLECT
0.19/0.23 c rational objective 250.5
0.29/0.33 c #Conflicts: 7000 | #Constraints: 3157
0.29/0.33 c #Conflicts: 8000 | #Constraints: 4157
0.29/0.33 c #Conflicts: 9000 | #Constraints: 5157
0.29/0.33 c INPROCESSING
0.29/0.33 c GARBAGE COLLECT
0.29/0.33 c rational objective 250.5
0.39/0.44 c #Conflicts: 10000 | #Constraints: 3867
0.39/0.44 c #Conflicts: 11000 | #Constraints: 4867
0.39/0.44 c #Conflicts: 12000 | #Constraints: 5867
0.39/0.44 c INPROCESSING
0.39/0.44 c GARBAGE COLLECT
0.39/0.44 c rational objective 250.5
0.48/0.55 c #Conflicts: 13000 | #Constraints: 4318
0.48/0.55 c #Conflicts: 14000 | #Constraints: 5318
0.48/0.55 c #Conflicts: 15000 | #Constraints: 6318
0.48/0.55 c INPROCESSING
0.48/0.55 c GARBAGE COLLECT
0.48/0.55 c rational objective 250.5
0.68/0.70 c #Conflicts: 16000 | #Constraints: 4548
0.68/0.70 c #Conflicts: 17000 | #Constraints: 5548
0.68/0.70 c #Conflicts: 18000 | #Constraints: 6548
0.68/0.70 c INPROCESSING
0.68/0.70 c GARBAGE COLLECT
0.68/0.70 c rational objective 250.5
0.78/0.84 c #Conflicts: 19000 | #Constraints: 4572
0.78/0.84 c #Conflicts: 20000 | #Constraints: 5572
0.78/0.84 c #Conflicts: 21000 | #Constraints: 6572
0.78/0.84 c INPROCESSING
0.78/0.84 c GARBAGE COLLECT
0.78/0.84 c rational objective 250.5
0.88/0.99 c #Conflicts: 22000 | #Constraints: 4375
0.88/0.99 c #Conflicts: 23000 | #Constraints: 5375
0.88/0.99 c #Conflicts: 24000 | #Constraints: 6375
0.88/0.99 c #Conflicts: 25000 | #Constraints: 7375
0.88/0.99 c INPROCESSING
0.88/0.99 c GARBAGE COLLECT
0.88/0.99 c rational objective 250.5
1.09/1.16 c #Conflicts: 26000 | #Constraints: 4986
1.09/1.16 c #Conflicts: 27000 | #Constraints: 5986
1.09/1.16 c #Conflicts: 28000 | #Constraints: 6986
1.09/1.16 c #Conflicts: 29000 | #Constraints: 7986
1.09/1.16 c INPROCESSING
1.09/1.16 c GARBAGE COLLECT
1.09/1.16 c rational objective 250.5
1.28/1.34 c #Conflicts: 30000 | #Constraints: 5378
1.28/1.34 c #Conflicts: 31000 | #Constraints: 6378
1.28/1.34 c #Conflicts: 32000 | #Constraints: 7378
1.28/1.34 c #Conflicts: 33000 | #Constraints: 8378
1.28/1.34 c INPROCESSING
1.28/1.34 c GARBAGE COLLECT
1.28/1.34 c rational objective 250.5
1.47/1.55 c #Conflicts: 34000 | #Constraints: 5579
1.47/1.55 c #Conflicts: 35000 | #Constraints: 6579
1.47/1.55 c #Conflicts: 36000 | #Constraints: 7579
1.47/1.55 c #Conflicts: 37000 | #Constraints: 8579
1.47/1.55 c INPROCESSING
1.47/1.55 c GARBAGE COLLECT
1.47/1.55 c rational objective 250.5
1.67/1.74 c #Conflicts: 38000 | #Constraints: 5582
1.67/1.74 c #Conflicts: 39000 | #Constraints: 6582
1.67/1.74 c #Conflicts: 40000 | #Constraints: 7582
1.67/1.74 c #Conflicts: 41000 | #Constraints: 8582
1.67/1.74 c INPROCESSING
1.67/1.74 c GARBAGE COLLECT
1.67/1.74 c rational objective 250.5
1.88/1.95 c #Conflicts: 42000 | #Constraints: 5380
1.88/1.95 c #Conflicts: 43000 | #Constraints: 6380
1.88/1.95 c #Conflicts: 44000 | #Constraints: 7380
1.88/1.95 c #Conflicts: 45000 | #Constraints: 8380
1.88/1.95 c #Conflicts: 46000 | #Constraints: 9380
1.88/1.95 c INPROCESSING
1.88/1.95 c GARBAGE COLLECT
1.88/1.95 c rational objective 250.5
2.08/2.18 c #Conflicts: 47000 | #Constraints: 5978
2.08/2.18 c #Conflicts: 48000 | #Constraints: 6978
2.08/2.18 c #Conflicts: 49000 | #Constraints: 7978
2.08/2.18 c #Conflicts: 50000 | #Constraints: 8978
2.08/2.18 c #Conflicts: 51000 | #Constraints: 9978
2.08/2.18 c INPROCESSING
2.08/2.18 c GARBAGE COLLECT
2.08/2.18 c rational objective 250.5
2.37/2.42 c #Conflicts: 52000 | #Constraints: 6382
2.37/2.42 c #Conflicts: 53000 | #Constraints: 7382
2.37/2.42 c #Conflicts: 54000 | #Constraints: 8382
2.37/2.42 c #Conflicts: 55000 | #Constraints: 9382
2.37/2.42 c #Conflicts: 56000 | #Constraints: 10382
2.37/2.42 c INPROCESSING
2.37/2.42 c GARBAGE COLLECT
2.37/2.42 c rational objective 250.5
2.58/2.65 c #Conflicts: 57000 | #Constraints: 6578
2.58/2.65 c #Conflicts: 58000 | #Constraints: 7578
2.58/2.65 c #Conflicts: 59000 | #Constraints: 8578
2.58/2.65 c #Conflicts: 60000 | #Constraints: 9578
2.58/2.65 c #Conflicts: 61000 | #Constraints: 10578
2.58/2.65 c INPROCESSING
2.58/2.65 c GARBAGE COLLECT
2.58/2.65 c rational objective 250.5
2.87/2.95 c #Conflicts: 62000 | #Constraints: 6581
2.87/2.95 c #Conflicts: 63000 | #Constraints: 7581
2.87/2.95 c #Conflicts: 64000 | #Constraints: 8581
2.87/2.95 c #Conflicts: 65000 | #Constraints: 9581
2.87/2.95 c #Conflicts: 66000 | #Constraints: 10581
2.87/2.95 c INPROCESSING
2.87/2.95 c GARBAGE COLLECT
2.87/2.95 c rational objective 250.5
3.17/3.22 c #Conflicts: 67000 | #Constraints: 6379
3.17/3.22 c #Conflicts: 68000 | #Constraints: 7379
3.17/3.22 c #Conflicts: 69000 | #Constraints: 8379
3.17/3.22 c #Conflicts: 70000 | #Constraints: 9379
3.17/3.22 c #Conflicts: 71000 | #Constraints: 10379
3.17/3.22 c #Conflicts: 72000 | #Constraints: 11379
3.17/3.22 c INPROCESSING
3.17/3.22 c GARBAGE COLLECT
3.17/3.22 c rational objective 250.5
3.37/3.49 c #Conflicts: 73000 | #Constraints: 6981
3.37/3.49 c #Conflicts: 74000 | #Constraints: 7981
3.37/3.49 c #Conflicts: 75000 | #Constraints: 8981
3.37/3.49 c #Conflicts: 76000 | #Constraints: 9981
3.37/3.49 c #Conflicts: 77000 | #Constraints: 10981
3.37/3.49 c #Conflicts: 78000 | #Constraints: 11981
3.37/3.49 c INPROCESSING
3.37/3.49 c GARBAGE COLLECT
3.37/3.49 c rational objective 250.5
3.67/3.74 c #Conflicts: 79000 | #Constraints: 7380
3.67/3.74 c #Conflicts: 80000 | #Constraints: 8380
3.67/3.74 c #Conflicts: 81000 | #Constraints: 9380
3.67/3.74 c #Conflicts: 82000 | #Constraints: 10380
3.67/3.74 c #Conflicts: 83000 | #Constraints: 11380
3.67/3.74 c #Conflicts: 84000 | #Constraints: 12380
3.67/3.74 c INPROCESSING
3.67/3.74 c GARBAGE COLLECT
3.67/3.74 c rational objective 250.5
3.87/4.00 c #Conflicts: 85000 | #Constraints: 7588
3.87/4.00 c #Conflicts: 86000 | #Constraints: 8588
3.87/4.00 c #Conflicts: 87000 | #Constraints: 9588
3.87/4.00 c #Conflicts: 88000 | #Constraints: 10588
3.87/4.00 c #Conflicts: 89000 | #Constraints: 11588
3.87/4.00 c #Conflicts: 90000 | #Constraints: 12588
3.87/4.00 c INPROCESSING
3.87/4.00 c GARBAGE COLLECT
3.87/4.00 c rational objective 250.5
4.36/4.42 c #Conflicts: 91000 | #Constraints: 7587
4.36/4.42 c #Conflicts: 92000 | #Constraints: 8587
4.36/4.42 c #Conflicts: 93000 | #Constraints: 9588
4.36/4.42 c #Conflicts: 94000 | #Constraints: 10588
4.36/4.42 c #Conflicts: 95000 | #Constraints: 11588
4.36/4.42 c #Conflicts: 96000 | #Constraints: 12588
4.36/4.42 c INPROCESSING
4.36/4.42 c GARBAGE COLLECT
4.36/4.42 c rational objective 250.5
4.67/4.71 c #Conflicts: 97000 | #Constraints: 7381
4.67/4.71 c #Conflicts: 98000 | #Constraints: 8381
4.67/4.71 c #Conflicts: 99000 | #Constraints: 9381
4.67/4.71 c #Conflicts: 100000 | #Constraints: 10381
4.67/4.71 c #Conflicts: 101000 | #Constraints: 11381
4.67/4.71 c #Conflicts: 102000 | #Constraints: 12381
4.67/4.71 c #Conflicts: 103000 | #Constraints: 13381
4.67/4.71 c INPROCESSING
4.67/4.71 c GARBAGE COLLECT
4.67/4.71 c rational objective 250.5
4.97/5.02 c #Conflicts: 104000 | #Constraints: 7978
4.97/5.02 c #Conflicts: 105000 | #Constraints: 8978
4.97/5.02 c #Conflicts: 106000 | #Constraints: 9978
4.97/5.02 c #Conflicts: 107000 | #Constraints: 10978
4.97/5.02 c #Conflicts: 108000 | #Constraints: 11978
4.97/5.02 c #Conflicts: 109000 | #Constraints: 12978
4.97/5.02 c #Conflicts: 110000 | #Constraints: 13978
4.97/5.02 c INPROCESSING
4.97/5.02 c GARBAGE COLLECT
4.97/5.02 c rational objective 250.5
5.26/5.33 c #Conflicts: 111000 | #Constraints: 8387
5.26/5.33 c #Conflicts: 112000 | #Constraints: 9387
5.26/5.33 c #Conflicts: 113000 | #Constraints: 10387
5.26/5.33 c #Conflicts: 114000 | #Constraints: 11387
5.26/5.33 c #Conflicts: 115000 | #Constraints: 12387
5.26/5.33 c #Conflicts: 116000 | #Constraints: 13387
5.26/5.33 c #Conflicts: 117000 | #Constraints: 14387
5.26/5.33 c INPROCESSING
5.26/5.33 c GARBAGE COLLECT
5.26/5.33 c rational objective 250.5
5.57/5.65 c #Conflicts: 118000 | #Constraints: 8584
5.57/5.65 c #Conflicts: 119000 | #Constraints: 9584
5.57/5.65 c #Conflicts: 120000 | #Constraints: 10584
5.57/5.65 c #Conflicts: 121000 | #Constraints: 11584
5.57/5.65 c #Conflicts: 122000 | #Constraints: 12584
5.57/5.65 c #Conflicts: 123000 | #Constraints: 13584
5.57/5.65 c #Conflicts: 124000 | #Constraints: 14584
5.57/5.65 c INPROCESSING
5.57/5.65 c GARBAGE COLLECT
5.57/5.65 c rational objective 250.5
5.87/5.97 c #Conflicts: 125000 | #Constraints: 8586
5.87/5.97 c #Conflicts: 126000 | #Constraints: 9586
5.87/5.97 c #Conflicts: 127000 | #Constraints: 10586
5.87/5.97 c #Conflicts: 128000 | #Constraints: 11586
5.87/5.97 c #Conflicts: 129000 | #Constraints: 12586
5.87/5.97 c #Conflicts: 130000 | #Constraints: 13586
5.87/5.97 c #Conflicts: 131000 | #Constraints: 14586
5.87/5.97 c INPROCESSING
5.87/5.97 c GARBAGE COLLECT
5.87/5.97 c rational objective 250.5
6.26/6.38 c #Conflicts: 132000 | #Constraints: 8386
6.26/6.38 c #Conflicts: 133000 | #Constraints: 9386
6.26/6.38 c #Conflicts: 134000 | #Constraints: 10386
6.26/6.38 c #Conflicts: 135000 | #Constraints: 11386
6.26/6.38 c #Conflicts: 136000 | #Constraints: 12386
6.26/6.38 c #Conflicts: 137000 | #Constraints: 13386
6.26/6.38 c #Conflicts: 138000 | #Constraints: 14386
6.26/6.38 c #Conflicts: 139000 | #Constraints: 15386
6.26/6.38 c INPROCESSING
6.26/6.38 c GARBAGE COLLECT
6.26/6.38 c rational objective 250.5
6.66/6.72 c #Conflicts: 140000 | #Constraints: 8983
6.66/6.72 c #Conflicts: 141000 | #Constraints: 9983
6.66/6.72 c #Conflicts: 142000 | #Constraints: 10983
6.66/6.72 c #Conflicts: 143000 | #Constraints: 11983
6.66/6.72 c #Conflicts: 144000 | #Constraints: 12983
6.66/6.72 c #Conflicts: 145000 | #Constraints: 13983
6.66/6.72 c #Conflicts: 146000 | #Constraints: 14983
6.66/6.72 c #Conflicts: 147000 | #Constraints: 15983
6.66/6.72 c INPROCESSING
6.66/6.72 c GARBAGE COLLECT
6.66/6.72 c rational objective 250.5
7.07/7.12 c #Conflicts: 148000 | #Constraints: 9380
7.07/7.12 c #Conflicts: 149000 | #Constraints: 10380
7.07/7.12 c #Conflicts: 150000 | #Constraints: 11380
7.07/7.12 c #Conflicts: 151000 | #Constraints: 12380
7.07/7.12 c #Conflicts: 152000 | #Constraints: 13380
7.07/7.12 c #Conflicts: 153000 | #Constraints: 14380
7.07/7.12 c #Conflicts: 154000 | #Constraints: 15380
7.07/7.12 c #Conflicts: 155000 | #Constraints: 16380
7.07/7.12 c INPROCESSING
7.07/7.12 c GARBAGE COLLECT
7.07/7.12 c rational objective 250.5
7.36/7.48 c #Conflicts: 156000 | #Constraints: 9585
7.36/7.48 c #Conflicts: 157000 | #Constraints: 10585
7.36/7.48 c #Conflicts: 158000 | #Constraints: 11585
7.36/7.48 c #Conflicts: 159000 | #Constraints: 12585
7.36/7.48 c #Conflicts: 160000 | #Constraints: 13585
7.36/7.48 c #Conflicts: 161000 | #Constraints: 14585
7.36/7.48 c #Conflicts: 162000 | #Constraints: 15585
7.36/7.48 c #Conflicts: 163000 | #Constraints: 16585
7.36/7.48 c INPROCESSING
7.36/7.48 c GARBAGE COLLECT
7.36/7.48 c rational objective 250.5
7.76/7.82 c #Conflicts: 164000 | #Constraints: 9586
7.76/7.82 c #Conflicts: 165000 | #Constraints: 10586
7.76/7.82 c #Conflicts: 166000 | #Constraints: 11586
7.76/7.82 c #Conflicts: 167000 | #Constraints: 12586
7.76/7.82 c #Conflicts: 168000 | #Constraints: 13586
7.76/7.82 c #Conflicts: 169000 | #Constraints: 14586
7.76/7.82 c #Conflicts: 170000 | #Constraints: 15586
7.76/7.82 c #Conflicts: 171000 | #Constraints: 16586
7.76/7.82 c INPROCESSING
7.76/7.82 c GARBAGE COLLECT
7.76/7.82 c rational objective 250.5
8.16/8.25 c #Conflicts: 172000 | #Constraints: 9387
8.16/8.25 c #Conflicts: 173000 | #Constraints: 10387
8.16/8.25 c #Conflicts: 174000 | #Constraints: 11387
8.16/8.25 c #Conflicts: 175000 | #Constraints: 12387
8.16/8.25 c #Conflicts: 176000 | #Constraints: 13387
8.16/8.25 c #Conflicts: 177000 | #Constraints: 14387
8.16/8.25 c #Conflicts: 178000 | #Constraints: 15387
8.16/8.25 c #Conflicts: 179000 | #Constraints: 16387
8.16/8.25 c #Conflicts: 180000 | #Constraints: 17387
8.16/8.25 c INPROCESSING
8.16/8.25 c GARBAGE COLLECT
8.16/8.25 c rational objective 250.5
8.55/8.67 c #Conflicts: 181000 | #Constraints: 9988
8.55/8.67 c #Conflicts: 182000 | #Constraints: 10988
8.55/8.67 c #Conflicts: 183000 | #Constraints: 11988
8.55/8.67 c #Conflicts: 184000 | #Constraints: 12988
8.55/8.67 c #Conflicts: 185000 | #Constraints: 13988
8.55/8.67 c #Conflicts: 186000 | #Constraints: 14988
8.55/8.67 c #Conflicts: 187000 | #Constraints: 15988
8.55/8.67 c #Conflicts: 188000 | #Constraints: 16988
8.55/8.67 c #Conflicts: 189000 | #Constraints: 17988
8.55/8.67 c INPROCESSING
8.55/8.67 c GARBAGE COLLECT
8.55/8.67 c rational objective 250.5
9.06/9.17 c #Conflicts: 190000 | #Constraints: 10390
9.06/9.17 c #Conflicts: 191000 | #Constraints: 11390
9.06/9.17 c #Conflicts: 192000 | #Constraints: 12390
9.06/9.17 c #Conflicts: 193000 | #Constraints: 13390
9.06/9.17 c #Conflicts: 194000 | #Constraints: 14390
9.06/9.17 c #Conflicts: 195000 | #Constraints: 15390
9.06/9.17 c #Conflicts: 196000 | #Constraints: 16390
9.06/9.17 c #Conflicts: 197000 | #Constraints: 17390
9.06/9.17 c #Conflicts: 198000 | #Constraints: 18390
9.06/9.17 c INPROCESSING
9.06/9.17 c GARBAGE COLLECT
9.06/9.17 c rational objective 250.5
9.46/9.59 c #Conflicts: 199000 | #Constraints: 10596
9.46/9.59 c #Conflicts: 200000 | #Constraints: 11596
9.46/9.59 c #Conflicts: 201000 | #Constraints: 12596
9.46/9.59 c #Conflicts: 202000 | #Constraints: 13596
9.46/9.59 c #Conflicts: 203000 | #Constraints: 14596
9.46/9.59 c #Conflicts: 204000 | #Constraints: 15596
9.46/9.59 c #Conflicts: 205000 | #Constraints: 16596
9.46/9.59 c #Conflicts: 206000 | #Constraints: 17596
9.46/9.59 c #Conflicts: 207000 | #Constraints: 18596
9.46/9.59 c INPROCESSING
9.46/9.59 c GARBAGE COLLECT
9.46/9.59 c rational objective 250.5
9.86/9.97 c #Conflicts: 208000 | #Constraints: 10595
9.86/9.97 c #Conflicts: 209000 | #Constraints: 11595
9.86/9.97 c #Conflicts: 210000 | #Constraints: 12595
9.86/9.97 c #Conflicts: 211000 | #Constraints: 13595
9.86/9.97 c #Conflicts: 212000 | #Constraints: 14595
9.86/9.97 c #Conflicts: 213000 | #Constraints: 15595
9.86/9.97 c #Conflicts: 214000 | #Constraints: 16595
9.86/9.97 c #Conflicts: 215000 | #Constraints: 17595
9.86/9.97 c #Conflicts: 216000 | #Constraints: 18595
9.86/9.97 c INPROCESSING
9.86/9.97 c GARBAGE COLLECT
9.86/9.97 c rational objective 250.5
10.65/10.76 c #Conflicts: 217000 | #Constraints: 10398
10.65/10.76 c #Conflicts: 218000 | #Constraints: 11398
10.65/10.76 c #Conflicts: 219000 | #Constraints: 12398
10.65/10.76 c #Conflicts: 220000 | #Constraints: 13398
10.65/10.76 c #Conflicts: 221000 | #Constraints: 14398
10.65/10.76 c #Conflicts: 222000 | #Constraints: 15398
10.65/10.76 c #Conflicts: 223000 | #Constraints: 16398
10.65/10.76 c #Conflicts: 224000 | #Constraints: 17398
10.65/10.76 c #Conflicts: 225000 | #Constraints: 18398
10.65/10.76 c #Conflicts: 226000 | #Constraints: 19398
10.65/10.76 c INPROCESSING
10.65/10.76 c GARBAGE COLLECT
10.65/10.76 c rational objective 250.5
11.15/11.20 c #Conflicts: 227000 | #Constraints: 11005
11.15/11.20 c #Conflicts: 228000 | #Constraints: 12005
11.15/11.20 c #Conflicts: 229000 | #Constraints: 13005
11.15/11.20 c #Conflicts: 230000 | #Constraints: 14005
11.15/11.20 c #Conflicts: 231000 | #Constraints: 15005
11.15/11.20 c #Conflicts: 232000 | #Constraints: 16005
11.15/11.20 c #Conflicts: 233000 | #Constraints: 17005
11.15/11.20 c #Conflicts: 234000 | #Constraints: 18005
11.15/11.20 c #Conflicts: 235000 | #Constraints: 19005
11.15/11.20 c #Conflicts: 236000 | #Constraints: 20005
11.15/11.20 c INPROCESSING
11.15/11.20 c GARBAGE COLLECT
11.15/11.20 c rational objective 250.5
11.55/11.69 c #Conflicts: 237000 | #Constraints: 11399
11.55/11.69 c #Conflicts: 238000 | #Constraints: 12399
11.55/11.69 c #Conflicts: 239000 | #Constraints: 13399
11.55/11.69 c #Conflicts: 240000 | #Constraints: 14399
11.55/11.69 c #Conflicts: 241000 | #Constraints: 15399
11.55/11.69 c #Conflicts: 242000 | #Constraints: 16399
11.55/11.69 c #Conflicts: 243000 | #Constraints: 17399
11.55/11.69 c #Conflicts: 244000 | #Constraints: 18399
11.55/11.69 c #Conflicts: 245000 | #Constraints: 19399
11.55/11.69 c #Conflicts: 246000 | #Constraints: 20399
11.55/11.69 c INPROCESSING
11.55/11.69 c GARBAGE COLLECT
11.55/11.69 c rational objective 250.5
12.15/12.22 c #Conflicts: 247000 | #Constraints: 11592
12.15/12.22 c #Conflicts: 248000 | #Constraints: 12592
12.15/12.22 c #Conflicts: 249000 | #Constraints: 13592
12.15/12.22 c #Conflicts: 250000 | #Constraints: 14592
12.15/12.22 c #Conflicts: 251000 | #Constraints: 15592
12.15/12.22 c #Conflicts: 252000 | #Constraints: 16592
12.15/12.22 c #Conflicts: 253000 | #Constraints: 17592
12.15/12.22 c #Conflicts: 254000 | #Constraints: 18592
12.15/12.22 c #Conflicts: 255000 | #Constraints: 19592
12.15/12.22 c #Conflicts: 256000 | #Constraints: 20592
12.15/12.22 c INPROCESSING
12.15/12.22 c GARBAGE COLLECT
12.15/12.22 c rational objective 250.5
12.65/12.70 c #Conflicts: 257000 | #Constraints: 11596
12.65/12.70 c #Conflicts: 258000 | #Constraints: 12596
12.65/12.70 c #Conflicts: 259000 | #Constraints: 13596
12.65/12.70 c #Conflicts: 260000 | #Constraints: 14596
12.65/12.70 c #Conflicts: 261000 | #Constraints: 15596
12.65/12.70 c #Conflicts: 262000 | #Constraints: 16596
12.65/12.70 c #Conflicts: 263000 | #Constraints: 17596
12.65/12.70 c #Conflicts: 264000 | #Constraints: 18596
12.65/12.70 c #Conflicts: 265000 | #Constraints: 19596
12.65/12.70 c #Conflicts: 266000 | #Constraints: 20596
12.65/12.70 c INPROCESSING
12.65/12.70 c GARBAGE COLLECT
12.65/12.70 c rational objective 250.5
13.25/13.34 c #Conflicts: 267000 | #Constraints: 11393
13.25/13.34 c #Conflicts: 268000 | #Constraints: 12393
13.25/13.34 c #Conflicts: 269000 | #Constraints: 13393
13.25/13.34 c #Conflicts: 270000 | #Constraints: 14393
13.25/13.34 c #Conflicts: 271000 | #Constraints: 15393
13.25/13.34 c #Conflicts: 272000 | #Constraints: 16393
13.25/13.34 c #Conflicts: 273000 | #Constraints: 17393
13.25/13.34 c #Conflicts: 274000 | #Constraints: 18393
13.25/13.34 c #Conflicts: 275000 | #Constraints: 19393
13.25/13.34 c #Conflicts: 276000 | #Constraints: 20393
13.25/13.34 c #Conflicts: 277000 | #Constraints: 21393
13.25/13.34 c INPROCESSING
13.25/13.34 c GARBAGE COLLECT
13.25/13.34 c rational objective 250.5
13.75/13.88 c #Conflicts: 278000 | #Constraints: 11991
13.75/13.88 c #Conflicts: 279000 | #Constraints: 12991
13.75/13.88 c #Conflicts: 280000 | #Constraints: 13991
13.75/13.88 c #Conflicts: 281000 | #Constraints: 14991
13.75/13.88 c #Conflicts: 282000 | #Constraints: 15991
13.75/13.88 c #Conflicts: 283000 | #Constraints: 16991
13.75/13.88 c #Conflicts: 284000 | #Constraints: 17991
13.75/13.88 c #Conflicts: 285000 | #Constraints: 18991
13.75/13.88 c #Conflicts: 286000 | #Constraints: 19991
13.75/13.88 c #Conflicts: 287000 | #Constraints: 20991
13.75/13.88 c #Conflicts: 288000 | #Constraints: 21991
13.75/13.88 c INPROCESSING
13.75/13.88 c GARBAGE COLLECT
13.75/13.88 c rational objective 250.5
14.34/14.42 c #Conflicts: 289000 | #Constraints: 12389
14.34/14.42 c #Conflicts: 290000 | #Constraints: 13389
14.34/14.42 c #Conflicts: 291000 | #Constraints: 14389
14.34/14.42 c #Conflicts: 292000 | #Constraints: 15389
14.34/14.42 c #Conflicts: 293000 | #Constraints: 16389
14.34/14.42 c #Conflicts: 294000 | #Constraints: 17389
14.34/14.42 c #Conflicts: 295000 | #Constraints: 18389
14.34/14.42 c #Conflicts: 296000 | #Constraints: 19389
14.34/14.42 c #Conflicts: 297000 | #Constraints: 20389
14.34/14.42 c #Conflicts: 298000 | #Constraints: 21389
14.34/14.42 c #Conflicts: 299000 | #Constraints: 22389
14.34/14.42 c INPROCESSING
14.34/14.42 c GARBAGE COLLECT
14.34/14.42 c rational objective 250.5
14.84/14.91 c #Conflicts: 300000 | #Constraints: 12590
14.84/14.91 c #Conflicts: 301000 | #Constraints: 13590
14.84/14.91 c #Conflicts: 302000 | #Constraints: 14590
14.84/14.91 c #Conflicts: 303000 | #Constraints: 15590
14.84/14.91 c #Conflicts: 304000 | #Constraints: 16590
14.84/14.91 c #Conflicts: 305000 | #Constraints: 17590
14.84/14.91 c #Conflicts: 306000 | #Constraints: 18590
14.84/14.91 c #Conflicts: 307000 | #Constraints: 19590
14.84/14.91 c #Conflicts: 308000 | #Constraints: 20590
14.84/14.91 c #Conflicts: 309000 | #Constraints: 21590
14.84/14.91 c #Conflicts: 310000 | #Constraints: 22590
14.84/14.91 c INPROCESSING
14.84/14.91 c GARBAGE COLLECT
14.84/14.91 c rational objective 250.5
15.34/15.42 c #Conflicts: 311000 | #Constraints: 12590
15.34/15.42 c #Conflicts: 312000 | #Constraints: 13590
15.34/15.42 c #Conflicts: 313000 | #Constraints: 14590
15.34/15.42 c #Conflicts: 314000 | #Constraints: 15590
15.34/15.42 c #Conflicts: 315000 | #Constraints: 16590
15.34/15.42 c #Conflicts: 316000 | #Constraints: 17590
15.34/15.42 c #Conflicts: 317000 | #Constraints: 18590
15.34/15.42 c #Conflicts: 318000 | #Constraints: 19590
15.34/15.42 c #Conflicts: 319000 | #Constraints: 20590
15.34/15.42 c #Conflicts: 320000 | #Constraints: 21590
15.34/15.42 c #Conflicts: 321000 | #Constraints: 22590
15.34/15.42 c INPROCESSING
15.34/15.42 c GARBAGE COLLECT
15.34/15.42 c rational objective 250.5
16.05/16.12 c #Conflicts: 322000 | #Constraints: 12398
16.05/16.12 c #Conflicts: 323000 | #Constraints: 13398
16.05/16.12 c #Conflicts: 324000 | #Constraints: 14398
16.05/16.12 c #Conflicts: 325000 | #Constraints: 15398
16.05/16.12 c #Conflicts: 326000 | #Constraints: 16398
16.05/16.12 c #Conflicts: 327000 | #Constraints: 17398
16.05/16.12 c #Conflicts: 328000 | #Constraints: 18398
16.05/16.12 c #Conflicts: 329000 | #Constraints: 19398
16.05/16.12 c #Conflicts: 330000 | #Constraints: 20398
16.05/16.12 c #Conflicts: 331000 | #Constraints: 21398
16.05/16.12 c #Conflicts: 332000 | #Constraints: 22398
16.05/16.12 c #Conflicts: 333000 | #Constraints: 23398
16.05/16.12 c INPROCESSING
16.05/16.12 c GARBAGE COLLECT
16.05/16.12 c rational objective 250.5
16.54/16.69 c #Conflicts: 334000 | #Constraints: 13000
16.54/16.69 c #Conflicts: 335000 | #Constraints: 14000
16.54/16.69 c #Conflicts: 336000 | #Constraints: 15000
16.54/16.69 c #Conflicts: 337000 | #Constraints: 16000
16.54/16.69 c #Conflicts: 338000 | #Constraints: 17000
16.54/16.69 c #Conflicts: 339000 | #Constraints: 18000
16.54/16.69 c #Conflicts: 340000 | #Constraints: 19000
16.54/16.69 c #Conflicts: 341000 | #Constraints: 20000
16.54/16.69 c #Conflicts: 342000 | #Constraints: 21000
16.54/16.69 c #Conflicts: 343000 | #Constraints: 22000
16.54/16.69 c #Conflicts: 344000 | #Constraints: 23000
16.54/16.69 c #Conflicts: 345000 | #Constraints: 24000
16.54/16.69 c INPROCESSING
16.54/16.69 c GARBAGE COLLECT
16.54/16.69 c rational objective 250.5
17.13/17.28 c #Conflicts: 346000 | #Constraints: 13395
17.13/17.28 c #Conflicts: 347000 | #Constraints: 14395
17.13/17.28 c #Conflicts: 348000 | #Constraints: 15395
17.13/17.28 c #Conflicts: 349000 | #Constraints: 16395
17.13/17.28 c #Conflicts: 350000 | #Constraints: 17395
17.13/17.28 c #Conflicts: 351000 | #Constraints: 18395
17.13/17.28 c #Conflicts: 352000 | #Constraints: 19395
17.13/17.28 c #Conflicts: 353000 | #Constraints: 20395
17.13/17.28 c #Conflicts: 354000 | #Constraints: 21395
17.13/17.28 c #Conflicts: 355000 | #Constraints: 22395
17.13/17.28 c #Conflicts: 356000 | #Constraints: 23395
17.13/17.28 c #Conflicts: 357000 | #Constraints: 24395
17.13/17.28 c INPROCESSING
17.13/17.28 c GARBAGE COLLECT
17.13/17.28 c rational objective 250.5
17.74/17.84 c #Conflicts: 358000 | #Constraints: 13588
17.74/17.84 c #Conflicts: 359000 | #Constraints: 14588
17.74/17.84 c #Conflicts: 360000 | #Constraints: 15588
17.74/17.84 c #Conflicts: 361000 | #Constraints: 16588
17.74/17.84 c #Conflicts: 362000 | #Constraints: 17588
17.74/17.84 c #Conflicts: 363000 | #Constraints: 18588
17.74/17.84 c #Conflicts: 364000 | #Constraints: 19588
17.74/17.84 c #Conflicts: 365000 | #Constraints: 20588
17.74/17.84 c #Conflicts: 366000 | #Constraints: 21588
17.74/17.84 c #Conflicts: 367000 | #Constraints: 22588
17.74/17.84 c #Conflicts: 368000 | #Constraints: 23588
17.74/17.84 c #Conflicts: 369000 | #Constraints: 24588
17.74/17.84 c INPROCESSING
17.74/17.84 c GARBAGE COLLECT
17.74/17.84 c rational objective 250.5
18.33/18.40 c #Conflicts: 370000 | #Constraints: 13593
18.33/18.40 c #Conflicts: 371000 | #Constraints: 14593
18.33/18.40 c #Conflicts: 372000 | #Constraints: 15593
18.33/18.40 c #Conflicts: 373000 | #Constraints: 16593
18.33/18.40 c #Conflicts: 374000 | #Constraints: 17593
18.33/18.40 c #Conflicts: 375000 | #Constraints: 18593
18.33/18.40 c #Conflicts: 376000 | #Constraints: 19593
18.33/18.40 c #Conflicts: 377000 | #Constraints: 20593
18.33/18.40 c #Conflicts: 378000 | #Constraints: 21593
18.33/18.40 c #Conflicts: 379000 | #Constraints: 22593
18.33/18.40 c #Conflicts: 380000 | #Constraints: 23593
18.33/18.40 c #Conflicts: 381000 | #Constraints: 24593
18.33/18.40 c INPROCESSING
18.33/18.40 c GARBAGE COLLECT
18.33/18.40 c rational objective 250.5
18.84/18.94 c #Conflicts: 382000 | #Constraints: 13389
18.84/18.94 c #Conflicts: 383000 | #Constraints: 14389
18.84/18.94 c #Conflicts: 384000 | #Constraints: 15389
18.84/18.94 c #Conflicts: 385000 | #Constraints: 16389
18.84/18.94 c #Conflicts: 386000 | #Constraints: 17389
18.84/18.94 c #Conflicts: 387000 | #Constraints: 18389
18.84/18.94 c #Conflicts: 388000 | #Constraints: 19389
18.84/18.94 c #Conflicts: 389000 | #Constraints: 20389
18.84/18.94 c #Conflicts: 390000 | #Constraints: 21389
18.84/18.94 c #Conflicts: 391000 | #Constraints: 22389
18.84/18.94 c #Conflicts: 392000 | #Constraints: 23389
18.84/18.94 c #Conflicts: 393000 | #Constraints: 24389
18.84/18.94 c #Conflicts: 394000 | #Constraints: 25389
18.84/18.94 c INPROCESSING
18.84/18.94 c GARBAGE COLLECT
18.84/18.94 c rational objective 250.5
19.53/19.60 c #Conflicts: 395000 | #Constraints: 14000
19.53/19.60 c #Conflicts: 396000 | #Constraints: 15000
19.53/19.60 c #Conflicts: 397000 | #Constraints: 16000
19.53/19.60 c #Conflicts: 398000 | #Constraints: 17000
19.53/19.60 c #Conflicts: 399000 | #Constraints: 18000
19.53/19.60 c #Conflicts: 400000 | #Constraints: 19000
19.53/19.60 c #Conflicts: 401000 | #Constraints: 20000
19.53/19.60 c #Conflicts: 402000 | #Constraints: 21000
19.53/19.60 c #Conflicts: 403000 | #Constraints: 22000
19.53/19.60 c #Conflicts: 404000 | #Constraints: 23000
19.53/19.60 c #Conflicts: 405000 | #Constraints: 24000
19.53/19.60 c #Conflicts: 406000 | #Constraints: 25000
19.53/19.60 c #Conflicts: 407000 | #Constraints: 26000
19.53/19.60 c INPROCESSING
19.53/19.60 c GARBAGE COLLECT
19.53/19.60 c rational objective 250.5
20.13/20.25 c #Conflicts: 408000 | #Constraints: 14399
20.13/20.25 c #Conflicts: 409000 | #Constraints: 15399
20.13/20.25 c #Conflicts: 410000 | #Constraints: 16399
20.13/20.25 c #Conflicts: 411000 | #Constraints: 17399
20.13/20.25 c #Conflicts: 412000 | #Constraints: 18399
20.13/20.25 c #Conflicts: 413000 | #Constraints: 19399
20.13/20.25 c #Conflicts: 414000 | #Constraints: 20399
20.13/20.25 c #Conflicts: 415000 | #Constraints: 21399
20.13/20.25 c #Conflicts: 416000 | #Constraints: 22399
20.13/20.25 c #Conflicts: 417000 | #Constraints: 23399
20.13/20.25 c #Conflicts: 418000 | #Constraints: 24399
20.13/20.25 c #Conflicts: 419000 | #Constraints: 25399
20.13/20.25 c #Conflicts: 420000 | #Constraints: 26399
20.13/20.25 c INPROCESSING
20.13/20.25 c GARBAGE COLLECT
20.13/20.25 c rational objective 250.5
20.94/21.03 c #Conflicts: 421000 | #Constraints: 14609
20.94/21.03 c #Conflicts: 422000 | #Constraints: 15609
20.94/21.03 c #Conflicts: 423000 | #Constraints: 16609
20.94/21.03 c #Conflicts: 424000 | #Constraints: 17609
20.94/21.03 c #Conflicts: 425000 | #Constraints: 18609
20.94/21.03 c #Conflicts: 426000 | #Constraints: 19609
20.94/21.03 c #Conflicts: 427000 | #Constraints: 20609
20.94/21.03 c #Conflicts: 428000 | #Constraints: 21609
20.94/21.03 c #Conflicts: 429000 | #Constraints: 22609
20.94/21.03 c #Conflicts: 430000 | #Constraints: 23609
20.94/21.03 c #Conflicts: 431000 | #Constraints: 24609
20.94/21.03 c #Conflicts: 432000 | #Constraints: 25609
20.94/21.03 c #Conflicts: 433000 | #Constraints: 26609
20.94/21.03 c INPROCESSING
20.94/21.03 c GARBAGE COLLECT
20.94/21.03 c rational objective 250.5
21.53/21.69 c #Conflicts: 434000 | #Constraints: 14611
21.53/21.69 c #Conflicts: 435000 | #Constraints: 15611
21.53/21.69 c #Conflicts: 436000 | #Constraints: 16611
21.53/21.69 c #Conflicts: 437000 | #Constraints: 17611
21.53/21.69 c #Conflicts: 438000 | #Constraints: 18611
21.53/21.69 c #Conflicts: 439000 | #Constraints: 19611
21.53/21.69 c #Conflicts: 440000 | #Constraints: 20611
21.53/21.69 c #Conflicts: 441000 | #Constraints: 21611
21.53/21.69 c #Conflicts: 442000 | #Constraints: 22611
21.53/21.69 c #Conflicts: 443000 | #Constraints: 23611
21.53/21.69 c #Conflicts: 444000 | #Constraints: 24611
21.53/21.69 c #Conflicts: 445000 | #Constraints: 25611
21.53/21.69 c #Conflicts: 446000 | #Constraints: 26611
21.53/21.69 c INPROCESSING
21.53/21.69 c GARBAGE COLLECT
21.53/21.69 c rational objective 250.5
22.13/22.26 c #Conflicts: 447000 | #Constraints: 14413
22.13/22.26 c #Conflicts: 448000 | #Constraints: 15413
22.13/22.26 c #Conflicts: 449000 | #Constraints: 16413
22.13/22.26 c #Conflicts: 450000 | #Constraints: 17413
22.13/22.26 c #Conflicts: 451000 | #Constraints: 18413
22.13/22.26 c #Conflicts: 452000 | #Constraints: 19413
22.13/22.26 c #Conflicts: 453000 | #Constraints: 20413
22.13/22.26 c #Conflicts: 454000 | #Constraints: 21413
22.13/22.26 c #Conflicts: 455000 | #Constraints: 22413
22.13/22.26 c #Conflicts: 456000 | #Constraints: 23413
22.13/22.26 c #Conflicts: 457000 | #Constraints: 24413
22.13/22.26 c #Conflicts: 458000 | #Constraints: 25413
22.13/22.26 c #Conflicts: 459000 | #Constraints: 26413
22.13/22.26 c #Conflicts: 460000 | #Constraints: 27413
22.13/22.26 c INPROCESSING
22.13/22.26 c GARBAGE COLLECT
22.13/22.26 c rational objective 250.5
22.72/22.87 c #Conflicts: 461000 | #Constraints: 15017
22.72/22.87 c #Conflicts: 462000 | #Constraints: 16017
22.72/22.87 c #Conflicts: 463000 | #Constraints: 17017
22.72/22.87 c #Conflicts: 464000 | #Constraints: 18017
22.72/22.87 c #Conflicts: 465000 | #Constraints: 19017
22.72/22.87 c #Conflicts: 466000 | #Constraints: 20017
22.72/22.87 c #Conflicts: 467000 | #Constraints: 21017
22.72/22.87 c #Conflicts: 468000 | #Constraints: 22017
22.72/22.87 c #Conflicts: 469000 | #Constraints: 23017
22.72/22.87 c #Conflicts: 470000 | #Constraints: 24017
22.72/22.87 c #Conflicts: 471000 | #Constraints: 25017
22.72/22.87 c #Conflicts: 472000 | #Constraints: 26017
22.72/22.87 c #Conflicts: 473000 | #Constraints: 27017
22.72/22.87 c #Conflicts: 474000 | #Constraints: 28017
22.72/22.87 c INPROCESSING
22.72/22.87 c GARBAGE COLLECT
22.72/22.87 c rational objective 250.5
23.53/23.68 c #Conflicts: 475000 | #Constraints: 15419
23.53/23.68 c #Conflicts: 476000 | #Constraints: 16419
23.53/23.68 c #Conflicts: 477000 | #Constraints: 17419
23.53/23.68 c #Conflicts: 478000 | #Constraints: 18419
23.53/23.68 c #Conflicts: 479000 | #Constraints: 19419
23.53/23.68 c #Conflicts: 480000 | #Constraints: 20419
23.53/23.68 c #Conflicts: 481000 | #Constraints: 21419
23.53/23.68 c #Conflicts: 482000 | #Constraints: 22419
23.53/23.68 c #Conflicts: 483000 | #Constraints: 23419
23.53/23.68 c #Conflicts: 484000 | #Constraints: 24419
23.53/23.68 c #Conflicts: 485000 | #Constraints: 25419
23.53/23.68 c #Conflicts: 486000 | #Constraints: 26419
23.53/23.68 c #Conflicts: 487000 | #Constraints: 27419
23.53/23.68 c #Conflicts: 488000 | #Constraints: 28419
23.53/23.68 c INPROCESSING
23.53/23.68 c GARBAGE COLLECT
23.53/23.68 c rational objective 250.5
24.62/24.76 c #Conflicts: 489000 | #Constraints: 15624
24.62/24.76 c #Conflicts: 490000 | #Constraints: 16624
24.62/24.76 c #Conflicts: 491000 | #Constraints: 17624
24.62/24.76 c #Conflicts: 492000 | #Constraints: 18624
24.62/24.76 c #Conflicts: 493000 | #Constraints: 19624
24.62/24.76 c #Conflicts: 494000 | #Constraints: 20624
24.62/24.76 c #Conflicts: 495000 | #Constraints: 21624
24.62/24.76 c #Conflicts: 496000 | #Constraints: 22624
24.62/24.76 c #Conflicts: 497000 | #Constraints: 23624
24.62/24.76 c #Conflicts: 498000 | #Constraints: 24624
24.62/24.76 c #Conflicts: 499000 | #Constraints: 25624
24.62/24.76 c #Conflicts: 500000 | #Constraints: 26624
24.62/24.76 c #Conflicts: 501000 | #Constraints: 27624
24.62/24.76 c #Conflicts: 502000 | #Constraints: 28624
24.62/24.76 c INPROCESSING
24.62/24.76 c GARBAGE COLLECT
24.62/24.76 c rational objective 250.5
25.22/25.38 c #Conflicts: 503000 | #Constraints: 15619
25.22/25.38 c #Conflicts: 504000 | #Constraints: 16619
25.22/25.38 c #Conflicts: 505000 | #Constraints: 17619
25.22/25.38 c #Conflicts: 506000 | #Constraints: 18619
25.22/25.38 c #Conflicts: 507000 | #Constraints: 19619
25.22/25.38 c #Conflicts: 508000 | #Constraints: 20619
25.22/25.38 c #Conflicts: 509000 | #Constraints: 21619
25.22/25.38 c #Conflicts: 510000 | #Constraints: 22619
25.22/25.38 c #Conflicts: 511000 | #Constraints: 23619
25.22/25.38 c #Conflicts: 512000 | #Constraints: 24619
25.22/25.38 c #Conflicts: 513000 | #Constraints: 25619
25.22/25.38 c #Conflicts: 514000 | #Constraints: 26619
25.22/25.38 c #Conflicts: 515000 | #Constraints: 27619
25.22/25.38 c #Conflicts: 516000 | #Constraints: 28619
25.22/25.38 c INPROCESSING
25.22/25.38 c GARBAGE COLLECT
25.22/25.38 c rational objective 250.5
26.02/26.18 c #Conflicts: 517000 | #Constraints: 15410
26.02/26.18 c #Conflicts: 518000 | #Constraints: 16410
26.02/26.18 c #Conflicts: 519000 | #Constraints: 17410
26.02/26.18 c #Conflicts: 520000 | #Constraints: 18410
26.02/26.18 c #Conflicts: 521000 | #Constraints: 19410
26.02/26.18 c #Conflicts: 522000 | #Constraints: 20410
26.02/26.18 c #Conflicts: 523000 | #Constraints: 21410
26.02/26.18 c #Conflicts: 524000 | #Constraints: 22410
26.02/26.18 c #Conflicts: 525000 | #Constraints: 23410
26.02/26.18 c #Conflicts: 526000 | #Constraints: 24410
26.02/26.18 c #Conflicts: 527000 | #Constraints: 25410
26.02/26.18 c #Conflicts: 528000 | #Constraints: 26410
26.02/26.18 c #Conflicts: 529000 | #Constraints: 27410
26.02/26.18 c #Conflicts: 530000 | #Constraints: 28410
26.02/26.18 c #Conflicts: 531000 | #Constraints: 29410
26.02/26.18 c INPROCESSING
26.02/26.18 c GARBAGE COLLECT
26.02/26.18 c rational objective 250.5
26.82/26.90 c #Conflicts: 532000 | #Constraints: 16010
26.82/26.90 c #Conflicts: 533000 | #Constraints: 17010
26.82/26.90 c #Conflicts: 534000 | #Constraints: 18010
26.82/26.90 c #Conflicts: 535000 | #Constraints: 19010
26.82/26.90 c #Conflicts: 536000 | #Constraints: 20010
26.82/26.90 c #Conflicts: 537000 | #Constraints: 21010
26.82/26.90 c #Conflicts: 538000 | #Constraints: 22010
26.82/26.90 c #Conflicts: 539000 | #Constraints: 23010
26.82/26.90 c #Conflicts: 540000 | #Constraints: 24010
26.82/26.90 c #Conflicts: 541000 | #Constraints: 25010
26.82/26.90 c #Conflicts: 542000 | #Constraints: 26010
26.82/26.90 c #Conflicts: 543000 | #Constraints: 27010
26.82/26.90 c #Conflicts: 544000 | #Constraints: 28010
26.82/26.90 c #Conflicts: 545000 | #Constraints: 29010
26.82/26.90 c #Conflicts: 546000 | #Constraints: 30010
26.82/26.90 c INPROCESSING
26.82/26.90 c GARBAGE COLLECT
26.82/26.90 c rational objective 250.5
27.61/27.77 c #Conflicts: 547000 | #Constraints: 16413
27.61/27.77 c #Conflicts: 548000 | #Constraints: 17413
27.61/27.77 c #Conflicts: 549000 | #Constraints: 18413
27.61/27.77 c #Conflicts: 550000 | #Constraints: 19413
27.61/27.77 c #Conflicts: 551000 | #Constraints: 20413
27.61/27.77 c #Conflicts: 552000 | #Constraints: 21413
27.61/27.77 c #Conflicts: 553000 | #Constraints: 22413
27.61/27.77 c #Conflicts: 554000 | #Constraints: 23413
27.61/27.77 c #Conflicts: 555000 | #Constraints: 24413
27.61/27.77 c #Conflicts: 556000 | #Constraints: 25413
27.61/27.77 c #Conflicts: 557000 | #Constraints: 26413
27.61/27.77 c #Conflicts: 558000 | #Constraints: 27413
27.61/27.77 c #Conflicts: 559000 | #Constraints: 28413
27.61/27.77 c #Conflicts: 560000 | #Constraints: 29413
27.61/27.77 c #Conflicts: 561000 | #Constraints: 30413
27.61/27.77 c INPROCESSING
27.61/27.77 c GARBAGE COLLECT
27.61/27.77 c rational objective 250.5
28.42/28.54 c #Conflicts: 562000 | #Constraints: 16605
28.42/28.54 c #Conflicts: 563000 | #Constraints: 17605
28.42/28.54 c #Conflicts: 564000 | #Constraints: 18605
28.42/28.54 c #Conflicts: 565000 | #Constraints: 19605
28.42/28.54 c #Conflicts: 566000 | #Constraints: 20605
28.42/28.54 c #Conflicts: 567000 | #Constraints: 21605
28.42/28.54 c #Conflicts: 568000 | #Constraints: 22605
28.42/28.54 c #Conflicts: 569000 | #Constraints: 23605
28.42/28.54 c #Conflicts: 570000 | #Constraints: 24605
28.42/28.54 c #Conflicts: 571000 | #Constraints: 25605
28.42/28.54 c #Conflicts: 572000 | #Constraints: 26605
28.42/28.54 c #Conflicts: 573000 | #Constraints: 27605
28.42/28.54 c #Conflicts: 574000 | #Constraints: 28605
28.42/28.54 c #Conflicts: 575000 | #Constraints: 29605
28.42/28.54 c #Conflicts: 576000 | #Constraints: 30605
28.42/28.54 c INPROCESSING
28.42/28.54 c GARBAGE COLLECT
28.42/28.54 c rational objective 250.5
29.21/29.31 c #Conflicts: 577000 | #Constraints: 16607
29.21/29.31 c #Conflicts: 578000 | #Constraints: 17607
29.21/29.31 c #Conflicts: 579000 | #Constraints: 18607
29.21/29.31 c #Conflicts: 580000 | #Constraints: 19607
29.21/29.31 c #Conflicts: 581000 | #Constraints: 20607
29.21/29.31 c #Conflicts: 582000 | #Constraints: 21607
29.21/29.31 c #Conflicts: 583000 | #Constraints: 22607
29.21/29.31 c #Conflicts: 584000 | #Constraints: 23607
29.21/29.31 c #Conflicts: 585000 | #Constraints: 24607
29.21/29.31 c #Conflicts: 586000 | #Constraints: 25607
29.21/29.31 c #Conflicts: 587000 | #Constraints: 26607
29.21/29.31 c #Conflicts: 588000 | #Constraints: 27607
29.21/29.31 c #Conflicts: 589000 | #Constraints: 28607
29.21/29.31 c #Conflicts: 590000 | #Constraints: 29607
29.21/29.31 c #Conflicts: 591000 | #Constraints: 30607
29.21/29.31 c INPROCESSING
29.21/29.31 c GARBAGE COLLECT
29.21/29.31 c rational objective 250.5
30.01/30.13 c #Conflicts: 592000 | #Constraints: 16399
30.01/30.13 c #Conflicts: 593000 | #Constraints: 17399
30.01/30.13 c #Conflicts: 594000 | #Constraints: 18399
30.01/30.13 c #Conflicts: 595000 | #Constraints: 19399
30.01/30.13 c #Conflicts: 596000 | #Constraints: 20399
30.01/30.13 c #Conflicts: 597000 | #Constraints: 21399
30.01/30.13 c #Conflicts: 598000 | #Constraints: 22399
30.01/30.13 c #Conflicts: 599000 | #Constraints: 23399
30.01/30.13 c #Conflicts: 600000 | #Constraints: 24399
30.01/30.13 c #Conflicts: 601000 | #Constraints: 25399
30.01/30.13 c #Conflicts: 602000 | #Constraints: 26399
30.01/30.13 c #Conflicts: 603000 | #Constraints: 27399
30.01/30.13 c #Conflicts: 604000 | #Constraints: 28399
30.01/30.13 c #Conflicts: 605000 | #Constraints: 29399
30.01/30.13 c #Conflicts: 606000 | #Constraints: 30399
30.01/30.13 c #Conflicts: 607000 | #Constraints: 31399
30.01/30.13 c INPROCESSING
30.01/30.13 c GARBAGE COLLECT
30.01/30.13 c rational objective 250.5
30.91/31.07 c #Conflicts: 608000 | #Constraints: 17000
30.91/31.07 c #Conflicts: 609000 | #Constraints: 18000
30.91/31.07 c #Conflicts: 610000 | #Constraints: 19000
30.91/31.07 c #Conflicts: 611000 | #Constraints: 20000
30.91/31.07 c #Conflicts: 612000 | #Constraints: 21000
30.91/31.07 c #Conflicts: 613000 | #Constraints: 22000
30.91/31.07 c #Conflicts: 614000 | #Constraints: 23000
30.91/31.07 c #Conflicts: 615000 | #Constraints: 24000
30.91/31.07 c #Conflicts: 616000 | #Constraints: 25000
30.91/31.07 c #Conflicts: 617000 | #Constraints: 26000
30.91/31.07 c #Conflicts: 618000 | #Constraints: 27000
30.91/31.07 c #Conflicts: 619000 | #Constraints: 28000
30.91/31.07 c #Conflicts: 620000 | #Constraints: 29000
30.91/31.07 c #Conflicts: 621000 | #Constraints: 30000
30.91/31.07 c #Conflicts: 622000 | #Constraints: 31000
30.91/31.07 c #Conflicts: 623000 | #Constraints: 32000
30.91/31.07 c INPROCESSING
30.91/31.07 c GARBAGE COLLECT
30.91/31.07 c rational objective 250.5
31.81/31.91 c #Conflicts: 624000 | #Constraints: 17397
31.81/31.91 c #Conflicts: 625000 | #Constraints: 18397
31.81/31.91 c #Conflicts: 626000 | #Constraints: 19397
31.81/31.91 c #Conflicts: 627000 | #Constraints: 20397
31.81/31.91 c #Conflicts: 628000 | #Constraints: 21397
31.81/31.91 c #Conflicts: 629000 | #Constraints: 22397
31.81/31.91 c #Conflicts: 630000 | #Constraints: 23397
31.81/31.91 c #Conflicts: 631000 | #Constraints: 24397
31.81/31.91 c #Conflicts: 632000 | #Constraints: 25397
31.81/31.91 c #Conflicts: 633000 | #Constraints: 26397
31.81/31.91 c #Conflicts: 634000 | #Constraints: 27397
31.81/31.91 c #Conflicts: 635000 | #Constraints: 28397
31.81/31.91 c #Conflicts: 636000 | #Constraints: 29397
31.81/31.91 c #Conflicts: 637000 | #Constraints: 30397
31.81/31.91 c #Conflicts: 638000 | #Constraints: 31397
31.81/31.91 c #Conflicts: 639000 | #Constraints: 32397
31.81/31.91 c INPROCESSING
31.81/31.91 c GARBAGE COLLECT
31.81/31.91 c rational objective 250.5
32.60/32.73 c #Conflicts: 640000 | #Constraints: 17601
32.60/32.73 c #Conflicts: 641000 | #Constraints: 18601
32.60/32.73 c #Conflicts: 642000 | #Constraints: 19601
32.60/32.73 c #Conflicts: 643000 | #Constraints: 20601
32.60/32.73 c #Conflicts: 644000 | #Constraints: 21601
32.60/32.73 c #Conflicts: 645000 | #Constraints: 22601
32.60/32.73 c #Conflicts: 646000 | #Constraints: 23601
32.60/32.73 c #Conflicts: 647000 | #Constraints: 24601
32.60/32.73 c #Conflicts: 648000 | #Constraints: 25601
32.60/32.73 c #Conflicts: 649000 | #Constraints: 26601
32.60/32.73 c #Conflicts: 650000 | #Constraints: 27601
32.60/32.73 c #Conflicts: 651000 | #Constraints: 28601
32.60/32.73 c #Conflicts: 652000 | #Constraints: 29601
32.60/32.73 c #Conflicts: 653000 | #Constraints: 30601
32.60/32.73 c #Conflicts: 654000 | #Constraints: 31601
32.60/32.73 c #Conflicts: 655000 | #Constraints: 32601
32.60/32.73 c INPROCESSING
32.60/32.73 c GARBAGE COLLECT
32.60/32.73 c rational objective 250.5
33.40/33.54 c #Conflicts: 656000 | #Constraints: 17599
33.40/33.54 c #Conflicts: 657000 | #Constraints: 18599
33.40/33.54 c #Conflicts: 658000 | #Constraints: 19599
33.40/33.54 c #Conflicts: 659000 | #Constraints: 20599
33.40/33.54 c #Conflicts: 660000 | #Constraints: 21599
33.40/33.54 c #Conflicts: 661000 | #Constraints: 22599
33.40/33.54 c #Conflicts: 662000 | #Constraints: 23599
33.40/33.54 c #Conflicts: 663000 | #Constraints: 24599
33.40/33.54 c #Conflicts: 664000 | #Constraints: 25599
33.40/33.54 c #Conflicts: 665000 | #Constraints: 26599
33.40/33.54 c #Conflicts: 666000 | #Constraints: 27599
33.40/33.54 c #Conflicts: 667000 | #Constraints: 28599
33.40/33.54 c #Conflicts: 668000 | #Constraints: 29599
33.40/33.54 c #Conflicts: 669000 | #Constraints: 30599
33.40/33.54 c #Conflicts: 670000 | #Constraints: 31599
33.40/33.54 c #Conflicts: 671000 | #Constraints: 32599
33.40/33.54 c INPROCESSING
33.40/33.54 c GARBAGE COLLECT
33.40/33.54 c rational objective 250.5
34.19/34.38 c #Conflicts: 672000 | #Constraints: 17400
34.19/34.38 c #Conflicts: 673000 | #Constraints: 18400
34.19/34.38 c #Conflicts: 674000 | #Constraints: 19400
34.19/34.38 c #Conflicts: 675000 | #Constraints: 20400
34.19/34.38 c #Conflicts: 676000 | #Constraints: 21400
34.19/34.38 c #Conflicts: 677000 | #Constraints: 22400
34.19/34.38 c #Conflicts: 678000 | #Constraints: 23400
34.19/34.38 c #Conflicts: 679000 | #Constraints: 24400
34.19/34.38 c #Conflicts: 680000 | #Constraints: 25400
34.19/34.38 c #Conflicts: 681000 | #Constraints: 26400
34.19/34.38 c #Conflicts: 682000 | #Constraints: 27400
34.19/34.38 c #Conflicts: 683000 | #Constraints: 28400
34.19/34.38 c #Conflicts: 684000 | #Constraints: 29400
34.19/34.38 c #Conflicts: 685000 | #Constraints: 30400
34.19/34.38 c #Conflicts: 686000 | #Constraints: 31400
34.19/34.38 c #Conflicts: 687000 | #Constraints: 32400
34.19/34.38 c #Conflicts: 688000 | #Constraints: 33401
34.19/34.38 c INPROCESSING
34.19/34.38 c GARBAGE COLLECT
34.19/34.38 c rational objective 250.5
35.20/35.35 c #Conflicts: 689000 | #Constraints: 17999
35.20/35.35 c #Conflicts: 690000 | #Constraints: 18999
35.20/35.35 c #Conflicts: 691000 | #Constraints: 19999
35.20/35.35 c #Conflicts: 692000 | #Constraints: 20999
35.20/35.35 c #Conflicts: 693000 | #Constraints: 21999
35.20/35.35 c #Conflicts: 694000 | #Constraints: 22999
35.20/35.35 c #Conflicts: 695000 | #Constraints: 23999
35.20/35.35 c #Conflicts: 696000 | #Constraints: 24999
35.20/35.35 c #Conflicts: 697000 | #Constraints: 25999
35.20/35.35 c #Conflicts: 698000 | #Constraints: 26999
35.20/35.35 c #Conflicts: 699000 | #Constraints: 27999
35.20/35.35 c #Conflicts: 700000 | #Constraints: 28999
35.20/35.35 c #Conflicts: 701000 | #Constraints: 29999
35.20/35.35 c #Conflicts: 702000 | #Constraints: 30999
35.20/35.35 c #Conflicts: 703000 | #Constraints: 31999
35.20/35.35 c #Conflicts: 704000 | #Constraints: 32999
35.20/35.35 c #Conflicts: 705000 | #Constraints: 33999
35.20/35.35 c INPROCESSING
35.20/35.35 c GARBAGE COLLECT
35.20/35.35 c rational objective 250.5
36.29/36.43 c #Conflicts: 706000 | #Constraints: 18407
36.29/36.43 c #Conflicts: 707000 | #Constraints: 19407
36.29/36.43 c #Conflicts: 708000 | #Constraints: 20407
36.29/36.43 c #Conflicts: 709000 | #Constraints: 21407
36.29/36.43 c #Conflicts: 710000 | #Constraints: 22407
36.29/36.43 c #Conflicts: 711000 | #Constraints: 23407
36.29/36.43 c #Conflicts: 712000 | #Constraints: 24407
36.29/36.43 c #Conflicts: 713000 | #Constraints: 25407
36.29/36.43 c #Conflicts: 714000 | #Constraints: 26407
36.29/36.43 c #Conflicts: 715000 | #Constraints: 27407
36.29/36.43 c #Conflicts: 716000 | #Constraints: 28407
36.29/36.43 c #Conflicts: 717000 | #Constraints: 29407
36.29/36.43 c #Conflicts: 718000 | #Constraints: 30407
36.29/36.43 c #Conflicts: 719000 | #Constraints: 31407
36.29/36.43 c #Conflicts: 720000 | #Constraints: 32407
36.29/36.43 c #Conflicts: 721000 | #Constraints: 33407
36.29/36.43 c #Conflicts: 722000 | #Constraints: 34407
36.29/36.43 c INPROCESSING
36.29/36.43 c GARBAGE COLLECT
36.29/36.43 c rational objective 250.5
37.29/37.42 c #Conflicts: 723000 | #Constraints: 18613
37.29/37.42 c #Conflicts: 724000 | #Constraints: 19613
37.29/37.42 c #Conflicts: 725000 | #Constraints: 20613
37.29/37.42 c #Conflicts: 726000 | #Constraints: 21613
37.29/37.42 c #Conflicts: 727000 | #Constraints: 22613
37.29/37.42 c #Conflicts: 728000 | #Constraints: 23613
37.29/37.42 c #Conflicts: 729000 | #Constraints: 24613
37.29/37.42 c #Conflicts: 730000 | #Constraints: 25613
37.29/37.42 c #Conflicts: 731000 | #Constraints: 26613
37.29/37.42 c #Conflicts: 732000 | #Constraints: 27613
37.29/37.42 c #Conflicts: 733000 | #Constraints: 28613
37.29/37.42 c #Conflicts: 734000 | #Constraints: 29613
37.29/37.42 c #Conflicts: 735000 | #Constraints: 30613
37.29/37.42 c #Conflicts: 736000 | #Constraints: 31613
37.29/37.42 c #Conflicts: 737000 | #Constraints: 32613
37.29/37.42 c #Conflicts: 738000 | #Constraints: 33613
37.29/37.42 c #Conflicts: 739000 | #Constraints: 34613
37.29/37.42 c INPROCESSING
37.29/37.42 c GARBAGE COLLECT
37.29/37.42 c rational objective 250.5
38.09/38.29 c #Conflicts: 740000 | #Constraints: 18613
38.09/38.29 c #Conflicts: 741000 | #Constraints: 19613
38.09/38.29 c #Conflicts: 742000 | #Constraints: 20613
38.09/38.29 c #Conflicts: 743000 | #Constraints: 21613
38.09/38.29 c #Conflicts: 744000 | #Constraints: 22613
38.09/38.29 c #Conflicts: 745000 | #Constraints: 23613
38.09/38.29 c #Conflicts: 746000 | #Constraints: 24613
38.09/38.29 c #Conflicts: 747000 | #Constraints: 25613
38.09/38.29 c #Conflicts: 748000 | #Constraints: 26613
38.09/38.29 c #Conflicts: 749000 | #Constraints: 27613
38.09/38.29 c #Conflicts: 750000 | #Constraints: 28613
38.09/38.29 c #Conflicts: 751000 | #Constraints: 29613
38.09/38.29 c #Conflicts: 752000 | #Constraints: 30613
38.09/38.29 c #Conflicts: 753000 | #Constraints: 31613
38.09/38.29 c #Conflicts: 754000 | #Constraints: 32613
38.09/38.29 c #Conflicts: 755000 | #Constraints: 33613
38.09/38.29 c #Conflicts: 756000 | #Constraints: 34613
38.09/38.29 c INPROCESSING
38.09/38.29 c GARBAGE COLLECT
38.09/38.29 c rational objective 250.5
39.08/39.22 c #Conflicts: 757000 | #Constraints: 18409
39.08/39.22 c #Conflicts: 758000 | #Constraints: 19409
39.08/39.22 c #Conflicts: 759000 | #Constraints: 20410
39.08/39.22 c #Conflicts: 760000 | #Constraints: 21410
39.08/39.22 c #Conflicts: 761000 | #Constraints: 22410
39.08/39.22 c #Conflicts: 762000 | #Constraints: 23410
39.08/39.22 c #Conflicts: 763000 | #Constraints: 24410
39.08/39.22 c #Conflicts: 764000 | #Constraints: 25410
39.08/39.22 c #Conflicts: 765000 | #Constraints: 26410
39.08/39.22 c #Conflicts: 766000 | #Constraints: 27410
39.08/39.22 c #Conflicts: 767000 | #Constraints: 28410
39.08/39.22 c #Conflicts: 768000 | #Constraints: 29410
39.08/39.22 c #Conflicts: 769000 | #Constraints: 30410
39.08/39.22 c #Conflicts: 770000 | #Constraints: 31410
39.08/39.22 c #Conflicts: 771000 | #Constraints: 32410
39.08/39.22 c #Conflicts: 772000 | #Constraints: 33410
39.08/39.22 c #Conflicts: 773000 | #Constraints: 34410
39.08/39.22 c #Conflicts: 774000 | #Constraints: 35410
39.08/39.22 c INPROCESSING
39.08/39.22 c GARBAGE COLLECT
39.08/39.22 c rational objective 250.5
39.99/40.14 c #Conflicts: 775000 | #Constraints: 19008
39.99/40.14 c #Conflicts: 776000 | #Constraints: 20008
39.99/40.14 c #Conflicts: 777000 | #Constraints: 21008
39.99/40.14 c #Conflicts: 778000 | #Constraints: 22008
39.99/40.14 c #Conflicts: 779000 | #Constraints: 23008
39.99/40.14 c #Conflicts: 780000 | #Constraints: 24008
39.99/40.14 c #Conflicts: 781000 | #Constraints: 25008
39.99/40.14 c #Conflicts: 782000 | #Constraints: 26008
39.99/40.14 c #Conflicts: 783000 | #Constraints: 27008
39.99/40.14 c #Conflicts: 784000 | #Constraints: 28008
39.99/40.14 c #Conflicts: 785000 | #Constraints: 29008
39.99/40.14 c #Conflicts: 786000 | #Constraints: 30008
39.99/40.14 c #Conflicts: 787000 | #Constraints: 31008
39.99/40.14 c #Conflicts: 788000 | #Constraints: 32008
39.99/40.14 c #Conflicts: 789000 | #Constraints: 33008
39.99/40.14 c #Conflicts: 790000 | #Constraints: 34008
39.99/40.14 c #Conflicts: 791000 | #Constraints: 35008
39.99/40.14 c #Conflicts: 792000 | #Constraints: 36008
39.99/40.14 c INPROCESSING
39.99/40.14 c GARBAGE COLLECT
39.99/40.14 c rational objective 250.5
40.88/41.08 c #Conflicts: 793000 | #Constraints: 19416
40.88/41.08 c #Conflicts: 794000 | #Constraints: 20416
40.88/41.08 c #Conflicts: 795000 | #Constraints: 21416
40.88/41.08 c #Conflicts: 796000 | #Constraints: 22416
40.88/41.08 c #Conflicts: 797000 | #Constraints: 23416
40.88/41.08 c #Conflicts: 798000 | #Constraints: 24416
40.88/41.08 c #Conflicts: 799000 | #Constraints: 25416
40.88/41.08 c #Conflicts: 800000 | #Constraints: 26416
40.88/41.08 c #Conflicts: 801000 | #Constraints: 27416
40.88/41.08 c #Conflicts: 802000 | #Constraints: 28416
40.88/41.08 c #Conflicts: 803000 | #Constraints: 29416
40.88/41.08 c #Conflicts: 804000 | #Constraints: 30416
40.88/41.08 c #Conflicts: 805000 | #Constraints: 31416
40.88/41.08 c #Conflicts: 806000 | #Constraints: 32416
40.88/41.08 c #Conflicts: 807000 | #Constraints: 33416
40.88/41.08 c #Conflicts: 808000 | #Constraints: 34416
40.88/41.08 c #Conflicts: 809000 | #Constraints: 35416
40.88/41.08 c #Conflicts: 810000 | #Constraints: 36416
40.88/41.08 c INPROCESSING
40.88/41.08 c GARBAGE COLLECT
40.88/41.08 c rational objective 250.5
41.89/42.06 c #Conflicts: 811000 | #Constraints: 19610
41.89/42.06 c #Conflicts: 812000 | #Constraints: 20610
41.89/42.06 c #Conflicts: 813000 | #Constraints: 21610
41.89/42.06 c #Conflicts: 814000 | #Constraints: 22610
41.89/42.06 c #Conflicts: 815000 | #Constraints: 23610
41.89/42.06 c #Conflicts: 816000 | #Constraints: 24610
41.89/42.06 c #Conflicts: 817000 | #Constraints: 25610
41.89/42.06 c #Conflicts: 818000 | #Constraints: 26610
41.89/42.06 c #Conflicts: 819000 | #Constraints: 27610
41.89/42.06 c #Conflicts: 820000 | #Constraints: 28610
41.89/42.06 c #Conflicts: 821000 | #Constraints: 29610
41.89/42.06 c #Conflicts: 822000 | #Constraints: 30610
41.89/42.06 c #Conflicts: 823000 | #Constraints: 31610
41.89/42.06 c #Conflicts: 824000 | #Constraints: 32610
41.89/42.06 c #Conflicts: 825000 | #Constraints: 33610
41.89/42.06 c #Conflicts: 826000 | #Constraints: 34610
41.89/42.06 c #Conflicts: 827000 | #Constraints: 35610
41.89/42.06 c #Conflicts: 828000 | #Constraints: 36610
41.89/42.06 c INPROCESSING
41.89/42.06 c GARBAGE COLLECT
41.89/42.06 c rational objective 250.5
42.99/43.15 c #Conflicts: 829000 | #Constraints: 19607
42.99/43.15 c #Conflicts: 830000 | #Constraints: 20607
42.99/43.15 c #Conflicts: 831000 | #Constraints: 21607
42.99/43.15 c #Conflicts: 832000 | #Constraints: 22607
42.99/43.15 c #Conflicts: 833000 | #Constraints: 23607
42.99/43.15 c #Conflicts: 834000 | #Constraints: 24607
42.99/43.15 c #Conflicts: 835000 | #Constraints: 25607
42.99/43.15 c #Conflicts: 836000 | #Constraints: 26607
42.99/43.15 c #Conflicts: 837000 | #Constraints: 27607
42.99/43.15 c #Conflicts: 838000 | #Constraints: 28607
42.99/43.15 c #Conflicts: 839000 | #Constraints: 29607
42.99/43.15 c #Conflicts: 840000 | #Constraints: 30607
42.99/43.15 c #Conflicts: 841000 | #Constraints: 31607
42.99/43.15 c #Conflicts: 842000 | #Constraints: 32607
42.99/43.15 c #Conflicts: 843000 | #Constraints: 33607
42.99/43.15 c #Conflicts: 844000 | #Constraints: 34607
42.99/43.15 c #Conflicts: 845000 | #Constraints: 35607
42.99/43.15 c #Conflicts: 846000 | #Constraints: 36607
42.99/43.15 c INPROCESSING
42.99/43.15 c GARBAGE COLLECT
42.99/43.15 c rational objective 250.5
43.98/44.18 c #Conflicts: 847000 | #Constraints: 19408
43.98/44.18 c #Conflicts: 848000 | #Constraints: 20408
43.98/44.18 c #Conflicts: 849000 | #Constraints: 21408
43.98/44.18 c #Conflicts: 850000 | #Constraints: 22408
43.98/44.18 c #Conflicts: 851000 | #Constraints: 23408
43.98/44.18 c #Conflicts: 852000 | #Constraints: 24408
43.98/44.18 c #Conflicts: 853000 | #Constraints: 25408
43.98/44.18 c #Conflicts: 854000 | #Constraints: 26408
43.98/44.18 c #Conflicts: 855000 | #Constraints: 27408
43.98/44.18 c #Conflicts: 856000 | #Constraints: 28408
43.98/44.18 c #Conflicts: 857000 | #Constraints: 29408
43.98/44.18 c #Conflicts: 858000 | #Constraints: 30408
43.98/44.18 c #Conflicts: 859000 | #Constraints: 31408
43.98/44.18 c #Conflicts: 860000 | #Constraints: 32408
43.98/44.18 c #Conflicts: 861000 | #Constraints: 33408
43.98/44.18 c #Conflicts: 862000 | #Constraints: 34408
43.98/44.18 c #Conflicts: 863000 | #Constraints: 35408
43.98/44.18 c #Conflicts: 864000 | #Constraints: 36408
43.98/44.18 c #Conflicts: 865000 | #Constraints: 37408
43.98/44.18 c INPROCESSING
43.98/44.18 c GARBAGE COLLECT
43.98/44.18 c rational objective 250.5
44.98/45.15 c #Conflicts: 866000 | #Constraints: 20004
44.98/45.15 c #Conflicts: 867000 | #Constraints: 21004
44.98/45.15 c #Conflicts: 868000 | #Constraints: 22004
44.98/45.15 c #Conflicts: 869000 | #Constraints: 23004
44.98/45.15 c #Conflicts: 870000 | #Constraints: 24004
44.98/45.15 c #Conflicts: 871000 | #Constraints: 25004
44.98/45.15 c #Conflicts: 872000 | #Constraints: 26004
44.98/45.15 c #Conflicts: 873000 | #Constraints: 27004
44.98/45.15 c #Conflicts: 874000 | #Constraints: 28004
44.98/45.15 c #Conflicts: 875000 | #Constraints: 29004
44.98/45.15 c #Conflicts: 876000 | #Constraints: 30004
44.98/45.15 c #Conflicts: 877000 | #Constraints: 31004
44.98/45.15 c #Conflicts: 878000 | #Constraints: 32004
44.98/45.15 c #Conflicts: 879000 | #Constraints: 33004
44.98/45.15 c #Conflicts: 880000 | #Constraints: 34004
44.98/45.15 c #Conflicts: 881000 | #Constraints: 35004
44.98/45.15 c #Conflicts: 882000 | #Constraints: 36004
44.98/45.15 c #Conflicts: 883000 | #Constraints: 37004
44.98/45.15 c #Conflicts: 884000 | #Constraints: 38004
44.98/45.15 c INPROCESSING
44.98/45.15 c GARBAGE COLLECT
44.98/45.15 c rational objective 250.5
45.98/46.12 c #Conflicts: 885000 | #Constraints: 20415
45.98/46.12 c #Conflicts: 886000 | #Constraints: 21415
45.98/46.12 c #Conflicts: 887000 | #Constraints: 22415
45.98/46.12 c #Conflicts: 888000 | #Constraints: 23415
45.98/46.12 c #Conflicts: 889000 | #Constraints: 24415
45.98/46.12 c #Conflicts: 890000 | #Constraints: 25415
45.98/46.12 c #Conflicts: 891000 | #Constraints: 26415
45.98/46.12 c #Conflicts: 892000 | #Constraints: 27415
45.98/46.12 c #Conflicts: 893000 | #Constraints: 28415
45.98/46.12 c #Conflicts: 894000 | #Constraints: 29415
45.98/46.12 c #Conflicts: 895000 | #Constraints: 30415
45.98/46.12 c #Conflicts: 896000 | #Constraints: 31415
45.98/46.12 c #Conflicts: 897000 | #Constraints: 32415
45.98/46.12 c #Conflicts: 898000 | #Constraints: 33415
45.98/46.12 c #Conflicts: 899000 | #Constraints: 34415
45.98/46.12 c #Conflicts: 900000 | #Constraints: 35415
45.98/46.12 c #Conflicts: 901000 | #Constraints: 36415
45.98/46.12 c #Conflicts: 902000 | #Constraints: 37415
45.98/46.12 c #Conflicts: 903000 | #Constraints: 38415
45.98/46.12 c INPROCESSING
45.98/46.12 c GARBAGE COLLECT
45.98/46.12 c rational objective 250.5
46.97/47.19 c #Conflicts: 904000 | #Constraints: 20606
46.97/47.19 c #Conflicts: 905000 | #Constraints: 21606
46.97/47.19 c #Conflicts: 906000 | #Constraints: 22606
46.97/47.19 c #Conflicts: 907000 | #Constraints: 23606
46.97/47.19 c #Conflicts: 908000 | #Constraints: 24606
46.97/47.19 c #Conflicts: 909000 | #Constraints: 25606
46.97/47.19 c #Conflicts: 910000 | #Constraints: 26606
46.97/47.19 c #Conflicts: 911000 | #Constraints: 27606
46.97/47.19 c #Conflicts: 912000 | #Constraints: 28606
46.97/47.19 c #Conflicts: 913000 | #Constraints: 29606
46.97/47.19 c #Conflicts: 914000 | #Constraints: 30606
46.97/47.19 c #Conflicts: 915000 | #Constraints: 31606
46.97/47.19 c #Conflicts: 916000 | #Constraints: 32606
46.97/47.19 c #Conflicts: 917000 | #Constraints: 33606
46.97/47.19 c #Conflicts: 918000 | #Constraints: 34606
46.97/47.19 c #Conflicts: 919000 | #Constraints: 35606
46.97/47.19 c #Conflicts: 920000 | #Constraints: 36606
46.97/47.19 c #Conflicts: 921000 | #Constraints: 37606
46.97/47.19 c #Conflicts: 922000 | #Constraints: 38606
46.97/47.19 c INPROCESSING
46.97/47.19 c GARBAGE COLLECT
46.97/47.19 c rational objective 250.5
47.97/48.19 c #Conflicts: 923000 | #Constraints: 20605
47.97/48.19 c #Conflicts: 924000 | #Constraints: 21605
47.97/48.19 c #Conflicts: 925000 | #Constraints: 22605
47.97/48.19 c #Conflicts: 926000 | #Constraints: 23605
47.97/48.19 c #Conflicts: 927000 | #Constraints: 24605
47.97/48.19 c #Conflicts: 928000 | #Constraints: 25605
47.97/48.19 c #Conflicts: 929000 | #Constraints: 26605
47.97/48.19 c #Conflicts: 930000 | #Constraints: 27605
47.97/48.19 c #Conflicts: 931000 | #Constraints: 28605
47.97/48.19 c #Conflicts: 932000 | #Constraints: 29605
47.97/48.19 c #Conflicts: 933000 | #Constraints: 30605
47.97/48.19 c #Conflicts: 934000 | #Constraints: 31605
47.97/48.19 c #Conflicts: 935000 | #Constraints: 32605
47.97/48.19 c #Conflicts: 936000 | #Constraints: 33605
47.97/48.19 c #Conflicts: 937000 | #Constraints: 34605
47.97/48.19 c #Conflicts: 938000 | #Constraints: 35605
47.97/48.19 c #Conflicts: 939000 | #Constraints: 36605
47.97/48.19 c #Conflicts: 940000 | #Constraints: 37605
47.97/48.19 c #Conflicts: 941000 | #Constraints: 38605
47.97/48.19 c INPROCESSING
47.97/48.19 c GARBAGE COLLECT
47.97/48.19 c rational objective 250.5
48.97/49.17 c #Conflicts: 942000 | #Constraints: 20414
48.97/49.17 c #Conflicts: 943000 | #Constraints: 21414
48.97/49.17 c #Conflicts: 944000 | #Constraints: 22414
48.97/49.17 c #Conflicts: 945000 | #Constraints: 23414
48.97/49.17 c #Conflicts: 946000 | #Constraints: 24414
48.97/49.17 c #Conflicts: 947000 | #Constraints: 25414
48.97/49.17 c #Conflicts: 948000 | #Constraints: 26414
48.97/49.17 c #Conflicts: 949000 | #Constraints: 27414
48.97/49.17 c #Conflicts: 950000 | #Constraints: 28414
48.97/49.17 c #Conflicts: 951000 | #Constraints: 29414
48.97/49.17 c #Conflicts: 952000 | #Constraints: 30414
48.97/49.17 c #Conflicts: 953000 | #Constraints: 31414
48.97/49.17 c #Conflicts: 954000 | #Constraints: 32414
48.97/49.17 c #Conflicts: 955000 | #Constraints: 33414
48.97/49.17 c #Conflicts: 956000 | #Constraints: 34414
48.97/49.17 c #Conflicts: 957000 | #Constraints: 35414
48.97/49.17 c #Conflicts: 958000 | #Constraints: 36414
48.97/49.17 c #Conflicts: 959000 | #Constraints: 37414
48.97/49.17 c #Conflicts: 960000 | #Constraints: 38414
48.97/49.17 c #Conflicts: 961000 | #Constraints: 39414
48.97/49.17 c INPROCESSING
48.97/49.17 c GARBAGE COLLECT
48.97/49.17 c rational objective 250.5
49.86/50.10 c #Conflicts: 962000 | #Constraints: 21012
49.86/50.10 c #Conflicts: 963000 | #Constraints: 22012
49.86/50.10 c #Conflicts: 964000 | #Constraints: 23012
49.86/50.10 c #Conflicts: 965000 | #Constraints: 24012
49.86/50.10 c #Conflicts: 966000 | #Constraints: 25012
49.86/50.10 c #Conflicts: 967000 | #Constraints: 26012
49.86/50.10 c #Conflicts: 968000 | #Constraints: 27012
49.86/50.10 c #Conflicts: 969000 | #Constraints: 28012
49.86/50.10 c #Conflicts: 970000 | #Constraints: 29012
49.86/50.10 c #Conflicts: 971000 | #Constraints: 30012
49.86/50.10 c #Conflicts: 972000 | #Constraints: 31012
49.86/50.10 c #Conflicts: 973000 | #Constraints: 32012
49.86/50.10 c #Conflicts: 974000 | #Constraints: 33012
49.86/50.10 c #Conflicts: 975000 | #Constraints: 34012
49.86/50.10 c #Conflicts: 976000 | #Constraints: 35012
49.86/50.10 c #Conflicts: 977000 | #Constraints: 36012
49.86/50.10 c #Conflicts: 978000 | #Constraints: 37012
49.86/50.10 c #Conflicts: 979000 | #Constraints: 38012
49.86/50.10 c #Conflicts: 980000 | #Constraints: 39012
49.86/50.10 c #Conflicts: 981000 | #Constraints: 40012
49.86/50.10 c INPROCESSING
49.86/50.10 c GARBAGE COLLECT
49.86/50.10 c rational objective 250.5
51.46/51.60 c #Conflicts: 982000 | #Constraints: 21411
51.46/51.60 c #Conflicts: 983000 | #Constraints: 22411
51.46/51.60 c #Conflicts: 984000 | #Constraints: 23411
51.46/51.60 c #Conflicts: 985000 | #Constraints: 24411
51.46/51.60 c #Conflicts: 986000 | #Constraints: 25411
51.46/51.60 c #Conflicts: 987000 | #Constraints: 26411
51.46/51.60 c #Conflicts: 988000 | #Constraints: 27411
51.46/51.60 c #Conflicts: 989000 | #Constraints: 28411
51.46/51.60 c #Conflicts: 990000 | #Constraints: 29411
51.46/51.60 c #Conflicts: 991000 | #Constraints: 30411
51.46/51.60 c #Conflicts: 992000 | #Constraints: 31411
51.46/51.60 c #Conflicts: 993000 | #Constraints: 32411
51.46/51.60 c #Conflicts: 994000 | #Constraints: 33411
51.46/51.60 c #Conflicts: 995000 | #Constraints: 34411
51.46/51.60 c #Conflicts: 996000 | #Constraints: 35411
51.46/51.60 c #Conflicts: 997000 | #Constraints: 36411
51.46/51.60 c #Conflicts: 998000 | #Constraints: 37411
51.46/51.60 c #Conflicts: 999000 | #Constraints: 38411
51.46/51.60 c #Conflicts: 1000000 | #Constraints: 39411
51.46/51.60 c #Conflicts: 1001000 | #Constraints: 40411
51.46/51.60 c INPROCESSING
51.46/51.60 c GARBAGE COLLECT
51.46/51.60 c rational objective 250.5
52.35/52.52 c #Conflicts: 1002000 | #Constraints: 21616
52.35/52.52 c #Conflicts: 1003000 | #Constraints: 22616
52.35/52.52 c #Conflicts: 1004000 | #Constraints: 23616
52.35/52.52 c #Conflicts: 1005000 | #Constraints: 24616
52.35/52.52 c #Conflicts: 1006000 | #Constraints: 25616
52.35/52.52 c #Conflicts: 1007000 | #Constraints: 26616
52.35/52.52 c #Conflicts: 1008000 | #Constraints: 27616
52.35/52.52 c #Conflicts: 1009000 | #Constraints: 28616
52.35/52.52 c #Conflicts: 1010000 | #Constraints: 29616
52.35/52.52 c #Conflicts: 1011000 | #Constraints: 30616
52.35/52.52 c #Conflicts: 1012000 | #Constraints: 31616
52.35/52.52 c #Conflicts: 1013000 | #Constraints: 32616
52.35/52.52 c #Conflicts: 1014000 | #Constraints: 33616
52.35/52.52 c #Conflicts: 1015000 | #Constraints: 34616
52.35/52.52 c #Conflicts: 1016000 | #Constraints: 35616
52.35/52.52 c #Conflicts: 1017000 | #Constraints: 36616
52.35/52.52 c #Conflicts: 1018000 | #Constraints: 37616
52.35/52.52 c #Conflicts: 1019000 | #Constraints: 38616
52.35/52.52 c #Conflicts: 1020000 | #Constraints: 39616
52.35/52.52 c #Conflicts: 1021000 | #Constraints: 40616
52.35/52.52 c INPROCESSING
52.35/52.52 c GARBAGE COLLECT
52.35/52.52 c rational objective 250.5
53.95/54.17 c #Conflicts: 1022000 | #Constraints: 21614
53.95/54.17 c #Conflicts: 1023000 | #Constraints: 22614
53.95/54.17 c #Conflicts: 1024000 | #Constraints: 23614
53.95/54.17 c #Conflicts: 1025000 | #Constraints: 24614
53.95/54.17 c #Conflicts: 1026000 | #Constraints: 25614
53.95/54.17 c #Conflicts: 1027000 | #Constraints: 26614
53.95/54.17 c #Conflicts: 1028000 | #Constraints: 27614
53.95/54.17 c #Conflicts: 1029000 | #Constraints: 28614
53.95/54.17 c #Conflicts: 1030000 | #Constraints: 29614
53.95/54.17 c #Conflicts: 1031000 | #Constraints: 30614
53.95/54.17 c #Conflicts: 1032000 | #Constraints: 31614
53.95/54.17 c #Conflicts: 1033000 | #Constraints: 32614
53.95/54.17 c #Conflicts: 1034000 | #Constraints: 33614
53.95/54.17 c #Conflicts: 1035000 | #Constraints: 34614
53.95/54.17 c #Conflicts: 1036000 | #Constraints: 35614
53.95/54.17 c #Conflicts: 1037000 | #Constraints: 36614
53.95/54.17 c #Conflicts: 1038000 | #Constraints: 37614
53.95/54.17 c #Conflicts: 1039000 | #Constraints: 38614
53.95/54.17 c #Conflicts: 1040000 | #Constraints: 39614
53.95/54.17 c #Conflicts: 1041000 | #Constraints: 40614
53.95/54.17 c INPROCESSING
53.95/54.17 c GARBAGE COLLECT
53.95/54.17 c rational objective 250.5
54.95/55.13 c #Conflicts: 1042000 | #Constraints: 21419
54.95/55.13 c #Conflicts: 1043000 | #Constraints: 22419
54.95/55.13 c #Conflicts: 1044000 | #Constraints: 23419
54.95/55.13 c #Conflicts: 1045000 | #Constraints: 24419
54.95/55.13 c #Conflicts: 1046000 | #Constraints: 25419
54.95/55.13 c #Conflicts: 1047000 | #Constraints: 26419
54.95/55.13 c #Conflicts: 1048000 | #Constraints: 27419
54.95/55.13 c #Conflicts: 1049000 | #Constraints: 28419
54.95/55.13 c #Conflicts: 1050000 | #Constraints: 29419
54.95/55.13 c #Conflicts: 1051000 | #Constraints: 30419
54.95/55.13 c #Conflicts: 1052000 | #Constraints: 31419
54.95/55.13 c #Conflicts: 1053000 | #Constraints: 32419
54.95/55.13 c #Conflicts: 1054000 | #Constraints: 33419
54.95/55.13 c #Conflicts: 1055000 | #Constraints: 34419
54.95/55.13 c #Conflicts: 1056000 | #Constraints: 35419
54.95/55.13 c #Conflicts: 1057000 | #Constraints: 36419
54.95/55.13 c #Conflicts: 1058000 | #Constraints: 37419
54.95/55.13 c #Conflicts: 1059000 | #Constraints: 38419
54.95/55.13 c #Conflicts: 1060000 | #Constraints: 39419
54.95/55.13 c #Conflicts: 1061000 | #Constraints: 40419
54.95/55.13 c #Conflicts: 1062000 | #Constraints: 41419
54.95/55.13 c INPROCESSING
54.95/55.13 c GARBAGE COLLECT
54.95/55.13 c rational objective 250.5
56.75/56.97 c #Conflicts: 1063000 | #Constraints: 22016
56.75/56.97 c #Conflicts: 1064000 | #Constraints: 23016
56.75/56.97 c #Conflicts: 1065000 | #Constraints: 24016
56.75/56.97 c #Conflicts: 1066000 | #Constraints: 25016
56.75/56.97 c #Conflicts: 1067000 | #Constraints: 26016
56.75/56.97 c #Conflicts: 1068000 | #Constraints: 27016
56.75/56.97 c #Conflicts: 1069000 | #Constraints: 28016
56.75/56.97 c #Conflicts: 1070000 | #Constraints: 29016
56.75/56.97 c #Conflicts: 1071000 | #Constraints: 30016
56.75/56.97 c #Conflicts: 1072000 | #Constraints: 31016
56.75/56.97 c #Conflicts: 1073000 | #Constraints: 32016
56.75/56.97 c #Conflicts: 1074000 | #Constraints: 33016
56.75/56.97 c #Conflicts: 1075000 | #Constraints: 34016
56.75/56.97 c #Conflicts: 1076000 | #Constraints: 35016
56.75/56.97 c #Conflicts: 1077000 | #Constraints: 36016
56.75/56.97 c #Conflicts: 1078000 | #Constraints: 37016
56.75/56.97 c #Conflicts: 1079000 | #Constraints: 38016
56.75/56.97 c #Conflicts: 1080000 | #Constraints: 39016
56.75/56.97 c #Conflicts: 1081000 | #Constraints: 40016
56.75/56.97 c #Conflicts: 1082000 | #Constraints: 41016
56.75/56.97 c #Conflicts: 1083000 | #Constraints: 42016
56.75/56.97 c INPROCESSING
56.75/56.97 c GARBAGE COLLECT
56.75/56.97 c rational objective 250.5
57.74/58.00 c #Conflicts: 1084000 | #Constraints: 22420
57.74/58.00 c #Conflicts: 1085000 | #Constraints: 23420
57.74/58.00 c #Conflicts: 1086000 | #Constraints: 24420
57.74/58.00 c #Conflicts: 1087000 | #Constraints: 25420
57.74/58.00 c #Conflicts: 1088000 | #Constraints: 26420
57.74/58.00 c #Conflicts: 1089000 | #Constraints: 27420
57.74/58.00 c #Conflicts: 1090000 | #Constraints: 28420
57.74/58.00 c #Conflicts: 1091000 | #Constraints: 29420
57.74/58.00 c #Conflicts: 1092000 | #Constraints: 30420
57.74/58.00 c #Conflicts: 1093000 | #Constraints: 31420
57.74/58.00 c #Conflicts: 1094000 | #Constraints: 32420
57.74/58.00 c #Conflicts: 1095000 | #Constraints: 33420
57.74/58.00 c #Conflicts: 1096000 | #Constraints: 34420
57.74/58.00 c #Conflicts: 1097000 | #Constraints: 35420
57.74/58.00 c #Conflicts: 1098000 | #Constraints: 36420
57.74/58.00 c #Conflicts: 1099000 | #Constraints: 37420
57.74/58.00 c #Conflicts: 1100000 | #Constraints: 38420
57.74/58.00 c #Conflicts: 1101000 | #Constraints: 39420
57.74/58.00 c #Conflicts: 1102000 | #Constraints: 40420
57.74/58.00 c #Conflicts: 1103000 | #Constraints: 41420
57.74/58.00 c #Conflicts: 1104000 | #Constraints: 42420
57.74/58.00 c INPROCESSING
57.74/58.00 c GARBAGE COLLECT
57.74/58.00 c rational objective 250.5
59.14/59.39 c #Conflicts: 1105000 | #Constraints: 22627
59.14/59.39 c #Conflicts: 1106000 | #Constraints: 23627
59.14/59.39 c #Conflicts: 1107000 | #Constraints: 24627
59.14/59.39 c #Conflicts: 1108000 | #Constraints: 25627
59.14/59.39 c #Conflicts: 1109000 | #Constraints: 26627
59.14/59.39 c #Conflicts: 1110000 | #Constraints: 27627
59.14/59.39 c #Conflicts: 1111000 | #Constraints: 28627
59.14/59.39 c #Conflicts: 1112000 | #Constraints: 29627
59.14/59.39 c #Conflicts: 1113000 | #Constraints: 30627
59.14/59.39 c #Conflicts: 1114000 | #Constraints: 31627
59.14/59.39 c #Conflicts: 1115000 | #Constraints: 32627
59.14/59.39 c #Conflicts: 1116000 | #Constraints: 33627
59.14/59.39 c #Conflicts: 1117000 | #Constraints: 34627
59.14/59.39 c #Conflicts: 1118000 | #Constraints: 35627
59.14/59.39 c #Conflicts: 1119000 | #Constraints: 36627
59.14/59.39 c #Conflicts: 1120000 | #Constraints: 37627
59.14/59.39 c #Conflicts: 1121000 | #Constraints: 38627
59.14/59.39 c #Conflicts: 1122000 | #Constraints: 39627
59.14/59.39 c #Conflicts: 1123000 | #Constraints: 40627
59.14/59.39 c #Conflicts: 1124000 | #Constraints: 41627
59.14/59.39 c #Conflicts: 1125000 | #Constraints: 42627
59.14/59.39 c INPROCESSING
59.14/59.39 c GARBAGE COLLECT
59.14/59.39 c rational objective 250.5
60.44/60.67 c #Conflicts: 1126000 | #Constraints: 22630
60.44/60.67 c #Conflicts: 1127000 | #Constraints: 23630
60.44/60.67 c #Conflicts: 1128000 | #Constraints: 24630
60.44/60.67 c #Conflicts: 1129000 | #Constraints: 25630
60.44/60.67 c #Conflicts: 1130000 | #Constraints: 26630
60.44/60.67 c #Conflicts: 1131000 | #Constraints: 27630
60.44/60.67 c #Conflicts: 1132000 | #Constraints: 28630
60.44/60.67 c #Conflicts: 1133000 | #Constraints: 29630
60.44/60.67 c #Conflicts: 1134000 | #Constraints: 30630
60.44/60.67 c #Conflicts: 1135000 | #Constraints: 31630
60.44/60.67 c #Conflicts: 1136000 | #Constraints: 32630
60.44/60.67 c #Conflicts: 1137000 | #Constraints: 33630
60.44/60.67 c #Conflicts: 1138000 | #Constraints: 34630
60.44/60.67 c #Conflicts: 1139000 | #Constraints: 35630
60.44/60.67 c #Conflicts: 1140000 | #Constraints: 36630
60.44/60.67 c #Conflicts: 1141000 | #Constraints: 37630
60.44/60.67 c #Conflicts: 1142000 | #Constraints: 38630
60.44/60.67 c #Conflicts: 1143000 | #Constraints: 39630
60.44/60.67 c #Conflicts: 1144000 | #Constraints: 40630
60.44/60.67 c #Conflicts: 1145000 | #Constraints: 41630
60.44/60.67 c #Conflicts: 1146000 | #Constraints: 42630
60.44/60.67 c INPROCESSING
60.44/60.67 c GARBAGE COLLECT
60.44/60.67 c rational objective 250.5
61.73/61.95 c #Conflicts: 1147000 | #Constraints: 22416
61.73/61.95 c #Conflicts: 1148000 | #Constraints: 23416
61.73/61.95 c #Conflicts: 1149000 | #Constraints: 24416
61.73/61.95 c #Conflicts: 1150000 | #Constraints: 25416
61.73/61.95 c #Conflicts: 1151000 | #Constraints: 26416
61.73/61.95 c #Conflicts: 1152000 | #Constraints: 27416
61.73/61.95 c #Conflicts: 1153000 | #Constraints: 28416
61.73/61.95 c #Conflicts: 1154000 | #Constraints: 29416
61.73/61.95 c #Conflicts: 1155000 | #Constraints: 30416
61.73/61.95 c #Conflicts: 1156000 | #Constraints: 31416
61.73/61.95 c #Conflicts: 1157000 | #Constraints: 32416
61.73/61.95 c #Conflicts: 1158000 | #Constraints: 33416
61.73/61.95 c #Conflicts: 1159000 | #Constraints: 34416
61.73/61.95 c #Conflicts: 1160000 | #Constraints: 35416
61.73/61.95 c #Conflicts: 1161000 | #Constraints: 36416
61.73/61.95 c #Conflicts: 1162000 | #Constraints: 37416
61.73/61.95 c #Conflicts: 1163000 | #Constraints: 38416
61.73/61.95 c #Conflicts: 1164000 | #Constraints: 39416
61.73/61.95 c #Conflicts: 1165000 | #Constraints: 40416
61.73/61.95 c #Conflicts: 1166000 | #Constraints: 41416
61.73/61.95 c #Conflicts: 1167000 | #Constraints: 42416
61.73/61.95 c #Conflicts: 1168000 | #Constraints: 43416
61.73/61.95 c INPROCESSING
61.73/61.95 c GARBAGE COLLECT
61.73/61.95 c rational objective 250.5
63.03/63.24 c #Conflicts: 1169000 | #Constraints: 23014
63.03/63.24 c #Conflicts: 1170000 | #Constraints: 24014
63.03/63.24 c #Conflicts: 1171000 | #Constraints: 25014
63.03/63.24 c #Conflicts: 1172000 | #Constraints: 26014
63.03/63.24 c #Conflicts: 1173000 | #Constraints: 27014
63.03/63.24 c #Conflicts: 1174000 | #Constraints: 28014
63.03/63.24 c #Conflicts: 1175000 | #Constraints: 29014
63.03/63.24 c #Conflicts: 1176000 | #Constraints: 30014
63.03/63.24 c #Conflicts: 1177000 | #Constraints: 31014
63.03/63.24 c #Conflicts: 1178000 | #Constraints: 32014
63.03/63.24 c #Conflicts: 1179000 | #Constraints: 33014
63.03/63.24 c #Conflicts: 1180000 | #Constraints: 34014
63.03/63.24 c #Conflicts: 1181000 | #Constraints: 35014
63.03/63.24 c #Conflicts: 1182000 | #Constraints: 36014
63.03/63.24 c #Conflicts: 1183000 | #Constraints: 37014
63.03/63.24 c #Conflicts: 1184000 | #Constraints: 38014
63.03/63.24 c #Conflicts: 1185000 | #Constraints: 39014
63.03/63.24 c #Conflicts: 1186000 | #Constraints: 40014
63.03/63.24 c #Conflicts: 1187000 | #Constraints: 41014
63.03/63.24 c #Conflicts: 1188000 | #Constraints: 42014
63.03/63.24 c #Conflicts: 1189000 | #Constraints: 43014
63.03/63.24 c #Conflicts: 1190000 | #Constraints: 44014
63.03/63.24 c INPROCESSING
63.03/63.24 c GARBAGE COLLECT
63.03/63.24 c rational objective 250.5
64.43/64.63 c #Conflicts: 1191000 | #Constraints: 23423
64.43/64.63 c #Conflicts: 1192000 | #Constraints: 24423
64.43/64.63 c #Conflicts: 1193000 | #Constraints: 25423
64.43/64.63 c #Conflicts: 1194000 | #Constraints: 26423
64.43/64.63 c #Conflicts: 1195000 | #Constraints: 27423
64.43/64.63 c #Conflicts: 1196000 | #Constraints: 28423
64.43/64.63 c #Conflicts: 1197000 | #Constraints: 29423
64.43/64.63 c #Conflicts: 1198000 | #Constraints: 30423
64.43/64.63 c #Conflicts: 1199000 | #Constraints: 31423
64.43/64.63 c #Conflicts: 1200000 | #Constraints: 32423
64.43/64.63 c #Conflicts: 1201000 | #Constraints: 33423
64.43/64.63 c #Conflicts: 1202000 | #Constraints: 34423
64.43/64.63 c #Conflicts: 1203000 | #Constraints: 35423
64.43/64.63 c #Conflicts: 1204000 | #Constraints: 36423
64.43/64.63 c #Conflicts: 1205000 | #Constraints: 37423
64.43/64.63 c #Conflicts: 1206000 | #Constraints: 38423
64.43/64.63 c #Conflicts: 1207000 | #Constraints: 39423
64.43/64.63 c #Conflicts: 1208000 | #Constraints: 40423
64.43/64.63 c #Conflicts: 1209000 | #Constraints: 41423
64.43/64.63 c #Conflicts: 1210000 | #Constraints: 42423
64.43/64.63 c #Conflicts: 1211000 | #Constraints: 43423
64.43/64.63 c #Conflicts: 1212000 | #Constraints: 44423
64.43/64.63 c INPROCESSING
64.43/64.63 c GARBAGE COLLECT
64.43/64.63 c rational objective 250.5
65.82/66.03 c #Conflicts: 1213000 | #Constraints: 23621
65.82/66.03 c #Conflicts: 1214000 | #Constraints: 24621
65.82/66.03 c #Conflicts: 1215000 | #Constraints: 25621
65.82/66.03 c #Conflicts: 1216000 | #Constraints: 26621
65.82/66.03 c #Conflicts: 1217000 | #Constraints: 27621
65.82/66.03 c #Conflicts: 1218000 | #Constraints: 28621
65.82/66.03 c #Conflicts: 1219000 | #Constraints: 29621
65.82/66.03 c #Conflicts: 1220000 | #Constraints: 30621
65.82/66.03 c #Conflicts: 1221000 | #Constraints: 31621
65.82/66.03 c #Conflicts: 1222000 | #Constraints: 32621
65.82/66.03 c #Conflicts: 1223000 | #Constraints: 33621
65.82/66.03 c #Conflicts: 1224000 | #Constraints: 34621
65.82/66.03 c #Conflicts: 1225000 | #Constraints: 35621
65.82/66.03 c #Conflicts: 1226000 | #Constraints: 36621
65.82/66.03 c #Conflicts: 1227000 | #Constraints: 37621
65.82/66.03 c #Conflicts: 1228000 | #Constraints: 38621
65.82/66.03 c #Conflicts: 1229000 | #Constraints: 39621
65.82/66.03 c #Conflicts: 1230000 | #Constraints: 40621
65.82/66.03 c #Conflicts: 1231000 | #Constraints: 41621
65.82/66.03 c #Conflicts: 1232000 | #Constraints: 42621
65.82/66.03 c #Conflicts: 1233000 | #Constraints: 43621
65.82/66.03 c #Conflicts: 1234000 | #Constraints: 44621
65.82/66.03 c INPROCESSING
65.82/66.03 c GARBAGE COLLECT
65.82/66.03 c rational objective 250.5
67.22/67.41 c #Conflicts: 1235000 | #Constraints: 23622
67.22/67.41 c #Conflicts: 1236000 | #Constraints: 24622
67.22/67.41 c #Conflicts: 1237000 | #Constraints: 25622
67.22/67.41 c #Conflicts: 1238000 | #Constraints: 26622
67.22/67.41 c #Conflicts: 1239000 | #Constraints: 27622
67.22/67.41 c #Conflicts: 1240000 | #Constraints: 28622
67.22/67.41 c #Conflicts: 1241000 | #Constraints: 29622
67.22/67.41 c #Conflicts: 1242000 | #Constraints: 30622
67.22/67.41 c #Conflicts: 1243000 | #Constraints: 31622
67.22/67.41 c #Conflicts: 1244000 | #Constraints: 32622
67.22/67.41 c #Conflicts: 1245000 | #Constraints: 33622
67.22/67.41 c #Conflicts: 1246000 | #Constraints: 34622
67.22/67.41 c #Conflicts: 1247000 | #Constraints: 35622
67.22/67.41 c #Conflicts: 1248000 | #Constraints: 36622
67.22/67.41 c #Conflicts: 1249000 | #Constraints: 37622
67.22/67.41 c #Conflicts: 1250000 | #Constraints: 38622
67.22/67.41 c #Conflicts: 1251000 | #Constraints: 39622
67.22/67.41 c #Conflicts: 1252000 | #Constraints: 40622
67.22/67.41 c #Conflicts: 1253000 | #Constraints: 41622
67.22/67.41 c #Conflicts: 1254000 | #Constraints: 42622
67.22/67.41 c #Conflicts: 1255000 | #Constraints: 43622
67.22/67.41 c #Conflicts: 1256000 | #Constraints: 44622
67.22/67.41 c INPROCESSING
67.22/67.41 c GARBAGE COLLECT
67.22/67.41 c rational objective 250.5
68.51/68.70 c #Conflicts: 1257000 | #Constraints: 23421
68.51/68.70 c #Conflicts: 1258000 | #Constraints: 24421
68.51/68.70 c #Conflicts: 1259000 | #Constraints: 25421
68.51/68.70 c #Conflicts: 1260000 | #Constraints: 26421
68.51/68.70 c #Conflicts: 1261000 | #Constraints: 27421
68.51/68.70 c #Conflicts: 1262000 | #Constraints: 28421
68.51/68.70 c #Conflicts: 1263000 | #Constraints: 29421
68.51/68.70 c #Conflicts: 1264000 | #Constraints: 30421
68.51/68.70 c #Conflicts: 1265000 | #Constraints: 31421
68.51/68.70 c #Conflicts: 1266000 | #Constraints: 32421
68.51/68.70 c #Conflicts: 1267000 | #Constraints: 33421
68.51/68.70 c #Conflicts: 1268000 | #Constraints: 34421
68.51/68.70 c #Conflicts: 1269000 | #Constraints: 35421
68.51/68.70 c #Conflicts: 1270000 | #Constraints: 36421
68.51/68.70 c #Conflicts: 1271000 | #Constraints: 37421
68.51/68.70 c #Conflicts: 1272000 | #Constraints: 38421
68.51/68.70 c #Conflicts: 1273000 | #Constraints: 39421
68.51/68.70 c #Conflicts: 1274000 | #Constraints: 40421
68.51/68.70 c #Conflicts: 1275000 | #Constraints: 41421
68.51/68.70 c #Conflicts: 1276000 | #Constraints: 42421
68.51/68.70 c #Conflicts: 1277000 | #Constraints: 43421
68.51/68.70 c #Conflicts: 1278000 | #Constraints: 44421
68.51/68.70 c #Conflicts: 1279000 | #Constraints: 45421
68.51/68.70 c INPROCESSING
68.51/68.70 c GARBAGE COLLECT
68.51/68.70 c rational objective 250.5
69.82/70.09 c #Conflicts: 1280000 | #Constraints: 24011
69.82/70.09 c #Conflicts: 1281000 | #Constraints: 25011
69.82/70.09 c #Conflicts: 1282000 | #Constraints: 26011
69.82/70.09 c #Conflicts: 1283000 | #Constraints: 27011
69.82/70.09 c #Conflicts: 1284000 | #Constraints: 28011
69.82/70.09 c #Conflicts: 1285000 | #Constraints: 29011
69.82/70.09 c #Conflicts: 1286000 | #Constraints: 30011
69.82/70.09 c #Conflicts: 1287000 | #Constraints: 31011
69.82/70.09 c #Conflicts: 1288000 | #Constraints: 32011
69.82/70.09 c #Conflicts: 1289000 | #Constraints: 33011
69.82/70.09 c #Conflicts: 1290000 | #Constraints: 34011
69.82/70.09 c #Conflicts: 1291000 | #Constraints: 35011
69.82/70.09 c #Conflicts: 1292000 | #Constraints: 36011
69.82/70.09 c #Conflicts: 1293000 | #Constraints: 37011
69.82/70.09 c #Conflicts: 1294000 | #Constraints: 38011
69.82/70.09 c #Conflicts: 1295000 | #Constraints: 39011
69.82/70.09 c #Conflicts: 1296000 | #Constraints: 40011
69.82/70.09 c #Conflicts: 1297000 | #Constraints: 41011
69.82/70.09 c #Conflicts: 1298000 | #Constraints: 42011
69.82/70.09 c #Conflicts: 1299000 | #Constraints: 43011
69.82/70.09 c #Conflicts: 1300000 | #Constraints: 44011
69.82/70.09 c #Conflicts: 1301000 | #Constraints: 45011
69.82/70.09 c #Conflicts: 1302000 | #Constraints: 46011
69.82/70.09 c INPROCESSING
69.82/70.09 c GARBAGE COLLECT
69.82/70.09 c rational objective 250.5
71.21/71.41 c #Conflicts: 1303000 | #Constraints: 24406
71.21/71.41 c #Conflicts: 1304000 | #Constraints: 25406
71.21/71.41 c #Conflicts: 1305000 | #Constraints: 26406
71.21/71.41 c #Conflicts: 1306000 | #Constraints: 27406
71.21/71.41 c #Conflicts: 1307000 | #Constraints: 28406
71.21/71.41 c #Conflicts: 1308000 | #Constraints: 29406
71.21/71.41 c #Conflicts: 1309000 | #Constraints: 30406
71.21/71.41 c #Conflicts: 1310000 | #Constraints: 31406
71.21/71.41 c #Conflicts: 1311000 | #Constraints: 32406
71.21/71.41 c #Conflicts: 1312000 | #Constraints: 33406
71.21/71.41 c #Conflicts: 1313000 | #Constraints: 34406
71.21/71.41 c #Conflicts: 1314000 | #Constraints: 35406
71.21/71.41 c #Conflicts: 1315000 | #Constraints: 36406
71.21/71.41 c #Conflicts: 1316000 | #Constraints: 37406
71.21/71.41 c #Conflicts: 1317000 | #Constraints: 38406
71.21/71.41 c #Conflicts: 1318000 | #Constraints: 39406
71.21/71.41 c #Conflicts: 1319000 | #Constraints: 40406
71.21/71.41 c #Conflicts: 1320000 | #Constraints: 41406
71.21/71.41 c #Conflicts: 1321000 | #Constraints: 42406
71.21/71.41 c #Conflicts: 1322000 | #Constraints: 43406
71.21/71.41 c #Conflicts: 1323000 | #Constraints: 44406
71.21/71.41 c #Conflicts: 1324000 | #Constraints: 45406
71.21/71.41 c #Conflicts: 1325000 | #Constraints: 46406
71.21/71.41 c INPROCESSING
71.21/71.41 c GARBAGE COLLECT
71.21/71.41 c rational objective 250.5
72.71/72.94 c #Conflicts: 1326000 | #Constraints: 24605
72.71/72.94 c #Conflicts: 1327000 | #Constraints: 25605
72.71/72.94 c #Conflicts: 1328000 | #Constraints: 26605
72.71/72.94 c #Conflicts: 1329000 | #Constraints: 27605
72.71/72.94 c #Conflicts: 1330000 | #Constraints: 28605
72.71/72.94 c #Conflicts: 1331000 | #Constraints: 29605
72.71/72.94 c #Conflicts: 1332000 | #Constraints: 30605
72.71/72.94 c #Conflicts: 1333000 | #Constraints: 31605
72.71/72.94 c #Conflicts: 1334000 | #Constraints: 32605
72.71/72.94 c #Conflicts: 1335000 | #Constraints: 33605
72.71/72.94 c #Conflicts: 1336000 | #Constraints: 34605
72.71/72.94 c #Conflicts: 1337000 | #Constraints: 35605
72.71/72.94 c #Conflicts: 1338000 | #Constraints: 36605
72.71/72.94 c #Conflicts: 1339000 | #Constraints: 37605
72.71/72.94 c #Conflicts: 1340000 | #Constraints: 38605
72.71/72.94 c #Conflicts: 1341000 | #Constraints: 39605
72.71/72.94 c #Conflicts: 1342000 | #Constraints: 40605
72.71/72.94 c #Conflicts: 1343000 | #Constraints: 41605
72.71/72.94 c #Conflicts: 1344000 | #Constraints: 42605
72.71/72.94 c #Conflicts: 1345000 | #Constraints: 43605
72.71/72.94 c #Conflicts: 1346000 | #Constraints: 44605
72.71/72.94 c #Conflicts: 1347000 | #Constraints: 45605
72.71/72.94 c #Conflicts: 1348000 | #Constraints: 46605
72.71/72.94 c INPROCESSING
72.71/72.94 c GARBAGE COLLECT
72.71/72.94 c rational objective 250.5
74.00/74.21 c #Conflicts: 1349000 | #Constraints: 24617
74.00/74.21 c #Conflicts: 1350000 | #Constraints: 25617
74.00/74.21 c #Conflicts: 1351000 | #Constraints: 26617
74.00/74.21 c #Conflicts: 1352000 | #Constraints: 27617
74.00/74.21 c #Conflicts: 1353000 | #Constraints: 28617
74.00/74.21 c #Conflicts: 1354000 | #Constraints: 29617
74.00/74.21 c #Conflicts: 1355000 | #Constraints: 30617
74.00/74.21 c #Conflicts: 1356000 | #Constraints: 31617
74.00/74.21 c #Conflicts: 1357000 | #Constraints: 32617
74.00/74.21 c #Conflicts: 1358000 | #Constraints: 33617
74.00/74.21 c #Conflicts: 1359000 | #Constraints: 34617
74.00/74.21 c #Conflicts: 1360000 | #Constraints: 35617
74.00/74.21 c #Conflicts: 1361000 | #Constraints: 36617
74.00/74.21 c #Conflicts: 1362000 | #Constraints: 37617
74.00/74.21 c #Conflicts: 1363000 | #Constraints: 38617
74.00/74.21 c #Conflicts: 1364000 | #Constraints: 39617
74.00/74.21 c #Conflicts: 1365000 | #Constraints: 40617
74.00/74.21 c #Conflicts: 1366000 | #Constraints: 41617
74.00/74.21 c #Conflicts: 1367000 | #Constraints: 42617
74.00/74.21 c #Conflicts: 1368000 | #Constraints: 43617
74.00/74.21 c #Conflicts: 1369000 | #Constraints: 44617
74.00/74.21 c #Conflicts: 1370000 | #Constraints: 45617
74.00/74.21 c #Conflicts: 1371000 | #Constraints: 46617
74.00/74.21 c INPROCESSING
74.00/74.21 c GARBAGE COLLECT
74.00/74.21 c rational objective 250.5
75.30/75.54 c #Conflicts: 1372000 | #Constraints: 24420
75.30/75.54 c #Conflicts: 1373000 | #Constraints: 25420
75.30/75.54 c #Conflicts: 1374000 | #Constraints: 26420
75.30/75.54 c #Conflicts: 1375000 | #Constraints: 27420
75.30/75.54 c #Conflicts: 1376000 | #Constraints: 28420
75.30/75.54 c #Conflicts: 1377000 | #Constraints: 29420
75.30/75.54 c #Conflicts: 1378000 | #Constraints: 30420
75.30/75.54 c #Conflicts: 1379000 | #Constraints: 31420
75.30/75.54 c #Conflicts: 1380000 | #Constraints: 32420
75.30/75.54 c #Conflicts: 1381000 | #Constraints: 33420
75.30/75.54 c #Conflicts: 1382000 | #Constraints: 34420
75.30/75.54 c #Conflicts: 1383000 | #Constraints: 35420
75.30/75.54 c #Conflicts: 1384000 | #Constraints: 36420
75.30/75.54 c #Conflicts: 1385000 | #Constraints: 37420
75.30/75.54 c #Conflicts: 1386000 | #Constraints: 38420
75.30/75.54 c #Conflicts: 1387000 | #Constraints: 39420
75.30/75.54 c #Conflicts: 1388000 | #Constraints: 40420
75.30/75.54 c #Conflicts: 1389000 | #Constraints: 41420
75.30/75.54 c #Conflicts: 1390000 | #Constraints: 42420
75.30/75.54 c #Conflicts: 1391000 | #Constraints: 43420
75.30/75.54 c #Conflicts: 1392000 | #Constraints: 44420
75.30/75.54 c #Conflicts: 1393000 | #Constraints: 45420
75.30/75.54 c #Conflicts: 1394000 | #Constraints: 46420
75.30/75.54 c #Conflicts: 1395000 | #Constraints: 47420
75.30/75.54 c INPROCESSING
75.30/75.54 c GARBAGE COLLECT
75.30/75.54 c rational objective 250.5
76.80/77.02 c #Conflicts: 1396000 | #Constraints: 25024
76.80/77.02 c #Conflicts: 1397000 | #Constraints: 26024
76.80/77.02 c #Conflicts: 1398000 | #Constraints: 27024
76.80/77.02 c #Conflicts: 1399000 | #Constraints: 28024
76.80/77.02 c #Conflicts: 1400000 | #Constraints: 29024
76.80/77.02 c #Conflicts: 1401000 | #Constraints: 30024
76.80/77.02 c #Conflicts: 1402000 | #Constraints: 31024
76.80/77.02 c #Conflicts: 1403000 | #Constraints: 32024
76.80/77.02 c #Conflicts: 1404000 | #Constraints: 33024
76.80/77.02 c #Conflicts: 1405000 | #Constraints: 34024
76.80/77.02 c #Conflicts: 1406000 | #Constraints: 35024
76.80/77.02 c #Conflicts: 1407000 | #Constraints: 36024
76.80/77.02 c #Conflicts: 1408000 | #Constraints: 37024
76.80/77.02 c #Conflicts: 1409000 | #Constraints: 38024
76.80/77.02 c #Conflicts: 1410000 | #Constraints: 39024
76.80/77.02 c #Conflicts: 1411000 | #Constraints: 40024
76.80/77.02 c #Conflicts: 1412000 | #Constraints: 41024
76.80/77.02 c #Conflicts: 1413000 | #Constraints: 42024
76.80/77.02 c #Conflicts: 1414000 | #Constraints: 43024
76.80/77.02 c #Conflicts: 1415000 | #Constraints: 44024
76.80/77.02 c #Conflicts: 1416000 | #Constraints: 45024
76.80/77.02 c #Conflicts: 1417000 | #Constraints: 46024
76.80/77.02 c #Conflicts: 1418000 | #Constraints: 47024
76.80/77.02 c #Conflicts: 1419000 | #Constraints: 48024
76.80/77.02 c INPROCESSING
76.80/77.02 c GARBAGE COLLECT
76.80/77.02 c rational objective 250.5
78.09/78.36 c #Conflicts: 1420000 | #Constraints: 25418
78.09/78.36 c #Conflicts: 1421000 | #Constraints: 26418
78.09/78.36 c #Conflicts: 1422000 | #Constraints: 27418
78.09/78.36 c #Conflicts: 1423000 | #Constraints: 28418
78.09/78.36 c #Conflicts: 1424000 | #Constraints: 29418
78.09/78.36 c #Conflicts: 1425000 | #Constraints: 30418
78.09/78.36 c #Conflicts: 1426000 | #Constraints: 31418
78.09/78.36 c #Conflicts: 1427000 | #Constraints: 32418
78.09/78.36 c #Conflicts: 1428000 | #Constraints: 33418
78.09/78.36 c #Conflicts: 1429000 | #Constraints: 34418
78.09/78.36 c #Conflicts: 1430000 | #Constraints: 35418
78.09/78.36 c #Conflicts: 1431000 | #Constraints: 36418
78.09/78.36 c #Conflicts: 1432000 | #Constraints: 37418
78.09/78.36 c #Conflicts: 1433000 | #Constraints: 38418
78.09/78.36 c #Conflicts: 1434000 | #Constraints: 39418
78.09/78.36 c #Conflicts: 1435000 | #Constraints: 40418
78.09/78.36 c #Conflicts: 1436000 | #Constraints: 41418
78.09/78.36 c #Conflicts: 1437000 | #Constraints: 42418
78.09/78.36 c #Conflicts: 1438000 | #Constraints: 43418
78.09/78.36 c #Conflicts: 1439000 | #Constraints: 44418
78.09/78.36 c #Conflicts: 1440000 | #Constraints: 45418
78.09/78.36 c #Conflicts: 1441000 | #Constraints: 46418
78.09/78.36 c #Conflicts: 1442000 | #Constraints: 47418
78.09/78.36 c #Conflicts: 1443000 | #Constraints: 48418
78.09/78.36 c INPROCESSING
78.09/78.36 c GARBAGE COLLECT
78.09/78.36 c rational objective 250.5
79.49/79.72 c #Conflicts: 1444000 | #Constraints: 25624
79.49/79.72 c #Conflicts: 1445000 | #Constraints: 26624
79.49/79.72 c #Conflicts: 1446000 | #Constraints: 27624
79.49/79.72 c #Conflicts: 1447000 | #Constraints: 28624
79.49/79.72 c #Conflicts: 1448000 | #Constraints: 29624
79.49/79.72 c #Conflicts: 1449000 | #Constraints: 30624
79.49/79.72 c #Conflicts: 1450000 | #Constraints: 31624
79.49/79.72 c #Conflicts: 1451000 | #Constraints: 32624
79.49/79.72 c #Conflicts: 1452000 | #Constraints: 33624
79.49/79.72 c #Conflicts: 1453000 | #Constraints: 34624
79.49/79.72 c #Conflicts: 1454000 | #Constraints: 35624
79.49/79.72 c #Conflicts: 1455000 | #Constraints: 36624
79.49/79.72 c #Conflicts: 1456000 | #Constraints: 37624
79.49/79.72 c #Conflicts: 1457000 | #Constraints: 38624
79.49/79.72 c #Conflicts: 1458000 | #Constraints: 39624
79.49/79.72 c #Conflicts: 1459000 | #Constraints: 40624
79.49/79.72 c #Conflicts: 1460000 | #Constraints: 41624
79.49/79.72 c #Conflicts: 1461000 | #Constraints: 42624
79.49/79.72 c #Conflicts: 1462000 | #Constraints: 43624
79.49/79.72 c #Conflicts: 1463000 | #Constraints: 44624
79.49/79.72 c #Conflicts: 1464000 | #Constraints: 45624
79.49/79.72 c #Conflicts: 1465000 | #Constraints: 46624
79.49/79.72 c #Conflicts: 1466000 | #Constraints: 47624
79.49/79.72 c #Conflicts: 1467000 | #Constraints: 48624
79.49/79.72 c INPROCESSING
79.49/79.72 c GARBAGE COLLECT
79.49/79.72 c rational objective 250.5
80.89/81.15 c #Conflicts: 1468000 | #Constraints: 25624
80.89/81.15 c #Conflicts: 1469000 | #Constraints: 26624
80.89/81.15 c #Conflicts: 1470000 | #Constraints: 27624
80.89/81.15 c #Conflicts: 1471000 | #Constraints: 28624
80.89/81.15 c #Conflicts: 1472000 | #Constraints: 29624
80.89/81.15 c #Conflicts: 1473000 | #Constraints: 30624
80.89/81.15 c #Conflicts: 1474000 | #Constraints: 31624
80.89/81.15 c #Conflicts: 1475000 | #Constraints: 32624
80.89/81.15 c #Conflicts: 1476000 | #Constraints: 33624
80.89/81.15 c #Conflicts: 1477000 | #Constraints: 34624
80.89/81.15 c #Conflicts: 1478000 | #Constraints: 35624
80.89/81.15 c #Conflicts: 1479000 | #Constraints: 36624
80.89/81.15 c #Conflicts: 1480000 | #Constraints: 37624
80.89/81.15 c #Conflicts: 1481000 | #Constraints: 38624
80.89/81.15 c #Conflicts: 1482000 | #Constraints: 39624
80.89/81.15 c #Conflicts: 1483000 | #Constraints: 40624
80.89/81.15 c #Conflicts: 1484000 | #Constraints: 41624
80.89/81.15 c #Conflicts: 1485000 | #Constraints: 42624
80.89/81.15 c #Conflicts: 1486000 | #Constraints: 43624
80.89/81.15 c #Conflicts: 1487000 | #Constraints: 44624
80.89/81.15 c #Conflicts: 1488000 | #Constraints: 45624
80.89/81.15 c #Conflicts: 1489000 | #Constraints: 46624
80.89/81.15 c #Conflicts: 1490000 | #Constraints: 47624
80.89/81.15 c #Conflicts: 1491000 | #Constraints: 48624
80.89/81.15 c INPROCESSING
80.89/81.15 c GARBAGE COLLECT
80.89/81.15 c rational objective 250.5
82.29/82.59 c #Conflicts: 1492000 | #Constraints: 25424
82.29/82.59 c #Conflicts: 1493000 | #Constraints: 26424
82.29/82.59 c #Conflicts: 1494000 | #Constraints: 27424
82.29/82.59 c #Conflicts: 1495000 | #Constraints: 28424
82.29/82.59 c #Conflicts: 1496000 | #Constraints: 29424
82.29/82.59 c #Conflicts: 1497000 | #Constraints: 30424
82.29/82.59 c #Conflicts: 1498000 | #Constraints: 31424
82.29/82.59 c #Conflicts: 1499000 | #Constraints: 32424
82.29/82.59 c #Conflicts: 1500000 | #Constraints: 33424
82.29/82.59 c #Conflicts: 1501000 | #Constraints: 34424
82.29/82.59 c #Conflicts: 1502000 | #Constraints: 35424
82.29/82.59 c #Conflicts: 1503000 | #Constraints: 36424
82.29/82.59 c #Conflicts: 1504000 | #Constraints: 37424
82.29/82.59 c #Conflicts: 1505000 | #Constraints: 38424
82.29/82.59 c #Conflicts: 1506000 | #Constraints: 39424
82.29/82.59 c #Conflicts: 1507000 | #Constraints: 40424
82.29/82.59 c #Conflicts: 1508000 | #Constraints: 41424
82.29/82.59 c #Conflicts: 1509000 | #Constraints: 42424
82.29/82.59 c #Conflicts: 1510000 | #Constraints: 43424
82.29/82.59 c #Conflicts: 1511000 | #Constraints: 44424
82.29/82.59 c #Conflicts: 1512000 | #Constraints: 45424
82.29/82.59 c #Conflicts: 1513000 | #Constraints: 46424
82.29/82.59 c #Conflicts: 1514000 | #Constraints: 47424
82.29/82.59 c #Conflicts: 1515000 | #Constraints: 48424
82.29/82.59 c #Conflicts: 1516000 | #Constraints: 49424
82.29/82.59 c INPROCESSING
82.29/82.59 c GARBAGE COLLECT
82.29/82.59 c rational objective 250.5
83.78/84.01 c #Conflicts: 1517000 | #Constraints: 26024
83.78/84.01 c #Conflicts: 1518000 | #Constraints: 27024
83.78/84.01 c #Conflicts: 1519000 | #Constraints: 28024
83.78/84.01 c #Conflicts: 1520000 | #Constraints: 29024
83.78/84.01 c #Conflicts: 1521000 | #Constraints: 30024
83.78/84.01 c #Conflicts: 1522000 | #Constraints: 31024
83.78/84.01 c #Conflicts: 1523000 | #Constraints: 32024
83.78/84.01 c #Conflicts: 1524000 | #Constraints: 33024
83.78/84.01 c #Conflicts: 1525000 | #Constraints: 34024
83.78/84.01 c #Conflicts: 1526000 | #Constraints: 35024
83.78/84.01 c #Conflicts: 1527000 | #Constraints: 36024
83.78/84.01 c #Conflicts: 1528000 | #Constraints: 37024
83.78/84.01 c #Conflicts: 1529000 | #Constraints: 38024
83.78/84.01 c #Conflicts: 1530000 | #Constraints: 39024
83.78/84.01 c #Conflicts: 1531000 | #Constraints: 40024
83.78/84.01 c #Conflicts: 1532000 | #Constraints: 41024
83.78/84.01 c #Conflicts: 1533000 | #Constraints: 42024
83.78/84.01 c #Conflicts: 1534000 | #Constraints: 43024
83.78/84.01 c #Conflicts: 1535000 | #Constraints: 44024
83.78/84.01 c #Conflicts: 1536000 | #Constraints: 45024
83.78/84.01 c #Conflicts: 1537000 | #Constraints: 46024
83.78/84.01 c #Conflicts: 1538000 | #Constraints: 47024
83.78/84.01 c #Conflicts: 1539000 | #Constraints: 48024
83.78/84.01 c #Conflicts: 1540000 | #Constraints: 49024
83.78/84.01 c #Conflicts: 1541000 | #Constraints: 50024
83.78/84.01 c INPROCESSING
83.78/84.01 c GARBAGE COLLECT
83.78/84.01 c rational objective 250.5
85.18/85.45 c #Conflicts: 1542000 | #Constraints: 26422
85.18/85.45 c #Conflicts: 1543000 | #Constraints: 27422
85.18/85.45 c #Conflicts: 1544000 | #Constraints: 28422
85.18/85.45 c #Conflicts: 1545000 | #Constraints: 29422
85.18/85.45 c #Conflicts: 1546000 | #Constraints: 30422
85.18/85.45 c #Conflicts: 1547000 | #Constraints: 31422
85.18/85.45 c #Conflicts: 1548000 | #Constraints: 32422
85.18/85.45 c #Conflicts: 1549000 | #Constraints: 33422
85.18/85.45 c #Conflicts: 1550000 | #Constraints: 34422
85.18/85.45 c #Conflicts: 1551000 | #Constraints: 35422
85.18/85.45 c #Conflicts: 1552000 | #Constraints: 36422
85.18/85.45 c #Conflicts: 1553000 | #Constraints: 37422
85.18/85.45 c #Conflicts: 1554000 | #Constraints: 38422
85.18/85.45 c #Conflicts: 1555000 | #Constraints: 39422
85.18/85.45 c #Conflicts: 1556000 | #Constraints: 40422
85.18/85.45 c #Conflicts: 1557000 | #Constraints: 41422
85.18/85.45 c #Conflicts: 1558000 | #Constraints: 42422
85.18/85.45 c #Conflicts: 1559000 | #Constraints: 43422
85.18/85.45 c #Conflicts: 1560000 | #Constraints: 44422
85.18/85.45 c #Conflicts: 1561000 | #Constraints: 45422
85.18/85.45 c #Conflicts: 1562000 | #Constraints: 46422
85.18/85.45 c #Conflicts: 1563000 | #Constraints: 47422
85.18/85.45 c #Conflicts: 1564000 | #Constraints: 48422
85.18/85.45 c #Conflicts: 1565000 | #Constraints: 49422
85.18/85.45 c #Conflicts: 1566000 | #Constraints: 50422
85.18/85.45 c INPROCESSING
85.18/85.45 c GARBAGE COLLECT
85.18/85.45 c rational objective 250.5
86.97/87.25 c #Conflicts: 1567000 | #Constraints: 26622
86.97/87.25 c #Conflicts: 1568000 | #Constraints: 27622
86.97/87.25 c #Conflicts: 1569000 | #Constraints: 28622
86.97/87.25 c #Conflicts: 1570000 | #Constraints: 29622
86.97/87.25 c #Conflicts: 1571000 | #Constraints: 30622
86.97/87.25 c #Conflicts: 1572000 | #Constraints: 31622
86.97/87.25 c #Conflicts: 1573000 | #Constraints: 32622
86.97/87.25 c #Conflicts: 1574000 | #Constraints: 33622
86.97/87.25 c #Conflicts: 1575000 | #Constraints: 34622
86.97/87.25 c #Conflicts: 1576000 | #Constraints: 35622
86.97/87.25 c #Conflicts: 1577000 | #Constraints: 36622
86.97/87.25 c #Conflicts: 1578000 | #Constraints: 37622
86.97/87.25 c #Conflicts: 1579000 | #Constraints: 38622
86.97/87.25 c #Conflicts: 1580000 | #Constraints: 39622
86.97/87.25 c #Conflicts: 1581000 | #Constraints: 40622
86.97/87.25 c #Conflicts: 1582000 | #Constraints: 41622
86.97/87.25 c #Conflicts: 1583000 | #Constraints: 42622
86.97/87.25 c #Conflicts: 1584000 | #Constraints: 43622
86.97/87.25 c #Conflicts: 1585000 | #Constraints: 44622
86.97/87.25 c #Conflicts: 1586000 | #Constraints: 45622
86.97/87.25 c #Conflicts: 1587000 | #Constraints: 46622
86.97/87.25 c #Conflicts: 1588000 | #Constraints: 47622
86.97/87.25 c #Conflicts: 1589000 | #Constraints: 48622
86.97/87.25 c #Conflicts: 1590000 | #Constraints: 49622
86.97/87.25 c #Conflicts: 1591000 | #Constraints: 50622
86.97/87.25 c INPROCESSING
86.97/87.25 c GARBAGE COLLECT
86.97/87.25 c rational objective 250.5
88.97/89.20 c #Conflicts: 1592000 | #Constraints: 26625
88.97/89.20 c #Conflicts: 1593000 | #Constraints: 27625
88.97/89.20 c #Conflicts: 1594000 | #Constraints: 28625
88.97/89.20 c #Conflicts: 1595000 | #Constraints: 29625
88.97/89.20 c #Conflicts: 1596000 | #Constraints: 30625
88.97/89.20 c #Conflicts: 1597000 | #Constraints: 31625
88.97/89.20 c #Conflicts: 1598000 | #Constraints: 32625
88.97/89.20 c #Conflicts: 1599000 | #Constraints: 33625
88.97/89.20 c #Conflicts: 1600000 | #Constraints: 34625
88.97/89.20 c #Conflicts: 1601000 | #Constraints: 35625
88.97/89.20 c #Conflicts: 1602000 | #Constraints: 36625
88.97/89.20 c #Conflicts: 1603000 | #Constraints: 37625
88.97/89.20 c #Conflicts: 1604000 | #Constraints: 38625
88.97/89.20 c #Conflicts: 1605000 | #Constraints: 39625
88.97/89.20 c #Conflicts: 1606000 | #Constraints: 40625
88.97/89.20 c #Conflicts: 1607000 | #Constraints: 41625
88.97/89.20 c #Conflicts: 1608000 | #Constraints: 42625
88.97/89.20 c #Conflicts: 1609000 | #Constraints: 43625
88.97/89.20 c #Conflicts: 1610000 | #Constraints: 44625
88.97/89.20 c #Conflicts: 1611000 | #Constraints: 45625
88.97/89.20 c #Conflicts: 1612000 | #Constraints: 46625
88.97/89.20 c #Conflicts: 1613000 | #Constraints: 47625
88.97/89.20 c #Conflicts: 1614000 | #Constraints: 48625
88.97/89.20 c #Conflicts: 1615000 | #Constraints: 49625
88.97/89.20 c #Conflicts: 1616000 | #Constraints: 50625
88.97/89.20 c INPROCESSING
88.97/89.20 c GARBAGE COLLECT
88.97/89.20 c rational objective 250.5
90.17/90.47 c #Conflicts: 1617000 | #Constraints: 26426
90.17/90.47 c #Conflicts: 1618000 | #Constraints: 27426
90.17/90.47 c #Conflicts: 1619000 | #Constraints: 28426
90.17/90.47 c #Conflicts: 1620000 | #Constraints: 29426
90.17/90.47 c #Conflicts: 1621000 | #Constraints: 30426
90.17/90.47 c #Conflicts: 1622000 | #Constraints: 31426
90.17/90.47 c #Conflicts: 1623000 | #Constraints: 32426
90.17/90.47 c #Conflicts: 1624000 | #Constraints: 33426
90.17/90.47 c #Conflicts: 1625000 | #Constraints: 34426
90.17/90.47 c #Conflicts: 1626000 | #Constraints: 35426
90.17/90.47 c #Conflicts: 1627000 | #Constraints: 36426
90.17/90.47 c #Conflicts: 1628000 | #Constraints: 37426
90.17/90.47 c #Conflicts: 1629000 | #Constraints: 38426
90.17/90.47 c #Conflicts: 1630000 | #Constraints: 39426
90.17/90.47 c #Conflicts: 1631000 | #Constraints: 40426
90.17/90.47 c #Conflicts: 1632000 | #Constraints: 41426
90.17/90.47 c #Conflicts: 1633000 | #Constraints: 42426
90.17/90.47 c #Conflicts: 1634000 | #Constraints: 43426
90.17/90.47 c #Conflicts: 1635000 | #Constraints: 44426
90.17/90.47 c #Conflicts: 1636000 | #Constraints: 45426
90.17/90.47 c #Conflicts: 1637000 | #Constraints: 46426
90.17/90.47 c #Conflicts: 1638000 | #Constraints: 47426
90.17/90.47 c #Conflicts: 1639000 | #Constraints: 48426
90.17/90.47 c #Conflicts: 1640000 | #Constraints: 49426
90.17/90.47 c #Conflicts: 1641000 | #Constraints: 50426
90.17/90.47 c #Conflicts: 1642000 | #Constraints: 51426
90.17/90.47 c INPROCESSING
90.17/90.47 c GARBAGE COLLECT
90.17/90.47 c rational objective 250.5
91.77/92.01 c #Conflicts: 1643000 | #Constraints: 27019
91.77/92.01 c #Conflicts: 1644000 | #Constraints: 28019
91.77/92.01 c #Conflicts: 1645000 | #Constraints: 29019
91.77/92.01 c #Conflicts: 1646000 | #Constraints: 30019
91.77/92.01 c #Conflicts: 1647000 | #Constraints: 31019
91.77/92.01 c #Conflicts: 1648000 | #Constraints: 32019
91.77/92.01 c #Conflicts: 1649000 | #Constraints: 33019
91.77/92.01 c #Conflicts: 1650000 | #Constraints: 34019
91.77/92.01 c #Conflicts: 1651000 | #Constraints: 35019
91.77/92.01 c #Conflicts: 1652000 | #Constraints: 36019
91.77/92.01 c #Conflicts: 1653000 | #Constraints: 37019
91.77/92.01 c #Conflicts: 1654000 | #Constraints: 38019
91.77/92.01 c #Conflicts: 1655000 | #Constraints: 39019
91.77/92.01 c #Conflicts: 1656000 | #Constraints: 40019
91.77/92.01 c #Conflicts: 1657000 | #Constraints: 41019
91.77/92.01 c #Conflicts: 1658000 | #Constraints: 42019
91.77/92.01 c #Conflicts: 1659000 | #Constraints: 43019
91.77/92.01 c #Conflicts: 1660000 | #Constraints: 44019
91.77/92.01 c #Conflicts: 1661000 | #Constraints: 45019
91.77/92.01 c #Conflicts: 1662000 | #Constraints: 46019
91.77/92.01 c #Conflicts: 1663000 | #Constraints: 47019
91.77/92.01 c #Conflicts: 1664000 | #Constraints: 48019
91.77/92.01 c #Conflicts: 1665000 | #Constraints: 49019
91.77/92.01 c #Conflicts: 1666000 | #Constraints: 50019
91.77/92.01 c #Conflicts: 1667000 | #Constraints: 51019
91.77/92.01 c #Conflicts: 1668000 | #Constraints: 52019
91.77/92.01 c INPROCESSING
91.77/92.01 c GARBAGE COLLECT
91.77/92.01 c rational objective 250.5
93.16/93.49 c #Conflicts: 1669000 | #Constraints: 27428
93.16/93.49 c #Conflicts: 1670000 | #Constraints: 28428
93.16/93.49 c #Conflicts: 1671000 | #Constraints: 29428
93.16/93.49 c #Conflicts: 1672000 | #Constraints: 30428
93.16/93.49 c #Conflicts: 1673000 | #Constraints: 31428
93.16/93.49 c #Conflicts: 1674000 | #Constraints: 32428
93.16/93.49 c #Conflicts: 1675000 | #Constraints: 33428
93.16/93.49 c #Conflicts: 1676000 | #Constraints: 34428
93.16/93.49 c #Conflicts: 1677000 | #Constraints: 35428
93.16/93.49 c #Conflicts: 1678000 | #Constraints: 36428
93.16/93.49 c #Conflicts: 1679000 | #Constraints: 37428
93.16/93.49 c #Conflicts: 1680000 | #Constraints: 38428
93.16/93.49 c #Conflicts: 1681000 | #Constraints: 39428
93.16/93.49 c #Conflicts: 1682000 | #Constraints: 40428
93.16/93.49 c #Conflicts: 1683000 | #Constraints: 41428
93.16/93.49 c #Conflicts: 1684000 | #Constraints: 42428
93.16/93.49 c #Conflicts: 1685000 | #Constraints: 43428
93.16/93.49 c #Conflicts: 1686000 | #Constraints: 44428
93.16/93.49 c #Conflicts: 1687000 | #Constraints: 45428
93.16/93.49 c #Conflicts: 1688000 | #Constraints: 46428
93.16/93.49 c #Conflicts: 1689000 | #Constraints: 47428
93.16/93.49 c #Conflicts: 1690000 | #Constraints: 48428
93.16/93.49 c #Conflicts: 1691000 | #Constraints: 49428
93.16/93.49 c #Conflicts: 1692000 | #Constraints: 50428
93.16/93.49 c #Conflicts: 1693000 | #Constraints: 51428
93.16/93.49 c #Conflicts: 1694000 | #Constraints: 52428
93.16/93.49 c INPROCESSING
93.16/93.49 c GARBAGE COLLECT
93.16/93.49 c rational objective 250.5
94.76/95.05 c #Conflicts: 1695000 | #Constraints: 27628
94.76/95.05 c #Conflicts: 1696000 | #Constraints: 28628
94.76/95.05 c #Conflicts: 1697000 | #Constraints: 29628
94.76/95.05 c #Conflicts: 1698000 | #Constraints: 30628
94.76/95.05 c #Conflicts: 1699000 | #Constraints: 31628
94.76/95.05 c #Conflicts: 1700000 | #Constraints: 32628
94.76/95.05 c #Conflicts: 1701000 | #Constraints: 33628
94.76/95.05 c #Conflicts: 1702000 | #Constraints: 34628
94.76/95.05 c #Conflicts: 1703000 | #Constraints: 35628
94.76/95.05 c #Conflicts: 1704000 | #Constraints: 36628
94.76/95.05 c #Conflicts: 1705000 | #Constraints: 37628
94.76/95.05 c #Conflicts: 1706000 | #Constraints: 38628
94.76/95.05 c #Conflicts: 1707000 | #Constraints: 39628
94.76/95.05 c #Conflicts: 1708000 | #Constraints: 40628
94.76/95.05 c #Conflicts: 1709000 | #Constraints: 41628
94.76/95.05 c #Conflicts: 1710000 | #Constraints: 42628
94.76/95.05 c #Conflicts: 1711000 | #Constraints: 43628
94.76/95.05 c #Conflicts: 1712000 | #Constraints: 44628
94.76/95.05 c #Conflicts: 1713000 | #Constraints: 45628
94.76/95.05 c #Conflicts: 1714000 | #Constraints: 46628
94.76/95.05 c #Conflicts: 1715000 | #Constraints: 47628
94.76/95.05 c #Conflicts: 1716000 | #Constraints: 48628
94.76/95.05 c #Conflicts: 1717000 | #Constraints: 49628
94.76/95.05 c #Conflicts: 1718000 | #Constraints: 50628
94.76/95.05 c #Conflicts: 1719000 | #Constraints: 51628
94.76/95.05 c #Conflicts: 1720000 | #Constraints: 52628
94.76/95.05 c INPROCESSING
94.76/95.05 c GARBAGE COLLECT
94.76/95.05 c rational objective 250.5
96.15/96.49 c #Conflicts: 1721000 | #Constraints: 27631
96.15/96.49 c #Conflicts: 1722000 | #Constraints: 28631
96.15/96.49 c #Conflicts: 1723000 | #Constraints: 29631
96.15/96.49 c #Conflicts: 1724000 | #Constraints: 30631
96.15/96.49 c #Conflicts: 1725000 | #Constraints: 31631
96.15/96.49 c #Conflicts: 1726000 | #Constraints: 32631
96.15/96.49 c #Conflicts: 1727000 | #Constraints: 33631
96.15/96.49 c #Conflicts: 1728000 | #Constraints: 34631
96.15/96.49 c #Conflicts: 1729000 | #Constraints: 35631
96.15/96.49 c #Conflicts: 1730000 | #Constraints: 36631
96.15/96.49 c #Conflicts: 1731000 | #Constraints: 37631
96.15/96.49 c #Conflicts: 1732000 | #Constraints: 38631
96.15/96.49 c #Conflicts: 1733000 | #Constraints: 39631
96.15/96.49 c #Conflicts: 1734000 | #Constraints: 40631
96.15/96.49 c #Conflicts: 1735000 | #Constraints: 41631
96.15/96.49 c #Conflicts: 1736000 | #Constraints: 42631
96.15/96.49 c #Conflicts: 1737000 | #Constraints: 43631
96.15/96.49 c #Conflicts: 1738000 | #Constraints: 44631
96.15/96.49 c #Conflicts: 1739000 | #Constraints: 45631
96.15/96.49 c #Conflicts: 1740000 | #Constraints: 46631
96.15/96.49 c #Conflicts: 1741000 | #Constraints: 47631
96.15/96.49 c #Conflicts: 1742000 | #Constraints: 48631
96.15/96.49 c #Conflicts: 1743000 | #Constraints: 49631
96.15/96.49 c #Conflicts: 1744000 | #Constraints: 50631
96.15/96.49 c #Conflicts: 1745000 | #Constraints: 51631
96.15/96.49 c #Conflicts: 1746000 | #Constraints: 52631
96.15/96.49 c INPROCESSING
96.15/96.49 c GARBAGE COLLECT
96.15/96.49 c rational objective 250.5
97.85/98.10 c #Conflicts: 1747000 | #Constraints: 27426
97.85/98.10 c #Conflicts: 1748000 | #Constraints: 28426
97.85/98.10 c #Conflicts: 1749000 | #Constraints: 29426
97.85/98.10 c #Conflicts: 1750000 | #Constraints: 30426
97.85/98.10 c #Conflicts: 1751000 | #Constraints: 31426
97.85/98.10 c #Conflicts: 1752000 | #Constraints: 32426
97.85/98.10 c #Conflicts: 1753000 | #Constraints: 33426
97.85/98.10 c #Conflicts: 1754000 | #Constraints: 34426
97.85/98.10 c #Conflicts: 1755000 | #Constraints: 35426
97.85/98.10 c #Conflicts: 1756000 | #Constraints: 36426
97.85/98.10 c #Conflicts: 1757000 | #Constraints: 37426
97.85/98.10 c #Conflicts: 1758000 | #Constraints: 38426
97.85/98.10 c #Conflicts: 1759000 | #Constraints: 39426
97.85/98.10 c #Conflicts: 1760000 | #Constraints: 40426
97.85/98.10 c #Conflicts: 1761000 | #Constraints: 41426
97.85/98.10 c #Conflicts: 1762000 | #Constraints: 42426
97.85/98.10 c #Conflicts: 1763000 | #Constraints: 43426
97.85/98.10 c #Conflicts: 1764000 | #Constraints: 44426
97.85/98.10 c #Conflicts: 1765000 | #Constraints: 45426
97.85/98.10 c #Conflicts: 1766000 | #Constraints: 46426
97.85/98.10 c #Conflicts: 1767000 | #Constraints: 47426
97.85/98.10 c #Conflicts: 1768000 | #Constraints: 48426
97.85/98.10 c #Conflicts: 1769000 | #Constraints: 49426
97.85/98.10 c #Conflicts: 1770000 | #Constraints: 50426
97.85/98.10 c #Conflicts: 1771000 | #Constraints: 51426
97.85/98.10 c #Conflicts: 1772000 | #Constraints: 52426
97.85/98.10 c #Conflicts: 1773000 | #Constraints: 53426
97.85/98.10 c INPROCESSING
97.85/98.10 c GARBAGE COLLECT
97.85/98.10 c rational objective 250.5
99.34/99.69 c #Conflicts: 1774000 | #Constraints: 28022
99.34/99.69 c #Conflicts: 1775000 | #Constraints: 29022
99.34/99.69 c #Conflicts: 1776000 | #Constraints: 30022
99.34/99.69 c #Conflicts: 1777000 | #Constraints: 31022
99.34/99.69 c #Conflicts: 1778000 | #Constraints: 32022
99.34/99.69 c #Conflicts: 1779000 | #Constraints: 33022
99.34/99.69 c #Conflicts: 1780000 | #Constraints: 34022
99.34/99.69 c #Conflicts: 1781000 | #Constraints: 35022
99.34/99.69 c #Conflicts: 1782000 | #Constraints: 36022
99.34/99.69 c #Conflicts: 1783000 | #Constraints: 37022
99.34/99.69 c #Conflicts: 1784000 | #Constraints: 38022
99.34/99.69 c #Conflicts: 1785000 | #Constraints: 39022
99.34/99.69 c #Conflicts: 1786000 | #Constraints: 40022
99.34/99.69 c #Conflicts: 1787000 | #Constraints: 41022
99.34/99.69 c #Conflicts: 1788000 | #Constraints: 42022
99.34/99.69 c #Conflicts: 1789000 | #Constraints: 43022
99.34/99.69 c #Conflicts: 1790000 | #Constraints: 44022
99.34/99.69 c #Conflicts: 1791000 | #Constraints: 45022
99.34/99.69 c #Conflicts: 1792000 | #Constraints: 46022
99.34/99.69 c #Conflicts: 1793000 | #Constraints: 47022
99.34/99.69 c #Conflicts: 1794000 | #Constraints: 48022
99.34/99.69 c #Conflicts: 1795000 | #Constraints: 49022
99.34/99.69 c #Conflicts: 1796000 | #Constraints: 50022
99.34/99.69 c #Conflicts: 1797000 | #Constraints: 51022
99.34/99.69 c #Conflicts: 1798000 | #Constraints: 52022
99.34/99.69 c #Conflicts: 1799000 | #Constraints: 53022
99.34/99.69 c #Conflicts: 1800000 | #Constraints: 54022
99.34/99.69 c INPROCESSING
99.34/99.69 c GARBAGE COLLECT
99.34/99.69 c rational objective 250.5
100.94/101.29 c #Conflicts: 1801000 | #Constraints: 28421
100.94/101.29 c #Conflicts: 1802000 | #Constraints: 29421
100.94/101.29 c #Conflicts: 1803000 | #Constraints: 30421
100.94/101.29 c #Conflicts: 1804000 | #Constraints: 31421
100.94/101.29 c #Conflicts: 1805000 | #Constraints: 32421
100.94/101.29 c #Conflicts: 1806000 | #Constraints: 33421
100.94/101.29 c #Conflicts: 1807000 | #Constraints: 34421
100.94/101.29 c #Conflicts: 1808000 | #Constraints: 35421
100.94/101.29 c #Conflicts: 1809000 | #Constraints: 36421
100.94/101.29 c #Conflicts: 1810000 | #Constraints: 37421
100.94/101.29 c #Conflicts: 1811000 | #Constraints: 38421
100.94/101.29 c #Conflicts: 1812000 | #Constraints: 39421
100.94/101.29 c #Conflicts: 1813000 | #Constraints: 40421
100.94/101.29 c #Conflicts: 1814000 | #Constraints: 41421
100.94/101.29 c #Conflicts: 1815000 | #Constraints: 42421
100.94/101.29 c #Conflicts: 1816000 | #Constraints: 43421
100.94/101.29 c #Conflicts: 1817000 | #Constraints: 44421
100.94/101.29 c #Conflicts: 1818000 | #Constraints: 45421
100.94/101.29 c #Conflicts: 1819000 | #Constraints: 46421
100.94/101.29 c #Conflicts: 1820000 | #Constraints: 47421
100.94/101.29 c #Conflicts: 1821000 | #Constraints: 48421
100.94/101.29 c #Conflicts: 1822000 | #Constraints: 49421
100.94/101.29 c #Conflicts: 1823000 | #Constraints: 50421
100.94/101.29 c #Conflicts: 1824000 | #Constraints: 51421
100.94/101.29 c #Conflicts: 1825000 | #Constraints: 52421
100.94/101.29 c #Conflicts: 1826000 | #Constraints: 53421
100.94/101.29 c #Conflicts: 1827000 | #Constraints: 54421
100.94/101.29 c INPROCESSING
100.94/101.29 c GARBAGE COLLECT
100.94/101.29 c rational objective 250.5
102.63/102.93 c #Conflicts: 1828000 | #Constraints: 28622
102.63/102.93 c #Conflicts: 1829000 | #Constraints: 29622
102.63/102.93 c #Conflicts: 1830000 | #Constraints: 30622
102.63/102.93 c #Conflicts: 1831000 | #Constraints: 31622
102.63/102.93 c #Conflicts: 1832000 | #Constraints: 32622
102.63/102.93 c #Conflicts: 1833000 | #Constraints: 33622
102.63/102.93 c #Conflicts: 1834000 | #Constraints: 34622
102.63/102.93 c #Conflicts: 1835000 | #Constraints: 35622
102.63/102.93 c #Conflicts: 1836000 | #Constraints: 36622
102.63/102.93 c #Conflicts: 1837000 | #Constraints: 37622
102.63/102.93 c #Conflicts: 1838000 | #Constraints: 38622
102.63/102.93 c #Conflicts: 1839000 | #Constraints: 39622
102.63/102.93 c #Conflicts: 1840000 | #Constraints: 40622
102.63/102.93 c #Conflicts: 1841000 | #Constraints: 41622
102.63/102.93 c #Conflicts: 1842000 | #Constraints: 42622
102.63/102.93 c #Conflicts: 1843000 | #Constraints: 43622
102.63/102.93 c #Conflicts: 1844000 | #Constraints: 44622
102.63/102.93 c #Conflicts: 1845000 | #Constraints: 45622
102.63/102.93 c #Conflicts: 1846000 | #Constraints: 46622
102.63/102.93 c #Conflicts: 1847000 | #Constraints: 47622
102.63/102.93 c #Conflicts: 1848000 | #Constraints: 48622
102.63/102.93 c #Conflicts: 1849000 | #Constraints: 49622
102.63/102.93 c #Conflicts: 1850000 | #Constraints: 50622
102.63/102.93 c #Conflicts: 1851000 | #Constraints: 51622
102.63/102.93 c #Conflicts: 1852000 | #Constraints: 52622
102.63/102.93 c #Conflicts: 1853000 | #Constraints: 53622
102.63/102.93 c #Conflicts: 1854000 | #Constraints: 54622
102.63/102.93 c INPROCESSING
102.63/102.93 c GARBAGE COLLECT
102.63/102.93 c rational objective 250.5
104.23/104.52 c #Conflicts: 1855000 | #Constraints: 28630
104.23/104.52 c #Conflicts: 1856000 | #Constraints: 29630
104.23/104.52 c #Conflicts: 1857000 | #Constraints: 30630
104.23/104.52 c #Conflicts: 1858000 | #Constraints: 31630
104.23/104.52 c #Conflicts: 1859000 | #Constraints: 32630
104.23/104.52 c #Conflicts: 1860000 | #Constraints: 33630
104.23/104.52 c #Conflicts: 1861000 | #Constraints: 34630
104.23/104.52 c #Conflicts: 1862000 | #Constraints: 35630
104.23/104.52 c #Conflicts: 1863000 | #Constraints: 36630
104.23/104.52 c #Conflicts: 1864000 | #Constraints: 37630
104.23/104.52 c #Conflicts: 1865000 | #Constraints: 38630
104.23/104.52 c #Conflicts: 1866000 | #Constraints: 39630
104.23/104.52 c #Conflicts: 1867000 | #Constraints: 40630
104.23/104.52 c #Conflicts: 1868000 | #Constraints: 41630
104.23/104.52 c #Conflicts: 1869000 | #Constraints: 42630
104.23/104.52 c #Conflicts: 1870000 | #Constraints: 43630
104.23/104.52 c #Conflicts: 1871000 | #Constraints: 44630
104.23/104.52 c #Conflicts: 1872000 | #Constraints: 45630
104.23/104.52 c #Conflicts: 1873000 | #Constraints: 46630
104.23/104.52 c #Conflicts: 1874000 | #Constraints: 47630
104.23/104.52 c #Conflicts: 1875000 | #Constraints: 48630
104.23/104.52 c #Conflicts: 1876000 | #Constraints: 49630
104.23/104.52 c #Conflicts: 1877000 | #Constraints: 50630
104.23/104.52 c #Conflicts: 1878000 | #Constraints: 51630
104.23/104.52 c #Conflicts: 1879000 | #Constraints: 52630
104.23/104.52 c #Conflicts: 1880000 | #Constraints: 53630
104.23/104.52 c #Conflicts: 1881000 | #Constraints: 54630
104.23/104.52 c INPROCESSING
104.23/104.52 c GARBAGE COLLECT
104.23/104.52 c rational objective 250.5
105.92/106.26 c #Conflicts: 1882000 | #Constraints: 28429
105.92/106.26 c #Conflicts: 1883000 | #Constraints: 29429
105.92/106.26 c #Conflicts: 1884000 | #Constraints: 30429
105.92/106.26 c #Conflicts: 1885000 | #Constraints: 31429
105.92/106.26 c #Conflicts: 1886000 | #Constraints: 32429
105.92/106.26 c #Conflicts: 1887000 | #Constraints: 33429
105.92/106.26 c #Conflicts: 1888000 | #Constraints: 34429
105.92/106.26 c #Conflicts: 1889000 | #Constraints: 35429
105.92/106.26 c #Conflicts: 1890000 | #Constraints: 36429
105.92/106.26 c #Conflicts: 1891000 | #Constraints: 37429
105.92/106.26 c #Conflicts: 1892000 | #Constraints: 38429
105.92/106.26 c #Conflicts: 1893000 | #Constraints: 39429
105.92/106.26 c #Conflicts: 1894000 | #Constraints: 40429
105.92/106.26 c #Conflicts: 1895000 | #Constraints: 41429
105.92/106.26 c #Conflicts: 1896000 | #Constraints: 42429
105.92/106.26 c #Conflicts: 1897000 | #Constraints: 43429
105.92/106.26 c #Conflicts: 1898000 | #Constraints: 44429
105.92/106.26 c #Conflicts: 1899000 | #Constraints: 45429
105.92/106.26 c #Conflicts: 1900000 | #Constraints: 46429
105.92/106.26 c #Conflicts: 1901000 | #Constraints: 47429
105.92/106.26 c #Conflicts: 1902000 | #Constraints: 48429
105.92/106.26 c #Conflicts: 1903000 | #Constraints: 49429
105.92/106.26 c #Conflicts: 1904000 | #Constraints: 50429
105.92/106.26 c #Conflicts: 1905000 | #Constraints: 51429
105.92/106.26 c #Conflicts: 1906000 | #Constraints: 52429
105.92/106.26 c #Conflicts: 1907000 | #Constraints: 53429
105.92/106.26 c #Conflicts: 1908000 | #Constraints: 54429
105.92/106.26 c #Conflicts: 1909000 | #Constraints: 55429
105.92/106.26 c INPROCESSING
105.92/106.26 c GARBAGE COLLECT
105.92/106.26 c rational objective 250.5
107.73/108.10 c #Conflicts: 1910000 | #Constraints: 29024
107.73/108.10 c #Conflicts: 1911000 | #Constraints: 30024
107.73/108.10 c #Conflicts: 1912000 | #Constraints: 31024
107.73/108.10 c #Conflicts: 1913000 | #Constraints: 32024
107.73/108.10 c #Conflicts: 1914000 | #Constraints: 33024
107.73/108.10 c #Conflicts: 1915000 | #Constraints: 34024
107.73/108.10 c #Conflicts: 1916000 | #Constraints: 35024
107.73/108.10 c #Conflicts: 1917000 | #Constraints: 36024
107.73/108.10 c #Conflicts: 1918000 | #Constraints: 37024
107.73/108.10 c #Conflicts: 1919000 | #Constraints: 38024
107.73/108.10 c #Conflicts: 1920000 | #Constraints: 39024
107.73/108.10 c #Conflicts: 1921000 | #Constraints: 40024
107.73/108.10 c #Conflicts: 1922000 | #Constraints: 41024
107.73/108.10 c #Conflicts: 1923000 | #Constraints: 42024
107.73/108.10 c #Conflicts: 1924000 | #Constraints: 43024
107.73/108.10 c #Conflicts: 1925000 | #Constraints: 44024
107.73/108.10 c #Conflicts: 1926000 | #Constraints: 45024
107.73/108.10 c #Conflicts: 1927000 | #Constraints: 46024
107.73/108.10 c #Conflicts: 1928000 | #Constraints: 47024
107.73/108.10 c #Conflicts: 1929000 | #Constraints: 48024
107.73/108.10 c #Conflicts: 1930000 | #Constraints: 49024
107.73/108.10 c #Conflicts: 1931000 | #Constraints: 50024
107.73/108.10 c #Conflicts: 1932000 | #Constraints: 51024
107.73/108.10 c #Conflicts: 1933000 | #Constraints: 52024
107.73/108.10 c #Conflicts: 1934000 | #Constraints: 53024
107.73/108.10 c #Conflicts: 1935000 | #Constraints: 54024
107.73/108.10 c #Conflicts: 1936000 | #Constraints: 55024
107.73/108.10 c #Conflicts: 1937000 | #Constraints: 56024
107.73/108.10 c INPROCESSING
107.73/108.10 c GARBAGE COLLECT
107.73/108.10 c rational objective 250.5
109.62/109.93 c #Conflicts: 1938000 | #Constraints: 29422
109.62/109.93 c #Conflicts: 1939000 | #Constraints: 30422
109.62/109.93 c #Conflicts: 1940000 | #Constraints: 31422
109.62/109.93 c #Conflicts: 1941000 | #Constraints: 32422
109.62/109.93 c #Conflicts: 1942000 | #Constraints: 33422
109.62/109.93 c #Conflicts: 1943000 | #Constraints: 34422
109.62/109.93 c #Conflicts: 1944000 | #Constraints: 35422
109.62/109.93 c #Conflicts: 1945000 | #Constraints: 36422
109.62/109.93 c #Conflicts: 1946000 | #Constraints: 37422
109.62/109.93 c #Conflicts: 1947000 | #Constraints: 38422
109.62/109.93 c #Conflicts: 1948000 | #Constraints: 39422
109.62/109.93 c #Conflicts: 1949000 | #Constraints: 40422
109.62/109.93 c #Conflicts: 1950000 | #Constraints: 41422
109.62/109.93 c #Conflicts: 1951000 | #Constraints: 42422
109.62/109.93 c #Conflicts: 1952000 | #Constraints: 43422
109.62/109.93 c #Conflicts: 1953000 | #Constraints: 44422
109.62/109.93 c #Conflicts: 1954000 | #Constraints: 45422
109.62/109.93 c #Conflicts: 1955000 | #Constraints: 46422
109.62/109.93 c #Conflicts: 1956000 | #Constraints: 47422
109.62/109.93 c #Conflicts: 1957000 | #Constraints: 48422
109.62/109.93 c #Conflicts: 1958000 | #Constraints: 49422
109.62/109.93 c #Conflicts: 1959000 | #Constraints: 50422
109.62/109.93 c #Conflicts: 1960000 | #Constraints: 51422
109.62/109.93 c #Conflicts: 1961000 | #Constraints: 52422
109.62/109.93 c #Conflicts: 1962000 | #Constraints: 53422
109.62/109.93 c #Conflicts: 1963000 | #Constraints: 54422
109.62/109.93 c #Conflicts: 1964000 | #Constraints: 55422
109.62/109.93 c #Conflicts: 1965000 | #Constraints: 56422
109.62/109.93 c INPROCESSING
109.62/109.93 c GARBAGE COLLECT
109.62/109.93 c rational objective 250.5
111.51/111.85 c #Conflicts: 1966000 | #Constraints: 29621
111.51/111.85 c #Conflicts: 1967000 | #Constraints: 30621
111.51/111.85 c #Conflicts: 1968000 | #Constraints: 31621
111.51/111.85 c #Conflicts: 1969000 | #Constraints: 32621
111.51/111.85 c #Conflicts: 1970000 | #Constraints: 33621
111.51/111.85 c #Conflicts: 1971000 | #Constraints: 34621
111.51/111.85 c #Conflicts: 1972000 | #Constraints: 35621
111.51/111.85 c #Conflicts: 1973000 | #Constraints: 36621
111.51/111.85 c #Conflicts: 1974000 | #Constraints: 37621
111.51/111.85 c #Conflicts: 1975000 | #Constraints: 38621
111.51/111.85 c #Conflicts: 1976000 | #Constraints: 39621
111.51/111.85 c #Conflicts: 1977000 | #Constraints: 40621
111.51/111.85 c #Conflicts: 1978000 | #Constraints: 41621
111.51/111.85 c #Conflicts: 1979000 | #Constraints: 42621
111.51/111.85 c #Conflicts: 1980000 | #Constraints: 43621
111.51/111.85 c #Conflicts: 1981000 | #Constraints: 44621
111.51/111.85 c #Conflicts: 1982000 | #Constraints: 45621
111.51/111.85 c #Conflicts: 1983000 | #Constraints: 46621
111.51/111.85 c #Conflicts: 1984000 | #Constraints: 47621
111.51/111.85 c #Conflicts: 1985000 | #Constraints: 48621
111.51/111.85 c #Conflicts: 1986000 | #Constraints: 49621
111.51/111.85 c #Conflicts: 1987000 | #Constraints: 50621
111.51/111.85 c #Conflicts: 1988000 | #Constraints: 51621
111.51/111.85 c #Conflicts: 1989000 | #Constraints: 52621
111.51/111.85 c #Conflicts: 1990000 | #Constraints: 53621
111.51/111.85 c #Conflicts: 1991000 | #Constraints: 54621
111.51/111.85 c #Conflicts: 1992000 | #Constraints: 55621
111.51/111.85 c #Conflicts: 1993000 | #Constraints: 56621
111.51/111.85 c INPROCESSING
111.51/111.85 c GARBAGE COLLECT
111.51/111.85 c rational objective 250.5
113.31/113.60 c #Conflicts: 1994000 | #Constraints: 29622
113.31/113.60 c #Conflicts: 1995000 | #Constraints: 30622
113.31/113.60 c #Conflicts: 1996000 | #Constraints: 31622
113.31/113.60 c #Conflicts: 1997000 | #Constraints: 32622
113.31/113.60 c #Conflicts: 1998000 | #Constraints: 33622
113.31/113.60 c #Conflicts: 1999000 | #Constraints: 34622
113.31/113.60 c #Conflicts: 2000000 | #Constraints: 35622
113.31/113.60 c #Conflicts: 2001000 | #Constraints: 36622
113.31/113.60 c #Conflicts: 2002000 | #Constraints: 37622
113.31/113.60 c #Conflicts: 2003000 | #Constraints: 38622
113.31/113.60 c #Conflicts: 2004000 | #Constraints: 39622
113.31/113.60 c #Conflicts: 2005000 | #Constraints: 40622
113.31/113.60 c #Conflicts: 2006000 | #Constraints: 41622
113.31/113.60 c #Conflicts: 2007000 | #Constraints: 42622
113.31/113.60 c #Conflicts: 2008000 | #Constraints: 43622
113.31/113.60 c #Conflicts: 2009000 | #Constraints: 44622
113.31/113.60 c #Conflicts: 2010000 | #Constraints: 45622
113.31/113.60 c #Conflicts: 2011000 | #Constraints: 46622
113.31/113.60 c #Conflicts: 2012000 | #Constraints: 47622
113.31/113.60 c #Conflicts: 2013000 | #Constraints: 48622
113.31/113.60 c #Conflicts: 2014000 | #Constraints: 49622
113.31/113.60 c #Conflicts: 2015000 | #Constraints: 50622
113.31/113.60 c #Conflicts: 2016000 | #Constraints: 51622
113.31/113.60 c #Conflicts: 2017000 | #Constraints: 52622
113.31/113.60 c #Conflicts: 2018000 | #Constraints: 53622
113.31/113.60 c #Conflicts: 2019000 | #Constraints: 54622
113.31/113.60 c #Conflicts: 2020000 | #Constraints: 55622
113.31/113.60 c #Conflicts: 2021000 | #Constraints: 56622
113.31/113.60 c INPROCESSING
113.31/113.60 c GARBAGE COLLECT
113.31/113.60 c rational objective 250.5
115.21/115.51 c #Conflicts: 2022000 | #Constraints: 29420
115.21/115.51 c #Conflicts: 2023000 | #Constraints: 30420
115.21/115.51 c #Conflicts: 2024000 | #Constraints: 31420
115.21/115.51 c #Conflicts: 2025000 | #Constraints: 32420
115.21/115.51 c #Conflicts: 2026000 | #Constraints: 33420
115.21/115.51 c #Conflicts: 2027000 | #Constraints: 34420
115.21/115.51 c #Conflicts: 2028000 | #Constraints: 35420
115.21/115.51 c #Conflicts: 2029000 | #Constraints: 36420
115.21/115.51 c #Conflicts: 2030000 | #Constraints: 37420
115.21/115.51 c #Conflicts: 2031000 | #Constraints: 38420
115.21/115.51 c #Conflicts: 2032000 | #Constraints: 39420
115.21/115.51 c #Conflicts: 2033000 | #Constraints: 40420
115.21/115.51 c #Conflicts: 2034000 | #Constraints: 41420
115.21/115.51 c #Conflicts: 2035000 | #Constraints: 42420
115.21/115.51 c #Conflicts: 2036000 | #Constraints: 43420
115.21/115.51 c #Conflicts: 2037000 | #Constraints: 44420
115.21/115.51 c #Conflicts: 2038000 | #Constraints: 45420
115.21/115.51 c #Conflicts: 2039000 | #Constraints: 46420
115.21/115.51 c #Conflicts: 2040000 | #Constraints: 47420
115.21/115.51 c #Conflicts: 2041000 | #Constraints: 48420
115.21/115.51 c #Conflicts: 2042000 | #Constraints: 49420
115.21/115.51 c #Conflicts: 2043000 | #Constraints: 50420
115.21/115.51 c #Conflicts: 2044000 | #Constraints: 51420
115.21/115.51 c #Conflicts: 2045000 | #Constraints: 52420
115.21/115.51 c #Conflicts: 2046000 | #Constraints: 53420
115.21/115.51 c #Conflicts: 2047000 | #Constraints: 54420
115.21/115.51 c #Conflicts: 2048000 | #Constraints: 55420
115.21/115.51 c #Conflicts: 2049000 | #Constraints: 56420
115.21/115.51 c #Conflicts: 2050000 | #Constraints: 57420
115.21/115.51 c INPROCESSING
115.21/115.51 c GARBAGE COLLECT
115.21/115.51 c rational objective 250.5
117.00/117.30 c #Conflicts: 2051000 | #Constraints: 30022
117.00/117.30 c #Conflicts: 2052000 | #Constraints: 31022
117.00/117.30 c #Conflicts: 2053000 | #Constraints: 32022
117.00/117.30 c #Conflicts: 2054000 | #Constraints: 33022
117.00/117.30 c #Conflicts: 2055000 | #Constraints: 34022
117.00/117.30 c #Conflicts: 2056000 | #Constraints: 35022
117.00/117.30 c #Conflicts: 2057000 | #Constraints: 36022
117.00/117.30 c #Conflicts: 2058000 | #Constraints: 37022
117.00/117.30 c #Conflicts: 2059000 | #Constraints: 38022
117.00/117.30 c #Conflicts: 2060000 | #Constraints: 39022
117.00/117.30 c #Conflicts: 2061000 | #Constraints: 40022
117.00/117.30 c #Conflicts: 2062000 | #Constraints: 41022
117.00/117.30 c #Conflicts: 2063000 | #Constraints: 42022
117.00/117.30 c #Conflicts: 2064000 | #Constraints: 43022
117.00/117.30 c #Conflicts: 2065000 | #Constraints: 44022
117.00/117.30 c #Conflicts: 2066000 | #Constraints: 45022
117.00/117.30 c #Conflicts: 2067000 | #Constraints: 46022
117.00/117.30 c #Conflicts: 2068000 | #Constraints: 47022
117.00/117.30 c #Conflicts: 2069000 | #Constraints: 48022
117.00/117.30 c #Conflicts: 2070000 | #Constraints: 49022
117.00/117.30 c #Conflicts: 2071000 | #Constraints: 50022
117.00/117.30 c #Conflicts: 2072000 | #Constraints: 51022
117.00/117.30 c #Conflicts: 2073000 | #Constraints: 52022
117.00/117.30 c #Conflicts: 2074000 | #Constraints: 53022
117.00/117.30 c #Conflicts: 2075000 | #Constraints: 54022
117.00/117.30 c #Conflicts: 2076000 | #Constraints: 55022
117.00/117.30 c #Conflicts: 2077000 | #Constraints: 56022
117.00/117.30 c #Conflicts: 2078000 | #Constraints: 57022
117.00/117.30 c #Conflicts: 2079000 | #Constraints: 58022
117.00/117.30 c INPROCESSING
117.00/117.30 c GARBAGE COLLECT
117.00/117.30 c rational objective 250.5
118.50/118.84 c #Conflicts: 2080000 | #Constraints: 30426
118.50/118.84 c #Conflicts: 2081000 | #Constraints: 31426
118.50/118.84 c #Conflicts: 2082000 | #Constraints: 32426
118.50/118.84 c #Conflicts: 2083000 | #Constraints: 33426
118.50/118.84 c #Conflicts: 2084000 | #Constraints: 34426
118.50/118.84 c #Conflicts: 2085000 | #Constraints: 35426
118.50/118.84 c #Conflicts: 2086000 | #Constraints: 36426
118.50/118.84 c #Conflicts: 2087000 | #Constraints: 37426
118.50/118.84 c #Conflicts: 2088000 | #Constraints: 38426
118.50/118.84 c #Conflicts: 2089000 | #Constraints: 39426
118.50/118.84 c #Conflicts: 2090000 | #Constraints: 40426
118.50/118.84 c #Conflicts: 2091000 | #Constraints: 41426
118.50/118.84 c #Conflicts: 2092000 | #Constraints: 42426
118.50/118.84 c #Conflicts: 2093000 | #Constraints: 43426
118.50/118.84 c #Conflicts: 2094000 | #Constraints: 44426
118.50/118.84 c #Conflicts: 2095000 | #Constraints: 45426
118.50/118.84 c #Conflicts: 2096000 | #Constraints: 46426
118.50/118.84 c #Conflicts: 2097000 | #Constraints: 47426
118.50/118.84 c #Conflicts: 2098000 | #Constraints: 48426
118.50/118.84 c #Conflicts: 2099000 | #Constraints: 49426
118.50/118.84 c #Conflicts: 2100000 | #Constraints: 50426
118.50/118.84 c #Conflicts: 2101000 | #Constraints: 51426
118.50/118.84 c #Conflicts: 2102000 | #Constraints: 52426
118.50/118.84 c #Conflicts: 2103000 | #Constraints: 53426
118.50/118.84 c #Conflicts: 2104000 | #Constraints: 54426
118.50/118.84 c #Conflicts: 2105000 | #Constraints: 55426
118.50/118.84 c #Conflicts: 2106000 | #Constraints: 56426
118.50/118.84 c #Conflicts: 2107000 | #Constraints: 57426
118.50/118.84 c #Conflicts: 2108000 | #Constraints: 58426
118.50/118.84 c INPROCESSING
118.50/118.84 c GARBAGE COLLECT
118.50/118.84 c rational objective 250.5
120.09/120.49 c #Conflicts: 2109000 | #Constraints: 30629
120.09/120.49 c #Conflicts: 2110000 | #Constraints: 31629
120.09/120.49 c #Conflicts: 2111000 | #Constraints: 32629
120.09/120.49 c #Conflicts: 2112000 | #Constraints: 33629
120.09/120.49 c #Conflicts: 2113000 | #Constraints: 34629
120.09/120.49 c #Conflicts: 2114000 | #Constraints: 35629
120.09/120.49 c #Conflicts: 2115000 | #Constraints: 36629
120.09/120.49 c #Conflicts: 2116000 | #Constraints: 37629
120.09/120.49 c #Conflicts: 2117000 | #Constraints: 38629
120.09/120.49 c #Conflicts: 2118000 | #Constraints: 39629
120.09/120.49 c #Conflicts: 2119000 | #Constraints: 40629
120.09/120.49 c #Conflicts: 2120000 | #Constraints: 41629
120.09/120.49 c #Conflicts: 2121000 | #Constraints: 42629
120.09/120.49 c #Conflicts: 2122000 | #Constraints: 43629
120.09/120.49 c #Conflicts: 2123000 | #Constraints: 44629
120.09/120.49 c #Conflicts: 2124000 | #Constraints: 45629
120.09/120.49 c #Conflicts: 2125000 | #Constraints: 46629
120.09/120.49 c #Conflicts: 2126000 | #Constraints: 47629
120.09/120.49 c #Conflicts: 2127000 | #Constraints: 48629
120.09/120.49 c #Conflicts: 2128000 | #Constraints: 49629
120.09/120.49 c #Conflicts: 2129000 | #Constraints: 50629
120.09/120.49 c #Conflicts: 2130000 | #Constraints: 51629
120.09/120.49 c #Conflicts: 2131000 | #Constraints: 52629
120.09/120.49 c #Conflicts: 2132000 | #Constraints: 53629
120.09/120.49 c #Conflicts: 2133000 | #Constraints: 54629
120.09/120.49 c #Conflicts: 2134000 | #Constraints: 55629
120.09/120.49 c #Conflicts: 2135000 | #Constraints: 56629
120.09/120.49 c #Conflicts: 2136000 | #Constraints: 57629
120.09/120.49 c #Conflicts: 2137000 | #Constraints: 58629
120.09/120.49 c INPROCESSING
120.09/120.49 c GARBAGE COLLECT
120.09/120.49 c rational objective 250.5
121.29/121.64 c #Conflicts: 2138000 | #Constraints: 20228
121.29/121.64 c #Conflicts: 2139000 | #Constraints: 21228
121.29/121.64 c #Conflicts: 2140000 | #Constraints: 22228
121.29/121.64 c #Conflicts: 2141000 | #Constraints: 23228
121.29/121.64 c #Conflicts: 2142000 | #Constraints: 24228
121.29/121.64 c #Conflicts: 2143000 | #Constraints: 25228
121.29/121.64 c #Conflicts: 2144000 | #Constraints: 26228
121.29/121.64 c #Conflicts: 2145000 | #Constraints: 27228
121.29/121.64 c #Conflicts: 2146000 | #Constraints: 28228
121.29/121.64 c #Conflicts: 2147000 | #Constraints: 29228
121.29/121.64 c #Conflicts: 2148000 | #Constraints: 30228
121.29/121.64 c #Conflicts: 2149000 | #Constraints: 31228
121.29/121.64 c #Conflicts: 2150000 | #Constraints: 32228
121.29/121.64 c #Conflicts: 2151000 | #Constraints: 33228
121.29/121.64 c #Conflicts: 2152000 | #Constraints: 34228
121.29/121.64 c #Conflicts: 2153000 | #Constraints: 35228
121.29/121.64 c #Conflicts: 2154000 | #Constraints: 36228
121.29/121.64 c #Conflicts: 2155000 | #Constraints: 37228
121.29/121.64 c #Conflicts: 2156000 | #Constraints: 38228
121.29/121.64 c #Conflicts: 2157000 | #Constraints: 39228
121.29/121.64 c #Conflicts: 2158000 | #Constraints: 40228
121.29/121.64 c #Conflicts: 2159000 | #Constraints: 41228
121.29/121.64 c #Conflicts: 2160000 | #Constraints: 42228
121.29/121.64 c #Conflicts: 2161000 | #Constraints: 43228
121.29/121.64 c cpu time 114.162 s
121.29/121.64 c deterministic time 4546880389 4.55e+09
121.29/121.64 c optimization time 9.1e-05 s
121.29/121.64 c total solve time 114.16 s
121.29/121.64 c core-guided solve time 0 s
121.29/121.64 c propagation time 82.3912 s
121.29/121.64 c conflict analysis time 19.1161 s
121.29/121.64 c propagations 12482826
121.29/121.64 c resolve steps 6804124
121.29/121.64 c decisions 3783016
121.29/121.64 c conflicts 2161205
121.29/121.64 c restarts 4093
121.29/121.64 c inprocessing phases 137
121.29/121.64 c garbage collections 137 ,( 100.00 )
121.29/121.64 c input clauses 2 ,( 0.29 )
121.29/121.64 c input cardinalities 696 ,( 99.71 )
121.29/121.64 c input general constraints 0 ,( 0.00 )
121.29/121.64 c input average constraint length 3.99
121.29/121.64 c input average constraint degree 2.00
121.29/121.64 c learned clauses 2095574 ,( 96.94 )
121.29/121.64 c learned cardinalities 4297 ,( 0.20 )
121.29/121.64 c learned general constraints 61894 ,( 2.86 )
121.29/121.64 c learned average constraint length 17.53
121.29/121.64 c learned average constraint degree 46149.77
121.29/121.64 c watched CF 32, 64, 128, Arb: 32640 , 0 , 0 , 0
121.29/121.64 c counting CF 32, 64, 128, Arb: 29254 , 0 , 0 , 0
121.29/121.64 c watched constraints 32640 ,( 52.74 )
121.29/121.64 c counting constraints 29254 ,( 47.26 )
121.29/121.64 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 831389733 , 46721727 , 60651956 ,( 51944142 , 8707814 )
121.29/121.64 c gcd simplifications 2149
121.29/121.64 c detected cardinalities 858
121.29/121.64 c weakened non-implied lits 708835
121.29/121.64 c weakened non-implying lits 628
121.29/121.64 c original variables 501
121.29/121.64 c clausal propagations 4497219
121.29/121.64 c cardinality propagations 3638609
121.29/121.64 c watched propagations 329823
121.29/121.64 c counting propagations 1814388
121.29/121.64 c watch lookups 2416151860
121.29/121.64 c watch backjump lookups 0
121.29/121.64 c watch checks 1840400970
121.29/121.64 c propagation checks 133104900
121.29/121.64 c constraint additions 122313211
121.29/121.64 c trail pops 18427027
121.29/121.64 c formula constraints 698
121.29/121.64 c learned constraints 2161199
121.29/121.64 c bound constraints 0
121.29/121.64 c core-guided constraints 0
121.29/121.64 c encountered formula constraints 515722
121.29/121.64 c encountered learned constraints 8449433
121.29/121.64 c encountered bound constraints 0
121.29/121.64 c encountered core-guided constraints 0
121.29/121.64 c LP total time 12.9997 s
121.29/121.64 c LP solve time 7.89 s
121.29/121.64 c LP constraints added 1368
121.29/121.64 c LP constraints removed 662
121.29/121.64 c LP pivots internal 216126
121.29/121.64 c LP pivots root 452
121.29/121.64 c LP calls 24209
121.29/121.64 c LP optimalities 24204
121.29/121.64 c LP no pivot count 1874
121.29/121.64 c LP infeasibilities 5
121.29/121.64 c LP valid Farkas constraints 5
121.29/121.64 c LP learned Farkas constraints 5
121.29/121.64 c LP basis resets 0
121.29/121.64 c LP cycling count 0
121.29/121.64 c LP singular count 0
121.29/121.64 c LP no primal count 0
121.29/121.64 c LP no farkas count 0
121.29/121.64 c LP other issue count 0
121.29/121.64 c LP Gomory cuts 556
121.29/121.64 c LP learned cuts 114
121.29/121.64 c LP deleted cuts 662
121.29/121.64 c LP encountered Gomory constraints 0
121.29/121.64 c LP encountered Farkas constraints 112
121.29/121.64 c LP encountered learned Farkas constraints 57
121.29/121.64 c CG auxiliary variables introduced 0
121.29/121.64 c CG solutions found 0
121.29/121.64 c CG cores constructed 0
121.29/121.64 c CG core cardinality constraints returned 0
121.29/121.64 c CG unit cores 0
121.29/121.64 c CG single cores 0
121.29/121.64 c CG blocks removed during cardinality reduction 0
121.29/121.64 c CG first core best 0
121.29/121.64 c CG decision core best 0
121.29/121.64 c CG core reduction tie 0
121.29/121.64 c CG core degree average 0.00
121.29/121.64 c CG core slack average 0.00
121.29/121.64 c CG core upper bound improvements 0
121.29/121.64 c STR number of successful calls 0
121.29/121.64 c STR number of unsuccessful calls 0
121.29/121.69 c STR number of inconclusive calls 0
121.29/121.69 c STR number of successful attempts 0
121.29/121.69 c STR number of unsuccessful attempts 0
121.29/121.69 c STR number of inconclusive attempts 0
121.29/121.69 c STR average degree increase per successful call inf
121.29/121.69 c STR average degree increase per successful attempt inf
121.29/121.69 c STR total number of conflicts for successful attempts 0
121.29/121.69 c STR total number of conflicts for unsuccessful attempts 0
121.29/121.69 c STR total number of conflicts for inconclusive attempts 0
121.29/121.69 c STR average number of conflicts per successful attempt inf
121.29/121.69 c STR average number of conflicts per unsuccessful attempt inf
121.29/121.69 c STR average number of conflicts per inconclusive attempt inf
121.29/121.69 c AVG.sumWPerc 39.25
121.29/121.69 c bigint constraints 0
121.29/121.69 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 (58149 MiB free)
memory of node 1: 64465 MiB (63438 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4510545-1751197589/watcher-4510545-1751197589 -o /tmp/evaluation-result-4510545-1751197589/solver-4510545-1751197589 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751193766-27549 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4510545-1751197589.opb PROOFDIR/proof-4510545-1751197589
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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
Current StackSize limit: 8192 KiB
solver pid=28524, runsolver pid=28521
[startup+0.100057 s]*
/proc/loadavg: 4.07 4.10 4.09 5/274 28526
/proc/meminfo: memFree=124503268/131250000 swapFree=33010684/33010684
[pid=28524] ppid=28521 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/28524/stat : 28524 (run-dec-log.sh) S 28521 28524 27537 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 35438359 4292608 768 18446744073709551615 94755872096256 94755872990789 140722396633760 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94755873229840 94755873277584 94755899424768 140722396641569 140722396641764 140722396641764 140722396647366 0
/proc/28524/statm: 1048 768 704 219 0 110 0
[pid=28526] ppid=28524 vsize=57724 memory=14424 CPUtime=0.08 cores=1,3
/proc/28526/stat : 28526 (roundingsat) R 28524 28524 27537 0 -1 4194304 1077 0 0 0 7 1 0 0 20 0 1 0 35438359 59109376 3606 18446744073709551615 4227072 8923433 140732018925936 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 39731200 140732018927975 140732018928168 140732018928168 140732018933738 0
/proc/28526/statm: 14431 3606 2336 1147 0 1858 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 61916 KiB
Current children cumulated memory: 17496 KiB
[startup+0.205679 s]*
/proc/loadavg: 4.07 4.10 4.09 5/274 28526
/proc/meminfo: memFree=124517492/131250000 swapFree=33010684/33010684
[pid=28524] ppid=28521 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/28524/stat : 28524 (run-dec-log.sh) S 28521 28524 27537 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 35438359 4292608 768 18446744073709551615 94755872096256 94755872990789 140722396633760 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94755873229840 94755873277584 94755899424768 140722396641569 140722396641764 140722396641764 140722396647366 0
/proc/28524/statm: 1048 768 704 219 0 110 0
[pid=28526] ppid=28524 vsize=58272 memory=14808 CPUtime=0.19 cores=1,3
/proc/28526/stat : 28526 (roundingsat) R 28524 28524 27537 0 -1 4194304 1191 0 0 0 16 3 0 0 20 0 1 0 35438359 59670528 3702 18446744073709551615 4227072 8923433 140732018925936 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 39731200 140732018927975 140732018928168 140732018928168 140732018933738 0
/proc/28526/statm: 14568 3702 2336 1147 0 1995 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 62464 KiB
Current children cumulated memory: 17880 KiB
[startup+0.305718 s]*
/proc/loadavg: 4.07 4.10 4.09 5/274 28526
/proc/meminfo: memFree=124513460/131250000 swapFree=33010684/33010684
[pid=28524] ppid=28521 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/28524/stat : 28524 (run-dec-log.sh) S 28521 28524 27537 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 35438359 4292608 768 18446744073709551615 94755872096256 94755872990789 140722396633760 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94755873229840 94755873277584 94755899424768 140722396641569 140722396641764 140722396641764 140722396647366 0
/proc/28524/statm: 1048 768 704 219 0 110 0
[pid=28526] ppid=28524 vsize=58416 memory=15064 CPUtime=0.29 cores=1,3
/proc/28526/stat : 28526 (roundingsat) R 28524 28524 27537 0 -1 4194304 1244 0 0 0 25 4 0 0 20 0 1 0 35438359 59817984 3766 18446744073709551615 4227072 8923433 140732018925936 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 39731200 140732018927975 140732018928168 140732018928168 140732018933738 0
/proc/28526/statm: 14604 3766 2336 1147 0 2031 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 62608 KiB
Current children cumulated memory: 18136 KiB
[startup+0.700155 s]
/proc/loadavg: 4.07 4.10 4.09 5/274 28526
/proc/meminfo: memFree=124509428/131250000 swapFree=33010684/33010684
[pid=28524] ppid=28521 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/28524/stat : 28524 (run-dec-log.sh) S 28521 28524 27537 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 35438359 4292608 768 18446744073709551615 94755872096256 94755872990789 140722396633760 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94755873229840 94755873277584 94755899424768 140722396641569 140722396641764 140722396641764 140722396647366 0
/proc/28524/statm: 1048 768 704 219 0 110 0
[pid=28526] ppid=28524 vsize=59124 memory=15832 CPUtime=0.68 cores=1,3
/proc/28526/stat : 28526 (roundingsat) R 28524 28524 27537 0 -1 4194304 1429 0 0 0 59 9 0 0 20 0 1 0 35438359 60542976 3958 18446744073709551615 4227072 8923433 140732018925936 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 39731200 140732018927975 140732018928168 140732018928168 140732018933738 0
/proc/28526/statm: 14781 3958 2336 1147 0 2208 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 63316 KiB
Current children cumulated memory: 18904 KiB
[startup+1.50016 s]
/proc/loadavg: 4.07 4.10 4.09 5/274 28526
/proc/meminfo: memFree=124509428/131250000 swapFree=33010684/33010684
[pid=28524] ppid=28521 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/28524/stat : 28524 (run-dec-log.sh) S 28521 28524 27537 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 35438359 4292608 768 18446744073709551615 94755872096256 94755872990789 140722396633760 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94755873229840 94755873277584 94755899424768 140722396641569 140722396641764 140722396641764 140722396647366 0
/proc/28524/statm: 1048 768 704 219 0 110 0
[pid=28526] ppid=28524 vsize=60156 memory=16600 CPUtime=1.47 cores=1,3
/proc/28526/stat : 28526 (roundingsat) R 28524 28524 27537 0 -1 4194304 1650 0 0 0 130 17 0 0 20 0 1 0 35438359 61599744 4150 18446744073709551615 4227072 8923433 140732018925936 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 39731200 140732018927975 140732018928168 140732018928168 140732018933738 0
/proc/28526/statm: 15039 4150 2336 1147 0 2466 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 64348 KiB
Current children cumulated memory: 19672 KiB
[startup+3.10557 s]
/proc/loadavg: 4.06 4.10 4.09 5/274 28526
/proc/meminfo: memFree=124509492/131250000 swapFree=33010684/33010684
[pid=28524] ppid=28521 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/28524/stat : 28524 (run-dec-log.sh) S 28521 28524 27537 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 35438359 4292608 768 18446744073709551615 94755872096256 94755872990789 140722396633760 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94755873229840 94755873277584 94755899424768 140722396641569 140722396641764 140722396641764 140722396647366 0
/proc/28524/statm: 1048 768 704 219 0 110 0
[pid=28526] ppid=28524 vsize=61072 memory=17624 CPUtime=3.08 cores=1,3
/proc/28526/stat : 28526 (roundingsat) R 28524 28524 27537 0 -1 4194304 1878 0 0 0 272 36 0 0 20 0 1 0 35438359 62537728 4406 18446744073709551615 4227072 8923433 140732018925936 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 39731200 140732018927975 140732018928168 140732018928168 140732018933738 0
/proc/28526/statm: 15268 4406 2336 1147 0 2695 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 65264 KiB
Current children cumulated memory: 20696 KiB
[startup+6.30013 s]
/proc/loadavg: 4.06 4.10 4.09 5/274 28526
/proc/meminfo: memFree=124503172/131250000 swapFree=33010684/33010684
[pid=28524] ppid=28521 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/28524/stat : 28524 (run-dec-log.sh) S 28521 28524 27537 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 35438359 4292608 768 18446744073709551615 94755872096256 94755872990789 140722396633760 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94755873229840 94755873277584 94755899424768 140722396641569 140722396641764 140722396641764 140722396647366 0
/proc/28524/statm: 1048 768 704 219 0 110 0
[pid=28526] ppid=28524 vsize=62424 memory=19032 CPUtime=6.26 cores=1,3
/proc/28526/stat : 28526 (roundingsat) R 28524 28524 27537 0 -1 4194304 2243 0 0 0 560 66 0 0 20 0 1 0 35438359 63922176 4758 18446744073709551615 4227072 8923433 140732018925936 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 39731200 140732018927975 140732018928168 140732018928168 140732018933738 0
/proc/28526/statm: 15606 4758 2336 1147 0 3033 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 66616 KiB
Current children cumulated memory: 22104 KiB
[startup+12.7001 s]
/proc/loadavg: 4.06 4.10 4.08 5/273 28526
/proc/meminfo: memFree=124541856/131250000 swapFree=33010684/33010684
[pid=28524] ppid=28521 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/28524/stat : 28524 (run-dec-log.sh) S 28521 28524 27537 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 35438359 4292608 768 18446744073709551615 94755872096256 94755872990789 140722396633760 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94755873229840 94755873277584 94755899424768 140722396641569 140722396641764 140722396641764 140722396647366 0
/proc/28524/statm: 1048 768 704 219 0 110 0
[pid=28526] ppid=28524 vsize=64452 memory=23000 CPUtime=12.65 cores=1,3
/proc/28526/stat : 28526 (roundingsat) R 28524 28524 27537 0 -1 4194304 2905 0 0 0 1149 116 0 0 20 0 1 0 35438359 65998848 5750 18446744073709551615 4227072 8923433 140732018925936 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 39731200 140732018927975 140732018928168 140732018928168 140732018933738 0
/proc/28526/statm: 16113 5750 2336 1147 0 3540 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 68644 KiB
Current children cumulated memory: 26072 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.11 4.09 5/273 28527
/proc/meminfo: memFree=124453340/131250000 swapFree=33010684/33010684
[pid=28524] ppid=28521 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/28524/stat : 28524 (run-dec-log.sh) S 28521 28524 27537 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 35438359 4292608 768 18446744073709551615 94755872096256 94755872990789 140722396633760 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94755873229840 94755873277584 94755899424768 140722396641569 140722396641764 140722396641764 140722396647366 0
/proc/28524/statm: 1048 768 704 219 0 110 0
[pid=28526] ppid=28524 vsize=67360 memory=25676 CPUtime=25.42 cores=1,3
/proc/28526/stat : 28526 (roundingsat) R 28524 28524 27537 0 -1 4194304 5441 0 0 0 2327 215 0 0 20 0 1 0 35438359 68976640 6419 18446744073709551615 4227072 8923433 140732018925936 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 39731200 140732018927975 140732018928168 140732018928168 140732018933738 0
/proc/28526/statm: 16840 6419 2336 1147 0 4267 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 71552 KiB
Current children cumulated memory: 28748 KiB
[startup+51.1057 s]
/proc/loadavg: 4.07 4.10 4.09 5/274 28528
/proc/meminfo: memFree=124307016/131250000 swapFree=33010684/33010684
[pid=28524] ppid=28521 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/28524/stat : 28524 (run-dec-log.sh) S 28521 28524 27537 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 35438359 4292608 768 18446744073709551615 94755872096256 94755872990789 140722396633760 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94755873229840 94755873277584 94755899424768 140722396641569 140722396641764 140722396641764 140722396647366 0
/proc/28524/statm: 1048 768 704 219 0 110 0
[pid=28526] ppid=28524 vsize=69948 memory=27868 CPUtime=50.96 cores=1,3
/proc/28526/stat : 28526 (roundingsat) R 28524 28524 27537 0 -1 4194304 8460 0 0 0 4720 376 0 0 20 0 1 0 35438359 71626752 6967 18446744073709551615 4227072 8923433 140732018925936 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 39731200 140732018927975 140732018928168 140732018928168 140732018933738 0
/proc/28526/statm: 17487 6967 2336 1147 0 4914 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 74140 KiB
Current children cumulated memory: 30940 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/274 28530
/proc/meminfo: memFree=124044068/131250000 swapFree=33010684/33010684
[pid=28524] ppid=28521 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/28524/stat : 28524 (run-dec-log.sh) S 28521 28524 27537 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 35438359 4292608 768 18446744073709551615 94755872096256 94755872990789 140722396633760 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94755873229840 94755873277584 94755899424768 140722396641569 140722396641764 140722396641764 140722396647366 0
/proc/28524/statm: 1048 768 704 219 0 110 0
[pid=28526] ppid=28524 vsize=77020 memory=33040 CPUtime=102.04 cores=1,3
/proc/28526/stat : 28526 (roundingsat) R 28524 28524 27537 0 -1 4194304 17061 0 0 0 9579 625 0 0 20 0 1 0 35438359 78868480 8260 18446744073709551615 4227072 8923433 140732018925936 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 39731200 140732018927975 140732018928168 140732018928168 140732018933738 0
/proc/28526/statm: 19255 8260 2336 1147 0 6682 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 81212 KiB
Current children cumulated memory: 36112 KiB
[startup+121.696 s]
# the end of solver process 28524 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=114.165 s, system=7.18924 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+102.4 s]
/proc/loadavg: 4.07 4.09 4.09 5/274 28530
/proc/meminfo: memFree=124044068/131250000 swapFree=33010684/33010684
[pid=28524] ppid=28521 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/28524/stat : 28524 (run-dec-log.sh) S 28521 28524 27537 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 35438359 4292608 768 18446744073709551615 94755872096256 94755872990789 140722396633760 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94755873229840 94755873277584 94755899424768 140722396641569 140722396641764 140722396641764 140722396647366 0
/proc/28524/statm: 1048 768 704 219 0 110 0
[pid=28526] ppid=28524 vsize=77020 memory=33040 CPUtime=102.13 cores=1,3
/proc/28526/stat : 28526 (roundingsat) R 28524 28524 27537 0 -1 4194304 17061 0 0 0 9588 625 0 0 20 0 1 0 35438359 78868480 8260 18446744073709551615 4227072 8923433 140732018925936 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 39731200 140732018927975 140732018928168 140732018928168 140732018933738 0
/proc/28526/statm: 19255 8260 2336 1147 0 6682 0
Current children cumulated CPU time: 102.13 s
Current children cumulated vsize: 81212 KiB
Current children cumulated memory: 36112 KiB
[startup+115.2 s]
/proc/loadavg: 4.12 4.11 4.09 5/274 28530
/proc/meminfo: memFree=123970024/131250000 swapFree=33010684/33010684
[pid=28524] ppid=28521 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/28524/stat : 28524 (run-dec-log.sh) S 28521 28524 27537 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 35438359 4292608 768 18446744073709551615 94755872096256 94755872990789 140722396633760 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94755873229840 94755873277584 94755899424768 140722396641569 140722396641764 140722396641764 140722396647366 0
/proc/28524/statm: 1048 768 704 219 0 110 0
[pid=28526] ppid=28524 vsize=77800 memory=33900 CPUtime=114.91 cores=1,3
/proc/28526/stat : 28526 (roundingsat) R 28524 28524 27537 0 -1 4194304 18435 0 0 0 10806 685 0 0 20 0 1 0 35438359 79667200 8475 18446744073709551615 4227072 8923433 140732018925936 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 39731200 140732018927975 140732018928168 140732018928168 140732018933738 0
/proc/28526/statm: 19450 8475 2336 1147 0 6877 0
Current children cumulated CPU time: 114.91 s
Current children cumulated vsize: 81992 KiB
Current children cumulated memory: 36972 KiB
[startup+118.4 s]
/proc/loadavg: 4.11 4.10 4.09 5/274 28530
/proc/meminfo: memFree=123964004/131250000 swapFree=33010684/33010684
[pid=28524] ppid=28521 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/28524/stat : 28524 (run-dec-log.sh) S 28521 28524 27537 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 35438359 4292608 768 18446744073709551615 94755872096256 94755872990789 140722396633760 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94755873229840 94755873277584 94755899424768 140722396641569 140722396641764 140722396641764 140722396647366 0
/proc/28524/statm: 1048 768 704 219 0 110 0
[pid=28526] ppid=28524 vsize=77724 memory=33868 CPUtime=118.09 cores=1,3
/proc/28526/stat : 28526 (roundingsat) R 28524 28524 27537 0 -1 4194304 18816 0 0 0 11109 700 0 0 20 0 1 0 35438359 79589376 8467 18446744073709551615 4227072 8923433 140732018925936 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 39731200 140732018927975 140732018928168 140732018928168 140732018933738 0
/proc/28526/statm: 19431 8467 2336 1147 0 6858 0
Current children cumulated CPU time: 118.09 s
Current children cumulated vsize: 81916 KiB
Current children cumulated memory: 36940 KiB
[startup+120 s]*
/proc/loadavg: 4.11 4.10 4.09 6/275 28531
/proc/meminfo: memFree=123960008/131250000 swapFree=33010684/33010684
[pid=28524] ppid=28521 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/28524/stat : 28524 (run-dec-log.sh) S 28521 28524 27537 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 35438359 4292608 768 18446744073709551615 94755872096256 94755872990789 140722396633760 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94755873229840 94755873277584 94755899424768 140722396641569 140722396641764 140722396641764 140722396647366 0
/proc/28524/statm: 1048 768 704 219 0 110 0
[pid=28526] ppid=28524 vsize=78444 memory=34708 CPUtime=119.7 cores=1,3
/proc/28526/stat : 28526 (roundingsat) R 28524 28524 27537 0 -1 4194304 19099 0 0 0 11261 709 0 0 20 0 1 0 35438359 80326656 8677 18446744073709551615 4227072 8923433 140732018925936 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 39731200 140732018927975 140732018928168 140732018928168 140732018933738 0
/proc/28526/statm: 19611 8677 2336 1147 0 7038 0
Current children cumulated CPU time: 119.7 s
Current children cumulated vsize: 82636 KiB
Current children cumulated memory: 37780 KiB
[startup+120.8 s]
/proc/loadavg: 4.11 4.10 4.09 6/275 28531
/proc/meminfo: memFree=123960008/131250000 swapFree=33010684/33010684
[pid=28524] ppid=28521 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/28524/stat : 28524 (run-dec-log.sh) S 28521 28524 27537 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 35438359 4292608 768 18446744073709551615 94755872096256 94755872990789 140722396633760 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94755873229840 94755873277584 94755899424768 140722396641569 140722396641764 140722396641764 140722396647366 0
/proc/28524/statm: 1048 768 704 219 0 110 0
[pid=28526] ppid=28524 vsize=79144 memory=35220 CPUtime=120.49 cores=1,3
/proc/28526/stat : 28526 (roundingsat) R 28524 28524 27537 0 -1 4194304 19232 0 0 0 11335 714 0 0 20 0 1 0 35438359 81043456 8805 18446744073709551615 4227072 8923433 140732018925936 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 39731200 140732018927975 140732018928168 140732018928168 140732018933738 0
/proc/28526/statm: 19786 8805 2336 1147 0 7213 0
Current children cumulated CPU time: 120.49 s
Current children cumulated vsize: 83336 KiB
Current children cumulated memory: 38292 KiB
[startup+121.2 s]
/proc/loadavg: 4.11 4.10 4.09 5/274 28531
/proc/meminfo: memFree=123956236/131250000 swapFree=33010684/33010684
[pid=28524] ppid=28521 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/28524/stat : 28524 (run-dec-log.sh) S 28521 28524 27537 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 35438359 4292608 768 18446744073709551615 94755872096256 94755872990789 140722396633760 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94755873229840 94755873277584 94755899424768 140722396641569 140722396641764 140722396641764 140722396647366 0
/proc/28524/statm: 1048 768 704 219 0 110 0
[pid=28526] ppid=28524 vsize=79144 memory=35220 CPUtime=120.89 cores=1,3
/proc/28526/stat : 28526 (roundingsat) R 28524 28524 27537 0 -1 4194304 19232 0 0 0 11373 716 0 0 20 0 1 0 35438359 81043456 8805 18446744073709551615 4227072 8923433 140732018925936 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 39731200 140732018927975 140732018928168 140732018928168 140732018933738 0
/proc/28526/statm: 19786 8805 2336 1147 0 7213 0
Current children cumulated CPU time: 120.89 s
Current children cumulated vsize: 83336 KiB
Current children cumulated memory: 38292 KiB
[startup+121.6 s]
/proc/loadavg: 4.11 4.10 4.09 5/274 28531
/proc/meminfo: memFree=123956236/131250000 swapFree=33010684/33010684
[pid=28524] ppid=28521 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/28524/stat : 28524 (run-dec-log.sh) S 28521 28524 27537 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 35438359 4292608 768 18446744073709551615 94755872096256 94755872990789 140722396633760 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94755873229840 94755873277584 94755899424768 140722396641569 140722396641764 140722396641764 140722396647366 0
/proc/28524/statm: 1048 768 704 219 0 110 0
[pid=28526] ppid=28524 vsize=79144 memory=35220 CPUtime=121.29 cores=1,3
/proc/28526/stat : 28526 (roundingsat) R 28524 28524 27537 0 -1 4194304 19235 0 0 0 11412 717 0 0 20 0 1 0 35438359 81043456 8805 18446744073709551615 4227072 8923433 140732018925936 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 39731200 140732018927975 140732018928168 140732018928168 140732018933738 0
/proc/28526/statm: 19786 8805 2336 1147 0 7213 0
Current children cumulated CPU time: 121.29 s
Current children cumulated vsize: 83336 KiB
Current children cumulated memory: 38292 KiB
Child status: 0
Real time (s): 121.696
CPU time (s): 121.354
CPU user time (s): 114.165
CPU system time (s): 7.18924
CPU usage (%): 99.7188
Max. virtual memory (cumulated for all children) (KiB): 83336
Max. memory (cumulated for all children) (KiB): 38292
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 114.165
system time used= 7.18924
maximum resident set size= 35220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19468
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= 1004
involuntary context switches= 207
# summary of solver processes directly reported to runsolver:
# pid: 28524
# total CPU time (s): 121.354
# total CPU user time (s): 114.165
# total CPU system time (s): 7.18924
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.241252 second user time and 0.567387 second system time
The end
Begin job on nodeC033 at 2025-06-29 13:46:29
IDJOB=4510545
IDBENCH=160372
IDSOLVER=3352
FILE ID=nodeC033/4510545-1751197589
RUNJOBID= nodeC033-1751193766-27549
SLURM_JOB_ID= 9587591
Free space on /tmp= 433036 MiB
SOLVER NAME= roundingsat-log 63f22ad
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/normalized-ECgrid5x50split.cnf-extracted.pb.metafix.opb
COMMAND LINE= run-dec-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4510545-1751197589/watcher-4510545-1751197589 -o /tmp/evaluation-result-4510545-1751197589/solver-4510545-1751197589 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751193766-27549 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4510545-1751197589.opb PROOFDIR/proof-4510545-1751197589
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= becd4f2905a31b4ccafbaa36ee1998fb
RANDOM SEED=1240236868
nodeC033 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 : 3600.089
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 : 7000.13
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.834
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 : 7000.13
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 : 3597.417
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 : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.062
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 : 7000.13
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 : 3600.050
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 : 7000.13
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 : 3600.066
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 : 7000.13
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 : 3657.682
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 : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.361
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 : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 124505296 kB
MemAvailable: 129319988 kB
Buffers: 3280 kB
Cached: 5619000 kB
SwapCached: 0 kB
Active: 666996 kB
Inactive: 5360832 kB
Active(anon): 423776 kB
Inactive(anon): 0 kB
Active(file): 243220 kB
Inactive(file): 5360832 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 88852 kB
Writeback: 0 kB
AnonPages: 405824 kB
Mapped: 112296 kB
Shmem: 18120 kB
KReclaimable: 99756 kB
Slab: 188768 kB
SReclaimable: 99756 kB
SUnreclaim: 89012 kB
KernelStack: 4432 kB
PageTables: 3976 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 750908 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150648 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 307200 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: 221908 kB
DirectMap2M: 11083776 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 433028 MiB
End job on nodeC033 at 2025-06-29 13:48:31