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 601 #constraints 838
0.00/0.02 c rational objective 300.5
0.18/0.23 c #Conflicts: 1000 | #Constraints: 1843
0.18/0.23 c #Conflicts: 2000 | #Constraints: 2843
0.18/0.23 c INPROCESSING
0.18/0.23 c GARBAGE COLLECT
0.18/0.23 c #Conflicts: 3000 | #Constraints: 2877
0.18/0.23 c #Conflicts: 4000 | #Constraints: 3877
0.18/0.23 c INPROCESSING
0.18/0.23 c GARBAGE COLLECT
0.18/0.23 c #Conflicts: 5000 | #Constraints: 3300
0.18/0.23 c #Conflicts: 6000 | #Constraints: 4300
0.18/0.23 c INPROCESSING
0.18/0.23 c GARBAGE COLLECT
0.18/0.23 c rational objective 300.5
0.29/0.33 c #Conflicts: 7000 | #Constraints: 3311
0.29/0.33 c #Conflicts: 8000 | #Constraints: 4311
0.29/0.33 c #Conflicts: 9000 | #Constraints: 5311
0.29/0.33 c INPROCESSING
0.29/0.33 c GARBAGE COLLECT
0.29/0.33 c rational objective 300.5
0.39/0.46 c #Conflicts: 10000 | #Constraints: 4011
0.39/0.46 c #Conflicts: 11000 | #Constraints: 5011
0.39/0.46 c #Conflicts: 12000 | #Constraints: 6011
0.39/0.46 c INPROCESSING
0.39/0.46 c GARBAGE COLLECT
0.39/0.46 c rational objective 300.5
0.48/0.58 c #Conflicts: 13000 | #Constraints: 4473
0.48/0.58 c #Conflicts: 14000 | #Constraints: 5473
0.48/0.58 c #Conflicts: 15000 | #Constraints: 6473
0.48/0.58 c INPROCESSING
0.48/0.58 c GARBAGE COLLECT
0.48/0.58 c rational objective 300.5
0.67/0.70 c #Conflicts: 16000 | #Constraints: 4705
0.67/0.70 c #Conflicts: 17000 | #Constraints: 5705
0.67/0.70 c #Conflicts: 18000 | #Constraints: 6705
0.67/0.70 c INPROCESSING
0.67/0.70 c GARBAGE COLLECT
0.67/0.70 c rational objective 300.5
0.77/0.85 c #Conflicts: 19000 | #Constraints: 4717
0.77/0.85 c #Conflicts: 20000 | #Constraints: 5717
0.77/0.85 c #Conflicts: 21000 | #Constraints: 6717
0.77/0.85 c INPROCESSING
0.77/0.85 c GARBAGE COLLECT
0.77/0.85 c rational objective 300.5
0.97/1.00 c #Conflicts: 22000 | #Constraints: 4523
0.97/1.00 c #Conflicts: 23000 | #Constraints: 5523
0.97/1.00 c #Conflicts: 24000 | #Constraints: 6523
0.97/1.00 c #Conflicts: 25000 | #Constraints: 7523
0.97/1.00 c INPROCESSING
0.97/1.00 c GARBAGE COLLECT
0.97/1.00 c rational objective 300.5
1.08/1.17 c #Conflicts: 26000 | #Constraints: 5129
1.08/1.17 c #Conflicts: 27000 | #Constraints: 6129
1.08/1.17 c #Conflicts: 28000 | #Constraints: 7129
1.08/1.17 c #Conflicts: 29000 | #Constraints: 8129
1.08/1.17 c INPROCESSING
1.08/1.17 c GARBAGE COLLECT
1.08/1.17 c rational objective 300.5
1.27/1.34 c #Conflicts: 30000 | #Constraints: 5532
1.27/1.34 c #Conflicts: 31000 | #Constraints: 6532
1.27/1.34 c #Conflicts: 32000 | #Constraints: 7532
1.27/1.34 c #Conflicts: 33000 | #Constraints: 8532
1.27/1.34 c INPROCESSING
1.27/1.34 c GARBAGE COLLECT
1.27/1.34 c rational objective 300.5
1.47/1.53 c #Conflicts: 34000 | #Constraints: 5729
1.47/1.53 c #Conflicts: 35000 | #Constraints: 6729
1.47/1.53 c #Conflicts: 36000 | #Constraints: 7729
1.47/1.53 c #Conflicts: 37000 | #Constraints: 8729
1.47/1.53 c INPROCESSING
1.47/1.53 c GARBAGE COLLECT
1.47/1.53 c rational objective 300.5
1.66/1.74 c #Conflicts: 38000 | #Constraints: 5733
1.66/1.74 c #Conflicts: 39000 | #Constraints: 6733
1.66/1.74 c #Conflicts: 40000 | #Constraints: 7733
1.66/1.74 c #Conflicts: 41000 | #Constraints: 8733
1.66/1.74 c INPROCESSING
1.66/1.74 c GARBAGE COLLECT
1.66/1.74 c rational objective 300.5
1.86/1.95 c #Conflicts: 42000 | #Constraints: 5536
1.86/1.95 c #Conflicts: 43000 | #Constraints: 6536
1.86/1.95 c #Conflicts: 44000 | #Constraints: 7536
1.86/1.95 c #Conflicts: 45000 | #Constraints: 8536
1.86/1.95 c #Conflicts: 46000 | #Constraints: 9536
1.86/1.95 c INPROCESSING
1.86/1.95 c GARBAGE COLLECT
1.86/1.95 c rational objective 300.5
2.07/2.16 c #Conflicts: 47000 | #Constraints: 6133
2.07/2.16 c #Conflicts: 48000 | #Constraints: 7134
2.07/2.16 c #Conflicts: 49000 | #Constraints: 8134
2.07/2.16 c #Conflicts: 50000 | #Constraints: 9134
2.07/2.16 c #Conflicts: 51000 | #Constraints: 10134
2.07/2.16 c INPROCESSING
2.07/2.16 c GARBAGE COLLECT
2.07/2.16 c rational objective 300.5
2.27/2.38 c #Conflicts: 52000 | #Constraints: 6533
2.27/2.38 c #Conflicts: 53000 | #Constraints: 7533
2.27/2.38 c #Conflicts: 54000 | #Constraints: 8533
2.27/2.38 c #Conflicts: 55000 | #Constraints: 9533
2.27/2.38 c #Conflicts: 56000 | #Constraints: 10533
2.27/2.38 c INPROCESSING
2.27/2.38 c GARBAGE COLLECT
2.27/2.38 c rational objective 300.5
2.56/2.60 c #Conflicts: 57000 | #Constraints: 6730
2.56/2.60 c #Conflicts: 58000 | #Constraints: 7730
2.56/2.60 c #Conflicts: 59000 | #Constraints: 8730
2.56/2.60 c #Conflicts: 60000 | #Constraints: 9730
2.56/2.60 c #Conflicts: 61000 | #Constraints: 10730
2.56/2.60 c INPROCESSING
2.56/2.60 c GARBAGE COLLECT
2.56/2.60 c rational objective 300.5
2.77/2.85 c #Conflicts: 62000 | #Constraints: 6737
2.77/2.85 c #Conflicts: 63000 | #Constraints: 7737
2.77/2.85 c #Conflicts: 64000 | #Constraints: 8737
2.77/2.85 c #Conflicts: 65000 | #Constraints: 9737
2.77/2.85 c #Conflicts: 66000 | #Constraints: 10737
2.77/2.85 c INPROCESSING
2.77/2.85 c GARBAGE COLLECT
2.77/2.85 c rational objective 300.5
2.97/3.09 c #Conflicts: 67000 | #Constraints: 6537
2.97/3.09 c #Conflicts: 68000 | #Constraints: 7537
2.97/3.09 c #Conflicts: 69000 | #Constraints: 8537
2.97/3.09 c #Conflicts: 70000 | #Constraints: 9537
2.97/3.09 c #Conflicts: 71000 | #Constraints: 10537
2.97/3.09 c #Conflicts: 72000 | #Constraints: 11537
2.97/3.09 c INPROCESSING
2.97/3.09 c GARBAGE COLLECT
2.97/3.09 c rational objective 300.5
3.27/3.33 c #Conflicts: 73000 | #Constraints: 7128
3.27/3.33 c #Conflicts: 74000 | #Constraints: 8128
3.27/3.33 c #Conflicts: 75000 | #Constraints: 9128
3.27/3.33 c #Conflicts: 76000 | #Constraints: 10129
3.27/3.33 c #Conflicts: 77000 | #Constraints: 11129
3.27/3.33 c #Conflicts: 78000 | #Constraints: 12129
3.27/3.33 c INPROCESSING
3.27/3.33 c GARBAGE COLLECT
3.27/3.33 c rational objective 300.5
3.47/3.58 c #Conflicts: 79000 | #Constraints: 7535
3.47/3.58 c #Conflicts: 80000 | #Constraints: 8535
3.47/3.58 c #Conflicts: 81000 | #Constraints: 9535
3.47/3.58 c #Conflicts: 82000 | #Constraints: 10535
3.47/3.58 c #Conflicts: 83000 | #Constraints: 11535
3.47/3.58 c #Conflicts: 84000 | #Constraints: 12535
3.47/3.58 c INPROCESSING
3.47/3.58 c GARBAGE COLLECT
3.47/3.58 c rational objective 300.5
3.76/3.86 c #Conflicts: 85000 | #Constraints: 7735
3.76/3.86 c #Conflicts: 86000 | #Constraints: 8735
3.76/3.86 c #Conflicts: 87000 | #Constraints: 9735
3.76/3.86 c #Conflicts: 88000 | #Constraints: 10735
3.76/3.86 c #Conflicts: 89000 | #Constraints: 11735
3.76/3.86 c #Conflicts: 90000 | #Constraints: 12735
3.76/3.86 c INPROCESSING
3.76/3.86 c GARBAGE COLLECT
3.76/3.86 c rational objective 300.5
4.07/4.17 c #Conflicts: 91000 | #Constraints: 7735
4.07/4.17 c #Conflicts: 92000 | #Constraints: 8735
4.07/4.17 c #Conflicts: 93000 | #Constraints: 9735
4.07/4.17 c #Conflicts: 94000 | #Constraints: 10735
4.07/4.17 c #Conflicts: 95000 | #Constraints: 11735
4.07/4.17 c #Conflicts: 96000 | #Constraints: 12735
4.07/4.17 c INPROCESSING
4.07/4.17 c GARBAGE COLLECT
4.07/4.17 c rational objective 300.5
4.36/4.46 c #Conflicts: 97000 | #Constraints: 7539
4.36/4.46 c #Conflicts: 98000 | #Constraints: 8539
4.36/4.46 c #Conflicts: 99000 | #Constraints: 9539
4.36/4.46 c #Conflicts: 100000 | #Constraints: 10539
4.36/4.46 c #Conflicts: 101000 | #Constraints: 11539
4.36/4.46 c #Conflicts: 102000 | #Constraints: 12539
4.36/4.46 c #Conflicts: 103000 | #Constraints: 13539
4.36/4.46 c INPROCESSING
4.36/4.46 c GARBAGE COLLECT
4.36/4.46 c rational objective 300.5
4.66/4.74 c #Conflicts: 104000 | #Constraints: 8132
4.66/4.74 c #Conflicts: 105000 | #Constraints: 9132
4.66/4.74 c #Conflicts: 106000 | #Constraints: 10132
4.66/4.74 c #Conflicts: 107000 | #Constraints: 11132
4.66/4.74 c #Conflicts: 108000 | #Constraints: 12132
4.66/4.74 c #Conflicts: 109000 | #Constraints: 13132
4.66/4.74 c #Conflicts: 110000 | #Constraints: 14132
4.66/4.74 c INPROCESSING
4.66/4.74 c GARBAGE COLLECT
4.66/4.74 c rational objective 300.5
4.96/5.01 c #Conflicts: 111000 | #Constraints: 8528
4.96/5.01 c #Conflicts: 112000 | #Constraints: 9528
4.96/5.01 c #Conflicts: 113000 | #Constraints: 10528
4.96/5.01 c #Conflicts: 114000 | #Constraints: 11528
4.96/5.01 c #Conflicts: 115000 | #Constraints: 12528
4.96/5.01 c #Conflicts: 116000 | #Constraints: 13528
4.96/5.01 c #Conflicts: 117000 | #Constraints: 14528
4.96/5.01 c INPROCESSING
4.96/5.01 c GARBAGE COLLECT
4.96/5.01 c rational objective 300.5
5.26/5.31 c #Conflicts: 118000 | #Constraints: 8733
5.26/5.31 c #Conflicts: 119000 | #Constraints: 9733
5.26/5.31 c #Conflicts: 120000 | #Constraints: 10733
5.26/5.31 c #Conflicts: 121000 | #Constraints: 11733
5.26/5.31 c #Conflicts: 122000 | #Constraints: 12733
5.26/5.31 c #Conflicts: 123000 | #Constraints: 13733
5.26/5.31 c #Conflicts: 124000 | #Constraints: 14733
5.26/5.31 c INPROCESSING
5.26/5.31 c GARBAGE COLLECT
5.26/5.31 c rational objective 300.5
5.46/5.58 c #Conflicts: 125000 | #Constraints: 8732
5.46/5.58 c #Conflicts: 126000 | #Constraints: 9732
5.46/5.58 c #Conflicts: 127000 | #Constraints: 10732
5.46/5.58 c #Conflicts: 128000 | #Constraints: 11732
5.46/5.58 c #Conflicts: 129000 | #Constraints: 12732
5.46/5.58 c #Conflicts: 130000 | #Constraints: 13732
5.46/5.58 c #Conflicts: 131000 | #Constraints: 14732
5.46/5.58 c INPROCESSING
5.46/5.58 c GARBAGE COLLECT
5.46/5.58 c rational objective 300.5
5.76/5.89 c #Conflicts: 132000 | #Constraints: 8532
5.76/5.89 c #Conflicts: 133000 | #Constraints: 9532
5.76/5.89 c #Conflicts: 134000 | #Constraints: 10532
5.76/5.89 c #Conflicts: 135000 | #Constraints: 11532
5.76/5.89 c #Conflicts: 136000 | #Constraints: 12532
5.76/5.89 c #Conflicts: 137000 | #Constraints: 13532
5.76/5.89 c #Conflicts: 138000 | #Constraints: 14532
5.76/5.89 c #Conflicts: 139000 | #Constraints: 15532
5.76/5.89 c INPROCESSING
5.76/5.89 c GARBAGE COLLECT
5.76/5.89 c rational objective 300.5
6.16/6.24 c #Conflicts: 140000 | #Constraints: 9142
6.16/6.24 c #Conflicts: 141000 | #Constraints: 10142
6.16/6.24 c #Conflicts: 142000 | #Constraints: 11142
6.16/6.24 c #Conflicts: 143000 | #Constraints: 12142
6.16/6.24 c #Conflicts: 144000 | #Constraints: 13142
6.16/6.24 c #Conflicts: 145000 | #Constraints: 14142
6.16/6.24 c #Conflicts: 146000 | #Constraints: 15142
6.16/6.24 c #Conflicts: 147000 | #Constraints: 16142
6.16/6.24 c INPROCESSING
6.16/6.24 c GARBAGE COLLECT
6.16/6.24 c rational objective 300.5
6.46/6.56 c #Conflicts: 148000 | #Constraints: 9546
6.46/6.56 c #Conflicts: 149000 | #Constraints: 10546
6.46/6.56 c #Conflicts: 150000 | #Constraints: 11546
6.46/6.56 c #Conflicts: 151000 | #Constraints: 12546
6.46/6.56 c #Conflicts: 152000 | #Constraints: 13546
6.46/6.56 c #Conflicts: 153000 | #Constraints: 14546
6.46/6.56 c #Conflicts: 154000 | #Constraints: 15546
6.46/6.56 c #Conflicts: 155000 | #Constraints: 16546
6.46/6.56 c INPROCESSING
6.46/6.56 c GARBAGE COLLECT
6.46/6.56 c rational objective 300.5
6.76/6.88 c #Conflicts: 156000 | #Constraints: 9743
6.76/6.88 c #Conflicts: 157000 | #Constraints: 10743
6.76/6.88 c #Conflicts: 158000 | #Constraints: 11743
6.76/6.88 c #Conflicts: 159000 | #Constraints: 12743
6.76/6.88 c #Conflicts: 160000 | #Constraints: 13743
6.76/6.88 c #Conflicts: 161000 | #Constraints: 14743
6.76/6.88 c #Conflicts: 162000 | #Constraints: 15743
6.76/6.88 c #Conflicts: 163000 | #Constraints: 16743
6.76/6.88 c INPROCESSING
6.76/6.88 c GARBAGE COLLECT
6.76/6.88 c rational objective 300.5
7.16/7.22 c #Conflicts: 164000 | #Constraints: 9748
7.16/7.22 c #Conflicts: 165000 | #Constraints: 10748
7.16/7.22 c #Conflicts: 166000 | #Constraints: 11748
7.16/7.22 c #Conflicts: 167000 | #Constraints: 12748
7.16/7.22 c #Conflicts: 168000 | #Constraints: 13748
7.16/7.22 c #Conflicts: 169000 | #Constraints: 14748
7.16/7.22 c #Conflicts: 170000 | #Constraints: 15748
7.16/7.22 c #Conflicts: 171000 | #Constraints: 16748
7.16/7.22 c INPROCESSING
7.16/7.22 c GARBAGE COLLECT
7.16/7.22 c rational objective 300.5
7.45/7.58 c #Conflicts: 172000 | #Constraints: 9543
7.45/7.58 c #Conflicts: 173000 | #Constraints: 10543
7.45/7.58 c #Conflicts: 174000 | #Constraints: 11543
7.45/7.58 c #Conflicts: 175000 | #Constraints: 12543
7.45/7.58 c #Conflicts: 176000 | #Constraints: 13543
7.45/7.58 c #Conflicts: 177000 | #Constraints: 14543
7.45/7.58 c #Conflicts: 178000 | #Constraints: 15543
7.45/7.58 c #Conflicts: 179000 | #Constraints: 16543
7.45/7.58 c #Conflicts: 180000 | #Constraints: 17543
7.45/7.58 c INPROCESSING
7.45/7.58 c GARBAGE COLLECT
7.45/7.58 c rational objective 300.5
7.86/7.92 c #Conflicts: 181000 | #Constraints: 10140
7.86/7.92 c #Conflicts: 182000 | #Constraints: 11140
7.86/7.92 c #Conflicts: 183000 | #Constraints: 12140
7.86/7.92 c #Conflicts: 184000 | #Constraints: 13140
7.86/7.92 c #Conflicts: 185000 | #Constraints: 14140
7.86/7.92 c #Conflicts: 186000 | #Constraints: 15140
7.86/7.92 c #Conflicts: 187000 | #Constraints: 16140
7.86/7.92 c #Conflicts: 188000 | #Constraints: 17140
7.86/7.92 c #Conflicts: 189000 | #Constraints: 18140
7.86/7.92 c INPROCESSING
7.86/7.92 c GARBAGE COLLECT
7.86/7.92 c rational objective 300.5
8.25/8.31 c #Conflicts: 190000 | #Constraints: 10551
8.25/8.31 c #Conflicts: 191000 | #Constraints: 11551
8.25/8.31 c #Conflicts: 192000 | #Constraints: 12551
8.25/8.31 c #Conflicts: 193000 | #Constraints: 13551
8.25/8.31 c #Conflicts: 194000 | #Constraints: 14551
8.25/8.31 c #Conflicts: 195000 | #Constraints: 15551
8.25/8.31 c #Conflicts: 196000 | #Constraints: 16551
8.25/8.31 c #Conflicts: 197000 | #Constraints: 17551
8.25/8.31 c #Conflicts: 198000 | #Constraints: 18552
8.25/8.31 c INPROCESSING
8.25/8.31 c GARBAGE COLLECT
8.25/8.31 c rational objective 300.5
8.65/8.72 c #Conflicts: 199000 | #Constraints: 10747
8.65/8.72 c #Conflicts: 200000 | #Constraints: 11747
8.65/8.72 c #Conflicts: 201000 | #Constraints: 12747
8.65/8.72 c #Conflicts: 202000 | #Constraints: 13747
8.65/8.72 c #Conflicts: 203000 | #Constraints: 14747
8.65/8.72 c #Conflicts: 204000 | #Constraints: 15747
8.65/8.72 c #Conflicts: 205000 | #Constraints: 16747
8.65/8.72 c #Conflicts: 206000 | #Constraints: 17747
8.65/8.72 c #Conflicts: 207000 | #Constraints: 18747
8.65/8.72 c INPROCESSING
8.65/8.72 c GARBAGE COLLECT
8.65/8.72 c rational objective 300.5
9.05/9.13 c #Conflicts: 208000 | #Constraints: 10757
9.05/9.13 c #Conflicts: 209000 | #Constraints: 11757
9.05/9.13 c #Conflicts: 210000 | #Constraints: 12757
9.05/9.13 c #Conflicts: 211000 | #Constraints: 13757
9.05/9.13 c #Conflicts: 212000 | #Constraints: 14757
9.05/9.13 c #Conflicts: 213000 | #Constraints: 15757
9.05/9.13 c #Conflicts: 214000 | #Constraints: 16757
9.05/9.13 c #Conflicts: 215000 | #Constraints: 17757
9.05/9.13 c #Conflicts: 216000 | #Constraints: 18757
9.05/9.13 c INPROCESSING
9.05/9.13 c GARBAGE COLLECT
9.05/9.13 c rational objective 300.5
9.44/9.51 c #Conflicts: 217000 | #Constraints: 10551
9.44/9.51 c #Conflicts: 218000 | #Constraints: 11551
9.44/9.51 c #Conflicts: 219000 | #Constraints: 12551
9.44/9.51 c #Conflicts: 220000 | #Constraints: 13551
9.44/9.51 c #Conflicts: 221000 | #Constraints: 14551
9.44/9.51 c #Conflicts: 222000 | #Constraints: 15551
9.44/9.51 c #Conflicts: 223000 | #Constraints: 16551
9.44/9.51 c #Conflicts: 224000 | #Constraints: 17551
9.44/9.51 c #Conflicts: 225000 | #Constraints: 18551
9.44/9.51 c #Conflicts: 226000 | #Constraints: 19551
9.44/9.51 c INPROCESSING
9.44/9.51 c GARBAGE COLLECT
9.44/9.51 c rational objective 300.5
9.75/9.88 c #Conflicts: 227000 | #Constraints: 11146
9.75/9.88 c #Conflicts: 228000 | #Constraints: 12146
9.75/9.88 c #Conflicts: 229000 | #Constraints: 13146
9.75/9.88 c #Conflicts: 230000 | #Constraints: 14146
9.75/9.88 c #Conflicts: 231000 | #Constraints: 15146
9.75/9.88 c #Conflicts: 232000 | #Constraints: 16146
9.75/9.88 c #Conflicts: 233000 | #Constraints: 17146
9.75/9.88 c #Conflicts: 234000 | #Constraints: 18146
9.75/9.88 c #Conflicts: 235000 | #Constraints: 19146
9.75/9.88 c #Conflicts: 236000 | #Constraints: 20147
9.75/9.88 c INPROCESSING
9.75/9.88 c GARBAGE COLLECT
9.75/9.88 c rational objective 300.5
10.15/10.23 c #Conflicts: 237000 | #Constraints: 11542
10.15/10.23 c #Conflicts: 238000 | #Constraints: 12542
10.15/10.23 c #Conflicts: 239000 | #Constraints: 13542
10.15/10.23 c #Conflicts: 240000 | #Constraints: 14542
10.15/10.23 c #Conflicts: 241000 | #Constraints: 15542
10.15/10.23 c #Conflicts: 242000 | #Constraints: 16542
10.15/10.23 c #Conflicts: 243000 | #Constraints: 17542
10.15/10.23 c #Conflicts: 244000 | #Constraints: 18542
10.15/10.23 c #Conflicts: 245000 | #Constraints: 19542
10.15/10.23 c #Conflicts: 246000 | #Constraints: 20542
10.15/10.23 c INPROCESSING
10.15/10.23 c GARBAGE COLLECT
10.15/10.23 c rational objective 300.5
10.54/10.64 c #Conflicts: 247000 | #Constraints: 11750
10.54/10.64 c #Conflicts: 248000 | #Constraints: 12750
10.54/10.64 c #Conflicts: 249000 | #Constraints: 13750
10.54/10.64 c #Conflicts: 250000 | #Constraints: 14750
10.54/10.64 c #Conflicts: 251000 | #Constraints: 15750
10.54/10.64 c #Conflicts: 252000 | #Constraints: 16750
10.54/10.64 c #Conflicts: 253000 | #Constraints: 17750
10.54/10.64 c #Conflicts: 254000 | #Constraints: 18750
10.54/10.64 c #Conflicts: 255000 | #Constraints: 19750
10.54/10.64 c #Conflicts: 256000 | #Constraints: 20750
10.54/10.64 c INPROCESSING
10.54/10.64 c GARBAGE COLLECT
10.54/10.64 c rational objective 300.5
10.95/11.04 c #Conflicts: 257000 | #Constraints: 11753
10.95/11.04 c #Conflicts: 258000 | #Constraints: 12753
10.95/11.04 c #Conflicts: 259000 | #Constraints: 13753
10.95/11.04 c #Conflicts: 260000 | #Constraints: 14753
10.95/11.04 c #Conflicts: 261000 | #Constraints: 15753
10.95/11.04 c #Conflicts: 262000 | #Constraints: 16753
10.95/11.04 c #Conflicts: 263000 | #Constraints: 17753
10.95/11.04 c #Conflicts: 264000 | #Constraints: 18753
10.95/11.04 c #Conflicts: 265000 | #Constraints: 19753
10.95/11.04 c #Conflicts: 266000 | #Constraints: 20753
10.95/11.04 c INPROCESSING
10.95/11.04 c GARBAGE COLLECT
10.95/11.04 c rational objective 300.5
11.44/11.50 c #Conflicts: 267000 | #Constraints: 11550
11.44/11.50 c #Conflicts: 268000 | #Constraints: 12550
11.44/11.50 c #Conflicts: 269000 | #Constraints: 13550
11.44/11.50 c #Conflicts: 270000 | #Constraints: 14550
11.44/11.50 c #Conflicts: 271000 | #Constraints: 15550
11.44/11.50 c #Conflicts: 272000 | #Constraints: 16550
11.44/11.50 c #Conflicts: 273000 | #Constraints: 17550
11.44/11.50 c #Conflicts: 274000 | #Constraints: 18550
11.44/11.50 c #Conflicts: 275000 | #Constraints: 19550
11.44/11.50 c #Conflicts: 276000 | #Constraints: 20550
11.44/11.50 c #Conflicts: 277000 | #Constraints: 21550
11.44/11.50 c INPROCESSING
11.44/11.50 c GARBAGE COLLECT
11.44/11.50 c rational objective 300.5
11.84/11.91 c #Conflicts: 278000 | #Constraints: 12147
11.84/11.91 c #Conflicts: 279000 | #Constraints: 13147
11.84/11.91 c #Conflicts: 280000 | #Constraints: 14147
11.84/11.91 c #Conflicts: 281000 | #Constraints: 15147
11.84/11.91 c #Conflicts: 282000 | #Constraints: 16147
11.84/11.91 c #Conflicts: 283000 | #Constraints: 17147
11.84/11.91 c #Conflicts: 284000 | #Constraints: 18147
11.84/11.91 c #Conflicts: 285000 | #Constraints: 19147
11.84/11.91 c #Conflicts: 286000 | #Constraints: 20147
11.84/11.91 c #Conflicts: 287000 | #Constraints: 21147
11.84/11.91 c #Conflicts: 288000 | #Constraints: 22147
11.84/11.91 c INPROCESSING
11.84/11.91 c GARBAGE COLLECT
11.84/11.91 c rational objective 300.5
12.24/12.33 c #Conflicts: 289000 | #Constraints: 12550
12.24/12.33 c #Conflicts: 290000 | #Constraints: 13550
12.24/12.33 c #Conflicts: 291000 | #Constraints: 14550
12.24/12.33 c #Conflicts: 292000 | #Constraints: 15550
12.24/12.33 c #Conflicts: 293000 | #Constraints: 16550
12.24/12.33 c #Conflicts: 294000 | #Constraints: 17550
12.24/12.33 c #Conflicts: 295000 | #Constraints: 18550
12.24/12.33 c #Conflicts: 296000 | #Constraints: 19550
12.24/12.33 c #Conflicts: 297000 | #Constraints: 20550
12.24/12.33 c #Conflicts: 298000 | #Constraints: 21550
12.24/12.33 c #Conflicts: 299000 | #Constraints: 22550
12.24/12.33 c INPROCESSING
12.24/12.33 c GARBAGE COLLECT
12.24/12.33 c rational objective 300.5
12.63/12.75 c #Conflicts: 300000 | #Constraints: 12753
12.63/12.75 c #Conflicts: 301000 | #Constraints: 13753
12.63/12.75 c #Conflicts: 302000 | #Constraints: 14753
12.63/12.75 c #Conflicts: 303000 | #Constraints: 15753
12.63/12.75 c #Conflicts: 304000 | #Constraints: 16753
12.63/12.75 c #Conflicts: 305000 | #Constraints: 17753
12.63/12.75 c #Conflicts: 306000 | #Constraints: 18753
12.63/12.75 c #Conflicts: 307000 | #Constraints: 19753
12.63/12.75 c #Conflicts: 308000 | #Constraints: 20753
12.63/12.75 c #Conflicts: 309000 | #Constraints: 21753
12.63/12.75 c #Conflicts: 310000 | #Constraints: 22753
12.63/12.75 c INPROCESSING
12.63/12.75 c GARBAGE COLLECT
12.63/12.75 c rational objective 300.5
13.14/13.20 c #Conflicts: 311000 | #Constraints: 12753
13.14/13.20 c #Conflicts: 312000 | #Constraints: 13753
13.14/13.20 c #Conflicts: 313000 | #Constraints: 14753
13.14/13.20 c #Conflicts: 314000 | #Constraints: 15753
13.14/13.20 c #Conflicts: 315000 | #Constraints: 16753
13.14/13.20 c #Conflicts: 316000 | #Constraints: 17753
13.14/13.20 c #Conflicts: 317000 | #Constraints: 18753
13.14/13.20 c #Conflicts: 318000 | #Constraints: 19753
13.14/13.20 c #Conflicts: 319000 | #Constraints: 20753
13.14/13.20 c #Conflicts: 320000 | #Constraints: 21753
13.14/13.20 c #Conflicts: 321000 | #Constraints: 22753
13.14/13.20 c INPROCESSING
13.14/13.20 c GARBAGE COLLECT
13.14/13.20 c rational objective 300.5
13.54/13.68 c #Conflicts: 322000 | #Constraints: 12560
13.54/13.68 c #Conflicts: 323000 | #Constraints: 13560
13.54/13.68 c #Conflicts: 324000 | #Constraints: 14560
13.54/13.68 c #Conflicts: 325000 | #Constraints: 15560
13.54/13.68 c #Conflicts: 326000 | #Constraints: 16560
13.54/13.68 c #Conflicts: 327000 | #Constraints: 17560
13.54/13.68 c #Conflicts: 328000 | #Constraints: 18560
13.54/13.68 c #Conflicts: 329000 | #Constraints: 19560
13.54/13.68 c #Conflicts: 330000 | #Constraints: 20560
13.54/13.68 c #Conflicts: 331000 | #Constraints: 21560
13.54/13.68 c #Conflicts: 332000 | #Constraints: 22560
13.54/13.68 c #Conflicts: 333000 | #Constraints: 23560
13.54/13.68 c INPROCESSING
13.54/13.68 c GARBAGE COLLECT
13.54/13.68 c rational objective 300.5
14.04/14.12 c #Conflicts: 334000 | #Constraints: 13161
14.04/14.12 c #Conflicts: 335000 | #Constraints: 14161
14.04/14.12 c #Conflicts: 336000 | #Constraints: 15161
14.04/14.12 c #Conflicts: 337000 | #Constraints: 16161
14.04/14.12 c #Conflicts: 338000 | #Constraints: 17161
14.04/14.12 c #Conflicts: 339000 | #Constraints: 18161
14.04/14.12 c #Conflicts: 340000 | #Constraints: 19161
14.04/14.12 c #Conflicts: 341000 | #Constraints: 20161
14.04/14.12 c #Conflicts: 342000 | #Constraints: 21161
14.04/14.12 c #Conflicts: 343000 | #Constraints: 22161
14.04/14.12 c #Conflicts: 344000 | #Constraints: 23161
14.04/14.12 c #Conflicts: 345000 | #Constraints: 24161
14.04/14.12 c INPROCESSING
14.04/14.12 c GARBAGE COLLECT
14.04/14.12 c rational objective 300.5
14.44/14.58 c #Conflicts: 346000 | #Constraints: 13569
14.44/14.58 c #Conflicts: 347000 | #Constraints: 14569
14.44/14.58 c #Conflicts: 348000 | #Constraints: 15569
14.44/14.58 c #Conflicts: 349000 | #Constraints: 16569
14.44/14.58 c #Conflicts: 350000 | #Constraints: 17569
14.44/14.58 c #Conflicts: 351000 | #Constraints: 18569
14.44/14.58 c #Conflicts: 352000 | #Constraints: 19569
14.44/14.58 c #Conflicts: 353000 | #Constraints: 20569
14.44/14.58 c #Conflicts: 354000 | #Constraints: 21569
14.44/14.58 c #Conflicts: 355000 | #Constraints: 22569
14.44/14.58 c #Conflicts: 356000 | #Constraints: 23569
14.44/14.58 c #Conflicts: 357000 | #Constraints: 24569
14.44/14.58 c INPROCESSING
14.44/14.58 c GARBAGE COLLECT
14.44/14.58 c rational objective 300.5
14.94/15.01 c #Conflicts: 358000 | #Constraints: 13762
14.94/15.01 c #Conflicts: 359000 | #Constraints: 14762
14.94/15.01 c #Conflicts: 360000 | #Constraints: 15762
14.94/15.01 c #Conflicts: 361000 | #Constraints: 16762
14.94/15.01 c #Conflicts: 362000 | #Constraints: 17762
14.94/15.01 c #Conflicts: 363000 | #Constraints: 18762
14.94/15.01 c #Conflicts: 364000 | #Constraints: 19762
14.94/15.01 c #Conflicts: 365000 | #Constraints: 20762
14.94/15.01 c #Conflicts: 366000 | #Constraints: 21762
14.94/15.01 c #Conflicts: 367000 | #Constraints: 22762
14.94/15.01 c #Conflicts: 368000 | #Constraints: 23762
14.94/15.01 c #Conflicts: 369000 | #Constraints: 24762
14.94/15.01 c INPROCESSING
14.94/15.01 c GARBAGE COLLECT
14.94/15.01 c rational objective 300.5
15.43/15.51 c #Conflicts: 370000 | #Constraints: 13775
15.43/15.51 c #Conflicts: 371000 | #Constraints: 14775
15.43/15.51 c #Conflicts: 372000 | #Constraints: 15775
15.43/15.51 c #Conflicts: 373000 | #Constraints: 16775
15.43/15.51 c #Conflicts: 374000 | #Constraints: 17775
15.43/15.51 c #Conflicts: 375000 | #Constraints: 18775
15.43/15.51 c #Conflicts: 376000 | #Constraints: 19775
15.43/15.51 c #Conflicts: 377000 | #Constraints: 20775
15.43/15.51 c #Conflicts: 378000 | #Constraints: 21775
15.43/15.51 c #Conflicts: 379000 | #Constraints: 22775
15.43/15.51 c #Conflicts: 380000 | #Constraints: 23775
15.43/15.51 c #Conflicts: 381000 | #Constraints: 24775
15.43/15.51 c INPROCESSING
15.43/15.51 c GARBAGE COLLECT
15.43/15.51 c rational objective 300.5
15.82/15.96 c #Conflicts: 382000 | #Constraints: 13572
15.82/15.96 c #Conflicts: 383000 | #Constraints: 14572
15.82/15.96 c #Conflicts: 384000 | #Constraints: 15572
15.82/15.96 c #Conflicts: 385000 | #Constraints: 16572
15.82/15.96 c #Conflicts: 386000 | #Constraints: 17572
15.82/15.96 c #Conflicts: 387000 | #Constraints: 18572
15.82/15.96 c #Conflicts: 388000 | #Constraints: 19572
15.82/15.96 c #Conflicts: 389000 | #Constraints: 20572
15.82/15.96 c #Conflicts: 390000 | #Constraints: 21572
15.82/15.96 c #Conflicts: 391000 | #Constraints: 22572
15.82/15.96 c #Conflicts: 392000 | #Constraints: 23572
15.82/15.96 c #Conflicts: 393000 | #Constraints: 24572
15.82/15.96 c #Conflicts: 394000 | #Constraints: 25572
15.82/15.96 c INPROCESSING
15.82/15.96 c GARBAGE COLLECT
15.82/15.96 c rational objective 300.5
16.32/16.47 c #Conflicts: 395000 | #Constraints: 14177
16.32/16.47 c #Conflicts: 396000 | #Constraints: 15177
16.32/16.47 c #Conflicts: 397000 | #Constraints: 16177
16.32/16.47 c #Conflicts: 398000 | #Constraints: 17177
16.32/16.47 c #Conflicts: 399000 | #Constraints: 18177
16.32/16.47 c #Conflicts: 400000 | #Constraints: 19177
16.32/16.47 c #Conflicts: 401000 | #Constraints: 20177
16.32/16.47 c #Conflicts: 402000 | #Constraints: 21177
16.32/16.47 c #Conflicts: 403000 | #Constraints: 22177
16.32/16.47 c #Conflicts: 404000 | #Constraints: 23177
16.32/16.47 c #Conflicts: 405000 | #Constraints: 24177
16.32/16.47 c #Conflicts: 406000 | #Constraints: 25177
16.32/16.47 c #Conflicts: 407000 | #Constraints: 26177
16.32/16.47 c INPROCESSING
16.32/16.47 c GARBAGE COLLECT
16.32/16.47 c rational objective 300.5
16.83/16.99 c #Conflicts: 408000 | #Constraints: 14573
16.83/16.99 c #Conflicts: 409000 | #Constraints: 15573
16.83/16.99 c #Conflicts: 410000 | #Constraints: 16573
16.83/16.99 c #Conflicts: 411000 | #Constraints: 17573
16.83/16.99 c #Conflicts: 412000 | #Constraints: 18573
16.83/16.99 c #Conflicts: 413000 | #Constraints: 19573
16.83/16.99 c #Conflicts: 414000 | #Constraints: 20573
16.83/16.99 c #Conflicts: 415000 | #Constraints: 21573
16.83/16.99 c #Conflicts: 416000 | #Constraints: 22573
16.83/16.99 c #Conflicts: 417000 | #Constraints: 23573
16.83/16.99 c #Conflicts: 418000 | #Constraints: 24573
16.83/16.99 c #Conflicts: 419000 | #Constraints: 25573
16.83/16.99 c #Conflicts: 420000 | #Constraints: 26573
16.83/16.99 c INPROCESSING
16.83/16.99 c GARBAGE COLLECT
16.83/16.99 c rational objective 300.5
17.42/17.55 c #Conflicts: 421000 | #Constraints: 14767
17.42/17.55 c #Conflicts: 422000 | #Constraints: 15767
17.42/17.55 c #Conflicts: 423000 | #Constraints: 16767
17.42/17.55 c #Conflicts: 424000 | #Constraints: 17767
17.42/17.55 c #Conflicts: 425000 | #Constraints: 18767
17.42/17.55 c #Conflicts: 426000 | #Constraints: 19767
17.42/17.55 c #Conflicts: 427000 | #Constraints: 20767
17.42/17.55 c #Conflicts: 428000 | #Constraints: 21767
17.42/17.55 c #Conflicts: 429000 | #Constraints: 22767
17.42/17.55 c #Conflicts: 430000 | #Constraints: 23767
17.42/17.55 c #Conflicts: 431000 | #Constraints: 24767
17.42/17.55 c #Conflicts: 432000 | #Constraints: 25767
17.42/17.55 c #Conflicts: 433000 | #Constraints: 26767
17.42/17.55 c INPROCESSING
17.42/17.55 c GARBAGE COLLECT
17.42/17.55 c rational objective 300.5
18.03/18.12 c #Conflicts: 434000 | #Constraints: 14776
18.03/18.12 c #Conflicts: 435000 | #Constraints: 15776
18.03/18.12 c #Conflicts: 436000 | #Constraints: 16776
18.03/18.12 c #Conflicts: 437000 | #Constraints: 17776
18.03/18.12 c #Conflicts: 438000 | #Constraints: 18776
18.03/18.12 c #Conflicts: 439000 | #Constraints: 19776
18.03/18.12 c #Conflicts: 440000 | #Constraints: 20776
18.03/18.12 c #Conflicts: 441000 | #Constraints: 21776
18.03/18.12 c #Conflicts: 442000 | #Constraints: 22776
18.03/18.12 c #Conflicts: 443000 | #Constraints: 23776
18.03/18.12 c #Conflicts: 444000 | #Constraints: 24776
18.03/18.12 c #Conflicts: 445000 | #Constraints: 25776
18.03/18.12 c #Conflicts: 446000 | #Constraints: 26776
18.03/18.12 c INPROCESSING
18.03/18.12 c GARBAGE COLLECT
18.03/18.12 c rational objective 300.5
18.52/18.67 c #Conflicts: 447000 | #Constraints: 14580
18.52/18.67 c #Conflicts: 448000 | #Constraints: 15580
18.52/18.67 c #Conflicts: 449000 | #Constraints: 16580
18.52/18.67 c #Conflicts: 450000 | #Constraints: 17580
18.52/18.67 c #Conflicts: 451000 | #Constraints: 18580
18.52/18.67 c #Conflicts: 452000 | #Constraints: 19580
18.52/18.67 c #Conflicts: 453000 | #Constraints: 20580
18.52/18.67 c #Conflicts: 454000 | #Constraints: 21580
18.52/18.67 c #Conflicts: 455000 | #Constraints: 22580
18.52/18.67 c #Conflicts: 456000 | #Constraints: 23580
18.52/18.67 c #Conflicts: 457000 | #Constraints: 24580
18.52/18.67 c #Conflicts: 458000 | #Constraints: 25580
18.52/18.67 c #Conflicts: 459000 | #Constraints: 26580
18.52/18.67 c #Conflicts: 460000 | #Constraints: 27580
18.52/18.67 c INPROCESSING
18.52/18.67 c GARBAGE COLLECT
18.52/18.67 c rational objective 300.5
19.12/19.26 c #Conflicts: 461000 | #Constraints: 15178
19.12/19.26 c #Conflicts: 462000 | #Constraints: 16178
19.12/19.26 c #Conflicts: 463000 | #Constraints: 17178
19.12/19.26 c #Conflicts: 464000 | #Constraints: 18178
19.12/19.26 c #Conflicts: 465000 | #Constraints: 19178
19.12/19.26 c #Conflicts: 466000 | #Constraints: 20178
19.12/19.26 c #Conflicts: 467000 | #Constraints: 21178
19.12/19.26 c #Conflicts: 468000 | #Constraints: 22178
19.12/19.26 c #Conflicts: 469000 | #Constraints: 23178
19.12/19.26 c #Conflicts: 470000 | #Constraints: 24178
19.12/19.26 c #Conflicts: 471000 | #Constraints: 25178
19.12/19.26 c #Conflicts: 472000 | #Constraints: 26178
19.12/19.26 c #Conflicts: 473000 | #Constraints: 27178
19.12/19.26 c #Conflicts: 474000 | #Constraints: 28178
19.12/19.26 c INPROCESSING
19.12/19.26 c GARBAGE COLLECT
19.12/19.26 c rational objective 300.5
19.72/19.89 c #Conflicts: 475000 | #Constraints: 15582
19.72/19.89 c #Conflicts: 476000 | #Constraints: 16582
19.72/19.89 c #Conflicts: 477000 | #Constraints: 17582
19.72/19.89 c #Conflicts: 478000 | #Constraints: 18582
19.72/19.89 c #Conflicts: 479000 | #Constraints: 19582
19.72/19.89 c #Conflicts: 480000 | #Constraints: 20582
19.72/19.89 c #Conflicts: 481000 | #Constraints: 21582
19.72/19.89 c #Conflicts: 482000 | #Constraints: 22582
19.72/19.89 c #Conflicts: 483000 | #Constraints: 23582
19.72/19.89 c #Conflicts: 484000 | #Constraints: 24582
19.72/19.89 c #Conflicts: 485000 | #Constraints: 25582
19.72/19.89 c #Conflicts: 486000 | #Constraints: 26582
19.72/19.89 c #Conflicts: 487000 | #Constraints: 27582
19.72/19.89 c #Conflicts: 488000 | #Constraints: 28582
19.72/19.89 c INPROCESSING
19.72/19.89 c GARBAGE COLLECT
19.72/19.89 c rational objective 300.5
20.32/20.48 c #Conflicts: 489000 | #Constraints: 15787
20.32/20.48 c #Conflicts: 490000 | #Constraints: 16787
20.32/20.48 c #Conflicts: 491000 | #Constraints: 17787
20.32/20.48 c #Conflicts: 492000 | #Constraints: 18787
20.32/20.48 c #Conflicts: 493000 | #Constraints: 19787
20.32/20.48 c #Conflicts: 494000 | #Constraints: 20787
20.32/20.48 c #Conflicts: 495000 | #Constraints: 21787
20.32/20.48 c #Conflicts: 496000 | #Constraints: 22787
20.32/20.48 c #Conflicts: 497000 | #Constraints: 23787
20.32/20.48 c #Conflicts: 498000 | #Constraints: 24787
20.32/20.48 c #Conflicts: 499000 | #Constraints: 25787
20.32/20.48 c #Conflicts: 500000 | #Constraints: 26787
20.32/20.48 c #Conflicts: 501000 | #Constraints: 27787
20.32/20.48 c #Conflicts: 502000 | #Constraints: 28787
20.32/20.48 c INPROCESSING
20.32/20.48 c GARBAGE COLLECT
20.32/20.48 c rational objective 300.5
21.02/21.11 c #Conflicts: 503000 | #Constraints: 15791
21.02/21.11 c #Conflicts: 504000 | #Constraints: 16791
21.02/21.11 c #Conflicts: 505000 | #Constraints: 17791
21.02/21.11 c #Conflicts: 506000 | #Constraints: 18791
21.02/21.11 c #Conflicts: 507000 | #Constraints: 19791
21.02/21.11 c #Conflicts: 508000 | #Constraints: 20791
21.02/21.11 c #Conflicts: 509000 | #Constraints: 21791
21.02/21.11 c #Conflicts: 510000 | #Constraints: 22791
21.02/21.11 c #Conflicts: 511000 | #Constraints: 23791
21.02/21.11 c #Conflicts: 512000 | #Constraints: 24791
21.02/21.11 c #Conflicts: 513000 | #Constraints: 25791
21.02/21.11 c #Conflicts: 514000 | #Constraints: 26791
21.02/21.11 c #Conflicts: 515000 | #Constraints: 27791
21.02/21.11 c #Conflicts: 516000 | #Constraints: 28791
21.02/21.11 c INPROCESSING
21.02/21.11 c GARBAGE COLLECT
21.02/21.11 c rational objective 300.5
21.52/21.69 c #Conflicts: 517000 | #Constraints: 15591
21.52/21.69 c #Conflicts: 518000 | #Constraints: 16591
21.52/21.69 c #Conflicts: 519000 | #Constraints: 17591
21.52/21.69 c #Conflicts: 520000 | #Constraints: 18591
21.52/21.69 c #Conflicts: 521000 | #Constraints: 19591
21.52/21.69 c #Conflicts: 522000 | #Constraints: 20591
21.52/21.69 c #Conflicts: 523000 | #Constraints: 21591
21.52/21.69 c #Conflicts: 524000 | #Constraints: 22591
21.52/21.69 c #Conflicts: 525000 | #Constraints: 23591
21.52/21.69 c #Conflicts: 526000 | #Constraints: 24591
21.52/21.69 c #Conflicts: 527000 | #Constraints: 25591
21.52/21.69 c #Conflicts: 528000 | #Constraints: 26591
21.52/21.69 c #Conflicts: 529000 | #Constraints: 27591
21.52/21.69 c #Conflicts: 530000 | #Constraints: 28591
21.52/21.69 c #Conflicts: 531000 | #Constraints: 29591
21.52/21.69 c INPROCESSING
21.52/21.69 c GARBAGE COLLECT
21.52/21.69 c rational objective 300.5
22.11/22.29 c #Conflicts: 532000 | #Constraints: 16193
22.11/22.29 c #Conflicts: 533000 | #Constraints: 17193
22.11/22.29 c #Conflicts: 534000 | #Constraints: 18193
22.11/22.29 c #Conflicts: 535000 | #Constraints: 19193
22.11/22.29 c #Conflicts: 536000 | #Constraints: 20193
22.11/22.29 c #Conflicts: 537000 | #Constraints: 21193
22.11/22.29 c #Conflicts: 538000 | #Constraints: 22193
22.11/22.29 c #Conflicts: 539000 | #Constraints: 23193
22.11/22.29 c #Conflicts: 540000 | #Constraints: 24193
22.11/22.29 c #Conflicts: 541000 | #Constraints: 25193
22.11/22.29 c #Conflicts: 542000 | #Constraints: 26193
22.11/22.29 c #Conflicts: 543000 | #Constraints: 27193
22.11/22.29 c #Conflicts: 544000 | #Constraints: 28193
22.11/22.29 c #Conflicts: 545000 | #Constraints: 29193
22.11/22.29 c #Conflicts: 546000 | #Constraints: 30193
22.11/22.29 c INPROCESSING
22.11/22.29 c GARBAGE COLLECT
22.11/22.29 c rational objective 300.5
22.81/22.94 c #Conflicts: 547000 | #Constraints: 16595
22.81/22.94 c #Conflicts: 548000 | #Constraints: 17595
22.81/22.94 c #Conflicts: 549000 | #Constraints: 18595
22.81/22.94 c #Conflicts: 550000 | #Constraints: 19595
22.81/22.94 c #Conflicts: 551000 | #Constraints: 20595
22.81/22.94 c #Conflicts: 552000 | #Constraints: 21595
22.81/22.94 c #Conflicts: 553000 | #Constraints: 22595
22.81/22.94 c #Conflicts: 554000 | #Constraints: 23595
22.81/22.94 c #Conflicts: 555000 | #Constraints: 24595
22.81/22.94 c #Conflicts: 556000 | #Constraints: 25595
22.81/22.94 c #Conflicts: 557000 | #Constraints: 26595
22.81/22.94 c #Conflicts: 558000 | #Constraints: 27595
22.81/22.94 c #Conflicts: 559000 | #Constraints: 28595
22.81/22.94 c #Conflicts: 560000 | #Constraints: 29595
22.81/22.94 c #Conflicts: 561000 | #Constraints: 30595
22.81/22.94 c INPROCESSING
22.81/22.94 c GARBAGE COLLECT
22.81/22.94 c rational objective 300.5
23.40/23.53 c #Conflicts: 562000 | #Constraints: 16787
23.40/23.53 c #Conflicts: 563000 | #Constraints: 17787
23.40/23.53 c #Conflicts: 564000 | #Constraints: 18787
23.40/23.53 c #Conflicts: 565000 | #Constraints: 19787
23.40/23.53 c #Conflicts: 566000 | #Constraints: 20787
23.40/23.53 c #Conflicts: 567000 | #Constraints: 21787
23.40/23.53 c #Conflicts: 568000 | #Constraints: 22787
23.40/23.53 c #Conflicts: 569000 | #Constraints: 23787
23.40/23.53 c #Conflicts: 570000 | #Constraints: 24787
23.40/23.53 c #Conflicts: 571000 | #Constraints: 25787
23.40/23.53 c #Conflicts: 572000 | #Constraints: 26787
23.40/23.53 c #Conflicts: 573000 | #Constraints: 27787
23.40/23.53 c #Conflicts: 574000 | #Constraints: 28787
23.40/23.53 c #Conflicts: 575000 | #Constraints: 29787
23.40/23.53 c #Conflicts: 576000 | #Constraints: 30787
23.40/23.53 c INPROCESSING
23.40/23.53 c GARBAGE COLLECT
23.40/23.53 c rational objective 300.5
24.01/24.16 c #Conflicts: 577000 | #Constraints: 16797
24.01/24.16 c #Conflicts: 578000 | #Constraints: 17797
24.01/24.16 c #Conflicts: 579000 | #Constraints: 18797
24.01/24.16 c #Conflicts: 580000 | #Constraints: 19797
24.01/24.16 c #Conflicts: 581000 | #Constraints: 20797
24.01/24.16 c #Conflicts: 582000 | #Constraints: 21797
24.01/24.16 c #Conflicts: 583000 | #Constraints: 22797
24.01/24.16 c #Conflicts: 584000 | #Constraints: 23797
24.01/24.16 c #Conflicts: 585000 | #Constraints: 24797
24.01/24.16 c #Conflicts: 586000 | #Constraints: 25797
24.01/24.16 c #Conflicts: 587000 | #Constraints: 26797
24.01/24.16 c #Conflicts: 588000 | #Constraints: 27797
24.01/24.16 c #Conflicts: 589000 | #Constraints: 28797
24.01/24.16 c #Conflicts: 590000 | #Constraints: 29797
24.01/24.16 c #Conflicts: 591000 | #Constraints: 30797
24.01/24.16 c INPROCESSING
24.01/24.16 c GARBAGE COLLECT
24.01/24.16 c rational objective 300.5
24.71/24.87 c #Conflicts: 592000 | #Constraints: 16599
24.71/24.87 c #Conflicts: 593000 | #Constraints: 17599
24.71/24.87 c #Conflicts: 594000 | #Constraints: 18599
24.71/24.87 c #Conflicts: 595000 | #Constraints: 19599
24.71/24.87 c #Conflicts: 596000 | #Constraints: 20599
24.71/24.87 c #Conflicts: 597000 | #Constraints: 21599
24.71/24.87 c #Conflicts: 598000 | #Constraints: 22599
24.71/24.87 c #Conflicts: 599000 | #Constraints: 23599
24.71/24.87 c #Conflicts: 600000 | #Constraints: 24599
24.71/24.87 c #Conflicts: 601000 | #Constraints: 25599
24.71/24.87 c #Conflicts: 602000 | #Constraints: 26599
24.71/24.87 c #Conflicts: 603000 | #Constraints: 27599
24.71/24.87 c #Conflicts: 604000 | #Constraints: 28599
24.71/24.87 c #Conflicts: 605000 | #Constraints: 29599
24.71/24.87 c #Conflicts: 606000 | #Constraints: 30599
24.71/24.87 c #Conflicts: 607000 | #Constraints: 31599
24.71/24.87 c INPROCESSING
24.71/24.87 c GARBAGE COLLECT
24.71/24.87 c rational objective 300.5
25.40/25.54 c #Conflicts: 608000 | #Constraints: 17197
25.40/25.54 c #Conflicts: 609000 | #Constraints: 18197
25.40/25.54 c #Conflicts: 610000 | #Constraints: 19197
25.40/25.54 c #Conflicts: 611000 | #Constraints: 20197
25.40/25.54 c #Conflicts: 612000 | #Constraints: 21197
25.40/25.54 c #Conflicts: 613000 | #Constraints: 22197
25.40/25.54 c #Conflicts: 614000 | #Constraints: 23197
25.40/25.54 c #Conflicts: 615000 | #Constraints: 24197
25.40/25.54 c #Conflicts: 616000 | #Constraints: 25197
25.40/25.54 c #Conflicts: 617000 | #Constraints: 26197
25.40/25.54 c #Conflicts: 618000 | #Constraints: 27197
25.40/25.54 c #Conflicts: 619000 | #Constraints: 28197
25.40/25.54 c #Conflicts: 620000 | #Constraints: 29197
25.40/25.54 c #Conflicts: 621000 | #Constraints: 30197
25.40/25.54 c #Conflicts: 622000 | #Constraints: 31197
25.40/25.54 c #Conflicts: 623000 | #Constraints: 32197
25.40/25.54 c INPROCESSING
25.40/25.54 c GARBAGE COLLECT
25.40/25.54 c rational objective 300.5
26.10/26.22 c #Conflicts: 624000 | #Constraints: 17595
26.10/26.22 c #Conflicts: 625000 | #Constraints: 18595
26.10/26.22 c #Conflicts: 626000 | #Constraints: 19595
26.10/26.22 c #Conflicts: 627000 | #Constraints: 20595
26.10/26.22 c #Conflicts: 628000 | #Constraints: 21595
26.10/26.22 c #Conflicts: 629000 | #Constraints: 22595
26.10/26.22 c #Conflicts: 630000 | #Constraints: 23595
26.10/26.22 c #Conflicts: 631000 | #Constraints: 24595
26.10/26.22 c #Conflicts: 632000 | #Constraints: 25595
26.10/26.22 c #Conflicts: 633000 | #Constraints: 26595
26.10/26.22 c #Conflicts: 634000 | #Constraints: 27595
26.10/26.22 c #Conflicts: 635000 | #Constraints: 28595
26.10/26.22 c #Conflicts: 636000 | #Constraints: 29595
26.10/26.22 c #Conflicts: 637000 | #Constraints: 30595
26.10/26.22 c #Conflicts: 638000 | #Constraints: 31595
26.10/26.22 c #Conflicts: 639000 | #Constraints: 32595
26.10/26.22 c INPROCESSING
26.10/26.22 c GARBAGE COLLECT
26.10/26.22 c rational objective 300.5
26.69/26.88 c #Conflicts: 640000 | #Constraints: 17795
26.69/26.88 c #Conflicts: 641000 | #Constraints: 18795
26.69/26.88 c #Conflicts: 642000 | #Constraints: 19795
26.69/26.88 c #Conflicts: 643000 | #Constraints: 20795
26.69/26.88 c #Conflicts: 644000 | #Constraints: 21795
26.69/26.88 c #Conflicts: 645000 | #Constraints: 22795
26.69/26.88 c #Conflicts: 646000 | #Constraints: 23795
26.69/26.88 c #Conflicts: 647000 | #Constraints: 24795
26.69/26.88 c #Conflicts: 648000 | #Constraints: 25795
26.69/26.88 c #Conflicts: 649000 | #Constraints: 26795
26.69/26.88 c #Conflicts: 650000 | #Constraints: 27795
26.69/26.88 c #Conflicts: 651000 | #Constraints: 28795
26.69/26.88 c #Conflicts: 652000 | #Constraints: 29795
26.69/26.88 c #Conflicts: 653000 | #Constraints: 30795
26.69/26.88 c #Conflicts: 654000 | #Constraints: 31795
26.69/26.88 c #Conflicts: 655000 | #Constraints: 32795
26.69/26.88 c INPROCESSING
26.69/26.88 c GARBAGE COLLECT
26.69/26.88 c rational objective 300.5
27.39/27.59 c #Conflicts: 656000 | #Constraints: 17796
27.39/27.59 c #Conflicts: 657000 | #Constraints: 18796
27.39/27.59 c #Conflicts: 658000 | #Constraints: 19796
27.39/27.59 c #Conflicts: 659000 | #Constraints: 20796
27.39/27.59 c #Conflicts: 660000 | #Constraints: 21796
27.39/27.59 c #Conflicts: 661000 | #Constraints: 22796
27.39/27.59 c #Conflicts: 662000 | #Constraints: 23796
27.39/27.59 c #Conflicts: 663000 | #Constraints: 24796
27.39/27.59 c #Conflicts: 664000 | #Constraints: 25796
27.39/27.59 c #Conflicts: 665000 | #Constraints: 26796
27.39/27.59 c #Conflicts: 666000 | #Constraints: 27796
27.39/27.59 c #Conflicts: 667000 | #Constraints: 28796
27.39/27.59 c #Conflicts: 668000 | #Constraints: 29796
27.39/27.59 c #Conflicts: 669000 | #Constraints: 30796
27.39/27.59 c #Conflicts: 670000 | #Constraints: 31796
27.39/27.59 c #Conflicts: 671000 | #Constraints: 32796
27.39/27.59 c INPROCESSING
27.39/27.59 c GARBAGE COLLECT
27.39/27.59 c rational objective 300.5
28.19/28.31 c #Conflicts: 672000 | #Constraints: 17595
28.19/28.31 c #Conflicts: 673000 | #Constraints: 18595
28.19/28.31 c #Conflicts: 674000 | #Constraints: 19595
28.19/28.31 c #Conflicts: 675000 | #Constraints: 20595
28.19/28.31 c #Conflicts: 676000 | #Constraints: 21595
28.19/28.31 c #Conflicts: 677000 | #Constraints: 22595
28.19/28.31 c #Conflicts: 678000 | #Constraints: 23595
28.19/28.31 c #Conflicts: 679000 | #Constraints: 24595
28.19/28.31 c #Conflicts: 680000 | #Constraints: 25595
28.19/28.31 c #Conflicts: 681000 | #Constraints: 26595
28.19/28.31 c #Conflicts: 682000 | #Constraints: 27595
28.19/28.31 c #Conflicts: 683000 | #Constraints: 28595
28.19/28.31 c #Conflicts: 684000 | #Constraints: 29595
28.19/28.31 c #Conflicts: 685000 | #Constraints: 30595
28.19/28.31 c #Conflicts: 686000 | #Constraints: 31595
28.19/28.31 c #Conflicts: 687000 | #Constraints: 32595
28.19/28.31 c #Conflicts: 688000 | #Constraints: 33595
28.19/28.31 c INPROCESSING
28.19/28.31 c GARBAGE COLLECT
28.19/28.31 c rational objective 300.5
28.90/29.02 c #Conflicts: 689000 | #Constraints: 18197
28.90/29.02 c #Conflicts: 690000 | #Constraints: 19197
28.90/29.02 c #Conflicts: 691000 | #Constraints: 20197
28.90/29.02 c #Conflicts: 692000 | #Constraints: 21197
28.90/29.02 c #Conflicts: 693000 | #Constraints: 22197
28.90/29.02 c #Conflicts: 694000 | #Constraints: 23197
28.90/29.02 c #Conflicts: 695000 | #Constraints: 24197
28.90/29.02 c #Conflicts: 696000 | #Constraints: 25197
28.90/29.02 c #Conflicts: 697000 | #Constraints: 26197
28.90/29.02 c #Conflicts: 698000 | #Constraints: 27197
28.90/29.02 c #Conflicts: 699000 | #Constraints: 28197
28.90/29.02 c #Conflicts: 700000 | #Constraints: 29197
28.90/29.02 c #Conflicts: 701000 | #Constraints: 30197
28.90/29.02 c #Conflicts: 702000 | #Constraints: 31197
28.90/29.02 c #Conflicts: 703000 | #Constraints: 32197
28.90/29.02 c #Conflicts: 704000 | #Constraints: 33197
28.90/29.02 c #Conflicts: 705000 | #Constraints: 34197
28.90/29.02 c INPROCESSING
28.90/29.02 c GARBAGE COLLECT
28.90/29.02 c rational objective 300.5
29.69/29.80 c #Conflicts: 706000 | #Constraints: 18594
29.69/29.80 c #Conflicts: 707000 | #Constraints: 19594
29.69/29.80 c #Conflicts: 708000 | #Constraints: 20594
29.69/29.80 c #Conflicts: 709000 | #Constraints: 21594
29.69/29.80 c #Conflicts: 710000 | #Constraints: 22594
29.69/29.80 c #Conflicts: 711000 | #Constraints: 23594
29.69/29.80 c #Conflicts: 712000 | #Constraints: 24594
29.69/29.80 c #Conflicts: 713000 | #Constraints: 25594
29.69/29.80 c #Conflicts: 714000 | #Constraints: 26594
29.69/29.80 c #Conflicts: 715000 | #Constraints: 27594
29.69/29.80 c #Conflicts: 716000 | #Constraints: 28594
29.69/29.80 c #Conflicts: 717000 | #Constraints: 29594
29.69/29.80 c #Conflicts: 718000 | #Constraints: 30594
29.69/29.80 c #Conflicts: 719000 | #Constraints: 31594
29.69/29.80 c #Conflicts: 720000 | #Constraints: 32594
29.69/29.80 c #Conflicts: 721000 | #Constraints: 33594
29.69/29.80 c #Conflicts: 722000 | #Constraints: 34594
29.69/29.80 c INPROCESSING
29.69/29.80 c GARBAGE COLLECT
29.69/29.80 c rational objective 300.5
30.39/30.56 c #Conflicts: 723000 | #Constraints: 18796
30.39/30.56 c #Conflicts: 724000 | #Constraints: 19796
30.39/30.56 c #Conflicts: 725000 | #Constraints: 20796
30.39/30.56 c #Conflicts: 726000 | #Constraints: 21796
30.39/30.56 c #Conflicts: 727000 | #Constraints: 22796
30.39/30.56 c #Conflicts: 728000 | #Constraints: 23796
30.39/30.56 c #Conflicts: 729000 | #Constraints: 24796
30.39/30.56 c #Conflicts: 730000 | #Constraints: 25796
30.39/30.56 c #Conflicts: 731000 | #Constraints: 26796
30.39/30.56 c #Conflicts: 732000 | #Constraints: 27796
30.39/30.56 c #Conflicts: 733000 | #Constraints: 28796
30.39/30.56 c #Conflicts: 734000 | #Constraints: 29796
30.39/30.56 c #Conflicts: 735000 | #Constraints: 30796
30.39/30.56 c #Conflicts: 736000 | #Constraints: 31796
30.39/30.56 c #Conflicts: 737000 | #Constraints: 32796
30.39/30.56 c #Conflicts: 738000 | #Constraints: 33796
30.39/30.56 c #Conflicts: 739000 | #Constraints: 34796
30.39/30.56 c INPROCESSING
30.39/30.56 c GARBAGE COLLECT
30.39/30.56 c rational objective 300.5
31.19/31.33 c #Conflicts: 740000 | #Constraints: 18795
31.19/31.33 c #Conflicts: 741000 | #Constraints: 19795
31.19/31.33 c #Conflicts: 742000 | #Constraints: 20795
31.19/31.33 c #Conflicts: 743000 | #Constraints: 21795
31.19/31.33 c #Conflicts: 744000 | #Constraints: 22795
31.19/31.33 c #Conflicts: 745000 | #Constraints: 23795
31.19/31.33 c #Conflicts: 746000 | #Constraints: 24795
31.19/31.33 c #Conflicts: 747000 | #Constraints: 25795
31.19/31.33 c #Conflicts: 748000 | #Constraints: 26795
31.19/31.33 c #Conflicts: 749000 | #Constraints: 27795
31.19/31.33 c #Conflicts: 750000 | #Constraints: 28795
31.19/31.33 c #Conflicts: 751000 | #Constraints: 29795
31.19/31.33 c #Conflicts: 752000 | #Constraints: 30795
31.19/31.33 c #Conflicts: 753000 | #Constraints: 31795
31.19/31.33 c #Conflicts: 754000 | #Constraints: 32795
31.19/31.33 c #Conflicts: 755000 | #Constraints: 33795
31.19/31.33 c #Conflicts: 756000 | #Constraints: 34795
31.19/31.33 c INPROCESSING
31.19/31.33 c GARBAGE COLLECT
31.19/31.33 c rational objective 300.5
31.98/32.12 c #Conflicts: 757000 | #Constraints: 18596
31.98/32.12 c #Conflicts: 758000 | #Constraints: 19596
31.98/32.12 c #Conflicts: 759000 | #Constraints: 20596
31.98/32.12 c #Conflicts: 760000 | #Constraints: 21596
31.98/32.12 c #Conflicts: 761000 | #Constraints: 22596
31.98/32.12 c #Conflicts: 762000 | #Constraints: 23596
31.98/32.12 c #Conflicts: 763000 | #Constraints: 24596
31.98/32.12 c #Conflicts: 764000 | #Constraints: 25596
31.98/32.12 c #Conflicts: 765000 | #Constraints: 26596
31.98/32.12 c #Conflicts: 766000 | #Constraints: 27596
31.98/32.12 c #Conflicts: 767000 | #Constraints: 28596
31.98/32.12 c #Conflicts: 768000 | #Constraints: 29596
31.98/32.12 c #Conflicts: 769000 | #Constraints: 30596
31.98/32.12 c #Conflicts: 770000 | #Constraints: 31596
31.98/32.12 c #Conflicts: 771000 | #Constraints: 32596
31.98/32.12 c #Conflicts: 772000 | #Constraints: 33596
31.98/32.12 c #Conflicts: 773000 | #Constraints: 34596
31.98/32.12 c #Conflicts: 774000 | #Constraints: 35596
31.98/32.12 c INPROCESSING
31.98/32.12 c GARBAGE COLLECT
31.98/32.12 c rational objective 300.5
32.78/32.94 c #Conflicts: 775000 | #Constraints: 19194
32.78/32.94 c #Conflicts: 776000 | #Constraints: 20194
32.78/32.94 c #Conflicts: 777000 | #Constraints: 21194
32.78/32.94 c #Conflicts: 778000 | #Constraints: 22194
32.78/32.94 c #Conflicts: 779000 | #Constraints: 23194
32.78/32.94 c #Conflicts: 780000 | #Constraints: 24194
32.78/32.94 c #Conflicts: 781000 | #Constraints: 25194
32.78/32.94 c #Conflicts: 782000 | #Constraints: 26194
32.78/32.94 c #Conflicts: 783000 | #Constraints: 27194
32.78/32.94 c #Conflicts: 784000 | #Constraints: 28194
32.78/32.94 c #Conflicts: 785000 | #Constraints: 29194
32.78/32.94 c #Conflicts: 786000 | #Constraints: 30194
32.78/32.94 c #Conflicts: 787000 | #Constraints: 31194
32.78/32.94 c #Conflicts: 788000 | #Constraints: 32194
32.78/32.94 c #Conflicts: 789000 | #Constraints: 33194
32.78/32.94 c #Conflicts: 790000 | #Constraints: 34194
32.78/32.94 c #Conflicts: 791000 | #Constraints: 35194
32.78/32.94 c #Conflicts: 792000 | #Constraints: 36194
32.78/32.94 c INPROCESSING
32.78/32.94 c GARBAGE COLLECT
32.78/32.94 c rational objective 300.5
33.58/33.75 c #Conflicts: 793000 | #Constraints: 19597
33.58/33.75 c #Conflicts: 794000 | #Constraints: 20597
33.58/33.75 c #Conflicts: 795000 | #Constraints: 21597
33.58/33.75 c #Conflicts: 796000 | #Constraints: 22597
33.58/33.75 c #Conflicts: 797000 | #Constraints: 23597
33.58/33.75 c #Conflicts: 798000 | #Constraints: 24597
33.58/33.75 c #Conflicts: 799000 | #Constraints: 25597
33.58/33.75 c #Conflicts: 800000 | #Constraints: 26597
33.58/33.75 c #Conflicts: 801000 | #Constraints: 27597
33.58/33.75 c #Conflicts: 802000 | #Constraints: 28597
33.58/33.75 c #Conflicts: 803000 | #Constraints: 29597
33.58/33.75 c #Conflicts: 804000 | #Constraints: 30597
33.58/33.75 c #Conflicts: 805000 | #Constraints: 31597
33.58/33.75 c #Conflicts: 806000 | #Constraints: 32597
33.58/33.75 c #Conflicts: 807000 | #Constraints: 33597
33.58/33.75 c #Conflicts: 808000 | #Constraints: 34597
33.58/33.75 c #Conflicts: 809000 | #Constraints: 35597
33.58/33.75 c #Conflicts: 810000 | #Constraints: 36597
33.58/33.75 c INPROCESSING
33.58/33.75 c GARBAGE COLLECT
33.58/33.75 c rational objective 300.5
34.38/34.57 c #Conflicts: 811000 | #Constraints: 19796
34.38/34.57 c #Conflicts: 812000 | #Constraints: 20796
34.38/34.57 c #Conflicts: 813000 | #Constraints: 21796
34.38/34.57 c #Conflicts: 814000 | #Constraints: 22796
34.38/34.57 c #Conflicts: 815000 | #Constraints: 23796
34.38/34.57 c #Conflicts: 816000 | #Constraints: 24796
34.38/34.57 c #Conflicts: 817000 | #Constraints: 25796
34.38/34.57 c #Conflicts: 818000 | #Constraints: 26796
34.38/34.57 c #Conflicts: 819000 | #Constraints: 27796
34.38/34.57 c #Conflicts: 820000 | #Constraints: 28796
34.38/34.57 c #Conflicts: 821000 | #Constraints: 29796
34.38/34.57 c #Conflicts: 822000 | #Constraints: 30796
34.38/34.57 c #Conflicts: 823000 | #Constraints: 31796
34.38/34.57 c #Conflicts: 824000 | #Constraints: 32796
34.38/34.57 c #Conflicts: 825000 | #Constraints: 33796
34.38/34.57 c #Conflicts: 826000 | #Constraints: 34796
34.38/34.57 c #Conflicts: 827000 | #Constraints: 35796
34.38/34.57 c #Conflicts: 828000 | #Constraints: 36796
34.38/34.57 c INPROCESSING
34.38/34.57 c GARBAGE COLLECT
34.38/34.57 c rational objective 300.5
35.27/35.43 c #Conflicts: 829000 | #Constraints: 19799
35.27/35.43 c #Conflicts: 830000 | #Constraints: 20799
35.27/35.43 c #Conflicts: 831000 | #Constraints: 21799
35.27/35.43 c #Conflicts: 832000 | #Constraints: 22799
35.27/35.43 c #Conflicts: 833000 | #Constraints: 23799
35.27/35.43 c #Conflicts: 834000 | #Constraints: 24799
35.27/35.43 c #Conflicts: 835000 | #Constraints: 25799
35.27/35.43 c #Conflicts: 836000 | #Constraints: 26799
35.27/35.43 c #Conflicts: 837000 | #Constraints: 27799
35.27/35.43 c #Conflicts: 838000 | #Constraints: 28799
35.27/35.43 c #Conflicts: 839000 | #Constraints: 29799
35.27/35.43 c #Conflicts: 840000 | #Constraints: 30799
35.27/35.43 c #Conflicts: 841000 | #Constraints: 31799
35.27/35.43 c #Conflicts: 842000 | #Constraints: 32799
35.27/35.43 c #Conflicts: 843000 | #Constraints: 33799
35.27/35.43 c #Conflicts: 844000 | #Constraints: 34799
35.27/35.43 c #Conflicts: 845000 | #Constraints: 35799
35.27/35.43 c #Conflicts: 846000 | #Constraints: 36799
35.27/35.43 c INPROCESSING
35.27/35.43 c GARBAGE COLLECT
35.27/35.43 c rational objective 300.5
36.07/36.28 c #Conflicts: 847000 | #Constraints: 19596
36.07/36.28 c #Conflicts: 848000 | #Constraints: 20596
36.07/36.28 c #Conflicts: 849000 | #Constraints: 21596
36.07/36.28 c #Conflicts: 850000 | #Constraints: 22596
36.07/36.28 c #Conflicts: 851000 | #Constraints: 23596
36.07/36.28 c #Conflicts: 852000 | #Constraints: 24596
36.07/36.28 c #Conflicts: 853000 | #Constraints: 25596
36.07/36.28 c #Conflicts: 854000 | #Constraints: 26596
36.07/36.28 c #Conflicts: 855000 | #Constraints: 27596
36.07/36.28 c #Conflicts: 856000 | #Constraints: 28596
36.07/36.28 c #Conflicts: 857000 | #Constraints: 29596
36.07/36.28 c #Conflicts: 858000 | #Constraints: 30596
36.07/36.28 c #Conflicts: 859000 | #Constraints: 31596
36.07/36.28 c #Conflicts: 860000 | #Constraints: 32596
36.07/36.28 c #Conflicts: 861000 | #Constraints: 33596
36.07/36.28 c #Conflicts: 862000 | #Constraints: 34596
36.07/36.28 c #Conflicts: 863000 | #Constraints: 35596
36.07/36.28 c #Conflicts: 864000 | #Constraints: 36596
36.07/36.28 c #Conflicts: 865000 | #Constraints: 37596
36.07/36.28 c INPROCESSING
36.07/36.28 c GARBAGE COLLECT
36.07/36.28 c rational objective 300.5
37.07/37.20 c #Conflicts: 866000 | #Constraints: 20197
37.07/37.20 c #Conflicts: 867000 | #Constraints: 21197
37.07/37.20 c #Conflicts: 868000 | #Constraints: 22197
37.07/37.20 c #Conflicts: 869000 | #Constraints: 23197
37.07/37.20 c #Conflicts: 870000 | #Constraints: 24197
37.07/37.20 c #Conflicts: 871000 | #Constraints: 25197
37.07/37.20 c #Conflicts: 872000 | #Constraints: 26197
37.07/37.20 c #Conflicts: 873000 | #Constraints: 27197
37.07/37.20 c #Conflicts: 874000 | #Constraints: 28197
37.07/37.20 c #Conflicts: 875000 | #Constraints: 29197
37.07/37.20 c #Conflicts: 876000 | #Constraints: 30197
37.07/37.20 c #Conflicts: 877000 | #Constraints: 31197
37.07/37.20 c #Conflicts: 878000 | #Constraints: 32197
37.07/37.20 c #Conflicts: 879000 | #Constraints: 33197
37.07/37.20 c #Conflicts: 880000 | #Constraints: 34197
37.07/37.20 c #Conflicts: 881000 | #Constraints: 35197
37.07/37.20 c #Conflicts: 882000 | #Constraints: 36197
37.07/37.20 c #Conflicts: 883000 | #Constraints: 37197
37.07/37.20 c #Conflicts: 884000 | #Constraints: 38197
37.07/37.20 c INPROCESSING
37.07/37.20 c GARBAGE COLLECT
37.07/37.20 c rational objective 300.5
37.87/38.10 c #Conflicts: 885000 | #Constraints: 20594
37.87/38.10 c #Conflicts: 886000 | #Constraints: 21594
37.87/38.10 c #Conflicts: 887000 | #Constraints: 22594
37.87/38.10 c #Conflicts: 888000 | #Constraints: 23594
37.87/38.10 c #Conflicts: 889000 | #Constraints: 24594
37.87/38.10 c #Conflicts: 890000 | #Constraints: 25594
37.87/38.10 c #Conflicts: 891000 | #Constraints: 26594
37.87/38.10 c #Conflicts: 892000 | #Constraints: 27594
37.87/38.10 c #Conflicts: 893000 | #Constraints: 28594
37.87/38.10 c #Conflicts: 894000 | #Constraints: 29594
37.87/38.10 c #Conflicts: 895000 | #Constraints: 30594
37.87/38.10 c #Conflicts: 896000 | #Constraints: 31594
37.87/38.10 c #Conflicts: 897000 | #Constraints: 32594
37.87/38.10 c #Conflicts: 898000 | #Constraints: 33594
37.87/38.10 c #Conflicts: 899000 | #Constraints: 34594
37.87/38.10 c #Conflicts: 900000 | #Constraints: 35594
37.87/38.10 c #Conflicts: 901000 | #Constraints: 36594
37.87/38.10 c #Conflicts: 902000 | #Constraints: 37594
37.87/38.10 c #Conflicts: 903000 | #Constraints: 38594
37.87/38.10 c INPROCESSING
37.87/38.10 c GARBAGE COLLECT
37.87/38.10 c rational objective 300.5
38.87/39.05 c #Conflicts: 904000 | #Constraints: 20798
38.87/39.05 c #Conflicts: 905000 | #Constraints: 21798
38.87/39.05 c #Conflicts: 906000 | #Constraints: 22798
38.87/39.05 c #Conflicts: 907000 | #Constraints: 23798
38.87/39.05 c #Conflicts: 908000 | #Constraints: 24798
38.87/39.05 c #Conflicts: 909000 | #Constraints: 25798
38.87/39.05 c #Conflicts: 910000 | #Constraints: 26798
38.87/39.05 c #Conflicts: 911000 | #Constraints: 27798
38.87/39.05 c #Conflicts: 912000 | #Constraints: 28798
38.87/39.05 c #Conflicts: 913000 | #Constraints: 29798
38.87/39.05 c #Conflicts: 914000 | #Constraints: 30798
38.87/39.05 c #Conflicts: 915000 | #Constraints: 31798
38.87/39.05 c #Conflicts: 916000 | #Constraints: 32798
38.87/39.05 c #Conflicts: 917000 | #Constraints: 33798
38.87/39.05 c #Conflicts: 918000 | #Constraints: 34798
38.87/39.05 c #Conflicts: 919000 | #Constraints: 35798
38.87/39.05 c #Conflicts: 920000 | #Constraints: 36798
38.87/39.05 c #Conflicts: 921000 | #Constraints: 37798
38.87/39.05 c #Conflicts: 922000 | #Constraints: 38798
38.87/39.05 c INPROCESSING
38.87/39.05 c GARBAGE COLLECT
38.87/39.05 c rational objective 300.5
39.87/40.02 c #Conflicts: 923000 | #Constraints: 20796
39.87/40.02 c #Conflicts: 924000 | #Constraints: 21796
39.87/40.02 c #Conflicts: 925000 | #Constraints: 22796
39.87/40.02 c #Conflicts: 926000 | #Constraints: 23796
39.87/40.02 c #Conflicts: 927000 | #Constraints: 24796
39.87/40.02 c #Conflicts: 928000 | #Constraints: 25796
39.87/40.02 c #Conflicts: 929000 | #Constraints: 26796
39.87/40.02 c #Conflicts: 930000 | #Constraints: 27796
39.87/40.02 c #Conflicts: 931000 | #Constraints: 28796
39.87/40.02 c #Conflicts: 932000 | #Constraints: 29796
39.87/40.02 c #Conflicts: 933000 | #Constraints: 30796
39.87/40.02 c #Conflicts: 934000 | #Constraints: 31796
39.87/40.02 c #Conflicts: 935000 | #Constraints: 32796
39.87/40.02 c #Conflicts: 936000 | #Constraints: 33796
39.87/40.02 c #Conflicts: 937000 | #Constraints: 34796
39.87/40.02 c #Conflicts: 938000 | #Constraints: 35796
39.87/40.02 c #Conflicts: 939000 | #Constraints: 36796
39.87/40.02 c #Conflicts: 940000 | #Constraints: 37796
39.87/40.02 c #Conflicts: 941000 | #Constraints: 38796
39.87/40.02 c INPROCESSING
39.87/40.02 c GARBAGE COLLECT
39.87/40.02 c rational objective 300.5
40.87/41.04 c #Conflicts: 942000 | #Constraints: 20597
40.87/41.04 c #Conflicts: 943000 | #Constraints: 21597
40.87/41.04 c #Conflicts: 944000 | #Constraints: 22597
40.87/41.04 c #Conflicts: 945000 | #Constraints: 23597
40.87/41.04 c #Conflicts: 946000 | #Constraints: 24597
40.87/41.04 c #Conflicts: 947000 | #Constraints: 25597
40.87/41.04 c #Conflicts: 948000 | #Constraints: 26597
40.87/41.04 c #Conflicts: 949000 | #Constraints: 27597
40.87/41.04 c #Conflicts: 950000 | #Constraints: 28597
40.87/41.04 c #Conflicts: 951000 | #Constraints: 29597
40.87/41.04 c #Conflicts: 952000 | #Constraints: 30597
40.87/41.04 c #Conflicts: 953000 | #Constraints: 31597
40.87/41.04 c #Conflicts: 954000 | #Constraints: 32597
40.87/41.04 c #Conflicts: 955000 | #Constraints: 33597
40.87/41.04 c #Conflicts: 956000 | #Constraints: 34597
40.87/41.04 c #Conflicts: 957000 | #Constraints: 35597
40.87/41.04 c #Conflicts: 958000 | #Constraints: 36597
40.87/41.04 c #Conflicts: 959000 | #Constraints: 37597
40.87/41.04 c #Conflicts: 960000 | #Constraints: 38597
40.87/41.04 c #Conflicts: 961000 | #Constraints: 39597
40.87/41.04 c INPROCESSING
40.87/41.04 c GARBAGE COLLECT
40.87/41.04 c rational objective 300.5
41.86/42.03 c #Conflicts: 962000 | #Constraints: 21196
41.86/42.03 c #Conflicts: 963000 | #Constraints: 22196
41.86/42.03 c #Conflicts: 964000 | #Constraints: 23196
41.86/42.03 c #Conflicts: 965000 | #Constraints: 24196
41.86/42.03 c #Conflicts: 966000 | #Constraints: 25196
41.86/42.03 c #Conflicts: 967000 | #Constraints: 26196
41.86/42.03 c #Conflicts: 968000 | #Constraints: 27196
41.86/42.03 c #Conflicts: 969000 | #Constraints: 28196
41.86/42.03 c #Conflicts: 970000 | #Constraints: 29196
41.86/42.03 c #Conflicts: 971000 | #Constraints: 30196
41.86/42.03 c #Conflicts: 972000 | #Constraints: 31196
41.86/42.03 c #Conflicts: 973000 | #Constraints: 32196
41.86/42.03 c #Conflicts: 974000 | #Constraints: 33196
41.86/42.03 c #Conflicts: 975000 | #Constraints: 34196
41.86/42.03 c #Conflicts: 976000 | #Constraints: 35196
41.86/42.03 c #Conflicts: 977000 | #Constraints: 36196
41.86/42.03 c #Conflicts: 978000 | #Constraints: 37196
41.86/42.03 c #Conflicts: 979000 | #Constraints: 38196
41.86/42.03 c #Conflicts: 980000 | #Constraints: 39196
41.86/42.03 c #Conflicts: 981000 | #Constraints: 40196
41.86/42.03 c INPROCESSING
41.86/42.03 c GARBAGE COLLECT
41.86/42.03 c rational objective 300.5
42.86/43.05 c #Conflicts: 982000 | #Constraints: 21600
42.86/43.05 c #Conflicts: 983000 | #Constraints: 22600
42.86/43.05 c #Conflicts: 984000 | #Constraints: 23600
42.86/43.05 c #Conflicts: 985000 | #Constraints: 24600
42.86/43.05 c #Conflicts: 986000 | #Constraints: 25600
42.86/43.05 c #Conflicts: 987000 | #Constraints: 26600
42.86/43.05 c #Conflicts: 988000 | #Constraints: 27600
42.86/43.05 c #Conflicts: 989000 | #Constraints: 28600
42.86/43.05 c #Conflicts: 990000 | #Constraints: 29600
42.86/43.05 c #Conflicts: 991000 | #Constraints: 30600
42.86/43.05 c #Conflicts: 992000 | #Constraints: 31600
42.86/43.05 c #Conflicts: 993000 | #Constraints: 32600
42.86/43.05 c #Conflicts: 994000 | #Constraints: 33600
42.86/43.05 c #Conflicts: 995000 | #Constraints: 34600
42.86/43.05 c #Conflicts: 996000 | #Constraints: 35600
42.86/43.05 c #Conflicts: 997000 | #Constraints: 36600
42.86/43.05 c #Conflicts: 998000 | #Constraints: 37600
42.86/43.05 c #Conflicts: 999000 | #Constraints: 38600
42.86/43.05 c #Conflicts: 1000000 | #Constraints: 39600
42.86/43.05 c #Conflicts: 1001000 | #Constraints: 40600
42.86/43.05 c INPROCESSING
42.86/43.05 c GARBAGE COLLECT
42.86/43.05 c rational objective 300.5
44.05/44.24 c #Conflicts: 1002000 | #Constraints: 21800
44.05/44.24 c #Conflicts: 1003000 | #Constraints: 22800
44.05/44.24 c #Conflicts: 1004000 | #Constraints: 23800
44.05/44.24 c #Conflicts: 1005000 | #Constraints: 24800
44.05/44.24 c #Conflicts: 1006000 | #Constraints: 25800
44.05/44.24 c #Conflicts: 1007000 | #Constraints: 26800
44.05/44.24 c #Conflicts: 1008000 | #Constraints: 27800
44.05/44.24 c #Conflicts: 1009000 | #Constraints: 28800
44.05/44.24 c #Conflicts: 1010000 | #Constraints: 29800
44.05/44.24 c #Conflicts: 1011000 | #Constraints: 30800
44.05/44.24 c #Conflicts: 1012000 | #Constraints: 31800
44.05/44.24 c #Conflicts: 1013000 | #Constraints: 32800
44.05/44.24 c #Conflicts: 1014000 | #Constraints: 33800
44.05/44.24 c #Conflicts: 1015000 | #Constraints: 34800
44.05/44.24 c #Conflicts: 1016000 | #Constraints: 35800
44.05/44.24 c #Conflicts: 1017000 | #Constraints: 36800
44.05/44.24 c #Conflicts: 1018000 | #Constraints: 37800
44.05/44.24 c #Conflicts: 1019000 | #Constraints: 38800
44.05/44.24 c #Conflicts: 1020000 | #Constraints: 39800
44.05/44.24 c #Conflicts: 1021000 | #Constraints: 40800
44.05/44.24 c INPROCESSING
44.05/44.24 c GARBAGE COLLECT
44.05/44.24 c rational objective 300.5
45.05/45.25 c #Conflicts: 1022000 | #Constraints: 21806
45.05/45.25 c #Conflicts: 1023000 | #Constraints: 22806
45.05/45.25 c #Conflicts: 1024000 | #Constraints: 23806
45.05/45.25 c #Conflicts: 1025000 | #Constraints: 24806
45.05/45.25 c #Conflicts: 1026000 | #Constraints: 25806
45.05/45.25 c #Conflicts: 1027000 | #Constraints: 26806
45.05/45.25 c #Conflicts: 1028000 | #Constraints: 27806
45.05/45.25 c #Conflicts: 1029000 | #Constraints: 28806
45.05/45.25 c #Conflicts: 1030000 | #Constraints: 29806
45.05/45.25 c #Conflicts: 1031000 | #Constraints: 30806
45.05/45.25 c #Conflicts: 1032000 | #Constraints: 31806
45.05/45.25 c #Conflicts: 1033000 | #Constraints: 32806
45.05/45.25 c #Conflicts: 1034000 | #Constraints: 33806
45.05/45.25 c #Conflicts: 1035000 | #Constraints: 34806
45.05/45.25 c #Conflicts: 1036000 | #Constraints: 35806
45.05/45.25 c #Conflicts: 1037000 | #Constraints: 36806
45.05/45.25 c #Conflicts: 1038000 | #Constraints: 37806
45.05/45.25 c #Conflicts: 1039000 | #Constraints: 38806
45.05/45.25 c #Conflicts: 1040000 | #Constraints: 39806
45.05/45.25 c #Conflicts: 1041000 | #Constraints: 40806
45.05/45.25 c INPROCESSING
45.05/45.25 c GARBAGE COLLECT
45.05/45.25 c rational objective 300.5
46.05/46.28 c #Conflicts: 1042000 | #Constraints: 21609
46.05/46.28 c #Conflicts: 1043000 | #Constraints: 22609
46.05/46.28 c #Conflicts: 1044000 | #Constraints: 23609
46.05/46.28 c #Conflicts: 1045000 | #Constraints: 24609
46.05/46.28 c #Conflicts: 1046000 | #Constraints: 25609
46.05/46.28 c #Conflicts: 1047000 | #Constraints: 26609
46.05/46.28 c #Conflicts: 1048000 | #Constraints: 27609
46.05/46.28 c #Conflicts: 1049000 | #Constraints: 28609
46.05/46.28 c #Conflicts: 1050000 | #Constraints: 29609
46.05/46.28 c #Conflicts: 1051000 | #Constraints: 30609
46.05/46.28 c #Conflicts: 1052000 | #Constraints: 31609
46.05/46.28 c #Conflicts: 1053000 | #Constraints: 32609
46.05/46.28 c #Conflicts: 1054000 | #Constraints: 33609
46.05/46.28 c #Conflicts: 1055000 | #Constraints: 34609
46.05/46.28 c #Conflicts: 1056000 | #Constraints: 35609
46.05/46.28 c #Conflicts: 1057000 | #Constraints: 36609
46.05/46.28 c #Conflicts: 1058000 | #Constraints: 37609
46.05/46.28 c #Conflicts: 1059000 | #Constraints: 38609
46.05/46.28 c #Conflicts: 1060000 | #Constraints: 39609
46.05/46.28 c #Conflicts: 1061000 | #Constraints: 40609
46.05/46.28 c #Conflicts: 1062000 | #Constraints: 41609
46.05/46.28 c INPROCESSING
46.05/46.28 c GARBAGE COLLECT
46.05/46.28 c rational objective 300.5
46.24/46.44 c #Conflicts: 1063000 | #Constraints: 9426
46.24/46.44 c #Conflicts: 1064000 | #Constraints: 10426
46.24/46.44 c #Conflicts: 1065000 | #Constraints: 11426
46.24/46.44 c cpu time 42.9068 s
46.24/46.44 c deterministic time 1498227574 1.50e+09
46.24/46.44 c optimization time 6.8e-05 s
46.24/46.44 c total solve time 42.9037 s
46.24/46.44 c core-guided solve time 0 s
46.24/46.44 c propagation time 29.4983 s
46.24/46.44 c conflict analysis time 6.83605 s
46.24/46.44 c propagations 4971435
46.24/46.44 c resolve steps 3112560
46.24/46.44 c decisions 1779673
46.24/46.44 c conflicts 1065458
46.24/46.44 c restarts 2046
46.24/46.44 c inprocessing phases 94
46.24/46.44 c garbage collections 94 ,( 100.00 )
46.24/46.44 c input clauses 2 ,( 0.24 )
46.24/46.44 c input cardinalities 836 ,( 99.76 )
46.24/46.44 c input general constraints 0 ,( 0.00 )
46.24/46.44 c input average constraint length 4.00
46.24/46.44 c input average constraint degree 2.00
46.24/46.44 c learned clauses 1048113 ,( 98.32 )
46.24/46.44 c learned cardinalities 2672 ,( 0.25 )
46.24/46.44 c learned general constraints 15205 ,( 1.43 )
46.24/46.44 c learned average constraint length 16.26
46.24/46.44 c learned average constraint degree 1556353.54
46.24/46.44 c watched CF 32, 64, 128, Arb: 7068 , 0 , 0 , 0
46.24/46.44 c counting CF 32, 64, 128, Arb: 8137 , 0 , 0 , 0
46.24/46.44 c watched constraints 7068 ,( 46.48 )
46.24/46.44 c counting constraints 8137 ,( 53.52 )
46.24/46.44 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 337291442 , 9571675 , 13773355 ,( 11928455 , 1844900 )
46.24/46.44 c gcd simplifications 13707
46.24/46.44 c detected cardinalities 823
46.24/46.44 c weakened non-implied lits 139330
46.24/46.44 c weakened non-implying lits 1551
46.24/46.44 c original variables 601
46.24/46.44 c clausal propagations 2279632
46.24/46.44 c cardinality propagations 985672
46.24/46.44 c watched propagations 68061
46.24/46.44 c counting propagations 558534
46.24/46.44 c watch lookups 701942710
46.24/46.44 c watch backjump lookups 0
46.24/46.44 c watch checks 703197354
46.24/46.44 c propagation checks 24835433
46.24/46.44 c constraint additions 53577300
46.24/46.44 c trail pops 7816542
46.24/46.44 c formula constraints 838
46.24/46.44 c learned constraints 1065449
46.24/46.44 c bound constraints 0
46.24/46.44 c core-guided constraints 0
46.24/46.44 c encountered formula constraints 63509
46.24/46.44 c encountered learned constraints 4113314
46.24/46.44 c encountered bound constraints 0
46.24/46.44 c encountered core-guided constraints 0
46.24/46.44 c LP total time 7.18878 s
46.24/46.44 c LP solve time 4.13 s
46.24/46.44 c LP constraints added 1429
46.24/46.44 c LP constraints removed 583
46.24/46.44 c LP pivots internal 106550
46.24/46.44 c LP pivots root 576
46.24/46.44 c LP calls 10843
46.24/46.44 c LP optimalities 10835
46.24/46.44 c LP no pivot count 971
46.24/46.44 c LP infeasibilities 8
46.24/46.44 c LP valid Farkas constraints 8
46.24/46.44 c LP learned Farkas constraints 8
46.24/46.44 c LP basis resets 0
46.24/46.44 c LP cycling count 0
46.24/46.44 c LP singular count 0
46.24/46.44 c LP no primal count 0
46.24/46.44 c LP no farkas count 0
46.24/46.44 c LP other issue count 0
46.24/46.44 c LP Gomory cuts 525
46.24/46.44 c LP learned cuts 66
46.24/46.44 c LP deleted cuts 583
46.24/46.44 c LP encountered Gomory constraints 0
46.24/46.44 c LP encountered Farkas constraints 1177
46.24/46.44 c LP encountered learned Farkas constraints 10
46.24/46.44 c CG auxiliary variables introduced 0
46.24/46.44 c CG solutions found 0
46.24/46.44 c CG cores constructed 0
46.24/46.44 c CG core cardinality constraints returned 0
46.24/46.44 c CG unit cores 0
46.24/46.44 c CG single cores 0
46.24/46.44 c CG blocks removed during cardinality reduction 0
46.24/46.44 c CG first core best 0
46.24/46.44 c CG decision core best 0
46.24/46.44 c CG core reduction tie 0
46.24/46.44 c CG core degree average 0.00
46.24/46.44 c CG core slack average 0.00
46.24/46.44 c CG core upper bound improvements 0
46.24/46.44 c STR number of successful calls 0
46.24/46.44 c STR number of unsuccessful calls 0
46.24/46.44 c STR number of inconclusive calls 0
46.24/46.44 c STR number of successful attempts 0
46.24/46.44 c STR number of unsuccessful attempts 0
46.24/46.44 c STR number of inconclusive attempts 0
46.24/46.44 c STR average degree increase per successful call inf
46.24/46.44 c STR average degree increase per successful attempt inf
46.24/46.44 c STR total number of conflicts for successful attempts 0
46.24/46.44 c STR total number of conflicts for unsuccessful attempts 0
46.24/46.44 c STR total number of conflicts for inconclusive attempts 0
46.24/46.44 c STR average number of conflicts per successful attempt inf
46.24/46.44 c STR average number of conflicts per unsuccessful attempt inf
46.24/46.44 c STR average number of conflicts per inconclusive attempt inf
46.24/46.44 c AVG.sumWPerc 41.79
46.24/46.44 c bigint constraints 0
46.24/46.44 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 (61914 MiB free)
memory of node 1: 64465 MiB (62156 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4510761-1751198199/watcher-4510761-1751198199 -o /tmp/evaluation-result-4510761-1751198199/solver-4510761-1751198199 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751193766-27548 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4510761-1751198199.opb PROOFDIR/proof-4510761-1751198199
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=28835, runsolver pid=28832
Current StackSize limit: 8192 KiB
[startup+0.100065 s]*
/proc/loadavg: 4.05 4.13 4.11 5/270 28837
/proc/meminfo: memFree=127049284/131250000 swapFree=33010684/33010684
[pid=28835] ppid=28832 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/28835/stat : 28835 (run-dec-log.sh) S 28832 28835 27537 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35499274 4292608 736 18446744073709551615 94467252514816 94467253409349 140724971602016 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94467253648400 94467253696144 94467265683456 140724971604257 140724971604452 140724971604452 140724971610054 0
/proc/28835/statm: 1048 736 672 219 0 110 0
[pid=28837] ppid=28835 vsize=58080 memory=14484 CPUtime=0.08 cores=4,6
/proc/28837/stat : 28837 (roundingsat) R 28835 28835 27537 0 -1 4194304 1159 0 0 0 7 1 0 0 20 0 1 0 35499275 59473920 3621 18446744073709551615 4227072 8923433 140722551552080 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11341824 140722551560551 140722551560744 140722551560744 140722551566314 0
/proc/28837/statm: 14520 3621 2304 1147 0 1947 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 62272 KiB
Current children cumulated memory: 17428 KiB
[startup+0.205655 s]*
/proc/loadavg: 4.05 4.13 4.11 5/270 28837
/proc/meminfo: memFree=127049284/131250000 swapFree=33010684/33010684
[pid=28835] ppid=28832 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/28835/stat : 28835 (run-dec-log.sh) S 28832 28835 27537 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35499274 4292608 736 18446744073709551615 94467252514816 94467253409349 140724971602016 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94467253648400 94467253696144 94467265683456 140724971604257 140724971604452 140724971604452 140724971610054 0
/proc/28835/statm: 1048 736 672 219 0 110 0
[pid=28837] ppid=28835 vsize=58492 memory=14868 CPUtime=0.18 cores=4,6
/proc/28837/stat : 28837 (roundingsat) R 28835 28835 27537 0 -1 4194304 1262 0 0 0 16 2 0 0 20 0 1 0 35499275 59895808 3717 18446744073709551615 4227072 8923433 140722551552080 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11341824 140722551560551 140722551560744 140722551560744 140722551566314 0
/proc/28837/statm: 14623 3717 2304 1147 0 2050 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 62684 KiB
Current children cumulated memory: 17812 KiB
[startup+0.305602 s]*
/proc/loadavg: 4.05 4.13 4.11 5/270 28837
/proc/meminfo: memFree=127045252/131250000 swapFree=33010684/33010684
[pid=28835] ppid=28832 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/28835/stat : 28835 (run-dec-log.sh) S 28832 28835 27537 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35499274 4292608 736 18446744073709551615 94467252514816 94467253409349 140724971602016 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94467253648400 94467253696144 94467265683456 140724971604257 140724971604452 140724971604452 140724971610054 0
/proc/28835/statm: 1048 736 672 219 0 110 0
[pid=28837] ppid=28835 vsize=58768 memory=15124 CPUtime=0.29 cores=4,6
/proc/28837/stat : 28837 (roundingsat) R 28835 28835 27537 0 -1 4194304 1327 0 0 0 25 4 0 0 20 0 1 0 35499275 60178432 3781 18446744073709551615 4227072 8923433 140722551552080 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11341824 140722551560551 140722551560744 140722551560744 140722551566314 0
/proc/28837/statm: 14692 3781 2304 1147 0 2119 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 62960 KiB
Current children cumulated memory: 18068 KiB
[startup+0.700205 s]
/proc/loadavg: 4.05 4.13 4.11 5/270 28837
/proc/meminfo: memFree=127043488/131250000 swapFree=33010684/33010684
[pid=28835] ppid=28832 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/28835/stat : 28835 (run-dec-log.sh) S 28832 28835 27537 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35499274 4292608 736 18446744073709551615 94467252514816 94467253409349 140724971602016 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94467253648400 94467253696144 94467265683456 140724971604257 140724971604452 140724971604452 140724971610054 0
/proc/28835/statm: 1048 736 672 219 0 110 0
[pid=28837] ppid=28835 vsize=59332 memory=15764 CPUtime=0.67 cores=4,6
/proc/28837/stat : 28837 (roundingsat) R 28835 28835 27537 0 -1 4194304 1479 0 0 0 59 8 0 0 20 0 1 0 35499275 60755968 3941 18446744073709551615 4227072 8923433 140722551552080 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11341824 140722551560551 140722551560744 140722551560744 140722551566314 0
/proc/28837/statm: 14833 3941 2304 1147 0 2260 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 63524 KiB
Current children cumulated memory: 18708 KiB
[startup+1.50016 s]
/proc/loadavg: 4.05 4.13 4.11 5/270 28837
/proc/meminfo: memFree=127039708/131250000 swapFree=33010684/33010684
[pid=28835] ppid=28832 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/28835/stat : 28835 (run-dec-log.sh) S 28832 28835 27537 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35499274 4292608 736 18446744073709551615 94467252514816 94467253409349 140724971602016 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94467253648400 94467253696144 94467265683456 140724971604257 140724971604452 140724971604452 140724971610054 0
/proc/28835/statm: 1048 736 672 219 0 110 0
[pid=28837] ppid=28835 vsize=60052 memory=16532 CPUtime=1.47 cores=4,6
/proc/28837/stat : 28837 (roundingsat) R 28835 28835 27537 0 -1 4194304 1653 0 0 0 129 18 0 0 20 0 1 0 35499275 61493248 4133 18446744073709551615 4227072 8923433 140722551552080 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11341824 140722551560551 140722551560744 140722551560744 140722551566314 0
/proc/28837/statm: 15013 4133 2304 1147 0 2440 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 64244 KiB
Current children cumulated memory: 19476 KiB
[startup+3.10536 s]
/proc/loadavg: 4.05 4.13 4.11 5/270 28837
/proc/meminfo: memFree=127021984/131250000 swapFree=33010684/33010684
[pid=28835] ppid=28832 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/28835/stat : 28835 (run-dec-log.sh) S 28832 28835 27537 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35499274 4292608 736 18446744073709551615 94467252514816 94467253409349 140724971602016 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94467253648400 94467253696144 94467265683456 140724971604257 140724971604452 140724971604452 140724971610054 0
/proc/28835/statm: 1048 736 672 219 0 110 0
[pid=28837] ppid=28835 vsize=61332 memory=17684 CPUtime=3.07 cores=4,6
/proc/28837/stat : 28837 (roundingsat) R 28835 28835 27537 0 -1 4194304 1964 0 0 0 271 36 0 0 20 0 1 0 35499275 62803968 4421 18446744073709551615 4227072 8923433 140722551552080 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11341824 140722551560551 140722551560744 140722551560744 140722551566314 0
/proc/28837/statm: 15333 4421 2304 1147 0 2760 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 65524 KiB
Current children cumulated memory: 20628 KiB
[startup+6.30019 s]
/proc/loadavg: 4.12 4.14 4.12 5/270 28837
/proc/meminfo: memFree=126998296/131250000 swapFree=33010684/33010684
[pid=28835] ppid=28832 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/28835/stat : 28835 (run-dec-log.sh) S 28832 28835 27537 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35499274 4292608 736 18446744073709551615 94467252514816 94467253409349 140724971602016 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94467253648400 94467253696144 94467265683456 140724971604257 140724971604452 140724971604452 140724971610054 0
/proc/28835/statm: 1048 736 672 219 0 110 0
[pid=28837] ppid=28835 vsize=62500 memory=18964 CPUtime=6.26 cores=4,6
/proc/28837/stat : 28837 (roundingsat) R 28835 28835 27537 0 -1 4194304 2286 0 0 0 560 66 0 0 20 0 1 0 35499275 64000000 4741 18446744073709551615 4227072 8923433 140722551552080 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11341824 140722551560551 140722551560744 140722551560744 140722551566314 0
/proc/28837/statm: 15625 4741 2304 1147 0 3052 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 66692 KiB
Current children cumulated memory: 21908 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.14 4.12 5/270 28837
/proc/meminfo: memFree=126954008/131250000 swapFree=33010684/33010684
[pid=28835] ppid=28832 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/28835/stat : 28835 (run-dec-log.sh) S 28832 28835 27537 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35499274 4292608 736 18446744073709551615 94467252514816 94467253409349 140724971602016 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94467253648400 94467253696144 94467265683456 140724971604257 140724971604452 140724971604452 140724971610054 0
/proc/28835/statm: 1048 736 672 219 0 110 0
[pid=28837] ppid=28835 vsize=63808 memory=20368 CPUtime=12.63 cores=4,6
/proc/28837/stat : 28837 (roundingsat) R 28835 28835 27537 0 -1 4194304 2982 0 0 0 1150 113 0 0 20 0 1 0 35499275 65339392 5092 18446744073709551615 4227072 8923433 140722551552080 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11341824 140722551560551 140722551560744 140722551560744 140722551566314 0
/proc/28837/statm: 15952 5092 2304 1147 0 3379 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 68000 KiB
Current children cumulated memory: 23312 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.13 4.11 5/271 28838
/proc/meminfo: memFree=126908800/131250000 swapFree=33010684/33010684
[pid=28835] ppid=28832 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/28835/stat : 28835 (run-dec-log.sh) S 28832 28835 27537 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35499274 4292608 736 18446744073709551615 94467252514816 94467253409349 140724971602016 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94467253648400 94467253696144 94467265683456 140724971604257 140724971604452 140724971604452 140724971610054 0
/proc/28835/statm: 1048 736 672 219 0 110 0
[pid=28837] ppid=28835 vsize=66624 memory=24912 CPUtime=25.4 cores=4,6
/proc/28837/stat : 28837 (roundingsat) R 28835 28835 27537 0 -1 4194304 5962 0 0 0 2334 206 0 0 20 0 1 0 35499275 68222976 6228 18446744073709551615 4227072 8923433 140722551552080 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11341824 140722551560551 140722551560744 140722551560744 140722551566314 0
/proc/28837/statm: 16656 6228 2304 1147 0 4083 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 70816 KiB
Current children cumulated memory: 27856 KiB
[startup+46.4467 s]
# the end of solver process 28835 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=42.9118 s, system=3.36553 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6002 s]
/proc/loadavg: 4.09 4.13 4.11 5/271 28838
/proc/meminfo: memFree=126908800/131250000 swapFree=33010684/33010684
[pid=28835] ppid=28832 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/28835/stat : 28835 (run-dec-log.sh) S 28832 28835 27537 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35499274 4292608 736 18446744073709551615 94467252514816 94467253409349 140724971602016 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94467253648400 94467253696144 94467265683456 140724971604257 140724971604452 140724971604452 140724971610054 0
/proc/28835/statm: 1048 736 672 219 0 110 0
[pid=28837] ppid=28835 vsize=66624 memory=24924 CPUtime=25.5 cores=4,6
/proc/28837/stat : 28837 (roundingsat) R 28835 28835 27537 0 -1 4194304 6076 0 0 0 2344 206 0 0 20 0 1 0 35499275 68222976 6231 18446744073709551615 4227072 8923433 140722551552080 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11341824 140722551560551 140722551560744 140722551560744 140722551566314 0
/proc/28837/statm: 16656 6231 2304 1147 0 4083 0
Current children cumulated CPU time: 25.5 s
Current children cumulated vsize: 70816 KiB
Current children cumulated memory: 27868 KiB
[startup+38.4002 s]
/proc/loadavg: 4.07 4.13 4.11 5/271 28839
/proc/meminfo: memFree=126827080/131250000 swapFree=33010684/33010684
[pid=28835] ppid=28832 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/28835/stat : 28835 (run-dec-log.sh) S 28832 28835 27537 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35499274 4292608 736 18446744073709551615 94467252514816 94467253409349 140724971602016 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94467253648400 94467253696144 94467265683456 140724971604257 140724971604452 140724971604452 140724971610054 0
/proc/28835/statm: 1048 736 672 219 0 110 0
[pid=28837] ppid=28835 vsize=68232 memory=26348 CPUtime=38.27 cores=4,6
/proc/28837/stat : 28837 (roundingsat) R 28835 28835 27537 0 -1 4194304 7365 0 0 0 3540 287 0 0 20 0 1 0 35499275 69869568 6587 18446744073709551615 4227072 8923433 140722551552080 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11341824 140722551560551 140722551560744 140722551560744 140722551566314 0
/proc/28837/statm: 17058 6587 2304 1147 0 4485 0
Current children cumulated CPU time: 38.27 s
Current children cumulated vsize: 72424 KiB
Current children cumulated memory: 29292 KiB
[startup+41.6002 s]
/proc/loadavg: 4.07 4.13 4.11 5/271 28839
/proc/meminfo: memFree=126806732/131250000 swapFree=33010684/33010684
[pid=28835] ppid=28832 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/28835/stat : 28835 (run-dec-log.sh) S 28832 28835 27537 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35499274 4292608 736 18446744073709551615 94467252514816 94467253409349 140724971602016 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94467253648400 94467253696144 94467265683456 140724971604257 140724971604452 140724971604452 140724971610054 0
/proc/28835/statm: 1048 736 672 219 0 110 0
[pid=28837] ppid=28835 vsize=68748 memory=26812 CPUtime=41.46 cores=4,6
/proc/28837/stat : 28837 (roundingsat) R 28835 28835 27537 0 -1 4194304 7745 0 0 0 3839 307 0 0 20 0 1 0 35499275 70397952 6703 18446744073709551615 4227072 8923433 140722551552080 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11341824 140722551560551 140722551560744 140722551560744 140722551566314 0
/proc/28837/statm: 17187 6703 2304 1147 0 4614 0
Current children cumulated CPU time: 41.46 s
Current children cumulated vsize: 72940 KiB
Current children cumulated memory: 29756 KiB
[startup+44.8002 s]
/proc/loadavg: 4.06 4.12 4.11 5/272 28840
/proc/meminfo: memFree=126794292/131250000 swapFree=33010684/33010684
[pid=28835] ppid=28832 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/28835/stat : 28835 (run-dec-log.sh) S 28832 28835 27537 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35499274 4292608 736 18446744073709551615 94467252514816 94467253409349 140724971602016 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94467253648400 94467253696144 94467265683456 140724971604257 140724971604452 140724971604452 140724971610054 0
/proc/28835/statm: 1048 736 672 219 0 110 0
[pid=28837] ppid=28835 vsize=69552 memory=27756 CPUtime=44.65 cores=4,6
/proc/28837/stat : 28837 (roundingsat) R 28835 28835 27537 0 -1 4194304 8285 0 0 0 4140 325 0 0 20 0 1 0 35499275 71221248 6939 18446744073709551615 4227072 8923433 140722551552080 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11341824 140722551560551 140722551560744 140722551560744 140722551566314 0
/proc/28837/statm: 17388 6939 2304 1147 0 4815 0
Current children cumulated CPU time: 44.65 s
Current children cumulated vsize: 73744 KiB
Current children cumulated memory: 30700 KiB
[startup+45.6002 s]
/proc/loadavg: 4.06 4.12 4.11 5/272 28840
/proc/meminfo: memFree=126784972/131250000 swapFree=33010684/33010684
[pid=28835] ppid=28832 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/28835/stat : 28835 (run-dec-log.sh) S 28832 28835 27537 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35499274 4292608 736 18446744073709551615 94467252514816 94467253409349 140724971602016 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94467253648400 94467253696144 94467265683456 140724971604257 140724971604452 140724971604452 140724971610054 0
/proc/28835/statm: 1048 736 672 219 0 110 0
[pid=28837] ppid=28835 vsize=69684 memory=27852 CPUtime=45.45 cores=4,6
/proc/28837/stat : 28837 (roundingsat) R 28835 28835 27537 0 -1 4194304 8464 0 0 0 4215 330 0 0 20 0 1 0 35499275 71356416 6963 18446744073709551615 4227072 8923433 140722551552080 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11341824 140722551560551 140722551560744 140722551560744 140722551566314 0
/proc/28837/statm: 17421 6963 2304 1147 0 4848 0
Current children cumulated CPU time: 45.45 s
Current children cumulated vsize: 73876 KiB
Current children cumulated memory: 30796 KiB
[startup+46.0001 s]*
/proc/loadavg: 4.06 4.12 4.11 5/272 28840
/proc/meminfo: memFree=126783352/131250000 swapFree=33010684/33010684
[pid=28835] ppid=28832 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/28835/stat : 28835 (run-dec-log.sh) S 28832 28835 27537 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35499274 4292608 736 18446744073709551615 94467252514816 94467253409349 140724971602016 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94467253648400 94467253696144 94467265683456 140724971604257 140724971604452 140724971604452 140724971610054 0
/proc/28835/statm: 1048 736 672 219 0 110 0
[pid=28837] ppid=28835 vsize=69684 memory=27852 CPUtime=45.85 cores=4,6
/proc/28837/stat : 28837 (roundingsat) R 28835 28835 27537 0 -1 4194304 8464 0 0 0 4253 332 0 0 20 0 1 0 35499275 71356416 6963 18446744073709551615 4227072 8923433 140722551552080 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11341824 140722551560551 140722551560744 140722551560744 140722551566314 0
/proc/28837/statm: 17421 6963 2304 1147 0 4848 0
Current children cumulated CPU time: 45.85 s
Current children cumulated vsize: 73876 KiB
Current children cumulated memory: 30796 KiB
[startup+46.4002 s]
/proc/loadavg: 4.06 4.12 4.11 5/272 28840
/proc/meminfo: memFree=126783352/131250000 swapFree=33010684/33010684
[pid=28835] ppid=28832 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/28835/stat : 28835 (run-dec-log.sh) S 28832 28835 27537 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35499274 4292608 736 18446744073709551615 94467252514816 94467253409349 140724971602016 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94467253648400 94467253696144 94467265683456 140724971604257 140724971604452 140724971604452 140724971610054 0
/proc/28835/statm: 1048 736 672 219 0 110 0
[pid=28837] ppid=28835 vsize=70536 memory=28448 CPUtime=46.24 cores=4,6
/proc/28837/stat : 28837 (roundingsat) R 28835 28835 27537 0 -1 4194304 8722 0 0 0 4289 335 0 0 20 0 1 0 35499275 72228864 7112 18446744073709551615 4227072 8923433 140722551552080 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11341824 140722551560551 140722551560744 140722551560744 140722551566314 0
/proc/28837/statm: 17634 7112 2304 1147 0 5061 0
Current children cumulated CPU time: 46.24 s
Current children cumulated vsize: 74728 KiB
Current children cumulated memory: 31392 KiB
Child status: 0
Real time (s): 46.4467
CPU time (s): 46.2773
CPU user time (s): 42.9118
CPU system time (s): 3.36553
CPU usage (%): 99.6353
Max. virtual memory (cumulated for all children) (KiB): 74728
Max. memory (cumulated for all children) (KiB): 31392
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 42.9118
system time used= 3.36553
maximum resident set size= 28492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8953
page faults= 0
swaps= 0
block input operations= 0
block output operations= 156288
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 881
involuntary context switches= 77
# summary of solver processes directly reported to runsolver:
# pid: 28835
# total CPU time (s): 46.2773
# total CPU user time (s): 42.9118
# total CPU system time (s): 3.36553
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.107286 second user time and 0.233184 second system time
The end
Begin job on nodeC033 at 2025-06-29 13:56:39
IDJOB=4510761
IDBENCH=160385
IDSOLVER=3352
FILE ID=nodeC033/4510761-1751198199
RUNJOBID= nodeC033-1751193766-27548
SLURM_JOB_ID= 9587591
Free space on /tmp= 433036 MiB
SOLVER NAME= roundingsat-log 63f22ad
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/normalized-ECgrid5x60split.cnf-extracted.pb.metafix.opb
COMMAND LINE= run-dec-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4510761-1751198199/watcher-4510761-1751198199 -o /tmp/evaluation-result-4510761-1751198199/solver-4510761-1751198199 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751193766-27548 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4510761-1751198199.opb PROOFDIR/proof-4510761-1751198199
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 31f6aff17a47c209cb9ee9a70845e10e
RANDOM SEED=2134803517
nodeC033 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.056
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.107
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3593.383
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3605.007
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.076
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.072
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3598.582
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3597.338
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 127049284 kB
MemAvailable: 129462984 kB
Buffers: 3280 kB
Cached: 3220184 kB
SwapCached: 0 kB
Active: 680600 kB
Inactive: 2962100 kB
Active(anon): 437380 kB
Inactive(anon): 0 kB
Active(file): 243220 kB
Inactive(file): 2962100 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 45704 kB
Writeback: 8 kB
AnonPages: 417356 kB
Mapped: 112372 kB
Shmem: 18120 kB
KReclaimable: 95240 kB
Slab: 182420 kB
SReclaimable: 95240 kB
SUnreclaim: 87180 kB
KernelStack: 4368 kB
PageTables: 4088 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 782292 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150648 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 169984 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 221908 kB
DirectMap2M: 11083776 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 433032 MiB
End job on nodeC033 at 2025-06-29 13:57:25