(1,7) (2,8) (3,10) (4,12) (5,11) (6,9) 
(1,7) (2,8) (3,10) (4,11) (5,12) (6,9) 
(1,7) (2,8) (3,10) (4,9) (5,12) (6,11) 
nodes: 4  modelTime: 185  solveTime: 41  totalTime: 228  modelSize: 7735  readTime: 2