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