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