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