0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.00/0.03 c #variables 501 #constraints 698
0.00/0.05 c rational objective 250.5
0.47/0.56 c #Conflicts: 1000 | #Constraints: 1702
0.47/0.56 c #Conflicts: 2000 | #Constraints: 2703
0.47/0.56 c INPROCESSING
0.47/0.56 c GARBAGE COLLECT
0.47/0.56 c #Conflicts: 3000 | #Constraints: 2731
0.47/0.56 c #Conflicts: 4000 | #Constraints: 3731
0.47/0.56 c INPROCESSING
0.47/0.56 c GARBAGE COLLECT
0.47/0.56 c #Conflicts: 5000 | #Constraints: 3151
0.47/0.56 c #Conflicts: 6000 | #Constraints: 4151
0.47/0.56 c INPROCESSING
0.47/0.56 c GARBAGE COLLECT
0.47/0.56 c rational objective 250.5
0.73/0.82 c #Conflicts: 7000 | #Constraints: 3157
0.73/0.82 c #Conflicts: 8000 | #Constraints: 4157
0.73/0.82 c #Conflicts: 9000 | #Constraints: 5157
0.73/0.82 c INPROCESSING
0.73/0.82 c GARBAGE COLLECT
0.73/0.82 c rational objective 250.5
0.94/1.03 c #Conflicts: 10000 | #Constraints: 3867
0.94/1.03 c #Conflicts: 11000 | #Constraints: 4867
0.94/1.03 c #Conflicts: 12000 | #Constraints: 5867
0.94/1.03 c INPROCESSING
0.94/1.03 c GARBAGE COLLECT
0.94/1.03 c rational objective 250.5
1.13/1.22 c #Conflicts: 13000 | #Constraints: 4318
1.13/1.22 c #Conflicts: 14000 | #Constraints: 5318
1.13/1.22 c #Conflicts: 15000 | #Constraints: 6318
1.13/1.22 c INPROCESSING
1.13/1.22 c GARBAGE COLLECT
1.13/1.22 c rational objective 250.5
1.33/1.45 c #Conflicts: 16000 | #Constraints: 4548
1.33/1.45 c #Conflicts: 17000 | #Constraints: 5548
1.33/1.45 c #Conflicts: 18000 | #Constraints: 6548
1.33/1.45 c INPROCESSING
1.33/1.45 c GARBAGE COLLECT
1.33/1.45 c rational objective 250.5
1.53/1.64 c #Conflicts: 19000 | #Constraints: 4572
1.53/1.64 c #Conflicts: 20000 | #Constraints: 5572
1.53/1.64 c #Conflicts: 21000 | #Constraints: 6572
1.53/1.64 c INPROCESSING
1.53/1.64 c GARBAGE COLLECT
1.53/1.64 c rational objective 250.5
1.72/1.83 c #Conflicts: 22000 | #Constraints: 4375
1.72/1.83 c #Conflicts: 23000 | #Constraints: 5375
1.72/1.83 c #Conflicts: 24000 | #Constraints: 6375
1.72/1.83 c #Conflicts: 25000 | #Constraints: 7375
1.72/1.83 c INPROCESSING
1.72/1.83 c GARBAGE COLLECT
1.72/1.83 c rational objective 250.5
1.93/2.03 c #Conflicts: 26000 | #Constraints: 4986
1.93/2.03 c #Conflicts: 27000 | #Constraints: 5986
1.93/2.03 c #Conflicts: 28000 | #Constraints: 6986
1.93/2.03 c #Conflicts: 29000 | #Constraints: 7986
1.93/2.03 c INPROCESSING
1.93/2.03 c GARBAGE COLLECT
1.93/2.03 c rational objective 250.5
2.11/2.22 c #Conflicts: 30000 | #Constraints: 5378
2.11/2.22 c #Conflicts: 31000 | #Constraints: 6378
2.11/2.22 c #Conflicts: 32000 | #Constraints: 7378
2.11/2.22 c #Conflicts: 33000 | #Constraints: 8378
2.11/2.22 c INPROCESSING
2.11/2.22 c GARBAGE COLLECT
2.11/2.22 c rational objective 250.5
2.31/2.44 c #Conflicts: 34000 | #Constraints: 5579
2.31/2.44 c #Conflicts: 35000 | #Constraints: 6579
2.31/2.44 c #Conflicts: 36000 | #Constraints: 7579
2.31/2.44 c #Conflicts: 37000 | #Constraints: 8579
2.31/2.44 c INPROCESSING
2.31/2.44 c GARBAGE COLLECT
2.31/2.44 c rational objective 250.5
2.51/2.61 c #Conflicts: 38000 | #Constraints: 5582
2.51/2.61 c #Conflicts: 39000 | #Constraints: 6582
2.51/2.61 c #Conflicts: 40000 | #Constraints: 7582
2.51/2.61 c #Conflicts: 41000 | #Constraints: 8582
2.51/2.61 c INPROCESSING
2.51/2.61 c GARBAGE COLLECT
2.51/2.61 c rational objective 250.5
2.61/2.79 c #Conflicts: 42000 | #Constraints: 5380
2.61/2.79 c #Conflicts: 43000 | #Constraints: 6380
2.61/2.79 c #Conflicts: 44000 | #Constraints: 7380
2.61/2.79 c #Conflicts: 45000 | #Constraints: 8380
2.61/2.79 c #Conflicts: 46000 | #Constraints: 9380
2.61/2.79 c INPROCESSING
2.61/2.79 c GARBAGE COLLECT
2.61/2.79 c rational objective 250.5
2.81/3.00 c #Conflicts: 47000 | #Constraints: 5978
2.81/3.00 c #Conflicts: 48000 | #Constraints: 6978
2.81/3.00 c #Conflicts: 49000 | #Constraints: 7978
2.81/3.00 c #Conflicts: 50000 | #Constraints: 8978
2.81/3.00 c #Conflicts: 51000 | #Constraints: 9978
2.81/3.00 c INPROCESSING
2.81/3.00 c GARBAGE COLLECT
2.81/3.00 c rational objective 250.5
3.11/3.21 c #Conflicts: 52000 | #Constraints: 6382
3.11/3.21 c #Conflicts: 53000 | #Constraints: 7382
3.11/3.21 c #Conflicts: 54000 | #Constraints: 8382
3.11/3.21 c #Conflicts: 55000 | #Constraints: 9382
3.11/3.21 c #Conflicts: 56000 | #Constraints: 10382
3.11/3.21 c INPROCESSING
3.11/3.21 c GARBAGE COLLECT
3.11/3.21 c rational objective 250.5
3.32/3.42 c #Conflicts: 57000 | #Constraints: 6578
3.32/3.42 c #Conflicts: 58000 | #Constraints: 7578
3.32/3.42 c #Conflicts: 59000 | #Constraints: 8578
3.32/3.42 c #Conflicts: 60000 | #Constraints: 9578
3.32/3.42 c #Conflicts: 61000 | #Constraints: 10578
3.32/3.42 c INPROCESSING
3.32/3.42 c GARBAGE COLLECT
3.32/3.42 c rational objective 250.5
3.51/3.68 c #Conflicts: 62000 | #Constraints: 6581
3.51/3.68 c #Conflicts: 63000 | #Constraints: 7581
3.51/3.68 c #Conflicts: 64000 | #Constraints: 8581
3.51/3.68 c #Conflicts: 65000 | #Constraints: 9581
3.51/3.68 c #Conflicts: 66000 | #Constraints: 10581
3.51/3.68 c INPROCESSING
3.51/3.68 c GARBAGE COLLECT
3.51/3.68 c rational objective 250.5
3.81/3.91 c #Conflicts: 67000 | #Constraints: 6379
3.81/3.91 c #Conflicts: 68000 | #Constraints: 7379
3.81/3.91 c #Conflicts: 69000 | #Constraints: 8379
3.81/3.91 c #Conflicts: 70000 | #Constraints: 9379
3.81/3.91 c #Conflicts: 71000 | #Constraints: 10379
3.81/3.91 c #Conflicts: 72000 | #Constraints: 11379
3.81/3.91 c INPROCESSING
3.81/3.91 c GARBAGE COLLECT
3.81/3.91 c rational objective 250.5
4.02/4.15 c #Conflicts: 73000 | #Constraints: 6981
4.02/4.15 c #Conflicts: 74000 | #Constraints: 7981
4.02/4.15 c #Conflicts: 75000 | #Constraints: 8981
4.02/4.15 c #Conflicts: 76000 | #Constraints: 9981
4.02/4.15 c #Conflicts: 77000 | #Constraints: 10981
4.02/4.15 c #Conflicts: 78000 | #Constraints: 11981
4.02/4.15 c INPROCESSING
4.02/4.15 c GARBAGE COLLECT
4.02/4.15 c rational objective 250.5
4.21/4.37 c #Conflicts: 79000 | #Constraints: 7380
4.21/4.37 c #Conflicts: 80000 | #Constraints: 8380
4.21/4.37 c #Conflicts: 81000 | #Constraints: 9380
4.21/4.37 c #Conflicts: 82000 | #Constraints: 10380
4.21/4.37 c #Conflicts: 83000 | #Constraints: 11380
4.21/4.37 c #Conflicts: 84000 | #Constraints: 12380
4.21/4.37 c INPROCESSING
4.21/4.37 c GARBAGE COLLECT
4.21/4.37 c rational objective 250.5
4.41/4.59 c #Conflicts: 85000 | #Constraints: 7588
4.41/4.59 c #Conflicts: 86000 | #Constraints: 8588
4.41/4.59 c #Conflicts: 87000 | #Constraints: 9588
4.41/4.59 c #Conflicts: 88000 | #Constraints: 10588
4.41/4.59 c #Conflicts: 89000 | #Constraints: 11588
4.41/4.59 c #Conflicts: 90000 | #Constraints: 12588
4.41/4.59 c INPROCESSING
4.41/4.59 c GARBAGE COLLECT
4.41/4.59 c rational objective 250.5
4.81/4.95 c #Conflicts: 91000 | #Constraints: 7587
4.81/4.95 c #Conflicts: 92000 | #Constraints: 8587
4.81/4.95 c #Conflicts: 93000 | #Constraints: 9588
4.81/4.95 c #Conflicts: 94000 | #Constraints: 10588
4.81/4.95 c #Conflicts: 95000 | #Constraints: 11588
4.81/4.95 c #Conflicts: 96000 | #Constraints: 12588
4.81/4.95 c INPROCESSING
4.81/4.95 c GARBAGE COLLECT
4.81/4.95 c rational objective 250.5
5.11/5.20 c #Conflicts: 97000 | #Constraints: 7381
5.11/5.20 c #Conflicts: 98000 | #Constraints: 8381
5.11/5.20 c #Conflicts: 99000 | #Constraints: 9381
5.11/5.20 c #Conflicts: 100000 | #Constraints: 10381
5.11/5.20 c #Conflicts: 101000 | #Constraints: 11381
5.11/5.20 c #Conflicts: 102000 | #Constraints: 12381
5.11/5.20 c #Conflicts: 103000 | #Constraints: 13381
5.11/5.20 c INPROCESSING
5.11/5.20 c GARBAGE COLLECT
5.11/5.20 c rational objective 250.5
5.31/5.47 c #Conflicts: 104000 | #Constraints: 7978
5.31/5.47 c #Conflicts: 105000 | #Constraints: 8978
5.31/5.47 c #Conflicts: 106000 | #Constraints: 9978
5.31/5.47 c #Conflicts: 107000 | #Constraints: 10978
5.31/5.47 c #Conflicts: 108000 | #Constraints: 11978
5.31/5.47 c #Conflicts: 109000 | #Constraints: 12978
5.31/5.47 c #Conflicts: 110000 | #Constraints: 13978
5.31/5.47 c INPROCESSING
5.31/5.47 c GARBAGE COLLECT
5.31/5.47 c rational objective 250.5
5.61/5.75 c #Conflicts: 111000 | #Constraints: 8387
5.61/5.75 c #Conflicts: 112000 | #Constraints: 9387
5.61/5.75 c #Conflicts: 113000 | #Constraints: 10387
5.61/5.75 c #Conflicts: 114000 | #Constraints: 11387
5.61/5.75 c #Conflicts: 115000 | #Constraints: 12387
5.61/5.75 c #Conflicts: 116000 | #Constraints: 13387
5.61/5.75 c #Conflicts: 117000 | #Constraints: 14387
5.61/5.75 c INPROCESSING
5.61/5.75 c GARBAGE COLLECT
5.61/5.75 c rational objective 250.5
5.92/6.02 c #Conflicts: 118000 | #Constraints: 8584
5.92/6.02 c #Conflicts: 119000 | #Constraints: 9584
5.92/6.02 c #Conflicts: 120000 | #Constraints: 10584
5.92/6.02 c #Conflicts: 121000 | #Constraints: 11584
5.92/6.02 c #Conflicts: 122000 | #Constraints: 12584
5.92/6.02 c #Conflicts: 123000 | #Constraints: 13584
5.92/6.02 c #Conflicts: 124000 | #Constraints: 14584
5.92/6.02 c INPROCESSING
5.92/6.02 c GARBAGE COLLECT
5.92/6.02 c rational objective 250.5
6.20/6.32 c #Conflicts: 125000 | #Constraints: 8586
6.20/6.32 c #Conflicts: 126000 | #Constraints: 9586
6.20/6.32 c #Conflicts: 127000 | #Constraints: 10586
6.20/6.32 c #Conflicts: 128000 | #Constraints: 11586
6.20/6.32 c #Conflicts: 129000 | #Constraints: 12586
6.20/6.32 c #Conflicts: 130000 | #Constraints: 13586
6.20/6.32 c #Conflicts: 131000 | #Constraints: 14586
6.20/6.32 c INPROCESSING
6.20/6.32 c GARBAGE COLLECT
6.20/6.32 c rational objective 250.5
6.51/6.68 c #Conflicts: 132000 | #Constraints: 8386
6.51/6.68 c #Conflicts: 133000 | #Constraints: 9386
6.51/6.68 c #Conflicts: 134000 | #Constraints: 10386
6.51/6.68 c #Conflicts: 135000 | #Constraints: 11386
6.51/6.68 c #Conflicts: 136000 | #Constraints: 12386
6.51/6.68 c #Conflicts: 137000 | #Constraints: 13386
6.51/6.68 c #Conflicts: 138000 | #Constraints: 14386
6.51/6.68 c #Conflicts: 139000 | #Constraints: 15386
6.51/6.68 c INPROCESSING
6.51/6.68 c GARBAGE COLLECT
6.51/6.68 c rational objective 250.5
6.80/6.98 c #Conflicts: 140000 | #Constraints: 8983
6.80/6.98 c #Conflicts: 141000 | #Constraints: 9983
6.80/6.98 c #Conflicts: 142000 | #Constraints: 10983
6.80/6.98 c #Conflicts: 143000 | #Constraints: 11983
6.80/6.98 c #Conflicts: 144000 | #Constraints: 12983
6.80/6.98 c #Conflicts: 145000 | #Constraints: 13983
6.80/6.98 c #Conflicts: 146000 | #Constraints: 14983
6.80/6.98 c #Conflicts: 147000 | #Constraints: 15983
6.80/6.98 c INPROCESSING
6.80/6.98 c GARBAGE COLLECT
6.80/6.98 c rational objective 250.5
7.21/7.32 c #Conflicts: 148000 | #Constraints: 9380
7.21/7.32 c #Conflicts: 149000 | #Constraints: 10380
7.21/7.32 c #Conflicts: 150000 | #Constraints: 11380
7.21/7.32 c #Conflicts: 151000 | #Constraints: 12380
7.21/7.32 c #Conflicts: 152000 | #Constraints: 13380
7.21/7.32 c #Conflicts: 153000 | #Constraints: 14380
7.21/7.32 c #Conflicts: 154000 | #Constraints: 15380
7.21/7.32 c #Conflicts: 155000 | #Constraints: 16380
7.21/7.32 c INPROCESSING
7.21/7.32 c GARBAGE COLLECT
7.21/7.32 c rational objective 250.5
7.50/7.64 c #Conflicts: 156000 | #Constraints: 9585
7.50/7.64 c #Conflicts: 157000 | #Constraints: 10585
7.50/7.64 c #Conflicts: 158000 | #Constraints: 11585
7.50/7.64 c #Conflicts: 159000 | #Constraints: 12585
7.50/7.64 c #Conflicts: 160000 | #Constraints: 13585
7.50/7.64 c #Conflicts: 161000 | #Constraints: 14585
7.50/7.64 c #Conflicts: 162000 | #Constraints: 15585
7.50/7.64 c #Conflicts: 163000 | #Constraints: 16585
7.50/7.64 c INPROCESSING
7.50/7.64 c GARBAGE COLLECT
7.50/7.64 c rational objective 250.5
7.80/7.95 c #Conflicts: 164000 | #Constraints: 9586
7.80/7.95 c #Conflicts: 165000 | #Constraints: 10586
7.80/7.95 c #Conflicts: 166000 | #Constraints: 11586
7.80/7.95 c #Conflicts: 167000 | #Constraints: 12586
7.80/7.95 c #Conflicts: 168000 | #Constraints: 13586
7.80/7.95 c #Conflicts: 169000 | #Constraints: 14586
7.80/7.95 c #Conflicts: 170000 | #Constraints: 15586
7.80/7.95 c #Conflicts: 171000 | #Constraints: 16586
7.80/7.95 c INPROCESSING
7.80/7.95 c GARBAGE COLLECT
7.80/7.95 c rational objective 250.5
8.20/8.32 c #Conflicts: 172000 | #Constraints: 9387
8.20/8.32 c #Conflicts: 173000 | #Constraints: 10387
8.20/8.32 c #Conflicts: 174000 | #Constraints: 11387
8.20/8.32 c #Conflicts: 175000 | #Constraints: 12387
8.20/8.32 c #Conflicts: 176000 | #Constraints: 13387
8.20/8.32 c #Conflicts: 177000 | #Constraints: 14387
8.20/8.32 c #Conflicts: 178000 | #Constraints: 15387
8.20/8.32 c #Conflicts: 179000 | #Constraints: 16387
8.20/8.32 c #Conflicts: 180000 | #Constraints: 17387
8.20/8.32 c INPROCESSING
8.20/8.32 c GARBAGE COLLECT
8.20/8.32 c rational objective 250.5
8.50/8.69 c #Conflicts: 181000 | #Constraints: 9988
8.50/8.69 c #Conflicts: 182000 | #Constraints: 10988
8.50/8.69 c #Conflicts: 183000 | #Constraints: 11988
8.50/8.69 c #Conflicts: 184000 | #Constraints: 12988
8.50/8.69 c #Conflicts: 185000 | #Constraints: 13988
8.50/8.69 c #Conflicts: 186000 | #Constraints: 14988
8.50/8.69 c #Conflicts: 187000 | #Constraints: 15988
8.50/8.69 c #Conflicts: 188000 | #Constraints: 16988
8.50/8.69 c #Conflicts: 189000 | #Constraints: 17988
8.50/8.69 c INPROCESSING
8.50/8.69 c GARBAGE COLLECT
8.50/8.69 c rational objective 250.5
9.01/9.13 c #Conflicts: 190000 | #Constraints: 10390
9.01/9.13 c #Conflicts: 191000 | #Constraints: 11390
9.01/9.13 c #Conflicts: 192000 | #Constraints: 12390
9.01/9.13 c #Conflicts: 193000 | #Constraints: 13390
9.01/9.13 c #Conflicts: 194000 | #Constraints: 14390
9.01/9.13 c #Conflicts: 195000 | #Constraints: 15390
9.01/9.13 c #Conflicts: 196000 | #Constraints: 16390
9.01/9.13 c #Conflicts: 197000 | #Constraints: 17390
9.01/9.13 c #Conflicts: 198000 | #Constraints: 18390
9.01/9.13 c INPROCESSING
9.01/9.13 c GARBAGE COLLECT
9.01/9.13 c rational objective 250.5
9.30/9.49 c #Conflicts: 199000 | #Constraints: 10596
9.30/9.49 c #Conflicts: 200000 | #Constraints: 11596
9.30/9.49 c #Conflicts: 201000 | #Constraints: 12596
9.30/9.49 c #Conflicts: 202000 | #Constraints: 13596
9.30/9.49 c #Conflicts: 203000 | #Constraints: 14596
9.30/9.49 c #Conflicts: 204000 | #Constraints: 15596
9.30/9.49 c #Conflicts: 205000 | #Constraints: 16596
9.30/9.49 c #Conflicts: 206000 | #Constraints: 17596
9.30/9.49 c #Conflicts: 207000 | #Constraints: 18596
9.30/9.49 c INPROCESSING
9.30/9.49 c GARBAGE COLLECT
9.30/9.49 c rational objective 250.5
9.69/9.83 c #Conflicts: 208000 | #Constraints: 10595
9.69/9.83 c #Conflicts: 209000 | #Constraints: 11595
9.69/9.83 c #Conflicts: 210000 | #Constraints: 12595
9.69/9.83 c #Conflicts: 211000 | #Constraints: 13595
9.69/9.83 c #Conflicts: 212000 | #Constraints: 14595
9.69/9.83 c #Conflicts: 213000 | #Constraints: 15595
9.69/9.83 c #Conflicts: 214000 | #Constraints: 16595
9.69/9.83 c #Conflicts: 215000 | #Constraints: 17595
9.69/9.83 c #Conflicts: 216000 | #Constraints: 18595
9.69/9.83 c INPROCESSING
9.69/9.83 c GARBAGE COLLECT
9.69/9.83 c rational objective 250.5
10.39/10.54 c #Conflicts: 217000 | #Constraints: 10398
10.39/10.54 c #Conflicts: 218000 | #Constraints: 11398
10.39/10.54 c #Conflicts: 219000 | #Constraints: 12398
10.39/10.54 c #Conflicts: 220000 | #Constraints: 13398
10.39/10.54 c #Conflicts: 221000 | #Constraints: 14398
10.39/10.54 c #Conflicts: 222000 | #Constraints: 15398
10.39/10.54 c #Conflicts: 223000 | #Constraints: 16398
10.39/10.54 c #Conflicts: 224000 | #Constraints: 17398
10.39/10.54 c #Conflicts: 225000 | #Constraints: 18398
10.39/10.54 c #Conflicts: 226000 | #Constraints: 19398
10.39/10.54 c INPROCESSING
10.39/10.54 c GARBAGE COLLECT
10.39/10.54 c rational objective 250.5
10.80/10.93 c #Conflicts: 227000 | #Constraints: 11005
10.80/10.93 c #Conflicts: 228000 | #Constraints: 12005
10.80/10.93 c #Conflicts: 229000 | #Constraints: 13005
10.80/10.93 c #Conflicts: 230000 | #Constraints: 14005
10.80/10.93 c #Conflicts: 231000 | #Constraints: 15005
10.80/10.93 c #Conflicts: 232000 | #Constraints: 16005
10.80/10.93 c #Conflicts: 233000 | #Constraints: 17005
10.80/10.93 c #Conflicts: 234000 | #Constraints: 18005
10.80/10.93 c #Conflicts: 235000 | #Constraints: 19005
10.80/10.93 c #Conflicts: 236000 | #Constraints: 20005
10.80/10.93 c INPROCESSING
10.80/10.93 c GARBAGE COLLECT
10.80/10.93 c rational objective 250.5
11.20/11.35 c #Conflicts: 237000 | #Constraints: 11399
11.20/11.35 c #Conflicts: 238000 | #Constraints: 12399
11.20/11.35 c #Conflicts: 239000 | #Constraints: 13399
11.20/11.35 c #Conflicts: 240000 | #Constraints: 14399
11.20/11.35 c #Conflicts: 241000 | #Constraints: 15399
11.20/11.35 c #Conflicts: 242000 | #Constraints: 16399
11.20/11.35 c #Conflicts: 243000 | #Constraints: 17399
11.20/11.35 c #Conflicts: 244000 | #Constraints: 18399
11.20/11.35 c #Conflicts: 245000 | #Constraints: 19399
11.20/11.35 c #Conflicts: 246000 | #Constraints: 20399
11.20/11.35 c INPROCESSING
11.20/11.35 c GARBAGE COLLECT
11.20/11.35 c rational objective 250.5
11.69/11.81 c #Conflicts: 247000 | #Constraints: 11592
11.69/11.81 c #Conflicts: 248000 | #Constraints: 12592
11.69/11.81 c #Conflicts: 249000 | #Constraints: 13592
11.69/11.81 c #Conflicts: 250000 | #Constraints: 14592
11.69/11.81 c #Conflicts: 251000 | #Constraints: 15592
11.69/11.81 c #Conflicts: 252000 | #Constraints: 16592
11.69/11.81 c #Conflicts: 253000 | #Constraints: 17592
11.69/11.81 c #Conflicts: 254000 | #Constraints: 18592
11.69/11.81 c #Conflicts: 255000 | #Constraints: 19592
11.69/11.81 c #Conflicts: 256000 | #Constraints: 20592
11.69/11.81 c INPROCESSING
11.69/11.81 c GARBAGE COLLECT
11.69/11.81 c rational objective 250.5
12.09/12.23 c #Conflicts: 257000 | #Constraints: 11596
12.09/12.23 c #Conflicts: 258000 | #Constraints: 12596
12.09/12.23 c #Conflicts: 259000 | #Constraints: 13596
12.09/12.23 c #Conflicts: 260000 | #Constraints: 14596
12.09/12.23 c #Conflicts: 261000 | #Constraints: 15596
12.09/12.23 c #Conflicts: 262000 | #Constraints: 16596
12.09/12.23 c #Conflicts: 263000 | #Constraints: 17596
12.09/12.23 c #Conflicts: 264000 | #Constraints: 18596
12.09/12.23 c #Conflicts: 265000 | #Constraints: 19596
12.09/12.23 c #Conflicts: 266000 | #Constraints: 20596
12.09/12.23 c INPROCESSING
12.09/12.23 c GARBAGE COLLECT
12.09/12.23 c rational objective 250.5
12.59/12.79 c #Conflicts: 267000 | #Constraints: 11393
12.59/12.79 c #Conflicts: 268000 | #Constraints: 12393
12.59/12.79 c #Conflicts: 269000 | #Constraints: 13393
12.59/12.79 c #Conflicts: 270000 | #Constraints: 14393
12.59/12.79 c #Conflicts: 271000 | #Constraints: 15393
12.59/12.79 c #Conflicts: 272000 | #Constraints: 16393
12.59/12.79 c #Conflicts: 273000 | #Constraints: 17393
12.59/12.79 c #Conflicts: 274000 | #Constraints: 18393
12.59/12.79 c #Conflicts: 275000 | #Constraints: 19393
12.59/12.79 c #Conflicts: 276000 | #Constraints: 20393
12.59/12.79 c #Conflicts: 277000 | #Constraints: 21393
12.59/12.79 c INPROCESSING
12.59/12.79 c GARBAGE COLLECT
12.59/12.79 c rational objective 250.5
13.09/13.27 c #Conflicts: 278000 | #Constraints: 11991
13.09/13.27 c #Conflicts: 279000 | #Constraints: 12991
13.09/13.27 c #Conflicts: 280000 | #Constraints: 13991
13.09/13.27 c #Conflicts: 281000 | #Constraints: 14991
13.09/13.27 c #Conflicts: 282000 | #Constraints: 15991
13.09/13.27 c #Conflicts: 283000 | #Constraints: 16991
13.09/13.27 c #Conflicts: 284000 | #Constraints: 17991
13.09/13.27 c #Conflicts: 285000 | #Constraints: 18991
13.09/13.27 c #Conflicts: 286000 | #Constraints: 19991
13.09/13.27 c #Conflicts: 287000 | #Constraints: 20991
13.09/13.27 c #Conflicts: 288000 | #Constraints: 21991
13.09/13.27 c INPROCESSING
13.09/13.27 c GARBAGE COLLECT
13.09/13.27 c rational objective 250.5
13.58/13.74 c #Conflicts: 289000 | #Constraints: 12389
13.58/13.74 c #Conflicts: 290000 | #Constraints: 13389
13.58/13.74 c #Conflicts: 291000 | #Constraints: 14389
13.58/13.74 c #Conflicts: 292000 | #Constraints: 15389
13.58/13.74 c #Conflicts: 293000 | #Constraints: 16389
13.58/13.74 c #Conflicts: 294000 | #Constraints: 17389
13.58/13.74 c #Conflicts: 295000 | #Constraints: 18389
13.58/13.74 c #Conflicts: 296000 | #Constraints: 19389
13.58/13.74 c #Conflicts: 297000 | #Constraints: 20389
13.58/13.74 c #Conflicts: 298000 | #Constraints: 21389
13.58/13.74 c #Conflicts: 299000 | #Constraints: 22389
13.58/13.74 c INPROCESSING
13.58/13.74 c GARBAGE COLLECT
13.58/13.74 c rational objective 250.5
14.00/14.18 c #Conflicts: 300000 | #Constraints: 12590
14.00/14.18 c #Conflicts: 301000 | #Constraints: 13590
14.00/14.18 c #Conflicts: 302000 | #Constraints: 14590
14.00/14.18 c #Conflicts: 303000 | #Constraints: 15590
14.00/14.18 c #Conflicts: 304000 | #Constraints: 16590
14.00/14.18 c #Conflicts: 305000 | #Constraints: 17590
14.00/14.18 c #Conflicts: 306000 | #Constraints: 18590
14.00/14.18 c #Conflicts: 307000 | #Constraints: 19590
14.00/14.18 c #Conflicts: 308000 | #Constraints: 20590
14.00/14.18 c #Conflicts: 309000 | #Constraints: 21590
14.00/14.18 c #Conflicts: 310000 | #Constraints: 22590
14.00/14.18 c INPROCESSING
14.00/14.18 c GARBAGE COLLECT
14.00/14.18 c rational objective 250.5
14.49/14.62 c #Conflicts: 311000 | #Constraints: 12590
14.49/14.62 c #Conflicts: 312000 | #Constraints: 13590
14.49/14.62 c #Conflicts: 313000 | #Constraints: 14590
14.49/14.62 c #Conflicts: 314000 | #Constraints: 15590
14.49/14.62 c #Conflicts: 315000 | #Constraints: 16590
14.49/14.62 c #Conflicts: 316000 | #Constraints: 17590
14.49/14.62 c #Conflicts: 317000 | #Constraints: 18590
14.49/14.62 c #Conflicts: 318000 | #Constraints: 19590
14.49/14.62 c #Conflicts: 319000 | #Constraints: 20590
14.49/14.62 c #Conflicts: 320000 | #Constraints: 21590
14.49/14.62 c #Conflicts: 321000 | #Constraints: 22590
14.49/14.62 c INPROCESSING
14.49/14.62 c GARBAGE COLLECT
14.49/14.62 c rational objective 250.5
15.08/15.26 c #Conflicts: 322000 | #Constraints: 12398
15.08/15.26 c #Conflicts: 323000 | #Constraints: 13398
15.08/15.26 c #Conflicts: 324000 | #Constraints: 14398
15.08/15.26 c #Conflicts: 325000 | #Constraints: 15398
15.08/15.26 c #Conflicts: 326000 | #Constraints: 16398
15.08/15.26 c #Conflicts: 327000 | #Constraints: 17398
15.08/15.26 c #Conflicts: 328000 | #Constraints: 18398
15.08/15.26 c #Conflicts: 329000 | #Constraints: 19398
15.08/15.26 c #Conflicts: 330000 | #Constraints: 20398
15.08/15.26 c #Conflicts: 331000 | #Constraints: 21398
15.08/15.26 c #Conflicts: 332000 | #Constraints: 22398
15.08/15.26 c #Conflicts: 333000 | #Constraints: 23398
15.08/15.26 c INPROCESSING
15.08/15.26 c GARBAGE COLLECT
15.08/15.26 c rational objective 250.5
15.58/15.76 c #Conflicts: 334000 | #Constraints: 13000
15.58/15.76 c #Conflicts: 335000 | #Constraints: 14000
15.58/15.76 c #Conflicts: 336000 | #Constraints: 15000
15.58/15.76 c #Conflicts: 337000 | #Constraints: 16000
15.58/15.76 c #Conflicts: 338000 | #Constraints: 17000
15.58/15.76 c #Conflicts: 339000 | #Constraints: 18000
15.58/15.76 c #Conflicts: 340000 | #Constraints: 19000
15.58/15.76 c #Conflicts: 341000 | #Constraints: 20000
15.58/15.76 c #Conflicts: 342000 | #Constraints: 21000
15.58/15.76 c #Conflicts: 343000 | #Constraints: 22000
15.58/15.76 c #Conflicts: 344000 | #Constraints: 23000
15.58/15.76 c #Conflicts: 345000 | #Constraints: 24000
15.58/15.76 c INPROCESSING
15.58/15.76 c GARBAGE COLLECT
15.58/15.76 c rational objective 250.5
16.08/16.29 c #Conflicts: 346000 | #Constraints: 13395
16.08/16.29 c #Conflicts: 347000 | #Constraints: 14395
16.08/16.29 c #Conflicts: 348000 | #Constraints: 15395
16.08/16.29 c #Conflicts: 349000 | #Constraints: 16395
16.08/16.29 c #Conflicts: 350000 | #Constraints: 17395
16.08/16.29 c #Conflicts: 351000 | #Constraints: 18395
16.08/16.29 c #Conflicts: 352000 | #Constraints: 19395
16.08/16.29 c #Conflicts: 353000 | #Constraints: 20395
16.08/16.29 c #Conflicts: 354000 | #Constraints: 21395
16.08/16.29 c #Conflicts: 355000 | #Constraints: 22395
16.08/16.29 c #Conflicts: 356000 | #Constraints: 23395
16.08/16.29 c #Conflicts: 357000 | #Constraints: 24395
16.08/16.29 c INPROCESSING
16.08/16.29 c GARBAGE COLLECT
16.08/16.29 c rational objective 250.5
16.58/16.79 c #Conflicts: 358000 | #Constraints: 13588
16.58/16.79 c #Conflicts: 359000 | #Constraints: 14588
16.58/16.79 c #Conflicts: 360000 | #Constraints: 15588
16.58/16.79 c #Conflicts: 361000 | #Constraints: 16588
16.58/16.79 c #Conflicts: 362000 | #Constraints: 17588
16.58/16.79 c #Conflicts: 363000 | #Constraints: 18588
16.58/16.79 c #Conflicts: 364000 | #Constraints: 19588
16.58/16.79 c #Conflicts: 365000 | #Constraints: 20588
16.58/16.79 c #Conflicts: 366000 | #Constraints: 21588
16.58/16.79 c #Conflicts: 367000 | #Constraints: 22588
16.58/16.79 c #Conflicts: 368000 | #Constraints: 23588
16.58/16.79 c #Conflicts: 369000 | #Constraints: 24588
16.58/16.79 c INPROCESSING
16.58/16.79 c GARBAGE COLLECT
16.58/16.79 c rational objective 250.5
17.08/17.29 c #Conflicts: 370000 | #Constraints: 13593
17.08/17.29 c #Conflicts: 371000 | #Constraints: 14593
17.08/17.29 c #Conflicts: 372000 | #Constraints: 15593
17.08/17.29 c #Conflicts: 373000 | #Constraints: 16593
17.08/17.29 c #Conflicts: 374000 | #Constraints: 17593
17.08/17.29 c #Conflicts: 375000 | #Constraints: 18593
17.08/17.29 c #Conflicts: 376000 | #Constraints: 19593
17.08/17.29 c #Conflicts: 377000 | #Constraints: 20593
17.08/17.29 c #Conflicts: 378000 | #Constraints: 21593
17.08/17.29 c #Conflicts: 379000 | #Constraints: 22593
17.08/17.29 c #Conflicts: 380000 | #Constraints: 23593
17.08/17.29 c #Conflicts: 381000 | #Constraints: 24593
17.08/17.29 c INPROCESSING
17.08/17.29 c GARBAGE COLLECT
17.08/17.29 c rational objective 250.5
17.57/17.77 c #Conflicts: 382000 | #Constraints: 13389
17.57/17.77 c #Conflicts: 383000 | #Constraints: 14389
17.57/17.77 c #Conflicts: 384000 | #Constraints: 15389
17.57/17.77 c #Conflicts: 385000 | #Constraints: 16389
17.57/17.77 c #Conflicts: 386000 | #Constraints: 17389
17.57/17.77 c #Conflicts: 387000 | #Constraints: 18389
17.57/17.77 c #Conflicts: 388000 | #Constraints: 19389
17.57/17.77 c #Conflicts: 389000 | #Constraints: 20389
17.57/17.77 c #Conflicts: 390000 | #Constraints: 21389
17.57/17.77 c #Conflicts: 391000 | #Constraints: 22389
17.57/17.77 c #Conflicts: 392000 | #Constraints: 23389
17.57/17.77 c #Conflicts: 393000 | #Constraints: 24389
17.57/17.77 c #Conflicts: 394000 | #Constraints: 25389
17.57/17.77 c INPROCESSING
17.57/17.77 c GARBAGE COLLECT
17.57/17.77 c rational objective 250.5
18.18/18.36 c #Conflicts: 395000 | #Constraints: 14000
18.18/18.36 c #Conflicts: 396000 | #Constraints: 15000
18.18/18.36 c #Conflicts: 397000 | #Constraints: 16000
18.18/18.36 c #Conflicts: 398000 | #Constraints: 17000
18.18/18.36 c #Conflicts: 399000 | #Constraints: 18000
18.18/18.36 c #Conflicts: 400000 | #Constraints: 19000
18.18/18.36 c #Conflicts: 401000 | #Constraints: 20000
18.18/18.36 c #Conflicts: 402000 | #Constraints: 21000
18.18/18.36 c #Conflicts: 403000 | #Constraints: 22000
18.18/18.36 c #Conflicts: 404000 | #Constraints: 23000
18.18/18.36 c #Conflicts: 405000 | #Constraints: 24000
18.18/18.36 c #Conflicts: 406000 | #Constraints: 25000
18.18/18.36 c #Conflicts: 407000 | #Constraints: 26000
18.18/18.36 c INPROCESSING
18.18/18.36 c GARBAGE COLLECT
18.18/18.36 c rational objective 250.5
18.77/18.95 c #Conflicts: 408000 | #Constraints: 14399
18.77/18.95 c #Conflicts: 409000 | #Constraints: 15399
18.77/18.95 c #Conflicts: 410000 | #Constraints: 16399
18.77/18.95 c #Conflicts: 411000 | #Constraints: 17399
18.77/18.95 c #Conflicts: 412000 | #Constraints: 18399
18.77/18.95 c #Conflicts: 413000 | #Constraints: 19399
18.77/18.95 c #Conflicts: 414000 | #Constraints: 20399
18.77/18.95 c #Conflicts: 415000 | #Constraints: 21399
18.77/18.95 c #Conflicts: 416000 | #Constraints: 22399
18.77/18.95 c #Conflicts: 417000 | #Constraints: 23399
18.77/18.95 c #Conflicts: 418000 | #Constraints: 24399
18.77/18.95 c #Conflicts: 419000 | #Constraints: 25399
18.77/18.95 c #Conflicts: 420000 | #Constraints: 26399
18.77/18.95 c INPROCESSING
18.77/18.95 c GARBAGE COLLECT
18.77/18.95 c rational objective 250.5
19.47/19.63 c #Conflicts: 421000 | #Constraints: 14609
19.47/19.63 c #Conflicts: 422000 | #Constraints: 15609
19.47/19.63 c #Conflicts: 423000 | #Constraints: 16609
19.47/19.63 c #Conflicts: 424000 | #Constraints: 17609
19.47/19.63 c #Conflicts: 425000 | #Constraints: 18609
19.47/19.63 c #Conflicts: 426000 | #Constraints: 19609
19.47/19.63 c #Conflicts: 427000 | #Constraints: 20609
19.47/19.63 c #Conflicts: 428000 | #Constraints: 21609
19.47/19.63 c #Conflicts: 429000 | #Constraints: 22609
19.47/19.63 c #Conflicts: 430000 | #Constraints: 23609
19.47/19.63 c #Conflicts: 431000 | #Constraints: 24609
19.47/19.63 c #Conflicts: 432000 | #Constraints: 25609
19.47/19.63 c #Conflicts: 433000 | #Constraints: 26609
19.47/19.63 c INPROCESSING
19.47/19.63 c GARBAGE COLLECT
19.47/19.63 c rational objective 250.5
20.07/20.22 c #Conflicts: 434000 | #Constraints: 14611
20.07/20.22 c #Conflicts: 435000 | #Constraints: 15611
20.07/20.22 c #Conflicts: 436000 | #Constraints: 16611
20.07/20.22 c #Conflicts: 437000 | #Constraints: 17611
20.07/20.22 c #Conflicts: 438000 | #Constraints: 18611
20.07/20.22 c #Conflicts: 439000 | #Constraints: 19611
20.07/20.22 c #Conflicts: 440000 | #Constraints: 20611
20.07/20.22 c #Conflicts: 441000 | #Constraints: 21611
20.07/20.22 c #Conflicts: 442000 | #Constraints: 22611
20.07/20.22 c #Conflicts: 443000 | #Constraints: 23611
20.07/20.22 c #Conflicts: 444000 | #Constraints: 24611
20.07/20.22 c #Conflicts: 445000 | #Constraints: 25611
20.07/20.22 c #Conflicts: 446000 | #Constraints: 26611
20.07/20.22 c INPROCESSING
20.07/20.22 c GARBAGE COLLECT
20.07/20.22 c rational objective 250.5
20.57/20.73 c #Conflicts: 447000 | #Constraints: 14413
20.57/20.73 c #Conflicts: 448000 | #Constraints: 15413
20.57/20.73 c #Conflicts: 449000 | #Constraints: 16413
20.57/20.73 c #Conflicts: 450000 | #Constraints: 17413
20.57/20.73 c #Conflicts: 451000 | #Constraints: 18413
20.57/20.73 c #Conflicts: 452000 | #Constraints: 19413
20.57/20.73 c #Conflicts: 453000 | #Constraints: 20413
20.57/20.73 c #Conflicts: 454000 | #Constraints: 21413
20.57/20.73 c #Conflicts: 455000 | #Constraints: 22413
20.57/20.73 c #Conflicts: 456000 | #Constraints: 23413
20.57/20.73 c #Conflicts: 457000 | #Constraints: 24413
20.57/20.73 c #Conflicts: 458000 | #Constraints: 25413
20.57/20.73 c #Conflicts: 459000 | #Constraints: 26413
20.57/20.73 c #Conflicts: 460000 | #Constraints: 27413
20.57/20.73 c INPROCESSING
20.57/20.73 c GARBAGE COLLECT
20.57/20.73 c rational objective 250.5
21.07/21.27 c #Conflicts: 461000 | #Constraints: 15017
21.07/21.27 c #Conflicts: 462000 | #Constraints: 16017
21.07/21.27 c #Conflicts: 463000 | #Constraints: 17017
21.07/21.27 c #Conflicts: 464000 | #Constraints: 18017
21.07/21.27 c #Conflicts: 465000 | #Constraints: 19017
21.07/21.27 c #Conflicts: 466000 | #Constraints: 20017
21.07/21.27 c #Conflicts: 467000 | #Constraints: 21017
21.07/21.27 c #Conflicts: 468000 | #Constraints: 22017
21.07/21.27 c #Conflicts: 469000 | #Constraints: 23017
21.07/21.27 c #Conflicts: 470000 | #Constraints: 24017
21.07/21.27 c #Conflicts: 471000 | #Constraints: 25017
21.07/21.27 c #Conflicts: 472000 | #Constraints: 26017
21.07/21.27 c #Conflicts: 473000 | #Constraints: 27017
21.07/21.27 c #Conflicts: 474000 | #Constraints: 28017
21.07/21.27 c INPROCESSING
21.07/21.27 c GARBAGE COLLECT
21.07/21.27 c rational objective 250.5
21.76/22.00 c #Conflicts: 475000 | #Constraints: 15419
21.76/22.00 c #Conflicts: 476000 | #Constraints: 16419
21.76/22.00 c #Conflicts: 477000 | #Constraints: 17419
21.76/22.00 c #Conflicts: 478000 | #Constraints: 18419
21.76/22.00 c #Conflicts: 479000 | #Constraints: 19419
21.76/22.00 c #Conflicts: 480000 | #Constraints: 20419
21.76/22.00 c #Conflicts: 481000 | #Constraints: 21419
21.76/22.00 c #Conflicts: 482000 | #Constraints: 22419
21.76/22.00 c #Conflicts: 483000 | #Constraints: 23419
21.76/22.00 c #Conflicts: 484000 | #Constraints: 24419
21.76/22.00 c #Conflicts: 485000 | #Constraints: 25419
21.76/22.00 c #Conflicts: 486000 | #Constraints: 26419
21.76/22.00 c #Conflicts: 487000 | #Constraints: 27419
21.76/22.00 c #Conflicts: 488000 | #Constraints: 28419
21.76/22.00 c INPROCESSING
21.76/22.00 c GARBAGE COLLECT
21.76/22.00 c rational objective 250.5
22.76/22.95 c #Conflicts: 489000 | #Constraints: 15624
22.76/22.95 c #Conflicts: 490000 | #Constraints: 16624
22.76/22.95 c #Conflicts: 491000 | #Constraints: 17624
22.76/22.95 c #Conflicts: 492000 | #Constraints: 18624
22.76/22.95 c #Conflicts: 493000 | #Constraints: 19624
22.76/22.95 c #Conflicts: 494000 | #Constraints: 20624
22.76/22.95 c #Conflicts: 495000 | #Constraints: 21624
22.76/22.95 c #Conflicts: 496000 | #Constraints: 22624
22.76/22.95 c #Conflicts: 497000 | #Constraints: 23624
22.76/22.95 c #Conflicts: 498000 | #Constraints: 24624
22.76/22.95 c #Conflicts: 499000 | #Constraints: 25624
22.76/22.95 c #Conflicts: 500000 | #Constraints: 26624
22.76/22.95 c #Conflicts: 501000 | #Constraints: 27624
22.76/22.95 c #Conflicts: 502000 | #Constraints: 28624
22.76/22.95 c INPROCESSING
22.76/22.95 c GARBAGE COLLECT
22.76/22.95 c rational objective 250.5
23.36/23.50 c #Conflicts: 503000 | #Constraints: 15619
23.36/23.50 c #Conflicts: 504000 | #Constraints: 16619
23.36/23.50 c #Conflicts: 505000 | #Constraints: 17619
23.36/23.50 c #Conflicts: 506000 | #Constraints: 18619
23.36/23.50 c #Conflicts: 507000 | #Constraints: 19619
23.36/23.50 c #Conflicts: 508000 | #Constraints: 20619
23.36/23.50 c #Conflicts: 509000 | #Constraints: 21619
23.36/23.50 c #Conflicts: 510000 | #Constraints: 22619
23.36/23.50 c #Conflicts: 511000 | #Constraints: 23619
23.36/23.50 c #Conflicts: 512000 | #Constraints: 24619
23.36/23.50 c #Conflicts: 513000 | #Constraints: 25619
23.36/23.50 c #Conflicts: 514000 | #Constraints: 26619
23.36/23.50 c #Conflicts: 515000 | #Constraints: 27619
23.36/23.50 c #Conflicts: 516000 | #Constraints: 28619
23.36/23.50 c INPROCESSING
23.36/23.50 c GARBAGE COLLECT
23.36/23.50 c rational objective 250.5
24.05/24.22 c #Conflicts: 517000 | #Constraints: 15410
24.05/24.22 c #Conflicts: 518000 | #Constraints: 16410
24.05/24.22 c #Conflicts: 519000 | #Constraints: 17410
24.05/24.22 c #Conflicts: 520000 | #Constraints: 18410
24.05/24.22 c #Conflicts: 521000 | #Constraints: 19410
24.05/24.22 c #Conflicts: 522000 | #Constraints: 20410
24.05/24.22 c #Conflicts: 523000 | #Constraints: 21410
24.05/24.22 c #Conflicts: 524000 | #Constraints: 22410
24.05/24.22 c #Conflicts: 525000 | #Constraints: 23410
24.05/24.22 c #Conflicts: 526000 | #Constraints: 24410
24.05/24.22 c #Conflicts: 527000 | #Constraints: 25410
24.05/24.22 c #Conflicts: 528000 | #Constraints: 26410
24.05/24.22 c #Conflicts: 529000 | #Constraints: 27410
24.05/24.22 c #Conflicts: 530000 | #Constraints: 28410
24.05/24.22 c #Conflicts: 531000 | #Constraints: 29410
24.05/24.22 c INPROCESSING
24.05/24.22 c GARBAGE COLLECT
24.05/24.22 c rational objective 250.5
24.66/24.86 c #Conflicts: 532000 | #Constraints: 16010
24.66/24.86 c #Conflicts: 533000 | #Constraints: 17010
24.66/24.86 c #Conflicts: 534000 | #Constraints: 18010
24.66/24.86 c #Conflicts: 535000 | #Constraints: 19010
24.66/24.86 c #Conflicts: 536000 | #Constraints: 20010
24.66/24.86 c #Conflicts: 537000 | #Constraints: 21010
24.66/24.86 c #Conflicts: 538000 | #Constraints: 22010
24.66/24.86 c #Conflicts: 539000 | #Constraints: 23010
24.66/24.86 c #Conflicts: 540000 | #Constraints: 24010
24.66/24.86 c #Conflicts: 541000 | #Constraints: 25010
24.66/24.86 c #Conflicts: 542000 | #Constraints: 26010
24.66/24.86 c #Conflicts: 543000 | #Constraints: 27010
24.66/24.86 c #Conflicts: 544000 | #Constraints: 28010
24.66/24.86 c #Conflicts: 545000 | #Constraints: 29010
24.66/24.86 c #Conflicts: 546000 | #Constraints: 30010
24.66/24.86 c INPROCESSING
24.66/24.86 c GARBAGE COLLECT
24.66/24.86 c rational objective 250.5
25.46/25.64 c #Conflicts: 547000 | #Constraints: 16413
25.46/25.64 c #Conflicts: 548000 | #Constraints: 17413
25.46/25.64 c #Conflicts: 549000 | #Constraints: 18413
25.46/25.64 c #Conflicts: 550000 | #Constraints: 19413
25.46/25.64 c #Conflicts: 551000 | #Constraints: 20413
25.46/25.64 c #Conflicts: 552000 | #Constraints: 21413
25.46/25.64 c #Conflicts: 553000 | #Constraints: 22413
25.46/25.64 c #Conflicts: 554000 | #Constraints: 23413
25.46/25.64 c #Conflicts: 555000 | #Constraints: 24413
25.46/25.64 c #Conflicts: 556000 | #Constraints: 25413
25.46/25.64 c #Conflicts: 557000 | #Constraints: 26413
25.46/25.64 c #Conflicts: 558000 | #Constraints: 27413
25.46/25.64 c #Conflicts: 559000 | #Constraints: 28413
25.46/25.64 c #Conflicts: 560000 | #Constraints: 29413
25.46/25.64 c #Conflicts: 561000 | #Constraints: 30413
25.46/25.64 c INPROCESSING
25.46/25.64 c GARBAGE COLLECT
25.46/25.64 c rational objective 250.5
26.15/26.32 c #Conflicts: 562000 | #Constraints: 16605
26.15/26.32 c #Conflicts: 563000 | #Constraints: 17605
26.15/26.32 c #Conflicts: 564000 | #Constraints: 18605
26.15/26.32 c #Conflicts: 565000 | #Constraints: 19605
26.15/26.32 c #Conflicts: 566000 | #Constraints: 20605
26.15/26.32 c #Conflicts: 567000 | #Constraints: 21605
26.15/26.32 c #Conflicts: 568000 | #Constraints: 22605
26.15/26.32 c #Conflicts: 569000 | #Constraints: 23605
26.15/26.32 c #Conflicts: 570000 | #Constraints: 24605
26.15/26.32 c #Conflicts: 571000 | #Constraints: 25605
26.15/26.32 c #Conflicts: 572000 | #Constraints: 26605
26.15/26.32 c #Conflicts: 573000 | #Constraints: 27605
26.15/26.32 c #Conflicts: 574000 | #Constraints: 28605
26.15/26.32 c #Conflicts: 575000 | #Constraints: 29605
26.15/26.32 c #Conflicts: 576000 | #Constraints: 30605
26.15/26.32 c INPROCESSING
26.15/26.32 c GARBAGE COLLECT
26.15/26.32 c rational objective 250.5
26.75/27.00 c #Conflicts: 577000 | #Constraints: 16607
26.75/27.00 c #Conflicts: 578000 | #Constraints: 17607
26.75/27.00 c #Conflicts: 579000 | #Constraints: 18607
26.75/27.00 c #Conflicts: 580000 | #Constraints: 19607
26.75/27.00 c #Conflicts: 581000 | #Constraints: 20607
26.75/27.00 c #Conflicts: 582000 | #Constraints: 21607
26.75/27.00 c #Conflicts: 583000 | #Constraints: 22607
26.75/27.00 c #Conflicts: 584000 | #Constraints: 23607
26.75/27.00 c #Conflicts: 585000 | #Constraints: 24607
26.75/27.00 c #Conflicts: 586000 | #Constraints: 25607
26.75/27.00 c #Conflicts: 587000 | #Constraints: 26607
26.75/27.00 c #Conflicts: 588000 | #Constraints: 27607
26.75/27.00 c #Conflicts: 589000 | #Constraints: 28607
26.75/27.00 c #Conflicts: 590000 | #Constraints: 29607
26.75/27.00 c #Conflicts: 591000 | #Constraints: 30607
26.75/27.00 c INPROCESSING
26.75/27.00 c GARBAGE COLLECT
26.75/27.00 c rational objective 250.5
27.55/27.74 c #Conflicts: 592000 | #Constraints: 16399
27.55/27.74 c #Conflicts: 593000 | #Constraints: 17399
27.55/27.74 c #Conflicts: 594000 | #Constraints: 18399
27.55/27.74 c #Conflicts: 595000 | #Constraints: 19399
27.55/27.74 c #Conflicts: 596000 | #Constraints: 20399
27.55/27.74 c #Conflicts: 597000 | #Constraints: 21399
27.55/27.74 c #Conflicts: 598000 | #Constraints: 22399
27.55/27.74 c #Conflicts: 599000 | #Constraints: 23399
27.55/27.74 c #Conflicts: 600000 | #Constraints: 24399
27.55/27.74 c #Conflicts: 601000 | #Constraints: 25399
27.55/27.74 c #Conflicts: 602000 | #Constraints: 26399
27.55/27.74 c #Conflicts: 603000 | #Constraints: 27399
27.55/27.74 c #Conflicts: 604000 | #Constraints: 28399
27.55/27.74 c #Conflicts: 605000 | #Constraints: 29399
27.55/27.74 c #Conflicts: 606000 | #Constraints: 30399
27.55/27.74 c #Conflicts: 607000 | #Constraints: 31399
27.55/27.74 c INPROCESSING
27.55/27.74 c GARBAGE COLLECT
27.55/27.74 c rational objective 250.5
28.45/28.60 c #Conflicts: 608000 | #Constraints: 17000
28.45/28.60 c #Conflicts: 609000 | #Constraints: 18000
28.45/28.60 c #Conflicts: 610000 | #Constraints: 19000
28.45/28.60 c #Conflicts: 611000 | #Constraints: 20000
28.45/28.60 c #Conflicts: 612000 | #Constraints: 21000
28.45/28.60 c #Conflicts: 613000 | #Constraints: 22000
28.45/28.60 c #Conflicts: 614000 | #Constraints: 23000
28.45/28.60 c #Conflicts: 615000 | #Constraints: 24000
28.45/28.60 c #Conflicts: 616000 | #Constraints: 25000
28.45/28.60 c #Conflicts: 617000 | #Constraints: 26000
28.45/28.60 c #Conflicts: 618000 | #Constraints: 27000
28.45/28.60 c #Conflicts: 619000 | #Constraints: 28000
28.45/28.60 c #Conflicts: 620000 | #Constraints: 29000
28.45/28.60 c #Conflicts: 621000 | #Constraints: 30000
28.45/28.60 c #Conflicts: 622000 | #Constraints: 31000
28.45/28.60 c #Conflicts: 623000 | #Constraints: 32000
28.45/28.60 c INPROCESSING
28.45/28.60 c GARBAGE COLLECT
28.45/28.60 c rational objective 250.5
29.15/29.36 c #Conflicts: 624000 | #Constraints: 17397
29.15/29.36 c #Conflicts: 625000 | #Constraints: 18397
29.15/29.36 c #Conflicts: 626000 | #Constraints: 19397
29.15/29.36 c #Conflicts: 627000 | #Constraints: 20397
29.15/29.36 c #Conflicts: 628000 | #Constraints: 21397
29.15/29.36 c #Conflicts: 629000 | #Constraints: 22397
29.15/29.36 c #Conflicts: 630000 | #Constraints: 23397
29.15/29.36 c #Conflicts: 631000 | #Constraints: 24397
29.15/29.36 c #Conflicts: 632000 | #Constraints: 25397
29.15/29.36 c #Conflicts: 633000 | #Constraints: 26397
29.15/29.36 c #Conflicts: 634000 | #Constraints: 27397
29.15/29.36 c #Conflicts: 635000 | #Constraints: 28397
29.15/29.36 c #Conflicts: 636000 | #Constraints: 29397
29.15/29.36 c #Conflicts: 637000 | #Constraints: 30397
29.15/29.36 c #Conflicts: 638000 | #Constraints: 31397
29.15/29.36 c #Conflicts: 639000 | #Constraints: 32397
29.15/29.36 c INPROCESSING
29.15/29.36 c GARBAGE COLLECT
29.15/29.36 c rational objective 250.5
29.86/30.10 c #Conflicts: 640000 | #Constraints: 17601
29.86/30.10 c #Conflicts: 641000 | #Constraints: 18601
29.86/30.10 c #Conflicts: 642000 | #Constraints: 19601
29.86/30.10 c #Conflicts: 643000 | #Constraints: 20601
29.86/30.10 c #Conflicts: 644000 | #Constraints: 21601
29.86/30.10 c #Conflicts: 645000 | #Constraints: 22601
29.86/30.10 c #Conflicts: 646000 | #Constraints: 23601
29.86/30.10 c #Conflicts: 647000 | #Constraints: 24601
29.86/30.10 c #Conflicts: 648000 | #Constraints: 25601
29.86/30.10 c #Conflicts: 649000 | #Constraints: 26601
29.86/30.10 c #Conflicts: 650000 | #Constraints: 27601
29.86/30.10 c #Conflicts: 651000 | #Constraints: 28601
29.86/30.10 c #Conflicts: 652000 | #Constraints: 29601
29.86/30.10 c #Conflicts: 653000 | #Constraints: 30601
29.86/30.10 c #Conflicts: 654000 | #Constraints: 31601
29.86/30.10 c #Conflicts: 655000 | #Constraints: 32601
29.86/30.10 c INPROCESSING
29.86/30.10 c GARBAGE COLLECT
29.86/30.10 c rational objective 250.5
30.64/30.84 c #Conflicts: 656000 | #Constraints: 17599
30.64/30.84 c #Conflicts: 657000 | #Constraints: 18599
30.64/30.84 c #Conflicts: 658000 | #Constraints: 19599
30.64/30.84 c #Conflicts: 659000 | #Constraints: 20599
30.64/30.84 c #Conflicts: 660000 | #Constraints: 21599
30.64/30.84 c #Conflicts: 661000 | #Constraints: 22599
30.64/30.84 c #Conflicts: 662000 | #Constraints: 23599
30.64/30.84 c #Conflicts: 663000 | #Constraints: 24599
30.64/30.84 c #Conflicts: 664000 | #Constraints: 25599
30.64/30.84 c #Conflicts: 665000 | #Constraints: 26599
30.64/30.84 c #Conflicts: 666000 | #Constraints: 27599
30.64/30.84 c #Conflicts: 667000 | #Constraints: 28599
30.64/30.84 c #Conflicts: 668000 | #Constraints: 29599
30.64/30.84 c #Conflicts: 669000 | #Constraints: 30599
30.64/30.84 c #Conflicts: 670000 | #Constraints: 31599
30.64/30.84 c #Conflicts: 671000 | #Constraints: 32599
30.64/30.84 c INPROCESSING
30.64/30.84 c GARBAGE COLLECT
30.64/30.84 c rational objective 250.5
31.44/31.61 c #Conflicts: 672000 | #Constraints: 17400
31.44/31.61 c #Conflicts: 673000 | #Constraints: 18400
31.44/31.61 c #Conflicts: 674000 | #Constraints: 19400
31.44/31.61 c #Conflicts: 675000 | #Constraints: 20400
31.44/31.61 c #Conflicts: 676000 | #Constraints: 21400
31.44/31.61 c #Conflicts: 677000 | #Constraints: 22400
31.44/31.61 c #Conflicts: 678000 | #Constraints: 23400
31.44/31.61 c #Conflicts: 679000 | #Constraints: 24400
31.44/31.61 c #Conflicts: 680000 | #Constraints: 25400
31.44/31.61 c #Conflicts: 681000 | #Constraints: 26400
31.44/31.61 c #Conflicts: 682000 | #Constraints: 27400
31.44/31.61 c #Conflicts: 683000 | #Constraints: 28400
31.44/31.61 c #Conflicts: 684000 | #Constraints: 29400
31.44/31.61 c #Conflicts: 685000 | #Constraints: 30400
31.44/31.61 c #Conflicts: 686000 | #Constraints: 31400
31.44/31.61 c #Conflicts: 687000 | #Constraints: 32400
31.44/31.61 c #Conflicts: 688000 | #Constraints: 33401
31.44/31.61 c INPROCESSING
31.44/31.61 c GARBAGE COLLECT
31.44/31.61 c rational objective 250.5
32.24/32.48 c #Conflicts: 689000 | #Constraints: 17999
32.24/32.48 c #Conflicts: 690000 | #Constraints: 18999
32.24/32.48 c #Conflicts: 691000 | #Constraints: 19999
32.24/32.48 c #Conflicts: 692000 | #Constraints: 20999
32.24/32.48 c #Conflicts: 693000 | #Constraints: 21999
32.24/32.48 c #Conflicts: 694000 | #Constraints: 22999
32.24/32.48 c #Conflicts: 695000 | #Constraints: 23999
32.24/32.48 c #Conflicts: 696000 | #Constraints: 24999
32.24/32.48 c #Conflicts: 697000 | #Constraints: 25999
32.24/32.48 c #Conflicts: 698000 | #Constraints: 26999
32.24/32.48 c #Conflicts: 699000 | #Constraints: 27999
32.24/32.48 c #Conflicts: 700000 | #Constraints: 28999
32.24/32.48 c #Conflicts: 701000 | #Constraints: 29999
32.24/32.48 c #Conflicts: 702000 | #Constraints: 30999
32.24/32.48 c #Conflicts: 703000 | #Constraints: 31999
32.24/32.48 c #Conflicts: 704000 | #Constraints: 32999
32.24/32.48 c #Conflicts: 705000 | #Constraints: 33999
32.24/32.48 c INPROCESSING
32.24/32.48 c GARBAGE COLLECT
32.24/32.48 c rational objective 250.5
33.23/33.46 c #Conflicts: 706000 | #Constraints: 18407
33.23/33.46 c #Conflicts: 707000 | #Constraints: 19407
33.23/33.46 c #Conflicts: 708000 | #Constraints: 20407
33.23/33.46 c #Conflicts: 709000 | #Constraints: 21407
33.23/33.46 c #Conflicts: 710000 | #Constraints: 22407
33.23/33.46 c #Conflicts: 711000 | #Constraints: 23407
33.23/33.46 c #Conflicts: 712000 | #Constraints: 24407
33.23/33.46 c #Conflicts: 713000 | #Constraints: 25407
33.23/33.46 c #Conflicts: 714000 | #Constraints: 26407
33.23/33.46 c #Conflicts: 715000 | #Constraints: 27407
33.23/33.46 c #Conflicts: 716000 | #Constraints: 28407
33.23/33.46 c #Conflicts: 717000 | #Constraints: 29407
33.23/33.46 c #Conflicts: 718000 | #Constraints: 30407
33.23/33.46 c #Conflicts: 719000 | #Constraints: 31407
33.23/33.46 c #Conflicts: 720000 | #Constraints: 32407
33.23/33.46 c #Conflicts: 721000 | #Constraints: 33407
33.23/33.46 c #Conflicts: 722000 | #Constraints: 34407
33.23/33.46 c INPROCESSING
33.23/33.46 c GARBAGE COLLECT
33.23/33.46 c rational objective 250.5
34.13/34.36 c #Conflicts: 723000 | #Constraints: 18613
34.13/34.36 c #Conflicts: 724000 | #Constraints: 19613
34.13/34.36 c #Conflicts: 725000 | #Constraints: 20613
34.13/34.36 c #Conflicts: 726000 | #Constraints: 21613
34.13/34.36 c #Conflicts: 727000 | #Constraints: 22613
34.13/34.36 c #Conflicts: 728000 | #Constraints: 23613
34.13/34.36 c #Conflicts: 729000 | #Constraints: 24613
34.13/34.36 c #Conflicts: 730000 | #Constraints: 25613
34.13/34.36 c #Conflicts: 731000 | #Constraints: 26613
34.13/34.36 c #Conflicts: 732000 | #Constraints: 27613
34.13/34.36 c #Conflicts: 733000 | #Constraints: 28613
34.13/34.36 c #Conflicts: 734000 | #Constraints: 29613
34.13/34.36 c #Conflicts: 735000 | #Constraints: 30613
34.13/34.36 c #Conflicts: 736000 | #Constraints: 31613
34.13/34.36 c #Conflicts: 737000 | #Constraints: 32613
34.13/34.36 c #Conflicts: 738000 | #Constraints: 33613
34.13/34.36 c #Conflicts: 739000 | #Constraints: 34613
34.13/34.36 c INPROCESSING
34.13/34.36 c GARBAGE COLLECT
34.13/34.36 c rational objective 250.5
34.94/35.14 c #Conflicts: 740000 | #Constraints: 18613
34.94/35.14 c #Conflicts: 741000 | #Constraints: 19613
34.94/35.14 c #Conflicts: 742000 | #Constraints: 20613
34.94/35.14 c #Conflicts: 743000 | #Constraints: 21613
34.94/35.14 c #Conflicts: 744000 | #Constraints: 22613
34.94/35.14 c #Conflicts: 745000 | #Constraints: 23613
34.94/35.14 c #Conflicts: 746000 | #Constraints: 24613
34.94/35.14 c #Conflicts: 747000 | #Constraints: 25613
34.94/35.14 c #Conflicts: 748000 | #Constraints: 26613
34.94/35.14 c #Conflicts: 749000 | #Constraints: 27613
34.94/35.14 c #Conflicts: 750000 | #Constraints: 28613
34.94/35.14 c #Conflicts: 751000 | #Constraints: 29613
34.94/35.14 c #Conflicts: 752000 | #Constraints: 30613
34.94/35.14 c #Conflicts: 753000 | #Constraints: 31613
34.94/35.14 c #Conflicts: 754000 | #Constraints: 32613
34.94/35.14 c #Conflicts: 755000 | #Constraints: 33613
34.94/35.14 c #Conflicts: 756000 | #Constraints: 34613
34.94/35.14 c INPROCESSING
34.94/35.14 c GARBAGE COLLECT
34.94/35.14 c rational objective 250.5
35.72/35.97 c #Conflicts: 757000 | #Constraints: 18409
35.72/35.97 c #Conflicts: 758000 | #Constraints: 19409
35.72/35.97 c #Conflicts: 759000 | #Constraints: 20410
35.72/35.97 c #Conflicts: 760000 | #Constraints: 21410
35.72/35.97 c #Conflicts: 761000 | #Constraints: 22410
35.72/35.97 c #Conflicts: 762000 | #Constraints: 23410
35.72/35.97 c #Conflicts: 763000 | #Constraints: 24410
35.72/35.97 c #Conflicts: 764000 | #Constraints: 25410
35.72/35.97 c #Conflicts: 765000 | #Constraints: 26410
35.72/35.97 c #Conflicts: 766000 | #Constraints: 27410
35.72/35.97 c #Conflicts: 767000 | #Constraints: 28410
35.72/35.97 c #Conflicts: 768000 | #Constraints: 29410
35.72/35.97 c #Conflicts: 769000 | #Constraints: 30410
35.72/35.97 c #Conflicts: 770000 | #Constraints: 31410
35.72/35.97 c #Conflicts: 771000 | #Constraints: 32410
35.72/35.97 c #Conflicts: 772000 | #Constraints: 33410
35.72/35.97 c #Conflicts: 773000 | #Constraints: 34410
35.72/35.97 c #Conflicts: 774000 | #Constraints: 35410
35.72/35.97 c INPROCESSING
35.72/35.97 c GARBAGE COLLECT
35.72/35.97 c rational objective 250.5
36.62/36.80 c #Conflicts: 775000 | #Constraints: 19008
36.62/36.80 c #Conflicts: 776000 | #Constraints: 20008
36.62/36.80 c #Conflicts: 777000 | #Constraints: 21008
36.62/36.80 c #Conflicts: 778000 | #Constraints: 22008
36.62/36.80 c #Conflicts: 779000 | #Constraints: 23008
36.62/36.80 c #Conflicts: 780000 | #Constraints: 24008
36.62/36.80 c #Conflicts: 781000 | #Constraints: 25008
36.62/36.80 c #Conflicts: 782000 | #Constraints: 26008
36.62/36.80 c #Conflicts: 783000 | #Constraints: 27008
36.62/36.80 c #Conflicts: 784000 | #Constraints: 28008
36.62/36.80 c #Conflicts: 785000 | #Constraints: 29008
36.62/36.80 c #Conflicts: 786000 | #Constraints: 30008
36.62/36.80 c #Conflicts: 787000 | #Constraints: 31008
36.62/36.80 c #Conflicts: 788000 | #Constraints: 32008
36.62/36.80 c #Conflicts: 789000 | #Constraints: 33008
36.62/36.80 c #Conflicts: 790000 | #Constraints: 34008
36.62/36.80 c #Conflicts: 791000 | #Constraints: 35008
36.62/36.80 c #Conflicts: 792000 | #Constraints: 36008
36.62/36.80 c INPROCESSING
36.62/36.80 c GARBAGE COLLECT
36.62/36.80 c rational objective 250.5
37.42/37.64 c #Conflicts: 793000 | #Constraints: 19416
37.42/37.64 c #Conflicts: 794000 | #Constraints: 20416
37.42/37.64 c #Conflicts: 795000 | #Constraints: 21416
37.42/37.64 c #Conflicts: 796000 | #Constraints: 22416
37.42/37.64 c #Conflicts: 797000 | #Constraints: 23416
37.42/37.64 c #Conflicts: 798000 | #Constraints: 24416
37.42/37.64 c #Conflicts: 799000 | #Constraints: 25416
37.42/37.64 c #Conflicts: 800000 | #Constraints: 26416
37.42/37.64 c #Conflicts: 801000 | #Constraints: 27416
37.42/37.64 c #Conflicts: 802000 | #Constraints: 28416
37.42/37.64 c #Conflicts: 803000 | #Constraints: 29416
37.42/37.64 c #Conflicts: 804000 | #Constraints: 30416
37.42/37.64 c #Conflicts: 805000 | #Constraints: 31416
37.42/37.64 c #Conflicts: 806000 | #Constraints: 32416
37.42/37.64 c #Conflicts: 807000 | #Constraints: 33416
37.42/37.64 c #Conflicts: 808000 | #Constraints: 34416
37.42/37.64 c #Conflicts: 809000 | #Constraints: 35416
37.42/37.64 c #Conflicts: 810000 | #Constraints: 36416
37.42/37.64 c INPROCESSING
37.42/37.64 c GARBAGE COLLECT
37.42/37.64 c rational objective 250.5
38.32/38.52 c #Conflicts: 811000 | #Constraints: 19610
38.32/38.52 c #Conflicts: 812000 | #Constraints: 20610
38.32/38.52 c #Conflicts: 813000 | #Constraints: 21610
38.32/38.52 c #Conflicts: 814000 | #Constraints: 22610
38.32/38.52 c #Conflicts: 815000 | #Constraints: 23610
38.32/38.52 c #Conflicts: 816000 | #Constraints: 24610
38.32/38.52 c #Conflicts: 817000 | #Constraints: 25610
38.32/38.52 c #Conflicts: 818000 | #Constraints: 26610
38.32/38.52 c #Conflicts: 819000 | #Constraints: 27610
38.32/38.52 c #Conflicts: 820000 | #Constraints: 28610
38.32/38.52 c #Conflicts: 821000 | #Constraints: 29610
38.32/38.52 c #Conflicts: 822000 | #Constraints: 30610
38.32/38.52 c #Conflicts: 823000 | #Constraints: 31610
38.32/38.52 c #Conflicts: 824000 | #Constraints: 32610
38.32/38.52 c #Conflicts: 825000 | #Constraints: 33610
38.32/38.52 c #Conflicts: 826000 | #Constraints: 34610
38.32/38.52 c #Conflicts: 827000 | #Constraints: 35610
38.32/38.52 c #Conflicts: 828000 | #Constraints: 36610
38.32/38.52 c INPROCESSING
38.32/38.52 c GARBAGE COLLECT
38.32/38.52 c rational objective 250.5
39.32/39.50 c #Conflicts: 829000 | #Constraints: 19607
39.32/39.50 c #Conflicts: 830000 | #Constraints: 20607
39.32/39.50 c #Conflicts: 831000 | #Constraints: 21607
39.32/39.50 c #Conflicts: 832000 | #Constraints: 22607
39.32/39.50 c #Conflicts: 833000 | #Constraints: 23607
39.32/39.50 c #Conflicts: 834000 | #Constraints: 24607
39.32/39.50 c #Conflicts: 835000 | #Constraints: 25607
39.32/39.50 c #Conflicts: 836000 | #Constraints: 26607
39.32/39.50 c #Conflicts: 837000 | #Constraints: 27607
39.32/39.50 c #Conflicts: 838000 | #Constraints: 28607
39.32/39.50 c #Conflicts: 839000 | #Constraints: 29607
39.32/39.50 c #Conflicts: 840000 | #Constraints: 30607
39.32/39.50 c #Conflicts: 841000 | #Constraints: 31607
39.32/39.50 c #Conflicts: 842000 | #Constraints: 32607
39.32/39.50 c #Conflicts: 843000 | #Constraints: 33607
39.32/39.50 c #Conflicts: 844000 | #Constraints: 34607
39.32/39.50 c #Conflicts: 845000 | #Constraints: 35607
39.32/39.50 c #Conflicts: 846000 | #Constraints: 36607
39.32/39.50 c INPROCESSING
39.32/39.50 c GARBAGE COLLECT
39.32/39.50 c rational objective 250.5
40.21/40.43 c #Conflicts: 847000 | #Constraints: 19408
40.21/40.43 c #Conflicts: 848000 | #Constraints: 20408
40.21/40.43 c #Conflicts: 849000 | #Constraints: 21408
40.21/40.43 c #Conflicts: 850000 | #Constraints: 22408
40.21/40.43 c #Conflicts: 851000 | #Constraints: 23408
40.21/40.43 c #Conflicts: 852000 | #Constraints: 24408
40.21/40.43 c #Conflicts: 853000 | #Constraints: 25408
40.21/40.43 c #Conflicts: 854000 | #Constraints: 26408
40.21/40.43 c #Conflicts: 855000 | #Constraints: 27408
40.21/40.43 c #Conflicts: 856000 | #Constraints: 28408
40.21/40.43 c #Conflicts: 857000 | #Constraints: 29408
40.21/40.43 c #Conflicts: 858000 | #Constraints: 30408
40.21/40.43 c #Conflicts: 859000 | #Constraints: 31408
40.21/40.43 c #Conflicts: 860000 | #Constraints: 32408
40.21/40.43 c #Conflicts: 861000 | #Constraints: 33408
40.21/40.43 c #Conflicts: 862000 | #Constraints: 34408
40.21/40.43 c #Conflicts: 863000 | #Constraints: 35408
40.21/40.43 c #Conflicts: 864000 | #Constraints: 36408
40.21/40.43 c #Conflicts: 865000 | #Constraints: 37408
40.21/40.43 c INPROCESSING
40.21/40.43 c GARBAGE COLLECT
40.21/40.43 c rational objective 250.5
41.11/41.30 c #Conflicts: 866000 | #Constraints: 20004
41.11/41.30 c #Conflicts: 867000 | #Constraints: 21004
41.11/41.30 c #Conflicts: 868000 | #Constraints: 22004
41.11/41.30 c #Conflicts: 869000 | #Constraints: 23004
41.11/41.30 c #Conflicts: 870000 | #Constraints: 24004
41.11/41.30 c #Conflicts: 871000 | #Constraints: 25004
41.11/41.30 c #Conflicts: 872000 | #Constraints: 26004
41.11/41.30 c #Conflicts: 873000 | #Constraints: 27004
41.11/41.30 c #Conflicts: 874000 | #Constraints: 28004
41.11/41.30 c #Conflicts: 875000 | #Constraints: 29004
41.11/41.30 c #Conflicts: 876000 | #Constraints: 30004
41.11/41.30 c #Conflicts: 877000 | #Constraints: 31004
41.11/41.30 c #Conflicts: 878000 | #Constraints: 32004
41.11/41.30 c #Conflicts: 879000 | #Constraints: 33004
41.11/41.30 c #Conflicts: 880000 | #Constraints: 34004
41.11/41.30 c #Conflicts: 881000 | #Constraints: 35004
41.11/41.30 c #Conflicts: 882000 | #Constraints: 36004
41.11/41.30 c #Conflicts: 883000 | #Constraints: 37004
41.11/41.30 c #Conflicts: 884000 | #Constraints: 38004
41.11/41.30 c INPROCESSING
41.11/41.30 c GARBAGE COLLECT
41.11/41.30 c rational objective 250.5
41.92/42.16 c #Conflicts: 885000 | #Constraints: 20415
41.92/42.16 c #Conflicts: 886000 | #Constraints: 21415
41.92/42.16 c #Conflicts: 887000 | #Constraints: 22415
41.92/42.16 c #Conflicts: 888000 | #Constraints: 23415
41.92/42.16 c #Conflicts: 889000 | #Constraints: 24415
41.92/42.16 c #Conflicts: 890000 | #Constraints: 25415
41.92/42.16 c #Conflicts: 891000 | #Constraints: 26415
41.92/42.16 c #Conflicts: 892000 | #Constraints: 27415
41.92/42.16 c #Conflicts: 893000 | #Constraints: 28415
41.92/42.16 c #Conflicts: 894000 | #Constraints: 29415
41.92/42.16 c #Conflicts: 895000 | #Constraints: 30415
41.92/42.16 c #Conflicts: 896000 | #Constraints: 31415
41.92/42.16 c #Conflicts: 897000 | #Constraints: 32415
41.92/42.16 c #Conflicts: 898000 | #Constraints: 33415
41.92/42.16 c #Conflicts: 899000 | #Constraints: 34415
41.92/42.16 c #Conflicts: 900000 | #Constraints: 35415
41.92/42.16 c #Conflicts: 901000 | #Constraints: 36415
41.92/42.16 c #Conflicts: 902000 | #Constraints: 37415
41.92/42.16 c #Conflicts: 903000 | #Constraints: 38415
41.92/42.16 c INPROCESSING
41.92/42.16 c GARBAGE COLLECT
41.92/42.16 c rational objective 250.5
42.92/43.15 c #Conflicts: 904000 | #Constraints: 20606
42.92/43.15 c #Conflicts: 905000 | #Constraints: 21606
42.92/43.15 c #Conflicts: 906000 | #Constraints: 22606
42.92/43.15 c #Conflicts: 907000 | #Constraints: 23606
42.92/43.15 c #Conflicts: 908000 | #Constraints: 24606
42.92/43.15 c #Conflicts: 909000 | #Constraints: 25606
42.92/43.15 c #Conflicts: 910000 | #Constraints: 26606
42.92/43.15 c #Conflicts: 911000 | #Constraints: 27606
42.92/43.15 c #Conflicts: 912000 | #Constraints: 28606
42.92/43.15 c #Conflicts: 913000 | #Constraints: 29606
42.92/43.15 c #Conflicts: 914000 | #Constraints: 30606
42.92/43.15 c #Conflicts: 915000 | #Constraints: 31606
42.92/43.15 c #Conflicts: 916000 | #Constraints: 32606
42.92/43.15 c #Conflicts: 917000 | #Constraints: 33606
42.92/43.15 c #Conflicts: 918000 | #Constraints: 34606
42.92/43.15 c #Conflicts: 919000 | #Constraints: 35606
42.92/43.15 c #Conflicts: 920000 | #Constraints: 36606
42.92/43.15 c #Conflicts: 921000 | #Constraints: 37606
42.92/43.15 c #Conflicts: 922000 | #Constraints: 38606
42.92/43.15 c INPROCESSING
42.92/43.15 c GARBAGE COLLECT
42.92/43.15 c rational objective 250.5
43.82/44.04 c #Conflicts: 923000 | #Constraints: 20605
43.82/44.04 c #Conflicts: 924000 | #Constraints: 21605
43.82/44.04 c #Conflicts: 925000 | #Constraints: 22605
43.82/44.04 c #Conflicts: 926000 | #Constraints: 23605
43.82/44.04 c #Conflicts: 927000 | #Constraints: 24605
43.82/44.04 c #Conflicts: 928000 | #Constraints: 25605
43.82/44.04 c #Conflicts: 929000 | #Constraints: 26605
43.82/44.04 c #Conflicts: 930000 | #Constraints: 27605
43.82/44.04 c #Conflicts: 931000 | #Constraints: 28605
43.82/44.04 c #Conflicts: 932000 | #Constraints: 29605
43.82/44.04 c #Conflicts: 933000 | #Constraints: 30605
43.82/44.04 c #Conflicts: 934000 | #Constraints: 31605
43.82/44.04 c #Conflicts: 935000 | #Constraints: 32605
43.82/44.04 c #Conflicts: 936000 | #Constraints: 33605
43.82/44.04 c #Conflicts: 937000 | #Constraints: 34605
43.82/44.04 c #Conflicts: 938000 | #Constraints: 35605
43.82/44.04 c #Conflicts: 939000 | #Constraints: 36605
43.82/44.04 c #Conflicts: 940000 | #Constraints: 37605
43.82/44.04 c #Conflicts: 941000 | #Constraints: 38605
43.82/44.04 c INPROCESSING
43.82/44.04 c GARBAGE COLLECT
43.82/44.04 c rational objective 250.5
44.70/44.93 c #Conflicts: 942000 | #Constraints: 20414
44.70/44.93 c #Conflicts: 943000 | #Constraints: 21414
44.70/44.93 c #Conflicts: 944000 | #Constraints: 22414
44.70/44.93 c #Conflicts: 945000 | #Constraints: 23414
44.70/44.93 c #Conflicts: 946000 | #Constraints: 24414
44.70/44.93 c #Conflicts: 947000 | #Constraints: 25414
44.70/44.93 c #Conflicts: 948000 | #Constraints: 26414
44.70/44.93 c #Conflicts: 949000 | #Constraints: 27414
44.70/44.93 c #Conflicts: 950000 | #Constraints: 28414
44.70/44.93 c #Conflicts: 951000 | #Constraints: 29414
44.70/44.93 c #Conflicts: 952000 | #Constraints: 30414
44.70/44.93 c #Conflicts: 953000 | #Constraints: 31414
44.70/44.93 c #Conflicts: 954000 | #Constraints: 32414
44.70/44.93 c #Conflicts: 955000 | #Constraints: 33414
44.70/44.93 c #Conflicts: 956000 | #Constraints: 34414
44.70/44.93 c #Conflicts: 957000 | #Constraints: 35414
44.70/44.93 c #Conflicts: 958000 | #Constraints: 36414
44.70/44.93 c #Conflicts: 959000 | #Constraints: 37414
44.70/44.93 c #Conflicts: 960000 | #Constraints: 38414
44.70/44.93 c #Conflicts: 961000 | #Constraints: 39414
44.70/44.93 c INPROCESSING
44.70/44.93 c GARBAGE COLLECT
44.70/44.93 c rational objective 250.5
45.50/45.75 c #Conflicts: 962000 | #Constraints: 21012
45.50/45.75 c #Conflicts: 963000 | #Constraints: 22012
45.50/45.75 c #Conflicts: 964000 | #Constraints: 23012
45.50/45.75 c #Conflicts: 965000 | #Constraints: 24012
45.50/45.75 c #Conflicts: 966000 | #Constraints: 25012
45.50/45.75 c #Conflicts: 967000 | #Constraints: 26012
45.50/45.75 c #Conflicts: 968000 | #Constraints: 27012
45.50/45.75 c #Conflicts: 969000 | #Constraints: 28012
45.50/45.75 c #Conflicts: 970000 | #Constraints: 29012
45.50/45.75 c #Conflicts: 971000 | #Constraints: 30012
45.50/45.75 c #Conflicts: 972000 | #Constraints: 31012
45.50/45.75 c #Conflicts: 973000 | #Constraints: 32012
45.50/45.75 c #Conflicts: 974000 | #Constraints: 33012
45.50/45.75 c #Conflicts: 975000 | #Constraints: 34012
45.50/45.75 c #Conflicts: 976000 | #Constraints: 35012
45.50/45.75 c #Conflicts: 977000 | #Constraints: 36012
45.50/45.75 c #Conflicts: 978000 | #Constraints: 37012
45.50/45.75 c #Conflicts: 979000 | #Constraints: 38012
45.50/45.75 c #Conflicts: 980000 | #Constraints: 39012
45.50/45.75 c #Conflicts: 981000 | #Constraints: 40012
45.50/45.75 c INPROCESSING
45.50/45.75 c GARBAGE COLLECT
45.50/45.75 c rational objective 250.5
46.90/47.16 c #Conflicts: 982000 | #Constraints: 21411
46.90/47.16 c #Conflicts: 983000 | #Constraints: 22411
46.90/47.16 c #Conflicts: 984000 | #Constraints: 23411
46.90/47.16 c #Conflicts: 985000 | #Constraints: 24411
46.90/47.16 c #Conflicts: 986000 | #Constraints: 25411
46.90/47.16 c #Conflicts: 987000 | #Constraints: 26411
46.90/47.16 c #Conflicts: 988000 | #Constraints: 27411
46.90/47.16 c #Conflicts: 989000 | #Constraints: 28411
46.90/47.16 c #Conflicts: 990000 | #Constraints: 29411
46.90/47.16 c #Conflicts: 991000 | #Constraints: 30411
46.90/47.16 c #Conflicts: 992000 | #Constraints: 31411
46.90/47.16 c #Conflicts: 993000 | #Constraints: 32411
46.90/47.16 c #Conflicts: 994000 | #Constraints: 33411
46.90/47.16 c #Conflicts: 995000 | #Constraints: 34411
46.90/47.16 c #Conflicts: 996000 | #Constraints: 35411
46.90/47.16 c #Conflicts: 997000 | #Constraints: 36411
46.90/47.16 c #Conflicts: 998000 | #Constraints: 37411
46.90/47.16 c #Conflicts: 999000 | #Constraints: 38411
46.90/47.16 c #Conflicts: 1000000 | #Constraints: 39411
46.90/47.16 c #Conflicts: 1001000 | #Constraints: 40411
46.90/47.16 c INPROCESSING
46.90/47.16 c GARBAGE COLLECT
46.90/47.16 c rational objective 250.5
47.68/48.00 c #Conflicts: 1002000 | #Constraints: 21616
47.68/48.00 c #Conflicts: 1003000 | #Constraints: 22616
47.68/48.00 c #Conflicts: 1004000 | #Constraints: 23616
47.68/48.00 c #Conflicts: 1005000 | #Constraints: 24616
47.68/48.00 c #Conflicts: 1006000 | #Constraints: 25616
47.68/48.00 c #Conflicts: 1007000 | #Constraints: 26616
47.68/48.00 c #Conflicts: 1008000 | #Constraints: 27616
47.68/48.00 c #Conflicts: 1009000 | #Constraints: 28616
47.68/48.00 c #Conflicts: 1010000 | #Constraints: 29616
47.68/48.00 c #Conflicts: 1011000 | #Constraints: 30616
47.68/48.00 c #Conflicts: 1012000 | #Constraints: 31616
47.68/48.00 c #Conflicts: 1013000 | #Constraints: 32616
47.68/48.00 c #Conflicts: 1014000 | #Constraints: 33616
47.68/48.00 c #Conflicts: 1015000 | #Constraints: 34616
47.68/48.00 c #Conflicts: 1016000 | #Constraints: 35616
47.68/48.00 c #Conflicts: 1017000 | #Constraints: 36616
47.68/48.00 c #Conflicts: 1018000 | #Constraints: 37616
47.68/48.00 c #Conflicts: 1019000 | #Constraints: 38616
47.68/48.00 c #Conflicts: 1020000 | #Constraints: 39616
47.68/48.00 c #Conflicts: 1021000 | #Constraints: 40616
47.68/48.00 c INPROCESSING
47.68/48.00 c GARBAGE COLLECT
47.68/48.00 c rational objective 250.5
49.28/49.52 c #Conflicts: 1022000 | #Constraints: 21614
49.28/49.52 c #Conflicts: 1023000 | #Constraints: 22614
49.28/49.52 c #Conflicts: 1024000 | #Constraints: 23614
49.28/49.52 c #Conflicts: 1025000 | #Constraints: 24614
49.28/49.52 c #Conflicts: 1026000 | #Constraints: 25614
49.28/49.52 c #Conflicts: 1027000 | #Constraints: 26614
49.28/49.52 c #Conflicts: 1028000 | #Constraints: 27614
49.28/49.52 c #Conflicts: 1029000 | #Constraints: 28614
49.28/49.52 c #Conflicts: 1030000 | #Constraints: 29614
49.28/49.52 c #Conflicts: 1031000 | #Constraints: 30614
49.28/49.52 c #Conflicts: 1032000 | #Constraints: 31614
49.28/49.52 c #Conflicts: 1033000 | #Constraints: 32614
49.28/49.52 c #Conflicts: 1034000 | #Constraints: 33614
49.28/49.52 c #Conflicts: 1035000 | #Constraints: 34614
49.28/49.52 c #Conflicts: 1036000 | #Constraints: 35614
49.28/49.52 c #Conflicts: 1037000 | #Constraints: 36614
49.28/49.52 c #Conflicts: 1038000 | #Constraints: 37614
49.28/49.52 c #Conflicts: 1039000 | #Constraints: 38614
49.28/49.52 c #Conflicts: 1040000 | #Constraints: 39614
49.28/49.52 c #Conflicts: 1041000 | #Constraints: 40614
49.28/49.52 c INPROCESSING
49.28/49.52 c GARBAGE COLLECT
49.28/49.52 c rational objective 250.5
50.07/50.37 c #Conflicts: 1042000 | #Constraints: 21419
50.07/50.37 c #Conflicts: 1043000 | #Constraints: 22419
50.07/50.37 c #Conflicts: 1044000 | #Constraints: 23419
50.07/50.37 c #Conflicts: 1045000 | #Constraints: 24419
50.07/50.37 c #Conflicts: 1046000 | #Constraints: 25419
50.07/50.37 c #Conflicts: 1047000 | #Constraints: 26419
50.07/50.37 c #Conflicts: 1048000 | #Constraints: 27419
50.07/50.37 c #Conflicts: 1049000 | #Constraints: 28419
50.07/50.37 c #Conflicts: 1050000 | #Constraints: 29419
50.07/50.37 c #Conflicts: 1051000 | #Constraints: 30419
50.07/50.37 c #Conflicts: 1052000 | #Constraints: 31419
50.07/50.37 c #Conflicts: 1053000 | #Constraints: 32419
50.07/50.37 c #Conflicts: 1054000 | #Constraints: 33419
50.07/50.37 c #Conflicts: 1055000 | #Constraints: 34419
50.07/50.37 c #Conflicts: 1056000 | #Constraints: 35419
50.07/50.37 c #Conflicts: 1057000 | #Constraints: 36419
50.07/50.37 c #Conflicts: 1058000 | #Constraints: 37419
50.07/50.37 c #Conflicts: 1059000 | #Constraints: 38419
50.07/50.37 c #Conflicts: 1060000 | #Constraints: 39419
50.07/50.37 c #Conflicts: 1061000 | #Constraints: 40419
50.07/50.37 c #Conflicts: 1062000 | #Constraints: 41419
50.07/50.37 c INPROCESSING
50.07/50.37 c GARBAGE COLLECT
50.07/50.37 c rational objective 250.5
51.79/52.07 c #Conflicts: 1063000 | #Constraints: 22016
51.79/52.07 c #Conflicts: 1064000 | #Constraints: 23016
51.79/52.07 c #Conflicts: 1065000 | #Constraints: 24016
51.79/52.07 c #Conflicts: 1066000 | #Constraints: 25016
51.79/52.07 c #Conflicts: 1067000 | #Constraints: 26016
51.79/52.07 c #Conflicts: 1068000 | #Constraints: 27016
51.79/52.07 c #Conflicts: 1069000 | #Constraints: 28016
51.79/52.07 c #Conflicts: 1070000 | #Constraints: 29016
51.79/52.07 c #Conflicts: 1071000 | #Constraints: 30016
51.79/52.07 c #Conflicts: 1072000 | #Constraints: 31016
51.79/52.07 c #Conflicts: 1073000 | #Constraints: 32016
51.79/52.07 c #Conflicts: 1074000 | #Constraints: 33016
51.79/52.07 c #Conflicts: 1075000 | #Constraints: 34016
51.79/52.07 c #Conflicts: 1076000 | #Constraints: 35016
51.79/52.07 c #Conflicts: 1077000 | #Constraints: 36016
51.79/52.07 c #Conflicts: 1078000 | #Constraints: 37016
51.79/52.07 c #Conflicts: 1079000 | #Constraints: 38016
51.79/52.07 c #Conflicts: 1080000 | #Constraints: 39016
51.79/52.07 c #Conflicts: 1081000 | #Constraints: 40016
51.79/52.07 c #Conflicts: 1082000 | #Constraints: 41016
51.79/52.07 c #Conflicts: 1083000 | #Constraints: 42016
51.79/52.07 c INPROCESSING
51.79/52.07 c GARBAGE COLLECT
51.79/52.07 c rational objective 250.5
52.67/53.01 c #Conflicts: 1084000 | #Constraints: 22420
52.67/53.01 c #Conflicts: 1085000 | #Constraints: 23420
52.67/53.01 c #Conflicts: 1086000 | #Constraints: 24420
52.67/53.01 c #Conflicts: 1087000 | #Constraints: 25420
52.67/53.01 c #Conflicts: 1088000 | #Constraints: 26420
52.67/53.01 c #Conflicts: 1089000 | #Constraints: 27420
52.67/53.01 c #Conflicts: 1090000 | #Constraints: 28420
52.67/53.01 c #Conflicts: 1091000 | #Constraints: 29420
52.67/53.01 c #Conflicts: 1092000 | #Constraints: 30420
52.67/53.01 c #Conflicts: 1093000 | #Constraints: 31420
52.67/53.01 c #Conflicts: 1094000 | #Constraints: 32420
52.67/53.01 c #Conflicts: 1095000 | #Constraints: 33420
52.67/53.01 c #Conflicts: 1096000 | #Constraints: 34420
52.67/53.01 c #Conflicts: 1097000 | #Constraints: 35420
52.67/53.01 c #Conflicts: 1098000 | #Constraints: 36420
52.67/53.01 c #Conflicts: 1099000 | #Constraints: 37420
52.67/53.01 c #Conflicts: 1100000 | #Constraints: 38420
52.67/53.01 c #Conflicts: 1101000 | #Constraints: 39420
52.67/53.01 c #Conflicts: 1102000 | #Constraints: 40420
52.67/53.01 c #Conflicts: 1103000 | #Constraints: 41420
52.67/53.01 c #Conflicts: 1104000 | #Constraints: 42420
52.67/53.01 c INPROCESSING
52.67/53.01 c GARBAGE COLLECT
52.67/53.01 c rational objective 250.5
53.97/54.29 c #Conflicts: 1105000 | #Constraints: 22627
53.97/54.29 c #Conflicts: 1106000 | #Constraints: 23627
53.97/54.29 c #Conflicts: 1107000 | #Constraints: 24627
53.97/54.29 c #Conflicts: 1108000 | #Constraints: 25627
53.97/54.29 c #Conflicts: 1109000 | #Constraints: 26627
53.97/54.29 c #Conflicts: 1110000 | #Constraints: 27627
53.97/54.29 c #Conflicts: 1111000 | #Constraints: 28627
53.97/54.29 c #Conflicts: 1112000 | #Constraints: 29627
53.97/54.29 c #Conflicts: 1113000 | #Constraints: 30627
53.97/54.29 c #Conflicts: 1114000 | #Constraints: 31627
53.97/54.29 c #Conflicts: 1115000 | #Constraints: 32627
53.97/54.29 c #Conflicts: 1116000 | #Constraints: 33627
53.97/54.29 c #Conflicts: 1117000 | #Constraints: 34627
53.97/54.29 c #Conflicts: 1118000 | #Constraints: 35627
53.97/54.29 c #Conflicts: 1119000 | #Constraints: 36627
53.97/54.29 c #Conflicts: 1120000 | #Constraints: 37627
53.97/54.29 c #Conflicts: 1121000 | #Constraints: 38627
53.97/54.29 c #Conflicts: 1122000 | #Constraints: 39627
53.97/54.29 c #Conflicts: 1123000 | #Constraints: 40627
53.97/54.29 c #Conflicts: 1124000 | #Constraints: 41627
53.97/54.29 c #Conflicts: 1125000 | #Constraints: 42627
53.97/54.29 c INPROCESSING
53.97/54.29 c GARBAGE COLLECT
53.97/54.29 c rational objective 250.5
55.16/55.47 c #Conflicts: 1126000 | #Constraints: 22630
55.16/55.47 c #Conflicts: 1127000 | #Constraints: 23630
55.16/55.47 c #Conflicts: 1128000 | #Constraints: 24630
55.16/55.47 c #Conflicts: 1129000 | #Constraints: 25630
55.16/55.47 c #Conflicts: 1130000 | #Constraints: 26630
55.16/55.47 c #Conflicts: 1131000 | #Constraints: 27630
55.16/55.47 c #Conflicts: 1132000 | #Constraints: 28630
55.16/55.47 c #Conflicts: 1133000 | #Constraints: 29630
55.16/55.47 c #Conflicts: 1134000 | #Constraints: 30630
55.16/55.47 c #Conflicts: 1135000 | #Constraints: 31630
55.16/55.47 c #Conflicts: 1136000 | #Constraints: 32630
55.16/55.47 c #Conflicts: 1137000 | #Constraints: 33630
55.16/55.47 c #Conflicts: 1138000 | #Constraints: 34630
55.16/55.47 c #Conflicts: 1139000 | #Constraints: 35630
55.16/55.47 c #Conflicts: 1140000 | #Constraints: 36630
55.16/55.47 c #Conflicts: 1141000 | #Constraints: 37630
55.16/55.47 c #Conflicts: 1142000 | #Constraints: 38630
55.16/55.47 c #Conflicts: 1143000 | #Constraints: 39630
55.16/55.47 c #Conflicts: 1144000 | #Constraints: 40630
55.16/55.47 c #Conflicts: 1145000 | #Constraints: 41630
55.16/55.47 c #Conflicts: 1146000 | #Constraints: 42630
55.16/55.47 c INPROCESSING
55.16/55.47 c GARBAGE COLLECT
55.16/55.47 c rational objective 250.5
56.36/56.64 c #Conflicts: 1147000 | #Constraints: 22416
56.36/56.64 c #Conflicts: 1148000 | #Constraints: 23416
56.36/56.64 c #Conflicts: 1149000 | #Constraints: 24416
56.36/56.64 c #Conflicts: 1150000 | #Constraints: 25416
56.36/56.64 c #Conflicts: 1151000 | #Constraints: 26416
56.36/56.64 c #Conflicts: 1152000 | #Constraints: 27416
56.36/56.64 c #Conflicts: 1153000 | #Constraints: 28416
56.36/56.64 c #Conflicts: 1154000 | #Constraints: 29416
56.36/56.64 c #Conflicts: 1155000 | #Constraints: 30416
56.36/56.64 c #Conflicts: 1156000 | #Constraints: 31416
56.36/56.64 c #Conflicts: 1157000 | #Constraints: 32416
56.36/56.64 c #Conflicts: 1158000 | #Constraints: 33416
56.36/56.64 c #Conflicts: 1159000 | #Constraints: 34416
56.36/56.64 c #Conflicts: 1160000 | #Constraints: 35416
56.36/56.64 c #Conflicts: 1161000 | #Constraints: 36416
56.36/56.64 c #Conflicts: 1162000 | #Constraints: 37416
56.36/56.64 c #Conflicts: 1163000 | #Constraints: 38416
56.36/56.64 c #Conflicts: 1164000 | #Constraints: 39416
56.36/56.64 c #Conflicts: 1165000 | #Constraints: 40416
56.36/56.64 c #Conflicts: 1166000 | #Constraints: 41416
56.36/56.64 c #Conflicts: 1167000 | #Constraints: 42416
56.36/56.64 c #Conflicts: 1168000 | #Constraints: 43416
56.36/56.64 c INPROCESSING
56.36/56.64 c GARBAGE COLLECT
56.36/56.64 c rational objective 250.5
57.55/57.84 c #Conflicts: 1169000 | #Constraints: 23014
57.55/57.84 c #Conflicts: 1170000 | #Constraints: 24014
57.55/57.84 c #Conflicts: 1171000 | #Constraints: 25014
57.55/57.84 c #Conflicts: 1172000 | #Constraints: 26014
57.55/57.84 c #Conflicts: 1173000 | #Constraints: 27014
57.55/57.84 c #Conflicts: 1174000 | #Constraints: 28014
57.55/57.84 c #Conflicts: 1175000 | #Constraints: 29014
57.55/57.84 c #Conflicts: 1176000 | #Constraints: 30014
57.55/57.84 c #Conflicts: 1177000 | #Constraints: 31014
57.55/57.84 c #Conflicts: 1178000 | #Constraints: 32014
57.55/57.84 c #Conflicts: 1179000 | #Constraints: 33014
57.55/57.84 c #Conflicts: 1180000 | #Constraints: 34014
57.55/57.84 c #Conflicts: 1181000 | #Constraints: 35014
57.55/57.84 c #Conflicts: 1182000 | #Constraints: 36014
57.55/57.84 c #Conflicts: 1183000 | #Constraints: 37014
57.55/57.84 c #Conflicts: 1184000 | #Constraints: 38014
57.55/57.84 c #Conflicts: 1185000 | #Constraints: 39014
57.55/57.84 c #Conflicts: 1186000 | #Constraints: 40014
57.55/57.84 c #Conflicts: 1187000 | #Constraints: 41014
57.55/57.84 c #Conflicts: 1188000 | #Constraints: 42014
57.55/57.84 c #Conflicts: 1189000 | #Constraints: 43014
57.55/57.84 c #Conflicts: 1190000 | #Constraints: 44014
57.55/57.84 c INPROCESSING
57.55/57.84 c GARBAGE COLLECT
57.55/57.84 c rational objective 250.5
58.76/59.10 c #Conflicts: 1191000 | #Constraints: 23423
58.76/59.10 c #Conflicts: 1192000 | #Constraints: 24423
58.76/59.10 c #Conflicts: 1193000 | #Constraints: 25423
58.76/59.10 c #Conflicts: 1194000 | #Constraints: 26423
58.76/59.10 c #Conflicts: 1195000 | #Constraints: 27423
58.76/59.10 c #Conflicts: 1196000 | #Constraints: 28423
58.76/59.10 c #Conflicts: 1197000 | #Constraints: 29423
58.76/59.10 c #Conflicts: 1198000 | #Constraints: 30423
58.76/59.10 c #Conflicts: 1199000 | #Constraints: 31423
58.76/59.10 c #Conflicts: 1200000 | #Constraints: 32423
58.76/59.10 c #Conflicts: 1201000 | #Constraints: 33423
58.76/59.10 c #Conflicts: 1202000 | #Constraints: 34423
58.76/59.10 c #Conflicts: 1203000 | #Constraints: 35423
58.76/59.10 c #Conflicts: 1204000 | #Constraints: 36423
58.76/59.10 c #Conflicts: 1205000 | #Constraints: 37423
58.76/59.10 c #Conflicts: 1206000 | #Constraints: 38423
58.76/59.10 c #Conflicts: 1207000 | #Constraints: 39423
58.76/59.10 c #Conflicts: 1208000 | #Constraints: 40423
58.76/59.10 c #Conflicts: 1209000 | #Constraints: 41423
58.76/59.10 c #Conflicts: 1210000 | #Constraints: 42423
58.76/59.10 c #Conflicts: 1211000 | #Constraints: 43423
58.76/59.10 c #Conflicts: 1212000 | #Constraints: 44423
58.76/59.10 c INPROCESSING
58.76/59.10 c GARBAGE COLLECT
58.76/59.10 c rational objective 250.5
60.05/60.38 c #Conflicts: 1213000 | #Constraints: 23621
60.05/60.38 c #Conflicts: 1214000 | #Constraints: 24621
60.05/60.38 c #Conflicts: 1215000 | #Constraints: 25621
60.05/60.38 c #Conflicts: 1216000 | #Constraints: 26621
60.05/60.38 c #Conflicts: 1217000 | #Constraints: 27621
60.05/60.38 c #Conflicts: 1218000 | #Constraints: 28621
60.05/60.38 c #Conflicts: 1219000 | #Constraints: 29621
60.05/60.38 c #Conflicts: 1220000 | #Constraints: 30621
60.05/60.38 c #Conflicts: 1221000 | #Constraints: 31621
60.05/60.38 c #Conflicts: 1222000 | #Constraints: 32621
60.05/60.38 c #Conflicts: 1223000 | #Constraints: 33621
60.05/60.38 c #Conflicts: 1224000 | #Constraints: 34621
60.05/60.38 c #Conflicts: 1225000 | #Constraints: 35621
60.05/60.38 c #Conflicts: 1226000 | #Constraints: 36621
60.05/60.38 c #Conflicts: 1227000 | #Constraints: 37621
60.05/60.38 c #Conflicts: 1228000 | #Constraints: 38621
60.05/60.38 c #Conflicts: 1229000 | #Constraints: 39621
60.05/60.38 c #Conflicts: 1230000 | #Constraints: 40621
60.05/60.38 c #Conflicts: 1231000 | #Constraints: 41621
60.05/60.38 c #Conflicts: 1232000 | #Constraints: 42621
60.05/60.38 c #Conflicts: 1233000 | #Constraints: 43621
60.05/60.38 c #Conflicts: 1234000 | #Constraints: 44621
60.05/60.38 c INPROCESSING
60.05/60.38 c GARBAGE COLLECT
60.05/60.38 c rational objective 250.5
61.35/61.64 c #Conflicts: 1235000 | #Constraints: 23622
61.35/61.64 c #Conflicts: 1236000 | #Constraints: 24622
61.35/61.64 c #Conflicts: 1237000 | #Constraints: 25622
61.35/61.64 c #Conflicts: 1238000 | #Constraints: 26622
61.35/61.64 c #Conflicts: 1239000 | #Constraints: 27622
61.35/61.64 c #Conflicts: 1240000 | #Constraints: 28622
61.35/61.64 c #Conflicts: 1241000 | #Constraints: 29622
61.35/61.64 c #Conflicts: 1242000 | #Constraints: 30622
61.35/61.64 c #Conflicts: 1243000 | #Constraints: 31622
61.35/61.64 c #Conflicts: 1244000 | #Constraints: 32622
61.35/61.64 c #Conflicts: 1245000 | #Constraints: 33622
61.35/61.64 c #Conflicts: 1246000 | #Constraints: 34622
61.35/61.64 c #Conflicts: 1247000 | #Constraints: 35622
61.35/61.64 c #Conflicts: 1248000 | #Constraints: 36622
61.35/61.64 c #Conflicts: 1249000 | #Constraints: 37622
61.35/61.64 c #Conflicts: 1250000 | #Constraints: 38622
61.35/61.64 c #Conflicts: 1251000 | #Constraints: 39622
61.35/61.64 c #Conflicts: 1252000 | #Constraints: 40622
61.35/61.64 c #Conflicts: 1253000 | #Constraints: 41622
61.35/61.64 c #Conflicts: 1254000 | #Constraints: 42622
61.35/61.64 c #Conflicts: 1255000 | #Constraints: 43622
61.35/61.64 c #Conflicts: 1256000 | #Constraints: 44622
61.35/61.64 c INPROCESSING
61.35/61.64 c GARBAGE COLLECT
61.35/61.64 c rational objective 250.5
62.54/62.83 c #Conflicts: 1257000 | #Constraints: 23421
62.54/62.83 c #Conflicts: 1258000 | #Constraints: 24421
62.54/62.83 c #Conflicts: 1259000 | #Constraints: 25421
62.54/62.83 c #Conflicts: 1260000 | #Constraints: 26421
62.54/62.83 c #Conflicts: 1261000 | #Constraints: 27421
62.54/62.83 c #Conflicts: 1262000 | #Constraints: 28421
62.54/62.83 c #Conflicts: 1263000 | #Constraints: 29421
62.54/62.83 c #Conflicts: 1264000 | #Constraints: 30421
62.54/62.83 c #Conflicts: 1265000 | #Constraints: 31421
62.54/62.83 c #Conflicts: 1266000 | #Constraints: 32421
62.54/62.83 c #Conflicts: 1267000 | #Constraints: 33421
62.54/62.83 c #Conflicts: 1268000 | #Constraints: 34421
62.54/62.83 c #Conflicts: 1269000 | #Constraints: 35421
62.54/62.83 c #Conflicts: 1270000 | #Constraints: 36421
62.54/62.83 c #Conflicts: 1271000 | #Constraints: 37421
62.54/62.83 c #Conflicts: 1272000 | #Constraints: 38421
62.54/62.83 c #Conflicts: 1273000 | #Constraints: 39421
62.54/62.83 c #Conflicts: 1274000 | #Constraints: 40421
62.54/62.83 c #Conflicts: 1275000 | #Constraints: 41421
62.54/62.83 c #Conflicts: 1276000 | #Constraints: 42421
62.54/62.83 c #Conflicts: 1277000 | #Constraints: 43421
62.54/62.83 c #Conflicts: 1278000 | #Constraints: 44421
62.54/62.83 c #Conflicts: 1279000 | #Constraints: 45421
62.54/62.83 c INPROCESSING
62.54/62.83 c GARBAGE COLLECT
62.54/62.83 c rational objective 250.5
63.85/64.12 c #Conflicts: 1280000 | #Constraints: 24011
63.85/64.12 c #Conflicts: 1281000 | #Constraints: 25011
63.85/64.12 c #Conflicts: 1282000 | #Constraints: 26011
63.85/64.12 c #Conflicts: 1283000 | #Constraints: 27011
63.85/64.12 c #Conflicts: 1284000 | #Constraints: 28011
63.85/64.12 c #Conflicts: 1285000 | #Constraints: 29011
63.85/64.12 c #Conflicts: 1286000 | #Constraints: 30011
63.85/64.12 c #Conflicts: 1287000 | #Constraints: 31011
63.85/64.12 c #Conflicts: 1288000 | #Constraints: 32011
63.85/64.12 c #Conflicts: 1289000 | #Constraints: 33011
63.85/64.12 c #Conflicts: 1290000 | #Constraints: 34011
63.85/64.12 c #Conflicts: 1291000 | #Constraints: 35011
63.85/64.12 c #Conflicts: 1292000 | #Constraints: 36011
63.85/64.12 c #Conflicts: 1293000 | #Constraints: 37011
63.85/64.12 c #Conflicts: 1294000 | #Constraints: 38011
63.85/64.12 c #Conflicts: 1295000 | #Constraints: 39011
63.85/64.12 c #Conflicts: 1296000 | #Constraints: 40011
63.85/64.12 c #Conflicts: 1297000 | #Constraints: 41011
63.85/64.12 c #Conflicts: 1298000 | #Constraints: 42011
63.85/64.12 c #Conflicts: 1299000 | #Constraints: 43011
63.85/64.12 c #Conflicts: 1300000 | #Constraints: 44011
63.85/64.12 c #Conflicts: 1301000 | #Constraints: 45011
63.85/64.12 c #Conflicts: 1302000 | #Constraints: 46011
63.85/64.12 c INPROCESSING
63.85/64.12 c GARBAGE COLLECT
63.85/64.12 c rational objective 250.5
65.04/65.32 c #Conflicts: 1303000 | #Constraints: 24406
65.04/65.32 c #Conflicts: 1304000 | #Constraints: 25406
65.04/65.32 c #Conflicts: 1305000 | #Constraints: 26406
65.04/65.32 c #Conflicts: 1306000 | #Constraints: 27406
65.04/65.32 c #Conflicts: 1307000 | #Constraints: 28406
65.04/65.32 c #Conflicts: 1308000 | #Constraints: 29406
65.04/65.32 c #Conflicts: 1309000 | #Constraints: 30406
65.04/65.32 c #Conflicts: 1310000 | #Constraints: 31406
65.04/65.32 c #Conflicts: 1311000 | #Constraints: 32406
65.04/65.32 c #Conflicts: 1312000 | #Constraints: 33406
65.04/65.32 c #Conflicts: 1313000 | #Constraints: 34406
65.04/65.32 c #Conflicts: 1314000 | #Constraints: 35406
65.04/65.32 c #Conflicts: 1315000 | #Constraints: 36406
65.04/65.32 c #Conflicts: 1316000 | #Constraints: 37406
65.04/65.32 c #Conflicts: 1317000 | #Constraints: 38406
65.04/65.32 c #Conflicts: 1318000 | #Constraints: 39406
65.04/65.32 c #Conflicts: 1319000 | #Constraints: 40406
65.04/65.32 c #Conflicts: 1320000 | #Constraints: 41406
65.04/65.32 c #Conflicts: 1321000 | #Constraints: 42406
65.04/65.32 c #Conflicts: 1322000 | #Constraints: 43406
65.04/65.32 c #Conflicts: 1323000 | #Constraints: 44406
65.04/65.32 c #Conflicts: 1324000 | #Constraints: 45406
65.04/65.32 c #Conflicts: 1325000 | #Constraints: 46406
65.04/65.32 c INPROCESSING
65.04/65.32 c GARBAGE COLLECT
65.04/65.32 c rational objective 250.5
66.44/66.71 c #Conflicts: 1326000 | #Constraints: 24605
66.44/66.71 c #Conflicts: 1327000 | #Constraints: 25605
66.44/66.71 c #Conflicts: 1328000 | #Constraints: 26605
66.44/66.71 c #Conflicts: 1329000 | #Constraints: 27605
66.44/66.71 c #Conflicts: 1330000 | #Constraints: 28605
66.44/66.71 c #Conflicts: 1331000 | #Constraints: 29605
66.44/66.71 c #Conflicts: 1332000 | #Constraints: 30605
66.44/66.71 c #Conflicts: 1333000 | #Constraints: 31605
66.44/66.71 c #Conflicts: 1334000 | #Constraints: 32605
66.44/66.71 c #Conflicts: 1335000 | #Constraints: 33605
66.44/66.71 c #Conflicts: 1336000 | #Constraints: 34605
66.44/66.71 c #Conflicts: 1337000 | #Constraints: 35605
66.44/66.71 c #Conflicts: 1338000 | #Constraints: 36605
66.44/66.71 c #Conflicts: 1339000 | #Constraints: 37605
66.44/66.71 c #Conflicts: 1340000 | #Constraints: 38605
66.44/66.71 c #Conflicts: 1341000 | #Constraints: 39605
66.44/66.71 c #Conflicts: 1342000 | #Constraints: 40605
66.44/66.71 c #Conflicts: 1343000 | #Constraints: 41605
66.44/66.71 c #Conflicts: 1344000 | #Constraints: 42605
66.44/66.71 c #Conflicts: 1345000 | #Constraints: 43605
66.44/66.71 c #Conflicts: 1346000 | #Constraints: 44605
66.44/66.71 c #Conflicts: 1347000 | #Constraints: 45605
66.44/66.71 c #Conflicts: 1348000 | #Constraints: 46605
66.44/66.71 c INPROCESSING
66.44/66.71 c GARBAGE COLLECT
66.44/66.71 c rational objective 250.5
67.53/67.86 c #Conflicts: 1349000 | #Constraints: 24617
67.53/67.86 c #Conflicts: 1350000 | #Constraints: 25617
67.53/67.86 c #Conflicts: 1351000 | #Constraints: 26617
67.53/67.86 c #Conflicts: 1352000 | #Constraints: 27617
67.53/67.86 c #Conflicts: 1353000 | #Constraints: 28617
67.53/67.86 c #Conflicts: 1354000 | #Constraints: 29617
67.53/67.86 c #Conflicts: 1355000 | #Constraints: 30617
67.53/67.86 c #Conflicts: 1356000 | #Constraints: 31617
67.53/67.86 c #Conflicts: 1357000 | #Constraints: 32617
67.53/67.86 c #Conflicts: 1358000 | #Constraints: 33617
67.53/67.86 c #Conflicts: 1359000 | #Constraints: 34617
67.53/67.86 c #Conflicts: 1360000 | #Constraints: 35617
67.53/67.86 c #Conflicts: 1361000 | #Constraints: 36617
67.53/67.86 c #Conflicts: 1362000 | #Constraints: 37617
67.53/67.86 c #Conflicts: 1363000 | #Constraints: 38617
67.53/67.86 c #Conflicts: 1364000 | #Constraints: 39617
67.53/67.86 c #Conflicts: 1365000 | #Constraints: 40617
67.53/67.86 c #Conflicts: 1366000 | #Constraints: 41617
67.53/67.86 c #Conflicts: 1367000 | #Constraints: 42617
67.53/67.86 c #Conflicts: 1368000 | #Constraints: 43617
67.53/67.86 c #Conflicts: 1369000 | #Constraints: 44617
67.53/67.86 c #Conflicts: 1370000 | #Constraints: 45617
67.53/67.86 c #Conflicts: 1371000 | #Constraints: 46617
67.53/67.86 c INPROCESSING
67.53/67.86 c GARBAGE COLLECT
67.53/67.86 c rational objective 250.5
68.74/69.08 c #Conflicts: 1372000 | #Constraints: 24420
68.74/69.08 c #Conflicts: 1373000 | #Constraints: 25420
68.74/69.08 c #Conflicts: 1374000 | #Constraints: 26420
68.74/69.08 c #Conflicts: 1375000 | #Constraints: 27420
68.74/69.08 c #Conflicts: 1376000 | #Constraints: 28420
68.74/69.08 c #Conflicts: 1377000 | #Constraints: 29420
68.74/69.08 c #Conflicts: 1378000 | #Constraints: 30420
68.74/69.08 c #Conflicts: 1379000 | #Constraints: 31420
68.74/69.08 c #Conflicts: 1380000 | #Constraints: 32420
68.74/69.08 c #Conflicts: 1381000 | #Constraints: 33420
68.74/69.08 c #Conflicts: 1382000 | #Constraints: 34420
68.74/69.08 c #Conflicts: 1383000 | #Constraints: 35420
68.74/69.08 c #Conflicts: 1384000 | #Constraints: 36420
68.74/69.08 c #Conflicts: 1385000 | #Constraints: 37420
68.74/69.08 c #Conflicts: 1386000 | #Constraints: 38420
68.74/69.08 c #Conflicts: 1387000 | #Constraints: 39420
68.74/69.08 c #Conflicts: 1388000 | #Constraints: 40420
68.74/69.08 c #Conflicts: 1389000 | #Constraints: 41420
68.74/69.08 c #Conflicts: 1390000 | #Constraints: 42420
68.74/69.08 c #Conflicts: 1391000 | #Constraints: 43420
68.74/69.08 c #Conflicts: 1392000 | #Constraints: 44420
68.74/69.08 c #Conflicts: 1393000 | #Constraints: 45420
68.74/69.08 c #Conflicts: 1394000 | #Constraints: 46420
68.74/69.08 c #Conflicts: 1395000 | #Constraints: 47420
68.74/69.08 c INPROCESSING
68.74/69.08 c GARBAGE COLLECT
68.74/69.08 c rational objective 250.5
70.12/70.44 c #Conflicts: 1396000 | #Constraints: 25024
70.12/70.44 c #Conflicts: 1397000 | #Constraints: 26024
70.12/70.44 c #Conflicts: 1398000 | #Constraints: 27024
70.12/70.44 c #Conflicts: 1399000 | #Constraints: 28024
70.12/70.44 c #Conflicts: 1400000 | #Constraints: 29024
70.12/70.44 c #Conflicts: 1401000 | #Constraints: 30024
70.12/70.44 c #Conflicts: 1402000 | #Constraints: 31024
70.12/70.44 c #Conflicts: 1403000 | #Constraints: 32024
70.12/70.44 c #Conflicts: 1404000 | #Constraints: 33024
70.12/70.44 c #Conflicts: 1405000 | #Constraints: 34024
70.12/70.44 c #Conflicts: 1406000 | #Constraints: 35024
70.12/70.44 c #Conflicts: 1407000 | #Constraints: 36024
70.12/70.44 c #Conflicts: 1408000 | #Constraints: 37024
70.12/70.44 c #Conflicts: 1409000 | #Constraints: 38024
70.12/70.44 c #Conflicts: 1410000 | #Constraints: 39024
70.12/70.44 c #Conflicts: 1411000 | #Constraints: 40024
70.12/70.44 c #Conflicts: 1412000 | #Constraints: 41024
70.12/70.44 c #Conflicts: 1413000 | #Constraints: 42024
70.12/70.44 c #Conflicts: 1414000 | #Constraints: 43024
70.12/70.44 c #Conflicts: 1415000 | #Constraints: 44024
70.12/70.44 c #Conflicts: 1416000 | #Constraints: 45024
70.12/70.44 c #Conflicts: 1417000 | #Constraints: 46024
70.12/70.44 c #Conflicts: 1418000 | #Constraints: 47024
70.12/70.44 c #Conflicts: 1419000 | #Constraints: 48024
70.12/70.44 c INPROCESSING
70.12/70.44 c GARBAGE COLLECT
70.12/70.44 c rational objective 250.5
71.32/71.67 c #Conflicts: 1420000 | #Constraints: 25418
71.32/71.67 c #Conflicts: 1421000 | #Constraints: 26418
71.32/71.67 c #Conflicts: 1422000 | #Constraints: 27418
71.32/71.67 c #Conflicts: 1423000 | #Constraints: 28418
71.32/71.67 c #Conflicts: 1424000 | #Constraints: 29418
71.32/71.67 c #Conflicts: 1425000 | #Constraints: 30418
71.32/71.67 c #Conflicts: 1426000 | #Constraints: 31418
71.32/71.67 c #Conflicts: 1427000 | #Constraints: 32418
71.32/71.67 c #Conflicts: 1428000 | #Constraints: 33418
71.32/71.67 c #Conflicts: 1429000 | #Constraints: 34418
71.32/71.67 c #Conflicts: 1430000 | #Constraints: 35418
71.32/71.67 c #Conflicts: 1431000 | #Constraints: 36418
71.32/71.67 c #Conflicts: 1432000 | #Constraints: 37418
71.32/71.67 c #Conflicts: 1433000 | #Constraints: 38418
71.32/71.67 c #Conflicts: 1434000 | #Constraints: 39418
71.32/71.67 c #Conflicts: 1435000 | #Constraints: 40418
71.32/71.67 c #Conflicts: 1436000 | #Constraints: 41418
71.32/71.67 c #Conflicts: 1437000 | #Constraints: 42418
71.32/71.67 c #Conflicts: 1438000 | #Constraints: 43418
71.32/71.67 c #Conflicts: 1439000 | #Constraints: 44418
71.32/71.67 c #Conflicts: 1440000 | #Constraints: 45418
71.32/71.67 c #Conflicts: 1441000 | #Constraints: 46418
71.32/71.67 c #Conflicts: 1442000 | #Constraints: 47418
71.32/71.67 c #Conflicts: 1443000 | #Constraints: 48418
71.32/71.67 c INPROCESSING
71.32/71.67 c GARBAGE COLLECT
71.32/71.67 c rational objective 250.5
72.61/72.91 c #Conflicts: 1444000 | #Constraints: 25624
72.61/72.91 c #Conflicts: 1445000 | #Constraints: 26624
72.61/72.91 c #Conflicts: 1446000 | #Constraints: 27624
72.61/72.91 c #Conflicts: 1447000 | #Constraints: 28624
72.61/72.91 c #Conflicts: 1448000 | #Constraints: 29624
72.61/72.91 c #Conflicts: 1449000 | #Constraints: 30624
72.61/72.91 c #Conflicts: 1450000 | #Constraints: 31624
72.61/72.91 c #Conflicts: 1451000 | #Constraints: 32624
72.61/72.91 c #Conflicts: 1452000 | #Constraints: 33624
72.61/72.91 c #Conflicts: 1453000 | #Constraints: 34624
72.61/72.91 c #Conflicts: 1454000 | #Constraints: 35624
72.61/72.91 c #Conflicts: 1455000 | #Constraints: 36624
72.61/72.91 c #Conflicts: 1456000 | #Constraints: 37624
72.61/72.91 c #Conflicts: 1457000 | #Constraints: 38624
72.61/72.91 c #Conflicts: 1458000 | #Constraints: 39624
72.61/72.91 c #Conflicts: 1459000 | #Constraints: 40624
72.61/72.91 c #Conflicts: 1460000 | #Constraints: 41624
72.61/72.91 c #Conflicts: 1461000 | #Constraints: 42624
72.61/72.91 c #Conflicts: 1462000 | #Constraints: 43624
72.61/72.91 c #Conflicts: 1463000 | #Constraints: 44624
72.61/72.91 c #Conflicts: 1464000 | #Constraints: 45624
72.61/72.91 c #Conflicts: 1465000 | #Constraints: 46624
72.61/72.91 c #Conflicts: 1466000 | #Constraints: 47624
72.61/72.91 c #Conflicts: 1467000 | #Constraints: 48624
72.61/72.91 c INPROCESSING
72.61/72.91 c GARBAGE COLLECT
72.61/72.91 c rational objective 250.5
73.91/74.24 c #Conflicts: 1468000 | #Constraints: 25624
73.91/74.24 c #Conflicts: 1469000 | #Constraints: 26624
73.91/74.24 c #Conflicts: 1470000 | #Constraints: 27624
73.91/74.24 c #Conflicts: 1471000 | #Constraints: 28624
73.91/74.24 c #Conflicts: 1472000 | #Constraints: 29624
73.91/74.24 c #Conflicts: 1473000 | #Constraints: 30624
73.91/74.24 c #Conflicts: 1474000 | #Constraints: 31624
73.91/74.24 c #Conflicts: 1475000 | #Constraints: 32624
73.91/74.24 c #Conflicts: 1476000 | #Constraints: 33624
73.91/74.24 c #Conflicts: 1477000 | #Constraints: 34624
73.91/74.24 c #Conflicts: 1478000 | #Constraints: 35624
73.91/74.24 c #Conflicts: 1479000 | #Constraints: 36624
73.91/74.24 c #Conflicts: 1480000 | #Constraints: 37624
73.91/74.24 c #Conflicts: 1481000 | #Constraints: 38624
73.91/74.24 c #Conflicts: 1482000 | #Constraints: 39624
73.91/74.24 c #Conflicts: 1483000 | #Constraints: 40624
73.91/74.24 c #Conflicts: 1484000 | #Constraints: 41624
73.91/74.24 c #Conflicts: 1485000 | #Constraints: 42624
73.91/74.24 c #Conflicts: 1486000 | #Constraints: 43624
73.91/74.24 c #Conflicts: 1487000 | #Constraints: 44624
73.91/74.24 c #Conflicts: 1488000 | #Constraints: 45624
73.91/74.24 c #Conflicts: 1489000 | #Constraints: 46624
73.91/74.24 c #Conflicts: 1490000 | #Constraints: 47624
73.91/74.24 c #Conflicts: 1491000 | #Constraints: 48624
73.91/74.24 c INPROCESSING
73.91/74.24 c GARBAGE COLLECT
73.91/74.24 c rational objective 250.5
75.21/75.57 c #Conflicts: 1492000 | #Constraints: 25424
75.21/75.57 c #Conflicts: 1493000 | #Constraints: 26424
75.21/75.57 c #Conflicts: 1494000 | #Constraints: 27424
75.21/75.57 c #Conflicts: 1495000 | #Constraints: 28424
75.21/75.57 c #Conflicts: 1496000 | #Constraints: 29424
75.21/75.57 c #Conflicts: 1497000 | #Constraints: 30424
75.21/75.57 c #Conflicts: 1498000 | #Constraints: 31424
75.21/75.57 c #Conflicts: 1499000 | #Constraints: 32424
75.21/75.57 c #Conflicts: 1500000 | #Constraints: 33424
75.21/75.57 c #Conflicts: 1501000 | #Constraints: 34424
75.21/75.57 c #Conflicts: 1502000 | #Constraints: 35424
75.21/75.57 c #Conflicts: 1503000 | #Constraints: 36424
75.21/75.57 c #Conflicts: 1504000 | #Constraints: 37424
75.21/75.57 c #Conflicts: 1505000 | #Constraints: 38424
75.21/75.57 c #Conflicts: 1506000 | #Constraints: 39424
75.21/75.57 c #Conflicts: 1507000 | #Constraints: 40424
75.21/75.57 c #Conflicts: 1508000 | #Constraints: 41424
75.21/75.57 c #Conflicts: 1509000 | #Constraints: 42424
75.21/75.57 c #Conflicts: 1510000 | #Constraints: 43424
75.21/75.57 c #Conflicts: 1511000 | #Constraints: 44424
75.21/75.57 c #Conflicts: 1512000 | #Constraints: 45424
75.21/75.57 c #Conflicts: 1513000 | #Constraints: 46424
75.21/75.57 c #Conflicts: 1514000 | #Constraints: 47424
75.21/75.57 c #Conflicts: 1515000 | #Constraints: 48424
75.21/75.57 c #Conflicts: 1516000 | #Constraints: 49424
75.21/75.57 c INPROCESSING
75.21/75.57 c GARBAGE COLLECT
75.21/75.57 c rational objective 250.5
76.51/76.89 c #Conflicts: 1517000 | #Constraints: 26024
76.51/76.89 c #Conflicts: 1518000 | #Constraints: 27024
76.51/76.89 c #Conflicts: 1519000 | #Constraints: 28024
76.51/76.89 c #Conflicts: 1520000 | #Constraints: 29024
76.51/76.89 c #Conflicts: 1521000 | #Constraints: 30024
76.51/76.89 c #Conflicts: 1522000 | #Constraints: 31024
76.51/76.89 c #Conflicts: 1523000 | #Constraints: 32024
76.51/76.89 c #Conflicts: 1524000 | #Constraints: 33024
76.51/76.89 c #Conflicts: 1525000 | #Constraints: 34024
76.51/76.89 c #Conflicts: 1526000 | #Constraints: 35024
76.51/76.89 c #Conflicts: 1527000 | #Constraints: 36024
76.51/76.89 c #Conflicts: 1528000 | #Constraints: 37024
76.51/76.89 c #Conflicts: 1529000 | #Constraints: 38024
76.51/76.89 c #Conflicts: 1530000 | #Constraints: 39024
76.51/76.89 c #Conflicts: 1531000 | #Constraints: 40024
76.51/76.89 c #Conflicts: 1532000 | #Constraints: 41024
76.51/76.89 c #Conflicts: 1533000 | #Constraints: 42024
76.51/76.89 c #Conflicts: 1534000 | #Constraints: 43024
76.51/76.89 c #Conflicts: 1535000 | #Constraints: 44024
76.51/76.89 c #Conflicts: 1536000 | #Constraints: 45024
76.51/76.89 c #Conflicts: 1537000 | #Constraints: 46024
76.51/76.89 c #Conflicts: 1538000 | #Constraints: 47024
76.51/76.89 c #Conflicts: 1539000 | #Constraints: 48024
76.51/76.89 c #Conflicts: 1540000 | #Constraints: 49024
76.51/76.89 c #Conflicts: 1541000 | #Constraints: 50024
76.51/76.89 c INPROCESSING
76.51/76.89 c GARBAGE COLLECT
76.51/76.89 c rational objective 250.5
77.90/78.21 c #Conflicts: 1542000 | #Constraints: 26422
77.90/78.21 c #Conflicts: 1543000 | #Constraints: 27422
77.90/78.21 c #Conflicts: 1544000 | #Constraints: 28422
77.90/78.21 c #Conflicts: 1545000 | #Constraints: 29422
77.90/78.21 c #Conflicts: 1546000 | #Constraints: 30422
77.90/78.21 c #Conflicts: 1547000 | #Constraints: 31422
77.90/78.21 c #Conflicts: 1548000 | #Constraints: 32422
77.90/78.21 c #Conflicts: 1549000 | #Constraints: 33422
77.90/78.21 c #Conflicts: 1550000 | #Constraints: 34422
77.90/78.21 c #Conflicts: 1551000 | #Constraints: 35422
77.90/78.21 c #Conflicts: 1552000 | #Constraints: 36422
77.90/78.21 c #Conflicts: 1553000 | #Constraints: 37422
77.90/78.21 c #Conflicts: 1554000 | #Constraints: 38422
77.90/78.21 c #Conflicts: 1555000 | #Constraints: 39422
77.90/78.21 c #Conflicts: 1556000 | #Constraints: 40422
77.90/78.21 c #Conflicts: 1557000 | #Constraints: 41422
77.90/78.21 c #Conflicts: 1558000 | #Constraints: 42422
77.90/78.21 c #Conflicts: 1559000 | #Constraints: 43422
77.90/78.21 c #Conflicts: 1560000 | #Constraints: 44422
77.90/78.21 c #Conflicts: 1561000 | #Constraints: 45422
77.90/78.21 c #Conflicts: 1562000 | #Constraints: 46422
77.90/78.21 c #Conflicts: 1563000 | #Constraints: 47422
77.90/78.21 c #Conflicts: 1564000 | #Constraints: 48422
77.90/78.21 c #Conflicts: 1565000 | #Constraints: 49422
77.90/78.21 c #Conflicts: 1566000 | #Constraints: 50422
77.90/78.21 c INPROCESSING
77.90/78.21 c GARBAGE COLLECT
77.90/78.21 c rational objective 250.5
79.50/79.88 c #Conflicts: 1567000 | #Constraints: 26622
79.50/79.88 c #Conflicts: 1568000 | #Constraints: 27622
79.50/79.88 c #Conflicts: 1569000 | #Constraints: 28622
79.50/79.88 c #Conflicts: 1570000 | #Constraints: 29622
79.50/79.88 c #Conflicts: 1571000 | #Constraints: 30622
79.50/79.88 c #Conflicts: 1572000 | #Constraints: 31622
79.50/79.88 c #Conflicts: 1573000 | #Constraints: 32622
79.50/79.88 c #Conflicts: 1574000 | #Constraints: 33622
79.50/79.88 c #Conflicts: 1575000 | #Constraints: 34622
79.50/79.88 c #Conflicts: 1576000 | #Constraints: 35622
79.50/79.88 c #Conflicts: 1577000 | #Constraints: 36622
79.50/79.88 c #Conflicts: 1578000 | #Constraints: 37622
79.50/79.88 c #Conflicts: 1579000 | #Constraints: 38622
79.50/79.88 c #Conflicts: 1580000 | #Constraints: 39622
79.50/79.88 c #Conflicts: 1581000 | #Constraints: 40622
79.50/79.88 c #Conflicts: 1582000 | #Constraints: 41622
79.50/79.88 c #Conflicts: 1583000 | #Constraints: 42622
79.50/79.88 c #Conflicts: 1584000 | #Constraints: 43622
79.50/79.88 c #Conflicts: 1585000 | #Constraints: 44622
79.50/79.88 c #Conflicts: 1586000 | #Constraints: 45622
79.50/79.88 c #Conflicts: 1587000 | #Constraints: 46622
79.50/79.88 c #Conflicts: 1588000 | #Constraints: 47622
79.50/79.88 c #Conflicts: 1589000 | #Constraints: 48622
79.50/79.88 c #Conflicts: 1590000 | #Constraints: 49622
79.50/79.88 c #Conflicts: 1591000 | #Constraints: 50622
79.50/79.88 c INPROCESSING
79.50/79.88 c GARBAGE COLLECT
79.50/79.88 c rational objective 250.5
81.39/81.71 c #Conflicts: 1592000 | #Constraints: 26625
81.39/81.71 c #Conflicts: 1593000 | #Constraints: 27625
81.39/81.71 c #Conflicts: 1594000 | #Constraints: 28625
81.39/81.71 c #Conflicts: 1595000 | #Constraints: 29625
81.39/81.71 c #Conflicts: 1596000 | #Constraints: 30625
81.39/81.71 c #Conflicts: 1597000 | #Constraints: 31625
81.39/81.71 c #Conflicts: 1598000 | #Constraints: 32625
81.39/81.71 c #Conflicts: 1599000 | #Constraints: 33625
81.39/81.71 c #Conflicts: 1600000 | #Constraints: 34625
81.39/81.71 c #Conflicts: 1601000 | #Constraints: 35625
81.39/81.71 c #Conflicts: 1602000 | #Constraints: 36625
81.39/81.71 c #Conflicts: 1603000 | #Constraints: 37625
81.39/81.71 c #Conflicts: 1604000 | #Constraints: 38625
81.39/81.71 c #Conflicts: 1605000 | #Constraints: 39625
81.39/81.71 c #Conflicts: 1606000 | #Constraints: 40625
81.39/81.71 c #Conflicts: 1607000 | #Constraints: 41625
81.39/81.71 c #Conflicts: 1608000 | #Constraints: 42625
81.39/81.71 c #Conflicts: 1609000 | #Constraints: 43625
81.39/81.71 c #Conflicts: 1610000 | #Constraints: 44625
81.39/81.71 c #Conflicts: 1611000 | #Constraints: 45625
81.39/81.71 c #Conflicts: 1612000 | #Constraints: 46625
81.39/81.71 c #Conflicts: 1613000 | #Constraints: 47625
81.39/81.71 c #Conflicts: 1614000 | #Constraints: 48625
81.39/81.71 c #Conflicts: 1615000 | #Constraints: 49625
81.39/81.71 c #Conflicts: 1616000 | #Constraints: 50625
81.39/81.71 c INPROCESSING
81.39/81.71 c GARBAGE COLLECT
81.39/81.71 c rational objective 250.5
82.49/82.87 c #Conflicts: 1617000 | #Constraints: 26426
82.49/82.87 c #Conflicts: 1618000 | #Constraints: 27426
82.49/82.87 c #Conflicts: 1619000 | #Constraints: 28426
82.49/82.87 c #Conflicts: 1620000 | #Constraints: 29426
82.49/82.87 c #Conflicts: 1621000 | #Constraints: 30426
82.49/82.87 c #Conflicts: 1622000 | #Constraints: 31426
82.49/82.87 c #Conflicts: 1623000 | #Constraints: 32426
82.49/82.87 c #Conflicts: 1624000 | #Constraints: 33426
82.49/82.87 c #Conflicts: 1625000 | #Constraints: 34426
82.49/82.87 c #Conflicts: 1626000 | #Constraints: 35426
82.49/82.87 c #Conflicts: 1627000 | #Constraints: 36426
82.49/82.87 c #Conflicts: 1628000 | #Constraints: 37426
82.49/82.87 c #Conflicts: 1629000 | #Constraints: 38426
82.49/82.87 c #Conflicts: 1630000 | #Constraints: 39426
82.49/82.87 c #Conflicts: 1631000 | #Constraints: 40426
82.49/82.87 c #Conflicts: 1632000 | #Constraints: 41426
82.49/82.87 c #Conflicts: 1633000 | #Constraints: 42426
82.49/82.87 c #Conflicts: 1634000 | #Constraints: 43426
82.49/82.87 c #Conflicts: 1635000 | #Constraints: 44426
82.49/82.87 c #Conflicts: 1636000 | #Constraints: 45426
82.49/82.87 c #Conflicts: 1637000 | #Constraints: 46426
82.49/82.87 c #Conflicts: 1638000 | #Constraints: 47426
82.49/82.87 c #Conflicts: 1639000 | #Constraints: 48426
82.49/82.87 c #Conflicts: 1640000 | #Constraints: 49426
82.49/82.87 c #Conflicts: 1641000 | #Constraints: 50426
82.49/82.87 c #Conflicts: 1642000 | #Constraints: 51426
82.49/82.87 c INPROCESSING
82.49/82.87 c GARBAGE COLLECT
82.49/82.87 c rational objective 250.5
83.99/84.30 c #Conflicts: 1643000 | #Constraints: 27019
83.99/84.30 c #Conflicts: 1644000 | #Constraints: 28019
83.99/84.30 c #Conflicts: 1645000 | #Constraints: 29019
83.99/84.30 c #Conflicts: 1646000 | #Constraints: 30019
83.99/84.30 c #Conflicts: 1647000 | #Constraints: 31019
83.99/84.30 c #Conflicts: 1648000 | #Constraints: 32019
83.99/84.30 c #Conflicts: 1649000 | #Constraints: 33019
83.99/84.30 c #Conflicts: 1650000 | #Constraints: 34019
83.99/84.30 c #Conflicts: 1651000 | #Constraints: 35019
83.99/84.30 c #Conflicts: 1652000 | #Constraints: 36019
83.99/84.30 c #Conflicts: 1653000 | #Constraints: 37019
83.99/84.30 c #Conflicts: 1654000 | #Constraints: 38019
83.99/84.30 c #Conflicts: 1655000 | #Constraints: 39019
83.99/84.30 c #Conflicts: 1656000 | #Constraints: 40019
83.99/84.30 c #Conflicts: 1657000 | #Constraints: 41019
83.99/84.30 c #Conflicts: 1658000 | #Constraints: 42019
83.99/84.30 c #Conflicts: 1659000 | #Constraints: 43019
83.99/84.30 c #Conflicts: 1660000 | #Constraints: 44019
83.99/84.30 c #Conflicts: 1661000 | #Constraints: 45019
83.99/84.30 c #Conflicts: 1662000 | #Constraints: 46019
83.99/84.30 c #Conflicts: 1663000 | #Constraints: 47019
83.99/84.30 c #Conflicts: 1664000 | #Constraints: 48019
83.99/84.30 c #Conflicts: 1665000 | #Constraints: 49019
83.99/84.30 c #Conflicts: 1666000 | #Constraints: 50019
83.99/84.30 c #Conflicts: 1667000 | #Constraints: 51019
83.99/84.30 c #Conflicts: 1668000 | #Constraints: 52019
83.99/84.30 c INPROCESSING
83.99/84.30 c GARBAGE COLLECT
83.99/84.30 c rational objective 250.5
85.28/85.69 c #Conflicts: 1669000 | #Constraints: 27428
85.28/85.69 c #Conflicts: 1670000 | #Constraints: 28428
85.28/85.69 c #Conflicts: 1671000 | #Constraints: 29428
85.28/85.69 c #Conflicts: 1672000 | #Constraints: 30428
85.28/85.69 c #Conflicts: 1673000 | #Constraints: 31428
85.28/85.69 c #Conflicts: 1674000 | #Constraints: 32428
85.28/85.69 c #Conflicts: 1675000 | #Constraints: 33428
85.28/85.69 c #Conflicts: 1676000 | #Constraints: 34428
85.28/85.69 c #Conflicts: 1677000 | #Constraints: 35428
85.28/85.69 c #Conflicts: 1678000 | #Constraints: 36428
85.28/85.69 c #Conflicts: 1679000 | #Constraints: 37428
85.28/85.69 c #Conflicts: 1680000 | #Constraints: 38428
85.28/85.69 c #Conflicts: 1681000 | #Constraints: 39428
85.28/85.69 c #Conflicts: 1682000 | #Constraints: 40428
85.28/85.69 c #Conflicts: 1683000 | #Constraints: 41428
85.28/85.69 c #Conflicts: 1684000 | #Constraints: 42428
85.28/85.69 c #Conflicts: 1685000 | #Constraints: 43428
85.28/85.69 c #Conflicts: 1686000 | #Constraints: 44428
85.28/85.69 c #Conflicts: 1687000 | #Constraints: 45428
85.28/85.69 c #Conflicts: 1688000 | #Constraints: 46428
85.28/85.69 c #Conflicts: 1689000 | #Constraints: 47428
85.28/85.69 c #Conflicts: 1690000 | #Constraints: 48428
85.28/85.69 c #Conflicts: 1691000 | #Constraints: 49428
85.28/85.69 c #Conflicts: 1692000 | #Constraints: 50428
85.28/85.69 c #Conflicts: 1693000 | #Constraints: 51428
85.28/85.69 c #Conflicts: 1694000 | #Constraints: 52428
85.28/85.69 c INPROCESSING
85.28/85.69 c GARBAGE COLLECT
85.28/85.69 c rational objective 250.5
86.79/87.12 c #Conflicts: 1695000 | #Constraints: 27628
86.79/87.12 c #Conflicts: 1696000 | #Constraints: 28628
86.79/87.12 c #Conflicts: 1697000 | #Constraints: 29628
86.79/87.12 c #Conflicts: 1698000 | #Constraints: 30628
86.79/87.12 c #Conflicts: 1699000 | #Constraints: 31628
86.79/87.12 c #Conflicts: 1700000 | #Constraints: 32628
86.79/87.12 c #Conflicts: 1701000 | #Constraints: 33628
86.79/87.12 c #Conflicts: 1702000 | #Constraints: 34628
86.79/87.12 c #Conflicts: 1703000 | #Constraints: 35628
86.79/87.12 c #Conflicts: 1704000 | #Constraints: 36628
86.79/87.12 c #Conflicts: 1705000 | #Constraints: 37628
86.79/87.12 c #Conflicts: 1706000 | #Constraints: 38628
86.79/87.12 c #Conflicts: 1707000 | #Constraints: 39628
86.79/87.12 c #Conflicts: 1708000 | #Constraints: 40628
86.79/87.12 c #Conflicts: 1709000 | #Constraints: 41628
86.79/87.12 c #Conflicts: 1710000 | #Constraints: 42628
86.79/87.12 c #Conflicts: 1711000 | #Constraints: 43628
86.79/87.12 c #Conflicts: 1712000 | #Constraints: 44628
86.79/87.12 c #Conflicts: 1713000 | #Constraints: 45628
86.79/87.12 c #Conflicts: 1714000 | #Constraints: 46628
86.79/87.12 c #Conflicts: 1715000 | #Constraints: 47628
86.79/87.12 c #Conflicts: 1716000 | #Constraints: 48628
86.79/87.12 c #Conflicts: 1717000 | #Constraints: 49628
86.79/87.12 c #Conflicts: 1718000 | #Constraints: 50628
86.79/87.12 c #Conflicts: 1719000 | #Constraints: 51628
86.79/87.12 c #Conflicts: 1720000 | #Constraints: 52628
86.79/87.12 c INPROCESSING
86.79/87.12 c GARBAGE COLLECT
86.79/87.12 c rational objective 250.5
88.08/88.42 c #Conflicts: 1721000 | #Constraints: 27631
88.08/88.42 c #Conflicts: 1722000 | #Constraints: 28631
88.08/88.42 c #Conflicts: 1723000 | #Constraints: 29631
88.08/88.42 c #Conflicts: 1724000 | #Constraints: 30631
88.08/88.42 c #Conflicts: 1725000 | #Constraints: 31631
88.08/88.42 c #Conflicts: 1726000 | #Constraints: 32631
88.08/88.42 c #Conflicts: 1727000 | #Constraints: 33631
88.08/88.42 c #Conflicts: 1728000 | #Constraints: 34631
88.08/88.42 c #Conflicts: 1729000 | #Constraints: 35631
88.08/88.42 c #Conflicts: 1730000 | #Constraints: 36631
88.08/88.42 c #Conflicts: 1731000 | #Constraints: 37631
88.08/88.42 c #Conflicts: 1732000 | #Constraints: 38631
88.08/88.42 c #Conflicts: 1733000 | #Constraints: 39631
88.08/88.42 c #Conflicts: 1734000 | #Constraints: 40631
88.08/88.42 c #Conflicts: 1735000 | #Constraints: 41631
88.08/88.42 c #Conflicts: 1736000 | #Constraints: 42631
88.08/88.42 c #Conflicts: 1737000 | #Constraints: 43631
88.08/88.42 c #Conflicts: 1738000 | #Constraints: 44631
88.08/88.42 c #Conflicts: 1739000 | #Constraints: 45631
88.08/88.42 c #Conflicts: 1740000 | #Constraints: 46631
88.08/88.42 c #Conflicts: 1741000 | #Constraints: 47631
88.08/88.42 c #Conflicts: 1742000 | #Constraints: 48631
88.08/88.42 c #Conflicts: 1743000 | #Constraints: 49631
88.08/88.42 c #Conflicts: 1744000 | #Constraints: 50631
88.08/88.42 c #Conflicts: 1745000 | #Constraints: 51631
88.08/88.42 c #Conflicts: 1746000 | #Constraints: 52631
88.08/88.42 c INPROCESSING
88.08/88.42 c GARBAGE COLLECT
88.08/88.42 c rational objective 250.5
89.57/89.93 c #Conflicts: 1747000 | #Constraints: 27426
89.57/89.93 c #Conflicts: 1748000 | #Constraints: 28426
89.57/89.93 c #Conflicts: 1749000 | #Constraints: 29426
89.57/89.93 c #Conflicts: 1750000 | #Constraints: 30426
89.57/89.93 c #Conflicts: 1751000 | #Constraints: 31426
89.57/89.93 c #Conflicts: 1752000 | #Constraints: 32426
89.57/89.93 c #Conflicts: 1753000 | #Constraints: 33426
89.57/89.93 c #Conflicts: 1754000 | #Constraints: 34426
89.57/89.93 c #Conflicts: 1755000 | #Constraints: 35426
89.57/89.93 c #Conflicts: 1756000 | #Constraints: 36426
89.57/89.93 c #Conflicts: 1757000 | #Constraints: 37426
89.57/89.93 c #Conflicts: 1758000 | #Constraints: 38426
89.57/89.93 c #Conflicts: 1759000 | #Constraints: 39426
89.57/89.93 c #Conflicts: 1760000 | #Constraints: 40426
89.57/89.93 c #Conflicts: 1761000 | #Constraints: 41426
89.57/89.93 c #Conflicts: 1762000 | #Constraints: 42426
89.57/89.93 c #Conflicts: 1763000 | #Constraints: 43426
89.57/89.93 c #Conflicts: 1764000 | #Constraints: 44426
89.57/89.93 c #Conflicts: 1765000 | #Constraints: 45426
89.57/89.93 c #Conflicts: 1766000 | #Constraints: 46426
89.57/89.93 c #Conflicts: 1767000 | #Constraints: 47426
89.57/89.93 c #Conflicts: 1768000 | #Constraints: 48426
89.57/89.93 c #Conflicts: 1769000 | #Constraints: 49426
89.57/89.93 c #Conflicts: 1770000 | #Constraints: 50426
89.57/89.93 c #Conflicts: 1771000 | #Constraints: 51426
89.57/89.93 c #Conflicts: 1772000 | #Constraints: 52426
89.57/89.93 c #Conflicts: 1773000 | #Constraints: 53426
89.57/89.93 c INPROCESSING
89.57/89.93 c GARBAGE COLLECT
89.57/89.93 c rational objective 250.5
91.07/91.40 c #Conflicts: 1774000 | #Constraints: 28022
91.07/91.40 c #Conflicts: 1775000 | #Constraints: 29022
91.07/91.40 c #Conflicts: 1776000 | #Constraints: 30022
91.07/91.40 c #Conflicts: 1777000 | #Constraints: 31022
91.07/91.40 c #Conflicts: 1778000 | #Constraints: 32022
91.07/91.40 c #Conflicts: 1779000 | #Constraints: 33022
91.07/91.40 c #Conflicts: 1780000 | #Constraints: 34022
91.07/91.40 c #Conflicts: 1781000 | #Constraints: 35022
91.07/91.40 c #Conflicts: 1782000 | #Constraints: 36022
91.07/91.40 c #Conflicts: 1783000 | #Constraints: 37022
91.07/91.40 c #Conflicts: 1784000 | #Constraints: 38022
91.07/91.40 c #Conflicts: 1785000 | #Constraints: 39022
91.07/91.40 c #Conflicts: 1786000 | #Constraints: 40022
91.07/91.40 c #Conflicts: 1787000 | #Constraints: 41022
91.07/91.40 c #Conflicts: 1788000 | #Constraints: 42022
91.07/91.40 c #Conflicts: 1789000 | #Constraints: 43022
91.07/91.40 c #Conflicts: 1790000 | #Constraints: 44022
91.07/91.40 c #Conflicts: 1791000 | #Constraints: 45022
91.07/91.40 c #Conflicts: 1792000 | #Constraints: 46022
91.07/91.40 c #Conflicts: 1793000 | #Constraints: 47022
91.07/91.40 c #Conflicts: 1794000 | #Constraints: 48022
91.07/91.40 c #Conflicts: 1795000 | #Constraints: 49022
91.07/91.40 c #Conflicts: 1796000 | #Constraints: 50022
91.07/91.40 c #Conflicts: 1797000 | #Constraints: 51022
91.07/91.40 c #Conflicts: 1798000 | #Constraints: 52022
91.07/91.40 c #Conflicts: 1799000 | #Constraints: 53022
91.07/91.40 c #Conflicts: 1800000 | #Constraints: 54022
91.07/91.40 c INPROCESSING
91.07/91.40 c GARBAGE COLLECT
91.07/91.40 c rational objective 250.5
92.46/92.87 c #Conflicts: 1801000 | #Constraints: 28421
92.46/92.87 c #Conflicts: 1802000 | #Constraints: 29421
92.46/92.87 c #Conflicts: 1803000 | #Constraints: 30421
92.46/92.87 c #Conflicts: 1804000 | #Constraints: 31421
92.46/92.87 c #Conflicts: 1805000 | #Constraints: 32421
92.46/92.87 c #Conflicts: 1806000 | #Constraints: 33421
92.46/92.87 c #Conflicts: 1807000 | #Constraints: 34421
92.46/92.87 c #Conflicts: 1808000 | #Constraints: 35421
92.46/92.87 c #Conflicts: 1809000 | #Constraints: 36421
92.46/92.87 c #Conflicts: 1810000 | #Constraints: 37421
92.46/92.87 c #Conflicts: 1811000 | #Constraints: 38421
92.46/92.87 c #Conflicts: 1812000 | #Constraints: 39421
92.46/92.87 c #Conflicts: 1813000 | #Constraints: 40421
92.46/92.87 c #Conflicts: 1814000 | #Constraints: 41421
92.46/92.87 c #Conflicts: 1815000 | #Constraints: 42421
92.46/92.87 c #Conflicts: 1816000 | #Constraints: 43421
92.46/92.87 c #Conflicts: 1817000 | #Constraints: 44421
92.46/92.87 c #Conflicts: 1818000 | #Constraints: 45421
92.46/92.87 c #Conflicts: 1819000 | #Constraints: 46421
92.46/92.87 c #Conflicts: 1820000 | #Constraints: 47421
92.46/92.87 c #Conflicts: 1821000 | #Constraints: 48421
92.46/92.87 c #Conflicts: 1822000 | #Constraints: 49421
92.46/92.87 c #Conflicts: 1823000 | #Constraints: 50421
92.46/92.87 c #Conflicts: 1824000 | #Constraints: 51421
92.46/92.87 c #Conflicts: 1825000 | #Constraints: 52421
92.46/92.87 c #Conflicts: 1826000 | #Constraints: 53421
92.46/92.87 c #Conflicts: 1827000 | #Constraints: 54421
92.46/92.87 c INPROCESSING
92.46/92.87 c GARBAGE COLLECT
92.46/92.87 c rational objective 250.5
93.95/94.35 c #Conflicts: 1828000 | #Constraints: 28622
93.95/94.35 c #Conflicts: 1829000 | #Constraints: 29622
93.95/94.35 c #Conflicts: 1830000 | #Constraints: 30622
93.95/94.35 c #Conflicts: 1831000 | #Constraints: 31622
93.95/94.35 c #Conflicts: 1832000 | #Constraints: 32622
93.95/94.35 c #Conflicts: 1833000 | #Constraints: 33622
93.95/94.35 c #Conflicts: 1834000 | #Constraints: 34622
93.95/94.35 c #Conflicts: 1835000 | #Constraints: 35622
93.95/94.35 c #Conflicts: 1836000 | #Constraints: 36622
93.95/94.35 c #Conflicts: 1837000 | #Constraints: 37622
93.95/94.35 c #Conflicts: 1838000 | #Constraints: 38622
93.95/94.35 c #Conflicts: 1839000 | #Constraints: 39622
93.95/94.35 c #Conflicts: 1840000 | #Constraints: 40622
93.95/94.35 c #Conflicts: 1841000 | #Constraints: 41622
93.95/94.35 c #Conflicts: 1842000 | #Constraints: 42622
93.95/94.35 c #Conflicts: 1843000 | #Constraints: 43622
93.95/94.35 c #Conflicts: 1844000 | #Constraints: 44622
93.95/94.35 c #Conflicts: 1845000 | #Constraints: 45622
93.95/94.35 c #Conflicts: 1846000 | #Constraints: 46622
93.95/94.35 c #Conflicts: 1847000 | #Constraints: 47622
93.95/94.35 c #Conflicts: 1848000 | #Constraints: 48622
93.95/94.35 c #Conflicts: 1849000 | #Constraints: 49622
93.95/94.35 c #Conflicts: 1850000 | #Constraints: 50622
93.95/94.35 c #Conflicts: 1851000 | #Constraints: 51622
93.95/94.35 c #Conflicts: 1852000 | #Constraints: 52622
93.95/94.35 c #Conflicts: 1853000 | #Constraints: 53622
93.95/94.35 c #Conflicts: 1854000 | #Constraints: 54622
93.95/94.35 c INPROCESSING
93.95/94.35 c GARBAGE COLLECT
93.95/94.35 c rational objective 250.5
95.46/95.80 c #Conflicts: 1855000 | #Constraints: 28630
95.46/95.80 c #Conflicts: 1856000 | #Constraints: 29630
95.46/95.80 c #Conflicts: 1857000 | #Constraints: 30630
95.46/95.80 c #Conflicts: 1858000 | #Constraints: 31630
95.46/95.80 c #Conflicts: 1859000 | #Constraints: 32630
95.46/95.80 c #Conflicts: 1860000 | #Constraints: 33630
95.46/95.80 c #Conflicts: 1861000 | #Constraints: 34630
95.46/95.80 c #Conflicts: 1862000 | #Constraints: 35630
95.46/95.80 c #Conflicts: 1863000 | #Constraints: 36630
95.46/95.80 c #Conflicts: 1864000 | #Constraints: 37630
95.46/95.80 c #Conflicts: 1865000 | #Constraints: 38630
95.46/95.80 c #Conflicts: 1866000 | #Constraints: 39630
95.46/95.80 c #Conflicts: 1867000 | #Constraints: 40630
95.46/95.80 c #Conflicts: 1868000 | #Constraints: 41630
95.46/95.80 c #Conflicts: 1869000 | #Constraints: 42630
95.46/95.80 c #Conflicts: 1870000 | #Constraints: 43630
95.46/95.80 c #Conflicts: 1871000 | #Constraints: 44630
95.46/95.80 c #Conflicts: 1872000 | #Constraints: 45630
95.46/95.80 c #Conflicts: 1873000 | #Constraints: 46630
95.46/95.80 c #Conflicts: 1874000 | #Constraints: 47630
95.46/95.80 c #Conflicts: 1875000 | #Constraints: 48630
95.46/95.80 c #Conflicts: 1876000 | #Constraints: 49630
95.46/95.80 c #Conflicts: 1877000 | #Constraints: 50630
95.46/95.80 c #Conflicts: 1878000 | #Constraints: 51630
95.46/95.80 c #Conflicts: 1879000 | #Constraints: 52630
95.46/95.80 c #Conflicts: 1880000 | #Constraints: 53630
95.46/95.80 c #Conflicts: 1881000 | #Constraints: 54630
95.46/95.80 c INPROCESSING
95.46/95.80 c GARBAGE COLLECT
95.46/95.80 c rational objective 250.5
96.95/97.38 c #Conflicts: 1882000 | #Constraints: 28429
96.95/97.38 c #Conflicts: 1883000 | #Constraints: 29429
96.95/97.38 c #Conflicts: 1884000 | #Constraints: 30429
96.95/97.38 c #Conflicts: 1885000 | #Constraints: 31429
96.95/97.38 c #Conflicts: 1886000 | #Constraints: 32429
96.95/97.38 c #Conflicts: 1887000 | #Constraints: 33429
96.95/97.38 c #Conflicts: 1888000 | #Constraints: 34429
96.95/97.38 c #Conflicts: 1889000 | #Constraints: 35429
96.95/97.38 c #Conflicts: 1890000 | #Constraints: 36429
96.95/97.38 c #Conflicts: 1891000 | #Constraints: 37429
96.95/97.38 c #Conflicts: 1892000 | #Constraints: 38429
96.95/97.38 c #Conflicts: 1893000 | #Constraints: 39429
96.95/97.38 c #Conflicts: 1894000 | #Constraints: 40429
96.95/97.38 c #Conflicts: 1895000 | #Constraints: 41429
96.95/97.38 c #Conflicts: 1896000 | #Constraints: 42429
96.95/97.38 c #Conflicts: 1897000 | #Constraints: 43429
96.95/97.38 c #Conflicts: 1898000 | #Constraints: 44429
96.95/97.38 c #Conflicts: 1899000 | #Constraints: 45429
96.95/97.38 c #Conflicts: 1900000 | #Constraints: 46429
96.95/97.38 c #Conflicts: 1901000 | #Constraints: 47429
96.95/97.38 c #Conflicts: 1902000 | #Constraints: 48429
96.95/97.38 c #Conflicts: 1903000 | #Constraints: 49429
96.95/97.38 c #Conflicts: 1904000 | #Constraints: 50429
96.95/97.38 c #Conflicts: 1905000 | #Constraints: 51429
96.95/97.38 c #Conflicts: 1906000 | #Constraints: 52429
96.95/97.38 c #Conflicts: 1907000 | #Constraints: 53429
96.95/97.38 c #Conflicts: 1908000 | #Constraints: 54429
96.95/97.38 c #Conflicts: 1909000 | #Constraints: 55429
96.95/97.38 c INPROCESSING
96.95/97.38 c GARBAGE COLLECT
96.95/97.38 c rational objective 250.5
98.66/99.06 c #Conflicts: 1910000 | #Constraints: 29024
98.66/99.06 c #Conflicts: 1911000 | #Constraints: 30024
98.66/99.06 c #Conflicts: 1912000 | #Constraints: 31024
98.66/99.06 c #Conflicts: 1913000 | #Constraints: 32024
98.66/99.06 c #Conflicts: 1914000 | #Constraints: 33024
98.66/99.06 c #Conflicts: 1915000 | #Constraints: 34024
98.66/99.06 c #Conflicts: 1916000 | #Constraints: 35024
98.66/99.06 c #Conflicts: 1917000 | #Constraints: 36024
98.66/99.06 c #Conflicts: 1918000 | #Constraints: 37024
98.66/99.06 c #Conflicts: 1919000 | #Constraints: 38024
98.66/99.06 c #Conflicts: 1920000 | #Constraints: 39024
98.66/99.06 c #Conflicts: 1921000 | #Constraints: 40024
98.66/99.06 c #Conflicts: 1922000 | #Constraints: 41024
98.66/99.06 c #Conflicts: 1923000 | #Constraints: 42024
98.66/99.06 c #Conflicts: 1924000 | #Constraints: 43024
98.66/99.06 c #Conflicts: 1925000 | #Constraints: 44024
98.66/99.06 c #Conflicts: 1926000 | #Constraints: 45024
98.66/99.06 c #Conflicts: 1927000 | #Constraints: 46024
98.66/99.06 c #Conflicts: 1928000 | #Constraints: 47024
98.66/99.06 c #Conflicts: 1929000 | #Constraints: 48024
98.66/99.06 c #Conflicts: 1930000 | #Constraints: 49024
98.66/99.06 c #Conflicts: 1931000 | #Constraints: 50024
98.66/99.06 c #Conflicts: 1932000 | #Constraints: 51024
98.66/99.06 c #Conflicts: 1933000 | #Constraints: 52024
98.66/99.06 c #Conflicts: 1934000 | #Constraints: 53024
98.66/99.06 c #Conflicts: 1935000 | #Constraints: 54024
98.66/99.06 c #Conflicts: 1936000 | #Constraints: 55024
98.66/99.06 c #Conflicts: 1937000 | #Constraints: 56024
98.66/99.06 c INPROCESSING
98.66/99.06 c GARBAGE COLLECT
98.66/99.06 c rational objective 250.5
100.34/100.73 c #Conflicts: 1938000 | #Constraints: 29422
100.34/100.73 c #Conflicts: 1939000 | #Constraints: 30422
100.34/100.73 c #Conflicts: 1940000 | #Constraints: 31422
100.34/100.73 c #Conflicts: 1941000 | #Constraints: 32422
100.34/100.73 c #Conflicts: 1942000 | #Constraints: 33422
100.34/100.73 c #Conflicts: 1943000 | #Constraints: 34422
100.34/100.73 c #Conflicts: 1944000 | #Constraints: 35422
100.34/100.73 c #Conflicts: 1945000 | #Constraints: 36422
100.34/100.73 c #Conflicts: 1946000 | #Constraints: 37422
100.34/100.73 c #Conflicts: 1947000 | #Constraints: 38422
100.34/100.73 c #Conflicts: 1948000 | #Constraints: 39422
100.34/100.73 c #Conflicts: 1949000 | #Constraints: 40422
100.34/100.73 c #Conflicts: 1950000 | #Constraints: 41422
100.34/100.73 c #Conflicts: 1951000 | #Constraints: 42422
100.34/100.73 c #Conflicts: 1952000 | #Constraints: 43422
100.34/100.73 c #Conflicts: 1953000 | #Constraints: 44422
100.34/100.73 c #Conflicts: 1954000 | #Constraints: 45422
100.34/100.73 c #Conflicts: 1955000 | #Constraints: 46422
100.34/100.73 c #Conflicts: 1956000 | #Constraints: 47422
100.34/100.73 c #Conflicts: 1957000 | #Constraints: 48422
100.34/100.73 c #Conflicts: 1958000 | #Constraints: 49422
100.34/100.73 c #Conflicts: 1959000 | #Constraints: 50422
100.34/100.73 c #Conflicts: 1960000 | #Constraints: 51422
100.34/100.73 c #Conflicts: 1961000 | #Constraints: 52422
100.34/100.73 c #Conflicts: 1962000 | #Constraints: 53422
100.34/100.73 c #Conflicts: 1963000 | #Constraints: 54422
100.34/100.73 c #Conflicts: 1964000 | #Constraints: 55422
100.34/100.73 c #Conflicts: 1965000 | #Constraints: 56422
100.34/100.73 c INPROCESSING
100.34/100.73 c GARBAGE COLLECT
100.34/100.73 c rational objective 250.5
102.04/102.47 c #Conflicts: 1966000 | #Constraints: 29621
102.04/102.47 c #Conflicts: 1967000 | #Constraints: 30621
102.04/102.47 c #Conflicts: 1968000 | #Constraints: 31621
102.04/102.47 c #Conflicts: 1969000 | #Constraints: 32621
102.04/102.47 c #Conflicts: 1970000 | #Constraints: 33621
102.04/102.47 c #Conflicts: 1971000 | #Constraints: 34621
102.04/102.47 c #Conflicts: 1972000 | #Constraints: 35621
102.04/102.47 c #Conflicts: 1973000 | #Constraints: 36621
102.04/102.47 c #Conflicts: 1974000 | #Constraints: 37621
102.04/102.47 c #Conflicts: 1975000 | #Constraints: 38621
102.04/102.47 c #Conflicts: 1976000 | #Constraints: 39621
102.04/102.47 c #Conflicts: 1977000 | #Constraints: 40621
102.04/102.47 c #Conflicts: 1978000 | #Constraints: 41621
102.04/102.47 c #Conflicts: 1979000 | #Constraints: 42621
102.04/102.47 c #Conflicts: 1980000 | #Constraints: 43621
102.04/102.47 c #Conflicts: 1981000 | #Constraints: 44621
102.04/102.47 c #Conflicts: 1982000 | #Constraints: 45621
102.04/102.47 c #Conflicts: 1983000 | #Constraints: 46621
102.04/102.47 c #Conflicts: 1984000 | #Constraints: 47621
102.04/102.47 c #Conflicts: 1985000 | #Constraints: 48621
102.04/102.47 c #Conflicts: 1986000 | #Constraints: 49621
102.04/102.47 c #Conflicts: 1987000 | #Constraints: 50621
102.04/102.47 c #Conflicts: 1988000 | #Constraints: 51621
102.04/102.47 c #Conflicts: 1989000 | #Constraints: 52621
102.04/102.47 c #Conflicts: 1990000 | #Constraints: 53621
102.04/102.47 c #Conflicts: 1991000 | #Constraints: 54621
102.04/102.47 c #Conflicts: 1992000 | #Constraints: 55621
102.04/102.47 c #Conflicts: 1993000 | #Constraints: 56621
102.04/102.47 c INPROCESSING
102.04/102.47 c GARBAGE COLLECT
102.04/102.47 c rational objective 250.5
103.65/104.08 c #Conflicts: 1994000 | #Constraints: 29622
103.65/104.08 c #Conflicts: 1995000 | #Constraints: 30622
103.65/104.08 c #Conflicts: 1996000 | #Constraints: 31622
103.65/104.08 c #Conflicts: 1997000 | #Constraints: 32622
103.65/104.08 c #Conflicts: 1998000 | #Constraints: 33622
103.65/104.08 c #Conflicts: 1999000 | #Constraints: 34622
103.65/104.08 c #Conflicts: 2000000 | #Constraints: 35622
103.65/104.08 c #Conflicts: 2001000 | #Constraints: 36622
103.65/104.08 c #Conflicts: 2002000 | #Constraints: 37622
103.65/104.08 c #Conflicts: 2003000 | #Constraints: 38622
103.65/104.08 c #Conflicts: 2004000 | #Constraints: 39622
103.65/104.08 c #Conflicts: 2005000 | #Constraints: 40622
103.65/104.08 c #Conflicts: 2006000 | #Constraints: 41622
103.65/104.08 c #Conflicts: 2007000 | #Constraints: 42622
103.65/104.08 c #Conflicts: 2008000 | #Constraints: 43622
103.65/104.08 c #Conflicts: 2009000 | #Constraints: 44622
103.65/104.08 c #Conflicts: 2010000 | #Constraints: 45622
103.65/104.08 c #Conflicts: 2011000 | #Constraints: 46622
103.65/104.08 c #Conflicts: 2012000 | #Constraints: 47622
103.65/104.08 c #Conflicts: 2013000 | #Constraints: 48622
103.65/104.08 c #Conflicts: 2014000 | #Constraints: 49622
103.65/104.08 c #Conflicts: 2015000 | #Constraints: 50622
103.65/104.08 c #Conflicts: 2016000 | #Constraints: 51622
103.65/104.08 c #Conflicts: 2017000 | #Constraints: 52622
103.65/104.08 c #Conflicts: 2018000 | #Constraints: 53622
103.65/104.08 c #Conflicts: 2019000 | #Constraints: 54622
103.65/104.08 c #Conflicts: 2020000 | #Constraints: 55622
103.65/104.08 c #Conflicts: 2021000 | #Constraints: 56622
103.65/104.08 c INPROCESSING
103.65/104.08 c GARBAGE COLLECT
103.65/104.08 c rational objective 250.5
105.42/105.85 c #Conflicts: 2022000 | #Constraints: 29420
105.42/105.85 c #Conflicts: 2023000 | #Constraints: 30420
105.42/105.85 c #Conflicts: 2024000 | #Constraints: 31420
105.42/105.85 c #Conflicts: 2025000 | #Constraints: 32420
105.42/105.85 c #Conflicts: 2026000 | #Constraints: 33420
105.42/105.85 c #Conflicts: 2027000 | #Constraints: 34420
105.42/105.85 c #Conflicts: 2028000 | #Constraints: 35420
105.42/105.85 c #Conflicts: 2029000 | #Constraints: 36420
105.42/105.85 c #Conflicts: 2030000 | #Constraints: 37420
105.42/105.85 c #Conflicts: 2031000 | #Constraints: 38420
105.42/105.85 c #Conflicts: 2032000 | #Constraints: 39420
105.42/105.85 c #Conflicts: 2033000 | #Constraints: 40420
105.42/105.85 c #Conflicts: 2034000 | #Constraints: 41420
105.42/105.85 c #Conflicts: 2035000 | #Constraints: 42420
105.42/105.85 c #Conflicts: 2036000 | #Constraints: 43420
105.42/105.85 c #Conflicts: 2037000 | #Constraints: 44420
105.42/105.85 c #Conflicts: 2038000 | #Constraints: 45420
105.42/105.85 c #Conflicts: 2039000 | #Constraints: 46420
105.42/105.85 c #Conflicts: 2040000 | #Constraints: 47420
105.42/105.85 c #Conflicts: 2041000 | #Constraints: 48420
105.42/105.85 c #Conflicts: 2042000 | #Constraints: 49420
105.42/105.85 c #Conflicts: 2043000 | #Constraints: 50420
105.42/105.85 c #Conflicts: 2044000 | #Constraints: 51420
105.42/105.85 c #Conflicts: 2045000 | #Constraints: 52420
105.42/105.85 c #Conflicts: 2046000 | #Constraints: 53420
105.42/105.85 c #Conflicts: 2047000 | #Constraints: 54420
105.42/105.85 c #Conflicts: 2048000 | #Constraints: 55420
105.42/105.85 c #Conflicts: 2049000 | #Constraints: 56420
105.42/105.85 c #Conflicts: 2050000 | #Constraints: 57420
105.42/105.85 c INPROCESSING
105.42/105.85 c GARBAGE COLLECT
105.42/105.85 c rational objective 250.5
107.02/107.47 c #Conflicts: 2051000 | #Constraints: 30022
107.02/107.47 c #Conflicts: 2052000 | #Constraints: 31022
107.02/107.47 c #Conflicts: 2053000 | #Constraints: 32022
107.02/107.47 c #Conflicts: 2054000 | #Constraints: 33022
107.02/107.47 c #Conflicts: 2055000 | #Constraints: 34022
107.02/107.47 c #Conflicts: 2056000 | #Constraints: 35022
107.02/107.47 c #Conflicts: 2057000 | #Constraints: 36022
107.02/107.47 c #Conflicts: 2058000 | #Constraints: 37022
107.02/107.47 c #Conflicts: 2059000 | #Constraints: 38022
107.02/107.47 c #Conflicts: 2060000 | #Constraints: 39022
107.02/107.47 c #Conflicts: 2061000 | #Constraints: 40022
107.02/107.47 c #Conflicts: 2062000 | #Constraints: 41022
107.02/107.47 c #Conflicts: 2063000 | #Constraints: 42022
107.02/107.47 c #Conflicts: 2064000 | #Constraints: 43022
107.02/107.47 c #Conflicts: 2065000 | #Constraints: 44022
107.02/107.47 c #Conflicts: 2066000 | #Constraints: 45022
107.02/107.47 c #Conflicts: 2067000 | #Constraints: 46022
107.02/107.47 c #Conflicts: 2068000 | #Constraints: 47022
107.02/107.47 c #Conflicts: 2069000 | #Constraints: 48022
107.02/107.47 c #Conflicts: 2070000 | #Constraints: 49022
107.02/107.47 c #Conflicts: 2071000 | #Constraints: 50022
107.02/107.47 c #Conflicts: 2072000 | #Constraints: 51022
107.02/107.47 c #Conflicts: 2073000 | #Constraints: 52022
107.02/107.47 c #Conflicts: 2074000 | #Constraints: 53022
107.02/107.47 c #Conflicts: 2075000 | #Constraints: 54022
107.02/107.47 c #Conflicts: 2076000 | #Constraints: 55022
107.02/107.47 c #Conflicts: 2077000 | #Constraints: 56022
107.02/107.47 c #Conflicts: 2078000 | #Constraints: 57022
107.02/107.47 c #Conflicts: 2079000 | #Constraints: 58022
107.02/107.47 c INPROCESSING
107.02/107.47 c GARBAGE COLLECT
107.02/107.47 c rational objective 250.5
108.42/108.89 c #Conflicts: 2080000 | #Constraints: 30426
108.42/108.89 c #Conflicts: 2081000 | #Constraints: 31426
108.42/108.89 c #Conflicts: 2082000 | #Constraints: 32426
108.42/108.89 c #Conflicts: 2083000 | #Constraints: 33426
108.42/108.89 c #Conflicts: 2084000 | #Constraints: 34426
108.42/108.89 c #Conflicts: 2085000 | #Constraints: 35426
108.42/108.89 c #Conflicts: 2086000 | #Constraints: 36426
108.42/108.89 c #Conflicts: 2087000 | #Constraints: 37426
108.42/108.89 c #Conflicts: 2088000 | #Constraints: 38426
108.42/108.89 c #Conflicts: 2089000 | #Constraints: 39426
108.42/108.89 c #Conflicts: 2090000 | #Constraints: 40426
108.42/108.89 c #Conflicts: 2091000 | #Constraints: 41426
108.42/108.89 c #Conflicts: 2092000 | #Constraints: 42426
108.42/108.89 c #Conflicts: 2093000 | #Constraints: 43426
108.42/108.89 c #Conflicts: 2094000 | #Constraints: 44426
108.42/108.89 c #Conflicts: 2095000 | #Constraints: 45426
108.42/108.89 c #Conflicts: 2096000 | #Constraints: 46426
108.42/108.89 c #Conflicts: 2097000 | #Constraints: 47426
108.42/108.89 c #Conflicts: 2098000 | #Constraints: 48426
108.42/108.89 c #Conflicts: 2099000 | #Constraints: 49426
108.42/108.89 c #Conflicts: 2100000 | #Constraints: 50426
108.42/108.89 c #Conflicts: 2101000 | #Constraints: 51426
108.42/108.89 c #Conflicts: 2102000 | #Constraints: 52426
108.42/108.89 c #Conflicts: 2103000 | #Constraints: 53426
108.42/108.89 c #Conflicts: 2104000 | #Constraints: 54426
108.42/108.89 c #Conflicts: 2105000 | #Constraints: 55426
108.42/108.89 c #Conflicts: 2106000 | #Constraints: 56426
108.42/108.89 c #Conflicts: 2107000 | #Constraints: 57426
108.42/108.89 c #Conflicts: 2108000 | #Constraints: 58426
108.42/108.89 c INPROCESSING
108.42/108.89 c GARBAGE COLLECT
108.42/108.89 c rational objective 250.5
109.92/110.39 c #Conflicts: 2109000 | #Constraints: 30629
109.92/110.39 c #Conflicts: 2110000 | #Constraints: 31629
109.92/110.39 c #Conflicts: 2111000 | #Constraints: 32629
109.92/110.39 c #Conflicts: 2112000 | #Constraints: 33629
109.92/110.39 c #Conflicts: 2113000 | #Constraints: 34629
109.92/110.39 c #Conflicts: 2114000 | #Constraints: 35629
109.92/110.39 c #Conflicts: 2115000 | #Constraints: 36629
109.92/110.39 c #Conflicts: 2116000 | #Constraints: 37629
109.92/110.39 c #Conflicts: 2117000 | #Constraints: 38629
109.92/110.39 c #Conflicts: 2118000 | #Constraints: 39629
109.92/110.39 c #Conflicts: 2119000 | #Constraints: 40629
109.92/110.39 c #Conflicts: 2120000 | #Constraints: 41629
109.92/110.39 c #Conflicts: 2121000 | #Constraints: 42629
109.92/110.39 c #Conflicts: 2122000 | #Constraints: 43629
109.92/110.39 c #Conflicts: 2123000 | #Constraints: 44629
109.92/110.39 c #Conflicts: 2124000 | #Constraints: 45629
109.92/110.39 c #Conflicts: 2125000 | #Constraints: 46629
109.92/110.39 c #Conflicts: 2126000 | #Constraints: 47629
109.92/110.39 c #Conflicts: 2127000 | #Constraints: 48629
109.92/110.39 c #Conflicts: 2128000 | #Constraints: 49629
109.92/110.39 c #Conflicts: 2129000 | #Constraints: 50629
109.92/110.39 c #Conflicts: 2130000 | #Constraints: 51629
109.92/110.39 c #Conflicts: 2131000 | #Constraints: 52629
109.92/110.39 c #Conflicts: 2132000 | #Constraints: 53629
109.92/110.39 c #Conflicts: 2133000 | #Constraints: 54629
109.92/110.39 c #Conflicts: 2134000 | #Constraints: 55629
109.92/110.39 c #Conflicts: 2135000 | #Constraints: 56629
109.92/110.39 c #Conflicts: 2136000 | #Constraints: 57629
109.92/110.39 c #Conflicts: 2137000 | #Constraints: 58629
109.92/110.39 c INPROCESSING
109.92/110.39 c GARBAGE COLLECT
109.92/110.39 c rational objective 250.5
111.01/111.41 c #Conflicts: 2138000 | #Constraints: 20228
111.01/111.41 c #Conflicts: 2139000 | #Constraints: 21228
111.01/111.41 c #Conflicts: 2140000 | #Constraints: 22228
111.01/111.41 c #Conflicts: 2141000 | #Constraints: 23228
111.01/111.41 c #Conflicts: 2142000 | #Constraints: 24228
111.01/111.41 c #Conflicts: 2143000 | #Constraints: 25228
111.01/111.41 c #Conflicts: 2144000 | #Constraints: 26228
111.01/111.41 c #Conflicts: 2145000 | #Constraints: 27228
111.01/111.41 c #Conflicts: 2146000 | #Constraints: 28228
111.01/111.41 c #Conflicts: 2147000 | #Constraints: 29228
111.01/111.41 c #Conflicts: 2148000 | #Constraints: 30228
111.01/111.41 c #Conflicts: 2149000 | #Constraints: 31228
111.01/111.41 c #Conflicts: 2150000 | #Constraints: 32228
111.01/111.41 c #Conflicts: 2151000 | #Constraints: 33228
111.01/111.41 c #Conflicts: 2152000 | #Constraints: 34228
111.01/111.41 c #Conflicts: 2153000 | #Constraints: 35228
111.01/111.41 c #Conflicts: 2154000 | #Constraints: 36228
111.01/111.41 c #Conflicts: 2155000 | #Constraints: 37228
111.01/111.41 c #Conflicts: 2156000 | #Constraints: 38228
111.01/111.41 c #Conflicts: 2157000 | #Constraints: 39228
111.01/111.41 c #Conflicts: 2158000 | #Constraints: 40228
111.01/111.41 c #Conflicts: 2159000 | #Constraints: 41228
111.01/111.41 c #Conflicts: 2160000 | #Constraints: 42228
111.01/111.41 c #Conflicts: 2161000 | #Constraints: 43228
111.01/111.41 c cpu time 103.764 s
111.01/111.41 c deterministic time 4546880389 4.55e+09
111.01/111.41 c optimization time 0.000138 s
111.01/111.41 c total solve time 103.757 s
111.01/111.41 c core-guided solve time 0 s
111.01/111.41 c propagation time 77.8612 s
111.01/111.41 c conflict analysis time 15.4217 s
111.01/111.41 c propagations 12482826
111.01/111.41 c resolve steps 6804124
111.01/111.41 c decisions 3783016
111.01/111.41 c conflicts 2161205
111.01/111.41 c restarts 4093
111.01/111.41 c inprocessing phases 137
111.01/111.41 c garbage collections 137 ,( 100.00 )
111.01/111.41 c input clauses 2 ,( 0.29 )
111.01/111.41 c input cardinalities 696 ,( 99.71 )
111.01/111.41 c input general constraints 0 ,( 0.00 )
111.01/111.41 c input average constraint length 3.99
111.01/111.41 c input average constraint degree 2.00
111.01/111.41 c learned clauses 2095574 ,( 96.94 )
111.01/111.41 c learned cardinalities 4297 ,( 0.20 )
111.01/111.41 c learned general constraints 61894 ,( 2.86 )
111.01/111.41 c learned average constraint length 17.53
111.01/111.41 c learned average constraint degree 46149.77
111.01/111.41 c watched CF 32, 64, 128, Arb: 32640 , 0 , 0 , 0
111.01/111.41 c counting CF 32, 64, 128, Arb: 29254 , 0 , 0 , 0
111.01/111.41 c watched constraints 32640 ,( 52.74 )
111.01/111.41 c counting constraints 29254 ,( 47.26 )
111.01/111.41 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 831389733 , 46721727 , 60651956 ,( 51944142 , 8707814 )
111.01/111.41 c gcd simplifications 2149
111.01/111.41 c detected cardinalities 858
111.01/111.41 c weakened non-implied lits 708835
111.01/111.41 c weakened non-implying lits 628
111.01/111.41 c original variables 501
111.01/111.41 c clausal propagations 4497219
111.01/111.41 c cardinality propagations 3638609
111.01/111.41 c watched propagations 329823
111.01/111.41 c counting propagations 1814388
111.01/111.41 c watch lookups 2416151860
111.01/111.41 c watch backjump lookups 0
111.01/111.41 c watch checks 1840400970
111.01/111.41 c propagation checks 133104900
111.01/111.41 c constraint additions 122313211
111.01/111.41 c trail pops 18427027
111.01/111.41 c formula constraints 698
111.01/111.41 c learned constraints 2161199
111.01/111.41 c bound constraints 0
111.01/111.41 c core-guided constraints 0
111.01/111.41 c encountered formula constraints 515722
111.01/111.41 c encountered learned constraints 8449433
111.01/111.41 c encountered bound constraints 0
111.01/111.41 c encountered core-guided constraints 0
111.01/111.41 c LP total time 11.9534 s
111.01/111.41 c LP solve time 7.87 s
111.01/111.41 c LP constraints added 1368
111.01/111.41 c LP constraints removed 662
111.01/111.41 c LP pivots internal 216126
111.01/111.41 c LP pivots root 452
111.01/111.41 c LP calls 24209
111.01/111.41 c LP optimalities 24204
111.01/111.41 c LP no pivot count 1874
111.01/111.41 c LP infeasibilities 5
111.01/111.41 c LP valid Farkas constraints 5
111.01/111.41 c LP learned Farkas constraints 5
111.01/111.41 c LP basis resets 0
111.01/111.41 c LP cycling count 0
111.01/111.41 c LP singular count 0
111.01/111.41 c LP no primal count 0
111.01/111.41 c LP no farkas count 0
111.01/111.41 c LP other issue count 0
111.01/111.41 c LP Gomory cuts 556
111.01/111.41 c LP learned cuts 114
111.01/111.41 c LP deleted cuts 662
111.01/111.41 c LP encountered Gomory constraints 0
111.01/111.41 c LP encountered Farkas constraints 112
111.01/111.41 c LP encountered learned Farkas constraints 57
111.01/111.41 c CG auxiliary variables introduced 0
111.01/111.41 c CG solutions found 0
111.01/111.41 c CG cores constructed 0
111.01/111.41 c CG core cardinality constraints returned 0
111.01/111.41 c CG unit cores 0
111.01/111.41 c CG single cores 0
111.01/111.41 c CG blocks removed during cardinality reduction 0
111.01/111.41 c CG first core best 0
111.01/111.41 c CG decision core best 0
111.01/111.41 c CG core reduction tie 0
111.01/111.41 c CG core degree average 0.00
111.01/111.41 c CG core slack average 0.00
111.01/111.41 c CG core upper bound improvements 0
111.01/111.41 c STR number of successful calls 0
111.01/111.41 c STR number of unsuccessful calls 0
111.01/111.41 c STR number of inconclusive calls 0
111.01/111.41 c STR number of successful attempts 0
111.01/111.41 c STR number of unsuccessful attempts 0
111.01/111.41 c STR number of inconclusive attempts 0
111.01/111.41 c STR average degree increase per successful call inf
111.01/111.41 c STR average degree increase per successful attempt inf
111.01/111.41 c STR total number of conflicts for successful attempts 0
111.01/111.41 c STR total number of conflicts for unsuccessful attempts 0
111.01/111.41 c STR total number of conflicts for inconclusive attempts 0
111.01/111.41 c STR average number of conflicts per successful attempt inf
111.01/111.41 c STR average number of conflicts per unsuccessful attempt inf
111.01/111.41 c STR average number of conflicts per inconclusive attempt inf
111.01/111.41 c AVG.sumWPerc 39.25
111.01/111.41 c bigint constraints 0
111.01/111.41 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: 63837 MiB (63163 MiB free)
memory of node 1: 64465 MiB (63749 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4510544-1751199719/watcher-4510544-1751199719 -o /tmp/evaluation-result-4510544-1751199719/solver-4510544-1751199719 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751196106-21227 --watchdog 3760 run-dec.sh HOME/instance-4510544-1751199719.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=22119, runsolver pid=22116
Current StackSize limit: 8192 KiB
[startup+0.100073 s]*
/proc/loadavg: 4.09 4.10 4.09 3/246 22121
/proc/meminfo: memFree=129951592/131382120 swapFree=33010684/33010684
[pid=22119] ppid=22116 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22119/stat : 22119 (run-dec.sh) S 22116 22119 21214 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35650581 4292608 736 18446744073709551615 94032466894848 94032467789381 140733200893312 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94032468028432 94032468076176 94032477151232 140733200902509 140733200902632 140733200902632 140733200908234 0
/proc/22119/statm: 1048 736 672 219 0 110 0
[pid=22121] ppid=22119 vsize=57248 memory=11628 CPUtime=0.08 cores=5,7
/proc/22121/stat : 22121 (roundingsat) R 22119 22119 21214 0 -1 4194304 918 0 0 0 7 1 0 0 20 0 1 0 35650582 58621952 2907 18446744073709551615 4227072 8923433 140726771473696 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 37707776 140726771476919 140726771477032 140726771477032 140726771482602 0
/proc/22121/statm: 14312 2907 2336 1147 0 1739 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 61440 KiB
Current children cumulated memory: 14572 KiB
[startup+0.218623 s]*
/proc/loadavg: 4.09 4.10 4.09 5/244 22125
/proc/meminfo: memFree=129951208/131382120 swapFree=33010684/33010684
[pid=22119] ppid=22116 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22119/stat : 22119 (run-dec.sh) S 22116 22119 21214 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35650581 4292608 736 18446744073709551615 94032466894848 94032467789381 140733200893312 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94032468028432 94032468076176 94032477151232 140733200902509 140733200902632 140733200902632 140733200908234 0
/proc/22119/statm: 1048 736 672 219 0 110 0
[pid=22121] ppid=22119 vsize=57528 memory=14032 CPUtime=0.19 cores=5,7
/proc/22121/stat : 22121 (roundingsat) R 22119 22119 21214 0 -1 4194304 1007 0 0 0 16 3 0 0 20 0 1 0 35650582 58908672 3508 18446744073709551615 4227072 8923433 140726771473696 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37707776 140726771476919 140726771477032 140726771477032 140726771482602 0
/proc/22121/statm: 14382 3508 2336 1147 0 1809 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 61720 KiB
Current children cumulated memory: 16976 KiB
[startup+0.314173 s]*
/proc/loadavg: 4.09 4.10 4.09 3/248 22135
/proc/meminfo: memFree=129950072/131382120 swapFree=33010684/33010684
[pid=22119] ppid=22116 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22119/stat : 22119 (run-dec.sh) S 22116 22119 21214 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35650581 4292608 736 18446744073709551615 94032466894848 94032467789381 140733200893312 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94032468028432 94032468076176 94032477151232 140733200902509 140733200902632 140733200902632 140733200908234 0
/proc/22119/statm: 1048 736 672 219 0 110 0
[pid=22121] ppid=22119 vsize=57668 memory=14288 CPUtime=0.27 cores=5,7
/proc/22121/stat : 22121 (roundingsat) R 22119 22119 21214 0 -1 4194304 1057 0 0 0 24 3 0 0 20 0 1 0 35650582 59052032 3572 18446744073709551615 4227072 8923433 140726771473696 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37707776 140726771476919 140726771477032 140726771477032 140726771482602 0
/proc/22121/statm: 14417 3572 2336 1147 0 1844 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 61860 KiB
Current children cumulated memory: 17232 KiB
[startup+0.700355 s]
/proc/loadavg: 4.09 4.10 4.09 5/243 22135
/proc/meminfo: memFree=129950280/131382120 swapFree=33010684/33010684
[pid=22119] ppid=22116 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22119/stat : 22119 (run-dec.sh) S 22116 22119 21214 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35650581 4292608 736 18446744073709551615 94032466894848 94032467789381 140733200893312 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94032468028432 94032468076176 94032477151232 140733200902509 140733200902632 140733200902632 140733200908234 0
/proc/22119/statm: 1048 736 672 219 0 110 0
[pid=22121] ppid=22119 vsize=58072 memory=14672 CPUtime=0.63 cores=5,7
/proc/22121/stat : 22121 (roundingsat) R 22119 22119 21214 0 -1 4194304 1164 0 0 0 53 10 0 0 20 0 1 0 35650582 59465728 3668 18446744073709551615 4227072 8923433 140726771473696 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37707776 140726771476919 140726771477032 140726771477032 140726771482602 0
/proc/22121/statm: 14518 3668 2336 1147 0 1945 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 62264 KiB
Current children cumulated memory: 17616 KiB
[startup+1.50037 s]
/proc/loadavg: 4.08 4.10 4.09 4/249 22148
/proc/meminfo: memFree=129945432/131382120 swapFree=33010684/33010684
[pid=22119] ppid=22116 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22119/stat : 22119 (run-dec.sh) S 22116 22119 21214 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35650581 4292608 736 18446744073709551615 94032466894848 94032467789381 140733200893312 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94032468028432 94032468076176 94032477151232 140733200902509 140733200902632 140733200902632 140733200908234 0
/proc/22119/statm: 1048 736 672 219 0 110 0
[pid=22121] ppid=22119 vsize=58768 memory=15440 CPUtime=1.43 cores=5,7
/proc/22121/stat : 22121 (roundingsat) R 22119 22119 21214 0 -1 4194304 1344 0 0 0 121 22 0 0 20 0 1 0 35650582 60178432 3860 18446744073709551615 4227072 8923433 140726771473696 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37707776 140726771476919 140726771477032 140726771477032 140726771482602 0
/proc/22121/statm: 14692 3860 2336 1147 0 2119 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 62960 KiB
Current children cumulated memory: 18384 KiB
[startup+3.11295 s]
/proc/loadavg: 4.08 4.10 4.09 5/255 22206
/proc/meminfo: memFree=129958532/131382120 swapFree=33010684/33010684
[pid=22119] ppid=22116 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22119/stat : 22119 (run-dec.sh) S 22116 22119 21214 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35650581 4292608 736 18446744073709551615 94032466894848 94032467789381 140733200893312 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94032468028432 94032468076176 94032477151232 140733200902509 140733200902632 140733200902632 140733200908234 0
/proc/22119/statm: 1048 736 672 219 0 110 0
[pid=22121] ppid=22119 vsize=60060 memory=16464 CPUtime=3.03 cores=5,7
/proc/22121/stat : 22121 (roundingsat) R 22119 22119 21214 0 -1 4194304 1627 0 0 0 257 46 0 0 20 0 1 0 35650582 61501440 4116 18446744073709551615 4227072 8923433 140726771473696 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37707776 140726771476919 140726771477032 140726771477032 140726771482602 0
/proc/22121/statm: 15015 4116 2336 1147 0 2442 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 64252 KiB
Current children cumulated memory: 19408 KiB
[startup+6.30035 s]
/proc/loadavg: 4.08 4.10 4.09 5/255 22206
/proc/meminfo: memFree=129956956/131382120 swapFree=33010684/33010684
[pid=22119] ppid=22116 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22119/stat : 22119 (run-dec.sh) S 22116 22119 21214 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35650581 4292608 736 18446744073709551615 94032466894848 94032467789381 140733200893312 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94032468028432 94032468076176 94032477151232 140733200902509 140733200902632 140733200902632 140733200908234 0
/proc/22119/statm: 1048 736 672 219 0 110 0
[pid=22121] ppid=22119 vsize=61600 memory=18128 CPUtime=6.2 cores=5,7
/proc/22121/stat : 22121 (roundingsat) R 22119 22119 21214 0 -1 4194304 2022 0 0 0 543 77 0 0 20 0 1 0 35650582 63078400 4532 18446744073709551615 4227072 8923433 140726771473696 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37707776 140726771476919 140726771477032 140726771477032 140726771482602 0
/proc/22121/statm: 15400 4532 2336 1147 0 2827 0
Current children cumulated CPU time: 6.2 s
Current children cumulated vsize: 65792 KiB
Current children cumulated memory: 21072 KiB
[startup+12.7004 s]
/proc/loadavg: 4.07 4.10 4.09 5/255 22206
/proc/meminfo: memFree=129950908/131382120 swapFree=33010684/33010684
[pid=22119] ppid=22116 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22119/stat : 22119 (run-dec.sh) S 22116 22119 21214 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35650581 4292608 736 18446744073709551615 94032466894848 94032467789381 140733200893312 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94032468028432 94032468076176 94032477151232 140733200902509 140733200902632 140733200902632 140733200908234 0
/proc/22119/statm: 1048 736 672 219 0 110 0
[pid=22121] ppid=22119 vsize=62768 memory=21496 CPUtime=12.59 cores=5,7
/proc/22121/stat : 22121 (roundingsat) R 22119 22119 21214 0 -1 4194304 2705 0 0 0 1125 134 0 0 20 0 1 0 35650582 64274432 5374 18446744073709551615 4227072 8923433 140726771473696 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37707776 140726771476919 140726771477032 140726771477032 140726771482602 0
/proc/22121/statm: 15692 5374 2336 1147 0 3119 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 66960 KiB
Current children cumulated memory: 24440 KiB
[startup+25.5004 s]
/proc/loadavg: 4.13 4.11 4.09 5/255 22206
/proc/meminfo: memFree=129939264/131382120 swapFree=33010684/33010684
[pid=22119] ppid=22116 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22119/stat : 22119 (run-dec.sh) S 22116 22119 21214 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35650581 4292608 736 18446744073709551615 94032466894848 94032467789381 140733200893312 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94032468028432 94032468076176 94032477151232 140733200902509 140733200902632 140733200902632 140733200908234 0
/proc/22119/statm: 1048 736 672 219 0 110 0
[pid=22121] ppid=22119 vsize=65520 memory=23920 CPUtime=25.35 cores=5,7
/proc/22121/stat : 22121 (roundingsat) R 22119 22119 21214 0 -1 4194304 5491 0 0 0 2298 237 0 0 20 0 1 0 35650582 67092480 5980 18446744073709551615 4227072 8923433 140726771473696 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37707776 140726771476919 140726771477032 140726771477032 140726771482602 0
/proc/22121/statm: 16380 5980 2336 1147 0 3807 0
Current children cumulated CPU time: 25.35 s
Current children cumulated vsize: 69712 KiB
Current children cumulated memory: 26864 KiB
[startup+51.1128 s]
/proc/loadavg: 4.08 4.10 4.09 5/255 22252
/proc/meminfo: memFree=129933852/131382120 swapFree=33010684/33010684
[pid=22119] ppid=22116 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22119/stat : 22119 (run-dec.sh) S 22116 22119 21214 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35650581 4292608 736 18446744073709551615 94032466894848 94032467789381 140733200893312 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94032468028432 94032468076176 94032477151232 140733200902509 140733200902632 140733200902632 140733200908234 0
/proc/22119/statm: 1048 736 672 219 0 110 0
[pid=22121] ppid=22119 vsize=68916 memory=27036 CPUtime=50.89 cores=5,7
/proc/22121/stat : 22121 (roundingsat) R 22119 22119 21214 0 -1 4194304 9434 0 0 0 4694 395 0 0 20 0 1 0 35650582 70569984 6759 18446744073709551615 4227072 8923433 140726771473696 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37707776 140726771476919 140726771477032 140726771477032 140726771482602 0
/proc/22121/statm: 17229 6759 2336 1147 0 4656 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 73108 KiB
Current children cumulated memory: 29980 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/256 22254
/proc/meminfo: memFree=129851576/131382120 swapFree=33010684/33010684
[pid=22119] ppid=22116 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22119/stat : 22119 (run-dec.sh) S 22116 22119 21214 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35650581 4292608 736 18446744073709551615 94032466894848 94032467789381 140733200893312 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94032468028432 94032468076176 94032477151232 140733200902509 140733200902632 140733200902632 140733200908234 0
/proc/22119/statm: 1048 736 672 219 0 110 0
[pid=22121] ppid=22119 vsize=74068 memory=30248 CPUtime=101.93 cores=5,7
/proc/22121/stat : 22121 (roundingsat) R 22119 22119 21214 0 -1 4194304 17605 0 0 0 9517 676 0 0 20 0 1 0 35650582 75845632 7562 18446744073709551615 4227072 8923433 140726771473696 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37707776 140726771476919 140726771477032 140726771477032 140726771482602 0
/proc/22121/statm: 18517 7562 2336 1147 0 5944 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 78260 KiB
Current children cumulated memory: 33192 KiB
[startup+111.417 s]
# the end of solver process 22119 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=103.772 s, system=7.27177 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+102.4 s]
/proc/loadavg: 4.11 4.10 4.09 5/256 22254
/proc/meminfo: memFree=129851576/131382120 swapFree=33010684/33010684
[pid=22119] ppid=22116 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22119/stat : 22119 (run-dec.sh) S 22116 22119 21214 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35650581 4292608 736 18446744073709551615 94032466894848 94032467789381 140733200893312 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94032468028432 94032468076176 94032477151232 140733200902509 140733200902632 140733200902632 140733200908234 0
/proc/22119/statm: 1048 736 672 219 0 110 0
[pid=22121] ppid=22119 vsize=74068 memory=30248 CPUtime=102.04 cores=5,7
/proc/22121/stat : 22121 (roundingsat) R 22119 22119 21214 0 -1 4194304 17605 0 0 0 9527 677 0 0 20 0 1 0 35650582 75845632 7562 18446744073709551615 4227072 8923433 140726771473696 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37707776 140726771476919 140726771477032 140726771477032 140726771482602 0
/proc/22121/statm: 18517 7562 2336 1147 0 5944 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 78260 KiB
Current children cumulated memory: 33192 KiB
[startup+105.6 s]
/proc/loadavg: 4.11 4.10 4.09 5/256 22254
/proc/meminfo: memFree=129850316/131382120 swapFree=33010684/33010684
[pid=22119] ppid=22116 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22119/stat : 22119 (run-dec.sh) S 22116 22119 21214 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35650581 4292608 736 18446744073709551615 94032466894848 94032467789381 140733200893312 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94032468028432 94032468076176 94032477151232 140733200902509 140733200902632 140733200902632 140733200908234 0
/proc/22119/statm: 1048 736 672 219 0 110 0
[pid=22121] ppid=22119 vsize=75040 memory=31124 CPUtime=105.23 cores=5,7
/proc/22121/stat : 22121 (roundingsat) R 22119 22119 21214 0 -1 4194304 18003 0 0 0 9831 692 0 0 20 0 1 0 35650582 76840960 7781 18446744073709551615 4227072 8923433 140726771473696 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37707776 140726771476919 140726771477032 140726771477032 140726771482602 0
/proc/22121/statm: 18760 7781 2336 1147 0 6187 0
Current children cumulated CPU time: 105.23 s
Current children cumulated vsize: 79232 KiB
Current children cumulated memory: 34068 KiB
[startup+108.8 s]
/proc/loadavg: 4.10 4.10 4.09 5/256 22255
/proc/meminfo: memFree=129847796/131382120 swapFree=33010684/33010684
[pid=22119] ppid=22116 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22119/stat : 22119 (run-dec.sh) S 22116 22119 21214 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35650581 4292608 736 18446744073709551615 94032466894848 94032467789381 140733200893312 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94032468028432 94032468076176 94032477151232 140733200902509 140733200902632 140733200902632 140733200908234 0
/proc/22119/statm: 1048 736 672 219 0 110 0
[pid=22121] ppid=22119 vsize=74964 memory=31100 CPUtime=108.42 cores=5,7
/proc/22121/stat : 22121 (roundingsat) R 22119 22119 21214 0 -1 4194304 18385 0 0 0 10133 709 0 0 20 0 1 0 35650582 76763136 7775 18446744073709551615 4227072 8923433 140726771473696 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37707776 140726771476919 140726771477032 140726771477032 140726771482602 0
/proc/22121/statm: 18741 7775 2336 1147 0 6168 0
Current children cumulated CPU time: 108.42 s
Current children cumulated vsize: 79156 KiB
Current children cumulated memory: 34044 KiB
[startup+110.4 s]
/proc/loadavg: 4.10 4.10 4.09 5/256 22255
/proc/meminfo: memFree=129841496/131382120 swapFree=33010684/33010684
[pid=22119] ppid=22116 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22119/stat : 22119 (run-dec.sh) S 22116 22119 21214 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35650581 4292608 736 18446744073709551615 94032466894848 94032467789381 140733200893312 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94032468028432 94032468076176 94032477151232 140733200902509 140733200902632 140733200902632 140733200908234 0
/proc/22119/statm: 1048 736 672 219 0 110 0
[pid=22121] ppid=22119 vsize=75972 memory=32196 CPUtime=110.02 cores=5,7
/proc/22121/stat : 22121 (roundingsat) R 22119 22119 21214 0 -1 4194304 18743 0 0 0 10283 719 0 0 20 0 1 0 35650582 77795328 8049 18446744073709551615 4227072 8923433 140726771473696 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37707776 140726771476919 140726771477032 140726771477032 140726771482602 0
/proc/22121/statm: 18993 8049 2336 1147 0 6420 0
Current children cumulated CPU time: 110.02 s
Current children cumulated vsize: 80164 KiB
Current children cumulated memory: 35140 KiB
[startup+111.2 s]
/proc/loadavg: 4.09 4.09 4.09 5/256 22255
/proc/meminfo: memFree=129838472/131382120 swapFree=33010684/33010684
[pid=22119] ppid=22116 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22119/stat : 22119 (run-dec.sh) S 22116 22119 21214 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35650581 4292608 736 18446744073709551615 94032466894848 94032467789381 140733200893312 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94032468028432 94032468076176 94032477151232 140733200902509 140733200902632 140733200902632 140733200908234 0
/proc/22119/statm: 1048 736 672 219 0 110 0
[pid=22121] ppid=22119 vsize=75972 memory=32196 CPUtime=110.82 cores=5,7
/proc/22121/stat : 22121 (roundingsat) R 22119 22119 21214 0 -1 4194304 18743 0 0 0 10357 725 0 0 20 0 1 0 35650582 77795328 8049 18446744073709551615 4227072 8923433 140726771473696 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37707776 140726771476919 140726771477032 140726771477032 140726771482602 0
/proc/22121/statm: 18993 8049 2336 1147 0 6420 0
Current children cumulated CPU time: 110.82 s
Current children cumulated vsize: 80164 KiB
Current children cumulated memory: 35140 KiB
[startup+111.4 s]
/proc/loadavg: 4.09 4.09 4.09 5/256 22255
/proc/meminfo: memFree=129838472/131382120 swapFree=33010684/33010684
[pid=22119] ppid=22116 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22119/stat : 22119 (run-dec.sh) S 22116 22119 21214 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35650581 4292608 736 18446744073709551615 94032466894848 94032467789381 140733200893312 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94032468028432 94032468076176 94032477151232 140733200902509 140733200902632 140733200902632 140733200908234 0
/proc/22119/statm: 1048 736 672 219 0 110 0
[pid=22121] ppid=22119 vsize=75972 memory=32196 CPUtime=111.01 cores=5,7
/proc/22121/stat : 22121 (roundingsat) R 22119 22119 21214 0 -1 4194304 18746 0 0 0 10375 726 0 0 20 0 1 0 35650582 77795328 8049 18446744073709551615 4227072 8923433 140726771473696 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37707776 140726771476919 140726771477032 140726771477032 140726771482602 0
/proc/22121/statm: 18993 8049 2336 1147 0 6420 0
Current children cumulated CPU time: 111.01 s
Current children cumulated vsize: 80164 KiB
Current children cumulated memory: 35140 KiB
Child status: 0
Real time (s): 111.417
CPU time (s): 111.044
CPU user time (s): 103.772
CPU system time (s): 7.27177
CPU usage (%): 99.6653
Max. virtual memory (cumulated for all children) (KiB): 80164
Max. memory (cumulated for all children) (KiB): 35140
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 103.772
system time used= 7.27177
maximum resident set size= 32252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18977
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 146
involuntary context switches= 154
# summary of solver processes directly reported to runsolver:
# pid: 22119
# total CPU time (s): 111.044
# total CPU user time (s): 103.772
# total CPU system time (s): 7.27177
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.5791 second user time and 1.19713 second system time
The end
Begin job on nodeC003 at 2025-06-29 14:21:59
IDJOB=4510544
IDBENCH=160372
IDSOLVER=3349
FILE ID=nodeC003/4510544-1751199719
RUNJOBID= nodeC003-1751196106-21227
SLURM_JOB_ID= 9587607
Free space on /tmp= 433012 MiB
SOLVER NAME= roundingsat 63f22ad
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/normalized-ECgrid5x50split.cnf-extracted.pb.metafix.opb
COMMAND LINE= run-dec.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4510544-1751199719/watcher-4510544-1751199719 -o /tmp/evaluation-result-4510544-1751199719/solver-4510544-1751199719 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751196106-21227 --watchdog 3760 run-dec.sh HOME/instance-4510544-1751199719.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= becd4f2905a31b4ccafbaa36ee1998fb
RANDOM SEED=374888010
nodeC003 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 : 0xb00001f
cpu MHz : 1197.108
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.44
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 : 0xb00001f
cpu MHz : 3591.514
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.44
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 : 0xb00001f
cpu MHz : 1726.237
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.44
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 : 0xb00001f
cpu MHz : 1197.160
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.44
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 : 0xb00001f
cpu MHz : 3507.845
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.44
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 : 0xb00001f
cpu MHz : 1895.571
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.44
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 : 0xb00001f
cpu MHz : 1197.263
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.44
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 : 0xb00001f
cpu MHz : 1197.164
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 129953148 kB
MemAvailable: 129776108 kB
Buffers: 3280 kB
Cached: 633380 kB
SwapCached: 0 kB
Active: 443312 kB
Inactive: 420148 kB
Active(anon): 244780 kB
Inactive(anon): 0 kB
Active(file): 198532 kB
Inactive(file): 420148 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 14632 kB
Writeback: 528 kB
AnonPages: 230164 kB
Mapped: 106960 kB
Shmem: 17960 kB
KReclaimable: 87812 kB
Slab: 168868 kB
SReclaimable: 87812 kB
SUnreclaim: 81056 kB
KernelStack: 4032 kB
PageTables: 3720 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 554940 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149368 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 141312 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: 191304 kB
DirectMap2M: 11245568 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 433008 MiB
End job on nodeC003 at 2025-06-29 14:23:51