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