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