(3,22) (4,28) (5,18) (6,20) (9,23) (10,29) (11,24) (12,21) (13,27) (14,25) 
nodes: 666  conflicts: 70  modelTime: 665  solveTime: 839  totalTime: 1510  modelSize: 41300  readTime: 6 size: 10