(1,30) (2,24) (3,28) (4,16) (5,19) (6,27) (7,20) (8,22) (9,17) (11,29) (12,26) (13,18) (14,25) (15,21) 
nodes: 2715  conflicts: 43  modelTime: 657  solveTime: 5219  totalTime: 5882  modelSize: 41293  readTime: 6 size: 14