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