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