assert collocation solver succeeded
satisfy LICQ in pumping optimizatoin