0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.00/0.01 c #variables 701 #constraints 980
0.00/0.02 c rational objective 350.5
0.18/0.22 c #Conflicts: 1000 | #Constraints: 1988
0.18/0.22 c #Conflicts: 2000 | #Constraints: 2988
0.18/0.22 c INPROCESSING
0.18/0.22 c GARBAGE COLLECT
0.18/0.22 c #Conflicts: 3000 | #Constraints: 3025
0.18/0.22 c #Conflicts: 4000 | #Constraints: 4025
0.18/0.22 c INPROCESSING
0.18/0.22 c GARBAGE COLLECT
0.18/0.22 c #Conflicts: 5000 | #Constraints: 3446
0.18/0.22 c #Conflicts: 6000 | #Constraints: 4446
0.18/0.22 c INPROCESSING
0.18/0.22 c GARBAGE COLLECT
0.18/0.22 c rational objective 350.5
0.28/0.31 c #Conflicts: 7000 | #Constraints: 3462
0.28/0.31 c #Conflicts: 8000 | #Constraints: 4462
0.28/0.31 c #Conflicts: 9000 | #Constraints: 5462
0.28/0.31 c INPROCESSING
0.28/0.31 c GARBAGE COLLECT
0.28/0.31 c rational objective 350.5
0.38/0.41 c #Conflicts: 10000 | #Constraints: 4173
0.38/0.41 c #Conflicts: 11000 | #Constraints: 5173
0.38/0.41 c #Conflicts: 12000 | #Constraints: 6173
0.38/0.41 c INPROCESSING
0.38/0.41 c GARBAGE COLLECT
0.38/0.41 c rational objective 350.5
0.49/0.51 c #Conflicts: 13000 | #Constraints: 4626
0.49/0.51 c #Conflicts: 14000 | #Constraints: 5626
0.49/0.51 c #Conflicts: 15000 | #Constraints: 6626
0.49/0.51 c INPROCESSING
0.49/0.51 c GARBAGE COLLECT
0.49/0.51 c rational objective 350.5
0.57/0.63 c #Conflicts: 16000 | #Constraints: 4856
0.57/0.63 c #Conflicts: 17000 | #Constraints: 5856
0.57/0.63 c #Conflicts: 18000 | #Constraints: 6856
0.57/0.63 c INPROCESSING
0.57/0.63 c GARBAGE COLLECT
0.57/0.63 c rational objective 350.5
0.67/0.77 c #Conflicts: 19000 | #Constraints: 4873
0.67/0.77 c #Conflicts: 20000 | #Constraints: 5873
0.67/0.77 c #Conflicts: 21000 | #Constraints: 6873
0.67/0.77 c INPROCESSING
0.67/0.77 c GARBAGE COLLECT
0.67/0.77 c rational objective 350.5
0.87/0.92 c #Conflicts: 22000 | #Constraints: 4671
0.87/0.92 c #Conflicts: 23000 | #Constraints: 5671
0.87/0.92 c #Conflicts: 24000 | #Constraints: 6671
0.87/0.92 c #Conflicts: 25000 | #Constraints: 7671
0.87/0.92 c INPROCESSING
0.87/0.92 c GARBAGE COLLECT
0.87/0.92 c rational objective 350.5
0.98/1.08 c #Conflicts: 26000 | #Constraints: 5273
0.98/1.08 c #Conflicts: 27000 | #Constraints: 6274
0.98/1.08 c #Conflicts: 28000 | #Constraints: 7275
0.98/1.08 c #Conflicts: 29000 | #Constraints: 8275
0.98/1.08 c INPROCESSING
0.98/1.08 c GARBAGE COLLECT
0.98/1.08 c rational objective 350.5
1.17/1.24 c #Conflicts: 30000 | #Constraints: 5670
1.17/1.24 c #Conflicts: 31000 | #Constraints: 6670
1.17/1.24 c #Conflicts: 32000 | #Constraints: 7670
1.17/1.24 c #Conflicts: 33000 | #Constraints: 8670
1.17/1.24 c INPROCESSING
1.17/1.24 c GARBAGE COLLECT
1.17/1.24 c rational objective 350.5
1.37/1.42 c #Conflicts: 34000 | #Constraints: 5877
1.37/1.42 c #Conflicts: 35000 | #Constraints: 6877
1.37/1.42 c #Conflicts: 36000 | #Constraints: 7877
1.37/1.42 c #Conflicts: 37000 | #Constraints: 8877
1.37/1.42 c INPROCESSING
1.37/1.42 c GARBAGE COLLECT
1.37/1.42 c rational objective 350.5
1.57/1.65 c #Conflicts: 38000 | #Constraints: 5882
1.57/1.65 c #Conflicts: 39000 | #Constraints: 6882
1.57/1.65 c #Conflicts: 40000 | #Constraints: 7882
1.57/1.65 c #Conflicts: 41000 | #Constraints: 8882
1.57/1.65 c INPROCESSING
1.57/1.65 c GARBAGE COLLECT
1.57/1.65 c rational objective 350.5
1.76/1.84 c #Conflicts: 42000 | #Constraints: 5685
1.76/1.84 c #Conflicts: 43000 | #Constraints: 6685
1.76/1.84 c #Conflicts: 44000 | #Constraints: 7685
1.76/1.84 c #Conflicts: 45000 | #Constraints: 8685
1.76/1.84 c #Conflicts: 46000 | #Constraints: 9685
1.76/1.84 c INPROCESSING
1.76/1.84 c GARBAGE COLLECT
1.76/1.84 c rational objective 350.5
1.97/2.06 c #Conflicts: 47000 | #Constraints: 6278
1.97/2.06 c #Conflicts: 48000 | #Constraints: 7278
1.97/2.06 c #Conflicts: 49000 | #Constraints: 8278
1.97/2.06 c #Conflicts: 50000 | #Constraints: 9278
1.97/2.06 c #Conflicts: 51000 | #Constraints: 10278
1.97/2.06 c INPROCESSING
1.97/2.06 c GARBAGE COLLECT
1.97/2.06 c rational objective 350.5
2.17/2.29 c #Conflicts: 52000 | #Constraints: 6681
2.17/2.29 c #Conflicts: 53000 | #Constraints: 7681
2.17/2.29 c #Conflicts: 54000 | #Constraints: 8681
2.17/2.29 c #Conflicts: 55000 | #Constraints: 9681
2.17/2.29 c #Conflicts: 56000 | #Constraints: 10681
2.17/2.29 c INPROCESSING
2.17/2.29 c GARBAGE COLLECT
2.17/2.29 c rational objective 350.5
2.47/2.53 c #Conflicts: 57000 | #Constraints: 6878
2.47/2.53 c #Conflicts: 58000 | #Constraints: 7878
2.47/2.53 c #Conflicts: 59000 | #Constraints: 8878
2.47/2.53 c #Conflicts: 60000 | #Constraints: 9878
2.47/2.53 c #Conflicts: 61000 | #Constraints: 10878
2.47/2.53 c INPROCESSING
2.47/2.53 c GARBAGE COLLECT
2.47/2.53 c rational objective 350.5
2.67/2.78 c #Conflicts: 62000 | #Constraints: 6877
2.67/2.78 c #Conflicts: 63000 | #Constraints: 7877
2.67/2.78 c #Conflicts: 64000 | #Constraints: 8877
2.67/2.78 c #Conflicts: 65000 | #Constraints: 9878
2.67/2.78 c #Conflicts: 66000 | #Constraints: 10878
2.67/2.78 c INPROCESSING
2.67/2.78 c GARBAGE COLLECT
2.67/2.78 c rational objective 350.5
2.97/3.06 c #Conflicts: 67000 | #Constraints: 6682
2.97/3.06 c #Conflicts: 68000 | #Constraints: 7682
2.97/3.06 c #Conflicts: 69000 | #Constraints: 8682
2.97/3.06 c #Conflicts: 70000 | #Constraints: 9682
2.97/3.06 c #Conflicts: 71000 | #Constraints: 10682
2.97/3.06 c #Conflicts: 72000 | #Constraints: 11682
2.97/3.06 c INPROCESSING
2.97/3.06 c GARBAGE COLLECT
2.97/3.06 c rational objective 350.5
3.27/3.30 c #Conflicts: 73000 | #Constraints: 7281
3.27/3.30 c #Conflicts: 74000 | #Constraints: 8281
3.27/3.30 c #Conflicts: 75000 | #Constraints: 9281
3.27/3.30 c #Conflicts: 76000 | #Constraints: 10281
3.27/3.30 c #Conflicts: 77000 | #Constraints: 11281
3.27/3.30 c #Conflicts: 78000 | #Constraints: 12281
3.27/3.30 c INPROCESSING
3.27/3.30 c GARBAGE COLLECT
3.27/3.30 c rational objective 350.5
3.46/3.57 c #Conflicts: 79000 | #Constraints: 7687
3.46/3.57 c #Conflicts: 80000 | #Constraints: 8687
3.46/3.57 c #Conflicts: 81000 | #Constraints: 9687
3.46/3.57 c #Conflicts: 82000 | #Constraints: 10687
3.46/3.57 c #Conflicts: 83000 | #Constraints: 11687
3.46/3.57 c #Conflicts: 84000 | #Constraints: 12687
3.46/3.57 c INPROCESSING
3.46/3.57 c GARBAGE COLLECT
3.46/3.57 c rational objective 350.5
3.76/3.86 c #Conflicts: 85000 | #Constraints: 7895
3.76/3.86 c #Conflicts: 86000 | #Constraints: 8896
3.76/3.86 c #Conflicts: 87000 | #Constraints: 9896
3.76/3.86 c #Conflicts: 88000 | #Constraints: 10896
3.76/3.86 c #Conflicts: 89000 | #Constraints: 11896
3.76/3.86 c #Conflicts: 90000 | #Constraints: 12896
3.76/3.86 c INPROCESSING
3.76/3.86 c GARBAGE COLLECT
3.76/3.86 c rational objective 350.5
4.07/4.17 c #Conflicts: 91000 | #Constraints: 7894
4.07/4.17 c #Conflicts: 92000 | #Constraints: 8894
4.07/4.17 c #Conflicts: 93000 | #Constraints: 9895
4.07/4.17 c #Conflicts: 94000 | #Constraints: 10895
4.07/4.17 c #Conflicts: 95000 | #Constraints: 11895
4.07/4.17 c #Conflicts: 96000 | #Constraints: 12895
4.07/4.17 c INPROCESSING
4.07/4.17 c GARBAGE COLLECT
4.07/4.17 c rational objective 350.5
4.36/4.43 c #Conflicts: 97000 | #Constraints: 7693
4.36/4.43 c #Conflicts: 98000 | #Constraints: 8693
4.36/4.43 c #Conflicts: 99000 | #Constraints: 9693
4.36/4.43 c #Conflicts: 100000 | #Constraints: 10693
4.36/4.43 c #Conflicts: 101000 | #Constraints: 11693
4.36/4.43 c #Conflicts: 102000 | #Constraints: 12693
4.36/4.43 c #Conflicts: 103000 | #Constraints: 13693
4.36/4.43 c INPROCESSING
4.36/4.43 c GARBAGE COLLECT
4.36/4.43 c rational objective 350.5
4.67/4.71 c #Conflicts: 104000 | #Constraints: 8297
4.67/4.71 c #Conflicts: 105000 | #Constraints: 9297
4.67/4.71 c #Conflicts: 106000 | #Constraints: 10297
4.67/4.71 c #Conflicts: 107000 | #Constraints: 11297
4.67/4.71 c #Conflicts: 108000 | #Constraints: 12297
4.67/4.71 c #Conflicts: 109000 | #Constraints: 13297
4.67/4.71 c #Conflicts: 110000 | #Constraints: 14297
4.67/4.71 c INPROCESSING
4.67/4.71 c GARBAGE COLLECT
4.67/4.71 c rational objective 350.5
4.97/5.00 c #Conflicts: 111000 | #Constraints: 8691
4.97/5.00 c #Conflicts: 112000 | #Constraints: 9692
4.97/5.00 c #Conflicts: 113000 | #Constraints: 10692
4.97/5.00 c #Conflicts: 114000 | #Constraints: 11692
4.97/5.00 c #Conflicts: 115000 | #Constraints: 12693
4.97/5.00 c #Conflicts: 116000 | #Constraints: 13693
4.97/5.00 c #Conflicts: 117000 | #Constraints: 14693
4.97/5.00 c INPROCESSING
4.97/5.00 c GARBAGE COLLECT
4.97/5.00 c rational objective 350.5
5.26/5.35 c #Conflicts: 118000 | #Constraints: 8903
5.26/5.35 c #Conflicts: 119000 | #Constraints: 9903
5.26/5.35 c #Conflicts: 120000 | #Constraints: 10903
5.26/5.35 c #Conflicts: 121000 | #Constraints: 11903
5.26/5.35 c #Conflicts: 122000 | #Constraints: 12903
5.26/5.35 c #Conflicts: 123000 | #Constraints: 13903
5.26/5.35 c #Conflicts: 124000 | #Constraints: 14903
5.26/5.35 c INPROCESSING
5.26/5.35 c GARBAGE COLLECT
5.26/5.35 c rational objective 350.5
5.56/5.65 c #Conflicts: 125000 | #Constraints: 8898
5.56/5.65 c #Conflicts: 126000 | #Constraints: 9898
5.56/5.65 c #Conflicts: 127000 | #Constraints: 10898
5.56/5.65 c #Conflicts: 128000 | #Constraints: 11898
5.56/5.65 c #Conflicts: 129000 | #Constraints: 12898
5.56/5.65 c #Conflicts: 130000 | #Constraints: 13898
5.56/5.65 c #Conflicts: 131000 | #Constraints: 14898
5.56/5.65 c INPROCESSING
5.56/5.65 c GARBAGE COLLECT
5.56/5.65 c rational objective 350.5
5.86/5.97 c #Conflicts: 132000 | #Constraints: 8688
5.86/5.97 c #Conflicts: 133000 | #Constraints: 9688
5.86/5.97 c #Conflicts: 134000 | #Constraints: 10688
5.86/5.97 c #Conflicts: 135000 | #Constraints: 11688
5.86/5.97 c #Conflicts: 136000 | #Constraints: 12688
5.86/5.97 c #Conflicts: 137000 | #Constraints: 13688
5.86/5.97 c #Conflicts: 138000 | #Constraints: 14688
5.86/5.97 c #Conflicts: 139000 | #Constraints: 15688
5.86/5.97 c INPROCESSING
5.86/5.97 c GARBAGE COLLECT
5.86/5.97 c rational objective 350.5
6.16/6.28 c #Conflicts: 140000 | #Constraints: 9288
6.16/6.28 c #Conflicts: 141000 | #Constraints: 10288
6.16/6.28 c #Conflicts: 142000 | #Constraints: 11288
6.16/6.28 c #Conflicts: 143000 | #Constraints: 12288
6.16/6.28 c #Conflicts: 144000 | #Constraints: 13288
6.16/6.28 c #Conflicts: 145000 | #Constraints: 14288
6.16/6.28 c #Conflicts: 146000 | #Constraints: 15288
6.16/6.28 c #Conflicts: 147000 | #Constraints: 16288
6.16/6.28 c INPROCESSING
6.16/6.28 c GARBAGE COLLECT
6.16/6.28 c rational objective 350.5
6.46/6.59 c #Conflicts: 148000 | #Constraints: 9686
6.46/6.59 c #Conflicts: 149000 | #Constraints: 10686
6.46/6.59 c #Conflicts: 150000 | #Constraints: 11686
6.46/6.59 c #Conflicts: 151000 | #Constraints: 12686
6.46/6.59 c #Conflicts: 152000 | #Constraints: 13686
6.46/6.59 c #Conflicts: 153000 | #Constraints: 14686
6.46/6.59 c #Conflicts: 154000 | #Constraints: 15686
6.46/6.59 c #Conflicts: 155000 | #Constraints: 16686
6.46/6.59 c INPROCESSING
6.46/6.59 c GARBAGE COLLECT
6.46/6.59 c rational objective 350.5
6.85/6.91 c #Conflicts: 156000 | #Constraints: 9898
6.85/6.91 c #Conflicts: 157000 | #Constraints: 10898
6.85/6.91 c #Conflicts: 158000 | #Constraints: 11898
6.85/6.91 c #Conflicts: 159000 | #Constraints: 12898
6.85/6.91 c #Conflicts: 160000 | #Constraints: 13898
6.85/6.91 c #Conflicts: 161000 | #Constraints: 14898
6.85/6.91 c #Conflicts: 162000 | #Constraints: 15898
6.85/6.91 c #Conflicts: 163000 | #Constraints: 16898
6.85/6.91 c INPROCESSING
6.85/6.91 c GARBAGE COLLECT
6.85/6.91 c rational objective 350.5
7.16/7.23 c #Conflicts: 164000 | #Constraints: 9893
7.16/7.23 c #Conflicts: 165000 | #Constraints: 10893
7.16/7.23 c #Conflicts: 166000 | #Constraints: 11893
7.16/7.23 c #Conflicts: 167000 | #Constraints: 12893
7.16/7.23 c #Conflicts: 168000 | #Constraints: 13893
7.16/7.23 c #Conflicts: 169000 | #Constraints: 14893
7.16/7.23 c #Conflicts: 170000 | #Constraints: 15893
7.16/7.23 c #Conflicts: 171000 | #Constraints: 16893
7.16/7.23 c INPROCESSING
7.16/7.23 c GARBAGE COLLECT
7.16/7.23 c rational objective 350.5
7.46/7.56 c #Conflicts: 172000 | #Constraints: 9686
7.46/7.56 c #Conflicts: 173000 | #Constraints: 10686
7.46/7.56 c #Conflicts: 174000 | #Constraints: 11686
7.46/7.56 c #Conflicts: 175000 | #Constraints: 12686
7.46/7.56 c #Conflicts: 176000 | #Constraints: 13686
7.46/7.56 c #Conflicts: 177000 | #Constraints: 14686
7.46/7.56 c #Conflicts: 178000 | #Constraints: 15686
7.46/7.56 c #Conflicts: 179000 | #Constraints: 16686
7.46/7.56 c #Conflicts: 180000 | #Constraints: 17686
7.46/7.56 c INPROCESSING
7.46/7.56 c GARBAGE COLLECT
7.46/7.56 c rational objective 350.5
7.75/7.89 c #Conflicts: 181000 | #Constraints: 10288
7.75/7.89 c #Conflicts: 182000 | #Constraints: 11288
7.75/7.89 c #Conflicts: 183000 | #Constraints: 12288
7.75/7.89 c #Conflicts: 184000 | #Constraints: 13288
7.75/7.89 c #Conflicts: 185000 | #Constraints: 14288
7.75/7.89 c #Conflicts: 186000 | #Constraints: 15288
7.75/7.89 c #Conflicts: 187000 | #Constraints: 16288
7.75/7.89 c #Conflicts: 188000 | #Constraints: 17288
7.75/7.89 c #Conflicts: 189000 | #Constraints: 18288
7.75/7.89 c INPROCESSING
7.75/7.89 c GARBAGE COLLECT
7.75/7.89 c rational objective 350.5
8.16/8.26 c #Conflicts: 190000 | #Constraints: 10702
8.16/8.26 c #Conflicts: 191000 | #Constraints: 11702
8.16/8.26 c #Conflicts: 192000 | #Constraints: 12702
8.16/8.26 c #Conflicts: 193000 | #Constraints: 13702
8.16/8.26 c #Conflicts: 194000 | #Constraints: 14703
8.16/8.26 c #Conflicts: 195000 | #Constraints: 15703
8.16/8.26 c #Conflicts: 196000 | #Constraints: 16703
8.16/8.26 c #Conflicts: 197000 | #Constraints: 17703
8.16/8.26 c #Conflicts: 198000 | #Constraints: 18703
8.16/8.26 c INPROCESSING
8.16/8.26 c GARBAGE COLLECT
8.16/8.26 c rational objective 350.5
8.56/8.67 c #Conflicts: 199000 | #Constraints: 10900
8.56/8.67 c #Conflicts: 200000 | #Constraints: 11900
8.56/8.67 c #Conflicts: 201000 | #Constraints: 12900
8.56/8.67 c #Conflicts: 202000 | #Constraints: 13900
8.56/8.67 c #Conflicts: 203000 | #Constraints: 14900
8.56/8.67 c #Conflicts: 204000 | #Constraints: 15900
8.56/8.67 c #Conflicts: 205000 | #Constraints: 16900
8.56/8.67 c #Conflicts: 206000 | #Constraints: 17900
8.56/8.67 c #Conflicts: 207000 | #Constraints: 18900
8.56/8.67 c INPROCESSING
8.56/8.67 c GARBAGE COLLECT
8.56/8.67 c rational objective 350.5
8.96/9.10 c #Conflicts: 208000 | #Constraints: 10898
8.96/9.10 c #Conflicts: 209000 | #Constraints: 11898
8.96/9.10 c #Conflicts: 210000 | #Constraints: 12898
8.96/9.10 c #Conflicts: 211000 | #Constraints: 13898
8.96/9.10 c #Conflicts: 212000 | #Constraints: 14898
8.96/9.10 c #Conflicts: 213000 | #Constraints: 15898
8.96/9.10 c #Conflicts: 214000 | #Constraints: 16898
8.96/9.10 c #Conflicts: 215000 | #Constraints: 17898
8.96/9.10 c #Conflicts: 216000 | #Constraints: 18898
8.96/9.10 c INPROCESSING
8.96/9.10 c GARBAGE COLLECT
8.96/9.10 c rational objective 350.5
9.35/9.49 c #Conflicts: 217000 | #Constraints: 10691
9.35/9.49 c #Conflicts: 218000 | #Constraints: 11691
9.35/9.49 c #Conflicts: 219000 | #Constraints: 12691
9.35/9.49 c #Conflicts: 220000 | #Constraints: 13691
9.35/9.49 c #Conflicts: 221000 | #Constraints: 14691
9.35/9.49 c #Conflicts: 222000 | #Constraints: 15691
9.35/9.49 c #Conflicts: 223000 | #Constraints: 16691
9.35/9.49 c #Conflicts: 224000 | #Constraints: 17691
9.35/9.49 c #Conflicts: 225000 | #Constraints: 18691
9.35/9.49 c #Conflicts: 226000 | #Constraints: 19691
9.35/9.49 c INPROCESSING
9.35/9.49 c GARBAGE COLLECT
9.35/9.49 c rational objective 350.5
9.75/9.88 c #Conflicts: 227000 | #Constraints: 11301
9.75/9.88 c #Conflicts: 228000 | #Constraints: 12301
9.75/9.88 c #Conflicts: 229000 | #Constraints: 13301
9.75/9.88 c #Conflicts: 230000 | #Constraints: 14301
9.75/9.88 c #Conflicts: 231000 | #Constraints: 15301
9.75/9.88 c #Conflicts: 232000 | #Constraints: 16301
9.75/9.88 c #Conflicts: 233000 | #Constraints: 17301
9.75/9.88 c #Conflicts: 234000 | #Constraints: 18301
9.75/9.88 c #Conflicts: 235000 | #Constraints: 19301
9.75/9.88 c #Conflicts: 236000 | #Constraints: 20301
9.75/9.88 c INPROCESSING
9.75/9.88 c GARBAGE COLLECT
9.75/9.88 c rational objective 350.5
10.15/10.24 c #Conflicts: 237000 | #Constraints: 11701
10.15/10.24 c #Conflicts: 238000 | #Constraints: 12701
10.15/10.24 c #Conflicts: 239000 | #Constraints: 13701
10.15/10.24 c #Conflicts: 240000 | #Constraints: 14701
10.15/10.24 c #Conflicts: 241000 | #Constraints: 15701
10.15/10.24 c #Conflicts: 242000 | #Constraints: 16701
10.15/10.24 c #Conflicts: 243000 | #Constraints: 17701
10.15/10.24 c #Conflicts: 244000 | #Constraints: 18701
10.15/10.24 c #Conflicts: 245000 | #Constraints: 19701
10.15/10.24 c #Conflicts: 246000 | #Constraints: 20701
10.15/10.24 c INPROCESSING
10.15/10.24 c GARBAGE COLLECT
10.15/10.24 c rational objective 350.5
10.55/10.67 c #Conflicts: 247000 | #Constraints: 11895
10.55/10.67 c #Conflicts: 248000 | #Constraints: 12895
10.55/10.67 c #Conflicts: 249000 | #Constraints: 13895
10.55/10.67 c #Conflicts: 250000 | #Constraints: 14895
10.55/10.67 c #Conflicts: 251000 | #Constraints: 15895
10.55/10.67 c #Conflicts: 252000 | #Constraints: 16895
10.55/10.67 c #Conflicts: 253000 | #Constraints: 17895
10.55/10.67 c #Conflicts: 254000 | #Constraints: 18895
10.55/10.67 c #Conflicts: 255000 | #Constraints: 19895
10.55/10.67 c #Conflicts: 256000 | #Constraints: 20895
10.55/10.67 c INPROCESSING
10.55/10.67 c GARBAGE COLLECT
10.55/10.67 c rational objective 350.5
10.95/11.07 c #Conflicts: 257000 | #Constraints: 11901
10.95/11.07 c #Conflicts: 258000 | #Constraints: 12901
10.95/11.07 c #Conflicts: 259000 | #Constraints: 13901
10.95/11.07 c #Conflicts: 260000 | #Constraints: 14901
10.95/11.07 c #Conflicts: 261000 | #Constraints: 15901
10.95/11.07 c #Conflicts: 262000 | #Constraints: 16901
10.95/11.07 c #Conflicts: 263000 | #Constraints: 17901
10.95/11.07 c #Conflicts: 264000 | #Constraints: 18901
10.95/11.07 c #Conflicts: 265000 | #Constraints: 19901
10.95/11.07 c #Conflicts: 266000 | #Constraints: 20901
10.95/11.07 c INPROCESSING
10.95/11.07 c GARBAGE COLLECT
10.95/11.07 c rational objective 350.5
11.34/11.49 c #Conflicts: 267000 | #Constraints: 11698
11.34/11.49 c #Conflicts: 268000 | #Constraints: 12698
11.34/11.49 c #Conflicts: 269000 | #Constraints: 13698
11.34/11.49 c #Conflicts: 270000 | #Constraints: 14698
11.34/11.49 c #Conflicts: 271000 | #Constraints: 15698
11.34/11.49 c #Conflicts: 272000 | #Constraints: 16698
11.34/11.49 c #Conflicts: 273000 | #Constraints: 17698
11.34/11.49 c #Conflicts: 274000 | #Constraints: 18698
11.34/11.49 c #Conflicts: 275000 | #Constraints: 19698
11.34/11.49 c #Conflicts: 276000 | #Constraints: 20698
11.34/11.49 c #Conflicts: 277000 | #Constraints: 21698
11.34/11.49 c INPROCESSING
11.34/11.49 c GARBAGE COLLECT
11.34/11.49 c rational objective 350.5
11.84/11.90 c #Conflicts: 278000 | #Constraints: 12299
11.84/11.90 c #Conflicts: 279000 | #Constraints: 13299
11.84/11.90 c #Conflicts: 280000 | #Constraints: 14299
11.84/11.90 c #Conflicts: 281000 | #Constraints: 15299
11.84/11.90 c #Conflicts: 282000 | #Constraints: 16299
11.84/11.90 c #Conflicts: 283000 | #Constraints: 17299
11.84/11.90 c #Conflicts: 284000 | #Constraints: 18299
11.84/11.90 c #Conflicts: 285000 | #Constraints: 19299
11.84/11.90 c #Conflicts: 286000 | #Constraints: 20299
11.84/11.90 c #Conflicts: 287000 | #Constraints: 21299
11.84/11.90 c #Conflicts: 288000 | #Constraints: 22299
11.84/11.90 c INPROCESSING
11.84/11.90 c GARBAGE COLLECT
11.84/11.90 c rational objective 350.5
12.25/12.33 c #Conflicts: 289000 | #Constraints: 12705
12.25/12.33 c #Conflicts: 290000 | #Constraints: 13705
12.25/12.33 c #Conflicts: 291000 | #Constraints: 14705
12.25/12.33 c #Conflicts: 292000 | #Constraints: 15705
12.25/12.33 c #Conflicts: 293000 | #Constraints: 16705
12.25/12.33 c #Conflicts: 294000 | #Constraints: 17705
12.25/12.33 c #Conflicts: 295000 | #Constraints: 18705
12.25/12.33 c #Conflicts: 296000 | #Constraints: 19705
12.25/12.33 c #Conflicts: 297000 | #Constraints: 20705
12.25/12.33 c #Conflicts: 298000 | #Constraints: 21705
12.25/12.33 c #Conflicts: 299000 | #Constraints: 22705
12.25/12.33 c INPROCESSING
12.25/12.33 c GARBAGE COLLECT
12.25/12.33 c rational objective 350.5
12.64/12.73 c #Conflicts: 300000 | #Constraints: 12913
12.64/12.73 c #Conflicts: 301000 | #Constraints: 13913
12.64/12.73 c #Conflicts: 302000 | #Constraints: 14913
12.64/12.73 c #Conflicts: 303000 | #Constraints: 15913
12.64/12.73 c #Conflicts: 304000 | #Constraints: 16913
12.64/12.73 c #Conflicts: 305000 | #Constraints: 17913
12.64/12.73 c #Conflicts: 306000 | #Constraints: 18913
12.64/12.73 c #Conflicts: 307000 | #Constraints: 19913
12.64/12.73 c #Conflicts: 308000 | #Constraints: 20913
12.64/12.73 c #Conflicts: 309000 | #Constraints: 21913
12.64/12.73 c #Conflicts: 310000 | #Constraints: 22913
12.64/12.73 c INPROCESSING
12.64/12.73 c GARBAGE COLLECT
12.64/12.73 c rational objective 350.5
13.04/13.19 c #Conflicts: 311000 | #Constraints: 12915
13.04/13.19 c #Conflicts: 312000 | #Constraints: 13915
13.04/13.19 c #Conflicts: 313000 | #Constraints: 14915
13.04/13.19 c #Conflicts: 314000 | #Constraints: 15915
13.04/13.19 c #Conflicts: 315000 | #Constraints: 16915
13.04/13.19 c #Conflicts: 316000 | #Constraints: 17915
13.04/13.19 c #Conflicts: 317000 | #Constraints: 18915
13.04/13.19 c #Conflicts: 318000 | #Constraints: 19915
13.04/13.19 c #Conflicts: 319000 | #Constraints: 20915
13.04/13.19 c #Conflicts: 320000 | #Constraints: 21915
13.04/13.19 c #Conflicts: 321000 | #Constraints: 22915
13.04/13.19 c INPROCESSING
13.04/13.19 c GARBAGE COLLECT
13.04/13.19 c rational objective 350.5
13.54/13.65 c #Conflicts: 322000 | #Constraints: 12703
13.54/13.65 c #Conflicts: 323000 | #Constraints: 13703
13.54/13.65 c #Conflicts: 324000 | #Constraints: 14703
13.54/13.65 c #Conflicts: 325000 | #Constraints: 15703
13.54/13.65 c #Conflicts: 326000 | #Constraints: 16703
13.54/13.65 c #Conflicts: 327000 | #Constraints: 17703
13.54/13.65 c #Conflicts: 328000 | #Constraints: 18703
13.54/13.65 c #Conflicts: 329000 | #Constraints: 19703
13.54/13.65 c #Conflicts: 330000 | #Constraints: 20703
13.54/13.65 c #Conflicts: 331000 | #Constraints: 21703
13.54/13.65 c #Conflicts: 332000 | #Constraints: 22703
13.54/13.65 c #Conflicts: 333000 | #Constraints: 23703
13.54/13.65 c INPROCESSING
13.54/13.65 c GARBAGE COLLECT
13.54/13.65 c rational objective 350.5
13.95/14.06 c #Conflicts: 334000 | #Constraints: 13299
13.95/14.06 c #Conflicts: 335000 | #Constraints: 14299
13.95/14.06 c #Conflicts: 336000 | #Constraints: 15299
13.95/14.06 c #Conflicts: 337000 | #Constraints: 16299
13.95/14.06 c #Conflicts: 338000 | #Constraints: 17299
13.95/14.06 c #Conflicts: 339000 | #Constraints: 18299
13.95/14.06 c #Conflicts: 340000 | #Constraints: 19299
13.95/14.06 c #Conflicts: 341000 | #Constraints: 20299
13.95/14.06 c #Conflicts: 342000 | #Constraints: 21299
13.95/14.06 c #Conflicts: 343000 | #Constraints: 22299
13.95/14.06 c #Conflicts: 344000 | #Constraints: 23299
13.95/14.06 c #Conflicts: 345000 | #Constraints: 24299
13.95/14.06 c INPROCESSING
13.95/14.06 c GARBAGE COLLECT
13.95/14.06 c rational objective 350.5
14.43/14.50 c #Conflicts: 346000 | #Constraints: 13699
14.43/14.50 c #Conflicts: 347000 | #Constraints: 14699
14.43/14.50 c #Conflicts: 348000 | #Constraints: 15699
14.43/14.50 c #Conflicts: 349000 | #Constraints: 16699
14.43/14.50 c #Conflicts: 350000 | #Constraints: 17699
14.43/14.50 c #Conflicts: 351000 | #Constraints: 18699
14.43/14.50 c #Conflicts: 352000 | #Constraints: 19699
14.43/14.50 c #Conflicts: 353000 | #Constraints: 20699
14.43/14.50 c #Conflicts: 354000 | #Constraints: 21699
14.43/14.50 c #Conflicts: 355000 | #Constraints: 22699
14.43/14.50 c #Conflicts: 356000 | #Constraints: 23699
14.43/14.50 c #Conflicts: 357000 | #Constraints: 24699
14.43/14.50 c INPROCESSING
14.43/14.50 c GARBAGE COLLECT
14.43/14.50 c rational objective 350.5
14.84/14.94 c #Conflicts: 358000 | #Constraints: 13907
14.84/14.94 c #Conflicts: 359000 | #Constraints: 14907
14.84/14.94 c #Conflicts: 360000 | #Constraints: 15907
14.84/14.94 c #Conflicts: 361000 | #Constraints: 16907
14.84/14.94 c #Conflicts: 362000 | #Constraints: 17907
14.84/14.94 c #Conflicts: 363000 | #Constraints: 18907
14.84/14.94 c #Conflicts: 364000 | #Constraints: 19907
14.84/14.94 c #Conflicts: 365000 | #Constraints: 20907
14.84/14.94 c #Conflicts: 366000 | #Constraints: 21907
14.84/14.94 c #Conflicts: 367000 | #Constraints: 22907
14.84/14.94 c #Conflicts: 368000 | #Constraints: 23907
14.84/14.94 c #Conflicts: 369000 | #Constraints: 24907
14.84/14.94 c INPROCESSING
14.84/14.94 c GARBAGE COLLECT
14.84/14.94 c rational objective 350.5
15.33/15.46 c #Conflicts: 370000 | #Constraints: 13922
15.33/15.46 c #Conflicts: 371000 | #Constraints: 14922
15.33/15.46 c #Conflicts: 372000 | #Constraints: 15922
15.33/15.46 c #Conflicts: 373000 | #Constraints: 16922
15.33/15.46 c #Conflicts: 374000 | #Constraints: 17922
15.33/15.46 c #Conflicts: 375000 | #Constraints: 18922
15.33/15.46 c #Conflicts: 376000 | #Constraints: 19922
15.33/15.46 c #Conflicts: 377000 | #Constraints: 20922
15.33/15.46 c #Conflicts: 378000 | #Constraints: 21922
15.33/15.46 c #Conflicts: 379000 | #Constraints: 22922
15.33/15.46 c #Conflicts: 380000 | #Constraints: 23922
15.33/15.46 c #Conflicts: 381000 | #Constraints: 24922
15.33/15.46 c INPROCESSING
15.33/15.46 c GARBAGE COLLECT
15.33/15.46 c rational objective 350.5
15.83/15.91 c #Conflicts: 382000 | #Constraints: 13717
15.83/15.91 c #Conflicts: 383000 | #Constraints: 14717
15.83/15.91 c #Conflicts: 384000 | #Constraints: 15717
15.83/15.91 c #Conflicts: 385000 | #Constraints: 16717
15.83/15.91 c #Conflicts: 386000 | #Constraints: 17717
15.83/15.91 c #Conflicts: 387000 | #Constraints: 18717
15.83/15.91 c #Conflicts: 388000 | #Constraints: 19717
15.83/15.91 c #Conflicts: 389000 | #Constraints: 20717
15.83/15.91 c #Conflicts: 390000 | #Constraints: 21717
15.83/15.91 c #Conflicts: 391000 | #Constraints: 22717
15.83/15.91 c #Conflicts: 392000 | #Constraints: 23717
15.83/15.91 c #Conflicts: 393000 | #Constraints: 24717
15.83/15.91 c #Conflicts: 394000 | #Constraints: 25717
15.83/15.91 c INPROCESSING
15.83/15.91 c GARBAGE COLLECT
15.83/15.91 c rational objective 350.5
16.23/16.35 c #Conflicts: 395000 | #Constraints: 14315
16.23/16.35 c #Conflicts: 396000 | #Constraints: 15315
16.23/16.35 c #Conflicts: 397000 | #Constraints: 16315
16.23/16.35 c #Conflicts: 398000 | #Constraints: 17315
16.23/16.35 c #Conflicts: 399000 | #Constraints: 18315
16.23/16.35 c #Conflicts: 400000 | #Constraints: 19315
16.23/16.35 c #Conflicts: 401000 | #Constraints: 20315
16.23/16.35 c #Conflicts: 402000 | #Constraints: 21315
16.23/16.35 c #Conflicts: 403000 | #Constraints: 22315
16.23/16.35 c #Conflicts: 404000 | #Constraints: 23315
16.23/16.35 c #Conflicts: 405000 | #Constraints: 24315
16.23/16.35 c #Conflicts: 406000 | #Constraints: 25315
16.23/16.35 c #Conflicts: 407000 | #Constraints: 26315
16.23/16.35 c INPROCESSING
16.23/16.35 c GARBAGE COLLECT
16.23/16.35 c rational objective 350.5
16.73/16.83 c #Conflicts: 408000 | #Constraints: 14730
16.73/16.83 c #Conflicts: 409000 | #Constraints: 15730
16.73/16.83 c #Conflicts: 410000 | #Constraints: 16730
16.73/16.83 c #Conflicts: 411000 | #Constraints: 17730
16.73/16.83 c #Conflicts: 412000 | #Constraints: 18730
16.73/16.83 c #Conflicts: 413000 | #Constraints: 19730
16.73/16.83 c #Conflicts: 414000 | #Constraints: 20730
16.73/16.83 c #Conflicts: 415000 | #Constraints: 21730
16.73/16.83 c #Conflicts: 416000 | #Constraints: 22730
16.73/16.83 c #Conflicts: 417000 | #Constraints: 23730
16.73/16.83 c #Conflicts: 418000 | #Constraints: 24730
16.73/16.83 c #Conflicts: 419000 | #Constraints: 25730
16.73/16.83 c #Conflicts: 420000 | #Constraints: 26730
16.73/16.83 c INPROCESSING
16.73/16.83 c GARBAGE COLLECT
16.73/16.83 c rational objective 350.5
17.24/17.37 c #Conflicts: 421000 | #Constraints: 14941
17.24/17.37 c #Conflicts: 422000 | #Constraints: 15941
17.24/17.37 c #Conflicts: 423000 | #Constraints: 16941
17.24/17.37 c #Conflicts: 424000 | #Constraints: 17941
17.24/17.37 c #Conflicts: 425000 | #Constraints: 18941
17.24/17.37 c #Conflicts: 426000 | #Constraints: 19941
17.24/17.37 c #Conflicts: 427000 | #Constraints: 20941
17.24/17.37 c #Conflicts: 428000 | #Constraints: 21941
17.24/17.37 c #Conflicts: 429000 | #Constraints: 22941
17.24/17.37 c #Conflicts: 430000 | #Constraints: 23941
17.24/17.37 c #Conflicts: 431000 | #Constraints: 24941
17.24/17.37 c #Conflicts: 432000 | #Constraints: 25941
17.24/17.37 c #Conflicts: 433000 | #Constraints: 26941
17.24/17.37 c INPROCESSING
17.24/17.37 c GARBAGE COLLECT
17.24/17.37 c rational objective 350.5
17.83/17.90 c #Conflicts: 434000 | #Constraints: 14940
17.83/17.90 c #Conflicts: 435000 | #Constraints: 15940
17.83/17.90 c #Conflicts: 436000 | #Constraints: 16940
17.83/17.90 c #Conflicts: 437000 | #Constraints: 17940
17.83/17.90 c #Conflicts: 438000 | #Constraints: 18940
17.83/17.90 c #Conflicts: 439000 | #Constraints: 19940
17.83/17.90 c #Conflicts: 440000 | #Constraints: 20940
17.83/17.90 c #Conflicts: 441000 | #Constraints: 21940
17.83/17.90 c #Conflicts: 442000 | #Constraints: 22940
17.83/17.90 c #Conflicts: 443000 | #Constraints: 23940
17.83/17.90 c #Conflicts: 444000 | #Constraints: 24940
17.83/17.90 c #Conflicts: 445000 | #Constraints: 25940
17.83/17.90 c #Conflicts: 446000 | #Constraints: 26940
17.83/17.90 c INPROCESSING
17.83/17.90 c GARBAGE COLLECT
17.83/17.90 c rational objective 350.5
18.23/18.37 c #Conflicts: 447000 | #Constraints: 14736
18.23/18.37 c #Conflicts: 448000 | #Constraints: 15736
18.23/18.37 c #Conflicts: 449000 | #Constraints: 16736
18.23/18.37 c #Conflicts: 450000 | #Constraints: 17736
18.23/18.37 c #Conflicts: 451000 | #Constraints: 18736
18.23/18.37 c #Conflicts: 452000 | #Constraints: 19736
18.23/18.37 c #Conflicts: 453000 | #Constraints: 20736
18.23/18.37 c #Conflicts: 454000 | #Constraints: 21736
18.23/18.37 c #Conflicts: 455000 | #Constraints: 22736
18.23/18.37 c #Conflicts: 456000 | #Constraints: 23736
18.23/18.37 c #Conflicts: 457000 | #Constraints: 24736
18.23/18.37 c #Conflicts: 458000 | #Constraints: 25736
18.23/18.37 c #Conflicts: 459000 | #Constraints: 26736
18.23/18.37 c #Conflicts: 460000 | #Constraints: 27736
18.23/18.37 c INPROCESSING
18.23/18.37 c GARBAGE COLLECT
18.23/18.37 c rational objective 350.5
18.93/19.09 c #Conflicts: 461000 | #Constraints: 15343
18.93/19.09 c #Conflicts: 462000 | #Constraints: 16343
18.93/19.09 c #Conflicts: 463000 | #Constraints: 17343
18.93/19.09 c #Conflicts: 464000 | #Constraints: 18343
18.93/19.09 c #Conflicts: 465000 | #Constraints: 19343
18.93/19.09 c #Conflicts: 466000 | #Constraints: 20343
18.93/19.09 c #Conflicts: 467000 | #Constraints: 21343
18.93/19.09 c #Conflicts: 468000 | #Constraints: 22343
18.93/19.09 c #Conflicts: 469000 | #Constraints: 23343
18.93/19.09 c #Conflicts: 470000 | #Constraints: 24343
18.93/19.09 c #Conflicts: 471000 | #Constraints: 25343
18.93/19.09 c #Conflicts: 472000 | #Constraints: 26343
18.93/19.09 c #Conflicts: 473000 | #Constraints: 27343
18.93/19.09 c #Conflicts: 474000 | #Constraints: 28343
18.93/19.09 c INPROCESSING
18.93/19.09 c GARBAGE COLLECT
18.93/19.09 c rational objective 350.5
19.43/19.58 c #Conflicts: 475000 | #Constraints: 15745
19.43/19.58 c #Conflicts: 476000 | #Constraints: 16745
19.43/19.58 c #Conflicts: 477000 | #Constraints: 17745
19.43/19.58 c #Conflicts: 478000 | #Constraints: 18745
19.43/19.58 c #Conflicts: 479000 | #Constraints: 19745
19.43/19.58 c #Conflicts: 480000 | #Constraints: 20745
19.43/19.58 c #Conflicts: 481000 | #Constraints: 21745
19.43/19.58 c #Conflicts: 482000 | #Constraints: 22745
19.43/19.58 c #Conflicts: 483000 | #Constraints: 23745
19.43/19.58 c #Conflicts: 484000 | #Constraints: 24745
19.43/19.58 c #Conflicts: 485000 | #Constraints: 25745
19.43/19.58 c #Conflicts: 486000 | #Constraints: 26745
19.43/19.58 c #Conflicts: 487000 | #Constraints: 27745
19.43/19.58 c #Conflicts: 488000 | #Constraints: 28745
19.43/19.58 c INPROCESSING
19.43/19.58 c GARBAGE COLLECT
19.43/19.58 c rational objective 350.5
20.23/20.30 c #Conflicts: 489000 | #Constraints: 15946
20.23/20.30 c #Conflicts: 490000 | #Constraints: 16946
20.23/20.30 c #Conflicts: 491000 | #Constraints: 17946
20.23/20.30 c #Conflicts: 492000 | #Constraints: 18946
20.23/20.30 c #Conflicts: 493000 | #Constraints: 19946
20.23/20.30 c #Conflicts: 494000 | #Constraints: 20946
20.23/20.30 c #Conflicts: 495000 | #Constraints: 21946
20.23/20.30 c #Conflicts: 496000 | #Constraints: 22946
20.23/20.30 c #Conflicts: 497000 | #Constraints: 23946
20.23/20.30 c #Conflicts: 498000 | #Constraints: 24946
20.23/20.30 c #Conflicts: 499000 | #Constraints: 25946
20.23/20.30 c #Conflicts: 500000 | #Constraints: 26946
20.23/20.30 c #Conflicts: 501000 | #Constraints: 27946
20.23/20.30 c #Conflicts: 502000 | #Constraints: 28946
20.23/20.30 c INPROCESSING
20.23/20.30 c GARBAGE COLLECT
20.23/20.30 c rational objective 350.5
20.72/20.83 c #Conflicts: 503000 | #Constraints: 15939
20.72/20.83 c #Conflicts: 504000 | #Constraints: 16939
20.72/20.83 c #Conflicts: 505000 | #Constraints: 17939
20.72/20.83 c #Conflicts: 506000 | #Constraints: 18939
20.72/20.83 c #Conflicts: 507000 | #Constraints: 19939
20.72/20.83 c #Conflicts: 508000 | #Constraints: 20939
20.72/20.83 c #Conflicts: 509000 | #Constraints: 21939
20.72/20.83 c #Conflicts: 510000 | #Constraints: 22939
20.72/20.83 c #Conflicts: 511000 | #Constraints: 23939
20.72/20.83 c #Conflicts: 512000 | #Constraints: 24939
20.72/20.83 c #Conflicts: 513000 | #Constraints: 25939
20.72/20.83 c #Conflicts: 514000 | #Constraints: 26939
20.72/20.83 c #Conflicts: 515000 | #Constraints: 27939
20.72/20.83 c #Conflicts: 516000 | #Constraints: 28939
20.72/20.83 c INPROCESSING
20.72/20.83 c GARBAGE COLLECT
20.72/20.83 c rational objective 350.5
21.22/21.38 c #Conflicts: 517000 | #Constraints: 15740
21.22/21.38 c #Conflicts: 518000 | #Constraints: 16740
21.22/21.38 c #Conflicts: 519000 | #Constraints: 17740
21.22/21.38 c #Conflicts: 520000 | #Constraints: 18740
21.22/21.38 c #Conflicts: 521000 | #Constraints: 19740
21.22/21.38 c #Conflicts: 522000 | #Constraints: 20740
21.22/21.38 c #Conflicts: 523000 | #Constraints: 21740
21.22/21.38 c #Conflicts: 524000 | #Constraints: 22740
21.22/21.38 c #Conflicts: 525000 | #Constraints: 23740
21.22/21.38 c #Conflicts: 526000 | #Constraints: 24740
21.22/21.38 c #Conflicts: 527000 | #Constraints: 25740
21.22/21.38 c #Conflicts: 528000 | #Constraints: 26740
21.22/21.38 c #Conflicts: 529000 | #Constraints: 27740
21.22/21.38 c #Conflicts: 530000 | #Constraints: 28740
21.22/21.38 c #Conflicts: 531000 | #Constraints: 29740
21.22/21.38 c INPROCESSING
21.22/21.38 c GARBAGE COLLECT
21.22/21.38 c rational objective 350.5
21.82/21.91 c #Conflicts: 532000 | #Constraints: 16339
21.82/21.91 c #Conflicts: 533000 | #Constraints: 17339
21.82/21.91 c #Conflicts: 534000 | #Constraints: 18339
21.82/21.91 c #Conflicts: 535000 | #Constraints: 19339
21.82/21.91 c #Conflicts: 536000 | #Constraints: 20339
21.82/21.91 c #Conflicts: 537000 | #Constraints: 21339
21.82/21.91 c #Conflicts: 538000 | #Constraints: 22339
21.82/21.91 c #Conflicts: 539000 | #Constraints: 23339
21.82/21.91 c #Conflicts: 540000 | #Constraints: 24339
21.82/21.91 c #Conflicts: 541000 | #Constraints: 25339
21.82/21.91 c #Conflicts: 542000 | #Constraints: 26339
21.82/21.91 c #Conflicts: 543000 | #Constraints: 27339
21.82/21.91 c #Conflicts: 544000 | #Constraints: 28339
21.82/21.91 c #Conflicts: 545000 | #Constraints: 29339
21.82/21.91 c #Conflicts: 546000 | #Constraints: 30339
21.82/21.91 c INPROCESSING
21.82/21.91 c GARBAGE COLLECT
21.82/21.91 c rational objective 350.5
22.32/22.49 c #Conflicts: 547000 | #Constraints: 16735
22.32/22.49 c #Conflicts: 548000 | #Constraints: 17735
22.32/22.49 c #Conflicts: 549000 | #Constraints: 18735
22.32/22.49 c #Conflicts: 550000 | #Constraints: 19735
22.32/22.49 c #Conflicts: 551000 | #Constraints: 20735
22.32/22.49 c #Conflicts: 552000 | #Constraints: 21735
22.32/22.49 c #Conflicts: 553000 | #Constraints: 22735
22.32/22.49 c #Conflicts: 554000 | #Constraints: 23735
22.32/22.49 c #Conflicts: 555000 | #Constraints: 24735
22.32/22.49 c #Conflicts: 556000 | #Constraints: 25735
22.32/22.49 c #Conflicts: 557000 | #Constraints: 26735
22.32/22.49 c #Conflicts: 558000 | #Constraints: 27735
22.32/22.49 c #Conflicts: 559000 | #Constraints: 28735
22.32/22.49 c #Conflicts: 560000 | #Constraints: 29735
22.32/22.49 c #Conflicts: 561000 | #Constraints: 30735
22.32/22.49 c INPROCESSING
22.32/22.49 c GARBAGE COLLECT
22.32/22.49 c rational objective 350.5
22.92/23.10 c #Conflicts: 562000 | #Constraints: 16929
22.92/23.10 c #Conflicts: 563000 | #Constraints: 17929
22.92/23.10 c #Conflicts: 564000 | #Constraints: 18929
22.92/23.10 c #Conflicts: 565000 | #Constraints: 19929
22.92/23.10 c #Conflicts: 566000 | #Constraints: 20929
22.92/23.10 c #Conflicts: 567000 | #Constraints: 21929
22.92/23.10 c #Conflicts: 568000 | #Constraints: 22929
22.92/23.10 c #Conflicts: 569000 | #Constraints: 23929
22.92/23.10 c #Conflicts: 570000 | #Constraints: 24929
22.92/23.10 c #Conflicts: 571000 | #Constraints: 25929
22.92/23.10 c #Conflicts: 572000 | #Constraints: 26929
22.92/23.10 c #Conflicts: 573000 | #Constraints: 27929
22.92/23.10 c #Conflicts: 574000 | #Constraints: 28929
22.92/23.10 c #Conflicts: 575000 | #Constraints: 29929
22.92/23.10 c #Conflicts: 576000 | #Constraints: 30929
22.92/23.10 c INPROCESSING
22.92/23.10 c GARBAGE COLLECT
22.92/23.10 c rational objective 350.5
23.52/23.61 c #Conflicts: 577000 | #Constraints: 16947
23.52/23.61 c #Conflicts: 578000 | #Constraints: 17947
23.52/23.61 c #Conflicts: 579000 | #Constraints: 18947
23.52/23.61 c #Conflicts: 580000 | #Constraints: 19947
23.52/23.61 c #Conflicts: 581000 | #Constraints: 20947
23.52/23.61 c #Conflicts: 582000 | #Constraints: 21947
23.52/23.61 c #Conflicts: 583000 | #Constraints: 22947
23.52/23.61 c #Conflicts: 584000 | #Constraints: 23947
23.52/23.61 c #Conflicts: 585000 | #Constraints: 24947
23.52/23.61 c #Conflicts: 586000 | #Constraints: 25947
23.52/23.61 c #Conflicts: 587000 | #Constraints: 26947
23.52/23.61 c #Conflicts: 588000 | #Constraints: 27947
23.52/23.61 c #Conflicts: 589000 | #Constraints: 28947
23.52/23.61 c #Conflicts: 590000 | #Constraints: 29947
23.52/23.61 c #Conflicts: 591000 | #Constraints: 30947
23.52/23.61 c INPROCESSING
23.52/23.61 c GARBAGE COLLECT
23.52/23.61 c rational objective 350.5
24.11/24.25 c #Conflicts: 592000 | #Constraints: 16737
24.11/24.25 c #Conflicts: 593000 | #Constraints: 17737
24.11/24.25 c #Conflicts: 594000 | #Constraints: 18737
24.11/24.25 c #Conflicts: 595000 | #Constraints: 19737
24.11/24.25 c #Conflicts: 596000 | #Constraints: 20737
24.11/24.25 c #Conflicts: 597000 | #Constraints: 21737
24.11/24.25 c #Conflicts: 598000 | #Constraints: 22737
24.11/24.25 c #Conflicts: 599000 | #Constraints: 23737
24.11/24.25 c #Conflicts: 600000 | #Constraints: 24737
24.11/24.25 c #Conflicts: 601000 | #Constraints: 25737
24.11/24.25 c #Conflicts: 602000 | #Constraints: 26737
24.11/24.25 c #Conflicts: 603000 | #Constraints: 27737
24.11/24.25 c #Conflicts: 604000 | #Constraints: 28737
24.11/24.25 c #Conflicts: 605000 | #Constraints: 29737
24.11/24.25 c #Conflicts: 606000 | #Constraints: 30737
24.11/24.25 c #Conflicts: 607000 | #Constraints: 31737
24.11/24.25 c INPROCESSING
24.11/24.25 c GARBAGE COLLECT
24.11/24.25 c rational objective 350.5
24.72/24.80 c #Conflicts: 608000 | #Constraints: 17343
24.72/24.80 c #Conflicts: 609000 | #Constraints: 18343
24.72/24.80 c #Conflicts: 610000 | #Constraints: 19343
24.72/24.80 c #Conflicts: 611000 | #Constraints: 20343
24.72/24.80 c #Conflicts: 612000 | #Constraints: 21343
24.72/24.80 c #Conflicts: 613000 | #Constraints: 22343
24.72/24.80 c #Conflicts: 614000 | #Constraints: 23343
24.72/24.80 c #Conflicts: 615000 | #Constraints: 24343
24.72/24.80 c #Conflicts: 616000 | #Constraints: 25343
24.72/24.80 c #Conflicts: 617000 | #Constraints: 26343
24.72/24.80 c #Conflicts: 618000 | #Constraints: 27343
24.72/24.80 c #Conflicts: 619000 | #Constraints: 28343
24.72/24.80 c #Conflicts: 620000 | #Constraints: 29343
24.72/24.80 c #Conflicts: 621000 | #Constraints: 30343
24.72/24.80 c #Conflicts: 622000 | #Constraints: 31343
24.72/24.80 c #Conflicts: 623000 | #Constraints: 32343
24.72/24.80 c INPROCESSING
24.72/24.80 c GARBAGE COLLECT
24.72/24.80 c rational objective 350.5
25.22/25.39 c #Conflicts: 624000 | #Constraints: 17748
25.22/25.39 c #Conflicts: 625000 | #Constraints: 18748
25.22/25.39 c #Conflicts: 626000 | #Constraints: 19748
25.22/25.39 c #Conflicts: 627000 | #Constraints: 20748
25.22/25.39 c #Conflicts: 628000 | #Constraints: 21748
25.22/25.39 c #Conflicts: 629000 | #Constraints: 22748
25.22/25.39 c #Conflicts: 630000 | #Constraints: 23748
25.22/25.39 c #Conflicts: 631000 | #Constraints: 24748
25.22/25.39 c #Conflicts: 632000 | #Constraints: 25748
25.22/25.39 c #Conflicts: 633000 | #Constraints: 26748
25.22/25.39 c #Conflicts: 634000 | #Constraints: 27748
25.22/25.39 c #Conflicts: 635000 | #Constraints: 28748
25.22/25.39 c #Conflicts: 636000 | #Constraints: 29748
25.22/25.39 c #Conflicts: 637000 | #Constraints: 30748
25.22/25.39 c #Conflicts: 638000 | #Constraints: 31748
25.22/25.39 c #Conflicts: 639000 | #Constraints: 32748
25.22/25.39 c INPROCESSING
25.22/25.39 c GARBAGE COLLECT
25.22/25.39 c rational objective 350.5
25.81/25.96 c #Conflicts: 640000 | #Constraints: 17949
25.81/25.96 c #Conflicts: 641000 | #Constraints: 18949
25.81/25.96 c #Conflicts: 642000 | #Constraints: 19949
25.81/25.96 c #Conflicts: 643000 | #Constraints: 20949
25.81/25.96 c #Conflicts: 644000 | #Constraints: 21949
25.81/25.96 c #Conflicts: 645000 | #Constraints: 22949
25.81/25.96 c #Conflicts: 646000 | #Constraints: 23949
25.81/25.96 c #Conflicts: 647000 | #Constraints: 24949
25.81/25.96 c #Conflicts: 648000 | #Constraints: 25949
25.81/25.96 c #Conflicts: 649000 | #Constraints: 26949
25.81/25.96 c #Conflicts: 650000 | #Constraints: 27949
25.81/25.96 c #Conflicts: 651000 | #Constraints: 28949
25.81/25.96 c #Conflicts: 652000 | #Constraints: 29949
25.81/25.96 c #Conflicts: 653000 | #Constraints: 30949
25.81/25.96 c #Conflicts: 654000 | #Constraints: 31949
25.81/25.96 c #Conflicts: 655000 | #Constraints: 32949
25.81/25.96 c INPROCESSING
25.81/25.96 c GARBAGE COLLECT
25.81/25.96 c rational objective 350.5
26.41/26.56 c #Conflicts: 656000 | #Constraints: 17954
26.41/26.56 c #Conflicts: 657000 | #Constraints: 18954
26.41/26.56 c #Conflicts: 658000 | #Constraints: 19954
26.41/26.56 c #Conflicts: 659000 | #Constraints: 20954
26.41/26.56 c #Conflicts: 660000 | #Constraints: 21954
26.41/26.56 c #Conflicts: 661000 | #Constraints: 22954
26.41/26.56 c #Conflicts: 662000 | #Constraints: 23954
26.41/26.56 c #Conflicts: 663000 | #Constraints: 24954
26.41/26.56 c #Conflicts: 664000 | #Constraints: 25954
26.41/26.56 c #Conflicts: 665000 | #Constraints: 26954
26.41/26.56 c #Conflicts: 666000 | #Constraints: 27954
26.41/26.56 c #Conflicts: 667000 | #Constraints: 28954
26.41/26.56 c #Conflicts: 668000 | #Constraints: 29954
26.41/26.56 c #Conflicts: 669000 | #Constraints: 30954
26.41/26.56 c #Conflicts: 670000 | #Constraints: 31954
26.41/26.56 c #Conflicts: 671000 | #Constraints: 32954
26.41/26.56 c INPROCESSING
26.41/26.56 c GARBAGE COLLECT
26.41/26.56 c rational objective 350.5
27.01/27.15 c #Conflicts: 672000 | #Constraints: 17755
27.01/27.15 c #Conflicts: 673000 | #Constraints: 18755
27.01/27.15 c #Conflicts: 674000 | #Constraints: 19755
27.01/27.15 c #Conflicts: 675000 | #Constraints: 20755
27.01/27.15 c #Conflicts: 676000 | #Constraints: 21755
27.01/27.15 c #Conflicts: 677000 | #Constraints: 22755
27.01/27.15 c #Conflicts: 678000 | #Constraints: 23755
27.01/27.15 c #Conflicts: 679000 | #Constraints: 24755
27.01/27.15 c #Conflicts: 680000 | #Constraints: 25755
27.01/27.15 c #Conflicts: 681000 | #Constraints: 26755
27.01/27.15 c #Conflicts: 682000 | #Constraints: 27755
27.01/27.15 c #Conflicts: 683000 | #Constraints: 28755
27.01/27.15 c #Conflicts: 684000 | #Constraints: 29755
27.01/27.15 c #Conflicts: 685000 | #Constraints: 30755
27.01/27.15 c #Conflicts: 686000 | #Constraints: 31755
27.01/27.15 c #Conflicts: 687000 | #Constraints: 32755
27.01/27.15 c #Conflicts: 688000 | #Constraints: 33755
27.01/27.15 c INPROCESSING
27.01/27.15 c GARBAGE COLLECT
27.01/27.15 c rational objective 350.5
27.71/27.82 c #Conflicts: 689000 | #Constraints: 18352
27.71/27.82 c #Conflicts: 690000 | #Constraints: 19352
27.71/27.82 c #Conflicts: 691000 | #Constraints: 20352
27.71/27.82 c #Conflicts: 692000 | #Constraints: 21352
27.71/27.82 c #Conflicts: 693000 | #Constraints: 22352
27.71/27.82 c #Conflicts: 694000 | #Constraints: 23352
27.71/27.82 c #Conflicts: 695000 | #Constraints: 24352
27.71/27.82 c #Conflicts: 696000 | #Constraints: 25352
27.71/27.82 c #Conflicts: 697000 | #Constraints: 26352
27.71/27.82 c #Conflicts: 698000 | #Constraints: 27352
27.71/27.82 c #Conflicts: 699000 | #Constraints: 28352
27.71/27.82 c #Conflicts: 700000 | #Constraints: 29352
27.71/27.82 c #Conflicts: 701000 | #Constraints: 30352
27.71/27.82 c #Conflicts: 702000 | #Constraints: 31352
27.71/27.82 c #Conflicts: 703000 | #Constraints: 32352
27.71/27.82 c #Conflicts: 704000 | #Constraints: 33352
27.71/27.82 c #Conflicts: 705000 | #Constraints: 34352
27.71/27.82 c INPROCESSING
27.71/27.82 c GARBAGE COLLECT
27.71/27.82 c rational objective 350.5
28.41/28.50 c #Conflicts: 706000 | #Constraints: 18754
28.41/28.50 c #Conflicts: 707000 | #Constraints: 19754
28.41/28.50 c #Conflicts: 708000 | #Constraints: 20754
28.41/28.50 c #Conflicts: 709000 | #Constraints: 21754
28.41/28.50 c #Conflicts: 710000 | #Constraints: 22754
28.41/28.50 c #Conflicts: 711000 | #Constraints: 23754
28.41/28.50 c #Conflicts: 712000 | #Constraints: 24754
28.41/28.50 c #Conflicts: 713000 | #Constraints: 25754
28.41/28.50 c #Conflicts: 714000 | #Constraints: 26754
28.41/28.50 c #Conflicts: 715000 | #Constraints: 27754
28.41/28.50 c #Conflicts: 716000 | #Constraints: 28754
28.41/28.50 c #Conflicts: 717000 | #Constraints: 29754
28.41/28.50 c #Conflicts: 718000 | #Constraints: 30754
28.41/28.50 c #Conflicts: 719000 | #Constraints: 31754
28.41/28.50 c #Conflicts: 720000 | #Constraints: 32754
28.41/28.50 c #Conflicts: 721000 | #Constraints: 33754
28.41/28.50 c #Conflicts: 722000 | #Constraints: 34754
28.41/28.50 c INPROCESSING
28.41/28.50 c GARBAGE COLLECT
28.41/28.50 c rational objective 350.5
29.10/29.23 c #Conflicts: 723000 | #Constraints: 18954
29.10/29.23 c #Conflicts: 724000 | #Constraints: 19954
29.10/29.23 c #Conflicts: 725000 | #Constraints: 20954
29.10/29.23 c #Conflicts: 726000 | #Constraints: 21954
29.10/29.23 c #Conflicts: 727000 | #Constraints: 22954
29.10/29.23 c #Conflicts: 728000 | #Constraints: 23954
29.10/29.23 c #Conflicts: 729000 | #Constraints: 24954
29.10/29.23 c #Conflicts: 730000 | #Constraints: 25954
29.10/29.23 c #Conflicts: 731000 | #Constraints: 26954
29.10/29.23 c #Conflicts: 732000 | #Constraints: 27954
29.10/29.23 c #Conflicts: 733000 | #Constraints: 28954
29.10/29.23 c #Conflicts: 734000 | #Constraints: 29954
29.10/29.23 c #Conflicts: 735000 | #Constraints: 30954
29.10/29.23 c #Conflicts: 736000 | #Constraints: 31954
29.10/29.23 c #Conflicts: 737000 | #Constraints: 32954
29.10/29.23 c #Conflicts: 738000 | #Constraints: 33954
29.10/29.23 c #Conflicts: 739000 | #Constraints: 34954
29.10/29.23 c INPROCESSING
29.10/29.23 c GARBAGE COLLECT
29.10/29.23 c rational objective 350.5
29.70/29.87 c #Conflicts: 740000 | #Constraints: 18947
29.70/29.87 c #Conflicts: 741000 | #Constraints: 19947
29.70/29.87 c #Conflicts: 742000 | #Constraints: 20947
29.70/29.87 c #Conflicts: 743000 | #Constraints: 21947
29.70/29.87 c #Conflicts: 744000 | #Constraints: 22947
29.70/29.87 c #Conflicts: 745000 | #Constraints: 23947
29.70/29.87 c #Conflicts: 746000 | #Constraints: 24947
29.70/29.87 c #Conflicts: 747000 | #Constraints: 25947
29.70/29.87 c #Conflicts: 748000 | #Constraints: 26947
29.70/29.87 c #Conflicts: 749000 | #Constraints: 27947
29.70/29.87 c #Conflicts: 750000 | #Constraints: 28947
29.70/29.87 c #Conflicts: 751000 | #Constraints: 29947
29.70/29.87 c #Conflicts: 752000 | #Constraints: 30947
29.70/29.87 c #Conflicts: 753000 | #Constraints: 31947
29.70/29.87 c #Conflicts: 754000 | #Constraints: 32947
29.70/29.87 c #Conflicts: 755000 | #Constraints: 33947
29.70/29.87 c #Conflicts: 756000 | #Constraints: 34947
29.70/29.87 c INPROCESSING
29.70/29.87 c GARBAGE COLLECT
29.70/29.87 c rational objective 350.5
30.40/30.57 c #Conflicts: 757000 | #Constraints: 18752
30.40/30.57 c #Conflicts: 758000 | #Constraints: 19752
30.40/30.57 c #Conflicts: 759000 | #Constraints: 20752
30.40/30.57 c #Conflicts: 760000 | #Constraints: 21752
30.40/30.57 c #Conflicts: 761000 | #Constraints: 22752
30.40/30.57 c #Conflicts: 762000 | #Constraints: 23752
30.40/30.57 c #Conflicts: 763000 | #Constraints: 24752
30.40/30.57 c #Conflicts: 764000 | #Constraints: 25752
30.40/30.57 c #Conflicts: 765000 | #Constraints: 26752
30.40/30.57 c #Conflicts: 766000 | #Constraints: 27752
30.40/30.57 c #Conflicts: 767000 | #Constraints: 28752
30.40/30.57 c #Conflicts: 768000 | #Constraints: 29752
30.40/30.57 c #Conflicts: 769000 | #Constraints: 30752
30.40/30.57 c #Conflicts: 770000 | #Constraints: 31752
30.40/30.57 c #Conflicts: 771000 | #Constraints: 32752
30.40/30.57 c #Conflicts: 772000 | #Constraints: 33752
30.40/30.57 c #Conflicts: 773000 | #Constraints: 34752
30.40/30.57 c #Conflicts: 774000 | #Constraints: 35752
30.40/30.57 c INPROCESSING
30.40/30.57 c GARBAGE COLLECT
30.40/30.57 c rational objective 350.5
31.10/31.26 c #Conflicts: 775000 | #Constraints: 19349
31.10/31.26 c #Conflicts: 776000 | #Constraints: 20349
31.10/31.26 c #Conflicts: 777000 | #Constraints: 21349
31.10/31.26 c #Conflicts: 778000 | #Constraints: 22349
31.10/31.26 c #Conflicts: 779000 | #Constraints: 23349
31.10/31.26 c #Conflicts: 780000 | #Constraints: 24349
31.10/31.26 c #Conflicts: 781000 | #Constraints: 25349
31.10/31.26 c #Conflicts: 782000 | #Constraints: 26349
31.10/31.26 c #Conflicts: 783000 | #Constraints: 27349
31.10/31.26 c #Conflicts: 784000 | #Constraints: 28349
31.10/31.26 c #Conflicts: 785000 | #Constraints: 29349
31.10/31.26 c #Conflicts: 786000 | #Constraints: 30349
31.10/31.26 c #Conflicts: 787000 | #Constraints: 31349
31.10/31.26 c #Conflicts: 788000 | #Constraints: 32349
31.10/31.26 c #Conflicts: 789000 | #Constraints: 33349
31.10/31.26 c #Conflicts: 790000 | #Constraints: 34349
31.10/31.26 c #Conflicts: 791000 | #Constraints: 35349
31.10/31.26 c #Conflicts: 792000 | #Constraints: 36349
31.10/31.26 c INPROCESSING
31.10/31.26 c GARBAGE COLLECT
31.10/31.26 c rational objective 350.5
31.79/32.00 c #Conflicts: 793000 | #Constraints: 19752
31.79/32.00 c #Conflicts: 794000 | #Constraints: 20752
31.79/32.00 c #Conflicts: 795000 | #Constraints: 21752
31.79/32.00 c #Conflicts: 796000 | #Constraints: 22752
31.79/32.00 c #Conflicts: 797000 | #Constraints: 23752
31.79/32.00 c #Conflicts: 798000 | #Constraints: 24752
31.79/32.00 c #Conflicts: 799000 | #Constraints: 25752
31.79/32.00 c #Conflicts: 800000 | #Constraints: 26752
31.79/32.00 c #Conflicts: 801000 | #Constraints: 27752
31.79/32.00 c #Conflicts: 802000 | #Constraints: 28752
31.79/32.00 c #Conflicts: 803000 | #Constraints: 29752
31.79/32.00 c #Conflicts: 804000 | #Constraints: 30752
31.79/32.00 c #Conflicts: 805000 | #Constraints: 31752
31.79/32.00 c #Conflicts: 806000 | #Constraints: 32752
31.79/32.00 c #Conflicts: 807000 | #Constraints: 33752
31.79/32.00 c #Conflicts: 808000 | #Constraints: 34752
31.79/32.00 c #Conflicts: 809000 | #Constraints: 35752
31.79/32.00 c #Conflicts: 810000 | #Constraints: 36752
31.79/32.00 c INPROCESSING
31.79/32.00 c GARBAGE COLLECT
31.79/32.00 c rational objective 350.5
32.59/32.71 c #Conflicts: 811000 | #Constraints: 19953
32.59/32.71 c #Conflicts: 812000 | #Constraints: 20953
32.59/32.71 c #Conflicts: 813000 | #Constraints: 21953
32.59/32.71 c #Conflicts: 814000 | #Constraints: 22953
32.59/32.71 c #Conflicts: 815000 | #Constraints: 23953
32.59/32.71 c #Conflicts: 816000 | #Constraints: 24953
32.59/32.71 c #Conflicts: 817000 | #Constraints: 25953
32.59/32.71 c #Conflicts: 818000 | #Constraints: 26953
32.59/32.71 c #Conflicts: 819000 | #Constraints: 27953
32.59/32.71 c #Conflicts: 820000 | #Constraints: 28953
32.59/32.71 c #Conflicts: 821000 | #Constraints: 29953
32.59/32.71 c #Conflicts: 822000 | #Constraints: 30953
32.59/32.71 c #Conflicts: 823000 | #Constraints: 31953
32.59/32.71 c #Conflicts: 824000 | #Constraints: 32953
32.59/32.71 c #Conflicts: 825000 | #Constraints: 33953
32.59/32.71 c #Conflicts: 826000 | #Constraints: 34953
32.59/32.71 c #Conflicts: 827000 | #Constraints: 35953
32.59/32.71 c #Conflicts: 828000 | #Constraints: 36953
32.59/32.71 c INPROCESSING
32.59/32.71 c GARBAGE COLLECT
32.59/32.71 c rational objective 350.5
33.29/33.47 c #Conflicts: 829000 | #Constraints: 19955
33.29/33.47 c #Conflicts: 830000 | #Constraints: 20955
33.29/33.47 c #Conflicts: 831000 | #Constraints: 21955
33.29/33.47 c #Conflicts: 832000 | #Constraints: 22955
33.29/33.47 c #Conflicts: 833000 | #Constraints: 23955
33.29/33.47 c #Conflicts: 834000 | #Constraints: 24955
33.29/33.47 c #Conflicts: 835000 | #Constraints: 25955
33.29/33.47 c #Conflicts: 836000 | #Constraints: 26955
33.29/33.47 c #Conflicts: 837000 | #Constraints: 27955
33.29/33.47 c #Conflicts: 838000 | #Constraints: 28955
33.29/33.47 c #Conflicts: 839000 | #Constraints: 29955
33.29/33.47 c #Conflicts: 840000 | #Constraints: 30955
33.29/33.47 c #Conflicts: 841000 | #Constraints: 31955
33.29/33.47 c #Conflicts: 842000 | #Constraints: 32955
33.29/33.47 c #Conflicts: 843000 | #Constraints: 33955
33.29/33.47 c #Conflicts: 844000 | #Constraints: 34955
33.29/33.47 c #Conflicts: 845000 | #Constraints: 35955
33.29/33.47 c #Conflicts: 846000 | #Constraints: 36955
33.29/33.47 c INPROCESSING
33.29/33.47 c GARBAGE COLLECT
33.29/33.47 c rational objective 350.5
33.99/34.18 c #Conflicts: 847000 | #Constraints: 19755
33.99/34.18 c #Conflicts: 848000 | #Constraints: 20755
33.99/34.18 c #Conflicts: 849000 | #Constraints: 21755
33.99/34.18 c #Conflicts: 850000 | #Constraints: 22755
33.99/34.18 c #Conflicts: 851000 | #Constraints: 23755
33.99/34.18 c #Conflicts: 852000 | #Constraints: 24755
33.99/34.18 c #Conflicts: 853000 | #Constraints: 25755
33.99/34.18 c #Conflicts: 854000 | #Constraints: 26755
33.99/34.18 c #Conflicts: 855000 | #Constraints: 27755
33.99/34.18 c #Conflicts: 856000 | #Constraints: 28755
33.99/34.18 c #Conflicts: 857000 | #Constraints: 29755
33.99/34.18 c #Conflicts: 858000 | #Constraints: 30755
33.99/34.18 c #Conflicts: 859000 | #Constraints: 31755
33.99/34.18 c #Conflicts: 860000 | #Constraints: 32755
33.99/34.18 c #Conflicts: 861000 | #Constraints: 33755
33.99/34.18 c #Conflicts: 862000 | #Constraints: 34755
33.99/34.18 c #Conflicts: 863000 | #Constraints: 35755
33.99/34.18 c #Conflicts: 864000 | #Constraints: 36755
33.99/34.18 c #Conflicts: 865000 | #Constraints: 37755
33.99/34.18 c INPROCESSING
33.99/34.18 c GARBAGE COLLECT
33.99/34.18 c rational objective 350.5
34.79/34.96 c #Conflicts: 866000 | #Constraints: 20358
34.79/34.96 c #Conflicts: 867000 | #Constraints: 21358
34.79/34.96 c #Conflicts: 868000 | #Constraints: 22358
34.79/34.96 c #Conflicts: 869000 | #Constraints: 23358
34.79/34.96 c #Conflicts: 870000 | #Constraints: 24358
34.79/34.96 c #Conflicts: 871000 | #Constraints: 25358
34.79/34.96 c #Conflicts: 872000 | #Constraints: 26358
34.79/34.96 c #Conflicts: 873000 | #Constraints: 27358
34.79/34.96 c #Conflicts: 874000 | #Constraints: 28358
34.79/34.96 c #Conflicts: 875000 | #Constraints: 29358
34.79/34.96 c #Conflicts: 876000 | #Constraints: 30358
34.79/34.96 c #Conflicts: 877000 | #Constraints: 31358
34.79/34.96 c #Conflicts: 878000 | #Constraints: 32358
34.79/34.96 c #Conflicts: 879000 | #Constraints: 33358
34.79/34.96 c #Conflicts: 880000 | #Constraints: 34358
34.79/34.96 c #Conflicts: 881000 | #Constraints: 35358
34.79/34.96 c #Conflicts: 882000 | #Constraints: 36358
34.79/34.96 c #Conflicts: 883000 | #Constraints: 37358
34.79/34.96 c #Conflicts: 884000 | #Constraints: 38358
34.79/34.96 c INPROCESSING
34.79/34.96 c GARBAGE COLLECT
34.79/34.96 c rational objective 350.5
35.59/35.79 c #Conflicts: 885000 | #Constraints: 20756
35.59/35.79 c #Conflicts: 886000 | #Constraints: 21756
35.59/35.79 c #Conflicts: 887000 | #Constraints: 22756
35.59/35.79 c #Conflicts: 888000 | #Constraints: 23756
35.59/35.79 c #Conflicts: 889000 | #Constraints: 24756
35.59/35.79 c #Conflicts: 890000 | #Constraints: 25756
35.59/35.79 c #Conflicts: 891000 | #Constraints: 26756
35.59/35.79 c #Conflicts: 892000 | #Constraints: 27756
35.59/35.79 c #Conflicts: 893000 | #Constraints: 28756
35.59/35.79 c #Conflicts: 894000 | #Constraints: 29756
35.59/35.79 c #Conflicts: 895000 | #Constraints: 30756
35.59/35.79 c #Conflicts: 896000 | #Constraints: 31756
35.59/35.79 c #Conflicts: 897000 | #Constraints: 32756
35.59/35.79 c #Conflicts: 898000 | #Constraints: 33756
35.59/35.79 c #Conflicts: 899000 | #Constraints: 34756
35.59/35.79 c #Conflicts: 900000 | #Constraints: 35756
35.59/35.79 c #Conflicts: 901000 | #Constraints: 36756
35.59/35.79 c #Conflicts: 902000 | #Constraints: 37756
35.59/35.79 c #Conflicts: 903000 | #Constraints: 38756
35.59/35.79 c INPROCESSING
35.59/35.79 c GARBAGE COLLECT
35.59/35.79 c rational objective 350.5
36.48/36.60 c #Conflicts: 904000 | #Constraints: 20956
36.48/36.60 c #Conflicts: 905000 | #Constraints: 21956
36.48/36.60 c #Conflicts: 906000 | #Constraints: 22956
36.48/36.60 c #Conflicts: 907000 | #Constraints: 23956
36.48/36.60 c #Conflicts: 908000 | #Constraints: 24956
36.48/36.60 c #Conflicts: 909000 | #Constraints: 25956
36.48/36.60 c #Conflicts: 910000 | #Constraints: 26956
36.48/36.60 c #Conflicts: 911000 | #Constraints: 27956
36.48/36.60 c #Conflicts: 912000 | #Constraints: 28956
36.48/36.60 c #Conflicts: 913000 | #Constraints: 29956
36.48/36.60 c #Conflicts: 914000 | #Constraints: 30956
36.48/36.60 c #Conflicts: 915000 | #Constraints: 31956
36.48/36.60 c #Conflicts: 916000 | #Constraints: 32956
36.48/36.60 c #Conflicts: 917000 | #Constraints: 33956
36.48/36.60 c #Conflicts: 918000 | #Constraints: 34956
36.48/36.60 c #Conflicts: 919000 | #Constraints: 35956
36.48/36.60 c #Conflicts: 920000 | #Constraints: 36956
36.48/36.60 c #Conflicts: 921000 | #Constraints: 37956
36.48/36.60 c #Conflicts: 922000 | #Constraints: 38956
36.48/36.60 c INPROCESSING
36.48/36.60 c GARBAGE COLLECT
36.48/36.60 c rational objective 350.5
37.29/37.44 c #Conflicts: 923000 | #Constraints: 20957
37.29/37.44 c #Conflicts: 924000 | #Constraints: 21957
37.29/37.44 c #Conflicts: 925000 | #Constraints: 22957
37.29/37.44 c #Conflicts: 926000 | #Constraints: 23957
37.29/37.44 c #Conflicts: 927000 | #Constraints: 24957
37.29/37.44 c #Conflicts: 928000 | #Constraints: 25957
37.29/37.44 c #Conflicts: 929000 | #Constraints: 26957
37.29/37.44 c #Conflicts: 930000 | #Constraints: 27957
37.29/37.44 c #Conflicts: 931000 | #Constraints: 28957
37.29/37.44 c #Conflicts: 932000 | #Constraints: 29957
37.29/37.44 c #Conflicts: 933000 | #Constraints: 30957
37.29/37.44 c #Conflicts: 934000 | #Constraints: 31957
37.29/37.44 c #Conflicts: 935000 | #Constraints: 32957
37.29/37.44 c #Conflicts: 936000 | #Constraints: 33957
37.29/37.44 c #Conflicts: 937000 | #Constraints: 34957
37.29/37.44 c #Conflicts: 938000 | #Constraints: 35957
37.29/37.44 c #Conflicts: 939000 | #Constraints: 36957
37.29/37.44 c #Conflicts: 940000 | #Constraints: 37957
37.29/37.44 c #Conflicts: 941000 | #Constraints: 38957
37.29/37.44 c INPROCESSING
37.29/37.44 c GARBAGE COLLECT
37.29/37.44 c rational objective 350.5
38.18/38.36 c #Conflicts: 942000 | #Constraints: 20759
38.18/38.36 c #Conflicts: 943000 | #Constraints: 21759
38.18/38.36 c #Conflicts: 944000 | #Constraints: 22759
38.18/38.36 c #Conflicts: 945000 | #Constraints: 23759
38.18/38.36 c #Conflicts: 946000 | #Constraints: 24759
38.18/38.36 c #Conflicts: 947000 | #Constraints: 25759
38.18/38.36 c #Conflicts: 948000 | #Constraints: 26759
38.18/38.36 c #Conflicts: 949000 | #Constraints: 27759
38.18/38.36 c #Conflicts: 950000 | #Constraints: 28759
38.18/38.36 c #Conflicts: 951000 | #Constraints: 29759
38.18/38.36 c #Conflicts: 952000 | #Constraints: 30759
38.18/38.36 c #Conflicts: 953000 | #Constraints: 31759
38.18/38.36 c #Conflicts: 954000 | #Constraints: 32759
38.18/38.36 c #Conflicts: 955000 | #Constraints: 33759
38.18/38.36 c #Conflicts: 956000 | #Constraints: 34759
38.18/38.36 c #Conflicts: 957000 | #Constraints: 35759
38.18/38.36 c #Conflicts: 958000 | #Constraints: 36759
38.18/38.36 c #Conflicts: 959000 | #Constraints: 37759
38.18/38.36 c #Conflicts: 960000 | #Constraints: 38759
38.18/38.36 c #Conflicts: 961000 | #Constraints: 39759
38.18/38.36 c INPROCESSING
38.18/38.36 c GARBAGE COLLECT
38.18/38.36 c rational objective 350.5
39.08/39.23 c #Conflicts: 962000 | #Constraints: 21366
39.08/39.23 c #Conflicts: 963000 | #Constraints: 22366
39.08/39.23 c #Conflicts: 964000 | #Constraints: 23366
39.08/39.23 c #Conflicts: 965000 | #Constraints: 24366
39.08/39.23 c #Conflicts: 966000 | #Constraints: 25366
39.08/39.23 c #Conflicts: 967000 | #Constraints: 26366
39.08/39.23 c #Conflicts: 968000 | #Constraints: 27366
39.08/39.23 c #Conflicts: 969000 | #Constraints: 28366
39.08/39.23 c #Conflicts: 970000 | #Constraints: 29366
39.08/39.23 c #Conflicts: 971000 | #Constraints: 30366
39.08/39.23 c #Conflicts: 972000 | #Constraints: 31366
39.08/39.23 c #Conflicts: 973000 | #Constraints: 32366
39.08/39.23 c #Conflicts: 974000 | #Constraints: 33366
39.08/39.23 c #Conflicts: 975000 | #Constraints: 34366
39.08/39.23 c #Conflicts: 976000 | #Constraints: 35366
39.08/39.23 c #Conflicts: 977000 | #Constraints: 36366
39.08/39.23 c #Conflicts: 978000 | #Constraints: 37366
39.08/39.23 c #Conflicts: 979000 | #Constraints: 38366
39.08/39.23 c #Conflicts: 980000 | #Constraints: 39366
39.08/39.23 c #Conflicts: 981000 | #Constraints: 40366
39.08/39.23 c INPROCESSING
39.08/39.23 c GARBAGE COLLECT
39.08/39.23 c rational objective 350.5
39.98/40.15 c #Conflicts: 982000 | #Constraints: 21764
39.98/40.15 c #Conflicts: 983000 | #Constraints: 22764
39.98/40.15 c #Conflicts: 984000 | #Constraints: 23764
39.98/40.15 c #Conflicts: 985000 | #Constraints: 24764
39.98/40.15 c #Conflicts: 986000 | #Constraints: 25764
39.98/40.15 c #Conflicts: 987000 | #Constraints: 26764
39.98/40.15 c #Conflicts: 988000 | #Constraints: 27764
39.98/40.15 c #Conflicts: 989000 | #Constraints: 28764
39.98/40.15 c #Conflicts: 990000 | #Constraints: 29764
39.98/40.15 c #Conflicts: 991000 | #Constraints: 30764
39.98/40.15 c #Conflicts: 992000 | #Constraints: 31764
39.98/40.15 c #Conflicts: 993000 | #Constraints: 32764
39.98/40.15 c #Conflicts: 994000 | #Constraints: 33764
39.98/40.15 c #Conflicts: 995000 | #Constraints: 34764
39.98/40.15 c #Conflicts: 996000 | #Constraints: 35764
39.98/40.15 c #Conflicts: 997000 | #Constraints: 36764
39.98/40.15 c #Conflicts: 998000 | #Constraints: 37764
39.98/40.15 c #Conflicts: 999000 | #Constraints: 38764
39.98/40.15 c #Conflicts: 1000000 | #Constraints: 39764
39.98/40.15 c #Conflicts: 1001000 | #Constraints: 40764
39.98/40.15 c INPROCESSING
39.98/40.15 c GARBAGE COLLECT
39.98/40.15 c rational objective 350.5
40.98/41.13 c #Conflicts: 1002000 | #Constraints: 21964
40.98/41.13 c #Conflicts: 1003000 | #Constraints: 22964
40.98/41.13 c #Conflicts: 1004000 | #Constraints: 23964
40.98/41.13 c #Conflicts: 1005000 | #Constraints: 24964
40.98/41.13 c #Conflicts: 1006000 | #Constraints: 25964
40.98/41.13 c #Conflicts: 1007000 | #Constraints: 26964
40.98/41.13 c #Conflicts: 1008000 | #Constraints: 27964
40.98/41.13 c #Conflicts: 1009000 | #Constraints: 28964
40.98/41.13 c #Conflicts: 1010000 | #Constraints: 29964
40.98/41.13 c #Conflicts: 1011000 | #Constraints: 30964
40.98/41.13 c #Conflicts: 1012000 | #Constraints: 31964
40.98/41.13 c #Conflicts: 1013000 | #Constraints: 32964
40.98/41.13 c #Conflicts: 1014000 | #Constraints: 33964
40.98/41.13 c #Conflicts: 1015000 | #Constraints: 34964
40.98/41.13 c #Conflicts: 1016000 | #Constraints: 35964
40.98/41.13 c #Conflicts: 1017000 | #Constraints: 36964
40.98/41.13 c #Conflicts: 1018000 | #Constraints: 37964
40.98/41.13 c #Conflicts: 1019000 | #Constraints: 38964
40.98/41.13 c #Conflicts: 1020000 | #Constraints: 39964
40.98/41.13 c #Conflicts: 1021000 | #Constraints: 40964
40.98/41.13 c INPROCESSING
40.98/41.13 c GARBAGE COLLECT
40.98/41.13 c rational objective 350.5
41.88/42.06 c #Conflicts: 1022000 | #Constraints: 21963
41.88/42.06 c #Conflicts: 1023000 | #Constraints: 22963
41.88/42.06 c #Conflicts: 1024000 | #Constraints: 23963
41.88/42.06 c #Conflicts: 1025000 | #Constraints: 24963
41.88/42.06 c #Conflicts: 1026000 | #Constraints: 25963
41.88/42.06 c #Conflicts: 1027000 | #Constraints: 26963
41.88/42.06 c #Conflicts: 1028000 | #Constraints: 27963
41.88/42.06 c #Conflicts: 1029000 | #Constraints: 28963
41.88/42.06 c #Conflicts: 1030000 | #Constraints: 29963
41.88/42.06 c #Conflicts: 1031000 | #Constraints: 30963
41.88/42.06 c #Conflicts: 1032000 | #Constraints: 31963
41.88/42.06 c #Conflicts: 1033000 | #Constraints: 32963
41.88/42.06 c #Conflicts: 1034000 | #Constraints: 33963
41.88/42.06 c #Conflicts: 1035000 | #Constraints: 34963
41.88/42.06 c #Conflicts: 1036000 | #Constraints: 35963
41.88/42.06 c #Conflicts: 1037000 | #Constraints: 36963
41.88/42.06 c #Conflicts: 1038000 | #Constraints: 37963
41.88/42.06 c #Conflicts: 1039000 | #Constraints: 38963
41.88/42.06 c #Conflicts: 1040000 | #Constraints: 39963
41.88/42.06 c #Conflicts: 1041000 | #Constraints: 40963
41.88/42.06 c INPROCESSING
41.88/42.06 c GARBAGE COLLECT
41.88/42.06 c rational objective 350.5
42.77/42.96 c #Conflicts: 1042000 | #Constraints: 21761
42.77/42.96 c #Conflicts: 1043000 | #Constraints: 22761
42.77/42.96 c #Conflicts: 1044000 | #Constraints: 23761
42.77/42.96 c #Conflicts: 1045000 | #Constraints: 24761
42.77/42.96 c #Conflicts: 1046000 | #Constraints: 25761
42.77/42.96 c #Conflicts: 1047000 | #Constraints: 26761
42.77/42.96 c #Conflicts: 1048000 | #Constraints: 27761
42.77/42.96 c #Conflicts: 1049000 | #Constraints: 28761
42.77/42.96 c #Conflicts: 1050000 | #Constraints: 29761
42.77/42.96 c #Conflicts: 1051000 | #Constraints: 30761
42.77/42.96 c #Conflicts: 1052000 | #Constraints: 31761
42.77/42.96 c #Conflicts: 1053000 | #Constraints: 32761
42.77/42.96 c #Conflicts: 1054000 | #Constraints: 33761
42.77/42.96 c #Conflicts: 1055000 | #Constraints: 34761
42.77/42.96 c #Conflicts: 1056000 | #Constraints: 35761
42.77/42.96 c #Conflicts: 1057000 | #Constraints: 36761
42.77/42.96 c #Conflicts: 1058000 | #Constraints: 37761
42.77/42.96 c #Conflicts: 1059000 | #Constraints: 38761
42.77/42.96 c #Conflicts: 1060000 | #Constraints: 39761
42.77/42.96 c #Conflicts: 1061000 | #Constraints: 40761
42.77/42.96 c #Conflicts: 1062000 | #Constraints: 41761
42.77/42.96 c INPROCESSING
42.77/42.96 c GARBAGE COLLECT
42.77/42.96 c rational objective 350.5
43.56/43.74 c #Conflicts: 1063000 | #Constraints: 22367
43.56/43.74 c #Conflicts: 1064000 | #Constraints: 23367
43.56/43.74 c #Conflicts: 1065000 | #Constraints: 24367
43.56/43.74 c #Conflicts: 1066000 | #Constraints: 25367
43.56/43.74 c #Conflicts: 1067000 | #Constraints: 26367
43.56/43.74 c #Conflicts: 1068000 | #Constraints: 27367
43.56/43.74 c #Conflicts: 1069000 | #Constraints: 28367
43.56/43.74 c #Conflicts: 1070000 | #Constraints: 29367
43.56/43.74 c #Conflicts: 1071000 | #Constraints: 30367
43.56/43.74 c #Conflicts: 1072000 | #Constraints: 31367
43.56/43.74 c #Conflicts: 1073000 | #Constraints: 32367
43.56/43.74 c #Conflicts: 1074000 | #Constraints: 33367
43.56/43.74 c #Conflicts: 1075000 | #Constraints: 34367
43.56/43.74 c #Conflicts: 1076000 | #Constraints: 35367
43.56/43.74 c #Conflicts: 1077000 | #Constraints: 36367
43.56/43.74 c #Conflicts: 1078000 | #Constraints: 37367
43.56/43.74 c #Conflicts: 1079000 | #Constraints: 38367
43.56/43.74 c cpu time 40.0707 s
43.56/43.74 c deterministic time 1571115856 1.57e+09
43.56/43.74 c optimization time 7.7e-05 s
43.56/43.74 c total solve time 40.0684 s
43.56/43.74 c core-guided solve time 0 s
43.56/43.74 c propagation time 28.2784 s
43.56/43.74 c conflict analysis time 5.83593 s
43.56/43.74 c propagations 6330234
43.56/43.74 c resolve steps 3197427
43.56/43.74 c decisions 2293006
43.56/43.74 c conflicts 1079355
43.56/43.74 c restarts 2046
43.56/43.74 c inprocessing phases 94
43.56/43.74 c garbage collections 94 ,( 100.00 )
43.56/43.74 c input clauses 2 ,( 0.20 )
43.56/43.74 c input cardinalities 978 ,( 99.80 )
43.56/43.74 c input general constraints 0 ,( 0.00 )
43.56/43.74 c input average constraint length 4.00
43.56/43.74 c input average constraint degree 2.00
43.56/43.74 c learned clauses 1035545 ,( 95.89 )
43.56/43.74 c learned cardinalities 3563 ,( 0.33 )
43.56/43.74 c learned general constraints 40799 ,( 3.78 )
43.56/43.74 c learned average constraint length 16.01
43.56/43.74 c learned average constraint degree 1487063.64
43.56/43.74 c watched CF 32, 64, 128, Arb: 18354 , 0 , 0 , 0
43.56/43.74 c counting CF 32, 64, 128, Arb: 22445 , 0 , 0 , 0
43.56/43.74 c watched constraints 18354 ,( 44.99 )
43.56/43.74 c counting constraints 22445 ,( 55.01 )
43.56/43.74 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 309828894 , 10413576 , 14129389 ,( 10438954 , 3690435 )
43.56/43.74 c gcd simplifications 5684
43.56/43.74 c detected cardinalities 822
43.56/43.74 c weakened non-implied lits 233849
43.56/43.74 c weakened non-implying lits 1867
43.56/43.74 c original variables 701
43.56/43.74 c clausal propagations 2260430
43.56/43.74 c cardinality propagations 1744223
43.56/43.74 c watched propagations 87567
43.56/43.74 c counting propagations 1124156
43.56/43.74 c watch lookups 811282497
43.56/43.74 c watch backjump lookups 0
43.56/43.74 c watch checks 638903215
43.56/43.74 c propagation checks 47091747
43.56/43.74 c constraint additions 55404019
43.56/43.74 c trail pops 9702562
43.56/43.74 c formula constraints 980
43.56/43.74 c learned constraints 1079339
43.56/43.74 c bound constraints 0
43.56/43.74 c core-guided constraints 0
43.56/43.74 c encountered formula constraints 62442
43.56/43.74 c encountered learned constraints 4213744
43.56/43.74 c encountered bound constraints 0
43.56/43.74 c encountered core-guided constraints 0
43.56/43.74 c LP total time 6.81723 s
43.56/43.74 c LP solve time 4.58 s
43.56/43.74 c LP constraints added 1594
43.56/43.74 c LP constraints removed 605
43.56/43.74 c LP pivots internal 107946
43.56/43.74 c LP pivots root 629
43.56/43.74 c LP calls 10474
43.56/43.74 c LP optimalities 10459
43.56/43.74 c LP no pivot count 807
43.56/43.74 c LP infeasibilities 15
43.56/43.74 c LP valid Farkas constraints 15
43.56/43.74 c LP learned Farkas constraints 15
43.56/43.74 c LP basis resets 0
43.56/43.74 c LP cycling count 0
43.56/43.74 c LP singular count 0
43.56/43.74 c LP no primal count 0
43.56/43.74 c LP no farkas count 0
43.56/43.74 c LP other issue count 0
43.56/43.74 c LP Gomory cuts 538
43.56/43.74 c LP learned cuts 76
43.56/43.74 c LP deleted cuts 605
43.56/43.74 c LP encountered Gomory constraints 0
43.56/43.74 c LP encountered Farkas constraints 572
43.56/43.74 c LP encountered learned Farkas constraints 9
43.56/43.74 c CG auxiliary variables introduced 0
43.56/43.74 c CG solutions found 0
43.56/43.74 c CG cores constructed 0
43.56/43.74 c CG core cardinality constraints returned 0
43.56/43.74 c CG unit cores 0
43.56/43.74 c CG single cores 0
43.56/43.74 c CG blocks removed during cardinality reduction 0
43.56/43.74 c CG first core best 0
43.56/43.74 c CG decision core best 0
43.56/43.74 c CG core reduction tie 0
43.56/43.74 c CG core degree average 0.00
43.56/43.74 c CG core slack average 0.00
43.56/43.74 c CG core upper bound improvements 0
43.56/43.74 c STR number of successful calls 0
43.56/43.74 c STR number of unsuccessful calls 0
43.56/43.74 c STR number of inconclusive calls 0
43.56/43.74 c STR number of successful attempts 0
43.56/43.74 c STR number of unsuccessful attempts 0
43.56/43.74 c STR number of inconclusive attempts 0
43.56/43.74 c STR average degree increase per successful call inf
43.56/43.74 c STR average degree increase per successful attempt inf
43.56/43.74 c STR total number of conflicts for successful attempts 0
43.56/43.74 c STR total number of conflicts for unsuccessful attempts 0
43.56/43.74 c STR total number of conflicts for inconclusive attempts 0
43.56/43.74 c STR average number of conflicts per successful attempt inf
43.56/43.74 c STR average number of conflicts per unsuccessful attempt inf
43.56/43.74 c STR average number of conflicts per inconclusive attempt inf
43.56/43.74 c AVG.sumWPerc 41.27
43.56/43.74 c bigint constraints 0
43.56/43.74 s UNSATISFIABLE
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (63035 MiB free)
memory of node 1: 64465 MiB (63740 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4510618-1751196315/watcher-4510618-1751196315 -o /tmp/evaluation-result-4510618-1751196315/solver-4510618-1751196315 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751195386-23839 --watchdog 3760 run-dec-ls.sh HOME/instance-4510618-1751196315.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
Starting watchdog thread
solver pid=24359, runsolver pid=24356
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 4.11 4.01 3.49 5/269 24361
/proc/meminfo: memFree=129815852/131249996 swapFree=33010684/33010684
[pid=24359] ppid=24356 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24359/stat : 24359 (run-dec-ls.sh) S 24356 24359 23826 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35310127 4292608 736 18446744073709551615 94582515740672 94582516635205 140726467737920 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94582516874256 94582516922000 94582539292672 140726467742055 140726467742181 140726467742181 140726467747783 0
/proc/24359/statm: 1048 736 672 219 0 110 0
[pid=24361] ppid=24359 vsize=58312 memory=13496 CPUtime=0.08 cores=5,7
/proc/24361/stat : 24361 (roundingsat) R 24359 24359 23826 0 -1 4194304 1299 0 0 0 7 1 0 0 20 0 1 0 35310127 59711488 3374 18446744073709551615 4227072 8923433 140726391521488 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 26443776 140726391527840 140726391527976 140726391527976 140726391533546 0
/proc/24361/statm: 14578 3374 2400 1147 0 2005 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 62504 KiB
Current children cumulated memory: 16440 KiB
[startup+0.204778 s]*
/proc/loadavg: 4.11 4.01 3.49 5/269 24361
/proc/meminfo: memFree=129813836/131249996 swapFree=33010684/33010684
[pid=24359] ppid=24356 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24359/stat : 24359 (run-dec-ls.sh) S 24356 24359 23826 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35310127 4292608 736 18446744073709551615 94582515740672 94582516635205 140726467737920 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94582516874256 94582516922000 94582539292672 140726467742055 140726467742181 140726467742181 140726467747783 0
/proc/24359/statm: 1048 736 672 219 0 110 0
[pid=24361] ppid=24359 vsize=58984 memory=14136 CPUtime=0.18 cores=5,7
/proc/24361/stat : 24361 (roundingsat) R 24359 24359 23826 0 -1 4194304 1487 0 0 0 16 2 0 0 20 0 1 0 35310127 60399616 3534 18446744073709551615 4227072 8923433 140726391521488 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26443776 140726391527840 140726391527976 140726391527976 140726391533546 0
/proc/24361/statm: 14746 3534 2400 1147 0 2173 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 63176 KiB
Current children cumulated memory: 17080 KiB
[startup+0.30475 s]*
/proc/loadavg: 4.11 4.01 3.49 5/269 24361
/proc/meminfo: memFree=129813836/131249996 swapFree=33010684/33010684
[pid=24359] ppid=24356 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24359/stat : 24359 (run-dec-ls.sh) S 24356 24359 23826 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35310127 4292608 736 18446744073709551615 94582515740672 94582516635205 140726467737920 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94582516874256 94582516922000 94582539292672 140726467742055 140726467742181 140726467742181 140726467747783 0
/proc/24359/statm: 1048 736 672 219 0 110 0
[pid=24361] ppid=24359 vsize=59260 memory=14520 CPUtime=0.28 cores=5,7
/proc/24361/stat : 24361 (roundingsat) R 24359 24359 23826 0 -1 4194304 1584 0 0 0 25 3 0 0 20 0 1 0 35310127 60682240 3630 18446744073709551615 4227072 8923433 140726391521488 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26443776 140726391527840 140726391527976 140726391527976 140726391533546 0
/proc/24361/statm: 14815 3630 2400 1147 0 2242 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 63452 KiB
Current children cumulated memory: 17464 KiB
[startup+0.700132 s]
/proc/loadavg: 4.11 4.01 3.49 5/269 24361
/proc/meminfo: memFree=129813836/131249996 swapFree=33010684/33010684
[pid=24359] ppid=24356 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24359/stat : 24359 (run-dec-ls.sh) S 24356 24359 23826 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35310127 4292608 736 18446744073709551615 94582515740672 94582516635205 140726467737920 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94582516874256 94582516922000 94582539292672 140726467742055 140726467742181 140726467742181 140726467747783 0
/proc/24359/statm: 1048 736 672 219 0 110 0
[pid=24361] ppid=24359 vsize=59820 memory=15288 CPUtime=0.67 cores=5,7
/proc/24361/stat : 24361 (roundingsat) R 24359 24359 23826 0 -1 4194304 1770 0 0 0 57 10 0 0 20 0 1 0 35310127 61255680 3822 18446744073709551615 4227072 8923433 140726391521488 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26443776 140726391527840 140726391527976 140726391527976 140726391533546 0
/proc/24361/statm: 14955 3822 2400 1147 0 2382 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 64012 KiB
Current children cumulated memory: 18232 KiB
[startup+1.50013 s]
/proc/loadavg: 4.11 4.01 3.49 5/269 24361
/proc/meminfo: memFree=129814792/131249996 swapFree=33010684/33010684
[pid=24359] ppid=24356 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24359/stat : 24359 (run-dec-ls.sh) S 24356 24359 23826 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35310127 4292608 736 18446744073709551615 94582515740672 94582516635205 140726467737920 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94582516874256 94582516922000 94582539292672 140726467742055 140726467742181 140726467742181 140726467747783 0
/proc/24359/statm: 1048 736 672 219 0 110 0
[pid=24361] ppid=24359 vsize=60840 memory=16440 CPUtime=1.47 cores=5,7
/proc/24361/stat : 24361 (roundingsat) R 24359 24359 23826 0 -1 4194304 2074 0 0 0 127 20 0 0 20 0 1 0 35310127 62300160 4110 18446744073709551615 4227072 8923433 140726391521488 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26443776 140726391527840 140726391527976 140726391527976 140726391533546 0
/proc/24361/statm: 15210 4110 2400 1147 0 2637 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 65032 KiB
Current children cumulated memory: 19384 KiB
[startup+3.10578 s]
/proc/loadavg: 4.11 4.01 3.49 5/269 24361
/proc/meminfo: memFree=129815000/131249996 swapFree=33010684/33010684
[pid=24359] ppid=24356 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24359/stat : 24359 (run-dec-ls.sh) S 24356 24359 23826 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35310127 4292608 736 18446744073709551615 94582515740672 94582516635205 140726467737920 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94582516874256 94582516922000 94582539292672 140726467742055 140726467742181 140726467742181 140726467747783 0
/proc/24359/statm: 1048 736 672 219 0 110 0
[pid=24361] ppid=24359 vsize=61716 memory=17592 CPUtime=3.07 cores=5,7
/proc/24361/stat : 24361 (roundingsat) R 24359 24359 23826 0 -1 4194304 2350 0 0 0 265 42 0 0 20 0 1 0 35310127 63197184 4398 18446744073709551615 4227072 8923433 140726391521488 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26443776 140726391527840 140726391527976 140726391527976 140726391533546 0
/proc/24361/statm: 15429 4398 2400 1147 0 2856 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 65908 KiB
Current children cumulated memory: 20536 KiB
[startup+6.30014 s]
/proc/loadavg: 4.10 4.01 3.50 5/269 24361
/proc/meminfo: memFree=129812496/131249996 swapFree=33010684/33010684
[pid=24359] ppid=24356 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24359/stat : 24359 (run-dec-ls.sh) S 24356 24359 23826 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35310127 4292608 736 18446744073709551615 94582515740672 94582516635205 140726467737920 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94582516874256 94582516922000 94582539292672 140726467742055 140726467742181 140726467742181 140726467747783 0
/proc/24359/statm: 1048 736 672 219 0 110 0
[pid=24361] ppid=24359 vsize=62976 memory=19256 CPUtime=6.26 cores=5,7
/proc/24361/stat : 24361 (roundingsat) R 24359 24359 23826 0 -1 4194304 2760 0 0 0 546 80 0 0 20 0 1 0 35310127 64487424 4814 18446744073709551615 4227072 8923433 140726391521488 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26443776 140726391527840 140726391527976 140726391527976 140726391533546 0
/proc/24361/statm: 15744 4814 2400 1147 0 3171 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 67168 KiB
Current children cumulated memory: 22200 KiB
[startup+12.7001 s]
/proc/loadavg: 4.09 4.01 3.50 5/269 24361
/proc/meminfo: memFree=129805904/131249996 swapFree=33010684/33010684
[pid=24359] ppid=24356 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24359/stat : 24359 (run-dec-ls.sh) S 24356 24359 23826 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35310127 4292608 736 18446744073709551615 94582515740672 94582516635205 140726467737920 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94582516874256 94582516922000 94582539292672 140726467742055 140726467742181 140726467742181 140726467747783 0
/proc/24359/statm: 1048 736 672 219 0 110 0
[pid=24361] ppid=24359 vsize=64216 memory=21280 CPUtime=12.64 cores=5,7
/proc/24361/stat : 24361 (roundingsat) R 24359 24359 23826 0 -1 4194304 4085 0 0 0 1123 141 0 0 20 0 1 0 35310127 65757184 5320 18446744073709551615 4227072 8923433 140726391521488 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26443776 140726391527840 140726391527976 140726391527976 140726391533546 0
/proc/24361/statm: 16054 5320 2400 1147 0 3481 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 68408 KiB
Current children cumulated memory: 24224 KiB
[startup+25.5002 s]
/proc/loadavg: 4.07 4.01 3.51 5/269 24362
/proc/meminfo: memFree=129801232/131249996 swapFree=33010684/33010684
[pid=24359] ppid=24356 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24359/stat : 24359 (run-dec-ls.sh) S 24356 24359 23826 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35310127 4292608 736 18446744073709551615 94582515740672 94582516635205 140726467737920 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94582516874256 94582516922000 94582539292672 140726467742055 140726467742181 140726467742181 140726467747783 0
/proc/24359/statm: 1048 736 672 219 0 110 0
[pid=24361] ppid=24359 vsize=66680 memory=24036 CPUtime=25.41 cores=5,7
/proc/24361/stat : 24361 (roundingsat) R 24359 24359 23826 0 -1 4194304 7373 0 0 0 2307 234 0 0 20 0 1 0 35310127 68280320 6009 18446744073709551615 4227072 8923433 140726391521488 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26443776 140726391527840 140726391527976 140726391527976 140726391533546 0
/proc/24361/statm: 16670 6009 2400 1147 0 4097 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 70872 KiB
Current children cumulated memory: 26980 KiB
[startup+43.7427 s]
# the end of solver process 24359 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=40.074 s, system=3.54629 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6002 s]
/proc/loadavg: 4.07 4.01 3.51 5/269 24362
/proc/meminfo: memFree=129801232/131249996 swapFree=33010684/33010684
[pid=24359] ppid=24356 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24359/stat : 24359 (run-dec-ls.sh) S 24356 24359 23826 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35310127 4292608 736 18446744073709551615 94582515740672 94582516635205 140726467737920 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94582516874256 94582516922000 94582539292672 140726467742055 140726467742181 140726467742181 140726467747783 0
/proc/24359/statm: 1048 736 672 219 0 110 0
[pid=24361] ppid=24359 vsize=66680 memory=24036 CPUtime=25.51 cores=5,7
/proc/24361/stat : 24361 (roundingsat) R 24359 24359 23826 0 -1 4194304 7373 0 0 0 2316 235 0 0 20 0 1 0 35310127 68280320 6009 18446744073709551615 4227072 8923433 140726391521488 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26443776 140726391527840 140726391527976 140726391527976 140726391533546 0
/proc/24361/statm: 16670 6009 2400 1147 0 4097 0
Current children cumulated CPU time: 25.51 s
Current children cumulated vsize: 70872 KiB
Current children cumulated memory: 26980 KiB
[startup+32.0001 s]*
/proc/loadavg: 4.06 4.01 3.51 5/269 24362
/proc/meminfo: memFree=129798752/131249996 swapFree=33010684/33010684
[pid=24359] ppid=24356 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24359/stat : 24359 (run-dec-ls.sh) S 24356 24359 23826 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35310127 4292608 736 18446744073709551615 94582515740672 94582516635205 140726467737920 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94582516874256 94582516922000 94582539292672 140726467742055 140726467742181 140726467742181 140726467747783 0
/proc/24359/statm: 1048 736 672 219 0 110 0
[pid=24361] ppid=24359 vsize=68160 memory=25612 CPUtime=31.9 cores=5,7
/proc/24361/stat : 24361 (roundingsat) R 24359 24359 23826 0 -1 4194304 8702 0 0 0 2912 278 0 0 20 0 1 0 35310127 69795840 6403 18446744073709551615 4227072 8923433 140726391521488 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26443776 140726391527840 140726391527976 140726391527976 140726391533546 0
/proc/24361/statm: 17040 6403 2400 1147 0 4467 0
Current children cumulated CPU time: 31.9 s
Current children cumulated vsize: 72352 KiB
Current children cumulated memory: 28556 KiB
[startup+38.4002 s]
/proc/loadavg: 4.14 4.03 3.52 5/269 24362
/proc/meminfo: memFree=129798048/131249996 swapFree=33010684/33010684
[pid=24359] ppid=24356 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24359/stat : 24359 (run-dec-ls.sh) S 24356 24359 23826 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35310127 4292608 736 18446744073709551615 94582515740672 94582516635205 140726467737920 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94582516874256 94582516922000 94582539292672 140726467742055 140726467742181 140726467742181 140726467747783 0
/proc/24359/statm: 1048 736 672 219 0 110 0
[pid=24361] ppid=24359 vsize=68556 memory=26276 CPUtime=38.28 cores=5,7
/proc/24361/stat : 24361 (roundingsat) R 24359 24359 23826 0 -1 4194304 9575 0 0 0 3510 318 0 0 20 0 1 0 35310127 70201344 6569 18446744073709551615 4227072 8923433 140726391521488 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26443776 140726391527840 140726391527976 140726391527976 140726391533546 0
/proc/24361/statm: 17139 6569 2400 1147 0 4566 0
Current children cumulated CPU time: 38.28 s
Current children cumulated vsize: 72748 KiB
Current children cumulated memory: 29220 KiB
[startup+41.6002 s]
/proc/loadavg: 4.13 4.03 3.52 5/269 24362
/proc/meminfo: memFree=129797064/131249996 swapFree=33010684/33010684
[pid=24359] ppid=24356 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24359/stat : 24359 (run-dec-ls.sh) S 24356 24359 23826 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35310127 4292608 736 18446744073709551615 94582515740672 94582516635205 140726467737920 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94582516874256 94582516922000 94582539292672 140726467742055 140726467742181 140726467742181 140726467747783 0
/proc/24359/statm: 1048 736 672 219 0 110 0
[pid=24361] ppid=24359 vsize=68896 memory=26764 CPUtime=41.47 cores=5,7
/proc/24361/stat : 24361 (roundingsat) R 24359 24359 23826 0 -1 4194304 10240 0 0 0 3807 340 0 0 20 0 1 0 35310127 70549504 6691 18446744073709551615 4227072 8923433 140726391521488 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26443776 140726391527840 140726391527976 140726391527976 140726391533546 0
/proc/24361/statm: 17224 6691 2400 1147 0 4651 0
Current children cumulated CPU time: 41.47 s
Current children cumulated vsize: 73088 KiB
Current children cumulated memory: 29708 KiB
[startup+42.4001 s]
/proc/loadavg: 4.13 4.03 3.52 5/269 24362
/proc/meminfo: memFree=129797064/131249996 swapFree=33010684/33010684
[pid=24359] ppid=24356 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24359/stat : 24359 (run-dec-ls.sh) S 24356 24359 23826 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35310127 4292608 736 18446744073709551615 94582515740672 94582516635205 140726467737920 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94582516874256 94582516922000 94582539292672 140726467742055 140726467742181 140726467742181 140726467747783 0
/proc/24359/statm: 1048 736 672 219 0 110 0
[pid=24361] ppid=24359 vsize=69156 memory=27052 CPUtime=42.27 cores=5,7
/proc/24361/stat : 24361 (roundingsat) R 24359 24359 23826 0 -1 4194304 10423 0 0 0 3882 345 0 0 20 0 1 0 35310127 70815744 6763 18446744073709551615 4227072 8923433 140726391521488 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26443776 140726391527840 140726391527976 140726391527976 140726391533546 0
/proc/24361/statm: 17289 6763 2400 1147 0 4716 0
Current children cumulated CPU time: 42.27 s
Current children cumulated vsize: 73348 KiB
Current children cumulated memory: 29996 KiB
[startup+43.2001 s]
/proc/loadavg: 4.13 4.03 3.52 5/269 24362
/proc/meminfo: memFree=129796812/131249996 swapFree=33010684/33010684
[pid=24359] ppid=24356 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24359/stat : 24359 (run-dec-ls.sh) S 24356 24359 23826 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35310127 4292608 736 18446744073709551615 94582515740672 94582516635205 140726467737920 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94582516874256 94582516922000 94582539292672 140726467742055 140726467742181 140726467742181 140726467747783 0
/proc/24359/statm: 1048 736 672 219 0 110 0
[pid=24361] ppid=24359 vsize=68924 memory=26876 CPUtime=43.07 cores=5,7
/proc/24361/stat : 24361 (roundingsat) R 24359 24359 23826 0 -1 4194304 10579 0 0 0 3957 350 0 0 20 0 1 0 35310127 70578176 6719 18446744073709551615 4227072 8923433 140726391521488 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26443776 140726391527840 140726391527976 140726391527976 140726391533546 0
/proc/24361/statm: 17231 6719 2400 1147 0 4658 0
Current children cumulated CPU time: 43.07 s
Current children cumulated vsize: 73116 KiB
Current children cumulated memory: 29820 KiB
[startup+43.6002 s]
/proc/loadavg: 4.13 4.03 3.52 5/269 24362
/proc/meminfo: memFree=129796812/131249996 swapFree=33010684/33010684
[pid=24359] ppid=24356 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24359/stat : 24359 (run-dec-ls.sh) S 24356 24359 23826 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35310127 4292608 736 18446744073709551615 94582515740672 94582516635205 140726467737920 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94582516874256 94582516922000 94582539292672 140726467742055 140726467742181 140726467742181 140726467747783 0
/proc/24359/statm: 1048 736 672 219 0 110 0
[pid=24361] ppid=24359 vsize=68924 memory=26876 CPUtime=43.46 cores=5,7
/proc/24361/stat : 24361 (roundingsat) R 24359 24359 23826 0 -1 4194304 10581 0 0 0 3994 352 0 0 20 0 1 0 35310127 70578176 6719 18446744073709551615 4227072 8923433 140726391521488 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26443776 140726391527840 140726391527976 140726391527976 140726391533546 0
/proc/24361/statm: 17231 6719 2400 1147 0 4658 0
Current children cumulated CPU time: 43.46 s
Current children cumulated vsize: 73116 KiB
Current children cumulated memory: 29820 KiB
[startup+43.7001 s]
/proc/loadavg: 4.13 4.03 3.52 5/269 24362
/proc/meminfo: memFree=129796812/131249996 swapFree=33010684/33010684
[pid=24359] ppid=24356 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24359/stat : 24359 (run-dec-ls.sh) S 24356 24359 23826 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35310127 4292608 736 18446744073709551615 94582515740672 94582516635205 140726467737920 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94582516874256 94582516922000 94582539292672 140726467742055 140726467742181 140726467742181 140726467747783 0
/proc/24359/statm: 1048 736 672 219 0 110 0
[pid=24361] ppid=24359 vsize=68924 memory=26876 CPUtime=43.56 cores=5,7
/proc/24361/stat : 24361 (roundingsat) R 24359 24359 23826 0 -1 4194304 10581 0 0 0 4003 353 0 0 20 0 1 0 35310127 70578176 6719 18446744073709551615 4227072 8923433 140726391521488 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26443776 140726391527840 140726391527976 140726391527976 140726391533546 0
/proc/24361/statm: 17231 6719 2400 1147 0 4658 0
Current children cumulated CPU time: 43.56 s
Current children cumulated vsize: 73116 KiB
Current children cumulated memory: 29820 KiB
Child status: 0
Real time (s): 43.7427
CPU time (s): 43.6203
CPU user time (s): 40.074
CPU system time (s): 3.54629
CPU usage (%): 99.7201
Max. virtual memory (cumulated for all children) (KiB): 73348
Max. memory (cumulated for all children) (KiB): 29996
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 40.074
system time used= 3.54629
maximum resident set size= 27564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10810
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= 283
# summary of solver processes directly reported to runsolver:
# pid: 24359
# total CPU time (s): 43.6203
# total CPU user time (s): 40.074
# total CPU system time (s): 3.54629
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.070234 second user time and 0.235603 second system time
The end
Begin job on nodeC032 at 2025-06-29 13:25:15
IDJOB=4510618
IDBENCH=160374
IDSOLVER=3353
FILE ID=nodeC032/4510618-1751196315
RUNJOBID= nodeC032-1751195386-23839
SLURM_JOB_ID= 9587604
Free space on /tmp= 432044 MiB
SOLVER NAME= roundingsat-ls 63f22ad
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/normalized-ECgrid5x70split.cnf-extracted.pb.metafix.opb
COMMAND LINE= run-dec-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4510618-1751196315/watcher-4510618-1751196315 -o /tmp/evaluation-result-4510618-1751196315/solver-4510618-1751196315 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751195386-23839 --watchdog 3760 run-dec-ls.sh HOME/instance-4510618-1751196315.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 6c6f54dbad76425fd68d4f6d2aa72935
RANDOM SEED=2072308795
nodeC032 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.824
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.839
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.671
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.113
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.847
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.829
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3514.465
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3505.638
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 129818060 kB
MemAvailable: 129478944 kB
Buffers: 3280 kB
Cached: 471488 kB
SwapCached: 0 kB
Active: 643700 kB
Inactive: 218396 kB
Active(anon): 405408 kB
Inactive(anon): 0 kB
Active(file): 238292 kB
Inactive(file): 218396 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7272 kB
Writeback: 0 kB
AnonPages: 383828 kB
Mapped: 112512 kB
Shmem: 18068 kB
KReclaimable: 86872 kB
Slab: 170320 kB
SReclaimable: 86872 kB
SUnreclaim: 83448 kB
KernelStack: 4332 kB
PageTables: 3940 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 747020 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150600 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 270336 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: 203476 kB
DirectMap2M: 7956480 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432036 MiB
End job on nodeC032 at 2025-06-29 13:25:59