Reducing memory usage in bmc2 and bmc3.

src/aig/saig/saigBmc2.c

@@ -789,6 +789,7 @@ int Saig_BmcPerform( Aig_Man_t * pAig, int nStart, int nFramesMax, int nNodesMax
         {
             printf( "%3d : F = %3d. O =%4d.  And = %7d. Var = %7d. Conf = %7d. ", 
                 Iter, p->iFrameLast, p->iOutputLast, Aig_ManNodeNum(p->pFrm), p->nSatVars, (int)p->pSat->stats.conflicts );   
+            printf( "%4.0f Mb",     4.0*(Iter+1)*p->nObjs/(1<<20) );
 //            ABC_PRT( "Time", clock() - clk2 );
             printf( "%9.2f sec", (float)(clock() - clkTotal)/(float)(CLOCKS_PER_SEC) );
             printf( "\n" );

src/aig/saig/saigBmc3.c

@@ -1330,7 +1330,7 @@ clkOther += clock() - clk2;
                         printf( "Conf =%7.0f. ", (double)p->pSat->stats.conflicts );
                         printf( "Imp =%10.0f. ", (double)p->pSat->stats.propagations );
 //                        ABC_PRT( "Time", clock() - clk );
-                        printf( "%4.0f Mb",     4.0*(f+1)*p->nObjNums /(1<<20) );
+                        printf( "%4.0f Mb",     4.25*(f+1)*p->nObjNums /(1<<20) );
                         printf( "%4.0f Mb",     1.0*sat_solver_memory(p->pSat)/(1<<20) );
                         printf( "%9.2f sec ",   (float)(clock() - clkTotal)/(float)(CLOCKS_PER_SEC) );
                         printf( "\n" );