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