(1,26) (2,30) (3,29) (4,22) (5,25) (6,24) (7,16) (8,23) (9,21) (10,27) (11,28) (12,19) (13,18) (14,17) 
nodes: 7259  conflicts: 22  modelTime: 655  solveTime: 14612  totalTime: 15273  modelSize: 41293  readTime: 6 size: 14