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