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