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