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