(0,6) (1,7) (2,3) (4,8) (5,9) 
(0,6) (1,7) (2,5) (3,9) (4,8) 
(0,7) (1,6) (2,3) (4,8) (5,9) 
(0,7) (1,6) (2,5) (3,9) (4,8) 
nodes: 8  modelTime: 179  solveTime: 55  totalTime: 273  modelSize: 7735  readTime: 39