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