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