Boom 3.0d, (c) February 2009 by Petr Fiser
get SRC file
get iterations
get DST file
setting matrix file matrixPLA\08x08x08.pla
going to run from matrix
solving... 
 Running Servit
Init complete
Running Servit 
Essentials
Essentials:: essential column found:5
Essentials:: essential column found:5
Essentials:: essential column found:6
Essentials:: essential column found:7
Essentials:: essential column found:5
Essentials:: essential column found:7
Essentials:: essential column found:12
Essentials:: essential column found:3
Essentials:: essential column found:3
Cover::MoveToSolution:: Adding to solution column3
Cover::MoveToSolution:: Adding to solution column5
Cover::MoveToSolution:: Adding to solution column6
Cover::MoveToSolution:: Adding to solution column7
Cover::MoveToSolution:: Adding to solution column12
Essentials done
Contrib_SelectColumn
Cover::MoveToSolution:: Adding to solution column8
Contrib_SelectColumn done
Contrib_SelectColumn
Cover::MoveToSolution:: Adding to solution column15
Contrib_SelectColumn done
Contrib_SelectColumn
Cover::MoveToSolution:: Adding to solution column0
Contrib_SelectColumn done
Contrib_SelectColumn
Cover::MoveToSolution:: Adding to solution column10
Contrib_SelectColumn done
Contrib_SelectColumn
Cover::MoveToSolution:: Adding to solution column9
Contrib_SelectColumn done
Contrib_SelectColumn
Cover::MoveToSolution:: Adding to solution column1
Contrib_SelectColumn done
Contrib_SelectColumn
Cover::MoveToSolution:: Adding to solution column13
Contrib_SelectColumn done
Contrib_SelectColumn
Cover::MoveToSolution:: Adding to solution column11
Contrib_SelectColumn done
CPU time: 0 s
