| author | David Douard <david.douard@logilab.fr> |
| Thu, 08 Aug 2013 08:57:51 +0200 | |
| branch | stable |
| changeset 717 | 5cad47e1ffbf |
| parent 716 | 134b04defd20 |
| child 718 | ff79e47ff011 |
| gecode_solver.cpp | file | annotate | diff | comparison | revisions |
--- a/gecode_solver.cpp Fri Jun 28 14:11:31 2013 +0200 +++ b/gecode_solver.cpp Thu Aug 08 08:57:51 2013 +0200 @@ -415,9 +415,12 @@ << "\tdepth: " << stat.depth << endl << "\tnode: " << stat.node << endl #endif +#if GE_VERSION < PM_VERSION(4,2,0) << "\tpeak memory: " << static_cast<int>((stat.memory+1023) / 1024) << " KB" - << endl; + << endl +#endif + ; } }