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