0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.00/0.04 c #variables 701 #constraints 980
0.00/0.05 c rational objective 350.5
0.50/0.54 c #Conflicts: 1000 | #Constraints: 1988
0.50/0.54 c #Conflicts: 2000 | #Constraints: 2988
0.50/0.54 c INPROCESSING
0.50/0.54 c GARBAGE COLLECT
0.50/0.54 c #Conflicts: 3000 | #Constraints: 3025
0.50/0.54 c #Conflicts: 4000 | #Constraints: 4025
0.50/0.54 c INPROCESSING
0.50/0.54 c GARBAGE COLLECT
0.50/0.54 c #Conflicts: 5000 | #Constraints: 3446
0.50/0.54 c #Conflicts: 6000 | #Constraints: 4446
0.50/0.54 c INPROCESSING
0.50/0.54 c GARBAGE COLLECT
0.50/0.54 c rational objective 350.5
0.67/0.70 c #Conflicts: 7000 | #Constraints: 3462
0.67/0.70 c #Conflicts: 8000 | #Constraints: 4462
0.67/0.70 c #Conflicts: 9000 | #Constraints: 5462
0.67/0.70 c INPROCESSING
0.67/0.70 c GARBAGE COLLECT
0.67/0.70 c rational objective 350.5
0.77/0.88 c #Conflicts: 10000 | #Constraints: 4173
0.77/0.88 c #Conflicts: 11000 | #Constraints: 5173
0.77/0.88 c #Conflicts: 12000 | #Constraints: 6173
0.77/0.88 c INPROCESSING
0.77/0.88 c GARBAGE COLLECT
0.77/0.88 c rational objective 350.5
0.98/1.04 c #Conflicts: 13000 | #Constraints: 4626
0.98/1.04 c #Conflicts: 14000 | #Constraints: 5626
0.98/1.04 c #Conflicts: 15000 | #Constraints: 6626
0.98/1.04 c INPROCESSING
0.98/1.04 c GARBAGE COLLECT
0.98/1.04 c rational objective 350.5
1.17/1.22 c #Conflicts: 16000 | #Constraints: 4856
1.17/1.22 c #Conflicts: 17000 | #Constraints: 5856
1.17/1.22 c #Conflicts: 18000 | #Constraints: 6856
1.17/1.22 c INPROCESSING
1.17/1.22 c GARBAGE COLLECT
1.17/1.22 c rational objective 350.5
1.36/1.40 c #Conflicts: 19000 | #Constraints: 4873
1.36/1.40 c #Conflicts: 20000 | #Constraints: 5873
1.36/1.40 c #Conflicts: 21000 | #Constraints: 6873
1.36/1.40 c INPROCESSING
1.36/1.40 c GARBAGE COLLECT
1.36/1.40 c rational objective 350.5
1.47/1.59 c #Conflicts: 22000 | #Constraints: 4671
1.47/1.59 c #Conflicts: 23000 | #Constraints: 5671
1.47/1.59 c #Conflicts: 24000 | #Constraints: 6671
1.47/1.59 c #Conflicts: 25000 | #Constraints: 7671
1.47/1.59 c INPROCESSING
1.47/1.59 c GARBAGE COLLECT
1.47/1.59 c rational objective 350.5
1.67/1.78 c #Conflicts: 26000 | #Constraints: 5273
1.67/1.78 c #Conflicts: 27000 | #Constraints: 6274
1.67/1.78 c #Conflicts: 28000 | #Constraints: 7275
1.67/1.78 c #Conflicts: 29000 | #Constraints: 8275
1.67/1.78 c INPROCESSING
1.67/1.78 c GARBAGE COLLECT
1.67/1.78 c rational objective 350.5
1.87/1.95 c #Conflicts: 30000 | #Constraints: 5670
1.87/1.95 c #Conflicts: 31000 | #Constraints: 6670
1.87/1.95 c #Conflicts: 32000 | #Constraints: 7670
1.87/1.95 c #Conflicts: 33000 | #Constraints: 8670
1.87/1.95 c INPROCESSING
1.87/1.95 c GARBAGE COLLECT
1.87/1.95 c rational objective 350.5
2.08/2.14 c #Conflicts: 34000 | #Constraints: 5877
2.08/2.14 c #Conflicts: 35000 | #Constraints: 6877
2.08/2.14 c #Conflicts: 36000 | #Constraints: 7877
2.08/2.14 c #Conflicts: 37000 | #Constraints: 8877
2.08/2.14 c INPROCESSING
2.08/2.14 c GARBAGE COLLECT
2.08/2.14 c rational objective 350.5
2.27/2.37 c #Conflicts: 38000 | #Constraints: 5882
2.27/2.37 c #Conflicts: 39000 | #Constraints: 6882
2.27/2.37 c #Conflicts: 40000 | #Constraints: 7882
2.27/2.37 c #Conflicts: 41000 | #Constraints: 8882
2.27/2.37 c INPROCESSING
2.27/2.37 c GARBAGE COLLECT
2.27/2.37 c rational objective 350.5
2.46/2.56 c #Conflicts: 42000 | #Constraints: 5685
2.46/2.56 c #Conflicts: 43000 | #Constraints: 6685
2.46/2.56 c #Conflicts: 44000 | #Constraints: 7685
2.46/2.56 c #Conflicts: 45000 | #Constraints: 8685
2.46/2.56 c #Conflicts: 46000 | #Constraints: 9685
2.46/2.56 c INPROCESSING
2.46/2.56 c GARBAGE COLLECT
2.46/2.56 c rational objective 350.5
2.66/2.79 c #Conflicts: 47000 | #Constraints: 6278
2.66/2.79 c #Conflicts: 48000 | #Constraints: 7278
2.66/2.79 c #Conflicts: 49000 | #Constraints: 8278
2.66/2.79 c #Conflicts: 50000 | #Constraints: 9278
2.66/2.79 c #Conflicts: 51000 | #Constraints: 10278
2.66/2.79 c INPROCESSING
2.66/2.79 c GARBAGE COLLECT
2.66/2.79 c rational objective 350.5
2.98/3.02 c #Conflicts: 52000 | #Constraints: 6681
2.98/3.02 c #Conflicts: 53000 | #Constraints: 7681
2.98/3.02 c #Conflicts: 54000 | #Constraints: 8681
2.98/3.02 c #Conflicts: 55000 | #Constraints: 9681
2.98/3.02 c #Conflicts: 56000 | #Constraints: 10681
2.98/3.02 c INPROCESSING
2.98/3.02 c GARBAGE COLLECT
2.98/3.02 c rational objective 350.5
3.17/3.27 c #Conflicts: 57000 | #Constraints: 6878
3.17/3.27 c #Conflicts: 58000 | #Constraints: 7878
3.17/3.27 c #Conflicts: 59000 | #Constraints: 8878
3.17/3.27 c #Conflicts: 60000 | #Constraints: 9878
3.17/3.27 c #Conflicts: 61000 | #Constraints: 10878
3.17/3.27 c INPROCESSING
3.17/3.27 c GARBAGE COLLECT
3.17/3.27 c rational objective 350.5
3.46/3.51 c #Conflicts: 62000 | #Constraints: 6877
3.46/3.51 c #Conflicts: 63000 | #Constraints: 7877
3.46/3.51 c #Conflicts: 64000 | #Constraints: 8877
3.46/3.51 c #Conflicts: 65000 | #Constraints: 9878
3.46/3.51 c #Conflicts: 66000 | #Constraints: 10878
3.46/3.51 c INPROCESSING
3.46/3.51 c GARBAGE COLLECT
3.46/3.51 c rational objective 350.5
3.66/3.79 c #Conflicts: 67000 | #Constraints: 6682
3.66/3.79 c #Conflicts: 68000 | #Constraints: 7682
3.66/3.79 c #Conflicts: 69000 | #Constraints: 8682
3.66/3.79 c #Conflicts: 70000 | #Constraints: 9682
3.66/3.79 c #Conflicts: 71000 | #Constraints: 10682
3.66/3.79 c #Conflicts: 72000 | #Constraints: 11682
3.66/3.79 c INPROCESSING
3.66/3.79 c GARBAGE COLLECT
3.66/3.79 c rational objective 350.5
3.98/4.02 c #Conflicts: 73000 | #Constraints: 7281
3.98/4.02 c #Conflicts: 74000 | #Constraints: 8281
3.98/4.02 c #Conflicts: 75000 | #Constraints: 9281
3.98/4.02 c #Conflicts: 76000 | #Constraints: 10281
3.98/4.02 c #Conflicts: 77000 | #Constraints: 11281
3.98/4.02 c #Conflicts: 78000 | #Constraints: 12281
3.98/4.02 c INPROCESSING
3.98/4.02 c GARBAGE COLLECT
3.98/4.02 c rational objective 350.5
4.15/4.29 c #Conflicts: 79000 | #Constraints: 7687
4.15/4.29 c #Conflicts: 80000 | #Constraints: 8687
4.15/4.29 c #Conflicts: 81000 | #Constraints: 9687
4.15/4.29 c #Conflicts: 82000 | #Constraints: 10687
4.15/4.29 c #Conflicts: 83000 | #Constraints: 11687
4.15/4.29 c #Conflicts: 84000 | #Constraints: 12687
4.15/4.29 c INPROCESSING
4.15/4.29 c GARBAGE COLLECT
4.15/4.29 c rational objective 350.5
4.46/4.58 c #Conflicts: 85000 | #Constraints: 7895
4.46/4.58 c #Conflicts: 86000 | #Constraints: 8896
4.46/4.58 c #Conflicts: 87000 | #Constraints: 9896
4.46/4.58 c #Conflicts: 88000 | #Constraints: 10896
4.46/4.58 c #Conflicts: 89000 | #Constraints: 11896
4.46/4.58 c #Conflicts: 90000 | #Constraints: 12896
4.46/4.58 c INPROCESSING
4.46/4.58 c GARBAGE COLLECT
4.46/4.58 c rational objective 350.5
4.76/4.89 c #Conflicts: 91000 | #Constraints: 7894
4.76/4.89 c #Conflicts: 92000 | #Constraints: 8894
4.76/4.89 c #Conflicts: 93000 | #Constraints: 9895
4.76/4.89 c #Conflicts: 94000 | #Constraints: 10895
4.76/4.89 c #Conflicts: 95000 | #Constraints: 11895
4.76/4.89 c #Conflicts: 96000 | #Constraints: 12895
4.76/4.89 c INPROCESSING
4.76/4.89 c GARBAGE COLLECT
4.76/4.89 c rational objective 350.5
5.07/5.14 c #Conflicts: 97000 | #Constraints: 7693
5.07/5.14 c #Conflicts: 98000 | #Constraints: 8693
5.07/5.14 c #Conflicts: 99000 | #Constraints: 9693
5.07/5.14 c #Conflicts: 100000 | #Constraints: 10693
5.07/5.14 c #Conflicts: 101000 | #Constraints: 11693
5.07/5.14 c #Conflicts: 102000 | #Constraints: 12693
5.07/5.14 c #Conflicts: 103000 | #Constraints: 13693
5.07/5.14 c INPROCESSING
5.07/5.14 c GARBAGE COLLECT
5.07/5.14 c rational objective 350.5
5.35/5.42 c #Conflicts: 104000 | #Constraints: 8297
5.35/5.42 c #Conflicts: 105000 | #Constraints: 9297
5.35/5.42 c #Conflicts: 106000 | #Constraints: 10297
5.35/5.42 c #Conflicts: 107000 | #Constraints: 11297
5.35/5.42 c #Conflicts: 108000 | #Constraints: 12297
5.35/5.42 c #Conflicts: 109000 | #Constraints: 13297
5.35/5.42 c #Conflicts: 110000 | #Constraints: 14297
5.35/5.42 c INPROCESSING
5.35/5.42 c GARBAGE COLLECT
5.35/5.42 c rational objective 350.5
5.65/5.71 c #Conflicts: 111000 | #Constraints: 8691
5.65/5.71 c #Conflicts: 112000 | #Constraints: 9692
5.65/5.71 c #Conflicts: 113000 | #Constraints: 10692
5.65/5.71 c #Conflicts: 114000 | #Constraints: 11692
5.65/5.71 c #Conflicts: 115000 | #Constraints: 12693
5.65/5.71 c #Conflicts: 116000 | #Constraints: 13693
5.65/5.71 c #Conflicts: 117000 | #Constraints: 14693
5.65/5.71 c INPROCESSING
5.65/5.71 c GARBAGE COLLECT
5.65/5.71 c rational objective 350.5
5.97/6.05 c #Conflicts: 118000 | #Constraints: 8903
5.97/6.05 c #Conflicts: 119000 | #Constraints: 9903
5.97/6.05 c #Conflicts: 120000 | #Constraints: 10903
5.97/6.05 c #Conflicts: 121000 | #Constraints: 11903
5.97/6.05 c #Conflicts: 122000 | #Constraints: 12903
5.97/6.05 c #Conflicts: 123000 | #Constraints: 13903
5.97/6.05 c #Conflicts: 124000 | #Constraints: 14903
5.97/6.05 c INPROCESSING
5.97/6.05 c GARBAGE COLLECT
5.97/6.05 c rational objective 350.5
6.26/6.35 c #Conflicts: 125000 | #Constraints: 8898
6.26/6.35 c #Conflicts: 126000 | #Constraints: 9898
6.26/6.35 c #Conflicts: 127000 | #Constraints: 10898
6.26/6.35 c #Conflicts: 128000 | #Constraints: 11898
6.26/6.35 c #Conflicts: 129000 | #Constraints: 12898
6.26/6.35 c #Conflicts: 130000 | #Constraints: 13898
6.26/6.35 c #Conflicts: 131000 | #Constraints: 14898
6.26/6.35 c INPROCESSING
6.26/6.35 c GARBAGE COLLECT
6.26/6.35 c rational objective 350.5
6.55/6.67 c #Conflicts: 132000 | #Constraints: 8688
6.55/6.67 c #Conflicts: 133000 | #Constraints: 9688
6.55/6.67 c #Conflicts: 134000 | #Constraints: 10688
6.55/6.67 c #Conflicts: 135000 | #Constraints: 11688
6.55/6.67 c #Conflicts: 136000 | #Constraints: 12688
6.55/6.67 c #Conflicts: 137000 | #Constraints: 13688
6.55/6.67 c #Conflicts: 138000 | #Constraints: 14688
6.55/6.67 c #Conflicts: 139000 | #Constraints: 15688
6.55/6.67 c INPROCESSING
6.55/6.67 c GARBAGE COLLECT
6.55/6.67 c rational objective 350.5
6.85/6.98 c #Conflicts: 140000 | #Constraints: 9288
6.85/6.98 c #Conflicts: 141000 | #Constraints: 10288
6.85/6.98 c #Conflicts: 142000 | #Constraints: 11288
6.85/6.98 c #Conflicts: 143000 | #Constraints: 12288
6.85/6.98 c #Conflicts: 144000 | #Constraints: 13288
6.85/6.98 c #Conflicts: 145000 | #Constraints: 14288
6.85/6.98 c #Conflicts: 146000 | #Constraints: 15288
6.85/6.98 c #Conflicts: 147000 | #Constraints: 16288
6.85/6.98 c INPROCESSING
6.85/6.98 c GARBAGE COLLECT
6.85/6.98 c rational objective 350.5
7.15/7.28 c #Conflicts: 148000 | #Constraints: 9686
7.15/7.28 c #Conflicts: 149000 | #Constraints: 10686
7.15/7.28 c #Conflicts: 150000 | #Constraints: 11686
7.15/7.28 c #Conflicts: 151000 | #Constraints: 12686
7.15/7.28 c #Conflicts: 152000 | #Constraints: 13686
7.15/7.28 c #Conflicts: 153000 | #Constraints: 14686
7.15/7.28 c #Conflicts: 154000 | #Constraints: 15686
7.15/7.28 c #Conflicts: 155000 | #Constraints: 16686
7.15/7.28 c INPROCESSING
7.15/7.28 c GARBAGE COLLECT
7.15/7.28 c rational objective 350.5
7.56/7.61 c #Conflicts: 156000 | #Constraints: 9898
7.56/7.61 c #Conflicts: 157000 | #Constraints: 10898
7.56/7.61 c #Conflicts: 158000 | #Constraints: 11898
7.56/7.61 c #Conflicts: 159000 | #Constraints: 12898
7.56/7.61 c #Conflicts: 160000 | #Constraints: 13898
7.56/7.61 c #Conflicts: 161000 | #Constraints: 14898
7.56/7.61 c #Conflicts: 162000 | #Constraints: 15898
7.56/7.61 c #Conflicts: 163000 | #Constraints: 16898
7.56/7.61 c INPROCESSING
7.56/7.61 c GARBAGE COLLECT
7.56/7.61 c rational objective 350.5
7.85/7.93 c #Conflicts: 164000 | #Constraints: 9893
7.85/7.93 c #Conflicts: 165000 | #Constraints: 10893
7.85/7.93 c #Conflicts: 166000 | #Constraints: 11893
7.85/7.93 c #Conflicts: 167000 | #Constraints: 12893
7.85/7.93 c #Conflicts: 168000 | #Constraints: 13893
7.85/7.93 c #Conflicts: 169000 | #Constraints: 14893
7.85/7.93 c #Conflicts: 170000 | #Constraints: 15893
7.85/7.93 c #Conflicts: 171000 | #Constraints: 16893
7.85/7.93 c INPROCESSING
7.85/7.93 c GARBAGE COLLECT
7.85/7.93 c rational objective 350.5
8.15/8.25 c #Conflicts: 172000 | #Constraints: 9686
8.15/8.25 c #Conflicts: 173000 | #Constraints: 10686
8.15/8.25 c #Conflicts: 174000 | #Constraints: 11686
8.15/8.25 c #Conflicts: 175000 | #Constraints: 12686
8.15/8.25 c #Conflicts: 176000 | #Constraints: 13686
8.15/8.25 c #Conflicts: 177000 | #Constraints: 14686
8.15/8.25 c #Conflicts: 178000 | #Constraints: 15686
8.15/8.25 c #Conflicts: 179000 | #Constraints: 16686
8.15/8.25 c #Conflicts: 180000 | #Constraints: 17686
8.15/8.25 c INPROCESSING
8.15/8.25 c GARBAGE COLLECT
8.15/8.25 c rational objective 350.5
8.45/8.58 c #Conflicts: 181000 | #Constraints: 10288
8.45/8.58 c #Conflicts: 182000 | #Constraints: 11288
8.45/8.58 c #Conflicts: 183000 | #Constraints: 12288
8.45/8.58 c #Conflicts: 184000 | #Constraints: 13288
8.45/8.58 c #Conflicts: 185000 | #Constraints: 14288
8.45/8.58 c #Conflicts: 186000 | #Constraints: 15288
8.45/8.58 c #Conflicts: 187000 | #Constraints: 16288
8.45/8.58 c #Conflicts: 188000 | #Constraints: 17288
8.45/8.58 c #Conflicts: 189000 | #Constraints: 18288
8.45/8.58 c INPROCESSING
8.45/8.58 c GARBAGE COLLECT
8.45/8.58 c rational objective 350.5
8.85/8.95 c #Conflicts: 190000 | #Constraints: 10702
8.85/8.95 c #Conflicts: 191000 | #Constraints: 11702
8.85/8.95 c #Conflicts: 192000 | #Constraints: 12702
8.85/8.95 c #Conflicts: 193000 | #Constraints: 13702
8.85/8.95 c #Conflicts: 194000 | #Constraints: 14703
8.85/8.95 c #Conflicts: 195000 | #Constraints: 15703
8.85/8.95 c #Conflicts: 196000 | #Constraints: 16703
8.85/8.95 c #Conflicts: 197000 | #Constraints: 17703
8.85/8.95 c #Conflicts: 198000 | #Constraints: 18703
8.85/8.95 c INPROCESSING
8.85/8.95 c GARBAGE COLLECT
8.85/8.95 c rational objective 350.5
9.25/9.36 c #Conflicts: 199000 | #Constraints: 10900
9.25/9.36 c #Conflicts: 200000 | #Constraints: 11900
9.25/9.36 c #Conflicts: 201000 | #Constraints: 12900
9.25/9.36 c #Conflicts: 202000 | #Constraints: 13900
9.25/9.36 c #Conflicts: 203000 | #Constraints: 14900
9.25/9.36 c #Conflicts: 204000 | #Constraints: 15900
9.25/9.36 c #Conflicts: 205000 | #Constraints: 16900
9.25/9.36 c #Conflicts: 206000 | #Constraints: 17900
9.25/9.36 c #Conflicts: 207000 | #Constraints: 18900
9.25/9.36 c INPROCESSING
9.25/9.36 c GARBAGE COLLECT
9.25/9.36 c rational objective 350.5
9.65/9.78 c #Conflicts: 208000 | #Constraints: 10898
9.65/9.78 c #Conflicts: 209000 | #Constraints: 11898
9.65/9.78 c #Conflicts: 210000 | #Constraints: 12898
9.65/9.78 c #Conflicts: 211000 | #Constraints: 13898
9.65/9.78 c #Conflicts: 212000 | #Constraints: 14898
9.65/9.78 c #Conflicts: 213000 | #Constraints: 15898
9.65/9.78 c #Conflicts: 214000 | #Constraints: 16898
9.65/9.78 c #Conflicts: 215000 | #Constraints: 17898
9.65/9.78 c #Conflicts: 216000 | #Constraints: 18898
9.65/9.78 c INPROCESSING
9.65/9.78 c GARBAGE COLLECT
9.65/9.78 c rational objective 350.5
10.05/10.18 c #Conflicts: 217000 | #Constraints: 10691
10.05/10.18 c #Conflicts: 218000 | #Constraints: 11691
10.05/10.18 c #Conflicts: 219000 | #Constraints: 12691
10.05/10.18 c #Conflicts: 220000 | #Constraints: 13691
10.05/10.18 c #Conflicts: 221000 | #Constraints: 14691
10.05/10.18 c #Conflicts: 222000 | #Constraints: 15691
10.05/10.18 c #Conflicts: 223000 | #Constraints: 16691
10.05/10.18 c #Conflicts: 224000 | #Constraints: 17691
10.05/10.18 c #Conflicts: 225000 | #Constraints: 18691
10.05/10.18 c #Conflicts: 226000 | #Constraints: 19691
10.05/10.18 c INPROCESSING
10.05/10.18 c GARBAGE COLLECT
10.05/10.18 c rational objective 350.5
10.44/10.56 c #Conflicts: 227000 | #Constraints: 11301
10.44/10.56 c #Conflicts: 228000 | #Constraints: 12301
10.44/10.56 c #Conflicts: 229000 | #Constraints: 13301
10.44/10.56 c #Conflicts: 230000 | #Constraints: 14301
10.44/10.56 c #Conflicts: 231000 | #Constraints: 15301
10.44/10.56 c #Conflicts: 232000 | #Constraints: 16301
10.44/10.56 c #Conflicts: 233000 | #Constraints: 17301
10.44/10.56 c #Conflicts: 234000 | #Constraints: 18301
10.44/10.56 c #Conflicts: 235000 | #Constraints: 19301
10.44/10.56 c #Conflicts: 236000 | #Constraints: 20301
10.44/10.56 c INPROCESSING
10.44/10.56 c GARBAGE COLLECT
10.44/10.56 c rational objective 350.5
10.84/10.93 c #Conflicts: 237000 | #Constraints: 11701
10.84/10.93 c #Conflicts: 238000 | #Constraints: 12701
10.84/10.93 c #Conflicts: 239000 | #Constraints: 13701
10.84/10.93 c #Conflicts: 240000 | #Constraints: 14701
10.84/10.93 c #Conflicts: 241000 | #Constraints: 15701
10.84/10.93 c #Conflicts: 242000 | #Constraints: 16701
10.84/10.93 c #Conflicts: 243000 | #Constraints: 17701
10.84/10.93 c #Conflicts: 244000 | #Constraints: 18701
10.84/10.93 c #Conflicts: 245000 | #Constraints: 19701
10.84/10.93 c #Conflicts: 246000 | #Constraints: 20701
10.84/10.93 c INPROCESSING
10.84/10.93 c GARBAGE COLLECT
10.84/10.93 c rational objective 350.5
11.24/11.36 c #Conflicts: 247000 | #Constraints: 11895
11.24/11.36 c #Conflicts: 248000 | #Constraints: 12895
11.24/11.36 c #Conflicts: 249000 | #Constraints: 13895
11.24/11.36 c #Conflicts: 250000 | #Constraints: 14895
11.24/11.36 c #Conflicts: 251000 | #Constraints: 15895
11.24/11.36 c #Conflicts: 252000 | #Constraints: 16895
11.24/11.36 c #Conflicts: 253000 | #Constraints: 17895
11.24/11.36 c #Conflicts: 254000 | #Constraints: 18895
11.24/11.36 c #Conflicts: 255000 | #Constraints: 19895
11.24/11.36 c #Conflicts: 256000 | #Constraints: 20895
11.24/11.36 c INPROCESSING
11.24/11.36 c GARBAGE COLLECT
11.24/11.36 c rational objective 350.5
11.64/11.76 c #Conflicts: 257000 | #Constraints: 11901
11.64/11.76 c #Conflicts: 258000 | #Constraints: 12901
11.64/11.76 c #Conflicts: 259000 | #Constraints: 13901
11.64/11.76 c #Conflicts: 260000 | #Constraints: 14901
11.64/11.76 c #Conflicts: 261000 | #Constraints: 15901
11.64/11.76 c #Conflicts: 262000 | #Constraints: 16901
11.64/11.76 c #Conflicts: 263000 | #Constraints: 17901
11.64/11.76 c #Conflicts: 264000 | #Constraints: 18901
11.64/11.76 c #Conflicts: 265000 | #Constraints: 19901
11.64/11.76 c #Conflicts: 266000 | #Constraints: 20901
11.64/11.76 c INPROCESSING
11.64/11.76 c GARBAGE COLLECT
11.64/11.76 c rational objective 350.5
12.05/12.18 c #Conflicts: 267000 | #Constraints: 11698
12.05/12.18 c #Conflicts: 268000 | #Constraints: 12698
12.05/12.18 c #Conflicts: 269000 | #Constraints: 13698
12.05/12.18 c #Conflicts: 270000 | #Constraints: 14698
12.05/12.18 c #Conflicts: 271000 | #Constraints: 15698
12.05/12.18 c #Conflicts: 272000 | #Constraints: 16698
12.05/12.18 c #Conflicts: 273000 | #Constraints: 17698
12.05/12.18 c #Conflicts: 274000 | #Constraints: 18698
12.05/12.18 c #Conflicts: 275000 | #Constraints: 19698
12.05/12.18 c #Conflicts: 276000 | #Constraints: 20698
12.05/12.18 c #Conflicts: 277000 | #Constraints: 21698
12.05/12.18 c INPROCESSING
12.05/12.18 c GARBAGE COLLECT
12.05/12.18 c rational objective 350.5
12.44/12.59 c #Conflicts: 278000 | #Constraints: 12299
12.44/12.59 c #Conflicts: 279000 | #Constraints: 13299
12.44/12.59 c #Conflicts: 280000 | #Constraints: 14299
12.44/12.59 c #Conflicts: 281000 | #Constraints: 15299
12.44/12.59 c #Conflicts: 282000 | #Constraints: 16299
12.44/12.59 c #Conflicts: 283000 | #Constraints: 17299
12.44/12.59 c #Conflicts: 284000 | #Constraints: 18299
12.44/12.59 c #Conflicts: 285000 | #Constraints: 19299
12.44/12.59 c #Conflicts: 286000 | #Constraints: 20299
12.44/12.59 c #Conflicts: 287000 | #Constraints: 21299
12.44/12.59 c #Conflicts: 288000 | #Constraints: 22299
12.44/12.59 c INPROCESSING
12.44/12.59 c GARBAGE COLLECT
12.44/12.59 c rational objective 350.5
12.95/13.02 c #Conflicts: 289000 | #Constraints: 12705
12.95/13.02 c #Conflicts: 290000 | #Constraints: 13705
12.95/13.02 c #Conflicts: 291000 | #Constraints: 14705
12.95/13.02 c #Conflicts: 292000 | #Constraints: 15705
12.95/13.02 c #Conflicts: 293000 | #Constraints: 16705
12.95/13.02 c #Conflicts: 294000 | #Constraints: 17705
12.95/13.02 c #Conflicts: 295000 | #Constraints: 18705
12.95/13.02 c #Conflicts: 296000 | #Constraints: 19705
12.95/13.02 c #Conflicts: 297000 | #Constraints: 20705
12.95/13.02 c #Conflicts: 298000 | #Constraints: 21705
12.95/13.02 c #Conflicts: 299000 | #Constraints: 22705
12.95/13.02 c INPROCESSING
12.95/13.02 c GARBAGE COLLECT
12.95/13.02 c rational objective 350.5
13.34/13.43 c #Conflicts: 300000 | #Constraints: 12913
13.34/13.43 c #Conflicts: 301000 | #Constraints: 13913
13.34/13.43 c #Conflicts: 302000 | #Constraints: 14913
13.34/13.43 c #Conflicts: 303000 | #Constraints: 15913
13.34/13.43 c #Conflicts: 304000 | #Constraints: 16913
13.34/13.43 c #Conflicts: 305000 | #Constraints: 17913
13.34/13.43 c #Conflicts: 306000 | #Constraints: 18913
13.34/13.43 c #Conflicts: 307000 | #Constraints: 19913
13.34/13.43 c #Conflicts: 308000 | #Constraints: 20913
13.34/13.43 c #Conflicts: 309000 | #Constraints: 21913
13.34/13.43 c #Conflicts: 310000 | #Constraints: 22913
13.34/13.43 c INPROCESSING
13.34/13.43 c GARBAGE COLLECT
13.34/13.43 c rational objective 350.5
13.74/13.89 c #Conflicts: 311000 | #Constraints: 12915
13.74/13.89 c #Conflicts: 312000 | #Constraints: 13915
13.74/13.89 c #Conflicts: 313000 | #Constraints: 14915
13.74/13.89 c #Conflicts: 314000 | #Constraints: 15915
13.74/13.89 c #Conflicts: 315000 | #Constraints: 16915
13.74/13.89 c #Conflicts: 316000 | #Constraints: 17915
13.74/13.89 c #Conflicts: 317000 | #Constraints: 18915
13.74/13.89 c #Conflicts: 318000 | #Constraints: 19915
13.74/13.89 c #Conflicts: 319000 | #Constraints: 20915
13.74/13.89 c #Conflicts: 320000 | #Constraints: 21915
13.74/13.89 c #Conflicts: 321000 | #Constraints: 22915
13.74/13.89 c INPROCESSING
13.74/13.89 c GARBAGE COLLECT
13.74/13.89 c rational objective 350.5
14.24/14.35 c #Conflicts: 322000 | #Constraints: 12703
14.24/14.35 c #Conflicts: 323000 | #Constraints: 13703
14.24/14.35 c #Conflicts: 324000 | #Constraints: 14703
14.24/14.35 c #Conflicts: 325000 | #Constraints: 15703
14.24/14.35 c #Conflicts: 326000 | #Constraints: 16703
14.24/14.35 c #Conflicts: 327000 | #Constraints: 17703
14.24/14.35 c #Conflicts: 328000 | #Constraints: 18703
14.24/14.35 c #Conflicts: 329000 | #Constraints: 19703
14.24/14.35 c #Conflicts: 330000 | #Constraints: 20703
14.24/14.35 c #Conflicts: 331000 | #Constraints: 21703
14.24/14.35 c #Conflicts: 332000 | #Constraints: 22703
14.24/14.35 c #Conflicts: 333000 | #Constraints: 23703
14.24/14.35 c INPROCESSING
14.24/14.35 c GARBAGE COLLECT
14.24/14.35 c rational objective 350.5
14.64/14.76 c #Conflicts: 334000 | #Constraints: 13299
14.64/14.76 c #Conflicts: 335000 | #Constraints: 14299
14.64/14.76 c #Conflicts: 336000 | #Constraints: 15299
14.64/14.76 c #Conflicts: 337000 | #Constraints: 16299
14.64/14.76 c #Conflicts: 338000 | #Constraints: 17299
14.64/14.76 c #Conflicts: 339000 | #Constraints: 18299
14.64/14.76 c #Conflicts: 340000 | #Constraints: 19299
14.64/14.76 c #Conflicts: 341000 | #Constraints: 20299
14.64/14.76 c #Conflicts: 342000 | #Constraints: 21299
14.64/14.76 c #Conflicts: 343000 | #Constraints: 22299
14.64/14.76 c #Conflicts: 344000 | #Constraints: 23299
14.64/14.76 c #Conflicts: 345000 | #Constraints: 24299
14.64/14.76 c INPROCESSING
14.64/14.76 c GARBAGE COLLECT
14.64/14.76 c rational objective 350.5
15.13/15.21 c #Conflicts: 346000 | #Constraints: 13699
15.13/15.21 c #Conflicts: 347000 | #Constraints: 14699
15.13/15.21 c #Conflicts: 348000 | #Constraints: 15699
15.13/15.21 c #Conflicts: 349000 | #Constraints: 16699
15.13/15.21 c #Conflicts: 350000 | #Constraints: 17699
15.13/15.21 c #Conflicts: 351000 | #Constraints: 18699
15.13/15.21 c #Conflicts: 352000 | #Constraints: 19699
15.13/15.21 c #Conflicts: 353000 | #Constraints: 20699
15.13/15.21 c #Conflicts: 354000 | #Constraints: 21699
15.13/15.21 c #Conflicts: 355000 | #Constraints: 22699
15.13/15.21 c #Conflicts: 356000 | #Constraints: 23699
15.13/15.21 c #Conflicts: 357000 | #Constraints: 24699
15.13/15.21 c INPROCESSING
15.13/15.21 c GARBAGE COLLECT
15.13/15.21 c rational objective 350.5
15.53/15.64 c #Conflicts: 358000 | #Constraints: 13907
15.53/15.64 c #Conflicts: 359000 | #Constraints: 14907
15.53/15.64 c #Conflicts: 360000 | #Constraints: 15907
15.53/15.64 c #Conflicts: 361000 | #Constraints: 16907
15.53/15.64 c #Conflicts: 362000 | #Constraints: 17907
15.53/15.64 c #Conflicts: 363000 | #Constraints: 18907
15.53/15.64 c #Conflicts: 364000 | #Constraints: 19907
15.53/15.64 c #Conflicts: 365000 | #Constraints: 20907
15.53/15.64 c #Conflicts: 366000 | #Constraints: 21907
15.53/15.64 c #Conflicts: 367000 | #Constraints: 22907
15.53/15.64 c #Conflicts: 368000 | #Constraints: 23907
15.53/15.64 c #Conflicts: 369000 | #Constraints: 24907
15.53/15.64 c INPROCESSING
15.53/15.64 c GARBAGE COLLECT
15.53/15.64 c rational objective 350.5
16.04/16.16 c #Conflicts: 370000 | #Constraints: 13922
16.04/16.16 c #Conflicts: 371000 | #Constraints: 14922
16.04/16.16 c #Conflicts: 372000 | #Constraints: 15922
16.04/16.16 c #Conflicts: 373000 | #Constraints: 16922
16.04/16.16 c #Conflicts: 374000 | #Constraints: 17922
16.04/16.16 c #Conflicts: 375000 | #Constraints: 18922
16.04/16.16 c #Conflicts: 376000 | #Constraints: 19922
16.04/16.16 c #Conflicts: 377000 | #Constraints: 20922
16.04/16.16 c #Conflicts: 378000 | #Constraints: 21922
16.04/16.16 c #Conflicts: 379000 | #Constraints: 22922
16.04/16.16 c #Conflicts: 380000 | #Constraints: 23922
16.04/16.16 c #Conflicts: 381000 | #Constraints: 24922
16.04/16.16 c INPROCESSING
16.04/16.16 c GARBAGE COLLECT
16.04/16.16 c rational objective 350.5
16.53/16.61 c #Conflicts: 382000 | #Constraints: 13717
16.53/16.61 c #Conflicts: 383000 | #Constraints: 14717
16.53/16.61 c #Conflicts: 384000 | #Constraints: 15717
16.53/16.61 c #Conflicts: 385000 | #Constraints: 16717
16.53/16.61 c #Conflicts: 386000 | #Constraints: 17717
16.53/16.61 c #Conflicts: 387000 | #Constraints: 18717
16.53/16.61 c #Conflicts: 388000 | #Constraints: 19717
16.53/16.61 c #Conflicts: 389000 | #Constraints: 20717
16.53/16.61 c #Conflicts: 390000 | #Constraints: 21717
16.53/16.61 c #Conflicts: 391000 | #Constraints: 22717
16.53/16.61 c #Conflicts: 392000 | #Constraints: 23717
16.53/16.61 c #Conflicts: 393000 | #Constraints: 24717
16.53/16.61 c #Conflicts: 394000 | #Constraints: 25717
16.53/16.61 c INPROCESSING
16.53/16.61 c GARBAGE COLLECT
16.53/16.61 c rational objective 350.5
16.94/17.06 c #Conflicts: 395000 | #Constraints: 14315
16.94/17.06 c #Conflicts: 396000 | #Constraints: 15315
16.94/17.06 c #Conflicts: 397000 | #Constraints: 16315
16.94/17.06 c #Conflicts: 398000 | #Constraints: 17315
16.94/17.06 c #Conflicts: 399000 | #Constraints: 18315
16.94/17.06 c #Conflicts: 400000 | #Constraints: 19315
16.94/17.06 c #Conflicts: 401000 | #Constraints: 20315
16.94/17.06 c #Conflicts: 402000 | #Constraints: 21315
16.94/17.06 c #Conflicts: 403000 | #Constraints: 22315
16.94/17.06 c #Conflicts: 404000 | #Constraints: 23315
16.94/17.06 c #Conflicts: 405000 | #Constraints: 24315
16.94/17.06 c #Conflicts: 406000 | #Constraints: 25315
16.94/17.06 c #Conflicts: 407000 | #Constraints: 26315
16.94/17.06 c INPROCESSING
16.94/17.06 c GARBAGE COLLECT
16.94/17.06 c rational objective 350.5
17.43/17.54 c #Conflicts: 408000 | #Constraints: 14730
17.43/17.54 c #Conflicts: 409000 | #Constraints: 15730
17.43/17.54 c #Conflicts: 410000 | #Constraints: 16730
17.43/17.54 c #Conflicts: 411000 | #Constraints: 17730
17.43/17.54 c #Conflicts: 412000 | #Constraints: 18730
17.43/17.54 c #Conflicts: 413000 | #Constraints: 19730
17.43/17.54 c #Conflicts: 414000 | #Constraints: 20730
17.43/17.54 c #Conflicts: 415000 | #Constraints: 21730
17.43/17.54 c #Conflicts: 416000 | #Constraints: 22730
17.43/17.54 c #Conflicts: 417000 | #Constraints: 23730
17.43/17.54 c #Conflicts: 418000 | #Constraints: 24730
17.43/17.54 c #Conflicts: 419000 | #Constraints: 25730
17.43/17.54 c #Conflicts: 420000 | #Constraints: 26730
17.43/17.54 c INPROCESSING
17.43/17.54 c GARBAGE COLLECT
17.43/17.54 c rational objective 350.5
17.94/18.09 c #Conflicts: 421000 | #Constraints: 14941
17.94/18.09 c #Conflicts: 422000 | #Constraints: 15941
17.94/18.09 c #Conflicts: 423000 | #Constraints: 16941
17.94/18.09 c #Conflicts: 424000 | #Constraints: 17941
17.94/18.09 c #Conflicts: 425000 | #Constraints: 18941
17.94/18.09 c #Conflicts: 426000 | #Constraints: 19941
17.94/18.09 c #Conflicts: 427000 | #Constraints: 20941
17.94/18.09 c #Conflicts: 428000 | #Constraints: 21941
17.94/18.09 c #Conflicts: 429000 | #Constraints: 22941
17.94/18.09 c #Conflicts: 430000 | #Constraints: 23941
17.94/18.09 c #Conflicts: 431000 | #Constraints: 24941
17.94/18.09 c #Conflicts: 432000 | #Constraints: 25941
17.94/18.09 c #Conflicts: 433000 | #Constraints: 26941
17.94/18.09 c INPROCESSING
17.94/18.09 c GARBAGE COLLECT
17.94/18.09 c rational objective 350.5
18.53/18.62 c #Conflicts: 434000 | #Constraints: 14940
18.53/18.62 c #Conflicts: 435000 | #Constraints: 15940
18.53/18.62 c #Conflicts: 436000 | #Constraints: 16940
18.53/18.62 c #Conflicts: 437000 | #Constraints: 17940
18.53/18.62 c #Conflicts: 438000 | #Constraints: 18940
18.53/18.62 c #Conflicts: 439000 | #Constraints: 19940
18.53/18.62 c #Conflicts: 440000 | #Constraints: 20940
18.53/18.62 c #Conflicts: 441000 | #Constraints: 21940
18.53/18.62 c #Conflicts: 442000 | #Constraints: 22940
18.53/18.62 c #Conflicts: 443000 | #Constraints: 23940
18.53/18.62 c #Conflicts: 444000 | #Constraints: 24940
18.53/18.62 c #Conflicts: 445000 | #Constraints: 25940
18.53/18.62 c #Conflicts: 446000 | #Constraints: 26940
18.53/18.62 c INPROCESSING
18.53/18.62 c GARBAGE COLLECT
18.53/18.62 c rational objective 350.5
18.93/19.09 c #Conflicts: 447000 | #Constraints: 14736
18.93/19.09 c #Conflicts: 448000 | #Constraints: 15736
18.93/19.09 c #Conflicts: 449000 | #Constraints: 16736
18.93/19.09 c #Conflicts: 450000 | #Constraints: 17736
18.93/19.09 c #Conflicts: 451000 | #Constraints: 18736
18.93/19.09 c #Conflicts: 452000 | #Constraints: 19736
18.93/19.09 c #Conflicts: 453000 | #Constraints: 20736
18.93/19.09 c #Conflicts: 454000 | #Constraints: 21736
18.93/19.09 c #Conflicts: 455000 | #Constraints: 22736
18.93/19.09 c #Conflicts: 456000 | #Constraints: 23736
18.93/19.09 c #Conflicts: 457000 | #Constraints: 24736
18.93/19.09 c #Conflicts: 458000 | #Constraints: 25736
18.93/19.09 c #Conflicts: 459000 | #Constraints: 26736
18.93/19.09 c #Conflicts: 460000 | #Constraints: 27736
18.93/19.09 c INPROCESSING
18.93/19.09 c GARBAGE COLLECT
18.93/19.09 c rational objective 350.5
19.73/19.82 c #Conflicts: 461000 | #Constraints: 15343
19.73/19.82 c #Conflicts: 462000 | #Constraints: 16343
19.73/19.82 c #Conflicts: 463000 | #Constraints: 17343
19.73/19.82 c #Conflicts: 464000 | #Constraints: 18343
19.73/19.82 c #Conflicts: 465000 | #Constraints: 19343
19.73/19.82 c #Conflicts: 466000 | #Constraints: 20343
19.73/19.82 c #Conflicts: 467000 | #Constraints: 21343
19.73/19.82 c #Conflicts: 468000 | #Constraints: 22343
19.73/19.82 c #Conflicts: 469000 | #Constraints: 23343
19.73/19.82 c #Conflicts: 470000 | #Constraints: 24343
19.73/19.82 c #Conflicts: 471000 | #Constraints: 25343
19.73/19.82 c #Conflicts: 472000 | #Constraints: 26343
19.73/19.82 c #Conflicts: 473000 | #Constraints: 27343
19.73/19.82 c #Conflicts: 474000 | #Constraints: 28343
19.73/19.82 c INPROCESSING
19.73/19.82 c GARBAGE COLLECT
19.73/19.82 c rational objective 350.5
20.22/20.30 c #Conflicts: 475000 | #Constraints: 15745
20.22/20.30 c #Conflicts: 476000 | #Constraints: 16745
20.22/20.30 c #Conflicts: 477000 | #Constraints: 17745
20.22/20.30 c #Conflicts: 478000 | #Constraints: 18745
20.22/20.30 c #Conflicts: 479000 | #Constraints: 19745
20.22/20.30 c #Conflicts: 480000 | #Constraints: 20745
20.22/20.30 c #Conflicts: 481000 | #Constraints: 21745
20.22/20.30 c #Conflicts: 482000 | #Constraints: 22745
20.22/20.30 c #Conflicts: 483000 | #Constraints: 23745
20.22/20.30 c #Conflicts: 484000 | #Constraints: 24745
20.22/20.30 c #Conflicts: 485000 | #Constraints: 25745
20.22/20.30 c #Conflicts: 486000 | #Constraints: 26745
20.22/20.30 c #Conflicts: 487000 | #Constraints: 27745
20.22/20.30 c #Conflicts: 488000 | #Constraints: 28745
20.22/20.30 c INPROCESSING
20.22/20.30 c GARBAGE COLLECT
20.22/20.30 c rational objective 350.5
20.93/21.03 c #Conflicts: 489000 | #Constraints: 15946
20.93/21.03 c #Conflicts: 490000 | #Constraints: 16946
20.93/21.03 c #Conflicts: 491000 | #Constraints: 17946
20.93/21.03 c #Conflicts: 492000 | #Constraints: 18946
20.93/21.03 c #Conflicts: 493000 | #Constraints: 19946
20.93/21.03 c #Conflicts: 494000 | #Constraints: 20946
20.93/21.03 c #Conflicts: 495000 | #Constraints: 21946
20.93/21.03 c #Conflicts: 496000 | #Constraints: 22946
20.93/21.03 c #Conflicts: 497000 | #Constraints: 23946
20.93/21.03 c #Conflicts: 498000 | #Constraints: 24946
20.93/21.03 c #Conflicts: 499000 | #Constraints: 25946
20.93/21.03 c #Conflicts: 500000 | #Constraints: 26946
20.93/21.03 c #Conflicts: 501000 | #Constraints: 27946
20.93/21.03 c #Conflicts: 502000 | #Constraints: 28946
20.93/21.03 c INPROCESSING
20.93/21.03 c GARBAGE COLLECT
20.93/21.03 c rational objective 350.5
21.41/21.57 c #Conflicts: 503000 | #Constraints: 15939
21.41/21.57 c #Conflicts: 504000 | #Constraints: 16939
21.41/21.57 c #Conflicts: 505000 | #Constraints: 17939
21.41/21.57 c #Conflicts: 506000 | #Constraints: 18939
21.41/21.57 c #Conflicts: 507000 | #Constraints: 19939
21.41/21.57 c #Conflicts: 508000 | #Constraints: 20939
21.41/21.57 c #Conflicts: 509000 | #Constraints: 21939
21.41/21.57 c #Conflicts: 510000 | #Constraints: 22939
21.41/21.57 c #Conflicts: 511000 | #Constraints: 23939
21.41/21.57 c #Conflicts: 512000 | #Constraints: 24939
21.41/21.57 c #Conflicts: 513000 | #Constraints: 25939
21.41/21.57 c #Conflicts: 514000 | #Constraints: 26939
21.41/21.57 c #Conflicts: 515000 | #Constraints: 27939
21.41/21.57 c #Conflicts: 516000 | #Constraints: 28939
21.41/21.57 c INPROCESSING
21.41/21.57 c GARBAGE COLLECT
21.41/21.57 c rational objective 350.5
22.03/22.12 c #Conflicts: 517000 | #Constraints: 15740
22.03/22.12 c #Conflicts: 518000 | #Constraints: 16740
22.03/22.12 c #Conflicts: 519000 | #Constraints: 17740
22.03/22.12 c #Conflicts: 520000 | #Constraints: 18740
22.03/22.12 c #Conflicts: 521000 | #Constraints: 19740
22.03/22.12 c #Conflicts: 522000 | #Constraints: 20740
22.03/22.12 c #Conflicts: 523000 | #Constraints: 21740
22.03/22.12 c #Conflicts: 524000 | #Constraints: 22740
22.03/22.12 c #Conflicts: 525000 | #Constraints: 23740
22.03/22.12 c #Conflicts: 526000 | #Constraints: 24740
22.03/22.12 c #Conflicts: 527000 | #Constraints: 25740
22.03/22.12 c #Conflicts: 528000 | #Constraints: 26740
22.03/22.12 c #Conflicts: 529000 | #Constraints: 27740
22.03/22.12 c #Conflicts: 530000 | #Constraints: 28740
22.03/22.12 c #Conflicts: 531000 | #Constraints: 29740
22.03/22.12 c INPROCESSING
22.03/22.12 c GARBAGE COLLECT
22.03/22.12 c rational objective 350.5
22.51/22.65 c #Conflicts: 532000 | #Constraints: 16339
22.51/22.65 c #Conflicts: 533000 | #Constraints: 17339
22.51/22.65 c #Conflicts: 534000 | #Constraints: 18339
22.51/22.65 c #Conflicts: 535000 | #Constraints: 19339
22.51/22.65 c #Conflicts: 536000 | #Constraints: 20339
22.51/22.65 c #Conflicts: 537000 | #Constraints: 21339
22.51/22.65 c #Conflicts: 538000 | #Constraints: 22339
22.51/22.65 c #Conflicts: 539000 | #Constraints: 23339
22.51/22.65 c #Conflicts: 540000 | #Constraints: 24339
22.51/22.65 c #Conflicts: 541000 | #Constraints: 25339
22.51/22.65 c #Conflicts: 542000 | #Constraints: 26339
22.51/22.65 c #Conflicts: 543000 | #Constraints: 27339
22.51/22.65 c #Conflicts: 544000 | #Constraints: 28339
22.51/22.65 c #Conflicts: 545000 | #Constraints: 29339
22.51/22.65 c #Conflicts: 546000 | #Constraints: 30339
22.51/22.65 c INPROCESSING
22.51/22.65 c GARBAGE COLLECT
22.51/22.65 c rational objective 350.5
23.11/23.24 c #Conflicts: 547000 | #Constraints: 16735
23.11/23.24 c #Conflicts: 548000 | #Constraints: 17735
23.11/23.24 c #Conflicts: 549000 | #Constraints: 18735
23.11/23.24 c #Conflicts: 550000 | #Constraints: 19735
23.11/23.24 c #Conflicts: 551000 | #Constraints: 20735
23.11/23.24 c #Conflicts: 552000 | #Constraints: 21735
23.11/23.24 c #Conflicts: 553000 | #Constraints: 22735
23.11/23.24 c #Conflicts: 554000 | #Constraints: 23735
23.11/23.24 c #Conflicts: 555000 | #Constraints: 24735
23.11/23.24 c #Conflicts: 556000 | #Constraints: 25735
23.11/23.24 c #Conflicts: 557000 | #Constraints: 26735
23.11/23.24 c #Conflicts: 558000 | #Constraints: 27735
23.11/23.24 c #Conflicts: 559000 | #Constraints: 28735
23.11/23.24 c #Conflicts: 560000 | #Constraints: 29735
23.11/23.24 c #Conflicts: 561000 | #Constraints: 30735
23.11/23.24 c INPROCESSING
23.11/23.24 c GARBAGE COLLECT
23.11/23.24 c rational objective 350.5
23.72/23.85 c #Conflicts: 562000 | #Constraints: 16929
23.72/23.85 c #Conflicts: 563000 | #Constraints: 17929
23.72/23.85 c #Conflicts: 564000 | #Constraints: 18929
23.72/23.85 c #Conflicts: 565000 | #Constraints: 19929
23.72/23.85 c #Conflicts: 566000 | #Constraints: 20929
23.72/23.85 c #Conflicts: 567000 | #Constraints: 21929
23.72/23.85 c #Conflicts: 568000 | #Constraints: 22929
23.72/23.85 c #Conflicts: 569000 | #Constraints: 23929
23.72/23.85 c #Conflicts: 570000 | #Constraints: 24929
23.72/23.85 c #Conflicts: 571000 | #Constraints: 25929
23.72/23.85 c #Conflicts: 572000 | #Constraints: 26929
23.72/23.85 c #Conflicts: 573000 | #Constraints: 27929
23.72/23.85 c #Conflicts: 574000 | #Constraints: 28929
23.72/23.85 c #Conflicts: 575000 | #Constraints: 29929
23.72/23.85 c #Conflicts: 576000 | #Constraints: 30929
23.72/23.85 c INPROCESSING
23.72/23.85 c GARBAGE COLLECT
23.72/23.85 c rational objective 350.5
24.21/24.37 c #Conflicts: 577000 | #Constraints: 16947
24.21/24.37 c #Conflicts: 578000 | #Constraints: 17947
24.21/24.37 c #Conflicts: 579000 | #Constraints: 18947
24.21/24.37 c #Conflicts: 580000 | #Constraints: 19947
24.21/24.37 c #Conflicts: 581000 | #Constraints: 20947
24.21/24.37 c #Conflicts: 582000 | #Constraints: 21947
24.21/24.37 c #Conflicts: 583000 | #Constraints: 22947
24.21/24.37 c #Conflicts: 584000 | #Constraints: 23947
24.21/24.37 c #Conflicts: 585000 | #Constraints: 24947
24.21/24.37 c #Conflicts: 586000 | #Constraints: 25947
24.21/24.37 c #Conflicts: 587000 | #Constraints: 26947
24.21/24.37 c #Conflicts: 588000 | #Constraints: 27947
24.21/24.37 c #Conflicts: 589000 | #Constraints: 28947
24.21/24.37 c #Conflicts: 590000 | #Constraints: 29947
24.21/24.37 c #Conflicts: 591000 | #Constraints: 30947
24.21/24.37 c INPROCESSING
24.21/24.37 c GARBAGE COLLECT
24.21/24.37 c rational objective 350.5
24.93/25.01 c #Conflicts: 592000 | #Constraints: 16737
24.93/25.01 c #Conflicts: 593000 | #Constraints: 17737
24.93/25.01 c #Conflicts: 594000 | #Constraints: 18737
24.93/25.01 c #Conflicts: 595000 | #Constraints: 19737
24.93/25.01 c #Conflicts: 596000 | #Constraints: 20737
24.93/25.01 c #Conflicts: 597000 | #Constraints: 21737
24.93/25.01 c #Conflicts: 598000 | #Constraints: 22737
24.93/25.01 c #Conflicts: 599000 | #Constraints: 23737
24.93/25.01 c #Conflicts: 600000 | #Constraints: 24737
24.93/25.01 c #Conflicts: 601000 | #Constraints: 25737
24.93/25.01 c #Conflicts: 602000 | #Constraints: 26737
24.93/25.01 c #Conflicts: 603000 | #Constraints: 27737
24.93/25.01 c #Conflicts: 604000 | #Constraints: 28737
24.93/25.01 c #Conflicts: 605000 | #Constraints: 29737
24.93/25.01 c #Conflicts: 606000 | #Constraints: 30737
24.93/25.01 c #Conflicts: 607000 | #Constraints: 31737
24.93/25.01 c INPROCESSING
24.93/25.01 c GARBAGE COLLECT
24.93/25.01 c rational objective 350.5
25.41/25.56 c #Conflicts: 608000 | #Constraints: 17343
25.41/25.56 c #Conflicts: 609000 | #Constraints: 18343
25.41/25.56 c #Conflicts: 610000 | #Constraints: 19343
25.41/25.56 c #Conflicts: 611000 | #Constraints: 20343
25.41/25.56 c #Conflicts: 612000 | #Constraints: 21343
25.41/25.56 c #Conflicts: 613000 | #Constraints: 22343
25.41/25.56 c #Conflicts: 614000 | #Constraints: 23343
25.41/25.56 c #Conflicts: 615000 | #Constraints: 24343
25.41/25.56 c #Conflicts: 616000 | #Constraints: 25343
25.41/25.56 c #Conflicts: 617000 | #Constraints: 26343
25.41/25.56 c #Conflicts: 618000 | #Constraints: 27343
25.41/25.56 c #Conflicts: 619000 | #Constraints: 28343
25.41/25.56 c #Conflicts: 620000 | #Constraints: 29343
25.41/25.56 c #Conflicts: 621000 | #Constraints: 30343
25.41/25.56 c #Conflicts: 622000 | #Constraints: 31343
25.41/25.56 c #Conflicts: 623000 | #Constraints: 32343
25.41/25.56 c INPROCESSING
25.41/25.56 c GARBAGE COLLECT
25.41/25.56 c rational objective 350.5
26.02/26.16 c #Conflicts: 624000 | #Constraints: 17748
26.02/26.16 c #Conflicts: 625000 | #Constraints: 18748
26.02/26.16 c #Conflicts: 626000 | #Constraints: 19748
26.02/26.16 c #Conflicts: 627000 | #Constraints: 20748
26.02/26.16 c #Conflicts: 628000 | #Constraints: 21748
26.02/26.16 c #Conflicts: 629000 | #Constraints: 22748
26.02/26.16 c #Conflicts: 630000 | #Constraints: 23748
26.02/26.16 c #Conflicts: 631000 | #Constraints: 24748
26.02/26.16 c #Conflicts: 632000 | #Constraints: 25748
26.02/26.16 c #Conflicts: 633000 | #Constraints: 26748
26.02/26.16 c #Conflicts: 634000 | #Constraints: 27748
26.02/26.16 c #Conflicts: 635000 | #Constraints: 28748
26.02/26.16 c #Conflicts: 636000 | #Constraints: 29748
26.02/26.16 c #Conflicts: 637000 | #Constraints: 30748
26.02/26.16 c #Conflicts: 638000 | #Constraints: 31748
26.02/26.16 c #Conflicts: 639000 | #Constraints: 32748
26.02/26.16 c INPROCESSING
26.02/26.16 c GARBAGE COLLECT
26.02/26.16 c rational objective 350.5
26.60/26.73 c #Conflicts: 640000 | #Constraints: 17949
26.60/26.73 c #Conflicts: 641000 | #Constraints: 18949
26.60/26.73 c #Conflicts: 642000 | #Constraints: 19949
26.60/26.73 c #Conflicts: 643000 | #Constraints: 20949
26.60/26.73 c #Conflicts: 644000 | #Constraints: 21949
26.60/26.73 c #Conflicts: 645000 | #Constraints: 22949
26.60/26.73 c #Conflicts: 646000 | #Constraints: 23949
26.60/26.73 c #Conflicts: 647000 | #Constraints: 24949
26.60/26.73 c #Conflicts: 648000 | #Constraints: 25949
26.60/26.73 c #Conflicts: 649000 | #Constraints: 26949
26.60/26.73 c #Conflicts: 650000 | #Constraints: 27949
26.60/26.73 c #Conflicts: 651000 | #Constraints: 28949
26.60/26.73 c #Conflicts: 652000 | #Constraints: 29949
26.60/26.73 c #Conflicts: 653000 | #Constraints: 30949
26.60/26.73 c #Conflicts: 654000 | #Constraints: 31949
26.60/26.73 c #Conflicts: 655000 | #Constraints: 32949
26.60/26.73 c INPROCESSING
26.60/26.73 c GARBAGE COLLECT
26.60/26.73 c rational objective 350.5
27.21/27.35 c #Conflicts: 656000 | #Constraints: 17954
27.21/27.35 c #Conflicts: 657000 | #Constraints: 18954
27.21/27.35 c #Conflicts: 658000 | #Constraints: 19954
27.21/27.35 c #Conflicts: 659000 | #Constraints: 20954
27.21/27.35 c #Conflicts: 660000 | #Constraints: 21954
27.21/27.35 c #Conflicts: 661000 | #Constraints: 22954
27.21/27.35 c #Conflicts: 662000 | #Constraints: 23954
27.21/27.35 c #Conflicts: 663000 | #Constraints: 24954
27.21/27.35 c #Conflicts: 664000 | #Constraints: 25954
27.21/27.35 c #Conflicts: 665000 | #Constraints: 26954
27.21/27.35 c #Conflicts: 666000 | #Constraints: 27954
27.21/27.35 c #Conflicts: 667000 | #Constraints: 28954
27.21/27.35 c #Conflicts: 668000 | #Constraints: 29954
27.21/27.35 c #Conflicts: 669000 | #Constraints: 30954
27.21/27.35 c #Conflicts: 670000 | #Constraints: 31954
27.21/27.35 c #Conflicts: 671000 | #Constraints: 32954
27.21/27.35 c INPROCESSING
27.21/27.35 c GARBAGE COLLECT
27.21/27.35 c rational objective 350.5
27.80/27.93 c #Conflicts: 672000 | #Constraints: 17755
27.80/27.93 c #Conflicts: 673000 | #Constraints: 18755
27.80/27.93 c #Conflicts: 674000 | #Constraints: 19755
27.80/27.93 c #Conflicts: 675000 | #Constraints: 20755
27.80/27.93 c #Conflicts: 676000 | #Constraints: 21755
27.80/27.93 c #Conflicts: 677000 | #Constraints: 22755
27.80/27.93 c #Conflicts: 678000 | #Constraints: 23755
27.80/27.93 c #Conflicts: 679000 | #Constraints: 24755
27.80/27.93 c #Conflicts: 680000 | #Constraints: 25755
27.80/27.93 c #Conflicts: 681000 | #Constraints: 26755
27.80/27.93 c #Conflicts: 682000 | #Constraints: 27755
27.80/27.93 c #Conflicts: 683000 | #Constraints: 28755
27.80/27.93 c #Conflicts: 684000 | #Constraints: 29755
27.80/27.93 c #Conflicts: 685000 | #Constraints: 30755
27.80/27.93 c #Conflicts: 686000 | #Constraints: 31755
27.80/27.93 c #Conflicts: 687000 | #Constraints: 32755
27.80/27.93 c #Conflicts: 688000 | #Constraints: 33755
27.80/27.93 c INPROCESSING
27.80/27.93 c GARBAGE COLLECT
27.80/27.93 c rational objective 350.5
28.50/28.61 c #Conflicts: 689000 | #Constraints: 18352
28.50/28.61 c #Conflicts: 690000 | #Constraints: 19352
28.50/28.61 c #Conflicts: 691000 | #Constraints: 20352
28.50/28.61 c #Conflicts: 692000 | #Constraints: 21352
28.50/28.61 c #Conflicts: 693000 | #Constraints: 22352
28.50/28.61 c #Conflicts: 694000 | #Constraints: 23352
28.50/28.61 c #Conflicts: 695000 | #Constraints: 24352
28.50/28.61 c #Conflicts: 696000 | #Constraints: 25352
28.50/28.61 c #Conflicts: 697000 | #Constraints: 26352
28.50/28.61 c #Conflicts: 698000 | #Constraints: 27352
28.50/28.61 c #Conflicts: 699000 | #Constraints: 28352
28.50/28.61 c #Conflicts: 700000 | #Constraints: 29352
28.50/28.61 c #Conflicts: 701000 | #Constraints: 30352
28.50/28.61 c #Conflicts: 702000 | #Constraints: 31352
28.50/28.61 c #Conflicts: 703000 | #Constraints: 32352
28.50/28.61 c #Conflicts: 704000 | #Constraints: 33352
28.50/28.61 c #Conflicts: 705000 | #Constraints: 34352
28.50/28.61 c INPROCESSING
28.50/28.61 c GARBAGE COLLECT
28.50/28.61 c rational objective 350.5
29.10/29.29 c #Conflicts: 706000 | #Constraints: 18754
29.10/29.29 c #Conflicts: 707000 | #Constraints: 19754
29.10/29.29 c #Conflicts: 708000 | #Constraints: 20754
29.10/29.29 c #Conflicts: 709000 | #Constraints: 21754
29.10/29.29 c #Conflicts: 710000 | #Constraints: 22754
29.10/29.29 c #Conflicts: 711000 | #Constraints: 23754
29.10/29.29 c #Conflicts: 712000 | #Constraints: 24754
29.10/29.29 c #Conflicts: 713000 | #Constraints: 25754
29.10/29.29 c #Conflicts: 714000 | #Constraints: 26754
29.10/29.29 c #Conflicts: 715000 | #Constraints: 27754
29.10/29.29 c #Conflicts: 716000 | #Constraints: 28754
29.10/29.29 c #Conflicts: 717000 | #Constraints: 29754
29.10/29.29 c #Conflicts: 718000 | #Constraints: 30754
29.10/29.29 c #Conflicts: 719000 | #Constraints: 31754
29.10/29.29 c #Conflicts: 720000 | #Constraints: 32754
29.10/29.29 c #Conflicts: 721000 | #Constraints: 33754
29.10/29.29 c #Conflicts: 722000 | #Constraints: 34754
29.10/29.29 c INPROCESSING
29.10/29.29 c GARBAGE COLLECT
29.10/29.29 c rational objective 350.5
29.91/30.02 c #Conflicts: 723000 | #Constraints: 18954
29.91/30.02 c #Conflicts: 724000 | #Constraints: 19954
29.91/30.02 c #Conflicts: 725000 | #Constraints: 20954
29.91/30.02 c #Conflicts: 726000 | #Constraints: 21954
29.91/30.02 c #Conflicts: 727000 | #Constraints: 22954
29.91/30.02 c #Conflicts: 728000 | #Constraints: 23954
29.91/30.02 c #Conflicts: 729000 | #Constraints: 24954
29.91/30.02 c #Conflicts: 730000 | #Constraints: 25954
29.91/30.02 c #Conflicts: 731000 | #Constraints: 26954
29.91/30.02 c #Conflicts: 732000 | #Constraints: 27954
29.91/30.02 c #Conflicts: 733000 | #Constraints: 28954
29.91/30.02 c #Conflicts: 734000 | #Constraints: 29954
29.91/30.02 c #Conflicts: 735000 | #Constraints: 30954
29.91/30.02 c #Conflicts: 736000 | #Constraints: 31954
29.91/30.02 c #Conflicts: 737000 | #Constraints: 32954
29.91/30.02 c #Conflicts: 738000 | #Constraints: 33954
29.91/30.02 c #Conflicts: 739000 | #Constraints: 34954
29.91/30.02 c INPROCESSING
29.91/30.02 c GARBAGE COLLECT
29.91/30.02 c rational objective 350.5
30.49/30.66 c #Conflicts: 740000 | #Constraints: 18947
30.49/30.66 c #Conflicts: 741000 | #Constraints: 19947
30.49/30.66 c #Conflicts: 742000 | #Constraints: 20947
30.49/30.66 c #Conflicts: 743000 | #Constraints: 21947
30.49/30.66 c #Conflicts: 744000 | #Constraints: 22947
30.49/30.66 c #Conflicts: 745000 | #Constraints: 23947
30.49/30.66 c #Conflicts: 746000 | #Constraints: 24947
30.49/30.66 c #Conflicts: 747000 | #Constraints: 25947
30.49/30.66 c #Conflicts: 748000 | #Constraints: 26947
30.49/30.66 c #Conflicts: 749000 | #Constraints: 27947
30.49/30.66 c #Conflicts: 750000 | #Constraints: 28947
30.49/30.66 c #Conflicts: 751000 | #Constraints: 29947
30.49/30.66 c #Conflicts: 752000 | #Constraints: 30947
30.49/30.66 c #Conflicts: 753000 | #Constraints: 31947
30.49/30.66 c #Conflicts: 754000 | #Constraints: 32947
30.49/30.66 c #Conflicts: 755000 | #Constraints: 33947
30.49/30.66 c #Conflicts: 756000 | #Constraints: 34947
30.49/30.66 c INPROCESSING
30.49/30.66 c GARBAGE COLLECT
30.49/30.66 c rational objective 350.5
31.19/31.37 c #Conflicts: 757000 | #Constraints: 18752
31.19/31.37 c #Conflicts: 758000 | #Constraints: 19752
31.19/31.37 c #Conflicts: 759000 | #Constraints: 20752
31.19/31.37 c #Conflicts: 760000 | #Constraints: 21752
31.19/31.37 c #Conflicts: 761000 | #Constraints: 22752
31.19/31.37 c #Conflicts: 762000 | #Constraints: 23752
31.19/31.37 c #Conflicts: 763000 | #Constraints: 24752
31.19/31.37 c #Conflicts: 764000 | #Constraints: 25752
31.19/31.37 c #Conflicts: 765000 | #Constraints: 26752
31.19/31.37 c #Conflicts: 766000 | #Constraints: 27752
31.19/31.37 c #Conflicts: 767000 | #Constraints: 28752
31.19/31.37 c #Conflicts: 768000 | #Constraints: 29752
31.19/31.37 c #Conflicts: 769000 | #Constraints: 30752
31.19/31.37 c #Conflicts: 770000 | #Constraints: 31752
31.19/31.37 c #Conflicts: 771000 | #Constraints: 32752
31.19/31.37 c #Conflicts: 772000 | #Constraints: 33752
31.19/31.37 c #Conflicts: 773000 | #Constraints: 34752
31.19/31.37 c #Conflicts: 774000 | #Constraints: 35752
31.19/31.37 c INPROCESSING
31.19/31.37 c GARBAGE COLLECT
31.19/31.37 c rational objective 350.5
31.91/32.06 c #Conflicts: 775000 | #Constraints: 19349
31.91/32.06 c #Conflicts: 776000 | #Constraints: 20349
31.91/32.06 c #Conflicts: 777000 | #Constraints: 21349
31.91/32.06 c #Conflicts: 778000 | #Constraints: 22349
31.91/32.06 c #Conflicts: 779000 | #Constraints: 23349
31.91/32.06 c #Conflicts: 780000 | #Constraints: 24349
31.91/32.06 c #Conflicts: 781000 | #Constraints: 25349
31.91/32.06 c #Conflicts: 782000 | #Constraints: 26349
31.91/32.06 c #Conflicts: 783000 | #Constraints: 27349
31.91/32.06 c #Conflicts: 784000 | #Constraints: 28349
31.91/32.06 c #Conflicts: 785000 | #Constraints: 29349
31.91/32.06 c #Conflicts: 786000 | #Constraints: 30349
31.91/32.06 c #Conflicts: 787000 | #Constraints: 31349
31.91/32.06 c #Conflicts: 788000 | #Constraints: 32349
31.91/32.06 c #Conflicts: 789000 | #Constraints: 33349
31.91/32.06 c #Conflicts: 790000 | #Constraints: 34349
31.91/32.06 c #Conflicts: 791000 | #Constraints: 35349
31.91/32.06 c #Conflicts: 792000 | #Constraints: 36349
31.91/32.06 c INPROCESSING
31.91/32.06 c GARBAGE COLLECT
31.91/32.06 c rational objective 350.5
32.69/32.80 c #Conflicts: 793000 | #Constraints: 19752
32.69/32.80 c #Conflicts: 794000 | #Constraints: 20752
32.69/32.80 c #Conflicts: 795000 | #Constraints: 21752
32.69/32.80 c #Conflicts: 796000 | #Constraints: 22752
32.69/32.80 c #Conflicts: 797000 | #Constraints: 23752
32.69/32.80 c #Conflicts: 798000 | #Constraints: 24752
32.69/32.80 c #Conflicts: 799000 | #Constraints: 25752
32.69/32.80 c #Conflicts: 800000 | #Constraints: 26752
32.69/32.80 c #Conflicts: 801000 | #Constraints: 27752
32.69/32.80 c #Conflicts: 802000 | #Constraints: 28752
32.69/32.80 c #Conflicts: 803000 | #Constraints: 29752
32.69/32.80 c #Conflicts: 804000 | #Constraints: 30752
32.69/32.80 c #Conflicts: 805000 | #Constraints: 31752
32.69/32.80 c #Conflicts: 806000 | #Constraints: 32752
32.69/32.80 c #Conflicts: 807000 | #Constraints: 33752
32.69/32.80 c #Conflicts: 808000 | #Constraints: 34752
32.69/32.80 c #Conflicts: 809000 | #Constraints: 35752
32.69/32.80 c #Conflicts: 810000 | #Constraints: 36752
32.69/32.80 c INPROCESSING
32.69/32.80 c GARBAGE COLLECT
32.69/32.80 c rational objective 350.5
33.39/33.51 c #Conflicts: 811000 | #Constraints: 19953
33.39/33.51 c #Conflicts: 812000 | #Constraints: 20953
33.39/33.51 c #Conflicts: 813000 | #Constraints: 21953
33.39/33.51 c #Conflicts: 814000 | #Constraints: 22953
33.39/33.51 c #Conflicts: 815000 | #Constraints: 23953
33.39/33.51 c #Conflicts: 816000 | #Constraints: 24953
33.39/33.51 c #Conflicts: 817000 | #Constraints: 25953
33.39/33.51 c #Conflicts: 818000 | #Constraints: 26953
33.39/33.51 c #Conflicts: 819000 | #Constraints: 27953
33.39/33.51 c #Conflicts: 820000 | #Constraints: 28953
33.39/33.51 c #Conflicts: 821000 | #Constraints: 29953
33.39/33.51 c #Conflicts: 822000 | #Constraints: 30953
33.39/33.51 c #Conflicts: 823000 | #Constraints: 31953
33.39/33.51 c #Conflicts: 824000 | #Constraints: 32953
33.39/33.51 c #Conflicts: 825000 | #Constraints: 33953
33.39/33.51 c #Conflicts: 826000 | #Constraints: 34953
33.39/33.51 c #Conflicts: 827000 | #Constraints: 35953
33.39/33.51 c #Conflicts: 828000 | #Constraints: 36953
33.39/33.51 c INPROCESSING
33.39/33.51 c GARBAGE COLLECT
33.39/33.51 c rational objective 350.5
34.09/34.28 c #Conflicts: 829000 | #Constraints: 19955
34.09/34.28 c #Conflicts: 830000 | #Constraints: 20955
34.09/34.28 c #Conflicts: 831000 | #Constraints: 21955
34.09/34.28 c #Conflicts: 832000 | #Constraints: 22955
34.09/34.28 c #Conflicts: 833000 | #Constraints: 23955
34.09/34.28 c #Conflicts: 834000 | #Constraints: 24955
34.09/34.28 c #Conflicts: 835000 | #Constraints: 25955
34.09/34.28 c #Conflicts: 836000 | #Constraints: 26955
34.09/34.28 c #Conflicts: 837000 | #Constraints: 27955
34.09/34.28 c #Conflicts: 838000 | #Constraints: 28955
34.09/34.28 c #Conflicts: 839000 | #Constraints: 29955
34.09/34.28 c #Conflicts: 840000 | #Constraints: 30955
34.09/34.28 c #Conflicts: 841000 | #Constraints: 31955
34.09/34.28 c #Conflicts: 842000 | #Constraints: 32955
34.09/34.28 c #Conflicts: 843000 | #Constraints: 33955
34.09/34.28 c #Conflicts: 844000 | #Constraints: 34955
34.09/34.28 c #Conflicts: 845000 | #Constraints: 35955
34.09/34.28 c #Conflicts: 846000 | #Constraints: 36955
34.09/34.28 c INPROCESSING
34.09/34.28 c GARBAGE COLLECT
34.09/34.28 c rational objective 350.5
34.78/34.98 c #Conflicts: 847000 | #Constraints: 19755
34.78/34.98 c #Conflicts: 848000 | #Constraints: 20755
34.78/34.98 c #Conflicts: 849000 | #Constraints: 21755
34.78/34.98 c #Conflicts: 850000 | #Constraints: 22755
34.78/34.98 c #Conflicts: 851000 | #Constraints: 23755
34.78/34.98 c #Conflicts: 852000 | #Constraints: 24755
34.78/34.98 c #Conflicts: 853000 | #Constraints: 25755
34.78/34.98 c #Conflicts: 854000 | #Constraints: 26755
34.78/34.98 c #Conflicts: 855000 | #Constraints: 27755
34.78/34.98 c #Conflicts: 856000 | #Constraints: 28755
34.78/34.98 c #Conflicts: 857000 | #Constraints: 29755
34.78/34.98 c #Conflicts: 858000 | #Constraints: 30755
34.78/34.98 c #Conflicts: 859000 | #Constraints: 31755
34.78/34.98 c #Conflicts: 860000 | #Constraints: 32755
34.78/34.98 c #Conflicts: 861000 | #Constraints: 33755
34.78/34.98 c #Conflicts: 862000 | #Constraints: 34755
34.78/34.98 c #Conflicts: 863000 | #Constraints: 35755
34.78/34.98 c #Conflicts: 864000 | #Constraints: 36755
34.78/34.98 c #Conflicts: 865000 | #Constraints: 37755
34.78/34.98 c INPROCESSING
34.78/34.98 c GARBAGE COLLECT
34.78/34.98 c rational objective 350.5
35.58/35.77 c #Conflicts: 866000 | #Constraints: 20358
35.58/35.77 c #Conflicts: 867000 | #Constraints: 21358
35.58/35.77 c #Conflicts: 868000 | #Constraints: 22358
35.58/35.77 c #Conflicts: 869000 | #Constraints: 23358
35.58/35.77 c #Conflicts: 870000 | #Constraints: 24358
35.58/35.77 c #Conflicts: 871000 | #Constraints: 25358
35.58/35.77 c #Conflicts: 872000 | #Constraints: 26358
35.58/35.77 c #Conflicts: 873000 | #Constraints: 27358
35.58/35.77 c #Conflicts: 874000 | #Constraints: 28358
35.58/35.77 c #Conflicts: 875000 | #Constraints: 29358
35.58/35.77 c #Conflicts: 876000 | #Constraints: 30358
35.58/35.77 c #Conflicts: 877000 | #Constraints: 31358
35.58/35.77 c #Conflicts: 878000 | #Constraints: 32358
35.58/35.77 c #Conflicts: 879000 | #Constraints: 33358
35.58/35.77 c #Conflicts: 880000 | #Constraints: 34358
35.58/35.77 c #Conflicts: 881000 | #Constraints: 35358
35.58/35.77 c #Conflicts: 882000 | #Constraints: 36358
35.58/35.77 c #Conflicts: 883000 | #Constraints: 37358
35.58/35.77 c #Conflicts: 884000 | #Constraints: 38358
35.58/35.77 c INPROCESSING
35.58/35.77 c GARBAGE COLLECT
35.58/35.77 c rational objective 350.5
36.47/36.60 c #Conflicts: 885000 | #Constraints: 20756
36.47/36.60 c #Conflicts: 886000 | #Constraints: 21756
36.47/36.60 c #Conflicts: 887000 | #Constraints: 22756
36.47/36.60 c #Conflicts: 888000 | #Constraints: 23756
36.47/36.60 c #Conflicts: 889000 | #Constraints: 24756
36.47/36.60 c #Conflicts: 890000 | #Constraints: 25756
36.47/36.60 c #Conflicts: 891000 | #Constraints: 26756
36.47/36.60 c #Conflicts: 892000 | #Constraints: 27756
36.47/36.60 c #Conflicts: 893000 | #Constraints: 28756
36.47/36.60 c #Conflicts: 894000 | #Constraints: 29756
36.47/36.60 c #Conflicts: 895000 | #Constraints: 30756
36.47/36.60 c #Conflicts: 896000 | #Constraints: 31756
36.47/36.60 c #Conflicts: 897000 | #Constraints: 32756
36.47/36.60 c #Conflicts: 898000 | #Constraints: 33756
36.47/36.60 c #Conflicts: 899000 | #Constraints: 34756
36.47/36.60 c #Conflicts: 900000 | #Constraints: 35756
36.47/36.60 c #Conflicts: 901000 | #Constraints: 36756
36.47/36.60 c #Conflicts: 902000 | #Constraints: 37756
36.47/36.60 c #Conflicts: 903000 | #Constraints: 38756
36.47/36.60 c INPROCESSING
36.47/36.60 c GARBAGE COLLECT
36.47/36.60 c rational objective 350.5
37.28/37.43 c #Conflicts: 904000 | #Constraints: 20956
37.28/37.43 c #Conflicts: 905000 | #Constraints: 21956
37.28/37.43 c #Conflicts: 906000 | #Constraints: 22956
37.28/37.43 c #Conflicts: 907000 | #Constraints: 23956
37.28/37.43 c #Conflicts: 908000 | #Constraints: 24956
37.28/37.43 c #Conflicts: 909000 | #Constraints: 25956
37.28/37.43 c #Conflicts: 910000 | #Constraints: 26956
37.28/37.43 c #Conflicts: 911000 | #Constraints: 27956
37.28/37.43 c #Conflicts: 912000 | #Constraints: 28956
37.28/37.43 c #Conflicts: 913000 | #Constraints: 29956
37.28/37.43 c #Conflicts: 914000 | #Constraints: 30956
37.28/37.43 c #Conflicts: 915000 | #Constraints: 31956
37.28/37.43 c #Conflicts: 916000 | #Constraints: 32956
37.28/37.43 c #Conflicts: 917000 | #Constraints: 33956
37.28/37.43 c #Conflicts: 918000 | #Constraints: 34956
37.28/37.43 c #Conflicts: 919000 | #Constraints: 35956
37.28/37.43 c #Conflicts: 920000 | #Constraints: 36956
37.28/37.43 c #Conflicts: 921000 | #Constraints: 37956
37.28/37.43 c #Conflicts: 922000 | #Constraints: 38956
37.28/37.43 c INPROCESSING
37.28/37.43 c GARBAGE COLLECT
37.28/37.43 c rational objective 350.5
38.07/38.27 c #Conflicts: 923000 | #Constraints: 20957
38.07/38.27 c #Conflicts: 924000 | #Constraints: 21957
38.07/38.27 c #Conflicts: 925000 | #Constraints: 22957
38.07/38.27 c #Conflicts: 926000 | #Constraints: 23957
38.07/38.27 c #Conflicts: 927000 | #Constraints: 24957
38.07/38.27 c #Conflicts: 928000 | #Constraints: 25957
38.07/38.27 c #Conflicts: 929000 | #Constraints: 26957
38.07/38.27 c #Conflicts: 930000 | #Constraints: 27957
38.07/38.27 c #Conflicts: 931000 | #Constraints: 28957
38.07/38.27 c #Conflicts: 932000 | #Constraints: 29957
38.07/38.27 c #Conflicts: 933000 | #Constraints: 30957
38.07/38.27 c #Conflicts: 934000 | #Constraints: 31957
38.07/38.27 c #Conflicts: 935000 | #Constraints: 32957
38.07/38.27 c #Conflicts: 936000 | #Constraints: 33957
38.07/38.27 c #Conflicts: 937000 | #Constraints: 34957
38.07/38.27 c #Conflicts: 938000 | #Constraints: 35957
38.07/38.27 c #Conflicts: 939000 | #Constraints: 36957
38.07/38.27 c #Conflicts: 940000 | #Constraints: 37957
38.07/38.27 c #Conflicts: 941000 | #Constraints: 38957
38.07/38.27 c INPROCESSING
38.07/38.27 c GARBAGE COLLECT
38.07/38.27 c rational objective 350.5
39.07/39.21 c #Conflicts: 942000 | #Constraints: 20759
39.07/39.21 c #Conflicts: 943000 | #Constraints: 21759
39.07/39.21 c #Conflicts: 944000 | #Constraints: 22759
39.07/39.21 c #Conflicts: 945000 | #Constraints: 23759
39.07/39.21 c #Conflicts: 946000 | #Constraints: 24759
39.07/39.21 c #Conflicts: 947000 | #Constraints: 25759
39.07/39.21 c #Conflicts: 948000 | #Constraints: 26759
39.07/39.21 c #Conflicts: 949000 | #Constraints: 27759
39.07/39.21 c #Conflicts: 950000 | #Constraints: 28759
39.07/39.21 c #Conflicts: 951000 | #Constraints: 29759
39.07/39.21 c #Conflicts: 952000 | #Constraints: 30759
39.07/39.21 c #Conflicts: 953000 | #Constraints: 31759
39.07/39.21 c #Conflicts: 954000 | #Constraints: 32759
39.07/39.21 c #Conflicts: 955000 | #Constraints: 33759
39.07/39.21 c #Conflicts: 956000 | #Constraints: 34759
39.07/39.21 c #Conflicts: 957000 | #Constraints: 35759
39.07/39.21 c #Conflicts: 958000 | #Constraints: 36759
39.07/39.21 c #Conflicts: 959000 | #Constraints: 37759
39.07/39.21 c #Conflicts: 960000 | #Constraints: 38759
39.07/39.21 c #Conflicts: 961000 | #Constraints: 39759
39.07/39.21 c INPROCESSING
39.07/39.21 c GARBAGE COLLECT
39.07/39.21 c rational objective 350.5
39.88/40.09 c #Conflicts: 962000 | #Constraints: 21366
39.88/40.09 c #Conflicts: 963000 | #Constraints: 22366
39.88/40.09 c #Conflicts: 964000 | #Constraints: 23366
39.88/40.09 c #Conflicts: 965000 | #Constraints: 24366
39.88/40.09 c #Conflicts: 966000 | #Constraints: 25366
39.88/40.09 c #Conflicts: 967000 | #Constraints: 26366
39.88/40.09 c #Conflicts: 968000 | #Constraints: 27366
39.88/40.09 c #Conflicts: 969000 | #Constraints: 28366
39.88/40.09 c #Conflicts: 970000 | #Constraints: 29366
39.88/40.09 c #Conflicts: 971000 | #Constraints: 30366
39.88/40.09 c #Conflicts: 972000 | #Constraints: 31366
39.88/40.09 c #Conflicts: 973000 | #Constraints: 32366
39.88/40.09 c #Conflicts: 974000 | #Constraints: 33366
39.88/40.09 c #Conflicts: 975000 | #Constraints: 34366
39.88/40.09 c #Conflicts: 976000 | #Constraints: 35366
39.88/40.09 c #Conflicts: 977000 | #Constraints: 36366
39.88/40.09 c #Conflicts: 978000 | #Constraints: 37366
39.88/40.09 c #Conflicts: 979000 | #Constraints: 38366
39.88/40.09 c #Conflicts: 980000 | #Constraints: 39366
39.88/40.09 c #Conflicts: 981000 | #Constraints: 40366
39.88/40.09 c INPROCESSING
39.88/40.09 c GARBAGE COLLECT
39.88/40.09 c rational objective 350.5
40.88/41.01 c #Conflicts: 982000 | #Constraints: 21764
40.88/41.01 c #Conflicts: 983000 | #Constraints: 22764
40.88/41.01 c #Conflicts: 984000 | #Constraints: 23764
40.88/41.01 c #Conflicts: 985000 | #Constraints: 24764
40.88/41.01 c #Conflicts: 986000 | #Constraints: 25764
40.88/41.01 c #Conflicts: 987000 | #Constraints: 26764
40.88/41.01 c #Conflicts: 988000 | #Constraints: 27764
40.88/41.01 c #Conflicts: 989000 | #Constraints: 28764
40.88/41.01 c #Conflicts: 990000 | #Constraints: 29764
40.88/41.01 c #Conflicts: 991000 | #Constraints: 30764
40.88/41.01 c #Conflicts: 992000 | #Constraints: 31764
40.88/41.01 c #Conflicts: 993000 | #Constraints: 32764
40.88/41.01 c #Conflicts: 994000 | #Constraints: 33764
40.88/41.01 c #Conflicts: 995000 | #Constraints: 34764
40.88/41.01 c #Conflicts: 996000 | #Constraints: 35764
40.88/41.01 c #Conflicts: 997000 | #Constraints: 36764
40.88/41.01 c #Conflicts: 998000 | #Constraints: 37764
40.88/41.01 c #Conflicts: 999000 | #Constraints: 38764
40.88/41.01 c #Conflicts: 1000000 | #Constraints: 39764
40.88/41.01 c #Conflicts: 1001000 | #Constraints: 40764
40.88/41.01 c INPROCESSING
40.88/41.01 c GARBAGE COLLECT
40.88/41.01 c rational objective 350.5
41.77/42.00 c #Conflicts: 1002000 | #Constraints: 21964
41.77/42.00 c #Conflicts: 1003000 | #Constraints: 22964
41.77/42.00 c #Conflicts: 1004000 | #Constraints: 23964
41.77/42.00 c #Conflicts: 1005000 | #Constraints: 24964
41.77/42.00 c #Conflicts: 1006000 | #Constraints: 25964
41.77/42.00 c #Conflicts: 1007000 | #Constraints: 26964
41.77/42.00 c #Conflicts: 1008000 | #Constraints: 27964
41.77/42.00 c #Conflicts: 1009000 | #Constraints: 28964
41.77/42.00 c #Conflicts: 1010000 | #Constraints: 29964
41.77/42.00 c #Conflicts: 1011000 | #Constraints: 30964
41.77/42.00 c #Conflicts: 1012000 | #Constraints: 31964
41.77/42.00 c #Conflicts: 1013000 | #Constraints: 32964
41.77/42.00 c #Conflicts: 1014000 | #Constraints: 33964
41.77/42.00 c #Conflicts: 1015000 | #Constraints: 34964
41.77/42.00 c #Conflicts: 1016000 | #Constraints: 35964
41.77/42.00 c #Conflicts: 1017000 | #Constraints: 36964
41.77/42.00 c #Conflicts: 1018000 | #Constraints: 37964
41.77/42.00 c #Conflicts: 1019000 | #Constraints: 38964
41.77/42.00 c #Conflicts: 1020000 | #Constraints: 39964
41.77/42.00 c #Conflicts: 1021000 | #Constraints: 40964
41.77/42.00 c INPROCESSING
41.77/42.00 c GARBAGE COLLECT
41.77/42.00 c rational objective 350.5
42.77/42.94 c #Conflicts: 1022000 | #Constraints: 21963
42.77/42.94 c #Conflicts: 1023000 | #Constraints: 22963
42.77/42.94 c #Conflicts: 1024000 | #Constraints: 23963
42.77/42.94 c #Conflicts: 1025000 | #Constraints: 24963
42.77/42.94 c #Conflicts: 1026000 | #Constraints: 25963
42.77/42.94 c #Conflicts: 1027000 | #Constraints: 26963
42.77/42.94 c #Conflicts: 1028000 | #Constraints: 27963
42.77/42.94 c #Conflicts: 1029000 | #Constraints: 28963
42.77/42.94 c #Conflicts: 1030000 | #Constraints: 29963
42.77/42.94 c #Conflicts: 1031000 | #Constraints: 30963
42.77/42.94 c #Conflicts: 1032000 | #Constraints: 31963
42.77/42.94 c #Conflicts: 1033000 | #Constraints: 32963
42.77/42.94 c #Conflicts: 1034000 | #Constraints: 33963
42.77/42.94 c #Conflicts: 1035000 | #Constraints: 34963
42.77/42.94 c #Conflicts: 1036000 | #Constraints: 35963
42.77/42.94 c #Conflicts: 1037000 | #Constraints: 36963
42.77/42.94 c #Conflicts: 1038000 | #Constraints: 37963
42.77/42.94 c #Conflicts: 1039000 | #Constraints: 38963
42.77/42.94 c #Conflicts: 1040000 | #Constraints: 39963
42.77/42.94 c #Conflicts: 1041000 | #Constraints: 40963
42.77/42.94 c INPROCESSING
42.77/42.94 c GARBAGE COLLECT
42.77/42.94 c rational objective 350.5
43.66/43.84 c #Conflicts: 1042000 | #Constraints: 21761
43.66/43.84 c #Conflicts: 1043000 | #Constraints: 22761
43.66/43.84 c #Conflicts: 1044000 | #Constraints: 23761
43.66/43.84 c #Conflicts: 1045000 | #Constraints: 24761
43.66/43.84 c #Conflicts: 1046000 | #Constraints: 25761
43.66/43.84 c #Conflicts: 1047000 | #Constraints: 26761
43.66/43.84 c #Conflicts: 1048000 | #Constraints: 27761
43.66/43.84 c #Conflicts: 1049000 | #Constraints: 28761
43.66/43.84 c #Conflicts: 1050000 | #Constraints: 29761
43.66/43.84 c #Conflicts: 1051000 | #Constraints: 30761
43.66/43.84 c #Conflicts: 1052000 | #Constraints: 31761
43.66/43.84 c #Conflicts: 1053000 | #Constraints: 32761
43.66/43.84 c #Conflicts: 1054000 | #Constraints: 33761
43.66/43.84 c #Conflicts: 1055000 | #Constraints: 34761
43.66/43.84 c #Conflicts: 1056000 | #Constraints: 35761
43.66/43.84 c #Conflicts: 1057000 | #Constraints: 36761
43.66/43.84 c #Conflicts: 1058000 | #Constraints: 37761
43.66/43.84 c #Conflicts: 1059000 | #Constraints: 38761
43.66/43.84 c #Conflicts: 1060000 | #Constraints: 39761
43.66/43.84 c #Conflicts: 1061000 | #Constraints: 40761
43.66/43.84 c #Conflicts: 1062000 | #Constraints: 41761
43.66/43.84 c INPROCESSING
43.66/43.84 c GARBAGE COLLECT
43.66/43.84 c rational objective 350.5
44.46/44.62 c #Conflicts: 1063000 | #Constraints: 22367
44.46/44.62 c #Conflicts: 1064000 | #Constraints: 23367
44.46/44.62 c #Conflicts: 1065000 | #Constraints: 24367
44.46/44.62 c #Conflicts: 1066000 | #Constraints: 25367
44.46/44.62 c #Conflicts: 1067000 | #Constraints: 26367
44.46/44.62 c #Conflicts: 1068000 | #Constraints: 27367
44.46/44.62 c #Conflicts: 1069000 | #Constraints: 28367
44.46/44.62 c #Conflicts: 1070000 | #Constraints: 29367
44.46/44.62 c #Conflicts: 1071000 | #Constraints: 30367
44.46/44.62 c #Conflicts: 1072000 | #Constraints: 31367
44.46/44.62 c #Conflicts: 1073000 | #Constraints: 32367
44.46/44.62 c #Conflicts: 1074000 | #Constraints: 33367
44.46/44.62 c #Conflicts: 1075000 | #Constraints: 34367
44.46/44.62 c #Conflicts: 1076000 | #Constraints: 35367
44.46/44.62 c #Conflicts: 1077000 | #Constraints: 36367
44.46/44.62 c #Conflicts: 1078000 | #Constraints: 37367
44.46/44.62 c #Conflicts: 1079000 | #Constraints: 38367
44.46/44.62 c cpu time 40.4998 s
44.46/44.62 c deterministic time 1571115856 1.57e+09
44.46/44.62 c optimization time 7.6e-05 s
44.46/44.62 c total solve time 40.4885 s
44.46/44.62 c core-guided solve time 0 s
44.46/44.62 c propagation time 28.9082 s
44.46/44.62 c conflict analysis time 6.0269 s
44.46/44.62 c propagations 6330234
44.46/44.62 c resolve steps 3197427
44.46/44.62 c decisions 2293006
44.46/44.62 c conflicts 1079355
44.46/44.62 c restarts 2046
44.46/44.62 c inprocessing phases 94
44.46/44.62 c garbage collections 94 ,( 100.00 )
44.46/44.62 c input clauses 2 ,( 0.20 )
44.46/44.62 c input cardinalities 978 ,( 99.80 )
44.46/44.62 c input general constraints 0 ,( 0.00 )
44.46/44.62 c input average constraint length 4.00
44.46/44.62 c input average constraint degree 2.00
44.46/44.62 c learned clauses 1035545 ,( 95.89 )
44.46/44.62 c learned cardinalities 3563 ,( 0.33 )
44.46/44.62 c learned general constraints 40799 ,( 3.78 )
44.46/44.62 c learned average constraint length 16.01
44.46/44.62 c learned average constraint degree 1487063.64
44.46/44.62 c watched CF 32, 64, 128, Arb: 18354 , 0 , 0 , 0
44.46/44.62 c counting CF 32, 64, 128, Arb: 22445 , 0 , 0 , 0
44.46/44.62 c watched constraints 18354 ,( 44.99 )
44.46/44.62 c counting constraints 22445 ,( 55.01 )
44.46/44.62 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 309828894 , 10413576 , 14129389 ,( 10438954 , 3690435 )
44.46/44.62 c gcd simplifications 5684
44.46/44.62 c detected cardinalities 822
44.46/44.62 c weakened non-implied lits 233849
44.46/44.62 c weakened non-implying lits 1867
44.46/44.62 c original variables 701
44.46/44.62 c clausal propagations 2260430
44.46/44.62 c cardinality propagations 1744223
44.46/44.62 c watched propagations 87567
44.46/44.62 c counting propagations 1124156
44.46/44.62 c watch lookups 811282497
44.46/44.62 c watch backjump lookups 0
44.46/44.62 c watch checks 638903215
44.46/44.62 c propagation checks 47091747
44.46/44.62 c constraint additions 55404019
44.46/44.62 c trail pops 9702562
44.46/44.62 c formula constraints 980
44.46/44.62 c learned constraints 1079339
44.46/44.62 c bound constraints 0
44.46/44.62 c core-guided constraints 0
44.46/44.62 c encountered formula constraints 62442
44.46/44.62 c encountered learned constraints 4213744
44.46/44.62 c encountered bound constraints 0
44.46/44.62 c encountered core-guided constraints 0
44.46/44.62 c LP total time 7.07723 s
44.46/44.62 c LP solve time 4.86 s
44.46/44.62 c LP constraints added 1594
44.46/44.62 c LP constraints removed 605
44.46/44.62 c LP pivots internal 107946
44.46/44.62 c LP pivots root 629
44.46/44.62 c LP calls 10474
44.46/44.62 c LP optimalities 10459
44.46/44.62 c LP no pivot count 807
44.46/44.62 c LP infeasibilities 15
44.46/44.62 c LP valid Farkas constraints 15
44.46/44.62 c LP learned Farkas constraints 15
44.46/44.62 c LP basis resets 0
44.46/44.62 c LP cycling count 0
44.46/44.62 c LP singular count 0
44.46/44.62 c LP no primal count 0
44.46/44.62 c LP no farkas count 0
44.46/44.62 c LP other issue count 0
44.46/44.62 c LP Gomory cuts 538
44.46/44.62 c LP learned cuts 76
44.46/44.62 c LP deleted cuts 605
44.46/44.62 c LP encountered Gomory constraints 0
44.46/44.62 c LP encountered Farkas constraints 572
44.46/44.62 c LP encountered learned Farkas constraints 9
44.46/44.62 c CG auxiliary variables introduced 0
44.46/44.62 c CG solutions found 0
44.46/44.62 c CG cores constructed 0
44.46/44.62 c CG core cardinality constraints returned 0
44.46/44.62 c CG unit cores 0
44.46/44.62 c CG single cores 0
44.46/44.62 c CG blocks removed during cardinality reduction 0
44.46/44.62 c CG first core best 0
44.46/44.62 c CG decision core best 0
44.46/44.62 c CG core reduction tie 0
44.46/44.62 c CG core degree average 0.00
44.46/44.62 c CG core slack average 0.00
44.46/44.62 c CG core upper bound improvements 0
44.46/44.62 c STR number of successful calls 0
44.46/44.62 c STR number of unsuccessful calls 0
44.46/44.62 c STR number of inconclusive calls 0
44.46/44.62 c STR number of successful attempts 0
44.46/44.62 c STR number of unsuccessful attempts 0
44.46/44.62 c STR number of inconclusive attempts 0
44.46/44.62 c STR average degree increase per successful call inf
44.46/44.62 c STR average degree increase per successful attempt inf
44.46/44.62 c STR total number of conflicts for successful attempts 0
44.46/44.62 c STR total number of conflicts for unsuccessful attempts 0
44.46/44.62 c STR total number of conflicts for inconclusive attempts 0
44.46/44.62 c STR average number of conflicts per successful attempt inf
44.46/44.62 c STR average number of conflicts per unsuccessful attempt inf
44.46/44.62 c STR average number of conflicts per inconclusive attempt inf
44.46/44.62 c AVG.sumWPerc 41.27
44.46/44.62 c bigint constraints 0
44.46/44.62 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 (63170 MiB free)
memory of node 1: 64465 MiB (63741 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4510616-1751199721/watcher-4510616-1751199721 -o /tmp/evaluation-result-4510616-1751199721/solver-4510616-1751199721 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751196106-21225 --watchdog 3760 run-dec.sh HOME/instance-4510616-1751199721.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=22204, runsolver pid=22201
[startup+0.100091 s]*
/proc/loadavg: 4.08 4.10 4.09 5/255 22206
/proc/meminfo: memFree=129958340/131382120 swapFree=33010684/33010684
[pid=22204] ppid=22201 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/22204/stat : 22204 (run-dec.sh) S 22201 22204 21214 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 35650774 4292608 736 18446744073709551615 94831004352512 94831005247045 140736162126480 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94831005486096 94831005533840 94831024316416 140736162130285 140736162130408 140736162130408 140736162136010 0
/proc/22204/statm: 1048 736 672 219 0 110 0
[pid=22206] ppid=22204 vsize=57700 memory=12300 CPUtime=0.08 cores=4,6
/proc/22206/stat : 22206 (roundingsat) R 22204 22204 21214 0 -1 4194304 1060 0 0 0 7 1 0 0 20 0 1 0 35650775 59084800 3075 18446744073709551615 4227072 8923433 140725395443344 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24207360 140725395446199 140725395446312 140725395446312 140725395451882 0
/proc/22206/statm: 14425 3075 2336 1147 0 1852 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 61892 KiB
Current children cumulated memory: 15244 KiB
[startup+0.21153 s]*
/proc/loadavg: 4.08 4.10 4.09 5/255 22206
/proc/meminfo: memFree=129958416/131382120 swapFree=33010684/33010684
[pid=22204] ppid=22201 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/22204/stat : 22204 (run-dec.sh) S 22201 22204 21214 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 35650774 4292608 736 18446744073709551615 94831004352512 94831005247045 140736162126480 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94831005486096 94831005533840 94831024316416 140736162130285 140736162130408 140736162130408 140736162136010 0
/proc/22204/statm: 1048 736 672 219 0 110 0
[pid=22206] ppid=22204 vsize=57984 memory=12812 CPUtime=0.2 cores=4,6
/proc/22206/stat : 22206 (roundingsat) R 22204 22204 21214 0 -1 4194304 1196 0 0 0 17 3 0 0 20 0 1 0 35650775 59375616 3203 18446744073709551615 4227072 8923433 140725395443344 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24207360 140725395446199 140725395446312 140725395446312 140725395451882 0
/proc/22206/statm: 14496 3203 2336 1147 0 1923 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 62176 KiB
Current children cumulated memory: 15756 KiB
[startup+0.311018 s]*
/proc/loadavg: 4.08 4.10 4.09 5/255 22206
/proc/meminfo: memFree=129958416/131382120 swapFree=33010684/33010684
[pid=22204] ppid=22201 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/22204/stat : 22204 (run-dec.sh) S 22201 22204 21214 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 35650774 4292608 736 18446744073709551615 94831004352512 94831005247045 140736162126480 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94831005486096 94831005533840 94831024316416 140736162130285 140736162130408 140736162130408 140736162136010 0
/proc/22204/statm: 1048 736 672 219 0 110 0
[pid=22206] ppid=22204 vsize=58116 memory=13068 CPUtime=0.29 cores=4,6
/proc/22206/stat : 22206 (roundingsat) R 22204 22204 21214 0 -1 4194304 1271 0 0 0 25 4 0 0 20 0 1 0 35650775 59510784 3267 18446744073709551615 4227072 8923433 140725395443344 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24207360 140725395446199 140725395446312 140725395446312 140725395451882 0
/proc/22206/statm: 14529 3267 2336 1147 0 1956 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 62308 KiB
Current children cumulated memory: 16012 KiB
[startup+0.700329 s]
/proc/loadavg: 4.08 4.10 4.09 5/255 22206
/proc/meminfo: memFree=129958416/131382120 swapFree=33010684/33010684
[pid=22204] ppid=22201 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/22204/stat : 22204 (run-dec.sh) S 22201 22204 21214 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 35650774 4292608 736 18446744073709551615 94831004352512 94831005247045 140736162126480 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94831005486096 94831005533840 94831024316416 140736162130285 140736162130408 140736162130408 140736162136010 0
/proc/22204/statm: 1048 736 672 219 0 110 0
[pid=22206] ppid=22204 vsize=58812 memory=13964 CPUtime=0.67 cores=4,6
/proc/22206/stat : 22206 (roundingsat) R 22204 22204 21214 0 -1 4194304 1493 0 0 0 58 9 0 0 20 0 1 0 35650775 60223488 3491 18446744073709551615 4227072 8923433 140725395443344 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24207360 140725395446199 140725395446312 140725395446312 140725395451882 0
/proc/22206/statm: 14703 3491 2336 1147 0 2130 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 63004 KiB
Current children cumulated memory: 16908 KiB
[startup+1.50034 s]
/proc/loadavg: 4.08 4.10 4.09 5/255 22206
/proc/meminfo: memFree=129958416/131382120 swapFree=33010684/33010684
[pid=22204] ppid=22201 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/22204/stat : 22204 (run-dec.sh) S 22201 22204 21214 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 35650774 4292608 736 18446744073709551615 94831004352512 94831005247045 140736162126480 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94831005486096 94831005533840 94831024316416 140736162130285 140736162130408 140736162130408 140736162136010 0
/proc/22204/statm: 1048 736 672 219 0 110 0
[pid=22206] ppid=22204 vsize=59640 memory=14988 CPUtime=1.47 cores=4,6
/proc/22206/stat : 22206 (roundingsat) R 22204 22204 21214 0 -1 4194304 1755 0 0 0 126 21 0 0 20 0 1 0 35650775 61071360 3747 18446744073709551615 4227072 8923433 140725395443344 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24207360 140725395446199 140725395446312 140725395446312 140725395451882 0
/proc/22206/statm: 14910 3747 2336 1147 0 2337 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 63832 KiB
Current children cumulated memory: 17932 KiB
[startup+3.11276 s]
/proc/loadavg: 4.08 4.10 4.09 5/255 22206
/proc/meminfo: memFree=129958436/131382120 swapFree=33010684/33010684
[pid=22204] ppid=22201 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/22204/stat : 22204 (run-dec.sh) S 22201 22204 21214 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 35650774 4292608 736 18446744073709551615 94831004352512 94831005247045 140736162126480 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94831005486096 94831005533840 94831024316416 140736162130285 140736162130408 140736162130408 140736162136010 0
/proc/22204/statm: 1048 736 672 219 0 110 0
[pid=22206] ppid=22204 vsize=61188 memory=16652 CPUtime=3.07 cores=4,6
/proc/22206/stat : 22206 (roundingsat) R 22204 22204 21214 0 -1 4194304 2173 0 0 0 262 45 0 0 20 0 1 0 35650775 62656512 4163 18446744073709551615 4227072 8923433 140725395443344 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24207360 140725395446199 140725395446312 140725395446312 140725395451882 0
/proc/22206/statm: 15297 4163 2336 1147 0 2724 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 65380 KiB
Current children cumulated memory: 19596 KiB
[startup+6.30032 s]
/proc/loadavg: 4.08 4.10 4.09 5/255 22206
/proc/meminfo: memFree=129954436/131382120 swapFree=33010684/33010684
[pid=22204] ppid=22201 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/22204/stat : 22204 (run-dec.sh) S 22201 22204 21214 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 35650774 4292608 736 18446744073709551615 94831004352512 94831005247045 140736162126480 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94831005486096 94831005533840 94831024316416 140736162130285 140736162130408 140736162130408 140736162136010 0
/proc/22204/statm: 1048 736 672 219 0 110 0
[pid=22206] ppid=22204 vsize=62628 memory=18572 CPUtime=6.26 cores=4,6
/proc/22206/stat : 22206 (roundingsat) R 22204 22204 21214 0 -1 4194304 2640 0 0 0 541 85 0 0 20 0 1 0 35650775 64131072 4643 18446744073709551615 4227072 8923433 140725395443344 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24207360 140725395446199 140725395446312 140725395446312 140725395451882 0
/proc/22206/statm: 15657 4643 2336 1147 0 3084 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 66820 KiB
Current children cumulated memory: 21516 KiB
[startup+12.7003 s]
/proc/loadavg: 4.07 4.10 4.09 5/255 22206
/proc/meminfo: memFree=129946812/131382120 swapFree=33010684/33010684
[pid=22204] ppid=22201 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/22204/stat : 22204 (run-dec.sh) S 22201 22204 21214 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 35650774 4292608 736 18446744073709551615 94831004352512 94831005247045 140736162126480 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94831005486096 94831005533840 94831024316416 140736162130285 140736162130408 140736162130408 140736162136010 0
/proc/22204/statm: 1048 736 672 219 0 110 0
[pid=22206] ppid=22204 vsize=63916 memory=20636 CPUtime=12.64 cores=4,6
/proc/22206/stat : 22206 (roundingsat) R 22204 22204 21214 0 -1 4194304 3857 0 0 0 1111 153 0 0 20 0 1 0 35650775 65449984 5159 18446744073709551615 4227072 8923433 140725395443344 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24207360 140725395446199 140725395446312 140725395446312 140725395451882 0
/proc/22206/statm: 15979 5159 2336 1147 0 3406 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 68108 KiB
Current children cumulated memory: 23580 KiB
[startup+25.5004 s]
/proc/loadavg: 4.12 4.11 4.09 5/255 22206
/proc/meminfo: memFree=129937500/131382120 swapFree=33010684/33010684
[pid=22204] ppid=22201 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/22204/stat : 22204 (run-dec.sh) S 22201 22204 21214 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 35650774 4292608 736 18446744073709551615 94831004352512 94831005247045 140736162126480 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94831005486096 94831005533840 94831024316416 140736162130285 140736162130408 140736162130408 140736162136010 0
/proc/22204/statm: 1048 736 672 219 0 110 0
[pid=22206] ppid=22204 vsize=66540 memory=23664 CPUtime=25.41 cores=4,6
/proc/22206/stat : 22206 (roundingsat) R 22204 22204 21214 0 -1 4194304 7082 0 0 0 2284 257 0 0 20 0 1 0 35650775 68136960 5916 18446744073709551615 4227072 8923433 140725395443344 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24207360 140725395446199 140725395446312 140725395446312 140725395451882 0
/proc/22206/statm: 16635 5916 2336 1147 0 4062 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 70732 KiB
Current children cumulated memory: 26608 KiB
[startup+44.6284 s]
# the end of solver process 22204 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=40.5027 s, system=3.99914 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6004 s]
/proc/loadavg: 4.12 4.11 4.09 5/255 22206
/proc/meminfo: memFree=129937500/131382120 swapFree=33010684/33010684
[pid=22204] ppid=22201 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/22204/stat : 22204 (run-dec.sh) S 22201 22204 21214 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 35650774 4292608 736 18446744073709551615 94831004352512 94831005247045 140736162126480 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94831005486096 94831005533840 94831024316416 140736162130285 140736162130408 140736162130408 140736162136010 0
/proc/22204/statm: 1048 736 672 219 0 110 0
[pid=22206] ppid=22204 vsize=66604 memory=23728 CPUtime=25.51 cores=4,6
/proc/22206/stat : 22206 (roundingsat) R 22204 22204 21214 0 -1 4194304 7210 0 0 0 2293 258 0 0 20 0 1 0 35650775 68202496 5932 18446744073709551615 4227072 8923433 140725395443344 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24207360 140725395446199 140725395446312 140725395446312 140725395451882 0
/proc/22206/statm: 16651 5932 2336 1147 0 4078 0
Current children cumulated CPU time: 25.51 s
Current children cumulated vsize: 70796 KiB
Current children cumulated memory: 26672 KiB
[startup+38.4004 s]
/proc/loadavg: 4.10 4.10 4.09 5/255 22206
/proc/meminfo: memFree=129930444/131382120 swapFree=33010684/33010684
[pid=22204] ppid=22201 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/22204/stat : 22204 (run-dec.sh) S 22201 22204 21214 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 35650774 4292608 736 18446744073709551615 94831004352512 94831005247045 140736162126480 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94831005486096 94831005533840 94831024316416 140736162130285 140736162130408 140736162130408 140736162136010 0
/proc/22204/statm: 1048 736 672 219 0 110 0
[pid=22206] ppid=22204 vsize=68288 memory=25784 CPUtime=38.27 cores=4,6
/proc/22206/stat : 22206 (roundingsat) R 22204 22204 21214 0 -1 4194304 9412 0 0 0 3472 355 0 0 20 0 1 0 35650775 69926912 6446 18446744073709551615 4227072 8923433 140725395443344 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24207360 140725395446199 140725395446312 140725395446312 140725395451882 0
/proc/22206/statm: 17072 6446 2336 1147 0 4499 0
Current children cumulated CPU time: 38.27 s
Current children cumulated vsize: 72480 KiB
Current children cumulated memory: 28728 KiB
[startup+41.6003 s]
/proc/loadavg: 4.10 4.10 4.09 5/255 22206
/proc/meminfo: memFree=129925656/131382120 swapFree=33010684/33010684
[pid=22204] ppid=22201 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/22204/stat : 22204 (run-dec.sh) S 22201 22204 21214 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 35650774 4292608 736 18446744073709551615 94831004352512 94831005247045 140736162126480 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94831005486096 94831005533840 94831024316416 140736162130285 140736162130408 140736162130408 140736162136010 0
/proc/22204/statm: 1048 736 672 219 0 110 0
[pid=22206] ppid=22204 vsize=68400 memory=26096 CPUtime=41.47 cores=4,6
/proc/22206/stat : 22206 (roundingsat) R 22204 22204 21214 0 -1 4194304 9985 0 0 0 3769 378 0 0 20 0 1 0 35650775 70041600 6524 18446744073709551615 4227072 8923433 140725395443344 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24207360 140725395446199 140725395446312 140725395446312 140725395451882 0
/proc/22206/statm: 17100 6524 2336 1147 0 4527 0
Current children cumulated CPU time: 41.47 s
Current children cumulated vsize: 72592 KiB
Current children cumulated memory: 29040 KiB
[startup+43.2003 s]
/proc/loadavg: 4.10 4.10 4.09 5/255 22206
/proc/meminfo: memFree=129925152/131382120 swapFree=33010684/33010684
[pid=22204] ppid=22201 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/22204/stat : 22204 (run-dec.sh) S 22201 22204 21214 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 35650774 4292608 736 18446744073709551615 94831004352512 94831005247045 140736162126480 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94831005486096 94831005533840 94831024316416 140736162130285 140736162130408 140736162130408 140736162136010 0
/proc/22204/statm: 1048 736 672 219 0 110 0
[pid=22206] ppid=22204 vsize=68784 memory=26528 CPUtime=43.06 cores=4,6
/proc/22206/stat : 22206 (roundingsat) R 22204 22204 21214 0 -1 4194304 10490 0 0 0 3917 389 0 0 20 0 1 0 35650775 70434816 6632 18446744073709551615 4227072 8923433 140725395443344 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24207360 140725395446199 140725395446312 140725395446312 140725395451882 0
/proc/22206/statm: 17196 6632 2336 1147 0 4623 0
Current children cumulated CPU time: 43.06 s
Current children cumulated vsize: 72976 KiB
Current children cumulated memory: 29472 KiB
[startup+44.0003 s]*
/proc/loadavg: 4.09 4.10 4.09 5/255 22206
/proc/meminfo: memFree=129924648/131382120 swapFree=33010684/33010684
[pid=22204] ppid=22201 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/22204/stat : 22204 (run-dec.sh) S 22201 22204 21214 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 35650774 4292608 736 18446744073709551615 94831004352512 94831005247045 140736162126480 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94831005486096 94831005533840 94831024316416 140736162130285 140736162130408 140736162130408 140736162136010 0
/proc/22204/statm: 1048 736 672 219 0 110 0
[pid=22206] ppid=22204 vsize=69172 memory=26844 CPUtime=43.87 cores=4,6
/proc/22206/stat : 22206 (roundingsat) R 22204 22204 21214 0 -1 4194304 10768 0 0 0 3993 394 0 0 20 0 1 0 35650775 70832128 6711 18446744073709551615 4227072 8923433 140725395443344 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24207360 140725395446199 140725395446312 140725395446312 140725395451882 0
/proc/22206/statm: 17293 6711 2336 1147 0 4720 0
Current children cumulated CPU time: 43.87 s
Current children cumulated vsize: 73364 KiB
Current children cumulated memory: 29788 KiB
[startup+44.4003 s]
/proc/loadavg: 4.09 4.10 4.09 5/255 22206
/proc/meminfo: memFree=129924648/131382120 swapFree=33010684/33010684
[pid=22204] ppid=22201 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/22204/stat : 22204 (run-dec.sh) S 22201 22204 21214 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 35650774 4292608 736 18446744073709551615 94831004352512 94831005247045 140736162126480 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94831005486096 94831005533840 94831024316416 140736162130285 140736162130408 140736162130408 140736162136010 0
/proc/22204/statm: 1048 736 672 219 0 110 0
[pid=22206] ppid=22204 vsize=69172 memory=26844 CPUtime=44.26 cores=4,6
/proc/22206/stat : 22206 (roundingsat) R 22204 22204 21214 0 -1 4194304 10770 0 0 0 4029 397 0 0 20 0 1 0 35650775 70832128 6711 18446744073709551615 4227072 8923433 140725395443344 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24207360 140725395446199 140725395446312 140725395446312 140725395451882 0
/proc/22206/statm: 17293 6711 2336 1147 0 4720 0
Current children cumulated CPU time: 44.26 s
Current children cumulated vsize: 73364 KiB
Current children cumulated memory: 29788 KiB
[startup+44.6003 s]
/proc/loadavg: 4.09 4.10 4.09 5/255 22206
/proc/meminfo: memFree=129924648/131382120 swapFree=33010684/33010684
[pid=22204] ppid=22201 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/22204/stat : 22204 (run-dec.sh) S 22201 22204 21214 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 35650774 4292608 736 18446744073709551615 94831004352512 94831005247045 140736162126480 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94831005486096 94831005533840 94831024316416 140736162130285 140736162130408 140736162130408 140736162136010 0
/proc/22204/statm: 1048 736 672 219 0 110 0
[pid=22206] ppid=22204 vsize=69172 memory=26844 CPUtime=44.46 cores=4,6
/proc/22206/stat : 22206 (roundingsat) R 22204 22204 21214 0 -1 4194304 10770 0 0 0 4047 399 0 0 20 0 1 0 35650775 70832128 6711 18446744073709551615 4227072 8923433 140725395443344 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24207360 140725395446199 140725395446312 140725395446312 140725395451882 0
/proc/22206/statm: 17293 6711 2336 1147 0 4720 0
Current children cumulated CPU time: 44.46 s
Current children cumulated vsize: 73364 KiB
Current children cumulated memory: 29788 KiB
Child status: 0
Real time (s): 44.6285
CPU time (s): 44.5019
CPU user time (s): 40.5027
CPU system time (s): 3.99914
CPU usage (%): 99.7162
Max. virtual memory (cumulated for all children) (KiB): 73564
Max. memory (cumulated for all children) (KiB): 29824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 40.5027
system time used= 3.99913
maximum resident set size= 27552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11001
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= 145
involuntary context switches= 73
# summary of solver processes directly reported to runsolver:
# pid: 22204
# total CPU time (s): 44.5019
# total CPU user time (s): 40.5027
# total CPU system time (s): 3.99914
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.24766 second user time and 0.505877 second system time
The end
Begin job on nodeC003 at 2025-06-29 14:22:01
IDJOB=4510616
IDBENCH=160374
IDSOLVER=3349
FILE ID=nodeC003/4510616-1751199721
RUNJOBID= nodeC003-1751196106-21225
SLURM_JOB_ID= 9587607
Free space on /tmp= 433016 MiB
SOLVER NAME= roundingsat 63f22ad
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/normalized-ECgrid5x70split.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-4510616-1751199721/watcher-4510616-1751199721 -o /tmp/evaluation-result-4510616-1751199721/solver-4510616-1751199721 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751196106-21225 --watchdog 3760 run-dec.sh HOME/instance-4510616-1751199721.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 6c6f54dbad76425fd68d4f6d2aa72935
RANDOM SEED=1564575690
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.170
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 : 3691.221
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 : 1197.454
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.505
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 : 1197.141
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 : 2394.322
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 : 2394.573
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.368
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: 129958184 kB
MemAvailable: 129776536 kB
Buffers: 3280 kB
Cached: 628764 kB
SwapCached: 0 kB
Active: 453368 kB
Inactive: 415540 kB
Active(anon): 254836 kB
Inactive(anon): 0 kB
Active(file): 198532 kB
Inactive(file): 415540 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 22352 kB
Writeback: 0 kB
AnonPages: 240000 kB
Mapped: 112668 kB
Shmem: 17960 kB
KReclaimable: 87816 kB
Slab: 168804 kB
SReclaimable: 87816 kB
SUnreclaim: 80988 kB
KernelStack: 4096 kB
PageTables: 3628 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 594296 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149432 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 145408 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:22:46