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