0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.00/0.02 c #variables 701 #constraints 980
0.00/0.02 c rational objective 350.5
0.18/0.26 c #Conflicts: 1000 | #Constraints: 1988
0.18/0.26 c #Conflicts: 2000 | #Constraints: 2988
0.18/0.26 c INPROCESSING
0.18/0.26 c GARBAGE COLLECT
0.18/0.26 c #Conflicts: 3000 | #Constraints: 3025
0.18/0.26 c #Conflicts: 4000 | #Constraints: 4025
0.18/0.26 c INPROCESSING
0.18/0.26 c GARBAGE COLLECT
0.18/0.26 c #Conflicts: 5000 | #Constraints: 3446
0.18/0.26 c #Conflicts: 6000 | #Constraints: 4446
0.18/0.26 c INPROCESSING
0.18/0.26 c GARBAGE COLLECT
0.18/0.26 c rational objective 350.5
0.28/0.37 c #Conflicts: 7000 | #Constraints: 3462
0.28/0.37 c #Conflicts: 8000 | #Constraints: 4462
0.28/0.37 c #Conflicts: 9000 | #Constraints: 5462
0.28/0.37 c INPROCESSING
0.28/0.37 c GARBAGE COLLECT
0.28/0.37 c rational objective 350.5
0.38/0.49 c #Conflicts: 10000 | #Constraints: 4173
0.38/0.49 c #Conflicts: 11000 | #Constraints: 5173
0.38/0.49 c #Conflicts: 12000 | #Constraints: 6173
0.38/0.49 c INPROCESSING
0.38/0.49 c GARBAGE COLLECT
0.38/0.49 c rational objective 350.5
0.57/0.60 c #Conflicts: 13000 | #Constraints: 4626
0.57/0.60 c #Conflicts: 14000 | #Constraints: 5626
0.57/0.60 c #Conflicts: 15000 | #Constraints: 6626
0.57/0.60 c INPROCESSING
0.57/0.60 c GARBAGE COLLECT
0.57/0.60 c rational objective 350.5
0.67/0.76 c #Conflicts: 16000 | #Constraints: 4856
0.67/0.76 c #Conflicts: 17000 | #Constraints: 5856
0.67/0.76 c #Conflicts: 18000 | #Constraints: 6856
0.67/0.76 c INPROCESSING
0.67/0.76 c GARBAGE COLLECT
0.67/0.76 c rational objective 350.5
0.87/0.92 c #Conflicts: 19000 | #Constraints: 4873
0.87/0.92 c #Conflicts: 20000 | #Constraints: 5873
0.87/0.92 c #Conflicts: 21000 | #Constraints: 6873
0.87/0.92 c INPROCESSING
0.87/0.92 c GARBAGE COLLECT
0.87/0.92 c rational objective 350.5
1.07/1.10 c #Conflicts: 22000 | #Constraints: 4671
1.07/1.10 c #Conflicts: 23000 | #Constraints: 5671
1.07/1.10 c #Conflicts: 24000 | #Constraints: 6671
1.07/1.10 c #Conflicts: 25000 | #Constraints: 7671
1.07/1.10 c INPROCESSING
1.07/1.10 c GARBAGE COLLECT
1.07/1.10 c rational objective 350.5
1.17/1.29 c #Conflicts: 26000 | #Constraints: 5273
1.17/1.29 c #Conflicts: 27000 | #Constraints: 6274
1.17/1.29 c #Conflicts: 28000 | #Constraints: 7275
1.17/1.29 c #Conflicts: 29000 | #Constraints: 8275
1.17/1.29 c INPROCESSING
1.17/1.29 c GARBAGE COLLECT
1.17/1.29 c rational objective 350.5
1.37/1.47 c #Conflicts: 30000 | #Constraints: 5670
1.37/1.47 c #Conflicts: 31000 | #Constraints: 6670
1.37/1.47 c #Conflicts: 32000 | #Constraints: 7670
1.37/1.47 c #Conflicts: 33000 | #Constraints: 8670
1.37/1.47 c INPROCESSING
1.37/1.47 c GARBAGE COLLECT
1.37/1.47 c rational objective 350.5
1.57/1.68 c #Conflicts: 34000 | #Constraints: 5877
1.57/1.68 c #Conflicts: 35000 | #Constraints: 6877
1.57/1.68 c #Conflicts: 36000 | #Constraints: 7877
1.57/1.68 c #Conflicts: 37000 | #Constraints: 8877
1.57/1.68 c INPROCESSING
1.57/1.68 c GARBAGE COLLECT
1.57/1.68 c rational objective 350.5
1.87/1.94 c #Conflicts: 38000 | #Constraints: 5882
1.87/1.94 c #Conflicts: 39000 | #Constraints: 6882
1.87/1.94 c #Conflicts: 40000 | #Constraints: 7882
1.87/1.94 c #Conflicts: 41000 | #Constraints: 8882
1.87/1.94 c INPROCESSING
1.87/1.94 c GARBAGE COLLECT
1.87/1.94 c rational objective 350.5
2.07/2.17 c #Conflicts: 42000 | #Constraints: 5685
2.07/2.17 c #Conflicts: 43000 | #Constraints: 6685
2.07/2.17 c #Conflicts: 44000 | #Constraints: 7685
2.07/2.17 c #Conflicts: 45000 | #Constraints: 8685
2.07/2.17 c #Conflicts: 46000 | #Constraints: 9685
2.07/2.17 c INPROCESSING
2.07/2.17 c GARBAGE COLLECT
2.07/2.17 c rational objective 350.5
2.37/2.42 c #Conflicts: 47000 | #Constraints: 6278
2.37/2.42 c #Conflicts: 48000 | #Constraints: 7278
2.37/2.42 c #Conflicts: 49000 | #Constraints: 8278
2.37/2.42 c #Conflicts: 50000 | #Constraints: 9278
2.37/2.42 c #Conflicts: 51000 | #Constraints: 10278
2.37/2.42 c INPROCESSING
2.37/2.42 c GARBAGE COLLECT
2.37/2.42 c rational objective 350.5
2.56/2.68 c #Conflicts: 52000 | #Constraints: 6681
2.56/2.68 c #Conflicts: 53000 | #Constraints: 7681
2.56/2.68 c #Conflicts: 54000 | #Constraints: 8681
2.56/2.68 c #Conflicts: 55000 | #Constraints: 9681
2.56/2.68 c #Conflicts: 56000 | #Constraints: 10681
2.56/2.68 c INPROCESSING
2.56/2.68 c GARBAGE COLLECT
2.56/2.68 c rational objective 350.5
2.87/2.96 c #Conflicts: 57000 | #Constraints: 6878
2.87/2.96 c #Conflicts: 58000 | #Constraints: 7878
2.87/2.96 c #Conflicts: 59000 | #Constraints: 8878
2.87/2.96 c #Conflicts: 60000 | #Constraints: 9878
2.87/2.96 c #Conflicts: 61000 | #Constraints: 10878
2.87/2.96 c INPROCESSING
2.87/2.96 c GARBAGE COLLECT
2.87/2.96 c rational objective 350.5
3.17/3.24 c #Conflicts: 62000 | #Constraints: 6877
3.17/3.24 c #Conflicts: 63000 | #Constraints: 7877
3.17/3.24 c #Conflicts: 64000 | #Constraints: 8877
3.17/3.24 c #Conflicts: 65000 | #Constraints: 9878
3.17/3.24 c #Conflicts: 66000 | #Constraints: 10878
3.17/3.24 c INPROCESSING
3.17/3.24 c GARBAGE COLLECT
3.17/3.24 c rational objective 350.5
3.47/3.56 c #Conflicts: 67000 | #Constraints: 6682
3.47/3.56 c #Conflicts: 68000 | #Constraints: 7682
3.47/3.56 c #Conflicts: 69000 | #Constraints: 8682
3.47/3.56 c #Conflicts: 70000 | #Constraints: 9682
3.47/3.56 c #Conflicts: 71000 | #Constraints: 10682
3.47/3.56 c #Conflicts: 72000 | #Constraints: 11682
3.47/3.56 c INPROCESSING
3.47/3.56 c GARBAGE COLLECT
3.47/3.56 c rational objective 350.5
3.76/3.83 c #Conflicts: 73000 | #Constraints: 7281
3.76/3.83 c #Conflicts: 74000 | #Constraints: 8281
3.76/3.83 c #Conflicts: 75000 | #Constraints: 9281
3.76/3.83 c #Conflicts: 76000 | #Constraints: 10281
3.76/3.83 c #Conflicts: 77000 | #Constraints: 11281
3.76/3.83 c #Conflicts: 78000 | #Constraints: 12281
3.76/3.83 c INPROCESSING
3.76/3.83 c GARBAGE COLLECT
3.76/3.83 c rational objective 350.5
4.06/4.15 c #Conflicts: 79000 | #Constraints: 7687
4.06/4.15 c #Conflicts: 80000 | #Constraints: 8687
4.06/4.15 c #Conflicts: 81000 | #Constraints: 9687
4.06/4.15 c #Conflicts: 82000 | #Constraints: 10687
4.06/4.15 c #Conflicts: 83000 | #Constraints: 11687
4.06/4.15 c #Conflicts: 84000 | #Constraints: 12687
4.06/4.15 c INPROCESSING
4.06/4.15 c GARBAGE COLLECT
4.06/4.15 c rational objective 350.5
4.37/4.48 c #Conflicts: 85000 | #Constraints: 7895
4.37/4.48 c #Conflicts: 86000 | #Constraints: 8896
4.37/4.48 c #Conflicts: 87000 | #Constraints: 9896
4.37/4.48 c #Conflicts: 88000 | #Constraints: 10896
4.37/4.48 c #Conflicts: 89000 | #Constraints: 11896
4.37/4.48 c #Conflicts: 90000 | #Constraints: 12896
4.37/4.48 c INPROCESSING
4.37/4.48 c GARBAGE COLLECT
4.37/4.48 c rational objective 350.5
4.76/4.84 c #Conflicts: 91000 | #Constraints: 7894
4.76/4.84 c #Conflicts: 92000 | #Constraints: 8894
4.76/4.84 c #Conflicts: 93000 | #Constraints: 9895
4.76/4.84 c #Conflicts: 94000 | #Constraints: 10895
4.76/4.84 c #Conflicts: 95000 | #Constraints: 11895
4.76/4.84 c #Conflicts: 96000 | #Constraints: 12895
4.76/4.84 c INPROCESSING
4.76/4.84 c GARBAGE COLLECT
4.76/4.84 c rational objective 350.5
5.06/5.13 c #Conflicts: 97000 | #Constraints: 7693
5.06/5.13 c #Conflicts: 98000 | #Constraints: 8693
5.06/5.13 c #Conflicts: 99000 | #Constraints: 9693
5.06/5.13 c #Conflicts: 100000 | #Constraints: 10693
5.06/5.13 c #Conflicts: 101000 | #Constraints: 11693
5.06/5.13 c #Conflicts: 102000 | #Constraints: 12693
5.06/5.13 c #Conflicts: 103000 | #Constraints: 13693
5.06/5.13 c INPROCESSING
5.06/5.13 c GARBAGE COLLECT
5.06/5.13 c rational objective 350.5
5.36/5.46 c #Conflicts: 104000 | #Constraints: 8297
5.36/5.46 c #Conflicts: 105000 | #Constraints: 9297
5.36/5.46 c #Conflicts: 106000 | #Constraints: 10297
5.36/5.46 c #Conflicts: 107000 | #Constraints: 11297
5.36/5.46 c #Conflicts: 108000 | #Constraints: 12297
5.36/5.46 c #Conflicts: 109000 | #Constraints: 13297
5.36/5.46 c #Conflicts: 110000 | #Constraints: 14297
5.36/5.46 c INPROCESSING
5.36/5.46 c GARBAGE COLLECT
5.36/5.46 c rational objective 350.5
5.66/5.79 c #Conflicts: 111000 | #Constraints: 8691
5.66/5.79 c #Conflicts: 112000 | #Constraints: 9692
5.66/5.79 c #Conflicts: 113000 | #Constraints: 10692
5.66/5.79 c #Conflicts: 114000 | #Constraints: 11692
5.66/5.79 c #Conflicts: 115000 | #Constraints: 12693
5.66/5.79 c #Conflicts: 116000 | #Constraints: 13693
5.66/5.79 c #Conflicts: 117000 | #Constraints: 14693
5.66/5.79 c INPROCESSING
5.66/5.79 c GARBAGE COLLECT
5.66/5.79 c rational objective 350.5
6.07/6.18 c #Conflicts: 118000 | #Constraints: 8903
6.07/6.18 c #Conflicts: 119000 | #Constraints: 9903
6.07/6.18 c #Conflicts: 120000 | #Constraints: 10903
6.07/6.18 c #Conflicts: 121000 | #Constraints: 11903
6.07/6.18 c #Conflicts: 122000 | #Constraints: 12903
6.07/6.18 c #Conflicts: 123000 | #Constraints: 13903
6.07/6.18 c #Conflicts: 124000 | #Constraints: 14903
6.07/6.18 c INPROCESSING
6.07/6.18 c GARBAGE COLLECT
6.07/6.18 c rational objective 350.5
6.46/6.53 c #Conflicts: 125000 | #Constraints: 8898
6.46/6.53 c #Conflicts: 126000 | #Constraints: 9898
6.46/6.53 c #Conflicts: 127000 | #Constraints: 10898
6.46/6.53 c #Conflicts: 128000 | #Constraints: 11898
6.46/6.53 c #Conflicts: 129000 | #Constraints: 12898
6.46/6.53 c #Conflicts: 130000 | #Constraints: 13898
6.46/6.53 c #Conflicts: 131000 | #Constraints: 14898
6.46/6.53 c INPROCESSING
6.46/6.53 c GARBAGE COLLECT
6.46/6.53 c rational objective 350.5
6.75/6.89 c #Conflicts: 132000 | #Constraints: 8688
6.75/6.89 c #Conflicts: 133000 | #Constraints: 9688
6.75/6.89 c #Conflicts: 134000 | #Constraints: 10688
6.75/6.89 c #Conflicts: 135000 | #Constraints: 11688
6.75/6.89 c #Conflicts: 136000 | #Constraints: 12688
6.75/6.89 c #Conflicts: 137000 | #Constraints: 13688
6.75/6.89 c #Conflicts: 138000 | #Constraints: 14688
6.75/6.89 c #Conflicts: 139000 | #Constraints: 15688
6.75/6.89 c INPROCESSING
6.75/6.89 c GARBAGE COLLECT
6.75/6.89 c rational objective 350.5
7.16/7.24 c #Conflicts: 140000 | #Constraints: 9288
7.16/7.24 c #Conflicts: 141000 | #Constraints: 10288
7.16/7.24 c #Conflicts: 142000 | #Constraints: 11288
7.16/7.24 c #Conflicts: 143000 | #Constraints: 12288
7.16/7.24 c #Conflicts: 144000 | #Constraints: 13288
7.16/7.24 c #Conflicts: 145000 | #Constraints: 14288
7.16/7.24 c #Conflicts: 146000 | #Constraints: 15288
7.16/7.24 c #Conflicts: 147000 | #Constraints: 16288
7.16/7.24 c INPROCESSING
7.16/7.24 c GARBAGE COLLECT
7.16/7.24 c rational objective 350.5
7.46/7.59 c #Conflicts: 148000 | #Constraints: 9686
7.46/7.59 c #Conflicts: 149000 | #Constraints: 10686
7.46/7.59 c #Conflicts: 150000 | #Constraints: 11686
7.46/7.59 c #Conflicts: 151000 | #Constraints: 12686
7.46/7.59 c #Conflicts: 152000 | #Constraints: 13686
7.46/7.59 c #Conflicts: 153000 | #Constraints: 14686
7.46/7.59 c #Conflicts: 154000 | #Constraints: 15686
7.46/7.59 c #Conflicts: 155000 | #Constraints: 16686
7.46/7.59 c INPROCESSING
7.46/7.59 c GARBAGE COLLECT
7.46/7.59 c rational objective 350.5
7.85/7.96 c #Conflicts: 156000 | #Constraints: 9898
7.85/7.96 c #Conflicts: 157000 | #Constraints: 10898
7.85/7.96 c #Conflicts: 158000 | #Constraints: 11898
7.85/7.96 c #Conflicts: 159000 | #Constraints: 12898
7.85/7.96 c #Conflicts: 160000 | #Constraints: 13898
7.85/7.96 c #Conflicts: 161000 | #Constraints: 14898
7.85/7.96 c #Conflicts: 162000 | #Constraints: 15898
7.85/7.96 c #Conflicts: 163000 | #Constraints: 16898
7.85/7.96 c INPROCESSING
7.85/7.96 c GARBAGE COLLECT
7.85/7.96 c rational objective 350.5
8.26/8.33 c #Conflicts: 164000 | #Constraints: 9893
8.26/8.33 c #Conflicts: 165000 | #Constraints: 10893
8.26/8.33 c #Conflicts: 166000 | #Constraints: 11893
8.26/8.33 c #Conflicts: 167000 | #Constraints: 12893
8.26/8.33 c #Conflicts: 168000 | #Constraints: 13893
8.26/8.33 c #Conflicts: 169000 | #Constraints: 14893
8.26/8.33 c #Conflicts: 170000 | #Constraints: 15893
8.26/8.33 c #Conflicts: 171000 | #Constraints: 16893
8.26/8.33 c INPROCESSING
8.26/8.33 c GARBAGE COLLECT
8.26/8.33 c rational objective 350.5
8.55/8.69 c #Conflicts: 172000 | #Constraints: 9686
8.55/8.69 c #Conflicts: 173000 | #Constraints: 10686
8.55/8.69 c #Conflicts: 174000 | #Constraints: 11686
8.55/8.69 c #Conflicts: 175000 | #Constraints: 12686
8.55/8.69 c #Conflicts: 176000 | #Constraints: 13686
8.55/8.69 c #Conflicts: 177000 | #Constraints: 14686
8.55/8.69 c #Conflicts: 178000 | #Constraints: 15686
8.55/8.69 c #Conflicts: 179000 | #Constraints: 16686
8.55/8.69 c #Conflicts: 180000 | #Constraints: 17686
8.55/8.69 c INPROCESSING
8.55/8.69 c GARBAGE COLLECT
8.55/8.69 c rational objective 350.5
8.95/9.07 c #Conflicts: 181000 | #Constraints: 10288
8.95/9.07 c #Conflicts: 182000 | #Constraints: 11288
8.95/9.07 c #Conflicts: 183000 | #Constraints: 12288
8.95/9.07 c #Conflicts: 184000 | #Constraints: 13288
8.95/9.07 c #Conflicts: 185000 | #Constraints: 14288
8.95/9.07 c #Conflicts: 186000 | #Constraints: 15288
8.95/9.07 c #Conflicts: 187000 | #Constraints: 16288
8.95/9.07 c #Conflicts: 188000 | #Constraints: 17288
8.95/9.07 c #Conflicts: 189000 | #Constraints: 18288
8.95/9.07 c INPROCESSING
8.95/9.07 c GARBAGE COLLECT
8.95/9.07 c rational objective 350.5
9.45/9.50 c #Conflicts: 190000 | #Constraints: 10702
9.45/9.50 c #Conflicts: 191000 | #Constraints: 11702
9.45/9.50 c #Conflicts: 192000 | #Constraints: 12702
9.45/9.50 c #Conflicts: 193000 | #Constraints: 13702
9.45/9.50 c #Conflicts: 194000 | #Constraints: 14703
9.45/9.50 c #Conflicts: 195000 | #Constraints: 15703
9.45/9.50 c #Conflicts: 196000 | #Constraints: 16703
9.45/9.50 c #Conflicts: 197000 | #Constraints: 17703
9.45/9.50 c #Conflicts: 198000 | #Constraints: 18703
9.45/9.50 c INPROCESSING
9.45/9.50 c GARBAGE COLLECT
9.45/9.50 c rational objective 350.5
9.85/9.95 c #Conflicts: 199000 | #Constraints: 10900
9.85/9.95 c #Conflicts: 200000 | #Constraints: 11900
9.85/9.95 c #Conflicts: 201000 | #Constraints: 12900
9.85/9.95 c #Conflicts: 202000 | #Constraints: 13900
9.85/9.95 c #Conflicts: 203000 | #Constraints: 14900
9.85/9.95 c #Conflicts: 204000 | #Constraints: 15900
9.85/9.95 c #Conflicts: 205000 | #Constraints: 16900
9.85/9.95 c #Conflicts: 206000 | #Constraints: 17900
9.85/9.95 c #Conflicts: 207000 | #Constraints: 18900
9.85/9.95 c INPROCESSING
9.85/9.95 c GARBAGE COLLECT
9.85/9.95 c rational objective 350.5
10.35/10.43 c #Conflicts: 208000 | #Constraints: 10898
10.35/10.43 c #Conflicts: 209000 | #Constraints: 11898
10.35/10.43 c #Conflicts: 210000 | #Constraints: 12898
10.35/10.43 c #Conflicts: 211000 | #Constraints: 13898
10.35/10.43 c #Conflicts: 212000 | #Constraints: 14898
10.35/10.43 c #Conflicts: 213000 | #Constraints: 15898
10.35/10.43 c #Conflicts: 214000 | #Constraints: 16898
10.35/10.43 c #Conflicts: 215000 | #Constraints: 17898
10.35/10.43 c #Conflicts: 216000 | #Constraints: 18898
10.35/10.43 c INPROCESSING
10.35/10.43 c GARBAGE COLLECT
10.35/10.43 c rational objective 350.5
10.75/10.87 c #Conflicts: 217000 | #Constraints: 10691
10.75/10.87 c #Conflicts: 218000 | #Constraints: 11691
10.75/10.87 c #Conflicts: 219000 | #Constraints: 12691
10.75/10.87 c #Conflicts: 220000 | #Constraints: 13691
10.75/10.87 c #Conflicts: 221000 | #Constraints: 14691
10.75/10.87 c #Conflicts: 222000 | #Constraints: 15691
10.75/10.87 c #Conflicts: 223000 | #Constraints: 16691
10.75/10.87 c #Conflicts: 224000 | #Constraints: 17691
10.75/10.87 c #Conflicts: 225000 | #Constraints: 18691
10.75/10.87 c #Conflicts: 226000 | #Constraints: 19691
10.75/10.87 c INPROCESSING
10.75/10.87 c GARBAGE COLLECT
10.75/10.87 c rational objective 350.5
11.24/11.31 c #Conflicts: 227000 | #Constraints: 11301
11.24/11.31 c #Conflicts: 228000 | #Constraints: 12301
11.24/11.31 c #Conflicts: 229000 | #Constraints: 13301
11.24/11.31 c #Conflicts: 230000 | #Constraints: 14301
11.24/11.31 c #Conflicts: 231000 | #Constraints: 15301
11.24/11.31 c #Conflicts: 232000 | #Constraints: 16301
11.24/11.31 c #Conflicts: 233000 | #Constraints: 17301
11.24/11.31 c #Conflicts: 234000 | #Constraints: 18301
11.24/11.31 c #Conflicts: 235000 | #Constraints: 19301
11.24/11.31 c #Conflicts: 236000 | #Constraints: 20301
11.24/11.31 c INPROCESSING
11.24/11.31 c GARBAGE COLLECT
11.24/11.31 c rational objective 350.5
11.64/11.73 c #Conflicts: 237000 | #Constraints: 11701
11.64/11.73 c #Conflicts: 238000 | #Constraints: 12701
11.64/11.73 c #Conflicts: 239000 | #Constraints: 13701
11.64/11.73 c #Conflicts: 240000 | #Constraints: 14701
11.64/11.73 c #Conflicts: 241000 | #Constraints: 15701
11.64/11.73 c #Conflicts: 242000 | #Constraints: 16701
11.64/11.73 c #Conflicts: 243000 | #Constraints: 17701
11.64/11.73 c #Conflicts: 244000 | #Constraints: 18701
11.64/11.73 c #Conflicts: 245000 | #Constraints: 19701
11.64/11.73 c #Conflicts: 246000 | #Constraints: 20701
11.64/11.73 c INPROCESSING
11.64/11.73 c GARBAGE COLLECT
11.64/11.73 c rational objective 350.5
12.14/12.22 c #Conflicts: 247000 | #Constraints: 11895
12.14/12.22 c #Conflicts: 248000 | #Constraints: 12895
12.14/12.22 c #Conflicts: 249000 | #Constraints: 13895
12.14/12.22 c #Conflicts: 250000 | #Constraints: 14895
12.14/12.22 c #Conflicts: 251000 | #Constraints: 15895
12.14/12.22 c #Conflicts: 252000 | #Constraints: 16895
12.14/12.22 c #Conflicts: 253000 | #Constraints: 17895
12.14/12.22 c #Conflicts: 254000 | #Constraints: 18895
12.14/12.22 c #Conflicts: 255000 | #Constraints: 19895
12.14/12.22 c #Conflicts: 256000 | #Constraints: 20895
12.14/12.22 c INPROCESSING
12.14/12.22 c GARBAGE COLLECT
12.14/12.22 c rational objective 350.5
12.54/12.67 c #Conflicts: 257000 | #Constraints: 11901
12.54/12.67 c #Conflicts: 258000 | #Constraints: 12901
12.54/12.67 c #Conflicts: 259000 | #Constraints: 13901
12.54/12.67 c #Conflicts: 260000 | #Constraints: 14901
12.54/12.67 c #Conflicts: 261000 | #Constraints: 15901
12.54/12.67 c #Conflicts: 262000 | #Constraints: 16901
12.54/12.67 c #Conflicts: 263000 | #Constraints: 17901
12.54/12.67 c #Conflicts: 264000 | #Constraints: 18901
12.54/12.67 c #Conflicts: 265000 | #Constraints: 19901
12.54/12.67 c #Conflicts: 266000 | #Constraints: 20901
12.54/12.67 c INPROCESSING
12.54/12.67 c GARBAGE COLLECT
12.54/12.67 c rational objective 350.5
13.04/13.14 c #Conflicts: 267000 | #Constraints: 11698
13.04/13.14 c #Conflicts: 268000 | #Constraints: 12698
13.04/13.14 c #Conflicts: 269000 | #Constraints: 13698
13.04/13.14 c #Conflicts: 270000 | #Constraints: 14698
13.04/13.14 c #Conflicts: 271000 | #Constraints: 15698
13.04/13.14 c #Conflicts: 272000 | #Constraints: 16698
13.04/13.14 c #Conflicts: 273000 | #Constraints: 17698
13.04/13.14 c #Conflicts: 274000 | #Constraints: 18698
13.04/13.14 c #Conflicts: 275000 | #Constraints: 19698
13.04/13.14 c #Conflicts: 276000 | #Constraints: 20698
13.04/13.14 c #Conflicts: 277000 | #Constraints: 21698
13.04/13.14 c INPROCESSING
13.04/13.14 c GARBAGE COLLECT
13.04/13.14 c rational objective 350.5
13.54/13.61 c #Conflicts: 278000 | #Constraints: 12299
13.54/13.61 c #Conflicts: 279000 | #Constraints: 13299
13.54/13.61 c #Conflicts: 280000 | #Constraints: 14299
13.54/13.61 c #Conflicts: 281000 | #Constraints: 15299
13.54/13.61 c #Conflicts: 282000 | #Constraints: 16299
13.54/13.61 c #Conflicts: 283000 | #Constraints: 17299
13.54/13.61 c #Conflicts: 284000 | #Constraints: 18299
13.54/13.61 c #Conflicts: 285000 | #Constraints: 19299
13.54/13.61 c #Conflicts: 286000 | #Constraints: 20299
13.54/13.61 c #Conflicts: 287000 | #Constraints: 21299
13.54/13.61 c #Conflicts: 288000 | #Constraints: 22299
13.54/13.61 c INPROCESSING
13.54/13.61 c GARBAGE COLLECT
13.54/13.61 c rational objective 350.5
13.95/14.10 c #Conflicts: 289000 | #Constraints: 12705
13.95/14.10 c #Conflicts: 290000 | #Constraints: 13705
13.95/14.10 c #Conflicts: 291000 | #Constraints: 14705
13.95/14.10 c #Conflicts: 292000 | #Constraints: 15705
13.95/14.10 c #Conflicts: 293000 | #Constraints: 16705
13.95/14.10 c #Conflicts: 294000 | #Constraints: 17705
13.95/14.10 c #Conflicts: 295000 | #Constraints: 18705
13.95/14.10 c #Conflicts: 296000 | #Constraints: 19705
13.95/14.10 c #Conflicts: 297000 | #Constraints: 20705
13.95/14.10 c #Conflicts: 298000 | #Constraints: 21705
13.95/14.10 c #Conflicts: 299000 | #Constraints: 22705
13.95/14.10 c INPROCESSING
13.95/14.10 c GARBAGE COLLECT
13.95/14.10 c rational objective 350.5
14.43/14.56 c #Conflicts: 300000 | #Constraints: 12913
14.43/14.56 c #Conflicts: 301000 | #Constraints: 13913
14.43/14.56 c #Conflicts: 302000 | #Constraints: 14913
14.43/14.56 c #Conflicts: 303000 | #Constraints: 15913
14.43/14.56 c #Conflicts: 304000 | #Constraints: 16913
14.43/14.56 c #Conflicts: 305000 | #Constraints: 17913
14.43/14.56 c #Conflicts: 306000 | #Constraints: 18913
14.43/14.56 c #Conflicts: 307000 | #Constraints: 19913
14.43/14.56 c #Conflicts: 308000 | #Constraints: 20913
14.43/14.56 c #Conflicts: 309000 | #Constraints: 21913
14.43/14.56 c #Conflicts: 310000 | #Constraints: 22913
14.43/14.56 c INPROCESSING
14.43/14.56 c GARBAGE COLLECT
14.43/14.56 c rational objective 350.5
14.94/15.07 c #Conflicts: 311000 | #Constraints: 12915
14.94/15.07 c #Conflicts: 312000 | #Constraints: 13915
14.94/15.07 c #Conflicts: 313000 | #Constraints: 14915
14.94/15.07 c #Conflicts: 314000 | #Constraints: 15915
14.94/15.07 c #Conflicts: 315000 | #Constraints: 16915
14.94/15.07 c #Conflicts: 316000 | #Constraints: 17915
14.94/15.07 c #Conflicts: 317000 | #Constraints: 18915
14.94/15.07 c #Conflicts: 318000 | #Constraints: 19915
14.94/15.07 c #Conflicts: 319000 | #Constraints: 20915
14.94/15.07 c #Conflicts: 320000 | #Constraints: 21915
14.94/15.07 c #Conflicts: 321000 | #Constraints: 22915
14.94/15.07 c INPROCESSING
14.94/15.07 c GARBAGE COLLECT
14.94/15.07 c rational objective 350.5
15.43/15.59 c #Conflicts: 322000 | #Constraints: 12703
15.43/15.59 c #Conflicts: 323000 | #Constraints: 13703
15.43/15.59 c #Conflicts: 324000 | #Constraints: 14703
15.43/15.59 c #Conflicts: 325000 | #Constraints: 15703
15.43/15.59 c #Conflicts: 326000 | #Constraints: 16703
15.43/15.59 c #Conflicts: 327000 | #Constraints: 17703
15.43/15.59 c #Conflicts: 328000 | #Constraints: 18703
15.43/15.59 c #Conflicts: 329000 | #Constraints: 19703
15.43/15.59 c #Conflicts: 330000 | #Constraints: 20703
15.43/15.59 c #Conflicts: 331000 | #Constraints: 21703
15.43/15.59 c #Conflicts: 332000 | #Constraints: 22703
15.43/15.59 c #Conflicts: 333000 | #Constraints: 23703
15.43/15.59 c INPROCESSING
15.43/15.59 c GARBAGE COLLECT
15.43/15.59 c rational objective 350.5
15.94/16.05 c #Conflicts: 334000 | #Constraints: 13299
15.94/16.05 c #Conflicts: 335000 | #Constraints: 14299
15.94/16.05 c #Conflicts: 336000 | #Constraints: 15299
15.94/16.05 c #Conflicts: 337000 | #Constraints: 16299
15.94/16.05 c #Conflicts: 338000 | #Constraints: 17299
15.94/16.05 c #Conflicts: 339000 | #Constraints: 18299
15.94/16.05 c #Conflicts: 340000 | #Constraints: 19299
15.94/16.05 c #Conflicts: 341000 | #Constraints: 20299
15.94/16.05 c #Conflicts: 342000 | #Constraints: 21299
15.94/16.05 c #Conflicts: 343000 | #Constraints: 22299
15.94/16.05 c #Conflicts: 344000 | #Constraints: 23299
15.94/16.05 c #Conflicts: 345000 | #Constraints: 24299
15.94/16.05 c INPROCESSING
15.94/16.05 c GARBAGE COLLECT
15.94/16.05 c rational objective 350.5
16.43/16.55 c #Conflicts: 346000 | #Constraints: 13699
16.43/16.55 c #Conflicts: 347000 | #Constraints: 14699
16.43/16.55 c #Conflicts: 348000 | #Constraints: 15699
16.43/16.55 c #Conflicts: 349000 | #Constraints: 16699
16.43/16.55 c #Conflicts: 350000 | #Constraints: 17699
16.43/16.55 c #Conflicts: 351000 | #Constraints: 18699
16.43/16.55 c #Conflicts: 352000 | #Constraints: 19699
16.43/16.55 c #Conflicts: 353000 | #Constraints: 20699
16.43/16.55 c #Conflicts: 354000 | #Constraints: 21699
16.43/16.55 c #Conflicts: 355000 | #Constraints: 22699
16.43/16.55 c #Conflicts: 356000 | #Constraints: 23699
16.43/16.55 c #Conflicts: 357000 | #Constraints: 24699
16.43/16.55 c INPROCESSING
16.43/16.55 c GARBAGE COLLECT
16.43/16.55 c rational objective 350.5
16.93/17.04 c #Conflicts: 358000 | #Constraints: 13907
16.93/17.04 c #Conflicts: 359000 | #Constraints: 14907
16.93/17.04 c #Conflicts: 360000 | #Constraints: 15907
16.93/17.04 c #Conflicts: 361000 | #Constraints: 16907
16.93/17.04 c #Conflicts: 362000 | #Constraints: 17907
16.93/17.04 c #Conflicts: 363000 | #Constraints: 18907
16.93/17.04 c #Conflicts: 364000 | #Constraints: 19907
16.93/17.04 c #Conflicts: 365000 | #Constraints: 20907
16.93/17.04 c #Conflicts: 366000 | #Constraints: 21907
16.93/17.04 c #Conflicts: 367000 | #Constraints: 22907
16.93/17.04 c #Conflicts: 368000 | #Constraints: 23907
16.93/17.04 c #Conflicts: 369000 | #Constraints: 24907
16.93/17.04 c INPROCESSING
16.93/17.04 c GARBAGE COLLECT
16.93/17.04 c rational objective 350.5
17.53/17.61 c #Conflicts: 370000 | #Constraints: 13922
17.53/17.61 c #Conflicts: 371000 | #Constraints: 14922
17.53/17.61 c #Conflicts: 372000 | #Constraints: 15922
17.53/17.61 c #Conflicts: 373000 | #Constraints: 16922
17.53/17.61 c #Conflicts: 374000 | #Constraints: 17922
17.53/17.61 c #Conflicts: 375000 | #Constraints: 18922
17.53/17.61 c #Conflicts: 376000 | #Constraints: 19922
17.53/17.61 c #Conflicts: 377000 | #Constraints: 20922
17.53/17.61 c #Conflicts: 378000 | #Constraints: 21922
17.53/17.61 c #Conflicts: 379000 | #Constraints: 22922
17.53/17.61 c #Conflicts: 380000 | #Constraints: 23922
17.53/17.61 c #Conflicts: 381000 | #Constraints: 24922
17.53/17.61 c INPROCESSING
17.53/17.61 c GARBAGE COLLECT
17.53/17.61 c rational objective 350.5
18.03/18.12 c #Conflicts: 382000 | #Constraints: 13717
18.03/18.12 c #Conflicts: 383000 | #Constraints: 14717
18.03/18.12 c #Conflicts: 384000 | #Constraints: 15717
18.03/18.12 c #Conflicts: 385000 | #Constraints: 16717
18.03/18.12 c #Conflicts: 386000 | #Constraints: 17717
18.03/18.12 c #Conflicts: 387000 | #Constraints: 18717
18.03/18.12 c #Conflicts: 388000 | #Constraints: 19717
18.03/18.12 c #Conflicts: 389000 | #Constraints: 20717
18.03/18.12 c #Conflicts: 390000 | #Constraints: 21717
18.03/18.12 c #Conflicts: 391000 | #Constraints: 22717
18.03/18.12 c #Conflicts: 392000 | #Constraints: 23717
18.03/18.12 c #Conflicts: 393000 | #Constraints: 24717
18.03/18.12 c #Conflicts: 394000 | #Constraints: 25717
18.03/18.12 c INPROCESSING
18.03/18.12 c GARBAGE COLLECT
18.03/18.12 c rational objective 350.5
18.52/18.62 c #Conflicts: 395000 | #Constraints: 14315
18.52/18.62 c #Conflicts: 396000 | #Constraints: 15315
18.52/18.62 c #Conflicts: 397000 | #Constraints: 16315
18.52/18.62 c #Conflicts: 398000 | #Constraints: 17315
18.52/18.62 c #Conflicts: 399000 | #Constraints: 18315
18.52/18.62 c #Conflicts: 400000 | #Constraints: 19315
18.52/18.62 c #Conflicts: 401000 | #Constraints: 20315
18.52/18.62 c #Conflicts: 402000 | #Constraints: 21315
18.52/18.62 c #Conflicts: 403000 | #Constraints: 22315
18.52/18.62 c #Conflicts: 404000 | #Constraints: 23315
18.52/18.62 c #Conflicts: 405000 | #Constraints: 24315
18.52/18.62 c #Conflicts: 406000 | #Constraints: 25315
18.52/18.62 c #Conflicts: 407000 | #Constraints: 26315
18.52/18.62 c INPROCESSING
18.52/18.62 c GARBAGE COLLECT
18.52/18.62 c rational objective 350.5
19.02/19.16 c #Conflicts: 408000 | #Constraints: 14730
19.02/19.16 c #Conflicts: 409000 | #Constraints: 15730
19.02/19.16 c #Conflicts: 410000 | #Constraints: 16730
19.02/19.16 c #Conflicts: 411000 | #Constraints: 17730
19.02/19.16 c #Conflicts: 412000 | #Constraints: 18730
19.02/19.16 c #Conflicts: 413000 | #Constraints: 19730
19.02/19.16 c #Conflicts: 414000 | #Constraints: 20730
19.02/19.16 c #Conflicts: 415000 | #Constraints: 21730
19.02/19.16 c #Conflicts: 416000 | #Constraints: 22730
19.02/19.16 c #Conflicts: 417000 | #Constraints: 23730
19.02/19.16 c #Conflicts: 418000 | #Constraints: 24730
19.02/19.16 c #Conflicts: 419000 | #Constraints: 25730
19.02/19.16 c #Conflicts: 420000 | #Constraints: 26730
19.02/19.16 c INPROCESSING
19.02/19.16 c GARBAGE COLLECT
19.02/19.16 c rational objective 350.5
19.62/19.76 c #Conflicts: 421000 | #Constraints: 14941
19.62/19.76 c #Conflicts: 422000 | #Constraints: 15941
19.62/19.76 c #Conflicts: 423000 | #Constraints: 16941
19.62/19.76 c #Conflicts: 424000 | #Constraints: 17941
19.62/19.76 c #Conflicts: 425000 | #Constraints: 18941
19.62/19.76 c #Conflicts: 426000 | #Constraints: 19941
19.62/19.76 c #Conflicts: 427000 | #Constraints: 20941
19.62/19.76 c #Conflicts: 428000 | #Constraints: 21941
19.62/19.76 c #Conflicts: 429000 | #Constraints: 22941
19.62/19.76 c #Conflicts: 430000 | #Constraints: 23941
19.62/19.76 c #Conflicts: 431000 | #Constraints: 24941
19.62/19.76 c #Conflicts: 432000 | #Constraints: 25941
19.62/19.76 c #Conflicts: 433000 | #Constraints: 26941
19.62/19.76 c INPROCESSING
19.62/19.76 c GARBAGE COLLECT
19.62/19.76 c rational objective 350.5
20.22/20.35 c #Conflicts: 434000 | #Constraints: 14940
20.22/20.35 c #Conflicts: 435000 | #Constraints: 15940
20.22/20.35 c #Conflicts: 436000 | #Constraints: 16940
20.22/20.35 c #Conflicts: 437000 | #Constraints: 17940
20.22/20.35 c #Conflicts: 438000 | #Constraints: 18940
20.22/20.35 c #Conflicts: 439000 | #Constraints: 19940
20.22/20.35 c #Conflicts: 440000 | #Constraints: 20940
20.22/20.35 c #Conflicts: 441000 | #Constraints: 21940
20.22/20.35 c #Conflicts: 442000 | #Constraints: 22940
20.22/20.35 c #Conflicts: 443000 | #Constraints: 23940
20.22/20.35 c #Conflicts: 444000 | #Constraints: 24940
20.22/20.35 c #Conflicts: 445000 | #Constraints: 25940
20.22/20.35 c #Conflicts: 446000 | #Constraints: 26940
20.22/20.35 c INPROCESSING
20.22/20.35 c GARBAGE COLLECT
20.22/20.35 c rational objective 350.5
20.72/20.88 c #Conflicts: 447000 | #Constraints: 14736
20.72/20.88 c #Conflicts: 448000 | #Constraints: 15736
20.72/20.88 c #Conflicts: 449000 | #Constraints: 16736
20.72/20.88 c #Conflicts: 450000 | #Constraints: 17736
20.72/20.88 c #Conflicts: 451000 | #Constraints: 18736
20.72/20.88 c #Conflicts: 452000 | #Constraints: 19736
20.72/20.88 c #Conflicts: 453000 | #Constraints: 20736
20.72/20.88 c #Conflicts: 454000 | #Constraints: 21736
20.72/20.88 c #Conflicts: 455000 | #Constraints: 22736
20.72/20.88 c #Conflicts: 456000 | #Constraints: 23736
20.72/20.88 c #Conflicts: 457000 | #Constraints: 24736
20.72/20.88 c #Conflicts: 458000 | #Constraints: 25736
20.72/20.88 c #Conflicts: 459000 | #Constraints: 26736
20.72/20.88 c #Conflicts: 460000 | #Constraints: 27736
20.72/20.88 c INPROCESSING
20.72/20.88 c GARBAGE COLLECT
20.72/20.88 c rational objective 350.5
21.52/21.67 c #Conflicts: 461000 | #Constraints: 15343
21.52/21.67 c #Conflicts: 462000 | #Constraints: 16343
21.52/21.67 c #Conflicts: 463000 | #Constraints: 17343
21.52/21.67 c #Conflicts: 464000 | #Constraints: 18343
21.52/21.67 c #Conflicts: 465000 | #Constraints: 19343
21.52/21.67 c #Conflicts: 466000 | #Constraints: 20343
21.52/21.67 c #Conflicts: 467000 | #Constraints: 21343
21.52/21.67 c #Conflicts: 468000 | #Constraints: 22343
21.52/21.67 c #Conflicts: 469000 | #Constraints: 23343
21.52/21.67 c #Conflicts: 470000 | #Constraints: 24343
21.52/21.67 c #Conflicts: 471000 | #Constraints: 25343
21.52/21.67 c #Conflicts: 472000 | #Constraints: 26343
21.52/21.67 c #Conflicts: 473000 | #Constraints: 27343
21.52/21.67 c #Conflicts: 474000 | #Constraints: 28343
21.52/21.67 c INPROCESSING
21.52/21.67 c GARBAGE COLLECT
21.52/21.67 c rational objective 350.5
22.12/22.22 c #Conflicts: 475000 | #Constraints: 15745
22.12/22.22 c #Conflicts: 476000 | #Constraints: 16745
22.12/22.22 c #Conflicts: 477000 | #Constraints: 17745
22.12/22.22 c #Conflicts: 478000 | #Constraints: 18745
22.12/22.22 c #Conflicts: 479000 | #Constraints: 19745
22.12/22.22 c #Conflicts: 480000 | #Constraints: 20745
22.12/22.22 c #Conflicts: 481000 | #Constraints: 21745
22.12/22.22 c #Conflicts: 482000 | #Constraints: 22745
22.12/22.22 c #Conflicts: 483000 | #Constraints: 23745
22.12/22.22 c #Conflicts: 484000 | #Constraints: 24745
22.12/22.22 c #Conflicts: 485000 | #Constraints: 25745
22.12/22.22 c #Conflicts: 486000 | #Constraints: 26745
22.12/22.22 c #Conflicts: 487000 | #Constraints: 27745
22.12/22.22 c #Conflicts: 488000 | #Constraints: 28745
22.12/22.22 c INPROCESSING
22.12/22.22 c GARBAGE COLLECT
22.12/22.22 c rational objective 350.5
22.91/23.02 c #Conflicts: 489000 | #Constraints: 15946
22.91/23.02 c #Conflicts: 490000 | #Constraints: 16946
22.91/23.02 c #Conflicts: 491000 | #Constraints: 17946
22.91/23.02 c #Conflicts: 492000 | #Constraints: 18946
22.91/23.02 c #Conflicts: 493000 | #Constraints: 19946
22.91/23.02 c #Conflicts: 494000 | #Constraints: 20946
22.91/23.02 c #Conflicts: 495000 | #Constraints: 21946
22.91/23.02 c #Conflicts: 496000 | #Constraints: 22946
22.91/23.02 c #Conflicts: 497000 | #Constraints: 23946
22.91/23.02 c #Conflicts: 498000 | #Constraints: 24946
22.91/23.02 c #Conflicts: 499000 | #Constraints: 25946
22.91/23.02 c #Conflicts: 500000 | #Constraints: 26946
22.91/23.02 c #Conflicts: 501000 | #Constraints: 27946
22.91/23.02 c #Conflicts: 502000 | #Constraints: 28946
22.91/23.02 c INPROCESSING
22.91/23.02 c GARBAGE COLLECT
22.91/23.02 c rational objective 350.5
23.51/23.62 c #Conflicts: 503000 | #Constraints: 15939
23.51/23.62 c #Conflicts: 504000 | #Constraints: 16939
23.51/23.62 c #Conflicts: 505000 | #Constraints: 17939
23.51/23.62 c #Conflicts: 506000 | #Constraints: 18939
23.51/23.62 c #Conflicts: 507000 | #Constraints: 19939
23.51/23.62 c #Conflicts: 508000 | #Constraints: 20939
23.51/23.62 c #Conflicts: 509000 | #Constraints: 21939
23.51/23.62 c #Conflicts: 510000 | #Constraints: 22939
23.51/23.62 c #Conflicts: 511000 | #Constraints: 23939
23.51/23.62 c #Conflicts: 512000 | #Constraints: 24939
23.51/23.62 c #Conflicts: 513000 | #Constraints: 25939
23.51/23.62 c #Conflicts: 514000 | #Constraints: 26939
23.51/23.62 c #Conflicts: 515000 | #Constraints: 27939
23.51/23.62 c #Conflicts: 516000 | #Constraints: 28939
23.51/23.62 c INPROCESSING
23.51/23.62 c GARBAGE COLLECT
23.51/23.62 c rational objective 350.5
24.11/24.23 c #Conflicts: 517000 | #Constraints: 15740
24.11/24.23 c #Conflicts: 518000 | #Constraints: 16740
24.11/24.23 c #Conflicts: 519000 | #Constraints: 17740
24.11/24.23 c #Conflicts: 520000 | #Constraints: 18740
24.11/24.23 c #Conflicts: 521000 | #Constraints: 19740
24.11/24.23 c #Conflicts: 522000 | #Constraints: 20740
24.11/24.23 c #Conflicts: 523000 | #Constraints: 21740
24.11/24.23 c #Conflicts: 524000 | #Constraints: 22740
24.11/24.23 c #Conflicts: 525000 | #Constraints: 23740
24.11/24.23 c #Conflicts: 526000 | #Constraints: 24740
24.11/24.23 c #Conflicts: 527000 | #Constraints: 25740
24.11/24.23 c #Conflicts: 528000 | #Constraints: 26740
24.11/24.23 c #Conflicts: 529000 | #Constraints: 27740
24.11/24.23 c #Conflicts: 530000 | #Constraints: 28740
24.11/24.23 c #Conflicts: 531000 | #Constraints: 29740
24.11/24.23 c INPROCESSING
24.11/24.23 c GARBAGE COLLECT
24.11/24.23 c rational objective 350.5
24.71/24.83 c #Conflicts: 532000 | #Constraints: 16339
24.71/24.83 c #Conflicts: 533000 | #Constraints: 17339
24.71/24.83 c #Conflicts: 534000 | #Constraints: 18339
24.71/24.83 c #Conflicts: 535000 | #Constraints: 19339
24.71/24.83 c #Conflicts: 536000 | #Constraints: 20339
24.71/24.83 c #Conflicts: 537000 | #Constraints: 21339
24.71/24.83 c #Conflicts: 538000 | #Constraints: 22339
24.71/24.83 c #Conflicts: 539000 | #Constraints: 23339
24.71/24.83 c #Conflicts: 540000 | #Constraints: 24339
24.71/24.83 c #Conflicts: 541000 | #Constraints: 25339
24.71/24.83 c #Conflicts: 542000 | #Constraints: 26339
24.71/24.83 c #Conflicts: 543000 | #Constraints: 27339
24.71/24.83 c #Conflicts: 544000 | #Constraints: 28339
24.71/24.83 c #Conflicts: 545000 | #Constraints: 29339
24.71/24.83 c #Conflicts: 546000 | #Constraints: 30339
24.71/24.83 c INPROCESSING
24.71/24.83 c GARBAGE COLLECT
24.71/24.83 c rational objective 350.5
25.30/25.48 c #Conflicts: 547000 | #Constraints: 16735
25.30/25.48 c #Conflicts: 548000 | #Constraints: 17735
25.30/25.48 c #Conflicts: 549000 | #Constraints: 18735
25.30/25.48 c #Conflicts: 550000 | #Constraints: 19735
25.30/25.48 c #Conflicts: 551000 | #Constraints: 20735
25.30/25.48 c #Conflicts: 552000 | #Constraints: 21735
25.30/25.48 c #Conflicts: 553000 | #Constraints: 22735
25.30/25.48 c #Conflicts: 554000 | #Constraints: 23735
25.30/25.48 c #Conflicts: 555000 | #Constraints: 24735
25.30/25.48 c #Conflicts: 556000 | #Constraints: 25735
25.30/25.48 c #Conflicts: 557000 | #Constraints: 26735
25.30/25.48 c #Conflicts: 558000 | #Constraints: 27735
25.30/25.48 c #Conflicts: 559000 | #Constraints: 28735
25.30/25.48 c #Conflicts: 560000 | #Constraints: 29735
25.30/25.48 c #Conflicts: 561000 | #Constraints: 30735
25.30/25.48 c INPROCESSING
25.30/25.48 c GARBAGE COLLECT
25.30/25.48 c rational objective 350.5
26.01/26.15 c #Conflicts: 562000 | #Constraints: 16929
26.01/26.15 c #Conflicts: 563000 | #Constraints: 17929
26.01/26.15 c #Conflicts: 564000 | #Constraints: 18929
26.01/26.15 c #Conflicts: 565000 | #Constraints: 19929
26.01/26.15 c #Conflicts: 566000 | #Constraints: 20929
26.01/26.15 c #Conflicts: 567000 | #Constraints: 21929
26.01/26.15 c #Conflicts: 568000 | #Constraints: 22929
26.01/26.15 c #Conflicts: 569000 | #Constraints: 23929
26.01/26.15 c #Conflicts: 570000 | #Constraints: 24929
26.01/26.15 c #Conflicts: 571000 | #Constraints: 25929
26.01/26.15 c #Conflicts: 572000 | #Constraints: 26929
26.01/26.15 c #Conflicts: 573000 | #Constraints: 27929
26.01/26.15 c #Conflicts: 574000 | #Constraints: 28929
26.01/26.15 c #Conflicts: 575000 | #Constraints: 29929
26.01/26.15 c #Conflicts: 576000 | #Constraints: 30929
26.01/26.15 c INPROCESSING
26.01/26.15 c GARBAGE COLLECT
26.01/26.15 c rational objective 350.5
26.60/26.74 c #Conflicts: 577000 | #Constraints: 16947
26.60/26.74 c #Conflicts: 578000 | #Constraints: 17947
26.60/26.74 c #Conflicts: 579000 | #Constraints: 18947
26.60/26.74 c #Conflicts: 580000 | #Constraints: 19947
26.60/26.74 c #Conflicts: 581000 | #Constraints: 20947
26.60/26.74 c #Conflicts: 582000 | #Constraints: 21947
26.60/26.74 c #Conflicts: 583000 | #Constraints: 22947
26.60/26.74 c #Conflicts: 584000 | #Constraints: 23947
26.60/26.74 c #Conflicts: 585000 | #Constraints: 24947
26.60/26.74 c #Conflicts: 586000 | #Constraints: 25947
26.60/26.74 c #Conflicts: 587000 | #Constraints: 26947
26.60/26.74 c #Conflicts: 588000 | #Constraints: 27947
26.60/26.74 c #Conflicts: 589000 | #Constraints: 28947
26.60/26.74 c #Conflicts: 590000 | #Constraints: 29947
26.60/26.74 c #Conflicts: 591000 | #Constraints: 30947
26.60/26.74 c INPROCESSING
26.60/26.74 c GARBAGE COLLECT
26.60/26.74 c rational objective 350.5
27.30/27.44 c #Conflicts: 592000 | #Constraints: 16737
27.30/27.44 c #Conflicts: 593000 | #Constraints: 17737
27.30/27.44 c #Conflicts: 594000 | #Constraints: 18737
27.30/27.44 c #Conflicts: 595000 | #Constraints: 19737
27.30/27.44 c #Conflicts: 596000 | #Constraints: 20737
27.30/27.44 c #Conflicts: 597000 | #Constraints: 21737
27.30/27.44 c #Conflicts: 598000 | #Constraints: 22737
27.30/27.44 c #Conflicts: 599000 | #Constraints: 23737
27.30/27.44 c #Conflicts: 600000 | #Constraints: 24737
27.30/27.44 c #Conflicts: 601000 | #Constraints: 25737
27.30/27.44 c #Conflicts: 602000 | #Constraints: 26737
27.30/27.44 c #Conflicts: 603000 | #Constraints: 27737
27.30/27.44 c #Conflicts: 604000 | #Constraints: 28737
27.30/27.44 c #Conflicts: 605000 | #Constraints: 29737
27.30/27.44 c #Conflicts: 606000 | #Constraints: 30737
27.30/27.44 c #Conflicts: 607000 | #Constraints: 31737
27.30/27.44 c INPROCESSING
27.30/27.44 c GARBAGE COLLECT
27.30/27.44 c rational objective 350.5
27.90/28.06 c #Conflicts: 608000 | #Constraints: 17343
27.90/28.06 c #Conflicts: 609000 | #Constraints: 18343
27.90/28.06 c #Conflicts: 610000 | #Constraints: 19343
27.90/28.06 c #Conflicts: 611000 | #Constraints: 20343
27.90/28.06 c #Conflicts: 612000 | #Constraints: 21343
27.90/28.06 c #Conflicts: 613000 | #Constraints: 22343
27.90/28.06 c #Conflicts: 614000 | #Constraints: 23343
27.90/28.06 c #Conflicts: 615000 | #Constraints: 24343
27.90/28.06 c #Conflicts: 616000 | #Constraints: 25343
27.90/28.06 c #Conflicts: 617000 | #Constraints: 26343
27.90/28.06 c #Conflicts: 618000 | #Constraints: 27343
27.90/28.06 c #Conflicts: 619000 | #Constraints: 28343
27.90/28.06 c #Conflicts: 620000 | #Constraints: 29343
27.90/28.06 c #Conflicts: 621000 | #Constraints: 30343
27.90/28.06 c #Conflicts: 622000 | #Constraints: 31343
27.90/28.06 c #Conflicts: 623000 | #Constraints: 32343
27.90/28.06 c INPROCESSING
27.90/28.06 c GARBAGE COLLECT
27.90/28.06 c rational objective 350.5
28.60/28.74 c #Conflicts: 624000 | #Constraints: 17748
28.60/28.74 c #Conflicts: 625000 | #Constraints: 18748
28.60/28.74 c #Conflicts: 626000 | #Constraints: 19748
28.60/28.74 c #Conflicts: 627000 | #Constraints: 20748
28.60/28.74 c #Conflicts: 628000 | #Constraints: 21748
28.60/28.74 c #Conflicts: 629000 | #Constraints: 22748
28.60/28.74 c #Conflicts: 630000 | #Constraints: 23748
28.60/28.74 c #Conflicts: 631000 | #Constraints: 24748
28.60/28.74 c #Conflicts: 632000 | #Constraints: 25748
28.60/28.74 c #Conflicts: 633000 | #Constraints: 26748
28.60/28.74 c #Conflicts: 634000 | #Constraints: 27748
28.60/28.74 c #Conflicts: 635000 | #Constraints: 28748
28.60/28.74 c #Conflicts: 636000 | #Constraints: 29748
28.60/28.74 c #Conflicts: 637000 | #Constraints: 30748
28.60/28.74 c #Conflicts: 638000 | #Constraints: 31748
28.60/28.74 c #Conflicts: 639000 | #Constraints: 32748
28.60/28.74 c INPROCESSING
28.60/28.74 c GARBAGE COLLECT
28.60/28.74 c rational objective 350.5
29.20/29.39 c #Conflicts: 640000 | #Constraints: 17949
29.20/29.39 c #Conflicts: 641000 | #Constraints: 18949
29.20/29.39 c #Conflicts: 642000 | #Constraints: 19949
29.20/29.39 c #Conflicts: 643000 | #Constraints: 20949
29.20/29.39 c #Conflicts: 644000 | #Constraints: 21949
29.20/29.39 c #Conflicts: 645000 | #Constraints: 22949
29.20/29.39 c #Conflicts: 646000 | #Constraints: 23949
29.20/29.39 c #Conflicts: 647000 | #Constraints: 24949
29.20/29.39 c #Conflicts: 648000 | #Constraints: 25949
29.20/29.39 c #Conflicts: 649000 | #Constraints: 26949
29.20/29.39 c #Conflicts: 650000 | #Constraints: 27949
29.20/29.39 c #Conflicts: 651000 | #Constraints: 28949
29.20/29.39 c #Conflicts: 652000 | #Constraints: 29949
29.20/29.39 c #Conflicts: 653000 | #Constraints: 30949
29.20/29.39 c #Conflicts: 654000 | #Constraints: 31949
29.20/29.39 c #Conflicts: 655000 | #Constraints: 32949
29.20/29.39 c INPROCESSING
29.20/29.39 c GARBAGE COLLECT
29.20/29.39 c rational objective 350.5
29.90/30.06 c #Conflicts: 656000 | #Constraints: 17954
29.90/30.06 c #Conflicts: 657000 | #Constraints: 18954
29.90/30.06 c #Conflicts: 658000 | #Constraints: 19954
29.90/30.06 c #Conflicts: 659000 | #Constraints: 20954
29.90/30.06 c #Conflicts: 660000 | #Constraints: 21954
29.90/30.06 c #Conflicts: 661000 | #Constraints: 22954
29.90/30.06 c #Conflicts: 662000 | #Constraints: 23954
29.90/30.06 c #Conflicts: 663000 | #Constraints: 24954
29.90/30.06 c #Conflicts: 664000 | #Constraints: 25954
29.90/30.06 c #Conflicts: 665000 | #Constraints: 26954
29.90/30.06 c #Conflicts: 666000 | #Constraints: 27954
29.90/30.06 c #Conflicts: 667000 | #Constraints: 28954
29.90/30.06 c #Conflicts: 668000 | #Constraints: 29954
29.90/30.06 c #Conflicts: 669000 | #Constraints: 30954
29.90/30.06 c #Conflicts: 670000 | #Constraints: 31954
29.90/30.06 c #Conflicts: 671000 | #Constraints: 32954
29.90/30.06 c INPROCESSING
29.90/30.06 c GARBAGE COLLECT
29.90/30.06 c rational objective 350.5
30.60/30.71 c #Conflicts: 672000 | #Constraints: 17755
30.60/30.71 c #Conflicts: 673000 | #Constraints: 18755
30.60/30.71 c #Conflicts: 674000 | #Constraints: 19755
30.60/30.71 c #Conflicts: 675000 | #Constraints: 20755
30.60/30.71 c #Conflicts: 676000 | #Constraints: 21755
30.60/30.71 c #Conflicts: 677000 | #Constraints: 22755
30.60/30.71 c #Conflicts: 678000 | #Constraints: 23755
30.60/30.71 c #Conflicts: 679000 | #Constraints: 24755
30.60/30.71 c #Conflicts: 680000 | #Constraints: 25755
30.60/30.71 c #Conflicts: 681000 | #Constraints: 26755
30.60/30.71 c #Conflicts: 682000 | #Constraints: 27755
30.60/30.71 c #Conflicts: 683000 | #Constraints: 28755
30.60/30.71 c #Conflicts: 684000 | #Constraints: 29755
30.60/30.71 c #Conflicts: 685000 | #Constraints: 30755
30.60/30.71 c #Conflicts: 686000 | #Constraints: 31755
30.60/30.71 c #Conflicts: 687000 | #Constraints: 32755
30.60/30.71 c #Conflicts: 688000 | #Constraints: 33755
30.60/30.71 c INPROCESSING
30.60/30.71 c GARBAGE COLLECT
30.60/30.71 c rational objective 350.5
31.30/31.46 c #Conflicts: 689000 | #Constraints: 18352
31.30/31.46 c #Conflicts: 690000 | #Constraints: 19352
31.30/31.46 c #Conflicts: 691000 | #Constraints: 20352
31.30/31.46 c #Conflicts: 692000 | #Constraints: 21352
31.30/31.46 c #Conflicts: 693000 | #Constraints: 22352
31.30/31.46 c #Conflicts: 694000 | #Constraints: 23352
31.30/31.46 c #Conflicts: 695000 | #Constraints: 24352
31.30/31.46 c #Conflicts: 696000 | #Constraints: 25352
31.30/31.46 c #Conflicts: 697000 | #Constraints: 26352
31.30/31.46 c #Conflicts: 698000 | #Constraints: 27352
31.30/31.46 c #Conflicts: 699000 | #Constraints: 28352
31.30/31.46 c #Conflicts: 700000 | #Constraints: 29352
31.30/31.46 c #Conflicts: 701000 | #Constraints: 30352
31.30/31.46 c #Conflicts: 702000 | #Constraints: 31352
31.30/31.46 c #Conflicts: 703000 | #Constraints: 32352
31.30/31.46 c #Conflicts: 704000 | #Constraints: 33352
31.30/31.46 c #Conflicts: 705000 | #Constraints: 34352
31.30/31.46 c INPROCESSING
31.30/31.46 c GARBAGE COLLECT
31.30/31.46 c rational objective 350.5
32.09/32.21 c #Conflicts: 706000 | #Constraints: 18754
32.09/32.21 c #Conflicts: 707000 | #Constraints: 19754
32.09/32.21 c #Conflicts: 708000 | #Constraints: 20754
32.09/32.21 c #Conflicts: 709000 | #Constraints: 21754
32.09/32.21 c #Conflicts: 710000 | #Constraints: 22754
32.09/32.21 c #Conflicts: 711000 | #Constraints: 23754
32.09/32.21 c #Conflicts: 712000 | #Constraints: 24754
32.09/32.21 c #Conflicts: 713000 | #Constraints: 25754
32.09/32.21 c #Conflicts: 714000 | #Constraints: 26754
32.09/32.21 c #Conflicts: 715000 | #Constraints: 27754
32.09/32.21 c #Conflicts: 716000 | #Constraints: 28754
32.09/32.21 c #Conflicts: 717000 | #Constraints: 29754
32.09/32.21 c #Conflicts: 718000 | #Constraints: 30754
32.09/32.21 c #Conflicts: 719000 | #Constraints: 31754
32.09/32.21 c #Conflicts: 720000 | #Constraints: 32754
32.09/32.21 c #Conflicts: 721000 | #Constraints: 33754
32.09/32.21 c #Conflicts: 722000 | #Constraints: 34754
32.09/32.21 c INPROCESSING
32.09/32.21 c GARBAGE COLLECT
32.09/32.21 c rational objective 350.5
32.90/33.01 c #Conflicts: 723000 | #Constraints: 18954
32.90/33.01 c #Conflicts: 724000 | #Constraints: 19954
32.90/33.01 c #Conflicts: 725000 | #Constraints: 20954
32.90/33.01 c #Conflicts: 726000 | #Constraints: 21954
32.90/33.01 c #Conflicts: 727000 | #Constraints: 22954
32.90/33.01 c #Conflicts: 728000 | #Constraints: 23954
32.90/33.01 c #Conflicts: 729000 | #Constraints: 24954
32.90/33.01 c #Conflicts: 730000 | #Constraints: 25954
32.90/33.01 c #Conflicts: 731000 | #Constraints: 26954
32.90/33.01 c #Conflicts: 732000 | #Constraints: 27954
32.90/33.01 c #Conflicts: 733000 | #Constraints: 28954
32.90/33.01 c #Conflicts: 734000 | #Constraints: 29954
32.90/33.01 c #Conflicts: 735000 | #Constraints: 30954
32.90/33.01 c #Conflicts: 736000 | #Constraints: 31954
32.90/33.01 c #Conflicts: 737000 | #Constraints: 32954
32.90/33.01 c #Conflicts: 738000 | #Constraints: 33954
32.90/33.01 c #Conflicts: 739000 | #Constraints: 34954
32.90/33.01 c INPROCESSING
32.90/33.01 c GARBAGE COLLECT
32.90/33.01 c rational objective 350.5
33.59/33.73 c #Conflicts: 740000 | #Constraints: 18947
33.59/33.73 c #Conflicts: 741000 | #Constraints: 19947
33.59/33.73 c #Conflicts: 742000 | #Constraints: 20947
33.59/33.73 c #Conflicts: 743000 | #Constraints: 21947
33.59/33.73 c #Conflicts: 744000 | #Constraints: 22947
33.59/33.73 c #Conflicts: 745000 | #Constraints: 23947
33.59/33.73 c #Conflicts: 746000 | #Constraints: 24947
33.59/33.73 c #Conflicts: 747000 | #Constraints: 25947
33.59/33.73 c #Conflicts: 748000 | #Constraints: 26947
33.59/33.73 c #Conflicts: 749000 | #Constraints: 27947
33.59/33.73 c #Conflicts: 750000 | #Constraints: 28947
33.59/33.73 c #Conflicts: 751000 | #Constraints: 29947
33.59/33.73 c #Conflicts: 752000 | #Constraints: 30947
33.59/33.73 c #Conflicts: 753000 | #Constraints: 31947
33.59/33.73 c #Conflicts: 754000 | #Constraints: 32947
33.59/33.73 c #Conflicts: 755000 | #Constraints: 33947
33.59/33.73 c #Conflicts: 756000 | #Constraints: 34947
33.59/33.73 c INPROCESSING
33.59/33.73 c GARBAGE COLLECT
33.59/33.73 c rational objective 350.5
34.39/34.51 c #Conflicts: 757000 | #Constraints: 18752
34.39/34.51 c #Conflicts: 758000 | #Constraints: 19752
34.39/34.51 c #Conflicts: 759000 | #Constraints: 20752
34.39/34.51 c #Conflicts: 760000 | #Constraints: 21752
34.39/34.51 c #Conflicts: 761000 | #Constraints: 22752
34.39/34.51 c #Conflicts: 762000 | #Constraints: 23752
34.39/34.51 c #Conflicts: 763000 | #Constraints: 24752
34.39/34.51 c #Conflicts: 764000 | #Constraints: 25752
34.39/34.51 c #Conflicts: 765000 | #Constraints: 26752
34.39/34.51 c #Conflicts: 766000 | #Constraints: 27752
34.39/34.51 c #Conflicts: 767000 | #Constraints: 28752
34.39/34.51 c #Conflicts: 768000 | #Constraints: 29752
34.39/34.51 c #Conflicts: 769000 | #Constraints: 30752
34.39/34.51 c #Conflicts: 770000 | #Constraints: 31752
34.39/34.51 c #Conflicts: 771000 | #Constraints: 32752
34.39/34.51 c #Conflicts: 772000 | #Constraints: 33752
34.39/34.51 c #Conflicts: 773000 | #Constraints: 34752
34.39/34.51 c #Conflicts: 774000 | #Constraints: 35752
34.39/34.51 c INPROCESSING
34.39/34.51 c GARBAGE COLLECT
34.39/34.51 c rational objective 350.5
35.09/35.26 c #Conflicts: 775000 | #Constraints: 19349
35.09/35.26 c #Conflicts: 776000 | #Constraints: 20349
35.09/35.26 c #Conflicts: 777000 | #Constraints: 21349
35.09/35.26 c #Conflicts: 778000 | #Constraints: 22349
35.09/35.26 c #Conflicts: 779000 | #Constraints: 23349
35.09/35.26 c #Conflicts: 780000 | #Constraints: 24349
35.09/35.26 c #Conflicts: 781000 | #Constraints: 25349
35.09/35.26 c #Conflicts: 782000 | #Constraints: 26349
35.09/35.26 c #Conflicts: 783000 | #Constraints: 27349
35.09/35.26 c #Conflicts: 784000 | #Constraints: 28349
35.09/35.26 c #Conflicts: 785000 | #Constraints: 29349
35.09/35.26 c #Conflicts: 786000 | #Constraints: 30349
35.09/35.26 c #Conflicts: 787000 | #Constraints: 31349
35.09/35.26 c #Conflicts: 788000 | #Constraints: 32349
35.09/35.26 c #Conflicts: 789000 | #Constraints: 33349
35.09/35.26 c #Conflicts: 790000 | #Constraints: 34349
35.09/35.26 c #Conflicts: 791000 | #Constraints: 35349
35.09/35.26 c #Conflicts: 792000 | #Constraints: 36349
35.09/35.26 c INPROCESSING
35.09/35.26 c GARBAGE COLLECT
35.09/35.26 c rational objective 350.5
35.88/36.08 c #Conflicts: 793000 | #Constraints: 19752
35.88/36.08 c #Conflicts: 794000 | #Constraints: 20752
35.88/36.08 c #Conflicts: 795000 | #Constraints: 21752
35.88/36.08 c #Conflicts: 796000 | #Constraints: 22752
35.88/36.08 c #Conflicts: 797000 | #Constraints: 23752
35.88/36.08 c #Conflicts: 798000 | #Constraints: 24752
35.88/36.08 c #Conflicts: 799000 | #Constraints: 25752
35.88/36.08 c #Conflicts: 800000 | #Constraints: 26752
35.88/36.08 c #Conflicts: 801000 | #Constraints: 27752
35.88/36.08 c #Conflicts: 802000 | #Constraints: 28752
35.88/36.08 c #Conflicts: 803000 | #Constraints: 29752
35.88/36.08 c #Conflicts: 804000 | #Constraints: 30752
35.88/36.08 c #Conflicts: 805000 | #Constraints: 31752
35.88/36.08 c #Conflicts: 806000 | #Constraints: 32752
35.88/36.08 c #Conflicts: 807000 | #Constraints: 33752
35.88/36.08 c #Conflicts: 808000 | #Constraints: 34752
35.88/36.08 c #Conflicts: 809000 | #Constraints: 35752
35.88/36.08 c #Conflicts: 810000 | #Constraints: 36752
35.88/36.08 c INPROCESSING
35.88/36.08 c GARBAGE COLLECT
35.88/36.08 c rational objective 350.5
36.67/36.87 c #Conflicts: 811000 | #Constraints: 19953
36.67/36.87 c #Conflicts: 812000 | #Constraints: 20953
36.67/36.87 c #Conflicts: 813000 | #Constraints: 21953
36.67/36.87 c #Conflicts: 814000 | #Constraints: 22953
36.67/36.87 c #Conflicts: 815000 | #Constraints: 23953
36.67/36.87 c #Conflicts: 816000 | #Constraints: 24953
36.67/36.87 c #Conflicts: 817000 | #Constraints: 25953
36.67/36.87 c #Conflicts: 818000 | #Constraints: 26953
36.67/36.87 c #Conflicts: 819000 | #Constraints: 27953
36.67/36.87 c #Conflicts: 820000 | #Constraints: 28953
36.67/36.87 c #Conflicts: 821000 | #Constraints: 29953
36.67/36.87 c #Conflicts: 822000 | #Constraints: 30953
36.67/36.87 c #Conflicts: 823000 | #Constraints: 31953
36.67/36.87 c #Conflicts: 824000 | #Constraints: 32953
36.67/36.87 c #Conflicts: 825000 | #Constraints: 33953
36.67/36.87 c #Conflicts: 826000 | #Constraints: 34953
36.67/36.87 c #Conflicts: 827000 | #Constraints: 35953
36.67/36.87 c #Conflicts: 828000 | #Constraints: 36953
36.67/36.87 c INPROCESSING
36.67/36.87 c GARBAGE COLLECT
36.67/36.87 c rational objective 350.5
37.58/37.71 c #Conflicts: 829000 | #Constraints: 19955
37.58/37.71 c #Conflicts: 830000 | #Constraints: 20955
37.58/37.71 c #Conflicts: 831000 | #Constraints: 21955
37.58/37.71 c #Conflicts: 832000 | #Constraints: 22955
37.58/37.71 c #Conflicts: 833000 | #Constraints: 23955
37.58/37.71 c #Conflicts: 834000 | #Constraints: 24955
37.58/37.71 c #Conflicts: 835000 | #Constraints: 25955
37.58/37.71 c #Conflicts: 836000 | #Constraints: 26955
37.58/37.71 c #Conflicts: 837000 | #Constraints: 27955
37.58/37.71 c #Conflicts: 838000 | #Constraints: 28955
37.58/37.71 c #Conflicts: 839000 | #Constraints: 29955
37.58/37.71 c #Conflicts: 840000 | #Constraints: 30955
37.58/37.71 c #Conflicts: 841000 | #Constraints: 31955
37.58/37.71 c #Conflicts: 842000 | #Constraints: 32955
37.58/37.71 c #Conflicts: 843000 | #Constraints: 33955
37.58/37.71 c #Conflicts: 844000 | #Constraints: 34955
37.58/37.71 c #Conflicts: 845000 | #Constraints: 35955
37.58/37.71 c #Conflicts: 846000 | #Constraints: 36955
37.58/37.71 c INPROCESSING
37.58/37.71 c GARBAGE COLLECT
37.58/37.71 c rational objective 350.5
38.27/38.49 c #Conflicts: 847000 | #Constraints: 19755
38.27/38.49 c #Conflicts: 848000 | #Constraints: 20755
38.27/38.49 c #Conflicts: 849000 | #Constraints: 21755
38.27/38.49 c #Conflicts: 850000 | #Constraints: 22755
38.27/38.49 c #Conflicts: 851000 | #Constraints: 23755
38.27/38.49 c #Conflicts: 852000 | #Constraints: 24755
38.27/38.49 c #Conflicts: 853000 | #Constraints: 25755
38.27/38.49 c #Conflicts: 854000 | #Constraints: 26755
38.27/38.49 c #Conflicts: 855000 | #Constraints: 27755
38.27/38.49 c #Conflicts: 856000 | #Constraints: 28755
38.27/38.49 c #Conflicts: 857000 | #Constraints: 29755
38.27/38.49 c #Conflicts: 858000 | #Constraints: 30755
38.27/38.49 c #Conflicts: 859000 | #Constraints: 31755
38.27/38.49 c #Conflicts: 860000 | #Constraints: 32755
38.27/38.49 c #Conflicts: 861000 | #Constraints: 33755
38.27/38.49 c #Conflicts: 862000 | #Constraints: 34755
38.27/38.49 c #Conflicts: 863000 | #Constraints: 35755
38.27/38.49 c #Conflicts: 864000 | #Constraints: 36755
38.27/38.49 c #Conflicts: 865000 | #Constraints: 37755
38.27/38.49 c INPROCESSING
38.27/38.49 c GARBAGE COLLECT
38.27/38.49 c rational objective 350.5
39.18/39.37 c #Conflicts: 866000 | #Constraints: 20358
39.18/39.37 c #Conflicts: 867000 | #Constraints: 21358
39.18/39.37 c #Conflicts: 868000 | #Constraints: 22358
39.18/39.37 c #Conflicts: 869000 | #Constraints: 23358
39.18/39.37 c #Conflicts: 870000 | #Constraints: 24358
39.18/39.37 c #Conflicts: 871000 | #Constraints: 25358
39.18/39.37 c #Conflicts: 872000 | #Constraints: 26358
39.18/39.37 c #Conflicts: 873000 | #Constraints: 27358
39.18/39.37 c #Conflicts: 874000 | #Constraints: 28358
39.18/39.37 c #Conflicts: 875000 | #Constraints: 29358
39.18/39.37 c #Conflicts: 876000 | #Constraints: 30358
39.18/39.37 c #Conflicts: 877000 | #Constraints: 31358
39.18/39.37 c #Conflicts: 878000 | #Constraints: 32358
39.18/39.37 c #Conflicts: 879000 | #Constraints: 33358
39.18/39.37 c #Conflicts: 880000 | #Constraints: 34358
39.18/39.37 c #Conflicts: 881000 | #Constraints: 35358
39.18/39.37 c #Conflicts: 882000 | #Constraints: 36358
39.18/39.37 c #Conflicts: 883000 | #Constraints: 37358
39.18/39.37 c #Conflicts: 884000 | #Constraints: 38358
39.18/39.37 c INPROCESSING
39.18/39.37 c GARBAGE COLLECT
39.18/39.37 c rational objective 350.5
40.08/40.28 c #Conflicts: 885000 | #Constraints: 20756
40.08/40.28 c #Conflicts: 886000 | #Constraints: 21756
40.08/40.28 c #Conflicts: 887000 | #Constraints: 22756
40.08/40.28 c #Conflicts: 888000 | #Constraints: 23756
40.08/40.28 c #Conflicts: 889000 | #Constraints: 24756
40.08/40.28 c #Conflicts: 890000 | #Constraints: 25756
40.08/40.28 c #Conflicts: 891000 | #Constraints: 26756
40.08/40.28 c #Conflicts: 892000 | #Constraints: 27756
40.08/40.28 c #Conflicts: 893000 | #Constraints: 28756
40.08/40.28 c #Conflicts: 894000 | #Constraints: 29756
40.08/40.28 c #Conflicts: 895000 | #Constraints: 30756
40.08/40.28 c #Conflicts: 896000 | #Constraints: 31756
40.08/40.28 c #Conflicts: 897000 | #Constraints: 32756
40.08/40.28 c #Conflicts: 898000 | #Constraints: 33756
40.08/40.28 c #Conflicts: 899000 | #Constraints: 34756
40.08/40.28 c #Conflicts: 900000 | #Constraints: 35756
40.08/40.28 c #Conflicts: 901000 | #Constraints: 36756
40.08/40.28 c #Conflicts: 902000 | #Constraints: 37756
40.08/40.28 c #Conflicts: 903000 | #Constraints: 38756
40.08/40.28 c INPROCESSING
40.08/40.28 c GARBAGE COLLECT
40.08/40.28 c rational objective 350.5
40.97/41.17 c #Conflicts: 904000 | #Constraints: 20956
40.97/41.17 c #Conflicts: 905000 | #Constraints: 21956
40.97/41.17 c #Conflicts: 906000 | #Constraints: 22956
40.97/41.17 c #Conflicts: 907000 | #Constraints: 23956
40.97/41.17 c #Conflicts: 908000 | #Constraints: 24956
40.97/41.17 c #Conflicts: 909000 | #Constraints: 25956
40.97/41.17 c #Conflicts: 910000 | #Constraints: 26956
40.97/41.17 c #Conflicts: 911000 | #Constraints: 27956
40.97/41.17 c #Conflicts: 912000 | #Constraints: 28956
40.97/41.17 c #Conflicts: 913000 | #Constraints: 29956
40.97/41.17 c #Conflicts: 914000 | #Constraints: 30956
40.97/41.17 c #Conflicts: 915000 | #Constraints: 31956
40.97/41.17 c #Conflicts: 916000 | #Constraints: 32956
40.97/41.17 c #Conflicts: 917000 | #Constraints: 33956
40.97/41.17 c #Conflicts: 918000 | #Constraints: 34956
40.97/41.17 c #Conflicts: 919000 | #Constraints: 35956
40.97/41.17 c #Conflicts: 920000 | #Constraints: 36956
40.97/41.17 c #Conflicts: 921000 | #Constraints: 37956
40.97/41.17 c #Conflicts: 922000 | #Constraints: 38956
40.97/41.17 c INPROCESSING
40.97/41.17 c GARBAGE COLLECT
40.97/41.17 c rational objective 350.5
41.88/42.09 c #Conflicts: 923000 | #Constraints: 20957
41.88/42.09 c #Conflicts: 924000 | #Constraints: 21957
41.88/42.09 c #Conflicts: 925000 | #Constraints: 22957
41.88/42.09 c #Conflicts: 926000 | #Constraints: 23957
41.88/42.09 c #Conflicts: 927000 | #Constraints: 24957
41.88/42.09 c #Conflicts: 928000 | #Constraints: 25957
41.88/42.09 c #Conflicts: 929000 | #Constraints: 26957
41.88/42.09 c #Conflicts: 930000 | #Constraints: 27957
41.88/42.09 c #Conflicts: 931000 | #Constraints: 28957
41.88/42.09 c #Conflicts: 932000 | #Constraints: 29957
41.88/42.09 c #Conflicts: 933000 | #Constraints: 30957
41.88/42.09 c #Conflicts: 934000 | #Constraints: 31957
41.88/42.09 c #Conflicts: 935000 | #Constraints: 32957
41.88/42.09 c #Conflicts: 936000 | #Constraints: 33957
41.88/42.09 c #Conflicts: 937000 | #Constraints: 34957
41.88/42.09 c #Conflicts: 938000 | #Constraints: 35957
41.88/42.09 c #Conflicts: 939000 | #Constraints: 36957
41.88/42.09 c #Conflicts: 940000 | #Constraints: 37957
41.88/42.09 c #Conflicts: 941000 | #Constraints: 38957
41.88/42.09 c INPROCESSING
41.88/42.09 c GARBAGE COLLECT
41.88/42.09 c rational objective 350.5
42.87/43.10 c #Conflicts: 942000 | #Constraints: 20759
42.87/43.10 c #Conflicts: 943000 | #Constraints: 21759
42.87/43.10 c #Conflicts: 944000 | #Constraints: 22759
42.87/43.10 c #Conflicts: 945000 | #Constraints: 23759
42.87/43.10 c #Conflicts: 946000 | #Constraints: 24759
42.87/43.10 c #Conflicts: 947000 | #Constraints: 25759
42.87/43.10 c #Conflicts: 948000 | #Constraints: 26759
42.87/43.10 c #Conflicts: 949000 | #Constraints: 27759
42.87/43.10 c #Conflicts: 950000 | #Constraints: 28759
42.87/43.10 c #Conflicts: 951000 | #Constraints: 29759
42.87/43.10 c #Conflicts: 952000 | #Constraints: 30759
42.87/43.10 c #Conflicts: 953000 | #Constraints: 31759
42.87/43.10 c #Conflicts: 954000 | #Constraints: 32759
42.87/43.10 c #Conflicts: 955000 | #Constraints: 33759
42.87/43.10 c #Conflicts: 956000 | #Constraints: 34759
42.87/43.10 c #Conflicts: 957000 | #Constraints: 35759
42.87/43.10 c #Conflicts: 958000 | #Constraints: 36759
42.87/43.10 c #Conflicts: 959000 | #Constraints: 37759
42.87/43.10 c #Conflicts: 960000 | #Constraints: 38759
42.87/43.10 c #Conflicts: 961000 | #Constraints: 39759
42.87/43.10 c INPROCESSING
42.87/43.10 c GARBAGE COLLECT
42.87/43.10 c rational objective 350.5
43.86/44.06 c #Conflicts: 962000 | #Constraints: 21366
43.86/44.06 c #Conflicts: 963000 | #Constraints: 22366
43.86/44.06 c #Conflicts: 964000 | #Constraints: 23366
43.86/44.06 c #Conflicts: 965000 | #Constraints: 24366
43.86/44.06 c #Conflicts: 966000 | #Constraints: 25366
43.86/44.06 c #Conflicts: 967000 | #Constraints: 26366
43.86/44.06 c #Conflicts: 968000 | #Constraints: 27366
43.86/44.06 c #Conflicts: 969000 | #Constraints: 28366
43.86/44.06 c #Conflicts: 970000 | #Constraints: 29366
43.86/44.06 c #Conflicts: 971000 | #Constraints: 30366
43.86/44.06 c #Conflicts: 972000 | #Constraints: 31366
43.86/44.06 c #Conflicts: 973000 | #Constraints: 32366
43.86/44.06 c #Conflicts: 974000 | #Constraints: 33366
43.86/44.06 c #Conflicts: 975000 | #Constraints: 34366
43.86/44.06 c #Conflicts: 976000 | #Constraints: 35366
43.86/44.06 c #Conflicts: 977000 | #Constraints: 36366
43.86/44.06 c #Conflicts: 978000 | #Constraints: 37366
43.86/44.06 c #Conflicts: 979000 | #Constraints: 38366
43.86/44.06 c #Conflicts: 980000 | #Constraints: 39366
43.86/44.06 c #Conflicts: 981000 | #Constraints: 40366
43.86/44.06 c INPROCESSING
43.86/44.06 c GARBAGE COLLECT
43.86/44.06 c rational objective 350.5
44.86/45.06 c #Conflicts: 982000 | #Constraints: 21764
44.86/45.06 c #Conflicts: 983000 | #Constraints: 22764
44.86/45.06 c #Conflicts: 984000 | #Constraints: 23764
44.86/45.06 c #Conflicts: 985000 | #Constraints: 24764
44.86/45.06 c #Conflicts: 986000 | #Constraints: 25764
44.86/45.06 c #Conflicts: 987000 | #Constraints: 26764
44.86/45.06 c #Conflicts: 988000 | #Constraints: 27764
44.86/45.06 c #Conflicts: 989000 | #Constraints: 28764
44.86/45.06 c #Conflicts: 990000 | #Constraints: 29764
44.86/45.06 c #Conflicts: 991000 | #Constraints: 30764
44.86/45.06 c #Conflicts: 992000 | #Constraints: 31764
44.86/45.06 c #Conflicts: 993000 | #Constraints: 32764
44.86/45.06 c #Conflicts: 994000 | #Constraints: 33764
44.86/45.06 c #Conflicts: 995000 | #Constraints: 34764
44.86/45.06 c #Conflicts: 996000 | #Constraints: 35764
44.86/45.06 c #Conflicts: 997000 | #Constraints: 36764
44.86/45.06 c #Conflicts: 998000 | #Constraints: 37764
44.86/45.06 c #Conflicts: 999000 | #Constraints: 38764
44.86/45.06 c #Conflicts: 1000000 | #Constraints: 39764
44.86/45.06 c #Conflicts: 1001000 | #Constraints: 40764
44.86/45.06 c INPROCESSING
44.86/45.06 c GARBAGE COLLECT
44.86/45.06 c rational objective 350.5
45.97/46.15 c #Conflicts: 1002000 | #Constraints: 21964
45.97/46.15 c #Conflicts: 1003000 | #Constraints: 22964
45.97/46.15 c #Conflicts: 1004000 | #Constraints: 23964
45.97/46.15 c #Conflicts: 1005000 | #Constraints: 24964
45.97/46.15 c #Conflicts: 1006000 | #Constraints: 25964
45.97/46.15 c #Conflicts: 1007000 | #Constraints: 26964
45.97/46.15 c #Conflicts: 1008000 | #Constraints: 27964
45.97/46.15 c #Conflicts: 1009000 | #Constraints: 28964
45.97/46.15 c #Conflicts: 1010000 | #Constraints: 29964
45.97/46.15 c #Conflicts: 1011000 | #Constraints: 30964
45.97/46.15 c #Conflicts: 1012000 | #Constraints: 31964
45.97/46.15 c #Conflicts: 1013000 | #Constraints: 32964
45.97/46.15 c #Conflicts: 1014000 | #Constraints: 33964
45.97/46.15 c #Conflicts: 1015000 | #Constraints: 34964
45.97/46.15 c #Conflicts: 1016000 | #Constraints: 35964
45.97/46.15 c #Conflicts: 1017000 | #Constraints: 36964
45.97/46.15 c #Conflicts: 1018000 | #Constraints: 37964
45.97/46.15 c #Conflicts: 1019000 | #Constraints: 38964
45.97/46.15 c #Conflicts: 1020000 | #Constraints: 39964
45.97/46.15 c #Conflicts: 1021000 | #Constraints: 40964
45.97/46.15 c INPROCESSING
45.97/46.15 c GARBAGE COLLECT
45.97/46.15 c rational objective 350.5
46.96/47.16 c #Conflicts: 1022000 | #Constraints: 21963
46.96/47.16 c #Conflicts: 1023000 | #Constraints: 22963
46.96/47.16 c #Conflicts: 1024000 | #Constraints: 23963
46.96/47.16 c #Conflicts: 1025000 | #Constraints: 24963
46.96/47.16 c #Conflicts: 1026000 | #Constraints: 25963
46.96/47.16 c #Conflicts: 1027000 | #Constraints: 26963
46.96/47.16 c #Conflicts: 1028000 | #Constraints: 27963
46.96/47.16 c #Conflicts: 1029000 | #Constraints: 28963
46.96/47.16 c #Conflicts: 1030000 | #Constraints: 29963
46.96/47.16 c #Conflicts: 1031000 | #Constraints: 30963
46.96/47.16 c #Conflicts: 1032000 | #Constraints: 31963
46.96/47.16 c #Conflicts: 1033000 | #Constraints: 32963
46.96/47.16 c #Conflicts: 1034000 | #Constraints: 33963
46.96/47.16 c #Conflicts: 1035000 | #Constraints: 34963
46.96/47.16 c #Conflicts: 1036000 | #Constraints: 35963
46.96/47.16 c #Conflicts: 1037000 | #Constraints: 36963
46.96/47.16 c #Conflicts: 1038000 | #Constraints: 37963
46.96/47.16 c #Conflicts: 1039000 | #Constraints: 38963
46.96/47.16 c #Conflicts: 1040000 | #Constraints: 39963
46.96/47.16 c #Conflicts: 1041000 | #Constraints: 40963
46.96/47.16 c INPROCESSING
46.96/47.16 c GARBAGE COLLECT
46.96/47.16 c rational objective 350.5
47.96/48.15 c #Conflicts: 1042000 | #Constraints: 21761
47.96/48.15 c #Conflicts: 1043000 | #Constraints: 22761
47.96/48.15 c #Conflicts: 1044000 | #Constraints: 23761
47.96/48.15 c #Conflicts: 1045000 | #Constraints: 24761
47.96/48.15 c #Conflicts: 1046000 | #Constraints: 25761
47.96/48.15 c #Conflicts: 1047000 | #Constraints: 26761
47.96/48.15 c #Conflicts: 1048000 | #Constraints: 27761
47.96/48.15 c #Conflicts: 1049000 | #Constraints: 28761
47.96/48.15 c #Conflicts: 1050000 | #Constraints: 29761
47.96/48.15 c #Conflicts: 1051000 | #Constraints: 30761
47.96/48.15 c #Conflicts: 1052000 | #Constraints: 31761
47.96/48.15 c #Conflicts: 1053000 | #Constraints: 32761
47.96/48.15 c #Conflicts: 1054000 | #Constraints: 33761
47.96/48.15 c #Conflicts: 1055000 | #Constraints: 34761
47.96/48.15 c #Conflicts: 1056000 | #Constraints: 35761
47.96/48.15 c #Conflicts: 1057000 | #Constraints: 36761
47.96/48.15 c #Conflicts: 1058000 | #Constraints: 37761
47.96/48.15 c #Conflicts: 1059000 | #Constraints: 38761
47.96/48.15 c #Conflicts: 1060000 | #Constraints: 39761
47.96/48.15 c #Conflicts: 1061000 | #Constraints: 40761
47.96/48.15 c #Conflicts: 1062000 | #Constraints: 41761
47.96/48.15 c INPROCESSING
47.96/48.15 c GARBAGE COLLECT
47.96/48.15 c rational objective 350.5
48.85/49.02 c #Conflicts: 1063000 | #Constraints: 22367
48.85/49.02 c #Conflicts: 1064000 | #Constraints: 23367
48.85/49.02 c #Conflicts: 1065000 | #Constraints: 24367
48.85/49.02 c #Conflicts: 1066000 | #Constraints: 25367
48.85/49.02 c #Conflicts: 1067000 | #Constraints: 26367
48.85/49.02 c #Conflicts: 1068000 | #Constraints: 27367
48.85/49.02 c #Conflicts: 1069000 | #Constraints: 28367
48.85/49.02 c #Conflicts: 1070000 | #Constraints: 29367
48.85/49.02 c #Conflicts: 1071000 | #Constraints: 30367
48.85/49.02 c #Conflicts: 1072000 | #Constraints: 31367
48.85/49.02 c #Conflicts: 1073000 | #Constraints: 32367
48.85/49.02 c #Conflicts: 1074000 | #Constraints: 33367
48.85/49.02 c #Conflicts: 1075000 | #Constraints: 34367
48.85/49.02 c #Conflicts: 1076000 | #Constraints: 35367
48.85/49.02 c #Conflicts: 1077000 | #Constraints: 36367
48.85/49.02 c #Conflicts: 1078000 | #Constraints: 37367
48.85/49.02 c #Conflicts: 1079000 | #Constraints: 38367
48.85/49.02 c cpu time 45.0504 s
48.85/49.02 c deterministic time 1571115856 1.57e+09
48.85/49.02 c optimization time 8.4e-05 s
48.85/49.02 c total solve time 45.0462 s
48.85/49.02 c core-guided solve time 0 s
48.85/49.02 c propagation time 30.0389 s
48.85/49.02 c conflict analysis time 7.46886 s
48.85/49.02 c propagations 6330234
48.85/49.02 c resolve steps 3197427
48.85/49.02 c decisions 2293006
48.85/49.02 c conflicts 1079355
48.85/49.02 c restarts 2046
48.85/49.02 c inprocessing phases 94
48.85/49.02 c garbage collections 94 ,( 100.00 )
48.85/49.02 c input clauses 2 ,( 0.20 )
48.85/49.02 c input cardinalities 978 ,( 99.80 )
48.85/49.02 c input general constraints 0 ,( 0.00 )
48.85/49.02 c input average constraint length 4.00
48.85/49.02 c input average constraint degree 2.00
48.85/49.02 c learned clauses 1035545 ,( 95.89 )
48.85/49.02 c learned cardinalities 3563 ,( 0.33 )
48.85/49.02 c learned general constraints 40799 ,( 3.78 )
48.85/49.02 c learned average constraint length 16.01
48.85/49.02 c learned average constraint degree 1487063.64
48.85/49.02 c watched CF 32, 64, 128, Arb: 18354 , 0 , 0 , 0
48.85/49.02 c counting CF 32, 64, 128, Arb: 22445 , 0 , 0 , 0
48.85/49.02 c watched constraints 18354 ,( 44.99 )
48.85/49.02 c counting constraints 22445 ,( 55.01 )
48.85/49.02 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 309828894 , 10413576 , 14129389 ,( 10438954 , 3690435 )
48.85/49.02 c gcd simplifications 5684
48.85/49.02 c detected cardinalities 822
48.85/49.02 c weakened non-implied lits 233849
48.85/49.02 c weakened non-implying lits 1867
48.85/49.02 c original variables 701
48.85/49.02 c clausal propagations 2260430
48.85/49.02 c cardinality propagations 1744223
48.85/49.02 c watched propagations 87567
48.85/49.02 c counting propagations 1124156
48.85/49.02 c watch lookups 811282497
48.85/49.02 c watch backjump lookups 0
48.85/49.02 c watch checks 638903215
48.85/49.02 c propagation checks 47091747
48.85/49.02 c constraint additions 55404019
48.85/49.02 c trail pops 9702562
48.85/49.02 c formula constraints 980
48.85/49.02 c learned constraints 1079339
48.85/49.02 c bound constraints 0
48.85/49.02 c core-guided constraints 0
48.85/49.02 c encountered formula constraints 62442
48.85/49.02 c encountered learned constraints 4213744
48.85/49.02 c encountered bound constraints 0
48.85/49.02 c encountered core-guided constraints 0
48.85/49.02 c LP total time 7.71081 s
48.85/49.02 c LP solve time 4.23 s
48.85/49.02 c LP constraints added 1594
48.85/49.02 c LP constraints removed 605
48.85/49.02 c LP pivots internal 107946
48.85/49.02 c LP pivots root 629
48.85/49.02 c LP calls 10474
48.85/49.02 c LP optimalities 10459
48.85/49.02 c LP no pivot count 807
48.85/49.02 c LP infeasibilities 15
48.85/49.02 c LP valid Farkas constraints 15
48.85/49.02 c LP learned Farkas constraints 15
48.85/49.02 c LP basis resets 0
48.85/49.02 c LP cycling count 0
48.85/49.02 c LP singular count 0
48.85/49.02 c LP no primal count 0
48.85/49.02 c LP no farkas count 0
48.85/49.02 c LP other issue count 0
48.85/49.02 c LP Gomory cuts 538
48.85/49.02 c LP learned cuts 76
48.85/49.02 c LP deleted cuts 605
48.85/49.02 c LP encountered Gomory constraints 0
48.85/49.02 c LP encountered Farkas constraints 572
48.85/49.02 c LP encountered learned Farkas constraints 9
48.85/49.02 c CG auxiliary variables introduced 0
48.85/49.02 c CG solutions found 0
48.85/49.02 c CG cores constructed 0
48.85/49.02 c CG core cardinality constraints returned 0
48.85/49.02 c CG unit cores 0
48.85/49.02 c CG single cores 0
48.85/49.02 c CG blocks removed during cardinality reduction 0
48.85/49.02 c CG first core best 0
48.85/49.02 c CG decision core best 0
48.85/49.02 c CG core reduction tie 0
48.85/49.02 c CG core degree average 0.00
48.85/49.02 c CG core slack average 0.00
48.85/49.02 c CG core upper bound improvements 0
48.85/49.02 c STR number of successful calls 0
48.85/49.02 c STR number of unsuccessful calls 0
48.85/49.02 c STR number of inconclusive calls 0
48.85/49.02 c STR number of successful attempts 0
48.85/49.02 c STR number of unsuccessful attempts 0
48.85/49.02 c STR number of inconclusive attempts 0
48.85/49.02 c STR average degree increase per successful call inf
48.85/49.02 c STR average degree increase per successful attempt inf
48.85/49.02 c STR total number of conflicts for successful attempts 0
48.85/49.02 c STR total number of conflicts for unsuccessful attempts 0
48.85/49.05 c STR total number of conflicts for inconclusive attempts 0
48.85/49.05 c STR average number of conflicts per successful attempt inf
48.85/49.05 c STR average number of conflicts per unsuccessful attempt inf
48.85/49.05 c STR average number of conflicts per inconclusive attempt inf
48.85/49.05 c AVG.sumWPerc 41.27
48.85/49.05 c bigint constraints 0
48.85/49.05 s UNSATISFIABLE
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (61784 MiB free)
memory of node 1: 64465 MiB (61959 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4510619-1751195772/watcher-4510619-1751195772 -o /tmp/evaluation-result-4510619-1751195772/solver-4510619-1751195772 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751195206-22312 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4510619-1751195772.opb PROOFDIR/proof-4510619-1751195772
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=22731, runsolver pid=22728
[startup+0.100062 s]*
/proc/loadavg: 4.11 3.76 3.51 5/270 22733
/proc/meminfo: memFree=126704032/131249996 swapFree=33010684/33010684
[pid=22731] ppid=22728 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/22731/stat : 22731 (run-dec-ls-log.) S 22728 22731 22301 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 35255027 4292608 768 18446744073709551615 94670354698240 94670355592773 140721331582032 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94670355831824 94670355879568 94670366408704 140721331587355 140721331587553 140721331587553 140721331593155 0
/proc/22731/statm: 1048 768 704 219 0 110 0
[pid=22733] ppid=22731 vsize=58600 memory=13368 CPUtime=0.08 cores=4,6
/proc/22733/stat : 22733 (roundingsat) R 22731 22731 22301 0 -1 4194304 1340 0 0 0 7 1 0 0 20 0 1 0 35255027 60006400 3342 18446744073709551615 4227072 8923433 140734373909488 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 15663104 140734373914960 140734373915176 140734373915176 140734373920746 0
/proc/22733/statm: 14650 3342 2336 1147 0 2077 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 62792 KiB
Current children cumulated memory: 16440 KiB
[startup+0.205931 s]*
/proc/loadavg: 4.11 3.76 3.51 5/270 22733
/proc/meminfo: memFree=126704032/131249996 swapFree=33010684/33010684
[pid=22731] ppid=22728 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/22731/stat : 22731 (run-dec-ls-log.) S 22728 22731 22301 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 35255027 4292608 768 18446744073709551615 94670354698240 94670355592773 140721331582032 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94670355831824 94670355879568 94670366408704 140721331587355 140721331587553 140721331587553 140721331593155 0
/proc/22731/statm: 1048 768 704 219 0 110 0
[pid=22733] ppid=22731 vsize=59004 memory=14008 CPUtime=0.18 cores=4,6
/proc/22733/stat : 22733 (roundingsat) R 22731 22731 22301 0 -1 4194304 1502 0 0 0 16 2 0 0 20 0 1 0 35255027 60420096 3502 18446744073709551615 4227072 8923433 140734373909488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15663104 140734373914960 140734373915176 140734373915176 140734373920746 0
/proc/22733/statm: 14751 3502 2336 1147 0 2178 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 63196 KiB
Current children cumulated memory: 17080 KiB
[startup+0.305893 s]*
/proc/loadavg: 4.10 3.77 3.51 5/270 22733
/proc/meminfo: memFree=126704032/131249996 swapFree=33010684/33010684
[pid=22731] ppid=22728 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/22731/stat : 22731 (run-dec-ls-log.) S 22728 22731 22301 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 35255027 4292608 768 18446744073709551615 94670354698240 94670355592773 140721331582032 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94670355831824 94670355879568 94670366408704 140721331587355 140721331587553 140721331587553 140721331593155 0
/proc/22731/statm: 1048 768 704 219 0 110 0
[pid=22733] ppid=22731 vsize=59272 memory=14392 CPUtime=0.28 cores=4,6
/proc/22733/stat : 22733 (roundingsat) R 22731 22731 22301 0 -1 4194304 1594 0 0 0 25 3 0 0 20 0 1 0 35255027 60694528 3598 18446744073709551615 4227072 8923433 140734373909488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15663104 140734373914960 140734373915176 140734373915176 140734373920746 0
/proc/22733/statm: 14818 3598 2336 1147 0 2245 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 63464 KiB
Current children cumulated memory: 17464 KiB
[startup+0.700132 s]
/proc/loadavg: 4.10 3.77 3.51 5/270 22733
/proc/meminfo: memFree=126704032/131249996 swapFree=33010684/33010684
[pid=22731] ppid=22728 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/22731/stat : 22731 (run-dec-ls-log.) S 22728 22731 22301 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 35255027 4292608 768 18446744073709551615 94670354698240 94670355592773 140721331582032 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94670355831824 94670355879568 94670366408704 140721331587355 140721331587553 140721331587553 140721331593155 0
/proc/22731/statm: 1048 768 704 219 0 110 0
[pid=22733] ppid=22731 vsize=59960 memory=15160 CPUtime=0.67 cores=4,6
/proc/22733/stat : 22733 (roundingsat) R 22731 22731 22301 0 -1 4194304 1792 0 0 0 60 7 0 0 20 0 1 0 35255027 61399040 3790 18446744073709551615 4227072 8923433 140734373909488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15663104 140734373914960 140734373915176 140734373915176 140734373920746 0
/proc/22733/statm: 14990 3790 2336 1147 0 2417 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 64152 KiB
Current children cumulated memory: 18232 KiB
[startup+1.50017 s]
/proc/loadavg: 4.10 3.77 3.51 5/270 22733
/proc/meminfo: memFree=126703284/131249996 swapFree=33010684/33010684
[pid=22731] ppid=22728 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/22731/stat : 22731 (run-dec-ls-log.) S 22728 22731 22301 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 35255027 4292608 768 18446744073709551615 94670354698240 94670355592773 140721331582032 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94670355831824 94670355879568 94670366408704 140721331587355 140721331587553 140721331587553 140721331593155 0
/proc/22731/statm: 1048 768 704 219 0 110 0
[pid=22733] ppid=22731 vsize=61252 memory=16696 CPUtime=1.47 cores=4,6
/proc/22733/stat : 22733 (roundingsat) R 22731 22731 22301 0 -1 4194304 2171 0 0 0 131 16 0 0 20 0 1 0 35255027 62722048 4174 18446744073709551615 4227072 8923433 140734373909488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15663104 140734373914960 140734373915176 140734373915176 140734373920746 0
/proc/22733/statm: 15313 4174 2336 1147 0 2740 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 65444 KiB
Current children cumulated memory: 19768 KiB
[startup+3.10563 s]
/proc/loadavg: 4.10 3.77 3.51 5/270 22733
/proc/meminfo: memFree=126692716/131249996 swapFree=33010684/33010684
[pid=22731] ppid=22728 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/22731/stat : 22731 (run-dec-ls-log.) S 22728 22731 22301 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 35255027 4292608 768 18446744073709551615 94670354698240 94670355592773 140721331582032 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94670355831824 94670355879568 94670366408704 140721331587355 140721331587553 140721331587553 140721331593155 0
/proc/22731/statm: 1048 768 704 219 0 110 0
[pid=22733] ppid=22731 vsize=62264 memory=17720 CPUtime=3.07 cores=4,6
/proc/22733/stat : 22733 (roundingsat) R 22731 22731 22301 0 -1 4194304 2443 0 0 0 270 37 0 0 20 0 1 0 35255027 63758336 4430 18446744073709551615 4227072 8923433 140734373909488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15663104 140734373914960 140734373915176 140734373915176 140734373920746 0
/proc/22733/statm: 15566 4430 2336 1147 0 2993 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 66456 KiB
Current children cumulated memory: 20792 KiB
[startup+6.30014 s]
/proc/loadavg: 4.09 3.77 3.52 5/270 22733
/proc/meminfo: memFree=126680748/131249996 swapFree=33010684/33010684
[pid=22731] ppid=22728 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/22731/stat : 22731 (run-dec-ls-log.) S 22728 22731 22301 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 35255027 4292608 768 18446744073709551615 94670354698240 94670355592773 140721331582032 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94670355831824 94670355879568 94670366408704 140721331587355 140721331587553 140721331587553 140721331593155 0
/proc/22731/statm: 1048 768 704 219 0 110 0
[pid=22733] ppid=22731 vsize=64084 memory=19896 CPUtime=6.26 cores=4,6
/proc/22733/stat : 22733 (roundingsat) R 22731 22731 22301 0 -1 4194304 2979 0 0 0 552 74 0 0 20 0 1 0 35255027 65622016 4974 18446744073709551615 4227072 8923433 140734373909488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15663104 140734373914960 140734373915176 140734373915176 140734373920746 0
/proc/22733/statm: 16021 4974 2336 1147 0 3448 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 68276 KiB
Current children cumulated memory: 22968 KiB
[startup+12.7001 s]
/proc/loadavg: 4.09 3.77 3.52 5/270 22733
/proc/meminfo: memFree=126629148/131249996 swapFree=33010684/33010684
[pid=22731] ppid=22728 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/22731/stat : 22731 (run-dec-ls-log.) S 22728 22731 22301 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 35255027 4292608 768 18446744073709551615 94670354698240 94670355592773 140721331582032 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94670355831824 94670355879568 94670366408704 140721331587355 140721331587553 140721331587553 140721331593155 0
/proc/22731/statm: 1048 768 704 219 0 110 0
[pid=22733] ppid=22731 vsize=65596 memory=22336 CPUtime=12.64 cores=4,6
/proc/22733/stat : 22733 (roundingsat) R 22731 22731 22301 0 -1 4194304 4059 0 0 0 1131 133 0 0 20 0 1 0 35255027 67170304 5584 18446744073709551615 4227072 8923433 140734373909488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15663104 140734373914960 140734373915176 140734373915176 140734373920746 0
/proc/22733/statm: 16399 5584 2336 1147 0 3826 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 69788 KiB
Current children cumulated memory: 25408 KiB
[startup+25.5001 s]
/proc/loadavg: 4.15 3.80 3.53 5/270 22734
/proc/meminfo: memFree=126563972/131249996 swapFree=33010684/33010684
[pid=22731] ppid=22728 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/22731/stat : 22731 (run-dec-ls-log.) S 22728 22731 22301 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 35255027 4292608 768 18446744073709551615 94670354698240 94670355592773 140721331582032 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94670355831824 94670355879568 94670366408704 140721331587355 140721331587553 140721331587553 140721331593155 0
/proc/22731/statm: 1048 768 704 219 0 110 0
[pid=22733] ppid=22731 vsize=68356 memory=25384 CPUtime=25.41 cores=4,6
/proc/22733/stat : 22733 (roundingsat) R 22731 22731 22301 0 -1 4194304 7249 0 0 0 2314 227 0 0 20 0 1 0 35255027 69996544 6346 18446744073709551615 4227072 8923433 140734373909488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15663104 140734373914960 140734373915176 140734373915176 140734373920746 0
/proc/22733/statm: 17089 6346 2336 1147 0 4516 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 72548 KiB
Current children cumulated memory: 28456 KiB
[startup+49.0552 s]
# the end of solver process 22731 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=45.0549 s, system=3.83161 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6002 s]
/proc/loadavg: 4.15 3.80 3.53 5/270 22734
/proc/meminfo: memFree=126563972/131249996 swapFree=33010684/33010684
[pid=22731] ppid=22728 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/22731/stat : 22731 (run-dec-ls-log.) S 22728 22731 22301 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 35255027 4292608 768 18446744073709551615 94670354698240 94670355592773 140721331582032 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94670355831824 94670355879568 94670366408704 140721331587355 140721331587553 140721331587553 140721331593155 0
/proc/22731/statm: 1048 768 704 219 0 110 0
[pid=22733] ppid=22731 vsize=68356 memory=25384 CPUtime=25.51 cores=4,6
/proc/22733/stat : 22733 (roundingsat) R 22731 22731 22301 0 -1 4194304 7249 0 0 0 2323 228 0 0 20 0 1 0 35255027 69996544 6346 18446744073709551615 4227072 8923433 140734373909488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15663104 140734373914960 140734373915176 140734373915176 140734373920746 0
/proc/22733/statm: 17089 6346 2336 1147 0 4516 0
Current children cumulated CPU time: 25.51 s
Current children cumulated vsize: 72548 KiB
Current children cumulated memory: 28456 KiB
[startup+38.4001 s]
/proc/loadavg: 4.12 3.81 3.54 5/270 22734
/proc/meminfo: memFree=126475024/131249996 swapFree=33010684/33010684
[pid=22731] ppid=22728 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/22731/stat : 22731 (run-dec-ls-log.) S 22728 22731 22301 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 35255027 4292608 768 18446744073709551615 94670354698240 94670355592773 140721331582032 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94670355831824 94670355879568 94670366408704 140721331587355 140721331587553 140721331587553 140721331593155 0
/proc/22731/statm: 1048 768 704 219 0 110 0
[pid=22733] ppid=22731 vsize=69908 memory=27240 CPUtime=38.27 cores=4,6
/proc/22733/stat : 22733 (roundingsat) R 22731 22731 22301 0 -1 4194304 9065 0 0 0 3511 316 0 0 20 0 1 0 35255027 71585792 6810 18446744073709551615 4227072 8923433 140734373909488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15663104 140734373914960 140734373915176 140734373915176 140734373920746 0
/proc/22733/statm: 17477 6810 2336 1147 0 4904 0
Current children cumulated CPU time: 38.27 s
Current children cumulated vsize: 74100 KiB
Current children cumulated memory: 30312 KiB
[startup+44.8001 s]
/proc/loadavg: 4.11 3.81 3.54 5/270 22734
/proc/meminfo: memFree=126440592/131249996 swapFree=33010684/33010684
[pid=22731] ppid=22728 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/22731/stat : 22731 (run-dec-ls-log.) S 22728 22731 22301 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 35255027 4292608 768 18446744073709551615 94670354698240 94670355592773 140721331582032 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94670355831824 94670355879568 94670366408704 140721331587355 140721331587553 140721331587553 140721331593155 0
/proc/22731/statm: 1048 768 704 219 0 110 0
[pid=22733] ppid=22731 vsize=70420 memory=28056 CPUtime=44.66 cores=4,6
/proc/22733/stat : 22733 (roundingsat) R 22731 22731 22301 0 -1 4194304 9940 0 0 0 4110 356 0 0 20 0 1 0 35255027 72110080 7014 18446744073709551615 4227072 8923433 140734373909488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15663104 140734373914960 140734373915176 140734373915176 140734373920746 0
/proc/22733/statm: 17605 7014 2336 1147 0 5032 0
Current children cumulated CPU time: 44.66 s
Current children cumulated vsize: 74612 KiB
Current children cumulated memory: 31128 KiB
[startup+46.4001 s]
/proc/loadavg: 4.10 3.82 3.54 5/270 22734
/proc/meminfo: memFree=126427796/131249996 swapFree=33010684/33010684
[pid=22731] ppid=22728 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/22731/stat : 22731 (run-dec-ls-log.) S 22728 22731 22301 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 35255027 4292608 768 18446744073709551615 94670354698240 94670355592773 140721331582032 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94670355831824 94670355879568 94670366408704 140721331587355 140721331587553 140721331587553 140721331593155 0
/proc/22731/statm: 1048 768 704 219 0 110 0
[pid=22733] ppid=22731 vsize=71544 memory=29144 CPUtime=46.26 cores=4,6
/proc/22733/stat : 22733 (roundingsat) R 22731 22731 22301 0 -1 4194304 10433 0 0 0 4261 365 0 0 20 0 1 0 35255027 73261056 7286 18446744073709551615 4227072 8923433 140734373909488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15663104 140734373914960 140734373915176 140734373915176 140734373920746 0
/proc/22733/statm: 17886 7286 2336 1147 0 5313 0
Current children cumulated CPU time: 46.26 s
Current children cumulated vsize: 75736 KiB
Current children cumulated memory: 32216 KiB
[startup+48.0001 s]*
/proc/loadavg: 4.10 3.82 3.54 5/271 22735
/proc/meminfo: memFree=126420488/131249996 swapFree=33010684/33010684
[pid=22731] ppid=22728 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/22731/stat : 22731 (run-dec-ls-log.) S 22728 22731 22301 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 35255027 4292608 768 18446744073709551615 94670354698240 94670355592773 140721331582032 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94670355831824 94670355879568 94670366408704 140721331587355 140721331587553 140721331587553 140721331593155 0
/proc/22731/statm: 1048 768 704 219 0 110 0
[pid=22733] ppid=22731 vsize=72140 memory=29764 CPUtime=47.86 cores=4,6
/proc/22733/stat : 22733 (roundingsat) R 22731 22731 22301 0 -1 4194304 10782 0 0 0 4411 375 0 0 20 0 1 0 35255027 73871360 7441 18446744073709551615 4227072 8923433 140734373909488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15663104 140734373914960 140734373915176 140734373915176 140734373920746 0
/proc/22733/statm: 18035 7441 2336 1147 0 5462 0
Current children cumulated CPU time: 47.86 s
Current children cumulated vsize: 76332 KiB
Current children cumulated memory: 32836 KiB
[startup+48.8001 s]
/proc/loadavg: 4.10 3.82 3.54 5/271 22735
/proc/meminfo: memFree=126420488/131249996 swapFree=33010684/33010684
[pid=22731] ppid=22728 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/22731/stat : 22731 (run-dec-ls-log.) S 22728 22731 22301 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 35255027 4292608 768 18446744073709551615 94670354698240 94670355592773 140721331582032 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94670355831824 94670355879568 94670366408704 140721331587355 140721331587553 140721331587553 140721331593155 0
/proc/22731/statm: 1048 768 704 219 0 110 0
[pid=22733] ppid=22731 vsize=72528 memory=30152 CPUtime=48.65 cores=4,6
/proc/22733/stat : 22733 (roundingsat) R 22731 22731 22301 0 -1 4194304 10992 0 0 0 4485 380 0 0 20 0 1 0 35255027 74268672 7538 18446744073709551615 4227072 8923433 140734373909488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15663104 140734373914960 140734373915176 140734373915176 140734373920746 0
/proc/22733/statm: 18132 7538 2336 1147 0 5559 0
Current children cumulated CPU time: 48.65 s
Current children cumulated vsize: 76720 KiB
Current children cumulated memory: 33224 KiB
[startup+49.0002 s]*
/proc/loadavg: 4.10 3.82 3.54 5/271 22735
/proc/meminfo: memFree=126416860/131249996 swapFree=33010684/33010684
[pid=22731] ppid=22728 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/22731/stat : 22731 (run-dec-ls-log.) S 22728 22731 22301 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 35255027 4292608 768 18446744073709551615 94670354698240 94670355592773 140721331582032 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94670355831824 94670355879568 94670366408704 140721331587355 140721331587553 140721331587553 140721331593155 0
/proc/22731/statm: 1048 768 704 219 0 110 0
[pid=22733] ppid=22731 vsize=72528 memory=30152 CPUtime=48.85 cores=4,6
/proc/22733/stat : 22733 (roundingsat) R 22731 22731 22301 0 -1 4194304 10992 0 0 0 4503 382 0 0 20 0 1 0 35255027 74268672 7538 18446744073709551615 4227072 8923433 140734373909488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15663104 140734373914960 140734373915176 140734373915176 140734373920746 0
/proc/22733/statm: 18132 7538 2336 1147 0 5559 0
Current children cumulated CPU time: 48.85 s
Current children cumulated vsize: 76720 KiB
Current children cumulated memory: 33224 KiB
Child status: 0
Real time (s): 49.0552
CPU time (s): 48.8865
CPU user time (s): 45.0549
CPU system time (s): 3.83161
CPU usage (%): 99.6561
Max. virtual memory (cumulated for all children) (KiB): 76720
Max. memory (cumulated for all children) (KiB): 33224
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 45.0549
system time used= 3.83161
maximum resident set size= 30532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11225
page faults= 0
swaps= 0
block input operations= 0
block output operations= 166192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 903
involuntary context switches= 82
# summary of solver processes directly reported to runsolver:
# pid: 22731
# total CPU time (s): 48.8865
# total CPU user time (s): 45.0549
# total CPU system time (s): 3.83161
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.11799 second user time and 0.239616 second system time
The end
Begin job on nodeC023 at 2025-06-29 13:16:12
IDJOB=4510619
IDBENCH=160374
IDSOLVER=3354
FILE ID=nodeC023/4510619-1751195772
RUNJOBID= nodeC023-1751195206-22312
SLURM_JOB_ID= 9587603
Free space on /tmp= 433040 MiB
SOLVER NAME= roundingsat-ls-log 63f22ad
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/normalized-ECgrid5x70split.cnf-extracted.pb.metafix.opb
COMMAND LINE= run-dec-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4510619-1751195772/watcher-4510619-1751195772 -o /tmp/evaluation-result-4510619-1751195772/solver-4510619-1751195772 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751195206-22312 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4510619-1751195772.opb PROOFDIR/proof-4510619-1751195772
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 6c6f54dbad76425fd68d4f6d2aa72935
RANDOM SEED=347092454
nodeC023 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.877
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.910
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3595.696
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3731.876
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.853
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.901
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.901
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.154
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 126713912 kB
MemAvailable: 129496688 kB
Buffers: 3280 kB
Cached: 3589820 kB
SwapCached: 0 kB
Active: 696780 kB
Inactive: 3284384 kB
Active(anon): 406516 kB
Inactive(anon): 0 kB
Active(file): 290264 kB
Inactive(file): 3284384 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 62728 kB
Writeback: 148 kB
AnonPages: 383256 kB
Mapped: 113084 kB
Shmem: 18064 kB
KReclaimable: 94736 kB
Slab: 183152 kB
SReclaimable: 94736 kB
SUnreclaim: 88416 kB
KernelStack: 4320 kB
PageTables: 3948 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 733784 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150696 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 225280 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 197332 kB
DirectMap2M: 9011200 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433032 MiB
End job on nodeC023 at 2025-06-29 13:17:01