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