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