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