(2,19) (4,25) (5,26) (6,21) (7,18) (8,20) (9,16) (10,28) (12,24) (13,29) (15,22) 
nodes: 674  conflicts: 51  modelTime: 659  solveTime: 856  totalTime: 1522  modelSize: 41293  readTime: 7 size: 11