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