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