<html>

<head>

<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">

<style type="text/css" style="display:none;"><!-- P {margin-top:0;margin-bottom:0;} --></style>

</head>

<body dir="ltr">

<div id="divtagdefaultwrapper" style="font-size:12pt;color:#000000;font-family:Calibri,Helvetica,sans-serif;" dir="ltr">

<p>Hi all, </p>

<p><br>

</p>

<p>I am implementing BPC and after some branchings, my master will become infeasible due to not having enough columns in the pool. Instead of Farkas pricing, I implement a heuristic to add more columns into the problem inside the <span>SCIP_DECL_PRICERFARKAS</span> callback.

 However I ran into the assertion error "<span>lp->validsollp == stat->lpcount" in function <span>SCIPcolGetRedcost. I can understand that this is due to the lastest solution being infeasible but then how Farkas works normally? It would be great if someone

 can give me insight into this. Thank you for your time.</span></span></p>

<p><span><span><br>

</span></span></p>

<p><span><span>Best,</span></span></p>

<p>Lan</p>

</div>

</body>

</html>