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