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