0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.00/0.03 c #variables 601 #constraints 838
0.00/0.05 c rational objective 300.5
0.39/0.48 c #Conflicts: 1000 | #Constraints: 1843
0.39/0.48 c #Conflicts: 2000 | #Constraints: 2843
0.39/0.48 c INPROCESSING
0.39/0.48 c GARBAGE COLLECT
0.39/0.48 c #Conflicts: 3000 | #Constraints: 2877
0.39/0.48 c #Conflicts: 4000 | #Constraints: 3877
0.39/0.48 c INPROCESSING
0.39/0.48 c GARBAGE COLLECT
0.39/0.48 c #Conflicts: 5000 | #Constraints: 3300
0.39/0.48 c #Conflicts: 6000 | #Constraints: 4300
0.39/0.48 c INPROCESSING
0.39/0.48 c GARBAGE COLLECT
0.39/0.48 c rational objective 300.5
0.58/0.68 c #Conflicts: 7000 | #Constraints: 3311
0.58/0.68 c #Conflicts: 8000 | #Constraints: 4311
0.58/0.68 c #Conflicts: 9000 | #Constraints: 5311
0.58/0.68 c INPROCESSING
0.58/0.68 c GARBAGE COLLECT
0.58/0.68 c rational objective 300.5
0.77/0.88 c #Conflicts: 10000 | #Constraints: 4011
0.77/0.88 c #Conflicts: 11000 | #Constraints: 5011
0.77/0.88 c #Conflicts: 12000 | #Constraints: 6011
0.77/0.88 c INPROCESSING
0.77/0.88 c GARBAGE COLLECT
0.77/0.88 c rational objective 300.5
0.98/1.05 c #Conflicts: 13000 | #Constraints: 4473
0.98/1.05 c #Conflicts: 14000 | #Constraints: 5473
0.98/1.05 c #Conflicts: 15000 | #Constraints: 6473
0.98/1.05 c INPROCESSING
0.98/1.05 c GARBAGE COLLECT
0.98/1.05 c rational objective 300.5
1.17/1.23 c #Conflicts: 16000 | #Constraints: 4705
1.17/1.23 c #Conflicts: 17000 | #Constraints: 5705
1.17/1.23 c #Conflicts: 18000 | #Constraints: 6705
1.17/1.23 c INPROCESSING
1.17/1.23 c GARBAGE COLLECT
1.17/1.23 c rational objective 300.5
1.37/1.41 c #Conflicts: 19000 | #Constraints: 4717
1.37/1.41 c #Conflicts: 20000 | #Constraints: 5717
1.37/1.41 c #Conflicts: 21000 | #Constraints: 6717
1.37/1.41 c INPROCESSING
1.37/1.41 c GARBAGE COLLECT
1.37/1.41 c rational objective 300.5
1.47/1.58 c #Conflicts: 22000 | #Constraints: 4523
1.47/1.58 c #Conflicts: 23000 | #Constraints: 5523
1.47/1.58 c #Conflicts: 24000 | #Constraints: 6523
1.47/1.58 c #Conflicts: 25000 | #Constraints: 7523
1.47/1.58 c INPROCESSING
1.47/1.58 c GARBAGE COLLECT
1.47/1.58 c rational objective 300.5
1.67/1.77 c #Conflicts: 26000 | #Constraints: 5129
1.67/1.77 c #Conflicts: 27000 | #Constraints: 6129
1.67/1.77 c #Conflicts: 28000 | #Constraints: 7129
1.67/1.77 c #Conflicts: 29000 | #Constraints: 8129
1.67/1.77 c INPROCESSING
1.67/1.77 c GARBAGE COLLECT
1.67/1.77 c rational objective 300.5
1.87/1.93 c #Conflicts: 30000 | #Constraints: 5532
1.87/1.93 c #Conflicts: 31000 | #Constraints: 6532
1.87/1.93 c #Conflicts: 32000 | #Constraints: 7532
1.87/1.93 c #Conflicts: 33000 | #Constraints: 8532
1.87/1.93 c INPROCESSING
1.87/1.93 c GARBAGE COLLECT
1.87/1.93 c rational objective 300.5
1.98/2.10 c #Conflicts: 34000 | #Constraints: 5729
1.98/2.10 c #Conflicts: 35000 | #Constraints: 6729
1.98/2.10 c #Conflicts: 36000 | #Constraints: 7729
1.98/2.10 c #Conflicts: 37000 | #Constraints: 8729
1.98/2.10 c INPROCESSING
1.98/2.10 c GARBAGE COLLECT
1.98/2.10 c rational objective 300.5
2.17/2.29 c #Conflicts: 38000 | #Constraints: 5733
2.17/2.29 c #Conflicts: 39000 | #Constraints: 6733
2.17/2.29 c #Conflicts: 40000 | #Constraints: 7733
2.17/2.29 c #Conflicts: 41000 | #Constraints: 8733
2.17/2.29 c INPROCESSING
2.17/2.29 c GARBAGE COLLECT
2.17/2.29 c rational objective 300.5
2.37/2.48 c #Conflicts: 42000 | #Constraints: 5536
2.37/2.48 c #Conflicts: 43000 | #Constraints: 6536
2.37/2.48 c #Conflicts: 44000 | #Constraints: 7536
2.37/2.48 c #Conflicts: 45000 | #Constraints: 8536
2.37/2.48 c #Conflicts: 46000 | #Constraints: 9536
2.37/2.48 c INPROCESSING
2.37/2.48 c GARBAGE COLLECT
2.37/2.48 c rational objective 300.5
2.56/2.66 c #Conflicts: 47000 | #Constraints: 6133
2.56/2.66 c #Conflicts: 48000 | #Constraints: 7134
2.56/2.66 c #Conflicts: 49000 | #Constraints: 8134
2.56/2.66 c #Conflicts: 50000 | #Constraints: 9134
2.56/2.66 c #Conflicts: 51000 | #Constraints: 10134
2.56/2.66 c INPROCESSING
2.56/2.66 c GARBAGE COLLECT
2.56/2.66 c rational objective 300.5
2.76/2.84 c #Conflicts: 52000 | #Constraints: 6533
2.76/2.84 c #Conflicts: 53000 | #Constraints: 7533
2.76/2.84 c #Conflicts: 54000 | #Constraints: 8533
2.76/2.84 c #Conflicts: 55000 | #Constraints: 9533
2.76/2.84 c #Conflicts: 56000 | #Constraints: 10533
2.76/2.84 c INPROCESSING
2.76/2.84 c GARBAGE COLLECT
2.76/2.84 c rational objective 300.5
2.98/3.04 c #Conflicts: 57000 | #Constraints: 6730
2.98/3.04 c #Conflicts: 58000 | #Constraints: 7730
2.98/3.04 c #Conflicts: 59000 | #Constraints: 8730
2.98/3.04 c #Conflicts: 60000 | #Constraints: 9730
2.98/3.04 c #Conflicts: 61000 | #Constraints: 10730
2.98/3.04 c INPROCESSING
2.98/3.04 c GARBAGE COLLECT
2.98/3.04 c rational objective 300.5
3.17/3.26 c #Conflicts: 62000 | #Constraints: 6737
3.17/3.26 c #Conflicts: 63000 | #Constraints: 7737
3.17/3.26 c #Conflicts: 64000 | #Constraints: 8737
3.17/3.26 c #Conflicts: 65000 | #Constraints: 9737
3.17/3.26 c #Conflicts: 66000 | #Constraints: 10737
3.17/3.26 c INPROCESSING
3.17/3.26 c GARBAGE COLLECT
3.17/3.26 c rational objective 300.5
3.37/3.47 c #Conflicts: 67000 | #Constraints: 6537
3.37/3.47 c #Conflicts: 68000 | #Constraints: 7537
3.37/3.47 c #Conflicts: 69000 | #Constraints: 8537
3.37/3.47 c #Conflicts: 70000 | #Constraints: 9537
3.37/3.47 c #Conflicts: 71000 | #Constraints: 10537
3.37/3.47 c #Conflicts: 72000 | #Constraints: 11537
3.37/3.47 c INPROCESSING
3.37/3.47 c GARBAGE COLLECT
3.37/3.47 c rational objective 300.5
3.56/3.67 c #Conflicts: 73000 | #Constraints: 7128
3.56/3.67 c #Conflicts: 74000 | #Constraints: 8128
3.56/3.67 c #Conflicts: 75000 | #Constraints: 9128
3.56/3.67 c #Conflicts: 76000 | #Constraints: 10129
3.56/3.67 c #Conflicts: 77000 | #Constraints: 11129
3.56/3.67 c #Conflicts: 78000 | #Constraints: 12129
3.56/3.67 c INPROCESSING
3.56/3.67 c GARBAGE COLLECT
3.56/3.67 c rational objective 300.5
3.77/3.89 c #Conflicts: 79000 | #Constraints: 7535
3.77/3.89 c #Conflicts: 80000 | #Constraints: 8535
3.77/3.89 c #Conflicts: 81000 | #Constraints: 9535
3.77/3.89 c #Conflicts: 82000 | #Constraints: 10535
3.77/3.89 c #Conflicts: 83000 | #Constraints: 11535
3.77/3.89 c #Conflicts: 84000 | #Constraints: 12535
3.77/3.89 c INPROCESSING
3.77/3.89 c GARBAGE COLLECT
3.77/3.89 c rational objective 300.5
4.08/4.12 c #Conflicts: 85000 | #Constraints: 7735
4.08/4.12 c #Conflicts: 86000 | #Constraints: 8735
4.08/4.12 c #Conflicts: 87000 | #Constraints: 9735
4.08/4.12 c #Conflicts: 88000 | #Constraints: 10735
4.08/4.12 c #Conflicts: 89000 | #Constraints: 11735
4.08/4.12 c #Conflicts: 90000 | #Constraints: 12735
4.08/4.12 c INPROCESSING
4.08/4.12 c GARBAGE COLLECT
4.08/4.12 c rational objective 300.5
4.27/4.39 c #Conflicts: 91000 | #Constraints: 7735
4.27/4.39 c #Conflicts: 92000 | #Constraints: 8735
4.27/4.39 c #Conflicts: 93000 | #Constraints: 9735
4.27/4.39 c #Conflicts: 94000 | #Constraints: 10735
4.27/4.39 c #Conflicts: 95000 | #Constraints: 11735
4.27/4.39 c #Conflicts: 96000 | #Constraints: 12735
4.27/4.39 c INPROCESSING
4.27/4.39 c GARBAGE COLLECT
4.27/4.39 c rational objective 300.5
4.56/4.63 c #Conflicts: 97000 | #Constraints: 7539
4.56/4.63 c #Conflicts: 98000 | #Constraints: 8539
4.56/4.63 c #Conflicts: 99000 | #Constraints: 9539
4.56/4.63 c #Conflicts: 100000 | #Constraints: 10539
4.56/4.63 c #Conflicts: 101000 | #Constraints: 11539
4.56/4.63 c #Conflicts: 102000 | #Constraints: 12539
4.56/4.63 c #Conflicts: 103000 | #Constraints: 13539
4.56/4.63 c INPROCESSING
4.56/4.63 c GARBAGE COLLECT
4.56/4.63 c rational objective 300.5
4.76/4.87 c #Conflicts: 104000 | #Constraints: 8132
4.76/4.87 c #Conflicts: 105000 | #Constraints: 9132
4.76/4.87 c #Conflicts: 106000 | #Constraints: 10132
4.76/4.87 c #Conflicts: 107000 | #Constraints: 11132
4.76/4.87 c #Conflicts: 108000 | #Constraints: 12132
4.76/4.87 c #Conflicts: 109000 | #Constraints: 13132
4.76/4.87 c #Conflicts: 110000 | #Constraints: 14132
4.76/4.87 c INPROCESSING
4.76/4.87 c GARBAGE COLLECT
4.76/4.87 c rational objective 300.5
4.97/5.10 c #Conflicts: 111000 | #Constraints: 8528
4.97/5.10 c #Conflicts: 112000 | #Constraints: 9528
4.97/5.10 c #Conflicts: 113000 | #Constraints: 10528
4.97/5.10 c #Conflicts: 114000 | #Constraints: 11528
4.97/5.10 c #Conflicts: 115000 | #Constraints: 12528
4.97/5.10 c #Conflicts: 116000 | #Constraints: 13528
4.97/5.10 c #Conflicts: 117000 | #Constraints: 14528
4.97/5.10 c INPROCESSING
4.97/5.10 c GARBAGE COLLECT
4.97/5.10 c rational objective 300.5
5.26/5.36 c #Conflicts: 118000 | #Constraints: 8733
5.26/5.36 c #Conflicts: 119000 | #Constraints: 9733
5.26/5.36 c #Conflicts: 120000 | #Constraints: 10733
5.26/5.36 c #Conflicts: 121000 | #Constraints: 11733
5.26/5.36 c #Conflicts: 122000 | #Constraints: 12733
5.26/5.36 c #Conflicts: 123000 | #Constraints: 13733
5.26/5.36 c #Conflicts: 124000 | #Constraints: 14733
5.26/5.36 c INPROCESSING
5.26/5.36 c GARBAGE COLLECT
5.26/5.36 c rational objective 300.5
5.46/5.59 c #Conflicts: 125000 | #Constraints: 8732
5.46/5.59 c #Conflicts: 126000 | #Constraints: 9732
5.46/5.59 c #Conflicts: 127000 | #Constraints: 10732
5.46/5.59 c #Conflicts: 128000 | #Constraints: 11732
5.46/5.59 c #Conflicts: 129000 | #Constraints: 12732
5.46/5.59 c #Conflicts: 130000 | #Constraints: 13732
5.46/5.59 c #Conflicts: 131000 | #Constraints: 14732
5.46/5.59 c INPROCESSING
5.46/5.59 c GARBAGE COLLECT
5.46/5.59 c rational objective 300.5
5.76/5.86 c #Conflicts: 132000 | #Constraints: 8532
5.76/5.86 c #Conflicts: 133000 | #Constraints: 9532
5.76/5.86 c #Conflicts: 134000 | #Constraints: 10532
5.76/5.86 c #Conflicts: 135000 | #Constraints: 11532
5.76/5.86 c #Conflicts: 136000 | #Constraints: 12532
5.76/5.86 c #Conflicts: 137000 | #Constraints: 13532
5.76/5.86 c #Conflicts: 138000 | #Constraints: 14532
5.76/5.86 c #Conflicts: 139000 | #Constraints: 15532
5.76/5.86 c INPROCESSING
5.76/5.86 c GARBAGE COLLECT
5.76/5.86 c rational objective 300.5
6.07/6.15 c #Conflicts: 140000 | #Constraints: 9142
6.07/6.15 c #Conflicts: 141000 | #Constraints: 10142
6.07/6.15 c #Conflicts: 142000 | #Constraints: 11142
6.07/6.15 c #Conflicts: 143000 | #Constraints: 12142
6.07/6.15 c #Conflicts: 144000 | #Constraints: 13142
6.07/6.15 c #Conflicts: 145000 | #Constraints: 14142
6.07/6.15 c #Conflicts: 146000 | #Constraints: 15142
6.07/6.15 c #Conflicts: 147000 | #Constraints: 16142
6.07/6.15 c INPROCESSING
6.07/6.15 c GARBAGE COLLECT
6.07/6.15 c rational objective 300.5
6.35/6.43 c #Conflicts: 148000 | #Constraints: 9546
6.35/6.43 c #Conflicts: 149000 | #Constraints: 10546
6.35/6.43 c #Conflicts: 150000 | #Constraints: 11546
6.35/6.43 c #Conflicts: 151000 | #Constraints: 12546
6.35/6.43 c #Conflicts: 152000 | #Constraints: 13546
6.35/6.43 c #Conflicts: 153000 | #Constraints: 14546
6.35/6.43 c #Conflicts: 154000 | #Constraints: 15546
6.35/6.43 c #Conflicts: 155000 | #Constraints: 16546
6.35/6.43 c INPROCESSING
6.35/6.43 c GARBAGE COLLECT
6.35/6.43 c rational objective 300.5
6.65/6.70 c #Conflicts: 156000 | #Constraints: 9743
6.65/6.70 c #Conflicts: 157000 | #Constraints: 10743
6.65/6.70 c #Conflicts: 158000 | #Constraints: 11743
6.65/6.70 c #Conflicts: 159000 | #Constraints: 12743
6.65/6.70 c #Conflicts: 160000 | #Constraints: 13743
6.65/6.70 c #Conflicts: 161000 | #Constraints: 14743
6.65/6.70 c #Conflicts: 162000 | #Constraints: 15743
6.65/6.70 c #Conflicts: 163000 | #Constraints: 16743
6.65/6.70 c INPROCESSING
6.65/6.70 c GARBAGE COLLECT
6.65/6.70 c rational objective 300.5
6.85/6.99 c #Conflicts: 164000 | #Constraints: 9748
6.85/6.99 c #Conflicts: 165000 | #Constraints: 10748
6.85/6.99 c #Conflicts: 166000 | #Constraints: 11748
6.85/6.99 c #Conflicts: 167000 | #Constraints: 12748
6.85/6.99 c #Conflicts: 168000 | #Constraints: 13748
6.85/6.99 c #Conflicts: 169000 | #Constraints: 14748
6.85/6.99 c #Conflicts: 170000 | #Constraints: 15748
6.85/6.99 c #Conflicts: 171000 | #Constraints: 16748
6.85/6.99 c INPROCESSING
6.85/6.99 c GARBAGE COLLECT
6.85/6.99 c rational objective 300.5
7.26/7.30 c #Conflicts: 172000 | #Constraints: 9543
7.26/7.30 c #Conflicts: 173000 | #Constraints: 10543
7.26/7.30 c #Conflicts: 174000 | #Constraints: 11543
7.26/7.30 c #Conflicts: 175000 | #Constraints: 12543
7.26/7.30 c #Conflicts: 176000 | #Constraints: 13543
7.26/7.30 c #Conflicts: 177000 | #Constraints: 14543
7.26/7.30 c #Conflicts: 178000 | #Constraints: 15543
7.26/7.30 c #Conflicts: 179000 | #Constraints: 16543
7.26/7.30 c #Conflicts: 180000 | #Constraints: 17543
7.26/7.30 c INPROCESSING
7.26/7.30 c GARBAGE COLLECT
7.26/7.30 c rational objective 300.5
7.56/7.60 c #Conflicts: 181000 | #Constraints: 10140
7.56/7.60 c #Conflicts: 182000 | #Constraints: 11140
7.56/7.60 c #Conflicts: 183000 | #Constraints: 12140
7.56/7.60 c #Conflicts: 184000 | #Constraints: 13140
7.56/7.60 c #Conflicts: 185000 | #Constraints: 14140
7.56/7.60 c #Conflicts: 186000 | #Constraints: 15140
7.56/7.60 c #Conflicts: 187000 | #Constraints: 16140
7.56/7.60 c #Conflicts: 188000 | #Constraints: 17140
7.56/7.60 c #Conflicts: 189000 | #Constraints: 18140
7.56/7.60 c INPROCESSING
7.56/7.60 c GARBAGE COLLECT
7.56/7.60 c rational objective 300.5
7.86/7.94 c #Conflicts: 190000 | #Constraints: 10551
7.86/7.94 c #Conflicts: 191000 | #Constraints: 11551
7.86/7.94 c #Conflicts: 192000 | #Constraints: 12551
7.86/7.94 c #Conflicts: 193000 | #Constraints: 13551
7.86/7.94 c #Conflicts: 194000 | #Constraints: 14551
7.86/7.94 c #Conflicts: 195000 | #Constraints: 15551
7.86/7.94 c #Conflicts: 196000 | #Constraints: 16551
7.86/7.94 c #Conflicts: 197000 | #Constraints: 17551
7.86/7.94 c #Conflicts: 198000 | #Constraints: 18552
7.86/7.94 c INPROCESSING
7.86/7.94 c GARBAGE COLLECT
7.86/7.94 c rational objective 300.5
8.15/8.29 c #Conflicts: 199000 | #Constraints: 10747
8.15/8.29 c #Conflicts: 200000 | #Constraints: 11747
8.15/8.29 c #Conflicts: 201000 | #Constraints: 12747
8.15/8.29 c #Conflicts: 202000 | #Constraints: 13747
8.15/8.29 c #Conflicts: 203000 | #Constraints: 14747
8.15/8.29 c #Conflicts: 204000 | #Constraints: 15747
8.15/8.29 c #Conflicts: 205000 | #Constraints: 16747
8.15/8.29 c #Conflicts: 206000 | #Constraints: 17747
8.15/8.29 c #Conflicts: 207000 | #Constraints: 18747
8.15/8.29 c INPROCESSING
8.15/8.29 c GARBAGE COLLECT
8.15/8.29 c rational objective 300.5
8.55/8.65 c #Conflicts: 208000 | #Constraints: 10757
8.55/8.65 c #Conflicts: 209000 | #Constraints: 11757
8.55/8.65 c #Conflicts: 210000 | #Constraints: 12757
8.55/8.65 c #Conflicts: 211000 | #Constraints: 13757
8.55/8.65 c #Conflicts: 212000 | #Constraints: 14757
8.55/8.65 c #Conflicts: 213000 | #Constraints: 15757
8.55/8.65 c #Conflicts: 214000 | #Constraints: 16757
8.55/8.65 c #Conflicts: 215000 | #Constraints: 17757
8.55/8.65 c #Conflicts: 216000 | #Constraints: 18757
8.55/8.65 c INPROCESSING
8.55/8.65 c GARBAGE COLLECT
8.55/8.65 c rational objective 300.5
8.85/8.97 c #Conflicts: 217000 | #Constraints: 10551
8.85/8.97 c #Conflicts: 218000 | #Constraints: 11551
8.85/8.97 c #Conflicts: 219000 | #Constraints: 12551
8.85/8.97 c #Conflicts: 220000 | #Constraints: 13551
8.85/8.97 c #Conflicts: 221000 | #Constraints: 14551
8.85/8.97 c #Conflicts: 222000 | #Constraints: 15551
8.85/8.97 c #Conflicts: 223000 | #Constraints: 16551
8.85/8.97 c #Conflicts: 224000 | #Constraints: 17551
8.85/8.97 c #Conflicts: 225000 | #Constraints: 18551
8.85/8.97 c #Conflicts: 226000 | #Constraints: 19551
8.85/8.97 c INPROCESSING
8.85/8.97 c GARBAGE COLLECT
8.85/8.97 c rational objective 300.5
9.15/9.29 c #Conflicts: 227000 | #Constraints: 11146
9.15/9.29 c #Conflicts: 228000 | #Constraints: 12146
9.15/9.29 c #Conflicts: 229000 | #Constraints: 13146
9.15/9.29 c #Conflicts: 230000 | #Constraints: 14146
9.15/9.29 c #Conflicts: 231000 | #Constraints: 15146
9.15/9.29 c #Conflicts: 232000 | #Constraints: 16146
9.15/9.29 c #Conflicts: 233000 | #Constraints: 17146
9.15/9.29 c #Conflicts: 234000 | #Constraints: 18146
9.15/9.29 c #Conflicts: 235000 | #Constraints: 19146
9.15/9.29 c #Conflicts: 236000 | #Constraints: 20147
9.15/9.29 c INPROCESSING
9.15/9.29 c GARBAGE COLLECT
9.15/9.29 c rational objective 300.5
9.45/9.59 c #Conflicts: 237000 | #Constraints: 11542
9.45/9.59 c #Conflicts: 238000 | #Constraints: 12542
9.45/9.59 c #Conflicts: 239000 | #Constraints: 13542
9.45/9.59 c #Conflicts: 240000 | #Constraints: 14542
9.45/9.59 c #Conflicts: 241000 | #Constraints: 15542
9.45/9.59 c #Conflicts: 242000 | #Constraints: 16542
9.45/9.59 c #Conflicts: 243000 | #Constraints: 17542
9.45/9.59 c #Conflicts: 244000 | #Constraints: 18542
9.45/9.59 c #Conflicts: 245000 | #Constraints: 19542
9.45/9.59 c #Conflicts: 246000 | #Constraints: 20542
9.45/9.59 c INPROCESSING
9.45/9.59 c GARBAGE COLLECT
9.45/9.59 c rational objective 300.5
9.85/9.94 c #Conflicts: 247000 | #Constraints: 11750
9.85/9.94 c #Conflicts: 248000 | #Constraints: 12750
9.85/9.94 c #Conflicts: 249000 | #Constraints: 13750
9.85/9.94 c #Conflicts: 250000 | #Constraints: 14750
9.85/9.94 c #Conflicts: 251000 | #Constraints: 15750
9.85/9.94 c #Conflicts: 252000 | #Constraints: 16750
9.85/9.94 c #Conflicts: 253000 | #Constraints: 17750
9.85/9.94 c #Conflicts: 254000 | #Constraints: 18750
9.85/9.94 c #Conflicts: 255000 | #Constraints: 19750
9.85/9.94 c #Conflicts: 256000 | #Constraints: 20750
9.85/9.94 c INPROCESSING
9.85/9.94 c GARBAGE COLLECT
9.85/9.94 c rational objective 300.5
10.24/10.30 c #Conflicts: 257000 | #Constraints: 11753
10.24/10.30 c #Conflicts: 258000 | #Constraints: 12753
10.24/10.30 c #Conflicts: 259000 | #Constraints: 13753
10.24/10.30 c #Conflicts: 260000 | #Constraints: 14753
10.24/10.30 c #Conflicts: 261000 | #Constraints: 15753
10.24/10.30 c #Conflicts: 262000 | #Constraints: 16753
10.24/10.30 c #Conflicts: 263000 | #Constraints: 17753
10.24/10.30 c #Conflicts: 264000 | #Constraints: 18753
10.24/10.30 c #Conflicts: 265000 | #Constraints: 19753
10.24/10.30 c #Conflicts: 266000 | #Constraints: 20753
10.24/10.30 c INPROCESSING
10.24/10.30 c GARBAGE COLLECT
10.24/10.30 c rational objective 300.5
10.65/10.70 c #Conflicts: 267000 | #Constraints: 11550
10.65/10.70 c #Conflicts: 268000 | #Constraints: 12550
10.65/10.70 c #Conflicts: 269000 | #Constraints: 13550
10.65/10.70 c #Conflicts: 270000 | #Constraints: 14550
10.65/10.70 c #Conflicts: 271000 | #Constraints: 15550
10.65/10.70 c #Conflicts: 272000 | #Constraints: 16550
10.65/10.70 c #Conflicts: 273000 | #Constraints: 17550
10.65/10.70 c #Conflicts: 274000 | #Constraints: 18550
10.65/10.70 c #Conflicts: 275000 | #Constraints: 19550
10.65/10.70 c #Conflicts: 276000 | #Constraints: 20550
10.65/10.70 c #Conflicts: 277000 | #Constraints: 21550
10.65/10.70 c INPROCESSING
10.65/10.70 c GARBAGE COLLECT
10.65/10.70 c rational objective 300.5
10.96/11.07 c #Conflicts: 278000 | #Constraints: 12147
10.96/11.07 c #Conflicts: 279000 | #Constraints: 13147
10.96/11.07 c #Conflicts: 280000 | #Constraints: 14147
10.96/11.07 c #Conflicts: 281000 | #Constraints: 15147
10.96/11.07 c #Conflicts: 282000 | #Constraints: 16147
10.96/11.07 c #Conflicts: 283000 | #Constraints: 17147
10.96/11.07 c #Conflicts: 284000 | #Constraints: 18147
10.96/11.07 c #Conflicts: 285000 | #Constraints: 19147
10.96/11.07 c #Conflicts: 286000 | #Constraints: 20147
10.96/11.07 c #Conflicts: 287000 | #Constraints: 21147
10.96/11.07 c #Conflicts: 288000 | #Constraints: 22147
10.96/11.07 c INPROCESSING
10.96/11.07 c GARBAGE COLLECT
10.96/11.07 c rational objective 300.5
11.35/11.44 c #Conflicts: 289000 | #Constraints: 12550
11.35/11.44 c #Conflicts: 290000 | #Constraints: 13550
11.35/11.44 c #Conflicts: 291000 | #Constraints: 14550
11.35/11.44 c #Conflicts: 292000 | #Constraints: 15550
11.35/11.44 c #Conflicts: 293000 | #Constraints: 16550
11.35/11.44 c #Conflicts: 294000 | #Constraints: 17550
11.35/11.44 c #Conflicts: 295000 | #Constraints: 18550
11.35/11.44 c #Conflicts: 296000 | #Constraints: 19550
11.35/11.44 c #Conflicts: 297000 | #Constraints: 20550
11.35/11.44 c #Conflicts: 298000 | #Constraints: 21550
11.35/11.44 c #Conflicts: 299000 | #Constraints: 22550
11.35/11.44 c INPROCESSING
11.35/11.44 c GARBAGE COLLECT
11.35/11.44 c rational objective 300.5
11.74/11.81 c #Conflicts: 300000 | #Constraints: 12753
11.74/11.81 c #Conflicts: 301000 | #Constraints: 13753
11.74/11.81 c #Conflicts: 302000 | #Constraints: 14753
11.74/11.81 c #Conflicts: 303000 | #Constraints: 15753
11.74/11.81 c #Conflicts: 304000 | #Constraints: 16753
11.74/11.81 c #Conflicts: 305000 | #Constraints: 17753
11.74/11.81 c #Conflicts: 306000 | #Constraints: 18753
11.74/11.81 c #Conflicts: 307000 | #Constraints: 19753
11.74/11.81 c #Conflicts: 308000 | #Constraints: 20753
11.74/11.81 c #Conflicts: 309000 | #Constraints: 21753
11.74/11.81 c #Conflicts: 310000 | #Constraints: 22753
11.74/11.81 c INPROCESSING
11.74/11.81 c GARBAGE COLLECT
11.74/11.81 c rational objective 300.5
12.14/12.20 c #Conflicts: 311000 | #Constraints: 12753
12.14/12.20 c #Conflicts: 312000 | #Constraints: 13753
12.14/12.20 c #Conflicts: 313000 | #Constraints: 14753
12.14/12.20 c #Conflicts: 314000 | #Constraints: 15753
12.14/12.20 c #Conflicts: 315000 | #Constraints: 16753
12.14/12.20 c #Conflicts: 316000 | #Constraints: 17753
12.14/12.20 c #Conflicts: 317000 | #Constraints: 18753
12.14/12.20 c #Conflicts: 318000 | #Constraints: 19753
12.14/12.20 c #Conflicts: 319000 | #Constraints: 20753
12.14/12.20 c #Conflicts: 320000 | #Constraints: 21753
12.14/12.20 c #Conflicts: 321000 | #Constraints: 22753
12.14/12.20 c INPROCESSING
12.14/12.20 c GARBAGE COLLECT
12.14/12.20 c rational objective 300.5
12.54/12.62 c #Conflicts: 322000 | #Constraints: 12560
12.54/12.62 c #Conflicts: 323000 | #Constraints: 13560
12.54/12.62 c #Conflicts: 324000 | #Constraints: 14560
12.54/12.62 c #Conflicts: 325000 | #Constraints: 15560
12.54/12.62 c #Conflicts: 326000 | #Constraints: 16560
12.54/12.62 c #Conflicts: 327000 | #Constraints: 17560
12.54/12.62 c #Conflicts: 328000 | #Constraints: 18560
12.54/12.62 c #Conflicts: 329000 | #Constraints: 19560
12.54/12.62 c #Conflicts: 330000 | #Constraints: 20560
12.54/12.62 c #Conflicts: 331000 | #Constraints: 21560
12.54/12.62 c #Conflicts: 332000 | #Constraints: 22560
12.54/12.62 c #Conflicts: 333000 | #Constraints: 23560
12.54/12.62 c INPROCESSING
12.54/12.62 c GARBAGE COLLECT
12.54/12.62 c rational objective 300.5
12.95/13.01 c #Conflicts: 334000 | #Constraints: 13161
12.95/13.01 c #Conflicts: 335000 | #Constraints: 14161
12.95/13.01 c #Conflicts: 336000 | #Constraints: 15161
12.95/13.01 c #Conflicts: 337000 | #Constraints: 16161
12.95/13.01 c #Conflicts: 338000 | #Constraints: 17161
12.95/13.01 c #Conflicts: 339000 | #Constraints: 18161
12.95/13.01 c #Conflicts: 340000 | #Constraints: 19161
12.95/13.01 c #Conflicts: 341000 | #Constraints: 20161
12.95/13.01 c #Conflicts: 342000 | #Constraints: 21161
12.95/13.01 c #Conflicts: 343000 | #Constraints: 22161
12.95/13.01 c #Conflicts: 344000 | #Constraints: 23161
12.95/13.01 c #Conflicts: 345000 | #Constraints: 24161
12.95/13.01 c INPROCESSING
12.95/13.01 c GARBAGE COLLECT
12.95/13.01 c rational objective 300.5
13.34/13.41 c #Conflicts: 346000 | #Constraints: 13569
13.34/13.41 c #Conflicts: 347000 | #Constraints: 14569
13.34/13.41 c #Conflicts: 348000 | #Constraints: 15569
13.34/13.41 c #Conflicts: 349000 | #Constraints: 16569
13.34/13.41 c #Conflicts: 350000 | #Constraints: 17569
13.34/13.41 c #Conflicts: 351000 | #Constraints: 18569
13.34/13.41 c #Conflicts: 352000 | #Constraints: 19569
13.34/13.41 c #Conflicts: 353000 | #Constraints: 20569
13.34/13.41 c #Conflicts: 354000 | #Constraints: 21569
13.34/13.41 c #Conflicts: 355000 | #Constraints: 22569
13.34/13.41 c #Conflicts: 356000 | #Constraints: 23569
13.34/13.41 c #Conflicts: 357000 | #Constraints: 24569
13.34/13.41 c INPROCESSING
13.34/13.41 c GARBAGE COLLECT
13.34/13.41 c rational objective 300.5
13.64/13.79 c #Conflicts: 358000 | #Constraints: 13762
13.64/13.79 c #Conflicts: 359000 | #Constraints: 14762
13.64/13.79 c #Conflicts: 360000 | #Constraints: 15762
13.64/13.79 c #Conflicts: 361000 | #Constraints: 16762
13.64/13.79 c #Conflicts: 362000 | #Constraints: 17762
13.64/13.79 c #Conflicts: 363000 | #Constraints: 18762
13.64/13.79 c #Conflicts: 364000 | #Constraints: 19762
13.64/13.79 c #Conflicts: 365000 | #Constraints: 20762
13.64/13.79 c #Conflicts: 366000 | #Constraints: 21762
13.64/13.79 c #Conflicts: 367000 | #Constraints: 22762
13.64/13.79 c #Conflicts: 368000 | #Constraints: 23762
13.64/13.79 c #Conflicts: 369000 | #Constraints: 24762
13.64/13.79 c INPROCESSING
13.64/13.79 c GARBAGE COLLECT
13.64/13.79 c rational objective 300.5
14.14/14.23 c #Conflicts: 370000 | #Constraints: 13775
14.14/14.23 c #Conflicts: 371000 | #Constraints: 14775
14.14/14.23 c #Conflicts: 372000 | #Constraints: 15775
14.14/14.23 c #Conflicts: 373000 | #Constraints: 16775
14.14/14.23 c #Conflicts: 374000 | #Constraints: 17775
14.14/14.23 c #Conflicts: 375000 | #Constraints: 18775
14.14/14.23 c #Conflicts: 376000 | #Constraints: 19775
14.14/14.23 c #Conflicts: 377000 | #Constraints: 20775
14.14/14.23 c #Conflicts: 378000 | #Constraints: 21775
14.14/14.23 c #Conflicts: 379000 | #Constraints: 22775
14.14/14.23 c #Conflicts: 380000 | #Constraints: 23775
14.14/14.23 c #Conflicts: 381000 | #Constraints: 24775
14.14/14.23 c INPROCESSING
14.14/14.23 c GARBAGE COLLECT
14.14/14.23 c rational objective 300.5
14.54/14.62 c #Conflicts: 382000 | #Constraints: 13572
14.54/14.62 c #Conflicts: 383000 | #Constraints: 14572
14.54/14.62 c #Conflicts: 384000 | #Constraints: 15572
14.54/14.62 c #Conflicts: 385000 | #Constraints: 16572
14.54/14.62 c #Conflicts: 386000 | #Constraints: 17572
14.54/14.62 c #Conflicts: 387000 | #Constraints: 18572
14.54/14.62 c #Conflicts: 388000 | #Constraints: 19572
14.54/14.62 c #Conflicts: 389000 | #Constraints: 20572
14.54/14.62 c #Conflicts: 390000 | #Constraints: 21572
14.54/14.62 c #Conflicts: 391000 | #Constraints: 22572
14.54/14.62 c #Conflicts: 392000 | #Constraints: 23572
14.54/14.62 c #Conflicts: 393000 | #Constraints: 24572
14.54/14.62 c #Conflicts: 394000 | #Constraints: 25572
14.54/14.62 c INPROCESSING
14.54/14.62 c GARBAGE COLLECT
14.54/14.62 c rational objective 300.5
14.94/15.07 c #Conflicts: 395000 | #Constraints: 14177
14.94/15.07 c #Conflicts: 396000 | #Constraints: 15177
14.94/15.07 c #Conflicts: 397000 | #Constraints: 16177
14.94/15.07 c #Conflicts: 398000 | #Constraints: 17177
14.94/15.07 c #Conflicts: 399000 | #Constraints: 18177
14.94/15.07 c #Conflicts: 400000 | #Constraints: 19177
14.94/15.07 c #Conflicts: 401000 | #Constraints: 20177
14.94/15.07 c #Conflicts: 402000 | #Constraints: 21177
14.94/15.07 c #Conflicts: 403000 | #Constraints: 22177
14.94/15.07 c #Conflicts: 404000 | #Constraints: 23177
14.94/15.07 c #Conflicts: 405000 | #Constraints: 24177
14.94/15.07 c #Conflicts: 406000 | #Constraints: 25177
14.94/15.07 c #Conflicts: 407000 | #Constraints: 26177
14.94/15.07 c INPROCESSING
14.94/15.07 c GARBAGE COLLECT
14.94/15.07 c rational objective 300.5
15.44/15.54 c #Conflicts: 408000 | #Constraints: 14573
15.44/15.54 c #Conflicts: 409000 | #Constraints: 15573
15.44/15.54 c #Conflicts: 410000 | #Constraints: 16573
15.44/15.54 c #Conflicts: 411000 | #Constraints: 17573
15.44/15.54 c #Conflicts: 412000 | #Constraints: 18573
15.44/15.54 c #Conflicts: 413000 | #Constraints: 19573
15.44/15.54 c #Conflicts: 414000 | #Constraints: 20573
15.44/15.54 c #Conflicts: 415000 | #Constraints: 21573
15.44/15.54 c #Conflicts: 416000 | #Constraints: 22573
15.44/15.54 c #Conflicts: 417000 | #Constraints: 23573
15.44/15.54 c #Conflicts: 418000 | #Constraints: 24573
15.44/15.54 c #Conflicts: 419000 | #Constraints: 25573
15.44/15.54 c #Conflicts: 420000 | #Constraints: 26573
15.44/15.54 c INPROCESSING
15.44/15.54 c GARBAGE COLLECT
15.44/15.54 c rational objective 300.5
15.94/16.04 c #Conflicts: 421000 | #Constraints: 14767
15.94/16.04 c #Conflicts: 422000 | #Constraints: 15767
15.94/16.04 c #Conflicts: 423000 | #Constraints: 16767
15.94/16.04 c #Conflicts: 424000 | #Constraints: 17767
15.94/16.04 c #Conflicts: 425000 | #Constraints: 18767
15.94/16.04 c #Conflicts: 426000 | #Constraints: 19767
15.94/16.04 c #Conflicts: 427000 | #Constraints: 20767
15.94/16.04 c #Conflicts: 428000 | #Constraints: 21767
15.94/16.04 c #Conflicts: 429000 | #Constraints: 22767
15.94/16.04 c #Conflicts: 430000 | #Constraints: 23767
15.94/16.04 c #Conflicts: 431000 | #Constraints: 24767
15.94/16.04 c #Conflicts: 432000 | #Constraints: 25767
15.94/16.04 c #Conflicts: 433000 | #Constraints: 26767
15.94/16.04 c INPROCESSING
15.94/16.04 c GARBAGE COLLECT
15.94/16.04 c rational objective 300.5
16.43/16.55 c #Conflicts: 434000 | #Constraints: 14776
16.43/16.55 c #Conflicts: 435000 | #Constraints: 15776
16.43/16.55 c #Conflicts: 436000 | #Constraints: 16776
16.43/16.55 c #Conflicts: 437000 | #Constraints: 17776
16.43/16.55 c #Conflicts: 438000 | #Constraints: 18776
16.43/16.55 c #Conflicts: 439000 | #Constraints: 19776
16.43/16.55 c #Conflicts: 440000 | #Constraints: 20776
16.43/16.55 c #Conflicts: 441000 | #Constraints: 21776
16.43/16.55 c #Conflicts: 442000 | #Constraints: 22776
16.43/16.55 c #Conflicts: 443000 | #Constraints: 23776
16.43/16.55 c #Conflicts: 444000 | #Constraints: 24776
16.43/16.55 c #Conflicts: 445000 | #Constraints: 25776
16.43/16.55 c #Conflicts: 446000 | #Constraints: 26776
16.43/16.55 c INPROCESSING
16.43/16.55 c GARBAGE COLLECT
16.43/16.55 c rational objective 300.5
16.94/17.03 c #Conflicts: 447000 | #Constraints: 14580
16.94/17.03 c #Conflicts: 448000 | #Constraints: 15580
16.94/17.03 c #Conflicts: 449000 | #Constraints: 16580
16.94/17.03 c #Conflicts: 450000 | #Constraints: 17580
16.94/17.03 c #Conflicts: 451000 | #Constraints: 18580
16.94/17.03 c #Conflicts: 452000 | #Constraints: 19580
16.94/17.03 c #Conflicts: 453000 | #Constraints: 20580
16.94/17.03 c #Conflicts: 454000 | #Constraints: 21580
16.94/17.03 c #Conflicts: 455000 | #Constraints: 22580
16.94/17.03 c #Conflicts: 456000 | #Constraints: 23580
16.94/17.03 c #Conflicts: 457000 | #Constraints: 24580
16.94/17.03 c #Conflicts: 458000 | #Constraints: 25580
16.94/17.03 c #Conflicts: 459000 | #Constraints: 26580
16.94/17.03 c #Conflicts: 460000 | #Constraints: 27580
16.94/17.03 c INPROCESSING
16.94/17.03 c GARBAGE COLLECT
16.94/17.03 c rational objective 300.5
17.42/17.55 c #Conflicts: 461000 | #Constraints: 15178
17.42/17.55 c #Conflicts: 462000 | #Constraints: 16178
17.42/17.55 c #Conflicts: 463000 | #Constraints: 17178
17.42/17.55 c #Conflicts: 464000 | #Constraints: 18178
17.42/17.55 c #Conflicts: 465000 | #Constraints: 19178
17.42/17.55 c #Conflicts: 466000 | #Constraints: 20178
17.42/17.55 c #Conflicts: 467000 | #Constraints: 21178
17.42/17.55 c #Conflicts: 468000 | #Constraints: 22178
17.42/17.55 c #Conflicts: 469000 | #Constraints: 23178
17.42/17.55 c #Conflicts: 470000 | #Constraints: 24178
17.42/17.55 c #Conflicts: 471000 | #Constraints: 25178
17.42/17.55 c #Conflicts: 472000 | #Constraints: 26178
17.42/17.55 c #Conflicts: 473000 | #Constraints: 27178
17.42/17.55 c #Conflicts: 474000 | #Constraints: 28178
17.42/17.55 c INPROCESSING
17.42/17.55 c GARBAGE COLLECT
17.42/17.55 c rational objective 300.5
18.04/18.11 c #Conflicts: 475000 | #Constraints: 15582
18.04/18.11 c #Conflicts: 476000 | #Constraints: 16582
18.04/18.11 c #Conflicts: 477000 | #Constraints: 17582
18.04/18.11 c #Conflicts: 478000 | #Constraints: 18582
18.04/18.11 c #Conflicts: 479000 | #Constraints: 19582
18.04/18.11 c #Conflicts: 480000 | #Constraints: 20582
18.04/18.11 c #Conflicts: 481000 | #Constraints: 21582
18.04/18.11 c #Conflicts: 482000 | #Constraints: 22582
18.04/18.11 c #Conflicts: 483000 | #Constraints: 23582
18.04/18.11 c #Conflicts: 484000 | #Constraints: 24582
18.04/18.11 c #Conflicts: 485000 | #Constraints: 25582
18.04/18.11 c #Conflicts: 486000 | #Constraints: 26582
18.04/18.11 c #Conflicts: 487000 | #Constraints: 27582
18.04/18.11 c #Conflicts: 488000 | #Constraints: 28582
18.04/18.11 c INPROCESSING
18.04/18.11 c GARBAGE COLLECT
18.04/18.11 c rational objective 300.5
18.53/18.64 c #Conflicts: 489000 | #Constraints: 15787
18.53/18.64 c #Conflicts: 490000 | #Constraints: 16787
18.53/18.64 c #Conflicts: 491000 | #Constraints: 17787
18.53/18.64 c #Conflicts: 492000 | #Constraints: 18787
18.53/18.64 c #Conflicts: 493000 | #Constraints: 19787
18.53/18.64 c #Conflicts: 494000 | #Constraints: 20787
18.53/18.64 c #Conflicts: 495000 | #Constraints: 21787
18.53/18.64 c #Conflicts: 496000 | #Constraints: 22787
18.53/18.64 c #Conflicts: 497000 | #Constraints: 23787
18.53/18.64 c #Conflicts: 498000 | #Constraints: 24787
18.53/18.64 c #Conflicts: 499000 | #Constraints: 25787
18.53/18.64 c #Conflicts: 500000 | #Constraints: 26787
18.53/18.64 c #Conflicts: 501000 | #Constraints: 27787
18.53/18.64 c #Conflicts: 502000 | #Constraints: 28787
18.53/18.64 c INPROCESSING
18.53/18.64 c GARBAGE COLLECT
18.53/18.64 c rational objective 300.5
19.12/19.21 c #Conflicts: 503000 | #Constraints: 15791
19.12/19.21 c #Conflicts: 504000 | #Constraints: 16791
19.12/19.21 c #Conflicts: 505000 | #Constraints: 17791
19.12/19.21 c #Conflicts: 506000 | #Constraints: 18791
19.12/19.21 c #Conflicts: 507000 | #Constraints: 19791
19.12/19.21 c #Conflicts: 508000 | #Constraints: 20791
19.12/19.21 c #Conflicts: 509000 | #Constraints: 21791
19.12/19.21 c #Conflicts: 510000 | #Constraints: 22791
19.12/19.21 c #Conflicts: 511000 | #Constraints: 23791
19.12/19.21 c #Conflicts: 512000 | #Constraints: 24791
19.12/19.21 c #Conflicts: 513000 | #Constraints: 25791
19.12/19.21 c #Conflicts: 514000 | #Constraints: 26791
19.12/19.21 c #Conflicts: 515000 | #Constraints: 27791
19.12/19.21 c #Conflicts: 516000 | #Constraints: 28791
19.12/19.21 c INPROCESSING
19.12/19.21 c GARBAGE COLLECT
19.12/19.21 c rational objective 300.5
19.62/19.72 c #Conflicts: 517000 | #Constraints: 15591
19.62/19.72 c #Conflicts: 518000 | #Constraints: 16591
19.62/19.72 c #Conflicts: 519000 | #Constraints: 17591
19.62/19.72 c #Conflicts: 520000 | #Constraints: 18591
19.62/19.72 c #Conflicts: 521000 | #Constraints: 19591
19.62/19.72 c #Conflicts: 522000 | #Constraints: 20591
19.62/19.72 c #Conflicts: 523000 | #Constraints: 21591
19.62/19.72 c #Conflicts: 524000 | #Constraints: 22591
19.62/19.72 c #Conflicts: 525000 | #Constraints: 23591
19.62/19.72 c #Conflicts: 526000 | #Constraints: 24591
19.62/19.72 c #Conflicts: 527000 | #Constraints: 25591
19.62/19.72 c #Conflicts: 528000 | #Constraints: 26591
19.62/19.72 c #Conflicts: 529000 | #Constraints: 27591
19.62/19.72 c #Conflicts: 530000 | #Constraints: 28591
19.62/19.72 c #Conflicts: 531000 | #Constraints: 29591
19.62/19.72 c INPROCESSING
19.62/19.72 c GARBAGE COLLECT
19.62/19.72 c rational objective 300.5
20.12/20.24 c #Conflicts: 532000 | #Constraints: 16193
20.12/20.24 c #Conflicts: 533000 | #Constraints: 17193
20.12/20.24 c #Conflicts: 534000 | #Constraints: 18193
20.12/20.24 c #Conflicts: 535000 | #Constraints: 19193
20.12/20.24 c #Conflicts: 536000 | #Constraints: 20193
20.12/20.24 c #Conflicts: 537000 | #Constraints: 21193
20.12/20.24 c #Conflicts: 538000 | #Constraints: 22193
20.12/20.24 c #Conflicts: 539000 | #Constraints: 23193
20.12/20.24 c #Conflicts: 540000 | #Constraints: 24193
20.12/20.24 c #Conflicts: 541000 | #Constraints: 25193
20.12/20.24 c #Conflicts: 542000 | #Constraints: 26193
20.12/20.24 c #Conflicts: 543000 | #Constraints: 27193
20.12/20.24 c #Conflicts: 544000 | #Constraints: 28193
20.12/20.24 c #Conflicts: 545000 | #Constraints: 29193
20.12/20.24 c #Conflicts: 546000 | #Constraints: 30193
20.12/20.24 c INPROCESSING
20.12/20.24 c GARBAGE COLLECT
20.12/20.24 c rational objective 300.5
20.72/20.81 c #Conflicts: 547000 | #Constraints: 16595
20.72/20.81 c #Conflicts: 548000 | #Constraints: 17595
20.72/20.81 c #Conflicts: 549000 | #Constraints: 18595
20.72/20.81 c #Conflicts: 550000 | #Constraints: 19595
20.72/20.81 c #Conflicts: 551000 | #Constraints: 20595
20.72/20.81 c #Conflicts: 552000 | #Constraints: 21595
20.72/20.81 c #Conflicts: 553000 | #Constraints: 22595
20.72/20.81 c #Conflicts: 554000 | #Constraints: 23595
20.72/20.81 c #Conflicts: 555000 | #Constraints: 24595
20.72/20.81 c #Conflicts: 556000 | #Constraints: 25595
20.72/20.81 c #Conflicts: 557000 | #Constraints: 26595
20.72/20.81 c #Conflicts: 558000 | #Constraints: 27595
20.72/20.81 c #Conflicts: 559000 | #Constraints: 28595
20.72/20.81 c #Conflicts: 560000 | #Constraints: 29595
20.72/20.81 c #Conflicts: 561000 | #Constraints: 30595
20.72/20.81 c INPROCESSING
20.72/20.81 c GARBAGE COLLECT
20.72/20.81 c rational objective 300.5
21.22/21.33 c #Conflicts: 562000 | #Constraints: 16787
21.22/21.33 c #Conflicts: 563000 | #Constraints: 17787
21.22/21.33 c #Conflicts: 564000 | #Constraints: 18787
21.22/21.33 c #Conflicts: 565000 | #Constraints: 19787
21.22/21.33 c #Conflicts: 566000 | #Constraints: 20787
21.22/21.33 c #Conflicts: 567000 | #Constraints: 21787
21.22/21.33 c #Conflicts: 568000 | #Constraints: 22787
21.22/21.33 c #Conflicts: 569000 | #Constraints: 23787
21.22/21.33 c #Conflicts: 570000 | #Constraints: 24787
21.22/21.33 c #Conflicts: 571000 | #Constraints: 25787
21.22/21.33 c #Conflicts: 572000 | #Constraints: 26787
21.22/21.33 c #Conflicts: 573000 | #Constraints: 27787
21.22/21.33 c #Conflicts: 574000 | #Constraints: 28787
21.22/21.33 c #Conflicts: 575000 | #Constraints: 29787
21.22/21.33 c #Conflicts: 576000 | #Constraints: 30787
21.22/21.33 c INPROCESSING
21.22/21.33 c GARBAGE COLLECT
21.22/21.33 c rational objective 300.5
21.71/21.88 c #Conflicts: 577000 | #Constraints: 16797
21.71/21.88 c #Conflicts: 578000 | #Constraints: 17797
21.71/21.88 c #Conflicts: 579000 | #Constraints: 18797
21.71/21.88 c #Conflicts: 580000 | #Constraints: 19797
21.71/21.88 c #Conflicts: 581000 | #Constraints: 20797
21.71/21.88 c #Conflicts: 582000 | #Constraints: 21797
21.71/21.88 c #Conflicts: 583000 | #Constraints: 22797
21.71/21.88 c #Conflicts: 584000 | #Constraints: 23797
21.71/21.88 c #Conflicts: 585000 | #Constraints: 24797
21.71/21.88 c #Conflicts: 586000 | #Constraints: 25797
21.71/21.88 c #Conflicts: 587000 | #Constraints: 26797
21.71/21.88 c #Conflicts: 588000 | #Constraints: 27797
21.71/21.88 c #Conflicts: 589000 | #Constraints: 28797
21.71/21.88 c #Conflicts: 590000 | #Constraints: 29797
21.71/21.88 c #Conflicts: 591000 | #Constraints: 30797
21.71/21.88 c INPROCESSING
21.71/21.88 c GARBAGE COLLECT
21.71/21.88 c rational objective 300.5
22.41/22.51 c #Conflicts: 592000 | #Constraints: 16599
22.41/22.51 c #Conflicts: 593000 | #Constraints: 17599
22.41/22.51 c #Conflicts: 594000 | #Constraints: 18599
22.41/22.51 c #Conflicts: 595000 | #Constraints: 19599
22.41/22.51 c #Conflicts: 596000 | #Constraints: 20599
22.41/22.51 c #Conflicts: 597000 | #Constraints: 21599
22.41/22.51 c #Conflicts: 598000 | #Constraints: 22599
22.41/22.51 c #Conflicts: 599000 | #Constraints: 23599
22.41/22.51 c #Conflicts: 600000 | #Constraints: 24599
22.41/22.51 c #Conflicts: 601000 | #Constraints: 25599
22.41/22.51 c #Conflicts: 602000 | #Constraints: 26599
22.41/22.51 c #Conflicts: 603000 | #Constraints: 27599
22.41/22.51 c #Conflicts: 604000 | #Constraints: 28599
22.41/22.51 c #Conflicts: 605000 | #Constraints: 29599
22.41/22.51 c #Conflicts: 606000 | #Constraints: 30599
22.41/22.51 c #Conflicts: 607000 | #Constraints: 31599
22.41/22.51 c INPROCESSING
22.41/22.51 c GARBAGE COLLECT
22.41/22.51 c rational objective 300.5
23.02/23.11 c #Conflicts: 608000 | #Constraints: 17197
23.02/23.11 c #Conflicts: 609000 | #Constraints: 18197
23.02/23.11 c #Conflicts: 610000 | #Constraints: 19197
23.02/23.11 c #Conflicts: 611000 | #Constraints: 20197
23.02/23.11 c #Conflicts: 612000 | #Constraints: 21197
23.02/23.11 c #Conflicts: 613000 | #Constraints: 22197
23.02/23.11 c #Conflicts: 614000 | #Constraints: 23197
23.02/23.11 c #Conflicts: 615000 | #Constraints: 24197
23.02/23.11 c #Conflicts: 616000 | #Constraints: 25197
23.02/23.11 c #Conflicts: 617000 | #Constraints: 26197
23.02/23.11 c #Conflicts: 618000 | #Constraints: 27197
23.02/23.11 c #Conflicts: 619000 | #Constraints: 28197
23.02/23.11 c #Conflicts: 620000 | #Constraints: 29197
23.02/23.11 c #Conflicts: 621000 | #Constraints: 30197
23.02/23.11 c #Conflicts: 622000 | #Constraints: 31197
23.02/23.11 c #Conflicts: 623000 | #Constraints: 32197
23.02/23.11 c INPROCESSING
23.02/23.11 c GARBAGE COLLECT
23.02/23.11 c rational objective 300.5
23.61/23.72 c #Conflicts: 624000 | #Constraints: 17595
23.61/23.72 c #Conflicts: 625000 | #Constraints: 18595
23.61/23.72 c #Conflicts: 626000 | #Constraints: 19595
23.61/23.72 c #Conflicts: 627000 | #Constraints: 20595
23.61/23.72 c #Conflicts: 628000 | #Constraints: 21595
23.61/23.72 c #Conflicts: 629000 | #Constraints: 22595
23.61/23.72 c #Conflicts: 630000 | #Constraints: 23595
23.61/23.72 c #Conflicts: 631000 | #Constraints: 24595
23.61/23.72 c #Conflicts: 632000 | #Constraints: 25595
23.61/23.72 c #Conflicts: 633000 | #Constraints: 26595
23.61/23.72 c #Conflicts: 634000 | #Constraints: 27595
23.61/23.72 c #Conflicts: 635000 | #Constraints: 28595
23.61/23.72 c #Conflicts: 636000 | #Constraints: 29595
23.61/23.72 c #Conflicts: 637000 | #Constraints: 30595
23.61/23.72 c #Conflicts: 638000 | #Constraints: 31595
23.61/23.72 c #Conflicts: 639000 | #Constraints: 32595
23.61/23.72 c INPROCESSING
23.61/23.72 c GARBAGE COLLECT
23.61/23.72 c rational objective 300.5
24.21/24.30 c #Conflicts: 640000 | #Constraints: 17795
24.21/24.30 c #Conflicts: 641000 | #Constraints: 18795
24.21/24.30 c #Conflicts: 642000 | #Constraints: 19795
24.21/24.30 c #Conflicts: 643000 | #Constraints: 20795
24.21/24.30 c #Conflicts: 644000 | #Constraints: 21795
24.21/24.30 c #Conflicts: 645000 | #Constraints: 22795
24.21/24.30 c #Conflicts: 646000 | #Constraints: 23795
24.21/24.30 c #Conflicts: 647000 | #Constraints: 24795
24.21/24.30 c #Conflicts: 648000 | #Constraints: 25795
24.21/24.30 c #Conflicts: 649000 | #Constraints: 26795
24.21/24.30 c #Conflicts: 650000 | #Constraints: 27795
24.21/24.30 c #Conflicts: 651000 | #Constraints: 28795
24.21/24.30 c #Conflicts: 652000 | #Constraints: 29795
24.21/24.30 c #Conflicts: 653000 | #Constraints: 30795
24.21/24.30 c #Conflicts: 654000 | #Constraints: 31795
24.21/24.30 c #Conflicts: 655000 | #Constraints: 32795
24.21/24.30 c INPROCESSING
24.21/24.30 c GARBAGE COLLECT
24.21/24.30 c rational objective 300.5
24.81/24.93 c #Conflicts: 656000 | #Constraints: 17796
24.81/24.93 c #Conflicts: 657000 | #Constraints: 18796
24.81/24.93 c #Conflicts: 658000 | #Constraints: 19796
24.81/24.93 c #Conflicts: 659000 | #Constraints: 20796
24.81/24.93 c #Conflicts: 660000 | #Constraints: 21796
24.81/24.93 c #Conflicts: 661000 | #Constraints: 22796
24.81/24.93 c #Conflicts: 662000 | #Constraints: 23796
24.81/24.93 c #Conflicts: 663000 | #Constraints: 24796
24.81/24.93 c #Conflicts: 664000 | #Constraints: 25796
24.81/24.93 c #Conflicts: 665000 | #Constraints: 26796
24.81/24.93 c #Conflicts: 666000 | #Constraints: 27796
24.81/24.93 c #Conflicts: 667000 | #Constraints: 28796
24.81/24.93 c #Conflicts: 668000 | #Constraints: 29796
24.81/24.93 c #Conflicts: 669000 | #Constraints: 30796
24.81/24.93 c #Conflicts: 670000 | #Constraints: 31796
24.81/24.93 c #Conflicts: 671000 | #Constraints: 32796
24.81/24.93 c INPROCESSING
24.81/24.93 c GARBAGE COLLECT
24.81/24.93 c rational objective 300.5
25.40/25.58 c #Conflicts: 672000 | #Constraints: 17595
25.40/25.58 c #Conflicts: 673000 | #Constraints: 18595
25.40/25.58 c #Conflicts: 674000 | #Constraints: 19595
25.40/25.58 c #Conflicts: 675000 | #Constraints: 20595
25.40/25.58 c #Conflicts: 676000 | #Constraints: 21595
25.40/25.58 c #Conflicts: 677000 | #Constraints: 22595
25.40/25.58 c #Conflicts: 678000 | #Constraints: 23595
25.40/25.58 c #Conflicts: 679000 | #Constraints: 24595
25.40/25.58 c #Conflicts: 680000 | #Constraints: 25595
25.40/25.58 c #Conflicts: 681000 | #Constraints: 26595
25.40/25.58 c #Conflicts: 682000 | #Constraints: 27595
25.40/25.58 c #Conflicts: 683000 | #Constraints: 28595
25.40/25.58 c #Conflicts: 684000 | #Constraints: 29595
25.40/25.58 c #Conflicts: 685000 | #Constraints: 30595
25.40/25.58 c #Conflicts: 686000 | #Constraints: 31595
25.40/25.58 c #Conflicts: 687000 | #Constraints: 32595
25.40/25.58 c #Conflicts: 688000 | #Constraints: 33595
25.40/25.58 c INPROCESSING
25.40/25.58 c GARBAGE COLLECT
25.40/25.58 c rational objective 300.5
26.11/26.21 c #Conflicts: 689000 | #Constraints: 18197
26.11/26.21 c #Conflicts: 690000 | #Constraints: 19197
26.11/26.21 c #Conflicts: 691000 | #Constraints: 20197
26.11/26.21 c #Conflicts: 692000 | #Constraints: 21197
26.11/26.21 c #Conflicts: 693000 | #Constraints: 22197
26.11/26.21 c #Conflicts: 694000 | #Constraints: 23197
26.11/26.21 c #Conflicts: 695000 | #Constraints: 24197
26.11/26.21 c #Conflicts: 696000 | #Constraints: 25197
26.11/26.21 c #Conflicts: 697000 | #Constraints: 26197
26.11/26.21 c #Conflicts: 698000 | #Constraints: 27197
26.11/26.21 c #Conflicts: 699000 | #Constraints: 28197
26.11/26.21 c #Conflicts: 700000 | #Constraints: 29197
26.11/26.21 c #Conflicts: 701000 | #Constraints: 30197
26.11/26.21 c #Conflicts: 702000 | #Constraints: 31197
26.11/26.21 c #Conflicts: 703000 | #Constraints: 32197
26.11/26.21 c #Conflicts: 704000 | #Constraints: 33197
26.11/26.21 c #Conflicts: 705000 | #Constraints: 34197
26.11/26.21 c INPROCESSING
26.11/26.21 c GARBAGE COLLECT
26.11/26.21 c rational objective 300.5
26.80/26.90 c #Conflicts: 706000 | #Constraints: 18594
26.80/26.90 c #Conflicts: 707000 | #Constraints: 19594
26.80/26.90 c #Conflicts: 708000 | #Constraints: 20594
26.80/26.90 c #Conflicts: 709000 | #Constraints: 21594
26.80/26.90 c #Conflicts: 710000 | #Constraints: 22594
26.80/26.90 c #Conflicts: 711000 | #Constraints: 23594
26.80/26.90 c #Conflicts: 712000 | #Constraints: 24594
26.80/26.90 c #Conflicts: 713000 | #Constraints: 25594
26.80/26.90 c #Conflicts: 714000 | #Constraints: 26594
26.80/26.90 c #Conflicts: 715000 | #Constraints: 27594
26.80/26.90 c #Conflicts: 716000 | #Constraints: 28594
26.80/26.90 c #Conflicts: 717000 | #Constraints: 29594
26.80/26.90 c #Conflicts: 718000 | #Constraints: 30594
26.80/26.90 c #Conflicts: 719000 | #Constraints: 31594
26.80/26.90 c #Conflicts: 720000 | #Constraints: 32594
26.80/26.90 c #Conflicts: 721000 | #Constraints: 33594
26.80/26.90 c #Conflicts: 722000 | #Constraints: 34594
26.80/26.90 c INPROCESSING
26.80/26.90 c GARBAGE COLLECT
26.80/26.90 c rational objective 300.5
27.40/27.58 c #Conflicts: 723000 | #Constraints: 18796
27.40/27.58 c #Conflicts: 724000 | #Constraints: 19796
27.40/27.58 c #Conflicts: 725000 | #Constraints: 20796
27.40/27.58 c #Conflicts: 726000 | #Constraints: 21796
27.40/27.58 c #Conflicts: 727000 | #Constraints: 22796
27.40/27.58 c #Conflicts: 728000 | #Constraints: 23796
27.40/27.58 c #Conflicts: 729000 | #Constraints: 24796
27.40/27.58 c #Conflicts: 730000 | #Constraints: 25796
27.40/27.58 c #Conflicts: 731000 | #Constraints: 26796
27.40/27.58 c #Conflicts: 732000 | #Constraints: 27796
27.40/27.58 c #Conflicts: 733000 | #Constraints: 28796
27.40/27.58 c #Conflicts: 734000 | #Constraints: 29796
27.40/27.58 c #Conflicts: 735000 | #Constraints: 30796
27.40/27.58 c #Conflicts: 736000 | #Constraints: 31796
27.40/27.58 c #Conflicts: 737000 | #Constraints: 32796
27.40/27.58 c #Conflicts: 738000 | #Constraints: 33796
27.40/27.58 c #Conflicts: 739000 | #Constraints: 34796
27.40/27.58 c INPROCESSING
27.40/27.58 c GARBAGE COLLECT
27.40/27.58 c rational objective 300.5
28.10/28.27 c #Conflicts: 740000 | #Constraints: 18795
28.10/28.27 c #Conflicts: 741000 | #Constraints: 19795
28.10/28.27 c #Conflicts: 742000 | #Constraints: 20795
28.10/28.27 c #Conflicts: 743000 | #Constraints: 21795
28.10/28.27 c #Conflicts: 744000 | #Constraints: 22795
28.10/28.27 c #Conflicts: 745000 | #Constraints: 23795
28.10/28.27 c #Conflicts: 746000 | #Constraints: 24795
28.10/28.27 c #Conflicts: 747000 | #Constraints: 25795
28.10/28.27 c #Conflicts: 748000 | #Constraints: 26795
28.10/28.27 c #Conflicts: 749000 | #Constraints: 27795
28.10/28.27 c #Conflicts: 750000 | #Constraints: 28795
28.10/28.27 c #Conflicts: 751000 | #Constraints: 29795
28.10/28.27 c #Conflicts: 752000 | #Constraints: 30795
28.10/28.27 c #Conflicts: 753000 | #Constraints: 31795
28.10/28.27 c #Conflicts: 754000 | #Constraints: 32795
28.10/28.27 c #Conflicts: 755000 | #Constraints: 33795
28.10/28.27 c #Conflicts: 756000 | #Constraints: 34795
28.10/28.27 c INPROCESSING
28.10/28.27 c GARBAGE COLLECT
28.10/28.27 c rational objective 300.5
28.80/28.97 c #Conflicts: 757000 | #Constraints: 18596
28.80/28.97 c #Conflicts: 758000 | #Constraints: 19596
28.80/28.97 c #Conflicts: 759000 | #Constraints: 20596
28.80/28.97 c #Conflicts: 760000 | #Constraints: 21596
28.80/28.97 c #Conflicts: 761000 | #Constraints: 22596
28.80/28.97 c #Conflicts: 762000 | #Constraints: 23596
28.80/28.97 c #Conflicts: 763000 | #Constraints: 24596
28.80/28.97 c #Conflicts: 764000 | #Constraints: 25596
28.80/28.97 c #Conflicts: 765000 | #Constraints: 26596
28.80/28.97 c #Conflicts: 766000 | #Constraints: 27596
28.80/28.97 c #Conflicts: 767000 | #Constraints: 28596
28.80/28.97 c #Conflicts: 768000 | #Constraints: 29596
28.80/28.97 c #Conflicts: 769000 | #Constraints: 30596
28.80/28.97 c #Conflicts: 770000 | #Constraints: 31596
28.80/28.97 c #Conflicts: 771000 | #Constraints: 32596
28.80/28.97 c #Conflicts: 772000 | #Constraints: 33596
28.80/28.97 c #Conflicts: 773000 | #Constraints: 34596
28.80/28.97 c #Conflicts: 774000 | #Constraints: 35596
28.80/28.97 c INPROCESSING
28.80/28.97 c GARBAGE COLLECT
28.80/28.97 c rational objective 300.5
29.60/29.70 c #Conflicts: 775000 | #Constraints: 19194
29.60/29.70 c #Conflicts: 776000 | #Constraints: 20194
29.60/29.70 c #Conflicts: 777000 | #Constraints: 21194
29.60/29.70 c #Conflicts: 778000 | #Constraints: 22194
29.60/29.70 c #Conflicts: 779000 | #Constraints: 23194
29.60/29.70 c #Conflicts: 780000 | #Constraints: 24194
29.60/29.70 c #Conflicts: 781000 | #Constraints: 25194
29.60/29.70 c #Conflicts: 782000 | #Constraints: 26194
29.60/29.70 c #Conflicts: 783000 | #Constraints: 27194
29.60/29.70 c #Conflicts: 784000 | #Constraints: 28194
29.60/29.70 c #Conflicts: 785000 | #Constraints: 29194
29.60/29.70 c #Conflicts: 786000 | #Constraints: 30194
29.60/29.70 c #Conflicts: 787000 | #Constraints: 31194
29.60/29.70 c #Conflicts: 788000 | #Constraints: 32194
29.60/29.70 c #Conflicts: 789000 | #Constraints: 33194
29.60/29.70 c #Conflicts: 790000 | #Constraints: 34194
29.60/29.70 c #Conflicts: 791000 | #Constraints: 35194
29.60/29.70 c #Conflicts: 792000 | #Constraints: 36194
29.60/29.70 c INPROCESSING
29.60/29.70 c GARBAGE COLLECT
29.60/29.70 c rational objective 300.5
30.29/30.43 c #Conflicts: 793000 | #Constraints: 19597
30.29/30.43 c #Conflicts: 794000 | #Constraints: 20597
30.29/30.43 c #Conflicts: 795000 | #Constraints: 21597
30.29/30.43 c #Conflicts: 796000 | #Constraints: 22597
30.29/30.43 c #Conflicts: 797000 | #Constraints: 23597
30.29/30.43 c #Conflicts: 798000 | #Constraints: 24597
30.29/30.43 c #Conflicts: 799000 | #Constraints: 25597
30.29/30.43 c #Conflicts: 800000 | #Constraints: 26597
30.29/30.43 c #Conflicts: 801000 | #Constraints: 27597
30.29/30.43 c #Conflicts: 802000 | #Constraints: 28597
30.29/30.43 c #Conflicts: 803000 | #Constraints: 29597
30.29/30.43 c #Conflicts: 804000 | #Constraints: 30597
30.29/30.43 c #Conflicts: 805000 | #Constraints: 31597
30.29/30.43 c #Conflicts: 806000 | #Constraints: 32597
30.29/30.43 c #Conflicts: 807000 | #Constraints: 33597
30.29/30.43 c #Conflicts: 808000 | #Constraints: 34597
30.29/30.43 c #Conflicts: 809000 | #Constraints: 35597
30.29/30.43 c #Conflicts: 810000 | #Constraints: 36597
30.29/30.43 c INPROCESSING
30.29/30.43 c GARBAGE COLLECT
30.29/30.43 c rational objective 300.5
31.00/31.16 c #Conflicts: 811000 | #Constraints: 19796
31.00/31.16 c #Conflicts: 812000 | #Constraints: 20796
31.00/31.16 c #Conflicts: 813000 | #Constraints: 21796
31.00/31.16 c #Conflicts: 814000 | #Constraints: 22796
31.00/31.16 c #Conflicts: 815000 | #Constraints: 23796
31.00/31.16 c #Conflicts: 816000 | #Constraints: 24796
31.00/31.16 c #Conflicts: 817000 | #Constraints: 25796
31.00/31.16 c #Conflicts: 818000 | #Constraints: 26796
31.00/31.16 c #Conflicts: 819000 | #Constraints: 27796
31.00/31.16 c #Conflicts: 820000 | #Constraints: 28796
31.00/31.16 c #Conflicts: 821000 | #Constraints: 29796
31.00/31.16 c #Conflicts: 822000 | #Constraints: 30796
31.00/31.16 c #Conflicts: 823000 | #Constraints: 31796
31.00/31.16 c #Conflicts: 824000 | #Constraints: 32796
31.00/31.16 c #Conflicts: 825000 | #Constraints: 33796
31.00/31.16 c #Conflicts: 826000 | #Constraints: 34796
31.00/31.16 c #Conflicts: 827000 | #Constraints: 35796
31.00/31.16 c #Conflicts: 828000 | #Constraints: 36796
31.00/31.16 c INPROCESSING
31.00/31.16 c GARBAGE COLLECT
31.00/31.16 c rational objective 300.5
31.79/31.94 c #Conflicts: 829000 | #Constraints: 19799
31.79/31.94 c #Conflicts: 830000 | #Constraints: 20799
31.79/31.94 c #Conflicts: 831000 | #Constraints: 21799
31.79/31.94 c #Conflicts: 832000 | #Constraints: 22799
31.79/31.94 c #Conflicts: 833000 | #Constraints: 23799
31.79/31.94 c #Conflicts: 834000 | #Constraints: 24799
31.79/31.94 c #Conflicts: 835000 | #Constraints: 25799
31.79/31.94 c #Conflicts: 836000 | #Constraints: 26799
31.79/31.94 c #Conflicts: 837000 | #Constraints: 27799
31.79/31.94 c #Conflicts: 838000 | #Constraints: 28799
31.79/31.94 c #Conflicts: 839000 | #Constraints: 29799
31.79/31.94 c #Conflicts: 840000 | #Constraints: 30799
31.79/31.94 c #Conflicts: 841000 | #Constraints: 31799
31.79/31.94 c #Conflicts: 842000 | #Constraints: 32799
31.79/31.94 c #Conflicts: 843000 | #Constraints: 33799
31.79/31.94 c #Conflicts: 844000 | #Constraints: 34799
31.79/31.94 c #Conflicts: 845000 | #Constraints: 35799
31.79/31.94 c #Conflicts: 846000 | #Constraints: 36799
31.79/31.94 c INPROCESSING
31.79/31.94 c GARBAGE COLLECT
31.79/31.94 c rational objective 300.5
32.59/32.70 c #Conflicts: 847000 | #Constraints: 19596
32.59/32.70 c #Conflicts: 848000 | #Constraints: 20596
32.59/32.70 c #Conflicts: 849000 | #Constraints: 21596
32.59/32.70 c #Conflicts: 850000 | #Constraints: 22596
32.59/32.70 c #Conflicts: 851000 | #Constraints: 23596
32.59/32.70 c #Conflicts: 852000 | #Constraints: 24596
32.59/32.70 c #Conflicts: 853000 | #Constraints: 25596
32.59/32.70 c #Conflicts: 854000 | #Constraints: 26596
32.59/32.70 c #Conflicts: 855000 | #Constraints: 27596
32.59/32.70 c #Conflicts: 856000 | #Constraints: 28596
32.59/32.70 c #Conflicts: 857000 | #Constraints: 29596
32.59/32.70 c #Conflicts: 858000 | #Constraints: 30596
32.59/32.70 c #Conflicts: 859000 | #Constraints: 31596
32.59/32.70 c #Conflicts: 860000 | #Constraints: 32596
32.59/32.70 c #Conflicts: 861000 | #Constraints: 33596
32.59/32.70 c #Conflicts: 862000 | #Constraints: 34596
32.59/32.70 c #Conflicts: 863000 | #Constraints: 35596
32.59/32.70 c #Conflicts: 864000 | #Constraints: 36596
32.59/32.70 c #Conflicts: 865000 | #Constraints: 37596
32.59/32.70 c INPROCESSING
32.59/32.70 c GARBAGE COLLECT
32.59/32.70 c rational objective 300.5
33.38/33.53 c #Conflicts: 866000 | #Constraints: 20197
33.38/33.53 c #Conflicts: 867000 | #Constraints: 21197
33.38/33.53 c #Conflicts: 868000 | #Constraints: 22197
33.38/33.53 c #Conflicts: 869000 | #Constraints: 23197
33.38/33.53 c #Conflicts: 870000 | #Constraints: 24197
33.38/33.53 c #Conflicts: 871000 | #Constraints: 25197
33.38/33.53 c #Conflicts: 872000 | #Constraints: 26197
33.38/33.53 c #Conflicts: 873000 | #Constraints: 27197
33.38/33.53 c #Conflicts: 874000 | #Constraints: 28197
33.38/33.53 c #Conflicts: 875000 | #Constraints: 29197
33.38/33.53 c #Conflicts: 876000 | #Constraints: 30197
33.38/33.53 c #Conflicts: 877000 | #Constraints: 31197
33.38/33.53 c #Conflicts: 878000 | #Constraints: 32197
33.38/33.53 c #Conflicts: 879000 | #Constraints: 33197
33.38/33.53 c #Conflicts: 880000 | #Constraints: 34197
33.38/33.53 c #Conflicts: 881000 | #Constraints: 35197
33.38/33.53 c #Conflicts: 882000 | #Constraints: 36197
33.38/33.53 c #Conflicts: 883000 | #Constraints: 37197
33.38/33.53 c #Conflicts: 884000 | #Constraints: 38197
33.38/33.53 c INPROCESSING
33.38/33.53 c GARBAGE COLLECT
33.38/33.53 c rational objective 300.5
34.18/34.34 c #Conflicts: 885000 | #Constraints: 20594
34.18/34.34 c #Conflicts: 886000 | #Constraints: 21594
34.18/34.34 c #Conflicts: 887000 | #Constraints: 22594
34.18/34.34 c #Conflicts: 888000 | #Constraints: 23594
34.18/34.34 c #Conflicts: 889000 | #Constraints: 24594
34.18/34.34 c #Conflicts: 890000 | #Constraints: 25594
34.18/34.34 c #Conflicts: 891000 | #Constraints: 26594
34.18/34.34 c #Conflicts: 892000 | #Constraints: 27594
34.18/34.34 c #Conflicts: 893000 | #Constraints: 28594
34.18/34.34 c #Conflicts: 894000 | #Constraints: 29594
34.18/34.34 c #Conflicts: 895000 | #Constraints: 30594
34.18/34.34 c #Conflicts: 896000 | #Constraints: 31594
34.18/34.34 c #Conflicts: 897000 | #Constraints: 32594
34.18/34.34 c #Conflicts: 898000 | #Constraints: 33594
34.18/34.34 c #Conflicts: 899000 | #Constraints: 34594
34.18/34.34 c #Conflicts: 900000 | #Constraints: 35594
34.18/34.34 c #Conflicts: 901000 | #Constraints: 36594
34.18/34.34 c #Conflicts: 902000 | #Constraints: 37594
34.18/34.34 c #Conflicts: 903000 | #Constraints: 38594
34.18/34.34 c INPROCESSING
34.18/34.34 c GARBAGE COLLECT
34.18/34.34 c rational objective 300.5
34.99/35.19 c #Conflicts: 904000 | #Constraints: 20798
34.99/35.19 c #Conflicts: 905000 | #Constraints: 21798
34.99/35.19 c #Conflicts: 906000 | #Constraints: 22798
34.99/35.19 c #Conflicts: 907000 | #Constraints: 23798
34.99/35.19 c #Conflicts: 908000 | #Constraints: 24798
34.99/35.19 c #Conflicts: 909000 | #Constraints: 25798
34.99/35.19 c #Conflicts: 910000 | #Constraints: 26798
34.99/35.19 c #Conflicts: 911000 | #Constraints: 27798
34.99/35.19 c #Conflicts: 912000 | #Constraints: 28798
34.99/35.19 c #Conflicts: 913000 | #Constraints: 29798
34.99/35.19 c #Conflicts: 914000 | #Constraints: 30798
34.99/35.19 c #Conflicts: 915000 | #Constraints: 31798
34.99/35.19 c #Conflicts: 916000 | #Constraints: 32798
34.99/35.19 c #Conflicts: 917000 | #Constraints: 33798
34.99/35.19 c #Conflicts: 918000 | #Constraints: 34798
34.99/35.19 c #Conflicts: 919000 | #Constraints: 35798
34.99/35.19 c #Conflicts: 920000 | #Constraints: 36798
34.99/35.19 c #Conflicts: 921000 | #Constraints: 37798
34.99/35.19 c #Conflicts: 922000 | #Constraints: 38798
34.99/35.19 c INPROCESSING
34.99/35.19 c GARBAGE COLLECT
34.99/35.19 c rational objective 300.5
35.89/36.07 c #Conflicts: 923000 | #Constraints: 20796
35.89/36.07 c #Conflicts: 924000 | #Constraints: 21796
35.89/36.07 c #Conflicts: 925000 | #Constraints: 22796
35.89/36.07 c #Conflicts: 926000 | #Constraints: 23796
35.89/36.07 c #Conflicts: 927000 | #Constraints: 24796
35.89/36.07 c #Conflicts: 928000 | #Constraints: 25796
35.89/36.07 c #Conflicts: 929000 | #Constraints: 26796
35.89/36.07 c #Conflicts: 930000 | #Constraints: 27796
35.89/36.07 c #Conflicts: 931000 | #Constraints: 28796
35.89/36.07 c #Conflicts: 932000 | #Constraints: 29796
35.89/36.07 c #Conflicts: 933000 | #Constraints: 30796
35.89/36.07 c #Conflicts: 934000 | #Constraints: 31796
35.89/36.07 c #Conflicts: 935000 | #Constraints: 32796
35.89/36.07 c #Conflicts: 936000 | #Constraints: 33796
35.89/36.07 c #Conflicts: 937000 | #Constraints: 34796
35.89/36.07 c #Conflicts: 938000 | #Constraints: 35796
35.89/36.07 c #Conflicts: 939000 | #Constraints: 36796
35.89/36.07 c #Conflicts: 940000 | #Constraints: 37796
35.89/36.07 c #Conflicts: 941000 | #Constraints: 38796
35.89/36.07 c INPROCESSING
35.89/36.07 c GARBAGE COLLECT
35.89/36.07 c rational objective 300.5
36.77/36.99 c #Conflicts: 942000 | #Constraints: 20597
36.77/36.99 c #Conflicts: 943000 | #Constraints: 21597
36.77/36.99 c #Conflicts: 944000 | #Constraints: 22597
36.77/36.99 c #Conflicts: 945000 | #Constraints: 23597
36.77/36.99 c #Conflicts: 946000 | #Constraints: 24597
36.77/36.99 c #Conflicts: 947000 | #Constraints: 25597
36.77/36.99 c #Conflicts: 948000 | #Constraints: 26597
36.77/36.99 c #Conflicts: 949000 | #Constraints: 27597
36.77/36.99 c #Conflicts: 950000 | #Constraints: 28597
36.77/36.99 c #Conflicts: 951000 | #Constraints: 29597
36.77/36.99 c #Conflicts: 952000 | #Constraints: 30597
36.77/36.99 c #Conflicts: 953000 | #Constraints: 31597
36.77/36.99 c #Conflicts: 954000 | #Constraints: 32597
36.77/36.99 c #Conflicts: 955000 | #Constraints: 33597
36.77/36.99 c #Conflicts: 956000 | #Constraints: 34597
36.77/36.99 c #Conflicts: 957000 | #Constraints: 35597
36.77/36.99 c #Conflicts: 958000 | #Constraints: 36597
36.77/36.99 c #Conflicts: 959000 | #Constraints: 37597
36.77/36.99 c #Conflicts: 960000 | #Constraints: 38597
36.77/36.99 c #Conflicts: 961000 | #Constraints: 39597
36.77/36.99 c INPROCESSING
36.77/36.99 c GARBAGE COLLECT
36.77/36.99 c rational objective 300.5
37.67/37.89 c #Conflicts: 962000 | #Constraints: 21196
37.67/37.89 c #Conflicts: 963000 | #Constraints: 22196
37.67/37.89 c #Conflicts: 964000 | #Constraints: 23196
37.67/37.89 c #Conflicts: 965000 | #Constraints: 24196
37.67/37.89 c #Conflicts: 966000 | #Constraints: 25196
37.67/37.89 c #Conflicts: 967000 | #Constraints: 26196
37.67/37.89 c #Conflicts: 968000 | #Constraints: 27196
37.67/37.89 c #Conflicts: 969000 | #Constraints: 28196
37.67/37.89 c #Conflicts: 970000 | #Constraints: 29196
37.67/37.89 c #Conflicts: 971000 | #Constraints: 30196
37.67/37.89 c #Conflicts: 972000 | #Constraints: 31196
37.67/37.89 c #Conflicts: 973000 | #Constraints: 32196
37.67/37.89 c #Conflicts: 974000 | #Constraints: 33196
37.67/37.89 c #Conflicts: 975000 | #Constraints: 34196
37.67/37.89 c #Conflicts: 976000 | #Constraints: 35196
37.67/37.89 c #Conflicts: 977000 | #Constraints: 36196
37.67/37.89 c #Conflicts: 978000 | #Constraints: 37196
37.67/37.89 c #Conflicts: 979000 | #Constraints: 38196
37.67/37.89 c #Conflicts: 980000 | #Constraints: 39196
37.67/37.89 c #Conflicts: 981000 | #Constraints: 40196
37.67/37.89 c INPROCESSING
37.67/37.89 c GARBAGE COLLECT
37.67/37.89 c rational objective 300.5
38.67/38.81 c #Conflicts: 982000 | #Constraints: 21600
38.67/38.81 c #Conflicts: 983000 | #Constraints: 22600
38.67/38.81 c #Conflicts: 984000 | #Constraints: 23600
38.67/38.81 c #Conflicts: 985000 | #Constraints: 24600
38.67/38.81 c #Conflicts: 986000 | #Constraints: 25600
38.67/38.81 c #Conflicts: 987000 | #Constraints: 26600
38.67/38.81 c #Conflicts: 988000 | #Constraints: 27600
38.67/38.81 c #Conflicts: 989000 | #Constraints: 28600
38.67/38.81 c #Conflicts: 990000 | #Constraints: 29600
38.67/38.81 c #Conflicts: 991000 | #Constraints: 30600
38.67/38.81 c #Conflicts: 992000 | #Constraints: 31600
38.67/38.81 c #Conflicts: 993000 | #Constraints: 32600
38.67/38.81 c #Conflicts: 994000 | #Constraints: 33600
38.67/38.81 c #Conflicts: 995000 | #Constraints: 34600
38.67/38.81 c #Conflicts: 996000 | #Constraints: 35600
38.67/38.81 c #Conflicts: 997000 | #Constraints: 36600
38.67/38.81 c #Conflicts: 998000 | #Constraints: 37600
38.67/38.81 c #Conflicts: 999000 | #Constraints: 38600
38.67/38.81 c #Conflicts: 1000000 | #Constraints: 39600
38.67/38.81 c #Conflicts: 1001000 | #Constraints: 40600
38.67/38.81 c INPROCESSING
38.67/38.81 c GARBAGE COLLECT
38.67/38.81 c rational objective 300.5
39.67/39.89 c #Conflicts: 1002000 | #Constraints: 21800
39.67/39.89 c #Conflicts: 1003000 | #Constraints: 22800
39.67/39.89 c #Conflicts: 1004000 | #Constraints: 23800
39.67/39.89 c #Conflicts: 1005000 | #Constraints: 24800
39.67/39.89 c #Conflicts: 1006000 | #Constraints: 25800
39.67/39.89 c #Conflicts: 1007000 | #Constraints: 26800
39.67/39.89 c #Conflicts: 1008000 | #Constraints: 27800
39.67/39.89 c #Conflicts: 1009000 | #Constraints: 28800
39.67/39.89 c #Conflicts: 1010000 | #Constraints: 29800
39.67/39.89 c #Conflicts: 1011000 | #Constraints: 30800
39.67/39.89 c #Conflicts: 1012000 | #Constraints: 31800
39.67/39.89 c #Conflicts: 1013000 | #Constraints: 32800
39.67/39.89 c #Conflicts: 1014000 | #Constraints: 33800
39.67/39.89 c #Conflicts: 1015000 | #Constraints: 34800
39.67/39.89 c #Conflicts: 1016000 | #Constraints: 35800
39.67/39.89 c #Conflicts: 1017000 | #Constraints: 36800
39.67/39.89 c #Conflicts: 1018000 | #Constraints: 37800
39.67/39.89 c #Conflicts: 1019000 | #Constraints: 38800
39.67/39.89 c #Conflicts: 1020000 | #Constraints: 39800
39.67/39.89 c #Conflicts: 1021000 | #Constraints: 40800
39.67/39.89 c INPROCESSING
39.67/39.89 c GARBAGE COLLECT
39.67/39.89 c rational objective 300.5
40.66/40.82 c #Conflicts: 1022000 | #Constraints: 21806
40.66/40.82 c #Conflicts: 1023000 | #Constraints: 22806
40.66/40.82 c #Conflicts: 1024000 | #Constraints: 23806
40.66/40.82 c #Conflicts: 1025000 | #Constraints: 24806
40.66/40.82 c #Conflicts: 1026000 | #Constraints: 25806
40.66/40.82 c #Conflicts: 1027000 | #Constraints: 26806
40.66/40.82 c #Conflicts: 1028000 | #Constraints: 27806
40.66/40.82 c #Conflicts: 1029000 | #Constraints: 28806
40.66/40.82 c #Conflicts: 1030000 | #Constraints: 29806
40.66/40.82 c #Conflicts: 1031000 | #Constraints: 30806
40.66/40.82 c #Conflicts: 1032000 | #Constraints: 31806
40.66/40.82 c #Conflicts: 1033000 | #Constraints: 32806
40.66/40.82 c #Conflicts: 1034000 | #Constraints: 33806
40.66/40.82 c #Conflicts: 1035000 | #Constraints: 34806
40.66/40.82 c #Conflicts: 1036000 | #Constraints: 35806
40.66/40.82 c #Conflicts: 1037000 | #Constraints: 36806
40.66/40.82 c #Conflicts: 1038000 | #Constraints: 37806
40.66/40.82 c #Conflicts: 1039000 | #Constraints: 38806
40.66/40.82 c #Conflicts: 1040000 | #Constraints: 39806
40.66/40.82 c #Conflicts: 1041000 | #Constraints: 40806
40.66/40.82 c INPROCESSING
40.66/40.82 c GARBAGE COLLECT
40.66/40.82 c rational objective 300.5
41.56/41.74 c #Conflicts: 1042000 | #Constraints: 21609
41.56/41.74 c #Conflicts: 1043000 | #Constraints: 22609
41.56/41.74 c #Conflicts: 1044000 | #Constraints: 23609
41.56/41.74 c #Conflicts: 1045000 | #Constraints: 24609
41.56/41.74 c #Conflicts: 1046000 | #Constraints: 25609
41.56/41.74 c #Conflicts: 1047000 | #Constraints: 26609
41.56/41.74 c #Conflicts: 1048000 | #Constraints: 27609
41.56/41.74 c #Conflicts: 1049000 | #Constraints: 28609
41.56/41.74 c #Conflicts: 1050000 | #Constraints: 29609
41.56/41.74 c #Conflicts: 1051000 | #Constraints: 30609
41.56/41.74 c #Conflicts: 1052000 | #Constraints: 31609
41.56/41.74 c #Conflicts: 1053000 | #Constraints: 32609
41.56/41.74 c #Conflicts: 1054000 | #Constraints: 33609
41.56/41.74 c #Conflicts: 1055000 | #Constraints: 34609
41.56/41.74 c #Conflicts: 1056000 | #Constraints: 35609
41.56/41.74 c #Conflicts: 1057000 | #Constraints: 36609
41.56/41.74 c #Conflicts: 1058000 | #Constraints: 37609
41.56/41.74 c #Conflicts: 1059000 | #Constraints: 38609
41.56/41.74 c #Conflicts: 1060000 | #Constraints: 39609
41.56/41.74 c #Conflicts: 1061000 | #Constraints: 40609
41.56/41.74 c #Conflicts: 1062000 | #Constraints: 41609
41.56/41.74 c INPROCESSING
41.56/41.74 c GARBAGE COLLECT
41.56/41.74 c rational objective 300.5
41.66/41.85 c #Conflicts: 1063000 | #Constraints: 9426
41.66/41.85 c #Conflicts: 1064000 | #Constraints: 10426
41.66/41.85 c #Conflicts: 1065000 | #Constraints: 11426
41.66/41.85 c cpu time 38.2793 s
41.66/41.85 c deterministic time 1498227574 1.50e+09
41.66/41.85 c optimization time 9.4e-05 s
41.66/41.85 c total solve time 38.2703 s
41.66/41.85 c core-guided solve time 0 s
41.66/41.85 c propagation time 27.6763 s
41.66/41.85 c conflict analysis time 5.44238 s
41.66/41.85 c propagations 4971435
41.66/41.85 c resolve steps 3112560
41.66/41.85 c decisions 1779673
41.66/41.85 c conflicts 1065458
41.66/41.85 c restarts 2046
41.66/41.85 c inprocessing phases 94
41.66/41.85 c garbage collections 94 ,( 100.00 )
41.66/41.85 c input clauses 2 ,( 0.24 )
41.66/41.85 c input cardinalities 836 ,( 99.76 )
41.66/41.85 c input general constraints 0 ,( 0.00 )
41.66/41.85 c input average constraint length 4.00
41.66/41.85 c input average constraint degree 2.00
41.66/41.85 c learned clauses 1048113 ,( 98.32 )
41.66/41.85 c learned cardinalities 2672 ,( 0.25 )
41.66/41.85 c learned general constraints 15205 ,( 1.43 )
41.66/41.85 c learned average constraint length 16.26
41.66/41.85 c learned average constraint degree 1556353.54
41.66/41.85 c watched CF 32, 64, 128, Arb: 7068 , 0 , 0 , 0
41.66/41.85 c counting CF 32, 64, 128, Arb: 8137 , 0 , 0 , 0
41.66/41.85 c watched constraints 7068 ,( 46.48 )
41.66/41.85 c counting constraints 8137 ,( 53.52 )
41.66/41.85 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 337291442 , 9571675 , 13773355 ,( 11928455 , 1844900 )
41.66/41.85 c gcd simplifications 13707
41.66/41.85 c detected cardinalities 823
41.66/41.85 c weakened non-implied lits 139330
41.66/41.85 c weakened non-implying lits 1551
41.66/41.85 c original variables 601
41.66/41.85 c clausal propagations 2279632
41.66/41.85 c cardinality propagations 985672
41.66/41.85 c watched propagations 68061
41.66/41.85 c counting propagations 558534
41.66/41.85 c watch lookups 701942710
41.66/41.85 c watch backjump lookups 0
41.66/41.85 c watch checks 703197354
41.66/41.85 c propagation checks 24835433
41.66/41.85 c constraint additions 53577300
41.66/41.85 c trail pops 7816542
41.66/41.85 c formula constraints 838
41.66/41.85 c learned constraints 1065449
41.66/41.85 c bound constraints 0
41.66/41.85 c core-guided constraints 0
41.66/41.85 c encountered formula constraints 63509
41.66/41.85 c encountered learned constraints 4113314
41.66/41.85 c encountered bound constraints 0
41.66/41.85 c encountered core-guided constraints 0
41.66/41.85 c LP total time 6.42967 s
41.66/41.85 c LP solve time 3.87 s
41.66/41.85 c LP constraints added 1429
41.66/41.85 c LP constraints removed 583
41.66/41.85 c LP pivots internal 106550
41.66/41.85 c LP pivots root 576
41.66/41.85 c LP calls 10843
41.66/41.85 c LP optimalities 10835
41.66/41.85 c LP no pivot count 971
41.66/41.85 c LP infeasibilities 8
41.66/41.85 c LP valid Farkas constraints 8
41.66/41.85 c LP learned Farkas constraints 8
41.66/41.85 c LP basis resets 0
41.66/41.85 c LP cycling count 0
41.66/41.85 c LP singular count 0
41.66/41.85 c LP no primal count 0
41.66/41.85 c LP no farkas count 0
41.66/41.85 c LP other issue count 0
41.66/41.85 c LP Gomory cuts 525
41.66/41.85 c LP learned cuts 66
41.66/41.85 c LP deleted cuts 583
41.66/41.85 c LP encountered Gomory constraints 0
41.66/41.85 c LP encountered Farkas constraints 1177
41.66/41.85 c LP encountered learned Farkas constraints 10
41.66/41.85 c CG auxiliary variables introduced 0
41.66/41.85 c CG solutions found 0
41.66/41.85 c CG cores constructed 0
41.66/41.85 c CG core cardinality constraints returned 0
41.66/41.85 c CG unit cores 0
41.66/41.85 c CG single cores 0
41.66/41.85 c CG blocks removed during cardinality reduction 0
41.66/41.85 c CG first core best 0
41.66/41.85 c CG decision core best 0
41.66/41.85 c CG core reduction tie 0
41.66/41.85 c CG core degree average 0.00
41.66/41.85 c CG core slack average 0.00
41.66/41.85 c CG core upper bound improvements 0
41.66/41.85 c STR number of successful calls 0
41.66/41.85 c STR number of unsuccessful calls 0
41.66/41.85 c STR number of inconclusive calls 0
41.66/41.85 c STR number of successful attempts 0
41.66/41.85 c STR number of unsuccessful attempts 0
41.66/41.85 c STR number of inconclusive attempts 0
41.66/41.85 c STR average degree increase per successful call inf
41.66/41.85 c STR average degree increase per successful attempt inf
41.66/41.85 c STR total number of conflicts for successful attempts 0
41.66/41.85 c STR total number of conflicts for unsuccessful attempts 0
41.66/41.85 c STR total number of conflicts for inconclusive attempts 0
41.66/41.85 c STR average number of conflicts per successful attempt inf
41.66/41.85 c STR average number of conflicts per unsuccessful attempt inf
41.66/41.85 c STR average number of conflicts per inconclusive attempt inf
41.66/41.85 c AVG.sumWPerc 41.79
41.66/41.85 c bigint constraints 0
41.66/41.85 s UNSATISFIABLE
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (63094 MiB free)
memory of node 1: 64465 MiB (63700 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4510760-1751199838/watcher-4510760-1751199838 -o /tmp/evaluation-result-4510760-1751199838/solver-4510760-1751199838 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751196106-21227 --watchdog 3760 run-dec.sh HOME/instance-4510760-1751199838.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
solver pid=22392, runsolver pid=22389
Current StackSize limit: 8192 KiB
[startup+0.100095 s]*
/proc/loadavg: 4.08 4.09 4.09 5/256 22394
/proc/meminfo: memFree=129838588/131382120 swapFree=33010684/33010684
[pid=22392] ppid=22389 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22392/stat : 22392 (run-dec.sh) S 22389 22392 21214 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35662442 4292608 736 18446744073709551615 94343447158784 94343448053317 140730018490816 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94343448292368 94343448340112 94343471017984 140730018498925 140730018499048 140730018499048 140730018504650 0
/proc/22392/statm: 1048 736 672 219 0 110 0
[pid=22394] ppid=22392 vsize=57492 memory=11876 CPUtime=0.09 cores=5,7
/proc/22394/stat : 22394 (roundingsat) R 22392 22392 21214 0 -1 4194304 1005 0 0 0 7 2 0 0 20 0 1 0 35662443 58871808 2969 18446744073709551615 4227072 8923433 140736265063792 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 43122688 140736265071031 140736265071144 140736265071144 140736265076714 0
/proc/22394/statm: 14373 2969 2304 1147 0 1800 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 61684 KiB
Current children cumulated memory: 14820 KiB
[startup+0.213438 s]*
/proc/loadavg: 4.08 4.09 4.09 5/256 22394
/proc/meminfo: memFree=129838588/131382120 swapFree=33010684/33010684
[pid=22392] ppid=22389 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22392/stat : 22392 (run-dec.sh) S 22389 22392 21214 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35662442 4292608 736 18446744073709551615 94343447158784 94343448053317 140730018490816 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94343448292368 94343448340112 94343471017984 140730018498925 140730018499048 140730018499048 140730018504650 0
/proc/22392/statm: 1048 736 672 219 0 110 0
[pid=22394] ppid=22392 vsize=57892 memory=14312 CPUtime=0.2 cores=5,7
/proc/22394/stat : 22394 (roundingsat) R 22392 22392 21214 0 -1 4194304 1109 0 0 0 16 4 0 0 20 0 1 0 35662443 59281408 3578 18446744073709551615 4227072 8923433 140736265063792 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 43122688 140736265071031 140736265071144 140736265071144 140736265076714 0
/proc/22394/statm: 14473 3578 2304 1147 0 1900 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 62084 KiB
Current children cumulated memory: 17256 KiB
[startup+0.313401 s]*
/proc/loadavg: 4.08 4.09 4.09 5/256 22394
/proc/meminfo: memFree=129836824/131382120 swapFree=33010684/33010684
[pid=22392] ppid=22389 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22392/stat : 22392 (run-dec.sh) S 22389 22392 21214 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35662442 4292608 736 18446744073709551615 94343447158784 94343448053317 140730018490816 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94343448292368 94343448340112 94343471017984 140730018498925 140730018499048 140730018499048 140730018504650 0
/proc/22392/statm: 1048 736 672 219 0 110 0
[pid=22394] ppid=22392 vsize=58024 memory=14568 CPUtime=0.3 cores=5,7
/proc/22394/stat : 22394 (roundingsat) R 22392 22392 21214 0 -1 4194304 1161 0 0 0 24 6 0 0 20 0 1 0 35662443 59416576 3642 18446744073709551615 4227072 8923433 140736265063792 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 43122688 140736265071031 140736265071144 140736265071144 140736265076714 0
/proc/22394/statm: 14506 3642 2304 1147 0 1933 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 62216 KiB
Current children cumulated memory: 17512 KiB
[startup+0.700348 s]
/proc/loadavg: 4.08 4.09 4.09 5/256 22394
/proc/meminfo: memFree=129837328/131382120 swapFree=33010684/33010684
[pid=22392] ppid=22389 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22392/stat : 22392 (run-dec.sh) S 22389 22392 21214 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35662442 4292608 736 18446744073709551615 94343447158784 94343448053317 140730018490816 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94343448292368 94343448340112 94343471017984 140730018498925 140730018499048 140730018499048 140730018504650 0
/proc/22392/statm: 1048 736 672 219 0 110 0
[pid=22394] ppid=22392 vsize=58572 memory=15080 CPUtime=0.67 cores=5,7
/proc/22394/stat : 22394 (roundingsat) R 22392 22392 21214 0 -1 4194304 1303 0 0 0 56 11 0 0 20 0 1 0 35662443 59977728 3770 18446744073709551615 4227072 8923433 140736265063792 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 43122688 140736265071031 140736265071144 140736265071144 140736265076714 0
/proc/22394/statm: 14643 3770 2304 1147 0 2070 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 62764 KiB
Current children cumulated memory: 18024 KiB
[startup+1.5004 s]
/proc/loadavg: 4.08 4.09 4.09 5/256 22394
/proc/meminfo: memFree=129837328/131382120 swapFree=33010684/33010684
[pid=22392] ppid=22389 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22392/stat : 22392 (run-dec.sh) S 22389 22392 21214 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35662442 4292608 736 18446744073709551615 94343447158784 94343448053317 140730018490816 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94343448292368 94343448340112 94343471017984 140730018498925 140730018499048 140730018499048 140730018504650 0
/proc/22392/statm: 1048 736 672 219 0 110 0
[pid=22394] ppid=22392 vsize=59124 memory=15592 CPUtime=1.47 cores=5,7
/proc/22394/stat : 22394 (roundingsat) R 22392 22392 21214 0 -1 4194304 1433 0 0 0 123 24 0 0 20 0 1 0 35662443 60542976 3898 18446744073709551615 4227072 8923433 140736265063792 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 43122688 140736265071031 140736265071144 140736265071144 140736265076714 0
/proc/22394/statm: 14781 3898 2304 1147 0 2208 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 63316 KiB
Current children cumulated memory: 18536 KiB
[startup+3.11299 s]
/proc/loadavg: 4.08 4.09 4.09 5/256 22394
/proc/meminfo: memFree=129836844/131382120 swapFree=33010684/33010684
[pid=22392] ppid=22389 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22392/stat : 22392 (run-dec.sh) S 22389 22392 21214 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35662442 4292608 736 18446744073709551615 94343447158784 94343448053317 140730018490816 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94343448292368 94343448340112 94343471017984 140730018498925 140730018499048 140730018499048 140730018504650 0
/proc/22392/statm: 1048 736 672 219 0 110 0
[pid=22394] ppid=22392 vsize=60348 memory=16872 CPUtime=3.08 cores=5,7
/proc/22394/stat : 22394 (roundingsat) R 22392 22392 21214 0 -1 4194304 1744 0 0 0 260 48 0 0 20 0 1 0 35662443 61796352 4218 18446744073709551615 4227072 8923433 140736265063792 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 43122688 140736265071031 140736265071144 140736265071144 140736265076714 0
/proc/22394/statm: 15087 4218 2304 1147 0 2514 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 64540 KiB
Current children cumulated memory: 19816 KiB
[startup+6.30038 s]
/proc/loadavg: 4.08 4.09 4.09 5/256 22394
/proc/meminfo: memFree=129835584/131382120 swapFree=33010684/33010684
[pid=22392] ppid=22389 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22392/stat : 22392 (run-dec.sh) S 22389 22392 21214 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35662442 4292608 736 18446744073709551615 94343447158784 94343448053317 140730018490816 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94343448292368 94343448340112 94343471017984 140730018498925 140730018499048 140730018499048 140730018504650 0
/proc/22392/statm: 1048 736 672 219 0 110 0
[pid=22394] ppid=22392 vsize=61652 memory=18152 CPUtime=6.26 cores=5,7
/proc/22394/stat : 22394 (roundingsat) R 22392 22392 21214 0 -1 4194304 2079 0 0 0 542 84 0 0 20 0 1 0 35662443 63131648 4538 18446744073709551615 4227072 8923433 140736265063792 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 43122688 140736265071031 140736265071144 140736265071144 140736265076714 0
/proc/22394/statm: 15413 4538 2304 1147 0 2840 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 65844 KiB
Current children cumulated memory: 21096 KiB
[startup+12.7004 s]
/proc/loadavg: 4.06 4.09 4.09 5/256 22394
/proc/meminfo: memFree=129839368/131382120 swapFree=33010684/33010684
[pid=22392] ppid=22389 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22392/stat : 22392 (run-dec.sh) S 22389 22392 21214 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35662442 4292608 736 18446744073709551615 94343447158784 94343448053317 140730018490816 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94343448292368 94343448340112 94343471017984 140730018498925 140730018499048 140730018499048 140730018504650 0
/proc/22392/statm: 1048 736 672 219 0 110 0
[pid=22394] ppid=22392 vsize=63044 memory=19568 CPUtime=12.64 cores=5,7
/proc/22394/stat : 22394 (roundingsat) R 22392 22392 21214 0 -1 4194304 3171 0 0 0 1128 136 0 0 20 0 1 0 35662443 64557056 4892 18446744073709551615 4227072 8923433 140736265063792 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 43122688 140736265071031 140736265071144 140736265071144 140736265076714 0
/proc/22394/statm: 15761 4892 2304 1147 0 3188 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 67236 KiB
Current children cumulated memory: 22512 KiB
[startup+25.5004 s]
/proc/loadavg: 4.13 4.10 4.09 5/256 22394
/proc/meminfo: memFree=129808904/131382120 swapFree=33010684/33010684
[pid=22392] ppid=22389 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22392/stat : 22392 (run-dec.sh) S 22389 22392 21214 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35662442 4292608 736 18446744073709551615 94343447158784 94343448053317 140730018490816 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94343448292368 94343448340112 94343471017984 140730018498925 140730018499048 140730018499048 140730018504650 0
/proc/22392/statm: 1048 736 672 219 0 110 0
[pid=22394] ppid=22392 vsize=65288 memory=23560 CPUtime=25.4 cores=5,7
/proc/22394/stat : 22394 (roundingsat) R 22392 22392 21214 0 -1 4194304 6153 0 0 0 2309 231 0 0 20 0 1 0 35662443 66854912 5890 18446744073709551615 4227072 8923433 140736265063792 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 43122688 140736265071031 140736265071144 140736265071144 140736265076714 0
/proc/22394/statm: 16322 5890 2304 1147 0 3749 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 69480 KiB
Current children cumulated memory: 26504 KiB
[startup+41.8537 s]
# the end of solver process 22392 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=38.2838 s, system=3.44547 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6005 s]
/proc/loadavg: 4.13 4.10 4.09 5/256 22394
/proc/meminfo: memFree=129808904/131382120 swapFree=33010684/33010684
[pid=22392] ppid=22389 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22392/stat : 22392 (run-dec.sh) S 22389 22392 21214 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35662442 4292608 736 18446744073709551615 94343447158784 94343448053317 140730018490816 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94343448292368 94343448340112 94343471017984 140730018498925 140730018499048 140730018499048 140730018504650 0
/proc/22392/statm: 1048 736 672 219 0 110 0
[pid=22394] ppid=22392 vsize=65288 memory=23580 CPUtime=25.5 cores=5,7
/proc/22394/stat : 22394 (roundingsat) R 22392 22392 21214 0 -1 4194304 6243 0 0 0 2318 232 0 0 20 0 1 0 35662443 66854912 5895 18446744073709551615 4227072 8923433 140736265063792 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 43122688 140736265071031 140736265071144 140736265071144 140736265076714 0
/proc/22394/statm: 16322 5895 2304 1147 0 3749 0
Current children cumulated CPU time: 25.5 s
Current children cumulated vsize: 69480 KiB
Current children cumulated memory: 26524 KiB
[startup+32.0004 s]*
/proc/loadavg: 4.11 4.10 4.09 5/256 22394
/proc/meminfo: memFree=129790964/131382120 swapFree=33010684/33010684
[pid=22392] ppid=22389 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22392/stat : 22392 (run-dec.sh) S 22389 22392 21214 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35662442 4292608 736 18446744073709551615 94343447158784 94343448053317 140730018490816 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94343448292368 94343448340112 94343471017984 140730018498925 140730018499048 140730018499048 140730018504650 0
/proc/22392/statm: 1048 736 672 219 0 110 0
[pid=22394] ppid=22392 vsize=66240 memory=24460 CPUtime=31.9 cores=5,7
/proc/22394/stat : 22394 (roundingsat) R 22392 22392 21214 0 -1 4194304 7118 0 0 0 2912 278 0 0 20 0 1 0 35662443 67829760 6115 18446744073709551615 4227072 8923433 140736265063792 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 43122688 140736265071031 140736265071144 140736265071144 140736265076714 0
/proc/22394/statm: 16560 6115 2304 1147 0 3987 0
Current children cumulated CPU time: 31.9 s
Current children cumulated vsize: 70432 KiB
Current children cumulated memory: 27404 KiB
[startup+38.4004 s]
/proc/loadavg: 4.10 4.09 4.09 5/256 22394
/proc/meminfo: memFree=129793864/131382120 swapFree=33010684/33010684
[pid=22392] ppid=22389 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22392/stat : 22392 (run-dec.sh) S 22389 22392 21214 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35662442 4292608 736 18446744073709551615 94343447158784 94343448053317 140730018490816 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94343448292368 94343448340112 94343471017984 140730018498925 140730018499048 140730018499048 140730018504650 0
/proc/22392/statm: 1048 736 672 219 0 110 0
[pid=22394] ppid=22392 vsize=66504 memory=24752 CPUtime=38.27 cores=5,7
/proc/22394/stat : 22394 (roundingsat) R 22392 22392 21214 0 -1 4194304 7687 0 0 0 3506 321 0 0 20 0 1 0 35662443 68100096 6188 18446744073709551615 4227072 8923433 140736265063792 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 43122688 140736265071031 140736265071144 140736265071144 140736265076714 0
/proc/22394/statm: 16626 6188 2304 1147 0 4053 0
Current children cumulated CPU time: 38.27 s
Current children cumulated vsize: 70696 KiB
Current children cumulated memory: 27696 KiB
[startup+40.0004 s]*
/proc/loadavg: 4.10 4.09 4.09 5/256 22394
/proc/meminfo: memFree=129793108/131382120 swapFree=33010684/33010684
[pid=22392] ppid=22389 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22392/stat : 22392 (run-dec.sh) S 22389 22392 21214 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35662442 4292608 736 18446744073709551615 94343447158784 94343448053317 140730018490816 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94343448292368 94343448340112 94343471017984 140730018498925 140730018499048 140730018499048 140730018504650 0
/proc/22392/statm: 1048 736 672 219 0 110 0
[pid=22394] ppid=22392 vsize=67212 memory=25420 CPUtime=39.88 cores=5,7
/proc/22394/stat : 22394 (roundingsat) R 22392 22392 21214 0 -1 4194304 8200 0 0 0 3658 330 0 0 20 0 1 0 35662443 68825088 6355 18446744073709551615 4227072 8923433 140736265063792 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 43122688 140736265071031 140736265071144 140736265071144 140736265076714 0
/proc/22394/statm: 16803 6355 2304 1147 0 4230 0
Current children cumulated CPU time: 39.88 s
Current children cumulated vsize: 71404 KiB
Current children cumulated memory: 28364 KiB
[startup+40.8004 s]
/proc/loadavg: 4.10 4.09 4.09 5/256 22394
/proc/meminfo: memFree=129793108/131382120 swapFree=33010684/33010684
[pid=22392] ppid=22389 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22392/stat : 22392 (run-dec.sh) S 22389 22392 21214 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35662442 4292608 736 18446744073709551615 94343447158784 94343448053317 140730018490816 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94343448292368 94343448340112 94343471017984 140730018498925 140730018499048 140730018499048 140730018504650 0
/proc/22392/statm: 1048 736 672 219 0 110 0
[pid=22394] ppid=22392 vsize=67212 memory=25420 CPUtime=40.66 cores=5,7
/proc/22394/stat : 22394 (roundingsat) R 22392 22392 21214 0 -1 4194304 8214 0 0 0 3731 335 0 0 20 0 1 0 35662443 68825088 6355 18446744073709551615 4227072 8923433 140736265063792 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 43122688 140736265071031 140736265071144 140736265071144 140736265076714 0
/proc/22394/statm: 16803 6355 2304 1147 0 4230 0
Current children cumulated CPU time: 40.66 s
Current children cumulated vsize: 71404 KiB
Current children cumulated memory: 28364 KiB
[startup+41.6004 s]
/proc/loadavg: 4.10 4.09 4.09 5/256 22394
/proc/meminfo: memFree=129800920/131382120 swapFree=33010684/33010684
[pid=22392] ppid=22389 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22392/stat : 22392 (run-dec.sh) S 22389 22392 21214 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35662442 4292608 736 18446744073709551615 94343447158784 94343448053317 140730018490816 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94343448292368 94343448340112 94343471017984 140730018498925 140730018499048 140730018499048 140730018504650 0
/proc/22392/statm: 1048 736 672 219 0 110 0
[pid=22394] ppid=22392 vsize=67696 memory=25912 CPUtime=41.47 cores=5,7
/proc/22394/stat : 22394 (roundingsat) R 22392 22392 21214 0 -1 4194304 8454 0 0 0 3805 342 0 0 20 0 1 0 35662443 69320704 6478 18446744073709551615 4227072 8923433 140736265063792 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 43122688 140736265071031 140736265071144 140736265071144 140736265076714 0
/proc/22394/statm: 16924 6478 2304 1147 0 4351 0
Current children cumulated CPU time: 41.47 s
Current children cumulated vsize: 71888 KiB
Current children cumulated memory: 28856 KiB
[startup+41.8004 s]
/proc/loadavg: 4.10 4.09 4.09 5/256 22394
/proc/meminfo: memFree=129800920/131382120 swapFree=33010684/33010684
[pid=22392] ppid=22389 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22392/stat : 22392 (run-dec.sh) S 22389 22392 21214 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35662442 4292608 736 18446744073709551615 94343447158784 94343448053317 140730018490816 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94343448292368 94343448340112 94343471017984 140730018498925 140730018499048 140730018499048 140730018504650 0
/proc/22392/statm: 1048 736 672 219 0 110 0
[pid=22394] ppid=22392 vsize=67696 memory=25912 CPUtime=41.66 cores=5,7
/proc/22394/stat : 22394 (roundingsat) R 22392 22392 21214 0 -1 4194304 8468 0 0 0 3823 343 0 0 20 0 1 0 35662443 69320704 6478 18446744073709551615 4227072 8923433 140736265063792 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 43122688 140736265071031 140736265071144 140736265071144 140736265076714 0
/proc/22394/statm: 16924 6478 2304 1147 0 4351 0
Current children cumulated CPU time: 41.66 s
Current children cumulated vsize: 71888 KiB
Current children cumulated memory: 28856 KiB
Child status: 0
Real time (s): 41.8537
CPU time (s): 41.7292
CPU user time (s): 38.2838
CPU system time (s): 3.44547
CPU usage (%): 99.7026
Max. virtual memory (cumulated for all children) (KiB): 71888
Max. memory (cumulated for all children) (KiB): 28856
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 38.2838
system time used= 3.44547
maximum resident set size= 26316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8701
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 145
involuntary context switches= 64
# summary of solver processes directly reported to runsolver:
# pid: 22392
# total CPU time (s): 41.7292
# total CPU user time (s): 38.2838
# total CPU system time (s): 3.44547
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.271445 second user time and 0.46937 second system time
The end
Begin job on nodeC003 at 2025-06-29 14:23:58
IDJOB=4510760
IDBENCH=160385
IDSOLVER=3349
FILE ID=nodeC003/4510760-1751199838
RUNJOBID= nodeC003-1751196106-21227
SLURM_JOB_ID= 9587607
Free space on /tmp= 433016 MiB
SOLVER NAME= roundingsat 63f22ad
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/normalized-ECgrid5x60split.cnf-extracted.pb.metafix.opb
COMMAND LINE= run-dec.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4510760-1751199838/watcher-4510760-1751199838 -o /tmp/evaluation-result-4510760-1751199838/solver-4510760-1751199838 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751196106-21227 --watchdog 3760 run-dec.sh HOME/instance-4510760-1751199838.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 31f6aff17a47c209cb9ee9a70845e10e
RANDOM SEED=1200757447
nodeC003 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.489
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3691.269
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.400
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.502
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.163
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.407
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1198.063
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 129838588 kB
MemAvailable: 129657448 kB
Buffers: 3280 kB
Cached: 629260 kB
SwapCached: 0 kB
Active: 571520 kB
Inactive: 416036 kB
Active(anon): 372988 kB
Inactive(anon): 0 kB
Active(file): 198532 kB
Inactive(file): 416036 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7244 kB
Writeback: 0 kB
AnonPages: 356400 kB
Mapped: 111768 kB
Shmem: 17960 kB
KReclaimable: 87840 kB
Slab: 168876 kB
SReclaimable: 87840 kB
SUnreclaim: 81036 kB
KernelStack: 4128 kB
PageTables: 3916 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 708396 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149448 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 180224 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 191304 kB
DirectMap2M: 11245568 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 433008 MiB
End job on nodeC003 at 2025-06-29 14:24:40