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