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