set mip pool absgap 0.0
set mip pool intensity 4
set mip limits populate 10
set mip pool capacity 10
set output writelevel 1
read t_puzzle.lp
populate
write t_puzzle.sol all
quit