| 367 | } |
| 368 | |
| 369 | void WorkManager::printStatus() { |
| 370 | mex.acquire(); |
| 371 | cout<<(finished?"Problem solved":"Problem not solved")<<endl; |
| 372 | cout<<"Size of pool : "<<Todos.size()<<endl; |
| 373 | cout<<"# idles : "<<idles.size()<<endl; |
| 374 | cout<<"# actives : "<<actives.size()<<endl; |
| 375 | mex.release(); |
| 376 | } |