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