(1,24) (2,30) (3,16) (4,22) (5,27) (6,26) (7,19) (9,29) (10,17) (11,21) (12,28) (13,23) (14,20) (15,25) 
nodes: 2220  conflicts: 27  modelTime: 659  solveTime: 3080  totalTime: 3745  modelSize: 41293  readTime: 6 size: 14